TEMA 5: TEOREMAS DE LA FUNCIN INVERSA Y DE LA FUNCIN IMPLCITA

NDICE 1. 2. 3. 4. Difeomorsmos Teorema de diferenciacin de la funcin inversa Teorema de la funcin inversa Teorema de la funcin implcita 1 1 3 5

Dedicamos este tema a dos de los resultados ms importantes del Clculo Diferencial: el teorema de la funcin inversa y el teorema de la funcin implcita. Ambos teoremas responden al principio segn el cual toda funcin derivable hereda localmente las propiedades de su derivada. Adems, cada uno de ellos puede probarse a partir del otro. 1. D IFEOMORFISMOS

Denicin 1.1. Sean A y B subconjuntos abiertos no vacos de RN . Se dice que una aplicacin f : A B es un difeomorsmo, aplicacin regular o cambio de variable si f es biyectiva y tanto f como su inversa f 1 son diferenciables. Observacin 1.2. Si f : A B es un difeomorsmo, por la regla de la cadena se tiene: Df 1 (f (x)) Df (x) = Df (x) Df 1 (f (x)) = IRN , y por tanto Jf (x) = 0 y Df 1 (f (x)) = Df (x)1 para todo x A. (, ) A. x A,

Ejemplo 1.3. Sea A = R+ ] , [ R2 y sea g : A R2 la funcin dada por g (, ) = ( cos , sen ), Entonces g es un difeomorsmo de A en B = R2 \{(x, 0) : x 0}. Por tanto, dado (x, y ) B existe un nico punto (, ) A tal que (x, y ) = g (, ) = ( cos , sen ). Se dice que (, ) son las coordenadas polares de (x, y ). 2. T EOREMA DE DIFERENCIACIN DE LA FUNCIN INVERSA

Este teorema nos informa de la relacin existente entre la diferenciabilidad de una funcin en un punto y la diferenciabilidad de su inversa, supuesto que exista, en la imagen de dicho punto. Teorema 2.1. (Teorema de diferenciacin de la funcin inversa). Sean A y B subconjuntos abiertos de RN , a A y f : A B una aplicacin biyectiva y diferenciable en a. Las siguientes armaciones son equivalentes: (1) f 1 es continua en f (a) y Jf (a) = 0. (2) f 1 es diferenciable en f (a). En caso armativo, Df 1 (f (a)) = Df (a)1 .
1

TEMA 5: TEOREMAS DE LA FUNCIN INVERSA Y DE LA FUNCIN IMPLCITA

Demostracin: Supongamos que se cumple (1). Como Jf (a) = 0, entonces Df (a) es inversible, luego existe Df (a)1 y Df (a)1 = 0. Como f es diferenciable en a, existe > 0 tal que si x A y x a < , entonces f (x) f (a) Df (a)(x a) y por tanto f (x) f (a) = f (x) f (a) Df (a)(x a) + Df (a)(x a) Df (a)(x a) f (x) f (a) Df (a)(x a) Df (a)(x a) xa Df (a)1 xa = , 2 Df (a)1 donde hemos usado que x a = Df (a)1 (Df (a)(x a)) Df (a)1 Df (a)(x a) . Para probar que f 1 es diferenciable en b = f (a) y Df 1 (b) = Df (a)1 , sea {yn } una sucesin de puntos de B, distintos de b, convergente a b. Entonces {xn } = f 1 (yn ) es una sucesin de puntos de A, distintos de a, convergente al punto a ya que f 1 es continua en b. Podemos suponer, sin prdida de generalidad, que xn a < para todo n ya que {xn } a. Entonces f 1 (yn ) f 1 (b) Df (a)1 (yn b) yn b xn a Df (a)1 (f (xn ) f (a)) = yn b xn a Df (a)1 (f (xn ) f (a) Df (a)(xn a) + Df (a)(xn a)) = yn b 1 xn a Df (a) (f (xn ) f (a) Df (a)(xn a)) (xn a) = yn b 1 Df (a) (f (xn ) f (a) Df (a)(xn a)) = yn b f ( x ) xn a n f (a) Df (a)(xn a) Df (a)1 xn a yn b 2 f (xn ) f (a) Df (a)(xn a) 2 Df (a)1 . xn a Como f es diferenciable en a, tenemos f (xn ) f (a) Df (a)(xn a) 0 xn a y por tanto f 1 (yn ) f 1 (b) Df (a)1 (yn b) 0. yn b Esto prueba que f 1 es diferenciable en b = f (a) y Df 1 (b) = Df (a)1 . xa 2 Df (a)1 xa 2 Df (a)1 xa , 2 Df (a)1

TEMA 5: TEOREMAS DE LA FUNCIN INVERSA Y DE LA FUNCIN IMPLCITA

Recprocamente, supongamos que f 1 es diferenciable en b = f (a). Entonces f 1 es continua en b. Adems, usando la regla de la cadena, de las igualdades f 1 f = IA y f f 1 = IB , se deduce que Df 1 (b) Df (a) = DIA (a) = IRN y Df (a) D1 f (b) = DIB (b) = IRN . Por tanto Df (a) es inversible, luego Jf (a) = 0, y Df 1 (b) = Df (a)1 . Observacin 2.2. La condicin Jf (a) = 0 es necesaria para que f 1 sea diferenciable en f (a), pero no lo es para que f posea inversa. Por ejemplo, la funcin dada por f (x) = x3 para todo x R es diferenciable en R con f (x) = 3x2 para todo x R. En particular, Jf (0) = f (0) = 0 y, sin embargo, 1 3 f posee inversa, la funcin f (x) = x para todo x R. Observe que f 1 no es diferenciable en f (0) = 0. Como consecuencia del teorema anterior tenemos: Corolario 2.3. Sean A y B subconjuntos abiertos de RN y f una aplicacin de A en B. Las siguientes armaciones son equivalentes: (1) f es un difeomorsmo. (2) f es un homeomorsmo diferenciable en A con Jf (x) = 0 para todo x A. Demostracin: Si f es un difeomorsmo, entonces f es biyectiva y diferenciable y su inversa f 1 es diferenciable. Entonces Jf (x) = 0 para todo x A por el teorema 2.1. Observe que f y f 1 son continuas. Por tanto f es un homeomorsmo diferenciable. Recprocamente, si f satisface las condiciones de (2), entonces f es biyectiva y diferenciable, su inversa f 1 es continua y Jf (x) = 0 para todo x A. Se sigue por el teorema 2.1 que f 1 es diferenciable, luego f es un difeomorsmo. 3. T EOREMA DE LA FUNCIN INVERSA

Sea una funcin f = (f1 , . . . , fN ) : RN RN . Si f es inyectiva, su funcin inversa f 1 puede determinarse explcitamente si se sabe resolver el sistema y1 = f1 (x1 , . . . , xN ) ... ... ..................... yN = fN (x1 , . . . , xN ) y despejar las xi en funcin de las yj . Pero esto suele ser difcil. Sera deseable encontrar un criterio que permitiera asegurar, por una parte, que f 1 existe (al menos localmente) y por otra, que hereda las buenas propiedades de la funcin f (continuidad, diferenciabilidad, etc.). Este criterio es aportado por el siguiente resultado. Teorema 3.1. (Teorema de la funcin inversa). Sea A un subconjunto abierto de RN , a A, n N{} y f : A RN una funcin de clase C n en A. Supongamos que Jf (a) = 0. Entonces existen un entorno abierto U de a en A y un entorno abierto V de f (a) en RN tales que V = f (U ) y la funcin f |U : U V tiene una inversa ( f |U )1 : V U de clase C n en V y se verica que Df 1 (f (x)) = Df (x)1 para todo x U . Observaciones 3.2. (1) Sea A un subconjunto abierto de RN , a A y f : A RN una aplicacin. Se dice que f es localmente inversible en el punto a si existe un r > 0 tal que f es inyectiva en B (a, r).

TEMA 5: TEOREMAS DE LA FUNCIN INVERSA Y DE LA FUNCIN IMPLCITA

Teorema de la inyectividad local: Si f C 1 (A, RN ) y Jf (a) = 0, entonces f es localmente inversible en a por el teorema de la funcin inversa. (2) La igualdad que se cumple en el teorema de la funcin inversa: Df 1 (f (x)) = Df (x)1 , (f 1 ) (f (x)) = (f (x))1 , x U, x U.

se puede escribir, usando matrices jacobianas, en la forma:

(3) El teorema de la funcin inversa es esencialmente local. Por ejemplo, la funcin f : R2 R2 denida por f (x, y ) = (ex cos y, ex sen y ) tiene una funcin inversa local de clase C en un entorno de cada punto de R2 (observe que f C (R2 , R2 ) y Jf (x, y ) = e2x = 0 para todo (x, y ) R2 ); pero no tiene una funcin inversa global en R2 ya que no es inyectiva (note que f (x, y ) = f (x, y + 2k ) para todo nmero entero no nulo k ). (4) La funcin f : R3 R3 denida por f (x, y, z ) = (ex , sen(x + y ), ez ) tiene funcin inversa de clase C en un entorno del punto (0, 0, 0). Basta comprobar que f C (R3 , R3 ) y Jf (x, y, z ) = e2x cos(x + y ) para todo (x, y, z ) R3 lo que, en particular, nos da Jf (0, 0, 0) = 1 = 0. Sin embargo, existen puntos de R3 donde no se cumplen las hiptesis del teorema de la funcin. Concretamente, en cada punto (x, y ) R2 que cumpla que x + y = /2 + k para algn k Z. (5) Las condiciones que impone el teorema de la funcin inversa para que una funcin sea localmente inversible en un punto son sucientes, pero no son necesarias. Por ejemplo, la funcin f : R2 R2 dada por f (x, y ) = (x3 , y 5 ) no verica las hiptesis del teorema de la funcin inversa en el punto (0, 0) ya que Jf (x, y ) = 15x2 y 4 para todo (x, y ) R2 lo que nos da Jf (0, 0) = 0. En cambio, es localmente inversible en (0, 0). De hecho, f es (globalmente) inversible en R2 . Basta comprobar que la funcin g : R2 R2 denida por g (x, y ) = ( 3 x, 5 y ) es la inversa de f . Ejemplo 3.3. Sea g : R3 R3 denida por g (x, y, z ) = (e2y + e2z , e2x e2z , x y ). (1) Pruebe que g es de clase C 1 en R3 y posee funcin inversa de clase C 1 en un entorno de cada punto de R3 . (2) Pruebe que g es inyectiva, justique que g es sobreyectiva y determine la imagen de g . Ejemplo 3.4. Estudie si la funcin h : R3 R3 denida por h(x, y, z ) = (y z 2 , z x2 , x y 2 ) tiene inversa de clase C en un entorno de (1, 0, 1) y en caso armativo determine la diferencial de dicha inversa en h(1, 0, 1).

Denicin 3.5. Sean A y B subconjuntos abiertos de RN . Se dice que una aplicacin f : A B es abierta si la imagen de cualquier subconjunto abierto de A es un subconjunto abierto de B. Es fcil probar que si f : A B es una aplicacin biyectiva, entonces f : A B es abierta si, y slo si, f 1 : B A es continua. Como consecuencia del teorema de la aplicacin inversa, obtenemos el siguiente resultado. Corolario 3.6. (Teorema de la aplicacin abierta). Sea A un subconjunto abierto de RN y f C 1 (A, RN ) con Jf (x) = 0 para todo x A. Entonces f es abierta.

TEMA 5: TEOREMAS DE LA FUNCIN INVERSA Y DE LA FUNCIN IMPLCITA

Demostracin: Sea G un subconjunto abierto de A. Como A es abierto en RN , entonces claramente G es abierto en RN . Queremos probar que f (G) es abierto en RN , es decir, que para cada a G existe un ra > 0 tal que B (f (a), ra ) f (G). Para ello, aplicamos el teorema de la funcin inversa a la funcin f |G y al punto a. Es posible porque J f |G (a) = Jf (a) = 0. Por tanto existen un entorno abierto U de a en G y un entorno abierto V de f (a) en RN tal que V = f (U ). Luego existe un ra > 0 tal que B (f (a), ra ) V y por tanto B (f (a), ra ) f (G), como queramos probar. Si f es inyectiva (globalmente), entonces f es un difeomorsmo (global). Ms concretamente, Corolario 3.7. Sea A un subconjunto abierto de RN y f C 1 (A, RN ). Supongamos que f es inyectiva. Entonces f es un difeomorsmo de A sobre su imagen si, y slo si, Jf (x) = 0 para todo x A. Demostracin: Para probar la condicin necesaria, lea la observacin 1.2. Probemos la condicin suciente. Supongamos entonces que Jf (x) = 0 para todo x A. Por el corolario 3.6, f : A RN es abierta. Es fcil comprobar que f : A f (A) tambin lo es (en este caso se suele decir que f es abierta sobre su imagen). Como f es inyectiva, entonces f : A f (A) es biyectiva y abierta. Luego f 1 : f (A) A es continua. Adems, f : A f (A) es diferenciable (en particular, continua) y Jf (x) = 0 para todo x A. Por el corolario 2.3, f : A f (A) es un difeomorsmo.

4.

T EOREMA DE LA FUNCIN IMPLCITA

Denicin 4.1. Sean A RN , B RM y f : A B RM . Se dice que la ecuacin f (x, y ) = 0 dene a y como funcin implcita de x en A B si para cada punto x A, existe un nico punto y B tal que f (x, y ) = 0. Con otras palabras, existe una aplicacin : A B tal que f (x, (x)) = 0 para todo x A. Ejemplos 4.2. (1) Sea f : R2 R la funcin denida por f (x, y ) = x + y 1. Para cada x R, el nmero real y = x + 1 satisface la ecuacin f (x, y ) = 0. Adems, este y es el nico nmero real que lo hace. Por tanto la ecuacin f (x, y ) = 0 dene a y como funcin implcita de x en R2 . De hecho, esta funcin es y = (x) donde : R R viene dada por (x) = x + 1. (2) Sea f : R2 R la funcin denida por f (x, y ) = x2 + y 2 1. La ecuacin f (x, y ) = 0 no dene a y como funcin implcita de x en R2 ya que dado x R, se tiene: a) Si |x| > 1, no existe ningn nmero real y que satisfaga la ecuacin f (x, y ) = 0. b) Si |x| = 1, y = 0 es el nico nmero real que cumple 0. que f (x, y ) = 2 c) Si |x| < 1, existen dos nmeros reales, y = 1 x e y = 1 x2 , para los que f (x, y ) = 0. Sin embargo, la ecuacin f (x, y ) = 0 dene a y como funcin implcita de x en el conjunto [1, 1][0, + ). Concretamente, y = (x) donde : [1, 1] [0, +) es la funcin denida por (x) = 1 x2 para todo x [1, 1]. Tambin lo hace en el conjunto [1, 1] (, 0] tomando ahora : [1, 1] (, 0] denida por (x) = 1 x2 . El ejemplo anterior pone de maniesto que a veces si restringimos el dominio de g es posible abordar con xito el problema de existencia y unicidad de una funcin denida implcitamente por una ecuacin. El teorema de la funcin implcita da condiciones sucientes para que esto ocurra.

TEMA 5: TEOREMAS DE LA FUNCIN INVERSA Y DE LA FUNCIN IMPLCITA

Teorema 4.3. (Teorema de la funcin implcita). Sea A un subconjunto abierto de RN RM , (a, b) A, n N {} y f : A RM una funcin de clase C n en A. Supongamos que f (a, b) = 0 y . . . fM y1 (a, b)
f1 y1 (a, b)

f1 yM (a, b)

. . . fM yM (a, b)

= 0.

Entonces existen un entorno abierto U de a en RN y un entorno abierto V de b en RM tales que U V A y una nica funcin : U V tal que f (x, (x)) = 0 para todo x U. De hecho, {(x, y ) U V : f (x, y ) = 0} = {(x, y ) U V : y = (x)} . En particular, (a) = b. Adems, es de clase C n en U.

Ejemplo 4.4. (1) Pruebe que la ecuacin x + y + z + cos xyz = 0 dene a z como funcin implcita de clase C de x e y en un entorno abierto del punto (0, 0, 1) en R3 . (2) Sea dicha funcin implcita denida en un entorno abierto U de (0, 0) en R2 . Calcule x (0, 0) y y (0, 0). Ejemplo 4.5. (1) Demuestre que el sistema de ecuaciones x + y + z + u = 2, x + 2y + z 3 + u4 = 2 dene a z y a u como funciones implcitas de x e y de clase C en un entorno abierto del punto (0, 0, 1, 1) en R4 . (2) Sean z = 1 (x, y ) y u = 2 (x, y ) dichas funciones implcitas denidas en un entorno abierto U de (0, 0) en R2 . Pruebe que = (1 , 2 ) : R2 es localmente inversible en (0, 0). Ejemplo 4.6. (1) Justique la existencia de una funcin = (1 , 2 ) de clase C de un abierto U 2 de R en R2 vericando que (1, 1) = (1, 1) y x3 para todo (x, y ) U. (2) Calcule D(1, 1) y x2 + y 2 21 (x, y )2 (x, y ) = 0, + y 3 + 1 (x, y )3 2 (x, y )3 = 0

2 1 (1, 1). x2

Ejemplo 4.7. (1) Justique la existencia de una funcin de clase C denida en un entorno abierto U R de 0 con valores en R tal que 1 (x)ex + xe(x) = 0, x U. (2) Obtenga el polinomio de Taylor de segundo orden de en x = 0.