DEMOSTRACIONES ε − δ

Luis Antonio Ramos Rodrı́guez

7 de febrero de 2018

1
1. Demostraciones de limites por  − δ
1. Demostrar que
lı́m x=a (1)
(x,y)→(a,b)

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (2)

`∀ ε>0 ∃ δ>0

0 < k(x, y) − (a, b)k < δ ⇒ kx − ak < ε (3)

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

0 < k(x, y) − (a, b)k < δ ⇒ |x − a| < ε (4)

`∀ ε>0 ∃ δ>0
p
0< (x − a)2 − (y − b)2 < δ ⇒ |x − a| < ε (5)

Tomando la desigualdad de ε

|x − a| < ε (6)

p
(x − a)2 < ε (7)

Y como en este caso (y − b)2 = 0, tenemos que

p
0< (x − a)2 + (y − b)2 < δ

p
0< (x − a)2 + (0 − 0)2 < δ

p
0< (x − a)2 < δ (8)

Teniendo ası́
p p
0< (x − a)2 < δ ⇒ (x − a)2 < ε (9)

Entonces, se concluye que podemos elejir

δ=ε (10)

2
2. Demostrar que

lı́m x+y =3 (11)

(x,y)→(1,2)

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (12)

`∀ ε>0 ∃ δ>0

0 < k(x, y) − (1, 2)k < δ ⇒ kx + y − 3k < ε (13)

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

0 < k(x, y) − (1, 2)k < δ ⇒ |x + y − 3| < ε (14)

`∀ ε>0 ∃ δ>0
p
0< (x − 1)2 − (y − 2)2 < δ ⇒ |x + y − 3| < ε (15)

Ahora bien, como se trata de tener una expresión con las cantidades de (x − 1) y (y − 2), se intenta lo siguiente.
Primero se toma la desigualdad de ε

|x + y − 3| < ε (16)

Trabajando con la parte izquierda de la desigualdad (15) y tratando de llegar a lo explicado anteriormente,
se tiene que

|x + y − 3| = |x + y − 1 − 2| = |x − 1 + y − 2| = |(x − 1) + (y − 2)|

Vemos que se puede tener la inecuación triangular, entones

|x + y − 3| = |(x − 1) + (y − 2)| (17)

|(x − 1) + (y − 2)| ≤ |(x − 1)| + |(y − 2)| (18)

quedando
p p
|x + y − 3| ≤ (x − 1)2 + (y − 2)2 (19)

Y aquı́ es donde llega una precaución, serı́a bueno tener que

p p p
(x − 1)2 + (y − 2)2 < (x − 1)2 + (y − 2)2

pero no es ası́. Sin embargo, podemos decir que

p p p p
(x − 1)2 ≤ (x − 1)2 + (y − 2)2 ∧ (y − 2)2 ≤ (x − 1)2 + (y − 2)2 (20)

Y, por lo tanto, la inecuación (18) nos queda

p p
|x + y − 3| ≤ (x − 1)2 + (y − 2)2

3
 p p
|x + y − 3| ≤ (x − 1)2 + (y − 2)2 + (x − 1)2 + (y − 2)2

p
|x + y − 3| ≤ 2 (x − 1)2 + (y − 2)2 (21)

En esta última inecuación, se nota que podemos elejir

2δ = ε

ε
δ= (22)
2

Figura 1: Grafica de x + y

3. Demostrar que

lı́m x2 + y 2 = 0 (23)
(x,y)→(0,0)

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (24)

`∀ ε>0 ∃ δ>0

0 < k(x, y) − (0, 0)k < δ ⇒ kx2 + y 2 − 0k < ε (25)

4
Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

0 < k(x, y) − (0, 0)k < δ ⇒ |x2 + y 2 | < ε (26)

`∀ ε>0 ∃ δ>0
p
0< x2 + y 2 < δ ⇒ |x2 + y 2 | < ε (27)

Como se supone que ε > 0, se puede eliminar el valor absoluto, quedando de la siguiente manera:
p
0< x2 + y 2 < δ ⇒ x2 + y 2 < ε (28)

Tomando la desigualdad de ε

x2 + y 2 < ε (29)

podemos sacar la raı́z cuadrada en ambos lados de la desigualdad

p √
x2 + y 2 < ε (30)

Por lo tanto, se puede elejir

√
δ= ε (31)

Figura 2: Grafica de x2 + y 2

5
4. Demostrar que

2x2 y
lı́m =0 (32)
(x,y)→(0,0) x2 + y 2

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (33)

`∀ ε>0 ∃ δ>0

2x2 y


0 < k(x, y) − (0, 0)k < δ ⇒ 2
− 0
<ε (34)
x + y2
Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

 2x2 y 
 
0 < k(x, y) − (0, 0)k < δ ⇒  2
 <ε (35)
x + y2 
`∀ ε>0 ∃ δ>0

 2x2 y 
 
p
2 2
0< x +y <δ ⇒ 2
 <ε (36)
x + y2 
Vamos a trabajar con la desigualdad de ε

 2x2 y 
 
 x2 + y 2  < ε (37)
 

se toma la parte izquierda de la desigualdad

 2x2 y 
 
 
 x2 + y 2 

Por la propiedad de valor absoluto para los productos, podemos sacar los factores de la siguiente manera

 2x2 y  2
   
 = |2||y|  x
 

 x2 + y 2 

 x2 + y 2  (38)

x2
Ahora, se tiene que acotar la expresión . Se puede tener en cuenta lo siguiente
x2 + y2

x2 ≤ x2 + y 2
1
Y si multiplicamos por a toda la desigualdad, se obtiene
x2 + y2
1 1
· x2 ≤ 2 · x2 + y 2
x2 + y 2 x + y2

x2
≤1 (39)
x2 + y2
Ahora, podemos tener la siguiente relación
p p
|y| = y 2 ≤ x2 + y 2 < δ

p
∴ y2 < δ (40)

6
Entonces, de la ecuación (38), tenemos que

 2x2 y  2
   
 = |2||y|  x
 
 
 x2 + y 2   x2 + y 2 

 2x2 y 
 
 x2 + y 2  = 2 · δ · (1) = 2δ (41)
 

De tal forma que se puede elejir

2δ = ε

ε
δ= (42)
2

2x2 y
Figura 3: Grafica de
x2+ y2

7
5. Demostrar que
10xy 2
lı́m =0 (43)
(x,y)→(0,0) x2 + y 2

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (44)

`∀ ε>0 ∃ δ>0

10xy 2


0 < k(x, y) − (0, 0)k < δ ⇒
x2 + y 2 − 0 <ε
(45)

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

 10xy 2
 

0 < k(x, y) − (0, 0)k < δ ⇒  2 2
− 0<ε (46)
x +y 

`∀ ε>0 ∃ δ>0

 10xy 2 
 
p
0< x2 + y 2 < δ ⇒  2 <ε (47)
x + y2 
Vamos a trabajar con la desigualdad de ε

 10xy 2 
 
 x2 + y 2  < ε (48)
 

se toma la parte izquierda de la desigualdad

 10xy 2 
 
 
 x2 + y 2 

Por la propiedad de valor absoluto para los productos, podemos sacar los factores de la siguiente manera

 10xy 2  2
   
 = |10||x|  y
 

 x2 + y 2 

 x2 + y 2  (49)

y2
Ahora, se tiene que acotar la expresión . Se puede tener en cuenta lo siguiente
x2 + y 2

y 2 ≤ x2 + y 2
1
Y si multiplicamos por a toda la desigualdad, se obtiene
x2 + y 2
1 1
· y2 ≤ 2 · x2 + y 2
x2 + y 2 x + y2

y2
≤1 (50)
x2 + y 2
Ahora, podemos tener la siguiente relación
√ p
|x| = x2 ≤ x2 + y 2 < δ

√
∴ x2 < δ (51)

8
Entonces, de la ecuación (49), tenemos que

 10xy 2  2
   
 = |10||x|  y
 
 
 x2 + y 2   x2 + y 2 

 10xy 2 
 
 x2 + y 2  = 10 · δ · (1) = 10δ (52)
 

De tal forma que se puede elejir

10δ = ε

ε
δ= (53)
10

10xy 2
Figura 4: Grafica de
x2 + y 2

9
6. Demostrar que
p √
lı́m x 1+y+y 1+x=0 (54)
(x,y)→(0,0)

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (55)

`∀ ε>0 ∃ δ>0
p √
0 < k(x, y) − (0, 0)k < δ ⇒ kx 1 + y + y 1 + x − 0k < ε (56)

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:
p √
0 < k(x, y) − (0, 0)k < δ ⇒ |x 1 + y + y 1 + x − 0| < ε (57)

`∀ ε>0 ∃ δ>0
p p √
0< x2 + y 2 < δ ⇒ |x 1 + y + y 1 + x| < ε (58)

Se toma la desigualdad de ε
p √
|x 1 + y + y 1 + x| < ε

Hay que trabajar con la parte izquierda de la desigualdad

p √
|x 1 + y + y 1 + x| (59)

Se nota que podemos llegar a la inecuacion triangular, definida como

|a + b| ≤ |a| + |b|

obteniendo
p √ p √
|x 1 + y + y 1 + x| ≤ |x 1 + y| + |y 1 + x| (60)

Aplicando las propiedades de valor absoluto para los productos

p √ p √
|x 1 + y| + |y 1 + x| = |x|| 1 + y| + |y|| 1 + x| (61)
√ √
y como 1+x y 1 + x son positivas
p √ p √
|x|| 1 + y| + |y|| 1 + x| = |x| 1 + y + |y| 1 + x (62)

Acotando a |x| y |y|, se obtiene

√ p p p
|x| = x2 ≤ x2 + y 2 < δ ∧ |y| = y2 ≤ x2 + y 2 < δ (63)

√ p
∴ x2 < δ ∧ y2 < δ (64)

10
quedando ası́

|x| < δ ∧ |y| < δ (65)

Ahora, como solo nos interesan los discos pequeños, podemos dejar δ = 1 y por la relacion (68) se tiene

|x| < δ ∧ |y| < δ

|x| < 1 ∧ |y| < 1 (66)

Entonces
√ p
1+x∧ 1+y

√ √
1+1∧ 1+1

√ √
2∧ 2

√ √
2<2∧ 2<2 (67)

Ahora, siempre y cuando δ ≤ 1

p √
|x 1 + y + y 1 + x| < 2x + 2y (68)

y por la relacion (64)

p √
|x 1 + y + y 1 + x| < 2δ + 2δ

p √
|x 1 + y + y 1 + x| < 4δ (69)

Igualando con ε

4δ = ε

Despejando a δ

ε
δ= (70)
4

11
 p √
Figura 5: Grafica de x 1 + y + y 1 + x

7. Demostrar que

xy
lı́m p =0 (71)
(x,y)→(0,0) x2 + y 2

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (72)

`∀ ε>0 ∃ δ>0

xy
0 < k(x, y) − (0, 0)k < δ ⇒ p − 0 < ε (73)

x2 + y 2

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:
 
 xy 
0 < k(x, y) − (0, 0)k < δ ⇒  p <ε (74)
 
 x2 + y 2 

`∀ ε>0 ∃ δ>0
 
p  xy 
0< x2 + y 2 < δ ⇒  p <ε (75)
 
 x2 + y 2 

12
Tomando la desigualdad de 
 
 xy 
<ε
 
p
 x2 + y 2 

Hay que trabajar con la parte izquierda de la desigualdad

 

 xy 

p 
 x2 + y 2 

Por las propiedades de valor absoluto para los productos, la cual nos dice

|ab| = |a||b|

se obtiene
 
 y 
|x|  p (76)
 

 x2 + y 2 

Ahora, asumiendo que

p
y< x2 + y 2

elevando al cuadrado en ambos lados

p
y 2 < ( x2 + y 2 )2

y 2 < x2 + y 2
1
multiplicado por en ambos lados
x2 + y 2
1 1
· y2 < 2 · x2 + y 2
x2 +y 2 x + y2

y2
<1 (77)
x2 + y 2

Ahora, para |x| podemos hacer la siguiente relacion

√ p
|x| = x2 ≤ x2 + y 2 < δ

quedando
√
x2 < δ

|x| < δ (78)

y2
Sustituyendo |x| y en (76)
x2 + y2
 
 y 
|x|  p =δ·1
 
 x2 + y 2 

13
  
 y 
|x|  p =δ (79)
 
 x2 + y 2 

Entonces, se puede elejir

δ=ε (80)

xy
Figura 6: Grafica de p
x2 + y 2

8. Demostrar que

x3 − xy 2
lı́m =0 (81)
(x,y)→(0,0) x2 + y 2

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (82)

`∀ ε>0 ∃ δ>0
3
x − xy 2


0 < k(x, y) − (0, 0)k < δ ⇒
x2 + y 2 − 0 <ε
(83)

14
Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:
 3
 x − xy 2 

0 < k(x, y) − (0, 0)k < δ ⇒  2
 <ε (84)
x + y2 

`∀ ε>0 ∃ δ>0
 3
 x − xy 2 

p
2 2
0< x +y <δ ⇒ 2
 <ε (85)
x + y2 

Tomando la desigualdad de ε
 3
 x − xy 2 

 x2 + y 2  < ε (86)
 

hay que trabajar con la parte izquierda de la desigualdad

 3
 x − xy 2 

 
 x2 + y 2 

Por las propiedades de valor absoluto para cocientes, que dice

 a  |a|
 =
 
b |b|

aplicado esto a la expresión, se tiene

 3
 x − xy 2  |x3 − xy 2 |

 x2 + y 2  = |x2 + y 2 | (87)
 

Podemos quitar el valor absoluto del denominador porque x2 + y 2 > 0, quedando

|x3 − xy 2 | |x3 − xy 2 |
= (88)
|x2 + y 2 | x2 + y 2

Se puede factorizar el numerador

|x3 − xy 2 | |x(x2 − y 2 )|
= (89)
x2 + y 2 x2 + y 2
Ahora, en el numerador se puede aplicar la propiedad de valor absoluto para productos, que nos dice

|ab| = |a||b|

Si se aplica a la ecuación (89)

|x(x2 − y 2 )| |x||x2 − y 2 | |x2 − y 2 |

= = |x| (90)
x2 + y 2 x2 + y 2 x2 + y 2
Con esto se puede deducir que

|x2 − y 2 | ≤ x2 + y 2 (91)

entonces

|x2 + (−y 2 )| ≤ |x2 | + |y 2 | = x2 + y 2 (92)

15
Regresando a la expresión (90) y aplicando lo deducido en (92)

|x2 − y 2 | x2 + y 2
|x| 2 2
≤ |x| 2 = |x| · 1 (93)
x +y x + y2

Ahora, para |x| se tiene que

√ p
|x| = x2 ≤ x2 + y 2 < δ (94)

y por transitividad
√
x2 < δ

|x| < δ (95)

|x2 − y 2 |
Se puede sustituir los valores para |x| y para en (90) de la siguiente manera
x2 + y 2
|x2 − y 2 |
|x| =δ·1=δ
x2 + y 2
Entonces

|x3 − xy 2 |
=δ (96)
x2 + y 2
Por lo tanto, se puede elejir

δ=ε (97)

x3 − xy 2
Figura 7: Grafica de
x2 + y 2

16
9. Demostrar que

3
(x2 + y 2 ) 2
lı́m =0 (98)
(x,y)→(0,0) (x + y 2 ) · ln(x2 + y 2 )
2

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (99)

`∀ ε>0 ∃ δ>0
3

(x2 + y 2 ) 2
0 < k(x, y) − (0, 0)k < δ ⇒ 2 − 0 < ε (100)

2 2 2
(x + y ) · ln(x + y )

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:
 3

 (x2 + y 2 ) 2 
0 < k(x, y) − (0, 0)k < δ ⇒  2 <ε (101)
 
 (x + y 2 ) · ln(x2 + y 2 ) 

`∀ ε>0 ∃ δ>0
 
2 2 32
p  (x + y ) 
0< x2 + y 2 < δ ⇒  2 <ε (102)
 
 (x + y 2 ) · ln(x2 + y 2 ) 

Tomando la desigualdad de ε
 3

 (x2 + y 2 ) 2 
<ε (103)
 
 2
 (x + y 2 ) · ln(x2 + y 2 ) 

hay que trabajar con la parte izquierda de la desigualdad

 3


 (x2 + y 2 ) 2 

 2
 (x + y 2 ) · ln(x2 + y 2 ) 


Podemos simplificar este expresion, quedando

 3
  p 
 (x2 + y 2 ) 2   x2 + y 2 
= (104)
   
 2
 (x + y 2 ) · ln(x2 + y 2 )   ln(x2 + y 2 ) 


Como
p
x2 + y 2 < δ ∧ x2 + y 2 < δ 2

entonces, podemos relacionar estos valores de δ con la ecuacion (104) de la siguiente manera
 p 
 x2 + y 2  δ
≈ (105)
 
 ln(x + y )  lnδ 2
2 2


Ahora, aplicando las propiedades de logaritmos a el denominador

δ δ
= (106)
lnδ 2 2lnδ

17
 Por lo tanto, se puede elejir

δ
=ε (107)
2lnδ

3
(x2 + y 2 ) 2
Figura 8: Grafica de 2
(x + y 2 ) · ln(x2 + y 2 )

10. Demostrar que

lı́m x2 + y 2 + 3 = 3
(x,y)→(0,0)

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (108)

`∀ ε>0 ∃ δ>0

0 < k(x, y) − (0, 0)k < δ ⇒ kx2 + y 2 + 3 − 3k < ε (109)

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

0 < k(x, y) − (0, 0)k < δ ⇒ |x2 + y 2 + 3 − 3| < ε (110)

`∀ ε>0 ∃ δ>0
p
0< x2 + y 2 < δ ⇒ |x2 + y 2 + 3 − 3| < ε (111)

18
 Como vemos en la desigualdad de ε

|x2 + y 2 + 3 − 3| = |x2 + y 2 | < ε (112)

y
p
|x2 + y 2 | = x2 + y 2 < ε (113)

Entonces se puede elejir

δ=ε (114)

Figura 9: Grafica de x2 + y 3 + 3

11. Demostrar que

x2 + y 2
lı́m =0
(x,y)→(0,0) |x| + |y|

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (115)

`∀ ε>0 ∃ δ>0
2
x + y2


0 < k(x, y) − (0, 0)k < δ ⇒
− 0
<ε (116)
|x| + |y|

19
Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:
 2
 x + y2 

0 < k(x, y) − (0, 0)k < δ ⇒ 
 <ε (117)
|x| + |y| 

`∀ ε>0 ∃ δ>0
 2
 x + y2 

p
0< x2 + y2 <δ⇒
 <ε (118)
|x| + |y| 

Tomando la desigualdad de ε
 2
 x + y2 

 |x| + |y|  < ε
 

y trabajando con la parte izquierda de la desigualdad

 2
 x + y2 

 
 |x| + |y| 

se puede decir que

x2 + y 2 x2 + y 2 + 2 · |x| · |y| (|x| + |y|)2

≤ = = |x| + |y| (119)
|x| + |y| |x| + |y| |x| + |y|

Ahora, de la desigualdad de δ
p
x2 + y 2 < δ

podemos deducir que

√ p p p
|x| = x2 ≤ x2 + y 2 < δ ∧ |y| = y2 ≤ x2 + y 2 < δ

Por transitividad, se obtiene

√ √
x2 < δ ∧ y <δ

|x| < δ ∧ |y| < δ (120)

Y de acuedo con la ecuacion (119)

|x| + |y| = δ + δ = 2δ (121)

Entonces, podemos elejir

2δ = ε

ε
δ= (122)
2

20
 x2 + y 2
Figura 10: Grafica de
|x| + |y|

12. Demostrar que

lı́m 3x − 2y = 14
(x,y)→(4,−1)

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (123)

`∀ ε>0 ∃ δ>0

0 < k(x, y) − (4, −1)k < δ ⇒ k3x − 2y − 14k < ε (124)

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

0 < k(x, y) − (4, −1)k < δ ⇒ |3x − 2y − 14| < ε (125)

`∀ ε>0 ∃ δ>0
p
0< (x − 4)2 + (y + 1)2 < δ ⇒ |3x − 2y − 14| < ε (126)

De la desigualdad de ε

|3x − 2y − 14| < ε

21
y trabajando la parte izquierda de la desigualdad

|3x − 2y − 14|

se puede factorizar de la siguiente manera

|3x − 2y − 14| = |3(x − 4) − 2(y + 1)| ≤ 3|x − 4| + 2|y + 1| (127)

Ahora, de la desigualdad de δ
p
(x − 4)2 + (y + 1)2 < δ

se deduce que
√ p p p
|x| = x2 ≤ x2 + y 2 < δ ∧ |y| = y2 ≤ x2 + y 2

y por transitividad
√ p
x2 < δ ∧ y2 < δ

|x| < δ ∧ |y| < δ (128)

Entonces, en (131) se tiene

3|x − 4| + 2|y + 1| = 3δ + 2δ = 5δ (129)

Por lo tanto, se puede elejir

5δ = ε

ε
δ= (130)
5

Figura 11: Grafica de 3x − 2y

22
13. Demostrar que
sen(x2 + y 2 )
lı́m =1
(x,y)→(0,0) x2 + y 2

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (131)

`∀ ε>0 ∃ δ>0

sen(x2 + y 2 )


0 < k(x, y) − (0, 0)k < δ ⇒

2 2
− 1
<ε (132)
x +y

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

 sen(x2 + y 2 )
 

0 < k(x, y) − (0, 0)k < δ ⇒ 

2 2
− 1 < ε (133)
x +y

`∀ ε>0 ∃ δ>0

 sen(x2 + y 2 )
 
p 
2 2
0< x +y <δ ⇒
 − 1<ε (134)
x2 + y 2 

Se conoce que

sent
lı́m =1 (135)
t→0 t
y esto implica la existencia de un δ1 tal que
 
 sent 
0 < |t| < δ ⇒ 
 − 1 < ε (136)
t

Si se sustituye t = x2 + y 2 , se tiene que

 sin(x2 + y 2 )
 
0 < |x2 + y 2 | < δ ⇒ 

2 2
− 1<ε (137)
x +y 

Por lo tanto, se nota que δ = δ1 . Por lo tanto,

p
0< x2 + y 2 < δ ⇒ 0|x2 + y 2 | < δ 2 = δ1 (138)

el cual implica que

 sen(x2 + y 2 )
 


 x2 + y 2 − 1 < ε

23
 sen(x2 + y 2 )
Figura 12: Grafica de
x2 + y 2

14. Demostrar que

lı́m x3 y = 0
(x,y)→(0,1)

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (139)

`∀ ε>0 ∃ δ>0

0 < k(x, y) − (0, 1)k < δ ⇒ kx3 y − 0k < ε (140)

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

0 < k(x, y) − (0, 1)k < δ ⇒ |x3 y − 0| < ε (141)

`∀ ε>0 ∃ δ>0
p
0< x2 + (y − 1)2 < δ ⇒ |x3 y − 0| < ε (142)

Tomando la desigualdad de ε
|x3 y| < ε
y trabajando con la parte izquierda de la desigualdad

|x3 y| (143)

24
sabemos que la propiedad de valor absoluto para el producto nos dice

|ab| = |a| · |b|

entonces si se aplica a (143) se obtiene

|x3 y| = |x3 ||y| = |x|3 |y| (144)

Ahora, de la desigualdad de δ
p
x2 + (y − 1)2 < δ

se tiene que
√ p p p
|x| = x2 ≤ x2 + (y − 1)2 < δ ∧ |y − 1| = (y − 1)2 ≤ x2 + (y − 1)2 < δ

y por transitividad
√ p
x2 < δ ∧ (y − 1)2 < δ

|x| < δ ∧ |y − 1| < δ (145)

Para acotar a |x|3 , elevamos al cubo el resultado para |x| obtenido en (145)

|x|3 = δ 3 (146)

Ahora para |y| de (144), se toma el resutado para y obtenido en (145) y se desplaza el valor asoluto

|y − 1| < δ (147)

−δ < y − 1 < δ (148)

Si se suma 1 a la desigualdad (148)

1−δ <1+y−1<1+δ

1−δ <y <1+δ (149)

entonces, se deduce que

|y| < δ + 1

y recordando la ecuacion (146), se sustituye en (144) quedando como sigue

|x3 y| < δ 3 (1 + δ) = δ 3 + δ 4 (150)

En este caso, se utilizara la Serie de McLaurin de funciones exponenciales

∞
X xn x2 x3 x4
ex = =1+x+ + + + ... (151)
n=0
n! 2! 3! 4!

25
y haciendo a x = 3δ, se tiene

9δ 2 9δ 3 27δ 4
ex = 1 + 3δ + + + + ... (152)
2 2 8
Solo se analiza hata la cuarta potencia, porque asi se aprecia que los coeficientes de δ 3 y δ 4 son mayores que
la unidad, por ello se puede deducir

δ 3 + δ 4 < e3δ − 1 (153)

y de (150)

|x3 y| < e3δ − 1 (154)

Teniendo esta desigualdad se puede decir que

ε = e3δ − 1 (155)

y al despejar a δ

ε + 1 = e3δ

√
3
√
3
ε+1= e3δ

√
3
ε + 1 = eδ

√
ln( 3  + 1) = lneδ

√
ln( 3  + 1) = δ (156)

Figura 13: Grafica de x3 y

26
15. Demostrar que
lı́m x4 − x2 y 2 = 0
(x,y)→(0,0)

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (157)

`∀ ε>0 ∃ δ>0

0 < k(x, y) − (0, 0)k < δ ⇒ kx4 − x2 y 2 − 0k < ε (158)

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

0 < k(x, y) − (0, 0)k < δ ⇒ |x4 − x2 y 2 | < ε (159)

`∀ ε>0 ∃ δ>0
p
0< x2 + y 2 < δ ⇒ |x4 − x2 y 2 | < ε (160)

Tomando la desigualdad de ε

|x4 − x2 y 2 | < ε

y trabajando la parte izquierda de la desigualdad

|x4 − x2 y 2 |

se puede factorizar, quedando

|x4 − x2 y 2 | = |x2 (x2 − y 2 )| (161)

y aplicando las propiedades de valor absoluto para los productos, la cual dice

|ab| = |a||b|

nos resulta

|x2 (x2 − y 2 )| = |x2 ||x2 + y 2| = |x|2 |x2 + y 2 | (162)

Para |x| se tiene

√ p
|x| = x2 ≤ x2 + y 2 < δ (163)

y por transitividad
√
x2 < δ

|x| < δ (164)

Ahora, trabajando a |x2 + y 2 |, podemos utilizar la desigualdad de δ y se deduce que

p
x2 + y 2 < δ

27
si elevamos la inecuacion al cuadrado
p
( x2 + y 2 < δ)2

x2 + y 2 < δ 2 (165)

Entonces, en la ecuacion (162) tenemos que

4
|x|2 |x2 + y 2 | = δ 2 · δ 2=δ

Por lo tanto podemos elejir

δ4 = ε

√
4
δ= ε (166)

Figura 14: Grafica de x4 − x2 y 2

28
16. Demostrar que
x4 y
lı́m =0
(x,y)→(0,0) x4 + y 4

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (167)

`∀ ε>0 ∃ δ>0

 x4 y
 

0 < k(x, y) − (0, 0)k < δ ⇒  4

4
− 0 < ε (168)
x +y

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

 x4 y 
 
0 < k(x, y) − (0, 0)k < δ ⇒  4
 <ε (169)
x + y4 

`∀ ε>0 ∃ δ>0

 x4 y 
 
p
2 2
0< x +y <δ ⇒ 4
 <ε (170)
x + y4 

Tomando la desigualdad de ε

 x4 y 
 
 x4 + y 4  < ε
 

y trabajando la parte izquierda de la desigualdad

 x4 y 
 
 
 x4 + y 4 

podemos factorizar el numerador

 x4 y  4
   
 = |y|  x
 

 x4 + y 4 

 x4 + y 4  (171)

Para |y|, se puede deducir que

p p
|y| = y 2 ≤ x2 + y 2 < δ

y por transitividad
p
y2 < δ

|y| < δ (172)

 x4 
 
Ahora, para  4
 , se puede deducir que
x + y4 

x4 ≤ x4 + y 4

29
 1
multiplicando por , se obtiene
x4 + y4
1 1
· x4 ≤ 4 · x4 + y 4
x4 + y 4 x + y4

x4
≤1 (173)
x4 + y 4

Entonces en (171) se tiene

 x4 
 
|y|  4
 =δ·1=δ (174)
x + y4 

Por lo tanto, se puede elejir

δ= (175)

x4 y
Figura 15: Grafica de
x4 + y 4

30
17. Demostrar que
y 4 − x4
lı́m =0
(x,y)→(0,0) x2 + y 2

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (176)

`∀ ε>0 ∃ δ>0
4
y − x4


0 < k(x, y) − (0, 0)k < δ ⇒
x2 + y 2 − 0 <ε
(177)

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:
 4
 y − x4 

0 < k(x, y) − (0, 0)k < δ ⇒  2 <ε (178)
x + y2 
`∀ ε>0 ∃ δ>0
 4
 y − x4 

p
2 2
0< x +y <δ ⇒ 2
 <ε (179)
x + y2 
De la desigualdad de ε
 4
 y − x4 

 x2 + y 2  < ε
 

y trabajando la parte izquierda de la desigualdad

 4
 y − x4 

 
 x2 + y 2 

entonces, se puede decir

 4
 y − x4   (y 2 + x2 )(y 2 − x2 ) 
  
 =  = |y 2 − x2 | ≤ |y 2 | + |x2 | = |y|2 + |x|2 (180)
 x2 + y 2   x2 + y 2 

Ahora, de desigualdad de δ
p
x2 + y 2 < δ

se deduce que
√ p p p
|x| = x2 ≤ x2 + y 2 < δ ∧ |y| = y2 ≤ x2 + y 2 < δ

y por transitividad
√ p
x2 < δ ∧ y2 < δ

|x| < δ ∧ |y| < δ (181)

De acuerdo con la ecuacion (180), se tiene que

|x|2 + |y|2 = (δ)2 + (δ)2 = 2δ 2 (182)

31
 Por lo tanto, se puede elejir

2δ 2 = ε

r
ε
δ= (183)
2

y 4 − x4
Figura 16: Grafica de
x2 + y 2

18. Demostrar que

7x2 y 2
lı́m =0
(x,y)→(0,0) 2x2 + 2y 2

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (184)

`∀ ε>0 ∃ δ>0

7x2 y 2


0 < k(x, y) − (0, 0)k < δ ⇒ 2
− 0
<ε (185)
2x + 2y 2

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

 7x2 y 2 
 
0 < k(x, y) − (0, 0)k < δ ⇒  2
 <ε (186)
2x + 2y 2 

32
`∀ ε>0 ∃ δ>0

 7x2 y 2 
 
p
0< x2 + y2 <δ⇒ 2
 <ε (187)
2x + 2y 2 

Tomando la desigualdad de ε

 7x2 y 2 
 
 2x2 + 2y 2  < ε
 

y trabajando la parte izquierda de la desigualdad

 7x2 y 2 
 
 
 2x2 + 2y 2 

se puede factorizar el denominador, quedando

 7x2 y 2 
 
 
 2(x2 + y 2 ) 

al igual que el numerador, quedando

2
   
7
  · |x2 |  y
 
2

 x2 + y 2  (188)

7
y como > 0 se puede quitar el valor absoluto, quedando
2
 y2 
 
7 2
· |x|  2  (189)
2 x + y2 

Para acotar |x|, podemos utilizar la desigualdad de δ, tenemos

√ p
|x| = x2 ≤ x2 + y 2 < δ

y por transitividad
√
x2 < δ

|x| < δ (190)

 y2 
 
Ahora, para acotar  2
 , se puede deducir que
x + y2 

y 2 ≤ x2 + y 2
1
Si mutiplicamos por , tenemos
x2 + y2
1 1
· y2 ≤ 2 · x2 + y 2
x2 + y 2 x + y2

y2
≤1 (191)
x2 + y 2

33
Por lo tanto, en (189) tenemos que

 y2  7 2
 
7 2  = · δ · 1 = 7 δ2
· |x|  2 2
(192)
2 x +y  2 2

Por lo tanto, podemos elejir

7 2
δ =ε
2
r
2ε
δ= (193)
7

7x2 y 2
Figura 17: Grafica de
2x2 + 2y 2

34
19. Demostrar que
3x3 y 2
lı́m =0
(x,y)→(0,0) x2 + y 2

Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (194)

`∀ ε>0 ∃ δ>0

3x3 y 2


0 < k(x, y) − (0, 0)k < δ ⇒ 2

2
− 0
<ε (195)
x +y

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:

 3x3 y 2 
 
0 < k(x, y) − (0, 0)k < δ ⇒  2
 <ε (196)
x + y2 

`∀ ε>0 ∃ δ>0

 3x3 y 2 
 
p
2 2
0< x +y <δ ⇒ 2
 <ε (197)
x + y2 

Tomando la desigualdad de ε

 3x3 y 2 
 
 x2 + y 2  < ε
 

y trabajando con la parte izquierda de la desigualdad

 3x3 y 2 
 
 
 x2 + y 2 

podemos factorizar el denominador

 3x3 y 2  2 2
     
 = |3| · |x3 |  y  = 3 · |x|3  y
   

 x2 + y 2   x2 + y 2 

 x2 + y 2  (198)

 y2 
 
Par acotar  2
 , se puede decir que
x + y2 

y 2 ≤ x2 + y 2
1
sumando a la desigualdad
x2 + y 2
1 1
· y2 ≤ 2 · x2 + y 2
x2 + y 2 x + y2
entonces

y2
≤1 (199)
x2 + y2

Ahora, para acotar |x| se deduce lo siguiente

√ p
|x| = x2 ≤ x2 + y 2 < δ

35
por transitividad
√
x2 < δ

|x| < δ (200)

Con estos valores, tenemos en (198)

 y2 
 
3
3 · |x|  2
  = 3 · δ · 1 = 3δ (201)
x + y2 

Por lo tanto podemos elejir

3δ = ε

ε
δ= (202)
3

3x2 y 2
Figura 18: Grafica de
x2 + y 2

36
20. Demostrar que
y−2 1
lı́m =
(x,y)→(2,3) x 2
Solución
`∀ ε>0 ∃ δ>0

0 < kx − x0 k < δ ⇒ kf (x, y) − bk < ε (203)

`∀ ε>0 ∃ δ>0

y − 2 1
0 < k(x, y) − (2, 3)k < δ ⇒
x − <ε (204)
2

Como f (x, y) − b solamente tiene una salida, se puede cambiar la norma a valor absoluto:
 
y − 2 1
0 < k(x, y) − (2, 3)k < δ ⇒ 
 −  < ε (205)
x 2

`∀ ε>0 ∃ δ>0
 
p y − 2 1
0< (x − 2)2 + (y − 3)2 <δ⇒
 −  < ε (206)
x 2

Tomando la desigualdad de ε
 
y − 2 1

 x − <ε
2

y trabajando con la parte izquierda de la desigualdad

 
y − 2 1
 x − 2
 

aplicamos tecnicas algebraicas

   
 y − 2 1   2y − 4 − x 

 x − = 
2  2x 

Aplicando la propiedad de valor absoluto para los cocientes y tratando de aproximar a las expresiones (x − 2)
y (y − 3) se tiene que
 
 y − 2 1  |2y − 6 + 6 − 4 − x + 2 − 2| |2y − 6 + x + 2| |2(y − 3) + (−x + 2)|
 x − 2 = = = (207)
 
|2x| |2x| |2||x|

Vemos que tenemos una inecuacion triangular

|2(y − 3) + (−x + 2)| 1

≤ (|2(y − 3)| + | − x + 2|) (208)
|2||x| 2|x|

Recurriendo a la propiedad de valor absoluto

|x − y| = | − x + y|

se tiene

1 1 1
(|2(y − 3)| + | − x + 2|) = · (|2(y − 3)| + |x − 2|) (209)
2|x| 2 |x|

37
Ahora, tomando la desigualdad de δ
p
(x − 2)2 + (y − 3)2

tenemos
p p p p
|x − 2| = (x − 2)2 ≤ x2 + y 2 < δ ∧ |y − 3| = (y − 3)2 ≤ x2 + y 2 < δ

por transitividad
q p
(x − 2)2 < δ ∧ (y − 3)2 < δ

|x − 2| < δ ∧ |y − 3| < δ (210)

1
Ahora, para acotar a tenemos
|x|

|x − 2| < δ

−δ < x − 2 < δ

sumando 2 a la desigualdad

2−δ <x<2+δ

1 1 1
< < (211)
2+δ x 2−δ
1
La cota superior es . Suponiendo que δ1 = 1
2−δ
1 1
<
x 2−δ

1 1
<
x 2−1

1 1
<
x 1

1
<1 (212)
x
Entonces en la expresion (209) tenemos

1 1 1 3
· (|2(y − 3)| + |x − 2|) = · 1(2δ + δ) = δ (213)
2 |x| 2 2

Entonces podemos elejir

3
δ=ε
2

2
δ= ε (214)
3

38
 y−2
Figura 19: Grafica de
x

2. Limites que no existen

1. Demostrar que
6x + 2y
lı́m
(x,y)→(1,3) 9x2 − y 2
no existe.
Solución
Para demostrar que un lı́mite no existe, solo basta con evaluar el lı́mite con una sola variable, es decir, evaluar
con x y evaluar con y y comparar los resultados. Si se obtienen diferentes resultados, el limite no existe.
Dicho esto, se puede hacer lo siguiente:

Se puede hacer x = y, entonces

6y − 2y 4y 1 1 1
lı́m = lı́m 2 = lı́m = = (215)
y→3 9y 2 − y 2 y→3 8y y→3 2y 2(3) 6
Ahora y = 1, entonces

6x − 2 6(1) − 2 6−2 4 1
lı́m 2
= 2
= = = (216)
x→1 9x − 1 9(1) − 1 9−1 8 2

Como los resultados son distintos, se concluye que el limite no existe.

39
2. Demostrar que
x2 − 3y 2
lı́m
(x,y)→(0,0) x2 + 2y 2

no existe.
Solución
Para demostrar que este lı́mite no existe, podemos tomar dos caminos.

El primero va a ser cuando y = 0, entonces

x2 − 3y 2 x2 − 3(0)2 x2
lı́m 2 2
= lı́m 2 2
= lı́m 2 = lı́m 1 = 1 (217)
(x,0)→(0,0) x + 2y x→0 x + 2(0) x→0 x x→0

Ahora x = 0, entonces

x2 − 3y 2 02 − 3y 2 3y 2 3 3
lı́m 2 2
= lı́m 2 2
= lı́m − 2 = lı́m − = − (218)
(0,y)→(0,0) x + 2y y→0 0 + 2y y→0 2y x→0 2 2

Como los resultados son distintos, se concluye que el limite no existe.

3. Demostrar que
x2 − y 2
lı́m
(x,y)→(0,0) x2 + y 2

no existe.
Solución
Para demostrar que este lı́mite no existe, podemos tomar dos caminos.

El primero va a ser cuando y = 0, entonces

x2 − y 2 x2 − (0)2 x2
lı́m 2 2
= lı́m 2 2
= lı́m 2 = lı́m 1 = 1 (219)
(x,0)→(0,0) x + y x→0 x + (0) x→0 x x→0

Ahora x = 0, entonces

x2 − y 2 (0)2 − y 2 y2
lı́m = lı́m = lı́m − = lı́m −1 = −1 (220)
(0,y)→(0,0) x2 + y 2 y→0 (0)2 + y 2 y→0 y2 x→0

Como los resultados son distintos, se concluye que el limite no existe.

4. Demostrar que
2xy
lı́m
(x,y)→(0,0) 2x2 + y 2

no existe.
Solución
Para demostrar que este lı́mite no existe, podemos tomar dos caminos.

El primero va a ser cuando x = y, entonces

2xy 2·y·y 2y 2 2 2
lı́m = lı́m = lı́m = lı́m = (221)
y→0 2x2 + y 2 y→0 2y 2 + y 2 y→0 3y 2 y→0 3 3
Ahora y = 1, entonces

2xy 2x(1) 2x 2(0) 0

lı́m 2 2
= lı́m 2 = lı́m 2 = 2
= =0 (222)
x→0 2x + y x→0 2x + 1 x→0 2x + 1 2(0) + 1 1

Como los resultados son distintos, se concluye que el limite no existe.

40
5. Demostrar que
x2 y
lı́m
(x,y)→(0,0) x3 + y 3

no existe
Para demostrar que este lı́mite no existe, podemos tomar dos caminos.

El primero va a ser cuando x = y, entonces

x2 y y2 · y y3 1 1
lı́m = lı́m 3 = lı́m 3 = lı́m = (223)
y→0 x3 +y 3 y→0 y + y 3 y→0 2y y→0 2 2
Ahora y = 1, entonces

x2 y x2 (1) x2 (0)2 0
lı́m = lı́m = lı́m = = =0 (224)
x→0 x3 + y 3 x→0 x3 + 1 x→0 x3 + 1 3
(0) + 1 1

Como los resultados son distintos, se concluye que el limite no existe.

41