9.

FUNCIONES IMPLÍCITAS
De…nición 1 Dada una función f : D Rn ! Rn , si f es diferenciable en a 2 D0 , llamamos jacobiano de f
en a, y lo denotamos por Jf (a) ; al determinante de la matriz jacobiana de f en a. Es decir:
0 @f1 @f1 1
@x1 (a) @xn (a)
0 B .. .. .. C y1 y2 yn
Jf (a) = det f (a) = det @ . . . A= J
@fm @fm
x1 x2 xn a
@x1 (a) @xn (a)

Proposición 1 Si f : Rn ! Rn , f (x) = x, entonces Jf (a) = 1, 8x 2 Rn . El jacobiano de la función identidad

es uno.

Proposición 2 Si f : D1 Rn ! Rn , diferenciable en a 2 D1 y g : D2 Rn ! Rn , diferenciable en

b = f (a) 2 D2 , entonces Jg f (a) = Jg (b) Jf (a)

1
Proposición 3 Si f : D Rn ! Rn , diferenciable en a 2 D y existe f : Im f Rn ! Rn , diferenciable
en b = f (a), entonces Jf (a) Jf 1 (b) = 1. El jacobiano de una función inversa es el inverso del jacobiano de la
función.

Se dice que y es una función implícita de x 2 N (x0 ) R, cuando existe una relación entre ellas del tipo
F (x; y) = 0 de tal manera que satisface F (x; f (x)) = 0, 8x 2 Np(x0 ). A veces es posible transformarla en
explícita. Por ejemplo, si F (x; y) = y 3 + x3 1 = 0; entonces y = 3 1 x3 existe en todo punto, por lo tanto,
existe y = f (x) 8x 2 R. Sin embargo, no siempre existe la función explícita, y si existiera, muy pocas veces se
puede conocer la expresión explícita de la función de…nida implícitamente.
Se puede pensar en una expresión polinómica de grado superior a cinco en y, o del tipo trascendente tal
como:
F (x; y) = x 2 ln x + y 2 ln y = 0
Enseguida veremos que aunque en esta función implícita no es posible despejar y como una función de x, ésta
existe (y también existe x como una función de y).
Existe otra clase de problemas. Supongamos la relación F (x; y) = x2 + y 2 + 1 = 0, no existe ningún par
(x; y) del plano que la satisfaga, en consecuencia no existe y = f (x). Así, debe siempre existir al menos un punto
donde la relación se cumpla, pues si no, el problema carece de sentido.
En resumen, una ecuación F (x; y) = 0 puede o no de…nir una función y = f (x) o x = g(y) y en caso de
existir alguna de estas funciones, puede o no ser posible expresar a una de las variables como función explícita
de la otra.
Ahora bien, este problema podemos encararlo desde otro punto de vista: resolver la ecuación en dos variables
F (x; y) = 0. Supongamos que conocemos una solución a = (a; b) con F (a; b) = 0, ¿existen otras soluciones
(x; y) próximas a (a; b) de manera tal que podamos hallar una curva y = f (x)?. Si la respuesta es a…rmativa, se
obtendría una “curva de soluciones” de F (x; y) = 0 en las proximidades de (a; b) : Consideremos F diferenciable
en (a; b), es decir

(x)
0 = F (x; y) = F (x; y) F (a; b) = F 0 (a)(x a) + (x) con l m =0
x!a jjx ajj
@F (a; b) @F (a; b) (x)
0 = (x a) + (y b) + (x) con l m =0
@x @y x!a jjx ajj

(x)
y en las proximidades de (a; b) ; como l m = 0, puede sustituirse a F por su aproximación lineal, que
x!x0 jjx ajj
es
@F @F
0 = (x a) (a; b) + (y b) (a; b) ; 8x 2 N (a)
@x @y
existe y como una función de x de…nida a través de F (x; y) = 0, si se cumple

@F
F (a; b)
J 6= 0 ) y = b @x (x a)
y a
@F
(a; b)
@y
1
en términos de jacobiano:
F
F J x a
J 6= 0 ) y = b (x a)
y a J F
y
a
Hemos ensayado aquí cómo resolver un caso sencillo de una función de dos variables. Enunciaremos ahora el
teorema para funciones en general, sin demostración.

Teorema 1 Existencia y unicidad de las funciones implícitas

Dada F : D Rn+k ! Rk ; n; k 2 N, D un n k
8 conjunto abierto a 2 R ; b 2nR ; (a; b) 2 D tal qu·
e, si
k
1
i) F 2 C en N 1 (a; b) D >
> 9 2 > 0 y 9!g :
8 2N (a) R ! R
<
ii) F (a; b) = 0 < i) g 2 C 1 en N 2 (a)
entonces
iii) J Fy11 :::y
:::Fk
6= 0 >
> y se cumple: ii) g(a) = b
: :
k (a;b) iii) F (x; g(x)) = 0; 8x 2 N 2 (a)

Observación 1 g es la función implícita que está en F (x; y) = 0.

Observación 2 El jacobiano que no debe anularse es el de las k funciones coordenadas de F , respecto a las k
variables que en la tesis serán la variables dependientes.

Observación 3 El teorema es una condición su…ciente pero no necesaria, por ejemplo F (x; y) = x3 y 3 , en
un entorno de (0; 0) no cumple con las hipótesis del teorema pues Fy (0; 0) = 0; sin embargo existe y = g(x) = x
tal que F (x; g(x)) = 0 para cualquier x 2 N (0; 0). Del mismo modo, aunque Fx (0; 0) = 0, existe h(y) = x tal
que F (h(y); y) = 0 para cualquier y 2 N (0; 0): Observe que las derivadas de g y h son ambas continuas.

Observación 4 Si bien el teorema no permite encontrar la función g de la que asegura su existencia, permite,
sin embargo, calcular las derivadas de g. La ventaja es que, conociendo las derivadas primeras, se puede
aproximar en forma lineal la función g en un entorno de (a; b) usando el teorema de los incrementos …nitos.

Ejemplo 1 Dada F (x; y) = x2 + xy + y 2 1 = 0, aplicar el teorema de las funciones implícitas para determinar
dy
si es posible hallar y como función de x, en un entorno de (0; 1); y en ese caso, hallar dx :
0
Solución: Se veri…can las hipótesis del teorema de la función implícita pues
i) F (0; 1) = 02 + 0;1 + 12 1 = 0
ii) Fx = 2x + y ^ Fy = 2y + x ) F 2 C 1 en R2
F
iii) J y = Fy j(0;1) = 2y + xj(0;1) = 2 6= 0
(0;1)
Entonces existe una función g tal que g(0) = 1; F (x; g(x)) = 0; 8x 2 N (0) y además, g 2 C 1 en N (0); con lo
dy
cual g es diferenciable en un entorno de 0. La derivada dx es, usando la regla de la cadena:
0

G F
x 7 ! (x; g(x)) 7 ! F (x; g(x))
R ! R2 ! R

es decir que F G : N (0) R ! R, es una función diferenciable en x = 0 y por la tesis del teorema 8x 2 N (0);
0
F G (x) = F G(x) = F (x; g(x)) = 0; entonces F G (0) = 0 y
0 1 0 1
1 1
0
0 = F 0 (G(0)) G (0) = Fx Fy (0;g(0)) @ A = 2x + y 2y + x
(0;1)
@ A
g 0 (x) 0
g 0
(0)
0 1
1
) 1 2 @ A = 0 ) 1 + 2g 0 (0) = 0 ) dy = g 0 (0) = 1
dx 0 2
g 0 (0)

@z
Ejemplo 2 Dada F (x; y; z) = 0 dar condiciones su…cientes para que en un entorno de (x0 ; y0 ; z0 ) exista :
@x
Solución:En este caso no se explicita la variable dependiente, pero al pedir que se pueda derivar z con respecto
a x, se observa que z debe ser la variable dependiente y por lo tanto x e y son variables independientes. La
hipótesis del teorema se formula:
i) Fx ; Fy ; Fz continuas en un entorno de (x0 ; y0 ; z0 )
ii) F (x0 ; y0 ; z0 ) = 0:
iii) J Fz (x0 ;y0 ;z0 ) = Fz (x0 ; y0 ; z0 ) 6= 0

2
La tesis a…rma que existe una función diferenciable g : N (x0 ; y0 ) R2 ! R tal que 8(x; y) 2 N (x0 ; y0 ) se
cumple g(x0 ; y0 ) = z0 y F (x; y; g(x; y)) = 0: Considerando el siguiente esquema y aplicando la regla de la cadena

G F
(x; y) 7 ! (x; y; z) = (x; y; g(x; y)) 7 ! F (x; y; g(x; y))
R2 ! R3 ! R
0
Luego 8(x; y) 2 N (x0 ; y0 ); F (x; y; g(x; y)) = 0 ) F G (x; y) = 0 ) F G (x0 ; y0 ) = 0 0 : Como
0 1
1 0
0
F 0 (G(x0 ; y0 )) G (x0 ; y0 ) = 0 0 ) Fx Fy Fz @ 0 1 A = 0 0
(x0 ;y0; z0 ) @g @g
@x @y (x0 ;y0 )

se
8 obtiene así el sistema @g
< Fx (x0 ; y0; z0 ) + Fz (x0 ; y0; z0 ) @x (x0 ; y0 ) = 0
cuya solución es
: @g
Fy (x0 ; y0; z0 ) + Fz (x0 ; y0; z0 ) @y (x0 ; y0 ) = 0
8
>
> F
>
> Fx (x0 ; y0; z0 )
J
>
> @z @g x
>
> @x (x0 ; y 0 ) = @x (x0 ; y 0 ) = =
>
> Fz (x0 ; y0; z0 ) F
>
< J
z (x0 ;y0; z0 )
>
> F
>
> J
>
> @z @g Fy (x0 ; y0; z0 ) y
>
> @y (x0 ; y 0 ) = @y (x0 ; y 0 ) = =
>
> Fz (x0 ; y0; z0 ) F
>
: J
z (x0 ;y0; z0 )

Notar que para que existan estas derivadas se necesita que Fz (x0 ; y0 ; z0 ) 6= 0, lo cual está asegurado en la
hipótesis.

Ejemplo 3 Aplicar el teorema de las funciones implícitas para F (x; y; z) = xy 2 z + x3 z 2 en un entorno de

@z
( 1; 1; 1) exista . Hallar todas las derivadas segundas de z = z (x; y) en el ( 1; 1).
@x
F1 (x; y; z) = 0
Ejemplo 4 Dado el sistema , dar condiciones su…cientes para que en un entorno de (x0 ; y0 ; z0 )
F2 (x; y; z) = 0
dy dz
exista dx y dx en x0 :
Solución: En este caso hay 3 variables y 2 funciones, entonces hay una variable libre, x, y dos variables de-
pendientes, y y z:
Las condiciones a veri…car son

i) F1 (x0 ; y0 ; z0 ) = 0 ^ F2 (x0 ; y0 ; z0 ) = 0
ii) F1x ,F1y ; F1z ; F2x ; F2y ; F2z sean continuas en un entorno de (x0 ; y0 ; z0 )
F1 F2
iii) J yz 6= 0
(x0 ;y0 ;z0 )

Con estas condiciones existe una función diferenciable g : N (x0 ) R ! R2 tal que g(x0 ) = (y0 ; z0 ): y
8x 2 N (x0 ); (F1 (x; g(x)); F2 (x; g(x))) = 0 . Se aplica la regla de la cadena

G F
x 7 ! (x; y; z) = (x; g(x)) 7 ! (F1 (x; g(x)); F2 (x; g(x)))
R ! R3 ! R2

Como (F1 (x; g(x)); F2 (x; g(x))) = 0 8x 2 N (x0 )

0 1
0
0 0 0
F G (x) = 0; 8x 2 N (x0 ) ) F G (x0 ) = F (G(x0 )) G (x0 ) = @ A
| {z }| {z } 0
3 1
2 3
0 1 0 1
1 0
F1x F1y F1z @ A
dy
dx
=@ A
F2x F2y F2z dz
(x0 ;y0; z0 )
dx x0
0

3
 8 dy dz
< F1x (x0 ; y0; z0 ) + F1y (x0 ; y0; z0 ) dx (x0 ) + F1z (x0 ; y0; z0 ) dx (x0 ) = 0
: dy dz
F2x (x0 ; y0; z0 ) + F2y (x0 ; y0; z0 ) dx (x0 ) + F2z (x0 ; y0; z0 ) dx (x0 ) = 0
dy dz
Este es un sistema de 2 ecuaciones con dos incógnitas, dx (x0 ); dx (x0 );que tendrá solución única si el determi-
nante de este sistema es distinto de cero, esto es
F1y (x0 ; y0; z0 ) F1z (x0 ; y0; z0 )
det 6= 0
F2y (x0 ; y0; z0 ) F2z (x0 ; y0; z0 )
F1 F2
pero esto está contemplado en la hipótesis pues se pide que J yz 6= 0; con esta condición se puede,
(x0 ;y0 ;z0 )
aplicando la regla de Cramer, despejar las incógnitas del sistema
F1x (x0 ; y0; z0 ) F1z (x0 ; y0; z0 )
det J F1 F 2
dy F2x (x0 ; y0; z0 ) F2z (x0 ; y0; z0 ) xz (x0 ;y0 ;z0 )
(x0 ) = =
dx F1y (x0 ; y0; z0 ) F1z (x0 ; y0; z0 ) J F1 F2
det yz
F2y (x0 ; y0; z0 ) F2z (x0 ; y0; z0 ) (x0 ;y0 ;z0 )

F1y (x0 ; y0; z0 ) F1x (x0 ; y0; z0 )

det J Fyx
1 F2
dz F2y (x0 ; y0; z0 ) F2x (x0 ; y0; z0 ) (x0 ;y0 ;z0 )
(x0 ) = =
dx F1y (x0 ; y0; z0 ) F1z (x0 ; y0; z0 ) F1 F2
J yz
det
F2y (x0 ; y0; z0 ) F2z (x0 ; y0; z0 ) (x0 ;y0 ;z0 )
8
< F1 (x; y; z; t; u) = 0
Ejemplo 5 Dado el sistema F2 (x; y; z; t; u) = 0 , dar condiciones su…cientes para que en un entorno de
:
F3 (x; y; z; t; u) = 0
@z @z
(x0 ; y0 ; z0 ; t0 ; u0 ) existan y :
@x (x0 ;y0 ) @y (x0 ;y0 )
% x
Solución:En este caso son 5 variables y 3 funciones, con lo cual hay 2 variables libres y tres variables
& y
% z
dependientes ! t . Las condiciones a veri…car son:
& u
i) (F1 ; F2 ; F3 ) (x0 ; y0 ; z0 ; t0 ; u0 ) = (0; 0; 0)
F1x ; F1y ; F1z ; F1t ; F1u
ii) F2x ; F2y ; F2z ; F2t ; F2u sean continuas en un entorno de (x0 ; y0 ; z0 ; t0 ; u0 )
F3x ; F3y ; F3z ; F3t ; F3u
F1 F2 F3
iii) J 6= 0
ztu (x0 ;y0 ;z0 ;t0 ;u0 )
Con estas condiciones existe una función diferenciable g : N (x0 ; y0 ) R2 ! R3 tal que g(x0 ; y0 ) = (z0 ; t0 ; u0 )
y 8(x; y) 2 N (x0 ; y0 ); (F1 (x; y; g(x; y)); F2 (x; y; g(x; y)); F3 (x; y; g(x; y))) = 0: Aplicando la regla de la cadena
G F
(x; y) 7 ! (x; y; z; t; u) = (x; y; g(x; y)) 7 ! (F1 (x; y; g(x; y)); F2 (x; y; g(x; y)); F3 (x; y; g(x; y)))
R2 ! R5 ! R3

Como 8(x; y) 2 N (x0 ; y0 )_ : (F1 (x; y; g(x; y)); F2 (x; y; g(x; y)); F3 (x; y; g(x; y))) = 0 entonces, 8(x; y) 2 N (x0 ; y0 )_
se cumple 0 1
0 0
0
F G (x; y) = 0 ) F G (x0 ; y0 ) = @ 0 0 A
0 0
0 1
1 0
0 1 B 0 1 C 0 1
F1x F1y F1z F1t F1u B @g C 0 0
0 0 B 1 @g1 C
F (G(x0 ; y0 )) G (x0 ; y0 ) = @ F2x F2y F2z F2t F2u A B @x @y C =@ 0 0 A
| {z } | {z } B @g2 @g2 C
5 2
F 3x F 3y F 3z F 3t F3u (x0 ;y0 ;z0 ;t0 ;u0 ) @ @x @y A 0 0
3 5 @g3 @g3
@x @y (x0 ;y0 )
8 8 @g1 @g2 @g3
@g @g @g
< F1x + F1z @x1 + F1t @x2 + F1u @x3 = 0 >
< F1y + F1z @y + F1t @y + F1u @y = 0
I F + F2z @x + F2t @x + F2u @g
@g1 @g2
@x = 0
3
II F2y + F2z @g @g2 @g3
@y + F2t @y + F2u @y = 0
1

: 2x @g1 @g2 @g3 >

: F + F @g1 + F @g2 + F @g3 = 0
F3x + F3z @x + F3t @x + F3u @x = 0 3y 3z @y 3t @y 3u @y

4
Este es un sistema de 6 ecuaciones con 6 incógnitas, @g 1 @g2 @g3 @g1 @g2 @g3
@x ; @x ; @x ; @y ; @y ; @y (x0 ; y0 ); que tiene solución única
F1 F2 F3
pues en la hipótesis se pide que J 6= 0; con esta condición se puede, aplicando la
ztu (x0 ;y0 ;z0 ;t0 ;u0 )
@z
regla de Cramer, despejar las incógnitas del sistema, pero en este caso sólo deseamos encontrar =
@x (x0 ;y0 )
@g1 @z @g2
y =
@x (x0 ;y0 ) @y (x0 ;y0 ) @y (x0 ;y0 )
0 1
F1x F1t F1u
det @ F2x F2t F2u A F1 F2 F3
J
@z @g1 F3x F3t F3u xtu
= = 0 1 =
@x (x0 ;y0 ) @x (x0 ;y0 ) F1z F1t F1u F1 F2 F3
J
det @ F2z F2t F2u A ztu (x0 ;y 0 ;z 0 ;t0 ;u0 )
F3z F3t F3u
0 1
F1y F1t F1u
det @ F2y F2t F2u A F1 F2 F3
J
@z @g2 F3y F3t F3u ytu
= = 0 1 =
@y (x0 ;y0 ) @y (x0 ;y0 ) F1z F1t F1u F1 F2 F3
J
det @ F2z F2t F2u A ztu (x0 ;y 0 ;z 0 ;t0 ;u0 )
F3z F3t F3u

10. FUNCIÓN INVERSA

Teorema 2 Existencia de la función inversa
Si f : D Rn ! Rn , a 2 D0 tal que, si 8
>
> existen en Rn dos conjuntos abiertos U y V tales que:
>
>
>
> i) a 2 U ^ f (a) 2 V
<
i) f 2 C 1 en un entorno de a ii) f U : U ! V es biyectiva
entonces
ii) Jf (a) 6= 0 >
>
1
iii) f 2 C 1
>
>
>
> 1 0 1
: iv) f b = f (a) , b = f (a)

Ejemplo 6 Dada f : D R2 ! R2 , de…nida por f (r; ) = (r cos ; r sen ) = (x; y) ; siendo D = [0; 1) [0; 2 ]
1
decidir en qué puntos de D, existe f que sea diferenciable.
Solución: Como f 2 C 1 en (r0 ; 0 ) 2 D, se calcula:
@x @x
@r @ cos 0 r0 sen 0
Jf (a) = det @y @y = det = r0
@r @ (r0 ;
sen 0 r0 cos 0
0)

1 p
y la única condición para que exista f es que r0 6= 0: Por ejemplo, si (r0 ; 0 ) = 2; =4 existe la inversa de
f y es diferenciable. La matriz derivada asociada al diferencial en dicho punto es
p 1 p ! 1 p p
0 p 0 p 1 2 2 2
1
cos 4 p 2 sen 4 p2
1
f (f ( 2; =4)) = f ( 2; =4) = = 2
= 2
1
2
1
sen 4 2 cos 4 2 1 2 2

Entonces: 0 1
@r @r p p
0 p 0 2 2
1 1
B @x @y C
f (f ( 2; =4)) = f (1; 1) = @ @ @ A = 2
1
2
1
2 2
@x @y (1;1)

En general si f : D R2 ! R2 , tal que f (x; y) = (u; v); para que exista localmente, función inversa diferenciable,

5
debe comprobarse que:
i) f 2 C 1 ;en un entorno de (x0 ; y0 ).
0 1
@u @u
B @x @y C
ii) Jf (x0 ;y0 ) 6 0 ) det @ @v
= @v A 6= 0
@x @y (x0 ;y0 )

Con esto se puede asegurar la existencia en forma local de la función inversa y se puede calcular la matriz
derivada de dicha inversa.