Integrales dobles sobre rectángulos

Teorema 1. Si una función f es continua en un rectángulo R = [a, b] × [c, d] entonces f es

integrable en R. ademas el valor de la integral puede obtenerse por integración sucesiva
Rb
Demostración. Para y0 fija en [c, d] la integral a
dx existe ya que el integrando es continuo en
R

Sea Z b
A(y) = f (x, y)dx
a

vamos a demostrar que A(y) es continua en [c, d]. Sean y, y1 ∈ [c, d] entonces
Z b Z b  Z b 
   
|A(y) − A(y1 )| =  f (x, y)dx − f (x, y1 )dx =  (f (x, y) − f (x, y1 )) dx ≤
a a a
Z b
|f (x, y) − f (x, y1 )| dx
a

Como f es continua y y esta cercana a y1 entonces |f (x, y) − f (x, y1 )| < b−a
Por lo tanto
Z b Z b
 
|f (x, y) − f (x, y1 )| dx ≤ dx = (b − a) = 
a a b−a b−a

1
∴
|A(y) − A(y1 )| < 

si y esta cercana a y1
∴ A(y) es continua y por tanto integrable en [c, d] y su integral es
Z d Z dZ b
A(y)dy = f (x, y)dxdy
c c a

Con un razonamiento analogo se puede concluir que

Z Z Z bZ d
f (x, y)dr = f (x, y)dydx
R a c

∴ Z bZ
Z Z d Z d Z b
f (x, y)dr = f (x, y)dydx = f (x, y)dxdy
R a c c a

Integrales dobles extendidas a regiones mas generales

Sea S una región acotada, e incluyamos S en un rectangulo Q

Sea f una función definida y acotada en S.

Definamos una nueva función f en Q


 f (x, y) si (x, y) ∈ S
f (x, y) =
 0 si (x, y) ∈ Q − S

2
 RR RR
Si lo es, decimos que f es integrable en S y que por definición f= f
S Q

Teorema 2. Sea S una región tipo I. Supongamos que f esta definida y es acotada en S que es
continua en el interior de S. Existe la integral
Z Z
f
S

y puede calcularse por integración reiterada

Z Z Z bZ φ2 (x)
f= f (x, y)dydx
S a φ1 (x)

 f (x, y) si (x, y) ∈ S
Dem. Sea Q = [a, b]x[c.d] un rectángulo que contiene a S y sea f (x, y) =
 0 si (x, y) ∈ Q − S
los únicos puntos donde hay discontinuidad para f son los de la frontera de S, puesto que f r(S)
tiene contenido
Z dnulo, f es integrable en Q.
Para x fijo ∃ f (x, y)dy aplicando integración iterada
c

3
Z Z Z bZ d
f= f (x, y)dydx si ϕ1 (x) ≤ y ≤ ϕ2 (x) f (x, y) = f (x, y)
Q a c
y para todos los demas valores de y en [c, d] f (x, y) = 0
Z d Z ϕ2 (x) Z Z Z b Z ϕ2 (x)
∴ f (x, y)dy = f (x, y)dy ∴ f= f (x, y)dydx
c ϕ1 (x) Q a ϕ1 (x)
Analogamente, si consideramos una región T = {(x, y)|c ≤ y ≤ d y ϕZ Z ≤ x ≤ ϕ2 (y)}
1 (y)

con ϕ1 y ϕ2 funciones continuas en [c, d] siendo ϕ1 ≤ ϕ2 tenemos que f (x, y)dxdy =

Z d Z ϕ2 (y) T

f (x, y)dxdy
c ϕ1 (y)