PDF (Segunda Parte)

Anuncio
"LA INTEGRAL DE LINEA - TEOREMAS FUNDAMENTALES
Un conjunto S del plano se dice abierto si para cualquier
punto A de S, existe un disco circular con centro en A y radio
r>0, totalmente contenido en S.
Un conjunto S del espacio se dice abierto si para cualquier
punto A de S, existe una esfera con centro en A y radio r>0
, totalmente contenida en S.
En la Figura 2.6 mostramos subconjuntos conexos del plano y en la
Figura 2.7 mostramos un conjunto abierto NO CONEXO, del plano.
En el espacio, los sólidos encerrados por superficies esféricas,
poliedros e inclusive un toro (la superficie de un neumático inflado) son
conjuntos conexos.
El enunciado del Segundo Teorema Fundamental del Cálculo para
Integrales de Línea es:
Sea f un campo escalar diferenciable con gradiente grad(f)
continuo sobre un conjunto abierto conexo S del plano (o del
espacio). Entonces para cualquier pareja de puntos A y B de
S unidos por una curva lisa a trozos C de S, con
parametrización B definida en el intervalo [a, b], tenemos
que:
I
FIGURA 2.7
Si S es el conjunto formado por la reunión de
las cuatro regiones sombreadas, entonces S
es no conexo.
Un conjunto S del plano se dice abierto
si para cualquier punto A de S, existe un
disco circular con centro en A y radio r>0
, totalmente contenido en S.
Un conjunto S del espacio se dice
abierto si para cualquier punto A de S,
existe una esfera con centro en A y radio
r>0, totalmente contenida en S.
Segundo Teorema Fundamental del
Cálculo para Integrales de Línea es:
Sea f un campo escalar diferenciable
con grádente grad(f) continuo sobre un
conjunto abierto conexo S del plano (o
del espacio). Entonces para cualquier
pareja de puntos A y B de S unidos por
una curva lisa a trozos C de S, con
parametrización B definida en el intervalo
[a, b], tenemos que:
(grad(f)) • dfc = f ( B ) - f ( A )
I (grad(f)) • dfc =f(B) - f(A)
53
CALCULO INTEGRAL EN VARIAS VARIABLES REALES
Para demostrar este teorema introduzcamos una función h definida
por:
h(t) = f( ß(t)) con a < t <b ;
y tomemos a la curva C lisa . Ahora por la regla de la cadena
h'(t) = ( g r a d ( f ( ß ( t ) ) ) • ß ' ( t ) ,
la cual es continua en el intervalo abierto (a, b) porque grad(f) es continuo
sobre S y C es lisa.
Si aplicamos el segundo teorema fundamental de Cálculo Integral en
una variable obtenemos:
í
h'(t) d t
= h ( b ) - h(a) = f( ß ( b » - f(ß(a))
= f(B)- f(A)
Aparentemente ya hemos demostrado completamente el teorema.
Pero no, porque hasta ahora hemos tomado a C en el caso particular
que sea lisa. Si C no es lisa pero es lisa a trozos, partamos el intervalo
[a, b] en un número m de sub-intervalos [ t k . , , t k ] en cada uno de los
cuales C sea lisa y apliquemos lo que acabamos de demostrar en cada
54
•LA INTEGRAI, DE LINEA TEOREMAS FUNDAMENTALES
subintervalo y cada trozo C k de la curva, llegando a que
i
( g r a d ( f ) ) • dß
• li
k
(grad(f))«dR
= wck
m
= I
(f[ß(tk)]
k= 1
= f(B)-
-
f[ß(tk-l)])
f(A)
Una conclusión inmediata o corolario, es que
L
( g r a d ( f ) ) • dß = 0
Una conclusión inmediata o corolario, es que
donde C es una curva cerrada lisa a trozos de S y S es un conjunto
abierto conexo en donde grad(1) es continuo.
En otras palabras, el Segundo Teorema Fundamental del Cálculo
para Integrales de Línea, nos dice que si AyB son puntos cualesquiera
de un conjunto abierto conexo S y si un gradiente es continuo en S,
entonces la integral de línea entre AyB, de ese gradiente es independiente del camino escogido en S que una a A con B (en ese orden). Así
el Segundo Teorema Fundamental del Cálculo para Integrales de
Línea, nos muestra propiedades del gradiente, que no nos mostró el
Cálculo Diferencial en Varias Variables .
I
( g r a d ( f ) ) • dlí
=0
donde C es una curva cerrada lisa a trozos deSySes
un conjunto abierto conexo en donde gradff) es continuo.
El Segundo Teorema Fundamental del Cálculo para
Integrales de Línea, nos dice que si AyB son puntos
cualesquiera de un conjunto abierto conexo S y si un
grádente es continuo en S, entonces la integra! de línea
entre AyB, de ese gradiente es independiente del
camino escogido en S que una a A con B.
Si un campo vectorial F cualquiera, continuo en su dominio, tiene la
propiedad de que
j F • d& = 0
para toda curva cerrada C de la región donde F está definido, diremos
que es un campo' vectorial conservativo. De hecho por el segundo
teorema fundamental de Cálculo para integrales de línea, si f es un
campo escalar con grad(f) continuo en un conjunto abierto conexo S,
entonces
g r a d ( f ) e s un campo v e c t o r i a l c o n s e r v a t i v o
De inmediato nos preguntamos:
¿Si F es un campo vectorial conservativo, F será el gradiente de
algún campo escalar ?
Tenemos la esperanza de que la respuesta sea sí y en efecto es así.
Para probar esto, probemos primero que sí F es un campo vectorial
conservativo en un conjunto abierto conexo S, entonces la integral de
línea de F es independiente del camino en S. La integral de línea de F
es independiente del camino en S, si para todo A y B en S
Si un campo vectorial F cualquiera, continuo en su
dominio, tiene la propiedad de que
J F • d& = 0
para toda curva cerrada C de la región donde F está
definido, diremos que es un campo vectorial conservativo.
56
í
F • dfc
JA
es la misma para cualquier curva lisa a trozos C que junte a A con B.
Sean Ci y C2 dos curvas suaves a trozosN de S con los mismos
extremos. Sea Q una parametrización de C, con dominio [a, b] y sea (3
una parametrización de C2 con dominio [c, d]
"LA INTEGRAL DE LINEA - TEOREMAS FUNDAMENTALES
Sea
r(t) =
{
ß ( t ) , si a < t < b
ß(b + d - t), si b < t < b + d - c
donde r es la parametrización de una curva cerrada C de S que
satisface:
J FF • d r = jI F
F • dO +
+ J
Je
Jcz
Je
leí
JCi
F •
dß
Como C es una curva cerrada de S y F es un campo conservativo en
S, entonces
j
F • dr = 0
es decir,
í F • dO - i F • dß
JCi
Je2
=0,
¡ F • dO = í F • dß
JCi
/Ci
JCz
Je?
lo cual significa que la integral de línea de F es independiente del camino
en S.
<rr
CALCULO INTEGRAL EN VARIAS VARIABLES REALES
Ahora demostremos que si la integral de línea de F es independiente
del camino en S (conjunto abierto conexo), entonces F es el gradiente
de algún campo escalar f definido en S. Está será una conclusión
inmediata del siguiente teorema que se acostumbra a llamar Primer
Teorema Fundamental del Cálculo para Integrales de Línea, por su
marcada analogía con el Primer Teorema Fundamental del Cálculo
Integral, en una variable.
El enunciado del Primer Teorema Fundamental del Cálculo para Integrales de Línea es:
El enunciado del Primer
Teorema
Fundamental del Cálculo para Integrales
de Línea es:
Sea F un campo vectorial continuo en
un conjunto abierto conexo S del plano (o
del espacio) y tal que la integral de línea
de F es independiente del camino en S.
Sea A un punto fijo de S y sea f un campo
escalar continuo, definido por la expresión
f(x)
=j
F • dO
donde fi es la parametrización de una
curva de S, suave a trozos, que une a A
con X. Entonces el gradiente de f existe y
grad(f(X)) = F(X)
para todo X en S.
Sea F un campo vectorial continuo en un conjunto abierto
conexo S del plano (o del espacio) y tal que la integral de
línea de Fes independiente del camino en S. Sea A un punto
fijo de S y sea 1 un campo escalar continuo, definido por la
expresión
f(x)
=j
F • dO
donde íl es la parametrización de una curva de S, suave a
trozos, que une a A con X. Entonces el gradiente de f existe
y
grad(f(X)) = F(X)
para todo X en S.
1 A INTECiRAL DE LINEA - TEOREMAS FUNDAMENTALES
Antes de demostrar este teorema resaltaremos el hecho de que con
él se completa la prueba de quefíodo campo vectorial conservativo es
un gradiente] La función cuyo gradiente ha de ser el campo conservativo
F, es la función f dada por el Primer Teorema Fundamental del Cálculo
para Integrales de Línea.
La demostración del Primer Teorema Fundamental del Cálculo para
Integrales de Línea consiste en mostrar que las derivadas parciales de
f existen y son las componentes F1 y F2 (ó F1 ,F2 y F3) del campo vectorial
F.
Llamemos B(X, r) a un círculo (o bola de R3) con centro en X y radio
r, con un valor adecuado de r para que B(X, r) esté totalmente contenido
(o contenida) en S. ( S es abierto).
Si h es un número real tal que 0 < Ihl < r, entonces X + h i también
estará en S y para analizar
|Í(X)
dx
formemos el cociente
f ( X + h T ) - f(X)
h
De acuerdo con la definición de f, tenemos que
X+hi
f (X + h i )
•í
F • dO
f(x)
F • dü
- í
59
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
entonces
fX
f( X + h i ) -
+ hf
f(x) = j
F • dO
para cualquier camino suave a trozos de S que une a X con X + h i ,
en particular esto será válido en el segmento de recta con extremos
X y X + h f y con parametrización
O ( t ) = X + t h l con 0 < t < 1 ,
Así
0'(t) = hi
f(X + h i) - f ( X ) =
= h í
Jo
y entonces
c
Jo
-
-
F(X + t h i) • h i dt
F(X + 1 h i) • T d t ,
de lo cual obtenemos
pero
60
n x + h ¡o - f ( x )
=
r
h
Jo
F ( x + t h
; ) , r
d
t ,
1 A INTECiRAL DE LINEA - TEOREMAS FUNDAMENTALES
F(X + t h i) • i = Fi(X + t h i)
porque
F(X) = F i ( X ) í + F 2 ( X ) f
F(X) = F i ( X ) ¡ + F 2 ( X ) j
con F-|, F2 y
+F3(X)k ,
F3 campos e s c a l a r e s ,
llamados componentes de F
Así
f(x
+
ho-f(x)
h
r
F l ( x + t h r )
dt
Jo
Introduzcamos una nueva variable U en la integral:
U=ht,
f(x
+
dU = h d t , para obtener
hQ-f(x)
h
=
iíhF
h 0
J
l (
x
+
u r)dü
Sea g la función definida por
g(t)=
Fi(X + U i) dU ,
Jo
61
con dominio el intervalo abierto (-r, r) para garantizar la existencia de
la integral aprovechando que F es continuo en S.
Como
g(h)=í
Fi(X + U i) d U ,
Jo
entonces
í
f(X + h i) - f(X)
h
de donde
jo
=
Fi(X + U i) dU ,
=
h
f ( X + h i ) - f(X)
=
g(h) - g(0)
h
g(h) - g(0)
h
h
tomando límite obtenemos
lim
h^O
f(X + h i) - f(X)
h
lim
h^O
g(h) - g(0)
h
o
| L ( X ) = g'(0)
dx
Como F es continuo en S, F i también es continuo en S y el Teorema
Fundamental del Cálculo Integral en una variable nos garantiza que
g'(t) = Fi (X + 1 i)
1 A INTECiRAL DE LINEA - TEOREMAS FUNDAMENTALES
entonces
g'(0) = F 1 (X)
Como ya probamos que
òf
dx
(X) = g'(0)
se concluye que
| ^ ( X ) = F 1 (X)
dx
Si el campo vectorial
similarmente que
F e s de R 2 e n R 2 , se demuestra
| Í ( X ) = F 2 (X)
Si el campo vectorial
en forma similar que
F e s de R 3 e n R 3 se demuestra también
~ ( X ) = F 2 (X)
dy
y
| Í ( X ) = F 3 (X)
dz
con lo cual se completa la demostración.
Aparentemente la hipótesis de que S sea un conjunto conexo no se
utilizó en la demostración de los dos teoremas anteriores, pero esta
apreciación es equivocada, porque sin la conexidad de S, no podemos
garantizar la existencia de alguna curva suave a trozos en S, que
comunique un par de puntos de S.
63
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
El Primer Teorema Fundamental del Cálculo para Integrales de
Línea completa la demostración de que todo campo vectorial conservativo
F es un gradiente y se configurauna herramienta para mostrar cuando
un campo vectorial cualquiera F no es un gradiente en un conjunto
abierto conexo S, pues es suficiente encontrar una curva cerrada C de
S alrededor de la cual
J F • d& * 0
porque así F no es un campo vectorial conservativo y por consiguiente
no es un gradiente.
En nuestro curso de Cálculo Diferencial en Varias Variables se nos
dió a conocer un teorema según el cual si F es un campo vectorial
continuamente diferenciable en un conjunto abierto S de R2 y F es un
gradiente entonces
D 2 F 1 (X) = D 1 F 2 (X)
donde
F(X)
= FI(X)T+ F2(X)jr .
Este teorema no aporta nada a la solución del problema de determinar si el campo vectorial
Una herramienta para mostrar cuando un campo
vectorial cualquiera F no es un gradiente en un conjunto
abierto conexo S, es encontrar una curva cerrada C de
S alrededor de la cual
- y
F(X, y ) = —
y
I + —
x¿ +y¿
F •
64
* 0
y
7*
- J
x¿ +y¿
es, o no es un gradiente en el conjunto abierto
1 A INTECiRAL DE LINEA - TEOREMAS FUNDAMENTALES
S = { (x,y) de R 2 I (x, y) * (0, 0) }
porque a pesar de que °2Fi (X) = Di F 2 W p a r a todo X en S, no se
puede concluir nada ya que la igualdad de esas derivadas parciales es
una condición necesaria para que F sea un gradiente.
Pero ahora podemos recurrir a buscar una curva suave a trozos C de
S alrededor de lo cual la integral de línea de F no sea cero. Una tal curva
es la circunferencia C con parametrización
O ( t ) = c o s t i + sen t j , con
0
<t
<2TT ,
porque
( cos 2 t + sen 2 t ) dt =2n.
Este último resultado nos permite concluir que
no es un gradiente en el conjunto
65
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
S = { (x,y) de R 2 I (x, y) * (0, 0) }
Nótese que este conjunto S es también un conjunto conexo del plano.
Pero no sería descabellado el siguiente argumento en contra de esta
conclusión:
La función
a retan (y / x)
f(x
y).
V
, si x > 0
, si x = 0
TT + a retan (y / x) , si x < 0
n / 2
|
I
es una función potencial de F en S, porque
df
dx
-y
x +y2
2
.
df _
x
2
dy
x +y2
¿Cómo mostrar que este argumento es falso?
La función f no es continua en los puntos de la forma (0,y 0 ) para y o <0,
porque
<*,JÍW(x'y)=
=
66
x'™0+
x l V
arctan(y0/x)
=
f
(x-yo)
-TÍ/2
1 A INTECiRAL DE LINEA - TEOREMAS FUNDAMENTALES
( x ,
y o
=
)
l
l " o -
! y o )
f ( x , y ) =
f ( x , y
( n + a r c t a n ( y
0
/ x ) )
=
0
)
3 n / 2
f(0, yo) = tt/2
La discontinuidad de f en los puntos de la forma (0,y 0 ) para y0 <0
hace que la derivada parcial con respecto a x no exista en esos puntos,
por lo cual f no es función potencial de F en los puntos del eje y negativo.
Para todos los otros puntos del conjunto S, f es una función potencial
de F, es decir,
grad(f)
= F
para todos los puntos del conjunto
K =
R 2 - { (x, y ) I x = 0
e
y <0 } .
El análisis de este problema muestra que la existencia de una función
potencial depende no solamente del campo vectorial F sino que
también depende del conjunto S en el cual esta definido el campo
vectorial.
En la práctica pudimos utilizar el hecho de que la integral de línea al
rededor de una curva cerrada de S no es nula, para mostrar que un
campo vectorial NO ES CONSERVATIVO; pero a pesar de que si la
integral de línea de un campo vectorial al rededor de toda curva cerrada
de S es nula, es una condición suficiente para que el campo vectorial
La existencia de una función potencial depende no
solamente del campo vectorial F sino que también depende del conjunto S en el cual esta definido el campo
vectorial.
67
CALUULU irntüjKAL. EJN »AK1AS v AR1AD1.EO h e a l l o
sea CONSERVATIVO, en la mayoría de los casos, es prácticamente
imposible calcular esa integral para TODAS las curvas cerradas de S .
Esto nos deja en la carencia de una condición suficiente para verificar
que un campo vectorial F sea CONSERVATIVO en un dominio S de
características especiales.
En realidad solo desconocemos las características especiales del
dominio S en el cual para que el campo vectorial F sea CONSERVATIVO
es suficiente que se satisfaga:
D2fi(X) = D1f2(X)
Esas características especiales las da el concepto de CONJUNTO
SIMPLEMENTE CONEXO.
Un conjunto S del plano se dice SIMPLEMENTE CONEXO,
si para cualquier curva cerrada simple * C de S se satisface
que todos los puntos interiores a C son puntos de S.
Un conjunto S del plano se dice SIMPLEMENTE CONEXO, si para cualquier
curva cerrada simple" C de S se satisface
que todos los puntos interiores a C son
puntos de S.
Intuitivamente
S es simplemente
conexo en el plano si S no tiene «agujeros».
Un conjunto S del espacio se dice
SIMPLEMENTE CONEXO si para cualquier curva cerrada simple Ó de S, se
satisface que C se pueda «defomar con
continuidad en S» hasta reducirla a un
punto de S.
68
Intuitivamente S es simplemente conexo en el plano si S
no tiene «agujeros».
Un conjunto S del espacio se dice SIMPLEMENTE
CONEXO si para cualquier curva cerrada simple C de S, se
satisface que C se pueda «defomar con continuidad en S»
hasta reducirla a un punto de S.
* Una curva C se dice cerrada simple si al trazar C termina por llegar al
punto inicial, pero no pasa por otro punto dos veces.
LA INTEGRAL DE LINEA
TEOREMAS FUNDAMENTALES
Como ilustración veamos los siguientes ejemplos:
51 =
R2 - { (x, y ) I x = 0
y = o
}.
y = 0
;
No es sim-
plemente conexo .
52 =
R3 - { (x, y, z) I x = 0
e
z *
0 }
Es simplemente conexo.
La carencia de condición suficiente para que un campo vectorial F
sea CONSERVATIVO en un dominio S, la satisface, como seguramente
lo intuye el lector, el siguiente teorema:
Si el campo vectorial
f U y )
= f
i U
y )
i
+
f
1f
z
2 ( x , y ) j
satisface que:
D
2f
1(x,y)
= D
( x , y )
en su dominio S y S es simplemente conexo, entonces F
es un campo vectorial CONSERVATIVO en S.
TEOREMA
Si el campo vectorial
F(x,y)
Este teorema lo demostraremos fácilmente como una aplicación del
TEOREMA DE GREEN en la sección 3.12.
= f 1( x , y ) P + f
2{x,y)j
satisface que:
D 2f
i(x,y)-D
\f
z
(x,y)
en su dominio S y S es simplemente
conexo, entonces F es un campo vectorial
CONSERVATIVO en S.
69
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
2.7 APLICACIONES DE LA INTEGRAL DE LINEA.
En forma análoga como calculamos el área de una sección de cilindro
para motivar la definición de integral de línea de un campo escalar, se
puede calcular la masa M, el centro de masa
( x, y ) ó ( x, y, z )
y el momento de inercia con respecto a una recta L, • L , de un
alambre con densidad lineal, no necesariamente constante, descrita
por un campo escalar Í3 definido sobre la curva C (del plano o del
espacio) que le da la forma al alambre, para concluir que
M = J ß(x, y, z ) ds
si la curva C está en el espacio;
4
4
70
M = | ß(x, y) ds
ß(x, y, z ) ds
si la curva C está en el plano;
ß(x, y) ds
X =j-
M
I x ß ( x , y, z) ds
Je
APLICACIONES DE LA INTEGRAL DE LINEA
y == _ L
=
M
{
M
l
y B ( x , y, z ) d s
z &(x, y, z ) d s
si la curva C está en el espacio;
x fc(x, y ) d s
=
M Íc
=
Í
M
y &(x, y ) d s
si la curva C está en el plano,
•L
=
=
M
=j
M
i z fc(x, y, z )
=
M
y =_L
=
ó (x, y) &(x, y ) ds
si la curva C está en el plano y d(x, y) es la distancia de un punto
cualquiera (x,y) de la curva C a la recta L.
Si la recta L es el eje x, el eje y, o el eje z, los momentos de inercia se
acostumbran a notar
l x , l y , I,, respectivamente.
í
y &(x, y, z ) d s
i
x = JL
2
x &(x, y, z ) d s
M
d 2 ( x , y , z ) &(x, y, z ) d s
si la curva C está en el espacio y d(x, y, z) es la distancia de un punto
cualquiera (x, y, z) de la curva C a la recta L,
II
i
r = J-
M
i
i
ds
x fc(x, y ) d s
y
&(x,y)ds
c
d 2 ( x , y , z ) R(x, y, z ) d s
C
2
d (x, y ) S ( x , y ) d s
- í
c
71
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
Si la densidad Í3 es constante se obtiene los siguientes resultados
interesantes:
1.
M = j ß d s = ß j d s = ßl
donde I es la longitud de la curva C, de lo cual concluimos que
R = M.
I
lo cual confirma la definición de densidad lineal.
Si la densidad ß es constante
M = j
ßds = ß J ds = ß l
= J - í x ß ds = - f x ds = 1 f x ds
x=l|xßds
M jc
=l|xds = l|xds
M
Je
'Je
y = 1 j y ß ds = 1 y d s = I
yds
Mjc
^ Je
'Je
z=lfzßds
M je
=M
M
z ds = 1 | z ds
Je
1
M Je
M Je
¡Jc
= J _ j y ß d s = — Í yds = — I yds
y =
mJc
m Jcy
I Jc
z = j- Í z ß d s = - | z d s = l | z ds
M Je
M
Jc
1
Jc
Je
si la curva C está en el espacio;
x = J-I Je x ds
y = 1 I ydS
X = l1 Jc x d S
si la curva C está en el piano.
72
y = 11 Jcj y d s
APLICACIONES DE LA INTEGRAL DE LINEA
Cuando la densidad 8 es constante, el centro de masa
( x, y ) ó ( x, y, z )
se acostumbra a llamar centroide del alambre. Así que cuando se habla
de calcular el centroide de un alambre se sobre entiende que 6 es
constante. Por ejemplo, calculemos el centroide de un alambre
semicircular de radio k.
Una parametrización de la curva C es en este caso
O(t)
= ( K e o s t, K s e n t ) ,
0 < t <TT
y
II ü ' ( t• ) II = k
entonces
eos t d t
= 0
Cuando la densidad fí es constante, el centro de masa
( x , y ) ó ( x, y, z )
sen t d t
= 2 k/n
se acostumbra a llamar centroide del alambre
73
Así podemos decir que el centroide de un alambre semicircular de radio
k esta sobre el eje de simetría y a una distancia 2k/n del centro.
Un ejemplo más general nos lo da el cálculo de la masa de un alambre
con la forma de la circunferencia x2+y2=k2 y con densidad en un punto
(x, y) dada por
R(x, y ) = I x I + l y I
Utilizaremos para la circunferencia la parametrización
O(t)
= ( k e o s t, k s e n t ) ,
0 < t <2TT
II O'(t) II = k
y entonces
B(x, y ) = I x I + l y I
>2n
M = | ( II xx I + lI yy I ) ds = Ij
k 2 ( I eos t I + I sen t I ) d t
,tt/2
,2 '
= k|
L
I
(cost+sent)dt + |
Jo
r 3tt/2
/-2tt
( eos t + s e n t ) d t + I
jtt
( - e o s t + sen t ) d t
Jtt/2
_
( eos t - sen t ) dt
/ 3 tt/ 2
= 8 k2
Vale la pena destacar que este ejemplo que acabamos de mostrar es
equivalente (desde el punto de vista de la integral de línea que hay que
calcular) al problema de calcular el área A de la sección del cilindro
x2+y2=k2 comprendida entre el plano z = 0 y la superficie z=l xl + I y I,
ya que
A =
( I x I + ly f ) d s
= 8 k2
C
Este hecho nos confirma la analogía entre el procedimiento para
calcular la masa de un alambre y el procedimiento para calcular el área
de una sección de cilindro, debiéndose llegar en ambos casos a una
integral de línea de un campo escalar.
Veámoslo en un caso más general.
Si el alambre tiene la forma de la circunferencia x2+y2=k2 y con cualquier
función densidad fl(x,y), entonces
con la parametrización
O ( t ) = ( k eos t, k sen t ) , 0 < t <TT
tendremos
S(t) =
II O'(u) lldu
= k t
CALCULO INTEUKAL hN V AKIAS v a i u a b l e s k c a l u o
z
y
ds = k d t
entonces
f z tt
M = í S(x, y) ds = f
JC
Jo
B(fi(t))kdt
2n
R(0(s/k))ds ,
• i
FIGURA 2.8
Sección del cilindro xs+y2=k? comprendida entre el
plano 2=0 y la superficie z=lxl+lyl.
porque si t=0, S =0 y si t=2n, S=2kn y si llamamos
F(s) = R ( 0 ( s / k »
se tiene que
2 kn
Jo
F(s) ds
La gráfica de 3(x,y) y la circunferencia x2+y2=k2 están en un mismo
cilindro. Si extendemos la superficie del cilindro sobre un plano
coordenado haciendo coincidir la circunferencia en el eje horizontal con
el intervalo [0,2kn] y si llamamos s al eje horizontal del plano coordenado,
la gráfica de Í3(x, y) se convertirá en la gráfica de F(s) y entonces
2
k n
F(s) ds
76
APLICACIONES DE LA INTEGRAL DE LINEA
es el área de la sección del cilindro x2+y2=k2 comprendida entre
z = 0 y
z
=
y)
Con la figuras 2.8 y 2.9 se ilustra este proceso para el caso en que
B(x, y )
= Ix I + l y I
y el alambre tenga la forma x2+y2=k2, cuya masa y área ya calculamos.
Figura 2.9
Resultado de extender en un plano la sección de
cilindro mostrada en la figura 28. El área de esta
región corresponde a la masa del alambre si B es
la densidad.
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
2.8 EJERCICIOS
1. Calcule el trabajo realizado por el campo de fuerzas
• F(x,y,z) = xí+ yj + zk
al actuar sobre una partícula que se mueve a lo largo del segmento de
recta cuyos extremos son los puntos (0,0,0) y (1,1,1).
2. Calcule el trabajo realizado por el campo de fuerzas
•
•
-»
F(x,y,z) = xi + yj + zk
al actuar sobre una partícula que se mueve a lo largo de la parábola
y = x 2 , z= 2, desde x = -2 hasta x = 2.
3. Calcule el trabajo realizado por el campo de fuerzas
F(x,y) = xn í + yn J
al actuar sobre una partícula que da una vuelta completa a la elipse
a2
78
b2
en sentido antihorario.
4. Plantee la integral de línea que habría que calcular (no intente hacer
ese cálculo) para encontrar la longitud de la curva C obtenida de la
intersección del cilindro circular recto x2 + y2 = 4
c o n e | p | a n o z= 2y.
5. Calcule el área de la superficie del cilindro circular recto x2 + y2 = 4
comprendida entre los planos z=y; z=3y.
6. Un cilindro circular de radio 5 cms. contiene al centro de una esfera
de radio 10 cms. (el centro de la esfera está en la superficie del cilindro).
Hallar el área de la parte del cilindro que está dentro de la esfera.
7. Calcule la masa y el centro de masa, del alambre que tiene la forma
de la circunferencia del plano que pasa por los puntos (1 ,-1), (1,1) y (3,3) y con función densidad
B(x,y) = 1 + x 2 + y 2
8. Calcule el centroide del alambre que tiene la forma de la circunferencia del plano que pasa por los puntos (1,-1), (1,1) y (3,-3).
9. Calcule el centroide del alambre que tiene la forma del triángulo con
vértices (-5,0,1), (0,2,0) y (5,-2,-1). Resuelva el problema utilizando los
conceptos de este capítulo y también utilizando un método geométrico.
Compare los resultados. ¿ Cuál de estos dos métodos prefiere usted?
10. Calcule el momento de inercia del alambre que tiene la forma del
rectángulo con vértices (1,0), (0,1), (-3,-2) y (-2,-3), con respecto a la
recta y=x y con una densidad constante.
11. Elabore un argumento intuitivo para defender su respuesta a la
pregunta: ¿Es conexo el conjunto S de los puntos (x, y) del plano que
satisfacen las condiciones:
(i) l x + 2 I + l y - 1 I < 2
(i¡) (x, y) no está en el segmento de recta cuyos extremos son (-4,1) y
(0,1)?
12. Elabore un argumento intuitivo para defender su determinación de
cuáles conjuntos de los mostrados en la figura 2.6 son simplemente
conexos y cuáles no.
13. Elabore un argumento intuitivo para defender su determinación dé
cuáles de los conjuntos descritos a continuación son simplemente
conexos y cuáles no:
S ! = R 3 - { (x,y,z) I x = 0, y = 0, z = 0 }
5 2 = R 3 - { (x,y,z) I x = 0, y = 0, z en R }
5 3 = R 3 - { (x,y,z) I x = 0, y = 0, z < 0 }
14. Elabore un argumento intuitivo para defender su respuesta a la
pregunta: ¿Es simplemente conexo el conjunto S mostrado en la figura
2.7?
15. Elabore un argumento intuitivo para defender su respuesta a la
pregunta: ¿Es simplemente conexo el conjunto S de los puntos (x, y)
del plano que satisfacen las condiciones:
(i) El máximo de { I x - 1 I, I y - 1 I } es menor que 1.
(ii) (x, y) no está en el segmento de recta cuyos extremos son (1,1) y
(2,2)? '
16. Elabore un argumento intuitivo para defender su respuesta a la
pregunta: ¿Es simplemente conexo el conjunto S de los puntos (x, y)
del plano que satisfacen las condiciones:
LA INTEGRAL DE LINEA - EJERCICIOS-
(j) IX + 21 + I y - 1 I < 2.
(ii) (x, y) no está en el segmento de recta cuyos extremos son (-3,1) y
(-1,1)?
17. Elabore un argumento intuitivo para defender su respuesta a la
pregunta: ¿ Es simplemente conexo el conjunto S de los puntos (x, y,z)
del espacio que satisfacen las condiciones:
(i) El máximo de { I x - 1 I, l y - 1 1 , I z - 1 I > es menor que 1.
(ii) (x, y, z) no está en el segmento de recta cuyos extremos son:
(0,0,0) y (2,2,2)?
18. Elabore un argumento intuitivo para defender su respuesta a la
pregunta: ¿ Es simplemente conexo el conjunto S de los puntos (x, y,z)
del espacio que satisfacen las condiciones:
(i) I x + 2 I + I y - 1 I + I z I < 2.
(ii) (x, y, z) no está en el segmento de recta cuyos extremos son:
(-3,1,0) y (-1,1.0)?
1.9. Elabore un argumento intuitivo para defender o contradecir la
siguiente proposición:
«Todo subconjunto del plano que sea simplemente conexo será también simplemente conexo al considerarlo como subconjunto del espacio.»
20. Redacte la proposición contraria de la dada en el ejercicio anterior
y repita el ejercicio.
21. Al finalizar la sección 2.6 se nos dio a conocer el siguiente teorema:
81
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
«Si el campo vectorial
F (x, y) = f 1 (x, y ) /'
+f
2(x,y)y
satisface que
D zf i (x, y ) = D
2(x, y )
en su dominio SyS es simplemente conexo, entonces Fes un campo
vectorial CONSERVATIVO en S.»
Redacte el teorema correspondiente para cuando el conjunto S está en
el espacio y el campo vectorial F es de R3 en R3 .
22. ¿En cuáles de estos conjuntos
S i = R 3 - { (x,y,z) lx = 0,y = 0, z = 0 }
52 = R 3 - { (x,y,z) I x = 0, y = 0, z en R }
53 = R 3 - { (x,y,z) lx = 0, y = 0, z < 0 }
será conservativo el campo vectorial.
F(x,y,z) =
=
x
4
í+ _ l
2+y2+z2
x2+y2
+ z2
j+
x2
?
+ y2 + z 2
k
23. La fuerza gravitatoria que ejerce la tierra, colocada en el origen de
un sistema de coordenadas rectangulares, sobre una partícula en el
82
LA INTEGRAL DE LINEA - EJERCICIOS
punto (x,y) es:
F(x, y) = -
(X
' y)
II (x, y) II3
Calcular el trabajo total efectuado por F si la partícula
(a) Va desde el punto (2,0) al punto (0,1) según el tramo del primer
cuadrante de la elipse
x2 + 4y2 = 4
(b) Va desde el punto (2,0) al punto (0,1) según el segmento de recta
cuyos extremos son esos dos puntos.
(c) Recorre toda la elipse
x2 +4y2 = 4
83
3. INTEGRALES MULTIPLES
En el Capítulo 2 extendimos el concepto de integral definida al
concepto de integral de línea, tomando como dominio de la función a
integrar, una curva lisa a trozos del plano. Ahora nos proponemos otra
extensión del concepto de integral definida, tomando como dominio de
la función una región del plano, en cuyo caso hablaremos de integral
doble, o una región del espacio, en cuyo caso hablaremos de integral
triple.
3.1. INTEGRAL DOBLE
Para ver de una manera natural el concepto de integral doble
tratemos primero un caso particular de integral doble: el que aparece al
calcular el volumen de un sólido del espacio con base rectangular
apoyada en el plano-xy, mencionado en el Capítulo 1.
INTEGRALES MULTIPLES - VOLUMEN DE UN SOLIDO DEL ESPACIO
3.2. VOLUMEN DE UN SOLIDO DEL ESPACIO
CON BASE RECTANGULAR APOYADA EN
EL PLANO-XY.
Tomemos un sólido S del espacio delimitado en el sistema de
coordenadas cartesianas tridimensionales xyz, por las siguientes superficies:
x = a; x = b; y = c; y = d; z = 0 y z = f(x, y),
/•
donde a, b, c y d son constantes reales tales que a < b; c < d y f es un
campo escalar continuo en el rectángulo
R = [ a , b ] x [c, d ]
Y además f (x, y) a 0 para todo (x, y) en el rectángulo R. La figura
3.1 muestra uno de esos sólidos S que hemos descrito.
De acuerdo con esta descripción podemos decir que
.•;• .•;• .•;• .•;• .•;• .•;• .•;• .•;•
X
FIGURA 3.1
Un sólido S del espacio delimitado por las
superficies x=a; x-b,y=c
y=d; z=Oyz=f(x,y).
Su base es rectangular y está apoyada
en el plano xy
S = {(x,y,z) I (x,y) e s t á e n R y O s z s f(x,y) >
por lo cual S también se le llama conjunto de ordenadas de f sobre R.
El volumen V de ese sólido S se puede calcular de varias formas, una
de las cuales es la siguiente:
S= {(x,y,z) I(x,y) estáenRyOszsf(x,y)}
S también se le llama conjunto de ordenadas de f
sobre R.
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
z-U*.y)
Si cortamos el sólido S con un plano paralelo al plano-yz y que corta
al intervalo [ a, b ] en un punto x fijo, obtenemos una sección de S,
llamémosla T(x) cuya área es:
A(x) = |
f(x,y)dy
La figura 3.2 muestra la sección T(x) de S.
A(x) define así una función de la variable x, que es integrable en el
intervalo
[ a, b ] y tal que
FGURA 3.2
Sección T(x) del sólido
El área de T(x) es
i
í
S.
r»>
A(x) dx =
|
f(x,y)dy dx
Además
i
f(x,y) dy
A(x)dx = V(S) (Volumen de S )
Como ya lo aprendimos en nuestro curso de Cálculo Integral en una
Variable.
Así que
V(S)
88
-ílí
f (x,y) dy dx
V(S) = |
|
f (x.y) dy dx
INTEGRALES MULTIPLES - INTEGRAL DOBLE DE UN CAMPO ESCALAR DEFINIDO Y CONTINUO SOBREREGIONESMASG
3.3.DEFINICION DE INTEGRAL DOBLE DE UN
CAMPO ESCALAR DEFINIDO Y CONTINUO
SOBRE UN RECTANGULO
En la sección 3.2 encontramos que el volumen del sólido S mostrado
en la figura 3.1 es:
f(x,y)dy dx
A la secuencia de esas dos integrales, de la dérecha, cuando existe,
se le llama integral doble de f sobre R =' [a,b] x [c, d].
Más generalmente, si f es un campo escalar definido y continuo en
un rectángulo R=[a,b]x[c, d], definimos como integral doble de f sobre
R, a la secuencia de integrales (o integrales iteradas)
dx
V lo notaremos con el símbolo (Notación de Leibniz)
f(x,y) dxdy
Si f es un campo escalar definido y continuo en un
rectángulo R = [a,b] x [c, d], definimos como integral
doble de f sobre R, a la secuencia de integrales (o
integrales iteradas)
f (x,y )dy
dx
R
89
E
N
E
R
A
L
E
(JAUJUIAJ 1IN 1ttjKALEJN V AKlrtí V ftRlrtDLCO
Otras formas de notación para la integral doble son las siguientes:
f
f(x, y) dA .
R
i"
í
Ja
Je
d
f ( x y ) d x d y ;
/ /
f
R
Los libros rusos usan la notación
JJf(x,y) dx dy = J
dxj
f(x,y)dy
Otros textos notan la integral
JJf(x,y)dxdyasf:JJf(x,y)dA
R
R
y en esta notación "dA" es el diferencial de área y se calcula en el
sistema de coordenadas más cómodo según la geometría del problema. Es decir,
í
í
J J f (x, y) dx
dy =
íb
fd
J f(x.y)dy dx
R
Para ilustrar el manejo de este nuevo concepto, calculemos el
volumen del sólido S delimitado por las superficies:
x = 1 ; x = -1 ; y = 1 ; y = -1 ; z = 0 y z = 2 - x 2
í (
I I
* *
R
90
r \c f(x,y)dy dx
f (x, y) dx dy =
/I L'®
J
R ={ (x,y) tales que I X I £ 1, i y i * i > .
-y2
INTEGRALES MULTIPLES - INTEGRAL DOBLE DE UN CAMPO ESCALAR DEFINIDO Y CONTINUO SOBRE UN RECTANGULO
Para estos valores de x y y, 2 - x 2 - y 2 » 0 , entonces
V(S) =
( 2 - x 2 - y 2) dx dy
( 2 - x 2 - y 2) dy
=
/ , [
2 y
-
x 2 y
-1 3
Z=2-X2-Y2
dx
4 l - ,
10 - 2 x 2 dx =
dx
3
La figura 3.3 muestra el sólido S al cual le calculamos el volumen
utilizando una integral doble.
Para que la integral doble de f sobre R, corresponda al volumen del
conjunto S de ordenadas de f sobre R, es necesario que
FIGURA 3.3
Sólido S delimitado por los planos
x=1; X=-1; y=1; y=-1; z=0
z=2rf-f
(Paraboloide)
f ( x , y ) s 0 para todo ( x , y) en R.
Un caso en el cual la integral doble no corresponde al volumen del
conjunto S de ordenadas, es el siguiente:
91
f ( x, y) = sen y
II
definida en R = [0,1] x [O, 2nJ
( s e n y ) d x dy = 0jv(s)=4
R
Como se puede verificar fácilmente en este caso y más adelante en
forma general,
|seny| dxdy = V(S)
R
La razón es: El valor absoluto de un número es siempre mayor o igual
a cero.
En nuestra definición de integral doble hemos condicionado al
campo escalar f a que sea continuo en el rectángulo R = [a,b] x [c, d].
La definición misma de la integral doble no requiere que el campo
escalar f sea continuo en R, sin embargo para asegurarnos de que la
integral doble exista se ha puesto ese condicionamiento.
Todos los pasos de la demostración del hecho de que la integral
doble de un campo escalar f continuo en un rectángulo R de la forma
[a,b] x [c, d] siempre existe, no los vamos a detallar y justificar
completamente porque tendríamos que introducir conceptos más elevados del análisis diferencial en varias variables,* pero sí indicaremos
los pasos fundamentales a continuación.
* Los conceptos de análisis diferencial que no podemos tratar por estar fuera del contexto, son
los de conjunto compacto y continuidad uniforme.
INTEGRALES MULTIPLES - INTEGRAL DOBLE DE UN CAMPO ESCALAR DEFINIDO Y CONTINUO SOBRE UN RECTANGULO
Nuestra definición establece que
f ( x , y ) dx dy =
-ílí
f (x,y) dy dx
Para x fijo la función f (x, y) es continua en el intervalo [c, d] y como
ya lo aprendimos en nuestro curso de Cálculo Integral en una Variable
í
f (x,y) dy existe
Si llamamos A(x) a la integral anterior, A(x) define una función en el
intervalo [a,b] así
A(x) = |
f (x,y) dy
•r
Veamos ahora que esta función es continua en [a,b]. En efecto como
f es continua en R = [a,b] x [c, d] y R es un conjunto compacto de R2entonces f es uniformemente continua en R y por consiguiente
0 £ IA ( x + h ) - A (x) I =
£
i
f
(f(x + h,y)-f(x,y))dy
|f(x + h,y)-f(x,y)|dy
.<>.' si h — 0
93
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
luego entonces
h ÜH! 0
A ( x + h ) = A(x)
Así como A(x) es continua en [a,b] entonces
,b
Ja
94
fb
A(x) dx = I
Ja
íd
Je
f(x,y)dy dx
INTEGRALES MULTIPLES - INTEGRAL DOBLE DE UN CAMPO ESCALAR DEFINIDO Y CONTINUO SOBRE REGIONES MAS GENERALES
3.4.DEFINICION DE INTEGRAL DOBLE DE UN
CAMPO ESCALAR DEFINIDO Y CONTINUO
SOBRE REGIONES MAS GENERALES
En la Sección 3.3 definimos la integral doble de campos definidos y
continuos sobre rectángulos de la forma [a, b]x[c, dj. Utilizando esa
misma definición extenderemos la definición a regiones más generales.
En la sección 2.6, se introdujo el concepto de conjunto abierto del
plano. Ahora introduciremos el concepto de conjunto cerrado del plano
y el concepto de región acotada del plano.
Un conjunto Q del plano se dice cerrado, si su complemento con
respecto al plano, es un conjunto abierto.
Una región Q del plano se dice acotada si Q se puede inscribir en un
rectángulo R de la forma [a, b]x[c, d]para a, b, cyd números reales.
Diremos que Q es una región cerrada y acotada del plano, si Q es un
conjunto cerrado del plano y Q es una región acotada del plano.
Con estos nuevos conceptos definiremos la integral doble para
regiones cerradas y acotadas del plano.
Sea f un campo escalar definido y continuo en una región Q cerrada
y acotada del plano. Como Q se puede inscribir en un rectángulo R de
la forma [a, b]x[c, d], para utilizar la definición de integral doble dada en
la Sección 3.3 definiremos una función F cuyo dominio es el rectángulo
Un conjunto Q del plano se dice cerrado, si su
complemento con respecto al plano, es un conjunto
abierto.
Una región Q del plano se dice acotada si Q se puede
inscribir en un rectángulo R de la forma [a, b]x[c, d] para
a, b, cyd números reales.
Diremos que Q es una región cerrada y acotada del
plano, si Q es un conjunto cerrado del plano y Q es una
región acotada del plano.
95
R y tal que F(x, y)=f(x, y) si (x, y) está en Q, es decir F y f son la misma
en Q, y F (x, y) = 0, si (x, y) está en R pero no está en Q, es decir,
(x, y ) , si (x,y) está en Q
F (x, y) =
0 , si (x, y) está en R - Q
Si F(x, y) = 0 fuera de Q es evidente que el volumen del conjunto de
ordenadas sobre Q de f es igual al volumen del conjunto de ordenadas
de F sobre R, hecho que explica la definición de F y la siguiente
definición de integral doble de f sobre Q:
II
f (K y ) dx dy
R
Q
• f fí
F (x, y) dxd y
=
F(x,y ) d y
M ' [ í
F (x ,y ) d x
Pero la existencia de la integral
F (x,y) dx dy
sólo estaría garantizada si F es continua en R, es decir,
lim
(x,y)
f(x,y) = 0
(xJJ.VQ)
dy
INTEGRALES MULTIPLES - INTEGRAL DOBLE DE UN C A M P O ESCALAR DEFINIDO Y CONTINUO SOBRE REGIONES MAS GENERALES
en todos los puntos (xo-Yo) de la frontera de Q.
Y
ii
Para ver por otro lado, que la existencia de la integral doble sobre R
de F está garantizada y de paso encontrar una forma de calcularla en
términos de la función f,repartamos las regiones Q cerradas y acotadas
del plano en tres clases.
Diremos que una región Q cerrada y acotada del plano es de la
clase I, sí
Q={(x, y ) tales que a-s x¡s b
y
y i(x ) ¡s y<. y 2 (x ) >
para ayb números reales y V 1 y V 2 funciones continuas en
el intervalo cerrado [a,b], diferenciales en el intervalo abierto
(a,b) y que satisfacen la desigualdad
(P l(*
) S <P
(x, <p,(x)), (x, (^(x)) y entonces
Je
F(x, y) dy +
/y= ( f 2 (x)
V-
"Pj (X)
JÉlíx,
ÍJ H af
¡id. H m é&iíí i •rtt j f
Lfefcíismau -ti '11 JLLL
£
a iM Ltl
if3
jipmM
i Í:J£: tt í
w tt mi ad a: n a :fp i
•i wj^jrTJT
•"•"•ei
t-tt
y
/
(x)
c
b
f
d
F(x, y) dy +
)<pi(X)
/•<P2(X)
f(x, y) dy
'<Pi(x)
FIGURA 3.4
Región O cerrada y acortada del plano,
de la clase I
Diremos que una región Q cerrada y acotada del
plano es de la clase I, 'si
Q={(x,y)talesquea*x*b
j F(x,y)dy
/<P2(X)
/
/
/
2(* )
La figura 3.4 muestra una región Q cerrada y acotada del plano de la
clase I. Como se ve, el rectángulo circunscrito es R = [a, b]x[c, d] donde
c y d son los valores mínimo y máximo de V i y <P 2 respectivamente.
Para un valor x fijo del intervalo [a,b], la recta vertical que pasa por
x, intersecta a la región Q en el segmento de extremos
/<pi(x)
d
J<P2(X)
F(x, y) dy
y q>i(x)sys<p
¿x))
para a y b números reales y f l /
<P 2 funciones continuas en el intervalo cerrado [a,b] ,
diferenciales en el intervalo abierto (a,b) y que satisfacen la desigualdad
<P 1(*
) S <p 2(X
)
97
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
Por lo que, entonces
f (x, y ) dx dy
= I
Q
I
F (x, y ) dx d y
R
= i (í
F (x ,y ) d y
f b r /q)2(x)
dx
=
f(x, y) dy dx
Ja
/cpi(x)
FIGURA 3.5
Región Q cerrada y acotada de la clase II.
jj 1
f í
(x, y ) dx dy
ff
=
F(x,y )dy dx
F (x,y ) dx d y
t<K»)
f(x,y)dy dx
•ffí
Este último resultado garantiza la existencia de la integral. Evidentemente el orden de integración (por dentro con respecto a y y por fuera
con respecto a x) no es indiferente.
Diremos que una región Q cerrada y acotada del plano es de
la clase II si
Q={{x, y ) tales que c s y s d
Diremos que una región Q cerrada y acotada
del plano es de la dase II si
Q={(X y ) tales que c s y*d
y <p i(y )s x s q> ¿y )}
1
para c y d números reales y
^
^ 2
funciones continuas en el intervalo cerrado [c, d],
diferenciables en el intervalo abierto (c, d) y que
satisfacen la desigualdad
<P i(y
98
) ^ <P 2(y )
para todo y en [c, d].
y
<p ^y ) £ x s; cp 2 (y ) >
para cyd números reales y V 1 y *P 2 funciones continuas
en el intervalo cerrado [c, d], diferenciables en el intervalo abierto
(c, d) y que satisfacen la desigualdad
(P 1 (y ) * <P 2{y )
para todo y en [c, dj.
La figura 3.5 muestra una región Q cerrada y acotada del plano de la
clase II. Como se ve, el rectángulo circunscrito es R = [a, b]x[c, d]
donde a y b son los valores mínimo y máximo de o, y 02 respectivamente.
INTEGRALES MULTIPLES - INTEGRAL DOBLE DE UN CAMPO ESCALAR DEFINIDO Y CONTINUO SOBRE REGIONES MAS GENERALES
Para un valor y fijo del intervalo [c, d], la recta horizontal que pasa
por y intersecta a la región Q en un segmento de extremos
(q>i(y). y ) . (<P2(y). y) y entonces
í
<pi(y)
F(x, y) dx
/-<P2(y)
F(x, y) dx +
•í
rb
F(x, y) dx +
F(x, y) dx
J tp2(y)
j<pi(y)
r<P2(y)
f(x, y) dx
=
Api(y)
Por lo cual
f (x, y ) dx dy
Q
• [ [í
=
I
F (x, y ) dx d y
R
fd \ f<P2(x)
F(x,y ) d x
dy =
f(x, y) dx dy
Je
Api(y)
Resultado éste que garantiza la existencia de la integral y en el cual
se ve claramente el qué orden de integración (por dentro con respecto
a x y por fuera con respecto a y) no es indiferente.
)
f(x,y)dxdy = f f
R
F (x, y) dx d y
f[i>" H [ C «
dy
99
CALCULO INTEGRAL EN VARIAS VAKlABLbS KtALtlS
Diremos que una región cerrada y acotada del plano Q, es de la clase
III si no es de la clase I y no es de la clase II.
La figura 3.6 muestra una región cerrada y acotada del plano de la
clase III.
A pesar de la complejidad de la región mostrada de la figura 3.6 se
puede apreciar que se puede partir en un número finito de regiones de
la clase I o de la clase II. En general, la mayoría de las regiones de clase
III se pueden partir en un número finito de regiones de la clase I o de la
clase II. (Ver ejercicios).
Para calcular la integral
f (x, y ) dx dy
Q
FIGURA 3.6
La región Q es una región cerrada y acotadala
clase III
cuando Q es una región de la clase III, partimos la región Q en el menor
número posible de regiones de la clase I o clase II, calculamos la integral
en cada una de esas sub-regiones y luego sumamos.
Algunas regiones cerradas y acotadas del plano son de clase I y clase
II, por ejemplo las regiones encerradas por circunferencias, elipses o
regiones rectangulares de la forma R = [a, b]x[c, d] para a, b, c y d de
números reales. En estas regiones que son de clase I y clase II, el orden
de integración es indiferente.
Diremos que una región cerrada y acotada del plano
Q, es de la clase III si no es de la dase I y no es de la dase
II.
100
Para ilustrar la forma de calcular integrales dobles de campos
escalares continuos definidos en regiones cerradas y acotadas del
plano, no necesariamente rectangulares, calculemos la integral doble
de un campo escalar definido sobre una región de clase III, la cual
partiremos en regiones de clase I o clase II.
INTEGRALES MULTIPLES - INTEGRAL DOBLE DE UN CAMPO ESCALAR DEFINIDO Y CONTINUO SOBRE REGIONES MAS GENERALES
La región poligonal Q con vértices (0,0), (6,0), (2,2), y (0,6) que
mostramos en la figura 3.7 es una región cerrada y acotada del plano
de la clase III, pero la podemos partir en dos regiones triangulares T de
vértices (0,0), (2,2) y (0,6), la cual es de clase I y S de vértices (0,0), (2,2)
y (6,0), la cual es de clase II. La función
f(x, y) = x 2 + y 2
es un campo escalar continuo sobre Q, entonces
II
f f
f (x, y ) dx dy
FIGURA 3.7
Esta región O del plano, es de clase III y la partimos en dos, una de clase I, T, y otra de clase II, S.
f
1 (x, y ) d x dy +
T
=
f f
f
f(x,y)dxdy
S
( x 2 + y 2 ) d x dy
+
r-2x+6
-ílí
=
( x 2 + y 2 ) d y dx + |
f
f
2
r- 2 y + 6
|
f l íy
(x2 + y 2 ) d x d y
( x 2 + y 2 ) d x dy
= 112
101
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
Algunas regiones de clase I no son de clase II, y viceversa. Pero si
una región es de clase I y no es de clase II, la podemos partir en un
número finito de regiones de clase II, haciéndose posible que en el
cálculo de la integral doble se cambie el orden de integración. Por
ejemplo al calcular la integral doble de un campo escalar positivo f,
sobre una región Q se obtuvo
4
Í
2
ç 4x - X 2
f(x, y) dy dx
/ 2x - 8
De la secuencia dé integrales deducimos que la región Q es la que
muestra la figura 3.8, región de clase I. Si deseamos cambiar el orden
de integración, como Q no es de clase II, la partimos en dos regiones
de clase II: S y T y expresamos esa integral doble así:
FIGURA 3.8
La región Qesde clase I pero no es de clase II.
Se puede partir en dos regiones SyT de clase II.
i: [í
102
(y +8)/2
f(x,y) dx dy +
[I
f
2+Y4 - y
2-Y4-y
f(x, y) dx dy
INTEGRALES MULTIPLES - ALGUNAS PROPIEDADES DE LA INTEGRAL DOBLE
3.5. ALGUNAS PROPIEDADES DE LA INTEGRAL
DOBLE
Como la integral doble de funciones continuas la hemos definido en
términos de dos integrales ordinarias, es natural que satisfaga algunas
propiedades de las integrales ordinarias. Enunciemos algunas de ellas.
Las demostraciones de estas propiedades están basadas en las
correspondientes para integrales ordinarias.
1. Linealidad de la integral doble
Si f y g son dos campos escalares definidos y continuos en una región
Q cerrada y acotada del plano, a, b son números reales, entonces
II
<
a
,
+
bg) =
a
g
jf
( af + bg ) = a J
j ,+ b/j
2. Aditividad con respecto a la región de integración
Si f es un campo escalar definido y continuo en una región Q
cerrada y acotada del plano y
Q1.Q2.
- -.Qk
IOS
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
i
son k regiones del plano tales que:
<i
Q = Ch U Q 2 U
Q >
/
o
o
Q1.Q2
Y además si
V Q
...
U Qk
o
Qk
representan a los puntos interiores de Qi- Q2. • • • . Qk
/
f
y son tales que
o
^ V
o
Q¡ n Q j = <t>, p a r a i *
i, j = 1, 2
FIGURA 3.9
Región Q cerrada y acotada delplano partida en k
regiones. La integral doble sobre Q de fes la
suma de las integrales dobles de f sobre
Q„ Q, ...Qk
j
k
entonces
II
Qi
f
II
+
Q2
f
Qk
En la figura 3.9 mostramos las condiciones de Q1. Q2
que se satisfaga esta propiedad.
=
Q
Qk para
3. Teorema de Comparación
Si f y g son campos escalares definidos y continuos en una región Q
acotada del plano, tales que f(x, y) < g(x, y) en la región Q, entonces
f (X, y) dx dy s
O
104
II
I I
O
g (x, y) dx dy
f (X, y ) d x dy
,
f
I
Q
g (x, y) dx dy
INTEGRALES MULTIPLES - LA INTEGRAL DOBLE DE CAMPOS ESCALARES CON DISCON TINUIDADES
3.6. LA INTEGRAL DOBLE DE CAMPOS
ESCALARES CON DISCONTINUIDADES
En las Secciones 3.3 y 3.4 definimos la integral doble de campos
escalares continuos sobre regiones cerradas y acotadas del plano.
Podríamos pensar que la continuidad del campo escalar sobre la región
de integración sea una condición necesaria para la existencia de la
integral doble. Pero no, la integral doble también existe en casos
especiales en los cuales el campo escalar no es continuo en toda la
región de integración.
Uno de esos casos especiales a los cuales nos referimos arriba es el
de los campos escalares seccionalmente continuos en una región
cerrada y acotada del plano.
Diremos que un campo escalar f es seccionalmente continuo en
una región cerrada y acotada Q del plano, si existen sub-regiones
Diremos que un campo escalar f es
seccionalmente continuo en una región cerrada y
acotada Q del plano, si existen sub-regiones de
de Q, llamémoslas Qi> O2
Qr del plano, donde F es continuo en cada una de ellas y estas sub-regiones son tales que
Q, llamémoslas
Ql<Q2
Qr
del
plano, donde F es continuo en cada una de ellas
y estas sub-regiones son tales que
y
Q = Q^ UQ2U ...
UQr
o
o
O, n Q¡ = <¡>,para i * j
i ,j =1.2
r
O = 01 UQ2U
o
...
UQr
o
Qj n Qj = 0 ,para i # j
i ,j = 1 , 2
r
105
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
En otras palabras, Q se puede partir en un número finito de subregiones en cada una de las cuales f es continua.
Para un campo escalar f seccionalmente continuo en una región Q
cerrada y acotada del plano, definimos la integral doble de f sobre Q con
la expresión
| |
f
(x, y)
dx dy
=
f
01
Q
donde Oí
definición anterior.
f f f + f f ...+ f f
Or
02
+
f
Or
son sub-regiones de Q, que satisfacen la
La existencia de esta integral doble de f sobre Q, está garantizada por
cuanto que ya garantizamos en las Secciones 3.3 y 3.4 la existencia de
cada una de las integrales dobles de f sobre cada una de las regiones
Q i, Q 2, • • • . Q r . Además todos los resultados que hemos obtenido
para integrales dobles de campos escalares continuos se hacen válidos
con esta definición para campos escalares seccionalmente continuos y
observando además que si un campo escalar f es continuo en una
región Q cerrada y acotada del plano, entonces f es seccionalmente
continuo en Q, nuestro tratamiento teórico se hace más general.
106
3.7. INTEGRAL TRIPLE
Al iniciar este capítulo (y en el capítulo 1), anunciamos otra extensión
del concepto de integral definida, caso en el cual el dominio de la función
a integrar es una región (o sólido) del espacio, integral que llamaremos
integral triple.
Con el desarrollo que hemos hecho de las integrales dobles nos será
muy fácil el desarrollo de las integrales triples por cuanto que es muy
natural la generalización de todos los conceptos y resultados.
3.8. DEFINICION DE INTEGRAL TRIPLE DE UN
CAMPO ESCALAR DEFINIDO Y CONTINUO
SOBRE UN PARALELEPIPEDO
En la Sección 3.3 definimos la integral doble de un campo escalar f
continuo en un rectángulo R = [a, b]x[c, d] por:
f(x,y) dx dy = |
|
f (x, y) dy dx
R
Y por ser el rectángulo R de clase I y de clase II (Sección 3.4.),
entonces también
f(x,y) dx dy
• f [í
-
f (x , y) d x d y
Es entonces natural que si f es un campo escalar continuo en un
paralelepípedo P de la forma [a, b]x[c, d]x[m, n], definamos la integral
triple de f sobre P por
INTEGRALES MULTIPLES - INTEGRAL TRIPLE DE UN CAMPO ESCALAR DEFINIDO Y CONTINUO SOBRESOLIDOSMASGENERALESDELESPACIO - DEFINICION
f [f (f
Ja
Je
f (x, y, z ) dz
dy
dx
\Jm
o de cualquiera de las otras cinco formas que resultan al cambiar el
orden de integración en la anterior secuencia de integrales* y la
notamos con alguno de los símbolos:
fff
fdv **
P
f (x, y, z ) dxdydz,
P
•I j
f (x, y, z ) dxdydz¿
f ;
P
Brevemente
f (x, y, z ) dxdydz
=
\j
J
|j
f (x, y, z ) dz \dy
dx
Esta definición la podemos ilustrar con un ejemplo sencillo que ilustra
alguna afirmación del capítulo 1.
El campo escalar f(x, y, z) = 1 es continuo en el paralelepípedo
P=[a,b]x[c, d]x[m, n], entonces
* Al igual que en integrales dobles, la continuidad de f garantiza la existencia de la integral triple
sobre P.
** El símbolo "dv" es diferencial de volumen y se busca en el sistema de coordenadas más
conveniente.
f f f
f (x, y. ¿) dxdydz
= f
|j
|f
f (x, y, z ) dz
jdy dx
109
CALCULO INTEGRAL EN VARIAS VARIABLES KtALfcS
f(x, y, z) dx dy dz = I
I
J dx dy dz
J m Je \J a
= í
í
Jm Je
( b - a ) d y dz = ( b - a ) í
í
J m Je
= (b-a)í (d- c)
dz = (b - a)(d - c)
dy dz
f
dz
/m
Jm
= (b - a)(d - c)(n - m),
que es precisamente el volumen de P. Concluimos entonces que si
P=[a, b]x[c, d]x[m, n],
V(P) = J
I
P
110
I
dxdydz
Descargar