Lecci on 8

Integrales de supercie
8.1. rea de una supercie
Sea W un recinto en el plano y : W R
3
una parametrizacin de la supercie S =(W),
que escribimos en la forma
(u, v) =

(x(u, v), y(u, v), z(u, v)

(u, v) W

(1)
En lo que sigue usaremos frecuentemente las derivadas parciales de la funcin , esto es, las
funciones
u
y
v
, de W en R
3
, denidas por

u
=

u
=

x
u
,
y
u
,
z
u

y
v
=

v
=

x
v
,
y
v
,
z
v

en W.
Puesto que es de clase C
1
en W, sabemos que
u
y
v
son funciones continuas, por lo que
tambin lo sern otras funciones construidas a partir de ellas, como la funcin
u

v
, que
viene dada por

v
=

i j k
x/u y/u z/u
x/v y/v z/v

=
(y, z)
(u, v)
i +
(z, x)
(u, v)
j +
(x, y)
(u, v)
k (2)
En la leccin anterior slo hemos usado el valor de la funcin
u

v
en un punto concreto de
W, a efectos de discutir la existencia de plano tangente y vector normal en el correspondiente
punto de la supercie. La coincidencia de notacin merece un comentario, pues para simplicar
es costumbre denotar de la misma forma a la funcin
u

v
y a su valor en un punto genrico
(u, v) W, valor que rigurosamente debera denotarse por
u
(u, v)
v
(u, v). Este pequeo
abuso de notacin no debe causar confusin, en cada caso es fcil discernir si nos estamos
reriendo a la funcin o a su valor en un punto. Puesto que
u

v
toma valores en R
3
, tiene
sentido considerar su norma, dada por la expresin

v
=

(y, z)
(u, v)

2
+

(z, x)
(u, v)

2
+

(x, y)
(u, v)

1/2
(3)
que dene una funcin continua en W con valores reales.
50
8. Integrales de supercie 51
Pues bien, cuando la parametrizacin es simple, la integral sobre el recinto W de esta
ltima funcin nos da el rea de la supercie S:
Si W es un recinto en el plano y : W R
3
es una parametrizacin simple de la supercie
S = (W), el rea de la supercie S viene dada por
rea(S) =

v
dudv
Demostrar la armacin anterior est fuera de nuestro alcance, entre otras razones porque
necesitaramos denir rigurosamente el rea de una supercie, lo que no es fcil. Nos limitamos
a poner algunos ejemplos de clculo de reas. Empecemos con una supercie en forma explcita,
S =

x, y, h(x, y)

: (x, y) W

(4)
donde h : W R es una funcin de clase C
1
en W . En este caso tenemos una parametrizacin
simple de S dada por
(x, y) =

x, y, h(x, y)

(x, y) W

(5)
Para las derivadas parciales de tenemos

x
=

1, 0,
h
x

;
y
=

0, 1,
h
y

;
x

y
=

h
x
,
h
y
, 1

(6)
con lo que

y
=

h
x

2
+

h
y

2
+1

1/2
(7)
y concluimos que
rea(S) =

y
dxdy =

(h/x)
2
+(h/y)
2
+1

1/2
dxdy
Por ejemplo, si la funcin h es idnticamente nula, obtenemos una supercie S
0
que no es
ms que el propio recinto W, slo que visto como subconjunto de R
3
, contenido en el plano de
ecuacin z = 0. Naturalmente el rea de esta supercie no es otra que la del recinto:
rea(S
0
) =

W
dxdy = rea(W).
Como ejemplo menos trivial, calculemos el rea de una supercie S
1
ya manejada en la leccin
anterior, la parte del paraboloide z = x
2
+y
2
comprendida dentro del cilindro x
2
+y
2
= 1. En
este caso tenemos W ={(x, y) R
2
: x
2
+y
2
1} y h(x, y) = x
2
+y
2
para (x, y) W, luego
rea(S
1
) =

1+4x
2
+4y
2
dxdy =

1
0

1+4
2
dd
= 2

1
0

1+4
2
d =

6

1+4
2

3/2

=1
=0
=

6
(5

51)
donde hemos usado un cambio de variable a coordenadas polares.
8. Integrales de supercie 52
Como ltimo ejemplo calculamos el rea de una esfera S
r
de radio r >0, para la que usamos
la parametrizacin
(, ) = (r cos cos, r sen cos, r sen)

(, ) W

(8)
denida en el rectngulo W = [, ] [/2, /2]. Usando los clculos de la leccin anterior
para un elipsoide, o repitiendo dichos clculos en el caso particular de una esfera, tenemos

= r
2
cos (cos cos, sen cos, sen) (9)
de donde

= r
2
cos (10)
y deducimos un resultado bien conocido:
rea(S
r
) =

W
r
2
cos dd = r
2

/2
/2
cos dd = 4r
2
.
8.2. Integrales con respecto a una parametrizacin
Sea de nuevo W un recinto en el plano y : W R
3
una parametrizacin de la supercie
S =(W). Si f : S R es una funcin continua, se dene la integral de supercie del campo
escalar f con respecto a la parametrizacin mediante la igualdad

f ds =

f (x, y, z)ds =

W
f

(u, v)

v
dudv
La existencia de la ltima integral est asegurada, puesto que el integrando es una funcin
continua en el recinto W. De las dos notaciones para la integral de supercie que aparecen
en la igualdad anterior, la primera es obviamente la ms sencilla, la segunda tiene la ventaja de
indicar directamente la denicin del campo escalar que estamos considerando. Ntese que para
la existencia de la integral slo precisamos que el campo f est denido y sea continuo sobre la
supercie S, aunque habitualmente f tendr propiedades de regularidad mucho mejores, siendo
por ejemplo diferenciable en un abierto de R
3
que contiene a la supercie S.
Para el clculo prctico de la integral usamos las ecuaciones paramtricas de la supercie,
ms concretamente, escribimos la parametrizacin como en (1). Usando entonces la expre-
sin de la funcin
u

v
calculada en (3), la integral de supercie toma la forma:

W
f

x(u, v), y(u, v), z(u, v)

(y, z)
(u, v)

2
+

(z, x)
(u, v)

2
+

(x, y)
(u, v)

1/2
dudv
En particular, para una supercie en forma explcita, dada por la expresin (4) como la
grca de una funcin h, la parametrizacin viene dada por (5), y usando (7) tendremos

f (x, y, z)ds =

W
f

x, y, h(x, y)

h
x

2
+

h
y

2
+1

1/2
dxdy
8. Integrales de supercie 53
Consideremos por ejemplo el campo escalar f denido en R
3
por
f (x, y, z) = (x
2
+y
2
+1)
1/2
(x, y, z R)
y vamos a calcular su integral de supercie con respecto a la parametrizacin de una supercie
helicoidal denida por
(r, ) = (r cos, r sen, )
en el recinto W ={(r, ) R
2
: 0 r 1, }. En este caso tenemos

r
= (cos, sen, 0) y

= (r sen, r cos, 1)
de donde

= (sen, cos, r) y
r

= (1+r
2
)
1/2
con lo que obtenemos:

f ds =

W
f

(r, )

dr d =

1
0
(1+r
2
)dr d =
8
3
Pasemos ahora a las integrales de supercie de campos vectoriales. Sea otra vez W un
recinto en el plano y : W R
3
una parametrizacin de la supercie S = (W). Si ahora
F : S R
3
es una funcin continua, denimos la integral de supercie del campo vectorial
F con respecto a la parametrizacin mediante la igualdad:

F. ds =

(u, v)

dudv
De nuevo la existencia de la ltima integral est asegurada por ser el integrando una funcin
continua en W. Si escribimos como siempre la parametrizacin en la forma (1), con lo que

v
toma la forma que aparece en (2), y consideramos las tres componentes del campo
vectorial, es decir, F = (P, Q, R), la integral de supercie toma la forma

F. ds =

x(u, v), y(u, v), z(u, v)

(y, z)
(u, v)

dudv
+

x(u, v), y(u, v), z(u, v)

(z, x)
(u, v)

dudv
+

x(u, v), y(u, v), z(u, v)

(x, y)
(u, v)

dudv
lo que justica la notacin clsica

P(x, y, z)dydz +Q(x, y, z)dzdx +R(x, y, z)dxdy =

Pdydz +Qdzdx +Rdxdy

que se usa a menudo para representar la integral de supercie de un campo vectorial.
Para una supercie en forma explcita, usando (5) y (6) tenemos

F. ds =

x, y, h(x, y)

h
x
Q

x, y, h(x, y)

h
y
+ R

x, y, h(x, y)

dxdy
8. Integrales de supercie 54
Consideremos por ejemplo el campo vectorial denido por F(x, y, z) = xi + yj + zk para
cualesquiera x, y, z R. Calculamos la integral de supercie

F. ds =

xdydz + ydzdx + zdxdy

donde es la parametrizacin de la esfera de radio 1 centrada en el origen, denida por (8),
con r = 1, sobre el recinto W = [, ] [/2, /2]. Usando (9) tenemos fcilmente

(, )

= cos
2
cos
3
+ sen
2
cos
3
+ sen
2
cos = cos
con lo que obtenemos

F. ds =

/2
/2
cosdd = 4
8.3. Independencia de la parametrizacin
Como ya se ha comentado, una misma supercie puede admitir diversas parametrizaciones
y las integrales de supercie dependen esencialmente de la parametrizacin que se utiliza. Sin
embargo, dada una parametrizacin concreta de una supercie, ciertos cambios de variable en
el recinto, una simple traslacin por ejemplo, deberan producir parametrizaciones equivalentes
a la de partida, que deberan conducir al mismo valor de la integral de supercie para cualquier
campo. Surge por tanto la pregunta de qu relacin deben guardar dos parametrizaciones de una
misma supercie para que podamos asegurar que las correspondientes integrales de supercie
coinciden.
En primer lugar, es bastante obvio que debemos limitarnos a considerar parametrizaciones
simples. Intuitivamente, si no imponemos esta restriccin, podramos usar parametrizaciones
que recorren varias veces una supercie, conduciendo obviamente a distintos valores de las
integrales de supercie. Si para dos parametrizaciones simples de una misma supercie inten-
tamos probar que las integrales de supercie coinciden, aparece enseguida la otra condicin
a imponer, que no es tan intuitiva: las parametrizaciones deben ser suaves, en el sentido que
vamos a explicar.
Si W = D es un recinto en el plano, se dice que una parametrizacin : W R
3
de la
supercie S = (W) es una parametrizacin suave cuando la funcin
u

v
no se anula
en D. Naturalmente, la nomenclatura se justica porque en tal caso sabemos que la supercie
S es suave en cada punto p S que sea de la forma p = (u
0
, v
0
) con (u
0
, v
0
) D y el
valor en (u
0
, v
0
) de la funcin
u

v
es un vector normal a la supercie en el punto p. Sin
embargo, en general no podemos asegurar que la supercie sea suave en todos sus puntos, pues
no tenemos informacin sobre los puntos de la forma (u, v) con (u, v) .
Por ejemplo, para la supercie en forma explcita dada por (4), la parametrizacin que
aparece en (5) es simple y suave. De hecho en este caso la funcin
x

y
no se anula en todo
el recinto W y la supercie es suave en todos sus puntos. La parametrizacin local de una su-
percie en forma implcita siempre puede hacerse de forma que se obtengan parametrizaciones
simples y suaves.
8. Integrales de supercie 55
Como ejemplo ms concreto, consideremos la parametrizacin de una esfera denida por la
igualdad (8) en el rectngulo W = {(, ) : || , || /2}. En vista de (10), la igualdad

= 0 implica cos = 0, es decir, || = /2, con lo que el par (, ) pertenece a la

frontera del recinto W y no a su regin interior D. Por tanto

no se anula en D y es
una parametrizacin suave de la esfera, que tambin sabemos es una parametrizacin simple.
De forma anloga se puede probar que cualquier elipsoide admite una parametrizacin simple
y suave.
Pues bien, si slo admitimos parametrizaciones simples y suaves, la integral de supercie
de un campo escalar es independiente de la parametrizacin:
Sean
1
: W
1
R
3
y
2
: W
2
R
3
dos parametrizaciones simples y suaves de una misma
supercie S =
1
(W
1
) =
2
(W
2
). Entonces, para cualquier campo escalar continuo f : S R
se verica que

1
f ds =

2
f ds
8.4. Integral de supercie de un campo escalar
Para la mayora de las supercies, las que admiten parametrizaciones simples y suaves, el
resultado recin comentado nos permite denir una integral de supercie de campos escalares
que no depende de la parametrizacin concreta que usemos para calcularla:
Si una supercie S R
3
admite una parametrizacin simple y suave, para cada funcin
continua f : S R, la integral de supercie del campo escalar f sobre la supercie S se
dene mediante la igualdad

S
f ds =

f ds =

W
f

(u, v)

v
dudv
donde : W R
3
es cualquier parametrizacin simple y suave de la supercie S.
As pues, tiene sentido por ejemplo hablar de la integral de un campo escalar continuo
sobre cualquier supercie en forma explcita, o sobre una esfera o elipsoide, no se produce
ambigedad alguna por el hecho de que no concretemos la parametrizacin que estamos con-
siderando. Esta nocin de integral de supercie, independiente de la parametrizacin, es la que
tiene un signicado intuitivo ms claro y tambin la que admite una interpretacin fsica, que
pasamos a explicar.
Observemos que si el campo escalar f es constantemente igual a 1, la integral de supercie
nos da precisamente el rea de la supercie S o si se quiere, la masa de una lmina que tu-
viese la forma de la supercie y densidad supercial constantemente igual a 1. De manera ms
general, cuando el campo f no toma valores negativos podemos imaginar una distribucin de
masa sobre la supercie S pero con densidad variable, de forma que f (x, y, z) sera la densidad
supercial (masa por unidad de rea) en cada punto (x, y, z) S. La integral de supercie nos
dara entonces la masa total. En el caso general, admitiendo que f pueda tomar valores nega-
tivos, podemos pensar en una distribucin sobre la supercie de una magnitud fsica que admita
valores negativos, carga elctrica por ejemplo.
8. Integrales de supercie 56
8.5. Orientacin de supercies
Para campos vectoriales, el problema de la independencia de la parametrizacin no admite
un tratamiento tan sencillo y satisfactorio como el que se ha hecho para campos escalares.
La razn estriba en que la integral de supercie de un campo vectorial con respecto a una
parametrizacin involucra la funcin
u

v
y no slo su norma como ocurre con los cam-
pos escalares. Para comprender rpidamente la diferencia, basta pensar lo que sucede si inter-
cambiamos simplemente los papeles de los parmetros u y v, con lo que sustituimos la funcin

v
por su opuesta
v

u
. Qu duda cabe de que hemos cambiado la parametrizacin de
nuestra supercie por otra completamente equivalente, pero la integral ha cambiado de signo.
Para una amplia gama de supercies, veremos que al cambiar una parametrizacin simple y
suave por otra, la integral de supercie de un campo vectorial se mantiene o cambia de signo,
lo que nos sugiere claramente un problema de orientacin. Vamos a denir con precisin qu
se entiende por orientar una supercie para despus aplicar esta idea a las integrales de campos
vectoriales.
Una orientacin de una supercie S es, por denicin, una funcin continua N: S R
3
tal
que, para cada p S, N(p) es un vector unitario normal a la supercie S en el punto p. Cuando
existe una tal orientacin, decimos lgicamente que la supercie S es orientable. Abundan,
como vamos a ver, los ejemplos de supercies orientables.
Toda supercie en forma explcita es orientable. En efecto, si una supercie S viene dada
por la expresin (4), como grca de una funcin h de clase C
1
en un recinto W, sabemos
que, para cada (x, y) W, el vector no nulo que aparece en (6) es normal a la supercie en el
punto (x, y, h(x, y)) y su norma viene dada por (7). Basta entonces denir
N(x, y, z) =

h
x

2
+

h
y

2
+1

1/2

h
x
(x, y),
h
y
(x, y), 1

(11)
para todo punto

x, y, z

=

x, y, h(x, y)

S, para obtener una orientacin de la supercie S.

Toda supercie en forma implcita es orientable. En efecto, consideremos la supercie
S = {(x, y, z) : g(x, y, z) = 0} (12)
donde es un subconjunto abierto de R
3
y g es una funcin de clase C
1
en que se anula en
algn punto de y cuyo gradiente no se anula en ningn punto de S. Sabemos entonces que,
para cada punto (x, y, z) S, el vector g(x, y, z) es normal a la supercie S en dicho punto,
luego para obtener una orientacin de la supercie basta denir
N(x, y, z) =
g(x, y, z)
g(x, y, z)
(x, y, z) S. (13)
Por ejemplo, para obtener una orientacin de la esfera
S
r
=

(x, y, z) R
3
: (x a
0
)
2
+ (y b
0
)
2
+ (z c
0
)
2
= r
2

(14)
basta denir
N(x, y, z) = r
1

x a
0
, y b
0
, z c
0

(x, y, z) S
r
(15)
8. Integrales de supercie 57
Pasando nalmente el caso general de una supercie en forma paramtrica, supongamos
que : W R
3
es una parametrizacin de la supercie S = (W), tal que la funcin es
inyectiva en todo el recinto W y verica que
u

v
=0 para todo (u, v) W. En particular
es una parametrizacin simple y suave, pero ahora estamos exigiendo mucho ms. Cada punto
(x, y, z) S tiene la forma (u, v) para un nico par (u, v) W y se puede demostrar que (u, v)
depende de manera continua de (x, y, z), dicho de otra forma,
1
es una funcin continua de
S en W. Obtenemos entonces una orientacin de la supercie S sin ms que denir,
N(x, y, z) =

u

1
(x, y, z)

(x, y, z) S
donde en el segundo miembro aparece entre corchetes el punto donde debe evaluarse la funcin
indicada.
Como ocurre en los ejemplos anteriores, una supercie orientable ha de ser suave en todos
sus puntos, para que dispongamos de vectores normales en todos ellos. El ejemplo ms conocido
de una supercie simple, que es suave en todos sus puntos pero no es orientable, es la llamada
cinta de Mbius, que no vamos a estudiar aqu. Baste saber que tal ejemplo existe.
Es lgico preguntarse cuantas orientaciones admite una supercie orientable. De entrada al
menos dos, puesto que si N es una orientacin, N es otra. A efectos de las integrales de super-
cie, lo importante es que las supercies que nos interesan, las que admiten una parametrizacin
simple y suave, no pueden tener ms de dos orientaciones. Esto es una fcil consecuencia del
siguiente enunciado, que es el que realmente vamos a usar:
Sea N una orientacin de la supercie S =(W), donde es una parametrizacin simple
y suave, denida en un recinto W del plano. Se verica entonces que

v
= N

(u, v)

v
(16)
para todo (u, v) W donde es constante, pudiendo valer 1 o 1. Cuando = 1 decimos
que la parametrizacin determina la orientacin N mientras que cuando = 1 decimos
que determina la orientacin N.
La demostracin del enunciado anterior puede resultar instructiva. Observamos en primer
lugar que basta probar la igualdad (16) para (u, v) D donde D es el interior del recinto W.
Ello se debe a que los dos miembros de dicha igualdad son funciones continuas en el recinto W
que, caso de coincidir en el dominio D habrn de coincidir en su cierre, que es W.
Para (u, v) D, por ser suave la parametrizacin , sabemos que la funcin
u

v
toma
un valor no nulo en el punto (u, v) que es un vector normal a la supercie S en el punto
(u, v). Por denicin de orientacin, lo mismo le ocurre al vector N

(u, v)

, pero sabemos
que el plano tangente a la supercie en el punto (u, v) es nico, luego esos vectores normales
debern ser cada uno mltiplo escalar del otro. As pues, se deber tener

= N

(u, v)

Considerando entonces la funcin : D R denida por

(u, v) =

(u, v)

(u, v) D

8. Integrales de supercie 58
tenemos que slo toma los valores 0 y 2. Pero es una funcin continua en el dominio D,
con lo que vemos fcilmente que no puede tomar ambos valores sin tomar todos los intermedios.
Por tanto, o bien es idnticamente nula en D, y se cumple (16) con = 1, o bien es
constantemente igual a 2 en D, y se cumple (16) con =1.
Veamos ahora por qu una supercie orientable que admita una parametrizacin simple y
suave admite exactamente dos orientaciones. Con la notacin usada en la demostracin anterior,
supongamos que N
1
es otra orientacin de la supercie y comprobaremos enseguida que se
debe tener N
1
= N o N
1
=N. En efecto, la orientacin N
1
tambin vericar (16), es decir

v
=
1
N
1

(u, v)

para todo (u, v) W, con

1
=1. Por tanto

1
N
1

(u, v)

v
= N

(u, v)

v
(u, v) W
Usando que
u

v
no se anula en D deducimos que
N
1

(u, v)

= N

(u, v)

(u, v) D
donde tambin =1. Finalmente, aprovechando como antes que W es el cierre de su regin
interior, concluimos que la igualdad anterior se verica en todo el recinto W, lo que equivale a
decir que N
1
= N, como queramos.
Intuitivamente, las dos orientaciones de una supercie se corresponden con sus dos caras,
de forma que una orientacin N correspondera a la cara de la supercie en la que debemos
situarnos (se entiende con los pies en la supercie) de forma que, en cada punto p, el vector
normal unitario N(p) apunte hacia arriba. En trminos igualmente intuitivos, una supercie es
orientable cuando tiene dos caras. En la prctica suele ser fcil distinguir las dos orientaciones
de una supercie, como vamos a ver con ejemplos.
Para una supercie en forma explcita, la orientacin dada por (11) se caracteriza porque
la tercera coordenada del vector normal N(x, y, z) es siempre positiva, podramos decir que
el vector normal apunta siempre hacia arriba. Intuitivamente esta orientacin corresponde a la
cara superior de la supercie.
Para una supercie en forma implcita, dada por la expresin (12), es frecuente que la
funcin g est denida en todo R
3
y que la supercie sea la frontera de un dominio acotado
G. Es decir, el conjunto G = {(x, y, z) R
3
: g(x, y, z) < 0} es un dominio acotado en R
3
con
S =G. En este caso, si usamos la orientacin denida en (13) decimos que la supercie S est
orientada mediante la normal exterior. Como ejemplo concreto, en (15) tenemos la orientacin
mediante la normal exterior de la esfera dada por (14). La explicacin de esta nomenclatura es
fcil de adivinar, pero vamos a explicarla en una situacin mucho ms general.
Supongamos que la supercie S est contenida en la frontera de un dominio GR
3
. Se dice
que S est orientada mediante la normal exterior a G si su orientacin N verica la siguiente
condicin: para cada punto p S, existe un > 0 tal que p+N(p) / G para 0 < < . La
explicacin es la siguiente: intuitivamente el dominio G est a un lado de la supercie S, de
forma que, vista desde dentro de G, la supercie tiene una cara interior (la que vemos) y otra
exterior. La orientacin N que estamos considerando corresponde a la cara exterior, porque al
realizar un pequeo desplazamiento desde cualquier punto p de la supercie en el sentido del
vector normal N(p) llegamos a un punto p+N(p) que est fuera del dominio G.
8. Integrales de supercie 59
8.6. Integral de supercie de un campo vectorial
Podemos ya analizar la independencia de la parametrizacin para integrales de supercie
de campos vectoriales. El resultado ir en la misma lnea que para campos escalares, slo que
debemos tener en cuenta la orientacin y, en particular, la supercie deber ser orientable.
Sea pues N una orientacin de una supercie S = (W) donde es una parametrizacin
simple y suave de la supercie, que suponemos determina la orientacin N, es decir, se tiene
que

v
= N

(u, v)

(u, v) W

Entonces, dado un campo vectorial continuo F : S R

3
tendremos

F. ds =

(u, v)

(u, v)

v
dudv
y hemos llegado a la integral de supercie de un campo escalar. Ms concretamente, si para
(x, y, z) S denimos
f (x, y, z) =

F(x, y, z)

N(x, y, z)

(17)
tenemos un campo escalar continuo f : S R que evidentemente verica

f ds =

F. ds (18)
El razonamiento anterior tiene consecuencias importantes que ahora vamos a explicar. En
primer lugar, si es otra parametrizacin simple y suave de la supercie S que tambin deter-
mine la orientacin N, podemos aplicar a el mismo razonamiento que a y aprovechar la
independencia de la parametrizacin que ya conocemos para campos escalares, obteniendo

F. ds =

f ds =

f ds =

F. ds
Si, por el contrario determinase la orientacin N, est claro que las integrales con respecto
a las dos parametrizaciones seran opuestas. Hemos probado:
Sean
1
: W
1
R
3
y
2
: W
2
R
3
dos parametrizaciones simples y suaves de una misma
supercie orientable S =
1
(W
1
) =
2
(W
2
). Entonces, para todo campo vectorial continuo
F : S R
3
se verica que

1
F. ds =

2
F. ds
donde = 1 si
1
y
2
determinan la misma orientacin de la supercie S y = 1 si
determinan orientaciones opuestas.
A partir del resultado anterior podremos ya denir la integral de supercie de un campo vec-
torial sobre una supercie orientada. Conviene resaltar que esta integral va a coincidir siempre
con la integral de supercie de un campo escalar, como ha quedado claramente de maniesto
en la igualdad (18). La denicin formal es la siguiente:
8. Integrales de supercie 60
Sea S una supercie orientable que admita una parametrizacin simple y suave, sea N una
orientacin de S y F : S R
3
una funcin continua. La integral de supercie del campo
vectorial F sobre la supercie S orientada mediante N se dene de la siguiente forma:

S
F. ds =

F. ds =

(u, v)

dudv
donde : W R
3
es cualquier parametrizacin simple y suave de la supercie S que deter-
mine la orientacin N.
Equivalentemente, segn hemos visto, se tiene

S
F. ds =

S
f ds
donde f : S R es el campo escalar denido por (17). Esta ltima igualdad puede muy bien
resumirse escribiendo f =

F

, con lo que aparece otra notacin que se usa frecuentemente

para la integral recin denida

S
F. ds =

ds
Esta ltima notacin tiene la ventaja de recordarnos que debemos jar una orientacin para que
la integral quede unvocamente determinada.
As pues tiene sentido, por ejemplo, hablar de la integral de un campo vectorial continuo
sobre una supercie en forma explcita o sobre una esfera o elipsoide, siempre que jemos una
orientacin. Por ejemplo podemos orientar una esfera mediante la normal exterior o trabajar con
la cara superior de una supercie en forma explcita. Como ocurra con los campos escalares,
no se produce ambigedad alguna por el hecho de que no concretemos la parametrizacin que
estamos considerando, salvo que dicha parametrizacin debe ser simple, suave y determinar la
orientacin elegida.
Una interpretacin fsica interesante de la integral de supercie se obtiene pensando en el
campo vectorial F como el campo de velocidades de un uido en movimiento en una cierta
regin del espacio que contenga a la supercie S. La clave para ello consiste en interpretar
correctamente el campo escalar

F

, como vamos a ver.

De entrada, la funcin

F

mide en cada punto la componente de la velocidad del uido

en la direccin normal a la supercie y en el sentido determinado por la orientacin N. Si esta
funcin fuese constante, al multiplicarla por el rea de S nos dara el volumen total de uido
que atraviesa la supercie S por unidad de tiempo en el sentido indicado. Concluimos que la
funcin

F

tambin mide, en cada punto, la cantidad de uido que atraviesa la supercie

en el sentido indicado, por unidad de rea y por unidad de tiempo. Lgicamente esta cantidad es
variable, precisamente porque la velocidad del uido vara de un punto a otro de la supercie.
Usando ahora la interpretacin que ya conocemos para campos escalares, concluimos que
la integral de supercie de nuestro campo de velocidades nos da la cantidad total de uido que
atraviesa la supercie S por unidad de tiempo en el sentido de la orientacin jada.
Inspirndose en el ejemplo concreto que acabamos de sugerir, la integral de supercie de
un campo vectorial suele denominarse ujo del campo a travs de la supercie en el sentido
determinado por la orientacin. Por ejemplo hablamos de un ujo saliente a travs de una esfera
orientada mediante la normal exterior.
8. Integrales de supercie 61
8.7. Propiedades de las integrales de supercie
Comentamos brevemente slo dos propiedades, que son anlogas a las que tenan las inte-
grales de lnea.
Linealidad. Sea una parametrizacin de una supercie S, f , g dos campos escalares y
F, G dos campos vectoriales, todos ellos continuos en S, y , R. Se verica entonces que

(f +g)ds =

f ds, +

gds

(F+G). ds =

F. ds +

G. ds
En particular, si la supercie S admite una parametrizacin simple y suave se tendr

S
(f +g)ds =

S
f ds, +

S
gds
y si adems S es orientable, ser tambin

S
(F+G). ds =

S
F. ds +

S
G. ds
siempre que para las tres integrales usemos la misma orientacin.
Continuidad. Supongamos ahora que : W R
3
es una parametrizacin simple de la
supercie S = (W), sea f : S R un campo escalar continuo y tomemos una constante
M > 0 de forma que | f (x, y, z)| M para todo punto (x, y, z) S. Es fcil ver que

f ds

v
dudv = Mrea(S)
En particular, si S admite una parametrizacin simple y suave, se tendr

S
f ds

Mrea(S)
Si ahora F es un campo vectorial continuo en S y F(x, y, z) K para todo (x, y, z) S,
usando la desigualdad de Cauchy-Schwartz se comprueba sin dicultad que

F. ds

Krea(S)
y en particular, cuando S sea orientable y admita una parametrizacin simple y suave, podremos
escribir

F. ds

Krea(S)
cualquiera que sea la orientacin que se considere.
En resumen, las desigualdades anteriores expresan la idea de que las integrales de supercie
dependen de manera continua del campo, escalar o vectorial, que se integra.