Clases. Ampliación de Cálculo. ETSI Industriales. Univ. Politéc. de Madrid. Zarzo, Alejandro. (2009 - 2010)

Ampliacion de Calculo: Curso 2009-2010
Tema 1: Integrales impropias y funciones denidas

mediante integrales
Alejandro Zarzo
Departamento de Matematica Aplicada a la Ingeniera Industrial
Ampliacion de Calculo (2009 - 2010) Tema 1: Integrales impropias ... Alejandro Zarzo 1 / 92
Indice
1
Introduccion: Concepto de integral impropia. Funciones localmente
integrables.
2
Denicion de integral impropia y primeras propiedades. Convergencia
absoluta y convergencia condicional.
3
Criterios de convergencia.
4
Funciones denidas mediante integrales en sentido propio
dependientes de un parametro (Repaso).
5
Funciones denidas mediante integrales impropias dependientes de un
parametro. Convergencia uniforme.
6
Las funciones Gamma y Beta de Euler.
7
Integrales de funciones complejas de variable real. Un ejemplo: La
Transformada de Fourier.
8
Integrales m ultiples impropias.
Indice
1
integrables.
2
3
4
5
6
7
8
Indice
1
integrables.
2
3
4
5
6
7
8
Indice
1
integrables.
2
3
4
5
6
7
8
Indice
1
integrables.
2
3
4
5
6
7
8
Indice
1
integrables.
2
3
4
5
6
7
8
Indice
1
integrables.
2
3
4
5
6
7
8
Indice
1
integrables.
2
3
4
5
6
7
8
1. Introduccion: Concepto de integral impropia (1)
En este captulo se estudiaran las denominadas integrales impropias,
que son una generalizacion de la integral de Riemann.
La integral de Riemann se dene para funciones acotadas en un
intervalo acotado, es decir, al construir
_
b
a
f (x)dx ,
a y b deben ser nitos y la funcion f : [a, b] R debe estar acotada.
El concepto de integral impropia surge al relajar alguna de las
condiciones anteriores:
_

a
f (x)dx (el intervalo no esta acotado).
_
b
a
f (x)dx (f no esta acotada en (a, b)).
_
b
a
f (x)dx ,
_

a
_
b
a
_
b
a
f (x)dx ,
_

a
_
b
a
_
b
a
f (x)dx ,
_

a
_
b
a
Ejemplos
1
Consideremos la funcion no acotada f : (0, 1] R denida por
f (t) = log t. Puesto que f es continua, para cada x (0, 1] existe su
integral en [x, 1], que vale:
_
1
x
log t dt = [t log t t]
t=1
t=x
= 1 x log x + x ,
Pero:
lm
x0
+
_
1
x
log t dt = lm
x0
+
[1 x log x + x] = 1 ,
con lo que parece natural escribir, simplemente,
_
1
0
log t dt = 1 .
Ejemplos
2
Si en el intervalo no acotado [0, +) consideramos la funcion
continua f (t) = e
t
entonces, para cada x [0, +), tenemos
_
x
0
e
t
dt =
_
e
t
t=x
t=0
= e
x
+ 1
y
lm
x+
_
x
0
e
t
dt = lm
x+
[e
x
+ 1] = 1 ,
lo que sugiere escribir
_
+
0
e
t
dt = 1 .
Atencion!!
Aparecen dos elementos basicos: Lmites y Calculo de primitivas.
Pero ... Como se maneja
_
+
0
e
t
2
dt o
_
+
0
sen t
t
dt ,
si las dos funciones e
t
2
,
sen t
t
, no admiten primitiva en terminos de las
funciones elementales?
Sera conveniente disponer de procedimientos que permitan saber cuando
existen los lmites sin necesidad de calcular primitivas (sin calcular la
integral); son los:
CRITERIOS DE CONVERGENCIA.
Denir en distintos casos una integral generalizada o integral impropia:
Intervalo no acotado
_
+
a
f (x) dx ,
_
a
f (x) dx ,
_
+
f (x) dx :=
_
a
f (x) dx +
_
+
a
f (x) dx .
Funci on no acotada:
_
b
a
f (x) dx .
f : (a, b] R no esta acotada en ning un entorno de a.
f : [a, b) R no esta acotada en ning un entorno de b.
f : [a, b] R no esta acotada en ning un entorno de c (a, b):
_
b
a
f (x) dx :=
_
c
a
f (x) dx +
_
b
c
f (x) dx .
Una situacion mas general
Sea f : R R que no esta acotada en la coleccion de puntos c
j
R
(j = 1, . . . , n) con: < c
1
< c
2
< < c
n
< +:
_
+
f (x) dx :=
_
a
1
f (x) dx +
_
c
1
a
1
f (x) +
_
a
2
c
1
f (x) dx +
+
_
c
j
a
j
f (x) dx +
_
a
j +1
c
j
f (x) dx + +
_
a
n+1
c
n
f (x) dx +
_
+
a
n+1
f (x) dx .
donde a
j
< c
j
, j = 1, . . . , n.
Estableceremos rigurosamente el concepto de integral impropia para
aquellas integrales que lo son POR UNA SOLA CAUSA. Ademas, la
causa(intervalo no acotado o funcion no acotada) se producira siempre en
un extremo del intervalo de integracion.
Para ello resulta util introducir la siguiente denicion:
Denici on: Funci on localmente integrable.
Sea A R. Se dice que una funcion f : A R es localmente integrable
en A si es integrable en cada intervalo compacto (cerrado y acotado)
contenido en A.
Comentarios
1
Todas las funciones continuas y todas las funciones monotonas,
acotadas o no, son localmente integrables.
2
Observese que si < a < b +, una funcion f es localmente
integrable en [a, b) si y solo si es integrable en cada intervalo
[a, x] [a, b). Del mismo modo, si a < b < +, una funcion
f es localmente integrable en (a, b] si y solo si es integrable en cada
intervalo [x, b] (a, b].
Para ello resulta util introducir la siguiente denicion:
Denici on: Funci on localmente integrable.
Sea A R. Se dice que una funcion f : A R es localmente integrable
en A si es integrable en cada intervalo compacto (cerrado y acotado)
contenido en A.
Comentarios
1
Todas las funciones continuas y todas las funciones monotonas,
acotadas o no, son localmente integrables.
2
Observese que si < a < b +, una funcion f es localmente
integrable en [a, b) si y solo si es integrable en cada intervalo
[a, x] [a, b). Del mismo modo, si a < b < +, una funcion
f es localmente integrable en (a, b] si y solo si es integrable en cada
intervalo [x, b] (a, b].
Por que resulta util este concepto?
Esta relacionado con lo ya mencionado:
Estableceremos rigurosamente el concepto de integral impropia para
aquellas integrales que lo son POR UNA SOLA CAUSA. Ademas, la
causa(intervalo no acotado o funcion no acotada) se producira siempre en
un extremo del intervalo de integracion.
Se comenta con detalle en clase ...
Indice
1
integrables.
2
Indice
1
integrables.
2
2. Denicion de integral impropia y primeras propiedades (1)
Denici on: Integral impropia en [a, b).
Dada una funcion f : [a, b) R localmente integrable, donde
< a < b +,
si existe el lmite
lm
xb
_
x
a
f (t) dt
y es nito, decimos que la integral impropia
_
b
a
f (t) dt es convergente, y al
valor de dicho lmite lo llamamos integral impropia de f en el intervalo
[a, b); se denota por
_
b
a
f (t) dt. Si el lmite anterior existe, pero es + o
, decimos que la integral impropia diverge a + o , y si no existe
el lmite decimos que la integral impropia no existe.
Denici on: Integral impropia en (a, b].
Dada una funcion f : (a, b] R localmente integrable, donde
a < b < +,
si existe el lmite
lm
xa
+
_
b
x
f (t) dt
y es nito, decimos que la integral impropia
_
b
a
f (t) dt es convergente, y al
valor de dicho lmite lo llamamos integral impropia de f en el intervalo
(a, b]; se denota por
_
b
a
f (t) dt. Si el lmite anterior existe, pero es + o
, decimos que la integral impropia diverge a + o , y si no existe
el lmite decimos que la integral impropia no existe.
Denici on: Funci on integrable en sentido impropio.
Diremos que una funcion es integrable en sentido impropio en un intervalo
si la integral impropia de la funcion en dicho intervalo es convergente.
Denici on: Integral impropia en (a, b).
Dada una funcion f : (a, b) R localmente integrable, donde
a < b +,
decimos que la integral impropia de
_
b
a
f (t) dt es convergente, si existe un
c (a, b) tal que
_
c
a
f (t) dt y
_
b
c
f (t) dt son ambas convergentes; en ese
caso se dene:
_
b
a
f (t) dt :=
_
c
a
f (t) dt +
_
b
c
f (t) dt .
Denici on: Funci on integrable en sentido impropio.
Diremos que una funcion es integrable en sentido impropio en un intervalo
si la integral impropia de la funcion en dicho intervalo es convergente.
Denici on: Integral impropia en (a, b).
Dada una funcion f : (a, b) R localmente integrable, donde
a < b +,
decimos que la integral impropia de
_
b
a
f (t) dt es convergente, si existe un
c (a, b) tal que
_
c
a
f (t) dt y
_
b
c
f (t) dt son ambas convergentes; en ese
caso se dene:
_
b
a
f (t) dt :=
_
c
a
f (t) dt +
_
b
c
f (t) dt .
Independencia del punto c (a, b).
Del resultado contenido en la siguiente transparencia (y de su analogo para
intervalos semiabiertos por la izquierda, cuyo enunciado y demostracion se
proponen como ejercicio) se deduce que en la denicion anterior es
indiferente el punto c que se elija. Tambien se deduce que la
convergencia de una integral impropia es un concepto local, que
depende solo del comportamiento del integrando cerca del punto
impropio, en un entorno del extremo conictivo.
Proposicion
Sea f : [a, b) R una funcion localmente integrable y sea a < c < b. La
funcion f es integrable en sentido impropio en [a, b) si y solo si es
integrable en sentido impropio en [c, b), en cuyo caso se tiene
_
b
a
f (t) dt :=
_
c
a
f (t) dt +
_
b
c
f (t) dt . ()
Demostracion. Basta tener en cuenta que para cada x (c, b) es
_
x
a
f (t) dt :=
_
c
a
f (t) dt +
_
x
c
f (t) dt .
Por tanto, el lmite cuando x b
de la primera integral existe si y solo si

existe el lmite de la tercera integral, y cuando esto suceda, pasando al
lmite se obtiene la relacion buscada ().
Los conceptos anteriores se extienden al caso de funciones denidas en una
union nita de intervalos disjuntos. Por ejemplo:
Denici on.
Sea J =
n
k=1
I
k
, donde (I
k
)
n
k=1
es una familia de intervalos disjuntos. Si f
es una funcion localmente integrable en J, se dice que la integral impropia
_
J
f es con convergente si converge cada una de las integrales
_
b
k
a
k
f ,
donde a
k
y b
k
son los extremos de I
k
; en ese caso, se dene
_
J
f =
n
k=1
_
b
k
a
k
f .
Observaci on
Cuando los intervalos I
k
son contiguos, es decir, cuando b
1
= a
2
, . . .,
b
k1
= a
k
, . . ., b
n1
= a
n
, suele escribirse
_
b
n
a
1
f en vez
_
J
f .
Denici on.
Sea J =
n
k=1
I
k
, donde (I
k
)
n
k=1
_
J
_
b
k
a
k
f ,
donde a
k
y b
k
k
_
J
f =
n
k=1
_
b
k
a
k
f .
Observaci on
k
1
= a
2
, . . .,
b
k1
= a
k
, . . ., b
n1
= a
n
, suele escribirse
_
b
n
a
1
f en vez
_
J
f .
Denici on.
Sea J =
n
k=1
I
k
, donde (I
k
)
n
k=1
_
J
_
b
k
a
k
f ,
donde a
k
y b
k
k
_
J
f =
n
k=1
_
b
k
a
k
f .
Observaci on
k
1
= a
2
, . . .,
b
k1
= a
k
, . . ., b
n1
= a
n
, suele escribirse
_
b
n
a
1
f en vez
_
J
f .
Valor Principal de una integral impropia
Este concepto aparecera siempre que se consideren integrales impropias en
las que aparecen dos lmites.
Denici on: Valor principal de
_
+
f .
VP
__
+
f (t) dt
_
= lm
T+
_
+T
T
f (t) dt .
_
b
a
f (< a < b < +).
Sea f : (a, b) R localmente integrable:
VP
__
b
a
f (t) dt
_
= lm
0
_
b
a+
f (t) dt .
_
+
f .
VP
__
+
f (t) dt
_
= lm
T+
_
+T
T
f (t) dt .
_
b
a
f (< a < b < +).
VP
__
b
a
f (t) dt
_
= lm
0
_
b
a+
f (t) dt .
_
+
f .
VP
__
+
f (t) dt
_
= lm
T+
_
+T
T
f (t) dt .
_
b
a
f (< a < b < +).
VP
__
b
a
f (t) dt
_
= lm
0
_
b
a+
f (t) dt .
Proposicion
Si la integral impropia
_
+
f es convergente entonces su valor principal

existe (como lmite nito) y:
_
+
f (t) dt = VP
__
+
f (t) dt
_
.
Proposicion
_
b
a
_
b
a
f (t) dt = VP
__
b
a
f (t) dt
_
.
La demostracion de ambas es consecuencia de que el lmite de una suma
es la suma de los lmites cuando el lmite de los dos sumandos existe y es
nito.
Proposicion
_
+

_
+
f (t) dt = VP
__
+
f (t) dt
_
.
Proposicion
_
b
a
_
b
a
f (t) dt = VP
__
b
a
f (t) dt
_
.
La demostracion de ambas es consecuencia de que el lmite de una suma
es la suma de los lmites cuando el lmite de los dos sumandos existe y es
nito.
Observaci on
Claramente que exista valor principal no signica que la integral sea
convergente. Por ejemplo:
VP
__
+
x dx
_
= lm
T+
_
+T
T
x dx = 0
y, sin embargo, la integral impropia:
_
+
x dx =
_
a
x dx +
_
+
a
x dx
es divergente ya que las dos integrales
_
a
x dx y
_
+
a
x dx son
divergentes.
2. Denici on de integral impropia y primeras propiedades (10)
Denici on: Convergencia absoluta.
Se dice que la integral impropia
_
b
a
f (t) dt converge absolutamente (o es
absolutamente convergente) cuando la integral impropia
_
b
a
|f (t)| dt es
convergente.
Cuando la integral impropia
_
b
a
f (t) dt converge pero no converge
absolutamente se dice que es condicionalmente convergente.
Proposicion
_
b
a
f (t) dt converge absolutamente entonces
converge. Ademas, en ese caso
_
b
a
f (t) dt
_
b
a
|f (t)| .
El resultado recproco no es cierto. La demostracion despues de establecer los criterios de convergencia
Denici on: Convergencia absoluta.
Se dice que la integral impropia
_
b
a
f (t) dt converge absolutamente (o es
absolutamente convergente) cuando la integral impropia
_
b
a
|f (t)| dt es
convergente.
Cuando la integral impropia
_
b
a
f (t) dt converge pero no converge
absolutamente se dice que es condicionalmente convergente.
Proposicion
_
b
a
f (t) dt converge absolutamente entonces
converge. Ademas, en ese caso
_
b
a
f (t) dt
_
b
a
|f (t)| .
El resultado recproco no es cierto. La demostracion despues de establecer los criterios de convergencia
Ejercicios
1
Decidir si la integral impropia
_
1
1
1
1x
2
dx es o no convergente. En
caso armativo calcular su valor. (Sol. ).
Estudiar la convergencia de las siguientes integrales impropias en
funcion del parametro real .
2
_
+
0
e
t
dt. (Sol. Es con convergente si > 0 y diverge a +si 0.)
3
_
b
a
1
(x a)
dx. (Sol. Es con convergente si < 1 y diverge a +si 1.)

4
_
b
a
1
(b x)
dx. (Sol. Es con convergente si < 1 y diverge a +si 1.)

5
_
+
1
1
t
dt. (Sol. Es con convergente si > 1 y diverge a +si 1.)

La noci on de integral impropia coincide o se reduce
a la de integral de Riemann cuando tratamos con
funciones integrables-Riemann.
Este resultado se establece en la Proposicion siguiente ...
Proposicion
Sea f : [a, b] R una funcion integrable-Riemann en [a, b]. Entonces f es
integrable en sentido impropio en [a, b) (y en (a, b]) y su integral impropia
es igual a la integral de Riemann.
Demostracion. Seg un el teorema fundamental del calculo integral, la
funcion
F(x) =
_
x
a
f (t) dt
es continua en b, por tanto
F(b) =
_
b
a
f = lm
xb
F(x) = lm
xb
_
x
a
f .
Esto demuestra que f es integrable en sentido impropio en [a, b)
(analogamente se puede razonar en (a, b]) y que su integral impropia es
igual a la integral de Riemann.
La misma idea sirve para demostrar que si una
funci on es continua en [a, b)
(con < a < b < +)
y en b tiene una discontinuidad evitable
(lm
xb
f (x) R), entonces es integrable en

sentido impropio en [a, b).
Este resultado se establece en la Proposicion siguiente ...
Proposicion
Sea < a < b < +. Si f : [a, b) R es una funcion continua y
existe el limite lm
xb
f (x) R, entonces f es integrable en sentido
impropio en [a, b) y
_
b
a
f =
_
b
a
g ,
donde g es la extension continua de f a [a, b].
Demostracion. Como g es continua, es tambien integrable-Riemann en
[a, b] con lo que, de nuevo utilizando el teorema fundamental del calculo
integral, se tiene
_
b
a
f = lm
xb
_
x
a
f = lm
xb
_
x
a
g =
_
b
a
g .
La misma demostracion se puede usar para probar
que si una funcion es localmente integrable en [a, b)
y se puede extender a una funcion
integrable-Riemann en el compacto [a, b], entonces
la integral en sentido impropio de f en [a, b) es
convergente.
PROPIEDADES
1) Linealidad.
Sean f y g funciones integrables en sentido impropio en un intervalo [a, b).
Entonces, dados , R, la integral impropia
_
b
a
(f +g) es
convergente y se cumple
_
b
a
(f +g) =
_
b
a
f +
_
b
a
g . Ejercicio:
+
1
1
x(x
2
+ 1)
dx. Sol.: (1/2) log 2.
2) Regla de Barrow para integrales impropias.
Sea g una funcion derivable en [a, b) y tal que g
es localmente integrable
en [a, b). Entonces, la integral impropia
_
b
a
g
es convergente si y solo si el
lmite lm
xb
g(x) existe y es nito. En tal caso se verica
_
b
a
g
(x)dx = lm
xb
g(x) g(a) .
1) Linealidad.
Sean f y g funciones integrables en sentido impropio en un intervalo [a, b).
Entonces, dados , R, la integral impropia
_
b
a
(f +g) es
convergente y se cumple
_
b
a
(f +g) =
_
b
a
f +
_
b
a
g . Ejercicio:
+
1
1
x(x
2
+ 1)
dx. Sol.: (1/2) log 2.
2) Regla de Barrow para integrales impropias.
Sea g una funcion derivable en [a, b) y tal que g
es localmente integrable
en [a, b). Entonces, la integral impropia
_
b
a
g
es convergente si y solo si el
lmite lm
xb
g(x) existe y es nito. En tal caso se verica
_
b
a
g
(x)dx = lm
xb
g(x) g(a) .
3) Integracion por partes en integrales impropias.
Sean u, v funciones derivables en [a, b) y tales que u
y v
son localmente
integrables en [a, b). Si existen y son reales dos de los tres lmites
siguientes:
lm
xb
_
x
a
uv
, lm
xb
u(x)v(x) , lm
xb
_
x
a
u
v
entonces el otro tambien existe, es real y se verica
_
b
a
uv
= lm
xb
u(x)v(x) u(a)v(a)
_
b
a
u
v .
Ejercicio:
+
1
arc tg x
x
2
dx. Sol.: (1/4)( + log 4).
4) Cambios de variable en integrales impropias.
Sean I y J intervalos abiertos, [a, b) J, f : I R una funcion continua,
u : J I una funcion derivable tal que existe lm
yb
u(y) = R{}
y con derivada u
continua. Entonces la integral

_
b
a
f (u(x)) u
(x) dx
converge si y solo si converge la integral
_

u(a)
f (t) dt
en cuyo caso ambas integrales son iguales:
_
b
a
f (u(x)) u
(x) dx =
_

u(a)
f (t) dt . Ejercicio:
+
1
1
x
x
2
1
dx. Sol.: /6.
5) Funcion no acotada: Caracterizacion de la convergencia.
Sea f : [a, b) R localmente integrable. La integral
_
b
a
f (t) dt es
convergente si y solo si se verica que para todo > 0, existe
:= () R tal que si y son n umeros reales que cumplen
b < < < b se tiene que
f (t) dt
< ;
es decir, la integral
_
b
a
f (t) dt es convergente si y solo si
f (t) dt
se
puede hacer tan peque no como se quiera tomando y sucientemente
proximos a b.
Ejercicio: Demostrar el resultado usando adecuadamente la denici on de lmite para la funcion F(T) :=
T
a
f (t)dt:
lm
Tb
F(T) = L > 0, () > 0, b T < () |F(T) L| <

6) Intervalo no acotado: Caracterizacion de la convergencia.
Sea f : [a, +) R localmente integrable. La integral
_
+
a
f (t) dt es
convergente si y solo si se verica que para todo > 0, existe
A := A() R tal que si M y N son n umeros reales que cumplen
A < M < N se tiene que
_
N
M
f (t) dt
< ;
es decir, la integral
_
+
a
f (t) dt es convergente si y solo si
_
N
M
f (t) dt
se
puede hacer tan peque no como se quiera tomando M y N sucientemente
grandes. Ejercicio: Demostrar el resultado usando adecuadamente la denici on de lmite.
Ejercicio: Demostrar que Convergencia absoluta Covergencia utilizando esta caracterizaci on de la convergencia.
7) Intervalo no acotado: Condicion necesaria de convergencia.
Sea f : [a, +) R localmente integrable. Si
la integral
_
+
a
f (t) dt es convergente
y
el lmite lm
x+
f (x) existe (nito o innito)
entonces necesariamente
lm
x+
f (x) = 0 .
7) Intervalo no acotado: Condicion necesaria de convergencia.
El hecho de que
_
a
f (x)dx sea convergente no implica que exista
lm
x
f (x). Puede suceder incluso que la funcion no este acotada en [a, ).
En efecto, si se considera la funcion f : [1, ) R denida por
f (x) =
_
1
x
2
si x / N
x si x N
_
se tiene que f no esta acotada y el lmite lm
x
f (x) no existe (ni nito ni
innito). Por otro lado para todo T > 1:
_
T
1
f (x)dx =
_
T
1
dx
x
2
, pues f (x) y
1
x
2
coinciden salvo en un n umero nito de puntos. Por ello
lm
T
_
T
1
f (x)dx =
_
1
dx
x
2
con lo que la integral es convergente.
Indice
1
integrables.
2
3
Indice
1
integrables.
2
3
3. Criterios de convergencia. (1)
En esta seccion se introducen algunos criterios (Criterios de
Convergencia) que van a permitir garantizar que una integral
impropia es convergente o divergente sin necesidad de utilizar la
denicion; es decir, sin necesidad de recurrir al calculo explcito de
primitivas y, posteriormente, al calculo de los correspondientes lmites.
Estos criterios se reeren al caso en que la funci on que se integra
conserve el signo en un entorno del punto impropio ( si el
intervalo no esta acotado o el extremo del intervalo en el que la
funcion no esta acotada).
Obviamente, si la funcion a integrar conserva el signo para valores
sucientemente proximos al punto impropio, entonces la
convergencia de la integral impropia es equivalente a su convergencia
absoluta.
En esta seccion los denominados Criterio de mayoraci on y Criterio del
Cociente se van a establecer para el caso
< a < b +
y funciones localmente integrables en [a, b) tales que son no negativas
para valores sucientemente proximos a b.
Los resultados para el caso
a < b < +
y funciones localmente integrables en (a, b] tales que son no negativas
para valores sucientemente proximos a a son en todo analogos.
Acotaci on de F(T) :=
_
T
a
f (t)dt.
Sean < a < b + y sea f localmente integrable en [a, b). Si f es
no negativa para valores sucientemente proximos a b, entonces la funcion
F(T) =
_
T
a
f (t)dt es una funcion creciente de T para valores de T
sucientemente proximos a b. Por tanto, hay dos posibilidades cuando
T b
:
F(T) esta acotada superiormente, entonces el lmite lm
Tb
F(T)
existe y es nito, con lo que la integral
_
b
a
f (t)dt es convergente.
F(T) no esta acotada superiormente, entonces el lmite
lm
Tb
F(T) vale +, con lo que la integral
_
b
a
f (t)dt es
divergente.
Queda entonces claro que, en estas condiciones, una forma de demostrar
que la integral
_
b
a
f (t)dt es convergente consiste en demostrar que F(T)
esta acotada superiormente como funcion de T.
Sean
< a < b +
y sean f y g localmente integrables en [a, b) y c tal
que a < c < b.
Supongase que f y g son no negativas para
valores sucientemente proximos a b (es decir en [c, b)
con c sucientemente proximo a b).
Entonces: ...
Criterio de Mayoraci on.
Si 0 f g en [c, b) se tiene:
_
b
a
g(t)dt convergente
_
b
a
f (t)dt convergente ,
_
b
a
f (t)dt divergente
_
b
a
g(t)dt divergente
Demostracion. En las hipotesis consideradas , la integral
_
b
a
f (t)dt
converge si y solo si existe (y es nito) el lmite lm
Tb
_
T
c
f (t)dt. Para
demostrarlo bastara probar que la funcion F(T) :=
_
T
c
f (t)dt (que es
creciente) esta acotada superiormente lo que se concluye de la siguiente
cadena de desigualdades:
x [c, b) : f g F(T) :=
_
T
c
f (t)dt
_
T
c
g(t)dt .
Criterio de Mayoraci on (intervalo no acotado): g(t) = 1/t
.
Sean > 0 y R.
1
Si, desde un valor de t en adelante y para > 1, se cumple:
t
|f (t)| , entonces
_
+
a
f (t)dt es absolutamente convergente.
2
Si, desde un valor de t en adelante y para 1, se cumple:
0 < t
f (t) o bien t
f (t) < 0 ,
entonces
_
+
a
f (t)dt es divergente.
Criterio de Mayoraci on (funcion no acotada): g(t) = 1/(b t)
.
Sean > 0 y R.
1
Si, para valores de t sucientemente proximos a b y para < 1, se
cumple: (b t)
|f (t)| , entonces
_
b
a
f (t)dt es absolutamente
convergente.
2
Si, para valores de t sucientemente proximos a b y para 1, se
cumple:
0 < (b t)
f (t) o bien (b t)
f (t) < 0 ,
entonces
_
b
a
Criterio del cociente.
Si 0 f , g en [c, b) y existe (nito o innito) el lmite
L := lim
xb
f (x)
g(x)
se tiene:
a) Si 0 < L < + entonces las integrales
_
b
a
f (t)dt y
_
b
a
g(t)dt
tienen el mismo caracter; es decir, o ambas convergen o ambas
divergen.
b) Si L = 0 y
_
b
a
g(t)dt converge, entonces
_
b
a
f (t)dt converge.
c) Si L = + y
_
b
a
g(t)dt diverge, entonces
_
b
a
f (t)dt diverge.
Criterio del cociente.
Demostracion. Es una consecuencia del Criterio de Mayoracion y de la
denicion de lmite. Por ejemplo, en el caso a):
L := lim
xb
f (x)
g(x)
signica, por denicion que:
Dado > 0, c() > 0 tal que, si x [c(), b) se tiene:
L
f (x)
g(x)
L + .
Aplicando el Criterio de Mayoracion a estas desigualdades se obtiene el
resultado.
Criterio del Cociente (intervalo no acotado): g(t) = 1/t
.
Si 0 f en [c, +) y existe (nito o innito) el lmite
L := lim
x+
t
f (x):
a1) Si, para alg un > 1, 0 < L < +, entonces
_
+
a
f (t)dt es
convergente.
a2) Si, para alg un 1, 0 < L < +, entonces
_
+
a
f (t)dt es
divergente.
b) Si, para alg un > 1, L = 0, entonces
_
+
a
c) Si, para alg un 1, L = +, entonces
_
+
a
f (t)dt es
divergente.
Criterio del Cociente (funcion no acotada): g(t) = 1/(b t)
.
Si 0 f en [c, b) y existe (nito o innito) el lmite
L := lim
xb
(b t)
f (x):
a1) Si, para alg un < 1, 0 < L < +, entonces
_
b
a
f (t)dt es
convergente.
a2) Si, para alg un 1, 0 < L < +, entonces
_
b
a
f (t)dt es
divergente.
b) Si, para alg un < 1, L = 0, entonces
_
b
a
c) Si, para alg un 1, L = +, entonces
_
b
a
Criterios de convergencia generales.
Criterio de Dirichlet para integrales impropias.
Considerese la integral impropia
_
b
a
f (x)g(x)dx donde f y g son
localmente integrables en [a, b). Supongase que:
1
la funcion F(x) =
_
x
a
f (t)dt esta acotada en [a, b).
2
la funcion g es de clase 1 en [a, b), es decreciente en dicho intervalo y
lm
xb
g(x) = 0.
Entonces la integral
_
b
a
f (x)g(x)dx es convergente.
Demostracion. Integrar por partes adecuadamente.
Criterio de Abel para integrales impropias.
Considerese la integral impropia
_
b
a
f (x)g(x)dx donde f y g son
localmente integrables en [a, b). Supongase que:
1
_
b
a
2
la funcion g es de clase 1 en [a, b), es creciente y esta acotada.
Entonces la integral
_
b
a
f (x)g(x)dx es convergente.
Demostracion. Sugerencia. Razonar que l := lm
x
g(x) existe y es
nito. Denir h(x) = l g(x), usar que fg = fh + lf y utilizar el criterio
de Dirichlet.
Indice
1
integrables.
2
3
4
Indice
1
integrables.
2
3
4
4. Funciones denidas mediante integrales propias. (1)
Condiciones I. Sea una funcion f : [a, b] [c, d] R tal que para todo
[c, d], f (x, ) es integrable como funcion de x [a, b]. Esto permite
denir la funcion F : [c, d] R:
F() :=
_
b
a
f (x, )dx, [c, d] .
a) Bajo que condiciones es F() continua en [c, d]? Y, en ese caso,
se cumplira que para todo
0
[c, d]
lm
0
_
b
a
f (x, )dx =
_
b
a
f (x,
0
)dx?
b) Bajo que condiciones es F() derivable en [c, d]? Y, en ese caso,
es
d
d
_
b
a
f (x, )dx =
_
b
a
f
(x, )dx para cada de (c, d)?

c) Bajo que condiciones es F() integrable en [c, d]? Y, en ese caso,
es cierto que
_
d
c
_
_
b
a
f (x, )dx
_
d
?
=
_
b
a
_
_
d
c
f (x, )d
_
dx ?,
es decir, puedo intercambiar el orden de integracion?
Condiciones I: Resultados (1/2).
Continuidad.
Sup onganse las condiciones I. Si f es continua en [a, b] [c, d] entonces
F() :=
_
b
a
f (x, )dx es continua en [c, d] y por ello si
0
[c, d] se tiene
que lm
0
_
b
a
f (x, )dx =
_
b
a
f (x,
0
)dx (si
0
es un extremo del intervalo
el lmite hay que entenderlos como lmite lateral).
Integracion (Caso particular del Teorema de Fubini).
Sup onganse las condiciones I. Si f es continua en R := [a, b] [c, d]
entonces F() :=
_
b
a
f (x, )dx es integrable en [c, d] y ademas:
_
d
c
__
b
a
f (x, )dx
_
d =
_
b
a
__
d
c
f (x, )d
_
dx =
_ _
R
f (x, )dxd
Condiciones I: Resultados (2/2).
Derivacion.
Sup onganse las condiciones I. Supongase ademas que:
1
f es continua en [a, b] [c, d]
2
f
(x, ) existe y es continua en [a, b] [c, d].

Entonces F() :=
_
b
a
f (x, )dx es derivable con continuidad en [c, d] y
ademas
[c, d], F
() :=
d
d
_
b
a
f (x, )dx =
_
b
a
f
(x, )dx
(si es un extremo del intervalo la derivada hay que entenderla como
derivada lateral).
Condiciones II. Sea M el conjunto compacto denido por
M = {(x, ) : [c, d], () x ()} ,
donde y son funciones continuas de en [c, d]. Supongamos que para
cada [c, d] existe la integral
_
()
()
f (x, )dx con lo que se puede
denir la funcion
F() :=
_
()
()
f (x, )dx, [c, d]
a) Bajo que condiciones es F() continua en [c, d]?
b) Bajo que condiciones es F() derivable en [c, d]? Como se
puede calcular la derivada?
c) Bajo que condiciones es F() integrable en [c, d]?
Condiciones II: Resultados (1/2).
Continuidad.
Sup onganse las condiciones II. Si f es continua en M entonces
F() :=
_
()
()
f (x, )dx es continua en [c, d] y por ello si
0
[c, d] se
tiene que lm
0
_
()
()
f (x, )dx =
_
(
0
)
(
0
)
f (x,
0
)dx (si
0
es un extremo
del intervalo los lmites hay que entenderlos como lmites laterales).
Integracion (Otro caso particular del Teorema de Fubini).
Sup onganse las condiciones II. Si f es continua en M entonces
F() :=
_
()
()
f (x, )dx es integrable en [c, d] y ademas se tiene que
_
d
c
_
_
()
()
f (x, )dx
_
d =
_ _
M
f (x, )dxd
Condiciones II: Resultados (2/2).
Derivacion.
Sup onganse las condiciones II. Supongase ademas que:
1
f es continua en M y y son de clase 1 en [c, d].
2
f
(x, ) existe y es continua en M

Entonces F() :=
_
()
()
f (x, )dx es derivable con continuidad en [c, d] y
ademas, [c, d]:
F
() :=
d
d
_
()
()
f (x, )dx
=
_
()
()
f
(x, )dx + f ((), )
() f ((), )
()
(si
0
es un extremo del intervalo la derivada hay que entenderla como derivada lateral).
Indice
1
integrables.
2
3
4
5
Indice
1
integrables.
2
3
4
5
5. Funciones denidas mediante integrales impropias. (1)
Condiciones III. Sean < a < b +, I R un intervalo y
f : [a, b) I R, una funcion tal que, para todo I , es localmente
integrable en [a, b). Supongase que la integral impropia
_
b
a
f (x, )dx es
convergente para cada I . Esto permite denir la funcion F : I R:
F() :=
_
b
a
f (x, )dx, I .
a) Bajo que condiciones es F() continua en [c, d]?
b) Bajo que condiciones es F() derivable en [c, d]? Y, en ese caso,
Bajo que condiciones puedo derivar bajo el signo integral?
c) Si I = [c, d] Bajo que condiciones es F() integrable en [c, d]? Y,
en ese caso, es cierto que
_
d
c
_
_
b
a
f (x, )dx
_
d
?
=
_
b
a
_
_
d
c
f (x, )d
_
dx ?,
es decir, puedo intercambiar el orden de integracion?
Para responder a estas cuestiones
en las Condiciones III
es necesario introducir
el concepto de CONVERGENCIA UNIFORME.
Convergencia puntual y convergencia uniforme.
En las condiciones III anteriores, sea : I R una funcion.
Denicion: Convergencia Puntual. Se dice que la integral
_
a
f (x, )dx converge puntualmente a en I cuando I ,
_
T
a
f (x, )dx ()

Tb
0;
es decir, cuando I , la integral impropia
_
a
f (x, )dx es
convergente y ademas su valor es ().
Denicion: Convergencia Uniforme. Se dice que la integral
_
a
f (x, )dx converge uniformemente a en I cuando
sup
I
_
T
a
f (x, )dx ()

Tb
0.
Proposicion
En las condiciones III anteriores:
si
_
a
f (x, )dx converge uniformemente a en I
entonces
_
a
f (x, )dx converge puntualmente a en I .
El recproco de este resultado no es cierto.
Denicion.
En el caso en que en una integral impropia parametrica haya un n umero
nito de causas por las que la integral deja de ser propia, se expresa la
integral impropia como suma de integrales impropias de forma que cada
una de ellas solo sea impropia por una causa, y se dice que la integral
converge uniformemente para I cuando todas esas integrales impropias
convergen uniformemente para I .
Caracterizaci on de la convergencia uniforme: Funci on no acotada
En las condiciones III anteriores, la integral
_
b
a
f (x, )dx converge
uniformemente para I si y solo si se verica que para todo > 0,
existe = () > 0 tal que si y son n umeros reales que cumplen
b < < < b se tiene que
sup
I
f (x, )dx
<
Caracterizaci on de la convergencia uniforme: Intervalo no acotado.
En las condiciones III anteriores, la integral
_
a
f (x, )dx converge
uniformemente para I si y solo si se verica que para todo > 0,
existe A = A() R tal que si N y M son n umeros reales que cumplen
A < M < N se tiene que
sup
I
_
N
M
f (x, )dx
< ,
Criterio de Weierstrass para la convergencia uniforme de
integrales impropias parametricas.
En las condiciones III anteriores, supongase que:
1
Existe una funcion (x) tal que I y x [a, b),
|f (x, )| (x).
2
La integral impropia
_
b
a
(x)dx es convergente.
Entonces la integral impropia
_
b
a
f (x, )dx converge uniformemente en I .
Condiciones III: Resultados (1/3).
Continuidad.
Sup onganse las condiciones III. Supongase ademas que:
1
f es continua en [a, ) I ,
2
la integral impropia
_
a
f (x, )dx converge uniformemente en I .
Entonces la funcion F() :=
_
a
f (x, )dx es continua en I y por ello si
0
I se tiene que
lm
0
_

a
f (x, )dx =
_

a
lm
0
f (x, )dx =
_

a
f (x,
0
)dx.
Integracion.
Sup onganse las condiciones III. Supongase ademas que I = [c, d] y que:
1
f es continua en [a, ) [c, d].
2
La integral impropia
_
a
f (x, )dx converge uniformemente en [c, d].
Entonces F() :=
_
a
f (x, )dx es integrable en [c, d] y ademas se
tiene que
_
d
c
__

a
f (x, )dx
_
d =
_

a
__
d
c
f (x, )d
_
dx
Derivacion.
Sup onganse las condiciones III. Supongase ademas que:
1
f es continua en [a, ) I .
2
f
(x, ) existe y es continua en [a, ) I .

3
la integral impropia
_
a
f
(x, )dx converge uniformemente en I .

Entonces F() :=
_
a
f (x, )dx es derivable con continuidad en I y
ademas
I , F
() :=
d
d
_

a
f (x, )dx =
_

a
f
(x, )dx
Indice
1
integrables.
2
3
4
5
6
Las funciones Gamma y Beta de Euler. (Faltan transparencias).
Indice
1
integrables.
2
3
4
5
6
6. Las funciones Gamma y Beta de Euler. (1)
FALTAN LAS TRANSPARENCIAS DE ESTA SECCI
ON.
Indice
1
integrables.
2
3
4
5
6
7
Indice
1
integrables.
2
3
4
5
6
7
7. Integrales de funciones complejas de variable real. (1)
Denicion.
Sea f : [a, b] C, de forma que f (x) = u(x) + iv(x) con
u, v : [a, b] R, es decir, u y v son, respectivamente, las partes real e
imaginaria de la funcion f .
i) Se dice que f es integrable en [a, b] si u y v son integrables en [a, b]
y en tal caso
_
b
a
f (x)dx :=
_
b
a
u(x)dx + i
_
b
a
v(x)dx
ii) Se dice que f es derivable en x = c si u y v son derivables en c y
ademas f
(c) := u
(c) + iv
(c).
Todos los resultados que se han visto, incluyendo los relativos a la
convergencia y convergencia uniforme de integrales impropias y los
relativos a las propiedades de funciones denidas mediante integrales
(propias o impropias), siguen siendo validos al trabajar con funciones
complejas de variable real simplemente interpretando || como el modulo.
La Exponencial compleja.
Para muchos calculos es util denir la funcion exponencial compleja. Para
cada z C, con z = a + ib, a, b R se dene
e
z
:= e
a
(cos b + i senb)
Ademas, es inmediato demostrar que la funcion compleja de variable real
e
px
= e
ax
(cos bx + i senbx), con p = a + ib C cumple que es derivable y
su derivada es
d
dx
(e
px
) = pe
px
Ejemplo.
Estudiar la convergencia y cuando sea posible calcular las integrales
I
a,b
=
_

0
e
ax
cos(bx)dx , J
a,b
=
_

0
e
ax
sen(bx)dx (a, b R) .
Es inmediato ver que estas integrales convergen si y solo si a > 0,
salvo en el caso de J
a,b
que converge tambien para todo valor de a si
b = 0, y en ese caso J
a,b
= 0.
Para calcularlas en el caso a > 0, se puede integrar por partes dos
veces en cada una de las expresiones de I
a,b
y J
a,b
y encontrar una
ecuacion que estas integrales deben cumplir.
Ejemplo (cont).
Mas facilmente, se puede denir
H
a,b
:= I
a,b
+ J
a,b
=
_

0
e
ax
cos(bx)dx + i
_

0
e
ax
sen(bx)dx
H
a,b
:=
_

0
e
ax
e
ibx
dx =
_

0
e
(aib)x
dx =
e
(aib)x
a ib
|
0
=
1
a ib
_
1 lm
T
e
(aib)x
_
=
1
a ib
=
a + ib
a
2
+ b
2
donde se ha utilizado que
d
dx
(e
x
) = e
x
para todo C y que, al ser
a > 0, lm
T
e
(aib)x
= lm
T
e
ax
(cos bx + i senbx) = 0.
Por lo tanto I
a,b
= Re (H
a,b
) =
a
a
2
+b
2
y J
a,b
= Im(H
a,b
) =
b
a
2
+b
2
Ejercicios.
Estudiar la convergencia y calcular cuando sea posible cada una de las
siguientes integrales impropias
1)
_
+
0
e
ax
cos bx dx ; 2)
_
+
0
e
ax
sen bx dx
3)
_
+
0
xe
ax
cos bx dx ; 4)
_
+
0
xe
ax
sen bx dx
5)
_
+
0
x
2
e
ax
cos bx dx ; 6)
_
+
0
x
2
e
ax
sen bx dx
La transformada de Fourier de una funcion f : R C es la funcion
compleja de variable real

f denida mediante
f () :=
1
2
_

e
i t
f (t)dt
para todos los valores reales de para los que la integral impropia es
convergente (lo que ocurre si f es absolutamente integrable en R).
1
Calc ulese la transformada de Fourier de la funcion f (t) = e
a|t|
para
a > 0.
2
Calc ulese la transformada de Fourier de la funcion f (t) = e
at
2
para
a > 0. Indicacion: demostrar que

f () es una funcion derivable y
relacionar

f
() con

f ().
Indice
1
integrables.
2
3
4
5
6
7
8
Indice
1
integrables.
2
3
4
5
6
7
8
8. Integrales m ultiples impropias. (1)
La nocion de integral impropia se puede extender al caso de integrales
m ultiples en R
n
(n 2) ya sea porque el recinto de integracion no
este acotado, ya sea porque la funci on a integrar no este acotada en
los compactos denidos en dicho recinto. Daremos una denici on de
convergencia que es valida para ambos casos. Para ello es necesario
introducir la nocion de
Sucesion basica para la integracion de f en A R
n
.
Denicion: Sucesi on basica para la integracion de f en A R
n
.
Sea n 2. Sea A R
n
(acotado o no) y sea f : A R (acotada o no).
Se dice que una sucesion de conjuntos {M
n
} es una sucesion basica para
la integracion de f en A cuando se cumple:
1
Para todo n, M
n
es medible Jordan.
2
La sucesion {M
n
} es creciente en contenido; es decir, M
n
M
n+1
.
3
Si B es cualquier conjunto compacto medible Jordan contenido en A,
entonces existe un n tal que B M
n
.
4
Para todo n, f es integrable Riemann (en sentido propio) en M
n
.
Denicion: Integracion impropia en R
n
.
Se dice que la integral
_
A
f es convergente cuando se cumple que el lmite
lm
n
_
M
n
f
existe, es nito y es independiente de la sucesion basica, {M
n
}, para la
integracion de f en A elegida. En tal caso se dene el valor de la integral
como
_
A
f := lm
n
_
M
n
f .
La denicion anterior de convergencia de una integral impropia en R
n
(n 2) no es equivalente a la dada para integrales impropias en R. En
efecto, para n = 1 si una integral impropia es convergente con la denicion
dada en el caso m ultiple (n 2) entonces tambien lo sera con la denicion
estudiada en las secciones previas y ademas el valor de la integral sera el
mismo en los dos casos.
Sin embargo puede suceder que una integral impropia en R sea
convergente con la denicion estudiada en las secciones previas y no lo sea
con la denicion que se acaba de dar para el caso m ultiple.
La razon es que en el caso de funciones reales de variable real, la
coleccion basica de conjuntos que se toma para dar la denicion es de un
tipo muy especial, pues solo se consideran intervalos, mientras que para
n 2 se consideran todas las sucesiones basicas y el lmite tiene que ser
independiente de la sucesion.
Mantendremos pues la denicion que habamos estudiado para el caso
n = 1 y para n 2 adoptaremos la denicion que se acaba de dar.
Como consecuencia de la denicion dada, que pide condiciones mas fuertes
para que una integral sea convergente que en el caso unidimensional, se
puede demostrar que en el caso n 2 la convergencia es equivalente a la
convergencia absoluta:
Proposici on.
Sea n 2 y consideremos una integral impropia del tipo anterior.
Entonces
_
A
f converge si y solo si
_
A
f converge absolutamente.
Ejercicio.
Considerese la funcion f (x, y) = sen
_
x
2
+ y
2
_
y sean
Q
n
:= [n, n] [n, n] y C
n
:=
_
(x, y) : x
2
+ y
2
n
2
_
.
Demostrar que existe el lmite
lm
n
_ _
Q
n
f (x, y)dxdy
y que, sin embargo, no existe
lm
n
_ _
C
n
f (x, y)dxdy .
Es la integral
_ _
R
2
f (x, y)dxdy convergente?
Ejercicios.
Estudiar si la integral doble
_ _
[0,1][0,1]
y x
xy
dxdy
es convergente.
Sugerencia: Para 0 < , < 1, considerar la integral
_ _
[,1][,1]
y x
xy
dxdy .
Estudiar la convergencia de la integral de la funcion
f (x, y) = y/(x
2
+ y
2
)
3/2
extendida al crculo unidad.
Ejercicios. (cont.)
Sea f (x, y) = 1/r (x, y)
, r (x, y) =
_
x
2
+ y
2
.
a) Estudiar la convergencia de su integral sobre cualquier dominio
acotado que contenga el origen.
b) Sea D dominio acotado que contiene el origen. Estudiar la
convergencia de su integral sobre en el exterior de D.
Caso en que el integrando es no negativo.
Supongase que f 0 en A. Entonces, como M
n
M
n+1
se cumplira que
_
M
n
f
_
M
n+1
f . Por ello el lmite lm
n
_
M
n
f siempre existira y valdra o
bien un n umero (nito) o bien +. Pues bien, se puede demostrar que
ademas el valor del lmite es independiente de la sucesion basica M
n
que se
tome. En concreto se verica el siguiente resultado, de gran utilidad
practica:
Proposici on.
En las condiciones de la denicion anterior, si f 0 en A entonces el
lmite lm
n
_
M
n
f siempre existe, valiendo un n umero nito o bien +,
y es independiente de la sucesion basica M
n
y por ello para estudiar si una
integral es convergente basta con tomar una sucesion basica M
n
cualquiera
y estudiar si el lmite anterior es nito.
Proposici on: Criterio de comparacion de Weierstrass
Sean A R
n
y f , g : A R tales que existe alguna sucesion basica {M
n
}
para la integracion de f y de g en A.
Si, para todo x A, se cumple 0 f g y la integral impropia
_
A
g es
convergente, entonces tambien es convergente la integral
_
A
f .
Proposici on: Cambio de variable en integrales m ultiples impropias
(a) Sea B R
n
abierto
(b) Sea : B R
n
tal que:
1. C
1
(B) y es inyectiva en B.
2. J(x) = 0 en B salvo quizas en un conjunto con contenido nulo.
Sea A := (B).
(c) Sea f : A R continua y no negativa
(d) Existe alguna sucesion basica para la integracion de f ((y)) |J(y)| en
B.
Entonces,
_
A
f (x)dx =
_
B
f ((y)) |J(y)| dy
donde las dos integrales que aparecen podran ser impropias y entonces o
ambas convergen o ambas divergen.
El resultado anterior no tiene por que ser verdad si f no conserva el
signo. Sin embargo, s es verdad si f , a pesar de no conservar el
signo, cumple que la integral
_
A
f (x)dx es convergente. Es decir, si ya
sabemos que la integral de partida es convergente se puede aplicar el
teorema aunque f no conserve el signo.
Ni B ni A tienen por que ser acotados, por lo que las integrales en el
resultado anterior pueden ser impropias por esta razon.
Aunque A sea acotado, f no tiene por que estar acotada en dicho
conjunto, pues A por ejemplo puede ser abierto y las funciones
continuas en abiertos no tienen por que estar acotadas. Algo analogo
sucede para f ((y)) |J(y)| en B. Por ello, las integrales anteriores
tambien pueden ser impropias por esta razon.
En muchas ocasiones, para calcular una integral m ultiple impropia en
vez de aplicar directamente la denicion es conveniente realizar
primero un cambio de variable para tener una funcion subintegral y un
recinto de integracion mas comodos.
Ejercicio.
Demostrar que
_
+
0
e
t
2
dt =
2
,
utilizando una integral doble impropia adecuada.
Temas 2, 3 y 4
La integral m ultiple de Riemann.
Calculo de integrales m ultiples.
Aplicaciones geometricas y fsicas de la integral m ultiple.
Alejandro Zarzo
Ampliacion de Calculo (2010 - 2011) Temas 2, 3 y 4: Integrales m ultiples ... Alejandro Zarzo 1 / 175
Indice
1
Introduccion.
1 Repaso de algunas nociones topologicas en R
n
.
2
Integral m ultiple sobre rectangulos.
1 Construccion de la integral de una funcion acotada sobre un rectangulo.
2 Conjuntos medibles Jordan y contenido de Jordan.
3 Conjuntos con medida (Lebesgue) nula. Condicion necesaria y
suciente de integrabilidad en un rectangulo.
4 Integracion reiterada. Teorema de Fubini para integrales en rectangulos.
3
Integral m ultiple sobre conjuntos medibles Jordan.
1 Supercies generalizadas en R
n
y conjuntos con contenido nulo.
2 Algunos conjuntos medibles Jordan: conjuntos simples.
3 Construccion de la integral sobre un conjunto medible Jordan.
4 Propiedades de la integral sobre conjuntos medibles Jordan.
5 Reduccion del orden de la integral m ultiple sobre algunos recintos.
Indice
1
Introduccion.
n
.
2
3
n
Indice
1
Introduccion.
n
.
2
3
n
Indice (continuacion).
4
Simetras en integrales simples, dobles y triples.
5
Cambio de variables en integrales m ultiples.
1 Cambio de variables en integrales simples.
2 Matriz jacobiana de una aplicacion de R
n
a R
m
.
3 Inyectividad (global) de una aplicacion de R
n
a R
m
.
4 Teorema de cambio de variable en integrales m ultiples.
5 Interpretacion del Jacobiano.
6 Ejemplos de cambios de variable.
6
1 Valor promedio de un campo escalar.
2

Areas, vol umenes y masas.
3 Centroides y centros de gravedad.
4 Momentos de inercia.
5 Vol umenes de revolucion.
Integrales m ultiples impropias. Se vera en el tema de integracion
impropia.
4
5
n
a R
m
.
n
a R
m
.
6
2

impropia.
4
5
n
a R
m
.
n
a R
m
.
6
2

impropia.
4
5
n
a R
m
.
n
a R
m
.
6
2

impropia.
1. Introduccion. (1)
Conocida la nocion de integral de Riemann de una funcion acotada
f : [a, b] R R, se plantea en este Tema generalizar la integral
anterior al caso de funciones que van de R
n
a R (posteriormente las
denominaremos campos escalares).
Pretendemos dar sentido a la expresion
_
A
f , donde A R
n
es un
cierto subconjunto acotado de R
n
y f : A R
n
R esta acotada.
De esta forma podremos medir una amplia clase de conjuntos de
R
n
y calcular, por ejemplo, la masa de un solido, A, mediante la
expresion
_
A
, donde representa la funcion densidad.
La generalizacion se hace en dos etapas:
Primero se construye y estudia la integral de una funcion
acotada sobre un rectangulo de R
n
. Los rectangulos son la
generalizacion natural de un intervalo [a, b] de la recta a
conjuntos de R
n
y se denen como productos cartesianos de la
forma:
Q R
n
: Q := [a
1
, b
1
] [a
2
, b
2
] [a
n
, b
n
]
donde a
i
b
i
(i = 1, . . . , n). As pues, comenzaremos por
estudiar la nocion de
_
Q
f .
En una segunda etapa estudiaremos la nocion de integral de
una funcion acotada sobre conjuntos mas generales. Estos
conjuntos seran los denominados conjuntos medibles Jordan.
Repaso de algunas nociones topologicas en R
n
.
Denicion: Bola abierta o entorno. Sean x R
n
y r > 0. Se dene
la bola de centro x y radio r como el conjunto
B(x, r ) := {y R
n
: y x < r }.
Denicion: Bola cerrada. Sean x R
n
y r > 0. Se dene la bola
cerrada de centro x y radio r como el conjunto
B(x, r ) := {y R
n
: y x r }.
Denicion: Punto interior de un conjunto. Sea A R
n
y sea
a R
n
. Se dice que a es un punto interior del conjunto A cuando
existe un entorno del mismo que esta contenido ntegramente en el
conjunto; es decir, cuando existe un r > 0 tal que B(x, a) A.
Obviamente, si a es un punto interior de A, entonces a A.
Denicion: Interior de un conjunto. Sea A R
n
. El conjunto
interior de A, que denotamos por

A es el conjunto formado por los
puntos interiores de A. Obviamente

A A.
n
.
Denicion: Punto frontera de un conjunto. Sea A R
n
y sea
x R
n
. Se dice que x es un punto frontera de A cuando todo entorno
de x contiene puntos que estan en A y tambien puntos que estan en
el complementario, A
c
, de A; es decir, cuando para todo r > 0 se
verica B(x, r )
A = y B(x, r )
A
c
= . Observese que si x es
un punto frontera de A, x puede pertenecer a A o no hacerlo.
Denicion: Frontera de un conjunto. Sea A R
n
. La frontera de
A, que denotamos A, es el conjunto formado por los puntos frontera
de A.
Denicion: Adherencia de un conjunto. Sea A R
n
. La
adherencia de A, que denotamos A, es el conjunto A
A.
Obviamente A A.
n
.
Denicion: Conjunto abierto. A R
n
es abierto si todos sus
puntos son interiores; es decir, si todos sus puntos tienen un entorno
contenido ntegramente en A. Se comprueba inmediatamente que el
interior de un conjunto es siempre un conjunto abierto.
Proposicion. Un conjunto es abierto si y solo si coincide con su
interior.
Denicion: Conjunto cerrado. A R
n
es cerrado si su
complementario A
c
es abierto. Observese que hay conjuntos que no
son ni abiertos ni cerrados.
Proposicion: Caracterizacion de conjuntos cerrados. Sea A R
n
.
Los siguiente enunciados son equivalentes:
A es cerrado.
A contiene a su frontera.
A coincide con su adherencia.
n
.
Proposicion. La frontera de un conjunto es siempre un conjunto
cerrado.
Denicion: Conjunto acotado. Sea A R
n
. Se dice que A es
acotado cuando existe un R > 0 tal que A esta contenido en la bola
de centro el origen O R
n
y radio R .
Denicion: Conjunto compacto. Se dice que A R
n
es compacto
cuando es cerrado y acotado.
Denicion: Rectangulo de R
n
. Un conjunto Q R
n
es un
rectangulo si es un producto cartesiano de n compactos de la recta
real; es decir si:
Q := [a
1
, b
1
] [a
2
, b
2
] [a
n
, b
n
]
donde a
i
b
i
(i = 1, . . . , n).
As denidos, los rectangulos de R
n
son siempre conjuntos compactos.
2. Integral m ultiple sobre rectangulos. (1)
En esta seccion abordamos el estudio de la integral de una funcion
acotada sobre un rectangulo (compacto) en R
n
. Al hacerlo, se trata
de dar respuesta a las siguientes preguntas:
1. Como se construye la integral de una
funcion acotada sobre un rectangulo?
2. C omo se puede saber en la practicasi una
funcion es integrable sobre un rectangulo?
3. Como se calcula la integral en la practica ?
2. Integral m ultiple sobre rectangulos. (2)
Indice de la seccion 2.
_
1
Construccion de la integral de una funcion acotada sobre
un rectangulo.
2
Conjuntos medibles Jordan y contenido de Jordan.
3
Conjuntos con medida (Lebesgue) nula. Condicion necesaria y
4
Integracion reiterada. Teorema de Fubini para integrales en
rectangulos.
2.1. Construccion de la integral de una funcion acotada sobre un rectangulo. (3)
La construccion de la integral de una funcion acotada sobre un
rectangulo en R
n
es analoga a la que se hace para construir la inte-
gral de Riemann de una funcion acotada real de variable real sobre un
intervalo. La idea es denir las sumas superior e inferior de f asocia-
das a una determinada particion de Q y luego renardichas sumas
para llegar a los conceptos de integral superior e inferior de f en Q.
Diremos entonces que f es integrable sobre Q cuando las integrales
superior e inferior de f en Q coinciden. En tal caso se dene:
_
Q
f :=
_
Q
f =
_
Q
f .
En el caso de una funcion f : Q R
n
R, su integral sobre Q se
puede interpretar como el volumen generalizadobajo la graca de
f en Q.
Denicion: Volumen de un rectangulo
Sea Q es un rectangulo en R
n
:
Q := [a
1
, b
1
] [a
2
, b
2
] [a
n
, b
n
]
donde a
i
b
i
(i = 1, . . . , n). Se dene su volumen como el producto de las
longitudes de cada uno de los intervalos; es decir, mediante la expresion:
V(Q) = (b
1
a
1
) (b
2
a
2
) (b
n
a
n
) .
Comentarios
V(Q) 0 y V(Q) = 0 si y solo si Q es degenerado; es decir, si
a
i
= b
i
para alg un i .
La nocion de volumen generalizado corresponde a la idea
geometrica de longitud si n = 1, de area si n = 2 y de volumen si
n = 3.
Denicion: Volumen de un rectangulo
Sea Q es un rectangulo en R
n
:
Q := [a
1
, b
1
] [a
2
, b
2
] [a
n
, b
n
]
donde a
i
b
i
(i = 1, . . . , n). Se dene su volumen como el producto de las
longitudes de cada uno de los intervalos; es decir, mediante la expresion:
V(Q) = (b
1
a
1
) (b
2
a
2
) (b
n
a
n
) .
Comentarios
V(Q) 0 y V(Q) = 0 si y solo si Q es degenerado; es decir, si
a
i
= b
i
para alg un i .
La nocion de volumen generalizado corresponde a la idea
geometrica de longitud si n = 1, de area si n = 2 y de volumen si
n = 3.
Denicion: Particion de un rectangulo.
Una partici on P de un rectangulo Q es un conjunto de la forma
P := P
1
P
2
P
n
donde P
i
es una particion del intervalo [a
i
, b
i
] (i = 1, , n); es decir, P
i
es una coleccion de m
i
+ 1 puntos t
0
i
, , t
m
i
i
tales que
a
i
= t
0
i
< t
1
i
< < t
m
i
i
= b
i
.
Comentarios
La particion P anterior divide a Q en m :=
n
i =1
m
i
subrectangulos
Q
1
, , Q
m
con interiores disjuntos, cuya union es el rectangulo Q.
Def. P(Q) es el conjunto de todas las particiones del rectangulo Q.
Denicion: Particion de un rectangulo.
Una partici on P de un rectangulo Q es un conjunto de la forma
P := P
1
P
2
P
n
donde P
i
es una particion del intervalo [a
i
, b
i
] (i = 1, , n); es decir, P
i
es una coleccion de m
i
+ 1 puntos t
0
i
, , t
m
i
i
tales que
a
i
= t
0
i
< t
1
i
< < t
m
i
i
= b
i
.
Comentarios
La particion P anterior divide a Q en m :=
n
i =1
m
i
subrectangulos
Q
1
, , Q
m
con interiores disjuntos, cuya union es el rectangulo Q.
Def. P(Q) es el conjunto de todas las particiones del rectangulo Q.
Denicion: Sumas superior e inferior (de Darboux).
Sea Q R
n
un rectangulo y sea f : Q R una funcion acotada. Sea
P P(Q) una particion de Q que lo divide en m subrectangulos Q
i
,
i = 1, . . . , m. Se denen las sumas (de Darboux) superior e inferior de f en
Q asociadas a la particion P mediante las expresiones:
S(f , P) :=
m
i =1
sup
xQ
i
[f (x
i
)] V(Q
i
) , S(f , P) :=
m
i =1
nf
xQ
i
[f (x
i
)] V(Q
i
) .
Denicion: Sumas de Riemann.
En las mismas condiciones de la denicion anterior, una suma de Riemann
de f en Q asociada a la particion P es entonces cualquier suma de la
forma:
S(f , P) :=
m
i =1
f (x
i
) V(Q
i
) , para alg un x
i
Q
i
.
Obviamente S(f , P) S(f , P) S(f , P).
Denicion: Sumas superior e inferior (de Darboux).
Sea Q R
n
un rectangulo y sea f : Q R una funcion acotada. Sea
P P(Q) una particion de Q que lo divide en m subrectangulos Q
i
,
i = 1, . . . , m. Se denen las sumas (de Darboux) superior e inferior de f en
Q asociadas a la particion P mediante las expresiones:
S(f , P) :=
m
i =1
sup
xQ
i
[f (x
i
)] V(Q
i
) , S(f , P) :=
m
i =1
nf
xQ
i
[f (x
i
)] V(Q
i
) .
Denicion: Sumas de Riemann.
En las mismas condiciones de la denicion anterior, una suma de Riemann
de f en Q asociada a la particion P es entonces cualquier suma de la
forma:
S(f , P) :=
m
i =1
f (x
i
) V(Q
i
) , para alg un x
i
Q
i
.
Obviamente S(f , P) S(f , P) S(f , P).
Comentarios
Como f esta acotada, tanto sup
xQ
i
[f (x
i
)] como nf
xQ
i
[f (x
i
)] son
cantidades nitas para todo i = 1, . . . , m, por lo que las sumas
S(f , P) y S(f , P) son siempre nitas.
S(f , P) se puede interpretar como una suma de vol umenes de rectan-
gulos de base Q
i
que sobre-estiman el volumen bajo la graca de f .
S(f ; P) se puede interpretar como una suma de vol umenes de rectan-
gulos de base Q
i
que subestiman el volumen bajo la graca de f .
Denicion.
Dadas dos particiones P
1
, P
2
P(Q), se dice que P
1
es mas na que P
2
si
P
2
P
1
.
Observese que dos particiones cualesquiera de Q no tienen por que ser
comparables.
Proposicion.
Sea P(Q) el conjunto de todas las particiones del rectangulo Q R
n
. Se
verica
1
P P(Q), S(f , P) S(f , P).
2
Si P
1
, P
2
P(Q) y P
1
es mas na que P
2
(P
2
P
1
) entonces:
S(f , P
2
) S(f , P
1
) , S(f , P
2
) S(f , P
1
)
3
P, P
P(Q), S(f , P) S(f , P
).
Denicion.
Dadas dos particiones P
1
, P
2
P(Q), se dice que P
1
es mas na que P
2
si
P
2
P
1
.
Observese que dos particiones cualesquiera de Q no tienen por que ser
comparables.
Proposicion.
Sea P(Q) el conjunto de todas las particiones del rectangulo Q R
n
. Se
verica
1
P P(Q), S(f , P) S(f , P).
2
Si P
1
, P
2
P(Q) y P
1
es mas na que P
2
(P
2
P
1
) entonces:
S(f , P
2
) S(f , P
1
) , S(f , P
2
) S(f , P
1
)
3
P, P
P(Q), S(f , P) S(f , P
).
La idea para construir la integral de f sobre Q es renar las particiones en
las sumas anteriores. La proposicion anterior permite concluir que al
renar una particion la suma inferior aumenta mientras que la
superior disminuye. Ademas, las sumas inferiores estan acotadas
superiormente por cualquier suma superior y las sumas superiores estan
acotadas inferiormente por cualquier suma inferior. Entonces el conjunto
_
S(f , P) , P P(Q)
_
esta acotado inferiormente, mientras que
{S(f , P) , P P(Q)} lo esta superiormente. Esto permite denir:
Denicion: Integral superior e inferior de una funcion acotada
sobre un rectangulo.
Integral superior de f sobre Q:
_
Q
f = nf
_
S(f , P) , P P(Q)
_
.
Integral inferior de f sobre Q:
_
Q
f = sup {S(f , P) , P P(Q)}.
Obviamente siempre se tiene la desigualdad:
_
Q
f
_
Q
f . Entonces,
diremos que f es integrable sobre Q cuando ambas coinciden. Es decir:
Denicion: Integral de Riemann de una funcion sobre un rectangulo.
Sea Q R
n
un rectangulo y f : Q R una funcion acotada. Diremos que
f es integrable sobre Q cuando
_
Q
f =
_
Q
f .
En ese caso se dene la integral (de Riemann) de f sobre Q como:
_
Q
f :=
_
Q
f =
_
Q
f .
Ejercicio
Sea f : Q R la funcion constante e igual a c R en un rectangulo
Q R
n
. Demostrar que f es integrable en Q y que ademas se tiene:
_
Q
f = c V(Q) .
Observese que, en particular:
_
Q
1 = V(Q) .
Propiedades de la integral m ultiple sobre rectangulos.

Operaciones algebraicas.
Sea Q R
n
un rectangulo y f , g : Q R integrables sobre Q.
, R, la funcion f + g es integrable sobre Q y ademas
_
Q
f + g =
_
Q
f +
_
Q
g .
Es decir, la integral es un operador lineal.
fg es integrable en Q. Pero, en general:
_
Q
fg = (
_
Q
f )(
_
Q
g).
Si existe C > 0 tal que x Q: |g(x)| C (lo que asegura que f /g
esta acotada en Q y, por tanto, tiene sentido plantearse la existencia
de la integral) entonces f /g es integrable en Q.
Pero, en general:
_
Q
f
g
=
Q
f
Q
g
.

Aditividad en el recinto de integracion.
Sean los rectangulos Q
1
, . . . , Q
p
R
n
y f una funcion integrable en cada
uno de ellos. Si los rectangulos tienen interiores disjuntos, se tiene:
_
Q
1
...Q
p
f =
_
Q
1
f + +
_
Q
p
f .

Monotona y acotacion.
Sea f integrable en Q. Entonces |f | es integrable en Q y
|
_
Q
f |
_
Q
|f |. El recproco no es cierto. Es decir, si |f | es integrable
en Q eso no quiere decir que lo sea f . Un ejemplo es la funcion
denida en [0, 1] R que vale 1, salvo en los racionales que vale 1.
f no es integrable, pero |f | si lo es.
Si f es integrable en Q y f 0 entonces
_
Q
f 0.
Sean f y g integrables en Q, tales que f g en Q. Entonces
_
Q
f
_
Q
g .
Sea f integrable en Q, tal que m f M en Q. Entonces
mV(Q)
_
Q
f MV(Q) .

Comentarios
Sobre las integrales con valor nulo.
De la ultima propiedad se deduce que si V(Q) = 0 entonces
_
Q
f = 0. Es decir:
Si V(Q) = 0, cualquier funcion f : Q R acotada es integrable en
Q y
_
Q
f = 0.
Puede suceder que f 0 y no identicamente nula y, sin embargo, sea
_
Q
f = 0. Como ilustracion de esto, basta tomar la funcion
f : [0, 1] R denida por:
f (x) =
_
_
_
1
2
si x =
1
2
,
0 si x =
1
2
.
Criterio de integrabilidad de Darboux.
Sea Q R
n
un rectangulo y sea f : Q R una funcion acotada. Entones
f es integrable sobre Q si y solo si para todo > 0 existe una particion P
de Q que divide a Q en subrectangulos Q

1
, . . . , Q
p
y tal que
S(f , P
) S(f , P
) < ,
es decir, tal que
p
i =1
_
sup
x
i
Q
i
[f (x
i
)] nf
x
i
Q
i
[f (x
i
)]
_
V(Q
i
) < .
Este criterio se puede enunciar en terminos de la condicion de Riemann:
Denicion: Condicion de Riemann
Se dice que f satisface la condicion de Riemann en Q si, para todo > 0,
existe P
P(Q) tal que: P
P S(f , P) S(f , P) < .

Entonces se tiene que f es integrable en Q si y solo si f satisface la
condicion de Riemann en Q.
Ejercicio
Demostrar que la funcion f (x, y) = xy es integrable sobre el cuadrado
[0, 1] [0, 1] y calcular el valor de su integral sobre ese cuadrado.
Cuando la integral de un producto es un producto de integrales?
Sea Q := [a
1
, b
1
] [a
n
, b
n
] un rectangulo de R
n
y sean n funciones
f
i
: [a
i
, b
i
] R, integrables en [a
i
, b
i
], i = 1, . . . , n. Sea ahora la funcion
H : Q R denida por H =
n
i =1
f
i
. Entonces, H es integrable en Q y se
tiene:
_
Q
H =
__
b
1
a
1
f
1
_

__
b
n
a
n
f
n
_
Comentario
En el ejercicio anterior se tiene, por tanto:
_
[0,1][0,1]
x y =
__
1
0
x
_ __
1
0
y
_
=
1
2

1
2
=
1
4
.
Indice de la seccion 2. Integral m ultiple sobre rectangulos.

_
1
Construccion de la integral de una funcion acotada sobre un
rectangulo.
2
3
4
rectangulos.
2.2. Conjuntos medibles Jordan y contenido de Jordan. (19)
La integral m ultiple se puede construir sobre una clase de conjuntos,
denominados conjuntos medibles Jordan, mucho mas general que los
rectangulos. Ademas, esta clase contiene a casi todos los conjuntos
que aparecen en las aplicaciones.
En este apartado 2.2 del tema se introduce este concepto que, junto
con el concepto de conjunto de medida (Lebesgue) nula, nos va a
permitir establecer criterios de integrabilidad de funciones acotadas
sobre rectangulos (vease la seccion 2.3) mucho mas utiles en la
practica que el de Darboux ya enunciado.
Posteriormente, en la seccion 3, se construira la integral de Riemann
de funciones acotadas denidas sobre en este tipo de conjuntos.
Denicion: Funcion caracterstica de un conjunto.
Sea A R
n
. La funcion caracterstica de A se dene como la funcion
A
: R
n
R dada por
A
:=
_
_
_
1 si x A,
0 si x R
n
\A.
Denicion: Contenidos interior y exterior de un conjunto.
Sean A R
n
un conjunto acotado y Q R
n
un rectangulo tal que A Q
(que siempre existe por ser A acotado).
Se dene el contenido interior de Jordan de A mediante la expresion:
c(A) :=
_
Q
A
Se dene el contenido exterior de Jordan de A mediante la expresion:
c(A) :=
_
Q
A
Comentario
Se puede demostrar que las dos deniciones anteriores estan bien dadas,
en el sentido de que los contenidos interior y exterior no dependen del
rectangulo, Q, en el que se sumerge el conjunto A.
Denicion: Contenidos interior y exterior de un conjunto.
Sean A R
n
un conjunto acotado y Q R
n
un rectangulo tal que A Q
(que siempre existe por ser A acotado).
Se dene el contenido interior de Jordan de A mediante la expresion:
c(A) :=
_
Q
A
Se dene el contenido exterior de Jordan de A mediante la expresion:
c(A) :=
_
Q
A
Comentario
Se puede demostrar que las dos deniciones anteriores estan bien dadas,
en el sentido de que los contenidos interior y exterior no dependen del
rectangulo, Q, en el que se sumerge el conjunto A.
Contenido exterior de un conjunto: Comentarios.
Sean P P(Q) que divide a Q en subrectangulos Q
1
, . . ., Q
R
. Puesto que
sup
xQ
k

A
(x) = 1 si Q
k
contiene alg un punto de A y vale cero en caso
contrario, la suma superior de Darboux asociada a P es:
S(
A
, P) =
r
k=1
sup
xQ
k
A
(x)V(Q
k
) =
_
_
_
suma de los vol umenes de los
subrectangulos Q
k
que contienen
alg un punto de A
Por lo tanto,
c(A) :=
_
Q
A
= nf
PP(Q)
S(
A
, P) = nf
PP(Q)
k tq Q
k
A=
V(Q
k
)
es decir, el contenido exterior de A es el nmo, tomado de entre todas las
particiones de Q, de la suma de los vol umenes de los subrectangulos Q
k
que contienen alg un punto de A.
Contenido interior de un conjunto: Comentarios.
De forma analoga es facil ver que
S(
A
, P) =
r
k=1
nf
xQ
k
A
(x)V(Q
k
) =
_
_
_
suma de los vol umenes de los
subrectangulos Q
k
que estan
contenidos en A
y por ello
c(A) :=
_
Q
A
= sup
PP(Q)
S(
A
, P) = sup
PP(Q)
k tq Q
k
A
V(Q
k
)
es decir, el contenido interior de A es el supremo, tomado de entre todas
las particiones de Q, de la suma de los vol umenes de los subrectangulos
Q
k
que estan contenidos ntegramente en A (por tanto, estos Q
k
estan
formados por puntos interiores de A.)
Obviamente c(A) c(A). En el caso de que ambos sean iguales se dice
que A es medible Jordan; es decir:
Denicion: Conjunto medible Jordan y Contenido de Jordan.
Sea A R
n
acotado. Se dice que A es medible Jordan cuando
c(A) = c(A), y en ese caso se dice que ese n umero es su contenido, es
decir, si A es medible Jordan
c(A) :=
_
Q
A
donde Q es cualquier rectangulo que contiene a A.
Proposicion: Conjuntos medibles (Criterio de integrabilidad de Darboux)
Sea A R
n
acotado y Q cualquier rectangulo que contiene a A. El
conjunto A es medible Jordan si y solo si para todo > 0 existe una
particion de Q tal que la diferencia entre el volumen de los rectangulos
que intersecan a A y el volumen de los rectangulos que estan contenidos
ntegramente en A es menor que .
Obviamente c(A) c(A). En el caso de que ambos sean iguales se dice
que A es medible Jordan; es decir:
Denicion: Conjunto medible Jordan y Contenido de Jordan.
Sea A R
n
acotado. Se dice que A es medible Jordan cuando
c(A) = c(A), y en ese caso se dice que ese n umero es su contenido, es
decir, si A es medible Jordan
c(A) :=
_
Q
A
donde Q es cualquier rectangulo que contiene a A.
Proposicion: Conjuntos medibles (Criterio de integrabilidad de Darboux)
Sea A R
n
acotado y Q cualquier rectangulo que contiene a A. El
conjunto A es medible Jordan si y solo si para todo > 0 existe una
particion de Q tal que la diferencia entre el volumen de los rectangulos
que intersecan a A y el volumen de los rectangulos que estan contenidos
ntegramente en A es menor que .
Comentario
Por su propia denicion, si un conjunto es medible Jordan necesariamente
es acotado.
Sin embargo, el recproco no es cierto; es decir hay conjuntos acotados que
no son medibles Jordan. Por Ejemplo, consideremos el conjunto de los
racionales del intervalo [0, 1], es decir, el conjunto A := Q [0, 1] que es
acotado. Sea P cualquier particion de [0, 1] y sean Q
1
, ..., Q
m
los
subrectangulos asociados. Entonces:
c(A) = nf
PP(Q)
1 = 1
pues todos los Q
i
contienen alg un punto de Q [0, 1]. Por otro lado
c(A) = sup
PP(Q)
0 = 0
ya que ning un Q
i
esta contenido ntegramente en Q [0, 1]. Es decir,
c(A) = c(A), con lo que Q [0, 1] no es medible Jordan.
Propiedades del contenido de Jordan de un conjunto (1/2)
Si Q es un rectangulo, entonces: c(Q) = V(Q). Es decir, en el caso
de rectangulos el contenido coincide con la nocion de volumen. En
general y para una amplia clase de conjuntos sencillos el contenido
coincide con la nocion de longitud si se trabaja en R, de area si se
trabaja en R
2
y de volumen si se trabaja en R
3
.
El contenido de Jordan de un conjunto es no negativo; es decir, si
A R
n
es medible Jordan, entonces c(A) 0.
La union nita de conjuntos medibles Jordan es medible Jordan.
Pero, esta propiedad no es cierta en general si la union es innita
(numerable o no).
Propiedades del contenido de Jordan de un conjunto (2/2)
Si A, B R
n
son medibles Jordan y A B entonces B\A es medible
Jordan. Obsesrvese que puede ser B medible Jordan y A B sin que
A sea medible Jordan. (B := [0, 1] y A := Q [0, 1]).
Si A B y c(B) = 0 entonces c(A) = 0.
Si A, B R
n
son medibles Jordan y A B entonces c(A) c(B).
Si A
1
, ..., A
p
son medibles Jordan y tienen interiores disjuntos (es
decir,

A
i
A
j
= para i = j ) entonces
c(A
1
A
2
A
p
) = c(A
1
) + + c(A
p
)
Conjuntos con contenido de Jordan nulo.
Denicion. Dado un subconjunto S R
n
, decimos que la familia
(T
i
)
i I
de subconjuntos de R
n
forma un recubrimiento de S si:
S
_
i I
T
i
.
Proposicion. Sea A R
n
. Se verica que c(A) = 0 para todo
> 0 existe una coleccion nita de rectangulos que recubre a A y con
volumen total menor que , es decir, existen rectangulos
Q
1
, Q
2
, ..., Q
p
tales que A
p
m=1
Q
m
y
p
m=1
V(Q
m
) < .
Ejemplos.
En R
n
, un n umero nito de puntos tiene contenido nulo.
En R
n
cualquier rectangulo degenerado tiene contenido nulo.
La union nita de conjuntos con contenido nulo tiene contenido nulo.
Caracterizacion de conjuntos medibles Jordan a traves de su frontera
Teorema. Sea A R
n
un conjunto acotado y sea A su frontera.
Entonces:
c(A) = c(A) c(A) .
De este resultado se deduce de forma inmediata el siguiente
Corolario: Caracterizacion de los conjuntos medibles Jordan.
A R
n
acotado es medible Jordan c(A) = 0.
Demostracion. Sea Q un rectangulo compacto tal que A Q y sea
P P(Q); entonces: S(
A
, P) = S(
A
, P) S(
A
, P). Ahora bien:
S(
A
, P) c(A)
S(
A
, P) c(A)
_
S(
A
, P) S(
A
, P) = S(
A
, P) c(A) c(A)
c(A) c(A) c(A) .
Caracterizacion de conjuntos medibles Jordan a traves de su frontera
Veamos ahora la desigualdad opuesta.
Dado > 0, existen P
1
, P
2
P(Q) tales que:
S(
A
, P
1
) < c(A) +

2
y S(
A
, P
2
) > c(A)

2
.
Sea P = P
1
P
2
. Teniendo en cuenta que
S(
A
, P) S(
A
, P
1
) y S(
A
, P) S(
A
, P
2
)
resulta
c(A) S(
A
, P) = S(
A
, P) S(
A
, P) S(
A
, P
1
) S(
A
, P
2
)
< c(A) +

2
c(A) +

2
= > 0 , c(A) < c(A) c(A) +
= c(A) c(A) c(A)
lo que prueba la desigualdad opuesta y, por tanto, el resultado.

_
1
rectangulo.
2
3
Conjuntos con medida (Lebesgue) nula. Condicion
necesaria y suciente de integrabilidad en un rectangulo.
4
rectangulos.
2.3. Conjuntos con medida (Lebesgue) nula. Condicion necesaria y su-
ciente de integrabilidad en un rectangulo.
(31)
Esta seccion se dedica a enunciar un resultado de difcil demostra-
cion (que se omitira) en el que se establece una condicion necesaria y
suciente de integrabilidad de una funcion acotada en un rectangulo.
Para ello es necesario introducir el concepto de conjunto con me-
dida nula (medida de Lebesgue nula) que, como se va a ver a
continuacion, esta estrechamente relacionado con el de contenido de
Jordan nulo.
Para ello, conviene recordar la denicion de recubrimiento de un con-
junto dada anteriormente y, ademas, la que sigue de conjunto nume-
rable:
Denicion: Decimos que un conjunto A es numerable si existe una
aplicacion inyectiva A N.
En particular, todo conjunto nito es numerable.
(32)
Denicion: Conjuntos con medida de Lebesgue nula.
Sea A R
n
. Se dice por denicion que A tiene medida de Lebesgue nula
cuando para todo > 0 existe una coleccion a lo sumo numerable (es
decir, nita o, de ser innita, numerable) de rectangulos que recubre a A y
con volumen total menor que , es decir, existen rectangulos
Q
1
, Q
2
, ..., Q
p
, ... tales que A

m=1
Q
m
y
m=1
V(Q
m
) < .
Relacion entre medida Lebesgue nula y contenido de Jordan nulo.
Proposicion: Sea A R
n
. Si A tiene contenido nulo entonces A tambien
tiene medida nula.
Demostracion: Se sigue directamente de la caracterizacion de los
conjuntos con contenido nulo por recubrimientos (nitos) dada
anteriormente.
(32)
Denicion: Conjuntos con medida de Lebesgue nula.
Sea A R
n
. Se dice por denicion que A tiene medida de Lebesgue nula
cuando para todo > 0 existe una coleccion a lo sumo numerable (es
decir, nita o, de ser innita, numerable) de rectangulos que recubre a A y
con volumen total menor que , es decir, existen rectangulos
Q
1
, Q
2
, ..., Q
p
, ... tales que A

m=1
Q
m
y
m=1
V(Q
m
) < .
Relacion entre medida Lebesgue nula y contenido de Jordan nulo.
Proposicion: Sea A R
n
. Si A tiene contenido nulo entonces A tambien
tiene medida nula.
Demostracion: Se sigue directamente de la caracterizacion de los
conjuntos con contenido nulo por recubrimientos (nitos) dada
anteriormente.
(33)
Comentario
El recproco del resultado anterior no es cierto:
Hay conjuntos con medida nula que no tiene contenido nulo.
Ejemplo en R. El conjunto A := Q[0, 1] no es medible Jordan con lo
que no puede tener contenido nulo. Sin embargo, A tiene medida nula. En
efecto, puesto que el conjunto de los racionales es un conjunto numerable
podemos considerar los racionales del intervalo [0, 1] indexados en la forma
{x
m
}
mN
. Para cada x
m
sea Q
m
un intervalo centrado en ese punto y de
longitud /2
m
. Obviamente A esta contenido en la union de estos
intervalos Q
m
. Por otro lado, el volumen de la union de estos intervalos es
V(
m=1
Q
m
)
m=1
V(Q
m
) =
m=1
2
m
=
que se puede hacer tan peque no como se quiera. Por tanto A tiene medida
nula.
(34)
Proposicion: Conjuntos compactos. Medida nula contenido nulo.
Sea A R
n
compacto. Entonces A tiene contenido nulo si y solo si tiene
medida nula.
Comentario
De este resultado se deduce inmediatamente que A := Q[0, 1] no puede
ser compacto; mejor dicho, puesto que A es acotado, se deduce que A no
puede ser cerrado. En efecto, A no es cerrado pues A = [0, 1] y por tanto
A no esta contenido en A.
Algunas propiedades de los conjuntos con medida nula
Si A tiene medida nula y B A entonces B tiene medida nula.
La union numerable de conjuntos con medida nula tiene medida nula.
Cualquier interseccion (nita o no, numerable o no) de conjuntos con
medida nula tiene medida nula.
(34)
Sea A R
n
medida nula.
Comentario
(34)
Sea A R
n
medida nula.
Comentario
(35)
Criterio de integrabilidad de Lebesgue.
Teorema. Sea Q R
n
un rectangulo y sea f : Q R una funcion
acotada. Entonces:
f es integrable en Q si y solo si el conjunto constituido por los puntos
en los que f es discontinua tiene medida nula, es decir, si y solo si el
conjunto {x Q : f es discontinua en x} tiene medida nula.
Corolarios.
Sea Q rectangulo en R
n
. Entonces se verica:
Si f : Q R es acotada y continua entonces f es integrable en Q.
Si f : Q R es acotada y continua salvo en un conjunto nito de
puntos entonces f es integrable en Q.
Si f : Q R es acotada y continua salvo en un conjunto numerable
de puntos entonces f es integrable en Q.
(35)
Criterio de integrabilidad de Lebesgue.
Teorema. Sea Q R
n
un rectangulo y sea f : Q R una funcion
acotada. Entonces:
f es integrable en Q si y solo si el conjunto constituido por los puntos
en los que f es discontinua tiene medida nula, es decir, si y solo si el
conjunto {x Q : f es discontinua en x} tiene medida nula.
Corolarios.
Sea Q rectangulo en R
n
. Entonces se verica:
Si f : Q R es acotada y continua entonces f es integrable en Q.
Si f : Q R es acotada y continua salvo en un conjunto nito de
puntos entonces f es integrable en Q.
Si f : Q R es acotada y continua salvo en un conjunto numerable
de puntos entonces f es integrable en Q.

_
1
rectangulo.
2
3
4
Integracion reiterada. Teorema de Fubini para integrales
en rectangulos.
2.4. Integracion reiterada. Teorema de Fubini para integrales en rectangulos. (1)
La denicion de integral no parece un procedimiento practico para cal-
cular integrales en rectangulos. El teorema de Fubini proporciona una
herramienta muy potente al respecto puesto que, bajo condiciones
muy generales, permite descomponer la integral sobre un rectangulo
de una funcion f : Q R
n
R acotada, como n integrales sim-
ples reiteradas. Cada una de estas integrales simples puede calcularse
mediante la tecnica estandar estudiada en cursos previos, es decir,
calculando una primitiva y aplicando la regla de Barrow.
Comentarios
Primero enunciaremos el teorema de Fubini en el caso de R
2
para dar
luego su enunciado mas general. En ambos casos omitiremos la
demostracion.
La idea esencial del teorema de Fubini en R
2
es la siguiente:
Consideremos una funcion f : [a, b] [c, d] R acotada tal que
I :=
_ _
[a,b][c,d]
f (x, y)dxdy
existe. Entonces, bajo ciertas condiciones I es igual a las expresiones
_
d
c
__
b
a
f (x, y)dx
_
dy ;
_
b
a
__
d
c
f (x, y)dy
_
dx
Teorema de Fubini para integrales en rectangulos de R
2
Sea Q := [a, b] [c, d] R
2
y f : Q R integrable, es decir,
suponemos que existe la integral
__
Q
f (x, y)dxdy.
Entonces las funciones L(y) :=
_
b
a
f (x, y)dx, U(y) :=
_
b
a
f (x, y)dx (que
estan bien denidas pues la integral inferior y la integral superior siempre
existen para funciones acotadas) son integrables en [c, d], las funciones
L(x) :=
_
d
c
f (x, y)dy,

U(x) :=
_
d
c
f (x, y)dy son integrables en [a, b] y se
cumple
_ _
Q
f (x, y)dxdy =
_
d
c
_
_
b
a
f (x, y)dx
_
dy =
_
d
c
_
_
b
a
f (x, y)dx
_
dy
=
_
b
a
_
_
d
c
f (x, y)dy
_
dx =
_
b
a
_
_
d
c
f (x, y)dy
_
dx
Comentario
Es muy importante poner de maniesto que aunque la funcion f sea
integrable en [a, b] [c, d], la integral
_
d
c
f (x, y)dy
puede no existir para ciertos valores de x [a, b]. Lo mismo puede ocurrir
con la integral
_
b
a
f (x, y)dx
para ciertos valores de y [c, d].
Ejemplo
Sea la funcion
f (x, y) =
_
1 si x = 1/2 e y Q
0 en otro caso
_
y el rectangulo Q := [0, 1] [0, 1]. El conjunto de puntos en los que f es
discontinua en Q es el conjunto {(1/2, y) : y [0, 1]}. Este conjunto tiene
contenido nulo (en R
2
) y por ello f es integrable en Q. Sin embargo la
integral
_
1
0
f (1/2, y)dy no esta denida, pues
f (1/2, y) =
_
1 si y Q
0 en otro caso
_
es discontinua en todos los puntos de [0, 1]. Como este conjunto no tiene
medida nula (observese que ahora se esta trabajando en R), f (1/2, y) no
es integrable en [0, 1]. Sin embargo, s estaran denidas
_
1
0
f (1/2, y)dy y
_
1
0
f (1/2, y)dy
Consecuencias del Teorema de Fubini en R
2
.
En el caso en que para todo y [c, d] exista la integral
_
b
a
f (x, y)dx (una
condicion suciente es que, para todo y [c, d], f sea continua como
funcion de x) se podra escribir
_ _
[a,b][c,d]
f (x, y)dxdy =
_
d
c
__
b
a
f (x, y)dx
_
dy
Analogamente, en el caso en que para todo x [a, b] exista la integral
_
d
c
f (x, y)dy (una condicion suciente es que, para todo x [a, b], f sea
continua como funcion de y) se podra escribir
_ _
[a,b][c,d]
f (x, y)dxdy =
_
b
a
__
d
c
f (x, y)dy
_
dx
Corolario: Teorema de Fubini en R
2
para funciones continuas.
Puesto que si f es continua en [a, b] [c, d], entonces f es continua
como funcion de cada una de las variables; es decir, x [a, b]
h
x
(y) := f (x, y) es continua en [c, d] y y [c, d] g
y
(x) := f (x, y) es
continua en [a, b], se tiene el siguiente corolario:
Corolario. Sea f : [a, b] [c, d] R continua. Entonces,
_ _
[a,b][c,d]
f (x, y)dxdy =
_
b
a
__
d
c
f (x, y)dy
_
dx
=
_
d
c
__
b
a
f (x, y)dx
_
dy
existiendo todas las integrales (simples y dobles) que aparecen en la
expresion.
Teorema de Fubini para integrales en rectangulos de R
n+m
.
Sean A R
n
y B R
m
rectangulos, con lo que A B es un rectangulo
en R
n+m
. Sea f : A B R, (x, y) f (x, y) integrable, es decir,
suponemos que existe la integral I :=
__
AB
f (x, y)dxdy.
Entonces las funciones L(y) =
_
A
f (x, y)dx, U(y) =
_
A
f (x, y)dx (que
estan bien denidas pues la integral inferior y la integral superior siempre
existen para funciones acotadas) son integrables en B, las funciones
L(x) =
_
B
f (x, y)dy,

U(x) =
_
B
f (x, y)dy son integrables en A y se
cumple
I =
_
B
_
_
A
f (x, y)dx
_
dy =
_
B
__
A
f (x, y)dx
_
dy =
=
_
A
_
_
B
f (x, y)dy
_
dx =
_
A
__
B
f (x, y)dy
_
dx
Corolario: Teorema de Fubini en R
n+m
para funciones continuas.
Razonando de manera similar al caso ya estudiado en R
2
, se tiene el
siguiente corolario:
Corolario. Sean los rectangulos A R
n
y B R
m
. Sea f : A B R
continua. Entonces
_ _
AB
f (x, y)dxdy =
_
A
__
B
f (x, y)dy
_
dx =
_
B
__
A
f (x, y)dx
_
dy
existiendo todas las integrales (en R
n+m
, R
n
y R
m
respectivamente) que
aparecen en la expresion.
Indice
1
Introduccion.
n
.
2
3 Conjuntos con medida (Lebesgue) nula. Condici on necesaria y
3
n
4
5
n
a R
m
.
n
a R
m
.
6
2

3. Integral m ultiple sobre conjuntos medibles Jordan. (1)
Abordamos ahora el estudio de la integral de una funcion acotada sobre
conjuntos acotados de R
n
que sean mas generales que los rectangulos.
Queremos dar respuesta a las siguientes preguntas:
1. Sobre que conjuntos podemos integrar ?
2. Como se dene la integral de una funcion
acotada sobre un conjunto?
3. C omo se puede saber en la practicasi una
funcion es integrable ?
4. Como se calcula la integral?
_
1
Supercies generalizadas en R
n
y conjuntos con contenido
nulo.
2
Algunos conjuntos medibles Jordan: conjuntos simples.
3
Construccion de la integral sobre un conjunto medible Jordan.
4
Propiedades de la integral sobre conjuntos medibles Jordan.
5
Reduccion del orden de la integral m ultiple sobre algunos
recintos.
3.1. Supercies generalizadas en R
n
y conjuntos con contenido nulo. (3)
Ya sabemos que un conjunto acotado es medible Jordan cuando su
frontera tiene contenido nulo. A continuacion estudiaremos algunos
conjuntos que cumplen esta propiedad, entre los que estan los de-
nominados conjuntos simplesque se estudiaran en el apartado 3.2
siguiente. Para ello, previamente deniremos el concepto de super-
cie generalizada en R
n
.
n
Denicion: Supercie generalizada en R
n
.
Sean m, n N, m < n, R
m
un abierto y : R
m
R
n
una
aplicacion continua. Esta aplicacion se denomina supercie generalizada
en R
n
y su imagen, es decir, el conjunto () := {(x) : x }, se
denomina traza de la supercie generalizada.
Cuando, ademas de continua, C
1
() se dice que la supercie
generalizada es de clase 1 (o es C uno) en .
Comentario
Una idea intuitiva de supercie generalizada en R
n
puede ser la siguiente:
Se toma un conjunto de R
m
y se lleva a R
n
(con n > m) de forma
continua, es decir, deformando pero sin romperlo.
Ejemplos
Curvas en R
2
( : I R R
2
) y R
3
( : I R R
3
).
Supercies en R
3
( : R
2
R
3
). (Hacer dibujos)
n
n
.
m
un abierto y : R
m
R
n
una
en R
n
1
Comentario
n
m
y se lleva a R
n
Ejemplos
Curvas en R
2
( : I R R
2
) y R
3
( : I R R
3
).
Supercies en R
3
( : R
2
R
3
). (Hacer dibujos)
n
n
.
m
un abierto y : R
m
R
n
una
en R
n
1
Comentario
n
m
y se lleva a R
n
Ejemplos
Curvas en R
2
( : I R R
2
) y R
3
( : I R R
3
).
Supercies en R
3
( : R
2
R
3
). (Hacer dibujos)
n
Un tipo particular de supercies generalizadas son las dadas en forma
explcita, es decir, aquellas supercies en R
n
cuya traza es la graca de
una funcion de menos variables. En concreto, se dene:
Def.: Supercie generalizada en R
n
denida en forma explcita.
Sea m < n y sea R
m
abierto. Dada una funcion f : R
nm
continua, la aplicacion : R
n
denida por (x) := (x, f (x)) es una
supercie generalizada de la que diremos que esta dada en forma explcita.
Comentario
En principio no tiene por que estar acotado, y por ello lo mismo le
sucede a (). Para trabajar con conjuntos acotados consideraremos las
trazas denidas por (K) donde : R
n
, con continua y K es
un compacto de . Observese que la imagen de un conjunto compacto por
una aplicacion continua es tambien compacto, y por ello acotado.
n
Un tipo particular de supercies generalizadas son las dadas en forma
explcita, es decir, aquellas supercies en R
n
cuya traza es la graca de
una funcion de menos variables. En concreto, se dene:
Def.: Supercie generalizada en R
n
denida en forma explcita.
Sea m < n y sea R
m
abierto. Dada una funcion f : R
nm
continua, la aplicacion : R
n
denida por (x) := (x, f (x)) es una
supercie generalizada de la que diremos que esta dada en forma explcita.
Comentario
En principio no tiene por que estar acotado, y por ello lo mismo le
sucede a (). Para trabajar con conjuntos acotados consideraremos las
trazas denidas por (K) donde : R
n
, con continua y K es
un compacto de . Observese que la imagen de un conjunto compacto por
una aplicacion continua es tambien compacto, y por ello acotado.
n
Ejemplos de supercies generalizadas.

Supercie parametrizada en R
3
(caso general).
Se reere a las supercies en en el sentido clasico del termino.
Denicion: Es una aplicacion continua denida por
: R
3
(u, v)

(u, v) = (
1
(u, v),
2
(u, v),
3
(u, v))
La aplicacion

sumerge(de forma continua) un conjunto de R
2
en R
3
.
Ejemplo: Con (, ) [0, 2] [0, ], las ecuaciones
x = R cos sen , y = R sen sen , z = R cos ,
representan la esfera de centro el origen y radio R.
Comentario: Supercies degeneradas.

: R
3
continua puede
denir una supercie degenerada(su traza no tiene dos dimensiones):
la traza de x = a , y = b , z = c , (u, v) es el punto (a, b, c).
n

3
(continuacion).
Supercie denida por su ecuacion cartesiana explcita.
Un caso particular es el de una supercie denida por:
z = f (x, y), (x, y) R
2
.
Esto se puede expresar en la forma general anterior mediante
: R
3
(u, v)

(u, v) = (u, v, f (u, v)) ,
o, equivalentemente, mediante las ecuaciones parametricas:
x = u , y = v , z = f (u, v) , (u, v) .
Ejemplo. Semiesfera de radio R situada en el hemisferio norte (z 0).
x = u , y = v , z =
R
2
u
2
v
2
,
(u, v)
_
(, ) R
2
:
2
+
2
R
2
_
.
n

3
(continuacion).
Supercie denida mediante una ecuacion cartesiana implcita.
Los puntos de una supercie parametrizada verican (al menos localmente)
una ecuaci on del tipo g(x, y, z) = 0 a la que se denomina ecuacion
cartesiana implcita de la supercie. Dicha ecuacion se obtiene eliminando
los parametros u y v en las ecuaciones parametricas. Recprocamente, las
soluciones a una ecuacion de la forma anterior normalmentedenen una
supercie, aunque no siempre tiene que ser as. Por ejemplo la ecuacion
x
2
+y
2
+z
2
= 1 dene una supercie pero la ecuacion x
2
+y
2
+z
2
= 1
no tiene ninguna solucion real, y la ecuacion x
2
+ y
2
+ z
2
= 0 solo tiene la
solucion (0, 0, 0) que, obviamente, no es una supercie. Analogamente la
ecuacion x
2
+ y
2
= 0 en R
3
tiene como soluciones los puntos del eje z
que, de nuevo, no constituyen una supercie.
n

Curva parametrizada en R
n
(n > 1).
Denicion. Una curva es una aplicacion r : [a, b] R R
n
continua.
La aplicacion r sumerge(de forma continua) un intervalo de R en R
n
.
Caso particular: Curva en R
2
. Es una aplicacion continua dada por:
r : [a, b] R
2
t r (t) = ((t), (t))
Ejemplo: Circunferencia de centro el origen y radio R
r : [0, 2] R
2
t (R cos t, Rsent).
Comentario: Curvas degeneradas. Una aplicacion r : [a, b] R
2
continua puede denir una curva degenerada en el sentido de que su
traza no es una curva en el sentido intuitivo del termino, es decir, no
tiene una dimension. Un ejemplo es: x = a , y = b , t [a, b].
n

n
(n > 1)(continuacion).
Curva en R
2
denida mediante una ecuacion cartesiana explcita.
Un caso particular es el de una curva denida de forma explcita mediante:
y = f (x), x [a, b].
Esto se puede expresar en la forma general anterior de la siguiente forma
r : [a, b] R
2
, t r (t) = (t, f (t))
Curva en R
2
denida mediante una ecuacion cartesiana implcita.
Los puntos de una curva parametrizada verican (al menos localmente)
una ecuaci on del tipo g(x, y) = 0, a la que se denomina ecuacion
cartesiana implcita de la curva que se obtiene eliminando el parametro en
las ecuaciones parametricas. Recprocamente, las soluciones a una ecuacion
de la forma anterior no siempre denen una curva. Por ejemplo la ecuacion
x
2
+ y
2
= 1 dene una circunferencia; la ecuacion x
2
+ y
2
= 1 no tiene
solucion real, y la ecuacion x
2
+ y
2
= 0 solo tiene la solucion (0, 0).
n

n
(n > 1)(continuacion).
Caso particular: Curva en R
3
.
Es una aplicacion continua dada por
r : [a, b] R
3
t r (t) = ((t), (t), (t))
Curva en R
3
denida mediante dos ecuaciones cartesianas implcitas.
Si g y h son adecuadas, las soluciones del sistema
g(x, y, z) = 0 , h(x, y, z) = 0 ,
denen una curva en R
3
. Observese que dicha curva se puede interpretar
como la interseccion de las supercies denidas por g(x, y, z) = 0 y
h(x, y, z) = 0.
n
Supercies generalizadas como conjuntos con contenido nulo.

Se verica que si es compacto y es de clase 1, la traza de
cualquier supercie generalizada tiene contenido nulo.
La idea intuitiva es que, al ser una aplicacion regular,
transforma un conjunto K m dimensional en otro conjunto
tambien m dimensional (la traza) y, como m < n, (K) tiene
contenido nulo en R
n
.
La demostracion de ese resultado hace uso de un resultado
auxiliar, que arma que las aplicaciones de R
n
a R
n
diferencia-
bles con continuidad transforman conjuntos con contenido nulo
en conjuntos con contenido nulo. En concreto:
Proposicion. Sea R
n
un conjunto abierto y sea : R
n
una
aplicacion de clase 1. Sea A un conjunto tal que

A y que tiene
contenido nulo. Entonces (A) tambien tiene contenido nulo.
n

Supercies con contenido nulo.
El resultado anterior permite enunciar los siguientes:
Proposicion. Sean m < n, R
m
abierto y : R
n
,
C
1
(). Sea K un compacto de . Entonces (K) tiene
contenido nulo en R
n
.
Este resultado se puede mejorar en el caso de supercies generaliza-
das dadas en forma explcita. En tal caso no hace falta pedir que la
aplicacion sea de clase 1 sino simplemente que sea continua.
Proposicion. Sea una supercie generalizada en forma explcita
denida por la aplicacion : K R
n
, (x) := (x, f (x)) donde K es
un conjunto compacto de R
m
y f es una funcion f : K R
nm
continua, con n > p. Entonces la traza (K) de la supercie
generalizada tiene contenido nulo (en R
n
).
n

Conjuntos en R
n
medibles Jordan.
Como consecuencia de los dos resultados anteriores, se puede armar:
Corolario. Todo conjunto M R
n
cuya frontera sea una union nita de
supercies generalizadas de clase 1 o de supercies generalizadas en forma
explcita continuas (no necesariamente de clase 1) cumple que su frontera
M tiene contenido nulo, por lo que M es medible Jordan en R
n
.
_
1
n
2
3
4
5
recintos.
3.2. Algunos conjuntos medibles Jordan: conjuntos simples. (15)
En este apartado vamos a aplicar los resultados anteriores sobre su-
percies generalizadas y su contenido de Jordan para estudiar y ga-
rantizar que ciertos conjuntos, denominados conjuntos simples, son
medibles Jordan.
Conjuntos simples en R
2
.
Denicion: Conjunto simple respecto de la coordenada y.
En R
2
, un conjunto simple respecto de y es un conjunto de la forma
A :=
_
(x, y) R
2
: (x) y (x), x [a, b]
_
donde y son funciones , : [a, b] R continuas tales que
x [a, b], (x) (x).
Son estos conjuntos medibles Jordan ?
2
.
Denicion: Conjunto simple respecto de la coordenada y.
En R
2
A :=
_
(x, y) R
2
: (x) y (x), x [a, b]
_
donde y son funciones , : [a, b] R continuas tales que
x [a, b], (x) (x).
2
.
La frontera de A esta constituida por las gracas de las funciones y ,
por el segmento S
1
que une los puntos (a, (a)) y (a, (a)) y por el
segmento S
2
que une los puntos (b, (b)) y (b, (b)). Puesto que y
son continuas, sus gracas tienen contenido nulo. Por otro lado los
segmentos S
1
y S
2
son rectangulos degenerados en R
2
(en concreto
S
1
= [a, a] [(a), (a)] y S
2
= [b, b] [(b), (b)]) con lo que su
volumen, y por ello su contenido, es nulo.
Por tanto, se ha demostrado el siguiente resultado:
Proposicion.
Sea A R
2
un conjunto simple respecto de y. Entonces la frontera de A
tiene contenido nulo y por ello A es medible Jordan.
2
.
La frontera de A esta constituida por las gracas de las funciones y ,
por el segmento S
1
que une los puntos (a, (a)) y (a, (a)) y por el
segmento S
2
que une los puntos (b, (b)) y (b, (b)). Puesto que y
son continuas, sus gracas tienen contenido nulo. Por otro lado los
segmentos S
1
y S
2
son rectangulos degenerados en R
2
(en concreto
S
1
= [a, a] [(a), (a)] y S
2
= [b, b] [(b), (b)]) con lo que su
volumen, y por ello su contenido, es nulo.
Por tanto, se ha demostrado el siguiente resultado:
Proposicion.
Sea A R
2
un conjunto simple respecto de y. Entonces la frontera de A
2
.
Denicion: Conjunto simple respecto de la coordenada x.
En R
2
, un conjunto simple respecto de x es un conjunto de la forma
A :=
_
(x, y) R
2
: g(y) x h(x), y [c, d]
_
donde g y f son funciones g, h : [c, d] R continuas tales que
y [c, d], g(y) h(y).
Proposicion.
Los conjuntos simples respecto de x son medibles Jordan.
Proposicion: Uniones nitas de conjuntos simples.
Si A R
2
es una union nita de conjuntos simples respecto de x o de y,
entonces A es medible Jordan.
2
.
En R
2
A :=
_
(x, y) R
2
: g(y) x h(x), y [c, d]
_
y [c, d], g(y) h(y).
Proposicion.
Si A R
2
2
.
En R
2
A :=
_
(x, y) R
2
: g(y) x h(x), y [c, d]
_
y [c, d], g(y) h(y).
Proposicion.
Si A R
2
3
.
Denicion: Conjunto simple respecto de z.
En R
3
, un conjunto simple respecto de z es un conjunto de la forma
A :=
_
(x, y, z) R
3
: (x, y) z (x, y), (x, y) B
_
donde B R
2
es un conjunto compacto medible Jordan (en R
2
) y y
son funciones , : B R continuas tales que (x, y) B,
(x, y) (x, y).
3
.
Denicion: Conjunto simple respecto de z.
En R
3
, un conjunto simple respecto de z es un conjunto de la forma
A :=
_
(x, y, z) R
3
: (x, y) z (x, y), (x, y) B
_
donde B R
2
2
) y y
(x, y) (x, y).
3
.
La frontera de A esta constituida por las gracas de las funciones y y
por la pared lateral
L =
_
((x, y, z) R
3
: (x, y) z (x, y), (x, y) B
_
.
Puesto que y son aplicaciones continuas, sus gracas tienen contenido
nulo (en R
3
). Por otro lado, usando el hecho de que B es medible Jordan
en R
2
y que por lo tanto B tiene contenido nulo en R
2
, se demuestra con
facilidad que L tiene contenido nulo en R
3
.
Por tanto:
Proposicion.
Sea A R
3
un conjunto simple respecto de z. Entonces la frontera de A
3
.
Analogamente:
Denicion: Conjunto simple respecto de y.
En R
3
A :=
_
(x, y, z) R
3
: g(x, z) y h(x, z), (x, z) B
_
donde B R
2
2
) y g y h
son funciones g, h : B R continuas tales que (x, z) B,
g(x, z) h(x, z).
Y estos conjuntos son medibles Jordan.
3
.
Denicion: Conjunto simple respecto de x.
En R
3
A :=
_
(x, y, z) R
3
: g(y, z) x h(y, z), (x, z) B
_
donde B R
2
2
) y g y h
son funciones g, h : B R continuas tales que (y, z) B,
g(y, z) h(y, z).
Y estos conjuntos son medibles Jordan.
Ademas, la union nita de conjuntos simples respecto de x o de y o
ambos es tambien medible Jordan.
_
1
n
2
3
Construccion de la integral sobre un conjunto medible
Jordan.
4
5
recintos.
3.3. Construccion de la integral sobre un conjunto medible Jordan. (24)
Denicion: Integral de una funcion acotada sobre un conjunto medible
Jordan.
Sea A R
n
un conjunto medible Jordan (y por tanto acotado) y sea
f : A R una funcion acotada. Sea Q un rectangulo tal que A Q. Se
dice que f es integrable en A (f R(A)) cuando la funcion
f (x) =
_
f (x) si x A
0 si x Q A
_
(denominada extension por cero de f a Q) es integrable sobre Q. En tal
caso, se dene el valor de la integral de f sobre A como
_
A
f :=
_
Q
f
Nota:

f = f
A
, donde
A
es la funcion indicador de A R
n
.
Corolario: Como consecuencia inmediata del criterio de integrabi-
lidad de Lebesgue se concluye que f es integrable sobre A cuando
el conjunto de las discontinuidades de

f sobre Q tenga medida de
Lebesgue nula.
La denicion anterior es independiente del rectangulo Q que
se elija. El conjunto de las discontinuidades de

f sera el consti-
tuido por la union del conjunto de las discontinuidades de f y
algunos de los puntos de la frontera de A (aquellos puntos de la
frontera en los que f no valga cero). Entonces, si se cambia el
rectangulo Q dichas discontinuidades siguen siendo las mismas,
por lo que la integrabilidad de f sobre A, no depende del rectan-
gulo Q elegido. Ademas, el valor de la integral es tambien es
independiente de Q pues

f vale cero en todos los puntos que no
pertenecen a A.
De los comentarios anteriores se deduce facilmente la siguiente:
Proposicion: Criterio de integrabilidad de una funcion sobre un con-
junto medible Jordan.
Sea A R
n
un conjunto medible Jordan y sea f : A R una funcion
acotada.
Entonces, f es integrable en A si y solo si los puntos de discontinuidad
de f en A constituyen un conjunto con medida de Lebesgue nula.
Integrabilidad y conjuntos con contenido nulo (1/2).
n
medible Jordan tal que c(A) = 0. Entonces
cualquier funcion f : A R acotada es integrable en A y ademas
_
A
f = 0.
Demostracion. Claramente, si A tiene contenido nulo el conjunto de las
discontinuidades de f en A (que esta contenido en A), tambien tiene
contenido nulo y, por tanto, medida nula, con lo que f es integrable en A.
Veamos ahora que el valor de la integral es cero. Sea Q un rectangulo que
contiene a A. Sabemos que f esta acotada en A con lo que |f | K en A.
Entonces, usando que

f = f
A
se puede escribir
0
_
Q
_
Q
f
A

_
Q
|f |
A
K
_
Q
A
= Kc(A) = 0
con lo que
_
Q
f = 0 y por ello
_
A
f = 0.
Integrabilidad y conjuntos con contenido nulo (2/2).
Como consecuencia de la propiedad anterior, se tiene:
1. Si A es medible Jordan sabemos que su frontera tiene contenido
nulo. Por tanto se obtiene el mismo resultado al integrar una funcion
sobre A, sobre el interior
A de A o sobre la adherencia

A de A
(recuerdese que

A = A A), pues la integral sobre la frontera o
sobre cualquier parte de la misma vale cero. Por ejemplo, da lo mismo
integrar sobre
_
(x, y) : x
2
+ y
2
1
_
que sobre
_
(x, y) : x
2
+ y
2
< 1
_
.
Corolario. Si f : A R es integrable en A y g : A R es acotada y
coincide con f salvo en un conjunto de puntos con contenido nulo,
entonces g es integrable en A y ademas
_
A
f =
_
A
g. Es decir, a
efectos de integracion, las funciones que son iguales salvo en un
conjunto de puntos con contenido nulo se comportan igual.
_
1
n
2
3
4
Propiedades de la integral sobre conjuntos medibles
Jordan.
5
recintos.
3.4. Propiedades de la integral sobre conjuntos medibles Jordan. (30)
Operaciones algebraicas.
Sea A R
n
medible Jordan y sean f , g : A R integrables en A
, R, f + g es integrable en A y ademas
_
A
f + g =
_
A
f +
_
A
g .
Esta ultima expresion indica que la integral es un operador lineal.
fg es integrable en A. Sin embargo, en general
_
A
fg =
_
A
f
_
A
g.
Si existe C > 0 tal que x A, |g(x)| C (lo que garantiza que
f /g esta acotada en A) entonces
f
g
es integrable en A. Sin embargo,
en general
_
A
f
g
=
_
A
f /
_
A
g.
Aditividad en el recinto
Sean A
1
, ..., A
p
conjuntos medibles Jordan y sea f integrable en cada uno
de ellos. Entonces f es integrable en A
1
A
p
y ademas, si los
conjuntos A
1
, ..., A
p
tienen interiores disjuntos,
_
A
1
A
2
A
p
f =
_
A
1
f +
_
A
2
f + +
_
A
p
f
Monotona y acotacion (1/3).
Sea f integrable en A. Entonces |f | es integrable en A y
_
A
f

_
A
|f |. Observese que el recproco no es cierto, es decir, si |f |
es integrable en A eso no implica que lo sea f . Ejemplo:
f (x) =
_
1 si x Q
1 si x / Q
_
no es integrable en [0, 1] pero |f | s lo es.
Sea f integrable en A. Si f 0 en A, entonces
_
A
f 0.
Sean f y g integrables en A, tales que f g en A. Entonces
_
A
f
_
A
g
Sea f integrable en A, tal que m f M en A. Entonces
m c(A)
_
A
f M c(A).
Comentario: Puede suceder que sea f 0 y no identicamente nula
y sin embargo sea
_
A
f = 0. En efecto, como ejemplo basta tomar
f (x) =
_
0 si x = 1/2
1 si x = 1/2
_
Esta funcion es no negativa y no identicamente nula y
_
1
0
f = 0.
Sin embargo, se verica la siguiente
n
medible Jordan y con contenido no nulo,
es decir, c(A) > 0. Si f 0 y continua en A, entonces
_
A
f = 0
implica que f es identicamente nula en A. Dicho de otro modo, si
f 0, continua y no identicamente nula en A entonces
_
A
f > 0.
Demostracion. Como f no es identicamente nula en A y es continua,
tambien debe ser f no identicamente nula en el interior de A, es decir,
existe un x
0

A tal que f (x
0
) > 0. Sea L > 0 tal que f (x
0
) > L.
Entonces, usando que x
0
es un punto interior a A, que f es continua en A
y que A tiene contenido positivo, se deduce que existe un r > 0 tal que
B(x
0
, r ) A (si A tuviese contenido nulo esto no tendra por
que vericarse) y tal que x B(x
0
, r ), f (x) L. Por tanto, puesto que
B(x
0
, r ) A y f es no negativa
_
A
f
_
B(x
0
,r )
f . Ademas, usando la
acotacion anterior
_
A
f
_
B(x
0
,r )
f
_
B(x
0
,r )
L Lc(B(x
0
, r )) > 0
como queramos demostrar.
Teorema del valor medio del calculo integral.
Sea A medible Jordan, compacto y conexo, y sea f continua en A.
Entonces existe A tal que
_
A
f = f ()c(A)
Desigualdad Schwartz.
Sea A R
n
medible Jordan y sean f , g : A R integrables en A.
Entonces
(
_
A
fg)
2
_
A
f
2
_
A
g
2
Teorema del valor medio del calculo integral.
Sea A medible Jordan, compacto y conexo, y sea f continua en A.
Entonces existe A tal que
_
A
f = f ()c(A)
Desigualdad Schwartz.
Sea A R
n
medible Jordan y sean f , g : A R integrables en A.
Entonces
(
_
A
fg)
2
_
A
f
2
_
A
g
2
_
1
n
2
3
4
5
recintos.
Indice
1
Introduccion.
n
.
2
3
n
4
5
n
a R
m
.
n
a R
m
.
6
2

4. Simetras en integrales simples, dobles y triples. (1)
Introducimos en esta seccion una herramienta que conviene tener muy
presente a la hora de calcular integrales:
las simetras.
A la hora de considerarlas siempre se deben tener en cuenta los dos
elementos que aparecen en la integral:
el conjunto sobre el que se integra
y
la funcion a integrar sobre el.
4. Simetras en integrales simples, dobles y triples. (2)
_
`
1
Simetras en integrales simples.
2
Simetras en integrales dobles.
3
Simetras en integrales triples.
4.1. Simetras en integrales simples. (3)
Proposicion.
Sea f : [a, a] R integrable en [a, a].
Si f es par en [a, a], es decir, si
x [a, a] : f (x) = f (x) ,
entonces
_
a
a
f (x)dx = 2
_
a
0
f (x)dx .
Si f es impar en [a, a], es decir, si
x [a, a] : f (x) = f (x) ,
entonces
_
a
a
f (x)dx = 0 .
4.2. Simetras en integrales dobles. (4)
En lo sucesivo se supone que A R
2
es medible Jordan y que f : A R
es integrable en A.
Proposicion: Simetra respecto del eje x = 0 (eje Y).
Supongase que A es simetrico respecto del eje x = 0, es decir
(x, y) A (x, y) A
Si, ademas, f es par en x, es decir: (x, y) A : f (x, y) = f (x, y),
entonces
_ _
A
f (x, y)dxdy = 2
_ _
A
f (x, y)dxdy ,
donde A
es uno de los dos recintos en los que el eje x = 0 divide a A.

Si, ademas, f es impar en x: (x, y) A : f (x, y) = f (x, y),
entonces
_ _
A
f (x, y)dxdy = 0 .
Proposicion: Simetra respecto del eje y = 0 (eje X).
Supongase que A es simetrico respecto del eje y = 0, es decir
(x, y) A (x, y) A
Si, ademas, f es par en y, es decir: (x, y) A : f (x, y) = f (x, y),
entonces
_ _
A
f (x, y)dxdy = 2
_ _
A
f (x, y)dxdy ,
donde A
es uno de los dos recintos en los que el eje y = 0 divide a A.

Si, ademas, f es impar en y: (x, y) A : f (x, y) = f (x, y),
entonces
_ _
A
f (x, y)dxdy = 0 .
Proposicion: Simetra respecto de los dos ejes x = 0 e y = 0.
Supongase que A es simetrico respecto de los dos ejes.
Si, ademas, f es par en x y en y: (x, y) A : f (x, y) = f (x, y) y
f (x, y) = f (x, y), entonces
_ _
A
f (x, y)dxdy = 4
_ _
A
f (x, y)dxdy ,
donde A
es uno de los 4 recintos en los que los ejes x = 0 e y = 0

dividen a A.
Si, ademas, f es impar en x y en y:
(x, y) A : f (x, y) = f (x, y) y f (x, y) = f (x, y), entonces
_ _
A
f (x, y)dxdy = 0 .
Proposicion: Simetra respecto del origen.
Supongase que A es simetrico respecto del origen, es decir:
(x, y) A (x, y) A
Si, ademas, f es par: (x, y) A : f (x, y) = f (x, y), entonces
_ _
A
f (x, y)dxdy = 4
_ _
A
f (x, y)dxdy ,
donde A
es uno de los cuatro recintos que generan A por simetra

respecto del origen.
Si, ademas, f es impar: (x, y) A : f (x, y) = f (x, y),
entonces
_ _
A
f (x, y)dxdy = 0 .
Proposicion: Simetra respecto de la recta x = y.
Supongase que A es simetrico respecto de la recta x = y; es decir:
(x, y) A (y, x) A
Si, ademas, f es simetrica en x e y: (x, y) A, f (y, x) = f (x, y).
Entonces
_ _
A
f (x, y)dxdy = 2
_ _
A
f (x, y)dxdy ,
donde A
es uno de los dos recintos en los que la recta x = y divide a A.

Si, ademas, f es antisimetrica en x, y:
(x, y) A, f (y, x) = f (x, y). Entonces
_ _
A
f (x, y)dxdy = 0 .
4.3. Simetras en integrales triples. (9)
En lo sucesivo se supone que A R
3
es medible Jordan y que f : A R
es integrable en A.
Proposicion: Simetra respecto del plano x = 0.
Supongase que A es simetrico respecto del plano x = 0; es decir:
(x, y, z) A = (x, y, z) A.
Si, ademas, f es par en x, es decir:
(x, y, z) A : f (x, y, z) = f (x, y, z), entonces
_ _ _
A
f (x, y, z)dxdydz = 2
_ _ _
A
f (x, y, z)dxdydz ,
donde A
es uno de los dos recintos en los que el plano x = 0 divide a A.

Si, ademas, f es impar en x:
_ _ _
A
f (x, y, z)dxdydz = 0 .
Proposicion: Simetra respecto del plano y = 0.
Supongase que A es simetrico respecto del plano y = 0; es decir:
(x, y, z) A = (x, y, z) A.
Si, ademas, f es par en y, es decir:
_ _ _
A
_ _ _
A
f (x, y, z)dxdydz ,
donde A
es uno de los dos recintos en los que el plano y = 0 divide a A.

Si, ademas, f es impar en y:
_ _ _
A
Proposicion: Simetra respecto del plano z = 0.
Supongase que A es simetrico respecto del plano z = 0; es decir:
(x, y, z) A = (x, y, z) A.
Si, ademas, f es par en z, es decir:
_ _ _
A
_ _ _
A
f (x, y, z)dxdydz ,
donde A
es uno de los dos recintos en los que el plano z = 0 divide a A.

Si, ademas, f es impar en z:
_ _ _
A
Proposicion: Simetra respecto de los tres planos coordenados.
Supongase que A es simetrico respecto de los tres planos coordenados; es
decir:
(x, y, z) A = (x, y, z) A.
Si, ademas, f es par en x, en y y en z, entonces
_ _ _
A
_ _ _
A
f (x, y, z)dxdydz ,
donde A
es uno de los ocho recintos en los que los tres planos

coordenados dividen a A.
Si, ademas, f es impar en alguna de las coordenadas, entonces
_ _ _
A
Proposicion: Simetra respecto del origen.
Supongase que A es simetrico respecto del origen; es decir:
(x, y, z) A = (x, y, z) A.
Si, ademas, f es par: (x, y, z) A : f (x, y, z) = f (x, y, z),
entonces
_ _ _
A
_ _ _
A
f (x, y, z)dxdydz ,
donde A
es uno de los ocho recintos que generan A por simetra

respecto del origen.
Si, ademas, f es impar: (x, y, z) A : f (x, y, z) = f (x, y, z),
entonces
_ _ _
A
_
`
Simetras en R
3
con respecto a los ejes coordenados.
Pensarlas y escribirlas como un ejercicio.
Indice
1
Introduccion.
n
.
2
3
n
4
5
n
a R
m
.
n
a R
m
.
6
2

5. Cambio de variables en integrales m ultiples. (1)
De forma analoga a lo que sucede para las integrales simples, existe una
formula que expresa como se transforma una integral m ultiple cuando
se lleva a cabo un cambio de variable. Sin entrar ahora en detalle, se
puede decir que el caso multidimensional es mucho mas difcil que el
unidimensional basicamente por dos razones:
1. Para que una transformacion sea un cambio de variable valido
tiene que ser inyectiva. Para las funciones reales de variable real
hay criterios de sencilla aplicacion que permiten determinar si una
transformacion x = (y), y [c, d] es inyectiva en un intervalo.
En efecto, es inyectiva en un intervalo [c, d] si y solo si es
estrictamente monotona. Una condicion suciente para ello es
que
sea estrictamente positiva (o estrictamente negativa) en

(c, d). Pues bien, no existe un resultado analogo para comprobar
si una transformacion x = (y), y B R
n
es inyectiva en B.
2. La demostracion del teorema de cambio de variables para
integrales m ultiples es mucho mas complicada que la
correspondiente al caso unidimensional principalmente por la
siguiente razon: las funciones reales de variable real continuas
transforman intervalos en intervalos; sin embargo, las funciones
vectoriales de variable vectorial continuas no necesariamente
transforman rectangulos en rectangulos.
_
1
Cambio de variables en integrales simples.
2
Matriz jacobiana de una aplicacion de R
n
a R
m
.
3
Inyectividad (global) de una aplicacion de R
n
a R
n
.
4
Teorema de cambio de variable en integrales m ultiples.
5
Interpretacion del Jacobiano.
6
Ejemplos de cambios de variable.
5.1. Cambio de variables en integrales simples. (3)
Proposicion.
Sea : [c, d] [a, b], C
1
[a, b] y tal que y (c, d),
(y) = 0 (con
lo que es inyectiva en (a, b)). Sea f : [a, b] R continua. Entonces
_
b
a
f (x)dx =
_

1
(b)
1
(a)
f ((y))
(y)dy
debe ser inyectiva:
Proposicion: Sea I un intervalo (acotado o no, abierto, cerrado o
semiabierto) de R y sea : I R.
es inyectiva en I si y solo si es estrictamente monotona (en I )
Proposicion: Sea I un intervalo (acotado o no, abierto, cerrado o
semiabierto) de R y sea : I R derivable.
Si
(x) > 0 (< 0) para todo x I entonces es estrictamente

creciente (decreciente) en I .
_
1
2
n
a R
m
.
3
n
a R
n
.
4
5
6
5.2. Matriz jacobiana de una aplicacion de R
n
a R
m
. (5)
Denicion: Matriz jacobiana.
Sea R
n
abierto, : R
m
y sea a . Si existen las derivadas
parciales de las funciones componentes de en a, es decir, si existe

i
x
j
(a)
para todo i = 1, ..., m y para todo j = 1, ..., n, se dene la matriz jacobiana
de en el punto a como la siguiente matriz
(a) de dimensiones m n
(a) :=
_
1
x
1
(a)

1
x
2
(a)

1
x
n
(a)
2
x
1
(a)

2
x
2
(a)

2
x
n
(a)
.
.
.
.
.
.
.
.
.
.
.
.
m
x
1
(a)

m
x
2
(a)

m
x
n
(a)
_
_
R
mn
Al determinante de la matriz jacobiana en a se le denomina jacobiano
de en a, es decir,
J(a) := det
(a)
Claramente, J(a) es no nulo si y solo si
(a) es una matriz regular.

_
1
2
n
a R
m
.
3
n
a R
n
.
4
5
6
5.3. Inyectividad (global) de una aplicacion de R
n
a R
n
. (7)
Proposicion.
Sea : R
n
R
n
, C
1
() y sea y
0
. Si J(y
0
) = 0 (es decir,
si
(y
0
) es una matriz regular) entonces:
Inyectividad de . Existe un entorno U de y
0
tal que es inyectiva
en U.
Diferenciabilidad de la inversa local: Si denimos V := (U), la
aplicacion inversa (local)
1
: V U
(bien denida por ser inyectiva en U) cumple que es C
1
(V).
Calculo de la matriz jacobiana de la inversa. Sea x
0
:= (y
0
).
Entonces la matriz jacobiana de
1
en el punto x
0
cumple que
_
1
_
(x
0
) =
_
(y
0
)
1
n
a R
n
. (8)
Comentario.
Supongamos que K es un conjunto contenido en . El resultado anterior
garantiza que si J(y) = 0 para todo y K, entonces todo y K tiene
un entorno en el cual es inyectiva. Pero, en general, no es verdad que si
para todo y K, J(y) = 0 entonces sea inyectiva en K. Es decir,
puede pasar que en un entorno de cada punto sea inyectiva y, sin
embargo, no sea inyectiva globalmente sobre K.
Ejemplo: Considerese la aplicacion
: [0, 1] [0, 2] R
2
, := (x(, ), y(, )) ,
denida por
x = e
cos ; y = e
sen .
Operando se obtiene que J(, ) = e
2
que no se anula en ning un punto.
Sin embargo, (, 0) = (, 2) para todo , con lo que no es inyectiva
en K.
n
a R
n
. (9)
Se verica el siguiente resultado, que permite garantizar la inyectividad de
una aplicacion en ciertos casos:
Proposicion
Sea : R
n
, C
1
() y sea K un compacto incluido en . Si para
todo y K, J(y) = 0 y ademas la frontera de K se transforma en la
frontera de (K), entonces es inyectiva en K. Ademas,
1
es de clase
1 en (K).
En el ejemplo anterior se puede comprobar que no se cumple que la
frontera de K = [0, 1] [0, 2] se transforme en la frontera de (K).
_
1
2
n
a R
m
.
3
n
a R
n
.
4
5
6
5.4. Teorema de cambio de variable en integrales m ultiples. (11)
El siguiente resultado aparece en numerosos libros de texto:
Teorema
(a) Sea R
n
abierto y sea B un compacto medible Jordan.
(b) Sea : R
n
, C
1
() inyectiva, que cumple que J(x) = 0
en salvo quizas en un conjunto con contenido nulo.
(c) Sea f : A R continua, donde A := (B).
Entonces,
_
A
f (x)dx =
_
B
f ((y)) |J(y)| dy
Pero, la aplicabilidad de este teorema es limitada en la practica, debido a
que se exige que la transformacion sea inyectiva en todo el conjunto B,
condicion que no se cumple en muchos casos de interes como por ejemplo
la transformacion a polares en el plano.
El siguiente resultado, que es el que utilizaremos en lo sucesivo, es de
mucha mas aplicabilidad pues en el se debilitan las hipotesis sobre :
Teorema: Cambio de variables en integrales m ultiples.
(a) Sea R
n
abierto y sea B un compacto medible Jordan.
(b) Sea : R
n
tal que:
1
C
1
()
2
es inyectiva en
B (donde
B denota el interior de B)
3
J(x) = 0 en
B salvo quizas en un conjunto con contenido nulo.

(c) Sea f : A R continua, donde A := (B).
Entonces,
_
A
f (x)dx =
_
B
f ((y)) |J(y)| dy
_
`
SIMETR
IAS DE LAS INTEGRALES M
ULTIPLES.
El teorema de cambio de variables permite demostrar las propiedades de
simetra en las integrales m ultiples que se han enunciado en la seccion 4
anterior. Como ejemplo demostramos la siguiente propiedad en el plano:
Proposicion.
Sea A R
2
medible Jordan y f continua en A. Supongase que A es
simetrico respecto del eje x = 0 y que f es par en x, es decir,
f (x, y) = f (x, y) para todo (x, y) A. Entonces
_ _
A
f (x, y)dxdy = 2
_ _
A
f (x, y)dxdy
donde A
es uno de los dos recintos en los que el eje x = 0 divide a A.

Demostracion. Sean
A
= {(x, y) A : x 0} y

A = {(x, y) A : x < 0} .
Entonces A = A

A y son disjuntos, por lo que:
_ _
A
f (x, y)dxdy =
_ _
A
f (x, y)dxdy +
_ _
A
f (x, y)dxdy
En la segunda integral efectuamos el cambio (x, y) = (u, v) dado por
x = u , y = v .
Puesto que |J(u, v)| = 1 y
1
(
A) = A
se obtiene
_ _
A
f (x, y)dxdy =
_ _
A
f (x, y)dxdy +
_ _
A
f (u, v)dudv =
=
_ _
A
f (x, y)dxdy +
_ _
A
f (u, v)dudv = 2
_ _
A
f (x, y)dxdy
_
1
2
n
a R
m
.
3
n
a R
n
.
4
5
6
5.5. Interpretacion del Jacobiano. (16)
Con las hipotesis y notaciones del teorema de cambio de variables anterior:
Sean y
0
B, > 0, C
:=

B(y
0
, ) una bola cerrada de centro y
0
y
radio y D
:= (C
). Si se aplica el mencionado teorema a la funcion

f = 1 se obtiene
_
D
1dx =
_
C
1 |J(y)| dy = c(D
) =
_
C
|J(y)| dy
Como C
es compacto y conexo y |J(y)| es una funcion continua en C
,
se puede aplicar el teorema del valor medio para integrales, con lo que
existe
tal que
c(D
) =
_
C
|J(y)| dy = |J(
)| c(C
) =
lm
0
+
c(D
)
c(C
)
= lm
0
+
|J(
)| = |J(y
0
)|
donde se ha utilizado que cuando 0
+
, C
se contrae al punto y
0
y por
tanto
y
0
y que |J(y)| es continua en y
0
.
_
`
Por ello |J(y

0
)| es el factor de dilatacion local
entre los contenidos de D
y de C
.
Comentarios:
Para cada punto y B, el factor de dilatacion local de contenidos
|J(y)| sera en principio distinto, a menos que |J(y)| = cte sobre B.
Si es una transformacion que no altera el contenido de los
conjuntos, es decir, si es una isometra, se cumplira que |J(y)| = 1
para todo y B.
Composicion de dos cambios. Supongamos que se realiza un
cambio de variable x = (y) seguido de otro cambio y = (z). El
cambio global es x = (z) = (z) cuya matriz jacobiana es,
usando la regla de la cadena,
( )
(z) =
((z))
(z) =
(y)
(z).
Ahora, tomando determinantes, se obtiene J(z) = J(y)J(z), es
decir, el jacobiano de la composicion de dos cambios es el producto
de los jacobianos correspondientes a cada uno de ellos.
_
1
2
n
a R
m
.
3
n
a R
n
.
4
5
6
5.6. Ejemplos de cambios de variable. (20)
Cambio afn en R
n
:
Las transformaciones : R
n
R
n
mas sencillas son las
transformaciones anes, es decir, las transformaciones de la forma
x = (y) = Ay + b donde A R
nn
, b R
n
. En algunos contextos a
estas transformaciones se las llama lineales, pero hablando con
propiedad solo lo son cuando b = 0.
Del

Algebra Lineal se sabe que una transformacion afn de R
n
a R
n
es
inyectiva si y solo si A es una matriz regular, es decir, si y solo si
det A = 0.
Ademas es inmediato comprobar que, en una transformacion afn, se
cumple
(x) = A
es decir, la matriz Jacobiana es constante en todos los puntos y
ademas es precisamente la matriz de la transformacion afn. Ademas
|J(y)| = det A. Por ello, una transformacion afn de R
n
a R
n
es
inyectiva si y solo si su jacobiano es distinto de cero.
Algunas transformaciones anes de interes:
Traslacion. Corresponde al caso A = I , es decir, x = (y) = y + b.
Obviamente es inyectiva y |J(y)| = 1.
Dilatacion/contraccion. Estudiemos el caso en que x = (y) = Dy
donde D = diag(d
1
, ..., d
n
) es una matriz diagonal con elementos
diagonales d
1
, ..., d
n
que suponemos positivos. Corresponde a una
dilatacion/contraccion de razon d
i
a lo largo del eje i -esimo. Esta
transformacion es inyectiva y |J(y)| = d
1
d
2
d
n
.
Isometra. Estudiemos el caso en que x = (y) = Ay + b es una
isometra, lo que se cumple si y solo si A es una matriz ortogonal, es
decir, A
T
A = AA
T
= I , o lo que es lo mismo, A es regular y
A
1
= A
T
. En tal caso, det(A
T
A) = det(I ), es decir, det(A)
2
= 1 de
donde se sigue que det(A) {1, 1}. Entonces: |J(y)| = 1, que es
la misma conclusion a la que se llego anteriormente utilizando que las
isometras no alteran el contenido de los conjuntos.
Coordenadas polares en R
2
(1/3)
: R
2
R
2
(, ) (, ) = ( cos , sen) .
En componentes se escribe,
x = cos , y = sen
Claramente C
1
(R
2
).
Interpretacion geometrica: es la distancia del punto en cuestion al
origen mientras que es el angulo que el radio vector de dicho punto
forma con la parte positiva del eje x.
El jacobiano de la transformacion es
J(, ) = det
_
cos sen
sen cos
_
=
con lo que J(, ) = 0 salvo para = 0. Ademas |J(, )| = .
2
(2/3)
En resumen, sea B cualquier compacto contenido en [0, ) [0, 2].
Entonces se cumplen las hipotesis del teorema de cambio de variables,
pues es C
1
(R
2
) , inyectiva en
B y J = 0 en
B.
Por ello, en dicho conjunto la transformacion se puede invertir de la
siguiente forma
=
_
x
2
+ y
2
denido por
_
_
_
cos =
x
x
2
+y
2
sen =
y
x
2
+y
2
, [0, 2)
Observese que no es correcto decir que es arctan
y
x
.
2
(3/3)
Observese que la transformacion a polares transforma la corona
circular
_
(x, y) : r
1
x
2
+ y
2
r
2
_
en el rectangulo [r
1
, r
2
] [0, 2]
(en las variables (, )).
En algunas ocasiones es util realizar un cambio que consiste en el
cambio a polares compuesto con una traslacion, es decir,
x = + cos , y = + sen,
donde y son constantes. El jacobiano de esta transformacion es
tambien .
Ejercicio: En R
2
, calcular el area del disco de centro (a, b) y radio R.
Coordenadas elpticas en R
2
(1/2)
: R
2
R
2
(u, v) (u, v) = (au cos v, bu senv)
donde a y b son constantes positivas. En componentes se escribe,
x = au cos v , y = bu sen v
Claramente C
1
(R
2
).
Se puede apreciar que la transformacion a elpticas no es mas que la
composicion una transformacion a polares seguida de una dilatacion
por un factor a seg un el eje x y por un factor b seg un el eje y. Por
ello, es inyectiva en el mismo conjunto que la transformacion a
polares, es decir, en (0, ) [0, 2).
J(u, v) = abu
con lo que J(, ) = 0 salvo para = 0. Ademas |J(, )| = ab.
Coordenadas elpticas en R
2
(2/2)
Como en el caso de las polares, si se toma B como cualquier
compacto contenido en el conjunto [0, ) [0, 2] se cumplen las
hipotesis en el teorema de cambio de variables, pues es C
1
(R
2
),
inyectiva en
B y J = 0 en
B.
La transformacion a elpticas transforma el conjunto
_
(x, y) :
_
x
a
_
2
+
_
y
b
_
2
1
_
en el rectangulo [0, 1] [0, 2] (en las
variables (u, v)).
Observese que, a diferencia de la transformacion a polares, u y v no
tienen una interpretacion geometrica sencilla.
Ejercicio: En R
2
, calcular el area de la elipse de semiejes a y b.
Coordenadas cilndricas en R
3
(1/3)
: R
3
R
3
(, , z) (, , z) = ( cos , sen, z)
donde C
1
(R
3
). Es decir: x = cos , y = sen, z = z.
Observese que el cambio a cilndricas es el analogo al cambio a
polares pero a nadiendo una nueva dimension y, por tanto, como en
el caso de las coordenadas polares, en la transformacion a cilndricas,
, y z tienen una interpretacion geometrica muy sencilla.
J(, , z) = det
_
_
cos sen 0
sen cos 0
0 0 1
_
_
=
con lo que J(, , z) = 0 salvo para = 0.
3
(2/3)
La transformacion a cilndricas es inyectiva en el conjunto
(0, ) [0, 2) R pero no en [0, ) [0, 2] R. La imagen del
conjunto (0, ) [0, 2) R es R
3
salvo el eje z, por lo que la
transformacion : (0, ) [0, 2) R R
3
{(0, 0, z) : z R} es
biyectiva.
Por lo tanto, en dicho conjunto la transformacion se puede invertir de
la siguiente forma
=
_
x
2
+ y
2
denido por
cos =
x
x
2
+y
2
sen =
y
x
2
+y
2
, [0, 2)
z = z
3
(3/3)
En resumen, si se toma como B cualquier compacto contenido en el
conjunto [0, ) [0, 2] R se cumplen las hipotesis en el teorema
de cambio de variables, pues es C
1
(R
3
) y cumple que es inyectiva
en
B y J = 0 en
B.
Observese que la transformacion a cilndrica transforma el rectangulo
(en las variables (, , z)) [0, R] [0, 2] [z
1
, z
2
] en el cilindro
_
(x, y, z) : x
2
+ y
2
R
2
, z
1
z z
2
_
.
Ejercicio: En R
3
, calcular el volumen de un cilindro de altura h y
radio de la base igual a R.
Coordenadas esfericas en R
3
(1/3)
: R
3
R
3
(, , ) (, , ) = (r cos sen, r sensen, r cos )
donde C
1
(R
3
). Es decir: x = r cos sen, y = r sensen,
z = r cos .
Como en el caso de polares y cilndricas, en la transformacion a
esfericas r , y tienen una interpretacion geometrica muy sencilla.
La transformacion a esfericas es inyectiva en el conjunto
(0, ) [0, 2) (0, ) pero no en [0, ) [0, 2] [0, ]. La
imagen del conjunto (0, ) [0, 2) (0, ) es R
3
salvo el eje z, por
lo que la transformacion
: (0, ) [0, 2) (0, ) R
3
{(0, 0, z) : z R} es biyectiva.
3
(2/3)
En el conjunto anterior la transformacion se puede invertir de la
siguiente forma
r =
_
x
2
+ y
2
+ z
2
denido por cos =
z
_
x
2
+ y
2
+ z
2
, (0, )
denido por
_
cos =
x
r sen
sen =
y
r sen
, [0, 2)
Operando, el jacobiano de la transformacion resulta ser
J(r , , ) = r
2
sen
con lo que J(r , , ) > 0 en (0, ) [0, 2) (0, ).
3
(3/3)
En resumen, si se toma como B cualquier compacto contenido en el
conjunto [0, +) [0, 2] [0, ] se cumplen las hipotesis en el
teorema de cambio de variables, pues es C
1
(R
3
) y cumple que es
inyectiva en
B y J = 0 en
B.
Observese que la transformacion a esfericas transforma el rectangulo
(en las variables (r , , )) [0, R] [0, 2] [0, ] en la esfera
_
(x, y, z) : x
2
+ y
2
+ z
2
R
2
_
.
Ejercicio: En R
3
, calcular el volumen de una esfera de radio R.
Coordenadas elipsoidales en R
3
(1/2)
: R
3
R
3
(u, v, w) (u, v, w) = (au cos vsenw, bu senvsenw, cu cos w)
donde C
1
(R
3
). Es decir: x = au cos vsenw, y = bu senvsenw,
z = cu cos w.
En la transformacion a coordenadas elipsoidales u, v y w no tienen
una interpretacion geometrica sencilla.
la transformacion a elipsoidales no es mas que la composicion de una
transformacion a esfericas seguida de una dilatacion de los ejes x, y y
z seg un factores a, b y c respectivamente. Por ello, es inyectiva en el
mismo conjunto que la transformacion a esfericas, es decir, en
(0, ) [0, 2) (0, ).
Coordenadas elipsoidales en R
3
(2/2)
J(u, v, w) = abcu
2
senw
con lo que J(u, v, w) > 0 en el conjunto anteriormente mencionado.
Como en el caso de las esfericas, si se toma B como cualquier
compacto contenido en el conjunto [0, ) [0, 2] [0, ] se
cumplen las hipotesis en el teorema de cambio de variables, pues es
C
1
(R
3
), inyectiva en
B y J = 0 en
B.
Observese que la transformacion a elipsoidales transforma el
rectangulo (en las variables (u, v, w)) [0, 1] [0, 2] [0, ] en el
elipsoide
x
2
a
2
+
y
2
b
2
+
z
2
c
2
1.
Otros en R
3
(1/1)
Cilndricas con otros ejes.
Cilndricas con base elipsoidal.
Giros de angulo .
...
Indice
1
Introduccion.
n
.
2
3
n
4
5
n
a R
m
.
n
a R
m
.
6
2

6. Aplicaciones geometricas y fsicas de la integral m ultiple.
(1)
Sera interminable enumerar las aplicaciones de la integral. Este con-
cepto fundamental aparece de forma natural en todas las areas de la
ciencia y la tecnica, la economa y, en general, en el contexto de cual-
quier disciplina en la que se trate de construir un modelo matematico
de alg un fenomeno.
Aqu nos limitaremos a considerar algunas de las aplicaciones mas in-
mediatas de la integral m ultiple, aunque no por ello menos importantes.
(2)
_
1
Valor promedio de un campo escalar.
2

3
Centroides y centros de gravedad.
4
Momentos de inercia. Teorema de Steiner.
5
Vol umenes de revolucion. Teorema de Guldin.
6.1. Valor promedio de un campo escalar. (3)
Denicion.
Sea A R
n
medible Jordan y f : A R un campo escalar integrable en
A. El valor promedio de f en A se dene a traves de la expresion:
f
A
:=
1
c(A)
_
A
fdx
1
dx
n
.
Proposicion (Problema 2.6 de la coleccion)
El promedio integral de f en A coincide con la mejor aproximacion en
media cuadratica de f en A por una constante.
Demostracion. El valor de que minimiza la funcion:
() :=
_
A
(f )
2
= 2c(A)
2
2
_
A
f +
_
A
f
2
0 ,
es el que anula su derivada; es decir, el promedio integral de f en A.
Denicion.
Sea A R
n
medible Jordan y f : A R un campo escalar integrable en
A. El valor promedio de f en A se dene a traves de la expresion:
f
A
:=
1
c(A)
_
A
fdx
1
dx
n
.
Proposicion (Problema 2.6 de la coleccion)
El promedio integral de f en A coincide con la mejor aproximacion en
media cuadratica de f en A por una constante.
Demostracion. El valor de que minimiza la funcion:
() :=
_
A
(f )
2
= 2c(A)
2
2
_
A
f +
_
A
f
2
0 ,
es el que anula su derivada; es decir, el promedio integral de f en A.
Comentario (segunda parte del Problema 2.5 de la coleccion).
El valor mnimo de la integral, que se alcanza para = f
A
, es:
(
min
) :=
_
A
f
2
1
c(A)
__
A
f
_
2
0 ,
que, como se indica, es no negativo puesto que es la integral de una
funcion no negativa. Esto da lugar a la desigualdad:
__
A
f
_
2
c(A)
_
A
f
2
(segunda parte del Pb. 2.5).
Es interesante observar que esta desigualdad es estricta si f es continua, a
no ser que que f sea constante en A. En efecto, si la desigualdad fuese
una igualdad, se tendra:
_
A
(f f
A
)
2
= 0 f = f
A
,
puesto que la integral de una funcion continua no negativa es
estrictamente positiva a menos que la funcion sea identicamente nula.
(5)
_
1
2

3
4
5
6.2.

Areas, vol umenes y masas. (6)
Denicion:

Area (en R
2
).
Sea A R
2
medible Jordan. El area de A se dene a traves de
Area(A) := c(A) =
_ _
A
dxdy 0 .
Denicion: Volumen (en R
3
).
Sea A R
3
medible Jordan. El volumen de A se dene a traves de
Vol(A) := c(A) =
_ _ _
A
dxdydz 0 .
6.2.

Principio de Cavalieri (Problema 4.10 de la coleccion) (1/2).
Sea un cuerpo solido y sea A(z) el area de la seccion transversal medida
a una distancia z de un plano de referencia. Sean z
1
y z
2
las distancias
mnima y maxima del solido al plano de referencia. Entonces:
Vol () =
_
z
2
z
1
A(z)dz .
Dem. Integrar en ultimo lugar con respecto a la coordenada z.
6.2.

Principio de Cavalieri (Problema 4.10 de la coleccion) (2/2).
Como consecuencia del resultado anterior se tiene el llamado Principio de
Cavalieri:
Sean A, B R
3
dos conjuntos acotados medibles Jordan. Se denen:
A
z
= {(x, y) R
2
, (x, y, z) A}, B
z
= {(x, y) R
2
, (x, y, z) B}.
Supongase que cada A
z
y B
z
es medible Jordan y que ademas tienen el
mismo contenido de Jordan. Demostrar que entonces A y B tienen el
mismo volumen.
Dem.
Vol (A) =
_ _ _
A
dxdydz =
_
z
2
z
1
dz
_ _
A
z
dxdy =
_
z
2
z
1
c(A
z
)dz
=
_
z
2
z
1
c(B
z
)dz =
_
z
2
z
1
dz
_ _
B
z
dxdy =
_ _ _
B
dxdydz = Vol (B)
6.2.

Denicion: Masa (en R
2
y R
3
).
Sea A R
2
medible Jordan sobre el que hay denido una densidad
supercial de masa (x, y) 0 (kg/m
2
). Entonces la masa de A es
Masa(A) :=
_ _
A
(x, y)dxdy 0 .
Sea A R
3
volumetrica de masa (x, y, z) 0 (kg/m
3
). Entonces la masa de A
es
Masa(A) :=
_ _ _
A
(x, y, z)dxdydz 0 .
(10)
_
1
2

3
4
5
6.3. Centroides y centros de gravedad. (11)
Denicion: Centro de gravedad
Sea A R
n
volumetrica de masa . El centro de gravedad de A es punto
r
g
(A) :=
_
x
g
1
(A), . . . , x
g
n
(A)
_
R
n
denido por:
x
g
k
(A) =
_
A
x
k
_
A

=
_
A
x
k
Masa(A)
, k = 1 . . . , n .
Si A es homogeneo (i.e., la densidad es una constante k R
+
), entonces
el centro de gravedad se denomina centroide de A y no depende de la
constante k.
Por ejemplo, en R
3
es un punto r
g
(A) := (x
g
(A), y
g
(A), z
g
(A)) en el que
la primera coordenada tiene la expresion:
x
g
(A) =
1
Masa(A)
_ _ _
A
x(x, y, z)dxdydz
y analogamente se escribiran las otras dos componentes.
6.3. Centroides y centros de gravedad. (12)
Proposicion (Problema 4.13 de la coleccion).
Sean A
j
(j = 1, . . . , m) m conjuntos medibles Jordan con interiores
disjuntos y sea A =
m
j =1
A
j
. Entonces se verica
Masa(A)r
g
(A) =
m
j =1
Masa(A
j
)r
g
(A
j
)
Demostracion. Consecuencia inmediata de la propiedad de aditividad en
el recinto de integracion que satisfacen las integrales m ultiples.
(13)
_
1
2

3
4
5
6.4. Momentos de inercia. Teorema de Steiner (en R
3
) (14)
En esta seccion A R
3
es un conjunto medible Jordan en el que existe
una distribucion continua de masa con densidad en cada punto (x, y, z).
Denicion: Momento de inercia de una distribucion continua de masa
respecto de un punto.
Sea q := (a, b, c) un punto de R
3
y r = (x, y, z). El momento de inercia
de A respecto de q es:
I
q
:=
_ _ _
A
r q
2
(x, y, z)dxdydz =
=
_ _ _
A
_
(x a)
2
+ (y b)
2
+ (z c)
2
_
(x, y, z)dxdydz
3
) (15)
respecto de una recta.
Sea s una recta y sea d
s
(x, y, z) la distancia del punto (x, y, z) a la recta
s. El momento de inercia de A respecto de s es
I
s
:=
_ _ _
A
(d
s
(x, y, z))
2
(x, y, z)dxdydz .
Si s tiene tiene vector director unitario u entonces
d
s
(x, y, z) = r u
y por tanto
I
s
:=
_ _ _
A
r u
2
(x, y, z)dxdydz
3
) (16)
Teorema de Steiner.
El momento de inercia de un solido A R
3
respecto de una recta r es
igual al momento de inercia de A respecto de una recta s paralela a r que
pasa por su centro de gravedad, mas el producto de la masa de A por el
cuadrado de la distancia que separa las dos rectas.
Demostracion. Consideramos un sistema de referencia cartesiano en el
que el origen de coordenadas coincide con el centro de gravedad de A, el
eje OZ es la recta s y el plano OYZ es el que contiene a las dos rectas r y
s. Sea D la distancia entre las rectas r y s, con lo que el cuadrado de la
distancia de un punto (x, y, z) a r es:
d
r
(x, y, z) = (y d)
2
+ x
2
= x
2
+ y
2
2dy = d
2
z
(x, y, z) + d
2
2dy ,
donde d
z
es la distancia de (x, y, z) al eje OZ ........
3
) (17)
Teorema de Steiner.
Demostracion (cont.).
Entonces:
I
r
(A) =
_ _ _
A
d
2
r
(x, y, z)(x, y, z)dxdydz
=
_ _ _
A
(d
2
z
(x, y, z) + d
2
2dy)(x, y, z)
= I
s
(A) + d
2
Masa(A) ,
ya que la ultima integral es un m ultiplo de la coordenada y del centro de
gravedad, que es cero debido a la eleccion que se ha hecho del origen de
coordenadas.
3
) (18)
respecto de un plano.
Sea un plano y sea d
(x, y, z) la distancia del punto (x, y, z) al plano

. El momento de inercia de A respecto de es
I
:=
_ _ _
A
(d
(x, y, z))
2
(x, y, z)dxdydz .
Si el plano tiene ecuacion x + y + Z + = 0 entonces:
d
(x, y, z) =
|x + y + Z + |
_
2
+
2
+
2
y por tanto:
I
:=
1
2
+
2
+
2
_ _ _
A
(x + y + Z + )
2
(x, y, z)dxdydz .
(19)
_
1
2

3
4
5
6.5. Vol umenes de revolucion. Teorema de Guldin. (20)
Vol umenes de revolucion engendrados por recintos planos.
Sea la region plana A R
2
medible Jordan. Entonces:
1
El conjunto engendrado cuando A gira alrededor del eje y de R
3
es
B
y
:=
_
(x, y, z) R
3
: x
2
+ z
2
= v
2
, y = u , (u, v) A
_
.
{x = v cos , z = vsen , y = u} Vol (B
y
) = 2
_ _
A
vdvdu .
2
El conjunto engendrado cuando A gira alrededor del eje x de R
3
B
x
:=
_
(x, y, z) R
3
: y
2
+ z
2
= u
2
, x = v , (u, v) A
_
.
{y = u cos , z = usen , x = v} Vol (B
x
) = 2
_ _
A
udvdu .
En ambos casos: [0, 2], (u, v) A son las nuevas coordenadas.
Teorema de Guldin (Problema 4.18 de la coleccion).
El volumen engendrado por un recinto plano que gira alrededor de un eje
no secante y situado en su mismo plano es igual al producto del area del
recinto por la longitud de la circunferencia descrita por su centro de
gravedad.
Demostracion. Supongamos que el conjunto engendrado al girar A es
como el B
y
R
3
anterior. Su volumen es: Vol (B
y
) =
___
B
y
dxdydz.
Efectuamos en esta integral el cambio de variables:
x = v cos , z = vsen , y = u , [0, 2) , (u, v) A.
Vol (B
y
) =
_ _ _
A[0,2]
vdudvd =
__
2
0
d
___ _
A
vdvdu
_
= 2v
g
Area(A) .
Proposicion: Vol umenes de revolucion engendrados por recintos
planos. (Problema 4.19 de la coleccion).
Sea la region plana S :=
_
(x, y) R
2
: x [a, b], 0 y f (x)
_
, donde
f es una funcion continua y no negativa en [a, b]. Entonces:
1
El volumen engendrado cuando S gira alrededor del eje x es
V =
_
b
a
f
2
(x)dx .
2
Si a 0, el volumen engendrado cuando S gira alrededor del eje y es
V = 2
_
b
a
xf (x)dx .
Demostracion. Se hace en clase.
Proposicion: Vol umenes de revolucion en coordenadas polares.
Sea D el dominio plano encerrado por la curva := () y los radios de
posicion de sus puntos inicial y nal (dibujarlo).
Entonces el volumen de solido engendrado al girar D alrededor del eje
polar es:
Vol () =
2
3
_

2
3
()sen d .
Demostracion. Se hace en clase.
FINAL DE LOS TEMAS 2, 3 Y 4 SOBRE INTEGRACI
ON
M
ULTIPLE
Los contenidos referidos a integracion m ultiple
impropia se encuentran al nal del Tema de
integracion impropia en R.
Tema 5: Integrales curvilneas. Teorema de Green.
Alejandro Zarzo
Ampliacion de Calculo (2009 - 2010) Tema 5: Integrales curvilneas ... Alejandro Zarzo 1 / 67
Indice (1/2)
1
Concepto de arco.
2
Cambios de parametro y curvas.
3
Metodos para parametrizar curvas en R
2
y R
3
.
4
Curvas de clase 1. Vector tangente a una curva.
5
Longitud de arco. Caminos C
1
a trozos.
6
Integrales curvilneas.
6.1 Integral curvilnea de un campo vectorial. Circulacion.
6.2 Integral curvilnea de un campo escalar.
6.3 Simetras en las integrales curvilneas.
.../...
Indice (2/2)
7
Independencia del camino en la integral curvilnea. Campos
conservativos.
8
Teorema de Green (R
2
).
8.1 Orientacion de una curva de Jordan plana. Conjuntos simplemente
conexos.
8.2 Teorema de Green.
8.3 Algunas consecuencias y aplicaciones del teorema de Green.
Aplicaci on del teorema de Green al calculo de areas.
Campos conservativos en R
2
: Condici on suciente.
Invariancia de una integral curvilnea plana al deformar el camino.
Teorema de Gauss en R
2
.
F ormulas de Green en el plano.
1. Concepto de arco. (1)
Todos tenemos una idea intuitiva de lo que es una curva, pero para
poder manejarlas correctamente es necesario dar una denicion
precisa de lo que son.
Esta idea de curva en R
n
es la de un cierto conjunto de puntos en R
n
(un lugar geometrico que puede en ocasiones describirse mediante
una ecuacion cartesiana). Nosotros trabajaremos con lo que llamare-
mos parametrizacion de la curva.
Estas parametrizaciones no son unicas con lo que aparecera el
problema de trabajar con propiedades y resultados que sean
independientes de la parametrizacion. Es decir, propiedades
intrnsecas de lo que llamaremos curvas.
Para denir con precision estas parametrizaciones e introducir el
concepto de curva necesitaremos las propiedades de las funciones
vectoriales de una variable real: r : I R R
n
.
Funciones vectoriales de variable real.
Sea I un intervalo de R, y sea la funcion vectorial de variable real
r : I R
n
t r (t) = (r
1
(t), r
2
(t), ..., r
n
(t))
Continuidad.
Denicion. r es continua en t
0
I
def.
r (t
0
) = lm
tt
0
r (t).
Ademas, r es continua en I
def.
t I , r es continua en t.
Proposicion. r es continua en t
0
las funciones r
1
(t), ..., r
n
(t) son
continuas en t
0
.
Funciones vectoriales de variable real: Derivacion.
Denicion. r es derivable en t
0
I
def.
existe y es nito el lmite
lm
h0
(r (t
0
+ h) r (t))/h y en tal caso se dene dicha derivada
r
(t
0
) como el valor del lmite.
Proposicion. r es derivable en t
0
I las funciones r
1
(t), ..., r
n
(t)
son derivables en t
0
, y en tal caso r
(t
0
) = (r
1
(t
0
), ..., r
n
(t
0
)).
Proposicion: Regla de la cadena. Si f es una funcion real de variable
real, la derivada de la aplicacion r (f (t)) es:
d
dt
r (f (t)) =r
(f (t))f

(t).
Derivada del producto escalar y el producto vectorial.
d
dt
(r (t) w(t)) =
dr
dt
(t) w(t) +r (t)
d w
dt
(t)
d
dt
(r (t) w(t)) =
dr
dt
(t) w(t) +r (t)
d w
dt
(t) .
Funciones vectoriales de variable real: Integracion.
Denicion. Se dice que r es integrable en [a, b] cuando todas las
funciones componentes r
1
, ..., r
n
son integrables en dicho intervalo y
entonces se dene
_
b
a
r (t)dt :=
__
b
a
r
1
(t)dt, ...,
_
b
a
r
n
(t)dt
_
.
Deniciones. (1/3)
Denicion: Arco Parametrizado. . Es una aplicacion
r : [a, b] R
n
t r (t)
continua, en la que t se denomina parametro.
Comentarios:
La idea intuitiva que tenemos de una curva es la de la imagen de la
aplicacion r que es un subconjunto de R
n
.
La aplicacion r se puede interpretar como la deformacion de un
alambre que inicialmente ocupa el intervalo [a, b].
El parametro se puede interpretar fsicamente como tiempo y r (t)
como la posicion de un movil en funcion del tiempo.
Notese que la parametrizacion lleva implcita una orientacion o
sentido de recorrido de la curva. Esta informacion es inaccesible si
s olo se conoce la imagen de la aplicacion.
Deniciones. (2/3)
Denicion: ecuaciones parametricas del arco. Son
x
1
= r
1
(t), x
2
= r
2
(t), ..., x
n
= r
n
(t), t [a, b]
y, como ya se ha comentado, dan mas informacion que las cartesianas.
Ejemplo: x
2
+ y
2
= 1 ; x = cos t, y = sent.
Denicion: Extremos del arco: Los extremos del arco r : [a, b] R
son los puntos r (a) y r (b).
Comentario: los extremos del arco no tienen por que coincidir con
los extremos del mismo en el sentido geometrico habitual.
Denicion: Arco cerrado. Arco parametrizado en el que r (a) =r (b).
Comentario: Un arco cerrado no tiene por que ser cerrado en sentido
geometrico.
Deniciones. (3/3)
Denicion: Arco simple. Es un arco inyectivo.
Denicion: Arco cerrado simple o curva de Jordan. Es un arco
cerrado que, ademas, es inyectivo salvo en los extremos, es decir,
r : [a, b] R
n
continua con r (a) =r (b) y r (t) inyectiva en [a, b).
Comentario: La graca de una curva no aporta toda la informacion
sobre como se recorre, pues no dice cuantas veces se pasa por cada
punto y tampoco caracteriza el sentido de recorrido. Sin embargo, la
parametrizacion r : [a, b] R
n
si contiene toda esa informacion.
Nocion de punto en un arco. Geometricamente se trata de un
punto de la imagen de la parametrizacion. Sin embargo, esto es
incompleto. Por ejemplo, para arcos no inyectivos, un punto de la
imagen puede corresponder a varios valores del parametro. A efectos
de calculo de la recta tangente esto no importa, pero s es relevante
cuando se trata del vector tangente, que podra cambiar de sentido.
Indice
1
Concepto de arco.
2
2. Cambios de parametro y curvas. (1)
Denicion: Cambio de parametro.
Un cambio de parametro es un difeomorsmo de clase C
1
entre intervalos
cerrados, es decir, una aplicacion
: [c, d] [a, b]
s t = (s)
que cumple:
a) es biyectiva, luego admite inversa
1
.
b) es de clase C
1
en [c, d].
c)
1
es de clase C
1
en [a, b].
Proposici on.
Los cambios de parametro son estrictamente crecientes o estrictamente
decrecientes.
Demostracion: Sea h =
1
. Se tiene entonces que h((s)) = s y
derivando: h
((s))
(s) = 1, de donde se deduce que
(s) ,= 0 para todo

s [a, b]. De esta forma, como
es continua, hay dos posibilidades:

1)
(s) > 0 para todo s [c, d] en cuyo caso es estrictamente

creciente.
2)
(s) > 0 para todo s [c, d] en cuyo caso es estrictamente

decreciente.
Denicion: Arcos equivalentes (directa e inversamente).
Se dice que dos arcos r : [a, b] R
n
y w : [c, d] R
n
son equivalentes
cuando existe un cambio de parametro que los relaciona; es decir, cuando
existe un difeomorsmo de clase C
1
: [c, d] [a, b]
s t = (s)
tal que w =r :
[c, d]

[a, b]
r
R
n
, [c, d]
w=r
R
n
.
Se dice que los arcos son:
a) Directamente equivalentes: cuando el cambio de parametro es creciente.
b) Inversamente equivalentes: cuando el cambio de parametro es
decreciente.
Propiedades de los Arcos equivalentes.
1
Los arcos equivalentes tienen la misma imagen.
2
En los arcos directamente equivalentes, se recorren los mismos puntos
el mismo n umero de veces y en la misma direccion.
3
En los arcos inversamente equivalentes, se recorren los mismos puntos
el mismo n umero de veces en sentido contrario.
4
Si w =r es derivable, w
(s) =r
((s))
(s) luego como en general
(s) ,= 1, la velocidad de recorrido de cada arco es distinta.

5
Si r y w son arcos que recorren los mismos puntos el mismo n umero
de veces y en el mismo sentido (resp. sentido contrario), y ademas r
y w
no se anulan en ning un punto, entonces r y w son directamente

equivalentes (resp. inversamente equivalentes).
6
Como resumen intuitivo: los arcos equivalentes representan
movimientos de m oviles en los que la unica diferencia es la
velocidad con la que se recorre el arco.
Arcos geometricos y curvas o caminos.
1
Proposicion: La relacion ser equivalente a es una relacion de
equivalencia.
2
Denicion: Arco geometrico correspondiente a un arco
parametrizado r : [a, b] R
n
,es la clase de equivalencia
correspondiente a todos los arcos equivalentes a r : [a, b] R
n
.
3
Denicion: Arco geometrico orientado, curva o camino. Es la
clase de equivalencia correspondiente a todos los arcos equivalentes
directamente a uno dado r : [a, b] R
n
.
4
Denicion: Propiedades intrnsecas de una curva. Son aquellas
que son independientes de la parametrizacion que se elija (que
conserve la orientacion).
Una vez jadas estas deniciones y como suele ser habitual, se
hara un uso muy amplio de la palabra curva. En algunas
ocasiones hara referencia a una clase de equivalencia de arcos, y en
otras a la imagen de la aplicacion que dene dichos arcos.
Indice
1
Concepto de arco.
2
3
2
y R
3
.
3. Metodos para parametrizar curvas en R
2
y R
3
. (1)
Parametrizacion de rectas y segmentos. La recta que pasa por dos
puntos a y

b de R
n
se puede parametrizar de la forma
r () =a +
_
b a
_
, R.
En el caso del segmento que une los puntos a y

b basta con hacer
[0, 1]. En tal caso, el segmento se recorre empezando en a y
terminando en

b.
Sin embargo, ...
No existe ning un procedimiento general que sirva
para parametrizar una curva dada por sus ecuaciones cartesianas. A
continuacion se dan algunas ideas sencillas sobre algunos casos
particulares de interes.
2
y R
3
. (2)
Curvas en R
2
(1/2).
(a) Curvas denidas por una ecuacion explcita: y = f (x), x [a, b].
Una curva de este tipo se parametriza de forma inmediata mediante
x = t
y = f (t), t [a, b] .
(b) Curvas denidas por una ecuacion implcita g(x, y) = 0.
b.1. Si la curva es algebraica de grado 2 (es decir, si g es un polinomio
en las variables x e y de grado dos) se pueden utilizar las igualdades
sen
2
t + cos
2
t = 1 ; ch
2
t sh
2
t = 1
b.2. Si g es algebraica de grado mayor que dos, en algunas ocasiones se
puede utilizar la tecnica de parametrizacion racional de curvas planas.
2
y R
3
. (3)
Curvas en R
2
(2/2).
(b) Curvas denidas por una ecuacion implcita g(x, y) = 0 (cont).
b.3. Parametrizacion polar. Se puede sustituir x = cos , y = sen
en la ecuacion de la curva e intentar despejar en funcion de en la
forma = g(), [a, b]. Entonces la curva se puede parametrizar por
x = g() cos y = g() sen ( [a, b]) .
En cuanto al problema inverso, para obtener las ecuaciones
cartesianas de una curva a partir de unas ecuaciones parametricas,
basta con eliminar el parametro de estas (si ello es posible) y luego
identicar la porcion de la misma que nos interesa.
2
y R
3
. (4)
Curvas en R
3
.
La representacion cartesiana general de una curva en R
3
esta denida
por dos ecuaciones del tipo
f (x, y, z) = 0 , g (x, y, z) = 0 .
Un procedimiento para parametrizar curvas de este tipo es proyectar
sobre un plano coordenado (normalmente el plano xy), parametrizar
dicha proyeccion y luego sustituir en la variable restante
(normalmente la z).
Otra posibilidad es parametrizar una supercie en la forma
(x, y, z) = (u, v), (u, v) y, usando la ecuacion de la otra
supercie, encontrar una relacion entre u y v, por ejemplo v = g(u),
en cuyo caso la curva se podra parametrizar en la forma
(x, y, z) = (u, g(u)), u [a, b].
Indice
1
Concepto de arco.
2
3
2
y R
3
.
4
4. Curvas de clase 1. Vector tangente a una curva. (1)
Denicion: Arco C
1
. Se dice que el arco r : [a, b] R
n
es de clase
C
1
si r (t) es una aplicacion de clase C
1
, es decir, admite derivada
continuas en [a, b], donde, en los extremos, por derivada hay que
entender las derivadas laterales correspondientes.
Proposicion. La propiedad ser de clase C
1
es intrnseca, con lo
que se puede hablar de caminos (o curvas o arcos geometricos) de
clase C
1
.
Proposicion: Vector tangente a una curva. Sea un arco
r : [a, b] R
n
de clase C
1
y sea t [a, b]. Entonces se verica que
el vector r
(t) es tangente a la imagen de r ( Im(r )) en el punto

r (t), es decir, r
(t) tiene la direccion del lmite de las secantes
mm
=r (t + h) r (t) cuando el punto m
tiende a m.
r
(t) = lm
h0
mm
h
= lm
h0
r (t + h) r (t)
h
.
Comentarios:
En el caso de los extremos del intervalo, a y b, se debe entender por
vector tangente el denido por la derivada lateral correspondiente.
Notese que r
(t) esta orientado en la direccion del movimiento sobre la

curva.
Denicion: Punto regular/punto singular de un arco. t
0
es un
punto regular del arco r : [a, b] R
n
de clase C
1
def.
r
(t
0
) ,=
0.
Analogamente, t
0
es un punto singular
def.
r
(t
0
) =
0.
Denicion: Arco regular. Arco parametrizado tal que todos sus
puntos son regulares.
Comentarios:
Para arcos w y r equivalentes: w
(s) =r
(t)
(s) y
(s) ,= 0 para todo

s [c, d], por lo que r
(t) ,=
0 si y solo si w
(s) ,=
0. Por tanto:
a) La regularidad de un punto es una propiedad intrnseca del arco.
b) La direcci on y el sentido del vector tangente es una propiedad
intrnseca del arco.
Un punto singular es aquel en el que la velocidad instantanea de
movimiento es nulo. Por ello, no tiene que ver con una propiedad
geometrica de la imagen, sino con la forma en la que se recorre dicha
imagen.
Ejemplo
La porcion de recta x = y = z contenida en el primer octante se puede
parametrizar en la forma x =r (t), t [0, )
x = t
2
; y = t
2
; z = t
2
; t [0, )
que en t = 0 tiene un punto singular. Sin embargo, si parametrizo la recta
en la forma x = w(s), s [0, )
x = s ; y = s ; z = s ; s [0, )
todos los puntos son regulares. Es decir, s = 0 es un punto regular de w
pero t = 0 es punto singular de r (t). Esto se debe a que el cambio s = t
2
es un difeomorsmo de clase 1 en (0, ) pero no en [0, ) pues la
derivada se anula en t = 0. En denitiva, r y w no son equivalentes con la
denicion dada anteriormente.
Denicion: Recta tangente a un arco en un punto regular.
Sea t
0
[a, b] un punto regular del arco r : [a, b] R
n
de clase C
1
La
recta tangente a r en el punto m :=r (t
0
) se dene como la recta denida
por el punto r (t
0
) y el vector r
(t
0
). Su ecuacion vectorial sera, por lo
tanto

h() = m + r
(t
0
). En coordenadas cartesianas:
a) Suponiendo que se trabaja en R
2
x m
1
r
1
(t
0
)
=
y m
2
r
2
(t
0
)
b) Suponiendo que se trabaja en R
3
x m
1
r
1
(t
0
)
=
y m
2
r
2
(t
0
)
=
z m
3
r
3
(t
0
)
donde, en el caso de que alg un r
i
(t
0
) se anule, se utiliza la convencion
habitual.
Comentario: Recta tangente a un arco en un punto singular.
Si t
0
es un punto singular del arco de clase C
1
, r : [a, b] R
n
, para hallar
el vector unitario m :=r (t
0
)/|r (t
0
)| o bien la recta tangente en dicho
punto, hay que intentar parametrizar el arco de otro modo, de forma que,
con la nueva parametrizacion, el punto m ya no sea un punto singular
(obviamente esas dos parametrizaciones no pueden ser equivalentes, ya
que estas conservan los puntos singulares).
Por ejemplo dada la curva en R
2
: x = t
2
, y = t
4
+ t
2
, t > 0, el punto
(0, 0), correspondiente a t = 0, es un punto singular. Sin embargo la curva
puede ser parametrizada tambien en la forma
x = u , y = u
2
+ u , u > 0
y entonces el punto (0, 0), correspondiente a u = 0, es un punto regular.
Como (x
(0), y
(0)) = (1, 0), el vector tangente unitario en el punto es

(1, 0) y la ecuacion de la recta tangente buscada es y = 0.
Indice (1/2)
1
Concepto de arco.
2
3
2
y R
3
.
4
5
1
a trozos. (falta por incluir)
6
Integrales curvilneas. (falta por incluir)
.../...
Indice (2/2)
7
conservativos.
7. Independencia del camino en la integral curvilnea.
Campos conservativos. (1)
A continuacion estudiaremos las condiciones en las que la
circulaci on de un campo vectorial

F sobre una curva que une los
puntos a y

b es independiente del camino seguido para ir de a a

b.
En tal caso la circulacion solo depende de

F y de dichos puntos
inicial y nal.
Si esta propiedad se verica para todos los puntos de un
determinado conjunto , se dice que
en , la circulacion de

F es independiente del
camino.
7. Independencia del camino ... Campos conservativos. (2)
Conjuntos abiertos y conexos: Dominios de R
n
.
Denicion: Conjunto conexo. Un conjunto C R
n
es conexo
cuando todo par de puntos de C puede ser unidos por un camino
C
1
a trozos contenido en el conjunto C.
Denicion: Dominio. Un conjunto de R
n
es un dominio
def.
es
abierto y conexo.
En lo sucesivo trabajaremos casi siempre en conjuntos R
n
que
sean dominios de R
n
.
A le pedimos que sea abierto para poder hablar de derivadas
parciales de un campo en todos los puntos de .
A le pedimos que sea conexo para que dos puntos cualesquiera de
puedan siempre ser unidos por un camino contenido en .
Denicion: Campos conservativos.
Sea un dominio de R
n
y sea

F : R
n
continuo. Se dice que

F es
conservativo (en ) cuando la circulacion de

F entre dos puntos
cualesquiera de es independiente del camino ( C
1
a trozos y contenido
en ) que los une.
Proposici on: Caminos cerrados y campos conservativos.
Sea un dominio de R
n
y sea

F : R
n
continuo. Entonces se verica:
F es conservativo en si y solo si la circulacion de

F a lo largo de
cualquier camino cerrado (C
1
a trozos y contenido en ) es nula.
Demostracion: (Se hace en clase).
Campos conservativos y potenciales escalares.
Denicion: Potencial escalar de un campo vectorial
Sea A un abierto de R
n
y sean

F : A R
n
un campo vectorial y
U : A R un campo escalar tal que que admite derivadas parciales de
primer orden en A.
Se dice que U es un potencial escalar de

F en A cuando en ese
abierto A se verica:
F = grad U =
_
U
x
1
, . . . ,
U
x
n
_
.
(Y entonces se dice que

F es uncampo de gradientes en A.)
Comentario: En Fsica se suele adoptar como denicion de potencial
escalar, la de

F = gradU.
Proposici on: Unicidad del potencial escalar.
Sea U : R, U C
1
() un potencial escalar de

F : R
n
y sea
un dominio. Entonces el conjunto de los potenciales escalares de

F en es
U + c : c R .
Demostracion: Obviamente, si U es un potencial escalar de

F y c R,
U + c tambien es un potencial escalar de

F.
Sean U y V potenciales escalares de

F en . Entonces
grad(U V) =

F
F =
0 en . Ahora bien, Si un campo escalar tiene

gradiente identicamente nulo en un conjunto conexo necesariamente debe
ser un campo constante. De aqu se sigue que U V debe ser constante
en .
Proposici on: Campos conservativos y campos de gradientes.
Sea un dominio (abierto conexo) de R
n
y sea

F : R
n
, tal que
existe un campo escalar U : R, U C
1
() tal que

F =gradU.
Entonces

F es conservativo (en ) y ademas, si x
0
, x
1
y es un
camino C
1
a trozos y contenido en que une a con

b se verica
_
Fdr = U(x
1
) U(x
0
) . (Analogo a la Regla de Barrow).
Demostracion: Sea r : [a, b] R una parametrizacion de :
_
Fdr =
_
b
a
F(r (t)) r
(t)dt =
_
b
a
gradU(r (t)) r
(t)dt
=
_
b
a
d U(r (t))
dt
dt = U(r (b)) U(r (a)) = U(x
1
) U(x
0
) .
Recproco: Los campos conservativos derivan de un potencial.
Sea un dominio de R
n
y sea

F : R
n
,

F C(), un campo que
cumple la siguiente propiedad: la circulacion de

F entre dos puntos
cualesquiera de es independiente de la poligonal (contenida en )
que una dichos puntos.
Entonces

F es conservativo en . Ademas, existe un campo
U : R, U C
1
() tal que

F =gradU y un potencial escalar U se
puede calcular de la siguiente forma: Sea a arbitrario. Entonces
U(x) :=
_
(a,x)
Fdr ; x ,
donde (a, x) denota cualquier camino C
1
a trozos y contenido en que
una el punto a con el punto x.
Demostracion: Sea x . Sea i 1, ..., n. Queremos demostrar que
U
x
i
(x) = F
i
(x), donde F
i
representa la i -esima componente del campo

F.
Para ello, aplicando la denicion,
U
x
i
(x) = lm
h0
U(x + he
i
) U(x)
h
donde e
i
= (0, , 0, 1, 0, , 0) es el i esimo vector canonico de R
n
.
Ahora, por denicion de U,
U(x + he
i
) U(x) =
_
(a,x+he
i
)
Fdr
_
(a,x)
Fdr =
_
(x,x+he
i
)
Fdr
Elegimos como (x, x + he
i
) el segmento rectilneo S(x, x + he
i
) que une
x con x + he
i
, con parametrizacion r (t) = x + t(he
i
), t [0, 1], donde
tomamos h lo sucientemente peque no para que dicho segmento
este contenido en . Entonces: .../...
Demostracion (cont.):
lm
h0
U(x + he
i
) U(x)
h
= lm
h0
_
S(x,x+he
i
)
Fdr
h
=
= lm
h0
_
1
0
F
_
x + the
i
_
he
i
dt
h
= lm
h0
_
1
0
F
i
_
x + the
i
_
dt
Ahora queremos meter el lmite dentro de la integral. Pare poder hacerlo
consideramos la funcion g(t, h) = F
i
_
x + the
i
_
y observamos que, al ser
F
i
continua en , g(t, h) es continua en [0, 1] [, ] con lo que por un
resultado ya estudiado,
lm
h0
_
1
0
F
i
_
x + the
i
_
dt =
_
1
0
lm
h0
F
i
_
x + the
i
_
dt =
_
1
0
F
i
(x) dt = F
i
(x)
como se quera demostrar.
Comentarios.
Observese que variando el punto a en el teorema anterior se obtienen
los innitos potenciales escalares del campo

F.
El resultado anterior se puede considerar como el analogo en este
contexto al teorema fundamental del calculo para las funciones reales
de variable real.
Problema: Cuando un campo vectorial es de gradientes?
Se he visto que los campos conservativos en un dominio (abierto conexo)
de R
n
son los campos que derivan de un potencial. Sin embargo, dado un
campo

F, el comprobar si deriva o no de un potencial es un problema que
todava no hemos resuelto satisfactoriamente. Por ello, buscamos si existen
condiciones necesarias y/o sucientes, sencillas de comprobar en la
practica, para que un campo sea conservativo.
Condicion necesaria para que un campo sea conservativo
Sea un abierto de R
n
y sea

F : R
n
,

F C
1
(). Entonces, si

F es
conservativo se cumple que i , j = 1, ..., n,
F
i
x
j
=
F
j
x
i
en , es decir, el
campo

F verica en la denominada igualdad de derivadas cruzadas.
Demostracion:

F = (F
1
, . . . , F
n
) conservativo en dominio de R
2
F = grad U en F
i
=
U
x
i
. Por tanto, para i ,= j y dado que
F C
1
():
F
i
x
j
=

2
U
x
j
x
i
=

2
U
x
i
x
j
=
F
j
x
i
.
Condicion necesaria pero no suciente: Ejemplo.
La condicion anterior para que un campo sea conservativo es necesaria,
pero no suciente. En efecto, considerese := R
2
(0, 0) y el campo
F : R
2
, denido por
F(x, y) =
_
y
x
2
+ y
2
,
x
x
2
+ y
2
_
.
Claramente

F C
1
(). Ademas, es facil comprobar que para todo
(x, y) se cumple la igualdad de derivadas cruzadas:
F
1
y
=
F
2
x
. Sin
embargo si C es la circunferencia de centro el origen y radio R recorrida
una vez en sentido positivo, se obtiene
_
Fdr = 2 ,= 0 .
Por tanto

F no puede ser conservativo en .
Se ha visto que la igualdad de derivadas cruzadas no es suciente para
que un campo sea conservativo. Sin embargo, si al dominio se el ponen
condiciones adicionales (estrellado), entonces la igualdad de derivadas
cruzadas es tambien una condicion suciente para que el campo sea
conservativo.
Denicion: Conjunto estrellado.
Sea R
n
. Se dice que es estrellado si existe un punto p
(denominado polo) que cumple que x , S(a, x) , es decir, para
todo punto x de el segmento que une a y x esta contenido en .
Comentario: Observese que estrellado conexo, pero el recproco
no es cierto.
Condicion suciente para que un campo sea conservativo.
Sea un abierto estrellado de R
n
y sea

F : R
n
,

F C
1
().
Entonces, si

F verica la igualdad de derivadas cruzadas en , se sigue
que

F es conservativo en .
Comentario: En el ejemplo anterior no se cumple la hipotesis de que el
conjunto R
2
(0, 0) sea estrellado.
Demostracion: Podemos suponer que es estrellado con respecto al
origen pues, en otro caso, se podra hacer una traslacion de ejes que
mantendra la igualdad de las derivadas cruzadas.
Vamos a demostrar que

F = grad U en , donde:
U(r ) =
_
1
0
F(tr ) r dt =
_
1
0
_
n
i =1
x
i
F
i
(tr )
_
dt ,
con lo que quedara demostrado que

F es conservativo es ese conjunto.../...
Demostracion (cont.): Sea

F(r ) = (F
1
(r ), . . . , F
n
(r )). Entonces, si D
j
denota la derivada con respecto a la componente j -esima, se tiene:
U
x
j
=
_
1
0
F
j
(tr )dt +
_
1
0
_
n
i =1
t x
i
D
j
F
i
(tr )
_
dt
= [D
j
F
i
(tr ) = D
i
F
j
(tr )] =
_
1
0
F
j
(tr )dt +
_
1
0
_
n
i =1
t x
i
D
i
F
j
(tr )
_
dt
=
_
1
0
F
i
(tr )dt +
_
1
0
t
F
j
(tr )
t
dt.
Calculando por partes la ultima integral: u = t, dv =
F
j
(tr )
t
, se obtiene:
U
x
j
=
_
1
0
F
j
(tr )dt + [tF
j
(tr )]
1
0

_
1
0
F
j
(tr )dt = F
j
(r ) ,
con lo que queda demostrado.
Calculo del potencial escalar de un campo de gradientes.
Supongamos que es un dominio estrellado y que

F : R
n
es un
campo C
1
() que cumple la igualdad de derivadas cruzadas, con lo que
admite un potencial escalar U en . Para calcular U se puede proceder de
las dos formas siguientes:
1
Para cualquier a el campo U denido por
U(x) :=
_
(a,x)
Fdr , x ,
es potencial de

F.
2
Imponer que gradU =

F y resolver el sistema de ecuaciones en
derivadas parciales resultante en el que U es la incognita.
RESUMEN ESQUEM
ATICO.
Sea

F = (F
1
, . . . , F
n
) de clase C
1
en un dominio D R
n
. Entonces:
F
1
dx
1
+ + F
n
dx
n
es una forma diferencial
exacta en D
F
1
dx
1
+ + F
n
dx
n
es independiente
del camino en D

U tal que

F = grad U en D

F es conservativo en D
(D estrellado)
i , j = 1, , n (i ,= j ),
F
i
x
j
=
F
j
x
i
.
Indice (1/2)
1
Concepto de arco.
2
3
2
y R
3
.
4
5
1
a trozos.
6
Integrales curvilneas.
.../...
Indice (2/2)
7
conservativos.
8
Teorema de Green (R
2
).
8.1 Orientacion de una curva de Jordan plana. Conjuntos simplemente
conexos.
8.2 Teorema de Green.
8.3 Algunas consecuencias y aplicaciones del teorema de Green.
Aplicaci on del teorema de Green al calculo de areas.
2
: Condici on suciente.
Invariancia de una integral curvilnea plana al deformar el camino.
2
.
F ormulas de Green en el plano.
8. Teorema de Green (R
2
). (1)
En R
2
y bajo ciertas condiciones,
el teorema de Green relaciona
la circulacion de un campo vectorial sobre una
curva de Jordan
con la integral doble de una cierta funcion
extendida al interior de la curva.
Comentario: Se entiende por interior de una curva de Jordan el
dominio acotado de R
2
limitado por la curva.
2
). (2)
Deniciones. Teorema de la curva de Jordan.
Denicion: Arco cerrado simple o curva de Jordan. Es un arco
cerrado que, ademas, es inyectivo salvo en los extremos, es decir,
r : [a, b] R
n
continua con r (a) =r (b) y r (t) inyectiva en [a, b).
Proposicion: Teorema de la curva de Jordan en R
2
. Interior y
exterior de una curva de Jordan en R
2
. Toda curva de Jordan en
R
2
divide al plano en dos abiertos conexos, de los cuales uno es
acotado y el otro no acotado. Al no acotado se le denomina
exterior de y al acotado interior de (int).
Denicion: Orientacion de una curva de Jordan en R
2
. Se dice
que una curva de Jordan tiene orientacion positiva cuando al
recorrerla se deja su interior a la izquierda.
2
). (3)
Denicion: Conjunto simplemente conexo en R
2
.
Sea un subconjunto de R
2
. Se dice que es simplemente conexo
cuando se cumple que para toda curva de Jordan contenida en se
verica que el interior de tambien esta contenido en .
Comentario: Intuitivamente, se podra decir que un subconjunto de R
2
es
simplemente conexo cuando no tiene agujeros.
Simplemente conexos y estrellados en R
2
.
Sea R
2
. estrellado = simplemente conexo.
Comentario: El recproco del resultado anterior no es cierto, como es facil
poner de maniesto mediante ejemplos.
2
). (4)
Proposici on: Resultado previo.
Sea R
2
un abierto simplemente conexo. Sea una curva de Jordan,
C
1
a trozos, contenida en y con orientacion positiva. Sea U : R,
U C
1
(). Entonces se cumple
_
Udx =
_ _
int
U
y
dxdy ,
_
Udy =
_ _
int
U
x
dxdy .
Demostracion: Haremos la demostracion (hacerla en clase) para el caso
particular en el que el interior de es una union disjunta nita de recintos
simples respecto de x y respecto de y. La generalizacion al caso general es
muy elaborada y la omitiremos.
2
). (5)
Teorema de Green.
Sea R
2
un abierto simplemente conexo. Sea una curva de Jordan,
C
1
a trozos, contenida en y con orientacion positiva. Sea

F : R
2
,
denido por

F = (P, Q) y tal que

F C
1
(). Entonces
_
F dr =
_ _
int
_
Q
x

P
y
_
dxdy .
Demostracion: Es consecuencia inmediata de la proposicion anterior.
Basta tener en cuenta que las componentes P y Q de

F son campos
escalares que cumplen las hipotesis exigidas al campo escalar U de la
mencionada proposicion, con lo que:
_ _
int
_
Q
x

P
y
_
dxdy =
_
P(x, y)dx +
_
Q(x, y)dy =
_
F dr
2
). (6)
Corolario: Calculo de areas.
Sea R R
2
tal que su frontera R es una curva de Jordan C
1
a
trozos y que suponemos orientada positivamente.
Sean R
2
con R y

F : R
2
,

F C
1
() denido por
F = (P, Q) y tal que

Q
x

P
y
= k R0 . Entonces:

Area(R) =
1
k
_
R
Fdr .
En particular, el area de R se puede calcular mediante cualquiera de las
siguientes expresiones:
Area(R) =
_
R
xdy =
_
R
ydx =
1
2
_
R
xdy ydx .
Demostracion: Consecuencia inmediata del Teorema de Green.
2
). (7)
Utilizando el teorema de Green es posible encontrar una condicion
suciente para que un campo sea conservativo mas fuerte que la que se
dio en la seccion anterior para campos en R
n
, en la que se requera que el
dominio en el que el campo era de clase 1 fuese estrellado. En efecto, en
el siguiente resultado, al conjunto en el que el campo en cuestion verica
la igualdad de derivadas cruzadas solo tiene que ser simplemente conexo,
no necesariamente estrellado:
2
: Condicion suciente.
Sea un abierto simplemente conexo de R
2
y sea

F : R
2
,
F C
1
(). Entonces, si

F verica la igualdad de derivadas cruzadas en
, se sigue que

Demostracion: Consecuencia inmediata del Teorema de Green.
2
). (8)
Ya se ha visto que la igualdad de derivadas cruzadas de un campo
vectorial en un recinto del plano que no sea simplemente conexo, no
garantiza que el campo sea conservativo. Sin embargo, la igualdad de
derivadas cruzadas permite que las integrales sobre curvas cerradas
mantengan su valor si la curva se deforma de manera suave en el
conjunto en cuestion:
Invariancia de una integral curvilnea plana al deformar el
camino.
Sea R
2
abierto conexo (no necesariamente simplemente conexo) y sea
F : R
2
,

F C
1
(), tal que

F verica la igualdad de derivadas
cruzadas en . Sean
1
y
2
curvas de Jordan C
1
a trozos contenidas en
tales que
2
se puede obtener deformando
1
de manera continua sin
salirnos de . Entonces
_
F dr =
_
F dr
2
). (9)
Demostracion: Dibujar una idea de la demostracion que se obtiene
aplicando adecuadamente el Teorema de Green.
NOTA: El signicado de la armacion:
2
1
de manera continua sin salir de
se deja a nivel intuitivo aunque para proceder con rigor habra que precisar
exactamente que se entiende por deformar de manera continua una
curva, nocion que corresponde al concepto matematico de homotopa.
2
). (10)
A continuacion introduciremos un resultado que es una consecuencia
directa del teorema de Green y que se puede considerar como un analogo
al teorema de Gauss (que se enuncia posteriormente en R
3
) pero en R
2
.
Pare ello es necesario ver como se calcula el vector normal unitario a
una curva dada:
Normal unitaria a una curva de R
2
.
Sea un camino C
1
a trozos en R
2
y sea r : [a, b] R
2
una
parametrizacion de con r (t) = ((t), (t)). Entonces, para aquellos
valores de t para los que r es derivable, los vectores (
(t),
(t)) son
perpendiculares a en el punto r (t). Por ello, si el punto t es regular, el
vector
(
(t),
(t))
|r
(t)|
es unitario y normal a la curva en en el punto r (t).
2
). (11)
Normal unitaria a una curva de R
2
: Comentarios.
Si
t = (t
1
, t
2
) es el vector tangente unitario a la curva en un punto, el
vector n, tambien unitario, dado por: n := (t
2
, t
1
) es perpendicular
a la curva en ese punto y forma un angulo de 90
o
con

t. Por tanto,
si es una curva de Jordan con orientacion positiva, el vector
n(r (t)) =
(
(t),
(t))
|r
(t)|
(r (t) = (t), (t)) .
es el vector normal unitario saliente a la curva.
Por otra parte, el campo de normales unitarias a una curva en R
2
denida por g(x, y) = 0 es
n(x, y) =
g(x, y)
|g(x, y)|
Ejemplo: x
2
+ y
2
= R
2
. n(x, y) = (x, y) /R, donde + corresponde
a la normal saliente.
2
). (12)
2
.
(i) Sea R
2
abierto simplemente conexo.
(ii) Sea curva de Jordan, C
1
a trozos y contenida en .
(iii) Sea

F : R
2
,

F C
1
() y

F = (P, Q).
Entonces:
_
F n dr =
_ _
int
div
F dxdy
donde n es el vector normal unitario saliente a la curva y
div
F :=
P
x
+
Q
y
.
Demostracion: Consecuencia del Teorema de Green.
2
). (13)
Consecuencias del Teorema de Gauss en R
2
.
Si R
2
es simplemente conexo y

F es de clase 1 y solenoidal en
(es decir, si div
F = 0 en ) entonces
_
F n dr = 0 para toda curva

de Jordan (C
1
a trozos y contenida en ).
Deformaciones del camino: Sea R
2
conexo (no necesariamente
simplemente conexo) y

F : R
2
de clase 1 y solenoidal en .
Sean
1
y
2
curvas de Jordan C
1
a trozos contenidas en tales que
2
1
de manera continua sin salirnos
de entonces:
_
F n dr =
_
F n dr .
Demostracion: Consecuencia del Teorema de Gauss.
2
). (14)
Formulas de Green en R
2
.
Como paso previo a la demostracion del teorema de Green se ha
demostrado que si R
2
es un abierto simplemente conexo, es una
curva de Jordan, C
1
a trozos, contenida en y con orientacion positiva y
U : R es un campo U C
1
() se cumple
_
Udx =
_ _
int
U
y
dxdy ;
_
Udy =
_ _
int
U
x
dxdy (1)
Observemos que, usando la relacion entre el vector tangente unitario
(seg un la orientacion positiva) y normal saliente unitario (t
1
= n
2
y
t
2
= n
1
) se puede escribir
_
Udx =
_
(U, 0)dr =
_
(U, 0)
t dr =
_
Ut
1
dr =
_
Un
2
dr
_
Udy =
_
(0, U)dr =
_
(0, U)
t dr =
_
Ut
2
dr =
_
Un
1
dr
2
). (15)
Formulas de Green en R
2
(cont.)
Por ello, las relaciones (1) se pueden escribir en una forma mas facil de
memorizar. Esto queda recogido en el siguiente resultado:
(i) Sea R
2
abierto simplemente conexo.
(ii) Sea curva de Jordan, C
1
a trozos, contenida en .
(iii) Sea U : R, U C
1
()
Entonces se cumple
_ _
int
U
x
dxdy =
_
Un
1
dr ;
_ _
int
U
y
dxdy =
_
Un
2
dr (2)
donde n = (n
1
, n
2
) es el vector normal saliente unitario a .
2
). (16)
Proposici on: Formulas de Green en R
2
(cont.)
(i) Sea R
2
abierto simplemente conexo y sea curva de Jordan, C
1
a
trozos, contenida en y con orientacion positiva. Denotemos por R al
interior de
(ii) Sean u, v : R, u, v C
1
(). Entonces se verica:
_ _
R
u
x
vdxdy =
_
uvn
1
ds
_ _
R
u
v
x
dxdy
_ _
R
u
y
vdxdy =
_
uvn
2
ds
_ _
R
u
v
y
dxdy
y, por tanto:
_
uvdx + uvdy =
_ _
R
_
v
_
u
x

u
y
_
+ u
_
v
x

v
y
__
dxdy
.../...
2
). (17)
Proposici on: Formulas de Green en R
2
(cont.)
(3) Si u C
2
()
_ _
R
vudxdy =
_
v
u
n
dr
_ _
R
gradu gradvdxdy
donde
u
n
:=gradu n siendo n el vector normal unitario saliente a la curva
y el operador laplaciano.
Tema 6: Campos irrotacionales y campos
solenoidales.
Alejandro Zarzo
Ampliacion de Calculo (2009 - 2010) Tema 6: Campos ... Alejandro Zarzo 1 / 26
Indice
1
Algunos operadores diferenciales.
2
3
.
3
Potencial escalar de un campo conservativo.
4
Campos solenoidales en R
3
.
5
Potencial vector de un campo solenoidal.
6
Campos centrales.
1. Algunos operadores diferenciales. (1)
Deniciones (1/3).
Gradiente. Sea R
n
abierto y sea U : R tal que U admite
derivadas parciales primeras en todos los puntos de . Entonces se
dene el campo vectorial
gradU : R
n
x gradU(x)

U =
_
U
x
1
(x),
U
x
2
(x), ...,
U
x
n
(x)
_
Divergencia. Sea R
n
abierto y sea

F : R
n
tal que las
funciones componentes de

F admiten derivadas parciales primeras en
todos los puntos de . Entonces se dene el campo escalar
div
F : R
x div
F(x)

F =
F
1
x
1
(x) +
F
2
x
2
(x) + +
F
n
x
n
(x)
Deniciones (2/3).
Rotacional. Sea R
3
abierto y sea

F : R
3
tal que las

todos los puntos de . Entonces se dene el campo vectorial
rot
F : R
3
x rot
F(x) =
_
F
3
y

F
2
z
,
F
1
z

F
3
x
,
F
2
x

F
1
y
_
Si

F = (F
1
, F
2
, F
3
), esta expresion se suele escribir, de forma
simbolica, como
rot
F =
i

j

k
z
F
1
F
2
F
3
.
Deniciones (3/3).
Laplaciano. Sea R
n
abierto y sea U : R tal que U admite
derivadas parciales segundas en todos los puntos de . Entonces se
dene el campo escalar laplaciano de U mediante
U(x) =

2
U
x
2
1
(x) + +

2
U
x
2
n
(x)
es decir, U =div(gradU).
En el caso de un campo vectorial

F : R
n
, tal que sus
componentes admiten derivadas parciales segundas en todos los
puntos de , se dene el laplaciano de

F a traves de
F = (F
1
, F
2
, ..., F
n
)
Funcion armonica. Se dice que una funcion g : R
n
R es
armonica (en ) si g = 0 en .
Propiedades (1/3).
Proposicion. Los operadores gradiente, divergencia, rotacional y
laplaciano son operadores lineales.
Proposicion. Si

F es de clase dos, rot(rot
F)) = grad(div
F)
F.
Comentario: En ocasiones los operadores diferenciales anteriores se
expresan de manera simbolica con ayuda del denominado operador
nabla, denido como
=
_

x
1
,

x
2
, ....,

x
n
_
Entonces se puede escribir, de forma simbolica
gradU = U , div
F =
F
rot
F =
F , U =
2
U
Propiedades (2/3).
Sean U y V campos escalares y sean

F y

G campos vectoriales.
Suponiendo que todo lo que se escribe esta denido, se verica:
1
grad(UV) = VgradU + UgradV
2
grad(
U
V
) =
VgradUUgradV
V
2
3
div(U
F) =

F gradU + Udiv
F
4
rot(U
F) =gradU
F + U rot
F
5
div(
G) =

G rot
F rot
G
6
(UV) = VU + UV + 2gradU gradV
Propiedades (3/3).
Ademas se verican otras propiedades, para cuya expresion se utiliza una
notacion mas elaborada. En particular, si

F es un campo vectorial, se
dene
F :=
_
F
1
x
+ F
2
y
+ F
3
z
_
Entonces se puede escribir:
1
G
_
=
_
F
_
G +
_
G
_
F +
F
_
G
_
+
G
_
F
_
2
rot
_
G
_
=

F
_
G
_
G
_
F
_
+
_
G
_
F
_
F
_
G.
Indice
1
2
3
.
2. Campos conservativos en R
3
. (1)
El objetivo de esta seccion es reformular en R
3
todos los resultados
obtenidos hasta ahora para los campos conservativos en R
n
. Es decir, esta
seccion se trabajara siempre en R
3
.
Denicion: Campo irrotacional.
Sea R
3
abierto y sea

F : R
3
tal que las funciones componentes
de

F admiten derivadas parciales primeras en todos los puntos de . Se
dice que

F es irrotacional (en ) cuando rot
F =
0 en .
Ejemplo: De la denicion del rotacional se sigue que si

F es un campo de
la forma

F(x, y, z) = ((x), (y), (z)), entonces

F es irrotacional.
2. Campos conservativos en R
3
. (2)
Caracterizaciones de los campos conservativos.
De la denicion de rotacional se desprende que

F es irrotacional si y
solo si

F verica la igualdad de derivadas cruzadas. Por ello, de los
resultados del captulo anterior se siguen las siguientes condiciones
necesarias y sucientes para que un campo sea conservativo en un cierto
conjunto.
Proposicion: Sea R
3
abierto y sea

F : R
3
,

F C
1
(). Entonces
si

F es conservativo en , necesariamente

F es irrotacional en .
Proposicion: Sean R
3
abierto estrellado y

F : R
3
,

F C
1
().
Si

F es irrotacional en , entonces

Indice
1
2
3
.
3
3. Potencial escalar de un campo conservativo. (1)
Sea R
3
un dominio. Entonces:
F es conservativo en U tal que

F = grad U en
Calculo del potencial escalar de un campo de gradientes.
Sea es un dominio estrellado y

F : R
n
un campo irrotacional en ,
con lo que admite ah un potencial escalar U. Para calcular U se puede
proceder de las dos formas siguientes:
1
Para cualquier a el campo U denido por
U(x) :=
_
(a,x)
Fdr , x ,
es potencial de

F.
2
Imponer que gradU =

F y resolver el sistema de ecuaciones en
derivadas parciales resultante en el que U es la incognita.
Indice
1
2
3
.
3
4
3
.
4. Campos solenoidales en R
3
. (1)
Denicion: Campo solenoidal.
Campo solenoidal. Sea R
3
abierto y sea

F : R
3
tal que las

todos los puntos de . Se dice que

F es solenoidal (en ) cuando
div
F = 0 en .
Ejemplo: De la denicion de la divergencia se sigue que si

F es un campo
de la forma
F(x, y, z) = ((y, z), (x, z), (x, y))

entonces

F es solenoidal.
Indice
1
2
3
.
3
4
3
.
5
5. Potencial vector de un campo solenoidal. (1)
Denicion: Potencial vector de un campo vectorial.
Sea R
3
abierto y sea

F : R
3
. Se dice que

G : R
3
,
G C
1
() es potencial vector de

F cuando rot
G =

F en .
Condicion necesaria para que un campo admita potencial
vector.
Sea R
3
abierto y sea

F : R
3
,

F C
1
() tal que

F admite un
potencial vector

G : R
3
,

G C
2
(). Entonces div
F = 0 en .
Demostracion. Sin mas que operar se comprueba que se cumple:
G) = 0, siempre que las derivadas parciales de las componentes

de

G que aparecen en el calculo esten denidas.
Condicion suciente para que un campo admita potencial
vector.
Sea R
3
abierto estrellado y sea

F : R
3
,

F C
1
() tal que
div
F = 0 en . Entonces existe

G : R
3
,

G C
2
() tal que
rot
G =

F en .
Demostracion. Suponiendo (sin perdida de generalidad) que es
estrellado con respecto al origen, la demostracion se hace probando que,
en las hipotesis del teorema, el campo vectorial
G(r ) =
_
1
0
G(tr ) (tr ) dt
es un potencial vector de

F.
Proposicion: Unicidad del potencial vector.
Sea R
3
abierto estrellado y supongase que

G : R
3
,

G C
1
()

F : R
3
. Entonces el conjunto de todos los
potenciales vectores (de clase C
1
()) de

F es el conjunto
_
G +

, C
2
()
_
Demostracion: Puesto que rot(
) = 0 para todo campo escalar de

clase 2, si

G es potencial vector de

F entonces

G +

tambien es
potencial vector de

F, cualquiera que sea el campo escalar C
2
(). Por
lo tanto, de existir potencial vector de un campo vectorial, este no es
unico. Pero ademas, si

G
1
y

G
2
son dos potenciales vector del mismo
campo

F, se tiene:
0 =

G
1
G
2
=

G
1
G
2
_
Por tanto, como por hipotesis R
3
es abierto y estrellado, existe un
campo escalar en tal que

G
1
G
2
=

().
Calculo del potencial vector (supuesta su existencia).
Si es estrellado respecto del origen,

F C
1
() y div
F = 0 en , el
campo denido en por
G(x) :=
_
1
0
F(tx) (tx)dt, x ,

F en .
Resolver el sistema de EDPs asociado. Imponiendo que rot
G =

F se
obtiene el siguiente sistema de ecuaciones en derivadas parciales
G
3
y

G
2
z
= F
1
G
1
z

G
3
x
= F
2
G
2
x

G
1
y
= F
3
,
en el que siempre se puede elegir

G de forma que una de sus
componentes sea nula.
Ejercicios.
1
Estudiar si el campo

F =
_
x 1, x
2
y y, 1 zx
2
_
admite potencial
vector en R
3
. (1) En caso armativo, determinar un potencial vector
G que cumpla que su tercera componente es identicamente nula, que

su segunda componente vale x +x
2
y +1 sobre el plano z = 1 y que
su primera componente vale e
x
sobre el plano y = 0. (2) Idem, si las
condiciones son que su tercera componente es identicamente nula,
que su segunda componente no depende de y que su primera
componente vale xy sobre el plano y = 0.
Solucion.
(1)

G =
_
x
2
yz yz + xy
2
y + e
x
, xz + z + x
2
y, 0
_
.
(2)

G =
_
x
2
yz yz + xy, xz + z + x +
1
2
x
2
+ C, 0
_
, C R
2
Sea R
3

F : R
3
,

F C
1
().
Demostrar que

F es a la vez irrotacional y solenoidal en si y solo si
F es el gradiente de una funcion armonica en .

Indice
1
2
3
.
3
4
3
.
5
6
Campos centrales.
6. Campos centrales. (1)
Denicion: Campos centrales.
Sea dice que un campo denido en un subconjunto de R
n
es central
cuando en cada punto el campo lleva la direccion del radio vector en ese
punto y cuando el modulo del campo en cada punto solo depende de la
distancia a un punto denominado centro y que nosotros supondremos
que es el origen. Por tanto, un campo central tiene la expresion
F(r ) = g(r )r
donde g : I R R, r = r e I R es un intervalo (que en muchas
ocasiones sera el (0, )).
6. Campos centrales. (2)
Ejercicio: Campos centrales.
En la denicion anterior tomese I = (0, ) y sea

F un campo central de
clase 1 en su dominio de denicion =
_
r R
n
: r =
0
_
. Se pide:
1
Sea n = 3.
a) Demostrar que todo campo central es conservativo, y determinar la
expresion de un potencial escalar del mismo.
Sugerencia: ensayar como potencial un campo que solo dependa de la
distancia al origen.
b) Como ejemplo, calcular un potencial escalar del campo
F(r ) = exp(r
2
)r .
c) Determinar los campos centrales que son solenoidales y, para cada
uno de ellos, calcular un potencial escalar.
2
Lo mismo que en (1) pero para el caso n = 2.
EJERCICIOS. (1)
Sea u una funcion de clase dos denida en R
3
que es armonica y
homogenea de grado , es decir, que cumple
u = 0, u(tr ) = t
u(r ), r = x
i + y
j + z
k .
Encontrar la forma general de las funciones reales de una variable
real de clase 2 que hacen que la funcion
f (r ) = (r )u(r )
sea tambien una funcion armonica en R
3
0
_
.
Sea u = u(x, y) una funcion armonica en R
2
cuyo gradiente no se
anula en ning un punto. Determinar todas las funciones f : R R de
clase dos para las cuales la funcion w = f (u(x, y)) es tambien una
funcion armonica.
EJERCICIOS. (2)
Sea

F : R
3
de clase 1, donde es un dominio (abierto conexo)
de R
3
. Razonar la veracidad o falsedad de las siguientes armaciones:
Si rot
F =
0 en
F admite potencial escalar en .

Si

F admite potencial escalar en rot
F =
0 en y es abierto
estrellado.
div
F = 0 en
F admite potencial vector en .

Si

F admite potencial vector en div
F = 0 en y es abierto
estrellado.
Tema 7: Integrales de Supercie.
Alejandro Zarzo
Ampliacion de Calculo (2009 - 2010) Tema 7: Integrales de Supercie. Alejandro Zarzo 1 / 54
Indice
1
Supercies. Representacion parametrica y cartesiana de una supercie.
2
Plano tangente y vector normal a una supercie en un punto.
3

Area de una supercie parametrizada.
1 Supercies de revolucion.
2 Supercies regladas.
4
Integral de supercie de un campo escalar.
5
Integral de supercie de un campo vectorial: Flujo.
1. Supercies. Representaci on parametrica y cartesiana (1)
Para denir una supercie de forma rigurosa se utiliza, como suceda en el
caso de las curvas, una representacion parametrica de la misma. A
diferencia de lo que suceda en las curvas, en las que haba un unico
parametro, las supercies se parametrizaran mediante dos parametros.
Denicion: Supercie parametrizada.
Sea R
2
conexo. Una supercie parametrizada es una aplicacion
: R
2
R
3
(u, v)

(u, v) = (
1
(u, v),
2
(u, v),
3
(u, v)) .
continua.
Denicion: Ecuaciones parametricas de una supercie.
Se dice que las ecuaciones parametricas de la supercie parametrizada
anterior son
x =
1
(u, v) , y =
2
(u, v) , z =
3
(u, v) ; (u, v) R
2
.
Supercies equivalentes.
De manera similar a lo que se hizo en el estudio de las curvas, se
podra denir el concepto de supercies parametrizadas equivalentes. De
esta forma, dos supercies parametrizadas

1
:
1
R
3
y

2
:
2
R
3
seran equivalentes cuando exista un cambio de variable (es decir, un
difeomorsmo de clase uno) :
2

1
, (u, v) = (s, t) tal que:
1
(s, t) =

2
((s, t)) .
Podramos entonces denir clases de equivalencia de supercies
parametrizadas con lo que cabra hablar de propiedades intrnsecas de las
supercies. Por ejemplo, las supercies equivalentes tienen la misma
imagen. Sin embargo, y por simplicidad, no entraremos en este tema en
este curso, de manera que siempre trabajaremos con parametrizaciones
concretas de una supercie.
Supercies parametrizadas: Comentarios (1/4).
Como suceda en el caso de las curvas, la idea intuitiva que tenemos
de una supercie es la de la imagen de la aplicacion

, es decir, el
conjunto
Im

:= {(
1
(u, v),
2
(u, v),
3
(u, v)) ; (u, v) }
Observese que la imagen de la supercie se puede interpretar como el
resultado de llevar un recinto plano a R
3
deformandolo de manera
suave, es decir, sin romperlo.
El pedir que sea conexo es para que la imagen de la supercie sea
conexa (la imagen por una aplicacion continua de un conjunto conexo
es conexo).
La aplicacion

en principio puede no ser inyectiva, como por ejemplo
le sucede a la supercie denida por las ecuaciones parametricas:
x = R cos sen, y = R sensen, z = R cos ,
donde (, ) [0, 2] [0, ]. Esta aplicacion pasa a ser inyectiva si
se restringe el dominio de denicion a [0, 2) (0, ), aunque en este
caso no se parametrizan los puntos (0, 0, R) y (0, 0, R).
Ademas, una aplicacion

: R
3
continua puede ser degenerada
en el sentido de que su imagen no es una supercie en el sentido
intuitivo del termino, es decir, no tiene dos dimensiones:
x = a , y = b , z = c , (u, v) . su imagen es (a, b, c).
x = R cos sen, y = R sensen, z = R cos ,
con (, ) [0, 2]
_
2
_
. Su imagen es la curva interseccion de la
esfera de centro el origen y radio R con el plano XY.
Sin embargo, hay que hacer constar que en general, si

depende de u y
de v y estos parametros varan en un conjunto R
2
con contenido no
nulo, la imagen de

se correspondera con la idea intuitiva que tenemos de
supercie.
Curva trazada sobre una supercie.
Si en una supercie parametrizada se mantiene un parametro
constante y se hace variar el otro lo que se tiene es una curva
parametrizada cuya imagen esta contenida en la imagen de la
supercie.
Si es abierto (para poder denir las derivadas parciales de las

) y

C
1
() se dice que la supercie es
de clase 1.
En lo sucesivo, y siguiendo la terminologa utilizada en asignaturas de
fsica e ingeniera, la palabra supercie se utilizara de forma
indistinta tanto para denotar la aplicacion

como para denotar su
imagen, de forma que el contexto dejara claro cual es el signicado
concreto en cada caso.
Representacion cartesiana de una supercie (1/3).
Ecuacion cartesiana implcita. Los puntos de una supercie
parametrizada verican una ecuacion del tipo
g(x, y, z) = 0
a la que se denomina ecuacion cartesiana implcita de la supercie. En el
caso de la esfera del ejemplo anterior, esta ecuacion es x
2
+ y
2
+ z
2
= R
2
.
Observese que en ocasiones no todos las soluciones de la ecuacion
cartesiana son puntos de la supercie parametrizada original. Por ejemplo,
la supercie parametrizada
x = R cos sen, y = R sensen, z = R cos , (, ) [0, 2] [0,

2
]
corresponde al casquete superior de la esfera mientras que las soluciones
de la ecuacion x
2
+ y
2
+ z
2
= R
2
son todos los puntos de la esfera.
Ecuacion cartesiana explcita. En algunas ocasiones una supercie se
puede escribir en la forma z = f (x, y) , (x, y) (o bien
y = f (x, z) , (x, z) o x = f (y, z) , (y, z) ) en cuyo caso se dice
que la supercie esta dada por una ecuacion cartesiana explcita. Toda
ecuacion explcita se puede escribir en forma implcita sin mas que denir
g(x, y, z) = z f (x, y). Sin embargo, el recproco no es cierto: el casquete
superior de la esfera se puede escribir en la forma
z =
_
R
2
x
2
+ y
2
; x
2
+ y
2
R
2
pero sin embargo la esfera x
2
+y
2
+z
2
= R
2
no puede escribirse en forma
explcita pues para cada valor de (x, y) hay dos soluciones de la ecuacion,
a saber: (x, y,
_
R
2
x
2
+ y
2
) y (x, y,
_
R
2
x
2
+ y
2
).
Comentario. Observese que no todas las ecuaciones del tipo g(x, y, z) = 0
denen una supercie en el sentido intuitivo que tenemos. Por ejemplo:
x
2
+ y
2
+ z
2
= 0
dene un unico punto, mientras que
x
2
+ y
2
+ z
2
= 1
dene el conjunto vaco.
Ejemplos de supercies parametrizadas (1/4).
Plano. Plano que pasa por P
0
(x
0
, y
0
, z
0
) y cuya direccion
esta denida por los vectores v = (v
1
, v
2
, v
3
) y w = (w
1
, w
2
, w
3
).
El plano se puede parametrizar utilizando que sus puntos (x, y, z)
cumplen que (x, y, z) (x
0
, y
0
, z
0
) debe ser combinacion lineal de v y
w. Por ello, las ecuaciones buscadas son
(x, y, z) = (x
0
, y
0
, z
0
) + v + w ; , R
o bien
x = x
0
+ v
1
+ w
1
y = y
0
+ v
2
+ w
2
x = z
0
+ v
3
+ w
3
.
Supercie denida en forma cartesiana explcita. Sea la supercie
correspondiente a la graca de la funcion f (x, y), (x, y) , es
decir, la supercie con ecuacion z = f (x, y), (x, y) . Esta
supercie se puede parametrizar de la siguiente forma
x = u
y = v (u, v)
z = f (u, v)
que se denomina parametrizacion trivial de la supercie. Aqu, es
la proyeccion (inyectiva) sobre el plano XY de la imagen de la
supercie.
Elipsoide. Supongamos un elipsoide de centro (x
0
, y
0
, z
0
) y ejes
paralelos a los coordenados, con lo que su ecuacion cartesiana es
(x x
0
)
2
a
2
+
(y y
0
)
2
b
2
+
(z z
0
)
2
c
2
= 1
El elipsoide se puede parametrizar en la forma
x = x
0
+ a cos usenv
y = y
0
+ b senusenv ; (u, v) [0, 2] [0, ]
z = z
0
+ c cos v
Supercie cilndrica. Sea una supercie cilndrica con generatriz
paralela al eje z, con lo que su ecuacion cartesiana es del tipo
g(x, y) = 0. Sea (x, y) = ((t), (t)) , t [a, b] una parametrizacion
de la curva interseccion de con el plano XY. Entonces se
puede parametrizar en la forma
x = (t)
y = (t) t [a, b], v R
z = v
Indice
1
2
2. Plano tangente y vector normal a una supercie (1)
Sea una supercie parametrizada de clase 1
: R
3
,

C
1
()
(u, v)

(u, v) = (
1
(u, v),
2
(u, v),
3
(u, v))
donde es un abierto conexo de R
2
y sea (u
0
, v
0
) .
Las curvas coordenadas que pasan por el punto (x
0
, y
0
, z
0
) =

(u
0
, v
0
)
son las curvas, que denotamos C
u
(u
0
, v
0
) y C
v
(u
0
, v
0
) dadas por
C
u
(u
0
, v
0
) : (x, y, z) = (
1
(u, v
0
),
2
(u, v
0
),
3
(u, v
0
)) (u variable)
C
v
(u
0
, v
0
) : (x, y, z) = (
1
(u
0
, v),
2
(u
0
, v),
3
(u
0
, v)) (v variable)
de manera que los vectores

u
(u
0
, v
0
) y

v
(u
0
, v
0
) son tangentes a
C
u
(u
0
, v
0
) y C
v
(u
0
, v
0
) respectivamente en el punto (x
0
, y
0
, z
0
).
Denicion: Punto regular de una supercie.
Sea (u
0
, v
0
) . Se dice que el punto (x
0
, y
0
, z
0
) =

(u
0
, v
0
) es un punto
regular de la supercie parametrizada

: R
3
si los vectores
u
(u
0
, v
0
) y

v
(u
0
, v
0
) son linealmente independientes, es decir, si
u
(u
0
, v
0
)

v
(u
0
, v
0
) =
0.
Comentario: El hecho de que un punto de una supercie sea regular o no,
depende de la parametrizacion

que se emplee y no exclusivamente del
punto (x
0
, y
0
, z
0
) en cuestion. Es decir, podra ocurrir que un punto
(x
0
, y
0
, z
0
) que es regular con una parametrizacion

, sea singular con otra
y viceversa.
Denicion: Supercie regular.
Se dice que una supercie parametrizada

: R
3
es regular cuando
todos sus puntos son regulares.
Denicion: Plano tangente a una supercie parametrizada.
Sea

: R
3
,

C
1
() una supercie parametrizada con imagen y
sea P
0
(x
0
, y
0
, z
0
) =

(u
0
, v
0
) un punto regular. Se dene el plano
tangente a la supercie en P
0
como el plano denido por el punto P
0
y los
vectores

u
(u
0
, v
0
) y

v
(u
0
, v
0
).
Denicion: Vector normal a una supercie parametrizada.
Los vectores

u
(u
0
, v
0
) y

v
(u
0
, v
0
) son linealmente independientes y
tangentes a la supercie en P
0
, por tanto los dos productos vectoriales
u
(u
0
, v
0
)

v
(u
0
, v
0
) ,

v
(u
0
, v
0
)

u
(u
0
, v
0
) ,
que son iguales en modulo y direccion pero de sentidos opuestos, son a su
vez normales a la supercie en el mencionado punto.
Justiquemos que el plano as denido es tangente a en P
0
. Sea
u = (t), v = (t), t [a, b] una curva en el plano uv que pasa por el
punto (u
0
, v
0
) es decir, (u
0
, v
0
) = ((t
0
), (t
0
)) para alg un t
0
[a, b].
Entonces (x, y, z) =

((t), (t)) ; t [a, b] es la representacion
parametrica de una curva sobre que pasa por P
0
. Al derivar, el vector:
u
((t), (t))
(t) +

v
((t), (t))
(t)
es tangente a la curva anterior en cada punto. Por ello, para t = t
0
h :=

u
(u
0
, v
0
)
(t
0
) +

v
(u
0
, v
0
)
(t
0
)
es tangente a la curva en P
0
, cualquiera que sea la curva que se trace sobre
la supercie. Pero

h es combinacion lineal de

u
(u
0
, v
0
) y

v
(u
0
, v
0
), con
lo que siempre pertenece al plano tangente a la supercie en P
0
. Por ello
se ha demostrado que el plano tangente a la supercie contiene a todos los
vectores tangentes en P
0
a las curvas contenidas en que pasan por P
0
.
Calculo del plano tangente a una supercie.
Unas ecuaciones parametricas del plano tangente seran
(x, y, z) = (x
0
, y
0
, z
0
) +
u
(u
0
, v
0
) +
v
(u
0
, v
0
), , R
Para obtener unas ecuaciones cartesianas del plano utilizaremos que la
condicion que deben cumplir los puntos (x, y, z) del plano tangente es que
(x, y, z) (x
0
, y
0
, z
0
) sea ortogonal al vector normal
u
(u
0
, v
0
)

v
(u
0
, v
0
). Por ello, la ecuacion cartesiana del plano tangente
anterior es
(x x
0
, y y
0
, z z
0
)
_
u
(u
0
, v
0
)

v
(u
0
, v
0
)
_
= 0
Supercie dada en forma cartesiana.
En el caso de que la supercie este denida mediante una ecuacion
cartesiana g(x, y, z) = 0, para calcular el plano tangente se puede utilizar
el siguiente resultado:
Proposicion. Sea A un abierto de R
3
(respectivamente R
2
) y sea
g : A R una funcion C
1
(A). Considerese un punto (x
0
, y
0
, z
0
) de la
supercie g(x, y, z) = 0 (resp. un punto (x
0
, y
0
) de la curva g(x, y) = 0)
Entonces si el vector g(x
0
, y
0
, z
0
) (resp. g(x
0
, y
0
, z
0
)) es no nulo, dicho
vector es perpendicular a la supercie, es decir, al plano tangente, en el
punto (x
0
, y
0
, z
0
) (resp. perpendicular a la curva en el punto (x
0
, y
0
)).
Demostracion. La hacemos para el caso de una supercie en R
3
.
Sea una curva arbitraria (x, y, z) = ((t), (t), (t)) , t [a, b] sobre
la supercie, que pasa por (x
0
, y
0
, z
0
), es decir,
(x
0
, y
0
, z
0
) = ((t
0
), (t
0
), (t
0
)) para un cierto t
0
[a, b].
Hay que demostrar que el vector tangente a la curva es perpendicular al
vector g(x
0
, y
0
, z
0
).
Como la curva pertenece a la supercie cumple que
g((t), (t), (t)) = 0, t [a, b].
Derivando y usando la regla de la cadena se tiene que
g((t), (t), (t))
_
(t),
(t),
(t)
_
= 0, t [a, b]
y haciendo t = t
0
se obtiene el resultado buscado.
Por tanto, la ecuacion del plano tangente a la supercie g(x, y, z) = 0 en
un punto de la misma es
(x x
0
, y y
0
, z z
0
) g(x
0
, y
0
, z
0
) =
g
x
(x
0
, y
0
, z
0
) (x x
0
) (x
0
, y
0
, z
0
) +
g
y
(x
0
, y
0
, z
0
) (y y
0
) +
+
g
z
(x
0
, y
0
, z
0
) (z z
0
) = 0
Si la ecuacion de la supercie es cartesiana explcita, es decir,
z = f (x, y), (x, y) , con f C
1
(), podemos denir
g(x, y, z) := z f (x, y) y aplicar lo anterior, con lo que se obtiene
z z
0
=
f
x
(x
0
, y
0
) (x x
0
) +
f
y
(x
0
, y
0
) (y y
0
)
Indice
1
2
3

3.

Area de una supercie parametrizada. (1)
Area de un paralelogramo y de un triangulo. Sea el paralelogramo

H en R
3
denido por el punto P
0
(x
0
y
0
, z
0
) y los vectores a y

b.
Entonces
AreaH =
_
_
_
a
b
_
_
_
con lo que el area del triangulo T correspondiente a la mitad de H es
AreaT =
1
2
_
_
_
a
b
_
_
_
Denamos la longitud de una curva parametrizada r : [a, b] R
n
como el supremo de las longitudes de las poligonales inscritas. En el
caso de parametrizaciones C
1
se obtena Long() =
_
b
a
r
(t) dt.
Para el caso de una supercie denida mediante una parametriza-
cion

: R
3
, se podra hacer algo analogo, aproximando la
supercie por una serie detriangulos inscrito, calculando el area de
este conjunto de triangulos ypasando al lmite. Aqu nos
limitaremos a dar su denicion en terminos de una integral doble.
3.

Denicion:

Sea A un abierto conexo de R
2
y

: A R
3
,

C
1
(A). Sea R
2
un
compacto y medible Jordan tal que A y

es inyectiva en salvo
quizas en un conjunto con contenido nulo. Sea la supercie :=

().
Entonces el area de esta dada por la siguiente expresion
Area =
_ _
_
_
_
_
_
u
(u, v)

v
(u, v)
_
_
_
_
_
dudv .
Nota: En lo que sigue, la norma del vector normal asociado a la
parametrizacion que se este considerando (
_
,
_
en este caso) se
representara a menudo por n(u, v).
3.

Comentarios (1/3).
Independencia de la parametrizacion.
Se puede demostrar que si

:
R
3
,

(s, t) =

((s, t)) (donde
(s, t) es un cambio de variable de a
) es otra parametrizacion
inyectiva y de clase uno de , se cumple que
_ _
_
_
_
_
_
u
(u, v)

v
(u, v)
_
_
_
_
_
dudv =
_ _
_
_
_
_
_
s
(s, t)

t
(s, t)
_
_
_
_
_
dsdt
lo que indica que la denicion esta bien dada; es decir, el area no depende
de la parametrizacion que se elija para .
3.

Comentarios (2/3).
Inyectividad.
A

se le pide que sea inyectiva en salvo quizas en un conjunto
con contenido nulo para que la imagen no se recorra varias veces.
Observese que si

es inyectiva en \B y B tiene contenido nulo:
_ _
n(u, v)dudv =
_ _
\B
n(u, v)dudv +
_ _
B
h(u, v)dudv
=
_ _
\B
n(u, v)dudv
pues la integral de cualquier funcion (acotada) sobre un conjunto con
contenido nulo vale cero. Por ello, se obtiene el mismo resultado al integral
sobre \B que sobre .
3.

Comentarios (3/3).
Interpretacion de la norma del vector normal.
Sea (u
0
, v
0
) , > 0 y denamos C
:=

B((u
0
, v
0
), ) (bola
cerrada) y la supercie
:=

(C
). Entonces:
Area
=
_ _
C
n(u, v)dudv
Como n es continua en C
(compacto conexo) se puede usar el teorema del

valor medio para integrales m ultiples. Por tanto, existe (
) C
tal que
Area
= n(
AreaC
= lm
0
Area
AreaC
= lm
0
n(
) = n(u
0
, v
0
)
donde se ha usado la continuidad de n(u, v) en (u
0
, v
0
). Por ello n(u
0
, v
0
)
es el factor de relacion local entre las areas de
y de C
.
3.

Area de una supercie dada por su ecuacion cartesiana

explcita.
Si una supercie esta denida por z = f (x, y), (x, y) , se puede
parametrizar en la forma
x = x , y = y , z = f (x, y) , (x, y) .
Por tanto
x
(x, y)

y
(x, y) =
_
f
x
(x, y),
f
y
(x, y), 1
_
con lo que
_
_
_
_
_
x
(x, y)

y
(x, y)
_
_
_
_
_
=
1 +
_
f
x
(x, y)
_
2
+
_
f
y
(x, y)
_
2
y entonces
Area =
_ _
1 +
_
f
x
(x, y)
_
2
+
_
f
y
(x, y)
_
2
dxdy .
3.

Area de una supercie de revolucion (1/4).

1. Parametrizacion de la supercie.
Sea una curva plana y sea la supercie de revolucion que se
obtiene cuando gira alrededor de un eje situado en el mismo plano. Por
ejemplo, tomaremos la curva situada en el plano yz y el eje de giro sera el
eje z, con lo que unas ecuaciones parametricas de seran:
y = (t) , z = (t) , t [a, b] .
Supondremos que no es secante al eje de giro, con lo que (t) 0.
Para calcular el area, es necesario obtener unas ecuaciones parame-
tricas de la supercie generada cuando gira alrededor del eje z.
Tomando como parametros t (que parametriza la curva plana) y el angulo
de giro respecto del plano yz:
x = (t) sen , y = (t) cos , z = (t) , [0, 2] , t [a, b] .
3.


2. Norma del vector normal y area de la supercie.
Para la parametrizacion anterior el vector normal es:
t
(t, )

(t, ) =
_
(t)
(t) sen , (t)
(t) cos , (t)
(t)
_
,
y su norma:
_
_
_
_
_
t
(t, )

(t, )
_
_
_
_
_
= (t)
_
[
(t)]
2
+ [
(t)]
2
.
Por tanto:
Area = 2
_
b
a
(t)
_
[
(t)]
2
+ [
(t)]
2
dt .
3.


3. Teorema de Guldin para el area de una supercie de revolucion.
Sea la supercie generada cuando la curva plana gira alrededor de un
eje situado en dicho plano y que no corta a . Entonces el area de la
supercie es igual al producto de la longitud de por la longitud de la
circunferencia descrita por el centro de gravedad de .
Como aplicacion directa de este teorema a la supercie
x = (t) sen , y = (t) cos , z = (t) , [0, 2] , t [a, b] ,
que hemos venido considerando, se obtiene:
Area =
_
ydr = 2
_
b
a
(t)
_
[
(t)]
2
+ [
(t)]
2
dt .
3.


4. Ejercicios.
1
Sea la curva denida por y = f (x), x [a, b], donde f es de clase 1
y f (x) 0 en dicho intervalo.
1 Deducir la expresion mas sencilla que proporciona el area de la
supercie engendrada cuando gira alrededor del eje x.
Solucion: A = 2
_
b
a
f (x)
_
1 + (f

(x))
2
dx.
2 Idem cuando gira alrededor del eje y y a 0.
Solucion: A = 2
_
b
a
x
_
1 + (f

(x))
2
dx.
3 Como aplicacion calcular el area de un cono recto circular de altura H
y semiangulo en el vertice .
Solucion: A = tan
1 + tan
2
H
2
.
2
Encontrar unas ecuaciones parametricas y una ecuacion cartesiana de
la supercie torica engendrada cuando una circunferencia de radio a
cuyo centro esta a una distancia R > a del eje z gira alrededor del
mismo. Calcular el area de dicha supercie.
3.

Area de una supercie reglada (1/3).

1. Denicion. Se dice que una supercie es reglada cuando
esta generada por el movimiento de una recta, denominada generatriz, que
se apoya en otra u otras curvas, denominadas directrices.
Nota: En este movimiento, la generatriz normalmente cumple ciertas
condiciones adicionales que denen de forma unvoca la supercie.
3.


2. Parametrizacion de la supercie formada por las rectas que se
apoyan en una curva y tienen una direccion determinada.
Sea una curva en R
3
con parametrizacion r : [a, b] R
3
. En cada
punto P de se considera la recta que pasa por P y que tiene direccion
dada por el vector

d =

d(t), es decir,

d puede depender de t, con lo que
puede ser distinto en cada punto de . Se considera ahora la supercie
formada por las rectas anteriores. Pues bien, se puede parametrizar de la
siguiente forma: si Q es un punto de entonces debe cumplirse
OQ =

OP +
PQ =

OP +
d
y por ello se puede parametrizar en la forma
(x, y, z) =r (t) +
d(t) ; t [a, b], R.

3.


3. Supercie formada por las rectas que se apoyan en una curva y
pasan por un punto.
Sea P (x
1
, x
2
, x
3
) un punto de R
3
y una curva en R
3
con
parametrizacion r : [a, b] R
3
. Se considera la supercie formada por
las rectas que pasan por P y cortan a la curva . Se trata de un caso
particular de la situacion anterior, en el que

d(t) = (x
1
, x
2
, x
3
) r (t), con
lo que, para t [a, b], R, una posible parametrizacion de es
(x, y, z) =r (t) + ((x
1
, x
2
, x
3
) r (t)) = (x
1
, x
2
, x
3
) + (1 )r (t) .
Otra posibilidad para parametrizar es la siguiente: Si Q es un punto de
entonces debe cumplirse:

OQ =

OP +
PQ =

OP +
_
r (t)
OP
_
y por
ello, para t [a, b], R, tambien se puede parametrizar en la forma
(x, y, z) = (x
1
, x
2
, x
3
) +(r (t) (x
1
, x
2
, x
3
)) = (1)(x
1
, x
2
, x
3
) +r (t) .
Indice
1
2
3

4
4. Integral de supercie de un campo escalar. (1)
Denicion: Integral de supercie de un campo escalar.
Sea A abierto conexo de R
2
y sea

: A R
3
,

C
1
(A). Sea R
2
compacto y medible Jordan tal que

A y tal que

es inyectiva en
salvo quizas en un subconjunto de con contenido nulo. Sea la supercie
:=

().
Sea el campo escalar f que suponemos denido sobre la supercie
salvo quizas un subconjunto B de la misma que sea la imagen de un
conjunto
B
de contenido nulo en R
2
(es decir, B =

(
B
) y c(
B
) = 0)
.Entonces la integral de supercie de f sobre , se dene por:
_
fd :=
_ _
f (
(u, v))
_
_
_
_
_
u
(u, v)

v
(u, v)
_
_
_
_
_
dudv (1)
en el caso en que dicha integral exista como integral en sentido propio o
bien como integral impropia convergente.
Comentarios .
1
Son aplicables a este caso los comentarios anteriores sobre la
inyectividad de

.
2
3. Se puede demostrar la integral de supercie de un campo escalar
no depende de la parametrizacion (inyectiva y de clase uno) de la
supercie que se considere. Es decir, la denicion que se acaba de
enunciar esta bien dada.
3
4. Claramente se cumple que
Area =
_
1d
Propiedades.
Sean ,
1
y
2
supercies C
1
y sean f , f
1
y f
2
campos escalares
continuos en ,
1
y
2
. Entonces se cumple:
Linealidad en el integrando. , R,
_
(f
1
+ f
2
) d =
_
f
1
d +
_
f
2
d
Aditividad en el recinto de integracion. Si =
1

2
_
fd =
_
1
fd +
_
2
fd
Acotacion. Si se cumple que existe M R tal que x ,
|f (x)| M, entonces

fd
MA
donde A
es el area de .
Teorema del valor medio para integrales de supercie de un
campo escalar.
Si y f cumplen las hipotesis establecidas anteriormente (es decir,
supercie de clase 1 y f continua en ) entonces existe

tal que
_
fd = f (
)A
donde A
es el area de .
Aplicaciones.
Si es una supercie con densidad supercial , entonces la masa de
la supercie es
_
d. De forma analoga, si c denota la densidad

supercial de carga en la supercie, entonces la carga total de la
misma es
_
cd
Asimismo, el valor promedio de un campo escalar g en una
supercie se dene a traves de la expresion:
g
:=
_
gd
Area
Por tanto, las coordenadas del centro de gravedad de una supercie
con densidad supercial estan dadas por
x
grav
=
_
xd
Masa()
; y
grav
=
_
yd
Masa()
; z
grav
=
_
zd
Masa()
Indice
1
2
3

4
5
Integral de supercie de un campo vectorial. Flujo.
5. Integral de supercie de un campo vectorial. Flujo. (6)
Para denir el ujo de un campo vectorial sobre una supercie es preciso
primero denir lo que se entiende por orientacion de una supercie. Se
ha visto que cualquier curva en R
n
tiene dos orientaciones. Una denida
por una parametrizacion r (t) y la otra dada por w(s) =r ((s)) donde es
cualquier cambio de parametro decreciente. Sin embargo, el caso de las
supercies en R
3
no es tan sencillo. Veremos que orientar una supercie es
elegir una cara de la misma, donde hay que precisar que se entiende
exactamente por esto. Ademas veremos que no todas las supercies tienen
dos caras, es decir, no en todas las supercies se puede denir una
orientacion.
Denicion: Supercie Orientable. Orientacion sobre una
supercie orientable (1/2).
Sea una supercie regular , parametrizada por

: R
3
,

C
1
() .
Se considera el campo de normales unitarias n(x, y, z) en cada punto de la
supercie denido por
n(
(u, v)) =
u
(u, v)

v
(u, v)
_
_
_
u
(u, v)

v
(u, v)
_
_
_
Pues bien, se dice que la supercie es orientable cuando el campo
n(x, y, z) anterior es continuo en . Esto es equivalente a decir que al
recorrer cualquier curva de Jordan sobre , el vector n(x, y, z) en el
extremo nal tiene el mismo sentido que el que tena en el punto de
partida.
Denicion: Supercie Orientable. Orientacion sobre una
supercie orientable (2/2).
El que una supercie sea orientable quiere decir que en ella se pueden
distinguir dos caras. Una denida por el campo de normales anterior y otra
denida por el campo opuesto:
n(
(u, v)) =
u
(u, v)

v
(u, v)
_
_
_
u
(u, v)

v
(u, v)
_
_
_
Elegir una orientacion sobre una supercie orientable no es mas que elegir
una de las dos caras, lo que se hace eligiendo uno de los dos campos de
normales unitarias (uno siempre es el opuesto del otro).
NOTA: En una supercie no orientable solo se puede distinguir una cara.
Hay algunas supercies (banda de Moebius) que no son orientables, pero la
gran mayora de las supercies que aparecen en la practica son orientables.
Flujo (1/2).
Sea A abierto conexo de R
2
sea

: A R
3
,

C
1
(A). Sea R
2
compacto y medible Jordan tal que

A y tal que

es inyectiva en
salvo quizas en un conjunto con contenido nulo. Sea la supercie
:=

() que suponemos regular (salvo quizas un conjunto con contenido
nulo) y orientable, y suponemos elegida una orientaci on sobre .
Sea el campo vectorial

F al que suponemos denido sobre la supercie
salvo quizas un conjunto B de tal que B =

(
B
) para un cierto
B
con contenido nulo (en R
2
).
.../...
Denicion: Flujo (1/2).
Entonces la integral de supercie de

F sobre , o ujo de

F sobre , se
dene mediante la siguiente expresion
_
F d :=
_ _
F(
(u, v))
_
u
(u, v)

v
(u, v)
__
dudv
(donde el signo de

u
(u, v)

v
(u, v) se elige para que este vector tenga
la orientacion que se ha considerado sobre la supercie) siempre que la
integral doble exista como integral en sentido propio o como integral
impropia convergente.
Comentarios .
1
Son aplicables a este caso los comentarios que ya se hicieron sobre la
inyectividad de la parametrizacion

.
2
Se puede demostrar que el ujo no depende de la parametrizacion
(inyectiva de clase uno) que se utilice, siempre que los vectores
normales denan la misma orientacion. Ademas, el ujo es un integral
que depende de la orientacion: si se cambia la orientacion de la
supercie el valor del ujo cambia de signo.
3
De la denicion se observa que el ujo de

F sobre solo depende del
valor de

F sobre . En particular, aunque

F no sea nulo en todo M, si
F es nulo sobre la supercie entonces el ujo de

F sobre sera nulo.
Relacion del ujo con la integral de supercie de un campo
escalar (1/2).
Si la orientacion que se ha elegido sobre es la denida por n(
(u, v)), se
tiene:
_
F d :=
_ _
F(
(u, v))
_
u
(u, v)

v
(u, v)
_
dudv =
=
_ _
F(
(u, v)) n(
(u, v))
_
_
_
_
_
u
(u, v)

v
(u, v)
_
_
_
_
_
dudv
=
_
F n d ,
expresion que relaciona el ujo con la integral de supercie de un campo
escalar.
Relacion del ujo con la integral de supercie de un campo
escalar (2/2).
La expresion:
_
F d =
_
F n d
Pone de maniesto que el ujo es la integral de supercie de la
componente normal del campo, con lo que en particular si el campo

F es
tangente a en todos los puntos, el ujo de

F sobre sera nulo.
Propiedades del Flujo.
Sean ,
1
y
2
supercies C
1
orientables y sean

f ,

f
1
y

f
2
campos
vectoriales continuos en ,
1
y
2
. Entonces se cumple:
Linealidad en el integrando. , R,
_
f
1
+
f
2
_
d =
_
f
1
d +
_
f
2
d
Aditividad en el recinto de integracion. Si =
1

2
_
f d =
_
f d +
_
f d
Acotacion. Si se cumple que existe M R tal que x ,
_
_
_
f (x)
_
_
_ M, entonces
f d
MA
, donde A
es el area de .
Tema 8: Teoremas de Gauss y Stokes.
Alejandro Zarzo
Ampliacion de Calculo (2009 - 2010) Tema 8: Teoremas de Gauss y Stokes. Alejandro Zarzo 1 / 28
Indice
1
El Teorema de Gauss.
2
El Teorema de Stokes.
3
Algunas aplicaciones de los teoremas de Gauss y Stokes.
1 Campos solenoidales que no admiten potencial vector.
2

Angulo solido de vision de una supercie.
1. El Teorema de Gauss. (1)
Dados un recinto R
3
cuya frontera es una supercie y un
campo vectorial

F, el teorema de la divergencia o teorema de Gauss
relaciona, bajo determinadas condiciones, el ujo de

F a traves de
con la integral triple
_ _ _
div
F dx dy dz .
Aunque es cierto en situaciones mas generales, lo enunciaremos aqu para
el caso en que el recinto es una union nita de recintos simples
respecto de los tres ejes.
Denicion: Conjunto simple respecto de z. En R
3
, un conjunto simple
respecto de z es un conjunto de la forma
:=
_
(x, y, z) R
3
: (x, y) z (x, y), (x, y) B
_
donde B R
2
2
) y y
(x, y) (x, y).
Comentarios.
De forma analoga se denen los conjuntos simples respecto de x e y.
Se recuerda que un conjunto simple siempre es medible Jordan, pues
su frontera tiene contenido nulo.
En lo sucesivo siempre supondremos que las funciones cuyas gracas
limitan el recinto son de clase C
1
(en la denicion anterior y
deben ser C
1
(B)) y entonces hablaremos de conjunto simple de
clase 1.
Ademas, la frontera de un conjunto simple respecto de cualquier eje
siempre es orientable, existiendo dos caras que podemos denominar
interior y exterior.
Proposicion (Resultado previo).
Sea R
3
un conjunto simple de clase 1 respecto de los tres ejes. Sea
A un abierto que contiene a y sea U : A R
3
un campo escalar de
clase C
1
(A). Entonces se verica
(1)
_ _ _
U
x
dxdydz =
_ _
Un
1
d
(2)
_ _ _
U
y
dxdydz =
_ _
Un
2
d
(3)
_ _ _
U
z
dxdydz =
_ _
Un
3
d
donde n = (n
1
, n
2
, n
3
) es el vector normal unitario saliente a .
Nota: En realidad no es necesario que U sea de clase 1. Si existe
U
x
y es
continua en A, entonces se verica (1) y analogamente para (2) y (3).
Demostracion (1/2). Demostraremos (3). Las expresiones (1) y (2) se
demuestran de forma completamente analoga. Puesto que es simple con
respecto al eje z, unas ecuaciones de son
:=
_
(x, y, z) R
3
: (x, y) z (x, y), (x, y) B
_
.
Por tanto:
_ _ _
U
z
dxdydz =
_ _
B
dxdy
_
_
(x,y)
(x,y)
U
z
dz
_
=
_ _
B
(x, y)dxdy
_ _
B
(x, y)dxdy
Ahora bien, la frontera de se puede escribir de la siguiente forma:
+
=
+
1

+
2

+
3
donde, se puede considerar que las ecuaciones cartesianas de
1
y
2
son:
z = (x, y) y z = (x, y), respectivamente, mientras que la direccion del
vector normal a
3
es paralela al plano XY .../...
Demostracion (2/2). Las orientaciones, indicadas por el superndice +,
se corresponden con la normal exterior a . Entonces, considerando el
campo vectrial

F = (0, 0, U) se tiene:
_ _
F d =
_ _
U n
3
d
=
_ _
F d +
_ _
F d +
_ _
F d
=
_ _
B
(x, y)dxdy
_ _
B
(x, y)dxdy
que coincide con la expresion obtenida para
_ _ _
U
z
dxdydz .
Teorema de Gauss.
Sea R
3
un conjunto compacto que se puede expresar como union
nita de conjuntos simples de clase 1 respecto de los tres ejes. Sea A un
abierto que contiene a y sea

F : A R
3
un campo escalar de clase
C
1
(A). Entonces se verica
_ _ _
div
Fdxdydz =
_ _
Fd
donde la supercie esta orientada seg un la normal saliente a .
Demostracion. Se sigue de forma inmediata de la proposicion anterior.
Nota: No es necesario que el campo

F sea de clase C
1
en A. Basta con
que las funciones F
1
/x, F
2
/y y F
3
/z existan y sean continuas en
ese abierto.
Comentarios.
Aunque solo demostramos el resultado anterior para el caso en que
es una union nita de conjuntos simples de clase 1 respecto de los
tres ejes, se puede demostrar que el teorema de Gauss es valido
siempre que sea una union nita de supercies de clase 1.
El teorema de Gauss en R
2
(vease el Tema 5) puede deducirse a
partir del teorema de Gauss en R
3
, lo que se propone en el siguiente
ejercicio: .../...
Ejercicio: Teoremas de Gauss en R
3
y R
2
.
Sea A R
2
abierto simplemente conexo. Sea A un compacto cuya
frontera es una curva de Jordan de clase C
1
a trozos con
parametrizacion x = (t), y = (t), t [a, b]. Considerese el campo
R(x, y, z) = (F
1
(x, y), F
2
(x, y), 0) donde F
1
y F
2
C
1
en A. Sea el cilindro
C := {(x, y, z) ; (x, y) , 0 z h} donde h > 0. Se pide:
(1) Parametrizar la supercie lateral del cilindro C.
(2) Aplicando el teorema de Gauss al campo

R y al cilindro C demostrar el
teorema de Gauss (en R
2
) para el recinto y el campo (F
1
, F
2
), es decir,
demostrar que se verica
_
(F
1
, F
2
) n dr =
_ _
_
F
1
x
+
F
2
y
_
dxdy
donde n esta orientado hacia el exterior de .
Nota: Recuerdese que si se recorre en sentido positivo n = (t
2
, t
1
)
donde
t es el vector tangente unitario.

Teorema de Gauss y campos solenoidales.
Corolario. Bajo las hipotesis del teorema de Gauss, si

F es solenoidal
en , entonces el ujo de

F a traves de su frontera es nulo. Es decir:
F = 0 en =
_
Fd = 0 .
Corolario. Sea R
3
abierto y sea

F : R
3
,

F C
2
(). Si
es una supercie cerrada contenida en a cuyo interior se puede
aplicar el teorema de Gauss, entonces el ujo del rotacional de

F a
traves de cualquiera de las dos caras de es nulo. Es decir:
_ _
rot
Fd = 0 .
Demostracion: Todo campo de rotores de clase C
2
en un abierto es
solenoidal.
Invariancia del ujo al deformar la supercie (1/2).
Supongamos que A R
3
es un conjunto abierto y que es una
supercie cerrada contenida en A, orientada seg un la normal saliente, y
cuyo interior cumple las hipotesis del teorema de Gauss. Supongamos
que existe un conjunto
que cumple las hipotesis anteriores y que

tiene frontera
orientada seg un la normal saliente a
.
Sea

F un campo denido y C
1
en \
tal que que div
F = 0 en \
.
Observese que el teorema de Gauss no se puede aplicar a , ya que

F ni
siquiera tiene por que estar denido en todo . Por tanto su ujo a traves
de la cara exterior de no tiene por que anularse.
.../...
Invariancia del ujo al deformar la supercie (2/2).
Sin embargo, el teorema si se puede aplicar a \
, obteniendose
0 =
_ _ _
\
div
Fdxdydz =
_ _
Fd
_ _
Fd
_ _
Fd =
_ _
Fd .
Esto se puede interpretar diciendo que en conjuntos en los que el campo es
de clase 1 y solenoidal, si se deforma la supercie de forma continua sin
abandonar dicho recinto, el valor del ujo no vara.
Nota: Este resultado recuerda el obtenido en el captulo sobre integral
curvilnea en R
2
. Si

F es un campo denido en R
2
abierto y conexo
(no necesariamente simplemente conexo) y verica la igualdad de
derivadas cruzadas, entonces la circulacion de

F sobre una curva no vara
si dicha curva se deforma de forma continua sin abandonar .
Orientaci on de una supercie coherente con la de la curva en
la que se apoya.
Denicion. Sea una supercie que se apoya en una curva cerrada . La
orientacion de coherente con la de es la que viene dada por la regla
del sacacorchos.
3
un abierto y sea una supercie orientable de
clase 1 contenida en A que se apoya en una curva cerrada . Supongamos
que

F : A R
3
es de clase 1 en A y cumple que div
F = 0 en A.
Entonces, si
es una supercie orientable de clase 1 contenida en A, que

se apoya en la misma curva cerrada , se verica
_ _
Fd =
_ _
Fd .
Indice
1
2
2. El Teorema de Stokes. (1)
El teorema de Stokes relaciona la circulacion de un campo sobre una
curva con el ujo del rotacional de dicho campo sobre una supercie que
se apoye en la curva; es decir, sobre una supercie cuyo borde
orientado sea . En concreto, bajo unas determinadas hipotesis se
verica
_
Fdr =
_
rot
Fd
donde y estan orientadas de manera coherente.
El primer problema con el que nos enfrentamos es el de denir con rigor
lo que es la curva borde de una supercie. Observese que no se
puede denir el borde de una supercie como la frontera en el sentido
topologico del termino, pues la frontera de una supercie es dicha
supercie. Lo que haremos sera parametrizar la supercie y denir su
borde utilizando esta parametrizacion como herramienta.
Denicion: Borde de una supercie.
Sea A R
2
un conjunto dentro del cual se puede aplicar el teorema
de Green; es decir, un abierto simplemente conexo del plano.
Sea

: A R
3
,

C
1
(A) e inyectiva salvo quizas en un conjunto
con contenido nulo.
Sea A R
2
un conjunto compacto cuya frontera es una
curva de clase C
1
a trozos.
Sea la supercie (que suponemos orientable) denida por
=

().
Pues bien, denimos la curva borde de como:
=

() .
Teorema de Stokes.
Sea A R
3
un abierto que contiene a y sea

F : A R
3
de clase C
1
en
A. Entonces se verica:
_
Fdr =
_ _
rot
Fd ,
donde es el borde de (que se acaba de denir) y ambos estan
orientadas de forma coherente (es decir, de acuerdo a la regla del
sacacorchos). Dicho de otro modo, es una supercie con borde
orientado .
Demostracion. La demostracion del teorema de Stokes se basa en el
teorema de Green. Pero, ademas, el teorema de Green se puede probar
aplicando el teorema de Stokes a una curva en el plano XY y a la
supercie plana limitada por ella, para un campo de la forma
F = (P(x, y), Q(x, y), 0).

Teorema de Stokes.
Demostracion (cont). La hacemos para una supercie denida en forma
cartesiana explcita.
Sea A R
2
un conjunto abierto simplemente conexo y sea A un
conjunto compacto cuya frontera es una curva de clase C
1
a trozos
con parametrizacion x = (t), y = (t), t [a, b]. Sea la supercie
denida por z = h(x, y), (x, y) donde h es de clase 2 en A. Sea

F un
campo vectorial de clase 1 en un abierto M que contiene a .
Para probar el teorema de Stokes en este caso:
1
Escribir
__
rot
Fd como una integral doble que denotamos por H.

2
Parametrizar la curva y expresar
_
Fdr como una integral

curvilnea I extendida a la curva plana (es decir, como la integral
curvilnea de un cierto campo en R
2
extendida a ).
3
Demostrar que I = H.
Teorema de Stokes: Corolario
En un tema anterior se estudio un resultado por el cual un campo
irrotacional en un conjunto R
3
estrellado es conservativo. Una vez se
dispone del teorema de Stokes, este resultado resulta ser una de sus
consecuencias.
Ejercicio. Demostrar el resultado siguiente utilizando el teorema de
Stokes.
Proposicion. Sea R
3

F : R
3
,
F C
1
(). Entonces si rot
F =
0 en ,

Borde de una supercie y borde geometrico (1/3).
El borde de se ha denido como =

(). Nos preguntamos
ahora si es verdaderamente el borde de en el sentido geometrico del
termino, es decir, si se apoya en .
Ejemplo 1: Supercie denida en la forma z = f (x, y),(x, y) .
Utilizamos la parametrizacion trivial para y, dibujando la supercie,
se observa que =

() es verdaderamente el borde de en el sentido
geometrico del termino.
.../...
Ejemplo 2: Semi-esfera de centro el origen y radio 1 (z 0).
Con (, ) = [0, 2] [0, /2], utilizamos la parametrizacion
x = cos sen, y = sensen, z = cos .
El borde de en sentido geometrico es la circunferencia de ecuacion
cartesiana: x
2
+ y
2
= 1, z = 0. Mientras que el borde =

() de
es en este caso
=
1

2
,
donde
1
es una cierta curva sobre la esfera y
2
=
1
, es decir, es esa
misma curva recorrida en sentido contrario. Por ello, en este caso:
_
Fdr =
_ _
Fdr ,
es decir, la circulacion a en el teorema de Stokes se puede extender al
borde geometrico, , en vez de al borde en el sentido de la denicion.
La situacion que se da en el segundo ejemplo se plantea tambien en
muchos casos practicos. Es decir, aunque el borde geometrico pueda no
coincidir con el borde (en el sentido de la denicion), se puede
extender la integral curvilnea en el teorema de Stokes al borde
geometrico. Se puede demostrar lo siguiente:
Proposicion. Si la parametrizacion

es inyectiva en , entonces
coincide con el borde geometrico de .
Nota: Observese que, en el primer ejemplo anterior la parametrizacion es
inyectiva mientras que en el segundo ejemplo no lo es.
Indice
1
2
3
Algunas aplicaciones de los teoremas de Gauss y Stokes.
1 Campos solenoidales que no admiten potencial vector.
2

Angulo solido de vision de una supercie.
3. Algunas aplicaciones de los Tmas. de Gauss y Stokes. (1)
Campos solenoidales que no admiten potencial vector (1/2).
Sea R
3
abierto y sea

F : R
3
, de clase C
1
en . En un tema
anterior se estudio la existencia y unicidad de potencial vector para

F; es
decir, la existencia de un campo

G tal que rot
G =

F en .
En particular, se armo (sin dar ning un contraejemplo) que el que

F
sea solenoidal en no es en general condicion suciente para que

F
admita potencial vector, a no ser que R
3
sea estrellado.
Una vez estudiado el teorema de Stokes, ya estamos en condiciones de
justicar esta armacion dando un contraejemplo adecuado. .../...
Campos solenoidales que no admiten potencial vector (2/2).
Sean 0 < R
1
< R
2
y considerese el conjunto
=
_
(x, y, z) R
3
: R
1
<
_
x
2
+ y
2
+ z
2
< R
2
_
que, claramente, no es estrellado.
Sea

F(r ) :=
r
r
3
, que es C
1
y solenoidal en puesto que lo es en el
conjunto R
3
\
_
0
_
. Sin embargo:
Ejercicio. Demostrar, utilizando el teorema de Stokes, que el campo
F(r ) :=
r
r
3
no admite un potencial vector en el conjunto .
Angulo solido de vision de una supercie (1/2).

Denicion. Sea P R
3
y sea una supercie. Sea dene el angulo
solido de vision de desde P , y se representa por
P
(), como el
conjunto de las semi-rectas que pasan por P y que cortan a al menos
una vez. Para construir una medida del angulo solido
P
() se procede de
la forma siguiente. Sea S la supercie interseccion de
P
() con la esfera
de centro P y radio 1. Pues bien, como medida |
P
()| del angulo solido
P
() se toma el area de S, es decir,
|
P
()| := area(S) .
Angulo solido de vision de una supercie (2/2).

Observese que dada una supercie existen innitas supercies con
el mismo angulo solido de vision que desde un punto dado.
Claramente, el angulo solido de vision de cualquier supercie cerrada
desde cualquier punto de su interior es 4.
El siguiente resultado proporciona un procedimiento para calcular el
angulo solido en determinadas circunstancias:
Proposicion. Sea P el origen y sea una supercie orientable de
clase 1 que no pasa por el origen y que cumple que cada semirrecta
que pasa por P corta a una vez a lo sumo. Entonces se cumple
|
P
()| =
_
r
r
3
d
donde esta orientada de forma que la normal se ve saliente desde
el origen.

Clases. Ampliación de Cálculo. ETSI Industriales. Univ. Politéc. de Madrid. Zarzo, Alejandro. (2009 - 2010)

Transféré par

Informations du document

Copyright

Formats disponibles

Partager ce document

Partager ou intégrer le document

Options de partage

Avez-vous trouvé ce document utile ?

Ce contenu est-il inapproprié ?

Droits d'auteur :

Formats disponibles

Clases. Ampliación de Cálculo. ETSI Industriales. Univ. Politéc. de Madrid. Zarzo, Alejandro. (2009 - 2010)

Transféré par

Droits d'auteur :

Formats disponibles

Ampliacion de Calculo: Curso 2009-2010

Tema 1: Integrales impropias y funciones denidas

de la primera integral existe si y solo si

f es convergente entonces su valor principal

f es convergente entonces su valor principal

dx. (Sol. Es con convergente si < 1 y diverge a +si 1.)

dx. (Sol. Es con convergente si < 1 y diverge a +si 1.)

dt. (Sol. Es con convergente si > 1 y diverge a +si 1.)

f (x) R), entonces es integrable en

continua. Entonces la integral

F(T) = L > 0, () > 0, b T < () |F(T) L| <

(x, )dx para cada de (c, d)?

(x, ) existe y es continua en [a, b] [c, d].

(x, ) existe y es continua en M

(x, )dx + f ((), )

(x, ) existe y es continua en [a, ) I .

(x, )dx converge uniformemente en I .

P(Q), S(f , P) S(f , P

P(Q), S(f , P) S(f , P

Propiedades de la integral m ultiple sobre rectangulos.

Propiedades de la integral m ultiple sobre rectangulos.

Propiedades de la integral m ultiple sobre rectangulos.

Propiedades de la integral m ultiple sobre rectangulos.

de Q que divide a Q en subrectangulos Q

P(Q) tal que: P

P S(f , P) S(f , P) < .

Indice de la seccion 2. Integral m ultiple sobre rectangulos.

Indice de la seccion 2. Integral m ultiple sobre rectangulos.

Indice de la seccion 2. Integral m ultiple sobre rectangulos.

Ejemplos de supercies generalizadas.

Ejemplos de supercies generalizadas.

Ejemplos de supercies generalizadas.

Ejemplos de supercies generalizadas.

Ejemplos de supercies generalizadas.

Ejemplos de supercies generalizadas.

Supercies generalizadas como conjuntos con contenido nulo.

Supercies generalizadas como conjuntos con contenido nulo.

Supercies generalizadas como conjuntos con contenido nulo.

es uno de los dos recintos en los que el eje x = 0 divide a A.

es uno de los dos recintos en los que el eje y = 0 divide a A.

es uno de los 4 recintos en los que los ejes x = 0 e y = 0

es uno de los cuatro recintos que generan A por simetra

es uno de los dos recintos en los que la recta x = y divide a A.

es uno de los dos recintos en los que el plano x = 0 divide a A.

es uno de los dos recintos en los que el plano y = 0 divide a A.

es uno de los dos recintos en los que el plano z = 0 divide a A.

es uno de los ocho recintos en los que los tres planos

es uno de los ocho recintos que generan A por simetra

sea estrictamente positiva (o estrictamente negativa) en

(x) > 0 (< 0) para todo x I entonces es estrictamente

(a) es una matriz regular.

B salvo quizas en un conjunto con contenido nulo.

IAS DE LAS INTEGRALES M

es uno de los dos recintos en los que el eje x = 0 divide a A.

). Si se aplica el mencionado teorema a la funcion

es compacto y conexo y |J(y)| es una funcion continua en C

Por ello |J(y

(x, y, z) la distancia del punto (x, y, z) al plano

(s) = 1, de donde se deduce que

(s) ,= 0 para todo

es continua, hay dos posibilidades:

(s) > 0 para todo s [c, d] en cuyo caso es estrictamente

(s) > 0 para todo s [c, d] en cuyo caso es estrictamente

(s) luego como en general