Análisis Matemático II: Derivación de funciones definidas implícitamente 52

 DERIVACIÓN DE FUNCIONES DEFINIDAS IMPLÍCITAMENTE

POR UNA ECUACIÓN
 Introducción

En Análisis I , se trabajó con funciones escalares definidas implícitamente, sin analizar

las condiciones que deben cumplirse para su existencia.:

F(x;y)=0 define implícitamente a “y” como función de “x” (es decir: y = f(x)) en un
entorno de x=a, si y sólo si :x  E(a) : F(x;f(x))=0.
Pero no cualquier F(x;y) =0 define una y = f(x).
Por ejemplo : x2 + y 2 = - 1 no define ninguna función de A R con A R

También se vio como obtener f ’ (x) sin pasar a la forma explícita de f(x).

Ejemplo: Obtener y’ (x) si y(x) está definida implícitamente por :x 2 y + y2 x - 2x = 0

Primer procedimiento: Usando diferenciales

d(x2 y) + d(y2 x) - d( 2x) = 0  2xy dy + x2 dy + 2yx dy + y2 dx -2x =0

dy 2  2 xy  y 2
( x2 + 2 y x ) dy = (-2 xy - y2 +2)dx  
dx x 2  2 yx

Segundo procedimiento: Derivando como función compuesta

2.x.y + x2 y ‘ + 2 y.y ‘x + y2 -2 = 0  y ‘ (x2 + 2 y.x) = - 2 x y - y2 + 2 
2  2 xy  y 2
y'
x 2  2 yx

El problema que nos plantearemos ahora es:

 
Dada la ecuación F ( X ) = 0 con X  Rn con n  2

a) ¿En qué condiciones esta expresión de n variables define en un cierto conjunto, en

forma implícita, a una de las variables en función de las (n-1) restantes?

b) ¿Cómo calcular las derivadas de las función definida implícitamente sin necesidad de
obtenerla, es decir a partir de las derivadas de F?

 Teorema de Cauchy- Dini para la existencia, continuidad y derivabilidad de la

función definida implícitamente por una ecuación.

Consideremos F (x;y;z) = 0

Si se cumple que:
a)  0=(xo;yo;zo) /

b) F es continua en un entorno de 0
53 Análisis Matemático II: Derivación de funciones definidas implícitamente

c) derivadas parciales de F

d)

Entonces:

i) Existe un entorno U(xo;yo)  R2 ; existe un entorno V(zo)  R y existe una
única función
 : U(xo;yo)  V(z o) tal que:
(xo;yo) = zo y F(x;y;(x;y))=0 , (x;y)  U(xo;yo).

ii)  es continua y tiene derivadas parciales en (xo;yo), siendo

, y

Supondremos válida la existencia y la continuidad de y sólo demostraremos las

fórmula de derivación.

Si admitimos que F(x;y;z)=0 define z= (x;y) en un entorno de 0 , podemos escribir

G(x;y)=F(x;y; (x;y))=0
Si F es continua con derivadas parciales continuas , G también lo es y vale , para su
derivación la regla de la cadena, siendo G’x =0 y G’y=0

Se tiene:
x
F 
G F z
F y 

Entonces:
 Análisis Matemático II: Derivación de funciones definidas implícitamente 54

Pero por hipótesis: , por lo tanto podemos despejar z’x (x0;y0) y z’y
(x0;y0) .

y resulta :

 Plano tangente y recta normal para la superficie z =  (x;y) definida

implícitamente por

F(x;y;z) = k (F(x;y;z) - k =0)


Sea F : A  R con A  R3 y P0 =(x0;y0;zo)  A /
F( P0 )= k,

F es continua con derivadas parciales continuas en un E( P0 )

F ‘z( P0 )  0
Entonces F(x;y;z) = k define z =  (x;y) , para todo (x;y) perteneciente a un entorno
de (x0;y0)

Es decir:

F(x ;y;z) = k es una superficie de nivel de F(x;y;z) a la que pertenece (x 0;y0;z0)

Si z = (x;y) está definida implícitamente por F(x;y;z) = 0, y Po(x 0;y0;z0),se tiene

Reemplazando en la ecuación del plano tangente para z= x;y) :

resulta:

Fx’(xo;yo;zo).(x-xo)+ Fy’(xo;yo;zo).(y-yo)+ Fz’(xo;yo;zo).(z-zo)=0

Ec. del plano tangente a una superficie definida implícitamente

55 Análisis Matemático II: Derivación de funciones definidas implícitamente

En consecuencia, las ecuaciones de la recta normal son:

Ecs. de la recta normal a una superficie definida implícitamente,

si las tres derivadas son distintas de 0

 Observación muy importante:

Como F(x;y;z)=k representa una superficie de nivel del campo escalar de tres
variables w=F(x;y;z) y los coeficientes de la ecuación cartesiana del plano
corresponden a los de un vector normal al mismo, resulta que:

El gradiente de un campo escalar de tres variables en un punto P0 es perpendicular

a la superficie de nivel de F que pasa por P0 .

Ejemplo:
Hallar la ecuación del plano tangente a la superficie definida por :
2x2 +4y2-8z2 +4x-8=0 en (0;2;1)
Sea F(x;y;z)= 2x2 +4y2-8z2 +4x-8, como

resulta que la ecuación del plano tangente es: 4.(x-0)+16(y-2) –16.(z-1)=0

O sea: 4x + 16y –16z= 16 , o bien :

x + 4y- 4 z = 4

 Funciones definidas implícitamente por un sistema de ecuaciones

Sea :U ,/ (x;y;u;v)=(F1(x;y;u;v); F2(x;y;u;v)) , siendo U un entorno
de (xo;yo;uo;vo) y (xo;yo;uo;vo)= ( o , lo que es lo mismo Fi(xo;yo;uo;vo)=0, para
i {1,2})
Se dice que (x;y;u;v)= o que el sistema define implíci-
tamente a u y v como funciones de x e y , si y sólo si existe un campo vectorial
/ ( (x;y); (x;y) ) que verifique:
i) ( xo;yo; ( xo;yo); ( xo;yo))= , siendo (uo;vo)= ( ( xo;yo);
( xo;yo))
ii) ( x;y; ( x;y); ( x;y))= ,
 Análisis Matemático II: Derivación de funciones definidas implícitamente 56

 Teorema de existencia, continuidad y derivabilidad de funciones definidas

implícitamente por un sistema de ecuaciones
Sea :U ,/ (x;y;u;v)=(F1(x;y;u;v); F2(x;y;u;v)) , siendo U un entorno
de =(xo;yo;uo;vo) . Si se verifica:
i) (xo;yo;uo;vo)= ( o , lo que es lo mismo Fi(xo;yo;uo;vo)=0 , para i {1,2});
ii) tenga derivadas parciales continuas en U y

iii) ( Determinante de la matriz jacobiana de en distinto de

cero)
Entonces:
Existe un único campo vectorial / (
(x;y); (x;y) ) que cumple:
a) (uo;vo)=( ( xo;yo); ( xo;yo)) y ( x;y; ( x;y); ( x;y))= ,

b) tiene derivadas parciales continuas en (xo;yo) que se calculan mediante:

Ejemplo:

Sean
Como son funciones polinómicas , podemos asegurar que sus derivadas parciales son
continuas.
Es fácil verificar que F(2;-1;2;1)=0 y G(2;-1;2;1)=0.

Además: F’u= -3u2 ; F’v =2v ; G’u= -4u ; G’v= 12v3

Resulta:

Por otra parte: F’x= 2x ; F’y =-2y ; G’x= 2y ; G’y= 2x+2y, entonces
57 Análisis Matemático II: Derivación de funciones definidas implícitamente