Resumen: Integracin en

Rn

lvaro Matas Bustos Gajardo

Lunes, 20 de Junio de 2011

1 Denicin de integral de Riemann

1.1 Rectngulos en

Rn
Rn necesitamos primero Rn , ya que esta es una de las regiones ms

Para introducir la denicin de Integral de Riemann en denir el concepto de rectngulo en

simples en las que se puede denir una integral, y la usaremos de base para denir un concepto ms general de integracin. Tenemos la siguiente:
Definicin. Dados dos puntos

llamamos rectngulo

a = (a1 , a2 , . . . , an ), b = (b1 , b2 , . . . , bn ) Rn , n-dimensional [a, b] al conjunto:

[a, b] = n [ai , bi ] = [a1 , b1 ] [a2 , b2 ] [an , bn ] i=1

Ntese que un rectngulo 1-dimensional es simplemente un intervalo. Adems, es conveniente introducir la denicin siguiente:
Definicin. La medida de un rectngulo

n-dimensional [a, b] = n [ai , bi ] i=1

est dada por el nmero real (no negativo):

([a, b]) =

(bi ai )
i=1

Ntese que, en

R,

esta denicin se corresponde con la de longitud, en

se corresponde con rea y en

n-dimensional

en un espacio

R con volumen. (n + k)-dimensional

R
un

As tambin, un rectngulo tiene medida 0 (p. ej.

cuadrado, plano, tiene volumen cero en el espacio). Recordemos que una particin de un intervalo puntos

a = t0 < t1 < t2 < ... < tm = b

que divide a

[a, b] R es una sucesin de [a, b] en m sub-intervalos.

Para extender esta denicin, simplemente establecemos que una particin de un rectngulo

n-dimensional es el producto cartesiano de las particiones de los n

1

intervalos (rectngulos 1-dimensionales) que conforman el rectngulo; es decir, a cada intervalo

[ai , bi ]

lo particionamos en la forma

bi ,

y cada sub-rectngulo que conforma la particin

ai = ti0 < ti1 < < timi = P es producto cartesiano

[tij , ti(j+1) ]. Por simplicidad nos referiremos a los subP de un rectngulo R simplemente como Qi , y m subentenderemos que Qi = R y que los rectngulos Qi se intersecan a lo i=1 o o o ms en sus fronteras (i.e. Qi Qj = si i = j , en que la notacin A = int(A)).
de intervalos de la forma rectngulos de una particin Cabe destacar tambin el resultado importante:

(R) =
i=1

(Qi ), con P = {Qi |i = 1, 2, . . . , m} particin de R. o

Para concluir, introducimos algunas deniciones nales:

Definicin. Dadas dos particiones

Q, decimos que Q es ms na Q

que

si

cada rectngulo de de que

queda completamente contenido dentro de un rectngulo distingue ms los rectngulos

P . En P.

cierto modo, lo que ocurre es que

Definicin. Denimos norma de una particin

al nmero:

P = sup (Qi )
Qi P
Ntese que si

es ms na que

Q,

entonces

P Q

1.2

Sumas de Riemann. Sumas superior e inferior.

Ahora estamos en condiciones de introducir la denicin de suma de Riemann.

R Rn un acotada en R.
Sea

rectngulo acotado y

f :RR R,

una funcin de valores reales,

Definicin. Dada una particin

de

denimos una suma de Riemann de

como:

(f, P) =
Qi P
Geomtricamente, cuando tngulo

f (xi )(Qi ), xi Qi . f (x, y) 0, f.

R R

podemos interpretar la suma

como una aproximacin del volumen de la regin que tiene como base el rec-

y est por debajo del grafo de

Si existe un valor exacto para

este volumen cmo lo obtenemos? Podramos suponer que, a medida que los rectngulos de la particin

sean ms pequeos, la aproximacin sera ms

exacta. De este modo, se cumplira la denicin:

I = lim (f, P)
P 0
para particiones arbitrarias que satisfagan que su norma tiende a cero. Si existiese este nmero, lo llamaramos integral de con el smbolo:

sobre

R

y lo denotaramos

I=
R

f=
R

f (x1 , x2 , . . . , xn ) dx1 dx2 dxn

Sin embargo, esta denicin es bastante ambigua y no podemos obtener mucho de ella. Cmo podemos determinar que este nmero existe? Depende esto solamente de deniciones. Introducimos la siguiente notacin: Usando esta notacin, denimos:
Definicin. Dada una particin

f,

o de

R?

Para responder a estas preguntas, necesitamos nuevas

Mi = supxQi f (x), mi = inf xQi f (x).

de un rectngulo

rior y suma inferior de Riemann de la funcin las siguientes sumas de Riemann:

R, llamamos suma supef : R R, respectivamente, a

S(f, P) =
Qi P

Mi (Qi )

S(f, P) =
Qi P

mi (Qi )

Ntese que para cualquier suma de Riemann se cumple lo siguiente (la demostracin es simplemente considerar la denicin de supremo e nmo):

(R) inf f (x) S(f, P) (f, P) S(f, P) (R) sup f (x)

xR xR
De este modo, podemos probar, tomando una particin adecuada y la suma de Riemann pertinente, que, para cualquier par de particiones que:

se cumple

S(f, P) S(f, Q)
es decir, cualquier suma superior es mayor que todas las sumas inferiores y viceversa. Por lo tanto, como son conjuntos acotados de nmeros, podemos denir la integral superior e inferior como sigue:
Definicin: Llamamos integral superior de

en la regin

a:

 f = inf S(f, P),

R P
para

P f P

particin de

y, del mismo modo, la integral inferior de

en

queda denida como:

f = sup S(f, P),

R P
para particin de

De las propiedades de las sumas superiores e inferiores tenemos inmediatamente que:

f
R
para cualquier funcin

f
R

para la que ambos trminos existan. (Ntese que para

que ambos existan, basta que

sea un rectngulo acotado y

sea acotada en

R).

Como dijimos previamente, de manera informal, la integral de

el lmite de las sumas de Riemann si para cualquier

(f, P)

cuando

ms formal consistira en decir que la integral de

>0

existe un

para cualquier suma de Riemann

> 0 tal que (f, P). De esto

f en R era P 0; una denicin f en R existe y tiene valor I P < |I (f, P)| <
deducimos inmediatamente

que una condicin necesaria y suciente para que exista la integral

f= R

es que

f, R

y en este caso el valor comn de la integral superior e inferior es el

valor de la integral de Riemann. Como la integral superior y la inferior son el nmo y el supremo de las sumas superiores e inferiores, respectivamente, por la denicin de supremo, si la integral

I = R f existe, podemos hallar un > 0 tal que para una particin P dada, S(f, P) [I, I + 1 ] y S(f, P ) [I 1 , I]. Con esto, y aplicando 2 2

Teorema del Sandwich para demostrar la recproca, obtenemos la condicin de Riemann:

Teorema. (Riemann) Una condicin necesaria y suciente para que exista la

integral tal que

f es que para cualquier > 0 R S(f, P) S(f, P) < .

podamos encontrar una particin

Otra manera de expresar la condicin de Riemann de una manera equivalente es la siguiente:

Corolario. (Riemann, forma 2) Una condicin necesaria y suciente para que

f exista es que podamos construir una sucesin de particiones {P1 , P2 , P3 , . . . } R tales que los lmites limk S(f, Pk ) y limk S(f, Pk ) existan y sean iguales,
R

en cuyo caso el valor comn de estos lmites es el valor de la integral

f.
con

Como una funcin continua en un rectngulo cerrado (y por extensin, en un conjunto compacto) es uniformemente continua (es decir,

> 0 > 0,

dependiente solo de tenga que

y no de los puntos considerados, tal que, x, y R, se x y < |f (x) f (y)| < ), el teorema anterior nos sirve para R
es integrable-

probar el siguiente corolario:

Corolario. Toda funcin continua en un rectngulo cerrado

Riemann en

R. R la siguiente funcin (conocida como funcin [0, 1] [0, 1]:

Sin embargo, existen muchas funciones no continuas que son integrables. Por ejemplo, podemos probar que en popcorn), que tiene innitas discontinuidades, es integrable en

f (x, y) =

0
1 q

si si

xQy Q x Q y = p Q, q

irreductible.

]0, 1[ cualquiera se tiene que existe (x0 , y0 ) [0, 1] tales que f (x0 , y0 ) > . 2 Luego, podemos escoger una particin P lo sucientemente na de [0, 1] como
Para ver esto, notemos que si elegimos un a lo ms una cantidad nita de puntos para que:

xi Qi ,f (xi )>
para cualquier

Qi < Qi que . De este S(f, P ) <

dado.

Es decir, la unin de todos los rectngulos

contienen puntos

xi

tales que

f (xi ) >
y

tiene rea menor que

modo, con esta particin

las sumas superiores satisfacen que

([0, 1] ) + = + .
cualquier

Como

son arbitrarios, podemos hacerlos tender

a 0; por lo tanto, con una particin adecuada

>0

existe una suma superior tal

P podemos probar que para que S(f, P) < , y, de este modo,

demostramos que:

f = inf S(f, P) = 0
R P
As, como podemos tomar una suma inferior adecuada en la que

S(f, P) = 0

las sumas inferiores son menores o iguales que las superiores, concluimos que:

f = sup S(f, P) = 0
R
y evidentemente

f=
R P

f=
R

f
R

es integrable.

1.3

Otras condiciones de integrabilidad

Como vimos, para un rectngulo (cerrado) cin suciente para que

sea integrable en

R la R.

continuidad de

es una condi-

Sin embargo, es una condicin

demasiado restrictiva; como vimos, la funcin pop-corn vista recientemente no es continua en ningn punto con coordenadas racionales no nulas, y sin embargo, es integrable en

[0, 1].

Por lo tanto, debe haber teoremas ms fuertes que

permitan determinar la integrabilidad de

f. g : Rn R
es integrable en un

Supongamos que sabemos que una funcin rectngulo

R.

Supongamos tambin que existe una funcin

en casi todos los puntos de

Por ejemplo, qu ocurre si que

f = R g , ya que el proceso de sumacin de Riemann absorbe esta R discontinuidad, ya que eligiendo una particin sucientemente na podemos
hacer que este punto en que

f que sea igual a R. (A qu nos referimos con casi todos?) f = g en todo R excepto en un punto? Tenemos

son distintas est en un sub-rectngulo

Qi

de

la particin de rea tan pequea como queramos, y as anular la inuencia de este punto en el valor de la integral. Podemos repetir este proceso un nmero nito de veces y tenemos que si de puntos, y

son iguales salvo en una cantidad nita

es integrable, entonces

f f

tambin lo es, y

f=

g. f
es inte-

Habr una condicin general para decir que si una funcin dada grable, otra funcin

relacionada con

tambin lo es? Para determinar esto,

necesitamos denir nuevos conceptos relacionados con la teora de la medida.

Definicin. Un conjunto

coleccin nita de

A Rn tiene contenido cero si > 0 rectngulos {R1 , R2 , . . . , Rm } tales que:

m m

existe una

A
k=1

Rk
k=1

(Rk ) <

Es decir, puedo tapar el conjunto queramos. Del mismo modo:

Definicin.

con una cantidad nita de rectngulos, y

la suma de las reas de todos esos rectngulos puede hacerse tan pequea como

Un conjunto

coleccin numerable de

A Rn tiene medida cero si > 0 rectngulos {R1 , R2 , R3 , . . . } tales que:

existe una

A
k=1

Rk
k=1

(Rk ) <

Ntese que estas deniciones son semejantes, pero no iguales. Evidentemente, si un conjunto tiene contenido cero, puedo aadir innitos rectngulos que de modo que tenemos el teorema elemental:

Rj tales (Rj ) = 0 (rectngulos degenerados) para obtener una coleccin numerable,

Teorema. Si

es de contenido cero, entonces

es de medida cero.

Tcnicamente podemos dar deniciones de contenido de Jordan dida (exterior) de Lebesgue

c(A)

y de me-

m(A)

de forma explcita, de modo que a cada con-

junto medible-Jordan o medible-Lebesgue (es decir, que satisfaga ciertas condiciones especiales) le asigne un real no negativo, y denir un conjunto de contenido cero como aquel que satisface aquel que satisface

c(A) = 0,

y uno de medida cero como

m(A) = 0,

pero para nuestros propsitos es innecesario. Sin

embargo, mencionaremos que una denicin posible del contenido de Jordan est dada como sigue:
Definicin. Dado un conjunto

A Rn ,

llamamos funcin indicatriz de

la funcin dada por:

1 A (x) = 1

1 0

si si

xA xA

Definicin. Llamamos contenido exterior de Jordan a la siguiente integral,

si existe:

c(A) =
R
con

1A 1

un rectngulo tal que

A R.

Asimismo, denimos el contenido interior

de Jordan como la integral:

c(A) =
R
si existe. Jordan de Si existen tanto

1A 1
al conjunto

llama medible-Jordan y al valor comn

A

y se denota

c(A) y son iguales, c(A) = c(A) se le simplemente como c(A).

como

c(A)

se le

llama contenido de

Estamos ahora en condiciones de enunciar el siguiente teorema fundamental:

Teorema.

Sea es

D = {xR|f

f : R Rn R con R un rectngulo, y sea el discontinua en x}. Entonces f es integrable en R si y D

conjunto solo si

es un conjunto de medida nula. Para esbozar la demostracin, sealamos que si encerrar todas las discontinuidades de es de medida nula, podemos

dentro de un conjunto de rectngulos

tales que la suma de sus medidas sea tan pequea como queramos, de modo que estas discontinuidades no inuyen sobre el valor de la integral. Por consiguiente,

ser integrable sin importar qu valores tome en los puntos de

D.

Formalizar un poco esta idea implica tomar una particin adecuada, tan na como sea necesario, de modo que los rectngulos que encierran estas discontinuidades estn contenidos en la particin y realizar las sumas de Riemann

superior e inferior, aplicando la condicin de Riemann para probar que la diferencia entre ambas sumas es menor a un valor arbitrario dado. Podemos usar esto para probar, por ejemplo, que la funcin popcorn es integrableRiemann; para ello debemos probar que, como es discontinua en todos los puntos con ambas coordenadas racionales, medida cero y luego

D = [0, 1]2 Q2 ; como Q es numerable, tiene

tiene medida cero (completar los detalles). Este es un

teorema muy fuerte de integrabilidad sobre rectngulos, y lo usaremos como base para deniciones ms generales.

2 Integrales sobre cualquier regin. Propiedades

2.1 Integrales sobre regiones ms generales
Como ya dijimos, la denicin de integral cuerpo con base

que dimos en la denicin anterior

puede interpretarse geomtricamente en el caso

R R

como el volumen del

y limitado en su parte superior por la supercie

z = f (x, y).

Sin embargo, esto no nos sirve si la base de la gura no es un rectngulo (por ejemplo, cmo usamos esto para calcular el volumen de un cono, o de una esfera?) Para esto, nos gustara dar una denicin ms general de integral que incluya regiones basales de naturaleza distinta a los rectngulos. Notemos que si mente de los

es un subconjunto arbitrario acotado de

mente un rectngulo!), si existiese la integral

Rn

(no necesaria-

xE

f, E

su valor dependera sola-

y el valor de

fuera de

no tendra inuencia sobre el valor

de la integral. De este modo no importara que este fuera el caso y que si

fuera un rectngulo tal que

es nula fuera de

se tuviera que

f (x) = 0 si x E ; adems, si E R, sera lgico esperar f = R f. E

f sobre un E . Dada una funcin f : E Rn R denimos la funcin fE como sigue: fE (x) = f (x) si x E , fE (x) = 0 en otro caso. Ntese que esto es en cierto modo equivalente a decir que fE (x) = f (x)1 E (x), si despreciamos 1
Podemos usar esta intuicin para realmente denir la integral de conjunto arbitrario consideraciones de dominio. En base a la discusin previa, podemos simplemente denir:
Definicin. Dado un subconjunto acotado

E Rn
como:

y una funcin

f : E R,

denimos la integral de

sobre la regin

E

f=
E
para un rectngulo regin

fE
R

adecuado que contenga a

E.

Ntese que en realidad el

valor de la integral no depende del rectngulo

que escojamos, sino solo de la

y de la funcin

f.

Ahora disponemos de una denicin ms general de integral, pero nos enfrentamos con un problema. la cual se integra. integrable en Como la regin ya no es un rectngulo, puede que la integrabilidad no dependa solamente de

f,

sino tambin de la regin

R = [0, 1]2 (y R f = 1), la integral RQ f no existe, ya que f = 1, pero RQ f = 0, por lo que no se cumple la condicin de que la RQ
integral superior sea igual a la inferior. Qu condiciones debemos jar sobre la regin integrable sobre la funcin

Por ejemplo, aunque la funcin constante

E sobre f (x, y) 1 es

para asegurarnos de que

sea

fE

E ? Como vimos, integrar f = 1 E f sobre un rectngulo R 1

sobre

es equivalente a integrar

que contenga a

E;

de este modo,

basta aplicar las condiciones de integrabilidad sobre rectngulos para la funcin

fE . A Rn , el interior de A lo denotaremos por A = int(A), la clausura (adherencia) de A por A = adh(A), y la frontera de A por A = Fr(A). Denotaremos el complemento de A por Ac = Rn A. Tambin recordamos las siguientes propiedades:
Introducimos la siguiente notacin: dado un conjunto

1. 2. 3.

A0 A A. A

es abierto ssi

A = A0 ,

y es cerrado ssi

A = A.

(Ac ) = (A0 )c . (Ac )0 = (A)c . A = A A0 = A (Ac ).

Tenemos las siguientes equivalencias: f integrable en E fE integrable en R D = {x R|fE es discontinua en x} tiene medida cero. Si sabemos que f es continua en E entonces el conjunto de las discontinuidades de fE es un subconjunto de E . Luego tenemos el siguiente teorema:
Teorema.

Sea

entonces

es integrable en

f : E R continua E.

en

E.

Luego, si

es de medida cero,

Otra manera de escribir este teorema es mediante el siguiente teorema anexo:

Teorema.

es Jordan-medible ssi

tiene medida cero ssi

cero.

(Para la demostracin, considrese que

E tiene contenido c(E) = c(E) c(E), si E es

Jordan-medible) Con esto, podemos enunciar el teorema anterior de la forma:

Teorema.

Sea

f : E R

continua en

E.

Si

es Jordan-medible,

es

integrable en

E.
No es simple dar una descripcin ade-

Qu conjuntos son Jordan-medibles?

cuada de todos ellos. Sin embargo, muchas veces el teorema siguiente es til:
Teorema. Sea

una regin del plano tal que

E = 1 2 n , con los j

curvas recticables simples (es decir, una regin delimitada por curvas simples de longitud denida) que se intersectan solamente en sus extremos. Entonces

es Jordan-medible.

En particular, tenemos el siguiente:

Corolario. Si

para todo

f, g : [a, b] R son funciones continuas tales que f (x) g(x) x [a, b], entonces la regin E = {(x, y) R|a x b f (x) y

g(x)}

es Jordan-medible.

Una extensin de este teorema sera la siguiente:

f, g : E R f (x) g(x) para todo x E , entonces la n regin H = {(x1 , . . . , xn ) R |(x1 , . . . , xn1 ) E f (x1 , . . . , xn1 ) xn g(x1 , . . . , xn1 )} es Jordan-medible.
Teorema.

Si

E Rn1

es una regin Jordan-medible y

son funciones continuas tales que

Estos teoremas nos entregan una amplia cantidad de regiones Jordan-medibles sobre las que podemos integrar con seguridad.

2.2

Propiedades de la integral de Riemann

Como hemos visto, la integral de Riemann corresponde bsicamente al lmite de una suma. Por lo tanto, podemos demostrar fcilmente una serie de propiedades que simplican el clculo de integrales. Recordemos primero una propiedad de las sumas de Riemann

(f, P)

enunciada en la seccin anterior:

(R) inf f (x) S(f, P) (f, P) S(f, P) (R) sup f (x)

xR xR
Con esta propiedad, podemos probar fcilmente que:
Teorema. Sean

funciones integrables en una regin

un nmero

real. Entonces:

1. 2. 3.

f +g f fg

es integrable y

es integrable y

(f + g) = E f + E g . f = E f . E
E

es integrable en

E.

4. Si 5.

f (x) g(x)

para todo

|f |

es integrable y

x E entonces E f E g . | E f | E |f |. (Desigualdad triangular)

y

6. Si

mf = inf xE f (x) Mf c(E). f

Mf = supxE f (x),

entonces

mf c(E)

7. Si

es continua, como consecuencia de (6), tenemos que existe

tal

que 8. Si

f = f ()c(E). E
en todo

(Teorema del valor medio) existe un

g0

E,

particular, si

es continua,

[mf , Mf ] tal que E f g = E g . existe E tal que f g = f () E g . E

10

En

9. Si

E = E1 E2 ,

con

0 0 E1 E2 = ,

entonces

f=

E1

f+

E2

f.

En general, basta probar estas propiedades para rectngulos, ya que, siendo vlidas para

fE

en

R,

sern vlidas para

en

E.

Las demostraciones son y

simples; por ejemplo, para (1) basta considerar las sumas superiores e inferiores

y, en base a que

supxA f (x) + g(x) supxA f (x) + supxA g(x)

que se cumple la desigualdad contraria para los nmos, podemos probar las propiedades:

(f + g)
R

f+
R

g
R

(f + g)
R
Luego, si

f+
R

g
R

son integrables los lados derechos de estas desigualdades sern

idnticos y se tendr que

g)
tanto

(f + g)

(f + g).

Como, por denicin,

(f +

(f + g), se tendr que estas integrales R f + g es integrable y su valor es la suma

sup. e inf. son iguales y por lo de las integrales de

y de

g.

Para (4) basta tomar las sumas de Riemann y considerar que si

f g , inf A f

inf A g supA f supA g .

La propiedad (7) es simplemente un caso particular de la (6), la cual se demuestra considerando que

mf f (x) Mf

para cualquier

x E

y haciendo las

sumas de Riemann y comparando.

A y B son disjuntos, 1 AB = 1 A + 1 B , de modo que fE1 E2 = fE1 + fE2 , y utilizar la propiedad (1); 1 1 1 si E1 y E2 son Jordan-medibles y f es integrable en stos, y sus interiores son disjuntos, el conjunto E1 E2 ser subconjunto de E1 E2 ; como E1 y E2 son Jordan-medibles, entonces E1 E2 tendr medida cero al ser subconjunto
Para la propiedad (9) hay que tomar en cuenta que, si de un conjunto de medida cero. Tambin podemos generalizar esta propiedad como sigue (suponiendo suciente integrabilidad):

f=
E1 E2

f+
E1

f
E2

f
E1 E2

Muchas veces estas propiedades simplican mucho el clculo de integrales , por lo que deben tenerse en cuenta para el trabajo con stas. En particular, muchas veces los teoremas del valor medio (6), (7) y (8) se usan para estimar o acotar el valor de una integral de manera simple.

11

3 Clculo de integrales
3.1 El Teorema de Fubini
Notemos que, a pesar de haber escrito pginas y pginas de teora, an no sabemos calcular integrales! Ni siquiera sabemos calcular integrales de aspecto aparentemente simple como la integral doble

[0,1]

x + y dx dy .

Ahora plantearemos el problema de calcular numrica o algebraicamente la integral de una funcin para hacerlo? El teorema fundamental que introduciremos en esta seccin es el Teorema de Fubini, el que nos indica que bajo ciertas condiciones podemos convertir una

sobre una regin

dada. Existir algn mtodo simple

(n + m)-dimensional en dos integraciones sucesivas, una n-dimensional m-dimensional. Cmo lo hacemos? Para ejemplicar, consideremos el caso de una integral doble f , con R = [a, b] [c, d], y supongamos que para R todo x0 [a, b] jo (salvo, tal vez, un subconjunto de [a, b] de medida cero) la funcin : [c, d] R dada por (y) = f (x0 , y) es integrable en [c, d]. De este modo, calculemos las sumas de Riemann para f , asumindola integrable. Tenemos que, para una particin uniforme Pn,m de [a, b] en n sub-intervalos de igual longitud y de [c, d] en m sub-intervalos, tenemos que una suma de Riemann
integral y otra posible es:

(f, Pn,m ) =
i=1 j=1
con los

f (i , yj ) x

(b a)(d c) mn
son los puntos que integrable, cuando

xi [ti1 , ti ], yj [uj1 , uj ], en que los ti y los uj Qij de la particin. Como f es n, m esta suma debe converger a R f .
determinan al rectngulo para un

Podemos ver que en esa suma, si consideramos solamente los trminos en

xi

jo, stos constituyen una suma de Riemann para la funcin

yj (y) =

f (i , y). x

De este modo, como esta sucesin doble converge, podemos calcular

el lmite para

m
n

en primer lugar y obtener:

(f ) =
i=1
y haciendo

ba n

i (y) dy =
i=1

ba n

f (i , y) dy x

obtenemos nalmente que:

f (x, y) dA =
R
Del mismo modo, considerando alente:

f (x, y) dy

dx

como constante, obtenemos la igualdad equiv-

12

 f (x, y) dA =
R
suponiendo que para todo

f (x, y) dx
la funcin

dy
es integrable.

y0 [c, d]

(x) = f (x, y0 )

De una manera anloga podemos probar el resultado general:

f (x; y) : R Rm+n R, integrable en R, con R = R1 R2 con R1 R , R2 Rn rectngulos tales que para todo x0 R1 , y0 R2 las funciones (y) = f (x0 ; y) y (x) = f (x; y0 ) son integrables en R2 y R1 , respectivamente, entonces sus integrales tambin son integrables en el
Teorema.

(Fubini) Dada

otro rectngulo y se cumple que:

f (x; y) dx1 dxm dy1 dyn =

R

R1

f (x; y) dy1 dyn

R2

dx1 dxm

=
R2

f (x; y) dx1 dxm

R1

dy1 dyn

Corolario. En particular, si sabemos que

es integrable al congelar cualquier

variable, tenemos que si dado por las

R = n [ai , bi ], i=1

entonces el valor de la integral est

integraciones iteradas:

f (x1 , . . . , xn ) dx1 dxn =

R

b1

b2

bn

f (x1 , . . . , xn ) dxn
an

dx2

dx1

a1

a2

En el ejemplo dado previamente, tenemos que:

x + y dA =
[0,1]2

x + y 2 dy dx =
0

x+

1 dx = 1 2

Hasta donde vemos, el teorema de Fubini sirve solamente para rectngulos. Sin embargo, debido a la naturaleza de la funcin indicatriz considera los puntos de

1 E , vemos que, para un 1

punto dado, la integral entre los lmites (constantes) del rectngulo solamente

para sus lmites, y la integral fuera de esos lmites es

nula, por lo que tenemos el siguiente resultado:

Corolario. Si

f : E Rn R, y existe una regin E0 Rn1 y dos funciones , : E0 R que satisfacen (x) (x) x E0 tales que E = {(x1 , . . . , xn ) Rn |(x1 , . . . , xn1 ) E0 (x1 , . . . , xn1 ) xn (x1 , . . . , xn1 )}, entonces: f=
E E0 (x1 ,...,xn1 )

(x1 ,...,xn1 )

f (x1 , . . . , xn1 , xn ) dxn

dxn1 dx1

13

f : A R R en la circun1 vemos que podemos describir esta regin 1 x2 . Asimismo, mediante las desigualdades: 1 x 1; 1 x2 y tambin podemos describirla por ecuaciones anlogas intercambiando y y x. De
Por ejemplo, si queremos integrar una funcin ferencia de centro en

(0, 0)

y radio

este modo:

f (x, y) dA =
B((0,0),1)

1x2

1x2

f (x, y) dy dx

Ntese que si podemos describir la regin de distintas maneras intercambiando el orden de las variables, todas las formas son vlidas dentro de ciertos lmites. Por ejemplo, si tenemos la regin descrita por las inecuaciones

0 y ln(x),

tambin podemos describirla como

1 x 2; 0 y ln(2); ey x 2.

De este modo, las siguientes integrales debieran ser iguales:

ln(x)

f (x, y) dy dx =
0

ln(2)

f (x, y) dx dy
ey

Ntese que la igualdad no siempre se cumple si las integrales parciales o garantiza que

no

son integrables; de hecho, la existencia e igualdad de las integrales iteradas no

sea realmente integrable (existen contraejemplos). Sin embargo,

si estamos seguros de que

y las integrales parciales son integrables, el teorema

de Fubini garantiza que este mtodo funciona. A veces es ms fcil efectuar las integrales escogiendo una representacin de la regin por sobre otra; tambin pueden ocuparse las propiedades de la integral para separarla en integrales ms simples sobre las cuales sea ms fcil aplicar el teorema de Fubini. Para cambiar el orden de las integrales iteradas, debemos encontrar los valores mnimo y mximo que toma la variable de la integracin ms exterior; luego despejar cada variable en funcin de las anteriores e iterar el proceso. ejemplo, para el caso Por

0 x 1; 0 y x; x y z 1 + x + y , tenemos que 1 x 1+x+y las integrales, en ese orden, seran dz dy dx. Si intercambiamos 0 0 xy el orden de la integracin para que sea dz dy dx, por ejemplo, tenemos que ver 2 que z vara entre 0 y 3, y x vara entre z y 1 e y + z ; luego, como 0 y x 2 2 tenemos que 0 y (z y 1) y 0 y (y + z) , de lo que podemos despejar y en funcin de z .
3.2 El teorema del cambio de variable

Uno de los mtodos ms usados en el clculo de integrales en de variable, en que se hace el reemplazo funcin de clase

R es el cambio z = (x), dz = (x) dx, con (x) una

C1.

La frmula correspondiente a este mtodo es la siguiente:

14

f ((x)) (x) dx =

1 (b)

f (z) dz
1 (a)

Notemos que si hacemos conjunto imagen de

sobre

R = [a, b], y (x) es creciente en [a, b], tenemos que el [a, b] es [(a), (b)] y podemos escribir la frmula

anterior de la forma:

f ((x)) (x) dx =
R
mientras que si

f (z) dz
1 (R)

de integracin sern invertidos, pero como

es decreciente en [a, b] su imagen ser [(b), (a)] y los lmites ser negativa al ser decreciente,

obtenemos una frmula anloga en que tanto el lado izquierdo como el lado derecho sern negativos. Por lo tanto, tenemos que ambas versiones de la frmula pueden resumirse como:

f ((x))| (x)| dx =
R

f (z) dz
1 (R)

Existir una frmula similar para varias variables? Si existiese una frmula de este tipo, sera de gran utilidad, ya que muchas regiones son descritas de manera ms simple en sistemas de coordenadas no cartesianos; por ejemplo, la regin equivalente a la regin

2 ,

cuyos lmites en el

1 x 1; 1 x2 y 1 x2 es en coordenadas polares descrita por: 0 r 1;0 < plano r  son constantes, a diferencia de los lmites en

el plano

xy .

Para comenzar, recordemos la denicin de matriz Jacobiana y determinante Jacobiano:

Definicin. Sea

matriz

f : E Rn Rm una funcin diferenciable en E . Llamamos Jacobiana a la matriz f = J de tamao m n cuyas componentes f f:

son las derivadas parciales de las componentes de

f (x) = Jf (x) =
Si

fi xj

i=1,...,m; j=1,...,n

A ste lo llamamos determinante Jacobiano y lo denotamos por

m = n, la matriz Jacobiana es cuadrada y por lo tanto tiene un determinante. f (x) =

(la segunda es la notacin usual para determinantes).

|f (x)|

Ahora estamos en situacin de enunciar el teorema del cambio de variables, como sigue:

15

Teorema. Sea

f : E Rn R una funcin integrable en una regin E del n espacio y sea T : R R, inyectiva, con determinante Jacobiano T no nulo en su dominio, tal que E sea subconjunto de la imagen de T (de modo que 1 podamos restringir el dominio de T para hacerla biyectiva). Luego, si T (E) es el conjunto preimagen de E , se tiene la siguiente igualdad: f (x1 , . . . , xn ) dx1 dxn =
E T 1 (E)

f (T (u1 , . . . , un ))|T (u1 , . . . , un )| du1 dun

o, ms sucintamente:

f=
E

T 1 (E)

(f T )|T |

Ntese la semejanza de la frmula con el caso de una variable; en este caso el determinante Jacobiano hace las veces de derivada, lo que explica la notacin

usada a veces para denotarlo. Podemos dar un argumento informal para

Cmo probamos este teorema? rea del paralelogramo de lados un tro de vectores

justicar esta frmula. Recordemos que, para dos vectores

u, v

de un plano, el

est dada por

uv

, mientras que para

u, v, w

el volumen del paraleleppedo que determinan est

dado por el valor absoluto de su producto caja frmulas numricas:

[uv w] = u v w = u v w.

Si expresamos los vectores en coordenadas cartesianas, obtenemos las siguientes

A(u, v) =

u1 v1 u1 v1 w1

u2 v2 u2 v2 w2 u3 v3 w3

V (u, v, w) =

quedando el signo determinado por el orden de los vectores. Podemos deducir entonces, intuitivamente, que para paraleleppedo del

vectores

{vi }n i=1

el contenido-Jordan del absoluto

n-dimensional que determinan est dado por el valor determinante det[vij ] de las componentes cartesianas de los vi . n = 3 (f, P)

Por simplicidad, daremos el argumento para Supongamos que

(es fcil de generalizar).

sea una suma de Riemann cualquiera sobre la regin

T 1 (E).

Entonces esta suma corresponde aproximadamente a:

(f, P) =
Qi P

f (x , yi , zi )xi yi zi = i Qi P

f (x , yi , zi )Vixyz i

16

con Qi = [xi , xi + xi ] [yi , yi + yi ] [zi , zi + zi ] de Vixyz = xi yi zi y (x , yi , zi ) Qi . En la regin E , i

modo que estos

(Qi ) = xi , yi , zi

corresponden a un cambio sobre las curvas coordenadas en las que solamente

u, v

w varan, dejando las otras dos coordenadas constantes, provocando camui , vi , wi en direcciones no necesariamente ortogonales (pero necesariamente l.i. ya que T es inyectiva y continua al ser diferenciable). Si los cambios en las coordenadas xyz son pequeos, los cambios en uvw tambin y podemos
o bios aproximar las curvas coordenadas localmente por rectas y por lo tanto podemos asignar una direccin a los cambios vectores tores

ui , vi , wi , obteniendo pequeos ui , vi , wi correspondientes a los vectores x y z k. Los veci, j, ui , vi wi forman un pequeo paraleleppedo cuyo volumen es aproxuvw
siguiendo las curvas coordenadas. De este modo, el volumen

imadamente igual al del paraleleppedo curvilneo formado por los cambios escalares en de este paraleleppedo curvilneo es aproximadamente

|ui vi wi |.

Pero

por el teorema del valor medio, tenemos que aproximadamente:

u = T (u + u, v, w) T (u, v, w)
y del mismo modo:

T u u

T v v T w w u, v, w
con respecto a

y luego, el producto caja descrito anteriormente corresponde a un factor escalar por el determinante de las derivadas parciales de es decir, como

x, y, z ,

u, v, w

son las componentes de

T,

al determinante Jacobiano de

T,

y luego obtenemos la igualdad aproximada:

|ui vi wi |

T T T ui vi wi = |T |ui vi wi u v w

y por lo tanto el determinante Jacobiano constituye un factor de ampliacin para las reas en

xyz

respecto a las reas en

uvw,

de modo que

Vixyz =

Viuvw |T |. Adems, T convierte a cada sub-rectngulo o sub-regin de la particin P en una sub-regin de una nueva particin curvilnea P de la regin E , de modo que la suma de Riemann anterior puede escribirse como:

(f, P) =
Qi P

f (x , yi , zi )Vixyz = i Qi P

f (T (u , vi , wi ))Viuvw |T | i

17

en que

(u , vi , wi ) es el punto correspondiente a (x , yi , zi ) segn la transfori i 1 macin T . Haciendo tender P a 0, se tiene que como T es continua tambin P debiese tender a 0, de modo que se obtiene una integral a ambos lados, y
tenemos el resultado nal:

f (x, y, z) dx dy dz =
T 1 (E)

f (u, v, w)|T (u, v, w)| du dv dw

sta no es una demostracin formal, sino que un simple argumento geomtrico. Puede demostrarse esto de manera formal mediante una induccin, pero para nuestros propsitos este argumento basta. Notemos que esta frmula general nos permite inmediatamente crear frmulas particulares de uso comn:

Coordenadas polares

(r, ).

Tenemos que

el determinante Jacobiano est dado por siguiente frmula en el plano, con cartesianas y

x = r cos(), y = rsen(). Luego (x,y) (r, ) = r, y se tiene la

la regin descrita en coordenadas

P
R

la regin equivalente en coordenadas polares:

f (x, y) dx dy =
S

f (r cos(), r sen()) r dr d
Es casi anlogo al caso anterior, por lo

Coordenadas cilndricas

(, , z).

que obtenemos la frmula:

f (x, y, z) dx dy dz =
R

f ( cos(), sen(), z) d d dz
S

(r, , ). Tenemos que x = r cos()sen(), y = rsen()sen(), z = r cos(). De este modo, (x,y,z) (r, , ) = r2 sen() y luego: f (x, y, z) dx dy dz =
Coordenadas esfricas

f (r cos()sen(), rsen()sen(), r cos()) r2 sen() dr d d

Estas frmulas son de gran utilidad y conviene tenerlas en cuenta al momento de integrar.

18