Definicin de un procedimiento para la aplicacin del teorema de

la funcin implcita con Maple

Luis Villamizar Facultad de Ingeniera

Teorema de la funcin implcita

Dada la funcin:
[1]

F ( x, y ) =

donde F es una funcin de \ n + m \ m , continuamente diferenciable, X \ n ,

Y \ m . Si en el punto ( X 0 , Y0 ) se tiene:
1. F ( X 0 , Y0 ) =
2. [ FY ]( X 0 ,Y0 ) admite inversa
entonces, existe una funcin

f : \n \m

implcitamente definida por [1],

continuamente diferenciable en un entorno de X 0 , tal que:

(d f ) = ( F )
X0

1
( X 0 ,Y0 )

( FX )( X

0 ,Y0 )

Ejemplo:

F1 ( x, y, z ) 0
= la cual define implcitamente
F2 ( x, y, z ) 0

Sea F : \ 3 \ 2 , tal que F ( x, y, z ) =

a f : \ \ 2 como: f ( x ) = ( y , z ) en ( x0 , y0 , z0 ) , entonces:

y
F1
x
y

=
d x0 f =
z
F2

x x0
y

F1
z

F2

z ( x

0 , y0 , z0

F1
x

F2

x ( x
)

0 , y0 , z0 )

Procedimiento con Maple:

> #Definicion de un procedimiento para la aplicacin del TFI
TFI:=proc(F,Y,X,Yo,Xo)
local Fy,Fx,FyInv,Fye,Fxe,D,i,j;
print(`La Funcin dada es:\n`,` F = `,F,` `,`VD = `,Y,` `,`VI = `,X);
with(linalg):
# calculo de la matriz jacobiana de F con respecto a las variables dependientes

Fy:=jacobian(F,Y);
Fye:=Fy:
# Evaluacion de sta matriz en el punto (Xo,Yo)
for i from 1 to nops(Y) do
Fye:=subs(Y[i]=Yo[i],eval(Fye))
end do;
for j from 1 to nops(X) do
Fye:=subs(X[j]=Xo[j],eval(Fye))
end do;
# determinacin si existe la funcin implicita
if det(Fye)<>0 then
# clculo de la inversa de Fy
FyInv:=evalm(Fye^(-1));
# Impresin de Fy
print(`\nFy = `,Fy,` `,`Fy(Xo,Yo) = `,Fye,` `,`FyInv = `,FyInv);
# calculo de la matriz jacobiana de F con respecto a las variables independientes
Fx:=jacobian(F,X);
Fxe:=Fx;
# Evaluacion de sta matriz en el punto (Xo,Yo)
for i from 1 to nops(Y) do
Fxe:=subs(Y[i]=Yo[i],eval(Fxe))
end do;
for j from 1 to nops(X) do
Fxe:=subs(X[j]=Xo[j],eval(Fxe))
end do;
# Impresin de Fx
print(`\nFx = `,Fx,` `,`Fx(Xo,Yo) = `,Fxe);
D:=multiply(-FyInv,Fxe);
print(`\nd(Xo)f = `,`_`,FyInv,Fxe, `= `,D);
else
print("No SE PUEDE DEFINIR ESTA FUNCION IMPLICITA");
end if
end:
Sintaxis:
TFI([ F1 ( x1 ,...., xn , y1 ,.... ym ) , F2 ( x1 ,...., xn , y1 ,.... ym ) ,....... Fm ( x1 ,...., xn , y1 ,.... ym ) ],[ y1 ,...., ym ],
[ x1 ,...., xn ],[ y10 ,...., ym 0 ],[ x10 ,...., xn 0 ])
[ F1 ( x1 ,...., xn , y1 ,.... ym ) , F2 ( x1 ,...., xn , y1 ,.... ym ) ,....... Fm ( x1 ,...., xn , y1 ,.... ym ) ]:
Funciones componentes de la funcin F : \ n + m \ m que contiene la funcin implcita
[ y1 ,...., ym ]:Variables dependientes
[ x1 ,...., xn ]: Variables independientes

Ejemplo:
Dadas las ecuaciones:

x 2 y 2 + 2 xv + yw 1 = 0
xyw + vw 3 = 0
Calcular

partir

de

stas

ecuaciones

(d f ) ,

siendo

X0

f ( x, y ) = (v, w)

( X 0 , Y0 ) = ( x0 , y0 , v0 , w0 ) = (1, 1, 2,3) .
Llamada al procedimiento con Maple:
> TFI([x^2-y^2+2*x*v+y*w-1,x*y*w+v*w-3],[v,w],[x,y],[2,3],[1,-1]);

La Funcin dada es:

, F = , [ x 2 y 2 + 2 x v + y w 1 , x y w + v w 3 ],

2x
Fy = ,
w

y
,
x y + v

2x+2v
Fx = ,
yw

d(Xo)f = , _,

1
5
-3
5

2
, Fy(Xo,Yo) = ,
3

2 y + w
,
x w
1
5
2
5

-1
,
1

, Fx(Xo,Yo) =

6
,
-3

5
, = ,
3

-3
5
24
5

6
,
-3

, VD = , [ v, w ],

, FyInv = ,

3
-8
5
9
5

1
5
-3
5

, VI = , [ x, y ]

1
5
2
5