Beruflich Dokumente
Kultur Dokumente
'emostracin&
1 . 1 .
1
.
1 .
! , ,..., " ! , ,..., "
! , ,..., " ! , ,..., "
k
n n
n
k
n
f x x x f x x x
x u
x v
x w
f u v w f x x x
M
5plicando el operador deriacin respecto a la ariable
resulta&
1
1 . 1 .
! , ,..., " ! , ,..., " ! , ,..., "
. . . ! , ,..., "
k
n n
f u v w f u v w f u v w
x x x k f x x x
u v w
+ + +
L
?
>gualando la ariable
a 1, tenemos que&
1 . 1 . 1 .
1 . 1 .
1 .
! , ,..., " ! , ,..., " ! , ,..., "
. . . ! , ,..., "
n n n
n n
n
f x x x f x x x f x x x
x x x kf x x x
x x x
+ + +
L
-omo se quera demostrar.
@5cerca del clculo de la integral de una funcin 0omognea.
5 continuacin se estudiarn las integrales m/ltiples de un tipo especial de funciones
0omogneas de grado distinto de cero en distintos recintos del espacio euclidiano, para
obtener una frmula simplificada para integrar este tipo de funciones.
Empezar, en primer lugar, estudiando la integral doble y triple en slidos del tipo de
un paraleleppedo.
)eorema& %i f!x1y" es una funcin 0omognea de grado n distinto de cero, sin
sumandos en los que aparezcan una sola de las ariables, cuyo dominio pertenece al
espacio euclidiano, adems f es continua y deriable en un recinto de
.
1 entonces
tenemos que&
[ ]
[ ]
.
1
.
1
. 1 . 1
. 1 . 1
1
! 1 " !! " ! 1 " ! 1 "
! ."
! " ! 1 " ! 1 " "
R
f x y dxdy dy f y f y
n
dx f x f x
+
+
+
-on
. 1 . 1
y x
.
'emostracin&
1 ! 1 " ! 1 "
! 1 "
R R
f x y f x y
f x y dxdy x y dxdy
n x y
_
+
,
Esto es por el teorema de Euler.
4or 0iptesis el olumen a calcular es el de un paraleleppedo, y aplicando propiedad
de suma de integrales, se obtiene&
. . . .
1 1 1 1
! 1 " ! 1 "
! 1 "
R
f x y f x y
n f x y dxdy xdxdy ydxdy
x y
+
. . . .
1 1 1 1
! 1 " ! 1 "
! 1 "
R
f x y f x y
n f x y dxdy dy xdx dx ydy
x y
+
>ntegrando por partes, cada trmino del segundo miembro de la expresin&
A
! 1 "
! 1 " !esto es alido por la 0iptesis de que
la funcin no tiene sumandos en los que
f x y
du dx u f x y
x
+ +
+
+
con
1 . 1 . 1 .
x z y
'emostracin&
4or el teorema de Euler se llega a&
! 1 1 " ! 1 1 " ! 1 1 "
! 1 1 "
R R
f x y z f x y z f x y z
f x y z dxdydz x y z dxdydz
x y z
1
+ +
1
]
D
5nlogamente a lo ya demostrado en el caso de la integral doble, se deduce&
?
[ ] [ ] [ ]
. . . . . .
. . .
1 1 1
1 1 1 1 1 1
! 6" ! 1 1 " ! 1 1 " ! 1 1 " ! 1 1 "
R
n f x y z dxdydz dydz f x y z dxdy f x y z dxdz f x y z
+ + +
4or lo tanto.
[ ] [ ] [ ]
. . . . . .
. . .
1 1 1
1 1 1 1 1 1
1
! 1 1 " ! 1 1 " ! 1 1 " ! 1 1 "
! 6"
R
f x y z dxdydz dydz f x y z x dxdy f x y z z dxdz f x y z y
n
+ +
+
+ue es lo que se quera demostrar.
Co es difcil obserar que la nota presentada anteriormente es extensible a este caso.
5 continuacin estudiar el comportamiento que tienen las funciones 0omogneas
con las que estoy tratando, ya no para el clculo de un slido como el paraleleppedo,
sino en un slido ms general.
)eorema& %i f!x1y" es una funcin 0omognea de grado n distinto de cero, sin
sumandos en los que aparezcan una sola de las ariables, cuyo dominio pertenece al
espacio euclidiano, adems f es continua y deriable en un recinto de cualquier tipo de
.
1 entonces tenemos que&
[ ] [ ]
. .
. .
1 1
. 1 1
! " ! "
! " ! "
1
! 1 " ! 1 " ! 1 "
! ."
y x
y x
R
f x y dxdy dy f x y x dx f x y y
n
_
+
+
,
-on
1 . 1 .
y x
La demostracin resulta anloga al primer teorema que se presento en sta seccin.
)eorema& %i f!x1y1z" es una funcin 0omognea de grado n distinto de cero, con
sumandos en los que aparezcan todas de las ariables, cuyo dominio est en el espacio
euclidiano, adems f es continua y deriable en un recinto de cualquier tipo de
6
1
entonces tenemos que&
[ ] [ ]
[ ]
. . . .
. .
1 1
6 1 1 1 1
. .
.
1
1 1
! " ! "
! 1 " ! 1 "
! 1 " ! 1 "
! " ! "
! "
! 1 "
! 1 "
! "
1
! 1 1 " ! ! 1 1 " ! 1 1 "
! 6"
! 1 1 " "
z y
y z x y
y z x y
R z y
x
x z
x z
x
f x y z dxdydz dydz f x y z x dxdy f x y z z
n
dxdz f x y z y
+ +
+
+
-on
1 . . 1 1 .
z y x
.
E
A
%obre el alor de una funcin 0omognea en los puntos crticos del dominio.
5 seguir se abordar una particular caracterstica que tienen las funciones
0omogneas de grado n distinto de cero.
)eorema& %ea
1 .
! , , , "
n
f x x x K
una funcin diferenciable en su dominio !incluido en
el espacio euclidiano" y 0omognea de grado n distinto de cero1 entonces si f admite
punto crtico en alg/n ector del dominio, la funcin ealuada en ese ector ale cero.
5ntes de demostrar este teorema es coneniente obserar que la anterior proposicin
implica que si la funcin admite mximo o mnimos stos solamente admiten el alor
cero.
'emostracin&
4ara poder llegar a la tesis, antes deducir un corolario que extra#e del teorema de
Euler.
-orolario& El diferencial de toda funcin 0omognea de grado n distinto de cero
puede expresarse de la siguiente manera&
F
F F F
1 .
1 . 1 .
1
! 1 1 1 "
! 1 1 1 " ! 1 1 1 "
n
n
n i n
i
i
x x
f x x x
df x x x x nf x x x
x
r uur
K
K K
'emostracin&
F
F
F F
F
1 .
1 .
1
F 1 .
1
F 1 . 1 .
1 1
F 1 .
1 .
1
! 1 1 1 "
! 1 1 1 "
! 1 1 1 "
! "
! 1 1 1 " ! 1 1 1 "
! 1 1 1 "
! 1
n
n
n i
i
i
x x
n
n
i i
i
i
x x
n n
n n
i i
i i
i i
x x x x
n
n
i
i
i
x x
f x x x
df x x x dx
x
f x x x
x x
x
f x x x f x x x
x x
x x
f x x x
x nf x x
x
r uur
r uur
r uur r uur
r uur
K
K
K
K K
K
F F
1 1 "
n
x K
5 la tesis se arria a partir del teorema de Euler.
8na ez demostrado este corolario resulta inmediata la tesis del teorema, ya que el
diferencial de la funcin en el punto crtico es cero, y puesto que las condiciones de
G
primer orden 0abituales implican que las deriadas parciales de la funcin en el punto
crtico son nulas1 se tiene que&
D
F F F
1 .
! 1 1 1 " F
n
nf x x x K
4uesto que por 0iptesis n es distinta de cero, obtenemos lo que se quera demostrar.
1F