Leccion 20

Funcin implcita

20.1. Planteamiento del problema

Puede decirse que el teorema de la funcin inversa nos permite resolver localmente ciertos
sistemas de ecuaciones. Para usar la misma notacin que en la generalizacin que buscamos,
intercambiamos los nombres de las variables. Dada una funcin f = ( f1 , f2 , . . . , fN ) : RN ,
donde es un abierto de RN , consideramos el sistema de N ecuaciones
f1 (y1 , y2 , . . . , yN ) x1 = 0
f2 (y1 , y2 , . . . , yN ) x2 = 0
(1)
... ... ... ... ... ...
fN (y1 , y2 , . . . , yN ) xN = 0

en las 2N variables reales x1 , x2 , . . . xN , y1 , y2 , . . . , yN , con la condicin y = (y1 , y2 , . . . , yN ) .

Es ms cmodo escribir tambin x = (x1 , x2 , . . . , xN ) RN , con lo que el sistema se resume en
una sola ecuacin vectorial
f (y) x = 0 (2)
en dos variables vectoriales, cuyas soluciones son pares (x, y) RN tales que f (y) = x .
El problema que nos interesaba era tratar de invertir la funcin f , que es tanto como expresar
y como funcin de x , es decir, intentar que la igualdad (2) sea equivalente a una igualdad de
la forma y = g(x) para conveniente funcin g . Digamos que resolver la ecuacin (2) con y
como incgnita, o lo que es lo mismo, resolver en sistema (1), en las incgnitas y1 , y2 , . . . , yN ,
es tanto como encontrar la funcin g .
Olvidando cuestiones de diferenciabilidad, esto es fcil cuando f es inyectiva, y el resultado
se puede expresar como una equivalencia del tipo indicado, con g = f 1 :

(x, y) RN , f (y) x = 0 x f () , y = f 1 (x) (3)

Podemos decir que hemos resuelto globalmente la ecuacin (2) , pues en ambos miembros
aparecen todas sus soluciones o, si se quiere, la funcin g est definida en el conjunto ms
grande posible.

126
20. Funcin implcita 127

Como f no tiene por qu ser inyectiva, en general slo resolvemos localmente la ecuacin
(2) , gracias al teorema de la funcin inversa (local). Partiendo de una solucin (a, b) de la
ecuacin (2) , es decir, b y a = f (b) , y con adecuadas hiptesis sobre f , el teorema nos
da dos abiertos V y U de RN , con b V , tales que la restriccin de f a V es una biyeccin
de V sobre U. Escribamos este resultado de forma que pueda compararse con (3) . Tomando
W = U V tenemos un abierto de RN RN tal que (a, b) W RN y si g : U V es la
funcin inversa de la restriccin de f a V , hemos obtenido:
(x, y) W , f (y) x = 0 x U , y = g(x) (3 0 )
Obsrvese por qu esta equivalencia slo resuelve localmente la ecuacin (2) . A diferencia de
(3) , la funcin g no est definida en el conjunto ms grande posible f () , sino solamente
en el abierto U , un entorno del punto a , que est contenido en f () . Este carcter local del
resultado tambin se refleja en el primer miembro de (3 0 ) , pues en l no aparecen todas las
soluciones de la ecuacin (2) , sino solamente las que pertenecen a W = U V , un entorno de
la solucin de partida (a, b) .
Pues bien, hacemos ahora un planteamiento mucho ms ambicioso, sustituyendo la ecuacin
(2) por otra ms general, que ser de la forma
F(x, y) = 0 (4)
donde x e y son variables vectoriales, en principio independientes, y queremos saber hasta
qu punto esta igualdad equivale a expresar una de ellas como funcin de la otra, tanto da si
queremos y como funcin de x o a la inversa, pues la asimetra ha desaparecido.
Ntese que seguimos trabajando con sistemas de ecuaciones, as que (4) ser la ecuacin
vectorial que resuma un sistema de, digamos M ecuaciones, luego la funcin F tomar valores
en RM y tendr M componentes: F = (F1 , . . . , FM ). El sistema ser formalmente indeterminado,
es decir, con ms incgnitas que ecuaciones, lo que significa que F ser funcin de, digamos
N + M variables reales, es decir, estar definida en un abierto RN+M = RN RM . Ntese
que el nmero de incgnitas ya no tiene por qu ser el doble que el de ecuaciones, es decir,
podemos tener M 6= N . Como disponemos de M ecuaciones, podemos aspirar a despejar M
incgnitas que, sin perder generalidad pueden ser las M ltimas, denotadas por y1 , . . . , yM , a las
que queremos expresar como funciones de las N primeras, que sern x1 , . . . , xN .
As pues, tenemos el sistema de M-ecuaciones
F1 (x1 , . . . , xN , y1 , . . . , yM ) = 0
F2 (x1 , . . . , xN , y1 , . . . , yM ) = 0
(5)
... ... ... ... ... ...
FM (x1 , . . . , xN , y1 , . . . , yM ) = 0
con N + M incgnitas, que escribiendo x = (x1 , . . . , xN ) RN e y = (y1 , . . . , yM ) RM se
resume en la ecuacin vectorial (4) , en la que nos centramos a partir de ahora. Sus soluciones
son pares (x, y) tales que F(x, y) = 0 .
Pretendemos ahora que la igualdad F(x, y) = 0 sea equivalente a una igualdad de la forma
y = (x) para conveniente funcin . Digamos que resolver la ecuacin (4) es tanto como
encontrar la funcin .
20. Funcin implcita 128

Claramente, este problema es mucho ms general que el de la funcin inversa, luego no

debemos esperar nada mejor que lo obtenido en ese caso particular. Dicho de otra forma, no
podemos aspirar a resolver globalmente la ecuacin (4) , sino tan slo localmente. Comparando
con la ecuacin (2) , no podemos esperar una equivalencia anloga a (3) sino a (3 0 ) . Para ello
debemos disponer de una solucin de partida, es decir, de un par (a, b) tal que F(a, b) = 0 ,
cuya existencia no est ahora garantizada. Supondremos que tal solucin existe, pues en otro
caso, el conjunto de soluciones de la ecuacin (4) es vaco y no hay nada que estudiar.
Nuestro objetivo es, por tanto, encontrar un abierto W de RN RM , con (a, b) W ,
otro abierto U de RN y una funcin : U RM tales que

(x, y) W , F(x, y) = 0 x U , y = (x) (6)

Se dice entonces que la ecuacin (4) define a y como funcin implcita de x en un entorno
del punto a , con y = b para x = a . Naturalmente, deberemos hacer algunas hiptesis acerca de
la diferenciabilidad de F , y esperamos que resulte ser diferenciable en todo punto de U.
Queda claro que esperamos, para el problema general de existencia de una funcin implcita,
exactamente la misma repuesta local que tenemos para el problema de la funcin inversa. Pues
bien, con hiptesis enteramente anlogas a las del teorema de la funcin inversa, esto es lo que
asegurar el teorema de la funcin implcita que vamos a obtener. Su demostracin consiste en
aplicar el teorema de la funcin inversa a una funcin construida a partir de F , luego el nuevo
teorema es consecuencia fcil del que ya conocemos, pero a su vez es ms general, luego en
realidad ambos teoremas son equivalentes.
Ntese finalmente que el problema de la existencia de una funcin implcita tiene inters
incluso en el caso N = M = 1 y, aunque buscamos una funcin real de variable real , el
resultado se escapa del mbito del clculo en una variable, puesto que la funcin F est definida
en un abierto de R2 .

20.2. Teorema de la funcin implcita

Vamos a probar exactamente el resultado que hemos anunciado:

Teorema. Sea un abierto de RN RM y F : RM una funcin diferenciable en

todo punto de . Sea (a, b) tal que F(a, b) = 0 y supongamos que la funcin diferencial
DF : L(RN+M , RM ) es continua en el punto (a, b) . Considerando el abierto a RM y
la funcin Fa : RM , dados por

a = { y RM : (a, y) } y Fa (y) = F(a, y) y a

suponemos finalmente que la diferencial DFa (b) es biyectiva. Entonces existen un abierto W de
RN RM , con (a, b) W , un abierto U de RN y una funcin : U RM , diferenciable
en todo punto de U , tales que:

(x, y) W , F(x, y) = 0 x U y = (x) (6)

20. Funcin implcita 129

Demostracin. Consideramos la funcin H : RN RM definida por

H(x, y) = x , F(x, y) (x, y)

que claramente verifica H(a, b) = (a, 0) , y aplicaremos a H el teorema de la funcin inversa,

en el punto (a, b) . Empezamos observando que H es diferenciable en todo punto de , pues
sus dos componentes lo son. Pero conviene calcular explcitamente la diferencial de H en cada
punto de .
Para ello, consideramos las proyecciones lineales naturales de RN RM sobre RN y RM ,
que denotamos por 1 y 2 respectivamente, es decir, escribimos:

1 (x, y) = x y 2 (x, y) = y (x, y) RN RM

Por otra parte J1 y J2 sern las inyecciones lineales de RN y RM en RN RM , dadas por

J1 (x) = (x, 0) x RN y J2 (y) = (0, y) y RM

De esta forma, para todo (x, y) , tenemos claramente

H(x, y) = (x, 0) + 0 , F(x, y) = J1 (x) + J2 F(x, y) = J1 1 (x, y) + J2 F(x, y)

lo que se resume escribiendo

H = J1 1 + J2 F

Para todo (x, y) , como F es diferenciable en (x, y) lo mismo le ocurre a H , con

DH(x, y) = J1 1 + J2 DF(x, y) (7)

y deducimos que


DH(x, y) DH(a, b) = J2 DF(x, y) DF(a, b) k 6 J2 DF(x, y) DF(a, b)

tambin para todo (x, y) . Como por hiptesis, DF es continua en el punto (a, b) , vemos
que DH tambin lo es. Para aplicar el teorema de la funcin inversa, slo queda comprobar que
DH(a, b) es biyectiva, para lo cual usaremos la hiptesis sobre la funcin Fa .



Observamos que para todo y a se tiene Fa (y) = F (a, 0)+(0, y) = F J1 (a)+J2 (y) ,
y la regla de la cadena nos da

DFa (y) = DF(a, y) J2 y a , luego DFa (b) = DF(a, b) J2 (8)

Para comprobar que DH(a, b) es biyectiva, bastar ver que es inyectiva, es decir, que la igualdad
DH(a, b)(u, v) = (0, 0) con (u, v) RN RM , slo se cumple para u
= v = 0 . En efecto, usando
(7) tenemos (0, 0) = DH(a, b)(u, v) = (u, 0) + 0 , DF(a, b)(u, v) , de donde deducimos, por
una parte que u = 0 , y por otra que
   
0 = DF(a, b)(u, v) = DF(a, b)(0, v) = DF(a, b) J2 (v) = DFa (b) (v)

donde, para la ltima igualdad, hemos usado (8) . Como por hiptesis, DFa (b) es biyectiva,
tenemos v = 0 , como queramos.
20. Funcin implcita 130

El teorema de la funcin inversa nos da un entorno W de (a, b) y un entorno V de (a, 0) ,

ambos abiertos de RN RM , tales que W y la restriccin de H a W es una biyeccin de
W sobre V , cuya inversa es diferenciable en todo punto de V . Dicha inversa es por tanto una
biyeccin K : V W que es diferenciable en todo punto de V y verifica que


H K(x, z) = (x, z) (x, z) V

Tomando U = J11 (V ) = {x RN : (x, 0) V } , tenemos un abierto de RN tal que a U

y la ltima igualdad nos dice que


H K(x, 0) = (x, 0) x U (9)

Consideremos ahora las dos componentes de la funcin x 7 K(x, 0) , de U en W , pues la

segunda es la funcin : U RM que buscamos. Ms concretamente, definimos



(x) = 1 K(x, 0) y (x) = 2 K(x, 0) x U

Claramente es diferenciable en todo punto de U , pues basta observar que = 2 K J1 .

Slo queda comprobar que W , U y verifican la equivalencia (6) .


Para todo x U , tenemos que (x) , (x) = K(x, 0) W y (9) nos dice que



(x, 0) = H (x), (x) = (x) , F (x), (x) x U

de donde deducimos que (x) = x , y entonces tambin que

x, (x) ) W y F x , (x) = 0

Tenemos as la implicacin hacia la izquierda de la equivalencia (6) .

Recprocamente, si (x, y) W y F(x, y) = 0 , tenemos
que (x, 0) = H(x, y) V , luego x U.
Adems, tambin sabemos que K(x,
0) W y H K(x, 0) = (x, 0) , pero H es inyectiva en W ,
luego (x, y) = K(x, 0) = x , (x) , de donde y = (x) como queramos demostrar. 

Conviene comentar brevemente las hiptesis del teorema anterior. Que F sea diferenciable
en todo punto de y que DF sea continua, no ya en el punto (a, b) , sino incluso en todo punto
de , son hiptesis muy poco restrictivas. Se trata simplemente de que la ecuacin F(x, y) = 0
sea manejable con tcnicas de clculo diferencial. En la prctica estas dos hiptesis se suelen
comprobar con un simple vistazo a la funcin F .
Pinsese por ejemplo que cuando las componentes de F son funciones polinmicas en
N + M variables, estas hiptesis se cumplen sobradamente y, an en este caso tan particular, el
sistema de ecuaciones (5) que estamos estudiando puede ser extraordinariamente complicado,
por no hablar de lo que ocurre cuando las componentes de F involucran funciones trascendentes
como la exponencial o las trigonomtricas.
La tercera hiptesis, que DFa (b) sea biyectiva, parece ms rebuscada, pero es muy natural
y tambin suele ser fcil de comprobar. Naturalmente DFa (b) ser biyectiva si, y slo si, su
matriz jacobiana tiene determinante no nulo, as que veamos cual es esa matriz jacobiana.
20. Funcin implcita 131

De la igualdad (8) se deduce claramente que

Fa F
(b) = (a, b) j IM
yj yj

cosa que tambin se comprueba directamente, sin ms que escribir la definicin de las derivadas
parciales de ambas funciones vectoriales, pues ambas definiciones son idnticas. Por tanto,
las columnas de la matriz jacobiana de Fa en el punto b son las M ltimas columnas de la
matriz jacobiana de F en el punto (a, b) . Por tanto, no hay necesidad de considerar la funcin
Fa , basta considerar la matriz JF(a, b) MM(N+M) y comprobar que el determinante de la
submatriz M M formada por sus ltimas M columnas no se anula. Pensemos adems que
en la prctica, lo que pretendemos es expresar M variables, que no tienen por qu ser las M
ltimas, como funciones implcitas de la restantes. Por tanto, la autntica hiptesis para poder
aplicar el teorema de la funcin inversa es que la matriz JF(a, b) tenga rango M , pues entonces
habr M columnas que forman una matriz cuadrada con determinante no nulo y esas columnas
nos indican las variables que podemos expresar como funciones implcitas de las restantes.
Se comprende ahora el papel que juega esta hiptesis, por analoga con el caso en que F
es lineal y DF(a, b) = F . Dicho intuitivamente, que la matriz DF(a, b) tenga rango menor que
M , significa intuitivamente que una o ms de las ecuaciones de nuestro sistema es consecuencia
de las restantes, al menos en un entorno del punto (a, b) . Digamos que el rango de la matriz
DF(a, b) es el mximo nmero de ecuaciones verdaderamente independientes, y esto explica
que sea tambin el mximo nmero de variables que el teorema anterior nos permite expresar
como funciones implcitas de las restantes. Por poner un ejemplo muy obvio, si aadimos una
ecuacin al sistema repitiendo una ecuacin, el sistema pasar a tener M + 1 ecuaciones, pero
eso no nos va a permitir despejar ms variables.

Finalmente, merece la pena destacar el caso particular N = M = 1 del teorema anterior:

Sea un abierto de R2 , F : R una funcin diferenciable en todo punto de y

(a, b) tal que F(a, b) = 0 . Supongamos que las dos derivadas parciales de F son
F
continuas en el punto (a, b) y que (a, b) 6= 0 . Entonces existen un abierto W de R2 ,
y
con (a, b) W , un abierto U de R y una funcin : U R , derivable en todo
punto de U , tales que:

(x, y) W , F(x, y) = 0 x U y = (x)