Beruflich Dokumente
Kultur Dokumente
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
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
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 )
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
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
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).
F (x, y, z) = 0 y lo que quiero es z = (x, y), y por lo tanto F ((x, y), ((x, y)) = 0.
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).
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:
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.
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
au + bv = f1 (x, y)
cu + dy = f2 (x, y)
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
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
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
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
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:
(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