LOS TEOREMAS DE GAUSS Y DE STOKES

Curso2010-2011
6 de diciembre de 2010
ndice
1. Introduccin 2
2. El teorema de Gauss 2
2.1. Enunciado del teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2
2.2. Algunas consecuencias del teorema de Gauss . . . . . . . . . . . . . . . . . . . . . . . 9
2.3. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11
3. El teorema de Stokes 13
3.1. Enunciado y consecuencias del teorema . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
3.2. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
4. Algunas aplicaciones de los teoremas de Gauss y de Stokes 22
4.1. Campos solenoidales que no admiten potencial vector . . . . . . . . . . . . . . . . . . 22
4.2. ngulo slido de visin de una supercie . . . . . . . . . . . . . . . . . . . . . . . . . . 23
4.3. Interpretacin fsica de divergencia y rotacional . . . . . . . . . . . . . . . . . . . . . . 24
4.4. Obtencin de ecuaciones diferenciales a partir de principios de conservacin . . . . . . 27
4.5. Estudio de la unicidad de solucin de ciertas EDPs . . . . . . . . . . . . . . . . . . . . 28
4.6. Teorema del transporte de Reynolds . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29
1
LOS TEOREMAS DE GAUSS Y DE STOKES
Ampliacin de Clculo (Grupo 2M1). Curso 2010-2011
1. Introduccin
Los teorema de Gauss y de Stokes constituyen, junto con el teorema de Green, los resultados
ms importantes del clculo vectorial integral. Son resultados muy utilizados en la Fsica y en otras
ramas de la ingeniera. Estos resultados relacionan distintos tipos de integrales: integrales curvilneas,
integrales de supercie e integrales triples.
2. El teorema de Gauss
Dados un recinto \ R
S
con supercie frontera y un campo vectorial

1, el teorema de la
divergencia o teorema de Gauss relaciona, bajo determinadas condiciones, el ujo
_
Y

1do con la
integral triple
_
U
div

1drdjd..
2.1. Enunciado del teorema
Aunque se cumple en situaciones ms generales, enunciaremos el teorema de Gauss para el caso
en que el recinto \ es una unin nita de recintos simples respecto de los tres ejes. Se recuerda a
continuacin la nocin de conjunto simple en R
S
, ya estudiada en el captulo dedicado a la integral
mltiple:
Denicin 1 Conjunto simple respecto de .. En R
S
, un conjunto simple respecto de . es un
conjunto de la forma
\ :=
_
(r, j, .) R
S
: c(r, j) _ . _ ,(r, j), (r, j) 1
_
(1)
donde 1 R
2
es un conjunto compacto medible Jordan (en R
2
) y c y , son funciones c, , : 1 R
continuas tales que \(r, j) 1, c(r, j) _ ,(r, j)
2
I Comentarios:
De forma anloga, se denen las nociones de conjunto simple respecto de j y de conjunto simple
respecto de r.
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 grcas limitan el recinto son de clase
C
1
(en el caso (1), c y , deben ser C
1
(1)) y entonces hablaremos de conjunto simple de clase
1.
Adems, la frontera de un conjunto simple respecto de cualquier letra siempre es orientable,
existiendo dos caras que podemos denominar interior y exterior.
Antes de introducir el teorema de Gauss, veremos un resultado previo que permite demostrar el
teorema de Gauss:
Proposicin 1 (i) Sea \ R
S
un conjunto simple de clase 1 respecto de los tres ejes (simple respecto
de r, respecto de j y respecto de .)
(ii) Sea ' un abierto que contiene a \ y sea l : ' R
S
un campo escalar de clase C
1
(').
Entonces se verica
(a)
_ _ _
U
0l
0r
drdjd. =
_
0U
l:
1
do
(/)
_ _ _
U
0l
0j
drdjd. =
_
0U
l:
2
do
(c)
_ _ _
U
0l
0.
drdjd. =
_
0U
l:
S
do
(2)
donde : = (:
1
, :
2
, :
S
) es el vector normal unitario saliente a \. Ntese que las expresiones anteriores
se pueden escribir, de forma ms compacta, en la forma
_ _ _
U
0l
0r
i
drdjd. =
_
0U
l:
i
do , i = 1, 2, 8
I Comentarios: En realidad no es necesario que l sea de clase 1 para que se verique alguna de
las expresiones anteriores. En concreto, si existe
0l
0a
y es continua en ', entonces se verica (a). Si
existe
0l
0j
y es continua en ', entonces se verica (b) y por ltimo si existe
0l
0:
y es continua en ',
entonces se verica (c).
Dem.
3
Como ahora veremos, el teorema de Gauss se sigue de forma inmediata a partir de la Proposicin
1 anterior:
Teorema 1 Teorema de Gauss.
(i) Sea \ R
S
un conjunto compacto que se puede expresar como unin nita de conjuntos simples
de clase 1 respecto de los tres ejes.
(ii) Sea ' un abierto que contiene a \ y sea

1 : ' R
S
un campo vectorial de clase C
1
(').
Entonces se verica
_ _ _
U
div

1drdjd. =
_
0U

1do
(3)
donde la supercie 0\ est orientada segn la normal saliente a \.
Comentarios:
a) Si denominamos a 0\ entonces \ es el interior de y entonces (3) se puede escribir en la
forma equivalente
_ _ _
iatY
div

1drdjd. =
_
Y

1do
b) No es necesario que el campo

1 sea de clase C
1
en '. Basta con que las funciones 01
1
,0r,
01
2
,0j y 01
S
,0. existan y sean continuas en '.
Dem.
Hablando de forma laxa, se puede decir que el teorema de Gauss se puede aplicar a un campo

1 y
a una supercie cerrada cuando el campo

1 est denido y es de clase 1 en un abierto que contenga
a y a su interior.
I Comentarios:
4
Aunque slo demostramos el resultado anterior para el caso en que \ es una unin nita de
conjuntos simples de clase 1 respecto de los tres ejes, se puede demostrar que el teorema de Gauss
es vlido siempre que 0\ sea una unin nita de supercies de clase 1.
La Proposicin 1 recuerda el siguiente resultado, estudiado en el captulo dedicado a curvas:
Proposicin 2 (i) Sea \ R
2
abierto simplemente conexo.
(ii) Sea I curva de Jordan, C
1
a trozos, contenida en \
(iii) Sea l : \ R, l C
1
(\)
Entonces se cumple
_ _
int
0l
0r
drdj =
_

l:
1
dr ;
_ _
int
0l
0j
drdj =
_

l:
2
dr
(4)
donde : = (:
1
, :
2
) es el vector unitario normal saliente.
De forma anloga, el teorema de Gauss guarda analoga con el teorema de Gauss en R
2
:
Proposicin 3 Teorema de Gauss en R
2

(i) Sea \ R
2
abierto simplemente conexo.
(ii) Sea I curva de Jordan, C
1
a trozos y contenida en \
(iii) Sea

1 : \ R
2
,

1 C
1
(\)
Entonces
_

1 : dr =
_ _
int
div

1 drdj
donde : es el vector normal unitario saliente a la curva y donde div

1 :=
_
01
1
0a
,
01
2
0j
_
.
De hecho, el teorema de Gauss en R
2
, que fue demostrado utilizando las relaciones (4), puede
deducirse a partir del teorema de Gauss en R
S
, como muestra el siguiente ejercicio:
Ejercicio 1 Sea R
2
abierto simplemente conexo. Sea \ un compacto cuya frontera es una
curva de Jordan I de clase C
1
a trozos con parametrizacin r = c(t), j = ,(t), t [a, /[.
5
Considrese el campo

1(r, j, .) = (1
1
(r, j), 1
2
(r, j), 0) donde 1
1
y 1
2
son de clase 1 en . Sea el
cilindro C := (r, j, .) ; (r, j) \, 0 _ . _ / donde / 0. Se pide:
(1) Parametrizar la supercie lateral del cilindro C.
(2) Aplicando el teorema de Gauss al campo

1 y al cilindro C demostrar el teorema de Gauss (en
R
2
) para el recinto \ y el campo (1
1
, 1
2
), es decir, demostrar que se verica
_

(1
1
, 1
2
) : dr =
_ _
U
_
01
1
0r

01
2
0j
_
drdj
donde : est orientado hacia el exterior de \. Nota: Recurdese que si I se recorre en sentido positivo
: = (t
2
, t
1
) donde

t es el vector tangente unitario.
El siguiente ejercicio permite vericar la validez del teorema de Gauss en un caso particular:
Ejercicio 2 Comprubese la validez del teorema de la divergencia para el campo vectorial
E(r, j, .) = r[j .[i j[. r[j .[r j[k
y el cubo unidad de R
S
, Q = [0, 1[ [0, 1[ [0, 1[.
Nota: Recurdese que para que el teorema de la divergencia pueda aplicarse, no es preciso que el campo vectorial E sea
de clase C
1
; basta que las funciones @E1=@x, @E2=@y y @E3=@z sean continuas en un abierto que contenga al cubo.
Sol: 1
Ejercicio 3 Estudiar si se verican las hiptesis para poder armar que
_ _ _
U
div

1drdjd. =
_
0U

1do
en las siguientes situaciones:
1. El campo

1 es de clase 1 en R
S
y 0\ es la supercie, que se apoya en la curva I, que muestra
la siguiente gura
2. El campo

1 es de clase 1 en el conjunto \ = R
S
\
0
, donde \
0
es el conjunto limitado por la
supercie de la siguiente gura,
6
y est dada por
3.

1 es el mismo campo de (2) y 0\ es la siguiente supercie
4.

1 es el mismo campo de (1) y \ es el espacio limitado por las supercies
1
y
2
de la gura
7
Ejercicio 4 Estudiar si se verican las hiptesis para poder armar que
_ _ _
U
div

1drdjd. =
_
0U

1do
en las siguientes situaciones:
1.

1 es el campo

1(r, j, .) =
_
a
2
j
2
a
, j .,
a:
a
_
y 0\ es la supercie de ecuacin 4r
2
j
2
.
2
= 8r
2.

1 es el campo

1(r, j, .) =
_
a
2
j
2
a
2
j
2
:
2
, j,
a:
a
2
j
2
:
2
_
y \ es el conjunto denido por
r
2
j
2
.
2
_ 1
2r
2
2j
2
.
2
_ 10
3.

1 es el campo

1(r, j, .) =
1
_
1a
2
2j
2
1:
2
(r, j, .) y \ es el conjunto denido por
r
2
j
2
.
2
_ 1
4.

1 es el campo

1(r, j, .) =
1
_
1a
2
2j
2
1:
2
(r, j, .) y \ es el conjunto denido por
r
2
j
2
.
2
_ 1
5.

1 es el campo

1(r, j, .) =
1
_
1a
2
2j
2
1:
2
(r, j, .) y \ es el conjunto denido por
(r 8)
2
(j 4)
2
(. 8)
2
_ 1
8
2.2. Algunas consecuencias del teorema de Gauss
1. Campos solenoidales en el interior de una supercie cerrada Bajo las hiptesis del teo-
rema 1, si

1 es solenoidal en \ entonces
_
0U

1do = 0.
es decir, si un campo vectorial es de clase 1 y solenoidal en un abierto que contenga a una supercie
cerrada y a su interior, entonces su ujo sobre la supercie es nulo.
Por ejemplo, el campo

1(r) =
r
r
S
, (5)
que es (salvo constante multiplicativa) el campo Newtoniano, es de clase 1 y solenoidal en \ = R
S

0
_
,
como es fcil comprobar. Por ello, si es cualquier supercie cerrada de clase 1 que no rodea al origen,

1 es de clase 1 en un abierto que contiene a la supercie y a su interior y por ello el ujo de

1 sobre
la supercie ser nulo. Si la supercie rodea al origen entonces ya no se cumplen las hiptesis del
teorema de Gauss aplicado a la misma, y por ello no podemos asegurar que el ujo de

1 valga cero.
2. Campos solenoidales. Invariancia del ujo al deformar una supercie cerrada Supong-
amos que ' R
S
es un conjunto abierto y que es una supercie cerrada contenida en ', orientada
con la normal saliente, y cuyo interior \ cumple las hiptesis del teorema de Gauss (se puede expresar
como unin nita de conjuntos simples de clase 1 respecto de los tres ejes). Supongamos que existe un
conjunto \
0
\ que cumple las hiptesis anteriores y que tiene frontera
0
orientada con la normal
saliente a \
0
.
Sea

1 un campo denido y de clase 1 en \\
0
tal que que div

1 = 0 en \\
0
. Obsrvese que el
teorema de Gauss no se puede aplicar a \ (pues

1 ni siquiera tiene por qu estar denido en todo \)
y por tanto
_
Y

1do no tiene por qu anularse. Sin embargo, el teorema de Gauss s se puede aplicar
a \ \
0
, obtenindose
0 =
_ _ _
UU
0
div

1drdjd. =
_
Y

1do
_
Y
0

1do
con lo que
_
Y

1do =
_
Y
0

1do
9
lo que se puede interpretar diciendo que en conjuntos en los que el campo es de clase 1 y solenoidal, el
ujo del campo sobre una supercie cerrada no vara si se deforma la supercie de forma continua
sin abandonar dicho recinto.
Este resultado recuerda el obtenido en el captulo dedicado a la integral curvilnea en R
2
, en el sen-
tido de que si

1 es un campo denido en un conjunto abierto conexo (no necesariamente simplemente
conexo) \ de 1
2
y verica la igualdad de derivadas cruzadas, entonces la circulacin de

1 sobre una
curva cerrada no vara si dicha curva se deforma de forma continua sin abandonar \.
Por ejemplo, en el caso del campo (5), de clase 1 y solenoidal en \ = R
S

0
_
, si es una
supercie cerrada de clase 1 que contiene al origen en su interior, no podemos asegurar que el ujo
de

1 sobre es cero, pero s se puede asegurar que es igual al ujo de

1 sobre cualquier supercie

0
de clase 1 que contenga al origen en su interior, pues
0
se puede obtener deformando de manera
continua sin salirnos de \.
3. Campos solenoidales. Invariancia del ujo sobre supercies con el mismo borde orientado
Introduzcamos la siguiente denicin:
Denicin 2 Orientacin de una supercie coherente con la de la curva en la que se
apoya. Sea una supercie que se apoya en una curva cerrada I. La orientacin de coherente
con la de I es la que viene dada por la regla del sacacorchos (ver gura)
Rega del sacacorchos
Entonces se tiene:
Proposicin 4 Sea ' un abierto de R
S
y sea una supercie orientable de clase 1 contenida en
' y que se apoya en una curva I, siendo las orientaciones de I y de coherentes. Supongamos que

1 : ' R
S
es de clase 1 en ' y cumple que div

1 = 0 en '. Entonces, si
0
es una supercie
orientable de clase 1 contenida en ', que se apoya en I y orientada de forma que su orientacin sea
coherente con la de I, se verica
_
Y

1do =
_
Y
0

1do
10
Dem
Prescindiendo de los detalles tcnicos, el resultado anterior se puede parafrasear diciendo que si
tenemos dos supercies (no cerradas) que se apoyan sobre la misma curva (de forma que la orientacin
de las dos supercies sea coherente con la de la curva) y el campo vectorial

1 es de clase 1 y solenoidal
en un abierto que contenga al espacio entre las dos supercies, entonces el ujo de

1 sobre las dos
supercies es el mismo.
4. Flujo de un rotacional sobre una supercie cerrada Ya sabemos que, para cualquier
campo

1 de clase 2, se cumple
di(rot

1) = 0.
Como consecuencia inmediata tenemos lo siguiente:
Proposicin 5 Sea ' R
S
abierto y sea

1 : ' R
S
,

1 C
2
('). Si es una supercie cerrada
contenida en ' a cuyo interior se puede aplicar el teorema de Gauss, entonces
_
Y
rot

1do = 0
Dem
2.3. Ejercicios
Ejercicio 5 Sea c = (c
1
, c
2
, c
S
) R
S
y sea o la supercie esfrica de centro c y radio 1 0, orientada
segn su normal saliente.
a) Calclese por dos mtodos dintintos el ujo a travs de o del campo F(r) = r c.
b) Calclese el ujo a travs de o del campo
G(r) =
r c
|r c|
S
c) Calclese el ujo de G a travs del elipsoide de ecuaciones
(r c
1
)
2
a
2

(j c
2
)
2
/
2

(. c
S
)
2
c
2
= 1
orientado segn la normal saliente (a, /, c 0)
d) Sea una supercie cerrada de clase 1 que no pasa por el punto c. Calcular razonadamente los
posibles valores que puede tomar el ujo de G sobre .
e) Sea la supercie de ecuacin
r
2
j
2
.
2
= c
2
1
c
2
2
c
2
S
Calcular el ujo de G sobre .
11
Ejercicio 6 Calcular el ujo del campo
_
sen
2
(j
2
.
2
) .j, 2c
a
2
:
, r
2
j
2
_
a travs de la semiesfera
r
2
j
2
.
2
= 1
2
, . _ 0, orientada con la normal "saliente".
Sol:
1
4
2
Ejercicio 7 Calcular el ujo del campo

1 =

i
a


)
j


I
:
a travs de la cara exterior del elipsoide
a
2
o
2

j
2
b
2

:
2
c
2
= 1.
Sol: 4a/c
_
1
o
2

1
b
2

1
c
2
_
Ejercicio 8 Calclese la integral del campo vectorial
F(r, j, .) =
1
(r
2
j
2
.
2
)
S2
(r, j, .)
sobre la cara exterior del tetraedro de vrtices
(0, 0, 1) , (1, 0, 1) , (1, 1, 1) , (1, 1, 1) .
Sol: 4
Ejercicio 9 En R
S
sea 1(r) una funcin escalar homognea de grado : 0. Sea o la esfera unidad
r
2
j
2
.
2
_ 1 y sea 0o su supercie frontera.
1. Transfrmese la integral de supercie
_
0S
1(r)do en una integral triple extendida a o.
2. Como aplicacin de lo anterior, calclese la integral de supercie
_
0S
_
r
1
1j
1
C.
1
1r
2
j
2
1j
2
.
2
1.
2
r
2
_
do
Ejercicio 10 Calcular razonadamente todos los valores posibles que puede tomar el ujo del campo
vectorial
F(r, j, .) := 2 .
2
ri .
2
j j .
S
k
a travs de una supercie regular cuyo borde orientado es la curva que resulta de la interseccin de la
esfera r
2
j
2
.
2
= 1 y el cilindro r
2
.
2
= 1,4, j _ 0.
12
3. El teorema de Stokes
El teorema de Stokes relaciona la circulacin de un campo sobre una curva I con el ujo del
rotacional de dicho campo sobre una supercie que se apoye en la curva, es decir, sobre una supercie
cuyo borde sea I. En concreto, bajo unas determinadas hiptesis se verica
_

1dr =
_
Y
rot

1do
donde I y estn 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. Obsrvese que no se puede denir el borde de una supercie como la frontera en el
sentido topolgico del trmino, pues la frontera de una supercie es dicha supercie. Lo que haremos
ser parametrizar la supercie y denir su borde utilizando esta parametrizacin como herramienta.
Como veremos, el teorema de Stokes est muy relacionado con el teorema de Green.
3.1. Enunciado y consecuencias del teorema
Teorema 2 Teorema de Stokes.
(I)
(1) Sea R
2
un conjunto dentro del cual se puede aplicar el teorema de Green, es decir, un
abierto simplemente conexo.
(2) Sea

c : R
S
,

c C
1
() e inyectiva salvo quizs en un conjunto con contenido nulo.
(3) \ conjunto compacto cuya frontera 0\ es una curva de clase 1 a trozos C
1
Sea la supercie (que suponemos orientable) denida por =

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

c(0\)
(II) Sea ' un abierto de R
S
que contiene a y sea

1 : ' R
S
, tal que

1 C
1
(')
Entonces se verica
_
0Y

1dr =
_
Y
rot

1do
donde 0 y estn orientadas de forma coherente (es decir, de acuerdo a la regla del sacacorchos)
y 0 en el teorema de Stokes
13
I Comentarios:
La demostracin del teorema de Stokes se basa en el teorema de Green. De hecho, el teorema
de Green se puede obtener aplicando el teorema de Stokes a una curva I en el plano rj y a la
supercie plana limitada por ella. Ms adelante hay 2 ejercicios al respecto.
Hablando de forma laxa, se puede decir que el teorema de Stokes se puede aplicar a un campo

1
y a una supercie cuando el campo

1 est denido y es de clase 1 en un abierto que contenga
a (y por ello tambin a la curva frontera 0).
Interpretacin geomtrica del borde de la supercie . El borde 0 de se ha denido
como 0 =

c(0\). Nos preguntamos ahora si 0 es verdaderamente el borde de en el sentido
geomtrico del trmino, es decir, si se apoya en 0. Veamos algunos casos:
1. Supercie denida en forma cartesiana explcita . = )(r, j),(r, j) \. Utilizamos
la parametrizacin trivial para y, dibujando la supercie, se observa que 0 =

c(0\) es ver-
daderamente el borde de en el sentido geomtrico del trmino.
2. Casquete superior de una esfera de centro el origen y radio 1. Utilizando la parame-
trizacin
r = cos 0sen,
j = sen0sen, (0, ,) \ = [0, 2[ [0, ,2[
. = cos ,
del mismo, y calculando 0 =

c(0\) se observa que 0 no es el borde de en sentido geomtrico,
que denominamos I, sino que 0 = j
1
' I ' j
2
donde j
1
es una cierta curva sobre la esfera y
j
2
= j
1
, es decir, es esa misma curva recorrida en sentido contrario. Por ello,
_
0Y

1dr =
_

1dr
es decir, la integral curvilnea en el teorema de Stokes se puede extender al borde geomtrico
en vez de al borde 0 en el sentido de la denicin.
14
Pues bien, esta misma situacin se plantea en muchos casos prcticos, es decir, aunque el borde de
en el sentido geomtrico pudiera no coincidir con 0 podemos extender la la integral curvilnea
en el teorema de Stokes al borde geomtrico.
3. Caso en que la parametrizacin es inyectiva. Se puede demostrar lo siguiente:
Proposicin 6 Si la parametrizacin

c es inyectiva en \ entonces 0 coincide con el borde ge-
omtrico de
Obsrvese que, en el caso (1) anterior la parametrizacin es inyectiva mientras que en el caso (2)
no lo es.
Algunas consecuencias del teorema de Stokes En un tema anterior se estudi un resultado
por el cual un campo irrotacional en un conjunto \ R
S
estrellado es conservativo. Justiquemos ese
hecho utilizando como herramienta el teorema de Stokes:
Proposicin 7 Sea \ R
S
abierto estrellado y sea

1 : \ R
S
,

1 C
1
(\). Entonces si rot

1 =

0
en \,

1 es conservativo en \.
Dem. Sea I una curva cerrada arbitraria contenida en \ y sea j el polo del abierto estrellado \.
Entonces los segmentos que parten de j y se apoyan en I forman un cono que est contenido en \.
Por ello, orientando adecuadamente I y se verican las hiptesis del teorema de Stokes y tenemos
_

1dr =
_
Y
rot

1do = 0
con lo que la circulacin de

1 sobre I es cero. Al ser I una curva cerrada arbitraria, se sigue que 1
es conservativo en \
15
3.2. Ejercicios
Ejercicio 11 Sea
1 :=
_

_
j
S
dr r
S
dj .
S
d.
_
donde I es la interseccin del cilindro r
2
j
2
= 1 con el plano rj . = 1 recorrida de forma que la
proyeccin de I sobre el plano rj se recorre en sentido contrario a las agujas del reloj. Se pide calcular
1 por dos procedimientos distintos
Sol: 1 =
S
2
Ejercicio 12 Estudiar si se puede aplicar el teorema de Stokes
_

1dr =
_
Y
rot

1do,
donde se apoya sobre I y ambas estn orientadas de forma coherente entre s, en los siguientes
casos:
1.

1 es el campo

1(r) =
1
2r
2
8j
2
.
2
(r 1, j 2, .) ,
I la curva
r
2
j
2
.
2
= 1
. = 0
y la supercie denida por
r
2
j
2
.
2
= 1
. _ 0
2.

1 es el campo del apartado (1), I la curva
r
2
j
2
= 1
. = 0
y la supercie denida por
r
2
j
2
_ 1
. = 0
3.

1 es el campo del apartado (1), I la curva
r
2
j
2
= r
. = 0
y la supercie denida por
(r 1)
2
j
2
.
2
= 1
. _ 0
16
Ejercicio 13 Sea la curva denida por
2r
2
8j
2
= 1
. = 0
Estudiar si se puede elegir alguna supercie que se apoye en I tal que se veriquen las hiptesis del
teorema de Stokes y por tanto se cumpla
_

1dr =
_
Y
rot

1do,
Ejercicio 14 Esquema de ideas para calcular ujos y circulaciones en R
S
. Sea \ un abierto
de R
S
y sea un campo

1 : \ R
S
de clase 1:
1. Dada una curva I contenida en \, enumrense todas las formas de calcular la circulacin de

1
sobre I. Discutir las ventajas e inconvenientes de cada mtodo.
2. Dada una supercie orientada contenida en \, enumrense todas las formas de calcular el
ujo de

1 en R
S
sobre . Discutir las ventajas e inconvenientes de cada mtodo.
Ejercicio 15 Razonar la verdad o falsedad de las siguientes armaciones, demostrndolas en caso
armativo y dando un contraejemplo en caso negativo:
1. Sea \ un conjunto medible Jordan de R
S
, sea I una curva de clase 1 a trozos contenida en \ y
sea

1 : \ R
S
continuo:
1.1 Si
_

1(r)dr = 0, entonces

1 es idnticamente nulo sobre I.
1.2. Si

1 es ortogonal a I en todos sus puntos entonces
_

1(r)dr = 0.
1.3. Si
_

1(r)dr = 0, entonces

1 es ortogonal a I en todos sus puntos.
1.4. Si
_

1(r)dr = 0 para toda curva I de clase 1 a trozos contenida en \ entonces

1 es idnti-
camente nulo en \.
2. Sea \ un conjunto medible Jordan de R
S
, sea una supercie orientada de clase 1 contenida
en \ y sea

1 : \ R
S
continuo:
2.1. Si
_
Y

1(r)do = 0, entonces

1 es idnticamente nulo sobre .
2.2. Si

1 es tangente a en todos sus puntos entonces
_
Y

1(r)do = 0.
2.3. Si
_
Y

1(r)do = 0, entonces

1 es tangente a en todos sus puntos.
2.4. Si
_
Y

1(r)do = 0 para toda supercie de clase 1 contenida en \ entonces

1 es idnticamente
nulo en \.
2.5. Si
_

1(r)dr = 0 para toda curva I de clase 1 contenida en entonces

1 es ortogonal a en
todos sus puntos.
3. Sea I una curva cerrada de clase 1 a trozos y sea una supercie orientada de clase 1 cuyo
borde es I. Sean

1 y

G dos campos vectoriales de clase 1 denidos en un entorno \ de .
3.1 Si

1 =

G sobre I entonces
_

1(r)dr =
_

G(r)dr
3.2. Si
_

1(r)dr =
_

G(r)dr entonces

1 =

G sobre I
3.3. Si

1 =

G sobre entonces
_
Y

1(r)do =
_
Y

G(r)do
3.4. Si
_
Y

1(r)do =
_
Y

G(r)do entonces

1 =

G sobre
3.5. Si

1 =

G en \ entonces rot

1 = rot

G en \
3.6. Si

1 =

G sobre I entonces
_
Y

1(r)do =
_
Y

G(r)do
3.7. Si rot

1 = rot

G sobre entonces
_

1(r)dr =
_

G(r)dr
El objetivo del siguiente ejercicio es deducir el teorema de Green aplicando adecuadamente el
teorema de Stokes:
17
Ejercicio 16 Deducir el teorema de Green aplicando el teorema de Stokes al campo

1 = (1(r, j), Q(r, j), 0),
a una curva de Jordan I en el plano rj y a la supercie plana correspondiente a la porcin de plano
rj limitada por I.
El siguiente ejercicio es una demostracin guiada del teorema de Stokes para supercies denidas
en forma cartesiana explcita:
Ejercicio 17 Demostracin del teorema de Stokes para supercies denidas en forma
cartesiana explcita. Sea R
2
un conjunto abierto simplemente conexo y sea \ un conjunto
compacto cuya frontera 0\ es una curva de clase 1 a trozos C
1
con parametrizacin r = c(t), j =
,(t), t [a, /[. Sea la supercie denida por . = /(r, j), (r, j) \ donde / es de clase 2 en . Sea

1 un campo vectorial de clase 1 en un abierto ' que contiene a .

Este problema pretende demostrar el teorema de Stokes en este contexto, es decir, que
_
0Y

1dr =
_
Y
rot

1do
donde 0 y estn orientadas de forma coherente. Se pide:
(1) Escribir
_
Y
rot

1do como una integral doble H

(2) Parametrizar la curva 0 y expresar
_
0Y

1dr como una integral curvilnea 1 extendida a la
curva plana 0\ (es decir, como la integral curvilnea de un cierto campo en R
2
extendida a 0\)
(3) Demostrar que 1 = H
Ejercicio 18 Se considera el campo vectorial en R
S
denido por:
F(r) = (a r)
10
r, r = ri jj .k
en donde a es un vector jo y no nulo de R
S
.
1. Calclese la divergencia y el rotacional del campo F. Determnense, si existen, los vectores a no
nulos para los cuales F es conservativo.
2. Calclese el ujo del campo F sobre la cara exterior de la esfera unidad r
2
j
2
.
2
= 1.
3. Sea I una curva cerrada arbitraria sobre la esfera unidad. Calclese la circulacin del campo F
sobre I.
Sol: (1) divF = 13(a r)
10
.rotF = 10(a r)
10
a r.
(2)
1
11
|a|
10
Ejercicio 19 Exprsese el volumen encerrado por una supercie cerrada o en trminos de la integral
de supercie
1 =
__
S
grad |r|
2
do, r = ri jj .k
Como aplicacin de la frmula obtenida, calclese el volumen limitado por la supercie parametrizada:
r = (d a cos ,) cos 0, j = (d a cos ,) sen0, . = a sen,
0 [0, 2[, , [0, 2[, d a 0
Identifquese la supercie dada y comprubese el resultado obtenido calculando por otro procedimiento
el volumen que dicha supercie encierra.
Sol: Volumen = 2
2
a
2
d
18
Ejercicio 20 En R
S
se considera la supercie dada por:
r = ncos , j = nsen , . = , 2 _ _ 4, 0 _ n _ 1
y el campo vectorial dado por
V(r, j, .) =
ji rj
r
2
j
2
.
2
(1) Calclese la circulacin de V sobre el borde de la supercie, aplicando la denicin de circu-
lacin.
(2) Comprubese en este caso la validez del teorema de Stokes.
Sol: (1) aiclan(2) aiclan(4)
Ejercicio 21 Sea l(r) (r = ri jj .k) un campo escalar de clase dos y armnico en un dominio
' R
S
. Sea \ ' un subconjunto medible - Jordan compacto, cuya frontera o est formada por
un nmero nito de supercies regulares.
1) Demostrar la igualdad
_ _ _
U
|gradl|
2
drdjd. =
_ _
S
lgradUdo (+)
en donde la supercie o est orientada segn la normal saliente.
2. Comprobar la frmula anterior (calculando explcitamente las dos integrales de la igualdad (+)
) para el campo escalar armnico
l(r) =
1
|r|
y el recinto \ R
S
limitado por las supercies:
o
1
: semiesfera situada en . _ 0 de centro el origen y radio 1
o
2
: porcin con . _ 0 de la supercie cnica de revolucin alrededor del eje . de vrtice el origen
y semingulo en el vrtice ,4
o
S
: plano . = 1,2
Ejercicio 22 Sea ) : (0, ) R una funcin de clase uno, sea a R
S
un vector jo no nulo y sea el
campo F :R
S
0 R
S
denido por
F(r) =)(r) a r
donde r = ri jj .k y r =
_
r
2
j
2
.
2
. Se pide:
a) Calcular la divergencia del campo F y simplicar el resultado.
b) Sea I la curva denida por las ecuaciones
r
2
j
2
.
2
= 1
r . = 0
Calcular
1 =
_

a r
r
2
dr
donde la orientacin de I es tal que su proyeccin sobre el plano rj est orientada en sentido contrario
a las agujas del reloj.
c) Se considera el tetraedro T de vrtices = (0, 0, 1,2), 1 = (0, 1, 0), C = (1, 0, 0) y \ = (1, 1, 1).
Calcular la integral
J =
_
Y
r
2
(a r) do
19
siendo a = (1, 1, 0) y la supercie formada por las tres caras de T que pasan por el punto \ ,
orientada segn la normal saliente a T.
Ejercicio 23 Sean c : R
S
R un campo escalar de clase C
2
y \ R
S
un slido limitado por una
supercie o regular y orientada segn la normal saliente n. Se pide:
1. Calcular div (c \c).
2. Aplicando el teorema de Gauss, transformar la integral de supercie
_ _
S
c
0c
0:
do
en una integral triple extendida a \. (Se recuerda que
0
0a
: = \ c n).
3. Determinar la expresin en \ de todos los campos vectoriales F : R
S
R
S
, F C
1
, que sean
irrotacionales, solenoidales y con componente normal sobre o igual a cero en todos los puntos.
4. Sea o una supercie regular orientable que encierra un volumen acotado \ R
S
Queda
unvocamente determinado en \ un campo vectorial G : R
S
R
S
, G C
1
, si se conocen rot G y
div G en R
S
y la componente normal de G sobre todos los puntos de o? Razonar la respuesta.
Ejercicio 24 1) Sea \ un dominio acotado de R
S
limitado por una supercie de clase 1 orientada
segn la normal saliente. Sea F :R
S
R
S
un campo vectorial de clase 1 del que se sabe que admite
tanto un potencial escalar como un potencial vector y sea G un potencial vector cualquiera de F.
Encontrar una expresin para 1 =
_ _
Y
F Gdo que dependa nicamente del valor del mdulo de F
en el recinto \.
2) Calcular las constantes c, ,, y c para que el campo
F(r) =(r c.)i(,r j)j(j c.)k, r =rijj.k
denido en R
S
, admita tanto un potencial escalar como un potencial vector. Para los valores de c, ,,
y c obtenidos, calcular las constantes , 1, C, 1 y 1 para que el campo
G(r) =(j. .r, 1r. Crj, 1rj 1j.)
sea un potencial vector de F.
3) Comprobar la validez de la frmula obtenida en el apartado 1 en el caso en que es la esfera
unidad orientada segn la normal saliente y F y G son los campos calculados en el apartado 2.
4) Sea I la curva de ecuaciones cartesianas
r
2
j
2
1 = 0
r j . 1 = 0
_
orientada de forma que su proyeccin sobre el plano rj se recorre en sentido positivo. Se pide:
4.1. Parametrizar I y calcular la circulacin del campo G hallado en el apartado 2 sobre I.
4.2. Comprobar el resultado aplicando de forma adecuada el teorema de Stokes.
20
Ejercicio 25 Sean a = (a
1
, a
2
, a
S
) un vector constante y no nulo y / una constante real estrictamente
positiva. Considrese el campo vectorial F(r) denido por:
F(r) =
(a
1
r, a
2
j, a
S
.)
(24r
2
4j
2
2.
2
)
I
,
donde r = (r, j, .).
1.a Determnense razonadamente todos los valores posibles del vector a y de la constante / para los
que el campo F(r) es irrotacional, indicando el mayor dominio posible en el que posee esta propiedad.
1.b. Sea una supercie regular con borde orientado I que no contiene el origen. Para los valores
de a y / obtenidos en 1.a), calclese razonadamente la circulacin del campo F(r) sobre el borde I.
2.a. Sean
1
y
2
las supercies esfricas de ecuaciones cartesianas (r 1)
2
j
2
.
2
= 0 y
(r 1)
2
j
2
.
2
= 1,4, respectivamente. Para a = (2, 2, 2) y / = 8,2, calclese el ujo del campo
F(r) a travs de la cara exterior de
1
y de
2
.
2.b. Determnense razonadamente todos los valores posibles del vector a y de la constante / para
los que el campo F(r) es solenoidal, indicando el dominio en el que posee esta propiedad.
Ejercicio 26 Considrese la curva I denida por las ecuaciones
r
2
j
2
.
2
= 0 , (r 1)
2
j
2
.
2
= 6 ,
con una orientacin tal que su proyeccin sobre el plano 1 7 se recorre con orientacin positiva. Se
pide:
1) Hallar unas ecuaciones paramtricas de I.
2) Sea G el campo en R
S
denido por
G(r, j, .) = (sen
2
(r j) , .
S
, j
S
) .
Calclese la circulacin de G a lo largo de I.
3) Sea a R
S
un vector jo y r = (r, j, .). Calclense los valores de j R para los cuales el
campo vectorial F = (a r)
j
r es solenoidal en un cierto subconjunto de R
S
que se especicar.
4) Se considera la supercie formada por los segmentos que unen el punto (1, 0, 0) y los puntos
de I, orientada de forma que los vectores normales a la misma tienen la primera componente negativa.
Calclese el ujo del campo H(r, j, .) = (1,r
2
, j,r
S
, .,r
S
) a travs de .
5) Sean
1
y
2
las supercies esfricas de ecuaciones cartesianas (r 1)
2
j
2
.
2
= 0 y
(r 1)
2
j
2
.
2
= 1,4, respectivamente. Para a = (2, 2, 2) y / = 8,2, calclese el ujo del campo
F(r) a travs de la cara exterior de
1
y de
2
.
21
4. Algunas aplicaciones de los teoremas de Gauss y de Stokes
4.1. Campos solenoidales que no admiten potencial vector
Sea \ R
S
abierto estrellado y sea

1 : \ R
S
,

1 C
1
(\). En un tema anterior se estudi
la existencia e unicidad de potencial vector para

1, es decir, la existencia de un campo

G tal que
rot

G =

1. (i) En primer lugar se demostr que una condicin necesaria para

1 admita potencial
vector es que se cumpla div

1 = 0 en \, es decir, que

1 sea solenoidal en \. (ii) Asimismo se arm,
sin proporcionar ningn contraejemplo, que el que

1 sea solenoidal en \ no es en general condicin
suciente para que

1 admita potencial vector. (iii) Adems, se enunci sin demostracin un resultado
por el que si \ es estrellado y

1 es solenoidal, entonces

1 admite potencial vector en \. Una vez
estudiado el teorema de Stokes, ya estamos en condiciones de justicar el punto (ii).
Considrese el conjunto
\ =
_
(r, j, .) R
S
: 1
1
<
_
r
2
j
2
.
2
< 1
2
_
(6)
donde 0 < 1
1
< 1
2
. Claramente, \ no es estrellado. Sea

1(r) :=
v
kvk
3
. Claramente

1 C
1
(R
S

0
_
)
y por ello

1 C
1
(\). Adems se sabe de ejercicios previos que el campo

1 es solenoidal en R
S

0
_
y por ello en \. Sin embargo demostraremos que

1 no admite potencial vector en \.
Ejercicio 27 Sean 0 < 1
1
< 1
2
. Demostrar, utilizando el teorema de Stokes, que el campo

1(r) :=
v
kvk
3
no admite un potencial vector en el conjunto (6).
Ejercicio 28 Se consideran el campo escalar n(r, j, .) = (0r
2
4j
2
.
2
)
12
y los campos vectoriales:
F(r, j, .) =
r
n(r, j, .)
S
y G(r, j, .) = (1(r, j, .) , Q(r, j, .) , 0) ,
donde
1(r, j, .) =
1
n(r, j, .)
j .
(0r
2
4j
2
)
,
Q(r, j, .) =
1
n(r, j, .)
r.
(0r
2
4j
2
)
y r = (r, j, .).
1. Calclese el rotacional del campo G(r, j, .) sabiendo que se cumple:
0Q(r, j, .)
0r

01(r, j, .)
0j
=
.
n(r, j, .)
S
.
Es G(r, j, .) un potencial vector de F(r, j, .)? En caso armativo, indquese el dominio de R
S
en el
que se da esta propiedad. Adems, obtngase razonadamente un potencial vector del campo F(r, j, .)
cuya tercera componente no sea nula.
2. Considrese la curva I que resulta de la interseccin de la supercie elptica de ecuacin carte-
siana 0r
2
4j
2
.
2
= 2 con el plano . = 1, orientada de forma que su proyeccin sobre el plano
. = 0 se recorre en sentido positivo. Sea la parte de la supercie elptica anterior que tiene por
borde orientado la curva I y est situada en el semiespacio . _ 1. Utilcese la denicin de ujo y de
circulacin para calcular el ujo de F(r, j, .) a travs de y la circulacin de G(r, j, .) a lo largo de
la curva I.
3. Ennciese con toda precisin el teorema de Stokes. Decdase razonadamente si los resultados
obtenidos en el apartado anterior contradicen o no lo establecido en este teorema.
22
4.2. ngulo slido de visin de una supercie
Denicin 3 ngulo slido de visin de una supercie. Sea 1 R
S
y sea una supercie.
Sea dene el ngulo slido de visin de desde 1, y se representa por \
1
(), al conjunto de las
semirrectas que pasan por 1 y que cortan a al menos una vez. Para construir una medida del ngulo
slido \
1
() se procede de la forma siguiente. Sea o la supercie interseccin de \
1
() con la esfera
de centro 1 y radio 1. Pues bien, como medida [\
1
()[ del ngulo slido \
1
() se toma el rea de
o, es decir,
[\
1
()[ := rea(o)
I Comentarios:
Obsrvese que dada una supercie existen innitas supercies con el mismo ngulo slido de
visin desde un punto.
Claramente, el ngulo slido de visin de cualquier supercie cerrada desde cualquier punto de su
interior es 4, que es el rea de una espera de radio 1.
El siguiente resultado proporciona un procedimiento para calcular el ngulo slido en determinadas
circunstancias:
Proposicin 8 Sea 1 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 1 corta a una vez a lo sumo. Entonces se cumple
[\
1
()[ =
_
Y
r
|r|
S
do
(7)
donde est orientada de forma que la normal se ve saliente desde el origen.
23
Dem
I Comentario: Ntese que la expresin (7) no es vlida para el caso de la siguiente gura, pues hay
semirrectas que cortan a ms de una vez:
Ejercicio 29 Se considera el cono de vrtice el punto 1(0, 1, 0), formado por todas las semirrectas
que se originan en 1 y son tangentes al elipsoide
16r
2
4j
2
0.
2
= 1
Calclese el ngulo slido de visin del cono desde 1.
Nota: basta con reducir el problema al clculo de una integral doble, pues sta no se puede calcular
por mtodos elementales.
Ejercicio 30 Sea o la supercie de revolucin engendrada al girar la curva de ecuacin . =
_
j con
1 _ j _ 2 (situada en plano 1 7) alrededor del eje O7.
Calcular ngulo slido de visin desde el origen de la porcin de o situada en el primer octante.
Sol:

2
p
6
__
8
_
2
_
4.3. Interpretacin fsica de divergencia y rotacional
Interpretacin fsica de la divergencia de un campo vectorial Sea \ R
S
abierto, sea

1 : \ R
S
,

1 C
1
(\) y sea r \. Consideremos la supercie esfrica o
1
de centro el punto r y
radio 1 orientada por la normal saliente, donde tomamos 1 tan pequeo como sea necesario para que
o
1
est incluida en \.
24
Aplicando el teorema de Gauss y el teorema del valor medio para integrales mltiples se obtiene
_
S
R

1do =
_
iatS
R
div

1dr = div

1(

1
)vol(into
1
)
donde

1
es un punto del interior de o
1
. Entonces dividiendo por vol(o
1
) y pasando al lmite cuando
1 0

se obtiene
lim
1!0
+
div

1(

1
) = lim
1!0
+
1
vol(into
1
)
_
S
R

1do
y usando que lim
1!0
+

1
= r y que div

1 es continuo en r se obtiene nalmente

div

1(r) = lim
1!0
+
1
vol(into
1
)
_
S
R

1do
Esta expresin muestra que div

1(r) es el valor lmite del ujo de

1 sobre o
1
por unidad de volumen.
Obsrvese que el razonamiento anterior no hace uso en ningn momento del hecho de que o
1
sea una
familia de esferas. Cualquier otra familia de supercies que se contraiga al punto r cuando 1 0

sera tambin vlida.

Lo anterior justica el hecho de que cuando div

1(r) 0 se dice que r es una fuente de campo

mientras que cuando div

1(r) < 0 se dice que r es un sumidero de campo. En efecto, si suponemos

que div

1(r) 0, puesto que div

1 es continua debe existir un entorno l de r tal que en dicho entorno

div

1 0. Por tanto, si tomamos 1 sucientemente pequeo para que o

1
l se obtiene que
_
S
R

1do = div

1(

1
)vol(o
1
) 0
con lo que el ujo sobre o
1
debe ser positivo.
Obsrvese que cuando para un cierto r \ se cumple que div

1(r) = 0, se puede armar que

lim
1!0
+
_
S
R

1do = 0, pero a priori no se puede decir nada sobre el signo de
_
S
R

1do para valores
pequeos de 1. Si div

1 = 0 en \, entonces s que se puede armar que

_
S
R

1do = 0 para valores
sucientemente pequeos de 1.
Interpretacin fsica del rotacional de un campo vectorial. Consideremos el punto r y
sea H un plano que pasa por r. Sea n un vector normal al plano, sea C
1
la circunferencia de centro r y
radio 1 situada sobre H orientada de forma coherente con n y sea H
1
la porcin del plano H limitado
por I
1
orientado de forma coherente con n.
25
Entonces aplicando el teorema de Stokes y el teorema del valor medio para integrales de supercie de
un campo escalar
_
C
R

1do =
_
H
R
rot

1d: =
_
H
R
rot

1 ndo = rot

1(

1
) n rea(H
1
)
donde

1
es un punto de H
1
. Entonces dividiendo por rea(H
1
) y pasando al lmite cuando 1 0

se obtiene
lim
1!0
+
rot

1(

1
) n = lim
1!0
+
1
rea(H
1
)
_
C
R

1do
y usando que lim
1!0
+

1
= r y que rot

1 es continuo en r se obtiene nalmente

rot

1(r) n = lim
1!0
+
1
rea(H
1
)
_
C
R

1do
Esta expresin muestra que la proyeccin de rot

1(r) sobre n es el valor lmite de la circulacin de

1
sobre C
1
por unidad de rea. Obsrvese que el razonamiento anterior no hace uso en ningn momento
del hecho de que las C
1
sean una familia de circunferencias. Cualquier otra familia de curvas sobre
H
1
que se contraiga al punto r cuando 1 0

sera tambin vlida.

26
4.4. Obtencin de ecuaciones diferenciales a partir de principios de conservacin
El teorema de Gauss se emplea en muchas aplicaciones fsicas para traducir principios de conser-
vacin o de equilibrio de la fsica (energa, masa, cantidad de movimiento, carga, etc) en ecuaciones
diferenciales parciales (EDPs). Al resolver estas EDPs se obtiene la magnitud fsica buscada (temper-
atura, desplazamientos, velocidades, etc)
Veamos un ejemplo:
Ejercicio 31 Ecuacin de la conduccin del calor. Sea \ R
S
un abierto acotado medible
Jordan que representa un slido. La ecuacin en derivadas parciales que modela la transmisin del
calor por conduccin en \, suponiendo que el cuerpo es istropo y que el ujo de calor (caloras por
unidad de tiempo y de supercie) est dado por la ley de Fourier (r, t) = i(r) grad
a
n(r, t), es
j(r)c(r)
0n
0t
(r, t) di
a
(i(r)grad
a
n(r, t)) = )(r, t) ; (r, t) \ 1
donde n(r, t) es la temperatura (que se supone una funcin de clase 1), )(r, t) es la fuente de calor
en \ (caloras por unidad de volumen y de tiempo), 1 = (0, T) es el intervalo temporal en el que se
considera la solucin, j(r) es la densidad, c(r) es el calor especco a volumen constante (caloras por
unidad de temperatura y de masa) y i(r) es la conductividad. Se supone que ), c, i y j son funciones
continuas. Se pide deducir la ecuacin anterior a partir del principio de conservacin de la energa.
Este problema ilustra cmo se puede pasa de la forma integral a la forma diferencial de un principio
de conservacin.
Solucin: Sea l un recinto (medible Jordan y con frontera C
1
a trozos) arbitrario de \. La cantidad
de calor almacenada en l es
_
l
j(r)c(r)n(r, t)dr. Su tasa de variacin debe ser igual a la contribucin
de la fuente de calor en l menos la cantidad de calor que sale por la frontera 0l de l, es decir,
0
0t
_
l
j(r)c(r)n(r, t)dr =
_
l
)(r, t)dr
_
0l
(r, t)do
donde 0l est orientada segn la normal saliente. Puesto que n(r, t) es de clase uno (como funcin
de sus dos variables) se puede demostrar que
0
0t
_
l
j(r)c(r)n(r, t)dr =
_
l
0
0t
(j(r)c(r)n(r, t))dr, es
decir, la integracin y la derivacin conmutan. Adems, aplicando el teorema de Gauss se obtiene
_
0l
(r, t)do =
_
l
div
a
(r, t)dr y reorganizando la expresin anterior se obtiene
_
l
_
j(r)c(r)
0n
0t
(r, t) )(r, t) di
a
(r, t)
_
dr = 0
Puesto que lo anterior se debe cumplir para todo instante de tiempo t 1, para todo recinto l y puesto
que la funcin subintegral es continua en \, se debe vericar que para todo t 1, j(r)c(r)
0&
0t
(r, t)
)(r, t) di
a
(r, t) = 0 en \ como se quera demostrar.
27
4.5. Estudio de la unicidad de solucin de ciertas EDPs
Ejercicio 32 El objetivo de este problema es estudiar la unicidad de solucin de ciertas EDPs que
aparecen con frecuencia en las aplicaciones fsicas.
Sean l, \ dos campos escalares de clase C
2
denidos en todo el espacio R
S
y sea \ un abierto
medible Jordan de R
S
, cuya frontera o es una supercie cerrada de clase 1, que supondremos orientada
por la normal saliente n.
1. Aplquese el teorema de la divergencia (o de Gauss) en \ al campo vectorial \\l.
2. Aplquese el apartado anterior para encontrar todas las funciones armnicas l que se anulan en
o.
3. Encuntrense todas las funciones armnicas l tales que su derivada segn la normal
0l
0:
se
anula en o. Se recuerda que
0l
0:
= \l n.
4. Aplquese lo anterior a determinar el nmero mximo de soluciones de cada uno de los problemas:
Encontrar l de clase C
2
en todo el espacio R
S
tal que
(1)
_
\l = ) en \
l = q en o
(2)
_
\l = ) en \
0l
0:
= q en o
(8)
_
^l = ) en \
l = q en o
(4)
_
^l = ) en \
0l
0:
= q en o
28
4.6. Teorema del transporte de Reynolds
Ejercicio 33 Teorema del transporte de Reynolds. Derivacin de una integral mltiple
cuando el recinto est en movimiento. Sea una masa de uido inicialmente ocupando un dominio
' R
S
y cuyo movimiento est descrito por una aplicacin r = 1(, t), donde r es la posicin
en el instante t de la partcula uida que en el instante inicial estaba en . Suponemos que para
todos los valores de t, la aplicacin anterior es invertible, es decir, \t 0 existe = T(r, t) tal que
= T(1(, t), t) y r = 1(T(r, t), t). Adems suponemos que las aplicaciones T y 1 son suaves como
funcin de sus dos variables y que el jacobiano J

1(, t) (jacobiano respecto de las variables ) de

1 no se anula para ningn y t por lo que, al ser una funcin continua, este jacobiano es o bien
siempre positivo o bien siempre negativo. Nosotros suponemos que J1(, t) 0 en todos los puntos.
Denotaremos mediante = (r, t) a la velocidad de la partcula uida que ocupa la posicin r en el
instante t.
Sea \
0
' un recinto que se va desplazando con el uido a medida que este se mueve, de forma
que en el instante t el recinto es \
t
= 1(\
0
, t).
(1) Supngase que el ujo uido est descrito por
r = 1(, t) = (1 /)(t 1)
donde 1 = diaq(d
1
, d
2
, /
S
) R
SS
con d
1
, d
2
y d
S
positivos y / R
S
y que \
0
es la esfera de centro el
origen y radio 1. Se pide determinar \
t
.
(2) Sea una magnitud escalar cualquiera del uido )(r, t) (como por ejemplo la densidad) que
suponemos de clase 1. Nos planteamos el clculo de la tasa de variacin de 1
t
:=
_
Ut
)(r, t)dr con el
tiempo. En el caso de que ) represente densidad, 1
t
sera la masa del volumen uido \
t
.
2. 1. Sabiendo que se cumple
0
0t
J

1(, t) = div
a
(r, t)J

1(, t)
demostrar que se verica
d1
t
dt
=
_
Ut
0)
0t
(r, t)dr
_
0Ut
) (r, t) (r, t) do (8)
donde 0\
t
denota la frontera de \
t
orientada segn la normal saliente. A esta expresin se la denomina
teorema del transporte de Reynolds. Relacionar este resultado con el correspondiente a la derivacin de
integrales simples en las que tanto el intervalo como la funcin subintegral dependen de un parmetro.
2. 2. Considrese el ujo uido y el recinto descrito en (1) en el caso particular de que d
1
= d
2
= d
S
y / = 0, y la funcin )(r, j, .) = r
c
donde c es un entero par. Comprobar la validez de la frmula (8)
calculando los tres trminos que en ella aparecen.
29