1

D
e
:


UNIVERSIDAD NACIONAL DEL NORDESTE
FACULTAD DE INGENIERA
METODOLOGA DE LA INVESTIGACIN
CIENTFICA
PROFESORA: VIVIANA POLISENA
AO: 2008/2009






LMITE DE FUNCIONES DE DOS VARIABLES
Otro enfoque para su estudio
REA: MATEMTICA
ASIGNATURA: ANLISIS MATEMTICO II


Por Claudia Durnbeck





2
PLANTEAMIENTO
TRABAJO FINAL
POSGRADO: METODOLOGA DE LA INVESTIGACIN

TEMA: LMITE DE FUNCIONES DE DOS VARIABLES
REA: MATEMTICA
ASIGNATURA: ANLISIS MATEMTICO II


Referencias para una adecuada interpretacin de esta propuesta:
Cuando nombremos Lmite: Estaremos refirindonos al Lmite
de una funcin de Dos variables.
Cuando digamos Lmite Doble: Estaremos refirindonos al
Lmite tambin llamado Lmite Simultneo, que es cuando las
dos variables tienden juntas al punto en cuestin.

FUNDAMENTACIN:

El concepto de Lmite de funciones de Dos Variables, tambin llamado
Lmite Doble, se desarrolla, en general, en primer ao de las distintas
Facultades de Ingeniera.
En esta etapa del estudio universitario, encontramos alumnos
habituados a resolver ejercicios con resultado nicos, lo que les
permite llegar a conclusiones irrefutables sobre el problema planteado.
La dificultad que representa explicar y comprender el tema Lmite de
Funciones de dos Variables se debe, a m entender, a las siguientes
razones:

1. Se inicia el desarrollo del tema con la expresin, que define el
Lmite Doble:


Con

Interpretarla, implica, conocer el significado de los operadores y
cuantificadores que en ella interviene y, en general, la mayora
son nuevos para alumnos de este nivel.
3
Tambin su comprensin, implica tener claros ciertos conceptos
como: Dominio de una funcin, punto de acumulacin, entorno
reducido de un punto distancia entre puntos en , y otros.
Hacemos un grfico escueto, difcil de comprender, sealado a
dnde estn ubicados los elementos que intervienen en la
definicin y hablamos de caminos

2. Las posibilidades de elegir el camino(*) para acercarnos a un
punto, en el espacio de 2-dim, no son nicas, ni finitas, muy por
el contrariolas posibilidades de eleccin son infinitas.
En la prctica, lo que se hace, es encontrar el valor de Lmite por
algunos caminos, teniendo en cuenta que si existe, es nico, si
por esas trayectorias, elegidas arbitrariamente, se llega al
mismo resultado, entonces se supone que el lmite existe y su
valor corresponde al hallado.
Suponer un resultado, no es algo que resulte cmodo en
matemtica, creo que la incertidumbre no es familiar en el
lenguaje de la matemtica bsica, y es lo que hace que el tema
propuesto, sea uno de los pocos en el que los docentes
aceleramos, para cruzar rpido el puente y llegar al prximo
tema y los alumnos quedan con el interroganteperoentonces
existe el lmite, no?
(*) Distintas curvas planas, cuyas ecuaciones ya deben ser
conocidas, su dominio, estar incluidas en el Dominio de nuestra
funcin y el punto pertenecer a ella.

3. Para afirmar que el Lmite de una funcin en un punto existe
irrefutablemente, se debe probar que l mismo verifica la
definicin y no siempre es posible hacerlo, depende de la
expresin de la funcin, e incluso en los casos posibles, para el
alumno es una tarea muy difcil.
Sin certeza, no hay comodidad matemtica.

4
Si bien admito que el estudio del Lmite de funciones de dos Variables
puede ser poco atractivo o antiptico, lo que fundamenta mi inquietud,
es que lo utilizamos como hiptesis en muchos teoremas y
definiciones, como en el tema inmediato : Continuidad, el que a su
vez, es la base para fundamentar otras Definiciones y Teoremas.
Sin haber entendido adecuadamente el concepto de Lmite de
funciones de dos variables


HIPTESIS:

Es posible desarrollar el tema, sin utilizar, al menos
inicialmente, las expresiones: Infinitos (caminos) vs. nico (valor
del Lmite) y es posible que exista?

Si la funcin est definida naturalmente en el punto, el lmite
est resuelto?

Sera conveniente comenzar el estudio del Lmite de una
funcin, analizando en el punto, previamente, el comportamiento
Algebraico de la funcin?

Es suficiente hallar mecnicamente el Lmite es necesario
justificar su existencia?

Cul es la prestacin ms interesante que brindan los lmites
Reiterados o Iterados?

Los Lmites Reiteradosson lmites direccionales?






5
OBJETIVOS:

Encontrar otra manera de comenzar el desarrollo del tema que
no sea por la Definicin. Es decir, No comenzar por la definicin.

Representar grficamente la situacin del Lmite de manera clara
y didctica, para usar sta representacin como partida en el
desarrollo del tema.

Utilizar el Concepto ya estudiado de Lmite de funciones de una
Variables, como apoyo, destacando las diferencias y
concordancias.

Transmitir los conceptos de L. Simultneo, L. Iterados y L.
Direccionales, con herramientas didcticas y pedaggicas
accesibles, de modo que el alumno pueda descubrir las
diferencias y las concordancias que hay entre ellos, y as
potenciar su valor como herramientas en el estudio del Lmite.

Utilizar las representaciones Grficas de la funcin estudiada,
como gua en el estudio.

Relacionar conceptos vistos en cursos anteriores, como lgebra,
Anlisis Matemtico I y Geometra, de modo que nos sirvan de
apoyo en este estudio.

Por ltimo: Encontrar un procedimiento ms estimulante para el
alumno que el tradicional, con respecto al estudio de Lmite.
Teniendo como meta, que el alumno se involucre en las
investigaciones propuestas, es decir, en el anlisis algebraico de
la funcin y la interpretacin de su representacin grfica.




6













Lmite de Funciones de Dos Variables

Otro enfoque para su estudio






Desarrollo


7
Pensemos en la idea Intuitiva del concepto de Lmite: En general, se
entiende como una barrera hasta la cual podremos llegar. Hablamos
cotidianamente de lmites entre Pases, de los lmites entre terrenos,
de los lmites que deben tener nuestros hijosCuando hablamos de
los lmites de Funciones, nos referimos al valor al cual ellas tienden,
cuando nos acercamos a cierto elemento de su dominio, que de algn
modo, es tambin hasta dnde llegan.

Usamos este concepto intuitivamente en cursos de Geometra,
cuando definimos longitud de una circunferencia como el Lmite al que
tiende una sucesin de permetros de Polgonos circunscriptos o
inscriptos en ella, cuando la longitud de los lados tiende a cero.
Tambin en cursos de Fsica, cuando nos referimos a la velocidad
instantnea como el Lmite de la velocidad media para intervalos de
tiempo cada vez ms pequeos. Y hay muchos ejemplos para la idea
de lmite de funciones de una variable independiente.

Para el estudio del lmite de funciones de una variable independiente,
hemos visto que el problema se reduce a observar cmo se comporta
la funcin al acercarnos a un punto del Dominio por derecha e
izquierda, movindonos en general, sobre la recta Y=0.

En el caso de funciones de dos variables independientes, para
acercarnos a un punto del Dominio, , tenemos infinitas
opciones, infinitos caminos para llegar a l. Y es justamente esto, lo
que hace complejo el estudio del Lmite de funciones de Dos
Variables, pues si recordamos La unicidad del Lmite, propiedad vista
para funciones de una variable, y tambin vlida para funciones de
dos variables, Si el Lmite existe, es nico e independiente del camino
utilizado y nunca podremos verificar que por todas estas opciones,
llegamos al mismo resultado.

Conclusin 1:
Es por eso, que solamente si el Lmite hallado, verifica la definicin,
podremos asegurar la existencia del Lmite.


Veremos un ejemplo, tomando una funcin sencilla, que nos ilustrar
sobre el comportamiento de los valores de una funcin escalar de dos
8
variables, cuando los puntos del Dominio se aproximan a un punto que
puede o no pertenecer a l.

Sea: y estudiemos su comportamiento en









Dominio de la funcin, todo el plano R2, solo representamos el primer
octante.

Realizamos una tabla de valores en las proximidades de (3;2), con el
objeto de vincular este estudio, con el de funciones de una variable.
9

Tomemos valores sobre las rectas x=3 e y=2.





Observemos la tabla y el grfico, sin
olvidar que nos estamos moviendo
sobre las rectas x=3 e y=2.
Cuanto ms nos acercamos al punto del
Dominio (3;2) , la funcin se aproxima al
nmero real 5. La diferencia entre f(x;y)
y 5 ser ms pequea, cuando los (x;y)
estn ms cerca de (3;2).



Consideremos que el valor absoluto de
esta diferencia es menor que dos milsimo:



















X y F(x;y)
2,991 2 4,991
2,995 2 4,995
2,999 2 4,999
3 2 5
3 1,999 4,999
3 1,995 4,995
3 1,991 4,991

10
Volvamos a la tabla y tomemos (x,y)=(3;1,9999) para verificar:







Vemos que a los (x;y) que se encuentren a una distancia de (3;2)
inferior a 0,001 le corresponden por medio de la funcin, valores
reales que estn a una distancia menor que 0,002 de 5.

Debemos tener en cuenta que fijamos previamente el nmero 0,002 y
de ah se desprendi el nmero 0,001, por lo tanto es .

Del desarrollo anterior deducimos que para cualquier nmero
(en el ejemplo ) , es suficiente elegir (en el
ejemplo )

Porque si:




Conclusin 2:
Tomamos una funcin sencilla, conocida por los alumnos y de fcil
representacin, realizamos un desarrollo similar al que se hace para
funciones de una variable y relacionamos este nuevo concepto.
Analizamos grfica y analticamente grupalmente y luego definimos.


Generalizando la deduccin anterior, expresamos la Definicin de
Lmite de funciones de Dos variables:



Literalmente:
(Sugerimos ser muy explcitos para tener una mejor llegada al alumno,
siempre relacionar con la grfica, para lograr una rpida interpretacin)
x Y f(x;y)
3 1,9999 4,9999
11

El Lmite de la funcin f(x;y)cuando (x;y) tiende o se aproxima al
punto de acumulacin del Dominio de la funcin (a;b,) es igual nmero
real L, si y solo si, para todo nmero real psilon ( , positivo, existe
en correspondencia o dependiente de l, otro nmero real Delta
( , tambin positivo, de tal modo que para todo punto (x;y) del
dominio que pertenezca al entorno reducido del punto (a;b) de radio
Delta, entonces la diferencia entre el valor de la funcin en ese punto y
el nmero real L, tomada en valor absoluto, es menor que psilon.

(Observemos la representacin de la funcin, junto con los alumnos e
interpretemos grficamente la definicin, antes de expresarla
simblicamente)


Simblicamente:


Con

No es necesario que la funcin este definida en (a;b) para que el
Lmite en ese punto exista.

Hasta el momento, hicimos un desarrollo similar al que algunos
autores hacen para Lmite de funciones de una variable.

Observemos la diferencia: Cuando hablamos de distancia en R, solo
tenemos la posibilidad de tomarla de un lado o del otro del punto. En
cambio, para hablar de distancia en R2, tenemos que hablar de
Entorno.


Conclusin 3:
Usamos los conceptos adquiridos para funciones de una variable y
establecemos las diferencias con este nuevo concepto: El entorno en
R2.



12
Definicin:

Dado un punto y un nmero real , llamaremos
Entorno del punto , de radio , al conjunto de todos los puntos
pertenecientes al cuyas distancias a son menores que .

Simblicamente:

Ser Entorno Reducido, cuando el punto no pertenezca al
Entorno.

Recordemos Distancia en :

Este Disco con centro en el punto al cual nos aproximamos, abre un
abanico de infinitos caminos posibles. El Entorno no necesariamente
tiene que ser circular, pero es comn trabajar con este tipo. Se
representa en por un crculo de centro y radio r.

Si el resultado del Lmite no es el mismo para todas las trayectorias
posibles de acercarnos al punto entonces el Lmite no existe.


Debemos tener en cuenta que si el Lmite existe, es independiente del
camino elegido y de que el camino debe contener al punto.
13
Llamamos caminos o trayectorias a subconjuntos de que estn
incluidos en el Dominio de la funcin o que su interseccin con ste,
no sea vaca y que contengan al punto donde se quiere calcular el
lmite. Ejemplos: Rectas, Parbolas, Hiprbola o un sub conjunto de
puntos. A los lmites por estos caminos se los llama Lmites
Restringidos a ciertos subconjunto del Dominio de la Funcin.



Antes de ver algunos ejemplos, distinguiremos dos situaciones:

a)
Cuando la funcin est definida en el punto donde queremos
estudiar el lmite, es decir, no hay indeterminacin cuando calculo el
Lmite Doble o Simultneo.


b)
Cuando la funcin no est definida en el punto donde queremos
calcular el lmite, es decir, se produce una indeterminacin al calcular
el Lmite Doble.

En el caso a), cuando no hay indeterminacin, problema resuelto: El
Lmite Doble existe. Debemos pensarlo intuitivamente, el Lmite al
cual tender, ser igual al valor que tome naturalmente la funcin.

El caso b) es el que nos va a ocupar, cuando el Lmite doble
simultneo no existe, lo que genera la necesidad de usar otros
caminos para buscar el lmite.


Veamos algunos Ejemplos.

1er. Ejemplo:

Hallar

Previamente, estudiamos cual es el Dominio de la funcin.
14
Son todos los puntos del plano a excepcin del punto (0;0). Como
ya hemos dicho, no es necesario que el punto donde se estudia el
Lmite pertenezca al Dominio de la funcin, pero si debe ser un punto
de acumulacin, es decir, es necesario que est definida para los
punto de un entorno reducido de, en este caso, de (0;0).

Haciendo uso de los programas con los que contamos actualmente,
por ejemplo el Derive, graficamos la funcin a estudiar, para obtener
la informacin que orientar el anlisis. Sugerimos hacerla rotar,
aplicar zoom, cambiar los colores, etc.

Observemos esta primera posicin de la grfica y prestemos atencin
a lo que sucede en (0;0), teniendo en cuenta la referencia que figura
arriba a la izquierda, con respecto a la posicin de los ejes.

l



Vemos que aparentemente en (0;0) hay una irregularidad, la hacemos
rotar de tal modo de observar desde arriba como se comporta en el
origen.
15


Y en esta posicin vemos el agujero en (0;0), lo que No implica que
el Lmite no exista, pues puede no estar definida en el punto y sin
embargo tener Lmite en l.

Aplicamos el L. D.:



Pertenece al grupo b) pues obtenemos una indeterminacin.

Recurramos a otros caminos para, descartar la existencia del Lmite,
encontrando dos Lmites distintos, por distintas trayectorias un
mismo valor, con lo que tendremos es un candidato a Lmite y
deberemos probarlo por Definicin para asegurar la absoluta
existencia, lo que es, en la mayora de los casos, muy complicado.



Introducimos el siguiente concepto:

16
Lmites Reiterados o Sucesivos:

stos no perteneces al grupo de los Lmites Restringidos.

Definicin:






Son dos Lmites, en los cuales, se hace tender primero una variable y
luego otra, en la funcin resultante. Simplemente, es un
procedimiento que permite transformar el Lmite de una funcin de
dos variables en el clculo del lmite de una funcin de una variable.
Los Lmites Reiterados, presuponen que un cierto entorno reducido de
b sobre la recta x=a y un cierto entorno reducido de a sobre la
recta y=b existen las funciones y respectivamente.



La potencia de estos Lmites en cierto sentido es escasa, pueden no
existir y si el doble. Ms adelante veremos un ejemplo que ilustra esto.
Sin embargo, cuando obtenemos resultados distintos usando los
Reiterado, el problema est resulto, el Lmite de la funcin de dos
variables No existe.
17
En conclusin, son sumamente tiles para probar la No existencia del
Lmite.

Volvamos el ejemplo y apliquemos los Lmites Reiterados:







Este resultado de la aplicacin de Lmites Reiterados, nos ilusiona
sobre la existencia del Lmite por haber obtenido el mismo valor por
dos caminos distintos
Pero sabemos que esto no indica nada, lo ideal hubiera sido que ellos
tengan resultados distintos, as podramos concluir en la No existencia
del Lmite.
Debemos seguir trabajando.


Conclusin 4:
Explicamos en forma sencilla, que son y para qu son tiles los
Lmites Iterados o Reiterados, como as tambin sus limitaciones,
definindolos e ilustrando con un ejemplo.

Tomemos ahora la trayectoria , Parbola incluida en el Dominio
de la funcin y que pasa por el punto (0;0), apropiado.

Entonces:



No podemos sacar ninguna conclusin con esta indeterminacin
obtenida, el camino elegido, no nos proporciona ningn dato.

18
(La idea didctica es, en este primer ejercicio, transitar por distintos
caminos, que NO nos lleven por un tobogn a la solucin, para que
los alumnos puedan ver que nosotros tambin erramos en la eleccin
de trayectorias y que quede claro, que cuando no nos brindan datos,
debemos descartarlos)

Tomemos ahora la trayectoria y=x, siempre repasando: Est incluida
en el Dominio de la funcin y contiene al punto de estudio.





Hemos encontrado dos valores distintos del Lmite.
La funcin NO puede tener Lmite en (0;0) porque en un entorno del
punto, hay elementos para los cuales la funcin tiende y para otros a
0 (ver resultado de los Lmites Iterados).



2do. Ejemplo:

Hallar :


Elegimos un ejercicio cuya funcin es similar a la del ejemplo anterior
con el propsito de llamar la atencin del alumno sobre la definicin de
cada una. Cuando arribemos a una conclusin de este segundo
ejemplo, haremos las comparaciones.


Observemos su Representacin grfica:


19






20

Aplicando L.D. simultneo, tenemos:

Indeterminacin, caso b), debemos seguir
estudindolo por otros caminos.


Hallemos los Iterados:





IgualesTomamos otra trayectoria, por ejemplo y=mx, haz de rectas
que pasan por el origen, recordemos que el resultado tiene que ser
independiente de m, de lo contrario tendramos infinitas soluciones,
para .



Encontramos un candidato a Lmite, es 0. Debemos intentar probar
que para ese valor se cumple la definicin, de otro modo, no podremos
asegurar la existencia del mismo.

:









21
















Comparemos el Ejercicio 1 con el 2, teniendo en cuenta que en ambos
casos, buscamos el Lmite en (0;0).

Las funciones son:

Ejemplo 1)


Ejemplo 2)


Funciones del mismo tipo, ambas cociente de polinomios de dos
variables.
Analizamos con el alumno, porqu la 1) No tiene lmite y la 2) S,
siendo muy parecidas? Con la intensin de que haga este tipo de
anlisis, como Mtodo, antes de comenzar a resolver un ejercicio,
22
como as tambin, observar previamente las grficas, porque esta
informacin puede orientarlo en cmo encarar la demostracin, si
para la No Existencia o para la Existencia.

En 1) el Polinomio del numerador es de igual grado que el de
denominador. Si atendemos a la parte algebraica, que pasar para
valores prximos a (0;0)podemos imaginar e incluso probar con
puntos tales que . Sabemos que los puntos de este
entorno reducirn su valor cuanto ms prximos estn a (0;0) y por
ser de igual grado numerador y denominador , lo harn
simultneamente, de modo que la indeterminacin es inevitable al
llegar al punto. Esto nos dispone a buscar la prueba de que No existe
lmite. Para ello, sugerimos, Pispear la funcin para detectar en que
subconjunto del Dominio la funcin tendra infinitos lmites uno
distinto a alguno ya determinado.

En 2) El polinomio del numerador es de mayor grado que el de
denominador, por lo tanto, al acercarnos a (0;0), el numerador se
achicar ms rpidamente, que el denominador, de esta forma, al
aproximarnos a (0;0), tendremos el cociente 0/nmero, lo que nos da
0. Estas consideraciones nos orientan a probar la Existencia del
Lmite. Siempre recordando que solo la comprobacin por la Definicin
nos asegura la existencia.

Conclusin 5:
Consideramos que el anlisis del comportamiento algebraico de la
funcin debe hacerse, antes de comenzar con la mecnica de pruebas
por distintos caminos. Debemos apoyarnos y confiar en los cursos
previos a ste, como lgebra, Anlisis Matemtico I y Geometra, los
alumnos ya tienen los conceptos para hacer este tipo de estudio y
usarlos les genera confianza y estmulo. Depende de nosotros,
docente, el encontrar los disparadores de su inters.

Ahora comparemos las grficas. Si pensamos en el clculo del Lmite,
como una accin, al aproximarnos, como dice la definicin, estamos
en movimiento. Ahora bien, si nos imaginamos sobre una alfombra,
deslizndonos por una y otra superficie, cul de las dos tiene la
anatoma de hacernos llegar a (0;0)? En el ej. 1) nos frenaramos,
pues es una superficie de suaves pendientes, por el contrario, en el ej.
23
2) chocaramos con el eje z en (0;0), por ser pronunciada su
inclinacin hacia el punto en estudio. Es otro elemento ms, poco
ortodoxo matemticamente, pero que nos gua con respecto al rumbo,
el estudio del Lmite.

Analicemos un par de funciones:



Es una funcin exponencial, con exponente x.y. Para ningn punto
del plano , se van a presentar inconvenientes , ninguno va a poder
provocar una indeterminacin. Por lo tanto, va a existir el Lmite en
todos ellos, caso a).

Vemos la grfica donde se aprecia la regularidad de la funcin:





Vista de arriba no presenta agujeros, lo que nos indica que esta
funcin se portar bien, en todos los puntos de su Dominio.


24




Tanto el anlisis grfico como el analtico, nos orientan a probar la
existencia del Lmite.




La funcin no est definida en (0;0)

Apliquemos el L.D. simultneo:



Pero si pispeamos la funcin y trabajamos algebraicamente

Podemos calcular el Lmite del producto, como el producto de los
Lmites, por propiedad de esta aplicacin:



25
Conclusin 6:
Recordemos al alumno, los conceptos ya estudiados y hagamos que
los relacionen en todos los temas posibles. Ellos tienden a encapsular
los conceptos y no establecen relaciones, como tampoco los usan de
apoyo. De este modo los estimularemos para que optimicen lo
estudiado anteriormente.


Observemos la grfica:


Apreciamos el corte, es decir, la indefinicin que la funcin presenta
en el origen de coordenadas. Pero como el L.D. simultneo nos da un
resultado real, deberemos intentar comprobarlo por definicin,
quedarnos con el candidato a Lmite, L=-1.

Conclusin 7:
Atendiendo a la Definicin y a la Grfica de la funcin, el alumno,
encontrar un sendero por donde transitar con mayor comodidad,
que utilizando la prctica tradicional en la bsqueda del Lmite a
ciegas. Y los profesores, no correremos tanto, cuando tengamos que
desarrollar el tema.
26

(*) Desmitificando a los Lmites Iterados:
Todos vamos a estar de acuerdo en lo siguiente: Al alumno le
fascinan los Lmites Iterados. Esto es as, porque ellos les son
cmodos, en un simple paso, tiene algo conocido, como funciones de
una variable, para trabajar.
Esto hace que los usen con frecuencia y que sobrevaloren el resultado
que ellos arrojan.
Podemos darle el siguiente ejemplo, cuando nos encontremos con la
afirmacin: el L. D. no existe porque no pueden hallar los Iterados.









En general, los alumnos concluiran en que la funcin no tiene lmite.
Probemos que si lo tiene, a pesar de que uno de los Iterados no
existe.

Estudiemos el Lmite Radial, o Restringido a el haz de recta y=mx:


El candidato es 0. Probemos por definicin, en este caso es posible:


27
Esta desigualdad por hiptesis.





































28
BIBLIOGRAFA:

Introduccin al Anlisis Matemtico (Clculo 1 y 2)
Hebe Rabuffetti
Clculo 2
Spinadel, Vera N.
Clculo 2
Larson
Clculo Diferencial e Integral
Antonio Aburto Barragan
Clculo Diferencial e Integral
N. Piskunov
Anlisis Matemtico 1 y 2
J. Rey Pastor
Clculo de Varias Variables
M. Besada- J. Garca M.A. Mirs C. Vazaquez

Consultas en Internet:

www.newgrupos.com
www.elprisma.com
www.slta.uma.es
www.cidse.itcr.ac.cr