Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Tema 6
Tema 6
TEMA N 6
FUNCIONES IMPLCITAS
Funciones implcitas de una variable independiente:
Definicin: Se considera que y es funcin implcita de la variable independiente x, cuando est
establecida indirectamente mediante una ecuacin del tipo: F(x; y) 0
Consideremos la expresin: F(x; y) x 2 y 2 a 2 0 , que es la ecuacin de una circunferencia que
tiene su centro en el origen de coordenadas y radio a.
La forma explcita, y f(x) o bien x g(y) de la precedente funcin es: y a 2 x 2 o
x a 2 y 2 , respectivamente en ciertos convenientes dominios.
En muchos casos, dada la ecuacin F(x , y) = 0, es posible pasar de la forma implcita a la forma
explcita y f(x) mediante procedimientos puramente algebraicos (como se ha realizado en el
ejemplo dado). Pero existen tambin casos en que ello no es posible.
Por ello trataremos de resolver el problema de determinar las propiedades de una funcin
y f(x) definida implcitamente por F(x; y) 0 , sin necesidad de pasar a la forma explcita.
No debe pensarse que toda expresin de la forma F( x; y) 0 determina una funcin y f(x) o
x g(y) . Es fcil dar ejemplos de funciones F(x; y ) que igualadas a cero no determinan
soluciones en trminos de una variable. As por ejemplo, sea la funcin x 2 y2 0 solo se satisface
para el punto x = 0; y = 0, y no existe por lo tanto funcin y = f(x)
Otro ejemplo ms drstico an es el siguiente: F(x; y) x 2 y 2 1 , que al igualar a cero, resulta
que no hay ningn valor real ni de x ni de y que satisfaga la expresin precedente.
Se comprende entonces la necesidad de hallar condiciones bajo las cuales la expresin F( x; y) 0
define una funcin y f(x) o x g(y) y cuales son las propiedades de stas, en relacin con las
propiedades de F( x; y) 0
Antes de dar el teorema de existencia, haremos algunas consideraciones de carcter geomtrico
intuitivo.
z F(x; y)
, cuya solucin es la
z0
El hecho que el plano tangente en P0(x,y,0) no sea horizontal equivale a establecer que
Fx ( x 0 ; y 0 ) y Fy ( x 0 ; y 0 ) no son nulas simultneamente. (Recordar la ecuacin del plano
tangente).
Recapitulando, resulta que hemos llegado, mediante consideraciones puramente intuitivas de
carcter geomtrico, a la conclusin que s:
1) Existe una solucin inicial (x0,y0) de F(x,y)=0
2) Existe plano tangente a la superficie z=F(x,y) en (x0,y0 ), (F es diferenciable en (x0,y0))
3) El plano tangente en (x0,y0,0) no es horizontal para lo cual basta que por lo menos una de las
derivadas parciales Fx o FY no sea nula en (x0,y0), entonces existe curva de interseccin de la
superficie z = F(x ,y) con el plano coordenado z = 0 en las proximidades de (x 0,y0,0) y en
consecuencia F( x; y) 0 define una funcin y = f(x) o bien x = g(y).
Los resultados obtenidos de manera geomtrica intuitiva los discutiremos a continuacin en forma
analtica rigurosa.
TEOREMA I
De existencia, unicidad, continuidad, derivabilidad y diferenciabilidad de funciones definidas
en forma implcita
Sea z = F (x , y) una funcin de dos variables que satisfaga las siguientes condiciones:
1.
2
F(x 0 ; y 0 ) 0 (existe solucin inicial), para algn punto P(x0,y0) R .
2.
Fx (x; y)
3.
F(x ; y) como funcin de dos variables y por lo tanto la existencia del plano tangente a la
superficie z = F(x , y) en el punto (x0,y0,0).
Fy (x 0 ; y 0 ) 0 , lo cual asegura que el plano tangente en (x 0,y0,0) no es horizontal, entonces
Fy (x; y)
x1 x x 2
y1 y y 2
tal que para cada x perteneciente al intervalo de la recta real (x 1,x2), la ecuacin F(x , y) = 0
determina uniformemente un valor y = f(x), perteneciente al intervalo real (y1,y2) cumplindose
Fx; f(x) 0 x (x1,x2). La funcin y = f(x) satisface la ecuacin y0 f ( x0 ) . Adems y =
f(x) es continua y diferenciable y su derivada y diferencial son respectivamente:
Fx (x; y)
F (x; y)
dy
. dx , en todo punto en que Fy(x,y) 0.
f (x) y
x
, dy
Fy (x; y)
dx
Fy (x; y)
Demostracin: El plan de demostracin es el siguiente : a) Existencia y unicidad
b) Continuidad y c) Derivabilidad y Diferenciabilidad
a) Existencia y unicidad.
Estableceremos un rectngulo x x x ; y y y en el cual la ecuacin F(x;y) = 0
1
2
1
2
determina una nica funcin y = f(x); pero se debe aclarar que no vamos a tratar de encontrar el
mayor rectngulo de este tipo, solo debemos demostrar que ese rectngulo existe. Ver Figura 1
Figura 1
Pero por la continuidad de z = F(x,y) se deduce que z = F(x,y) ser negativa no solo en A ,sino en
todo un entorno de A, en particular, a lo largo de un segmento y = y1 que contenga a A y est
contenido en R y z = F(x,y) ser positiva no solo en B, sino en todo un entorno de B, en particular,
a lo largo de un segmento y = y2 que contenga B y este contenido en R.
Ahora elegimos el intervalo x x x lo suficientemente pequeo como para que: F( x; y1 ) 0
1
2
F( x; y 2 ) 0
Figura 2
y0 y y0
x0 x x0
y y0
x x0
Pero
y 0 f (x 0 )
y f (x)
f ( x ) f ( x 0 ) ,
luego
x x 0 .
Esto ltimo nos indica lim f ( x) f ( x 0 ) , que nos determina la continuidad de y = f(x) en x0.
x x 0
Como este razonamiento puede aplicarse a cualquier punto del intervalo x 1<x<x2, queda probada la
continuidad de y=f(x) en todo este ltimo intervalo.
c) Derivabilidad de y = f(x).
Por la hiptesis segunda, que implica la diferenciabilidad de z = F(x , y), podemos escribir:
z F F( x h; y k) F( x; y) h. Fx ( x; y) k. Fy ( x; y) 1 . h 2 . k ,
donde 1 2 0 , con h k 0.
(2)
Ahora, para y = f(x), entre h y k no existe independencia.
As, es y k f(x h),k f(x h) y f(x h) f(x) . (3)
Suponemos tambin que los puntos (x,y) ; (x+h ,y+k) pertenecen al rectngulo donde y=f(x) esta
definida en forma implcita por F(x,y)=0. Entonces es
F(x;y) = 0; F(x+h ; y+k) = 0 . Luego:
0 h. Fx k. Fy 1. h 2 . k Dividiendo por h. Fy lo anterior, tenemos
0
k.Fy
h.Fx
.h
.k
, esto es
1
2
h.Fy
h.Fy
h.Fy
h.Fy
Fx k 1
k . 2
F
k
Fx ( x; y)
. dx , esto es Fx ( x; y). dx Fy ( x; y). dy 0 . Resultado
Fy ( x; y)
que se hubiera obtenido diferenciando F(x,y)=0 comoi funcin de dos variables
De (4) se deduce que dy
establecemos
F(x1 ; x 2 ;...; x n ; y) 0 una funcin de n+1 variables que satisface las siguientes
Sea
condiciones:
1) F(x1 , x 2 ,...... x n , y o ) 0 (existe solucin inicial) para algn punto P(x 01,x02,...,x0n.y0)
Rn+1,
o
2)
Fx1 ; Fx 2 ;...; Fx n ; Fy
3)
Fy ( x1o , x o2 ,...... x on , y o ) 0 ,
x i x i x i
i 1;2;3;..; n , tal que en cada punto del entorno x 1 x x 2 , i 1,2,... n
i
i
i
y1 y y 2
la expresin F( x1; x2 ;...; x n ; y) = 0 determina un valor y f(x1 ; x 2 ;...; x n ) (y1 , y 2 ) que es nico.
Adems:
Fx (x 1 ;...; x k ;...; x n ; y)
y
dF
F(x1 , x 2 ,..., x n , y) 0 ,
, donde es
es diferenciable,
Ai
y
xi
(5)
podemos escribir:
F
F
F
F
. dx1
. dx 2 ...
. dx n
. dy 0
x1
x2
xn
y
Fy (x 1 ,..., x n , y) o , ser:
F
F
x1
x 2
dy
. dx1
. dx 2 ...
F
F
y
y
F
x n
. dx n
F
y
F
x i
y
Comparando esta ltima expresin con (5) ser: A i
F
x i
y
Derivadas y diferenciales sucesivas de funciones implcitas
para i = 1,2,3,.....,n.
Por comodidad trabajaremos con una expresin de dos variables: F(x; y) = 0 que suponemos
cumple las condiciones del teorema 1 visto para definir y=f(x), ya que la generalizacin es
inmediata.
dy
F ( x; y)
y x
en donde y = f(x), o sea Fx ( x; y) y. Fy ( x; y) 0 .
dx
Fy ( x; y)
Derivando esta ltima expresin con respecto a x ser:
Fx dx Fx dy Fy dx Fy dy
dy
0 ,
y Fy
x dx
dy dx x dx
dy dx
dx
Hemos visto que
(6)
Si deseamos calcular y debemos derivar (6) respecto de x, y proceder como antes. Lo mismo
hacemos para las derivadas de orden superior.
Para calcular las diferenciales sucesivas partimos de:
diferenciamos esa expresin teniendo en cuenta que y = f(x).
Fx ( x; y).dx Fy ( x; y).dy 0 y
(7)
. dx
. dy . F(x; y) Fy . d 2 y 0,
y
x
x . dx y . dy . F(x; y)
d2y
FY (x; y)
Para calcular d3y se diferencia (7) y luego se despeja d3y. Para calcular las diferenciales de orden
superior de y=f(x) se procede en forma anloga a la anterior.
y1 f1 (x1 ; x 2 ;...; x n )
y 2 f 2 (x1 ; x 2 ;...; x n )
y cuales son las propiedades de la solucin, en relacin con las propiedades de F1 F2 .
Definiremos primeramente el trmino JACOBIANO o DETERMINANTE FUNCIONAL.
Si u = u(x ,y) ; v = v(x , y) son dos funciones continuas de las variables independientes x,y ; siendo
u v u v
sus derivadas parciales
tambin continuas, la expresin:
;
;
;
x x y y
u
x
u v
u v
.
.
x y
y x
v
x
u
y
v
y
(u, v)
(x, y )
(u, v)
.
(x; y )
u1 u1 ( x1; x2 ;...; xn )
u u ( x ; x ;...; x )
n
2 2 1 2
un un ( x1;............ Xn )
es
u1
x
1
(u 1 , u 2 ,..., u n )
J
(x 1 , x 2 ,... x n )
u n
x1
u1
xn
un
xn
TEOREMA III
Si
F1 ( x1; x2 ;...; x n ; y1; y2 ) F2 ( x1; x2 ;... x n ; y1; y2 )
son dos funciones de n+2 variables, que cumplen las siguientes condiciones:
1)
o
o
o
o
o
F1 (x1 , x 2 ,...... x n , y1 , y 2 ) 0
o
o
o
o
o
F2 (x1 , x 2 ,...... x n , y1 , y 2 ) 0
Rn+2
JP
( F1 ; F2 )
( y ; y )
1
2
F1
y
P
F2
y1
F1
y 2
F2
y 2
0,
y
1
1
1
2
y1 y
y
2
2
2
F1 (x 1 ,..., x n, y 1 , y 2 ) 0
F2 (x 1 ,..., x n , y1 , y 2 ) 0
J = 1,2,...,n en el cual
(A)
y1 f1 (x1 , x 2 ,..., x n )
y 2 f 2 (x1 , x 2 ,..., x n )
Se cumple que:
(B)
y solo una.
0
o
o
o
y1 f1 (x 1 , x 2 ,..., x n ),
0
o
o
o
y 2 f 2 (x 1 , x 2 ,..., x n ),
10
y que:
R n 2 )
F1 F2
F2 F1
.
.
0
y1 y 2
y1 y 2
en P.
Para que esto se cumpla, las cuatro derivadas no pueden ser simultneamente nulas en P, entonces
sin perder generalidad suponemos que es:
F1
0
y1
en P
(C).
F1 (x1 , x 2 ,...... x n , y1 , y 2 ) 0
(D).
Pero las hiptesis 1 y 2 de este teorema, junto con (C) nos aseguran (Teorema II) que de (D) se
deduce: y1 g( x1; x2 ;...; x n ; y2 )
derivada respecto de y2 es:
y1
y2
(E),
F1
y2
F1
y1
en P.
(F)
(E)
.
...
.
.
y 2
x1 y 2
x 2 y 2
x n y 2
y1 y 2
y 2 y 2
y2
y1 y2
y2
y 1
y 2
F1
y 2
F1
y 1
11
xi
0,
y2
G
y2
F
2
y
2
F
2 .
y
1
F
1
y
2
F
1
y
1
1
F
1
y
1
y2
F
F1
2 .
2
1
F
F1
2 .
y
y
1
2
1
.Jp
F1
y1
y2
y 02 f 2 (x10 , x 02 ,..., x 0n ) .
Si reemplazamos
y 2 f2 ( x1 ; x 2 ;...; x n )
Calcularemos ahora las derivadas de y1 e y2 con respecto a cada una de las xk. Partimos del sistema:
F1 (x1 ; x 2 ;...; x n ; y1 ; y 2 ) 0
F2 (x1 ; x 2 ;...; x n ; y1 ; y 2 ) 0
12
y derivando (como funcin compuesta), cada una de ellas respecto de las x k , (teniendo en cuenta
que estas son independientes, todas las derivadas de la forma
x j
x k
F1
F1 y1
F1 y 2
.
0,
xk
y1 x k
y2 x k
F2
F2 y1
F2 y 2
.
0,
xk
y1 x k
y2 x k
y1
y 2
;
x k
x k
Pasando en cada ecuacin los trminos independientes al segundo miembro, se tiene:
F1 y1
F1 y 2
F1
y1 x k
y2 x k
xk
F2 y1
F2 y 2
F2
y1 x k
y2 x k
xk
que es un sistema lineal de dos ecuaciones con dos incgnitas, y que puede resolverse por la regla
de CRAMER siempre que el determinante de los coeficientes sea distinto de cero, o sea, siempre
que:
F1
y
1
F
2
y1
F1
y 2
F2
y 2
cosa que ocurre, ya que este determinante es el JACOBIANO antes visto y por hiptesis es 0 en el
punto P .Resolviendo el sistema anterior, tendremos:
y1
xk
y2
xk
F1
y1
F2
y1
F1
xk
F2
x k
F1
xk
F2
xk
F1
y2
F2
y2
(F1 ; F2 )
(x k ; y 2 )
J
(F1 ; F2 )
(y1 ; x k )
J
(F1 ; F2 )
(y1 ; x k )
(F1 ; F2 )
(y1 ; y 2 )
13
(F1 ; F2 )
(x k ; y 2 )
(F1 ; F2 )
(y1 ; y 2 )
Calculamos ahora las diferenciales dy1,dy2. Diferenciando el sistema F1=0, F2=0 , ser:
F1
F1
F1
F1
dx ...
dx
dy1
dy 2 0
1
n y1
x1
xn
y2
F2
F2
F2
F2
dx ...
dx
dy
dy 0,
1
n
1
2
x1
xn
y1
y2
n
F1
F1
dy
dy
1
2
y1
y2
k 1
n
F2
F2
dy
dy
1
2
y1
y2
k 1
F
1 dx
k
k
F
2 dx
k
x
k
x
que tambin siempre en el punto P puede resolverse en dy1, dy2 como antes, por CRAMER.
SISTEMAS DE M FUNCIONES IMPLCITAS.
Deseamos estudiar condiciones bajo las cuales el sistema de m ecuaciones con n+m variables:
F1 (x1 ;...; x n ; y1 ;...; y m ) 0,
y1 f1 (x 1 ;...; x n )
y f (x ;...; x )
m
1
n
m
cuales son las propiedades de las fi en relacin con aquellas de las Fj ( i, j =1,...,m).
TEOREMA 4
Si las
Fi (x; y ) ,
para i = 1;....;m, son m funciones de m+n variables que cumplen con las
siguientes condiciones:
F1 (x 0 ; y 0 ) 0
1) (existe solucin inicial)para algn punto
F (x
0 ; y0 ) 0
m
P( x0 ; y0 ) Rn+m
2) Las Fi (x; y) admiten derivadas parciales de primer orden en un entorno del punto
3)
Jp
( F1 ; F2 ;...; Fm )
( y1 ; y 2 ;...; y m ) p
F1
y1
Fm
y1
F1
y m
Fm
y m
14
0
p
P( x0 ; y0 )
x 1K x k x 2K
un entorno que contiene al punto P.
1
2
y J y J y j
k = 1,...,n,
J = 1,...,m,
j 1,..., m,
k 1,..., n,
(F1 ;...; Fm )
xk
J
(y1 ;...; y m )
La demostracin de este teorema es anloga a la del teorema III y por ello no la haremos aqu.
APLICACINES DE LOS TEOREMAS DE FUNCIONES IMPLCITAS
FUNCIN INVERSA:
Consideremos una funcin de una variable independiente y=f(x).
Vamos a mostrar como se puede utilizar el Teorema 1 de funciones implcitas para determinar
condiciones bajo las cuales existir la funcin inversa x=g(y), cuales son sus propiedades y como
calcular su derivada.
Teorema 5:
Si y=f(x) es una funcin continua con derivada continua, y existe un punto x=x o con yo =f(xo) ^ f '
(xo) 0 (1) ,entonces es posible determinar un entorno que contiene al punto x=x 0 en el cual
y=f(x) define la funcin inversa x=g(y). Esta funcin es continua y derivable siendo su derivada
dx
1
dy , en todo punto del entorno mencionado en el cual sea f' ' (x) 0
dy
dx
Demostracin: formemos la siguiente funcin auxiliar F (x,y) = y - f (x) (2)
Si en esta expresin reemplazamos x por x0 e y por y0 ; teniendo en cuenta (1) se obtiene
F(x0;y0) = 0
(3)
Adems, como f(x) es continua y con derivada continua, resulta que
Fx (x,y); Fy (x,y) (4)
existen y son continuas, puesto que Fx (x,y) = -f' ' (x) , Fy (x,y) = 1
(que se obtienen derivando (2)).
Pero Fx (x0,y0) = - f' ' (x0) 0 por hiptesis. Esto ltimo, juntamente con (3) y (4) ,nos asegura por
el Teorema 1, que existe x = g (y), que es nica, continua y derivable, definida por F(x,y)=yf(x)=0 en un entorno del punto P(x0,y0),siendo:
15
Fy x, y
dx
1
1
1
dy
dy
Fx x, y
f ' x
f ' x
dx
, o sea
dx
1
dy
dy
dx
T-1: y -->x
TRANSFORMACIN INVERSA
Consideremos ahora el caso de un sistema de funciones o transformacin de la forma
u x , y , (5)
T:
v x , y .
u x o , y o
T o
v o x o , y o
P(xo,yo))
yo
v
T
P '(uo,vo)
vo
x f u o , v o
T o
y o g u o , v o
T-1
xo
uo
16
u (x 0 , y ) (A)
y el Jacobiano en P Jp= , J , 0,
x, y p
x , y p
v (x , y )
entonces se puede determinar un entorno que contenga al punto P, en el cual la transformacin (5)
admite inversa (6)
0
Las funciones
x f u, v y g u, v
son diferenciables.
F u, v , x , y v x , y
1
(7)
F u , v , x , y 0 u x , y 0,
F u , v , x , y v 0 x , y 0.
1
(8)
F1
F1
F1
x x , y ;
y x , y ;
1;
0,
x
y
u
v
F2
x
x x , y ;
F2
y
y x , y ;
F2
u
0;
F2
v
(9)
1,
F , F
F , F
J 1 2
x, y
x , y
1
F1
x
F2
x
F1
y
x
F2
x
y
y
x
y
x
,
(, )
y
x, y
x , y
y
(10)
F1 , F2
0 , juntamente con (8) y que F1 y F2 sean de la clase C1
x , y p
x f u, v ,
(11)
y gu, v ,
definido por
F1 u ( x, y ) 0,
F2 v ( x, y ) 0,
17
en un entorno del punto (u0,v0,x0,y0) el cual est formado por dos funciones que son continuas,
independientes y diferenciables, siendo sus derivadas:
1 y
F1, F2
0 y
u, y
y y
x
F1, F2
F1, F2
u
J
J
J
x, y
x, y
F1, F2
y
x , u
F1, F2
u
x , y
0 y
F1, F2
1 y
x
y
v , y
F
1
,
F
2
x
y
v
J
x , y
x y
F1, F2
y
x , v
F1, F2
v
x , y
x
_
J
x
j
Este teorema informa sobre condiciones bajo las cuales seguro existe (6) y cuales son sus
propiedades en relacin con las de (5), pero en general no proporciona la forma explcitamente (6).
La generalizacin para un sistema de n funciones de n variables se realiza mediante un
procedimiento similar Condiciones suficientes para la existencia de la transformacin inversa se
expresan en un teorema anlogo a los anteriores.
TRANSFORMACIN DE COORDENADAS
Hemos estudiado los sistemas de la forma
u x , y
v x , y
y su inversa
x f u, v
T-1
y g u, v
18
Consideremos ahora algunos hechos generales referentes en primer trmino a los cambios de
coordenadas en el plano definido por:
u x , y
x f u, v
(12) T
y su inversa T-1
(13)
v x, y
y g u, v
Cuando se dan las coordenadas (x1,y1) de un punto P1 respecto de un sistema de coordenadas
cartesianas "x,y, lo que en realidad se hace es fijar la posicin de P 1 como interseccin de las
rectas x=x1 ; y=y1..
u x 1, y ,
que representan las ecuaciones paramtricas de
v x , y ,
y=y1
y
y=y1
P1
P1
x=x1
0
x=x1
Anlogamente, al fijar la ordenada y=y1 obtenemos las ecuaciones paramtricas de otra curva del
plano "u,v, con parmetro "x", ya que y =constante. De manera que a la recta y=y 1del plano
(x,y) le corresponde otra curva en el plano "u,v". Entonces al punto P 1 , que en el plano "x,y" es la
interseccin de las rectas x=x1 ; y=y1, le corresponde en el plano "u,v" el punto P'1 , que es la
interseccin de las curvas respectivas mencionadas.
En general, a la familia de rectas x=c 1 ; x=c2 ;...; x=cn del plano x,y , le corresponde una familia
de curvas en el plano "u,v".Anlogamente, a la familia de rectas del plano x,y y=k 1 ; y=k2...y=kn
,le corresponde otra familia de curvas en el plano u,v.Recprocamente, a la familia de rectas u=u 1;
u=u2...u=un del planou,v, le corresponde una familia de curvas en el plano "x,y", al igual que a la
familia de rectas del plano u,v v=v1; v=v2...v=vn le corresponde otra familia de curvas en el
plano "x,y"
Transformacin de Coordenadas Cartesianas (x,y) a Coordenadas Polares ( r, )
3
r3
r2
r1
r=r1
r=r2
r=r3
3 4
19
y
P(x,y)
0<r<+
0 2
O
x
x
x
x r. cos
x, y
J
r
y
y r. sen r ,
r
r. cos 2 r. sen 2 r 0
x
cos
y
s en
r. s en
r. cos
r x 2 y 2
T: v x, y, z (14) y su inversa T
y g u, v , w (15)
w x, y, z
z h u, v , w
20
P
0 < r < +
0 2
- z +
z
y
x r.cos
Ty r.sen
z z
r x 2 y 2
T 1 arctg
x
zz
x , y , z
J
r , , z
cos
sen
0
r. sen
r. cos
0
J = r 0
en todo punto no situado sobre el eje z.
JACOBIANO DE UN PRODUCTO O COMPOSICIN DE TRANSFORMACIONES
Consideremos la siguiente transformacin:
y1 f1 x 1 , x 2 ,...., x n
y f x , x ,..., x
2
2
1
2
n
F:
, (16) Cuyo Jacobiano es:
..........
..........
..........
y n f n x 1 , x 2 ,..., x n
J1= J
..........
..........
.........
x n g n t 1 , t 2 ,....., t n
J2 J
x 1 , x 2 ,....., x n
t 1 , t 2 ,....., t n
(18)
x 1 , x 2 ,..... x n
. (19)
t 1 , t 2 ,..... t n
21
0
0
1
y1
y
........... 1
x1
x n
x1
x
........... 1
t1
t n
a11
y , y ,....., y
x , x ,....., x
1 2
n
1 2
n ....................... . ....................
......
x , x ,....., x
t , t ,....., t
1 2
n
1 2
n
y n
y x n
x
........... n
.......... n
x1
x n t1
t n
a n1
...... a1n
...... .....
.
...... a nn
(20)
y1 x1
y1 x 2
y1
y1 xn
.
......
.
x1 t1
x 2 t1
x 3
x n t1
y 1
y
.
Luego a 11 1 , y ,en general
t 1
t 1
y x
y x
y x
y
a ij i . 1 i . 2 ...... i . n i , resultado que reemplazado en (20) da:
x1 t j x 2 t j
x n t j
t j
Pero la sumatoria es
J 1 .J 2
o sea que:
a 11
a 21
.....
a n1
y1
t 1
a 1n
y2
a 2n
t 1
.....
......
a nn
y n
t 1
a 12 .......
a 22 .......
.......... ..
a n 2 .......
y1 , y 2 ,....., y n
. x
x 1 , x 2 ,....., x n
y1
......
t 2
y 2
......
t 2
.......... ..
y n
.......
t 2
y1
t n
y 2
t n
.....
y n
t n
, x 2 ,....., x n y1 , y 2 ,....., y n
t 1 , t 2 ,....., t n
t 1 , t 2 ,....., t n
1
y t o sea:
F: y 2 f 2 x 1 , x 2 ,....., x n
y n f n x 1 , x 2 ,....., x n
, F 1
x1 g1 y1, y 2,....., yn
x 2 g 2 y1, y 2,....., yn
.............................
xn gn y1, y 2,....., yn
22
a 11 a 12 ....... a 1n
y , y ,....., y n x 1 , x 2 ,....., x n a 21 a 22 ....... a 2n y1 , y 2 ,..... y n x 1 , x 2 ,..... x n
J 1 2
.J
.
x 1 , x 2 ,....., x n y1 , y 2 ,....., y n ..... .......... .. ..... x 1 , x 2 ,..... x n y1 , y 2 ,..... y n
a n1 a n 2 ....... a nn
en donde, segn vimos, es:
yi x1
yi x 2
y1 xn
y1
y1
a11
.
.
......
.
1 a12
0,
x1 y1 x 2 y1
xn y1
y1
y 2
ya que y1 no depende de y2.
Entonces, todos los aij sern iguales a cero para i
y1 , y 2 ,..... y n x1 , x 2 ,..... x n
.
x1 , x 2 ,..... x n y1 , y 2 ,..... y n
1
0
...
0
0
1
...
0
0
0
...
0
j, y cuando i=j a ij = 1 .
0
0
...
0
.....
.....
...
...
0
0
1
...
1
As es:
de donde:
y1 , y 2 ,..., y n x 1 , x 2 ,..., x n
.
1.
x 1 , x 2 ,..., x n y1 , y 2 ,..., y n
Luego :
y1 , y 2 ,...., y n
1
,
x 1 , x 2 ,..., x n
x 1 , x 2 ,..., x n
y1 , y 2 ,..., y n
lo que nos dice que el jacobiano de la transformacin inversa de una transformacin es igual al
inverso del jacobiano de la transformacin original, si esta admite inversa.
23