Limite de funcoes de duas variaveis reais

Defini
c
ao: Seja f uma func
ao de duas vari
aveis cujo domnio D contem pontos arbitrariamente proximos de
(a, b). Dizemos que o limite de f (x, y) quando (x, y) tende a (a, b) e L e escrevemos
lim

f (x) = L

(x,y)(a,b)

se para todo  > 0 existe um n

umero correspondente > 0 tal que
p
se 0 < (x a)2 + (y + b)2 < entao |f (x, y) L| < .
Problema: Mostrar que lim(x,y)(0,0)

3x2 y
x2 +y 2

= 0.

Pela definic
ao de limite, temos que mostrar que
para todo  > 0 existe um > 0 tal que
 2

p


y
se 0 < (x 0)2 + (y 0)2 < entao  x3x
2 +y 2 0 < .
Reescrevendo:
para todo  > 0 existe um > 0 tal que
 2 
p

y 
se 0 < x2 + y 2 < entao  x3x
2 +y 2  < .
Obs.: O domnio da func
ao e Dom f = R2 \ (0, 0).
Demonstra
c
ao
 2 

y 
1a parte: manipulac
ao l
ogica e algebrica de  x3x
2 +y 2 
Como y 2 e sempre um n
umero positivo, sabemos que
x2 x2 + y 2 .

(1)

Em outras palavras, x2 somado a algum n

umero positivo tem necessariamente que ser maior ou igual a si
pr
oprio.
Dividindo ambos os lados da desigualdade (1) por x2 + y 2 , encontramos:

x2

x2
1.
+ y2

(2)

Note que tal divis

ao s
o pode ser feita porque temos certeza que x2 + y 2 > 0, pois (0, 0) nao pertence ao domnio
da func
ao.
Multiplicando ambos os lados da equac
ao (2) por 3|y|, obtemos
3x2 |y|
3|y|.
x2 + y 2
p
p
Mas, pelas propriedades de m
odulo |y| = y 2 , entao 3|y| = 3 y 2 . Assim,
p
3x2 |y|

3
y2 .
x2 + y 2
p
p
p
p
Sabemos que y 2 x2 + y 2 , ent
ao y 2 x2 + y 2 . Logo, 3 y 2 3 x2 + y 2 . Da,
p
p
3x2 |y|
3 y 2 3 x2 + y 2 .
2
2
x +y

(3)

(4)

(5)

Pela propriedade transitiva das desigualdades (se a < b < c entao a < c), conclumos que
p
3x2 |y|
3 x2 + y 2 .
2
2
x +y

(6)

Como x2 e y 2 s
ao n
umeros maiores ou iguais que zero,

3x2 |y|
x2 +y 2

 2 

y 
ao,
=  x3x
2 +y 2 . Ent



p
 3x2 y 
2
2


 x2 + y 2  3 x + y .

2a parte: manipulac
ao l
ogica e algebrica de
Dada a desigualdade 0 <

(7)

p
x2 + y 2

x2 + y 2 < , multiplicamos ambos os lados por 3 e obtemos

p
0 < 3 x2 + y 2 < 3.

(8)

3a parte: conclus
oes
A partir de (7) e (8), obtemos


p
 3x2 y 

 3 x2 + y 2 < 3.
 x2 + y 2 
e conclumos, usando a propriedade transitiva das desigualdades, que


 3x2 y 


 x2 + y 2  < 3.
Escolhemos, convenientemente, =
obtemos

(9)

(10)


3.

Note que > 0, pois, por hipotese,  > 0. Substituindo em (10),



 3x2 y 


(11)
 x2 + y 2  < .
 2 
p

y 
Assim, provamos que para todo  > 0, existe um > 0 tal que  x3x
x2 + y 2 < .
2 +y 2  <  sempre que 0 <