1. INTRODUCCIN.

En los estudios anteriores del clculo diferencial e integral se han consagrado sus aplicaciones a funciones
de una variable. Ahora nos ocuparemos del clculo diferencial de funciones de ms de una variable.
Nuestro propsito en este tema es el de extender los conceptos de lmite, continuidad y diferenciabilidad
a las funciones de dos o ms variables.

Los resultados obtenidos se aplicarn entonces al estudio de las derivadas direccionales, los planos
tangentes a las superficies, y los extremos de las funciones de varias variables.

Algunas frmulas de las matemticas elementales suministran ejemplos sencillos de tales funciones. As,
en la frmula para el volumen de un cilindro circular recto,

= 2 . (1)

es una funcin de las dos variables independientes (= ) y (= ). Asimismo, en la

frmula para el rea de un tringulo plano oblicungulo,

1
= . . . (2)
2

es una funcin de las tres variables independientes , y , que representan, respectivamente, dos
lados y el ngulo comprendido.

Evidentemente, tanto en (1) como en (2), los valores que pueden asignarse a las variables en el segundo
miembro son enteramente independiente el uno del otro.

A estas expresiones se les llama funciones de tres o ms argumentos.

Ejemplo 1.1:

Expresar el volumen V del cono en funcin de su generatriz y del radio de la base

Solucin: sabemos por la geometra, que el volumen del cono es igual a

1
= . 2 .
3

Donde es la altura del cono. Pero

= 2 2

Por consiguiente,

1
= . 2 . 2 2
3

Esta es, precisamente, la dependencia funcional que se buscaba.

Las funciones de valores reales de varias variables reales independientes se definen en forma parecida a
como se definen las funciones de una sola variable. Los dominios son conjuntos de pares (o tradas o
cudruplos, etc.) ordenados de nmeros reales, y los rangos son conjuntos de nmeros reales del tipos
de los que hemos usado.

A continuacin se presenta un concepto fundamental de funciones de varias variables. (Designaciones de

las funciones).
1.1 Concepto Fundamental.

Una magnitud variable se denomina funcin uniforme de dos variable , si a cada conjunto de
valores de stas (, ) del campo dado, corresponde un valor nico y determinado de . Las variables
se llaman argumentos o variables independientes. (B. Demidovich).

La dependencia funcional se representa as:

= (, ); = (, ); .

El valor de la funcin = (, ) en el punto (, ), es decir, cuando = = , se designa por

(, ) ().

1.2 Representacin Geomtrica de la funcin = (, )

La representacin geomtrica de la funcin = (, ) es un sistema de coordenadas cartesianas

, es, en trminos generales, una superficie, ver figura 1.

Observacin: La grfica de una funcin de

dos variables = (, ) puede
interpretarse geomtricamente como una
superficie en el espacio de forma tal que
su proyeccin sobre el plano es , el
dominio de .En consecuencia, a cada
punto (, ) en le corresponde un punto
(, , ) en la superficie y, a la inversa, a
cada punto (, , ) en la superficie le
corresponde un punto (, ) en .

Figura 1: Representacin Geomtrica de la funcin = (, )

Ejemplo 1.2:

Hallar (2, 3) (1, ), si

2 + 2
(, ) =
2

Solucin: Poniendo = 2 = 3, hallamos:

22 + (3)2 13
(2, 3) = =
2.2. (3) 12

Ahora poniendo = 1 y sustituyendo por tenemos:

2
12 + ( ) 2 2
(1, ) = = +
2
2.1. ( )


Es decir que (1, ) = (, ).

2. Lmites de una Funcin de Varias Variables.

Mucha de la terminologa relacionada con los lmites fue introducida por el matemtico alemn Karl
Weierstrass (1815-1897). Su forma de tratar rigurosamente los lmites y otros temas del clculo le han
dado la reputacin de padre del anlisis moderno.

El estudio de los lmites de funciones de varias variables es mucho ms complejo que el de funciones de
una variables, pues en este, nicamente se tiene dos caminos para acercarse a un punto, por la derecha
o por las izquierda; mientras que en el caso de varias variables existe una infinidad de caminos para
acercarnos a un punto (, ), como lo muestra la figura 2.

Figura 2: Caminos a un Punto (, )

2.1 Lmite de una Funcin = (, ).

Comenzaremos el estudio de los lmites para funciones de dos variables, el caso para funciones de
variables es anlogo. Primero definimos el anlogo a un intervalo abierto de .

Definicin: Disco de Radio y Centro .

Un disco (, ) abierto, o simplemente un disco, de radio > 0 y centro en = (, ) es el conjunto

de todos los puntos (, ) tales que su distancia a (, ) es menor que , es decir

(, ) = {(, ) 2 ( )2 + ( )2 < } (1)

Observacin: Si en la definicin (1) se cambia < por un obtenemos un disco cerrado.

Definicin: Lmite de una Funcin.

Sea : ((, ), ) 2 una funcin de dos variables definidas en el disco abierto ((, ), ),
excepto posiblemente en (, ). Entonces

lim (, ) =
(,)(,)

Si y slo si para > 0 existe un correspondiente > 0 tal que

|(, ) | = , siempre que 0 < ( )2 + ( )2 <

Observacin: Grficamente, esta definicin significa que para un punto cualquiera (, )((, ), ) el
valor de (, ) est entre + como se ilustra en la figura
 Figura 3: Lmite de una Funcin (, )

Como ya mencionamos, cuando escribimos que (, ) (, ) entendemos que el punto (, ) se

aproxima a (, ) en cualquier direccin. Si el valor de

lim (, ) =
(,)(,)

No es lo mismo para todos los posibles caminos o trayectorias de acercarnos a (, ), entonces el lmite
no existe.

Entonces al calcular lmites podemos pensar en trminos de distancias en el plano o en trminos de

diferencias en coordenadas.

La definicin de lmites se aplica en puntos fronteras (, ), as como en puntos interiores de dominio de

. El nico requisito es que el punto (, ) permanezca en el dominio todo el tiempo.

Puede demostrarse, igual que para funciones de una sola variable, que

lim = ; lim =; lim = , .

(,)(,) (,)(,) (,)(,)

2.2 Propiedades de Lmites de Funciones de dos Variables.

Las siguientes reglas son vlidas si

lim (, ) = lim (, ) =
(,)(,) (,)(,)

1. Regla de la Suma: lim[(, ) + (, )] = +

2. Regla de la Diferencia: [(, ) (, )] =
3. Regla del Producto: [(, ). (, )] = .
4. Regla del Mltiplo Constante: (, ) = , ()
(,)
5. Regla del Cociente: =
(,)
6. Regla de la Potencia: si son enteros, entonces [(, )] = , siempre que
sea un nmero real.

Nota: todos los lmites deben tomarse cuando (, ) (, ), y deben ser nmeros reales.

Cuando aplicamos las propiedades a los lmites a las funciones de una sola variable, obtenemos el
resultado til de que los lmites de polinomios y funciones racionales, cuando (, ) (, ), puede
calcularse evaluando las funciones en (, ). El nico requisito es que las funciones estn definidas en
(, ).
Ejemplo 2.1:

3 0 (0). (1) 3
lim = = 3
(,)(0,1) 2 + 5 3 (0)0 + 5(0). (1) (1)3

Ejemplo 2.2: Encuentre

2
lim
(,)(0,0)

Solucin:

Como el denominador tiende a cero (0) cuando (, ) (0,0), no podemos usar la regla del cociente de
las propiedades de lmites de funciones de dos variables. Sin embargo, si multiplicamos el numerador y
el denominador por + , tendremos una fraccin equivalente cuyo lmite si podemos encontrar.
2 2 +
lim = lim .
(,)(0,0) (,)(0,0) +

( )( + )
lim = lim ( + ) = 0(0 + 0) = 0
(,)(0,0) (,)(0,0)

Ejemplo 2.3

Encuentre el lmite

1 1 1
lim ( 3 + 1) = (03 + 1) 2 = 1. =
(,)(0,0) 2 + 2 0 +0 2 0

Si observamos su solucin el lmite no existe.

A partir nicamente de la definicin no resulta fcil en general estudiar el lmite. Por ello se hacen
necesarias algunas herramientas que nos aporten informacin acerca del lmite. Vamos precisamente en
los siguientes apartados a tratar algunas de ellas.

2.3 Operaciones con Lmites

2.3.1 Lmites de una Funcin Vectorial

Para determinar la existencia del lmite de una funcin vectorial basta estudiar el lmite de sus funciones
coordenadas. De este modo nos centraremos en estudiar lmites de funciones reales. Esto se debe al
siguiente resultado:

Para una funcin = (1 , , ): y un punto se tiene que existe lim () y vale =

(1 , 2 , , ) si y slo si existen los lmites de las funciones coordenadas lim 1 (), . , lim () y

valen 1 , . . . , , respectivamente.

Ejemplo 2.4

Para : 3 2 dada por (, , ) = ( + 20, [ . ]), se tiene que
4

lim (, , ) = lim ( + 20, [ . ]) =
(,,)(1,0,1) (,,)(1,0,1) 4

=( lim [ + 20], lim . [ . ]) (20, ) = (20, 1)
(,,)(1,0,1) (,,)(1,0,1) 4 4

2.3.2 lmites Direccionales.

A la hora de estudiar el lmite de una funcin de dos variables mediante lmites a travs de algunos
conjuntos es tpico considerar conjuntos del tipo rectas, parbolas y en general curvas de la forma =
() = (). Una situacin especial es el caso de los lmites a travs de rectas que contienen al
punto, denominados tambin lmites direccionales. Estas rectas, como ya sabemos, son las de la forma
= ( ), junto con la recta vertical = .

Notemos que la existencia de los lmites direccionales no garantiza la existencia del lmite, ni siquiera
cuando todos ellos coinciden. Lo ms que se puede decir es lo siguiente:

Si no existe algn lmite direccional o al menos dos de ellos son distintos entonces no existe el lmite.

Nota: Se puede generalizar el efecto anterior y deducir que si el lmite a travs de al menos dos conjuntos
da un valor distinto (pueden ser dos direccionales, dos no direccionales o uno direccional y otro no
direccional) entonces el lmite no existe.

Ejemplo 2.5
2 2
Calcular los lmites direccionales de la funcin (, ) = en el punto (0, 0).
2 +2 2
stos son:
= ( ), Donde = 0 = 0 luego se tiene que = , entonces el lmite queda
expresado de la siguiente manera,
2 2 2 2 2 2 (1 2 ) 1 2 1 2
lim = lim = lim = lim =
(,)(0,0),= 2 + 2 2 0 2 + 22 2 0 2 (1 + 22 ) 0 1 + 22 1 + 22
Y
2 2 2 1 1
lim 2 2
= lim 2
= lim =
(,)(0,0),=0 + 2 0 2 0 2 2

Como consecuencia vemos que el lmite no existe puesto que hay lmites direccionales que difieren (basta
1
observar que hay lmites direccionales distintos; por ejemplo el ltimo lmite, que vale , y alguno de
2
los otros, por ejemplo para = 0, cuyo valor es 1).

Ejemplo 2.6

1
Calcular los lmites direccionales de la funcin (, ) = en el punto (1, 1).
+1
Estos son:

= ( ), Donde = 1 = 1 luego se tiene que + 1 = ( 1), entonces el lmite

queda expresado de la siguiente manera,
 1 1 1 1
lim = lim = lim =
(,)(1,1),+1=(1) + 1 1 ( 1) 1
Y
1 0
lim = lim = lim 0 = 0
(,)(1,1),=1 + 1 1 y + 1 1

Como consecuencia vemos que el lmite no existe puesto que hay lmites direccionales que difieren
(incluso hay uno que es igual a , para = 0).

Ejemplo 2.7

Comprobar que no existe el siguiente lmite

2
lim (, ) , (, ) =
(,)(0,0) 2 + 4

Definida para (, ) (0, 0), viendo que los lmites direccionales a pesar de ser todos iguales resultan
distintos del lmite a travs del conjunto = 2 . El desarrollo queda como ejercicio.

2.3.4 Lmites Mediante el Cambio a Coordenadas Polares en .

Supongamos que tenemos una funcin : 2 para la que planteamos el lmite en un punto (, ).
Para hacer el lmite lim (, ) podemos probar haciendo el cambio de variable,
(,)(,)

= +
= +

El caso ms sencillo y el que ms habitualmente vamos a utilizar es cuando = 0, = 0, es decir,

cuando estamos con el punto (0, 0), en el que queda de la siguiente manera

=
=
Concretamente se tiene la siguiente relacin

supongamos que existe ( + , + ) = y no depende de [, ]. Si

existe una funcin real de una variable real cumpliendo que () = y de modo que

|( + , + ) | () para todo y para todo [, ], entonces
(, ) = .
(,)(,)

Ejemplo 2.7

3 + 2 2 3 + 2
Para la funcin (, ) = en el punto (0,0). Se tiene que
2 + 2

3 3 + 2 2 23 3 + 2 2
lim (, ) = lim [ ]
0 0 2 2 + 2 2

2 ( 3 + 2 23 + 2 )
lim [ ]
0 2 ( 2 + 2 )
 2 ( 3 23 + 1)
lim [ ] = lim [( 3 23 + 1)] = 1
0 2 . 1 0

Para cualquier , nuestro candidato al lmite es = 1 por lo que buscamos una funcin cumpliendo lo
requerido. Como se tiene que,

|( + , + ) | = |( 3 23 + 1) 1| = | 3 23 |

= | 3 23 | | 3 | + |23 | + 2 = 3

Tomando como () = 3. Se tiene que el lmite

lim () = lim 3 = 0
0 0

Y en efecto existe el lmite de

lim (, ) = 1
(,)(0,0)

3. Continuidad de una Funcin de Varias Variables.

3.1 Continuidad de una Funcin = (, ).

Igual que con las funciones de una sola variable, la continuidad se define en trminos de lmites.

Definiciones:

Una funcin (, ) es continua en un punto (, ) si:

1. est definida en (, ), es decir, que tenga un valor en (, ).

2. lim (, ) existe, es decir, tenga un lmite en (, )
(,)(,)
3. lim (, ) = (, ), es decir, el valor de en (, ) sea igual al lmite en ese punto.
(,)(,)

Una funcin es continua si es continua en todo punto de su dominio. Con base a la percepcin, esto
significa que no presenta saltos o fluctuaciones violentas en (, ).

Igual que con la definicin de lmite, la definicin de continuidad se aplica en puntos fronteras (, ), as
como en puntos interiores de dominio de . El nico requisito es que el punto (, ) permanezca en el
dominio todo el tiempo.

As como las funciones de una sola variable, tambin son continuas, las Sumas, Productos y Cocientes de
funciones continuas (una vez que, el ltimo caso, se evite la divisin entre cero).

Se deduce entonces lo siguiente que:

funciones polinomiales de dos variables son continuas en toda su extensin, dado que son
sumas y productos de las funciones continuas , y , dado que , son constantes. Por
ejemplo: la funcin
(, ) = 5 4 3 2 3 + 4, es continua en todos los puntos del plano .
Funciones Racionales de dos variables son cocientes de funciones polinomiales y, por lo tanto,
son continuas siempre que el denominador no sea cero. Para simplificarlo, por ejemplo:
(, ) = (2 + 3)( 2 4) es continua en toda la extensin del plano , con excepcin
de los puntos de la parbola 2 = 4.
Una funcin continua de una funcin continua, es continua.

3.2 Composicin de Funciones Continuas.

Si una funcin = (, ) es continua en (, ), y = () es una funcin continua en , entonces la

funcin compuesta ( )((, ) = ((, )) es continua en (, ). Por ejemplo:

, , ln(1 + 2 2 )
2+1

Son continuas en todo punto (, ).

Ejemplo 3.1

3+ 6
Sea (, ) = + 5( 2 + 1) demuestre que es continua.

Solucin: (, ) es continua en {(, ): 0}

Ejemplo 3.2

Demuestre que

2
, (, ) (0,0)
(, ) = { 2 + 2
0, (, ) = (0,0)

Es continua en todo punto excepto en el origen.

Solucin: La funcin es continua en cualquier punto (, ) (0,0) porque sus valores estn dados por
una funcin racional de y . En (0,0), el valor de est definido pero , no tiene lmite cuando (, )
(0,0). La razn es que trayectorias de acercamiento diferentes al origen pueden conducir a resultados
diferentes, como lo veremos ahora.

Para cada valor de la funcin tiene un valor constante sobre la recta = , 0, porque

2 2() 2 2 2
(, )= = [ 2 2
] = 2 2
= 2 2 2
=
+ = + () + 1 + 2

Por lo tanto, tiene este nmero como lmite cuando (, ) tiende a (0,0) a lo largo de la recta:

2
lim (, ) =
(,)(0,0),= 1 + 2

Este lmite cambia con . No existe entonces ningn nmero que podamos llamar lmite de cuando
(, ) se acerca al origen. El lmite deja de existir y la funcin no es continua.

Ejemplo 3.3

Estudiar la continuidad de la funcin:

22
, (, ) (0,0)
(, ) = { 2 2 + ( )2
0, (, ) = (0,0)
Solucin: El origen es el punto en el que la definicin de la funcin cambia, por tanto, es en ese punto
donde debemos estudiar si se pierde la continuidad o no. Para ello, estudiamos la existencia del lmite
doble de (, ) en dicho punto.

Planteamos el estudio del lmite en el origen realizando un cambio a coordenadas polares:

=
=
As,
2 2 . 2 2
lim (, ) = lim [ ]=
0 0 2 2 . 2 2 + ( )2

2 2 . 2 2
= lim [ ]=
0 2 2 . 2 2 + 2 2 22 + 2 2

4 ( 2 . 2 ) 2 ( 2 . 2 )
= lim [ ] = = lim [ ]=0
0 2 (2 . 2 . 2 2 + 1) 0 ( 2 . 2 . 2 2 + 1)

As, se concluye que el lmite doble de la funcin vale = 0 y que la funcin dada es continua en (0, 0).

4. Derivadas Parciales de una Funcin de Varias Variables.

La derivada de una funcin de una variable mide la rapidez de cambio de la variable dependiente respecto
a la variable independiente.

Para funciones de dos variables podemos medir dos razones de cambio: segn cambia , dejando
a fija y otra segn cambia dejando a fija.

Supongamos que dejamos variar solo a , dejando a fija, digamos que = , en donde es una
constante. Entonces, estamos en presencia de una funcin de una sola variable , a saber que () =
(, ).

Si tiene una derivada en entonces la llamamos la derivada parcial de con respecto a en (, ). De

forma anloga podemos hacerlo para como variable y fija, es decir, es una constante.

Definicin (Derivada Parcial)

Si = (, ), entonces las derivadas parciales primeras de con respecto a y a son las funciones
respectivamente, definidas mediantes,

( + , ) (, )
= lim
0
(, + ) (, )
= lim
0
Siempre y cuando existan los lmites.

Su derivada para cuando = se llama derivada parcial de con respecto a en (, ) y se denota

como (, ) y esta dada por la expresin.

( + , ) (, )
(, ) = lim
0
Anlogamente, cuando = se llama derivada parcial de con respecto a en (, ) y se denota
como (, ) y esta dada por la expresin.
 ( + , ) (, )
(, ) = lim
0

Esta definicin indica que si = (, ), entonces para calcular consideramos que es constante y
derivamos con respecto a . De forma anloga, para obtener consideramos que es constante y
derivamos con respecto a .

Es evidente que para hallar las derivadas parciales pueden utilizarse las frmulas ordinarias de derivacin.

Notacin de la Derivada Parcial

Si = (, ), usamos las siguientes alternativas de notacin:

(,)
Con respecto a tenemos lo siguiente: = (, ) = = =

(,)
Con respecto a tenemos lo siguiente: = (, ) = = =

El smbolo se llama signo de la derivada parcial.

Si = y = , entonces su notacin es de la siguiente manera:

(, ) = | (, ) = |
(, ) (, )

4.1 Interpretacin Geomtrica de la Derivada Parcial.

Recordemos que la grfica de = (, ) representa una superficie . Si (, ) = , entonces el punto

= (, , ) esta sobre la superficie . El plano vertical = interseca a la superficie en la curva 1 (es
decir 1 , es la traza de la superficie sobre el plano = . De manera semejante, al plano vertical =
interseca a la superficie en la curva 2 . Ambas curvas pasan por el punto .

Observe que la curva 1 es la grfica de la funcin (, ) de manera que la pendiente de su recta

tangente 1 en el punto es `() = (, ). La curva 2 es la grfica de la funcin () = (, ), as
que la pendiente de su tangente 2 en el punto es `() = (, ).

Por consiguiente las derivadas parciales (, ) (, ) pueden interpretarse geomtricamente

como las pendientes de las rectas tangentes a las curvas 1 2 en el punto , respectivamente.
Las derivadas parciales pueden ser vistas como razones de cambio. Si = (, ), entonces representa
la razn de cambio con respecto a , cuando permanece fija. De manera semejante, representa la
razn de cambio con respecto a , cuando permanece fija.

Ejemplo 4.1

Hallar las derivadas parciales en el punto (4, 5), de la siguiente funcin si,

(, ) = 2 + 3 + 1

Para encontrar , consideramos como una constante y derivamos con respecto a :

2
= ( + 3 + 1) = 2 + 3

Como = 4 = 5, tenemos

(4, 5) = 2(4) + 3(5) = 7

Anlogamente, para , consideramos como una constante y derivamos con respecto a :

2
= ( + 3 + 1) = 3 + 1

Como = 4 = 5, tenemos

(4, 5) = 3(4) + 1 = 13

Ejemplo 4.2

Hallar las derivadas parciales de la funcin de tres argumentos

= 3 2 + 2 3 + + 5

Solucin:

= 3 2 2 + 2; = 2 3 3; = 3 2 + 1.

Ejemplo 4.3

Encuentre si (, ) = .

Solucin:

= () = . () + . ()


= () () + = + .

Ejemplo 4.4

2
Encuentre si (, ) =
+

( + )
= 2. ( )
( + )2

= 2. ( )
( + )2

2
=
( + )2

Ejemplo 4.5

Halle la ecuacin de la recta tangente a la curva que se obtiene de la interseccin del paraboloide = 4
2 2 y el plano = 1, cuando = 12.

Solucin: En este caso la pendiente de la recta esta dada por el valor de la derivada parcial en
(12, 1)

1
= 2 = ( , 1) = 1
2

1 1 2 11 1 11
Como ( , 1, ? ), entonces tenemos que = 4 ( ) (1)2 = , luego ( , 1, )
2 2 4 2 4

1 11
Como la recta es = + , = 1, pero pasa por el punto ( , 1, ) y as
2 4

11 1 13
= + = + =
4 2 4

Luego la recta tangente

13
= +
4

Las ecuaciones paramtricas de la recta tangente son:

=
={ =1
= + 134

4.2 Derivadas Parciales de Segundo Orden.

Cuando diferenciamos una funcin (, ) dos veces, producimos sus derivadas de segundo orden. Estas
derivadas son usualmente denotadas por

2
; .
2

2
; .
2

2
; .

Tambin se puede leer: la segunda derivada de de la derivada de con respecto a

2
;

Tambin se puede leer: la segunda derivada de de la derivada de con respecto a

Estas dos ltimas son llamadas derivadas parciales mixtas.

Las ecuaciones que las definen son

2 2
2
= ( ), = ( )

Y as, sucesivamente. Note el orden en que se toman las derivadas:

2
,

Ejemplo 4.6

Calcule las segundas derivadas parciales de (, ) = 3 + 2 2 + 3

Solucin: Las primeras derivadas son:

= 3 2 + 2 2 , = 2 2 + 3 2

Entonces tenemos que

2 2
= 6 + 2 2 , = 2 2 + 6
2 2

2 2
= 6, =6

Nota: Note que las derivadas parciales mixtas en el ejemplo anterior son iguales. Esto no es una casualidad
y en la mayora de los casos prcticos se da. El siguiente teorema, da las condiciones bajo las cuales
podemos afirmar que esta igualdad se da.

Teorema: (Igualdad de las Derivadas Mixtas).

Sea : una funcin escalar donde es un disco abierto con centro en (, ) y radio ,
entonces si las funciones 2 2 son continuas en , entonces

2 2
(, ) = (, )

Es decir, la funcin (, ) es continua en su dominio.

5. Diferenciabilidad.

Despus del estudio de los lmites de funciones de dos variables retomamos la discusin sobre
diferenciabilidad, y aprovechamos para fijar en una definicin y un teorema lo que hemos avanzado hasta
ahora.

Definicin.

La funcin = (, ) es diferenciable en el punto = (, ) si existen unos nmeros tales que

(, ) ((, ) + ( ) + ( ))
lim =0
(,)(,) ( )2 + ( )2

En ese caso diremos que el plano = (, ) + ( ) + ( ) es el plano tangente a la grfica de

en (, ).

Teorema.

Para que la funcin sea diferenciable en (, ) es necesario que existan sus derivadas parciales en ese
punto. Y en ese caso el plano tangente es el plano,

= (, ) + ( ) . ( ) + ( ) . ( )
(,) (,)

Por supuesto, se puede usar directamente la definicin para probar que una funcin es diferenciable en
un punto. Para ello:

Debemos empezar por calcular las derivadas parciales en ese punto (ya sea mediante las reglas
derivacin, o usando la definicin si no es posible aplicar las reglas).

Despus debemos demostrar que se cumple.

(, ) ((, ) + ( ) . ( ) + ( ) . ( ))
(,) (,)
lim =0
(,)(,) ( )2 + ( )2

Veamos un ejemplo elemental de demostracin

Ejemplo 5.1

La funcin (, ) = 2 + 2 2 es diferenciable en el punto (, ) = (1,2)?

En efecto, en primer lugar sus derivadas parciales existen y valen

= 2 ( ) = 2, = 4 ( ) =8
(1,2) (1,2)

As que el nico candidato posible a ser el plano tangente es

= (1,2) + ( ) . ( 1) + ( ) . ( 2) = 9 + 2( 1) + 8( 2)
(1,2) (1,2)

Y para demostrar que es diferenciable tenemos que demostrar que se cumple

( 2 + 2 2 ) (9 + 2( 1) + 8( 2))
lim =0
(,)(1,2) ( 1)2 + ( 2)2

( 2 + 2 2 ) (9 + 2 2 + 8 16)
lim =0
(,)(1,2) ( 1)2 + ( 2)2

( 2 + 2 2 ) (2 + 8 9)
lim = 0, .
(,)(1,2) ( 1)2 + ( 2)2

( 2 2 + 1) + 2( 2 4 + 4)
lim = 0, ,
(,)(1,2) ( 1)2 + ( 2)2

( 1)2 + 2( 2)2
lim =0
(,)(1,2) ( 1)2 + ( 2)2

Para demostrar esto, empezamos por trasladar el problema al origen mediante el cambio de variables
= 1 = 2. De esa forma se trata de demostrar que

()2 + 2()2
lim =0
(,)(0,0) ()2 + ()2

Luego por coordenadas polares nos queda

2 2 + 22 2 2 ( 2 + 22 )
lim = 0 lim =0
0 2 2 + 2 2 0

lim 2 + 22 = 0
0

Luego | 2 + 22 0| () | 2 + 22 | () () = + 2 = 3

Entonces lim 3 = 0
0

Luego es diferenciable en (, ) = (1,2)

6. Regla de la Cadena para funciones de varias Variables.

Para funciones de ms de una variable la regla de la cadena tiene varias versiones que dan la regla de
diferenciacin de la composicin de funciones para diferentes casos.

Primer Caso: Supongamos una funcin de dos variables (, ) donde a su vez cada una de estas variables
dependen de una variable . Esto significa que es tambin una funcin que depende indirectamente de
:

= ((), ())

Supongamos que es una funcin diferenciable. La regla de la cadena que nos da la diferencial de como
funcin de es:

= . + .

rbol de Dependencia:
x t

y t

Ejemplo 6.1

Si = (, ) = 2 4 3 , donde = 3 = , la diferencial de respecto de ser:

1
= . + . = (2 3 4 2 )3 2 ( 2 4 3 3 ).

Sustituyendo los valores de en funcin de :

1
= (2 3 3()4 6 )3 2 ( 6 4()3 9 ). = 6 5 9 8 4 5 + 4 8 3

Otra forma de calcular es expresar como funcin de y luego derivar. (Queda como ejercicio).

Segundo Caso: considerando ahora el caso donde = (, ) es una funcin diferenciable y donde a su
vez = (, ) = (, ) son funciones diferenciables de . Entonces:

= . + .

= . + .

rbol de Dependencia:
s

x
t
Z
s
y

Ejemplo 6.2

Si = (, ) = 2 4 3 , donde = 3 + 2 = . , las derivadas parciales de respecto de

son:

= . + . = (2 3 4 2 )2 ( 2 4 3 3 ).

= . + . = (2 3 4 2 )3 2 ( 2 4 3 3 ).

Sustituyendo los valores de en funcin de :

= 2[( 3 + 2). . 3(. )4 ( 3 + 2)2 ] [( 3 + 2)2 4(. )3 ( 3 + 2)3 ].

= [( 3 + 2). . 3(. )4 ( 3 + 2)2 ]3 2 [( 3 + 2)2 4(. )3 ( 3 + 2)3 ].

7. Derivadas Implcitas de una Funcin de Varias Variables

Definicin:

Supongamos que (, ) es diferenciable y que la funcin (, ) = 0, define a como una funcin

diferenciable en . Entonces, en cualquier punto donde 0,

Ejemplo 7.1: Encuentre si 2 + 2 = 0

2
=
2
 Ejercicios Propuestos

2
w w w
2 2
1 1
1. w , demostrar que : 4
x2 y2 z2 x y z w
y x 2z x2 y2
2. z x 2 arctg y 2 arctg , : 2
x y xy x y 2

x z z x. y
3. z x. y , : x y
y x y x
x. y
y

x x z z
4. z ln tg , : 0
y y x y

2 z 1 z 1
5. z
2
y2 z2 , : x 2
x x y y z

x2 y2 2z 2z z
6. z , : x y 2
x y x 2 xy y

2z 2z
7. z y ax y ax , : a 2 0
x 2 y 2

z z
8. z by ax e ax by senby ax , : b a
x y

x y
x y z z
9. z e sen e x cos
y
, : x y 0
y x x y

10. :

y2
2 1

2 2
x y 2
y 2 x 2 0 ; : dy y x y
2

x y
2 2
dx x x 2
2 1
x y 2 2

11. :

dy y 2 ln x 1
xy yx , :
dx x 2 ln y 1

y x 2z 2z
12. z x 2 arctg y 2 arctg , : 0,
x y x 2 y 2
.

cos y
13. z ln , :
cos x

z 2 2 z z z 2 z z 2 z
2
1 . 2 1 . 0
y x 2 x y xy x y 2

14. Dada w xy yz xz , x s cos t , y s sent , z t , hallar la derivada total .

s sen2t t sent cos t , s 2 cos 2t st cos t sent s sent cos t

:
dw dw
ds dt

15. Hallar la derivada total de z x 2 xy 2 yx 2 y 2 ; x et senr ; y cos t e r

16.- Encuentre los lmites en los siguientes ejercicios.

2 2 + 2 +4 + 2 2
lim ; lim ; lim
(,)(1,1) (,)(2,4) 2 + 4 2 4 (,)(0,0)

17.- Considere diferentes trayectorias de acercamiento y demuestre que las siguientes funciones de los
ejercicios dados no tienen lmites cuando (, ) (0,0).

4 4 + 2
(, ) = ; (, ) = ; (, ) =
2 + 2 4 + 2 4 2

Si puede graficar trate de hacerlo.

18.- En los ejercicios siguientes, encuentre el lmite de cuando (, ) (0,0) o muestre que el lmite
no existe. (Usar cambio de variable en coordenadas polares).

3 2 3 3 ||+|| 3 2 2 2 +3 2
(, ) = ; (, ) = ( ) ; (, ) = ( ) ; (, ) = ( )
2 + 2 2 + 2 2 + 2 2 + 2

19.- Encuentre los lmites de las siguientes funciones vectoriales, de 2 2 , tal que

4 1
lim ( , ) ; lim ( , 1 + 2 )
(,)(0,0) 2 + 1 (,)(0,0)
20.- En los siguientes ejercicios encuentre la diferenciabilidad de la funcin en cada punto

1. (, ) = 2 + 2 + 1 ) (0,0) ) (1,1)

2. (, ) = ( + + 2)2 ) (0,0) ) (1,2)

3. (, ) = ) (0,0) (0, 2)

4. (, ) = 2 ) (0,0) ) (1,2)