Вы находитесь на странице: 1из 72

UNIVERSIDAD

TECNOLGICA
NACIONAL

FACULTAD
REGIONAL
CRDOBA

Apuntes de
clases

ANLISIS MATEMTICO II

Funciones multivariables:
Conceptos Bsicos

T ema

Prof. Ing.
Miguel ngel Ramadn

mramadan@cbasicas.frc.utn.edu.ar

Por fav or, si se encuentra algn error (sm bolos, letras, nmeros, etc.) av isar
mediante e -m ail a la direccin del encabezado. Gracias .-

Introduccin
En Anlisis Matemtico I (Anam1) analizamos la relacin
relaciona una variable
algebraica

R , donde:

y con una variable

y R(x) que

x , a travs de una estructura

x es una variable independiente,

y es una variable

dependiente de x , y R es la relacin que las vincula.


Si esta relacin satisface las condiciones de existencia y unicidad,
constituye una funcin, y la relacin

y R(x) pasa a denotarse por

y f (x) ,

donde f es la misma estructura algebraica (una radicacin, una logaritmacin,


una potenciacin, una suma algebraica, etc.). En esta situacin, y es tambin
llamada funcin (o variable dependiente ).

y f (x) es, entonces, una funcin monovariable (funcin de una sola


variable independiente). Como tal, posee determinadas caractersticas que son
objeto de estudio del Anam1, y as hablamos de: tipos de estructuras,
condiciones de existe ncia y unicidad, dominio, imagen, graficacin de la funcin,
graficacin del dominio, entorno, entorno reducido, lmites, derivacin, etc.
En Anlisis Matemtico 2 (Anam2) se analiza lo mismo, pero en funciones
de dos, o ms, variables independientes. Esta s funciones son denominadas
funciones multivariables, y constituyen el objeto de estudio de Anam2.
En una aproximacin comn, podramos decir que el Anam2 es una
ampliacin de los conceptos aprehendidos en Anam1; ello sugiere que es una
buena

medida,

ant es

de

iniciar

las

actividades

de

Anam2,

repasar

comprensivamente los conceptos vistos en Anam1, y, complementariamente, los


de Algebra, Geometra Analtica, T rigonometra y, posiblemente, Fsica 1.
Funciones multivariables
Supongamos que calculamos el re a de un rectngulo cuyos lados son a y

A a.b

b , a travs de la expresin:

figura 1.

Se trata de una frmula (o est ructura) algebraica, donde A , a , y b , son


nmeros constantes, invariables.

A puede ser un nmero abstract o o un nmero concreto; si es concreto


puede representar una det erminada magnitud fsica (o geomtrica) y puede
poseer, o no, una determ inada dimensin. Lo mismo puede suceder con a y b .
UT N

Fa c u lt a d Re g i o n a l C r d o b a

P r o f . I ng . M i g u e l ng e l R a m a d n

En el caso del rea del rectngulo, A , a , y b , son nmeros dimensionales


(en el sistema de unid ades que se utilice, por ejemplo, el SIMELA), con
dimensin de rea para el caso de A , y dimensin de longitud, en el caso de a
y de b .
Pero

todos

son

nmeros

invariantes,

sea,

constante s,

una

vez

determinados.
La estructura que vincula a

A , a , y b , es una relacin algebraica, o

frmula, sin connotacin del concepto de funcin.


Pero en el caso de determinarse el rea A de un rectngulo de lados x e

y (as denominados por convenio de partes, o arbitrariamente), lados que, por


condiciones del problema pueden ser variantes, la frmula (o estructura)

A x. y ,

algebraica a utilizar es:

figura 2.

En este caso, el valor de A depender de los valores variables de x y de

y , a travs de la expresin, relacin, o funcin, que les vinc ula.


Esta vinculacin puede denotarse, en forma general, por: A x. y f ( x; y) ,
donde: los lados x e y son variables independientes en una funcin que las
vincula mediante una estructura algebraica, en est e caso el producto de las
variables, con una variable dependiente de ellas, representada por A .
En consecuencia, la expresin

A x. y f ( x; y) representa una funcin

multivariable de dos variables independientes.


En todo otro caso de caractersticas similares, de funciones multivariables
de dos variables independientes, la notacin se generaliza por:

z f ( x; y) .

Por otro lado, si se desea calcular el volumen de un paraleleppedo


regular, lo haremos mediante la frm ula algebraica:

V a.b.c ,

figura 3.

Los valores a , b y c son nmeros concretos constantes, con dimensin de


longitud, mientras que V es un nmero concre to, tambin constante una vez
determinado

por

la

formula,

con

dimensin

en

unidades

de

volumen

(correspondiente al sistema de unidades que se est empleando en el proceso ).


En

cambio,

en

la

figura

arbitrariament e llamados x ,

4,

los

lados

del

paralelep pedo

fueron

y y z , y son variables; y en consecuencia, el

volumen V es un valor dependiente del producto de los lados variables.


Esto implica que
independientes:

es una funcin multivariable de tres variables

V x. y.z f ( x; y; z)

En todos los casos similares a ste, en donde una variable depende de


UT N

Fa c u lt a d Re g i o n a l C r d o b a

P r o f . I ng . M i g u e l ng e l R a m a d n

otras tres variables independientes, diremos que estamos en presencia de una


funcin multivariable de tres variables independientes, cuya expresin puede

w f ( x; y; z ) .

denot arse, previo acuerdo (o convenio), por:

La Fsica nos provee algunos ejemplos de funciones multivariables:

t x
La expresin y A.Cos [2 .( )] representa una onda senoidal que se
T
est propagando en el sentido positivo de x , y en donde el valor de y
depende tanto de la posicin x (de una partcula que se mueva segn
esa onda senoidal) como del tiempo t ; es decir que y es una funcin de
dos variables independientes, x y t , es decir: y f (t; x) .

La expresin p k .N .

T
f (T ;V ) representa la ecuacin de estado de un
V

gas perfecto, donde la presin p depende de la temperatura T de un


gas de N molculas, y del volumen V que dicho gas ocupa, a travs de
la constante de Bolt zmann k . Como vemos, es una funcin multivariable
de dos variables independientes, cuya graficacin es una superficie
conocida con el nombre de superficie termodinmica.

Graficacin de las funciones multivariables de dos variables independientes


Las funciones

multivariables

pueden

ser

funciones

de

ms de

dos

variables independientes, t enindose funciones de dos, tres, cuatro, n variables


independientes.
Si asignamos una dimensin a cada variable independiente y otra a la
variable dependiente de la relacin, se necesitarn n+1 dimensiones, o bien n+1
ejes de representacin.
Pero sabemos por las asignaturas anteriores que nuestra realidad est
limitada a slo tres dimensiones, lo que nos lleva a la utilizacin de tres e jes
cartesianos ortogonales para la representacin grfica de relaciones con dos
UT N

Fa c u lt a d Re g i o n a l C r d o b a

P r o f . I ng . M i g u e l ng e l R a m a d n

variables independientes; tal representacin ser entonces, espacial.


Mientras que diremos que para ms de dos variables independientes, la
graficacin ha de imaginarse en el hiperespacio; en este caso, diremos que
funciones del tipo: y f ( x1; x2 ; x3 ;...; xn ) de n variables independientes gozarn de
desarrollos analticos, pero sin interpretacin geomtrica.
Mientras que en el caso de las funciones de dos variables indep endientes,
se

podr

realizar

un

desarrollo

analtico,

as

como

complementar

con

interpretacin grfica, o geomt rica.


En cursos ms avanzados se determina que, en general, todas las
propiedades de una funcin de dos variables independientes son homologa bles
para las funciones de n variables independientes, a excepcin de la apoyatura
grfica.
En

consecuencia,

se

utilizar

independientes para desarrollar el


contando

con

complementa cin

la

funcin

de

dos

variables

anlisis de las funciones multivariables,


grfica

(cuando

sea

conveniente),

homologando las propiedades obtenidas para las funciones multivariables de n


variables independientes.
Por ello, ser necesario repasar el mtodo de graficacin de planos visto
en Geometra Analtica, consistente en establecer las intersecciones del plano
que representa la expresin con, respectivamente, los planos coordenados , los
ejes coordenados , y los planos paralelos a los planos coordenados que se
estimen convenientes.
La graficacin de una funcin de dos vari ables independientes determina
una superficie en el espacio.
Dicha superficie fue llamada plano, en la Geometra Analtica. Los planos
pueden ser superficies planas o superficies alabeadas; es decir, los planos que
las funciones grafican en el espacio pue den ser planos planos, o planos
alabeados. Las superficies planas pueden ser ortogonales, u oblicuas, o
paralelas, a algn plano coordenado.
Recordemos los pasos para la graficacin de estos planos, que diremos
ahora que son los pasos a desarrollar para la

graficacin de funciones

multivariables:
1.-

Interseccin de la superficie de la funcin con los planos coordenados

(trazas):
1.1.- si se hace

x 0 , se tendr que z f (0; y) f ( y) y graficar una curva en el

plano [ yz ] que representa la interseccin, o traza, buscada.


UT N

Fa c u lt a d Re g i o n a l C r d o b a

P r o f . I ng . M i g u e l ng e l R a m a d n

y 0 , se tendr que z f ( x;0) f ( x) y graficar una curva en el

1.2.- si se hace

plano [xz ] que representa la traza resultante de la interseccin d el plano de la


funcin con el plano coordenado.
1.3.- y para z 0 , se tendr que 0 f ( x; y) desde donde se explicita la variable

y y se obtiene la traza sobre el plano coordenado [xy ] .


2.-

Interseccin de la superficie de la funcin con los ejes coordenados

(puntos):
2.1.-

haciendo x 0 y y 0 , se obtiene: z f (0;0) , lo que define un punto de

interseccin P( x; y; z) P(0;0; z) .
2.2.-

haciendo x 0 y z 0 , se obtiene: 0 f (0; y) , de donde se obtiene, a su

vez, el valor real

y , con lo que se determina el punto de interseccin

Q( x; y; z) Q(0; y;0) .
2.3.- haciendo y 0 y z 0 , se llega a 0 f ( x;0) , y de all al punto R( x;0;0).
Generalmente, con estos pasos, a) y b), se consigue una representacin
grfica satisf actoria de la superficie de la fu ncin (o del plano). Si an quedara
poco claro, se recurre al tercer paso siguiente.
3.-

Interseccin de la superficie de la funcin con planos paralelos a los

planos coordenados (trazas internas):


Para ello se analiza y se elige el plano coordenad o ms conveniente, y
haciendo x k (un valor real conveniente, si el plano elegido es el [yz]), o
haciendo y k (si el plano coordenado elegido es el [xz]), o haciendo z k (para
el [xy]), se obtiene, a partir de z f ( x; k ) , por ejemplo, la expresin funcional de
la traza interna que se desarrolla sobre el plano paralelo al plano coordenado
elegido.
Este paso se repite para distintos valores de k cuantas veces sea
necesario.
Analizando lo obtenido con los pasos 1, 2 y 3, se grafica la superficie
buscada, que ser infinita o acotada, segn las condiciones de la consigna del
caso.
Ejemplo:

Graficar la expresin

z 6 3x 2 y .

Planteo, Desarrollo, Respuesta


Sabemos, por Geometr a Analtica, que se trata de un plano infinito.
Aplicando el procedimiento anterior, hacemos:
1.- T razas
UT N

Fa c u lt a d Re g i o n a l C r d o b a

P r o f . I ng . M i g u e l ng e l R a m a d n

1.- Si x 0 la expresin se reduce a z 6 2 y , que representa una recta con


pendiente negativa ( 2 ) y con ordenada al origen z 6 ; recta que representa la
interseccin entre los planos [ z 6 3 x 2 y] y [ z 6 2 y] . Esta interseccin es una
curva, o traza, que se desarrolla en el plano [ yz ] .
2.- si y 0 , obtenemos z 6 3 x , que es la traza obtenida en el plano [xz ] y que
es una recta con pendiente p 3 y ordenada al origen z (0) 6 .

3
3.- Si z 0 , la traza en el plano [xy ] es la recta y x 3 , con ordenada al
2

3
origen y(0) 3 y pendiente p .
2
2.- Puntos
4.- Si x 0 y y 0 , se obtiene z 6 , con lo que tenemos un punto de interseccin
del plano dado con el eje z , el que denotaremos, por ejemplo, P( x; y; z) P(0;0;6 ) .
5.- Si x 0 y z 0 , se obtiene y 3 , por lo que un nuevo punto ser Q(0;3;0) .
6.- Si y 0 y z 0 , se obtiene x 2 y por ende, un nuevo punto R(2;0;0) .
3.- T razas internas
Aqu hay que analiz ar lo obtenido en los pasos anteriores para determinar
cul, o cuales, seran los planos paralelos a los coordenados que ms
convienen tomar para determinar nuevas trazas que complementen lo hallado
hasta aqu y faciliten la representacin grfica de la ex presin dada.
Analizando las trazas y puntos de ms arriba parece que tenemos una
suficiente informacin como para graficar. Pero, por curiosidad, y como ejemplo
de aplicacin de este

paso, podemos

hallar, al menos, una traza interna

mediante un plano paralelo al plano [xy]:

observando que el punto de

interseccin en el eje z es z=6 (o sea el punto P), podemos tomar un valor por
debajo del mismo, como por ejemplo z=2, y hacer pasar por l un plano paralelo
al plano [xy ] .
En consecuencia, se obtendr una curva interseccin, graficada sobre el
plano [ z 2] de estructura 2 6 3 x 2 y , o, que es lo mismo, y 2

3
x , que es
2

3
una recta con ordenada al origen en y(0) 2 y pendiente p .
2
Con todo lo analizado hasta aqu, graficamos las trazas y los puntos,
figura 5, y a continuacin, graficamos lo emergente del paso 3, figura 6.
Luego trazamos una generatriz arbitraria, con el objeto de dar perspectiva
al grfico (que, como sabemos, alguna imperfeccin tendr , dado que se intenta
UT N

Fa c u lt a d Re g i o n a l C r d o b a

P r o f . I ng . M i g u e l ng e l R a m a d n

graficar tres dimensiones en una hoja plana, o sea en dos dimensiones, adems
de ser un grfico sin escalas (a mano alzada)), figura 7.

Con t oda esta informacin obtenida a travs de los p asos 1, 2 y 3,


estamos en condiciones de graficar, a mano alzada, el plano infinito de la
expresin del ejemplo, figura 8, donde, finalmente, proyectamos hacia el infinito
y colocamos todos los rtulos.

Se ha obtenido as la graficacin de una superficie plana infinita (o plano


plano), que es, a su vez, la graficacin de la expresin multivariable.
Esta graficacin constituye una superficie plana en el espacio, con lo que
decimos

que

las

grficas

de

las

relaciones

multivariables,

sean

planos

alabeados o pl anos planos, son superficies en el espacio.


Si ahora consideramos que la consigna del ejemplo (lo mismo si tenemos
un

ejercicio; y lo mismo si t enemos un problema) es graficar la expresin


UT N

Fa c u lt a d Re g i o n a l C r d o b a

P r o f . I ng . M i g u e l ng e l R a m a d n

multivariable z 6 3 x 2 y para x 0

y 0 z 0 , realizamos los pasos 1, 2

y 3, y obtendremos la grfica de la figura 9, que representa la superficie


espacial de la expresin multivariable acotada en el primer octante.

Curvas de nivel
Las

curvas

de

nivel

son

otro

modo

de

graficar

las

funciones

multivariables, y se obtienen proyectando ortogonalmente sobre el plano [xy ] la


curva resultante de la interseccin entre el plano que representa a la relacin
multivariable y el plano [ z k ] , siendo k un nmero real.
Aprovechando
multivariable ser

el

ejemplo

anterior,

si

se

z 6 3 x 2 y k 2 , de donde:

4 3 x 2 y , y entonces: y 2

toma

k 2,

la

relacin

6 3 x 2 y 2 , con lo que:

3
x , que es una recta con pendiente negativa y
2

ordenada al origen en 2, que grafica una curva de interseccin sobre el plano

[ z k 2] , como en la figura 9.
Proyectando
interseccin

ortogonalmente

obtenida,

se

sobre

obtiene

el

la

plano
curva

la

[xy ]
de

curva

nivel

de
para

z f ( x; y) 6 3 x 2 y k 2 , figura 10.
En la figura 11 se observan las curvas de nivel para ki 2;3;5 .
Como se ve, las curvas de nivel grafican sobre el plano [xy ] , por lo qu e se
pueden analizar mejor en una representacin planar como la de la figura 12.
T oda la informacin referente a la relacin multivariable que se obtiene
en la graficacin

de

la

superficie

de

la

misma, tambin

se tiene en la

graficacin planar correspondiente a sus curvas de nivel.


En el grfico de las curvas de nivel, el valor k acta como parmetro;
figura 12.
Cada curva de nivel se la define, entonces, como el conjunto de pares
UT N

Fa c u lt a d Re g i o n a l C r d o b a

P r o f . I ng . M i g u e l ng e l R a m a d n

ordenados (x;y) pertenecientes a lo s reales en dos dimensiones, tal que la


relacin z=f(x;y) toma el valor de un nmero real k :

{( x; y)R2 zR kR / z f ( x; y) k} .

El valor z k es llamado cota, y para cada cota se tiene una sola curva de
nivel.
Superficie de nivel
La superficie encerrada por las curvas de int erseccin ubicadas en el
plano de una misma cota recibe el nombre de superficie de nivel.
Por lo tanto, como es obvio, una superficie de nivel tiene por estructura la
superficie que grafica z f ( x; y) k ; o sea, un plano paralelo al dominio ( fig. 13).
Consigna: investigue la superficie de nivel para w f ( x; y; z ) k .
Condiciones, o criterios, de existencia y unicidad
T al como vimos en Anam 1, toda relacin entre variables independientes y
dependientes se de nomina funcin si satisface, simultneamente, los criterios
de existencia y unicidad.
Para

el

caso

de

las

funciones

multivariables,

de

dos

variables

independientes, tales criterios se enuncian as:


Existencia:

para todos los pares ordenados (x;y) pertenecientes al conjunto de

los nmeros reales en dos dimensiones, existe un valor real relacionado con los
mismos a travs de una estructura algebraica, que llamaremos funcin; en

( x; y) R 2 z R / z f ( x; y)

smbolos:
Unicidad:

para cada par ordenado (x; y) perteneciente al conjunto de los

nmeros reales en dos dimensiones, debe existir un (y slo uno) valor real
que le corresponda mediante una estructura algebraica, o relacin;
en smbolos:

( x; y) R2 z1 R z2 R / z1 f1 ( x; y) z2 f 2 ( x; y) z1 z2

En la figura 14 se observa qu e un eje infinito paralelo al eje z, que pasa


por un determinado par ordenado (x;y) del plano [xy], corta a la superficie de la
UT N

Fa c u lt a d Re g i o n a l C r d o b a

P r o f . I ng . M i g u e l ng e l R a m a d n

relacin en un punto, al menos, lo que implica que en tal par ordenado


la relacin existe y satisface el criteri o de existencia.
Por otro lado, como slo corta en un punto, ello implica que para cada par
ordenado hay un solo valor unvoco de z, por lo que satisface el criterio de
unicidad.

Por lo tanto, la relacin a la que pertenece esta grfica es una f uncin.


En cambio, en la figura 15, para un par ordenado en el plano [xy], vemos
que el eje infinito paralelo al eje z que pasa por ese punto, impacta en dos
puntos de la superficie graficada.
Por lo tanto, se verifica el criterio de existencia pero no verifica el de
unicidad; por ello, la grfica corresponde a una relacin, y no a una funcin.
Finalmente, en la figura 16, ambos criterios verifican, por lo que la grfica
corresponde a una funcin.
Cuando la relacin

z R( x; y) satisface las condici ones de existencia y

unicidad, es llamada funcin, y se denota por: z f ( x; y) . En estas condiciones,


las curvas de nivel de la funcin no pueden intersectarse , ya que no se
cumplira el criterio de unicidad.
Definiciones bsicas
Qu es un sistema coordenado?
Es un sistema que establece una correspondencia biunvoca entre los
puntos situados en algn lugar determinado y los nmeros reales ubicados en
rectas.
Cul es la diferencia entre los sistemas coordenados unidimensional,
bidimensional y tridimensional?
a.- El sistema coordenado unidimensional relaciona cada nmero real contenido
en una recta, con puntos (posiciones) sobre la misma recta.
Cada punto de la recta representa un nmero real, que puede ser: natural,
UT N

Fa c u lt a d Re g i o n a l C r d o b a

10

P r o f . I ng . M i g u e l ng e l R a m a d n

entero, fraccionario, r acional, irracional. Figura 17.


El punto

P( x) P(3) es el punto posicionado en la marca, o posicin, 3, en

la recta de los nmeros reales (R). El valor x 3 se llama coordenada del punto.
La distancia entre dos puntos A( x1 ) y B( x2 ) , es D x1 x2 x2 x1 .

b.- El sistema coordenado bidimensional relaciona cada punto de un plano con


dos

nmeros

reales

ubicados

en

sendas

rectas

numricas

dispuestas

ortogonalmente entre ellas; figura 18.

El plano es la resultante de la interseccin de las dos rectas numricas. El


punto P( x; y) P(3;2) es el que se ubica en el [xy], en la interseccin de la recta

x 3 y la recta y 2 .
T anto x como y son las coordenadas del punto, y el conjunto ( x; y) (3;2)
constituye un par ordenado de tales coordenadas.
La

distancia

entre

dos

puntos

A( x1; y1 )

B( x 2 ; y 2 ) ,

es

D ( x1 x2 )2 ( y1 y2 )2 , o tambin, D ( x2 x1 )2 ( y2 y1 )2 , que resulta de una


relacin pit agrica en el plano de los puntos.
c.- El sistema coordenado tridimensional establece una relacin biunvoca entre
un punto del espacio y tres nmeros reales ubicados en tres rectas ortogonales,
cuya interseccin genera un espacio de volumen, figura 19.
El punto P( x; y; z) P(1;2;3) es el punto posicionado en z 3 sobre el eje de
la interseccin de las rectas x 1 , la recta y 2 .
UT N

Fa c u lt a d Re g i o n a l C r d o b a

11

P r o f . I ng . M i g u e l ng e l R a m a d n

La distancia entre los puntos

A( x1; y1; z1 ) y B( x2 ; y2 ; z2 ) es:

D ( x2 x1 )2 ( y2 y1 )2 ( z2 z1 )2
que es una relacin doblemente pitagrica.
Escriba y grafique las ecuaciones de: recta, parbola cuadrtica, parbola
cbica, circunferencia, elipse, hiprbola equiltera, y funcin sinusoidal.
Las ecuaciones y grficas bsicas de una: recta, parbola cuadrtica,
parbola cbica,

circunferencia,

elipse, hiprbola equiltera, senoide, son las

indicadas por las figuras 20 a 26, respectivamente.

Qu representa una ecuacin con una variable?, y con dos?, y con


tres?.
La ecuacin con una variable independiente,

y f (x) , representa una

curva. La ecuacin con dos variables independientes, z f ( x; y) , representa un


plano, o superficie. Con tres variables, w f ( x; y; z ) , representa un volumen.
Qu es conjunto solucin de una ecuacin?
Es el conjunto de todos los valores coordenados que satisfacen a la
ecuacin. Por ejemplo: si

x 2 y 2 49 7 2

una solucin es el par ordenado

( x; y) (5; 24 ) , y tamb in el par ordenado ( x; y) ( 30 ; 19 ) , y tambin lo es el par

ordenado

( x; y) ( 13 ;6 ) . El conjunto de t odos los pares ordenados cit ados

constituye un conjunto solucin de la ecuacin.


Pero si la ecuacin es de estructura clsica como 2 x 3 y 0 por ejemplo, si,
por alguna razn, se conoce que x 1 , entonces y 2 / 3 satisface, por lo que el
UT N

Fa c u lt a d Re g i o n a l C r d o b a

12

P r o f . I ng . M i g u e l ng e l R a m a d n

2
conjunto solucin es, en este caso, el par ordenado ( x; y ) (1; ) .
3

Dominio
El conjunto de pares ordenados ubicados en el plano coordenado [xy] para
los que los criterios de existencia y unicidad verifican que la relacin es una
funcin, constituyen el dominio de la funcin. Es decir:

D f {( x; y)R 2 / z f ( x; y)}

La zona sombreada de las figuras 27 y 28 representa el dominio de


existencia de la funcin.

Es decir que el dominio es la proyeccin ortogonal de la superficie de la


funcin sobre el plano [xy]; por ello, dicho plano es llamado el plano del dominio
de la funcin.
Este plano es directamente el utilizado para el dominio de una funcin en
virtud que, al ser x e y las variables independientes, y al asignrseles un eje
dimensional a cada una de ellas, es sabido que dos rectas (ejes) conforman un
plano.
Dado que el dominio se desarrolla en el pla no [xy], no es necesaria la
presencia del eje z, por lo que el dominio de las figuras 27 y 28 se grafican
como se ve en las figuras 29 y 30, las que deben complementarse con las
rotulaciones correspondientes a fin de que la graficacin sea portadora de tod a
la informacin completa sobre las funciones poseedoras de esos dominios.
Existen diversos convenios para la

graficacin de dominios de

las

funciones, si bien las graficaciones de las figuras 29 y 30 podran considerarse


suficientes.
En nuestra asignatu ra adoptaremos el que esbozaremos en las siguientes
figuras, que luego se complementar con las actividades prcticas.
Cuando una funcin z f ( x; y) existe para todo conjunto de valores ( x; y)
significa que todos los puntos d el plano [ x; y] son puntos para los cuales la
funcin existe, por lo que una definicin por comprensin del dominio de tal
UT N

Fa c u lt a d Re g i o n a l C r d o b a

13

P r o f . I ng . M i g u e l ng e l R a m a d n

D f {( x; y) R 2 / z f ( x; y) {de todos los (x; y)} {R}}

funcin es:

y su graficacin correspondient e es, bajo el convenio que adoptaremos, la de la


figura 31, en la que observamos:

un cuadrado, o rectngulo, limitado por lnea de trazos, que significa que


el dominio es todo el plano hasta llegar a los extremos (infinito) de los
ejes, no incluyendo tales extremos.

un rayado oblicuo (no para lelo ni a los ejes ni a ninguna otra curva) con
lnea continua que va de infinito a infinito, y que significa que el conjunt o
de puntos abarcado por la rayadura son puntos del dominio de la funcin;
es decir, en cada uno de los puntos de la rayadura la f uncin est
definida.

los rtulos de los ejes, del origen, del dominio, etc.

Cuando una funcin est definida en todo el plano real, except o el origen, la
definicin de su dominio por comprensin, es:

D f {( x; y) R2 / z f ( x; y) (x; y) (0;0)}
y la grfica de esta definicin es la indicada por la figura 32, en donde se ve un
crculo central (el origen) cuyo permetro est en lneas de trazos, lo que indica
que no forma parte del dominio, o sea, de la definicin de la funcin; y el crculo
est vaco, por la misma razn.
Si una funcin no est definida para el conjunto de puntos que pertenecen a
la recta y x (por ejemplo cuando en la estructura de la funcin se tiene x y en
el denominador), su dominio se define por comprensin:

D f {( x; y) R 2 / z f ( x; y) y x} ,
y la grfica del dominio es la de la figura 33.
Cuando en una regin de la grf ica del dominio se yuxtaponen l neas de trazo
con la rayadura del dominio, se conviene en que la funcin no est definida para
el conjunto de puntos que pertenec en a la lnea de trazos.
En la figura 33, el origen, entonces, es un punto en el que la funcin no est
definida, por ser un punto que pertenece a una lnea de trazos.
Para el caso de una funcin que existe para todos los puntos interiores al
crculo de radio

5 , a excepcin de x 0 (el eje y), su dominio es:

D f {( x; y) R2 / z f ( x; y) (x2 y 2 5) (x 0)}
correspondindole

una

graficacin

como

la

de

la

figura 34 (ntese que

siempre se grafica el cuadrado que contiene los lmites ( infinit amente grandes)
UT N

Fa c u lt a d Re g i o n a l C r d o b a

14

P r o f . I ng . M i g u e l ng e l R a m a d n

de los valores reales de los ejes; y que la zona vaca implica inexistencia de la
funcin).
Dado que el dominio es un conjunto de puntos, definiremos los tipos de
puntos que estn involucrados en las cercan as de un dominio:

Entorno de un punto:

recordando lo visto en Anam 1, en el caso de las

funciones monovariables, el entorno implica la relacin entre los siguientes


elementos sobre la recta numrica (figura 35):
* el dominio de la funcin, dado por la recta de los reales que representan, a su
vez, a la variable de la funcin (segn el intervalo de existencia de la funcin);
* el punt o de referencia, o centro, x0 ;
* el intervalo de valores posibles de la variable x, x (( x0 ); ( x0 )) ;
* el brazo entorno, ;
* la distancia

D x x0 ;

* y finalmente, el entorno E de centro en x0 y brazo , cuyos smbolos son:

E ( x0 ; ) y

x x0 .

En el caso de funciones de dos variables independientes, en un cierto


dominio D f , el entorno es un conjunto de puntos situados en las proximidades
del punto ( x0 ; y0 ) , ubicados en el interior de un crculo de radio , y que, en
principio, lo consideraremos interior al dominio , figura 36 (y con dimensiones
exageradas con respect o a ste, por razones didcticas del dibujo a mano
alzada).

UT N

Fa c u lt a d Re g i o n a l C r d o b a

15

P r o f . I ng . M i g u e l ng e l R a m a d n

O sea que el entorno se indica por

E (( x0 ; y0 ); ) E ( P; ) , que significa

entorno de centro en el punto P de coordenadas ( x0 ; y0 ) y radio .


Y como antes, operacionalment e puede ser indicado por la distancia entre
dos puntos, lo que lleva nuevamente a una expresin de valor absoluto, como s e
vio en Anam 1.
Como la distancia es, en este caso, una aplicacin pitagrica, si tomamos,
por ejemplo el punto Q en la figura 36, la distancia al punto de referencia P, por
Pitgoras, es D ( x x0 )2 ( y y0 )2 .

Para funciones de tres variables indepe ndientes, tal como, por ejemplo,

w f ( x; y; z ) ,

el

dimensiones,

entorno

siendo

E (( x0 ; y0 ; z0 ); ) E ( P; )

P( x0 ; y0 ; z0 )

el

requiere

un

espacio

de

tres

centro entorno, y la distancia a cualquier

punto Q, perteneciente al entorno ser:

D ( x x0 )2 ( y y0 )2 ( z z0 )2
Entorno reducido de un punto:

figura 37.

tanto para la bola unidimensional, como para la

bola de dos y tres dimensiones, es el conjunt o de todos los puntos del dominio
de la funcin que tienen una distancia no nula y menor que el brazo entorno,
con respect o al punto de referencia, verificndose en cada caso de tales bolas:

0 x x0

0 ( x x0 )2 ( y y0 )2

0 ( x x0 )2 ( y y0 )2 ( z z0 )2 .

Al no ser nunca nula la distancia, significa que en ningn caso el punto Q,


perteneciente al entorno de P, podr coincidir con P; en suma, el centro del
entorno est siempre excluido en un entorno reducido.
Punto de acumulacin: es el punto que, pertenezca o no al dominio de la
funcin, en todo entorno reducido suyo hay algn punto del dominio.
UT N

Fa c u lt a d Re g i o n a l C r d o b a

16

P r o f . I ng . M i g u e l ng e l R a m a d n

En smbolos (figura 38):


P es un punto de acumulacin del D f E(P) (x;y) (D Z E(P))
Punto interior:

es el punto cuyo entorno tiene todos sus punt os pertenecientes

al dominio de la funcin, figura 39:


punto interior al dominio
Punto exterior:

E(P) / E(P) D Z

es el punto cuyo entorno no contiene ningn punto del dominio;

o sea, un punto exterior al conjunto D Z es punto interior del complemento de D Z ,


P es exterior a D Z E(P) / E(P) D Z = .

figura 40:
Punto de frontera:

es el punt o, perteneciente o no al dominio de la funcin, si

en todo entorno suyo hay algn punto que pertenezca al dominio y algn punto
que no pertenezca a D Z , figura 41:
P es frontera P no es interior y P no es exterior.
Punto aislado:

punto que pertenece a un conjunto D Z cuyo entorno reducido

suyo no contiene ningn punto de D Z , figura 42:


P es un punto aislado de D Z P D Z E(P) / E(P) D Z = .
Frontera:

es el conjunto formado por su s puntos de frontera.

Contorno:

es el conjunto de los puntos no exteriores

que son puntos de

acumulacin de puntos exteriores al conjunto.


Conjunto abierto:

un conjunto D Z se dice abierto si y slo si todos sus puntos

son interiores al conjunto.

Conjunto cerrado:

un conjunto se dice cerrado si su complemento es abierto; o

tambin, cuando la frontera del conjunto pertenece al conjunto, en consecuencia


todos sus puntos son de acumulacin.
UT N

Fa c u lt a d Re g i o n a l C r d o b a

17

P r o f . I ng . M i g u e l ng e l R a m a d n

Conjuntos conexos:

son dominios en los que dos puntos c ualesquiera pueden

unirse mediante una poligonal abierta de un nmero finito de lados y cuyos


puntos pertenecen todos al dominio, figura 43. En caso cont rario, se llaman
inconexos, figura 44 con zona lacunar.
Recinto o regin abierta:

es un conjunto conexo cuyos puntos son todos

interiores.
Regin:

es un conjunt o conexo formado por un recinto y alguno de, o todos,

sus puntos frontera.


Regin cerrada, o recinto cerrado:

es el conjunt o formado por los puntos de un

recinto ms su frontera.

Regin simplemente conexa:

cuando cualquier poligonal cerrada puede

reducirse a un punto sin salirse del dominio ni modificarlo, figura 45.


En el caso de la figura 46, no es simplemente conexa ya que la poligonal
no puede reducirse a un punto porque el la go interior al dominio, que no es
dominio, se lo impide.
UNIVERSIDAD
TECNOLGICA
NACIONAL

FACULTAD
REGIONAL
CRDOBA

ANLISIS MATEMTICO II

Ejemplario

Prof. Ing.
Miguel Angel Ramadn

Introduccin
Los ejercicios del Ejemplario son extrados, con ningun a o alguna
modificacin, de textos de los autores: Rabuffetti, Piskunov, Demidovich,
Stewart, Di Caro, Granville, etc.; otros son tomados de los exmenes prcticos
tomados en alguna oportunidad (con desconocimiento de su procedencia) y unos
pocos de produc cin propia.
Algunos ejercicios vienen desarrollados y resueltos a fin de servir de
ejemplo, ya del procedimient o, ya de la secuencia operativa, ya de la
nomenclatura, o bien de las magnitudes y dimensiones que correspondieren.
En la resolucin de ejerci cios domiciliarios que sern incluidos en la
Carpeta de T rabajos Prcticos, se solicita se observen las consignas, las
indicaciones, los modos procedimentales, las nomenclaturas, et c., impartidas en
las clases tericas y/o prcticas.
Antes de la realizacin de las prcticas se debe analizar
comprensivamente el terico correspondiente a travs de la clase terica y de la
bibliografa sugerida (consulta bibliogrfica (3 textos)).
UT N

Fa c u lt a d Re g i o n a l C r d o b a

18

P r o f . I ng . M i g u e l ng e l R a m a d n

Los ejercicios que no tienen respuesta sugerida, tanto aqu como


en los textos de apoyo y consulta, procuran la obtencin de los objetivos
siguientes:
a) que el alumno analice comprensivamente los ejercicios ejemplos de la
bibliografa consultada y/o sugerida;
b) que el alumno analice comprensivamente los ejemplos des arrollados en
clases tericas y prcticas;
c) que el alumno analice comprensivamente los ejercicios con respuesta
sugerida de la bibliografa consultada y/o sugerida;
d) que el alumno se habite a cot ejar sus procedimientos y respuestas con
sus compaeros de c urso a fin de dialogar y socializar sobre los diversos
aspectos involucrados en esta temtica;
e) que el alumno, consecuentemente con la realizacin efectiva de las
instancias anteriores, adquiera confianza y seguridad en sus propias
realizaciones.
Se recomi enda que los ejercicios resueltos del Ejemplario sean considerados
como ejemplos para analizar; despus, una vez comprendidos los respectivos
planteos y desarrollos, as como la concordancia con los aspectos tericos
inherentes, ser conveniente resolverlos nuevamente, tomando a dichos
ejemplos como una gua de ejercicios del tema terico respectivo.
*

Graficacin de funciones multivariables de dos variables independientes


Representar las siguientes expresiones, determinando: a) las
intersecciones con los planos (trazas); b) las intersecciones con los ejes
(puntos); c) las intersecciones con planos paralelos a los planos coordenados
(si es necesario).
1.-

z x2 y2
Planteo, Desarrollo, Respuesta

a.-

Intersecciones con los ejes (puntos):

si x=0 ^ y=0
si z=0 ^ y=0

entonces:
entonces:

z=0

x=0 ;

si x=0 ^ z=0

entonces:

y=0

en consecuencia, en el punto P(0;0;0) hay

una nica interseccin.


b.-

Intersecciones con los planos ( trazas):

si

x=0

z y2

es parbola de eje z sobre el plano yz;

si

y=0

z x2

es parbola de eje z sobre el plano xz;

si

z=0

x 2 y2 0

c.-

es circunferencia de radio 0 sobre el plano xy. Figura 47.

T razas internas:

No son necesarias en este caso. Figura 47.


*

2.-

Si:

z 102 x 2 y 2 graficar la funcin para 0 z .


Planteo, Desarrollo, Respuesta

a.-

Intersecciones con los planos coordenados

Si x=0 z 10 2 y 2
UT N

una parbola descendente en el [yz].

Fa c u lt a d Re g i o n a l C r d o b a

19

P r o f . I ng . M i g u e l ng e l R a m a d n

Si y=0 z 102 x 2
Si z=0 x 2 y 2 10 2
b.-

una parbola descendente en el [xz].

una circunferencia de radio 10 en el [xy].

Intersecciones con los ejes coordenados

si x=0

y=0

z 10 2

si x=0

z=0

y 2 10 2

si y=0

z=0

x 2 10 2

x 10 2 10 P3 (10;0;0) P4 (10;0;0)

c.-

un punto P(0;0;10 2 )

y 10 2 10 P1 (0;10;0) P2 (0;10;0)

Intersecciones con los planos paralelos a los planos coordenados (trazas

internas).
Si con la informacin 1 y 2 es suficiente para graficar, no es necesario
este paso. En consecuencia, se grafica con la rotulacin correspondiente: figura
48.
*
3.-

x 2 y 2 z 2 16
Planteo, Desarrollo, Respuesta

T razas:

Puntos:

1.- si x=0

y 2 z 2 16

circunferencia de r=4 en [yz].

2.- si y=0

x 2 z 2 16

circunferencia de r=4 en [xz].

3.- si z=0

x 2 y 2 16

circunferencia de r=4 en [xy].

4.- si x=0

^ y=0

z 2 16

z 4

5.- si x=0

^ z=0

y 2 16

y 4 C (0;4;0) D(0;-4;0)

6.- si y=0

^ z=0

x 2 16

x 4

A(0;0;4) B(0;0;-4)

E(4;0;0) B(-4;0;0)

T razas internas: No son necesarias puesto que los dos pasos anteriores ya
grafican satisf actoriamente una esfera, figura 49.

*
UT N

Fa c u lt a d Re g i o n a l C r d o b a

*
20

P r o f . I ng . M i g u e l ng e l R a m a d n

2x y 4

4.-

Planteo, Desarrollo, Respuesta


T razas:
1.- si x=0

y4

2.- si y=0

2x 4

3.- si z=0

2 x y 4 y 4 - 2x

recta paralela al eje z, que pasa por y=4.


x=2: recta paralela al eje z que pasa por x=2.
recta en el [xy], con p=-2 e y(0) 4 .

Puntos:
4.- si x=0

^ y=0

0 4 : absurdo no hay corte en el eje z.

5.- si x=0

^ z=0

y4

A(0;4;0) .

6.- si y=0

^ z=0

2x 4

4
2 B(2;0;0)
2

T razas internas:
No son necesarias , puest o que los dos pasos anteriores ya grafican
satisfactoriamente; figura 50.
*
5.-

x2 y2 z 2

1
4
9 16
Planteo, Desarrollo, Respuesta

T razas:
1.- si x=0

entonces

y2 z2
1
9 16

hiprbola en el [yz].

2.- si y=0

x2 z 2

1
4 16

hiprbola en el [xz].
3.- si z=0

x2 y 2

1
4
9

elipse en el [xy].
Puntos:
4.- si x=0 ^ y=0

z2
1 z 4.i
16

no es real

no hay corte en el

eje z.
5.- si x=0 ^ z=0

UT N

y2
1 y 3
9

Fa c u lt a d Re g i o n a l C r d o b a

21

A(0;3;0) B(0;-3;0) .

P r o f . I ng . M i g u e l ng e l R a m a d n

6.- si y=0 ^ z=0

x2
1 x 2 C (2;0;0)
4

D(2;0;0) .

T razas internas:
Elegimos planos paralelos que pasen por coordenadas inferiores a las de
los punt os respectivos:
7.-

si

1 y2 z2
y2 z2
1 3

1
4 9 16
9 16
4 4

x=1

hiprbola en el [yz] que

pasa por x=1. Figura 51.


8.- si

y=2

x2 z 2
4

1
4 16
9

x2 z 2 5

4 16 9

hiprbola en el [xz] que pasa

por y=2.
9.- si z=2

x2 y 2
4 5

1
4
9
16 4

*
6.-

elipse en el plano [ xy] que pasa por z=2.


*

x2 y2 z 2

1
16 25 9
Planteo, Desarrollo, Respuesta

T razas:
1.- si x=0

y2 z2

1
25 9

elipse en el [ yz].

2.- si y=0

x2 z 2

1
16 9

elipse en el [xz].

3.- si z=0

x2 y 2

1
16 25

elipse en el [xy].

Puntos:
4.- si x=0 ^ y=0

z2
1 z 3 A(0;0;3) B(0;0;-3) .
9
y2
1 y 5 C (0;5;0) D(0;-5;0)
.
25

5.- si x=0 ^ z=0

6.- si y=0 ^ z=0

x2

1 x 4
16

E(4;0;0)

F(4;0;0) .

T razas internas:
Supongamos que slo queremos ver la tr aza que corresponde a y=k=3
(plano paralelo al [xz]):
7.-

si

y=3

x 2 32 z 2
x2 z 2
32 16

16 25 9
16 9
25 25

elipse en el [xz] que

pasa por y=3. Figura 52.


UT N

Fa c u lt a d Re g i o n a l C r d o b a

22

P r o f . I ng . M i g u e l ng e l R a m a d n

*
7.-

z3
Planteo, Desarrollo, Respuesta

T razas:
1.- si x=0

z=3

recta en el [yz].

2.- si y=0

z=3

recta en el [xz].

3.- si z 3

z 0

( x; y) [ xy ] .

Puntos:
4.- si x=0 ^ y=0

z 3 A(0;0;3)

5.- si x=0 ^ z=3

infinitos puntos dados por

6.- si y=0 ^ z=3

infinitos puntos dados por Ci ( x;0;3) .

Bi (0; y;3) .

T razas internas:
Supongamos que slo queremos ver la traza que corresponde a x=k=3
(plano paralelo al [ yz]):
7.- si x=3

z3

recta en el [yz] que pasa por x=3. Figura 53.


*

8.9.-

x2 z 2 0

x2 4 y 2 4 z 2 8 0

UT N

Grfico a obtener:

Figura 54.

Grfico a obtener:

el elipsoide real.

Fa c u lt a d Re g i o n a l C r d o b a

23

P r o f . I ng . M i g u e l ng e l R a m a d n

10.-

2 y2 0

11.-

x2 y 2 z 2 0

Grfico a obtener:

el [xz].

Grfico a obtener:

cono cudrico centrado

en (0;0;0).
*

Graficacin por curvas de nivel


Graficar, para k= 0; 1; 2; 3, las curvas de nivel de las siguientes expresiones.

z x2 y 2

12.-

Planteo, Desarrollo, Respuesta


si k=0

x 2 y2 0

si k=1

x 2 y2 1

es circunferencia de radio 1 sobre el plano xy; Figura 55.

si k=2

x 2 y2 2

es circunferencia de radio

2 sobre el plano xy;

x 2 y2 3 es circunferencia de radio

3 sobre el plano xy.

si

k=3

es circunferencia de radio 0 sobre el plano xy;

*
13.-

z x2 y 2
Planteo, Desarrollo, Respuesta

1.- si

k=0

x 2 y2 0

y2 x 2

y x y x

son 2 rectas que

pasan por el origen, con pendiente positiva una, y negativa la otra, a 45 y a


135, respectivamente.
2.- si

k=1

x 2 y2 1

y2 x 2 1

que es una hiprbola equiltera en el

plano xy, con ceros (races) en x 1 ;


3.- si

k=2

x 2 y2 2

y2 x 2 2

es una hiprbola equiltera en el

plano xy, con ceros en x 2 ;


UT N

Fa c u lt a d Re g i o n a l C r d o b a

24

P r o f . I ng . M i g u e l ng e l R a m a d n

4.- si

k=3

x 2 y2 3

y2 x 2 3

es una hiprbola equiltera e n el

plano xy, con ceros en x 3 ; Figura 56.


5.- en general, para todo k se tendr una hiprbola equiltera con ceros en

x k.
*
14.-

z 100 x2 y 2
Planteo, Desarrollo, Respuesta
k=0 100 x 2 y2 0 x 2 y2 100

1.- si

es

una

circunferencia

de

radio

r 10 , en el [xy];
2.- si

k=1

100 x 2 y2 1

x 2 y2 100 1 99

es una circunferencia de

radio r 99 ;
3.- si k=2 100 x 2 y2 2 x 2 y2 100 2 98

es una circunferencia de radio

r 98 ;

4.- si

k=3

100 x 2 y2 3 x 2 y2 100 3 97

es una circunferencia de

radio r 97 ; Figura 57.


5.- en general, para todo k se tendr una circunferencia de radio r 100 k .
El anlisis de la figura 57 indica que a medida que los planos z=k intersectan
a la grfica espacial de la funcin, se van obteniendo circunferencias de menor
radio; ello indica que la grfica se va afinando conf orme subimos en z; y
dado que las curvas de nivel son circunferencias, deducimos simetras en la
grfica espacial, y junto con los valores indicados en la grfica planar se puede
arribar a la estructura algebra ica de la relacin entre las variables y la forma
espacial de la grfica de la misma; en este caso, es un paraboloide invertido
(ramas descendentes).
*

15.- Graficar la curva de nivel del ejercicio anterior para z=51.


Planteo, Desarrollo, Respuesta
En este caso, es z=k=51, entonces:

10 2 x 2 y 2 51 x2 y 2 49 7 2 es una circunferencia de radio 7


*
16.-

1
xy

Grfico a obtener: figura 59.


*

UT N

(Fig.58).

Fa c u lt a d Re g i o n a l C r d o b a

*
25

P r o f . I ng . M i g u e l ng e l R a m a d n

17.-

z x 2 2y

18.-

19.-

z x. y

20.-

21.-

x2 y 2
z

4
9

Grfico a obtener: figura 64.

22.-

z 4 x y

Grfico a obtener: figura 65.

Grfico a obtener: figura 60.

y
x

Grfico a obtener: figura 61.


Grfico a obtener: figura 62.

Grfico a obtener: figura 63.

x2 y

Criterios de existencia y unicidad


Analizar las estructuras funcionales siguientes e indicar si satisfacen
las condiciones de existencia y unicidad de las funciones escalares.
23.-

z 6 3x 2 y .
Planteo, Desarrollo, Respuesta
UT N

Fa c u lt a d Re g i o n a l C r d o b a

26

P r o f . I ng . M i g u e l ng e l R a m a d n

Proyectando la superficie de la relacin sobre el plano que conforman las


variables tenemos un conjunto de infinitos puntos contenidos entre las rectas
(fronteras) x , y , ya que se trata de un plano infinito (no acot ado),
figura 66.
Si tomamos un punto cualquiera y hacemos pasar un eje infinito por l, se ve
que corta a la superficie en un solo punto.
Ello significa que:
a.- al cortar la superficie en algn punto, la relacin tiene, al menos, una
imagen, o codominio, para ese punto, por lo que satisface el criterio de
existencia;
b.- al tener una sola imagen para ese punto, satisface el criterio de unicidad;
c.- en consecuencia, al satisf acerse simultneame nte ambos criterios, la
relacin es una funcin;
d.- el punto considerado es un punto del dominio de la funcin.

z x2 y2

24.-

Planteo, Desarrollo, Respuesta


Insertando un eje infinito paralelo al eje z (u ortogonal al plano xy), en la
proyeccin de la superficie de la relacin sobre el plano xy en la figura 47, se ve
que dicho eje corta en un solo punto a dicha superficie.
Por lo tanto, ello significa que la relacin tiene imagen para dicho punto y
como es nica, cumple simultneamente con los criterios de existencia y
unicidad, por lo que la relacin es un campo escalar, o funcin.
*

25.- Si z 10 2 x 2 y 2 graficar la funcin para 0 z .


UT N

Fa c u lt a d Re g i o n a l C r d o b a

27

P r o f . I ng . M i g u e l ng e l R a m a d n

Planteo, Desarrollo, Respuesta


Por favor, haga lo siguiente:
1.- Proyect amos la chapa representativa de la relacin sobre el plano xy,
obteniendo una grfica similar a la de la figura 48.
2.- T omamos un punt o cualquiera de esta proyeccin y hacemos pasar un eje
infinito ortogonal al [xy].
3.- Observamos si dicho eje corta, al menos una vez, a la superficie graficada.
Si lo hace, decimos que la relacin satisface al criterio de existencia, lo que
significa que la relacin tiene, al menos, una imagen para ese punto de su
dominio.
4.- Observamos si el corte entre el eje infinito y la grfica de la relacin es
nico; si lo es, la relacin satisf ace el criterio de unicidad.
5.- Como observamos en la figura que la grfica satisface ambos criterios,
decimos que la relacin es una f uncin.
*
26.-

x 2 y 2 z 2 16
Planteo, Desarrollo, Respuesta

Haga lo mismo que en el ejercicio anterior y deduciremos que la superficie


por Ud. graficada, y similar a la figura 49, no responde a una funcin, pues si
bien satisface el criterio de existencia, no satisface el de unicidad al cortarse
con el eje infinito dos puntos de la grfica, por lo que hay ms de una imagen
para un mismo dominio. Por ello, la relacin no es funcin, o bien, no representa
a un campo escalar.
*

2x y 4

27.-

Planteo, Desarrollo, Respuesta


La grfica correspondiente, figura 67, al ser
sometida al anlisis del eje infinito, nos indica
que si bien hay existencia para cada punto del

2 x y 4 , hay, a su vez,

dominio dado por la recta

infinitas imgenes en el plano

2 x y 4 ; por lo

tanto, la relacin no es funcin.


*

x2 y2 z 2

1
4
9 16

28.-

No es funcin, como se desprende del anlisis

(eje infinito) de la figura 51.


UT N

Fa c u lt a d Re g i o n a l C r d o b a

28

P r o f . I ng . M i g u e l ng e l R a m a d n

x2 y2 z 2

1
16 25 9

29.-

No es funcin.
*

z3

30.-

Grafique, aplique el anlisis del eje infinito y compruebe que es

funcin.
*

x2 z 2 0

31.-

x2 4 y 2 4 z 2 8 0
*

2 y2 0

No es funcin.
*

x2 y2 z 2 0

34.-

No es funcin.

*
33.-

Es funcin (Figura 54).


*

32.-

es o no funcin?: definir.
*

Dominio de funciones multivariables de dos variables independientes


Definir p or comprensin y graficar el dominio de las siguientes funciones:
2

En R :
35.-

x 7 y 3
x y
Planteo, Desarrollo, Respuesta

Si el denominador de la expresin se hace cero la funcin se hace


discontinua; por lo tanto, todo s los puntos pertenecientes a la recta y x son
puntos de discontinuidad de la funcin, por lo que el dominio es, figura 68:

36.-

D f {( x; y)R 2 / z

x 7 y 3
x y

y x} .
*

f( x; y ) [9 ( x 2 y 2 )]1
Planteo, Desarrollo, Respuesta
Escribiendo

z f ( x; y )

1
9 (x y2 )
2

se observa que la funcin ser continua

siempre que x 2 y 2 9 . Ello significa que los infinitos puntos que pertenecen a la
circunferencia de radio 3 son pun tos de discontinuidad (figura 69), por lo tanto:

D f {( x; y)R 2 / z
UT N

1
9 (x y )

Fa c u lt a d Re g i o n a l C r d o b a

29

x 2 y 2 9}
P r o f . I ng . M i g u e l ng e l R a m a d n

37.-

1
Ln(1 x 2 y 2 )
Planteo, Desarrollo, Respuesta

Por un lado, la funcin se hace discontinua, es decir, no existe, si el


denominador es nulo; o sea, si el logarit mo es nulo. Esto ocurre cuando el

Ln(1 x2 y 2 ) 0 1 x2 y 2 1 x 2 y 2 2 ( 2 )2

argumento es 1, es decir:

lo que significa que habr discontinuidad de la funcin en t odos los puntos


pertenecientes a la circunferencia de radio

2.

Por otra parte, la existenc ia del logaritmo, y a su vez la existencia de la


funcin, exige que el argumento sea 1 x 2 y 2 0 x 2 y 2 1 , lo que significa
que la funcin ser continua para todas las circunferencias de radio superiores a
1, que son infinitas. O, que es lo mismo, la fu ncin ser discontinua para todos
los puntos pertenecientes al crculo de radio 1, incluyendo su periferia, o sea la
circunferencia de radio 1.
Combinando ambas restricciones (figura 70), el dominio ser:

D f {( x; y)R 2 / z

*
38.-

1
Ln(1 x 2 y 2 )

( x 2 y 2 2) ( x 2 y 2 1)}

z xy.(1 x y)
Planteo, Desarrollo, Respuesta
Si el argumento de la raz, o radicando, se hace negativo para algn par

( x; y) , la raz no existe en el campo de los nmeros reales, y por ende no exi st e


la funcin.
Por ello, el radicando debe ser siempre positivo o nulo, lo que nos indica
que:

x. y 0

Si , significa que

1 x y 0

, o x. y 0

1 x y 0

x 0 y y 0 , figura 71; o x 0 y y 0 , figura 72.

La representa a todos los puntos del plano real ubicados por debajo (y
en) la recta y 1 x , figura 73.
Combinando las condiciones y , se obtiene como grfica parcial del
dominio a la figura 74.
UT N

Fa c u lt a d Re g i o n a l C r d o b a

30

P r o f . I ng . M i g u e l ng e l R a m a d n

La significa que x 0 y y 0 , figura 75; o x 0 y y 0 , figura 76;

la

representa a todos los puntos del plano real ubicados por encima, y en, la recta

y 1 x , figura 77.
Combinando las condiciones y , se obtiene como grfica parcial del
dominio a la figura 78.Finalmente, combinando las condiciones , , y , se
obtiene la grfica definitiva del dominio de la funcin, figura 79.
Y el dominio se define, por comprensin, as:

D f {( x; y)R2 / z xy.(1 x y)

*
39.-

[( x. y 0) (1 x y 0)] [( x. y 0) (1 x y 0)]} .

z Sen( xy ) 3
Planteo, Desarrollo, Res puesta
Como

Sen( xy ) 1 , el radicando ser siempre negativo y, en consecuencia,

no existen valores del radical en el campo real, por lo que el dominio es el


conjunto vaco, figura 80:
*
40.-

D f {( x; y)R2 / z Sen( xy ) 3}
*

1
x y2
2

Planteo, Desarrollo, Respuesta


La funcin no existe para el cero del denominador, dado por el par

D f {( x; y )R 2 / z

ordenado ( x; y) (0;0) ; entonces, figura 81:


*
41.-

1
( x; y ) (0;0)}
x y2
2

F( x; y ) arcSen( x y)
Planteo, Desarrollo, Respuesta
UT N

Fa c u lt a d Re g i o n a l C r d o b a

31

P r o f . I ng . M i g u e l ng e l R a m a d n

Para que la funcin exista debe cumplirse que


decir que: 1 x y 1 entonces:

x y Sen[ f ( x; y)] 1 , es

x 1 y x 1 por lo que, por un lado : y x 1

y por el otro: x 1 y
T odo ello permite definir, figura 82:

D f {( x; y)R2 / z arcSen( x y) (1 x y 1)}


*
42.-

y 2 x 2 9 .Ln( x. y )
z
x
Planteo, Desarrollo, Respuesta
Aqu se ve que, por un lado, la raz exige, para la existencia de la funcin,

que y 2 x 2 9 0 , es decir que

y x 2 9 ; o bien:

y 2 x2 9

y 2 x2

1
9
9

que es una hiprbola; figura 83.


Por otro lado, el logarit mo impone que xy 0 , figura 84.
Mientras que x 0 en el denominador indica que los puntos del eje y no
definen funcin, figura 85.

La combinacin de las condiciones implica que las mismas refieren a


interseccin de los conjuntos numricos que repres entan, figura 86:

y 2 x 2 9 .Ln( x. y)
D f {( x; y)R / z
( y 2 x 2 9) ( xy 0) ( x 0)}
x
2

*
43.-

z x 2 9 Ln(1 x 2 ) ( x. y)1
Respuesta

D f {( x; y)R2 / z x 2 9 Ln(1 x 2 ) ( x. y)1 ( x 2 9 0) (1 x 2 ) ( xy 0)}


UT N

Fa c u lt a d Re g i o n a l C r d o b a

32

P r o f . I ng . M i g u e l ng e l R a m a d n

Completar el grfico en la figura 87.


*
44.-

x.Ln( y )
1 z

Respuesta en R 3 :

D f {( x; y; z )R3 / w
*
45.- Si

x.Ln( y )
1 z
*

( y 0) (1 z 2 0)}

Figura 89.
*

z 10 2 x 2 y 2 , graficar y definir el dominio de la funcin.


Planteo, Desarrollo y Respuesta

x 2 y 2 10 2

Como 0 z el dominio corres ponde para z=0:


representa un crculo de radio r=10

(Fig.90), por lo que:

DZ x; y R 2 / z 10 2 x 2 y 2 x 2 y 2 10
*
46.- Si

4 xy 2
z 2
x y2

para (x; y) 0

z0

para (x; y) (0;0) , graficar y

definir su dominio.
Planteo, Desarrollo y Respuesta
Segn las condiciones impuestas por el enunciado, la funcin es real en el
origen (su valor es 0), y es real para todo (x;y) R 2 . En consecuencia, su
dominio es todo el campo real del [xy], figura 88.

4 xy 2

Dz x; y R 2 / z 2
z 0 para (x; y) (0;0)
2

x y

*
47.- Si z

Ln( xy )
x2 y

dar la definicin de su dominio y graficarlo.


Planteo, Desarrollo, Respuesta

Por el numerador:
UT N

Fa c u lt a d Re g i o n a l C r d o b a

33

P r o f . I ng . M i g u e l ng e l R a m a d n

la funcin est definida para

xy>0, o sea: cuando: [x>0 ^ y>0] o [x<0 ^ y<0],

lo que se da en el primer y tercer cuadrante del plano del dominio, excluyendo


los ejes.
el denominador se anula cuando x 2 - y=0, o sea:

Por el denominador:

y=x 2 ,

esto significa que la funcin no est definida para cada unos de los infinitos
puntos pertenecientes a la parbola y=x 2 . Entonces, figur a 91:

Ln( xy )
Dz ( x; y ) R 2 / z 2
x y

*
48.- Si

x 2 x xy y
1 x

y x2

xy 0

graficar y definir el dominio de la funcin.

Planteo, Desarrollo, Respuesta


Primero nos aseguramos de estar frente a la mnima expresin de la funcin.
T ras un simple anlisis y operacin algebraica, obtenemos como m nima
expresin de la funcin:

z x y

Dz x; y R2 / z x y R

Entonces, figura 88:

49.- Defina entorno.


Dado un punto P, el conjunto de puntos ubicados en su cercana, a una
distancia menor que un valor prefijado , llamado brazo entorno, o radio,
constituye el entorno del punto P: E ( P; ) ; figura 36. La distancia puede ser nula
si el punt o considerado, en relacin al punto P, est en su mis ma ubicacin.
*

50.- Defina entorno reducido.


Es el entorno en el cual la distancia no puede ser nula, lo que significa que
no puede nunca estar el punto considerado en la posicin del punto P.
51.- Qu es dominio?

UT N

Fa c u lt a d Re g i o n a l C r d o b a

34

P r o f . I ng . M i g u e l ng e l R a m a d n

Es el conjunto de puntos pa ra los cuales una cierta relacin se verifica, o


est definida; por ejemplo, para z f ( x; y) , el conjunto de pares ordenados que
dan un valor z, a travs de la estructura algebraica f, constituye el dominio de z.
*

52.- Cmo se representa geomtricamente a las funciones de dos variables?.


Mediante una superficie (que puede ser, o un plano alabeado, o un plano
plano) en un espacio tridimensional.
*

53.- Esquematice: punto de acumulacin; punto interior; punto ext erior; pu nto
frontera; punto aislado; frontera; conjunto abierto; conjunto cerrado; regin
simplemente conexa; regin conexa; regin no simplemente conexa.
Compare sus respuestas con las figuras 38 a 46 y la 92.
54.- Determine los puntos frontera de

z {( x; y)R2 / x 2 y 2 1 y 0} .

Son todos los puntos ubicados en la semicircunferencia de radio 1, por


encima del eje x, ms los puntos ubicados en la recta y 0 para 1 x 1 .
55.- Determine los puntos interiores de

z {( x; y)R2 / 0 x 2 0 y 1} .

Esos valores de x y de y generan un espacio rectangular sobre el plano xy.


Los punt os interiores son todos los ubicados en dicho rectngulo, excluyendo
los ubicados sobre el per metro del mismo.
56.- Determine los puntos exteriores de:

z {( x; y)R2 / x2 y 2 4} {( x; y)R2 / x 2 y 2 1} .
Son todos los puntos ubicados en el plano xy por fuera del crculo de radio
1, y por dentro del crculo de radio 4, sin incluir a los de las respectivas
circunferencias.
57.- Si

z 10 2 x 2 y 2 , explique si el punto N 7 ; Ln(10 2 )

es, o no, punto

frontera.
Planteo, desarrollo, respuesta
Para que sea frontera, N debe pertenecer a x 2 y 2 102 ; es decir, sus
coordenados deben satisf acer a esta ecuacin:

7 2 Ln(102 2 7 21,21 28,21 102 100


En consecuencia, como N no pertenece a la circunferencia de radio 10, no
es punto frontera.
*

UT N

Fa c u lt a d Re g i o n a l C r d o b a

35

P r o f . I ng . M i g u e l ng e l R a m a d n

Definicin de L mite
Ampliando el concepto de l mit es que vimos en Anam 1 para el caso de
funciones monovariables, diremos:
El l mite de una funcin multivariable z f ( x; y) es el valor real L , cuando
el punto ( x; y) de un cierto entorno de su dominio D f tiende al centro de dicho
entorno, dado por el punto de acumulacin ( x0 ; y0 ) , si para un nm ero real ,
positivo y arbitrariamente pequeo, existe otro nmero real , radioentorno del
punto ( x0 ; y0 ) , dependiente de , y tambin positivo y arbitrario, de modo que en
un entorno reducido del punto ( x0 ; y0 ) , se verifique que el valor absoluto de la
diferencia entre el valor de la funcin en el punto de partida, y su lmite, sea
menor que el valor del nmero .
En smbolos (figura 36) :

Lm

[ f ( x; y)] L si 0 ( ) 0 : [0 ( x x0 )2 ( y y0 )2 ] f(x; y) - L

( x; y ) ( x0 ; y 0 )

O sea, que una funcin tendr un l mite numrico ( L) en un punto P( x0 ; y0 ) ,


si es posible que los valores de la funcin, en puntos Q( x; y) , se acerquen al
valor L al tomarse puntos Q cada vez ms cer ca del punto P, interesando el
comportamiento de la funcin dentro del entorno reducido del punto de
acumulacin (P).
Como el entorno es reducido, significa que no interesa, a los fines de la
determinacin del lmite al que t iende el valor de la funcin, el valor de la misma
en el punto de acumulacin, pero s se requiere el punto de acumulacin a los
efectos de asegurar que al menos un punto del dominio, dentro del entorno
reducido, implique existencia de la f uncin (que tenga imagen). Por lo tanto, la
funcin puede, o no, estar definida en el punto de acumulacin.
Si el ent orno del punto

( x x0 )2 ( y y0 )2

P( x0 ; y0 ) , no fuera reducido, se tendra que

y ello implica que sera posible que

( x x0 )2 ( y y0 )2 0 ,

con lo que se obliga a la definicin de l mite a considerar que la f uncin est


definida en el punto de acumulacin.
Para que esto no suceda, es necesario que
Al verificarse que

f(x; y) - L

( x x0 )2 ( y y0 )2 0 .

para que exista el l mite, significa que

f(x; y) - L , como sabemos por las propiedades del valor absoluto de un


nmero; por lo tanto, resulta que ( L ) f(x; y) ( L ) , lo que significa que los
valores de la funcin, ubicables sobre la grfica espacial de la funcin, estn
UT N

Fa c u lt a d Re g i o n a l C r d o b a

36

P r o f . I ng . M i g u e l ng e l R a m a d n

comprendidos entre un plano inferior L y otro plano superior L ; figura 93.


En consecuencia, la definicin t ambin implica que cuando la funcin tiene
lmite, debe verificarse simultneamente, que

( ) x x0

( ) y y0

en el entorno reducido, y en el marco de lo dicho hasta aqu.


O, lo que es lo mismo:

x 0 x x0

y0 y y0

Por esta razn, el lmite as definido se denomina lmite simultneo,


debido a que las variables independientes de la funcin tienden (al mismo
tiempo) a su l mite (las coordenadas del punto de acumulacin) cuando la
funcin tiende al suyo.
En

el

caso

de

las

funciones

multivariables

de

dos

variables

independientes, el l mite simultneo tambin es llamado l mite doble.


Si las variables indepen dient es fueran tres, el l mite ser simultneo, o
tambin, triple.
Observemos que mientras que en las funciones monovariables el
lmite tiene slo dos trayectorias posibles, por izquierda y por derecha (al ser
lineal el entorno reducido, figura 94), en la s bivariables, como el entorno es
circular, existen infinitas trayectorias para ir desde un punto del entorno
reducido hasta el punto de acumulacin (en la figura 95 se indican algunas (5)
trayectorias posibles.
T ambin

podemos

decir

lo

mismo

consider ando

distintos

puntos del

entorno reducido desde los cuales las variables independientes tienden al punto
de acumulacin siguiendo trayectorias rectilneas; vemos 4 en la figura 96.
Como por un punto pasan infinit as rectas, tendremos como posibilidad u na
cantidad infinita de trayectorias rectilneas, cada una con una pendiente
correspondiente.

UT N

Fa c u lt a d Re g i o n a l C r d o b a

37

P r o f . I ng . M i g u e l ng e l R a m a d n

En el caso de lmites monovariables, si los valores de l mite por izquierda


y por derecha son iguales, para cada uno de los puntos pertenecientes al
entorno reducido del punto de acumulacin, figura 94, decimos que el l mite de
la funcin es el obtenido para estas dos trayectorias.
Pero si los valores de l mites de ambas trayectorias son distintos, vimos
que se convena en decir que la funcin no tiene l mite.
Y esto es categrico en ambas situaciones.

Pero en el caso de las multivariables, al existir la posibilidad de infinitas


trayectorias, es fcil deducir que:
1) categricamente no existe el l mite de la funcin cuando, al menos, una
trayectoria presenta un valor distinto a las de las dems;
2) en el caso de que un convenido nmero de trayectorias presenten el mismo
valor de l mite, es probable que exista alguna otra trayectoria, de las restantes
infinitas no valoradas, que determine un valor distint o de l mit e, por lo que, en
este caso, diremos que el valor de l mite obtenido en el nmero convenido de
trayectorias analizadas es probable que sea el l mite de la funcin; y probable
significa que no aseguramos categricamente que ese sea el lmite (como s
ocurre en las monovariables);
3) para certificar que el l mite obtenido en el nmero convenido de trayectorias
es verdaderamente el l mite de la funcin, ser necesario verificarlo mediant e la
aplicacin de la definicin de l mite.
Clculo del lmite
Dado que la definicin de l mit e slo sirve para verificar que cierto valor
real es el lmite de una funcin, y por lo tanto no es viable el uso de la definicin
para calcular el valor del lmite, se utilizan procedimientos prcticos que
permiten determinar la existencia probable, o negarla, del l mite de la funcin
multivariable.
UT N

Fa c u lt a d Re g i o n a l C r d o b a

38

P r o f . I ng . M i g u e l ng e l R a m a d n

Estos procedimientos se denominan: l mit e simultneo, lmites reiterados


(o sucesivos), y lmites radiales (o por haz de rectas, o por haz de tangentes).
Lmite simultneo: consiste en considerar que las variables independientes
tienden, simultneamente, a los valores del punto de acumulacin, o sea, a sus
lmites.
Una vez alcanzados estos l mites de las variables, se evala la funcin
para tales valores.
Esto se interpreta, geomtr icamente, como una tendencia simultnea de
las variables independientes hacia el punto de acumulacin, a travs de una
trayectoria tipo rampa (fig. 97).
Como vimos en Anam 1, esto exige que la funcin sea continua en el punto
de acumulacin, si bien la de finicin de l mite no requiere que la funcin est
definida en dicho punt o, pero s en algn punto del entorno reducido del mismo.
Si la funcin no est definida en el punto de acumulacin (la funcin es
discontinua, el valor de la funcin es indeterminad o, y lo propio se dice del
lmite (que, en realidad, no es determinable).
En smbolos:

L Lm ( z ) Lm ( f ( x; y)) f ( x; y ) P f ( xo ; yo ) z ( P)
x xo
y yo

x xo
y yo

si z es continua en P.

L Lm ( z ) Lm ( f ( x; y )) Indet ermin
ado

O bien

x xo
y yo

x xo
y yo

si z no es continua en P.

Si la funcin z f ( x; y) es una expresin funcional fraccionaria, y no es


continua en el punto bajo anlisis, se procede a factorear numerador y
denominador (mediante Ruffini, por ejemplo) y simplificar los factores comunes.

Si la expresin obt enida es continua para el punto, se la vala y se obtiene


el lmite. Si no lo es, el l mite es indeterminable.
Si no fuera del todo suficiente, o la consigna de trabajo lo requiere, se
aplicarn los restantes caminos de determinacin de lmites (sucesivos, radial).
UT N

Fa c u lt a d Re g i o n a l C r d o b a

39

P r o f . I ng . M i g u e l ng e l R a m a d n

Lmite reiterado: consiste en calcular l mites en f orma secuencial, primero para


una variable y despus para la otra. Esto implica que hay dos posibilidades,
empezar primero por una variable y luego por la otra, o bien, comenzar por sta
y luego por la restante. En smbolos:

L1 Lm ( z ) Lm ( f ( x; y)) Lm [ Lm ( f ( x; y)] Lm [ f ( xo ; y)] Lm [ F ( y)] R


x xo
y yo

x xo
y yo

y yo x xo

y yo

y yo

donde R es un valor determinado, real, finito, medible.


Para que esto sea posible:
1) la funcin debe ser continua en x xo ; si no lo fuera se aplica LHopital hasta
lograrlo;
2) f ( xo ; y) F ( y) debe ser continua en y yo .
La

figura

98

da

la

interpretacin

geomtrica

de

la

trayectoria

seguida en el clculo de este l mite.


Si en cambio, se sigue la trayectoria sugerida por la figura 99, se calcula
as:

L2 Lm ( z ) Lm ( f ( x; y)) Lm [ Lm ( f ( x; y)] Lm [ f ( x; yo )] Lm [G( x)] R


x xo
y yo

x xo
y yo

x xo y yo

x xo

x xo

Si ambos clculos coinciden en el valor R , se dir que es probable que el


lmite sea R.
Si no coinciden, categricamente se dice que la funcin no tiene l mite
para el punto considerado (en realidad tiene un l mite para ca da trayectoria,
pero no son iguales).
Es probable que estos pasos sean suficient es para la determinacin del
lmite de la funcin.
Si no fuera del todo suficiente, o la consigna de trabajo lo requiere, se
aplicarn los restantes caminos de determinacin de lmites (simultneo, radial).
Lmite radial: consiste en tomar como trayectorias posibles, las pertenecientes
al haz de rectas que pasa por el punto de acumulacin (figura 96), cuyo
algoritmo es:

y yo m ( x xo ) , donde

es la pendiente de cada recta

considerada; x0 e y0 son las coordenadas del punto de acumulacin, y x e y


son las coordenadas del punto (genrico) perteneciente al entorno reducido de
P( x0 ; y0 ) .

Se sustituye el haz de rectas en la expresin de la funcin, obtenindose


una nueva expresin en funcin de la variable x y del parmetro m .
Se analiza si la expresin as obtenida es continua en x0 y, en caso de
UT N

Fa c u lt a d Re g i o n a l C r d o b a

40

P r o f . I ng . M i g u e l ng e l R a m a d n

serlo, se la evala y se obtiene el lmite buscado, el que ser un nmero real

R h(m) .
Si no es continua, se obtendr una expresin alfanumrica con m como
variable, es decir z h(m) , lo que se interpreta que se obtendr un valor real
para cada pendiente m que se considere; esto es, habr tantos valores de lmite
como valores de pendiente; evidentemente, bastar co n ver que dos valores son
distintos para decir, categricamente, que el lmite no existe.
Antes de cerrar el anlisis, se procurar ver si es posible

levantar

esta indeterminacin mediante la aplicacin reiterada de LHopital.


Si no fuera del todo suficiente, o la consigna de trabajo lo requiere, se
aplicarn

los

restantes

caminos

de

determinacin

de

l mites

(sucesivos,

simultneo).

Verificacin del l mite


En el caso de que el valor de l mite obtenido por aplicacin de algunos de
los procedimientos mencionados lo requiera, se puede aplicar la definicin de
lmite, al lmite hallado, para verificar su validez; en est e caso, diremos
categricamente que se es el lmite de la funcin (dej de ser probable).
Como se ver en los prcticos, no es fcil la aplicacin de la definicin de
lmite para la verificacin; requiere experiencia en la tarea y una base
algebraica interesante; por ello, se analizan en los prcticos algunos casos
didcticos.
En general, si bien la determinacin del l mite no e s categrica mediante
los procedimientos indicados, es suficientemente satisfactorio, y suficiente en la
mayora de los casos, sin necesidad de llegar a la verificacin.
Ejemplo 1:

ver el ejercicio 64 del Ejemplario siguiente.

Ejemplo 2:

ver el ejercicio 63 del Ejemplario siguiente.

Conclusiones complementarias:
si al aplicar todos los procedimientos prcticos descriptos, el valor de
lmite obtenido es el mismo, se dice que es probable que el lmite hallado es el
lmite de la funcin: L L1 L2 LR ; entonces, es probable que el l mite de la
funcin sea L .
Si alguno de los l mites es dist into: L L1 LR L2 entonces la funcin no
tiene l mite.
Puede

determinarse

el

lmite por otras trayectorias (cuadrtica s,

cbicas, exponenciales, etc.), pero basta que una sola d un valor distinto para
UT N

Fa c u lt a d Re g i o n a l C r d o b a

41

P r o f . I ng . M i g u e l ng e l R a m a d n

decir que no exista el l mite.


Si la funcin tiene l mite en un punto, ese l mite es nico, y cualquiera
fuera la trayectoria utilizada debe obtenerse el mismo valor de l mit e. Por
ejemplo, puede obtenerse un valor de l mite doble, pero los reiterados son
distintos; la funcin no tiene l mite. O los l mit es reiterados son iguales, pero el
radial es distinto; no existe el l mite.
Qu procedimient o utilizar primero? Ello depende de la consigna del
problema; cada procedimiento implica una trayectoria, por lo que se suele tomar
dos o tres caminos para verificar si los valores coinciden o no; luego, si es
necesario, verificar mediante la definicin.

Propiedades de los lmites


Son las mismas vistas en funciones monovariables, por lo que se solicita,
como consigna, el repasarlas comprensivament e.
*

Continuidad
T al como vimos en Anam 1 una funcin es continua en un punto si la
funcin est definida en dicho punto y el valor de la funcin es tambin el valor
que toma el l mite de la funcin al tender hacia el punto; por lo tanto, en las
funciones multivariables, homologamos tal concepto:

si z f ( x; y) y P(a; b) es

un punto de acumulacin del dominio, la funcin es continua si

( z ) P f (a; b) L Lm( f ( x; y )) .
x a
y b

De modo que, al igual que en las monovariables, una funcin es continua


en un punto
1.-

P(a; b) si se verifica que:

el l mite de la funcin tiene un valor finito, medible, pa ra cuando sus

variables tienden al punto:

Lm( f ( x; y )) L .
x a
y b

Esto refiere a que se sabe, o se sospecha, o se verifica por definicin, el


valor del lmit e. O tambin, si se obtiene por los procedimientos convenidos
(sucesivos, radial, etc.), como va lor probable.
2.- el valor de la funcin en el punto es un nmero real:

( z) P f (a; b) R

o sea que la funcin existe, o est definida en el punto .


3.- si las dos premisas anteriores son satisfechas, entonces:

R ( z) P L

lo que indica claramente que al amparo de tales premisas, el valor de la funcin


en el punto, y su l mite, coinciden estrictamente.
UT N

Fa c u lt a d Re g i o n a l C r d o b a

42

P r o f . I ng . M i g u e l ng e l R a m a d n

Consideraciones:
a.-

Si el punto P no es punto de acumulacin del dominio, la funcin es

continua en P si est definida e n el punto.


b.-

Si no se cumple la tercer premisa ant erior, la funcin es discontinua en el

punto.
c.- T odo polinomio en x y en y, de cualquier grado, es continuo.
d.- T oda funcin racional en x y en y es continua, siempre que no se anule el
denominador para algn, o algunos, punto/s.
e.- Una funcin es continua en un dominio si lo es para todos y para cada uno
de sus puntos.
f.- Cuando una funcin es continua en un punto, el lmite de la funcin, para
cuando sus variables tienden al punto, es directame nte el valor de la funcin en
el punto; o sea que el lmite de la funcin se obtiene por sustit ucin directa del
valor de la funcin.
En el ejercicio 63 del Ejemplario vemos que la funcin no est definida
para cualquier punto ( x; y) con x 1 .
Pero para cualquier otro valor de x, la funcin puede expresarse mediante

( x 1).( x y )
x y , por lo que ahora la funcin es continua en cualquier punto
x 1

L ( z) P z(1; y) ( x y) P .

( x; y) , por lo que el lmite de la funcin es

Si, por ejemplo, la funcin z f ( x; y) est dada por z 3 xy para todo punt o

( x; y) (1;2) , y est definida como z f ( x; y) f (1;2) 0 para el punto (1;2) , entonces


el valor de l l mite, obtenido por cualquiera de los procedimientos prcticos
establecidos, es:

L Lm( f ( x; y)) Lm(3 xy ) Lm[ Lm(3 xy )] Lm[6 x] 6 ,


x 1
y 2

x 1
y 2

x 1 y 2

x 1

mientras

que el valor de la funcin en el punto es z (1;2) 0 , por lo que: L 6 z(1;2) 0

lo

que indica que la funcin no es continua en el punto de coordenadas (1;2) .


Si queremos que la f uncin sea continua en dicho punto, la debemos

z 3 xy (x; y) (1;2)
.

z 6 para (x; y) (1;2)

redefinir as:
g.-

En los puntos donde la funcin es discontinua, su grfica se encuentra

perforad a para cada uno de tales puntos.


En el punt o de discontinuidad (0;0) de la funcin z Log ( x 2 y 2 ) , como lo
muestra

la

figura

100,

la

superficie

est

perforada

(en

el

origen

coordenadas).
UT N

Fa c u lt a d Re g i o n a l C r d o b a

43

P r o f . I ng . M i g u e l ng e l R a m a d n

de

La superficie hace un embudo en las proximidades del punto , como


vemos en la figura 100 y en el grfico del dominio de la funcin (figura 101),
viendo tambin cules son los puntos de continuidad y de discontinuidad de la
funcin.

h.- En ocasiones, es ms simple definir la disc ontinuidad que la continuidad, en


cuyo caso tambin es til recurrir al grfico del dominio para visualizar ambos
tipos de puntos.
*
UNIVERSIDAD
TECNOLGICA
NACIONAL

FACULTAD
REGIONAL
CRDOBA

Ejemplario

ANLISIS MATEMTICO II

58.- Hallar el lmite de la funcin z

Ln( xy )
x2 y

para

Prof. Ing.
Miguel Angel Ramadn

(x; y)(1;1), por radial y un

sucesivo.
Planteo, Desarrollo, Respuesta
y -y 0 =m.(x-x 0 )

1) Si tomamos lmite por haz de rectas:


LR Lm

x 1
y 1

Ln( xy )
x y
2

Lm
x 1

Lnxmx 1 1
x mx 1 1
2

Ln1m1 1 1
1 m1 1 1
2

y=m.(x-1) + 1 es:

Ln1 0
Indeterminado
1 1 0

lo que era previsible dado que la funcin no es continua en el punto, dado que el
denominador no lo permite.
Busquemos una posibilidad de continuidad mediante LHopital:

2mx m 1
Lnxmx 1 1 Ln(mx mx x)
[ Ln(mx mx x)]' mx2 mx 1
2

2
2x m
x mx 1 1
x mx m 1
[ x 2 mx m 1]'
2

entonces, el lmite es:

2mx m 1
2m m 1 m 1
2
m1
Lm mx mx 1 m m 1 1
f(m) indetermin ado.
x 1
2x m
2m
2m 2m
Volvemos a aplicar LHopital a la nueva funcin:
UT N

Fa c u lt a d Re g i o n a l C r d o b a

44

P r o f . I ng . M i g u e l ng e l R a m a d n

2mx m 1
2mx m 1
mx2 mx 1
2
2x m
mx mx 1 .2 x m

(2mx m 1)'

(2mx m x 2mx2 m 2 x 2 x 2 mx)'


3

2 2

2m
6 mx 2m x 4 mx m2 4 x m
2

2m
2m

f (m) indetermin ado


2
x 1 6 mx 2m x 4 mx m 4 x m
m m2 4

Lm

Nuevamente aplicamos LHopital a la ltima funcin obtenida:

(2m)'
0

0
2
(6 mx 2m x 4 mx m 4 x m)' 12mx 2m2 4 m 4
2

(2m)'
Lm(0) 0 LR
x 1 (6 mx 2m x 4 mx m2 4 x m)'
x 1

Lm

Dado el valor que obtenemos del lmite radial, decimos que es probable
que el l mite de la funcin original sea 0.
2) Si tomamos lmites reiterados, o sucesivos:

Ln( xy )
Ln( y ) Ln(1) 0
Ln( xy )

LmLm 2
Indeterminado

Lm
2
x 1 x y
y 1 x 1 x y y 1 1 y
11 0

L1 Lm

y 1

como es evidente observando el comportamiento del denominador frente al


punto.
Entonces aplicamos LHopital:

1
y
Ln( y )
[ Ln( y )]'

L1 Lm
Lm
Lm Lm
y 1 1 y y 1 [1 y ]'
1 y 1
y 1

1
1
y

por lo que es probable que el l mite sea -1.


Veamos el otro reiterado, que ser indeterminado tambin ya que la
funcin no es continua para el punto dado:

Ln( xy )
Ln( x) Ln(1) 0
L2 LmLm 2
Indeterminacin
Lm
2

x 1
y 1
x

1
x 1 1 1 0
x y

Entonces, por LHopital:

1
( Ln( x))'
Ln( x)
x Lm 1 1
L2 Lm 2
Lm 2
Lm
x 1 x 1 x 1 ( x 1)' x 1 2 x
x 1 2 x 2
2
por esta trayectoria, es probable que el lmit e sea

UT N

Fa c u lt a d Re g i o n a l C r d o b a

45

1
.
2
P r o f . I ng . M i g u e l ng e l R a m a d n

Por lo tanto, como ambos l mit es reiterados son distintos, concluimos


que la funcin no tiene lmite en el punto.
Y si incorporamos el valor del l mite radial, la funcin no tiene l mite en
el punt o (1;1) puesto que L R , L 1 y L 2 , son distintos entre s.
*
59.-

z = x. y/(x 2 +y 2 ) + y.Sen(1/x), hallar:

Si:

en el origen;

a) L 1 en el origen;

b) L 2

c) L R en el origen.
Planteo, d esarrollo y resultado:
L1

Lm

( x; y )(0;0 )

( z)

xy
1

Sen
(
)
2
( x; y )(0;0 ) x y 2
x
Lm

xy
1
0
Lm Lm[ 2

Sen
(
)] Lm[ 2 indet] Lm[0 indet] indetermin ado
2
y 0 x 0 x y
y 0
x y 0 y

o sea, la funcin no tiene l mite en el punto; veamos el otro reiterado:


L2

Lm

( x; y ) (0;0 )

( z)

xy

1
xy
1

Sen
(
)

Lm
Lm

Sen
(
)
2

( x; y ) (0;0 ) x y 2
x x 0 y 0 x 2 y 2
x
Lm

Lm 2 0 Lm0 0
x 0 x
y 0
por lo que, en este caso (nueva trayectoria) es probable que el lmite de la
funcin sea el nmero real 0.
3) Veamos ahora el lmite radial:
el haz de rectas que pasa por el origen es:
y - y0 m ( x x0 ) y 0 m ( x 0)

entonces: L R

Lm

( x; y )(0;0 )

( z)

y mx

xy
1
1
xmx

Sen
(
)

Lm

mx

Sen
(
)
2

( x; y )(0;0 ) x y 2
x x0 x 2 m 2 x 2
x
Lm

1
m
m
m
Lm

mx

Sen
(
)

f (m) indetermin ado


x 0 1 m2
x 1 m2
1 m2
o sea que, segn el lmite radial, la funcin no ti ene l mite para el punt o dado.
En conclusin, si bien una trayectoria da un valor de lmite para la funcin
en el origen, las otras determinaciones del l mite de la funcin en el origen
permiten determinar categricamente que la funcin no presenta lmite en (0;0).
*
60.-



Hallar el l mite, mediante reiterados: z Sen Sen para x; y 0;0
x
y
Planteo, desarrollo, respuesta

UT N

Fa c u lt a d Re g i o n a l C r d o b a

46

P r o f . I ng . M i g u e l ng e l R a m a d n

L1



z Lm Lm Sen Sen Lm Lm Sen Lm Sen
( x; y ) (0;0 )
y 0 x 0
x
x x 0
y y 0 x 0
y

Lm



Lm Indeterminado Sen LmIndeterminado Lm Sen Indeterminado
y 0
y 0
y y 0
y
por lo que la funcin no tiene lmite para el punto dado.
L2



z Lm Lm Sen Sen Lm Lm Sen Lm Sen
( x; y ) (0;0 )
x 0 y 0
x
x y 0
y x 0 y 0
y

Lm

Lm Sen Indeterminado LmIndeterminado Indeterminado


x 0
x
x 0
por lo que para esta trayectoria la funcin tampoco tiene l mite para el punto
considerado.
En conclusin, por los l mites reiterados, concluimos que la funcin no
tiene l mite en el punto dado. (Nota: en ambos l mites sucesivos puede
observarse la aplicacin de las propiedades vistas en Anlisis I: el lmit e de un
producto de un infinitsimo por una funcin acotada es un infinitsimo; y el
lmite de un producto de una funcin por una constante es indet erminado).
*

61.- Hallar el l mite, mediante reiterados:

1
1
z x y Sen Sen para x; y 0;0
y
x
Planteo, desarrollo, respuesta

L1

1
Lm z LmLm x y Sen Sen
( x ; y ) ( 0 ; 0 )
y 0
x 0
x

1
1

1
1
LmLm x Sen x Sen y Sen y Sen
y 0 x 0
x
x
y
y

1
1

1
1
LmLm x Sen Lm x Sen Lm y Sen Lm y Sen
y 0 x 0
x x 0
x x 0

y x 0
y

1
Lmindetermin ado y Sen Lmindetermin ado indetermin ado
y 0
y y 0
por lo que la funcin no tiene lmite para el punto considerado.

L2

1
Lm z LmLm x y Sen Sen
( x ; y ) ( 0 ; 0 )
x 0
y 0
x

1
1

1
1
LmLm x Sen Lm x Sen Lm y Sen Lm y Sen
x 0 y 0
y

0
y

0
y

0
x
x

y
y

UT N

Fa c u lt a d Re g i o n a l C r d o b a

47

P r o f . I ng . M i g u e l ng e l R a m a d n

1
Lm x Sen indetermin ado 0 0 Lmindetermin ado indetermin ado
x 0
x
x 0
por este camino la funcin tampoco tiene lmit e para el punto dado.
*
62.- a) Si

x 2 x xy y
1 x

hallar el lmite doble para (x; y) (0;1) ; b) hallar el

lmite radial de la funcin para (x; y) (0;0) ; c) hallar el l mite sucesivo de la


funcin para (x; y) (1;0) .
Planteo, desarrollo, respuesta
a)

Lmite doble: antes de pasar a la toma de lmites hay que asegurarse

de tener la mnima expre sin de la funcin. De modo que analizando y operando


convenientemente:

x 2 x xy y
x( x 1) y( x 1)
x( x 1) y( x 1)
z

x y
1 x
1 x
( x 1)

L Lm z Lm[ x y ] 1
x 0
y 1

x 0
y 1

Es probable que el l mite de la funcin sea

L 1

b) Lmite radial:

y m( x x0 ) y0 m( x 0) 0 mx LR Lm z Lm[ x mx] Lm[ x(1 m)] 0(1 m) 0


x 0
y 0

x 0

Es probable que el l mi te de la funcin sea

c) Lmite sucesivo:

x 0

LR 0

L2 Lm[Lm[ x y]] Lm[ x] 1


x 1 y 0

x 1

Es probable que el l mite de la funcin sea

L2 1

L1 Lm[Lm[ x y]] Lm[1 y] 1


y 0 x 1

y 0

Es probable que el l mite de la funcin sea

L1 1

Conclusin: es probable que el lmite de la funcin, en el punto dado, sea:

L1 1 L2
*

63.- Hallar, fundamentando, el l mite de

x 2 x xy y
1 x

para (x; y) (1;1) .

Planteo, desarrollo, respuesta

Comprobamos si la funcin es continua en el punto de acumulacin:


UT N

Fa c u lt a d Re g i o n a l C r d o b a

48

P r o f . I ng . M i g u e l ng e l R a m a d n

x 2 x xy y x 2 x xy y

1 x
x 1

que

en

(1;1) :

12 1 1.1 1 0

11
0

indeterminado, lo cual era evidente con slo observar el denominador.


Para levantar la indeterminacin:
a.- observamos, que en este caso, el denominador es un divisor tipo Ruffini, por
lo que preparamos y resolvemos un Ruffini:

x 2 x xy y x 2 ( y 1).x y
1
1

por lo que los coeficientes se disponen as:

1
y

y
y
0

x y

obtenindose como cociente:


entonces:

y 1

x 2 x xy y ( x 1).( x y)

x y
x 1
x 1

Esto nos dice que la funcin no est definida y no es continua en el punto


de acumulacin, y por lo tanto no se podr asignar ningn valor a su lmite en
tal punto:

f(x; y) P

( x 1).( x y) 0

x 1
0

Lm [f(x; y)] f(x; y) P .

( x ; y ) (1;1)

D f {( x; y)R 2 / z

Definamos el dominio de la funcin:

( x 1).( x y)
x 1}
x 1

cuya graficacin convencionada es la figura 102, la


que nos permite ver que exist en infinitos puntos,
todos de coordenada x 1 , para cualquier y , en los
que la funcin no es continua, y entre ellos el

P(1;1) .
T omemos ahora un entorno del punto P: en l
podemos ver que en cualquier punto

Q( 1;1) la

funcin es continua, por lo que:

x 2 x xy y ( x 1).( x y)

x y
x 1
x 1

en cualquier otro punto, y por lo tanto z x y ;

y como sta es continua en

P(1;1) :
x 2 x xy y
( x 1).( x y )
Lm( z ) Lm
Lm
Lm ( x y ) Lm( z ) P Lm(2) 2
x 1
( x; y ) (1;1)
x 1
x 1
( x; y ) (1;1) x 1
( x; y ) (1;1) ( x; y ) (1;1)
y 1

y 1

b.- tambin se llega a lo mismo operando con extraccin de f actores comunes


en el numerador, como se ve en el ejercicio 62.
UT N

Fa c u lt a d Re g i o n a l C r d o b a

49

P r o f . I ng . M i g u e l ng e l R a m a d n

c.- tambin se puede aprovechar el T eorema de LHopital, ya que se trata de


una expresin que, al ser evaluada para el punto P(1;1) , presenta un numerador
y un denominador nulos, para la coordenada x 1 del punt o de acumulacin; por
lo tanto, tomando a y como const ante (como se hizo para el Ruffini), se tiene:

x 2 x xy y ( x 2 x xy y)' 2 x 1 y 0 2 x y 1

2x y 1
x 1
( x 1)'
10
1

( z) P (2 x y 1) P 2.1 1 1 2

y entonces:

con lo que:

x 2 x xy y
Lm( z ) Lm
Lm(2 x y 1) Lm ( z ( P)) Lm(2) 2
x 1
( x; y ) (1;1)
x 1
( x; y ) (1;1) x 1
( x; y ) (1;1)
y 1

y 1

En consecuencia, es probable que el lmite sea 2, cu alquiera sea el


camino adoptado para levantar la indet erminacin.
Por lmites reiterados:

L1 Lm( z ) Lm
x 1
y 1

( x ; y ) (1;1)

x 2 x xy y
x 2 x xy y
x 2 x xk k
Lm[ Lm
] Lm [ Lm
]
y 1 x 1
y 1 x 1
x 1
x 1
x 1
dondey k pues slo x es variable

Lm[ Lm(
y 1

x 1

x 2 x xk k
11 k k
0
) P ] Lm[ Lm(
) P ] Lm[ Lm( )]
y 1 x 1
y 1 x 1 0
x 1
11

pero ese lmite no se puede determinar debido a que la funcin no es continua


en

el

punt o

P;

( z) P (2 x y 1) P 2

entonces,

aplicando

LHop ital

la

funcin,

vimos

que:

por lo que, ahora podemos hacer: L1 Lm[ Lm(2)] Lm[2] 2 ;


y 1 x 1

y 1

en consecuencia, con ese fundamento, podemos sintetizar:

x 2 x xy y
x 2 x xy y
1 1 1. y y
L1 Lm( z ) Lm
Lm[ Lm
] Lm[ Lm
]
x

1
y

1
x

1
y

1
x

1
x 1
x 1
11
( x ; y ) (1;1)
y 1
0
( x 2 x xy y)'
2x y 1
Lm[ Lm( )] Lm[ Lm
] Lm[ Lm(
) P ] Lm[1 y] 2
y 1 x 1 0
y 1 x 1
y 1 x 1
y 1
( x 1)'
1
Pero hay que reconocer que, si bie n lo anterior es prctico, no es correcto
el sext o miembro, por lo que normalmente se debera hacer: 1) determinar la
continuidad de la funcin en el punto; 2) encontrada la expresin de la funcin
continua en el punto, determinar el lmite de la misma:

Lm( z )

( x; y ) ( xo ; y0 )

z( xo ; yo )

Aplicando esto ltimo para la determinacin del otro l mite reiterado,


hacemos:

1) como ya sabemos, la funcin no es continua en el punto P; por

ello, supongamos que elegimos aplicar LHopital para encontrar la expresin


continua, que es, ya evaluada en P:
UT N

Fa c u lt a d Re g i o n a l C r d o b a

50

P r o f . I ng . M i g u e l ng e l R a m a d n

( x 2 x xy y )'
(2 x y 1) P 2
( z)P

(
x

1
)'

P
ya que

x 1

es la nica variable que hace discontinua a la funcin ;

2) planteamos y determinamos el lmite:

L2 Lm( z ) Lm[ Lm(2)] Lm[2] 2


x 1 y 1

( x; y ) (1;1)

x 1

Por lmite radial:


En este caso, la traye ctoria de clculo del l mite viene dada por la recta

y 1 m.( x 1)

y m.( x 1) 1 .

o sea

Sustituyendo en la expresin de la funcin:

x 2 x x.(m.( x 1) 1) (m.( x 1) 1) x 2 x (m.( x 1) 1).( x 1)

x 1
x 1

[ x (m.( x 1) 1)].( x 1)
x (m.( x 1) 1)
x 1

El lmite ser, entonces:

LR Lm( z ) Lm
( x ; y ) (1;1)

x 1
y 1

x 2 x xy y
Lm[ x (m.( x 1) 1)] 2
x 1
x 1

Otra opcin analtica consiste en observar que, una vez sustituida la


variable y por el haz de rect as que pasa por el punto de acumulacin, la
expresin resultante se indetermina para x=1, lo que significa que all la funcin
no es continua, por lo que se in tenta levantar la indet erminacin mediante
LHopital:

( x 2 x x.(m.( x 1) 1) (m.( x 1) 1))' 2( x(m 1) m)


z

2( x(m 1) m)
( x 1)'
1
esta expresin obtenida, para m considerada como un parmetro (ya que es una
constante para cada recta que se elija), es continua para todo valor de x.
( z ) x 1 [2( x(m 1) m)]x 1 2

En consecuencia, valornd ola, es:

LR Lm( z ) Lm[2( x(m 1) m)] Lm[2] 2

por lo que el l mite es:

( x; y ) (1;1)

x 1

x 1

64.- Verificar que el l mite de z x. y es 6 para ( x; y) (2;3) .


Planteo, desarrollo y respuesta
Para verificar un l mite debemos aplicar la definicin de l mite que, para
este ejemplo, se expresa as:
Lm( z x. y ) 6 si o ( ) 0 : [0 (x - 2)2 ( y 3)2 ] x.y - 6
x 2
y 3

UT N

Fa c u lt a d Re g i o n a l C r d o b a

51

P r o f . I ng . M i g u e l ng e l R a m a d n

El punto de partida es tomar la condicin de l mite:

x.y - 6

Esta expresin nos conduce en la verificacin, paso a p aso. Por ella, se


deduce que primero hay que encontrar una expresin de x; luego encontrar una
expresin de y; a continuacin encontrar el producto x.y; a este producto
restarle 6; hallar luego el mdulo de la diferencia encontrada; durante la marcha
de este proceso fijar arbitrariamente los valores de y de ; si satisface la
definicin, se verifica que 6 es el lmite.
Encontremos x:
el entorno reducido de x establece que

x-2

que, finalmente, el intervalo de valores de x es:

de donde

x - 2 por lo

2 x 2

Encontremos y:
el entorno reducido de y establece que

y-3

que, finalmente, el intervalo de valores de y es:

de donde

y - 3 por lo

3 y 3

El product o x.y:
surge de multiplicar miembro a miembro las inecuaciones y :

(2 ).(3 ) x.y ( 2).( 3)


y operando en busca de la mnima expresin:

6 2 3 2 x.y 2 3 2 6

2 5 6 x.y 2 5 6

o sea
Restamos 6 al producto:

2 5 6 6 x.y - 6 2 5 6 6

2 5 x.y - 6 2 5

luego

Buscamos el valor absoluto de la diferencia:


ello exige que los extremos de la inecuacin sean nmeros opuestos, pero no lo
son, por lo que no tenemos un valor absoluto.
Observando los extremos se ve que se puede factorear:

( 5) x.y - 6 ( 5)
y ello permite, por la referencia que significa el extremo superior, que el
parntesis en ambos extremos no son nmeros opuestos, ya que el factor es
un factor comn.
Por lo tanto hay que adoptar un valor para el parntesis superior y tomar
el opuesto como valor integrant e del extremo inferior.
Para adoptar tal valor es necesario fijar arbitrariamente un valor pequeo y
positivo de ; tomemos 1 , que no sabemos qu tan pequeo es, pero es un
valor cmodo; esto lleva al parntesis superior al valor 5 1 5 6 .
UT N

Fa c u lt a d Re g i o n a l C r d o b a

52

P r o f . I ng . M i g u e l ng e l R a m a d n

Y ello nos permite tomar -6 para el valor del parntesis del extremo
inferior.

6. x.y - 6 6.

En consecuencia, la inecuacin queda:

que s constituye el desarrollo de un valor absoluto, entonces:

x.y - 6 6.

Determinacin del valor :


Comparando con , si los primeros miembros son iguales, los segundos

6.

tambin lo son, luego:

de donde

f ( ) .

Elijamos ahora un valor de positivo y tan pequeo como queramos, por


ejemplo 0,3 .
Entonces, esto lleva a un valor de

0,3
0,05 ; con este valor de
6

podemos pasar a la verificacin del l mite.


Verificacin del l mite:
Para el valor de obtenido, el valor de x debe satisfacer, por :

2 0,05 1,95 x 0,05 2 2,05


y del mismo modo, por , el int ervalo de valores de y resulta ser:

3 0,05 2,95 y 0,05 3 3,05


T omando

los

extremos

superiores

x 2,04 2,05

podemos adoptar:

de

las

respectivas

inecuaciones,

y 3,04 3,05

x.y - 6 2,04.3,04 6 6 ,2016 6 0,2016 0,2016 0,3

con lo que

lo que significa que el valor absoluto de la diferencia entre la funcin (definida,


continua, valorada, en un punt o de su entorno reducido cercano al punto de
acumulacin) y su l mite probable, es menor que el valor arbitrariamente elegido
de , lo que verifica, por definicin, que 6 es el lmite de la funcin en un
entorno reducido del punto de acumulacin (2;3).
Nota: cada caso de verificacin de l mite d epende de la estructura algebraica de
la

funcin,

por

ello,

las

propiedades

algebraicas

necesarias

para

la

verificacin son en algunos casos, similares a las aqu desarrolladas, y en otros,


distintas.
Esto

hace

que

la

verificacin

tambin

dependa

de

la

experienci a

algebraica del operador.


*

65.- Verificar que el l mite de z 3 x 2 y es 1 para ( x; y) (1;2) .


UT N

Fa c u lt a d Re g i o n a l C r d o b a

53

P r o f . I ng . M i g u e l ng e l R a m a d n

Planteo, desarrollo y respuesta


Para verificar un l mite debemos aplicar la definicin de l mite que, para
este ejemplo, se expresa as:
Lm( z 3x 2 y ) 1 si o ( ) 0 : [0 (x - 1)2 ( y 2)2 ] (3x 2 - y) - 1
x 1
y 2

El

primer

miembro

siguiente modo,

fin

de

de

la inecuacin verificadora puede arreglarse del

que

aparezcan

los

respectivos

lmites

de

las

variables independientes:

3x 2 - y - 1 3x 2 - 3 3 - y - 2 2 -1 (3x 2 - 3) 3 - (y - 2) 2 - 1
3(x 2 - 1) (y - 2) 3(x - 1).(x 1) (y - 2)

que, por propiedad de los valores absolutos de los nmeros reales (desigualdad
triangular), debe satisfacer que:

3(x - 1).(x 1) (y - 2) 3.(x - 1).(x 1) y - 2 3 x - 1. x 1 y - 2


(3x 2 - y) - 1 3 x - 1. x 1 y - 2

o sea que, entre y :

En el entorno reducido del punt o (1;2), tenemos la distancia

y-2

y tambin la distancia

x 1 ,

partimos

de

x -1 x 1 x 1 x 1

x -1

; para encontrar la condicin a cumplir por


que,

x -1

por

desigualdad

triangular:

Esto permite establecer que en el primer trmino del 2 miembro de :

x - 1. x 1 [ x - 1. ] [ x 1. ] x - 1. x 1 2
que con

y-2

nos permite hacer:

(3x 2 - y) - 1 3 x - 1. x 1 y - 2 3 2 (3 1)
donde, eligiendo provisoria y arbitrariamente 1 se tiene:

(3x 2 - y) - 1 3 x - 1. x 1 y - 2 4

Comparando y , si los primeros miembros son iguales, los ltimos


tambin lo son, por lo que:

lo que habilita a elegir, con mayor

precisin:

, y, finalmente, con en :

(3x 2 - y) - 1 4 4

o sea, se cumple la definicin , con lo que se verifica que:

UT N

Fa c u lt a d Re g i o n a l C r d o b a

54

Lm

( x; y ) (1;2)

(3 x 2 y ) 1

P r o f . I ng . M i g u e l ng e l R a m a d n

66.- Hallar y verificar que el l mite de la funcin z f ( x; y) x y en E ' ( P(3 : 2); )


es L 5 . (Adaptado del texto: Introduccin al Anlisis Matemtico (Clculo 2), de
H.T.Rabuffetti, pg. 68, edicin 1994).
Planteo, desarrollo y respuesta
Bsqueda:
Para hallar el l mite analizamos si la funcin existe ( es continua, est

( z ) P ( x y) P 3 2 5 .

definida) en el punto (3;2):

Como la funcin est definida en el punto, determinamos el l mite


simultneo:

Lm

( x; y ) (3;2)

( x y)

Lm

( x; y ) (3;2)

por lo que es probable que el l mite sea

( z) P

Lm

( x; y ) (3;2)

(5) 5

L 5.

T ambin pode mos determinar el valor del lmite, por ejemplo, mediante el
procedimiento del lmite radial:

y 2 m.( x 3)

el haz de rectas que pasa por el punto de acumulacin es

y m.( x 3) 2

de donde

con lo que la estructura de la funcin se convierte en

LR

y el l mite radial es

Lm

( x; y ) (3;2)

z x y x m.( x 3) 2

( x y) Lm( x m.( x 3) 2)
x 3

en donde el argumento es x m.x m.3 2 x.(1 m) (2 3m) (1 m) x (2 3m)


que es una lnea recta con pendiente 1 m y ordenada al or igen 2 3m
y que es continua en x 3 , por lo que:

LR

Lm

( x; y ) (3;2)

( x y) Lm[(1 m) x (2 3m)] (1 m).3 (2 3m) 3 3m 2 3m 5


x 3

y arribamos a que es probable que el l mite sea LR 5 .


Y como L LR 5 decimos que es probable que el lmite sea 5.
Verificacin:
Lm( x y ) 5 si o ( ) 0 : [0 (x - 3)2 ( y 2)2 ] (x y) - 5
x 3
y 2

Mediante propiedades algebraicas, incorporamos en los l mites de las


variables, o sea, las coordenadas del punto de acumulacin:

(x y) - 5 x 3 3 y 2 2 5 x 3 y 2 ( x 3) ( y 2)

Por propiedades de l os valores absolutos (desigualdad triangular), la se


escribe:

(x y) - 5 ( x 3) ( y 2) x 3 y 2

En el entorno reducido, la distancia ( x 3) deber ser menor o igual que la


distancia
UT N

( x 3)2 ( y 2)2 , y sta, a su vez, menor que el radio, o brazo entorno


Fa c u lt a d Re g i o n a l C r d o b a

55

P r o f . I ng . M i g u e l ng e l R a m a d n

, es decir: x 3 ( x 3)2 ( y 2)2 , o sea que: x 3

; por lo mismo:

y 2 .
( x 3) ( y 2) x 3 y 2 [ x 3 ] [ y 2 ]

Con y en :

y sumando miembro a miembro las inecuaciones del tercer miembro:

(x y) - 5 ( x 3) ( y 2) x 3 y 2 [ x 3 y 2 2

Comparando con :

(x y) - 5 2 2

en :

por lo que si se elige

(x y) - 5

o sea:

se tendr

que es , es decir, que

se verifica la definicin, por lo que el valor 5 deja de ser probable para definir
categricamente el valor del l mite:
*

Lm

( x; y ) (3;2)

67.- Verificar que el l mite de la funcin

( x y) 5 .

z f ( x; y) x 2 xy

es

L 6 cuando

( x; y) (3;1) . (Adaptado del texto: Introduccin al Anlisis Matemtico (Clculo


2), de H.T.Rabuffetti, pg. 69, edicin 1994).
Planteo, desarrollo y respuesta
Lm ( x 2 xy ) 6 si o ( ) 0 : [0 (x - 3)2 ( y 1)2 ] (x 2 xy) - 6

x 3
y 1

Prepara mos algebraicamente el primer miembro de la condicin ( ) para


que aparezcan las coordenadas del punto de acumulacin:
a.- pasamos x 2 a ( x 3)2 , que implica que: ( x 3)2 x 2 6 x 9 , por lo que hay que
reemplazarlo por

x 2 : ( x 3)2 6 x 9 ;

b.- pasamos x. y a ( x 3).(y 1) , que implica que: ( x 3).( y 1) x. y x 3 y 3 , por lo


que hay que reemplazar por x. y : ( x 3).( y 1) x 3 y 3 .
Entonces, en :
operando:

x 2 xy - 6 ( x 3)2 6 x 9 ( x 3).( y 1) x 3 y 3 6

x 2 xy - 6 ( x 3)2 5x ( x 3).( y 1) 3 y 12

que,

y ahora hacemos aparecer

las coordenadas en los trminos de las variables, cambiando 5 x por 5( x 3) 15 ,


y cambiando 3 y por 3( y 1) 3 , con lo que se obtiene:

x 2 xy - 6 ( x 3)2 5( x 3) 15 ( x 3).( y 1) 3( y 1) 3 12
( x 3)2 5( x 3) ( x 3).( y 1) 3( y 1) ( x 3).( x 3) 5( x 3) ( x 3).( y 1) 3( y 1)
que, por propiedades de los valores absolutos de los nmeros reales:
UT N

Fa c u lt a d Re g i o n a l C r d o b a

56

P r o f . I ng . M i g u e l ng e l R a m a d n

x 2 xy - 6 x 3. x 3 5 x 3 x 3. y 1 3 y 1

donde cada valor absoluto del

segundo miembro representa una distancia en el entorno reducido, por lo que:

x 3

5 x 3 5

x 3

y 1

3 y 1

y entonces planteamos del siguiente modo:

x 2 xy - 6 [ x 3 ].[ x 3 ] [5 x 3 5 ] [ x 3 ].[ y 1 ] [3 y 1 3 ]
y efectuando los productos y las sumas indicadas, miembro a miembro, en el
segundo miembro:

x 2 xy - 6 [ x 3. x 3 2 ] [5 x 3 3 y 1 8 [ x 3. y 1 2 ]

x 3. x 3 5 x 3 3 y 1 x 3. y 1 2 2 8 2 2 8 (2 8)
x 2 xy - 6 (2 8)

es decir que:

(0 1)

se tiene que:

con : .10

y eligiendo arbitrariamente un valor de

x 2 xy - 6 (2.1 8) .10

por lo que

x 2 xy - 6 .10

10

y comparando

y en se tiene:

10

.10

con lo que se verifica, por definicin, que el l mite es L 6 .


*

68.- Analizar primero, y resolver comprensivamente despus, el siguiente


ejemplo,

contenido

en

la

pgina

68

del

texto:

Introduccin

al

Anlisis

Matemtico, Clculo 2, de Hebe Rabuffetti; Edit. El Ateneo; Junio 1994.

z 3x 4 y 11 para ( x; y) (1;2)
*

69.- Aplicando la definicin de lmite encontrar el l mite de

z=x. y para

cuando (x;y) (1;5).


Respuesta:

L=5
*

En

los

siguientes

ejercicios,

encontrar

los

*
l mites:

simultneo

(L),

sucesivos (L 1 y L 2 ) y el radial (L R ), indicando si existe l mite de la funcin y su


valor:
70.71.-

z
z

x 3y
si (x; y) (0;0)
2x 6 y

x 3y
si (x; y) (1;5)
2x 6 y

UT N

Fa c u lt a d Re g i o n a l C r d o b a

Respuesta:

L (no existe el L)

Rta: es probable que L


57

7
.
16

P r o f . I ng . M i g u e l ng e l R a m a d n

72.-

73.-

2x2 y 2
y

z
z

si (x; y) (-2;-1)

Rta: es probable que L 3 .

4 x 2 (2 y ) 2
si (x; y) (0;0)
x2 y2

Rta: es probable que L 4 .

74.-

x 2 xy x y
si (x; y) (-1;1)
x 1

Rta.: es probable que L 0 .

75.-

x3 y3
si (x; y) (0;0)
xy

Rta.: es probable que L 0 .

76.-

Sen( xy )
si (x; y) (0;0)
x

Rta.: es probable que L 0 .

77.-

z xy 2 - x 2 2y si (x; y) (1;4)

Rta.: es probable que L 23 .

78.-

y
z x 2 .Sen( ) si (x; y) (4;2 )
x

Rta.: es probable que L 16 .

79.-

y
z x 2 .Sen( ) si (x; y) (2 ;4)
x

Rta.: es probable que L 23,47 .

Hallar el l mite:
80.-

1
1
z ( x y ).Sen Sen si (x; y) (0;0)
y
x

Rta.: L .

81.-

1
1
z ( x y). Sen Sen
y
x

Rta.: es probable

82.-



z Sen Sen
x
y

si (x; y) (2;1)

si (x; y) (1;2)

L 3,96 .

Rta.: es probable que L 1 .

83.-

x. y

si ( x; y ) (0;0)

x2 y2
z

0 si ( x; y ) 0

Rta.: es probable que L 0 .

84.-

x.y
1
z y.Sen 2
en el origen
x x y2

Rta:

L .
*

Discontinuidad/Continuidad
85.-

Hallar, si existen, los punt os de discontinuidad de :

y
z Ln
x

Planteo, desarrollo, respuesta


Por la estruct ura de la funcin se ve que las discontinuidades se presentan
cuando:
UT N

Fa c u lt a d Re g i o n a l C r d o b a

58

P r o f . I ng . M i g u e l ng e l R a m a d n

a)

el argumento asume el punto (x;y)=(0;r) siendo r un real distinto de cero:

r
z Ln( ) Ln() indeterm.
0

y
r
Lm [Ln( )] Lm[Ln( )] Lm indeterm indet.
x 0
x 0
x 0
x
0
yr

yr

yr

Entonces, todos los puntos pertenecientes al eje de ordenadas (x=0) son


puntos de discontinuidad de la funcin.
b)

el argumento asume el punto (x;y)=(r;0) siendo r un real distinto de cero:

0
z Ln( ) Ln(0) indet.
r

y
0
Lm [Ln( )] Lm [Ln( )] Lm [ Ln(0)] Lm ( ) indet.
x r
x r
x r
x r
x
r
y 0

y 0

y0

y 0

Entonces, todos los puntos pertenecientes al eje de abscisas (y=0) son


puntos de discontinuidad de la funcin.
c)

el argumento asume el punto (x;y)=(0;0):

0
y
0
z Ln( ) Ln(indet ) indet. Lm [Ln( )] Lm [Ln( )] Lm [ Ln(indet )] Lm (indet ) indet.
x 0
x 0
x 0
x 0
0
x
0
y 0

y 0

y 0

y 0

Entonces, el origen de coordenadas (0;0) es un punto de discont inuidad de


la funcin (que inferamos, por ser los ejes ortogonales sendas curvas de
discontinuidad de la funcin).
d)

el argumento asume el punto (x;y)=( r;s)

siendo r y s reales distintos de

cero y de signo opuesto, ya que:

r
y
r
z Ln( ) Lnt 0 in det Lm [Ln( )] Lm [Ln( t 0)] Lm indet indet.
x r
x r
x r
s
x
s
y s

y s

y s

Entonces, todos los puntos del 2 y 4 cuadrantes del dominio de la


funcin, son puntos de discontinuidad de la funcin, incluyendo los ejes
coordenados y el origen de las coordenadas.
A la misma conclusin arribamos si observamos que existe funcin cuando
el argumento del logarit mo es positivo; en smbolos:

lo que lleva al siguiente razonamiento:

z si

( y 0) ( x 0)
y

si
0

x
( y 0) ( x 0)

y
0
x

(a)
(b)

donde (a) nos indica que los valores de x y de y que definen funcin, son los
ubicados en el primer cuadrante, con excepcin de los de los ejes coordenados;
y del mismo modo, ( b) nos indica que la funcin est definida en el tercer
cuadrante, con excepc in de los ejes.
Por lo tanto, los puntos de discontinuidad son los ubicados en el 2 y 4
cuadrantes, incluyendo los ejes coordenados.
UT N

Fa c u lt a d Re g i o n a l C r d o b a

59

P r o f . I ng . M i g u e l ng e l R a m a d n

Si tomamos la convencin de representacin del dominio, la figura 103 nos


indica tanto las regiones de continuidad com o de discontinuidad.

86.- Fundamentar si la funcin es continua, o no, en el origen:


x. y

para (x; y) (0;0)


z
x2 y2

para (x; y) (0;0)


z 0

Planteo, desarrollo, respuesta


Si la funcin es continua en el origen, su valor en el mismo debe coincidir
con el l mite de la fun cin para ( x; y) (0;0) .

z (0;0) 0

a) Valor de la funcin en (0;0):

por definicin (del enunciado).

b) Lmite de la funcin:
Un sucesivo:

xy
L1
Lm ( z ) Lm Lm
( x; y ) (0;0)
y 0 x 0 x 2 y 2

Lm Lm 0 0
y 0 x 0 x 2

Simultneo:

L Lm z Lm f ( x; y ) Lm [
x 0
y 0

x 0
y 0

Lm [x
x 0
y 0

x 0
y 0

1
2

x
1
y

x. y
x2 y 2

] Lm [x
x 0
y 0

y
x2 y 2

] Lm [x Valor Acotado] 0
x 0
y 0

] Lm [x
x 0
y 0

1
x2 y 2
y2

1
1
0
0
1
( 0) 1

Radial:
y y0 m ( x x0 )

A partir del haz de rectas:

y 0 m ( x 0)

donde, tomando las coordenadas del origen:

y m x

o sea:

que utilizamos en la toma de lmite radial:

LR Lm z Lm f ( x; y ) Lm [
x 0
y 0

UT N

x 0
y 0

x 0
y 0

x. y
x y
2

Fa c u lt a d Re g i o n a l C r d o b a

] Lm [
x 0

60

xm x
x m x
2

] Lm [
x 0

m x2
x 1 m

P r o f . I ng . M i g u e l ng e l R a m a d n

Lm [
x0

z(0;0) L1 L LR 0

c)

m x
1 m2

m 0
1 m2

Conclusin: la funcin es continua en (0;0).


*

87.- Indicar si en P(1; -2) es continua la funcin

z f ( x; y )

x 3y
y
x
2

Planteo, Desarrollo y Respuesta

x 3y

2 x 6 y 2.1 6.(2) 5
z P

2
y x
y 2 x P (2) 2.1

2
P

1.-

Valuamos la funcin en P:

2.-

T omamos lmite de la funcin (elegimos cualquier procedimiento):

Para tomar el radial hacemos:

2x 6 y
2 x 6m.( x 1) 2
10
5

Lm

4
2
( x; y ) (1;2) y 2 x x 1 (m.( x 1) 2) 2 x

Y el lmite:

LR

3.-

z P LR

Como

y y0 m.( x x0 ) y m.( x x0 ) y0 m.( x 1) 2

Lm

ello la funcin es continua en P.

88.- Explicar si la funcin z = 10 2 -x 2 -y 2 es continua, o no, en el origen.


Planteo, desarrollo, respuesta

z O 10 2 0 0 10 2

1.- Valor de la funcin en el origen:

x; y 0;0:

2.- Lmite de la funcin para

3.-

z O L

4 xy 2
x2 y2

x0
y 0

x0
y 0

la funcin es continua en el origen.


*

89.- Si

L Lm z Lm 10 2 x 2 y 2 10 2

para (x; y) 0

z0

para (x; y) (0;0) , indicar si es, o no,

continua en el origen.
Planteo, desarrollo, respuesta
1.-

Valor de la func in en el origen:

z O 0

(por definicin del

enunciado)
2.- Lmite de la funcin para

L Lm z Lm[
x 0
y 0

UT N

x 0
y 0

x; y 0;0:

4 xy 2
4x
4x
4x
0
] Lm[ 2
] Lm[
] Lm[
]
0
2
2
2
y 2
x 0 x y
x 0 x 2
x 0 x 2
2
1

1
x y

y 0
y 0 ( ) ( )
y 0 ( ) 1
y
y
y
y2

Fa c u lt a d Re g i o n a l C r d o b a

61

P r o f . I ng . M i g u e l ng e l R a m a d n

que, si lo consideramos necesario, podemos confirmar por un l mite radial:


2 2
4 xy 2

Lm 4 x m x Lm x 4m Lm x 4m 04m 0 0
LR Lm 2
x 0 x y 2 x 0 x 2 m 2 x 2 x 0 x 2 1 m x 0 1 m 1 m 1 m

y 0

3.-

z O L

la funcin es continua en el origen.


*

90.- Si

x 2 x xy y
1 x

es continua en (1;1)?

Planteo, desarrollo, respuesta


1.-

z (1;1) ( x y)(1;1) 1 1 2 ;

3.-

z(1;1) L

2.- L2 Lm[Lm[ x y]] Lm[ x 1] 1 1 2 L


x 1 y 1

x 1

la funcin es continua en (1;1). V o F?: por qu?.


*

91.- Es continua la funcin anterior en (0;1)?


Planteo, desarrollo, respuesta
1.-

2.- L Lmz Lm[ x y ] 1

z (0;1) ( x y)(0;1) 0 1 1 ;

z(0;1) L

3.-

x 0
y 1

x 0
y 1

la funcin es continua en (0;1).

Analizar la continuidad de:

x - 3y
en (0;0)
2x 6y

92.-

93.-

z x.y en (1;5)

Rta.: es continua, porque...

94.-

z (x y)-1 en (0;0)

Rta.: no es continua, porque...

95.-

xy

para (x; y) (0;0)


2
x y2
z
, en (0;0).

para (x; y) (0;0)


0

Rta.: es continua, porque...

96.-

xy
x 2 y 2 para (x; y) (0;0)
z
, en (0;0)

0
para (x; y) (0;0)

Rta.: no

Rta.: no es continua, porque...

es

continua,

porque...
97.-

z eSen(x

2 2 y)

Cos( xy ) , en el origen.
*

Rta.: es continua, porque...


*

En los siguientes ejercic ios, hallar los punt os de discontinuidad y graficarlos:


98.-

z (x - y)-1
UT N

Rta.:

la funcin es discontinua (por qu?) para todos los

Fa c u lt a d Re g i o n a l C r d o b a

62

P r o f . I ng . M i g u e l ng e l R a m a d n

puntos pertenecientes a la recta y x , figura 104.


99.-

z y.(x2 - y 2 )

Rta.: la funcin es continua (por qu?) para todos los

puntos del plano real [xy].


100.- z x.(x 2 y 2 )

Rta.: la funcin es continua (por qu?) para todos los

puntos del plano real [xy].


-

101.- z (x - y)

1
2

Rta.: la funcin es discontinua (por qu?) para todos los

puntos pertenecientes a las zonas donde y x , figura 107.


102.- z (e x y).( x y) 1

Rta.: la funcin es discontinua (por qu?) para

todos los puntos pertenecientes a la recta y x , figura 105.


103.- z (3x 4y - 2xy 1).(y2 - x) -1

Rta.: la funcin es discontinua (por qu?)

para todos los puntos pertenecientes a la curva y x , figura 106.


104.- z Tan(xy 3 )

Rta.: discontinua

(por

pertenecientes a Cos( xy 3 ) 0 , o bien y 3

qu?)

para

todos

los

puntos

n
para n 0,1,2,3,... figura 108.
x

105.- z Ln[Cos x 2 y2 ]
Planteo, desarrollo, respuesta
La funcin es discontinua para t odos los pares ordenados que satisfacen a

Cos( x 2 y 2 ) 0 , o tambin

x2 y 2 3

De modo que tomando el extremo superior del intervalo, x 2 y 2 3


puntos de discontinuidad son los pertenecientes al crculo de radio

, los

incluyendo su periferia (o circunf erencia).


Y si tomamos el extremo inferior del intervalo, se tiene que

x 2 y 2 , lo

que significa que tambin son puntos de discontinuidad los exteriores al crculo
de radio r

. Con lo que el grfico de continuidad/disc ontinuidad es el de la

figura 109.
*

106.- z Cotg(x 2 y)
Planteo, desarrollo, respuesta
UT N

Fa c u lt a d Re g i o n a l C r d o b a

63

P r o f . I ng . M i g u e l ng e l R a m a d n

z Cotg(x 2 y)

Se sabe que:

1
Cos (x 2 y)

Tg(x 2 y) Sen(x 2 y)

por lo que la funcin se har discontinua en todos los puntos (x;y) para los
cuales Sen(x 2 y) 0 , de donde se deduce que

x 2 y n

Explicitando y, se tiene un conjunto discreto de parbolas:

y n

x2 .

En la figura 110 se ve el grfico de continuidad/discontinuidad, o de


dominio, donde el trazo rojo continuo represent a la discontinuidad.
*

Hallar los puntos de discontinuidad de las siguientes funciones.


107.- z Log[ x 2 y2 ]

Rta.: El punto P(0;0) .

108.- z

x.y 1
x2 y

Rta.: Los puntos pertenecientes a la parbola y x 2 .

109.- z

1
Sen(x. y )

Rta.: Los

pertenecientes a
110.- z

n
x

1
1 - (x y 2 )

puntos:

(0; y) ,

(x;0),

(0;0)

los

para n entero.
Rta.: Los puntos pertenecientes a la circunferencia

de radio 1.
111.- z e

1
Sen(x. y )

Rta.: Los mismos puntos del ejercicio 109.

112.- z Log[3 (x 2 y2 )]

Rta.: Los puntos interiores al crculo de radio r 3 .

Incrementos
Supongamos que una funcin z f ( x; y) grafica una superficie cualquiera
como, por ejemplo, la indicada en la figura 111.
UT N

Fa c u lt a d Re g i o n a l C r d o b a

64

P r o f . I ng . M i g u e l ng e l R a m a d n

Consideremos los puntos P(a; b) y

Q( x; b) en el dominio de la funcin y

hagamos pasar un segmento de recta que vincule a ambos puntos.


Ahora hagamos pasar un plano [y=cte=b], paralelo al [xz], que contenga a
la recta que contiene a los punt os dichos.
Este

plano intersecta al plano alabeado de la funcin generando la

traza que se ve en la figura 111.


Haciendo pasar sendos ejes infinitos por los puntos

P y Q , en las

intersecciones de estos ejes con la traza de la interseccin ent re la superficie y


el plano de los puntos se obtienen los v alores z(P ) y z(Q ) de la funcin.
Para ir de P a Q en el dominio de la funcin, se realiz un recorrido
infinitesimal x en el sentido creciente de las x .
El valor x x a representa un incremento de la variable x de la funcin,
y que es un incremento positivo.
Si el desplazamiento se hubiese hecho en el sentido decrecient e de las x ,
el incremento

x a x

sera negativo y se tendra un decremento de la

variable x .
Se conviene en llamar incremento, con signo positivo o negativo, a
cualquier cambio de la variable, a fin de tener una denominacin nica de tales
cambios.
Frente al incremento
UT N

x de la variable x , el valor de la funcin pas de un

Fa c u lt a d Re g i o n a l C r d o b a

65

P r o f . I ng . M i g u e l ng e l R a m a d n

valor z(P ) a un valor z(Q ) , lo que define un incremento infin itesimal de la funcin
debido al incremento de slo la variable

x , mantenindose constante la

coordenada y del punto P .


El incremento de la funcin lo vemos graficado en la figura 111, y ti ene por

zx z(Q) z( P ) fincrementada finicial fi f o f (a x, b) f (a, b)

expresin:

siendo z x el incremento parcial de la funcin debido a la variable x.


Si ahora, partiendo del punt o

P(a; b) , se efecta un desplazamiento

infinitesimal y y b en la direccin de las y crecientes, se llega, por ejemplo,


al punt o S (a; b y) .
Haciendo pasar el [x=a=cte] que contenga al segmento de recta que une
los puntos P y S , en la figura 111, se obti ene una nueva traza de interseccin
sobre la superficie de la funcin, y sobre ella, segn ejes infinitos paralelos al
eje z, pasantes por los puntos dichos, se observan los valores

z(P ) y

z(S ) de la

funcin.
La

diferencia

entre

estos

dos

valores

de

la

funcin,

constituye

el

incremento parcial de la funcin debido al incremento de la variable y, siendo su

z y z( S ) z( P) fincrementada finicial fi f o f (a; b y) f (a, b)

expresin:

Si ahora se recorre el dominio desde el punto

P(a; b) hasta el punt o

R(a x; b y) R( x; y) , ello significa que se recorre el trayecto s x 2 y 2 ,


realizndose desplazamientos

x y y simultneos.

Haciendo pasar un plano ortogonal al dominio que contenga al segmento

s , se obtendr una traza de int erseccin con la superficie, sobre la que se


obtendrn, a su vez, valores z(P ) y z(R ) de la funcin, en correspondencia con los
puntos P y R del dominio.
El plano ortogonal no debe necesariamente contener al eje z. La diferencia
entre los valores de llegada y de partida de la funcin, constituye el incremento
total de la funcin, cuya expresin es:

z z( R) z( P) fincrementada finicial fi fo f (a x; b y) f (a, b) f ( x; y) f (a, b)


T odos los desplazamientos considerados aqu son infinitesimales, y el
recinto

PQRS

es

una

porcin

del

entorno

reducido

del

punto

P,

convenientemente agrandado a los fines del dibujo.


En los prcticos se ver que, en ocasiones , la suma de los incrementos
parciales es igual al incremento total, pero generalmente no lo es:
UT N

Fa c u lt a d Re g i o n a l C r d o b a

66

z z x z y

P r o f . I ng . M i g u e l ng e l R a m a d n

Analticamente hablando, el procedimient o descripto se homologa para


funciones multivariables de ms de dos variables independientes:
si w f ( x; y; z ) y consideramos desplazamientos infinitesimales x , y y z , se
tendr:
wx fincrementada finicial fi fo f ( x x, y; z) f ( x; y; z)

wy fincrementada finicial fi fo f ( x, y y; z) f ( x; y; z)
wz fincrementada finicial fi fo f ( x; y; z z) f ( x; y; z)
w fincrementada finicial fi fo f ( x x, y y; z z) f ( x; y; z)

y en general: w wx wy wz
*
U N IV E R S ID A D
T E C N O L G IC A
N A C IO N A L

FACULTAD
R E G IO N A L
CRDOBA

Ejemplario

ANLISIS MATEMTICO II

P r o f . I ng .
M i g u e l A ng e l R a m a d n

Incrementos
113.-

Hallar el incremento total de:

x 2 y 2 z 2 4 ; si x y -0,11 ; para C(1;0,5)

Planteo, desarrollo, respuesta

z 4 x 2 y 2

Explicitando z, se tiene:

Por definicin, el incremento de una funcin es la funcin incrementada


menos la funcin original:

z f ( x x; y y) f ( x; y) 4 ( x x) 2 ( y y) 2 - 4 - x 2 - y 2
Entonces:

z 4 (1 0,11) 2 (0,5 0,11) 2 - 4 - 12 - 0,5 2 0,08977227 0,08977

Se observa que,

cuando de

cantidades

inf initesimales se trata,

se

redondea a cinco cifras significativas despus de la coma , a los efectos de una


posible y adecuada comparacin.
*
114.-

Un paraleleppedo tiene los siguientes valores de sus aristas: a=1,5 cm;

b=2,5 cm; c=3,5 cm, las que se incrementan: a=0,1 cm; b=0,18 cm; c=0,2
cm. Hallar: 1) la ley del incremento total del volumen; 2) el valor del incremento
total del volumen; 3) los valores de los incrementos parciales del volumen; 4) la
suma

de

los

valores

de

los

incrementos

p arciales

del

volumen;

5)

la

comparacin entre el incremento total del volumen y la suma de los incrementos


parciales.
Planteo, desarrollo, respuesta
1) El volumen del cuerpo es:
UT N

V a b c f (a; b; c) .

Fa c u lt a d Re g i o n a l C r d o b a

67

P r o f . I ng . M i g u e l ng e l R a m a d n

La ley del incremento total del volumen, es (fig . 112):

V f a a; b b; c c f (a; b; c) (a a).(b b).(c c) a.b.c


a.b.c a.c.b b.c.a a.b.c b.a.c c.a.b a.b.c
2) El valor del incremento total de volumen, es:

V (1,5 0,1).(2,5 0,18).(3,5 0,2) 1,5.2,5.3.5 2,7406 cm3


3) El valor del incremento parcial del volumen debido a la arist a a, es:
Va f a a; b; c f (a; b; c) (a a).b.c a.b.c (1,5 0,1).2,5.3,5 1,5.2,5.3.5 0,875 cm 3

El incremento de V segn b, es:


Vb f a; b b; c f (a; b; c) a.(b b).c a.b.c 1,5.(2,5 0,18).3,5 1,5.2,5.3.5 0,945 cm 3

El incremento de V segn c, es:


Vc f a; b; c c f (a; b; c) a.b.(c c) a.b.c 1,5.2,5.(3,5 0,2) 1,5.2,5.3.5 0,75 cm 3

4) La suma de los incrementos parciales de V, es:


S Va Vb Vc 0,875 0,945 0,75 2,57 cm 3

5) Se observa que el incremento total no es igual a la suma de los incrementos


parciales.
*

Hallar el incremento de la funcin z f ( x; y) 100 x 2 y 2 , en el P(4;3) , si

115.-

x 0,1 y 0,2 .
Planteo, Desarrollo y Respuesta

z zi z0 102 ( x x) 2 ( y y) 2 (102 x 2 y 2 ) 102 (4 0,1) 2 (3 0,2) 2 102 42


32 10 2 4,12 3,2 2 10 2 16 9 2,05
*
116.-

Si

y 0,1

x 2 x xy y
1 x

hallar el increment o de la funcin para

x 0 y

en el P(1;1) .
Planteo, Desarrollo y Respuesta

( x x) 2 ( x x) ( x x).( y y ) ( y y) x 2 x xy y
(z ) P ( fi f o ) P


1 ( x x)
1 x

(1 0)2 (1 0) (1 0).(1 0,1) (1 0,1) 12 1 1.1 1


1 1 1.1,1 1,1 1 1 1 1

1 (1 0)
11
11
11

0 0 0 0 0

0
0
0

Nos encontramos con una indeterminacin; veamos si es evitable, o ficticia.


UT N

Fa c u lt a d Re g i o n a l C r d o b a

68

P r o f . I ng . M i g u e l ng e l R a m a d n

Observamos que el denominador de la funcin podra ser un divisor del


tipo Ruffini, por lo que aplicamos el teorema del resto para ver si el numerador
de la funcin es divisible por el denominador:

x 2 x xy y
(1)2 (1) (1) y y 1 1 y y 0
x 1
como el resto es cero, es divisible, por lo que, efectuando la divisin, bien por el
procedimiento general de divisin de polinomios, bien por la regla de Ruffini, o

x 2 x xy y
x y
x 1

bien factoreando el numerador, se tiene:


Entonces:

z zi zo ( x x) ( y y) ( x y) 1 0 1 0,1 1 1 0,1

*
117.-

z f ( x; y) 2 x 2 3 y 2

Hallar el incremento t otal de la funcin

sabiendo

que sus variables incrementan x 0,2 y y 0,3 a partir de la condicin C (10;8) .


Planteo, Desarrollo y Respuesta

z f i fo 2( x x)2 3( y y)2 (2 x 2 3 y 2 ) 2(10 0,2)2 3(8 0,3) (2.10 2 3. y 3 ) 22,75


118.-

z x. y 2

Hallar el incremento t otal de la funcin

sabiendo que sus

variables incrementan x 0,2 y y 0,2 a partir de la condicin C (5;3) .


Planteo, Desarrollo y Respuesta
z ( x x).( y y)2 x. y 2 (5 0,2).(3 0,2)2 5.32 8,248

Observar que se intenta aproximar hast a cinco cifras significativas, redondeadas


segn 5 .
*
119.-

z Ln( x 2 y) x. y

Hallar el incremento total de la funcin

sabiendo

que sus variables incrementan x 0,05 y y 0,05 a partir de la condicin C (2;3) .


Planteo, Desarrollo y Respuesta
z Ln[( x x)2 ( y y)] ( x x).( y y) [ Ln( x2 y) x. y]

Ln[(2 0,05) 2 (3 0,05)] (2 0,05).(3 0,05) Ln(22 3) 2.3 0,28794


*
120.-

Hallar el incremento total de la funcin

x 2 x. y 5
z
x. y 2

sabiendo que sus

variables incrementan x 0,01 y y 0,01 a partir de la condicin C (5;2) .


Respuesta

z 0,0153948 0,015394 0,01539


UT N

Fa c u lt a d Re g i o n a l C r d o b a

69

P r o f . I ng . M i g u e l ng e l R a m a d n

Ntese que el redondeo se hace hacia arriba, en un nmero negativo.


*
121.-

z3

Hallar el incremento total de la funcin

x
x2. y
y

sabiendo que sus

variables incrementan x 0,1 y y 0,05 a partir de la condicin C (1;2) .


Respuesta

z 0,590256 0,59026
A continuacin, hallar los incrementos, parciales y total, y valorarlos en las
condiciones indicadas:
122.-

z x. y ; x 0,2 ; y 0,2 ; C (1;2) .

123.-

z x. y ; x 0,2 ; y 0,3 ; C (1;2) .

124.-

z x. y ; x 0,2 ; y 0,2 ; C (1;2) .

125.-

z x. y ; x 0,2 ; y 0,3 ; C (2;1) .

126.-

z x. y ; x 0,3 ; y 0,3 ; C (1;2) .


Escriba las conclusiones a las que arriba, a l cabo de los cinco

ejercicios ant eriores.

x 2 y 2 z 2 4 si x y 0,11 ; C (1;1) .

127.-

Calcular los incrementos de

128.-

Se puede determinar el incremento total de la funcin anterior para


la C (1;0,5) ?. Por qu?

129.-

Se

puede

det erminar

el

incremento

total

de

la

funcin

anterior

para C (1;2) ?. Por qu?


130.-

xa;

a) Si

incrementos de

yb

z ex

determinar las expresiones mnimas de los


3y

b) Valorar los incrementos si x 0,15 ; y 0,11 . Qu obtuvo?


c) Valorar los incrementos a partir del punto P(2;1) si x 0,15 ; y 0,11
Qu obtuvo?
131.-

Hallar el incremento de la funcin del 1 31, en el origen, para x y 0,7


Planteo, Desarrollo y Respuesta

z(0;0) [ f ( x x; y y) f ( x; y)](0;0) f (0 x;0 y) f (0;0) f (x; y) f (0;0)

x y
x 2 y 2

f (0;0)

0,7 0,7
0,7 2 0,7 2

x y
x 2 y 2
0,7 2
2 0,7 2

x y
x 2 y 2

0,7
0,49497
2

*
*
*
*
*
*
*
Los Cuestionarios, como el siguiente, deberan ser resueltos a medida que
se va progresando en el anlisis de los temas . Las pregunt as que contiene n
pueden ser utilizadas en el Examen Final.
UT N

Fa c u lt a d Re g i o n a l C r d o b a

70

P r o f . I ng . M i g u e l ng e l R a m a d n

U N IV E R S ID A D
T E C N O L G IC A
N A C IO N A L

La

FACULTAD
R E G IO N A L
CRDOBA

expresin

de

ANLISIS MATEMTICO
II

la

Fsica:

e v0 .t

Cuestionario

1
a t2
2

es

una

P r o f . I ng .
M i g u e l A ng e l R a m a d n

funcin

mono

multivariable? Explique.
2

Si la funcin anterior fuese monovariable, indique en un grfico las zonas


correspondientes al do minio y a la imagen.
Suponga que en la figura 4, la dimensin x es una constante a (x=a) y la

dimensin y es una constante b. La funcin V resultante es mono

multivariable?
4

6
7
8

Grafique

la

funcin

del

punto

anterior,

grafique

defina

(por

comprensin) el dominio de la misma.


En qu caso de graficacin de funcin multivariable de dos variables
independientes Ud. apelara al paso T razas int ernas?
Qu representa la graficacin de una funcin

multivariable de dos

variables independientes?
Puede una recta ser curva de nivel? Especifique con un ejemplo.
Distintas curvas de nivel de una misma funcin deben estar separadas?
pueden intersectarse? por qu?
T odo eje infinito que pase por un punto perteneciente al d ominio de una

funcin multivariable represent a distintos valores de la funcin. Es una


afirmacin verdadera o falsa? Por qu?

10

11

12

La grfica de la relacin pert eneciente a un elipsoide puede t ener curvas


de nivel que posean puntos comunes? Por qu?
En qu consiste el convenio de Graficacin de Funciones Mult ivariables de
dos variables independientes que rige en nuestro curso?
Defina punto de acumulacin y grafique 3 situaciones distintas en un mismo
dominio. Qu lo diferencia de un pu nto frontera?
Realice un grfico posible de z f ( x; y) a.x (a>0), indique si es relacin o

13

funcin, y grafique la curva de nivel correspondiente a k=b>0. Compare con

z f ( x; y) a .
14

La definicin de l mite es apt a para cual quier tipo de entorno? Explique.

15

Es verdadero el valor de l mite dado por un camino rampa? Explique.

16
17

Si el valor de una funcin en un punto dado no coincide con el valor del


lmite hacia ese punto, existe el lmite? Explique.
Por
UT N

qu

decimos que en la Figura 111 el recinto PQRS


Fa c u lt a d Re g i o n a l C r d o b a

71

es una porcin

P r o f . I ng . M i g u e l ng e l R a m a d n

del ent orno del punto P?


18

19

20

Puede ser nulo el increment o total de una cierta funcin que posea
incrementos parciales del mismo signo? Explique.
Cundo se puede dar como val or del lmite de una funcin al valor que
sta tiene en un punto determinado?
Por qu se puede aplicar LHopital en la determinacin del l mite por haz
de rectas del ejercicio 58 hasta obtener que el l mite probable es 0?
*

Recreo

Ernesto Sbato:
Existe una opinin m uy generalizada segn la cual la matemtica es la ciencia
ms difcil, cuando , en realidad , es la m s simple de todas.
La causa de esta paradoja reside en el hecho de que, precisamente por su
sim plicidad, los razonam ientos m atemticos equiv ocados quedan a la v ista.
En una complej a cuestin de polt ica o arte, hay tantos factores en juego y
tantos desconocidos o inaparentes, que es muy difc il de dist inguir lo v erdadero de lo
falso.
El resultado es que cualquier tonto se cre e en condiciones de discutir sobre
polt ica y arte, y en v erdad lo hace, m ientras m ira la m atemtica desde una respetuosa
distancia.
Paulo Freyre:
Sobre la com prensin:
Entender una cosa es , en buena medida , percibir por qu, y cmo , se relaciona
en cualqu iera de sus partes con algo m s ; y cm o , y hasta qu grado , dif ie re de otras
cosas semejantes .
Bien se ha dicho que debemos leer a lgo la pr im era v ez para averiguar su
contenido; la segunda, para entenderlo; la tercera, para grabarlo en la m em oria, y la
cua rta, repetir lo en silencio para com probar que lo dom inam os .
Sobre la relac in lg ica:
Todo lo que no comunica sentido no se puede com prender ni valorar, y en
consecuencia, tampoco se puede mem orizar .
Cuando faltan detalles, es casi imposib le com prender o evaluar un asunto, e
igualm ente im posible de m emoriza r .
Ren Favaloro:
Siem pre he credo que toda realid ad futura se eleva sobre cim ientos de ideales
y utopas. Sin duda, soar es tarea fecunda. Dej ara de existir si no tuv iera por
delante desafos que inv olucren por sobre todas las cosas, contribuir dentro y fuera de
m i profesin al desarrollo t ico del hom bre.
Debe entenderse que todos somos educadores. Cada acto de nuestra v ida
cotidiana t iene im plicancias, a veces signif icativ as. Procuremos en tonces ensear con
el ej em plo.
La ciencia es una de las formas ms elevadas del quehacer espir itu al pues est
ligada a la activ idad creadora del intelecto, form a suprem a de nuestra condicin
hum ana. La ciencia es la expresin de una necesidad inherente al ser hum ano y, en
todo caso, est ligada a la funcin superior de su naturaleza intelig ente: la capacidad
de crear.
Debem os luchar por una sociedad ms justa y equitat iv a, sin prej uicios de
ninguna ndole. Slo lo lograremos si no nos apartam os nunca de lo s lineam ientos
ticos basados en el respeto a la dignidad del hom bre.
Hem os de esforzarnos para mej orarnos indiv idualmente pero entendiendo que
form amos parte de una sociedad que demanda nuestra partic ip acin ; c uanto ms
destacada sea nuestra posicin in di v idual m s grande ser nuestro comprom iso social.

*
UT N

Fa c u lt a d Re g i o n a l C r d o b a

*
72

*
P r o f . I ng . M i g u e l ng e l R a m a d n