FUNCIONES IMPLCITAS Profesora Claudia Durnbeck

Una curva C contenida en puede estar definida por una ecuacin:

forma explcita
forma implcita

En muchos casos se puede pasar de una forma a otra, pero algunas veces esto no es
posible, o no siempre representa a la funcin implcita de .

Por ejemplo cuando:

a) representa la forma implcita a una .
Ej: representa implcitamente a

b) es la forma implcita de ms de una funcin de x.

Ej: representa implcitamente a:
y a

c) no es funcin implcita de alguna , es decir la funcin

implcita.
Ej: por ser suma de trminos positivos no se anula para
ningn

Interpretacin geomtrica de los ejemplos anteriores:

a) La funcin:
tiene como representacin grfica un plano, cuya
interseccin con es la recta:

+4 y
y = -2x
2

z=0

x
b) La funcin:
tiene por grfica un paraboloide de revolucin, cuya
interseccin con es la circunferencia . Esta ecuacin representa
a las 2 funciones que representa en forma implcita:

-x

-2

-2 2
-y y2 y
y1
2

x
-4

-z

c) La funcin:
es un paraboloide que no tiene interseccin con ,
porque
la funcin implcita.

x
Teorema de Dini

Existencia de la Funcin Implcita de una variable independiente.

define implcitamente a , si se verifican las siguientes

condiciones:
1) (La funcin debe anularse al menos en un punto del dominio)

2) posee derivadas parciales continuas en un entorno de .

3) (La derivada parcial con respecto a la variable dependiente debe ser

distinta a cero)

Derivada de la Funcin Implcita de una variable independiente.

En las condiciones del teorema anterior, la funcin define

implcitamente a la funcin cuya derivada es:

Demostracin:
Si se verifica para ( satisface la
ecuacin)

Derivando ambos miembros (como funcin compuesta), tenemos:

despejando

Ejemplo: Dada la siguiente funcin:

donde
a) Verificar que se trata de una funcin implcita, considerando las condiciones para
la existencia para
b) Hallar con
Solucin:
a) 1) s.v.
2) = y

3)
 b) = en

El teorema de la Existencia y Derivabilidad se extiende a campos escalares

definidos implcitamente.
Por ejemplo:
La ecuacin define implcitamente al campo de dos variables
independientes , si se verifica:
1) Para algn perteneciente al dominio.
2) ; y y son continuas en un entorno de
3)

Calculamos las derivadas de utilizando las reglas de derivacin para la

funcin implcita.
Buscamos: y
Diferenciando:

Despejando :

Pero como
comparando
Resulta:

En general si define implcitamente a y

cumplindose las condiciones de continuidad y derivabilidad, resulta:
; ; ;

Generalizacin:
Las funciones implcitas pueden representar a
funciones de ms de una variable independiente y a ms de 1 funcin.

Por ejemplo: representa implcitamente a dos funciones:

puede ser implcita de:

funcin de 3 variables independientes
 a las funciones:

de 2 variables independientes

Anlogamente se pueden obtener otras derivadas cuando se conoce la dependencia

funcional.
En todos estos casos se presentan las mismas condiciones de existencia y
derivabilidad que para funciones implcitas de 1 variable independiente.

SISTEMA DE FUNCIONES IMPLCITAS:

As como una superficie puede estar definida en forma implcita por una ecuacin,
una curva en el espacio puede estar definida implcitamente por un sistema de 2
ecuaciones.
donde, por ejmplo:

En este caso decimos que el sistema de 2 ecuaciones define implcitamente a 2 de sus

variables como funcin de la restante.
Las condiciones de existencia son similares a las que exige el teorema para definir
una funcin implcita de una sola variable y fueron enunciados en forma general,
mediante el Teorema de Cauchy-Dini.
Tambin pueden calcularse las derivadas de y de , si existen, utilizando un
determinante funcional llamado Jacobiano.

Veamos el caso considerado

definen implcitamente a
si y son diferenciables es:

Luego:

Siendo divido ambos miembros por

queda:

El determinante del sistema se llama Jacobiano de y respecto a las variables y

.
 Jacobiano:

Si este Jacobiano no se anula el sistema tiene solucin nica para las incgnitas
y y se hallan aplicando Crmer.

Resulta:

Ejemplo: Sean

Hallar: y Observando la expresin de estas derivadas, queda determinada

cul es la variable independiente.

Planteamos otra situacin: Las dos ecuaciones

pueden definir implcitamente dos funciones de dos variables independientes.
y
Podemos hallar las derivadas parciales de y mediante las derivadas parciales de
las funciones implcitas, y .

Diferenciando y , obtenemos:
 Despejando:

El Jacobiano del sistema:

El Jacobiano, est formado por las derivadas parciales de la funcin implcita con
respecto a las variables dependientes.

Luego, aplicando Cramer:

Por propiedad de los determinantes

En sntesis:

como: entonces
Comparando los trminos de :

Del mismo modo si buscamos :

como entonces
Comparando :