Actividad 1.

Anlisis de la integral doble

Elaborado por: Selene Lilette Crdenas Maciel.
Qu es una integral doble?
Iniciar comentando que el contenido aqu mostrado y los comentarios estan basados de [1].
Como todos los compaeros han mencionado en sus participaciones la integral doble se asocia con el concepto
de volumen, intuitivamente se observa como un cuerpo acotado por una superficie que para el caso particular
esta definida en trminos de dos variables independientes y otras consideraciones. Pero esa superficie y el
volumen asociado puede representar una gran cantidad de problemas. Aqu se hace mencin de las ideas
intiuitivas y algunas formalizaciones matemticas para poder describir a la integral doble basados en el concepto
de integral iterada, el nfasis que trato de dar no son los ejemplos, pues no esta evidente dentro del
requerimiento de la actividad, sin embargo se hace mencin de algunos de ellos.
El volumen se determina con el principio de Cavalieri, el cual supone un cuerpo slido y un rea de seccin
transversal denotada como A( x) que esta a una distancia x de un plano de referencia como muestra la
Figura 1

Figura 1.

como lo presenta la Figura 1, a y b son las distancias mnima y mxima a partir del plano de referencia,
por ende intuitivamente y en base a la imagen anterior se puede decir que el volumen se define en trminos de
b

a A( x ) dx

. Al partir

a la integral anterior como

[a , b] en a= x 0<x 1<< x n=b , entonces una suma de Riemmann aproxima

n1

A(c i )( x i+1x i ) con c i [ x i , x i+1 ] .

i=0

Ahora, si se extiende esta idea para las integrales dobles, se considera la regin solida bajo la grfica
z = f ( x , y) definida en una regin denotada por el producto cartesiano R=[a , b][c , d ] , se asume
que f es continua y positiva. Para obtener el rea de la seccin transversal siguiendo el principio de Cavalieri
se pueden considerar dos maneras al definir planos perpendiculares al eje x o bien al eje y (vase Figura
2). En el caso de que la seccin transversal determinada por el plano x= x 0 es la regin plana debajo de la
f ( x 0, y) de y=c a y=d . Al mantener fijo x= x 0 la funcin y z= f ( x 0, y) es
grfica
continua en

[c , d ]

por tanto el rea de la seccin transversal

que define el rea de la seccin transversal

A( x) es

A( x 0)
d

es

f ( x 0 , y) dy y la funcin

A : x c f (x , y)dy . As el volumen de la regin

debajo de

z = f ( x , y) es igual a

a A(x )dx=a [c
b

f ( x , y ) dy dx ,

que es conocida como integral iterada.

Como

R f (x , y ) dA

es el volumen entonces

Al utilizarse planos perpendiculares al eje

R f ( x , y ) dA=c [a
d

R f ( x , y ) dA=a [c
b

f (x , y )dy dx .

y entonces el volumen se determina con

f ( x , y ) dx dy .

Figura 2.

De

forma

rigurosa

R=[a , b][c , d ]

entonces podemos proceder considerando el rectngulo

donde
R2
R de orden n , esto es, se tienen dos
. Se asume una particin regular de

n+1 puntos igualmente espaciados (vase figura 3)

que los puntos satisfacen a= x 0<x 1<< x n=b y c= y 0< y1<< y n=d
colecciones ordenadas de
y

x j+1 x j =

ba
;
n

y k +1 y k =

d c
.
n

Figura 3. Particin regular de un rectngulo R con n=4

{ x j } j =0

{ y k }k =0

tal

Considerando el rectangulo [ x j , x j +1 ][ y k , y k+1 ] y

f : R es una funcin acotada con valores reales.

n1

j , k=0

j , k=0

cualquier punto en

R jk , Suponiendo que

f como

Se define la suma de Riemann para

n1

c jk

S n = f (c jk ) x y= f (c jk ) A
donde

x j +1 x j=

b a
n

y= y k+1 y k =

d c
n

A= x y .

Ahora se introduce la siguiente

{S n }

Definicin. Si la sucecin

para cualquier sucesin de puntos

sobre R y se escribe que

R f

para el lmite

f ( x , y)dA ,

S cuando n y el lmite S es el mismo

en los rectngulos R jk , entonces se dice que f es integrable

converge a un lmite

c jk

f (x , y ) dx dy ,

f (x , y ) dx dy
R

S .

f ( x , y )dx dy

Figura 4.

As la integrabilidad se reescribe como

n1

lim f ( c jk ) x y=R f
n j , k=0

c jk R jk .

para cualquier seleccin de

f (x , y )0 y observando la grfica de la Figura 4, con c jk que es un punto en

Considerando que
f (x , y ) que tiene su mnimo en R j , k , f (c jk ) x y es el volumen de una caja rectangular con
base

R jk , la suma

n 1

f (c jk ) x y

j ,k =0

punto donde la funcin tiene un mximo en

es igual al volumen de un slido inscrito, o bien si

R jk

c jk

es un

entonces la suma es igual a un volumen de un slido

lim { S n } es independiente de
n

c jk y R jk y se sigue que los volmenes de los

slidos inscritos y circunscritos tienden al mismo lmite cuando n . Por ello resulta razonable llamar al
circunscrito. Por ello el

lmite el volumen exacto del slido bajo la grfica de

f . Por ello se lleva a los siguientes Teoremas

Teorema
Cualquier funcin continua definida en el rectngulo

R es integrable.

f una funcin continua con dominio rectangular

Teorema de Fubini. Sea

b

a c

R=[a , b][c , d ] . Entonces

f (x , y )dx dy =c a f ( x , y) dx dy=R f (x , y )dA .

Se realiza la extensin para el caso en que la funcin

f no es necesariamente continua mediante el siguiente

f una funcin acotada cuyo dominio es un rectngulo

Teorema (de fubini -extensin-). Sea
R=[a , b][c , d ] , y suponer que las discontinuidades de f forman una unin finita de graficas de
funciones continuas. Si
d

f ( x , y)dy existe para cada

x [a , b ]

entonces

a [c
b

f ( x , y) dy dx

existe y
b

a c

f ( x , y )dy dx=R f ( x , y ) dA .

De manera anloga, si

f ( x , y)dx existe para cada

y [c , d ]

entonces

c [a
d

f ( x , y) dx dy

existe y
d

c a

f (x , y )dx dy =R f ( x , y)dA .

As, si todas estas condiciones se cumplen simultaneamente

b

a c

f (x , y )dy dx =c a f ( x , y) dx dy=R f (x , y )dA .

Lo cual implica condiciones necesarias, por ejemplo si

garanta de que exista

f ( x , y) dy para cada

no es continua en donde sea, por ejemplo, no hay

x .

Ahora generalizando a regiones no necesariamente rectangulares.

Suponiendo que se tienen dos funciones continuas con valores reales

que satisfacen 1 (x )2 ( x) , x[a , b] .
Sea D el conjunto de los puntos
le denomina de Tipo 1.

(x , y ) tales que

1 :[a , b] ,

2 :[ a , b ]

1 ( x ) y2 ( x) , x [a , b ] . Esta regin se

La regin es de Tipo 2 si existen funciones continuas 1 , 2 :[c , d ] tal que D es el conjunto de puntos
(x , y ) que satisfacen y [c , d ] , 1x 2 donde 1 (x) 2 ( x ) , y [c , d ] .
La regin de Tipo 3 es aquella que es de tipo 1 y tipo 2.
Para esta clase de regiones se tiene la siguiente
Definicin: Si D es una regin elemental en el plano, escoger un rectngulo R que contenga a D
f : D , donde
f es continua (y, por lo tanto, acotada), definir
(Vase Figura 5). Dada

D
f

f ( x , y )dA , la integral de f sobre el conjunto

definida en todo R mediante

(x , y ) D
f = f ( x , y) ;
0
; ( x , y) D y ( x , y) R

como sigue: extender

a una funcin

D , como esta frontera esta

esta acotada y es continua pero quizas no lo sea en la frontera de

formada por grficas de funciones continuas,

es integrable en R , por el Teorema que se enuncia
f
enseguida y por tanto se puede definir
f

f ( x , y ) dA=R f (x , y )dA .

Figura 5.

Teorema. Sea f : R una funcin acotada con valores reales, definida en el rectngulo R y suponga
f es discontinua esta formada por una unin finita de grficas de
que el conjunto de puntos donde
funciones continuas. Entonces f es integrable sobre R .
Como se define un rectngulo

R que contiene a una regin

b

D , entonces
d

f ( x , y ) dA=R f ( x , y ) dA=a c f ( x , y)dy dx=c a f ( x , y) dx dy

recordando que
f es igual a
considerar la integral iterada
b

a c

D y cero fuera de

en

D es de tipo 1, al

f ( x , y )dy dx

observando la integral interior, como por definicin

obtiene

D , cuando la regin

f ( x , y)=0

si

y<1 (x )

y>2 ( x) , se

2( x)

2 (x)

f (x , y ) dy= ( x) f ( x , y) dy = ( x) f ( x , y ) dy .
1

Figura 6

Por ello todo esto se resume en el siguiente

D es una regin tipo 1, como se muestra en la Figura 6, entonces

Teorema: Si

2( x)

D f (x , y )dA=a (x) f (x , y ) dy dx

Para tratar con regiones de tipo 2 se pueden deducir de forma anloga pero se resumen en el siguiente

D es el conjunto de los puntos

f es continua en D , entonces

Teorema: Suponga que

1 ( y) x 2 ( y ) . Si

2 ( y)

f ( x , y ) dA=c

Para hallar el rea de

d

(y)

(x , y)

y [c , d ]

tales que

f ( x , y ) dx dy

D sustituimos

D dA=c ( 2 ( y) 1 ( y)) dy

f =1 en la anterior y se obtiene

Por ltimo para las integrales sobre regiones tipo 3 se puede utilizar indistintamente el mtodo para regiones
tipo 1 o para las regiones tipo 2.
Ejemplo: Hallar el volumen del tetraedro acotado por los planos
Vase Figura 7.

y=0 ,

z =0 ,

yx +z=1 .

x=0 ,

Los puntos (x , y ) satisfacen 1x0 y 0 y1+ x , se puede catalogar a

tipo 1. Para cualquier punto ( x , y ) D , la altura de la superficie z sobre ( x , y )
Considerando 1 (x )=0 y 2 ( x)= x+1 , el problema se define y resuleve como

D
es

como regin
1 y+ x .

D (1+ y+x )dA

0

1+x

=1 0

(1 y+ x) dy dx=1

2 1+ x

y
(1+x ) y
2

dx=1

] [

(1+ x)2
(1+x )3
dx=
2
6

1 .
6

Figura 7

Cules son sus aplicaciones?

Existen lo que se llaman integrales de flujo de un campo vectorial a travs de una superficie (tomado de [2]).

S es una superficie y F es un campo vectorial en el espacio definimos la integral

es el Flujo de F through the surface S .
Si

S F dS

que

S=r ( R) , donde R es un dominio en el plano y donde

r (u , v )=( x (u , v ) , y (u , v ), z (u , v)) es la parametrizacin de la superficie. La integral de F a travs de
S es definida como la integral doble

Definicin. Dada una superficie

S F dS =R F ( r (u , v))(r u r v)du dv
donde

dS =(r ur v ) du dv significa el vector infinitesimal en direccin normal en la supercifie.

F (x , y , z )=(0,1, z 2 ) y sea S la esfera con

r (u , v )=( cos(u)sin (v ), sin( u)sin (v ) , cos (v )) , ru rv =sin( v ) r

Ejemplo: Sea
asi que

F ( r (u , v ))=(0, 1,cos 2 (v))

y
2

0 o sin (v )(0,1, cos 2(v))(cos( u)sin (v ), sin( u)sin (v ) , cos (v )) du dv

La integral es

0 o sin 2 (v )sin (u )+cos3( v )sin (v )du dv=0

Se puede interpretar que ms flujo pasa en el polo sur y ms flujo sale del polo norte. Existe una simetra en lo
que entra en el polo sur y lo que sale en el polo norte. Esto explica porque el flujo total es cero.
Estas integrales de flujo (que se representan como integrales dobles) aparecen en problemas de:
Dinmica de fluidos: El flujo de la velocidad del campo vectorial de una membrana a travs de una superficie es

el volumen del fluido el cual pasa a travs de la superficie por unidad de tiempo.
Electromagnetismo: El cambio del flujo del campo magntico a travs de una superficie es relacionado al voltaje
en la frontera de la superficie. Cuando las ecuaciones de Maxwell div(B)=0, significa que no hay monopolos
magnticos y vemos como la divergencia es relacionada al flujo.
Magnetohidrodinmica: Trata con fluidos elctricamente cargados como plasmas en el sol o vientos solares, etc.
El campo de velocidad del viento induce una corriente y el flujo del campo a travs de una superficie puede ser
usado para calcular el campo magntico.
Gravedad: Observamos que el flujo de un campo a travs de una superficie cerrada como una esfera esta
relacionada a la fuente dentro de la superficie. En este caso donde F es el campo gravitacional, el flujo de este
sobre una superficie cerrada es proporcional a la masa dentro de la superficie.
Termodinmica: El flujo del calor a travs de una superficie como las paredes de una casa estan relacionadas a la
cantidad de calor que es producido dentro de la casa. Una casa con mal aislamiento necesita un flujo grande de
calor y necesita una gran fuente de calor.
Fsica de particulas: Cuando se estudia la colisin de particula, se tienen interes en la relacin entre el flujo
entrante y saliente dependiendo de la direccin.
Optica: Las mediciones de flujos de luz son importantes para lasers, en astronoma y fotografa por menciona
algunos.

Cmo ayuda a la solucin de integrales dobles el cambio de variable?

Permite reducir para ciertos casos, los esfuerzos para resolver la integral doble. Como lo muestra en el primer
ejemplo en [3], solicita calcular

D g ( x , y) dA

, con

g ( x , y)= x 2+ y 2 donde

es un disco de

radio 6 centrado en el origen del sistema de coordenadas comose muestra enseguida.

Figura 8

Es conveniente realizar una trasformacin a coordenadas polares para no trabajar en coordenadas rectangulares,
6
26x 2
2
2
pues la integral que se debe resolver es
y requiere mucho
g
(
x
,
y)
dA=
2 ( x + y ) dy dx
D
6 26 x
trabajo.

Al decidir un cambio de coordenadas cartesianas a coordenadas polares, este cambio de coordenadas podra
implicar un cambio en el regin que se debe integrar, es importante identificar como queda dA .

x=r cos( ) y y=r sin () , se describe el cambio como una funcin

(x , y )=T (r ,)=(r cos () , r sin ()) , esto representa una funcin que transforma las coordenadas

Considerando la relacin

polares a cartesianas. As que para determinar la integral se reescribe como

la regin D en la que se debe integrar quedan definida en el plano r - que es mapeada por la
funcin T hacia el disco definido como D . El disco en coordenadas polares se describe por 0r 6
y 02 . Como puede observarse en la Figura 9 se muestra un ejemplo de mapeo de cada punto en la
region delimitada por la curva en morado y los radios en color rojo y verde (en la derecha), hacia el plano r , es posible determinar a partir de esta figura que la regin D corresponde a un rectngulo.

Figura 9

En el integrando se toma a consideracin que:

2

g ( x , y)= x + y

lo cual deja un integrando ms sencillo.

Las derivadas parciales de la funcin de transformacin

y asi su forma matricial es

cuyo determinante queda como

As

g (T (r ,))=g (r cos (), r sin ())=r cos ()+r sin ()=r

T quedan como sigue

=0

0 r

dr d =0

[ ]

( )

4
2 6
r4
r 4 2 64
64
d =0
d = [ r ]0 =
2 = .
4 0
4
4
4
2

Lo cual ilustra que para este caso que solucin de la integral doble obtenida del cambio de coordenadas es
mucho ms sencilla de determinar.
En la referencia [3] muestran tambin otros ejemplos de cambios de coordenadas, menciona tambin que para
utilizar

es necesario que T sea una funcin uno a uno, y en general cualquier funcin de transformacin para
cualquier cambio de coordenadas debe ser uno a uno.

Referencias consultadas
[1] Marsden J. E., Tromba A. J. (1991) ;Clculo Vectorial; Tercera Edicin; Addison Wesley; ISBN 0-201-62935-6.
[2] Knill O. (2006); Flux integral; Maths21a Handouts; url:
http://www.math.harvard.edu/archive/21a_summer_06/handouts/flux.pdf
[3] Nykamp D. Q.; Double integral change of variable examples; Form Math Insight; url:
http://mathinsight.org/double_integral_change_variable_examples