Está en la página 1de 5

UNIVERSIDAD DE SANTIAGO DE CHILE CLASE A CLASE DE CÁLCULO III

FACULTAD DE CIENCIA INGENIERÍA CIVIL 10129


DEPARTAMENTO DE MATEMÁTICA Y C. C. COORDINADOR: M. BRAVO

1. Teorema de la función inversa e implı́cita.


1.1. Teorema de la función inversa. A modo de motivación, para funciones f : A ⊆ R → f (A) ⊆ R se
sabe que f posee una función inversa f −1 : f (A) ⊆ R → R si y solo si f es inyectiva. Una posibilidad para
determinar si f es inyectiva en el caso real es a través de su monotonı́a. En el caso de funciones derivables,
la monotonı́a queda determinada a partir de la derivada de la función.
Recuerdo: Si f : A ⊆ R → R es derivable en un punto x0 en el conjunto abierto A y f 0 (x0 ) 6= 0, existe una
vecindad I ⊆ A alrededor de x0 tal que f es (localmente) invertible desde I a f (I) (ver siguiente figura).

Otro resultado del cálculo en una variable establece que si f : R → R es diferenciable e inyectiva en una
vecindad del punto x0 para el cual f 0 (x0 ) 6= 0, entonces f −1 es una función diferenciable en y0 = f (x0 ) y
además:
1
(f −1 )0 (y0 ) = 0 −1 .
f (f (y0 ))
Observación 1: Una función puede tener inversa aunque f 0 (x0 ) = 0, lo que NO se puede garantizar es
la diferenciabilidad de la función inversa de f . Como ejemplo, podemos considerar la función √ f :R→R
definida por f (x) = x3 , la cual es una función invertible, con f −1 : R → R dada por f −1 (x) = 3 x su inversa,
pero esta función no es derivable en el punto x = 0.
Observación 2: Evidentemente, existen funciones reales cuya inversa es posible de calcular y, a su vez, se
puede calcular su derivada. Lo que establece este resultado es que no necesariamente conoceremos la inversa
de una función, pero si podremos conocer su derivada en un punto especı́fico y en una vecindad de dicho
punto.
Ahora se planteará el Teorema de la Función Inversa para el caso de funciones de varias variables.
Teorema 1 (Teorema de la Función Inversa). Sea U ⊆ Rn un abierto y sea f : U → Rn una función de
clase C 1 . Sea x~0 ∈ U tal que det(Df (x~0 )) 6= 0, entonces existen abiertos V, W ⊆ Rn , con x~0 ∈ V , f (x~0 ) ∈ W
tales que f : V → W es biyectiva y f −1 : W → V es de clase C 1 . Además, para cada ~y ∈ W se satisface
Df −1 (~y ) = [Df (f −1 (~y ))]−1 .
Observación: El teorema garantiza que si det(Df (x~0 )) 6= 0 entonces f es localmente invertible y, más
aún, con inversa local de clase C 1 .
Ejemplo 1. Considere la función f : R2 → R2 dada por
f (x, y) = (ex cos(y), ex sen(y)).
Probar que f es localmente invertible. Encuentre la matriz Jacobiana (o diferencial) de la función inversa
(si existe).
1
Solución: Claramente f es una función de clase C 1 . Pasamos a calcular su matriz Jacobiana:
 x
e cos(y) −ex sen(y)

Df (x, y) = x
e sen(y) ex cos(y)
donde det(Df (x, y)) = e2x 6= 0 para todo (x, y) ∈ R2 . Luego, por el Teorema de la Función Inversa, podemos
asegurar que f es localmente invertible. Definamos g como la inversa local de la función f y consideremos
u, v sus dos coordenadas. De esta manera, tendremos
g(u, v) = (g1 (u, v), g2 (u, v)),
f (x, y) = (f1 (x, y), f2 (x, y)),
con f1 (x, y) = ex cos(y) = u y f2 (x, y) = ex sen(y) = v. Notemos además que a partir de las expresiones
anteriores, tenemos
e2x cos2 (y) + e2x sen2 (y) = u2 + v 2 ,
de esta forma:
e2x = u2 + v 2 .
Finalmente, calculamos la matriz Jacobiana de g:
 −1  
u −v 1 u v
Dg(u, v) = [Df (g(u, v))]−1 = = 2 .
v u u + v 2 −v u
1.2. Teorema de la función implı́cita. Como ejemplo inicial, consideremos la función F : R2 → R
definida por F (x, y) = x2 + y 2 − 1. En este caso, la curva de nivel 0 corresponde a la circunferencia de radio
1 (x2 + y 2 = 1). Si se desea resolver para y en términos de x se tiene:
p
y = f (x) = ± 1 − x2 .
Notemos que para cualquier valor de x0 con 0 ≤ |x0 | < 1, se tienen dos opciones a elegir para definir
alrededor de x0 una función y = f (x). Evidentemente, alrededor de x0 = 1 0 x0 = −1, lo anterior no define
una función de la variable x. Por último, para |x0 | > 1 no tiene sentido tratar de definir y en términos de x
alrededor de x0 , pues no se satisface la relación original.

Observemos que incluso podemos considerar


 √
1 − x2
√ si x ∈ Q ∩ [−1, 1],
y=
− 1 − x2 si x ∈
/ Q ∩ [−1, 1],
p
lo cual efectivamente define una función,
p ya que si q ∈ Q ∩ [−1, 1], entonces y(q) = 1 − q 2 , mientras que si
q∈ 2
/ Q ∩ [−1, 1], entonces y(q) = − 1 − q . Se observa que y = f (x) es una función no continua que satisface
F (x, f (x)) = 0.
2
En virtud de lo anterior es natural preguntarse ¿bajo qué condiciones existe la función f ?, y ¿qué pro-
piedades de la función F se reflejan en la función f ?. Comenzaremos con el enunciado del Teorema de la
Función Implı́cita en el caso real:
Teorema 2 (Teorema de la Función Implı́cita caso real). Sea F : A ⊆ R2 → R una función de clase C 1 en
el abierto A. Sea (x1 , y1 ) ∈ A tal que F (x1 , y1 ) = 0 y supongamos que
∂F
(x1 , y1 ) 6= 0
∂y
entonces existe un abierto A ⊆ R con x1 ∈ A y un abierto B ⊆ R con y1 ∈ B tal que existe una función
f : A → B de clase C 1 tal que f (x1 ) = y1 y F (x, f (x)) = 0 para todo x ∈ A.
Por medio del siguiente ejemplo veamos la aplicación de este teorema.
Ejemplo 2. Demuestre que la ecuación ey cos(xy) − x − 1 = 0 define a y como una función que depende de
dy
x, con y(0) = 0. Además, calcular (0).
dx
Solución: Comenzamos definiendo la función F (x, y) = ey cos(xy) − x − 1 y notando que se satisface
F (0, 0) = 0. Por otro lado, calculamos las derivadas parciales de F :
∂F ∂F
(x, y) = −ey sen(xy)y − 1 y (x, y) = ey cos(xy) − ey sen(xy)x,
∂x ∂y
y nos damos cuenta que ambas son funciones continuas, por ende F es de clase C 1 . Además se observa que
∂F
(0, 0) = 1 6= 0, por lo tanto el Teorema de la Función Implı́cita nos garantiza que en una vecindad de
∂y
dy
x = 0 se puede escribir y como una función que depende de x. Ahora nos queda calcular (0), cuyo cálculo
dx
se desprende de derivar, usando regla de la cadena, la ecuación F (x, y) = 0, entonces
∂F ∂F dy
(0, 0) + (0, 0) · (0) = 0,
∂x ∂y dx
∂F ∂F dy
y como ∂x (0, 0) = −1 y ∂y (0, 0) = 1, entonces se concluye que dx (0) = 1.

Observación 3: A diferencia de la ecuación x2 + y 2 = 1, donde despejar y en función de x era simple


(para algunos valores de x) en el ejemplo previo se puede apreciar que no es evidente despejar y en función
de x en la ecuación ey cos(xy) − x − 1 = 0, esto nos dice que el Teorema de la Función Implı́cita no asegura
encontrar de forma explı́cita el “despeje de la variable y en función de la variable x”.

Para el caso de varias variables, consideremos lo siguiente: Sea F : Rm+n → Rn y sea


(x1 , . . . , xm , y1 , . . . , yn ) ∈ Rm+n : F (x1 , . . . , xm , y1 , . . . , yn ) = 0


una curva de nivel. ¿Existe una función f : Rm → Rn para la cual la anterior curva de nivel coincida con la
gráfica de f ?, es decir,
F (x1 , . . . , xm , y1 , . . . , yn ) = 0 si y solo si (y1 , . . . , yn ) = f (x1 , . . . , xm ).
En caso de existir diremos que f está definida implı́citamente por F .
En otras palabras, estamos en la búsqueda de “despejar n de las variables en función de las otras m
variables”.
3
Teorema 3 (Teorema de la Función Implı́cita varias variables). Sea F : A ⊆ Rm+n → Rn una función de
clase C 1 en el abierto A y F (~x) = (F1 (~x), . . . , Fn (~x)). Sea (~x0 , ~y0 ) ∈ A tal que F (~x0 , ~y0 ) = ~0 y consideremos
la siguiente descomposición de la matriz Jacobiana:
DF (~x0 , ~y0 ) = (DFx (~x0 , ~y0 ), DFy (~x0 , ~y0 )) ∈ Rn×(m+n) ,
donde DFx (~x0 , ~y0 ) representa el Jacobiano “respecto de las variables x”(n filas y m columnas) de la matriz
Jacobiana DF (~x0 , ~y0 ). Análogamente, DFy (~x0 , ~y0 ) es el Jacobiano “respecto de las variables y”(n filas y n
columnas) que completan DF (~x0 , ~y0 ). Supongamos además que
det(DFy (~x0 , ~y0 )) 6= 0.
Entonces existe un abierto A ⊆ Rm con x~0 ∈ A y un abierto B ⊆ Rn con y~0 ∈ B tal que existe una función
f : A → B de clase C 1 tal que f (x~0 ) = y~0 y F (~x, f (~x)) = 0 para todo ~x ∈ A.
Observación 4: Notemos que la condición
det(DFy (~x0 , ~y0 )) 6= 0
se interpreta como el determinante de la matriz Jacobiana para las n ecuaciones que nos entrega el problema
y se derivan con respecto a las n variables que buscamos escribir en función de las otras m variables. Observe
además que DFy (~x0 , ~y0 ) es una matriz cuadrada y luego su determinante está bien definido.
Observación 5: En la literatura es posible encontrar la matriz DFy (~x0 , ~y0 )) descrita como
∂(F1 , . . . , Fn )
(~x0 , ~y0 ).
∂(y1 , . . . , yn )
Veamos un ejemplo para comprender de mejor manera esta interpretación.
Ejemplo 3. Demuestre que la ecuación z 3 + z 2 y − 7x2 y 2 z + 2 = 0 define a z como una función que depende
∂z ∂z
de x e y con z(1, 1) = 2. Además, calcular (1, 1) y (1, 1).
∂x ∂y
Solución: Notemos que tenemos solo una ecuación en este problema y tenemos una variable (en este caso
z) que queremos describir como una función que depende de x e y. Por lo tanto definimos
(1) F (x, y, z) = z 3 + z 2 y − 7x2 y 2 z + 2
donde notamos que se cumple F (1, 1, 2) = 0. Veamos ahora sus derivadas parciales:
∂F ∂F ∂F
(x, y, z) = −14xy 2 z, (x, y, z) = z 2 − 14x2 yz, (x, y, z) = 3z 2 + 2zy − 7x2 y 2
∂x ∂y ∂z
lo cual nos permite afirmar que F es de clase C 1 y además notamos que
∂F
(1, 1, 2) = 9 6= 0,
∂z
por lo tanto el Teorema de la Función Implı́cita nos asegura que en una vecindad del punto (1, 1) se puede
escribir z como una función que depende de x e y.
Ahora podemos calcular sus derivadas parciales. Derivamos la ecuación (1) con respecto a x:
 
2 ∂z ∂z 2 2 ∂z 2
3z (x, y) + 2yz (x, y) − 7 x y (x, y) + 2xy z = 0
∂x ∂x ∂x
4
y al evaluar la ecuación anterior en el punto (1, 1, 2) se obtiene
 
∂z ∂z ∂z
12 (1, 1) + 4 (1, 1) − 7 (1, 1) + 4 = 0,
∂x ∂x ∂x
de lo cual se puede deducir que
∂z 28
(1, 1) = .
∂x 9
Un procedimiento similar nos asegura que
∂z 24
(1, 1) = .
∂y 9
Observación: Eventualmente, si se presentan dos ecuaciones o más, al verificar las hipótesis del Teorema
de la Función Implı́cita, tendremos algunas variables en función de otras, luego al realizar el mismo proce-
dimiento anterior (usando la regla de la cadena y reglas de derivación clásicas) se obtendrá un sistema de
ecuaciones que deberá resolver para ası́ hallar las derivadas parciales pedidas.

También podría gustarte