Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Funciones Mathematica PDF
Funciones Mathematica PDF
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
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:
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 .-
xy
Hallar los lmites direccionales en el origen de coordenadas de la funcin f Hx, yL = .
x2 + y2
Solucin.
Para resolver el problema se define la funcin
xy
f@x_, y_D :=
x + y2
2
@x_D := m x
g@m_D = lim@0, D
m
1 + m2
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 .-
x2 y
Hallar el lmite de la funcin f (x,y) = en el punto (0,0), mediante rectas y parbolas cuyo eje es el eje OY y que
x4 + y2
Solucin.
Se procede como antes. Se introduce la funcin
x2 y
f@x_, y_D :=
x4 + y2
@x_D := m x
lim@a, D
am
a2 + m2
Se evala en a= 0:
lim@0, D
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 = . Mathemat-
ica 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
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 3
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.
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).
Y ahora no habr ms que comparar los dos lmites anteriores en cualquier punto.
Ejemplo 1.2.1 .-
xy
Hallar los lmites reiterados de la funcin f(x,y)= en el origen de coordenadas.(Es la funcin del ejemplo 1.1.1)
x2 + y2
Solucin.
Se define la funcin:
xy
f@x_, y_D :=
x2 + y2
4 Untitled-1
limre1@0, 0D
limre2@0, 0D
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 .-
x y -x + y
Calcular los lmites reiterados de la funcin f(x,y)= x+ y
en el origen de coordenadas .
Solucin.
Se declara la funcin
xyx+y
f@x_, y_D :=
x+y
limre1@0, 0D
limre2@0, 0D
Como los lmites reiterados son distintos, podemos afirmar que no existe el lmite doble.
Ejemplo 1.2.3 .-
2 x y -x - y
-1
Calcular los lmites reiterados de la funcin f(x,y)= e x + y-2
en el punto (1,1).
Solucin.
Se declara la funcin
2 x yxy 1
f@x_, y_D :=
x+ y2
limre1@1, 1D
limre2@1, 1D
A pesar de que los lmites reiterados son iguales, no se puede garantizar la existencia de lmite doble.
Untitled-1 5
Ejemplo 1.2.4 .-
Solucin.
Apartado a):
x^2 y^2
f@x_, y_D :=
x^2 + y^2
limre1@0, 0D
limre2@0, 0D
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.
limre1@0, 0D
limre2@0, 0D
La igualdad de los lmites reiterados no permite afirmar nada sobre la existencia del lmite doble. Hay que seguir apli-
cando 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):
Exp@x y x + yD
f@x_, y_D :=
xy
limre1@1, 1D
1
3
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 F
xy
limre1@0, 0D
1
LimitBLimitBx SinB F, x 0F, y 0F
xy
limre2@0, 0D
1
LimitBLimitBx SinB F, y 0F, x 0F
xy
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 F, x 0F
m x2
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 7
1
Plot3DBx SinB F, 8x, .5, .5<, 8y, .5, .5<F;
xy
0.5
0.25
0 0.4
-0.25 0.2
-0.5
0
-0.4
-0.2 -0.2
0
0.2 -0.4
0.4
1
Plot3DBx SinB F, 8x, .1, .1<, 8y, .1, .1<F;
xy
0.1
0.05 0.1
0
-0.05 0.05
-0.1
-0.1 0
-0.05
0 -0.05
0.05
0.1 -0.1
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 .-
xy
"Comprobar grficamente" que la funcin f(x,y)= no tiene lmite en el origen. Para ello representar la funcin y
x2 + y2
hallar sus curvas de nivel en dos cuadrados de lados 1 y 0.1 respectivamente.(Es la funcin del ejemplo 1.1.1.)
8 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 , 8x, 0.5, 0.5<, 8y, 0.5, 0.5<F;
x + y2
2
0.5
0.25
0 0.4
-0.25 0.2
-0.5
0
-0.4
-0.2 -0.2
0
0.2 -0.4
0.4
0.5
0.25
0 0.04
-0.25 0.02
-0.5
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 9
xy
ContourPlot B , 8x, 0.5, 0.5<, 8y, 0.5, 0.5<F;
x + y2
2
0.4
0.2
-0.2
-0.4
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:
xy
z@x_, y_D = ; xo = 0; yo = 0;
x2 + y2
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;
0.3
0.2
0.1
0.5
0.25
0 0
-0.25
-0.5 0.2
0 -0.1
-0.2
0 -0.2 -0.2
0.2
-0.3
-0.3
-0.2
-0.10 0.10.20.3
0.03
0.02
0.01
0.5
0.25
0 0
-0.25
-0.5 0.02
0 -0.01
-0.02
0 -0.02 -0.02
0.02
-0.03
-0.03
-0.02
-0.0100.01
0.02
0.03
0.003
0.002
0.5 0.001
0.25
0 0
-0.25
-0.5 0.002
0 -0.001
-0.002 -0.002
0 -0.002
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 F
xy
En el cuadrado de lado 1:
Untitled-1 11
0.5
0.25
0 0.4
-0.25 0.2
-0.5
0
-0.4
-0.2 -0.2
0
0.2 -0.4
0.4
0.05
0.025
0 0.04
-0.025 0.02
-0.05
0
-0.04
-0.02 -0.02
0
0.02 -0.04
0.04
En el cuadrado de lado 1:
12 Untitled-1
0.4
0.2
-0.2
-0.4
0.04
0.02
-0.02
-0.04
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 F; xo = 0; yo = 0;
xy
NOTA: Obsrvese que, tal y como se han definido los procedimientos a utilizar, la funcin ha de ser z[x_,y_].
Untitled-1 13
0.3
0.2
0.1
0.2
0 0
-0.2 0.2
0 -0.1
-0.2 -0.2
0 -0.2
0.2 -0.3
-0.3
-0.2
-0.10 0.10.20.3
0.03
0.02
0.01
0.02
0 0
-0.02 0.02
0 -0.01
-0.02
0 -0.02 -0.02
0.02
-0.03
-0.03
-0.02
-0.0100.01
0.02
0.03
0.003
0.002
0.001
0.002 0
0 0.002
-0.002
0 -0.001
-0.002
0 -0.002 -0.002
0.002
-0.003
-0.003
-0.002
-0.001
0 .001
0.002
0.003
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 .-
xy
Calcular el lmite en el origen de coordenadas de la funcin f (x,y)= utilizando una evaluacin numrica.
Ix2 + y2 M
Solucin.
Clear@fD
Se define la funcin:
xy
f@x_, y_D :=
x + y2
2
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;
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<<
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;
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
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
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
Ejemplo 1.4.2 .-
senHx yL
Conseguir el valor del lmite en el origen de coordenadas de la funcin f (x,y)= xy
utilizando una evaluacin numrica.
Untitled-1 17
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;
A la vista de los resultados, el lmite parece valer 1. Probamos modificando los valores de n y h.
n = 10; h = 0.01;
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<<
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.
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
Ejemplo 1.4.3 .-
x3 senIy2 -4M
Calcular el lmite en el punto (0,-2) de la funcin f (x,y)= 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).
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;
Ahora los valores estn muy prximos al 0; podemos decir que el lmite existe y su valor es 0.
f@0.01,1.99D = 0.000398901
f@0.01,1.98D = 0.000397586
f@0.01,1.97D = 0.000396069
f@0.01,1.96D = 0.000394353
f@0.01,1.95D = 0.000392444
f@0.02,1.99D = 0.00159568
f@0.02,1.98D = 0.00159043
f@0.02,1.97D = 0.00158435
f@0.02,1.96D = 0.00157749
f@0.02,1.95D = 0.00156985
f@0.03,1.99D = 0.00359059
f@0.03,1.98D = 0.00357876
f@0.03,1.97D = 0.00356509
f@0.03,1.96D = 0.00354965
f@0.03,1.95D = 0.00353246
f@0.04,1.99D = 0.00638401
f@0.04,1.98D = 0.00636297
f@0.04,1.97D = 0.00633868
f@0.04,1.96D = 0.00631122
f@0.04,1.95D = 0.00628067
f@0.05,1.99D = 0.00997651
f@0.05,1.98D = 0.00994364
f@0.05,1.97D = 0.00990568
f@0.05,1.96D = 0.00986276
f@0.05,1.95D = 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 := ; xo = 0; yo = 2;
Hy + 2L Sin@xD
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
-1.7
-1.8
-1.9
0
-0.1 -2
-0.2
-0.3 -1.8
-2 -2.1
-0.2
0 -2.2 -2.2
0.2
-2.3
-0.3
-0.2
-0.10 0.10.20.3
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.
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.
Ejemplo 1.5.1 .-
x2 y2
Calcular el lmite en el origen de coordenadas de la funcin f (x,y)= 3
Ix2 + y2 M 2
Solucin.
Se define entonces la funcin:
x2 y2
f@x_, y_D :=
3
2
Ix + y M
2 2
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
0.25
0.2
0.15
0.1
0.05
1 2 3 4 5 6
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
Ejemplo 1.5.2 .-
x2 y2
Calcular el lmite de la funcin f(x,y)= en el origen de coordenadas.
x2 + y2
Solucin.
Se declara la funcin
x^2 y^2
f@x_, y_D :=
x^2 + y^2
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
Ejemplo 1.5.3 .-
xy-x- y+1
Calcular el lmite de la funcin f(x,y)= en el punto (1,1).
Hx-1L2 +Hy-1L2
Solucin.
Se declara la funcin
xyxy+1
f@x_, y_D :=
Hx 1L ^ 2 + Hy 1L ^ 2
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 .-
x4 - y4 +x8 y8
Usar el cambio a polares para demostrar que no existe lmite en el origen de coordenadas de la funcin f(x,y)=
x4 + y4
Solucin.
Se declara la funcin
Clear@fD
Cpolares@f, 0, 0D
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
limre2@0, 0D
Los ejercicios siguientes pretenden mostrar la variedad de los mtodos expuestos en los apartados anteriores.
Ejemplo 1.6.1 .-
x4 - y4 +x8 y8
Estudiar la existencia de lmite en el origen de coordenadas de la funcin f(x,y)= (Es el ejemplo 1.5.4)
x4 + y4
24 Untitled-1
Solucin.
Se define la funcin:
Clear@fD
x4 y4 + x8 y8
f@x_, y_D :=
x4 + y 4
Limit@Cpolares@f, 0, 0D, r 0D
4 Cos@2 D
3 + Cos@4 D
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
Se hallan los lmites reiterados utilizando las funciones definidas en el segundo apartado, limre1 y limre2.
limre2@0, 0D
limre1@0, 0D
Tambin se pueden representar conjuntamente la funcin y sus curvas de nivel, utilizando los comandos Plot3D, Graphics-
Array,ContourPlot y las funciones definidas en el apartado 1.3, para comprobar grficamente la no existencia de lmite.
x4 y 4 + x 8 y 8
z@x_, y_D = ; xo = 0; yo = 0;
x4 + y4
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;
0.3
0.2
0.1
1
0.5 0
0
-0.5 0.2
-1 -0.1
0
-0.2 -0.2
0 -0.2
0.2 -0.3
-0.3
-0.2
-0.10 0.10.20.3
0.03
0.02
0.01
1
0.5
0 0
-0.5
-1 0.02
0 -0.01
-0.02 -0.02
0 -0.02
0.02 -0.03
-0.03
-0.02
-0.0100.01
0.02
0.03
Ejemplo 1.6.2 .-
Solucin.
Igual que en ejemplo anterior vamos a utilizar los distintos mtodos vistos hasta ahora.
Se define la funcin:
Clear@fD
3 x 3 x 2 + x3 4 y + 6 y 2 4 y 3 + y 4
f@x_, y_D :=
2 + 3 x 3 x2 + x3 + 4 y 6 y2 + 4 y3 y4
Cpolares@f, 1, 1D
Cos@D3 + r Sin@D4
3 4
Cos@D r Sin@D
Limit@Cpolares@f, 1, 1D, r 0D
"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
limre1@1, 1D
limre2@1, 1D
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.
3 x 3 x2 + x 3 4 y + 6 y 2 4 y 3 + y 4
z@x_, y_D = ; xo = 1; yo = 1;
2 + 3 x 3 x2 + x3 + 4 y 6 y2 + 4 y3 y4
Y ahora se representan juntas, mediante los procedimientos usuales, usando el comando Show.
1.3
1.2
1.1
4
2 1
0 1.2
-2
-4 0.9
1
0.8 0.8
1 0.8
1.2 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 .-
2 x y -x - y
-1
Calcular el lmite de la funcin f(x,y)= e x + y-2
en el punto (1,1). (Es el ejemplo 1.2.3.)
Solucin.
Se declara la funcin
2 x yxy 1
f@x_, y_D :=
x+ y2
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
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
limre2@1, 1D
lim@1, D Simplify
Tambin podemos utilizar las tcnicas grficas como hemos hecho en los ejemplos anteriores.
2 x yxy 1
z@x_, y_D = ; xo = 1; yo = 1;
x+ y2
Y ahora se representan juntas, mediante los procedimientos usuales, usando el comando Show.
1.04
1.02
1.2
1 1.05 1
0.8 1.025
0.95 1 0.98
0.975 0.975
1
1.025 0.95 0.96
1.05
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