1.

Clculo de lmites para funciones de dos

variables
Los lmites de funciones de dos variables exigen, en general, un proceso de clculo difcil.
En el presente apartado se har un anlisis sobre los siguientes aspectos:
1.-Lmites segn subconjuntos.
2.-Lmites reiterados.
3.-Desarrollo de estrategias a partir de las grficas para la determinacin de la existencia o no, del lmite.
4.- Aproximaciones numricas.
5.- Clculo de lmites pasando a coordenadas polares.
Se acaba el apartado haciendo ejercicios en los que se utilizan todos los mtodos explicados en los distintos subapartados.

1.1. Lmites segn subconjuntos

A continuacin se desarrolla un procedimiento para hallar lmites segn subconjuntos, de forma muy general.
La idea es encontrar un algoritmo que calcule lim f Hx, yL para curvas y= f(x) generales y que pasen por el punto (a,f(a)).
y->fHxL
x->a

Es decir, si se trabaja en el punto (a,b) debe cumplirse que f(a)= b.

En el caso en que los subconjuntos sean rectas, los lmites se denominan lmites direccionales. En este caso:
y =f(x) = b + m (x - a)
El lmite de la funcin f (x,y) en el punto (a,b) segn el subconjunto elegido se puede calcular a travs de la siguiente
instruccin, que utiliza el comando de Mathematica Limit, y que ser de utilidad en todo este epgrafe:
lim@a_, _D := Limit@f@x, yD . 8y > @xD<, x > aD

NOTA: La funcin f[x] que describe el conjunto elegido debe ser declarada previamente.
NOTA: La funcin f[x,y] debe siempre denotarse con la letra f para que el procedimiento funcione.
La no existencia del lmite doble puede demostrarse encontrando dos subconjuntos para los cuales el lmite segn esos
subconjuntos sea distinto.
Ejemplo 1.1.1 .Hallar los lmites direccionales en el origen de coordenadas de la funcin f Hx, yL =

xy
x2 + y2

Solucin.
Para resolver el problema se define la funcin
xy
f@x_, y_D :=

x + y2

Luego se introduce la familia de subconjuntos, que en este caso es la familia de rectas y = m x.

@x_D := m x

Se ejecuta entonces la instruccin que proporciona el lmite segn dichos subconjuntos en a = 0.

Untitled-1

g@m_D = lim@0, D
m
1 + m2

As, por ejemplo, si m = 2 y m = 5, se obtiene:

g@2D
2
5
g@5D
5
26

Como el lmite depende de la pendiente m, los lmites direccionales son distintos. NO existe lmite de la funcin en el
origen de coordenadas.
Ejemplo 1.1.2 .Hallar el lmite de la funcin f (x,y) =

x2 y
x4 + y2

en el punto (0,0), mediante rectas y parbolas cuyo eje es el eje OY y que

pasen por el origen de coordenadas.

Solucin.
Se procede como antes. Se introduce la funcin
x2 y
f@x_, y_D :=

x4 + y2

Se introduce la familia de rectas y = m x que pasan por el origen:

@x_D := m x

Ahora ejecutamos la instruccin general para calcular el lmite direccional:

lim@a, D
am
a2 + m2

Se evala en a= 0:
lim@0, D
0

Observamos entonces que los lmites direccionales son todos iguales, pues el lmite no depende de m. Este hecho, sin
embargo, no permite afirmar nada sobre la existencia del lmite doble.
NOTA: El lmite direccional segn la direccin del eje OY cuya ecuacin es x =0, corresponde al valor m = . Mathematica no tiene en cuenta esta peculiaridad aunque, en sentido estricto se debera calcular para hallar dicho lmite direccional.
Limit@f@x, yD . 8x 0<, y 0D
0

Se introduce ahora la familia de parbolas cuyo eje es el eje OY, que pasan por el origen de coordenadas, cuya ecuacin
es y = m x2
@x_D := m x2

Untitled-1

Se evala el lmite, para a = 0, segn estos subconjuntos, que ser, en general, una funcin de m.
g@m_D = lim@0, D
m
1 + m2

Si m=1 se obtiene:
g@1D
1
2

Y si m=2
g@2D
2
5

Como el lmite depende de m no todos los lmites son iguales. Por tanto, podemos afirmar que el lmite doble en el origen
de coordenadas NO existe.

1.2. Lmites reiterados.

Los lmites reiterados, iterados o sucesivos de la funcin f Hx, yL en el punto (a,b) se definen como:
limx->a (lim y->b f Hx, yL ) y lim y->b (limx->a f Hx, yL ) . Si ambos lmites son distintos, dado que el lmite, si existe, debe ser
nico, se concluye que no existe el lmite doble (vase pgina 44 ).
A continuacin se desarrollar un algoritmo para calcular los lmites reiterados de cualquier funcin f Hx, yL en el punto
(a,b).
Un lmite reiterado es, de acuerdo con la definicin:
limre1@a_, b_D := Limit@Limit@f@x, yD, x > aD, y > bD

El otro lmite reiterado se obtiene cambiando el orden de las variables.

limre2@a_, b_D := Limit@Limit@f@x, yD, y > bD, x > aD

Y ahora no habr ms que comparar los dos lmites anteriores en cualquier punto.
NOTA: La funcin siempre deber ser definida previamente como f [x_,y_].
Ejemplo 1.2.1 .Hallar los lmites reiterados de la funcin f(x,y)=

Solucin.
Se define la funcin:
xy
f@x_, y_D :=

x2

+ y2

xy
x2 + y2

en el origen de coordenadas.(Es la funcin del ejemplo 1.1.1)

Untitled-1

Se calcula un lmite reiterado en el origen.

limre1@0, 0D
0

El otro lmite reiterado ser:

limre2@0, 0D
0

Los lmites reiterados son iguales. Sin embargo, este hecho no basta para afirmar la existencia del lmite doble. De hecho,
dicho lmite no existe como se ha visto en el ejemplo 1.1.1 anterior.
Ejemplo 1.2.2 .Calcular los lmites reiterados de la funcin f(x,y)=

x y -x + y
x+ y

en el origen de coordenadas .

Solucin.
Se declara la funcin
f@x_, y_D :=

xyx+y
x+y

Se calcula un lmite reiterado en el origen.

limre1@0, 0D
1

El otro lmite ser:

limre2@0, 0D
1

Como los lmites reiterados son distintos, podemos afirmar que no existe el lmite doble.
Ejemplo 1.2.3 .Calcular los lmites reiterados de la funcin f(x,y)= e

2 x y -x - y

-1
x + y-2

en el punto (1,1).

Solucin.
Se declara la funcin
f@x_, y_D :=

2 x yxy 1
x+ y2

Se calcula un lmite reiterado en el punto pedido (1,1).

limre1@1, 1D
1

El otro lmite ser:

limre2@1, 1D
1

A pesar de que los lmites reiterados son iguales, no se puede garantizar la existencia de lmite doble.

Untitled-1

Ejemplo 1.2.4 .Estudiar la existencia de lmite de la funciones:

a) f(x,y)=
b) g(x,y)=
c) f(x,y) =

x2 - y2
x2 + y2
x2 y2
x2 + y2

en el origen de coordenadas
en el origen de coordenadas

eIxy-x+yM
en
xy

el punto (1,-1).

Solucin.
Apartado a):
f@x_, y_D :=

x^2 y^2
x^2 + y^2

Se calcula un lmite reiterado en el punto pedido (0,0).

limre1@0, 0D
1

El otro lmite ser:

limre2@0, 0D
1

Como son distintos, se puede garantizar la NO existencia de lmite doble.

Apartado b):
x^2 y^2
f@x_, y_D :=

x^2 + y^2

Llamamos a la funcin f, aunque en el enunciado aparezca como g, para posibilitar la aplicacin de nuestro algoritmo.
Se calcula un lmite reiterado en el punto pedido (0,0).
limre1@0, 0D
0

El otro lmite ser:

limre2@0, 0D
0

La igualdad de los lmites reiterados no permite afirmar nada sobre la existencia del lmite doble. Hay que seguir aplicando otras tcnicas. No es difcil, sin embargo, comprobar, utilizando la tcnica del paso a coordenadas polares, que
dicho lmite existe y vale 0 (vase el ejemplo 1.5.2)
Apartado c):
f@x_, y_D :=

Exp@x y x + yD
xy

Se calcula un lmite reiterado en el punto pedido (1,-1).

Untitled-1

limre1@1, 1D

1
3

El otro lmite ser:

limre2@1, 1D

1
3

La igualdad de los lmites reiterados no permite afirmar nada sobre la existencia del lmite doble. Pero es fcil comprobar
que el lmite doble existe y coincide con este valor comn, porque la funcin no tiene ninguna indeterminacin en dicho
punto.
Ejemplo 1.2.5 .Estudiar la existencia de lmite y de los lmites reiterados de la funcin f(x,y)=x sen( xy1 ) en el origen de coordenadas

Solucin.
Se declara la funcin
1
f@x_, y_D := x SinB
xy

Se calcula un lmite reiterado en el origen

limre1@0, 0D
1
LimitBLimitBx SinB
xy

F, x 0F, y 0F

El otro lmite ser:

limre2@0, 0D
1
LimitBLimitBx SinB
xy

F, y 0F, x 0F

En ambos casos Mathematica devuelve resultados extraos. No sabe hacer esos lmites.
Probamos mediante subconjuntos, como en el apartado anterior, utilizando el procedimiento lim sobre las rectas que pasan
por el origen de coordenadas
@x_D := m x
lim@0, D
1
LimitBx SinB
m x2

F, x 0F

Y Mathematica tampoco lo sabe resolver.

Sin embargo, es fcil ver que limre1[0,0] es 0 y el otro no existe. Como alguno de los lmites laterales no existe no se
puede garantizar la existecia de lmite doble. Sin embargo, podemos decidir sobre la existencia de lmite utilizando el
siguiente argumento:
1
1
Como sen( xy
) 1, es decir, est acotado, la funcin f(x,y)=x sen( xy
) verifica que -xf(x,y)x , y, por tanto, el lmite

pedido es cero, lo que corroboran las siguiente grficas, en las que se representa la funcin en cuadrados de lados cada vez
menores :

Untitled-1

1
Plot3DBx SinB
xy

F, 8x, .5, .5<, 8y, .5, .5<F;

0.5
0.25
0
-0.25
-0.5

0.4
0.2
0

-0.4
-0.2

-0.2

0
0.2

-0.4
0.4

1
Plot3DBx SinB
xy

F, 8x, .1, .1<, 8y, .1, .1<F;

0.1
0.05
0
-0.05
-0.1
-0.1

0.1
0.05
0
-0.05
-0.05

0
0.05

0.1 -0.1

1.3. Desarrollando estrategias a partir de las grficas

Las grficas asociadas a una funcin de dos variables, ya sea de la propia funcin o de sus curvas de nivel pueden ser de
gran utilidad para analizar su comportamiento en un punto.
Una posibilidad es analizar el comportamiento de la funcin "cerca" del punto, representndola en un rectngulo de lados
cada vez menores, que contengan al punto. Es como analizar el comportamiento de la funcin a travs de un zoom.
Otra posibilidad es representar las curvas de nivel de la funcin, ya que su forma, discontinuidades, intensidad, etc. puede
permitir deducir caractersticas de la funcin.
Ejemplo 1.3.1 ."Comprobar grficamente" que la funcin f(x,y)=

xy
x2 + y2

no tiene lmite en el origen. Para ello representar la funcin y

hallar sus curvas de nivel en dos cuadrados de lados 1 y 0.1 respectivamente.(Es la funcin del ejemplo 1.1.1.)

Untitled-1

Solucin.
La representacin de la funcin, utilizando el comando Plot3D, en dos cuadrados de lados 1 y 0.1 es:
En el cuadrado de lado 1:
xy
Plot3DB

x + y2

, 8x, 0.5, 0.5<, 8y, 0.5, 0.5<F;

0.5
0.25
0
-0.25
-0.5

0.4
0.2
0

-0.4
-0.2

-0.2

0
0.2

-0.4
0.4

En el cuadrado de lado 0.1:

xy
Plot3DB

x2

+ y2

, 8x, .05, .05<, 8y, 0.05, 0.05<F;

0.5
0.25
0
-0.25
-0.5

0.04
0.02
0

-0.04
-0.02

-0.02

0
0.02

-0.04
0.04

La salida es "aparentemente" la misma aunque la segunda grfica corresponde a un cuadrado de lado menor. La funcin
"oscila" entre -0.5 y 0.5, lo cual "corrobora" la no existencia de lmite.
Se representan ahora sus curvas de nivel mediante el comando ContourPlot.
En el cuadrado de lado 1:

Untitled-1

ContourPlot B

xy
2

x + y2

, 8x, 0.5, 0.5<, 8y, 0.5, 0.5<F;

0.4

0.2

-0.2

-0.4

-0.4

-0.2

0.2

0.4

En el cuadrado de lado 0.1:

ContourPlot B

xy
x2 + y2

, 8x, .05, .05<, 8y, .05, .05<F;

0.04

0.02

-0.02

-0.04

-0.04

-0.02

0.02

0.04

De nuevo la grfica es la misma, lo cual no es sorprendente ya que la funcin es constante a lo largo de rectas.
Es posible representar ambas grficas en una sola celda de modo que se facilite el estudio de la grfica. Una posibilidad es
usar el comando GraphicsArray empleado de la siguiente forma:
Primero se define la funcin y el origen de coordenadas:
z@x_, y_D =

xy
x2

+ y2

; xo = 0; yo = 0;

Las siguientes instrucciones permitirn representar la funcin en el cuadrado de lados [xo- e, xo+e] x [yo-e,yo+e] , as como
sus curvas de nivel.

10

Untitled-1

graf@_D :=
Plot3D@z@x, yD, 8x, xo , xo + <, 8y, yo , yo + <, DisplayFunction Identity D;
cniv@_D := ContourPlot @z@x, yD, 8x, xo , xo + <, 8y, yo , yo + <,
ColorFunction Hue, Contours 7, DisplayFunction IdentityD;

Y ahora se pueden representar juntas usando el comando Show.

Show@GraphicsArray @8graf@.3D, cniv@.3D<DD;

0.5
0.25
0
-0.25
-0.5
-0.2

0.2
0
-0.2

0.2

0.3
0.2
0.1
0
-0.1
-0.2
-0.3
-0.3
-0.2
-0.10 0.10.20.3

Se vara el marco de representacin, pero se observa que el resultado es el mismo:

Show@GraphicsArray @8graf@.03D, cniv@.03D<DD;

0.5
0.25
0
-0.25
-0.5
-0.02

0.02
0
-0.02

0
0.02

0.03
0.02
0.01
0
-0.01
-0.02
-0.03
-0.03
-0.02
-0.0100.01
0.02
0.03

Show@GraphicsArray @8graf@.003D, cniv@.003D<DD;

0.5
0.25
0
-0.25
-0.5
-0.002

0
0.002

0.002
0
-0.002

0.003
0.002
0.001
0
-0.001
-0.002
-0.003
-0.003
-0.002
-0.001
0 .001
0.002
0.003

Ejemplo 1.3.2 .1
"Comprobar grficamente" si la funcin f(x,y)=x sen( xy
) tiene lmite en el origen. Para ello representar la funcin y

hallar sus curvas de nivel en dos cuadrados de lados 1 y 0.1 respectivamente.(Es la funcin del ejemplo 1.2.5.)

Solucin.
Representamos la funcin, utilizando el comando Plot3D, en dos cuadrados de lados 1 y 0.1 igual que en el ejemplo
anterior:
1
f@x_, y_D := x SinB
xy

En el cuadrado de lado 1:

Untitled-1

Plot3D@f@x, yD, 8x, 0.5, 0.5<, 8y, 0.5, 0.5<D;

0.5
0.25
0
-0.25
-0.5

0.4
0.2
0

-0.4
-0.2

-0.2

0
0.2

-0.4
0.4

En el cuadrado de lado 0.1:

Plot3D@f@x, yD, 8x, .05, .05<, 8y, 0.05, 0.05<D;

0.05
0.025
0
-0.025
-0.05

0.04
0.02
0

-0.04
-0.02

-0.02

0
0.02

-0.04
0.04

Y se observa grficamente en ambos casos que el lmite es 0.

Se representan ahora sus curvas de nivel mediante el comando ContourPlot.
En el cuadrado de lado 1:

11

12

Untitled-1

ContourPlot @f@x, yD, 8x, 0.5, 0.5<, 8y, 0.5, 0.5<D;

0.4

0.2

-0.2

-0.4

-0.4

-0.2

0.2

0.4

En el cuadrado de lado 0.1:

ContourPlot @f@x, yD, 8x, 0.05, 0.05<, 8y, 0.05, 0.05<D;

0.04

0.02

-0.02

-0.04

-0.04

-0.02

0.02

0.04

Y de nuevo se observa que el lmite existe y vale 0.

Representamos ambas curvas en una sola celda de modo que se facilite el estudio de la grfica, siguiendo el procedimiento
del ejemplo anterior, representndolas juntas usando el comando Show.
1
z@x_, y_D := x SinB
xy

F; xo = 0; yo = 0;

NOTA: Obsrvese que, tal y como se han definido los procedimientos a utilizar, la funcin ha de ser z[x_,y_].

Untitled-1

13

Show@GraphicsArray @8graf@.3D, cniv@.3D<DD;

0.2
0
-0.2
-0.2

0
0.2

0.2
0
-0.2

0.3
0.2
0.1
0
-0.1
-0.2
-0.3
-0.3
-0.2
-0.10 0.10.20.3

Se vara el marco de representacin, pero se observa que el resultado es el mismo:

Show@GraphicsArray @8graf@.03D, cniv@.03D<DD;

0.02
0
-0.02
-0.02

0
0.02

0.02
0
-0.02

0.03
0.02
0.01
0
-0.01
-0.02
-0.03
-0.03
-0.02
-0.0100.01
0.02
0.03

Show@GraphicsArray @8graf@.003D, cniv@.003D<DD;

0.002
0
-0.002
-0.002

0
0.002

0.002
0
-0.002

0.003
0.002
0.001
0
-0.001
-0.002
-0.003
-0.003
-0.002
-0.001
0 .001
0.002
0.003

1.4. Evaluacin numrica

Otra posible forma de obtener informacin til de una funcin en las proximidades de un punto es mediante evaluaciones
numricas.
Consiste en definir una tabla de valores en torno al punto donde se calcula al lmite y observar los resultados.
Ejemplo 1.4.1 .Calcular el lmite en el origen de coordenadas de la funcin f (x,y)=

xy
Ix2 + y2 M

utilizando una evaluacin numrica.

Solucin.
Clear@fD

Se define la funcin:
xy
f@x_, y_D :=

x + y2

Se declaran los valores de a,b,n y h, que se corresponden con las coordenadas del punto donde se calcula el lmite (a,b), el
nmero de puntos por eje que tomamos n y la longitud de paso entre los citados puntos h. En este caso, estos valores se

14

Untitled-1

eligen teniendo en cuenta que a=b=0, ya que evaluamos el lmite en el origen, mientras que el valor de n y de h es por
eleccin.
a = 0; b = 0; n = 5; h = 0.1;

Con el comando Table se genera una tabla de valores en torno al origen.

Table@f@a + j h, b + k hD, 8j, 1, n<, 8k, 1, n<D
880.5, 0.4, 0.3, 0.235294, 0.192308<, 80.4, 0.5, 0.461538, 0.4, 0.344828<,
80.3, 0.461538, 0.5, 0.48, 0.441176<, 80.235294, 0.4, 0.48, 0.5, 0.487805<,
80.192308, 0.344828, 0.441176, 0.487805, 0.5<<

Con el comando TableForm colocamos los valores en columnas.

TableForm @Table@f@a + j h, b + k hD, 8j, 1, n<, 8k, 1, n<DD
0.5
0.4
0.3
0.235294
0.192308

0.4
0.5
0.461538
0.4
0.344828

0.3
0.461538
0.5
0.48
0.441176

0.235294
0.4
0.48
0.5
0.487805

0.192308
0.344828
0.441176
0.487805
0.5

Dado que los valores no se "agrupan" en torno a un valor fijo, pensamos inicialmente que no existe el lmite doble.
Probamos de nuevo modificando los valores de n y h. Al aumentar n y disminuir h, el nmero de resultados es mayor y la
informacin ms precisa.
a = 0; b = 0; n = 10; h = 0.0001;
TableForm @Table@f@a + j h, b + k hD, 8j, 1, n<, 8k, 1, n<DD
0.5
0.4
0.3
0.235294
0.192308
0.162162
0.14
0.123077
0.109756
0.0990099

0.4
0.5
0.461538
0.4
0.344828
0.3
0.264151
0.235294
0.211765
0.192308

0.3
0.461538
0.5
0.48
0.441176
0.4
0.362069
0.328767
0.3
0.275229

0.235294
0.4
0.48
0.5
0.487805
0.461538
0.430769
0.4
0.371134
0.344828

0.192308
0.344828
0.441176
0.487805
0.5
0.491803
0.472973
0.449438
0.424528
0.4

0.162162
0.3
0.4
0.461538
0.491803
0.5
0.494118
0.48
0.461538
0.441176

0.14
0.264151
0.362069
0.430769
0.472973
0.494118
0.5
0.495575
0.484615
0.469799

0.123077
0.235294
0.328767
0.4
0.449438
0.48
0.495575
0.5
0.496552
0.487805

Observamos de nuevo la no existencia del lmite, dado que los valores no se "agrupan" en torno a un valor fijo.
Si se quiere saber a qu valor de la funcin corresponde cada uno de los resultados hay que utilizar el comando ToString.
NOTA:La utilizacin de dicho comando para generar una tabla de valores de la funcin en forma "clsica" no es evidente
sino que requiere conocimientos avanzados de Mathematica.
TableForm @Table@"f@" > ToString@a + j hD > "," >
ToString@b + k hD > "D = " > ToString@f@a + j h, b + k hDD, 8j, 1, n<, 8k, 1, n<DD
f@0.0001,0.0001D = 0.5
f@0.0002,0.0001D = 0.4
f@0.0003,0.0001D = 0.3
f@0.0004,0.0001D = 0.235294
f@0.0005,0.0001D = 0.192308
f@0.0006,0.0001D = 0.162162
f@0.0007,0.0001D = 0.14
f@0.0008,0.0001D = 0.123077
f@0.0009,0.0001D = 0.109756
f@0.001,0.0001D = 0.0990099

f@0.0001,0.0002D = 0.4
f@0.0002,0.0002D = 0.5
f@0.0003,0.0002D = 0.461538
f@0.0004,0.0002D = 0.4
f@0.0005,0.0002D = 0.344828
f@0.0006,0.0002D = 0.3
f@0.0007,0.0002D = 0.264151
f@0.0008,0.0002D = 0.235294
f@0.0009,0.0002D = 0.211765
f@0.001,0.0002D = 0.192308

f@0.0001,0.0003D = 0.3
f@0.0002,0.0003D = 0.461538
f@0.0003,0.0003D = 0.5
f@0.0004,0.0003D = 0.48
f@0.0005,0.0003D = 0.441176
f@0.0006,0.0003D = 0.4
f@0.0007,0.0003D = 0.362069
f@0.0008,0.0003D = 0.328767
f@0.0009,0.0003D = 0.3
f@0.001,0.0003D = 0.275229

Untitled-1

Se utiliza el comando Flatten para que aparezcan los resultados en una nica columna, ya que dado el nmero de puntos
elegido no se ven bien todos los valores en la misma pantalla:
TableForm @Flatten@Table@"f@" > ToString@a + j hD > "," >
ToString@b + k hD > "D = " > ToString@f@a + j h, b + k hDD, 8j, 1, n<, 8k, 1, n<DDD
f@0.0001,0.0001D = 0.5
f@0.0001,0.0002D = 0.4
f@0.0001,0.0003D = 0.3
f@0.0001,0.0004D = 0.235294
f@0.0001,0.0005D = 0.192308
f@0.0001,0.0006D = 0.162162
f@0.0001,0.0007D = 0.14
f@0.0001,0.0008D = 0.123077
f@0.0001,0.0009D = 0.109756
f@0.0001,0.001D = 0.0990099
f@0.0002,0.0001D = 0.4
f@0.0002,0.0002D = 0.5
f@0.0002,0.0003D = 0.461538
f@0.0002,0.0004D = 0.4
f@0.0002,0.0005D = 0.344828
f@0.0002,0.0006D = 0.3
f@0.0002,0.0007D = 0.264151
f@0.0002,0.0008D = 0.235294
f@0.0002,0.0009D = 0.211765
f@0.0002,0.001D = 0.192308
f@0.0003,0.0001D = 0.3
f@0.0003,0.0002D = 0.461538
f@0.0003,0.0003D = 0.5
f@0.0003,0.0004D = 0.48
f@0.0003,0.0005D = 0.441176
f@0.0003,0.0006D = 0.4
f@0.0003,0.0007D = 0.362069
f@0.0003,0.0008D = 0.328767
f@0.0003,0.0009D = 0.3
f@0.0003,0.001D = 0.275229
f@0.0004,0.0001D = 0.235294
f@0.0004,0.0002D = 0.4
f@0.0004,0.0003D = 0.48
f@0.0004,0.0004D = 0.5
f@0.0004,0.0005D = 0.487805
f@0.0004,0.0006D = 0.461538
f@0.0004,0.0007D = 0.430769
f@0.0004,0.0008D = 0.4
f@0.0004,0.0009D = 0.371134
f@0.0004,0.001D = 0.344828
f@0.0005,0.0001D = 0.192308
f@0.0005,0.0002D = 0.344828
f@0.0005,0.0003D = 0.441176
f@0.0005,0.0004D = 0.487805
f@0.0005,0.0005D = 0.5
f@0.0005,0.0006D = 0.491803
f@0.0005,0.0007D = 0.472973
f@0.0005,0.0008D = 0.449438
f@0.0005,0.0009D = 0.424528
f@0.0005,0.001D = 0.4
f@0.0006,0.0001D = 0.162162

15

16

Untitled-1

f@0.0006,0.0002D = 0.3
f@0.0006,0.0003D = 0.4
f@0.0006,0.0004D = 0.461538
f@0.0006,0.0005D = 0.491803
f@0.0006,0.0006D = 0.5
f@0.0006,0.0007D = 0.494118
f@0.0006,0.0008D = 0.48
f@0.0006,0.0009D = 0.461538
f@0.0006,0.001D = 0.441176
f@0.0007,0.0001D = 0.14
f@0.0007,0.0002D = 0.264151
f@0.0007,0.0003D = 0.362069
f@0.0007,0.0004D = 0.430769
f@0.0007,0.0005D = 0.472973
f@0.0007,0.0006D = 0.494118
f@0.0007,0.0007D = 0.5
f@0.0007,0.0008D = 0.495575
f@0.0007,0.0009D = 0.484615
f@0.0007,0.001D = 0.469799
f@0.0008,0.0001D = 0.123077
f@0.0008,0.0002D = 0.235294
f@0.0008,0.0003D = 0.328767
f@0.0008,0.0004D = 0.4
f@0.0008,0.0005D = 0.449438
f@0.0008,0.0006D = 0.48
f@0.0008,0.0007D = 0.495575
f@0.0008,0.0008D = 0.5
f@0.0008,0.0009D = 0.496552
f@0.0008,0.001D = 0.487805
f@0.0009,0.0001D = 0.109756
f@0.0009,0.0002D = 0.211765
f@0.0009,0.0003D = 0.3
f@0.0009,0.0004D = 0.371134
f@0.0009,0.0005D = 0.424528
f@0.0009,0.0006D = 0.461538
f@0.0009,0.0007D = 0.484615
f@0.0009,0.0008D = 0.496552
f@0.0009,0.0009D = 0.5
f@0.0009,0.001D = 0.497238
f@0.001,0.0001D = 0.0990099
f@0.001,0.0002D = 0.192308
f@0.001,0.0003D = 0.275229
f@0.001,0.0004D = 0.344828
f@0.001,0.0005D = 0.4
f@0.001,0.0006D = 0.441176
f@0.001,0.0007D = 0.469799
f@0.001,0.0008D = 0.487805
f@0.001,0.0009D = 0.497238
f@0.001,0.001D = 0.5

Como los valores oscilan en torno al origen, NO existe lmite.

Ejemplo 1.4.2 .Conseguir el valor del lmite en el origen de coordenadas de la funcin f (x,y)=

senHx yL
xy

utilizando una evaluacin numrica.

Untitled-1

Solucin.
Clear@fD

Se define la funcin:
Sin@x yD
f@x_, y_D :=
xy

Se declaran los valores de a,b,n y h con el mismo significado que antes. Estos valores se eligen teniendo en cuenta que
a=b=0, ya que evaluamos el lmite en el origen, mientras que el valor de n y de h es por eleccin.
a = 0; b = 0; n = 5; h = 0.1;

Con el comando Table se genera una tabla de valores entorno al origen.

Table@f@a + j h, b + k hD, 8j, 1, n<, 8k, 1, n<D
880.999983, 0.999933, 0.99985, 0.999733, 0.999583<,
80.999933, 0.999733, 0.9994, 0.998934, 0.998334<,
80.99985, 0.9994, 0.998651, 0.997602, 0.996254<,
80.999733, 0.998934, 0.997602, 0.995739, 0.993347<,
80.999583, 0.998334, 0.996254, 0.993347, 0.989616<<

A la vista de los resultados, el lmite parece valer 1. Probamos modificando los valores de n y h.
n = 10; h = 0.01;
Table@f@a + j h, b + k hD, 8j, 1, n<, 8k, 1, n<D
881., 1., 1., 1., 1., 1., 1., 1., 1., 1.<,
81., 1., 1., 1., 1., 1., 1., 1., 0.999999, 0.999999<,
81., 1., 1., 1., 1., 0.999999, 0.999999, 0.999999, 0.999999, 0.999999<,
81., 1., 1., 1., 0.999999, 0.999999, 0.999999, 0.999998, 0.999998, 0.999997<,
81., 1., 1., 0.999999, 0.999999, 0.999999, 0.999998, 0.999997, 0.999997, 0.999996<,
81., 1., 0.999999, 0.999999, 0.999999, 0.999998, 0.999997, 0.999996, 0.999995, 0.999994<,
81., 1., 0.999999, 0.999999, 0.999998, 0.999997, 0.999996, 0.999995, 0.999993, 0.999992<,
81., 1., 0.999999, 0.999998, 0.999997, 0.999996, 0.999995, 0.999993, 0.999991, 0.999989<,
81., 0.999999, 0.999999, 0.999998, 0.999997, 0.999995, 0.999993,
0.999991, 0.999989, 0.999987<, 81., 0.999999, 0.999999, 0.999997,
0.999996, 0.999994, 0.999992, 0.999989, 0.999987, 0.999983<<

Si se quieren representar los datos de un modo ms claro:

TableForm @Flatten@Table@"f@" > ToString@a + j hD > "," >
ToString@b + k hD > "D = " > ToString@f@a + j h, b + k hDD, 8j, 1, n<, 8k, 1, n<DDD
f@0.01,0.01D = 1.
f@0.01,0.02D = 1.
f@0.01,0.03D = 1.
f@0.01,0.04D = 1.
f@0.01,0.05D = 1.
f@0.01,0.06D = 1.
f@0.01,0.07D = 1.
f@0.01,0.08D = 1.
f@0.01,0.09D = 1.
f@0.01,0.1D = 1.
f@0.02,0.01D = 1.
f@0.02,0.02D = 1.
f@0.02,0.03D = 1.
f@0.02,0.04D = 1.
f@0.02,0.05D = 1.
f@0.02,0.06D = 1.

17

18

Untitled-1

f@0.02,0.07D = 1.
f@0.02,0.08D = 1.
f@0.02,0.09D = 0.999999
f@0.02,0.1D = 0.999999
f@0.03,0.01D = 1.
f@0.03,0.02D = 1.
f@0.03,0.03D = 1.
f@0.03,0.04D = 1.
f@0.03,0.05D = 1.
f@0.03,0.06D = 0.999999
f@0.03,0.07D = 0.999999
f@0.03,0.08D = 0.999999
f@0.03,0.09D = 0.999999
f@0.03,0.1D = 0.999999
f@0.04,0.01D = 1.
f@0.04,0.02D = 1.
f@0.04,0.03D = 1.
f@0.04,0.04D = 1.
f@0.04,0.05D = 0.999999
f@0.04,0.06D = 0.999999
f@0.04,0.07D = 0.999999
f@0.04,0.08D = 0.999998
f@0.04,0.09D = 0.999998
f@0.04,0.1D = 0.999997
f@0.05,0.01D = 1.
f@0.05,0.02D = 1.
f@0.05,0.03D = 1.
f@0.05,0.04D = 0.999999
f@0.05,0.05D = 0.999999
f@0.05,0.06D = 0.999999
f@0.05,0.07D = 0.999998
f@0.05,0.08D = 0.999997
f@0.05,0.09D = 0.999997
f@0.05,0.1D = 0.999996
f@0.06,0.01D = 1.
f@0.06,0.02D = 1.
f@0.06,0.03D = 0.999999
f@0.06,0.04D = 0.999999
f@0.06,0.05D = 0.999999
f@0.06,0.06D = 0.999998
f@0.06,0.07D = 0.999997
f@0.06,0.08D = 0.999996
f@0.06,0.09D = 0.999995
f@0.06,0.1D = 0.999994
f@0.07,0.01D = 1.
f@0.07,0.02D = 1.
f@0.07,0.03D = 0.999999
f@0.07,0.04D = 0.999999
f@0.07,0.05D = 0.999998
f@0.07,0.06D = 0.999997
f@0.07,0.07D = 0.999996
f@0.07,0.08D = 0.999995
f@0.07,0.09D = 0.999993
f@0.07,0.1D = 0.999992
f@0.08,0.01D = 1.
f@0.08,0.02D = 1.

Untitled-1

19

f@0.08,0.03D = 0.999999
f@0.08,0.04D = 0.999998
f@0.08,0.05D = 0.999997
f@0.08,0.06D = 0.999996
f@0.08,0.07D = 0.999995
f@0.08,0.08D = 0.999993
f@0.08,0.09D = 0.999991
f@0.08,0.1D = 0.999989
f@0.09,0.01D = 1.
f@0.09,0.02D = 0.999999
f@0.09,0.03D = 0.999999
f@0.09,0.04D = 0.999998
f@0.09,0.05D = 0.999997
f@0.09,0.06D = 0.999995
f@0.09,0.07D = 0.999993
f@0.09,0.08D = 0.999991
f@0.09,0.09D = 0.999989
f@0.09,0.1D = 0.999987
f@0.1,0.01D = 1.
f@0.1,0.02D = 0.999999
f@0.1,0.03D = 0.999999
f@0.1,0.04D = 0.999997
f@0.1,0.05D = 0.999996
f@0.1,0.06D = 0.999994
f@0.1,0.07D = 0.999992
f@0.1,0.08D = 0.999989
f@0.1,0.09D = 0.999987
f@0.1,0.1D = 0.999983

Lo cual nos permite decir que el lmite es 1.

Ejemplo 1.4.3 .Calcular el lmite en el punto (0,-2) de la funcin f (x,y)=

x3 senIy2 -4M
Hy+2L senx

utilizando una evaluacin numrica.

Solucin.
Clear@fD

Se define la funcin:
x3 SinAy2 4E
f@x_, y_D :=

Hy + 2L Sin@xD

Se define el punto (a,b) donde se calcula el lmite, la longitud de paso, por ejemplo, h=0.1 y el nmero de puntos en cada eje,
n=5.
NOTA: Tanto la longitud de paso como el nmero de puntos en cada eje, de nuevo, es una eleccin.
a = 0; b = 2; n = 5; h = 0.1;

Se genera una tabla con los valores de la funcin en torno al punto (0,-2).
Table@f@a + j h, b + k hD, 8j, 1, n<, 8k, 1, n<D
880.0380823, 0.0345035 , 0.0299064, 0.0248278 , 0.0197126<,
80.153094, 0.138707, 0.120226, 0.0998099, 0.0792461<,
80.347357, 0.314714, 0.272783, 0.22646, 0.179802<,
80.624831, 0.566113, 0.490687, 0.40736, 0.323432<,
80.99126, 0.898108, 0.778448, 0.646254, 0.513107<<

20

Untitled-1

Se observa que los valores oscilan en un entorno del 0, luego no estamos seguros si existe el lmite. Se varan los valores
iniciales.
a = 0; b = 2; n = 5; h = 0.01;
Table@f@a + j h, b + k hD, 8j, 1, n<, 8k, 1, n<D
880.000398901 , 0.000397586 , 0.000396069 , 0.000394353 , 0.000392444 <,
80.00159568 , 0.00159043 , 0.00158435 , 0.00157749 , 0.00156985 <,
80.00359059 , 0.00357876 , 0.00356509 , 0.00354965 , 0.00353246 <,
80.00638401 , 0.00636297 , 0.00633868 , 0.00631122 , 0.00628067 <,
80.00997651 , 0.00994364 , 0.00990568 , 0.00986276 , 0.00981502 <<

Ahora los valores estn muy prximos al 0; podemos decir que el lmite existe y su valor es 0.
Si se quieren representar los datos de un modo ms claro:
TableForm @Flatten@Table@"f@" > ToString@a + j hD > "," >
ToString@b + k hD > "D = " > ToString@f@a + j h, b + k hDD, 8j, 1, n<, 8k, 1, n<DDD
f@0.01,1.99D
f@0.01,1.98D
f@0.01,1.97D
f@0.01,1.96D
f@0.01,1.95D
f@0.02,1.99D
f@0.02,1.98D
f@0.02,1.97D
f@0.02,1.96D
f@0.02,1.95D
f@0.03,1.99D
f@0.03,1.98D
f@0.03,1.97D
f@0.03,1.96D
f@0.03,1.95D
f@0.04,1.99D
f@0.04,1.98D
f@0.04,1.97D
f@0.04,1.96D
f@0.04,1.95D
f@0.05,1.99D
f@0.05,1.98D
f@0.05,1.97D
f@0.05,1.96D
f@0.05,1.95D

=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=
=

0.000398901
0.000397586
0.000396069
0.000394353
0.000392444
0.00159568
0.00159043
0.00158435
0.00157749
0.00156985
0.00359059
0.00357876
0.00356509
0.00354965
0.00353246
0.00638401
0.00636297
0.00633868
0.00631122
0.00628067
0.00997651
0.00994364
0.00990568
0.00986276
0.00981502

Representamos, la funcin y sus curvas de nivel para "corroborar" grficamente lo deducido, siguiendo el proceso descrito
en el ejemplo 1.3.1:
x3 SinAy2 4E
f@x_, y_D :=

Hy + 2L Sin@xD

; xo = 0; yo = 2;

graf@_D :=
Plot3D@f@x, yD, 8x, xo , xo + <, 8y, yo , yo + <, DisplayFunction IdentityD;
cniv@_D := ContourPlot @f@x, yD, 8x, xo , xo + <, 8y, yo , yo + <,
ColorFunction Hue, Contours 7, DisplayFunction IdentityD;

Untitled-1

21

Show@GraphicsArray @8graf@.3D, cniv@.3D<DD;

0
-0.1
-0.2
-0.3
-0.2

0.2

-1.8
-2
-2.2

-1.7
-1.8
-1.9
-2
-2.1
-2.2
-2.3
-0.3
-0.2
-0.10 0.10.20.3

1.5. Pasando a coordenadas polares

Uno de los mtodos "positivos" para el clculo de lmites dobles consiste en pasar a coordenadas polares con origen en el
punto (a,b) (vase la NOTA 3 de la pgina 45 del libro). Dicho cambio de coordenadas est dado por las ecuaciones: x= a
+ rcos(q), y= b + rsen(q).
En esas condiciones, y con la notacin del libro, se tiene que lim f Hx, yL=lim F Hr, L, siempre que el segundo
Hx,yLHa,bL

r0

lmite exista y sea independiente de la r. La situacin ms comn que garantiza la existencia de lmite es que podamos
escribir F(r,q) =g(r) h(r,q) con g(r) tendiendo a cero y h(r,q) acotada.
Se puede expresar la funcin en coordenadas polares mediante la instruccin:
Cpolares@f_, a_, b_D := Simplify@f@x, yD . 8x > a + r Cos@D, y > b + r Sin@D<D

Obsrvese la til presencia del comando Simplify, pues dada la naturaleza del cambio a coordenadas polares, es conveniente
utilizar expresiones trigonomtricas lo ms sencillas posibles.
Veamos cmo nos ayuda Mathematica en este clculo.
Ejemplo 1.5.1 .Calcular el lmite en el origen de coordenadas de la funcin f (x,y)=

x2 y2
3

Ix2 + y2 M 2

Solucin.
Se define entonces la funcin:
x2 y2
f@x_, y_D :=
3

Ix + y M
2

Se le aplica la "funcin de cambio", que la transforma en coordenadas polares:

Cpolares@f, 0, 0D
r2 Cos@D2 Sin@D2

De acuerdo con la estrategia terica, vase NOTA 3 pgina 45 del libro, la funcin g(r) =

r2 tiende a cero, mientras que

la funcin h(r,q)=cosHqL2 senHqL2 se mantiene acotada (vase la grfica en un intervalo de longitud 2p)

22

Untitled-1

PlotACos@D2 Sin@D2 , 8, 0, 2 <E;

0.25
0.2
0.15
0.1
0.05

por lo que se puede concluir que el lmite doble es cero, resultado que viene confirmado ejecutando la instruccin
Limit@Cpolares@f, 0, 0D, r 0D
0

Ejemplo 1.5.2 .Calcular el lmite de la funcin f(x,y)=

x2 y2
x2 + y2

en el origen de coordenadas.

Solucin.
Se declara la funcin
x^2 y^2
f@x_, y_D :=

x^2 + y^2

Se repiten las instrucciones del ejemplo anterior

Cpolares@f, 0, 0D
r2 Cos@D2 Sin@D2

De acuerdo con la estrategia terica, dado que la funcin g(r) = r2 tiende a cero, mientras que la funcin
h(r,q)=cosHqL2 senHqL2 se mantiene acotada (vase la grfica en un intervalo de longitud 2p del ejemplo anterior).Se puede
concluir que el lmite doble es cero, resultado que viene confirmado ejecutando la instruccin
Limit@Cpolares@f, 0, 0D, r 0D
0

Ejemplo 1.5.3 .Calcular el lmite de la funcin f(x,y)=

xy-x- y+1
Hx-1L2 +Hy-1L2

en el punto (1,1).

Solucin.
Se declara la funcin
f@x_, y_D :=

xyxy+1
Hx 1L ^ 2 + Hy 1L ^ 2

Se repiten, de nuevo, las instrucciones de ejemplos anteriores:

Untitled-1

23

Cpolares@f, 1, 1D
Cos@D Sin@D
Limit@Cpolares@f, 1, 1D, r 0D
Cos@D Sin@D

En este caso el lmite depende del ngulo q. Podemos afirmar, por tanto, que el lmite doble no existe.
Ejemplo 1.5.4 .Usar el cambio a polares para demostrar que no existe lmite en el origen de coordenadas de la funcin f(x,y)=
.

Solucin.
Se declara la funcin
Clear@fD
f@x_, y_D :=

x^4 y^4 + x^8 y^8

x^4 + y^4

Se repiten, de nuevo, las instrucciones de ejemplos anteriores:

Cpolares@f, 0, 0D
Cos@D4 Sin@D4 + r12 Cos@D8 Sin@D8
Cos@D4 + Sin@D4
Limit@Cpolares@f, 0, 0D, r 0D
4 Cos@2 D
3 + Cos@4 D

En este caso el lmite depende del ngulo. Podemos afirmar entonces que el lmite doble no existe.
Lo comprobamos mediante los lmites reiterados, usando limre1 y limre2 :
limre1@0, 0D
1
limre2@0, 0D
1

Lo cual demuestra que el lmite doble no existe.

1.6. Un recorrido por los diferentes mtodos

Los ejercicios siguientes pretenden mostrar la variedad de los mtodos expuestos en los apartados anteriores.
Ejemplo 1.6.1 .Estudiar la existencia de lmite en el origen de coordenadas de la funcin f(x,y)=

x4 - y4 +x8 y8
x4 + y4

(Es el ejemplo 1.5.4)

x4 - y4 +x8 y8
x4 + y4

24

Untitled-1

Solucin.
Se define la funcin:
Clear@fD
f@x_, y_D :=

x4 y4 + x8 y8
x4 + y 4

Se puede expresar la funcin en coordenadas polares mediante la instruccin Cpolares:

Limit@Cpolares@f, 0, 0D, r 0D
4 Cos@2 D
3 + Cos@4 D

Como este lmite depende de q, no existe el lmite doble.

Se hallan los lmites direccionales en el origen, utilizando la funcin lim definida en el primer apartado. Se define la
familia de rectas
@x_D := m x

Se halla el lmite
lim@0, D
1 m4
1 + m4

Como el lmite depende de m, el lmite doble no existe.

Se hallan los lmites reiterados utilizando las funciones definidas en el segundo apartado, limre1 y limre2.
limre2@0, 0D
1
limre1@0, 0D
1

Como son distintos no existe lmite doble.

Tambin se pueden representar conjuntamente la funcin y sus curvas de nivel, utilizando los comandos Plot3D, GraphicsArray,ContourPlot y las funciones definidas en el apartado 1.3, para comprobar grficamente la no existencia de lmite.
Primero se definen la funcin y el punto considerado:
z@x_, y_D =

x4 y 4 + x 8 y 8
x4 + y4

; xo = 0; yo = 0;

Las siguientes instrucciones, ya definidas en el apartado 1.3, permitirn representar la funcin en el cuadrado de lados [xo- e,
xo+e] x [yo-e,yo+e] , as como sus curvas de nivel.
graf@_D :=
Plot3D@z@x, yD, 8x, xo , xo + <, 8y, yo , yo + <, DisplayFunction IdentityD;
cniv@_D := ContourPlot @z@x, yD, 8x, xo , xo + <, 8y, yo , yo + <,
ColorFunction Hue, Contours 7, DisplayFunction IdentityD;

Y ahora se pueden representar juntas usando el comando Show.

Untitled-1

25

Show@GraphicsArray @8graf@.3D, cniv@.3D<DD;

1
0.5
0
-0.5
-1
-0.2

0.2
0
-0.2

0
0.2

0.3
0.2
0.1
0
-0.1
-0.2
-0.3
-0.3
-0.2
-0.10 0.10.20.3

Se vara el marco de representacin, pero se observa que el resultado es el mismo:

Show@GraphicsArray @8graf@.03D, cniv@.03D<DD;

1
0.5
0
-0.5
-1
-0.02

0
0.02

0.02
0
-0.02

0.03
0.02
0.01
0
-0.01
-0.02
-0.03
-0.03
-0.02
-0.0100.01
0.02
0.03

Ejemplo 1.6.2 .Estudiar la existencia de lmite en el punto (1,1) de la funcin f(x,y)=

3 x-3 x2 +x3 -4 y+6 y2 -4 y3 + y4

-2+3 x-3 x2 +x3 +4 y-6 y2 +4 y3 - y4

Solucin.
Igual que en ejemplo anterior vamos a utilizar los distintos mtodos vistos hasta ahora.
Se define la funcin:
Clear@fD
f@x_, y_D :=

3 x 3 x 2 + x3 4 y + 6 y 2 4 y 3 + y 4
2 + 3 x 3 x2 + x3 + 4 y 6 y2 + 4 y3 y4

Se puede expresar la funcin en coordenadas polares mediante la instruccin:

Cpolares@f, 1, 1D
Cos@D3 + r Sin@D4
3

Cos@D r Sin@D

Limit@Cpolares@f, 1, 1D, r 0D
1

"Aparentemente" el lmite NO depende de q. Por lo tanto podramos pensar que existe lmite doble y vale 1.
Pero si observamos la expresin resultante del cambio a coordenadas polares vemos que el lmite s depende de q. Si nos
acercamos al origen de coordenadas por el eje OY, es decir con cos(q)=0, segn esa direccin el lmite vale -1
Esto quedar corroborado cuando chequeemos el procedimiento de los lmites reiterados.
Se hallan los lmites direccionales en el punto, utilizando la funcin definida en el apartado 1.1. Se define la familia de
rectas que pasan por el punto (1,1), de la forma y =f(x) = b + m (x - a):
@x_D := 1 + m Hx 1L

Se halla el lmite

26

Untitled-1

lim@1, D
1

El lmite vuelve a ser 1.

Se hallan los lmites reiterados utilizando la funcin definida en el apartado 1.2.
limre1@1, 1D
1
limre2@1, 1D
1

Como los lmites son distintos no existe lmite doble, resultado que ya habamos anticipado en el mtodo del paso a polares.
Tambin podemos utilizar las tcnicas grficas como hemos hecho en el ejemplo anterior.
Primero se definen la funcin y el punto:
z@x_, y_D =

3 x 3 x2 + x 3 4 y + 6 y 2 4 y 3 + y 4
2 + 3 x 3 x2 + x3 + 4 y 6 y2 + 4 y3 y4

; xo = 1; yo = 1;

Y ahora se representan juntas, mediante los procedimientos usuales, usando el comando Show.
Show@GraphicsArray @8graf@.3D, cniv@.3D<DD;

4
2
0
-2
-4
0.8

1.2
1
1
1.2

0.8

1.3
1.2
1.1
1
0.9
0.8
0.7
0.70.80.9 1 1.11.21.3

Obsrvese la utilidad de los paquetes de clculo simblico para tratar problemas "no preparados". Es disuasorio hacer esto "a
mano".
Ejemplo 1.6.3 .Calcular el lmite de la funcin f(x,y)= e

2 x y -x - y

-1
x + y-2

en el punto (1,1). (Es el ejemplo 1.2.3.)

Solucin.
Se declara la funcin
f@x_, y_D :=

2 x yxy 1
x+ y2

Se repiten las instrucciones del ejemplo anterior

Cpolares@f, 1, 1D
1 + r HCos@D+Sin@D+r Sin@2 DL
r HCos@D + Sin@DL

Dado el resultado obtenido, no somos capaces de determinar si la funcin tiene lmite o no, mediante el paso a polares, ya
que no es evidente obtener una funcin del tipo g(r) h(r,q). Probamos, no obstante a calcular el lmite de la expresin anterior
cuando r0.

Untitled-1

27

Limit@Cpolares@f, 1, 1D, r 0D
1

Intentamos comprobar este resultado por otros mtodos. Probamos con los lmites reiterados, mediante las expresiones
limre1 y limre2 (esto ya se hizo en el ejemplo 1.2.3).
limre1@1, 1D
1
limre2@1, 1D
1

Ambos lmites son iguales.

Probamos con lmites segn subconjuntos (concretamente segn la familia de rectas que pasan por el punto (1,1)), mediante
el procedimiento lim :
@x_D := 1 + m Hx 1L
lim@1, D Simplify
1

Tambin podemos utilizar las tcnicas grficas como hemos hecho en los ejemplos anteriores.
Primero se definen la funcin y el punto:
z@x_, y_D =

2 x yxy 1
x+ y2

; xo = 1; yo = 1;

Y ahora se representan juntas, mediante los procedimientos usuales, usando el comando Show.
Show@GraphicsArray @8graf@.05D, cniv@.05D<DD;
1.04
1.02
1.2
1
0.8
0.95
0.975

1.05
1.025
1
0.975
1
1.025 0.95
1.05

1
0.98
0.96
0.96
0.98 1 1.02
1.04

Las grficas nos hacen pensar que no existe el lmite, ya que existe una ruptura en las curvas de nivel.
Esto se corrobora ya que encontramos un subconjunto en el que el lmite vale distinto de lo que vala anteriormente (antes
nos haba dado como valor del lmite 1):
1@x_D := 2 x Hx 1L ^ 2
lim@1, 1D Simplify
3