UNIVERSIDAD PEDAGÓGICA NACIONAL

FRANCISCO MORAZÁN
CENTRO UNIVERSITARIO DE EDUCACIÓN A DISTANCIA
DE LOS DOCUMENTOS DE MAURICIO MONCADA

ASIGNATURA DE (EMA 4309) ANÁLISIS REAL

EJEMPLOS DE CÁLCULO DE LÍMITES EN UNA Y VARIAS VARIABLES

1) DEMOSTRACIÓN DE LÍMITES EN UNA VARIABLE.

Definición:

Límite de una función en una variable

Sea f una función definida en cada número de algún intervalo abierto tal que
a   c , d  , excepto posiblemente en el número a mismo. El límite de f(x) conforme x se
aproxima a a es L, lo que se escribe como lim f ( x)  L , si la siguiente proposición es
xa

verdadera: Dado cualquier   0 , tan pequeña como se quiera, existe una   0 tal que
si 0  x  a   entonces f ( x)  L   .

Ejemplo 1

Demuestre que l í m 3 x  1  5 . Por definición de valor absoluto se tiene que:

x2

 1
3 x  1, si x  3 1
3x 1   , como 2 entonces l í m 3 x  1 5 .
x2
  3 x  1  1  3 x , si x  1 3
 3
Demostración:
0  x  2    f  x  5  
 3 x  1 5  
 3x6  
 3  x  2    , por propiedade del producto de valor absoluto:
 3 x2  
 3 x2  

 x2 
3
 
Luego, si 0  x  2    x  2  , se concluye que   , esta proposición indica que
3 3

basta tomar   para que el límite exista, por lo tanto l í m 3 x  1  5 .
3 x2

Por ejemplo, si   0.01 , determine el valor de  e interprete gráficamente el resultado.

 1
1 1
    100  , luego:
100 3 300
1 1
L  5 5 5 5 
100 100
 4.99  5  5.01
Por otro lado:
1 1
a  22  2 2
300 100
 1.997  2  2.003

Ejemplo 2

 x2  4  5
Demuestre que l í m   :
 x5  2
x3

Como x    3   x  3 , entonces:

0  x  3    f  x 
5

2
x2 4 5
  
x5 2
2  x 2  4  5  x  5
 
2  x  5

2 x 2  8  5 x  25
 
2  x  5
2 x 2  5 x  33
 
2  x  5


 x  3   2 x  11 
2  x  5
1 2 x  11
 x3 
2 x5
1 2 x  11
 x  3   , por propiedades del cociente de valor absoluto:
2 x5
2 x  11
 x  3  2
x5
Como x  3   entonces se deben restringir los factores x  5  2 x  11 .
Si x  3      1 entonces 0  x  3  1 . Luego:
0  x  3      1  x  3  1, se toma un  talque   5  0
 1  x  3  1
 1 3  x  3  3  1 3
 4  x  2
 5 5  x 5  2 5
0 x5 3
 x5  3
Por otro lado:
0  x  3      9  x  3  9, se toma un  talque 2   11  0
 9  x  3  9
 9  3  x  3 3  9  3
  12  x  6, multiplicando por 2 resulta:
 2   12   2 x  2  6 
  24  2 x  12, sumando  11 resulta:
  24  11  2 x  11  12  11
  35  2 x  11  1
 2 x  11  1
Entonces:
2 x  11 1
x  3  2    2
x5 3
    2  3  
  6
Luego, si 0  x  3    x  5  3  2  x  5   1  1 entonces   6  , esta proposición
 x2  4  5
indica que basta tomar   6  para que el límite exista, por lo tanto l í m   .
 x5  2
x3

Por ejemplo, si   0.01 , determine el valor de  e interprete gráficamente el resultado.

1  1  3
    6  , luego:
100  100  50
5 5 5 5
L   0.01    0.01
2 2 2 2
 2.44  2.5  2.56
3 3
a  3  3  3 3
Por otro lado: 50 50
  3.06   3   2.94
Ejemplo 3

 x 
Demuestre que l í m ln   no existe por definición.
x1
 1 x 

 x 
Suponga que l í m ln    L:
x1
 1 x 
 x 
Si 0  x  1   entonces ln  L   .
 1 x 
Luego:
 x     x 
ln    L  ln   L  
 1 x   x 1 
 
  ln   x   ln  x  1   L  
 ln   x   ln  x  1  L  
Para que el límite exista deben restringirse los dominios de la función logaritmo
natural. Las funciones ln   x  y ln  x  1 están definidas para  x  0  x  0 y
x  1  0  x  1 respectivamente. Dado que x  1     ,0  y x  1   1,    , se
 x 
concluye que l í m ln   no existe.
x1
 1 x 
Ejemplo 4

  3
Demuestre que l í m sin  x    .
x0
 3 2
  3
0  x  0    sin  x    
 3 2
  3   3
 sin  x     sin  x    
 3 2  3 2
  3
 sin  x    
 3 2   3
sin   
  3 3 2
 sin  x     
 3 2
Luego:
  
0 x    x  
3 3 3
    
 sin  sin  x    sin    
3  3  3
3    
  sin  x    sin    
2  3  3
Por transitividad se tiene entonces:
  3   3
sin            sin  1    
 3 2 3  2 

 3  3
   sin  1      para  1    1
 2  3 2

 3  3 3
   sin  1      para  1     1 , como   0
 2  3 2 2

 3  2 3
   sin  1      para 0   
 2  3 2

2 3  3 
En conclusión, para todo 0    , basta tomar   sin  1      para que el
2  2  3

  3
l í m sin  x    exista.
x0
 3 2
 2 3 
Por ejemplo, si   0.01   0,  , determine el valor de  e interprete gráficamente
 2
 
el resultado.
 3 
  0.01    sin  1  0.01       0.02 , luego:
 2  3

3 3 3 3
L   0.01    0.01
2 2 2 2
 0.856  0.866  0.876
Por otro lado:
a  0  0  0.02  0  0  0.02
  0.02  0  0.02
Ejemplo 5

Demuestre que l í m 4 2 x  1 no existe.

x0

Suponga que l í m 4 2 x  1  L :
x0

Si 0  x   entonces 4
2 x 1  L   .
Para que el límite exista debe restringirse el dominio de la función radical. Dado que
las imágenes de la función existen sí 2 x  1  0 . Entonces:
1 1  1 
2 x 1  0  x  , Domf   ,    . Como 0 ,  , se concluye que
2 2  2 
l í m 4 2 x  1 no existe.
x0

TAREA: Siguiendo el modelo dado en los ejemplos anteriores, demuestre la existencia

o no de los siguientes límites. Haga la interpretación gráfica.
 x2
x2
 
a) l í m x 2  2 x  1  1 b) l í m 
x2 x1

 4

c) l í m
x2
 x2 2x3  no existe d) l í m e 2  x  e  1
x3

   
e) l í m cos 1  x    no existe f ) l í m  tan  x    no existe
x
x   2
  2
2) DEMOSTRACIÓN DE LÍMITES EN DOS VARIABLES.

Ejemplo 6

x3y 9
Demuestre que lím  .
 x , y    3,  2  x  y
3 2
31
x3y
Debe hallarse  ,   0 tal que
x y3 2

9
31
  cada vez que  x, y    3,  2    . Del
cálculo se sabe que  x, y    3,  2    es equivalente a
x  2    y    3  y  3   .
Luego:
x3y

9

31  x  3 y   9 x 3  y 2  
x 3  y 2 31 31 x 3  y 2  
31 x  93 y  9 x 3  9 y 2

 
31 x 3  y 2


  9 x  31x     9 y  93y 
3 2

31  x  y  3 2

x   9 x  31  3 y   3 y  31
2


31  x  y  3 2

1  x  2    9 x  31  3  y  3    3 y  31
2

 
31 x3  y2


 
  x  2  9 x 2  31  3  y  3   3 y  31
 31 
x  y2
3

 x  2 9 x 2

 31  3  y  3   3 y  31
 1  31 
x3  y2

 x  2 9 x 2

 31  3  y  3   3 y  31
  31 
x3  y2
 29 1
Se toma x  2   y  3  , se deben restringir los demás valores absolutos:
9 9
9 x  31 , 3 y  31 , x  y , tomando valores positivos para  que se acerquen a
2 3 2

x  3, y  2 .
29 29 29
x2    x2
9 9 9
29 29
  x2
9 9
29 29
 2 x22  2
9 9
11 47
 x
9 9
Por otro lado:
1 1 1
y  3    y  3 
9 9 9
1 1
  3  y  3  3   3
9 9
28 26
  y 
9 9
Acotando 9 x  31 :
2

2 2
11 47  11   47 
 x     x2   
9 9  9   9 
121 2209
  x2 
81 81
 121   2209 
 9   9x 2  9  
 81   81 
121 2209
  9x 2 
9 9
121 2209
  31  9 x 2  31   31
9 9
158 1930
  9 x 2  31 
9 9
Acotando 3 y  31 :
28 26  28   26 
  y   3    3y  3   
9 9  9   9 
28 26
  3y  
3 3
 28 26

 31  3 y  31    31
3 3
65 67
  3 y  31 
3 3
Acotando x  y :
3 2

3 3
11 47  11   47 
 x     x3   
9 9  9   9 
121 103823
  x3 
729 729
2 2
28 26  28   26 
  y      y2   
9 9  9   9 
784 676
  y2 
81 81
676 784
  y2 
81 81
Entonces:
121 103823 676 784 121 676 103823 784
 x3    y2     x3  y2  
729 729 81 81 729 81 729 81 Sustituyendo
6205 110879
  x3  y2 
729 729
los valores de los supremos de cada vecindario, se tiene:
 1930   67 
 x  2 9 x 2

 31  3  y  3   3 y  31 
 9 
  3  
 3   31
 31 
x3  y2 110879
729
2533 3437249
   
9 729
2533 3437249
  
9 729
 3437249  9 
    
 729  2533 
3437249
  
205173
 29 1 3437249 
Basta tomar   mín  , ,    2.9, 0.1, 16.7529305  para que el límite
 10 10 205173 
exista. Por ejemplo, si   0.01 entonces   mín  2.9, 0.1, 0.167529305 . En este caso
se toma   0.1 .
Ejemplo 7

x4  y4
Demuestre que lím  0 . Si se evalúa en la función resulta la forma
 x , y    0,0  x 2  y 2
0
indeterminada . Esto no significa que el límite no existe, si fuese
0
x y
 , para x  0, y  0 el límite no existe. Debe demostrarse por definición si existe o
0 0
no el límite. Para saber la posibilidad de que existe el límite se usan trayectorias o
límites iterados.
a) Por trayectorias: Sea S1  x  , y  : y  m x , m  0 , el conjunto de rectas que
pasan por el origen. Al sustituir resulta:
x 4   m x
4
x4  y4
i) lím  lím
 x , y    0,0  x 2  y 2 x 2   m x
x0 2
yS 1

x 4  m 4x 4
 lím
x0 x 2  m 2x 2


x 2 x 2  m 2x 2 
 lím
x0
x 2
 m 2x 2 
 lím x2
x0

0
Se busca otra trayectoria: Sea S 2  x  , y   
: y  a x 2 , a  0 , parábolas que pasan
por el origen. Al sustituir resulta:
x 4  a x 2 
4
x4  y4
ii ) l í m  lím
yS x   a x 
 x , y    0 ,0  x 2  y 2 x0 2 2 2
1

x4 a4 x4
 lím
x0
yS 1
x2  a2 x2

x 4 1  a 4 
 lím
x0
yS 1
x 2 1  a 2 

 lím
1  a  x 4
2
x0
1  a 
yS 1
2
 
1  a 4
 lím x 2

1  a 2
x0
yS 1


1  a 4
 lím 0 2

1  a 2
x0
yS 1


1  a 4
 0
1  a 2

0
Los resultados anteriores indican que es posible la existencia del límite de la
función y que sea cero.
b) Por límites iterados:
x4  y4  x4  y4 
i) l í m  l í m  l í m 
 x , y    0 ,0  x 2  y 2 x0  y0 x2  y2 
 
 lím x 2
x0

0
x y
4 4
 x4  y4 
ii ) l í m  lí mlí m 2 
 x , y    0 ,0  x 2  y 2 y0  x0 x  y2
 
 lím y2
x0

0
Los resultados anteriores indican que es posible la existencia del límite.
x4  y4 x4  y4
c) Por definición: Debe hallarse  ,   0 tal que 0    cada vez
x2  y2 x2  y2
que  x, y    0,0    . Del cálculo se sabe que  x, y    0,0    es equivalente a

 
2
x  0  x    y  0  y   . Del álgebra se sabe que x 4  2 x 2 y 2  y 4  x 2  y 2 ,
luego:
x4  y4 x 4  2x 2 y 2  y 4
 , (al sumarle este término la igualdad cambia a )
x2  y2 x2  y2

x  y2
2 2


x2  y2

 x 2  y 2   ,como x 2  y 2  0, entonces:
 x 2  y 2   , por propiedades de valor absoluto, x 2  x , y 2  y :
2 2

 x  y 
2 2
 Aplicando las restricciones correspondientes: x    x   2  y    y   2 , se
2 2


tiene que  2   2  2  2   , despejando  resulta: 2  2      . Es suficiente
2

tomar   para que el límite exista.
2

3) DEMOSTRACIÓN DE LÍMITES EN TRES VARIABLES

Ejemplo 8

Demuestre que lím 2 x  3 y  z  4 . Luego también pruebe que la función

 x , y , z    2, 1,3
f  x, y , z   2 x  3 y  z es continua en  2,1, 3  .
Debe hallarse  ,   0 tal que 2x  3y  z  4   cada vez que  x, y, z    2,1,3  .
Del cálculo se sabe que  x, y, z    2,1,3  es equivalente a
x2    y1    z  3   .
Luego:
x2    y1    z  3  
2x  3y  z  4  2x  4  3y  3  z  3
  2 x  4    3 y  3    z  3 
 2  x  2   3  y  1   z  3   
Luego, sustituyendo las restricciones de las desigualdades:
2  x  2   3  y  1   z  3     2    3     
 2  3    
 6  

 
6

Basta tomar   para que el límite exista.
6
Entonces:
i ) f  2,1, 3   2  2   3 1  3  4
ii ) lím 2 x  3 y  z  2  2   3  1  3  4
 x , y , z    2, 1,3 
iii ) f  2,1, 3   lím f  x, y , z 
 x , y , z    2, 1,3 
Por lo tanto la función f  x, y , z   2 x  3 y  z es continua en  2,1, 3  .
Ejemplo 9

x3  y z2
Demuestre usando trayectorias y limites iterados que lím no existe.
 x , y , z   1, 1, 1 x  y  z 

x3  yz2 0
Al sustituir resulta que lím  , una forma indeterminada. Hay dos
 x , y , z   1, 1, 1 x  y  z  0

maneras de justificar si el límite existe o no: Por trayectorias o por límites iterados.
a) Por trayectorias: Sea S1  ( x, y)   2

: z  2x  3y , luego se despeja para cualquier
z  3y
variable independiente: z  2 x  3 y  x  , al sustituir resulta:
2
 z  3y   y z 2
3
 z  3y 
3

 2  yz
2

lím    lím 8 , además:

     z  3y 
   y , z   1, 1  z  3 y  y  z 
 x , y  S 1  2  
y  z
y , z 1, 1

 x , y  S 1
  2
Sea S 2  x  : z  y  2 , al sustituir y  z  2 en el límite anterior se tiene:

 z  3y   z  3  z  2    z  2  z
3 3

yz 2 2

lím 8  lím 8
 y , z    1, 1  z  3 y  y  z  z  1
  z  2   z  2  z 
z  3
 x , y  S 1 2
y S 2
2
 z  3 z  6
3

z3 2z2
 lím 8
z  1
 z  3 z  6  2 z  2 
2
4 z  6
3
 8 z 3  16 z 2
 lím 8
z  1
2  z  1 4 z  6 
2
56 z  272 z 2  432 z  216
3

 lím 8
z  1 4 z 2  10 z  6
 
8 7 z 3  34 z 2  54 z  27 
8
 lím
z  1 4 z  10 z  6
2

7 z 3  34 z 2  54 z  27
 lím
z  1 4 z 2  10 z  6
0
 lím
, como es indeterminada se aplica L'H
0 z  1

7 z 3  34 z 2  54 z  27 21 z 2  68 z  54
lím  l í m
z  1 4 z 2  10 z  6 z  1 8 z  10
42 z  68
 lím
z  1 8
26

8
13

4
Se deben buscar otras dos trayectorias, para verificar que el límite no existe.
Sea 
S 1  ( x , y)  2
: z  x2 2 y ,  luego despeje para cualquier variable
z  x2 x2  z
independiente y sustituya z  x  2 y  y  2
, al sustituir resulta:
2 2

x3 
 x2  z  2
z x 
3
z2 x2  z  
lím  2   lím 2
 x , z   1, 1   x 2  z 
 x , y  S 1 x  

  z 
 x , z    1,

 x , y  S 1
1 

x x z
2

xz

 2   2

x  3
z2 x2  z 
 lím 2
 x , z   1, 1
 x , y  S 1

x x z 2
 xz
2
2 x  x 2z 2  z 3
3

2
 lím
 x , z   1, 1 x 3  x 2 z  2 x z
 x , y  S 1 2
2 x 3  x 2z 2  z 3
 lím
 x , z   1, 1 x 3  x 2 z  2 x z
 x , y  S 1
Además:
Sea S 2  y  : z  x  2 , al sustituir x  z  2 en el límite anterior se tiene:
 2  z  2   z  2 z 2  z 3
3 2
2 x 3  x 2z 2  z 3
lím  lím
 x , z   1, 1 x 3  x 2 z  2 x z
 z  2   z  2 z  2  z  2 z
z  1 3 2

 x , y  S 1 x S 2

2  1  2    1  2 
 1   1
3 2 2 3

 lím
 1  2    1  2   1  2  1  2  1
z  1 3 2

2  1   1  1   1
3 2 2 3

 lím
1  1  1  2 1 1
z  1 3 2

0
 lím , como es indeterminada se aplica L'H
z  1 0
2  z  2   z  2 z 2  z 3
3 2

lím , simplificando:
 z  2   z  2 z  2 z  z  2
z 1 3 2

 z 4  z 3  8 z 2  24 z  16
 lím , aplicando L'H
z  1 4 z 2  12 z  8
 4 z 3  3 z 2  16 z  24
 lím
z  1 8 z  12
 12 z 2  6 z  16
 lím
z  1 8 z  12
 24 z  6
 lím
z  1 8
 24  1  6

8
18

8
9

4
13 9 x3  y z2
Como  entonces se concluye que lím no existe.
4 4  x , y , z   1, 1, 1 x  y  z 

b) Por limites iterados: Se calculan los siguientes límites:

  x3  y z 2   x 3  y  1 
2

lí m lí m lí m 
  x  1  y  1
l í m l í m 
x  1  y  1  z  1 x  y  z   
    x  y   1  
 x3  y 
 lí m lí m 
x  1  y  1 x  y  1 
 
 x3 1
 lím
x  1 x  1  1

x3 1 0
 lím  , por L'h
x1 0 0
2
2x 2
 lím =
x1 0 0
Este límite no existe ya que la división por cero no está definida. Con este resultado
x3  y z2
se puede concluir que lím no existe. Una iteración más lo
 x , y , z   1, 1, 1 x  y  z 

confirma.
  x3  y z 2   x 3   1 z 2 
lí m lí m lí m   lí m lí m 
   
x  1  z  1  y  1 x y  z  

x1  z  1 x 1  z  
 
 x3  z2 
 lí m lí m 
 
x  1  z  1 x z  1 

x 3   1
2

 lím
x1 x  1  1
x3 1 0
 lím  , por L'h
x1 0 0
2
2x 2
 lím = que no está definido
x1 0 0

NOTA: Es importante mencionar que, si al usar el método de trayectorias o el método

de límites iterados, se obtiene el mismo valor, esto no es suficiente para concluir que el
limite existe, debe hacerse la demostración por definición. Estos métodos solo aseguran
la no existencia del límite.

Ejemplo 10

xyz
Demuestre que lím  1 . Luego también pruebe que la función
 x , y , z   1, 1,0  cos xyz
xyz
f  x, y , z   es continua en  1,1,0  .
cos xyz
a) Si se hace la sustitución correspondiente se tiene:
 lím
xyz

11  0

 x , y , z   1, 1,0  cos xyz cos  1 1 0  
1 0

cos  0 
1
xyz
Para desarrollar la demostración debe hallarse  ,   0 tal que  1   cada
cos xyz
vez que  x, y, z   1,1,0    . Del cálculo se sabe que  x, y, z   1,1,0    es
equivalente a x  1    y  1    z   .
xyz xyz x y  z  cos xyz
 1   1 
cos xyz cos xyz cos xyz
x y  x  y  1  z  cos xyz

cos xyz


 x y  x     y  1  z  cos xyz
cos xyz
x  y  1   y  1  z  cos xyz

cos xyz


 y  1 x  1  z  cos xyz , para cos xyz  0  xyz  k  , k 
cos xyz 2
Se sabe que la función cos xyz tiene una amplitud de 1, por eso 1  cos xyz  1 , es
decir, se acota cos xyz  1 . Luego, tomando la cota superior se tiene:

 y  1 x  1  z  cos xyz  

   1

cos xyz 1
  2    1   , despejando para 

   1    1 
 4  1   1    
2

 2    1     2    1     0   
2  1
1  1  4 1   
 
2
1 1 4  4
 
2
1 5  4
  , para 5  4   0
2
 1 5  4
Si  es tan pequeño como se quiera,    0 , se toma entonces
2
1 5  4
 , el valor de  que se necesita para que el limite exista. Por lo tanto
2
xyz
lím 1.
 x , y , z   1, 1,0  cos xyz
b) Continuidad de la función  1,1,0  .

i ) f  1,1,0  
11   0   1  0  1  1
cos  1 1 0  cos 0 1
xyz
ii ) Se demostró que lím 1
 x , y , z   1, 1,0  cos xyz
xyz
iii ) f  1,1,0   lím 1
 x , y , z  
 1, 1,0  cos xyz

Se concluye que la función es continua en  1,1,0  .

Ejemplo 11
Demuestre usando trayectorias y limites iterados que lím
 x , y , z    0, 1,1
 x  y  z  ln xyz no

existe. Al sustituir resulta lím

 x , y , z    0, 1,1
 x  y  z  ln xyz   0  1  1 ln  0 11  2 ln 0 ,
esta expresión 2 ln 0 no está definida, por eso el límite no existe.
a) Por trayectorias: Sea S1  ( x, y)   2

: z  x  y , luego se despeja para cualquier
variable independiente: z  x  y  x  z  y , al sustituir resulta:
lím
 x , y , z    0, 1,1
 x  y  z  ln xyz  lím
 y , z    1,1
 z y  y  z  ln  z  y  yz 
 x , y  S 1
 lím
 y , z    1,1

2 z ln y z 2  y 2 z 
 x , y  S 1
Ahora sea S 1  y  : y  z , al sustituir resulta:

 
l í m 2 z ln y z 2  y 2 z  l í m 2 z ln z z 2  z 2 z
z1 z1
 
y S 2 y S 2

 l í m 2 z ln z 3  z 3
z1
 
y S 2

 l í m 2 z ln 0
z1

y S 2
 Como ln 0 no existe, es razón suficiente para concluir que
lím  x  y  z  ln xyz tampoco existe.
 x , y , z    0, 1,1
b) Por límites iterados
i) lím
 x , y , z    0, 1,1
 x  y  z  ln xyz  l í m  l í m
x0 y 1 l í m  x  y  z  ln xyz  
z 1

 l í m  l í m  x  y  1 ln xy 
x0 y 1

 l í m  x  2  ln x
x0

 2 ln 0
Como 2 ln 0 no existe, esta es razón suficiente para concluir que
lím
 x , y , z    0, 1,1
 x  y  z  ln xyz tampoco existe.

TAREA: Siguiendo el modelo dado en los ejemplos anteriores, demuestre la existencia

o no de los siguientes límites.
3x  y 2  
a) l í m  b) l í m tan  3 x  y 2   , no existe
 x , y    2,2  x  2 y 3  x , y    0,0   2
2x  3y xyz 3
c) l í m , no existe d) l í m 
    x y
x , y  0,0 2 2
 x , y , z  
 1,3,2  x  3y  2z 2
 x2  y2  z 
e) lím
 x , y ,z    0,0,0 
log 3 
x  y 2
 z 3 
 , no existe f) lím
 x , y ,z   1,1,1
3 x  y  z   3
2

 