Prof.

Susana Lpez Universidad Autnoma de Madrid

Tema 6: Funciones Implcitas 1 Funcin Implcita

Como todas las nociones que hemos venido estudiando hasta ahora, el contenido geomtrico del Teorema de la Funcin Implcita es claro y sencillo. Imaginar el grco de una funcin f : R2 R. Por ejemplo f (x, y) = 27x2 + 4y 3 . Su aspecto es el de una supercie en R3 . Pensar ahora en la interseccin de esa supercie con el plano z = 0.

20 0 -20 -40 -60 -80 -100 -120 -140 -2 -1 0 y 1 2 32 0x -2

5 4.5 4 3.5

-2

-1

3 2.5

0x

2 1.5

1 0.5 0

-2

-1

-4 -3.5-3 -2.5-2 -1.5-1 -0.50

0.5 1

1.5 2

2.5 3

3.5 4 x

27x + 4y = 0

27x + 4y = 0

El dibujo que se obtiene sobre ese plano (o cualquier otro plano horizontal) es el de una curva. Esa curva yace en el plano xy. Sus puntos verican la ecuacin f (x, y) = 0. Nos paramos a pensar ahora en un punto de esa curva, digamos (a, b). En un entorno de (a, b) tenemos una descripcin de la curva: sta comprende a todos los puntos (x, y) tales que f (x, y) = 0. Sin embargo, esta ecuacin es implcita puesto que no muestra claramente cmo despejar y en funcin de x ni x en funcin de y. Una ecuacin explcita sera de la forma y = g(x) o x = h(y). Cualquiera de estas dos ecuaciones sera preferible a la implcita puesto que siempre una ecuacin explcita puede transformase en una implcita de manera trivial poniendo

Prof. Susana Lpez

f (x, y) = y g(x) (o xh(y), segn corresponda). La pregunta es entonces: cundo es posible encontrar una funcin que describa explcitamente y en funcin de x o x en funcin de y en un entorno de (a, b)? La importancia de este teorema radica en la posibilidad de calcular la diferencial en un punto (a, b) de una funcin sin conocerla explcitamente. Esto permitir por ejemplo, obtener una evaluacin aproximada de la funcin en el punto. Teorema 1 (Teorema de la Funcin Implcita) Supongamos que F : R2 R tiene las primeras derivadas parciales continuas. Si en un punto (x0 , y0 ) R2 tal que F (x0 , y0 ) = 0 y F (x0 , y0 ) 6= 0 y entonces existe un entorno abierto U de x0 y un entorno abierto V de y0 tal que existe una nica funcin f : V U para la cual: F (x, f (x)) = 0 para todo x U , donde y0 = f (x0 ) y f (x) es continuamente diferenciable: df dy Fx = = (x, y) dx dx Fy para todo x U e y V . Ejemplo: Sabemos que las variables (x, y) estn relacionadas mediante la siguiente ecuacin implcita: x3 + xy y 3 = 0 los puntos (x, y) que verican esta escuacin representan una curva en el plano,
y 1

0.5

0 -1 -0.5 0 0.5 1 x -0.5

-1

x3 + xy y 3 = 0 Despejar en la ecuacin anterior la variable y en funcin de x es bastante complicado y en algunos casos no se podr realizar. Para aquellas regiones de la curva donde se puede ver a la dy variable y como una funcin de x, y (x) , nos gustara calcular la derivada dx :

Prof. Susana Lpez Podemos hacerlo de dos maneras, derivando implcitamente la expresin anterior: 3x2 + y + x despejando
dy dx

dy dy 3y 2 =0 dx dx

obtenemos: 3x2 + y dy = 2 dx 3y x

o bien denimos la funcin F (x, y) = x3 + xy y 3 y aplicamos el teorema de la funcin implcita: Fx = 3x2 + y Fy = 3y 2 + x 3x2 + y 3x2 + y Fx dy = = 2 = dx Fy x 3y 3 3y x
dy Ahora bien, est derivada dx solo podr aplicarse en aquellos puntos para los cuales Fy = 3y 2 + x 6= 0. Es decir, a travs del teorema de la funcin implcita podemos decir que la ecuacin x3 + xy y 3 = 0 denie a y como una funcin de x, de forma implcita en aquellos puntos donde 3y 2 + x 6= 0. Para esos puntos sabemos que existe una funcin y = f (x) tal que

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

dy dx

El teorema anterior se puede generalizar para funciones de ms variables. Teorema 2 Supongamos que F : Rn+1 R tiene las primeras derivadas parciales continuas. Si en un punto (x1 , x2 , ..., xn , y) Rn tal que F (x , x , ..., x , y ) = 0 y 1 2 n F (x1 , x2 , ..., x , y ) 6= 0 n y entonces existe un entorno abierto U de (x , x , ..., x ) y un entorno abierto V de y0 tal que 1 2 n existe una nica funcin f : V U para la cual: F (x1 , x2 , ..., xn , f (x1 , x2 , ..., xn )) = 0 para todo (x1 , x2 , ..., xn ) U, donde y = f (x , x , ..., x ) y f (x1 , x2 , ..., xn ) es continuamente 1 2 n diferenciable: Fx f y = = j (x1 , x2 , ..., xn , y) xj xj Fy para todo (x1 , x2 , ..., xn ) U e y V .

Prof. Susana Lpez Ejemplo: Sabemos que las variables x, y, z estn relacionadas mediante la siguiente expresin: x2 + y 2 + z 2 = 1

cuya grca es la esfera unidad. Nos gustara saber si z se puede expresar como una funcin de las variables (x, y) en un entorno del punto (0, 0, 1) y en ese caso cual es la variacin de la variable z con respecto a cada una de las variables x e y en el punto (0, 0, 1) . Para ello construimos la funcin F (x, y, z) = 0. F (x, y, z) = x2 + y 2 + z 2 1 y calculamos sus derivadas parciales, Fx = 2x, Fy = 2y, Fz = 2z

observamos que Fz (0, 0, 1) = 2 6= 0 de manera que a travs del teorema de la funcin implcita podemos concluir que s se puede expresar z como una funcin de (x, y) en un entorno del punto (0, 0, 1) . p z (x, y) = 1 x2 y 2 en este caso es fcil despejar z en funcin de (x, y) , pero en otros casos no podr hacerse. Las derivadas parciales de z (x, y) en el punto (0, 0) son: z Fx (0, 0, 1) (0, 0) = = 0, x Fz (0, 0, 1) z Fy (0, 0, 1) (0, 0) = =0 y Fz (0, 0, 1)

Prof. Susana Lpez EJERCICIOS: 1. Usar el teorema de la funcin implcita para hayar y 0 e y 00 en los casos: (a) xy = 1 (b) x y + 3xy = 2 (c) y 6 x5 = 0 2. Las siguientes curvas vienen representadas por ecuaciones de dos variables.
y

3 2 1 0

1 0 0 1 2 3 4 x 5 -2 -1 -1 0 1 x 2

-5

-4

-3

-2

-1 -1 -2 -3

-2

Sealar en cada grca los puntos para los cuales las ecuciones no dene implcitamente a y como funcin de x. De igual modo sealar los puntos para los cuales la ecuacin no dene implcitamente a x como funcin de y 3. Dada la ecuacin de la curva en el plano xy : 2x2 + xy + y 2 8 = 0 (a) Calcular la ecuacin de la recta tangente a la curva en el punto (2, 0) . (b) Qu puntos de la curva tienen tangente horizontal? 4. Calcular
z x

z y

en los siguientes casos:

(b) xyz 4y 2 z 2 + cos xy = 0

(a) 3x2 z + 2z 3 3yz = 0

(c) 3exyz 4xz 2 + x cos y = 2

5. La ecuacin y 2 + 5x = xex(y2) representa una curva en el plano xy. Explicar por qu pasa por el punto (1, 2) y demostrar que la pendiente de la recta tangente en ese punto es igual a 4/3. Hallar tambien la ecuacin de la recta tangente en ese punto. 6. Estudiar si la ecuacin (x + 2y + xy)ex un entorno del punto (1, 1) .
2 y

= 4 dene a x como funcin implcita de y en

Prof. Susana Lpez

7. Probar que la ecuacin (1 + y 3 )ex = 1 dene implcitamente a y como funcin de x en un entorno de (0, 0). Probar tambin que no se verican las hiptesis del Teorema de la funcin implcita. 8. La funcin z viene dada por la ecuacin x2 + y 2 z 2 xy = 0 Hallar
z x

z y

para el sistema de valores x = 1, y = 0, z = 1.

9. Explicar por qu la ecuacin exy 1 = 0 no dene implcitamente en torno al punto (0,0) a y como funcin de x; pero si la dene en torno al punto (1,0). 10. Dada la ecuacin 2xey + x2 + y 3 = 1; demostrar que dene a y como funcin de x en un entorno del punto (-1,0). Comprobar que en x =-1 la funcin y = f (x) alcanza un valor mnimo local. 11. Sabemos que f (x, y, z) = 0 y fx 6= 0, fy 6= 0, fz 6= 0, en cualquier punto de su dominio. Probar que: x y z = 1 y z x 12. Calcular
dy dx

d2 y dx2

cuando: 1 + xy ln(exy + exy ) = 0

13. Considrense las variables x e y ligadas por la relacin y xy 2 = 0. (a) Comprobar que en un entorno de (1, 1) la ecuacin anterior dene a y = (x) como funcin implcita de x. Cunto vale (1)? Calcular la derivada primera de (x). (b) Escribir la ecuacin de la recta tangente a la curva y = (x) en (1, (1)). 14. Dada la ecuacin x y 2 + 2z 2xyz + z 3 = 0. Qu variables pueden despejarse en funcin de las dems en un entorno de (0, 0, 0)? Supuesto que pueda expresarse z como funcin de (x, y), calcular zx , zy y particularizarlas para el punto (x, y) = (0, 0). Cul es la aproximacin lineal de z como funcin de (x, y) en el punto (0, 0)? Compararla con la que se obtiene aproximando la ecuacin dada al principio por eliminacin de todos los trminos de grado mayor que 1, es decir despejando z de la ecuacin x + 2z = 0 15. Se considera la ecuacin x2 y 2 x + (x 1)z = 0. Comprobar que dicha ecuacin dene a z como funcin implcita de (x, y) en un entorno del punto (0, 0, 0). Obtener un polinomio de Taylor de primer grado de z como funcin de (x, y) en el punto (0, 0) 16. Una empresa produce un bien, utilizando dos factores. La relacin entre la cantidad del bien producida (q) y las cantidades de factores empleadas (x, y) es de la forma: ln q x2 y + 1 = 0, q x, y, q > 0

Prof. Susana Lpez

Se sabe que si x = y = 1, el nivel de produccin es q = 1. Dene esta relacin la produccin de la empresa en funcin de la cantidad de factores cerca de los niveles? Calcule, si es posible, las productividades marginales de los factores x e y. As mismo, halle, si se puede, la relacin marginal tcnica de sustitucin de los factores de x por y. 17. Una empresa considera la funcin de demanda del bien que produce, dependiendo de la cantidad producida, q, del precio del bien, p, y de la renta disponible de los individuos, r: 10q 1 d (q, p, r) = ln + r p 100

En este instante, los valores de las variables son: q = 10, p = 2, r = 200. Un estudio de mercado indica una disminucin en la renta disponible de los individuos. si se pretende dejar constante la produccin, cmo deber variar el precio del bien en funcin de la renta para mantener el nivel de demanda?.