Teorema de la Funcion Implcita

Sea F : U Rp+1 R U abierto F (x1 , x2 , ..., xq , y) y un punto a = (a1 , a2 , ..., aq , b) en U tal que

i)F (a1 , a2 , ..., aq , b) = 0

F
ii) 6= 0
y
y continua, existe entonces una funcion implicita local entorno del punto dado es decir ! y = f (x1 , ..., xq )
x B (a) tal que f (a1 , ..., aq ) = b y F (x1 , x2 , ..., xq , f (x1 , x2 , ..., xq )) = 0 x B (a)
Una idea de como probar lo anterior es la siguiente:
Como F F F
y 6= 0 entonces tenemos que y > 0 o y < 0 supongamos sin perdida de generalidad que y > 0
F

entonces tenemos que F (x1 , x2 , ..., xq , y) es creciente cuando (x1 , ..., xq ) es constante F (a1 , ..., aq , y) es
creciente y [b , b + ] ademas se tiene que F (a1 , ..., aq , b) = 0 entonces

F (a1 , ..., aq , b + ) > 0 F (a1 , ..., aq , b ) < 0

Si (x1 , ..., xq ) B (a1 , ..., aq ) entonces

F (x1 , ..., xq , b + ) > 0 F (x1 , ..., xq , b ) < 0 y F continua

se tiene entonces que ! y = f (x1 , ..., xq ) [b , b + ] tal que F (x1 , x2 , ..., xq , f (x1 , x2 , ..., xq )) = 0
y b = f (x1 , x2 , ..., xq ). Hemos encontrado que si (x1 , ..., xq ) B (a1 , ..., aq ) entonces f (x1 , ..., xq ) = y
(b , b + ) f es continua.

En el caso F (x, f (x)) = 0 si y = f (x) define una fucion implicita para y en terminos de x entonces
podemos calcular su derivada de la siguiente manera, usando la regla de la cadena

F x F y F F y y F
x
+ =0 + =0 = F .
x x y x x y x x y

Siempre que F
y 6= 0
En el caso F (x, y, f (x, y)) = 0 si z = f (x, y) define una fucion implicita para z en terminos de x, y
entonces podemos calcular sus derivadas parciales de la siguiente manera, usando la regla de la cadena

F x F y F z F F y
 F z z F
x
=0 =0

+ + +  + = F .
x x y x z x x y x z x x z

Siempre que F
z 6= 0
En general para F (x1 , ..., xn , y) = 0 puede resolverse para y en terminos de xi y definir as una vecindad
V Rn del punto (x1 , ..., xn ) una funcion y = f (x1 , ..., xn ) la cual tiene derivadas parciales continuas en
V que se pueden calcular as:
F
y x (x1 , ..., xn )
(x1 , ..., xn ) = F i
xi y (x1 , ..., xn )

Teorema de la Funcion Implcita (1a Version)

1
 Considere la funcion z = f (x, y). Sea (x0 , y0 ) R2 un punto tal que F (x0 , y0 ) = 0. Suponga que la
F
funcion F tiene derivadas parciales continuas en alguna bola con centro (x0 , y0 ) y que (x0 , y0 ) 6= 0.
y
Entonces F (x, y) = 0 se puede resolver para y en terminos de x y definir as una funcion y = f (x) con
dominio en una vecindad de x0 , tal que y0 = f (x0 ), lo cual tiene derivadas continuas en V que pueden
F
(x, y)
calcularse como y 0 = f 0 (x) = x , x V.
F
(x, y)
y

Importante: Este es un resultado que garantiza la existencia de una funcion y = f (x) definida im-
plcitamente por F (x, y) = 0. Esto es, puede resolverse para y en terminos de x, pero no nos dice como
hacer el despeje.
Ejemplo:
y
Considere la funcion f (x, y) = x3 + xy y 3 queremos calcular x

Hacemos F (x, y) = x3 + xy y 3 entonces se tiene que

Fx = 3x2 + y y Fy = x 3y 2 que son siempre continuas.

y Fx 3x2 + y
= = .
x Fy x 3y 2
Siempre que x 3y 2 6= 0
Ejemplo:

Considere la funcion f (x, y) = e2y+x + sin(x2 + y) 1 en el punto (0,0) tenemos F (0, 0) = 0. Las
derivadas parciales de F son

Fx = e2y+x + 2x cos(x2 + y)
Fy = 2e2y+x + cos(x2 + y) que son siempre continuas.
F
Ademas, (0, 0) = 3 6= 0 de modo que T.F.Im. garantiza una vecindad de x = 0 en la cual podemos
y
definir una funcion y = f (x) tal que F (x, f (x)) = 0. Observese que en este caso no podemos hacer
explcita la funcion y = f (x) sin embargo tal funcion existe y su derivada es
F
e2y+x + 2x cos(x2 + y)
y 0 = f 0 (x) = x =
F 2e2y+x + cos(x2 + y)
y

Ejemplo:
3
Considere f (x, y) = x4 exy 1 en el punto (1,1)
3
F (1, 1) = 1 1 = 0, Fx = 4x3 y 3 exy 1

2
 3
1
Por lo tanto, Fx |(1,1) = 3, Fy = 3xyexy
F
Y as, Fy |(1,1) = 3, y = 3 6= 0.
y
El T.F.Im. nos garantiza que en los alrededores de (1,1) el nivel cero de F se ve como la grafica de
3
0 4x3 y 3 exy 1
la funcion y = f (x) y que su derivada es y = .
3xy 2 exy3 1

Observe que en este caso la funcion F permite hacer el despeje en terminos de x.

3
F (x, y) = x4 exy 1 = 0
3
x4 = exy 1
ln(x4 ) = xy 3 1
1
ln(x4 ) + 1 3

= y = f (x) que al derivar se debe de llegar al mismo resultado.
x

Ejemplo:

Considere z = f (x, y) y el punto (x0 , y0 ) R2 tal que f (x0 , y0 ) = 0, si F satisface las hipotesis del
T.F.Im. sabemos que en los alrededores de (x0 , y0 ) la curva F (x, y) = 0 se puede ver como la grafica de
la funcion y = f (x).

Cual es la ecuacion de la recta tangente a la curva F (x, y) = 0 en (x0 , y0 )?

Todo lo que necesitamos es la pendiente de la recta,y esta es

F
(x0 , y0 ) F F
y (x0 ) = x
0
(y y0 ) (x0 , y0 ) + (x0 , y0 )(x x0 ) = 0
F y x
(x0 , y0 )
y
es decir, (x x0 , y y0 ) f (x0 , y0 ) = 0

Para dimensiones superiores tenemos:

F (x, y, z) = 0 y lo que quiero es z = (x, y), y por lo tanto F ((x, y), ((x, y)) = 0.

Usando la regla de la cadena:

F
F x F y F z z
+ + =0 = x
x x y x z x x F
z

3
 F
F x F y F z z F
+ + =0 = x , entonces se necesita que 6 0.
=
x y y y z y y F z
z
Por lo tanto, el T.M.Im garantiza que en los alrededores del (x0 , y0 ), z = f (x, y).

Teorema de la Funcion Implcita (2da Version)

Considere la funcion z = f (x1 , ..., xn ). Sea p = (x1 , ..., xn , y) Rn+1 un punto tal que F (p) = 0. Suponga
F F
que la funcion F tiene derivadas parciales , i = 1, ..., n, y continuas en alguna bola con centro P
xi y
F
y que 6= 0.
y

Entonces, F (x1 ,...,xn ) = 0 puede resolverse para y en terminos de x y definir as una vecindad v de
Rn del punto (x1 ,...,xn ), una funcion y = f (x1 ,...,xn ) lo cual tiene derivadas parciales continuas en v que
se pueden calcular con las formulas
F
(x1 , ...., xn )
F xi
(x1 ,...,xn ) = con (x1 , ..., xn ) v.
xi F
(x1 , ..., xn )
y
Ejemplo:

Sea la funcion f (x, y, z) = x2 + y 2 + z 2 3. El punto (1, 1, 1) R3 es tal que f (p) = 0. Las derivadas
F
parciales de F son Fx = 2x, Fy = 2y, Fz = 2z. Estas son continuas. En el punto P1 se tiene que 6= 0.
z
El T.F.Im. dice entonces que en los alrededores del punto P1 , F (x, y, z) = 0 puede verse como la grafica
de una funcion z = f (x, y) que tiene por derivadas parciales a
f F
z 2x x z y 2y y
= x = = , = = = .
x f 2z z y F 2z z
z z p
De hecho, es claro que la funcion f es f (x, y) = 3 x2 y 2 que representa una esfera con centro
en el origen y radio 3, la cual globalmente no es la grafica de la funcion z = f (x, y) alguna. pPero alrede-
dor del punto (1, 1, 1) de tal esfera, esto se puede ver como la grafica de la funcion f (x, y) = 3 x2 y 2 .

Ejemplo:

4
Sea f (x, y, z) = x + y + z zez entonces Fx = 1, Fy = 1, Fz = 1 ez (z + 1) si el punto P (x0 , y0 , z0 ) R3
F
es tal que x0 + y0 + z0 ez0 = 0 y z 6= 0 y como 6= 0. El T.F.Im. sugiere que podamos despejar z en
z
terminos de x y y y establecer as una funcion z = f (x, y) con z0 = f (x0 , y0 ) de modo que su grafica en
los alrededores de P coincide con F (x, y, z) = 0. Las parciales de la funcion f son

F F
F 1 F y 1
= x = , = = .
x F 1 ez (z + 1) y F 1 ez (z + 1)
z z
Ahora consideramos F (x, y, z) = 0 donde F (x0 , y0 , z0 = 0, F tiene derivadas parciales continuas en una
F
bola alrededor de P = (x0 , y0 , z0 ) y alguna de ellas no se anula en P , digamos 6= 0. El T.F.Im. nos
z
dice que en los alrededores de P podemos ver a F (x, y, z) = 0 como la grafica de una funcion z = f (x, y).
Cual es la ecuacion del plano tangente a esta grafica en P ?
F F
Solo necesitamos (x0 , y0 ), (x0 , y0 ) y las calculamos con ayuda del T.F.Im. que nos dice que
x y
F F
(P ) (P )
F F y
(x0 , y0 ) = x , (x0 , y0 ) =
x F y F
(P ) (P )
z z
as la ecuacion del plano tangente es

F F
(P ) (P )
y F F F
z z0 = x (x x0 ) (y y0 ) o sea (P )(x x0 ) + (P )(y y0 ) + (P )(z z0 ) = 0
F F x y z
(P ) (P )
z z
que se puede escribir como

(x x0 , y y0 , z z0 ) F (P )

Ejemplo:

Considere la superficie en R2 definida implcitamente por F (x, y, z) = xyz + ln(xyz) z = 0. Hallar

la ecuacion del plano tangente en P = (1, 1, 1).

Solucion:
F 1 F 1 F 1
Se tiene = yz + , = xz + , = xy + 1 evaluando en el punto P
x x y y z z
Fx (P ) = 2, Fy (P ) = 2, Fz (P ) = 1.

As la ecuacion del plano tangente procurada es 2(x 1) + 2(y 1) + z 1 = 0 o sea 2x + 2y + z = 5.

Consideremos ahora el sistema

5
au + bv k1 x = 0
cu + dv k2 y = 0

con a, b, c, d, k1 , k2 constantes. Nos preguntamos cuando podemos resolver el sistema para u y v en termi-
nos de x y y. Si escribimos el sistema como

au + bv = k1 x
cu + dv = k2 y
 
 a b 
y sabemos que este sistema tiene solucion si det 
  6= 0 en tal caso escribimos
c d 
1 1
u=  a b  (k1 dx k2 by), v=  a b  (k2 ay k1 cx).
   
det 
  det 
 
c d  c d 

Esta solucion no cambiaria si consideramos

au + bv = f1 (x, y)
cu + dy = f2 (x, y)

donde f1 y f2 son funciones dadas de x y y. La posibilidad de despejar las variables u y v en termi-

nos de x y y recae sobre los coeficientes de estas variables en las ecuaciones dadas.

Ahora si consideramos ecuaciones no lineales en u y v escribimos el sistema como

g1 (u, v) = f1 (x, y)
g2 (u, v) = f2 (x, y)

nos preguntamos cuando del sistema podemos despejar a uy v en terminos de x y y. Mas generalmente,
consideramos el problema siguiente, dadas las funciones F y G de las variables u, v, x, y nos preguntamos
cuando de las expresiones

F (x, y, u, v) = 0
G(x, y, u, v) = 0

podemos despejar a u y v en terminos de x y y en caso de ser posible diremos que las funciones u =
1 (x, y) y v = 2 (x, y) son funciones implcitas dadas. Se espera que 0 n funciones u = 1 (x, y) y v =
2 (x, y) en

F (x, y, 1 (x, y), 2 (x, y)

G(x, y, 1 (x, y), 2 (x, y)

con (x, y) en alguna vecindad V .

6
Suponiendo que existen 1 y 2 veamos sus derivadas
F x F y F u F v F u F v F
+ + + =0 + =
x x y x u x v x u x v x x

G x G y G u G v G u G v G
+ + + =0 + =
x x y x u x v x u x v x x
u v
Lo anterior se puede ver como un sistema de 2 ecuaciones con 2 incognitas y . Aqu se ve que para
x x
que el sistema tenga solucion
 
 F F 
 
 u v 
det   6= 0 en (P ) (el det Jacobiano) y segun la regla de Cramer
 
 F G 
 
u v
 

   
 F F   F F 

 u x 
 
u  x v  v
= det  , = det  (con los dos det Jacobianos).
  
x x

 G G   G G 
  
x v u x
   

Analogamente si derivamos con respecto a y obtenemos

F u F v F
+ =
u y v y y

G u G v G
+ =
u y v y y

de donde

 F F  F F
   

 
  
u  y v  v  u y
= det  , = det  (con los dos det Jacobianos).
   
y y

 G G   G G 
 
y v u y
   

 
 F F 
 
 u v  (F, G)
Al determinante det   lo llamamos Jacobiano y lo denotamos por .
 
 G G 
 (u, v)

u v
 

7
 Teorema de la Funcion Implcita (3ra Version)
Considere las funciones z1 = F (x, y, u, v) y z2 = G(x, y, u, v). Sea P = (x, y, u, v) R4 un punto tal que
F (P ) = G(P ) = 0. Suponga que en una bola B R4 de centro P las funciones F y G tienen (sus cuatro)
(F, G)
derivadas parciales continuas. Si el Jacobiano (P ) 6= 0 entonces las expresiones F (x, y, u, v) = 0
(u, v)
y G(x, y, u, v) = 0 definen funciones (implcitas) u = 1 (x, y) y v = 2 (x, y) definidas en una vecindad v
de (x, y) las cuales tienen derivadas parciales continuas en v que se pueden calcular.
(F,G) (F,G) (F,G) (F,G)
u (x,v) v (u,x) u (y,v) v (u,y)
= (F,G) = (F,G) = (F,G) = (F,G)
x x y y
(u,v) (u,v) (u,v) (u,v)

Demostracion:
Como por hipotesis
 
 F F 
 
(F, G)  u v 
= det   6= 0
 
(u, v)  G G 

u v
 

los cuatro terminos F

u (P ),
F
v (P ), G
u (P ) y G
v (P ) no pueden ser 0 simultaneamente. Sin perdida de
generalidad suponemos que
G
(P ) 6= 0.
v
Entonces la funcion z2 = G(x, y, u, v) satisface las hipotesis tel TFI POR LO QUE podemos concluir
que en los alrededores del punto P, v se puede escribir como funcion de x,y,u. Sea (x, y, u) tal funcion
tambien podemos calcular sus derivadas parciales en este caso solo utilizaremos la que involucra es
decir usando la regla de la cadena

G G x G y G u G G x
 G y
 G G
=0  +  +

= + + + + =0
u x u y u u u u x u 
 y u u u

G
u
= G .
u

Ahora consideramos la funcion H(x, y, u) = F (x, y, u, (x, y, u)) y vamos a derivarla con respecto a u:

H F F
= +
u u u

8

sustituimos el valor u que habamos encontrado y obtenemos
!
G F G
H F F F G
= + G = u v G v
u u
6= 0
u u v v

(F,G)
pues G
v 6= 0 as lo supusimos y el numerador no es otra cosa que el jacobiano de (u,v) 6= 0 por hipotesis,
H satisface tambien las hipotesis del TFI y por tanto u se puede resolver en terminos de x e y, es decir
1 (x, y) tal que 1 (x, y) = u. Ahora regresando a la expresion para tenemos que

v = (x, y, u) = (x, y, 1 (x, y)) = 2 (x, y).

Hemos pues probado la existencia de dos funciones 1 (x, y) y 2 (x, y) que expresan a u,v en terminos de
x,y.
Ejemplo:

Considere las expresiones F (x, y, u, v) = xeu+v + uv 1 = 0 y G(x, y, u, v) = yeuv 2uv 1 = 0.

En el punto P = (1, 1, 0, 0) se tiene que F (P ) = G(P ) = 0 y las parciales son:

Fx = eu+v , Fy = 0, Fu = xeu+v + v, Fv = xeu+v + v

Gx = 0, Gy = euv , Gu = yeuv 2v, Gv = yeu+v 2u

(F, G)
las cuales son siempre continuas. El Jacobiano es
(u, v)
 
 F F   
  xeu+v + u xeu+v + v
u v

(F, G)    
= det   = det 
  
(u, v)  G G   yeuv 2v yeuv 2u


 
u v
 
 
 1 1 
(F, G)  
 = 2 6= 0.
que en el punto P vale = det 
(u, v)  1 1 


Entonces el T.F.Im. nos asegura que en los alrededores de P podemos despejar u, v en terminos de
x y y, as establecer funciones implcitas u = u(x, y), v = v(x, y) con derivadas parciales

 
 F F 
 
 x v   uv 
det 
 

 e
 xeu+v + v 
(F, G)  G G  det  
 uv

u (x, v) 
x v  =
  0 ye 2u 
= = 
 F  xeu+v + u xeu+v + v  =
 
x (F, G)  F   
(u, v)  u v  det  
det 
 
  yeuv 2v yeuv 2u 
 G G 

u v
 

9
 ye2u + 2ueu+v
= .
2xye2u + 2(u v) xeu+v + (u + v) yeuv

10