You are on page 1of 14

68

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

5.

Integrales dobles de Riemann.

El desarrollo de la teor de integrales mltiples de Riemann lo haremos con detalle para a u integrales dobles. Al nal se explica cmo generalizar los resultados para integrales triples y o mltiples en general. u

5.1.

Sumas de Riemann.
R = [a, b] [c, d]

Sea el rectngulo compacto a donde a < b y c < d son nmeros reales jos. u Sea a = x0 < x1 < . . . < xi1 < xi < . . . < xn = b una particin del intervalo [a, b] en n o subintervalos [xi1 , xi ] de longitud xi = xi xi1 . Sea x = mx1in xi . a Sea c = y0 < y1 < . . . < yj1 < yj < . . . < ym = d una particin del intervalo [c, d] en o subintervalos [yj1 , yj ] de longitud yj = yj yj1 . Sea y = mx yj a
1jm

Esas particiones de los segmentos [a, b] y [c, d] en los ejes de las x y de las y respectivamente, denen una particin P del rectngulo R = [a, b] [c, d], formada por nm rectangulitos compactos o a Ri,j = [xi1 , xi ] [yj1 , yj ], de lados con longitudes xi , yj

La unin de todos los rectangulitos Ri,j es todo R, y tienen interiores dos a dos disjuntos. o Denicin 5.1.1. Norma de una particin. Se llama norma de la particin P del rectngulo o o o a R en los rectngulitos Ri,j (denidos como antes) al nmero real positivo: a u ||P|| = ||(x, y)|| = x2 + y 2 = mx{diagonal deRi,j } a
i,j

(Hacer un dibujo tomando en horizontal el eje de las x y en vertical el de las y, en ellos los intervalos [a, b] y [c, d] (por ejemplo para mayor comodidad tomar 0 < a < b en el eje de las x y 0 < c < d en el eje de las y). Partir uno de esos intervalos en, por ejemplo, n = 3 subintervalos, y el otro en, por ejemplo, m = 5 subintervalos. Trazar los segmentos de recta verticales x = xi contante y que estn dentro del rectngulo R = [a, b] [c, d], y los segmento de recta horizonales a a y = yj contante dentro de R. Queda la particin de R en los nm rectangulitos Ri,j descriptos o antes.) Denicin 5.1.2. Eleccin t de puntos intermedios subordinada a una particin. o o o Sea dada una particin P del rectngulo R en nm rectangulitos Ri,j como fue denida al o a principio de la seccin 5.1. Una eleccin de puntos intermedios subordinada a la particin P, que o o o 21 como t, es una coleccin de mn puntos (x , y ), cada uno perteneciente al rectangulito denotamos o i j Ri,j respectivo en R R2 . Es decir: t = {(xi , y j ) Ri,j }1in,
21

1jm

naturales.

Hay que estar advertido que t no es un nmero real. u

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

69

Se denota con T(P) a todas las elecciones posibles de puntos intermedios subordinadas a la particin P. o Cuando se escribe para cierta armacin A lo siguiente: o A t T(P) estamos indicando que la armacin A es verdadera para toda eleccin de puntos intermedios o o subordinada a la particin P, siendo P una particin ja dada de antemano. o o Sea f (x, y) una funcin acotada (no necesariamente continua) en R. o Denicin 5.1.3. Sumas de Riemann. o Dadas: Una funcin f (x, y) acotada en el rectngulo R = [a, b] [c, d]. o a Una particin P del rectngulo R en nm rectangulitos Ri,j , para 1 i n, 1 j m, con o a lados de longitudes xi y yj . Una eleccin t T(P) de puntos intermedios (xi , y j ) Ri,j . o Se llama suma de Riemann de f en la particin P y en los puntos intermedios t, al nmero o u real:
n m

(f, P, t) =
i=1 j=1

f (xi , y j )xi yj

A veces, en la suma de Riemann a la derecha de la igualdad anterior, se sustituye el producto xi yj por rea Ri,j , ya que el producto de las longitudes de los lados de un rectngulo es igual a a a su rea. a Intepretacin geomtrica de la suma de Riemann. (Hacer una gura tomando en el o e plano horizontal x, y el rectngulo R con su particin P en nm rectangulitos, y en el eje vertical a o z. Dibujar la supercie grca z = f (x, y) de un funcin f continua y positiva en R.) a o Cada sumando f (xi , y j )xi yj de la suma de Riemann, cuando f 0, es el volumen del prisma rectangular en el espacio x, y, z con base en el rectngulito Ri,j del plano z = 0 y altura a igual a zi,j = f (xi , y j ). Este punto (xi , y j , zi,j ), que est en la tapa horizontal superior del prisma, a se encuentra sobre la (supercie, si f es continua) grca de f , y se proyecta verticalmente sobre a el punto (xi , y j ) de su base (el rectangulito Ri,j ). La suma de Riemann es entonces igual al volumen de la unin de todos esos prismas rectano gulares. Si f es continua, y los rectangulitos Ri,j en la base, son pequeos, demostraremos que las n sumas de Riemann tienden a un nmero A. Intepretamos en ese caso que la unin de los prismas u o rectangulares aproxima en volumen al slido Vf que se encuentra abajo de la supercie grca o a z = f (x, y), y arriba del plano z = 0.

5.2.

Integral de Riemann de funciones acotadas.

Denicin 5.2.1. L o mite de sumas de Riemann. Dada una funcin acotada f en el rectngulo R = [a, b] [c, d], se llama l o a mite de las sumas de Riemann de f en R, a un nmero A que, si existe, cumple lo siguiente: u

70

Integrales paramtricas e integrales dobles y triples. e Para todo > 0 dado, existe > 0 tal que ||P|| < |(f, P, t) A| <

Eleonora Catsigeras.

19 Julio 2006.

t T(P)

Cuando existe tal nmero A se lo denota como: u


n m

A = l m (f, P, t) =
||P||0

(x,y)(0,0)

l m

f (xi , y j )xi yj
i=1 j=1

Denicin 5.2.2. Integral de Riemann en un rectngulo. o a Dada una funcin acotada f en el rectngulo compacto R, se dice que f es integrable Riemann o a en R si existe el l mite A de las sumas de Riemann como en la denicin 5.2.1. A dicho l o mite A se le llama integral de Riemann de f en R y se le denota22 por convencin, como: o
n m

A = l m (f, P, t) =
||P||0

(x,y)(0,0)

l m

f (xi , y j )xi yj =
i=1 j=1

f (x, y) dx dy
R

(Obsrvese que la igualdad anterior no es un teorema, sino una simple convencin de notacin.) e o o Denicin 5.2.3. Integral de Riemann en un conjunto acotado. o Dada una funcin acotada f en un conjunto D contenido en el rectngulo compacto R, se dice o a que f es integrable Riemann en D si es integrable Riemann en R (como en la denicin 5.2.2), la o funcin extendida denida como f (x, y) si (x, y) D y f (x, y) = 0 si (x, y) D. o A dicha integral Riemann en R de la funcin extendida se le llama integral de Riemann de f o en D y se le denota como:
n ||P||0 m

l m (f, P, t) =

(x,y)(0,0)

l m

f (xi , y j )xi yj =
i=1 j=1

f (x, y) dx dy
D

donde f (x, y) = 0 si (x, y) D. (Obsrvese que la igualdad anterior no es un teorema, sino una simple convencin de notacin.) e o o Nota 5.2.4. No toda funcin acotada es integrable Riemann. Por ejemplo la funcin f en el o o rectngulo [0, 1] [0, 1] dada por f (x, y) = 1 si las coordenadas x e y son nmeros racionales; y a u f (x, y) = 0 si las coordenadas x e y son nmeros irracionales; es acotada, pero se puede vericar u fcilmente que no es integrable Riemann. a Veremos como consecuencia del teorema de Riemann-Lebesgue, (teorema 5.4.1), que toda funcin continua en un rectngulo compacto R (que es un caso particular de funcin acotada) es o a o integrable Riemann en el rectngulo; y que toda funcin continua en un dominio D descomponible a o en simples, es integrable Riemann en D. Sin embargo, advertimos que no toda funcin continua en un dominio cualquiera D, aunque o este sea compacto y la funcin resulte ser acotada, es integrable Riemann en D. Eso depende de o la forma de D, en especial de la medidadel borde de D.
22 o En esta seccin la notacin R f (x, y) dx dy no indica integral doble iterada como en la denicin 2.1.2. Indica o o el l mite, cuando existe, de las sumas (f, P, t) de Riemann de f . Este l mite cuando existe, es llamado integral de Riemann de f . Al nal de esta seccin, en el teorema 5.5.1, probaremos que son iguales (cuando existen ambas), la integral de o Riemann y la integral doble iterada de f . Por eso usamos la misma notacin para ambas. o

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

71

Nota 5.2.5. En el cap tulo 4, pargrafo 53, del libro de Burgos (ver referencia en la Bibliograf a a al nal de este texto) se da otra manera de denir integral de Riemann de f en un rectngulo R. a La del libro de Burgos es la ms usual en los textos. a Se denen primero las sumas superior e inferior de Darboux de f en particiones de R en rectangulitos Ri,j , en forma similar a nuestra denicin 5.1.3, pero sustituyendo f (xi , y j ) por el o supremo e nmo respectivamente de f en Ri,j . Se llama integral superior e inferior de f en R al nmo de las sumas superiores y al supremo de las sumas inferiores de Darboux, respectivamente, cuando se toman todas las particiones P de R. Se dene entonces: f es integrable Riemann en R si las integrales superior e inferior de f en R coinciden; en ese caso se llama integral de Riemann de f en R al valor comn de las integrales superior e inferior. u Esta otra denicin de integral de Riemann resulta ser equivalente a la denicin 5.2.2 que o o damos nosotros en este texto, como se demuestra en el pargrafo 58 del libro de Burgos. a

5.3.

Conjuntos de medida nula.

Sea A R2 un subconjunto cualquiera de R2 . (A puede ser en particular el conjunto vac o.) Una coleccin {Rn }1nN de N rectngulos Rn de R2 , se dice que es un cubrimiento nito o a por rectngulos de A si a
N

A
n=1

Rn

Una sucesin {Rn }n1 de rectngulos Rn de R2 , se dice que es un cubrimiento numerable por o a rectngulos de A si a

A
n=1

Rn

(La unin en la armacin de arriba denota, por convencin, al conjunto de todos los puntos que o o o pertenece a alguno de los rectngulos Rn , para algn valor natural de n 1.) a u Por convencin, si {Rn }1nN es un cubrimiento nito, se dice tambin que es numerable, o e deniendo Rn = para n > N , y deniendo area(Rn ) =rea() = 0 si n > N . a Denicin 5.3.1. Conjuntos de medida nula. Se dice que A tiene medida nula si para cada o > 0 existe un cubrimiento numerable por rectngulos {Rn } de A tal que la suma de sus areas a es menor que ; es decir:

> 0 {Rn }n1 tal que A


n=1

Rn ,
n=1

areaRn <

Es sencillo demostrar la siguiente proposicin: o Proposicin 5.3.2. Propiedades de los conjuntos de medida nula. o 1) Si A es un conjunto de medida nula y si B A entonces B tambin es de medida nula. e 2) Si A y B son conjuntos de medida nula, entonces A B tambin lo es. e

72

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Ahora damos el ejemplo de conjunto de medida nula que usaremos en la subseccin siguiente: o Proposicin 5.3.3. Medida nula de las curvas grcas de funciones continuas. o a 1) La curva grca {y = (x), x [a, b]}, de cualquier funcin continua : [a, b] R es a o un conjunto de medida nula. 2) La curva grca {x = (y), y [c, d]}, de cualquier funcin continua : [c, d] R es un a o conjunto de medida nula. Demostracin: La armacin 2) es la misma armacin 1), en la que simplemente se ha o o o permutado el nombre de las variables x e y entre s Entonces, basta demostrar 1). . Sea A = {y = (x), x [a, b]} el conjunto curva grca de . a Como es continua en el compacto [a, b] entonces es uniformemente continua. Por lo tanto para todo > 0 existe > 0 tal que: |x1 x2 | < |(x1 ) (x2 )| <

(1)

Tomemos una particin ja del intervalo [a, b]: o 0 = x0 < x1 < . . . < xi1 < xi < . . . < xN = b en N intervalitos [xi1 , xi ] iguales de longitud x = (b a)/N = xi xi1 , tomando jo un valor natural de N sucientemente grande para que (b a)/n < . Entonces: x < (2)

Consideremos para cada i = 1, 2, . . . , N el rectngulo a Ri = [xi1 , xi ] [(xi )

, (xi ) +

] (3)

Armamos que la unin de estos N rectngulos contiene al conjunto A, es decir {Ri }1iN es un o a cubrimiento nito de A. En efecto, dado (x, y) A, se cumple y = (x) Adems existe algn intervalito [xi1 , xi ] de la particin donde est la abscisa x dada. Es decir a u o a x [xi1 , xi ] (4)

Entonces la distancia entre x y xi es menor o igual que la longitud x del intervalito [xi1 , xi ]; en otras palabras: |x xi | < x (5) Reuniendo (5) con (2) y (1), se deduce: |x xi | < , De lo anterior se deduce que (x) [(xi )

|(x) (xi )| <

, (xi ) +

(6)

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e Reuniendo las armaciones (3) (4) y (6) se obtiene: (x, y) = (x, (x)) Ri

19 Julio 2006.

73

Hemos demostrado que cada punto (x, y) A est contenido en alguno de los rectngulos Ri . Se a a concluye que
N

A
i=1

Ri

En otras palabras la coleccin Ri es un cubrimiento nito de A por rectngulos. o a Ahora solo falta demostrar que la suma de las areas de los rectngulos Ri puede hacerse menor a que , para cada valor > 0 dado, arbitrario. Calculemos la suma de las reas de los rectngulos Ri dados en (3). a a a rea(Ri ) = (xi xi1 )
N N N

= x
N

ba N = N

a rea(Ri ) =
i=1 i=1

i=1

x =

x
i=1

(b a) <

donde dado > 0 se eligi > 0 tal que < /(ba). Esto es posible porque toda la construccin o o anterior fue hecha para un valor genrico > 0, cualquiera sea este. e

5.4.

Teorema de Riemann-Lebesgue.

Teorema 5.4.1. Teorema de Riemann-Lebesgue. Si f es acotada en el rectngulo R = [a, b] [c, d] y sus puntos de discontinuidad (si existen) a estn contenidos en un conjunto C de medida nula, entonces existe el l a mite de las sumas de Riemann (integral de Riemann de f en R.)23 . Demostraremos una versin particular del teorema de Riemann-Lebesgue, agregando como o hiptesis que el conjunto C que contiene las discontinuidades de f sea compacto. En lo que sigue o slo usaremos el teorema de Riemann-Lebesgue en este caso particular. o Demostracin de una versin restringida del teorema 5.4.1, asumiendo que C es compacto: o o Para demostrar que existe el l mite de las sumas de Riemann, como en la denicin 5.2.1, o alcanza probar que dado > 0 existe > 0 tal que para toda pareja de particiones P1 y P2 en rectngulos de R se cumple la armacin (1) que est ms abajo: a o a a (A probar:) > 0, > 0 tal que: ||P1 || < , ||P2 || < |(f, P1 , t1 ) (f, P2 , t2 )| < t1 T(P1 ) t2 T(P2 ) (1)

En efecto, si probamos (1), entonces en particular para = 1/2 existe un 1 > 0, existe (elegimos) una particin P1 con norma menor que 1 , y existe (elegimos) una familia t1 T(P1 ) de puntos o
23 Tambin es cierto el rec e proco. Una funcin f acotada en el rectngulo R es integrable Riemann en R si y solo o a si es continua en R excepto a lo sumo en un conjunto C de medida nula.

74

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

intermedios subordinada a P1 , tales que, para cualquier otra particin P con norma tambin o e menor que , y para cualquier eleccin t T(P) se cumple: o (f, P, t) [(f, P1 , t1 ) 1/2, (f, P1 , t1 ) + 1/2] = I1 , con longitud de I1 = 1 Anlogamente, para n = 1/(2n), con n 2 natural, todas las particiones P con dimetro a a menor que n < n1 < . . . < 1 , y toda eleccin t T(P), denen una suma de Riemann o (f, P, t) que est en un intervalo compacto In de longitud igual a 2 n = 1/n, y contenido en a In1 . La sucesin de intervalos compactos de reales In es una sucesin encajada de intervalos con o o longitudes que tiende a cero. Entonces, por la completitud de la recta real, la interseccin de todos o esos intervalos dene un unico real A que es el l mite de las sumas de Riemann buscado. Ahora probemos (1): Primer caso: f es continua en R = [a, b] [c, d], entonces es uniformemente continua en R (pues R es compacto): Dado > 0 existe > 0 tal que ||(x1 , y1 ) (x2 , y2 )|| < |f (x1 , y1 ) f (x2 , y2 )| <

(2)

Dadas dos particiones P1 y P2 con norma menor que , consideramos la particin producto o P1 P2 formada por las intersecciones (cuando no son vac as) dos a dos de todos los rectngulitos de P1 a con todos los de P2 . Armamos que, dado > 0, si se elige

2(b a)(d c)

entonces se cumple lo siguiente: A probar: |(f, P, t) (f, P1 , t1 )| < /2 t T(P) t1 T(P1 ) A probar: |(f, P, t) (f, P2 , t2 )| < /2 t T(P) t2 T(P2 ) Una vez probadas (3) y (4) aplicando la propiedad triangular se obtiene |(f, P1 , t1 ) (f, P2 , t2 )| |(f, P, t) (f, P1 , t1 )| + |(f, P, t) (f, P2 , t2 )| < /2 + /2 = con lo cual quedar demostrada la tesis (1) como queremos. a Ahora probemos (3) y (4). Observamos que la armacin (4) es la misma armacin (3) o o sustituyendo P2 por P1 . Por lo tanto basta demostrar (3). Por la denicin de suma de Riemann en 5.1.3: o
n m

(3) (4)

(f, P1 , t1 ) =
i=1 j=1

f (xi , y j ) area(Ri,j )

(6)

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

75

donde (xi , y j ) Ri,j y {Ri,j }1in, 1jm = P1 Por otra parte, tenemos la particin P = {Sk }k=1,2...,N . (Aqu no nombramos los N rectngulos o a Sk segn dos u ndices i, j que numeran los intervalos en los ejes de abscisas y ordenadas respectivamente, sino que indexamos Sk ordenados con un slo o ndice natural k que var desde 1 hasta a N en el orden que se desee.) La suma de Riemann correspondiente a P es:
N

(f, P, t) =
k=1

f (k , yk ) area(Sk ) x

(7)

donde (k , yk ) Sk . x Sabemos que la particin P se obtuvo de intersectar todos los rectngulos de la particin P1 o a o con los de otra particin. Entonces cada rectngulo Ri,j de la particin P1 es igual a la unin de o a o o una cierta cantidad nita de rectngulos Sk Ri,j de la particin P. Es decir: a o Ri,j =
k:Sk Ri,j

Sk ,

area(Ri,j ) =
k:Sk Ri,j

area(Sk )

(8)

Entonces, para cada uno de estos rectngulos Sk Ri,j la eleccin de puntos intermedios t T(P) a o dene (k , yk ) Sk Ri,j (9) x Reuniendo (6), (7) y (8) se obtiene:
n m

(f, P1 , t1 ) (f, P, t) =
i=1 j=1 k:Sk Ri,j

x (f (xi , y j ) f (k , yk )) area(Sk )

Tomando valor absoluto, y usando la propiedad triangular para el valor absoluto de una suma, se deduce:
n m

|(f, P1 , t1 ) (f, P, t)|


i=1 j=1 k:Sk Ri,j

x |f (xi , y j ) f (, y )| area(Sk )

(10)

Recordando por (9) que los puntos (xi , y j ) y (k , yk ) estn ambos en el mismo rectngulo Ri,j de x a a la particin P1 , y que la norma de esta particin es menor que , se deduce: o o ||(xi , y j ) (k , yk )|| < x Luego, aplicando la armacin (2) se deduce que: o |f (xi , y j ) f (k , yk )| < x Sustituyendo esta ultima desigualdad en (10) se obtiene:
n m

|(f, P1 , t1 ) (f, P, t)| <

i=1 j=1 k:Sk Ri,j

area(Sk )

|(f, P1 , t1 ) (f, P, t)| <

area([a, b] [c, d]) =

(b a)(d c) =

76

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Esta ultima desigualdad prueba la armacin (3) como quer o amos demostrar, en el caso de una funcin f continua en el rectngulo [a, b] [c, d]. o a Segundo caso: f no es continua en R = [a, b] [c, d] estando sus puntos de discontinuidad contenidos en C, donde C es un conjunto compacto y de medida nula. Reduciremos la demostracin de la armacin (1) a su validez, ya probada, en el primer caso. o o Para ello construiremos una funcin auxiliar g que sea continua en R, y que diera de f solo en o un conjunto de rea muy pequea. Aplicaremos el resultado ya probado (1) para la funcin g a n o continua; y comparando las sumas de Riemann de f con las de g, deduciremos la tesis (1) para f . Dado > 0, elegiremos al nal un valor de > 0 adecuado, en funcin de . o Para todo > 0, por denicin de conjunto de medida nula, existe un cubrimiento nito24 o de C con N rectngulos compactos {Sk }k=1,2,...,N , cuya unin llamamos S, y cuyas areas suman a o . No es restricitivo suponer que C est contenido en el interior25 de S. En otras menos que a palabras:
N N

C interior(S)

S=
k=1

Sk ,
k=1

area(Sk ) <

(11)

Aplicando el lema 2.2.13, existe una funcin chichn (x, y) continua para todo (x, y) R2 o o tal que = 0 fuera del abierto V = interior S, es igual a 1 en el compacto C y est comprendida a entre 0 y 1 para los puntos (x, y) V \ C. Construyamos la funcin auxiliar o g(x, y) = (1 (x, y)) f (x, y) (x, y) R = [a, b] [c, d] Como g se anula en C y es igual al producto de funciones continuas fuera de C (producto que tiende a cero cuando el punto (x, y) tiende a un punto de C, pues el factor 1 (x, y) as lo hace, y el otro factor f (x, y) es acotado), entonces g(x, y) es continua en [a, b] [c, d]. Adems g cumple: a g(x, y) = 0 (x, y) C, g(x, y) = f (x, y) (x, y) R \ S (12b) (12a)

0 |g(x, y)| |f (x, y)| (x, y) R

Siendo g continua en R aplicamos la armacin (1) probada en el primer caso. Entonces existe o > 0 tal que ||P1 || < , ||P2 || <
24

|(g, P1 , t1 ) (g, P2 , t2 )| <

t1 T(P1 ) t2 T(P2 )

(13)

Siendo C compacto, de todo cubrimiento numerable de C con rectngulos, puede extraerse un cubrimiento a nito. 25 En efecto si se toman rectngulos Sk alargando cada lado de Sk (para la derecha y para la izquierda los dos a lados horizontales, y para arriba y para abajo los dos lados verticales) una cantidad > 0 tal que < 1, entonces C queda contenido en el interior de la unin de los rectngulos Sk . Adems dado > 0 la suma de los reas de los o a a a rectngulos Sk puede hacerse menor que 2 . En efecto: el rea de cada uno de los nuevos rectngulos Sk es igual a a a 2 rea (Sk ) + Per a m(Sk ) + 4 rea(Sk ) + Per a m(Sk ) + 4. Luego
N N N N

rea(Sk ) a
k=1 k=1

rea(Sk ) + a

(Per m(Sk ) + 4) < +


k=1 k=1

(Per m(Sk ) + 4) = 2
N m(Sk ) k=1 (Per

Para obtener la ultima igualdad hemos elegido, dado

> 0, el nmero = / u

+ 4).

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

77

Observamos que si para un valor 0 > 0 de se cumple la armacin (13), entonces para todo o otro valor positivo menor que 0 tambin se cumple (13). Por lo tanto, en lo sucesivo, podemos e elegir > 0 tan pequeo como se necesite. n Para probar la armacin (1) para f alcanza con probar que: o ||P|| < , |(f, P, t) (g, P, t)| < 3 t T(P) (a probar) (14)

En efecto, una vez probada las armacin (14), por la propiedad triangular del valor absoluto se o deduce que |(f, P1 , t1 ) (f, P2 , t2 )| |(f, P1 , t1 ) (g, P1 , t1 )|+ +|(g, P1 , t1 ) (g, P2 , t2 )| + |(g, P2 , t2 ) (f, P2 , t2 )| Aplicando (13), y la desigualdad (14) a la desigualdad anterior, se obtiene: ||P1 || < , ||P2 || < |(f, P1 , t1 ) (f, P2 , t2 )| < 3 + + = 3 3 t1 T(P1 ) t2 T(P2 )

Esa es justamente la armacin (1) que quer o amos probar. Entonces basta probar (14) para nalizar la demostracin del teorema. o Por la denicin de las sumas de Riemann en 5.1.3, y por la propiedad traingular del valor o absoluto se tiene: |(f, P, t) (g, P, t)| = |(f g, P, t)| (|f g|, P, t) (15)

Siendo la particin P formada por nm rectangulitos Ri,j , la suma de Riemann de |f g| es: o


n,m

(|f g|, P, t) =
i,j=1,1

|f (xi , y j ) g(xi , y j )|reaRi,j a

(16)

La particin P tiene norma menor que > 0, entonces cada uno de los rectngulos Ri,j tiene su o a diagonal con longitud menor que . Retomemos ahora los N rectngulos Sk que ten a amos al principio, y que cumplen (11) y (12). Los nm rectngulos Ri,j se clasican en dos categor a as: 1) O bien Ri,j no intersecta ningn Sk , y por lo tanto no interseca a su unin S; es decir Ri,j u o est contenido en R \ S. Llamaremos A al conjunto de a ndices (i, j) para los cuales ocurre eso. Se cumple, aplicando (12 a): (i, j) A Sumando entonces: |f (xi , y j ) g(xi , y j )| areaRi,j = 0
(i,j)A

Ri,j R \ S |f (xi , y j ) g(xi , y j )| = 0 (17)

2) O bien Ri,j intersecta a algn Sk , y por lo tanto todos sus puntos distan menos que de u algn punto de Sk . (Recordar que > 0 es mayor que la norma de la particin {P}; por lo tanto u o es mayor que la diagonal de todos sus rectangulitos Ri,j .)

78

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Entonces Ri,j est contenido en un rectngulo Sk , un poco ms grande que Sk , con el mismo a a a centro que Sk , y lados de longitud igual a la longitud de los lados de Sk ms 2. (Esto es Sk se a obtiene alargando cada lado horizontal de Sk una distancia para la izquierda y para la derecha, y lo mismo con cada lado vertical para arriba y para abajo). Por lo tanto se cumple:
N N

a reaRi,j
(i,j)A k=1

areaSk
k=1 /

areaSk + per m.Sk + 4 2


N m.Sk k=1 (per N

Si > 0 se elige menor que 1 y menor que


N

+ 4), entonces resulta: areaSk + per m.Sk + 4 =

a rea(Ri,j )
(i,j)A N k=1

a reaSk + per m.Sk + 4


k=1 N

=
k=1

a reaSk +
k=1

(per m.Sk + 4) <

+
k=1

areaSk

Aplicando (11) a esta ultima desigualdad, se concluye: area(Ri,j ) < 2


(i,j)A

Usando esta ultima desigualdad, aplicando (12b) y eligiendo K > 0 que sea una cota superior de |f | en R (por hiptesis f es acotada en R), se deduce: o |f (xi , y j ) g(xi , y j )| areaRi,j
(i,j)A (i,j)A

|f (xi , y j )| + |g(xi , y j )| areaRi,j areaRi,j < 4K


(i,j)A

(i,j)A

2|f (xi , y j )| areaRi,j 2K

(18)

Reuniendo las desigualdades (17) y (18) se obtiene:


n,m

|f (xi , y j ) g(xi , y j )| areaRi,j =


i,j=1,1 (i,j)A

|f (xi , y j ) g(xi , y j )| areaRi,j +

+
(i,j)A

|f (xi , y j ) g(xi , y j )| areaRi,j < 0 + 4K

Aplicando (16) y esta ultima desigualdad: (|f g|, P, t) < 4K Luego, por (15): |(f, P, t) (g, P, t)| < 4K Para obtener la ultima desigualdad hemos elegido ||P|| < ,

3 = /(12 K). Luego concluimos: 3 t T(P)

|(f, P, t) (g, P, t)| <

que es la armacin (14) que quer o amos probar.

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

79

Corolario 5.4.2. Corolario del Teorema de Riemann-Lebesgue. Si f es continua en el dominio D, simple respecto de x o respecto de y, entonces existe el l mite de las sumas de Riemann (integral de Riemann de f en el dominio D). Demostracin: Por la denicin de integrabilidad Riemann en D R (denicin 5.2.3), hay o o o que demostrar que la funcin f extendida, deniendo por convencin f (x, y) = 0 si (x, y) D, es o o integrable Riemann en el rectngulo R. a f es continua en D por hiptesis, y su extensin es continua en el exterior de D porque es o o idnticamente nula. e Entonces los puntos de discontinuidad de f en R, si existen, estn en la parte de la frontera a D, que no es borde del rectngulo R. Esta frontera est formada por las grcas de funciones a a a y = (x) e y = (x) continuas (si D es simple respecto de x, ver denicin 2.1.1), o por las grcas o a de funciones x = (y) y x = (y) continuas (si D es simple respecto de y, ver denicin 2.2.2). o Por la proposicin 5.3.3, las grcas de funciones continuas de una variable, tienen medida o a nula en el rectngulo bidimensional R. a De lo anterior se deduce que f es continua en R excepto a lo sumo en un conjunto que tiene medida nula (y es compacto). Luego, por el teorema de Riemann-Lebesgue (teorema 5.4.1), la funcin f , extendida como la o funcin nula fuera de D, es integrable Riemann en R, y por lo tanto la funcin f dada es integrable o o Riemann en D, como quer amos demostrar.

5.5.

Teorema de Fubini.

En la seccin 2 vimos el teorema de Fubini para integrales dobles iteradas (teorema 2.2.12). o Ese mismo resultado est contenido en el siguiente teorema, y da otra demostracin del resultado a o 2.2.12, probando no solo que las dos integrales iteradas son iguales entre s sino adems que son , a iguales a la integral de Riemann. Por ese motivo se emplea la siguiente notacin. o Notacin: Se usa el mismo s o mbolo f (x, y) dxdy
D

para referirse a la integral de Riemann, o a cualquiera de las integrales iteradas, sin importar el orden de las variables en que se integra. Teorema 5.5.1. Teorema de Fubini para integrales de Riemann. a) Si f es continua en el dominio D simple respecto de x (o respecto de y), entonces la integral doble iterada de f (denida en 2.1.2 o en 2.2.3), es igual a la integral de Riemann de f en D. b) Si f es continua en el dominio D simple en cualquier orden (es decir respecto de x y respecto de y a la vez), entonces las dos integrales dobles iteradas de f (denidas en 2.1.2 y 2.2.3), son iguales entre s (se puede cambiar el orden de integracin de las variables), y su valor es la , o integral de Riemann de f en D. Demostracin: La parte b) es una consecuencia inmediata de la parte a): en efecto, por la o parte a) cada una de las dos integrales iteradas es igual a la integral Riemann. Por lo tanto son iguales entre s .

80

Integrales paramtricas e integrales dobles y triples. e

Eleonora Catsigeras.

19 Julio 2006.

Para probar la parte a) consideramos el resultado del Corolario 5.4.2 del teorema de RiemannLebesgue: la funcin f es integrable Riemann en D. Entonces por denicin de integrabilidad o o Riemann (ver denicin 5.2.2), existe el l o mite A de las sumas de Riemann de f : A=
||(x,y)||0

l m

(1)

Hemos usado la denicin 5.2.2, donde aplicamos la igualdad que dene la norma de una particin o o ||P|| = ||(x, y)||. Por otro lado, por la proposicin 2.1.7 (si el dominio D es simple respecto de x) o por la o proposicin 2.2.5 (si el dominio D es simple respecto de y) se obtiene que el l o mite iterado de las sumas de Riemann existe y es igual a la integral doble iterada I de f . El objetivo es probar que A = I a probar. Para jar ideas supongamos que D es simple respecto de x, contenido en el rectngulo R = a [a, b] [c, d], y usemos la proposicin 2.1.7: o I = l m
x0 y0

l m

Esto quiere decir que para toda particin {xi }1in ja en [a, b] , existe el l o mite F ({xi }) = l m
y0

(2)

y que a su vez existe I = l F ({xi }) m


x0

(3)

Por (1), para todo

> 0 existe > 0 tal que ||(x, y)|| < | A| <

(4)

Tomemos el l mite cuando y 0 en la desigualdad (4) con la particin {xi } del intervalo o [a, b] ja, cumpliendo x < /2 y la particin del intervalo [c, d] cualquiera cumpliendo y < /2 o y y 0. Resulta: x < /2 | l A| < m
y0

En la ultima desigualdad hemos elegido, dado > 0, cualquier otro que . Sustituyendo (2) en la desigualdad anterior, resulta: x < /2 |F ({xi }) A| < Resumiendo, la armacin (5) prueba que dado o (5)

> 0 estrictamente menor

> 0 existe 1 = /2 tal que

x < 1 |F ({xi }) A| < Lo anterior es por denicin de l o mite, lo mismo que: A = l F ({xi }) m
x0

(6)

Reuniendo (3) y (6) se concluye A = I como quer amos demostrar.

Integrales paramtricas e integrales dobles y triples. Eleonora Catsigeras. e

19 Julio 2006.

81

5.6.

Generalizacin para integrales m ltiples. o u

Para integrales triples y para integrales mltiples en general, valen los mismos argumentos, u sustituyendo los rectngulos R de R2 por prismas rectangulares R en R3 (para integrales triples), a o por intervalos q-dimensionales contenidos en Rq (para integrales mltiples en general, con q 1 u natural). Hay que sustituir tambin, donde aparece, el area de un rectngulo en R2 por el volumen de e a un prisma rectangular en R3 (en intergrales triples), o por la medida q-dimensional de un intervalo q-dimensional en Rq (para integrales mltiples generales). u Tambin habr que sustituir en algunos de los enunciados y demostraciones, el conjunto simple e a bidimensional D R2 por el conjunto simple tridimensional D R3 (para integrales triples), o por el conjunto simple q-dimensional (para integrales mltiples en general.) u Las grcas (curvas) de funciones continuas y = (x), x [a, b] que forman parte del borde a en dominios simples D bidimensionales de R2 , usados para estudiar las integrales Riemann dobles, tendrn que ser sustituidas por las grcas (supercies) de funciones continuas z = (x, y), que a a forman parte del borde en dominios simples D de R3 (para integrales triples), o por las grcas a (hipersupercies) de funciones continuas xq = (x1 , x2 , . . . , xq1 ) que forman parte del borde en dominios simples de Rq (para integrales mltiples en general). u Las funciones f (x, y) integrables e integradas Riemann en dominios D bidimensionales, en el caso de las integrales dobles, deben sustituirse por funciones f (x, y, z) en las integrales triples, y por f (x1 , x2 , . . . , xq ) en dominios de Rq para las integrales mltiples en general. u

You might also like