Cap tulo 5 Integrales de supercie

5.1

Supercies. Producto vectorial fundamental

Introduccin: o Conocemos algunos tipos sencillos de supercies, y hemos manejado, hasta ahora, dos tipos de representacin de una supercie: o Decimos que viene dada en forma impl cita cuando viene dada por una relacin del o tipo: F (x; y; z) = 0 como, por ejemplo, x2 + y 2 + z 2 = 1 o Ax + By + Cz + D = 0, que representan la esfera unidad centrada en el origen de coordenadas, y un plano, respectivamente. Si de la ecuacin anterior se puede despejar una variable en funcin de las otras dos, o o por ejemplo, la z, obtenemos: z = f (x; y) y entonces decimos que la supercie est dada en forma expl a cita. Por ejemplo, la p esfera anterior tambin puede darse como unin de dos casquetes, z = 1 x2 y 2 e o p y z = 1 x2 y 2 . En este cap tulo tambin manejaremos supercies dadas de e otra forma, que llamaremos forma paramtrica: e
8 > x = x(u; v) > < > > : z

y = y(u; v) = z(u; v)

con (u; v) 2 T

Ms adelante ya especicaremos las condiciones que tienen que vericar las funciones a x; y; z y el dominio T . Trataremos primeramente de familiarizarnos con este tipo de representacin. o

68

Paso de un tipo de representacin a otro: o De la representacin paramtrica es inmediato pasar a la representacin vectorial: o e o ~(u; v) = x(u; v)~ + y(u; v)~ + z(u; v)~ r { | k (u; v) 2 T

Evidentemente, dada una supercie en forma explcita z = f (x; y) podemos pasar a forma impl cita z f (x; y) = 0; y a paramtrica: e
8 > x = u > < > > :

y = v z = f (u; v)

con (u; v) 2 T

donde ahora T es el dominio de denicin de la funcin f , que, geomtricamente es o o e el conjunto proyeccin de la supercie sobre el plano OXY . o Rec procamente, si de las ecuaciones x = x(u; v) y = y(u; v) z = z(u; v) podemos eliminar los parmetros u y v, obtenemos una relacin del tipo F (x; y; z) = 0, es a o decir, tenemos ya la forma impl cita. Por ejemplo: 1. Sea
8 > x = a cos v cos u > < > > :

y = a cos v sen u z = a sen v

u 2 [0; 2]; v 2 [=2; =2]

Se verica que x2 + y 2 = a2 cos2 v; x2 + y 2 + z 2 = a2 , es decir, se trata de puntos que estn sobre la esfera de centro el origen de coordenadas y radio a. a Observemos lo que, en este caso, representan geomtricamente los parmetros u e a y v:

69

Son la longitud y latitud usadas en geograf a. Adems, vistos los conjuntos a en los que var estos parmetros, deducimos que la anterior constituye una an a representacin paramtrica de toda la esfera. o e 2. Otro ejemplo ser la representacin paramtrica del plano anterior (con c 60): a o e =
8 > x = u > > < > > > z :

y = v 1 = (D Au Bv) c

con u 2 R; v 2 R

5.1.1 Denicin.- Llamaremos supercie parametrizada al conjunto imagen de o una aplicacin continua o ~ : T ! R3 r donde el conjunto T es un compacto elemental. Es decir, S = ~(T ) es la supercie r parametrizada. A la aplicacin ~ se la llama parametrizacin de la supercie; y a o r o veces tambin supercie. e Es obvio que una supercie admite varias parametrizaciones. En la denicin de supercie, no se ha eliminado el caso en que ~ sea constante, o o r no dependa mas que de uno de los parmetros. En esos casos S es un punto o una a curva, y se dice en ambos casos que son supercies degeneradas. No son esas las que nos interesarn. a 5.1.2 Denicin.- Sea ~(u; v) = (x(u; v); y(u; v); z(u; v)) (u; v) 2 T . o r Si las funciones x(u; v); y(u; v); z(u; v) , son derivables, podemos considerar: @~ r @x @y @z (u; v) = ( (u; v); (u; v); (u; v)) @u @u @u @u @~ r @x @y @z (u; v) = ( (u; v); (u; v); (u; v)) @v @v @v @v Llamaremos producto vectorial fundamental (que denotaremos p.v.f.) a:
{ ~ @x @~ r @~ r (u; v) ^ (u; v) = @u @u @v @x
@v

~ |
@y @u @y @v

@z @u @z @v

~ k

@(y; z) @(z; x) @(x; y) ~ = ~+ { ~+ | k @(u; v) @(u; v) @(u; v)

@~ r @~ r @~ r @~ r Si (u; v) es un punto de T en el que @u y @v son continuas y @u ^ @v 60, se dice que =~ el punto ~(u; v) es un punto regular. En caso de que falle alguna condicin, se dice r o que el punto es singular.

Nota: Es interesante observar que, en una supercie, el que un punto sea singular o regular depende de la parametrizacin elegida. (Vase el ejercicio 1). o e

70

5.1.3 Denicin.- Diremos que S es una supercie regular, si S = ~(T ) o r 3 ~ : T ! R continua y tal que: r 1. T es un compacto elemental 2. ~ es inyectiva y de clase 1 en el interior de T . r 3.
@~ r @u

donde

@~ r @v

=~ 60 en el interior de T .

En lo que sigue, trabajaremos con supercies regulares, o regulares a trozos, que, a nivel intuitivo, son las que constan de un nmero nito de supercies regulares \peu gadas", como pueden ser un cubo o las dos semiesferas anteriores pegadas, formando la esfera. Concretando ms: a 5.1.4 Denicin.- Se dice que una supercie S es regular a trozos, si existen un o nmero nito de aplicaciones ~i : Ti ! R3 i = 1; 2 : : : ; n , y se verica que u r ~i (Ti ) = Si son supercies regulares tales que S = [Si y ~i (Ti ) \ ~j (Tj ) es una r r r curva en S, 8i; j con i 6j. =

5.2

Plano tangente a una supercie regular

5.2.1 Proposicin.- Sea S = ~(T ) una supercie regular. o r !

x=x(u;v) y=y(u;v) z=z(u;v) ~ r

8 > > < > > :

Consideremos una curva regular C en T dada por (t) = (u(t); v(t)) t 2 [a; b]. ~ Entonces ~ dene una curva regular C contenida en la supercie S. r ~ Disponemos de una parametrizacin de C que ser: (t); o a ~ t 2 [a; b] con

~ (t) = ~((t)) = (x(u(t); v(t)); y(u(t); v(t)); z(u(t); v(t))) r ~ es continua en [a; b] y de clase 1 en (a; b) @x @x ~ 0 (t) = ( (u(t); v(t))u0 (t) + (u(t); v(t))v 0 (t); @u @v @y @y @z @z (u(t); v(t))u0 (t) + (u(t); v(t))v 0 (t); (u(t); v(t))u0 (t) + (u(t); v(t))v 0 (t)) = @u @v @u @v @~ r @~ r = (u(t); v(t))u0 (t) + (u(t); v(t))v 0 (t) @u @v

71

~ Es decir, el vector tangente a la curva en el punto (t) est en el plano determinado a @~ r @~ r por los vectores @u y @v que son linealmente independientes, ya que la supercie es ~ =~ = regular. Como (u0 (t); v 0 (t)) 60, entonces 0 (t) 60. @~ r @~ r El vector @u ^ @v es perpendicular a dicho plano. Por eso 5.2.2 Denicin.- Si ~(u; v) es un punto regular de una supercie, al plano que o r @~ r @~ r pasa por el punto ~(u; v) y que tiene como vector normal a ( @u ^ @v )(u; v) se le llama r plano tangente a la supercie en el punto ~(u; v) . r @~ r @~ r Y al vector @u ^ @v se le llama vector normal a la supercie en dicho punto.

@~ @~ r r Obsrvese que, en las supercies regulares, @u , @v , son continuas, y , por tanto, lo e @~ r @~ r es el vector normal @u ^ @v . Es decir, intuitivamente, el plano tangente (y el vector normal) se mueve con continuidad, \suavemente, sin cambios bruscos, ni aristas".

5.3

Interpretacin geomtrica del producto vectorial fundao e mental

Consideremos en T un segmento horizontal (u; v), con v constante y de longitud 4u > 0.

La imagen de este segmento sobre la supercie es un segmento curvil neo sobre una curva contenida en S, que llamamos u-curva. De la misma manera un segmento vertical (u; v), con u constante y de longitud 4v > 0 determina un segmento sobre la v-curva. r @~ r Los respectivos vectores tangentes, sern @u (u; v) y @v (u; v). Imaginemos que sobre a @~ @~ r la u-curva, el parmetro u es el tiempo, y por tanto, @u es el vector velocidad. a Cuando el tiempo 4u es \muy peque~o", el punto sobre la u-curva se ha desplazado n aproximadamente una longitud k~(u + 4u; v) ~(u; v)k r r ya que el segmento curvil neo se podr considerar recto para 4u peque~os. Pero a n como ~(u + 4u; v) ~(u; v) r r @~ r lim = (u; v) 4u!0 4u @u

72

@~ r k 4u: @u Anlogamente el punto sobre la v-curva, se ha desplazado, aproximadamente, a @~ r a neo tiene aproximadamente de rea igual que a k @v k 4v. Luego el rectngulo curvil @~ r @~ r el paralelogramo de lados @u 4u; @v 4v. Dicha area es k~(u + 4u; v) ~(u; v)k k r r k @~ r @~ r @~ @~ r r 4u ^ 4vk = k ^ k4u4v @u @v @u @v

tendremos

Es decir, el rectngulo de area 4u4v se ha transformado en un rectngulo curvil a a neo de area r @~ @~ r ^ k4u4v k @u @v Por tanto, la longitud del producto vectorial fundamental puede interpretarse como un factor de proporcionalidad de areas.

5.4

Parametrizaciones equivalentes

5.4.1 Denicin.- Sea S = ~(T ) una supercie paramtrica regular, de ecuacin o r e o ~ = ~(u; v) (u; v) 2 T r r Si B es un compacto elemental y si : B ! T es un cambio de variable en R2 , dado por (s; t) = u(s; t)~ + v(s; t)~ (s; t) 2 B { j podemos considerar

la aplicacin compuesta o ~ R(s; t) = ~((s; t)) (s; t) 2 B r ~ El conjunto imagen es, en ambos casos, el mismo, la supercie S. Diremos que R y ~ son regularmente equivalentes y que dene un cambio de parmetro. r a

73

Un cambio de paramtro se llama positivo o se dice que conserva la orientacin e o si su determinante jacobiano, que denotaremos J , es estrictamente mayor que cero en el interior de B; y diremos que es negativo o que cambia la orientacin si J < 0 o en int(B). (Entenderemos ahora el porqu de estas deniciones, ya que vamos a estudiar la e relacin entre los productos vectoriales fundamentales para estas dos parametrizao ciones, que como se recordar representaban vectores normales a la supercie). a ~ ~ @~ r @~ r Veamos dicha relacin entre @ R ^ @ R y @u ^ @v : o @s @t ~ R(s; t) = ~((s; t)) = ~(u(s; t); v(s; t)) r r ~ @R @~ r @u @~ r @v (s; t) = (u(s; t); v(s; t)) (s; t) + (u(s; t); v(s; t)) (s; t) @s @u @s @v @s ~ @R @~ r @u @~ r @v (s; t) = (u(s; t); v(s; t)) (s; t) + (u(s; t); v(s; t)) (s; t) @t @u @t @v @t Haciendo el producto vectorial, y empleando una notacin abreviada: o ~ ~ @R @R ^ = @s @t =

@~ @~ r r ^ @u @v @~ @~ r r ^ @u @v

@u @v @~ @~ r r + ^ @s @t @v @u
#

@v @u = @s @t

!"

@u @v @v @u = @s @t @s @t
!

@~ @~ r r ^ @u @v

@(u; v) @(s; t)

(5.1)

Recordemos que para los cambios de variable admisibles en R2 , exigimos que el determinante jacobiano J sea distinto de cero en el compacto elemental en el que trabajamos, y como, por otra parte, es una funcin continua, dicho determinante o jacobiano ser o bien siempre mayor que cero, o bien siempre menor que cero. En a el primer caso, es decir si es un cambio positivo, en cada punto, el vector normal tiene el mismo sentido para ambas parametrizaciones; y si es un cambio negativo, los vectores normales tienen siempre distinto sentido.

5.5

Area de una supercie paramtrica regular. e

5.5.1 Denicin.- Sea S = ~(T ) una supercie paramtrica regular. El area de S o r e se dene por ZZ @~ @~ r r a rea S = k ^ k du dv @v T @u

74

Justicamos esta denicin, a nivel intuitivo, pensando que si damos una particin o o en T , de lados \sucientemente peque~os", la integral doble se aproxima por la suma n inferior o por una suma de Riemann:
ZZ

X @~ r r @~ @~ r r @~ ^ k du dv ^ k 4u 4v k @u @v @v I2P @u

y a su vez esta ultima expresin es aproximadamente la suma, (extendida a todos o los intervalos de la particin), de las areas de los rectngulos curvil o a neos sobre S a los que antes nos hemos referido, y que coincide con la nocin intuitiva del \ rea de o a S". ( Recordemos que al recubrir los rectngulos de la particin a T , sus imgenes a o a recubren S de forma inyectiva ).

Si S es regular a trozos, se dene el area de S como la suma de las areas de cada una de las supercies regulares en que se descompone S.

Se nos plantea el problema: Si damos en S una parametrizacin equivalente, >variar o a el area?. La respuesta es negativa, como veremos ms adelante. a

Area de una supercie dada en forma expl cita:

Sea z = f (x; y) (x; y) 2 T , con T compacto elemental. En forma vectorial: ~(x; y) = x~ + y~ + f (x; y)~ r i j k
@~ @~ r r ^ = @x @y

~ i 1 0

~ j 0 1

@f @x @f @y

~ k

Observamos que si f es de clase 1, z = f (x; y) es siempre regular, y el area de S

@f @f ; ;1 @x @y

75

viene dada por la frmula: o a rea S =

ZZ s
T

1+(

@f 2 @f ) + ( )2 dx dy @x @y

(5.2)

Obsrvese que el conjunto de parametrizacin T , es el conjunto proyeccin, sobre el e o o plano OXY . Si ahora suponemos que S est en un plano horizontal, a

tendr como ecuacin z = z0 a o

(x; y) 2 T , por lo que

ZZ
T

@f @x

=0

@f @y

= 0 y tendremos:

a rea S =

1 dx dy = area (T )

Es decir, la nueva frmula generaliza la ya conocida para conjuntos planos. o Escribamos la frmula 5.2 para el area, de otra manera: En cada punto designemos o por = (x; y) al angulo agudo que forma el vector normal ( @f ; @f ; 1) con el @x @y ~ = (0; 0; 1) versor k cos = luego a rea (S) = ~ k 1 N :~ =q ~ kk kN k k~ 1 + ( @f )2 + ( @f )2 @x @y
ZZ

1 dx dy T cos (x; y) Por tanto, si S es una supercie que est en un plano inclinado, es constante, y a a rea (S) = 1 a rea (T ) cos

5.6

Integral de supercie de un campo escalar

5.6.1 Denicin.- Sea S = ~(T ) una supercie paramtrica regular, y f un campo o r e escalar continuo en S. Se dene la integral de supercie del campo f sobre S, que R R R R representaremos con S f d o ~(T ) f d por: r
ZZ

f d =

~(T ) r

ZZ

Si S es regular a trozos, se dene la integral de supercie como la suma de las integrales de f sobre cada una de las supercies regulares en que se descompone f .

@~ @~ r r f (~(u; v)) r ^ du dv @u @v

76

Propiedades: 1. Si f y g son integrables sobre S, lo es f + g, y se verica:

ZZ

(f + g) d =
S

ZZ

f d +

ZZ

g d

2. Si f es integrable en S y 2 R, f lo es, y:
ZZ

(f ) d =

ZZ

f d

r 3. Si S = ~(T ) se descompone en dos supercies regulares S1 y S2 tales que ~(T1 ) = r S1 y ~(T2 ) = S2 con T1 [ T2 = T; T 1 \ T 2 = ;, entonces, si f es integrable sobre r S, lo es sobre S1 y S2 y se verica:
ZZ

f d =

ZZ

f d +

S1

ZZ

f d

S2

4. (Cambio de parametrizacin) o ~ r Si f es integrable sobre S, y si R y ~ son dos parametrizaciones equivalentes de S, se verica: ZZ ZZ f d = f d

~ R(B) ~(T ) r

En efecto, continuando con la notacin del prrafo 5.4.1 : o a

ZZ

f d =

~(T ) r

ZZ

f (~(u; v)) k r

@~ @~ r r ^ k du dv @u @v

haciendo el cambio de variable dado por en esta integral doble, y recordando la relacin 5.1 entre los productos vectoriales fundamentales, o =
ZZ

f (~(u(s; t); v(s; t)) k r =

ZZ

@~ r @~ r @(u; v) (u(s; t); v(s; t)) ^ ( )k j j ds dt @u @v @(s; t)

ZZ ~ ~ ~ t) k @ R ^ @ R k ds dt = f (R(s; f d ~ @s @t R(B) B

Observemos que si f 1
ZZ

f d =

ZZ

@~ @~ r r ^ k du dv = area(S) @u @v

Es decir, que como adelantbamos antes, el area de la supercie no var al a a reparametrizarla.

77

5.7

Nocin intuitiva sobre orientacin o o

Sea una supercie no cerrada. En sentido intuitivo, una supercie orientable es aquella que tiene \dos caras", susceptibles de pintarse de dos colores diferentes. Concretando un poco ms, en un punto de una supercie, tenemos dos posibilidades a @~ r @~ r @~ r @~ r para elegir el vector normal, o bien ~ 1 = @u ^ @v bien ~ 2 = @u ^ @v n o n Si la supercie no es cerrada, y desplazamos el vector normal elegido de forma continua, sin atravesar el \borde" de la supercie, volvemos al mismo punto, obteniendo esa misma normal. Esto no ocurre siempre; la llamada banda de Mbius es o una supercie de una sola cara (o no orientable), pues podemos ir pintando con un bol grafo ( que se supone que representa a la normal ), y sin levantarlo del papel, llegamos al mismo punto obteniendo la normal contraria a la que hab amos elegido. Toda la supercie quedar pintada del mismo color. a

Nosotros trabajaremos siempre con supercies orientables. Observemos que si la supercie es cerrada, tiene un sentido claro el hablar de que hemos jado el vector normal dirigido \hacia fuera" o \hacia dentro". En cualquier caso, cuando una supercie ha sido orientada, seleccionando un campo normal unitario ~ , entonces, en cada punto de la supercie queda determinada un n sentido \positivo" de los angulos, de forma que se cumpla la regla del sacacorchos.

Si la supercie est delimitada por una curva cerrada regular C, la orientacin ( o a o eleccin de ~ ) tambin determina lo que se entiende por sentido positivo a lo largo o n e de C: se supone que la normal es un observador que camina a lo largo de C, y el

78

sentido positivo es aquel por el cual la supercie le queda siempre a su izquierda. Y rec procamente, la orientacin de C determina el sentido de ~ . o n

5.8

Flujo de un campo vectorial

~ 5.8.1 Denicin.- Dado un campo vectorial F y una supercie paramtrica regular o e S = ~(T ), es frecuente jar un campo de vectores normales unitarios r
@~ r

~ = @u n @~ r @u ^

@~ r @v @~ r @v

(o bien su opuesto)

y considerar la integral de supercie

ZZ

~ n F : ~ d

~ que se llama ujo del campo F a travs de la supercie S, en la direccin de ~ . e o n Ya veremos ms adelante la justicacin de esta denicin, pero antes observemos a o o @~ @~ r r ^ @v que si ~ = @u ^ @~ , entonces n @~ r r k @u @v k
ZZ

~ n F : ~ d =

ZZ

ZZ

@~ r ^ ~ r F (~(u; v)) @u @~ r @u ^

~ F:

@~ @~ r r ^ @u @v

@~ r r @v @~ k @~ @u r @v

@~ r k du dv = @v

du dv

lo que evidentemente simplica los clculos. a Tambin se suele usar otra notacin para el ujo debido al siguiente desarrollo: e o Supongamos que ~ F (x; y; z) = P (x; y; z)~ + Q(x; y; z)~ + R(x; y; z)~ { | k y que ~(u; v) = x(u; v)~ + y(u; v)~ + z(u; v)~ entonces r { | k, @~ @~ r r @(y; z) @(z; x) @(x; y) ~ ^ = ~+ { ~+ | k @u @v @(u; v) @(u; v) @(u; v)
R R
S

R R R R @(y;z) @(z;x) ~ n F :~ d = T P (~(u; v)) @(u;v) du dv + T Q(~(u; v)) @(u;v) du dv+ r r

+
ZZ

R R

@(x;y) R(~(u; v)) @(u;v) du dv r

por lo que el ujo se suele denotar tambin: e P dy ^ dz +

ZZ

Q dz ^ dx +

ZZ

R dx ^ dy

79

o bien :

ZZ

P dy ^ dz + Q dz ^ dx + R dx ^ dy

Propiedades: Aparte de las obvias, que se deducen de las ya conocidas para campos escalares, como la linealidad respecto del integrando, destaquemos la relativa al cambio de parametrizacin: o Sea ZZ ~ n F : ~ d
S

donde el campo ~ de vectores normales unitarios ya ha sido jado ( por considen raciones f sicas o geomtricas). Sea ~ la parametrizacin elegida conforme con la e r o eleccin del campo ~ jado, es decir, ( por ejemplo ) o n
@~ r

~ = @u n @~ r

@u ^

@~ r @v @~ r @v

~ Si R es otra parametrizacin equivalente de S, dada por el cambio de variable o : B ! T , deber ser forzosamente J > 0, para que su producto vectorial a fundamental conserve el sentido de los vectores normales, ya que ste debe coincidir e con el de ~ , y se verica: n
ZZ
~ R(B)

~ n F : ~ d =

ZZ

~ n F : ~ d

~(T ) r

La demostracin es anloga a la efectada en otras ocasiones y la dejamos como o a u ejercicio para el lector.

5.9

Interpretacin f o sica del ujo

Consideremos, como es habitual, un udo como una coleccin de puntos llamados o part culas. A cada part cula (x; y; z) le asociamos un vector ~ (x; y; z) que representa v su velocidad. Supongamos que el u es estacionario, es decir que el campo ~ no do v depende del tiempo. En mecnica de u a dos, se llama ujo de un u a travs de una supercie S, a la do e cantidad de u que atraviesa dicha supercie en la unidad de tiempo. do Si la supercie es plana, y la velocidad del u es constante, ~ , en la unidad de do v luego el volumen de u que ha tiempo la part cula ha recorrido la longitud P Q, do

80

atravesado la supercie S, es el volumen del paralelep pedo de la gura

que es ~ :~ : rea S vn a (Obsrvese que ~ :~ representa la altura del paralelep e vn pedo). En general, ~ no ser constante, pero si ~ es un campo continuo y si S es una v a v supercie regular y orientable, en la que se ha determinado en cada punto un vector normal \hacia afuera", cuando damos una particin en T de lados \sucientemente o peque~os", 4u; 4v, el area del rectngulo curvil n a neo, se puede aproximar, como ya sabemos, por @~ @~ r r ^ 4u4v @u @v y en dichos rectngulos que se pueden considerar \planos", ~ es aproximadamente a v constante (~ es continuo), luego el volumen que atraviesa la supercie en la unidad v de tiempo, es: @~ X @r r ~ :~ vn ^ 4u4v @u @~ v i;j que es una suma de Riemann para la integral
ZZ @~ @~ r r ^ 4u4v ~ :~ vn @u @v ZZ

que es, precisamente, la denicin del ujo o ~ :~ d vn

S

Por eso, a dicha integral, se le llama ujo del campo ~ a travs de S, o volumen v e de u que atraviesa la supercie en la unidad de tiempo, para esa eleccin de la do o normal. Nota: Cuando ~ y ~ forman un angulo agudo, ~ :~ .rea S, es positivo y se habla de v n vna ujo saliente con respecto a la direccin de la normal que hemos elegido. Claro est, o a si hubiramos considerado la normal opuesta, sera un ujo negativo o entrante. e Si queremos hablar de masas de u dos, se denir la funcin densidad, , y el campo a o a considerar ser (x; y; z)~ (x; y; z) en vez de ~ . a v v

81

5.10

Teoremas de Stokes y Gauss.

Z ZZ

Recordemos que el teorema de Green en el plano, estableca que P dx + Q dy =

C

@Q @P ) dx dy @x @y

donde A es un compacto elemental, y (P; Q) un campo de clase 1, en un abierto que contiene a A. Vamos a ver una generalizacin de este resultado: o 5.10.1 Teorema.- (Teorema de Stokes) r Sea S = ~(T ) una supercie paramtrica regular y orientable en R3 , donde ~ es de r e clase 2 en T .

Llamemos a la frontera de T y orientmosla en sentido antirreloj. Consideremos e ~ C = ~(T ) orientada en el sentido determinado por y ~. Entonces, si F = (P; Q; R) r r es de clase 1 en un abierto que contiene a S, se verica:
Z
C

~ r F : d~ =

ZZ

~ n rot F : ~ d
S

donde se elige el vector ~ determinado por la orientacin de C. n o Se omite la demostracin. o Notas: 1. Observemos que si S es una supercie en el plano OXY , S tiene de ecuacin o z = 0; (x; y) 2 S. Entonces ~ = (0; 0; 1) y n
R
C

R R ~ P dx + Q dy = S rot F :(0; 0; 1) d R @Q R = S @x @P dx dy @y

con lo que se obtiene el teorema de Green.

82

2. Se puede extender el teorema de Stokes a supercies regulares a trozos, aplicando el teorema a cada una de las supercies regulares que componen la supercie dada; pero conviene hacerlo con sumo cuidado. 5.10.2 Teorema.- (Teorema de Gauss o de la divergencia) Sea V un slido de R3 , limitado por una supercie cerrada S regular a trozos y o ~ orientable. Llamemos ~ a la normal unitaria exterior a V . Si F es un campo n vectorial de clase 1 en V , entonces
ZZ

~ n F : ~ d =
S

ZZZ

~ div F dxdydz

83

5.11

Ejercicios

1. Encontrar los puntos singulares de la semiesfera superior, (a) Cuando tomamos como parmetros la longitud y la latitud. a (b) Cuando usamos la parametrizacin en forma expl o cita. 2. Determinar qu tipo de supercie son las siguientes (a; b; c > 0): e (a) ~(u; v) = (x0 + a1 u + b1 v; y0 + a2 u + b2 v; z0 + a3 u + b3 v) r (b) ~(u; v) = (au cos v; bu sen v; u2 ) r (c) ~(u; v) = (a sen u cos v; b sen u sen v; c cos u) r (d) ~(u; v) = (u cos v; u sen v; f (u)) r (e) ~(u; v) = (u; a sen v; a cos v) r (f) ~(u; v) = ((a + b cos u) cos v; (a + b cos u) sen v; b sen u) r con 0 < b < a.

3. Determinar el area de la regin que en el plano x+y +z = a determina el cilindro o 2 2 2 x +y =a . x2 y 2 4. Calcular el area de la porcin de paraboloide o + = 2z interior al cilindro a b 2 2 x y de ecuacin 2 + 2 = 1. o a b 5. Calcular el area de la porcin de esfera x2 + y 2 + z 2 = a2 interior al cilindro o 2 2 x + y = ay. 6. Calcular el area de la porcin de supercie cnica x2 + y 2 = z 2 situada por o o encima del plano OXY y limitada por la esfera x2 + y 2 + z 2 = 2ax. 7. Demuestra el siguiente teorema debido a Pappus: Una supercie de revolucin obtenida por la rotacin de una curva plana de o o longitud L alrededor de un eje situado en el plano de la curva, y que no la corta, tiene por area la longitud de la curva multiplicada por la longitud de la circunferencia que describe el centro de gravedad de la curva. 8. Sea A un punto que describe la hlice e x = a cos y = a sen z = h y sea B su proyeccin ortogonal sobre el eje OZ. Calcular el area de la supercie o S engendrada por el segmento AB, cuando var entre 0 y 2. a 9. Calcular el area del toro (2.f) de dos maneras diferentes.

84

10. El plano y + z = R divide a la supercie esfrica x2 + y 2 + z 2 = R2 e casquetes. Designando por S el casquete de menor area, calcular
ZZ

en dos

x2 yz d

R R ~ n ~ 11. Transformar S (rot F ):~ d en una integral de l nea, cuando F (x; y; z) = (y; z; x) n y S es la parte de paraboloide z = 1 x2 y 2 con z 0, si ~ es la normal unitaria con tercera componente no negativa.

12. Hallar el ujo del campo vectorial ~ = (2x3 ; 2x2 y; 3x2 z) a travs de la superv e 2 2 cie lateral del cilindro de ecuacin x + y = 4 limitada por los planos z = 0 y o z = 4, tomando como vectores normales los dirigidos hacia afuera del cilindro. ~ n ~ 13. Calcular S F : ~ d donde F (x; y; z) = (x2 ; 3 y 2 ; 3z 2 ) y ~ es la normal unitaria n 2 2 2 2 saliente a la supercie S del elipsoide 4x + 9y + 36z = 36. 14. Calcular, de dos maneras diferentes
Z R R

(y z) dx + (z x) dy + (x y) dz

donde C es la elipse x2 + y 2 = 1 x + z = 1. 15. Calcular, de dos maneras diferentes

Z

(y z) dx + (z x) dy + (x y) dz

a lo largo de la interseccin del plano o x y z + + =1 a b c con los planos coordenados. ~ 16.(a) Hallar el potencial del campo F = (2xzey ; 2y + x2 zey ; x2 ey ) ~ (b) Hallar la integral de F a lo largo de la curva interseccin del cilindro x2 +y 2 = 1 o y el plano x + z = 1, por dos mtodos bsicamente diferentes. e a ~ (c) Hallar la integral de F a lo largo del arco de la curva anterior contenido en el primer octante. ~ 17. Dado el campo vectorial F = (xz; yz; 1) y el slido o T = f(x; y; z)= x2 + y 2 + z 2 25 3 zg ~ (a) Calcular el ujo de F saliendo de T a travs de la supercie superior esfrica. e e

85

~ (b) Calcular el ujo de F saliendo de T a travs de la supercie inferior plana S2 . e ~ (c) Usando el teorema de la divergencia, calcular el ujo de F saliendo de T a travs de la supercie total S. ( Contrastar con los resultados anteriores ). e 18. Consideremos S1 , la porcin superior (z 0) de la supercie cnica de revolucin, o o o 2 2 de eje OZ y semingulo cnico =4; y S2 la supercie de ecuacin x + y = a o o 2x. Designando por C la curva interseccin de las dos supercies, calcular o
Z
C

(y z) dx + (z x) dy + (x y) dz

19. El cilindro x2 + y 2 = 2x recorta una porcin de supercie S en la hoja superior o 2 2 2 del cono x + y = z . Calcular
ZZ
S

(x4 y 4 + y 2 z 2 z 2 x2 + 1) d

~ 20. Calcular el trabajo realizado por el campo de fuerzas F (x; y; z) = (y; z; x) al mover una part cula a lo largo de la circunferencia:
(

(x 1)2 + (y 1)2 + z 2 = 2 x+y =2

(Mirando desde el origen de coordenadas, el sentido de recorrido de la circunferencia es el contrario al de las agujas del reloj). 21. Sea S1 la porcin de paraboloide x2 + y 2 = 2az interior al cilindro x2 + y 2 = 2a2 o con una orientacin tal que el vector normal en el punto (0; 0; 0) de S1 sea el o (0; 0; 1). (a) Calcular el area de S1 . ~ (b) Calcular la integral de supercie del campo F (x; y; z) = (1=(ax); 1=(ay); 0) ~ en S1 , es decir, el ujo del campo F a travs de S1 . (a es una constante) e (c) Utilizando el resultado obtenido en el apartado anterior, demostrar que:
ZZZ

1 1 + 2 ) dx dy dz = 4a 2 x y

siendo V = f(x; y; z)= x2 + y 2 2az; z ag. 22. Sea la regin V = f(x; y; z)=z 0; x2 + y 2 z 2 a2 ; o la supercie que limita a V . Calcular
ZZ

x2 + y 2

z2 g. Sea S 2

~ n F : ~ d

p ~ donde F (x; y; z) = (x2 z; z 2; 1) y ~ es la normal unitaria a S, saliente de V . n

86