Tema 4

Integral de supercie.
4.1 Supercies.

Denici on 4.1 Sean A IR2 un conjunto conexo y : A I R3 una funci on continua. La imagen S = (A) se llama supercie descrita por . Tambi en se dice que es una parametrizaci on de S o que es una representaci on param etrica de la supercie S . Los conjuntos de IR3 que forman supercies no s olo se obtienen de esta forma sino que el conjunto puede venir denido de otras maneras. Aunque, para el estudio de la integral de supercie, las supercies van a manejarse siempre mediante su representaci on param etrica hay otras formas de representar supercies en el espacio y que es conveniente conocer.

4.1.1

Expresi on anal tica de una supercie.

Representaci on impl cita. 4.2 Dada una funci on real F que toma valores en IR3 , el conjunto de puntos S = (x, y, z ) IR3 : F (x, y, z ) = 0 constituye una supercie en I R3 , y de la expresi on F (x, y, z ) = 0 se dice que es una representaci on impl cita de la supercie S . Representaci on expl cita. 4.3 Dada una funci on real f que toma valores en IR2 , el conjunto de puntos S = (x, y, z ) IR3 : z = f (x, y ) conforma una supercie en IR3 y de la expresi on z = f (x, y ) se dice que es una representaci on expl cita de la supercie S . An alogamente, para x = f (y, z ) o y = f (x, z ) . Ejemplo 4.4 El plano x + 2y + 3z = 4 es una supercie en IR3 . Si consideramos la funci on F (x, y, z ) = x + 2y + 3z 4, la expresi on x + 2y + 3z 4 = 0 es una representaci on impl cita del plano. Despejando, por ejemplo x en la expresi on anterior, x = 4 2y 3z = f (y, z ) es una representaci on expl cita del plano. Haciendo u = y y v = z , la funci on : IR2 IR3 con (u, v ) = (4 2u 3v, u, v ) es una parametrizaci on del plano.
Integrales de L nea y Supercie.

51

4 Integral de superficie.

4.1.2

Supercies cuadr aticas.

Una de las familias m as importantes de supercies de IR3 son las llamadas cu adricas o supercies cuadr aticas, que se obtienen de igualar a cero una funci on polin omica de tres variables y grado 2, es decir, una expresi on de la forma a11 x2 + a22 y 2 + a33 z 2 + a12 xy + a13 xz + a23 yz + a01 x + a02 y + a03 z + a00 = 0. Mediante giros y translaciones se pueden escribir en la forma a0 + a1 (x c1 )n1 + a2 (y c2 )n2 + a3 (z c3 )n3 = 0 donde los ni son 1 o 2 y algunos de los ai pueden ser cero (en los casos siguientes pueden observarse algunos de estos tipos). 4.1.2.1 Elipsoide.

El elipsoide de semiejes a, b, c > 0 viene dado por la ecuaci on x2 y 2 z 2 + 2 + 2 1 = 0. a2 b c Una representaci on par ametrica se obtiene con una peque na modicaci on de las coordenadas esf ericas (recordemos que en el caso particular a = b = c el elipsoide es una esfera) mediante : [0, 2 ] [0, ] I R3 con (, ) = (a cos sen , b sen sen , c cos ). La supercie completa del elipsoide no puede expresarse expl citamente, aunque s por trozos. Por ejemplo, para z 0 y z 0 se tienen las mitades superior e inferior del elipsoide representadas por z =c 1 x2 y 2 + 2 a2 b z = c 1 x2 y 2 + 2 a2 b

Fig. 4.1. Elipsoide. Curvas de intersecci on con los planos coordenados.

4.1.2.2

Hiperboloide de una hoja.

El hiperboloide el ptico de una hoja viene dado por la ecuaci on ( a, b, c > 0) x2 y 2 z 2 + 2 2 1 = 0. a2 b c

52
Integrales de L nea y Supercie.

4.1 Supercies.

Una representaci on param etrica se obtiene, de manera sencilla, haciendo v = 2 2 x2 a polares en la ecuaci on a2 + y =z + 1. Por tanto, : [0, 2 ] IR IR3 con b2 c2 (, v ) = a v 2 + 1 cos , b v 2 + 1 sen , cv .

z c

y el cambio

Puede evitarse la raiz haciendo uso de las funciones hiperb olicas mediante v = sh t y se obtiene : [0, 2 ] I R IR3 con (, t) = (a ch t cos , b ch t sen , c sh t). La supercie completa del hiperboloide no puede expresarse expl citamente, aunque s por trozos. Por ejemplo, para z 0 y z 0 se tienen las partes superior e inferior del hiperboloide representadas por z=c x2 y 2 + 2 1 a2 b z = c x2 y 2 + 2 1 a2 b

Fig. 4.2. Hiperboloide de una hoja. Curvas de intersecci on con los planos coordenados.

4.1.2.3

Hiperboloide de dos hojas.

El hiperboloide el ptico de dos hojas est a formado por la uni on de dos supercies conexas. Cada una de las hojas viene dada por la ecuaci on ( a, b, c > 0) x2 y 2 z 2 + 2 2 +1=0 a2 b c con z > 0 y con z < 0. Una representaci on param etrica, para cada una de las hojas, se obtiene como en el caso anterior mediante : [0, 2 ] [1, +) IR3 con (, v ) = a v 2 1 cos , b v 2 1 sen , cv , y : [0, 2 ] (, 1] IR3 con (, v ) = a v 2 1 cos , b v 2 1 sen , cv . La supercie de cada hoja del hiperboloide puede expresarse expl citamente, para z c y z c , por x2 y 2 x2 y 2 z=c + + 1 z = c + 2 +1 a2 b2 a2 b

Integrales de L nea y Supercie.

53

4 Integral de superficie.

Fig. 4.3. Hiperboloide de dos hojas.

4.1.2.4

Cono el ptico.

El cono el ptico viene dado por la ecuaci on ( a, b, c > 0) x2 y 2 z 2 + 2 2 = 0. a2 b c Una representaci on param etrica se obtiene, de manera sencilla, haciendo v = 2 2 x2 =z . Por tanto, : [0, 2 ] IR IR3 con a polares en la ecuaci on a2 + y b2 c2 (, v ) = (a|v | cos , b|v | sen , cv ). La supercie completa del cono no puede expresarse expl citamente, aunque s por trozos. Por ejemplo, para z 0 y z 0 se tienen las partes superior e inferior del cono representadas por z=c x2 y 2 + 2 a2 b z = c x2 y 2 + 2 a2 b
z c

y el cambio

Fig. 4.4. Cono el ptico.

4.1.2.5

Paraboloide el ptico.

El paraboloide el ptico viene dado por la ecuaci on ( a, b, c > 0) x2 y 2 z + 2 = 0. a2 b c

54
Integrales de L nea y Supercie.

4.1 Supercies.

La representaci on expl cita se obtiene f acilmente por z=c x2 y 2 + 2 a2 b .

Una representaci on param etrica se obtiene de lo anterior por : IR2 IR3 con (u, v ) = au, bv, c(u2 + v 2 ) .

Fig. 4.5. Paraboloide el ptico.

4.1.2.6

Paraboloide hiperb olico.

El paraboloide hiperb olico viene dado por la ecuaci on ( a, b, c > 0) x2 y 2 z 2 = 0. a2 b c La representaci on expl cita se obtiene f acilmente por z=c x2 y 2 2 a2 b .

Una representaci on param etrica se obtiene de lo anterior por : IR2 IR3 con (u, v ) = au, bv, c(u2 v 2 ) .

Fig. 4.6. Paraboloide hiperb olico.

Integrales de L nea y Supercie.

55

4 Integral de superficie.

4.1.2.7

Cilindros.

Los cilindros de obtienen cuando en la expresi on de F (x, y, z ) = 0 alguna de las variables no aparece, y heredan el apelativo de la curva que en IR2 representa la expresi on. As , si F (x, y, z ) = f (x, y ) = 0 y la curva f (x, y ) = 0 es una el pse, hip erbola o par abola, el cilindro es el ptico, hiperb olico o parab olico. La representaci on param etrica se obtiene a partir de una parametrizaci on de la curva, es decir, si (t) = (1 (t), 2 (t)) es una parametrizaci on de la curva, entonces la aplicaci on (t, z ) = 1 (t), 2 (t), z es una parametrizaci on del cilindro. Para el cilindro el ptico x +y 1 = 0, una parametrizaci on es : [0, 2 ] IR IR3 a2 b2 con (t, z ) = (a cos t, b sen t, z ). Para el cilindro parab olico con (t, z ) = (at, bt2 , z ).
2 2 2

x2 a2
2

y b

= 0, una parametrizaci on se tiene de : IR2 IR3

El cilindro hiperb olico x y 1 = 0 tiene dos hojas, una por cada rama de la hip erbola, a2 b2 2 3 y pueden parametrizarse por : IR IR de expresiones (t, z ) = (a ch t, b sh t, z ) y (t, z ) = (a ch t, b sh t, z ), para cada una de las hojas.

Fig. 4.7. Cilindro el ptico.

Fig. 4.8. Cilindro hiperb olico.

4.1.3

Supercies de revoluci on.

Las supercies de revoluci on son supercies que se obtienen girando una curva plana respecto a una recta. As , una esfera es una supercie de revoluci on que se obtiene al girar una semicircunferencia alrededor del di ametro que une los extremos, o un cilindro circular se obtiene de girar una recta respecto a otra paralela (ver gura 4.9). Sea C una curva plana, supongamos que contenida en el plano XZ , y sea S la supercie de revoluci on obtenida al girar esta curva respecto al eje OZ . Entonces, si (t) = (1 (t), 2 (t)) = (x(t), z (t)) es una parametrizaci on de C , los puntos de S son los de las circunferencias que se obtienen al girar cada punto de C alrededor del eje. Es decir, cada punto (x(t), z (t)) determina, al girar, una circunferencia plana en S , que est a situada a altura z (t) y tiene por radio la distancia del punto al eje OZ , que es x(t). En consecuencia, (t, ) = x(t) cos , x(t) sen , z (t) = 1 (t) cos , 1 (t) sen , 2 (t) donde : [a, b] [0, 2 ] IR3 es una parametrizaci on de S .
56
Integrales de L nea y Supercie.

4.1 Supercies.

Fig. 4.9.

Nota: Las parametrizaciones de la esfera y el cilindro (y por tanto, los cambios a coordenadas esf ericas y cil ndricas) se obtienen de esta forma. H agase como ejercicio. Ejemplo 4.5 Hallar una parametrizaci on del toro obtenido al girar la circunferencia (y b)2 + z 2 = a2 (con b > a ), contenida en el plano Y Z , alrededor del eje OZ . Soluci on: Una parametrizaci on de la circunferencia es () = (b + a cos , a sen ) con [0, 2 ], luego : [0, 2 ] [0, 2 ] IR3 donde (, ) = (b + a cos ) cos , (b + a cos ) sen , a sen , es la parametrizaci on buscada.

Fig. 4.10. Parametrizaci on del toro.

4.1.4

Supercies regulares.

Denici on 4.6 Sean A IR3 un conjunto conexo y : A IR3 una funci on de clase 1. La imagen S = (A) se llama supercie descrita por . Tambi en se dice que es una parametrizaci on de S . El punto (u, v ) de S se dice regular si el rango de la matriz (u, v ) es 2. En caso contrario se dice que es singular. Una supercie se dice regular si todos sus puntos lo son.
Integrales de L nea y Supercie.

57

4 Integral de superficie.

Denici on 4.7 Sean A IR2 conexo y : A IR3 de clase 1. Para cada (u, v ) A , consideremos los vectores D1 (u, v ) = D1 1 (u, v ), D1 2 (u, v ), D1 3 (u, v ) D2 (u, v ) = D2 1 (u, v ), D2 2 (u, v ), D2 3 (u, v ) . Al vector pvf (u, v ) = D1 (u, v ) D2 (u, v ) , se le llama vector producto vectorial fundamental de la supercie descrita por , y tiene por componentes i j k D1 D2 = D1 1 D1 2 D1 3 = D2 1 D2 2 D2 3 Si pvf (u, v ) = 0 , al vector n(u, v ) = pvf (u, v ) D1 (u, v ) D2 (u, v ) = pvf (u, v ) D1 (u, v ) D2 (u, v ) D1 1 D1 2 D1 1 D1 3 D1 2 D1 3 , , D2 1 D2 2 D2 1 D2 3 D2 2 D2 3 .

se le denomina vector normal a la supercie en el punto (u, v ) . Proposici on 4.8 Sean A IR2 conexo, : A IR3 de clase 1 y S = (A) . El punto (u, v ) S es regular si, y s olo si, pvf (u, v ) = 0 . Demostraci on: Como pvf = entonces 4.1.4.1 D1 2 D1 3 D1 3 D1 1 D1 1 D1 2 , , D2 2 D2 3 D2 3 D2 1 D2 1 D2 2 D1 1 (u, v ) D1 2 (u, v ) D1 3 (u, v ) D2 1 (u, v ) D2 2 (u, v ) D2 3 (u, v ) , = 2.

pvf (u, v ) = 0 rg

Representaci on param etrica obtenida de una expl cita.

Sean f : A I R2 IR y S la supercie representada por z = f (x, y ), entonces la funci on 3 : A IR dada por (u, v ) = u, v, f (u, v ) es una representaci on param etrica de S . Si f es de clase 1, es de clase 1 y como pvf (u, v ) = D1 (u, v ) D2 (u, v ) = 1, 0, D1 f (u, v ) 0, 1, D2 f (u, v ) = D1 f (u, v ), D2 f (u, v ), 1 = (0, 0, 0) es una supercie regular. 4.1.4.2 Representaci on expl cita local obtenida de una param etrica.

Sea A IR2 conexo y : A IR3 de clase 1. Entonces, se puede construir una representaci on expl cita de la supercie dada por en un entorno de cada punto regular. En efecto. Sea x0 = (u0 , v0 ) un punto regular, entonces alguna de las coordenadas del vector pvf (u0 , v0 ) es distinta de cero. Supongamos que es la tercera componente, es decir, que D1 1 (u0 , v0 ) D1 2 (u0 , v0 ) =0 D2 1 (u0 , v0 ) D2 2 (u0 , v0 )
58
Integrales de L nea y Supercie.

4.1 Supercies.

y, consideremos los valores de x, y, z IR tales que x 1 (u, v ) = 0; y 2 (u, v ) = 0; z 3 (u, v ) = 0.

Sea U I R4 un abierto tal que (x0 , y0 , u0 , v0 ) U y construyamos h: U IR2 dada por h(x, y, u, v ) = x 1 (u0 , v0 ), y 2 (u0 , v0 ) = (x x0 , y y0 ). h(x0 , y0 , u0 , v0 ) = (x0 x0 , y0 y0 ) = (0, 0). Como x = 1 (u, v ) e y = 2 (u, v ), h (x0 , y0 , u0 , v0 ) = y D1 1 (u0 , v0 ) D1 2 (u0 , v0 ) = 0. D2 1 (u0 , v0 ) D2 2 (u0 , v0 ) 1 0 D1 1 (u0 , v0 ) D1 2 (u0 , v0 ) 0 1 D2 1 (u0 , v0 ) D2 2 (u0 , v0 )

Entonces, por el teorema de la funci on impl cita, existen un abierto W IR2 que contiene 2 a (x0 , y0 ), un abierto V IR que contiene a (u0 , v0 ) y una funci on g : W V tal que g (x, y ) = (u, v ), para todo (x, y ) W . Entonces, la funci on f : W IR denida por f (x, y ) = 3 (g1 (x, y ), g2 (x, y )) nos da la representaci on pedida, pues de z 3 (u, v ) = 0 se tiene que f (x, y ) = 3 (g1 (x, y ), g2 (x, y )) = 3 (u, v ) = z.

4.1.5

Plano tangente y recta normal.

Proposici on 4.9 Sean A IR2 conexo, C una curva regular contenida en A y S = (A) una supercie regular. Entonces C = (C ) es una curva regular contenida en S y, en cada punto de C , el vector producto vectorial fundamental a la supercie es perpendicular al vector tangente a la curva. Demostraci on: Sea : [a, b] A una parametrizaci on regular de C . Entonces, : [a, b] S denida por (t) = ( (t)) es una parametrizaci on de C de clase 1 y, para cada t (a, b), D1 1 ((t)) D2 1 ((t)) (t) = ((t)) (t) = D1 2 ((t)) D2 2 ((t)) D1 3 ((t)) D2 3 ((t)) = 1 (t)D1 ((t)) + 2 (t)D2 ((t)) = 0 pues, como es regular los vectores D1 ( (t)) y D2 ( (t)) son linealmente independientes ( rg ( (t)) = 2) y, como es regular (t) = (1 (t), 2 (t)) = (0, 0). En consecuencia, es una parametrizaci on regular de C . Adem as, como el vector D1 ( (t))D2 ( (t)) es ortogonal a D1 ( (t)) y a D2 ( (t)), es tambi en ortogonal a (t), que es el vector tangente a la curva C en el punto. Denici on 4.10 Sea A IR2 conexo y S = (A) una supercie regular. El plano que pasa por el punto (u0 , v0 ) y es paralelo a los vectores D1 (u0 , v0 ) y D2 (u0 , v0 ) , se llama plano tangente a la supercie S en dicho punto y tiene por ecuaci on vectorial y = (u0 , v0 ) + D1 (u0 , v0 ) + D2 (u0 , v0 ). La recta que pasa por el punto (u0 , v0 ) y es paralela al vector pvf (u0 , v0 ) , se llama recta normal a la supercie S en dicho punto y tiene por ecuaci on vectorial y = (u0 , v0 ) + D1 (u0 , v0 ) D2 (u0 , v0 ) .
59

1 (t) 2 (t)

Integrales de L nea y Supercie.

4 Integral de superficie.

Ejemplo 4.11 Hallar la ecuaci on del plano tangente y la recta normal a la supercie del hiperboloide parab olico (u, v ) = (u, v, u2 v 2 ) en el punto (1, 1). Soluci on: Como D1 (u, v ) = (1, 0, 2u) y D2 (u, v ) = (0, 1, 2v ), se tiene que pvf (1, 1) = D1 (1, 1) D2 (1, 1) = (1, 0, 2) (0, 1, 2) = (2, 2, 1) luego el plano tangente en (1, 1) = (1, 1, 0) es y = (1, 1, 0) + (1, 0, 2) + (0, 1, 2) = (1 + , 1 + , 2 2) y la recta normal y = (1, 1, 0) + (2, 2, 1) = (1 2, 1 + 2, ).

4.1.6

Area de una supercie.

Denici on 4.12 Sean A I R2 un conjunto conexo y acotado y : A IR3 de clase 1, inyectiva en int(A) . El area de la supercie S = (A) se dene como el valor A(S ) =
A

pvf (u, v ) du dv.

Observaci on 4.13 Si una supercie S viene dada en expl citas, z = f (x, y ), con f : A IR, tomando (x, y ) = (x, y, f (x, y )) en A , A(S ) = =
A A

pvf (x, y ) dx dy =

(1, 0, D1 f (x, y )) (0, 1, D2 f (x, y )) dx dy

A

(D1 f (x, y ), D2 f (x, y ), 1) dx dy =

f x (x, y )

1 + (D1 f (x, y ))2 + (D2 f (x, y ))2 dx dy

f y (x, y ), f 2 x

Usando la notaci on cl asica D1 f (x, y ) = A(S ) =

y D2 f (x, y ) = 1+

tenemos que
f 2 dx dy. y

1 + (D1 f )2 + (D2 f )2 dx dy =

Ejemplo 4.14 Sea A = [0, 2 ] [0, ]. Calcular el area de la esfera S descrita por la funci on : A IR3 con (, ) = (a cos sen , a sen sen , a cos ). Soluci on: es de clase 1 y D1 (, ) = (a sen sen , a cos sen , 0) D2 (, ) = (a cos cos , a sen cos , a sen ) luego pvf (, ) = (a sen sen , a cos sen , 0) (a cos cos , a sen cos , a sen ) = (a2 cos sen2 , a2 sen sen2 , a2 sen cos ) = = a4 cos2 sen4 + a4 sen2 sen4 + a4 sen2 cos2 ) a4 sen2 ([cos2 + sen2 ] sen2 + cos2 ) = a2 | sen | sen2 + cos2

= a2 | sen | = a2 sen .
60
Integrales de L nea y Supercie.

4.2 Integral de supercie de funciones reales.

Entonces A(S ) = = pvf (, ) d d =

0

a2 sen d d =
0

2 0 0

a2 sen d d

a2 sen d

2 0

d = a2 cos

2 = 4a2 .

4.2

Integral de supercie de funciones reales.

Denici on 4.15 Sea A IR2 un conjunto conexo y acotado, : A IR3 una funci on de clase 1, S = (A) y f : S I R acotada tal que la funci on compuesta f es integrable en A . La integral de supercie de f sobre S se dene por f= f d = f ( (u, v )) pvf (u, v ) du dv. z 2 , siendo S la supercie de la esfera

Ejemplo 4.16 Calcular la integral de supercie

unidad en el primer octante. Soluci on: El conjunto S , puede parametrizarse por (, ) = (cos sen , sen sen , cos ), donde : [0, R3 . Entonces, como pvf (, ) = sen (ver ejemplo 4.14), se tiene 2 ] [0, 2 ] I f= f ((, )) pvf (, ) d d =
2 2

cos2 sen d d =

. 6

4.2.1

Aplicaciones a la mec anica.

Sean A I R2 un conjunto conexo y acotado y : A I R3 una funci on de clase 1. Consideremos una l amina delgada que tenga la forma de la supercie S = (A) y que su densidad en cada punto viene dada por una funci on acotada f : S IR tal que la funci on compuesta f es integrable en A . Entonces, la masa M de la l amina viene dada por M= f

El centro de masas de la l amina, de coordenadas (, , ) se obtiene de = 1 M xf = 1 M yf = 1 M zf

y, el momento de inercia IL de la l amina respecto de la recta L es IL =

S

2f

donde, para cada (x, y, z ) S , (x, y, z ) representa la distancia del punto (x, y, z ) a la recta L . Ejemplo 4.17 Una hoja de papel homog enea rectangular de base 2a y altura h se enrolla formando una supercie cil ndrica S de radio a . Calcular el momento de inercia de S respecto de la recta que contenga un di ametro de la base circular.

Integrales de L nea y Supercie.

61

4 Integral de superficie.

Soluci on: Situamos el cilindro formado por la l amina sobre el plano XY siendo eje OZ su eje longitudinal, es decir, formando la supercie S = {(x, y, z ) : x2 + y 2 = a2 ; 0 z h} . Por ser homog enea, la funci on densidad f : S IR viene dada por f (x, y, z ) = k , para alg un valor constante k ; y si tomamos como recta L uno de los otros ejes, por ejemplo, el eje OX , se tiene que (x, y, z ) = y 2 + z 2 . Una parametrizaci on para S viene dada por : A = [0, 2 ] [0, h] IR3 , de expresi on (, z ) = (a cos , a sen , z ) y con pvf (, z ) = (a cos , a sen , 0) = a . Luego IL =
S

2 (x, y, z )k =

k (y 2 + z 2 ) =

k (a2 sen2 + z 2 )a d dz = ka2 ( ha 2 +

h3 3 ).

4.3

Flujo de un campo vectorial.

Denici on 4.18 Sea A I R2 un conjunto conexo y acotado, : A IR3 una funci on de 3 clase 1 y S = (A) . Sea f : S IR la funci on que representa el vector densidad de ujo de la corriente de un uido, entonces la masa de uido que atraviesa la supercie S en la unidad de tiempo (el ujo a trav es de la supercie), en la direcci on del vector normal, viene dado por
S

f n=

( f n) d .

pvf , se tiene que Observaci on 4.19 Usando la denici on de integral de supercie y que n = pvf
(f n) d =
A

f ( (u, v ))

pvf (u, v ) pvf (u, v )

pvf (u, v ) du dv =

f ( (u, v )) pvf (u, v ) du dv.

Ejemplo 4.20 La corriente de un uido tiene como vector densidad de ujo en cada punto a la funci on f (x, y, z ) = (yz, xz, xy ). Sea S la supercie del plano x + y + z = 1 situada en el primer octante y n el vector normal a S . Calcular la masa de uido que atraviesa la supercie S en la unidad de tiempo en la direcci on de n . Soluci on: La supercie S es un trozo del plano z = 1 x y , luego puede parametrizarse con : A IR3 , donde (x, y ) = (x, y, 1 x y ) y A = {(x, y ) : 0 x 1, 0 y 1 x} . Como pvf (x, y ) = (1, 0, 1) (0, 1, 1) = (1, 1, 1) y f ( (x, y )) = y (1 x y ), x(1 x y ), xy , el ujo a trav es de la supercie S en la direcci on del vector normal es
n

Fig. 4.11.
1 0 0 1x

f n=

1 y (1 x y ) + x(1 x y ) + xy dy dx = . 8

62

Integrales de L nea y Supercie.

4.3 Flujo de un campo vectorial.

4.3.1

Teorema de Stokes.

Denici on 4.21 Sean S IR3 un conjunto abierto y f : S IR3 una funci on con derivadas 3 parciales en S . Se llama rotacional de f a la funci on rot f : S IR denida como rot f = (D2 f3 D3 f2 , D3 f1 D1 f3 , D1 f2 D2 f1 ). Proposici on 4.22 Sean S IR3 un conjunto abierto y convexo y f : S IR3 una funci on de clase 1 en S . Entonces f es un gradiente en S si, y s olo si, rot f = 0 en S . Demostraci on: Como el conjunto es convexo, f es un gradiente en S i, j , Di fj = Dj fi en S rot f = 0 en S . Teorema de Stokes (o del rotacional) 4.23 Sea C una curva simple cerrada y regular a trozos de IR2 parametrizada por : [a, b] IR2 , que la recorre en sentido positivo. Sean A el conjunto encerrado por C y S = (A) una supercie regular descrita por , funci on de clase 2. 3 Si f : S I R es de clase 1, entonces (C ) f=
S

(rot f ) n,

donde la curva (C ) est a recorrida en el sentido inducido por . Ejemplo 4.24 Calcular la integral de l nea de f (x, y, z ) = (xz, y, x2 y ) a lo largo de la frontera del tri angulo de v ertices a = (2, 0, 0), b = (0, 6, 0) y c = (0, 0, 2) recorrida en este sentido. Soluci on: El tri angulo T es el trozo del plano 3x + y + 3z = 6 en el primer octante, que se parametriza por : A I R3 , donde (x, y ) = (x, y, 2 x y 3 ) y A = {(x, y ) : x [0, 2], 0 y 6 3x} . Adem as, si recorremos A en sentido positivo, vamos de (0, 0) a (2, 0) y, en T = (A)
z y

T
r r g g g

T
y c

t t t

A
x

A
E Fig. 4.12. x

vamos de (0, 0) = (0, 0, 2) a (2, 0) = (2, 0, 0), luego el sentido del recorrido inducido en T es el buscado. En consecuencia, por el teorema de Stokes, f= rot f n =
1 (x2 , x 2xy, 0) (1, 3 , 1) dx dy = 2 0 0 63x

4 2xy x2 + x3 dy dx = . 3

Integrales de L nea y Supercie.

63

4 Integral de superficie.

4.3.1.1

Rotacional y divergencia de un campo vectorial.

Denici on 4.25 Sean S IRn abierto y f : S IRn una funci on cuyas componentes tienen derivadas parciales en S . Se llama divergencia de f a la funci on div f : S IR denida por div f = D1 f1 + D2 f2 + + Dn fn . Proposici on 4.26 Sean S IR3 abierto y g : S IR3 una funci on de clase 2. Entonces div (rot g ) = 0 en S . Demostraci on: Como en el abierto S la funci on g es de clase 2, se tiene que Dij gk = Dji gk , i, j, k . Luego div (rot g ) = div D2 g3 D3 g2 , D3 g1 D1 g3 , D1 g2 D2 g1 = D1 (D2 g3 D3 g2 ) + D2 (D3 g1 D1 g3 ) + D3 (D1 g2 D2 g1 ) = D21 g3 D31 g2 + D32 g1 D12 g3 + D13 g2 D23 g1 = D21 g3 D12 g3 + D13 g2 D31 g2 + D32 g1 D23 g1 = 0

Corolario 4.27 Con las hip otesis del teorema anterior, una condici on necesaria para que una funci on f sea el rotacional de otra funci on g en un abierto S es que div f = 0 en S . Proposici on 4.28 Sean S IR3 un rect angulo abierto y f : S IR3 de clase 1 tal que div f = 0 en S . Entonces, existe una funci on g : S IR3 tal que rot g = f en S . Demostraci on: Sea (x0 , y0 , z0 ) S un punto jo. La funci on g : S IR3 de componentes g1 = 0; g2 =
x x0

f3 (t, y, z ) dt

z z0

f1 (x0 , y, t) dt;

g3 =

x x0

f2 (t, y, z ) dt;

verica que rot g = f en S . En efecto, D2 g3 D3 g2 = D2 = D2

x x0 x x0

f2 (t, y, z ) dt D3 f2 (t, y, z ) dt D3

x x0 x x0

f3 (t, y, z ) dt

z z0

f1 (x0 , y, t) dt
z z0

f3 (t, y, z ) dt + D3

f1 (x0 , y, t) dt

Por las integrales dependientes de un par ametro las dos primeras y, por ser una funci on integral la tercera, se tiene que = =
x x0 x x0

D2 f2 (t, y, z ) dt

x x0

D3 f3 (t, y, z ) dt + f1 (x0 , y, z )

D2 f2 (t, y, z ) D3 f3 (t, y, z ) dt + f1 (x0 , y, z )

Como 0 = div f = D1 f1 + D2 f2 + D3 f3 , se tiene que D1 f1 = D2 f2 D3 f3 . Luego =

x x0

D1 f1 (t, y, z ) dt + f1 (x0 , y, z )

= f1 (x, y, z ) f1 (x0 , y, z ) + f1 (x0 , y, z ) = f1 (x, y, z ).

64
Integrales de L nea y Supercie.

4.3 Flujo de un campo vectorial.

x x0 x x0 x x0

D3 g1 D1 g3 = 0 + D1

f2 (t, y, z ) dt = f2 (x, y, z ).
z z0

D1 g2 D2 g1 = D1 = D1

f3 (t, y, z ) dt

f1 (x0 , y, t) dt 0
z z0

f3 (t, y, z ) dt D1

f1 (x0 , y, t) dt = f3 (x, y, z ) 0 = f3 (x, y, z ).

Ejemplo 4.29 Demostrar que el campo f (x, y, z ) = (y z, z x, x y ) es un rotacional en I R3 y determinar g tal que rot g = f . Soluci on: En IR3 , div f = D1 f1 + D2 f2 + D3 f3 = 0 + 0 + 0 = 0, luego existe g : IR3 IR3 tal que rot g = f . Sea 0 el punto jo de IR3 , por la proposici on anterior, g1 (x, y, z ) = 0; g2 (x, y, z ) =
x 0

f3 (t, y, z ) dt
x 0

z 0

f1 (0, y, t) dt =
x 0

x 0

t y dt

z 0

y t dt =

x2 z2 yx yz + ; 2 2

g3 (x, y, z ) =

f2 (t, y, z ) dt =
2 +z 2

x2 z t dt = zx + . 2
2

luego g (x, y, z ) = 0, x

y (x + z ), x 2 xz .

4.3.2

Teorema de la divergencia.

Teorema de la divergencia (o de Gauss) 4.30 Sean S una supercie que encierra un volumen V , S = (A) donde es de clase 1 e inyectiva (salvo quiz a en un conjunto de medida nula), f : V I R3 de clase 1 y n el vector normal unitario exterior a la supercie S . Entonces, f n= div f .

Ejemplo 4.31 La corriente de un uido tiene como vector densidad de ujo en cada punto f (x, y, z ) = (x, y 2 , 2yz ). Calcular la masa de uido que atraviesa la supercie exterior del hemisferio S = {(x, y, z ) : x2 + y 2 + z 2 1, z 0} en la unidad de tiempo y en la direcci on del vector normal exterior. Soluci on: Por el teorema de la divergencia, si denotamos por S = V la supercie exterior del s olido, se tiene que
S

f n=

div f .

Como div f (x, y, z ) = 1 + 2y 2y = 1, entonces f n= div f = 1 = V (V ) = . 2

Integrales de L nea y Supercie.

65

4 Integral de superficie.

4.4

Ejercicios.

4.1 Para cada una de las cu adricas de la subseccion 4.1.2, encontrar el vector producto vectorial fundamental asociado a las parametrizaciones all construidas, indicando la direcci on de dicho vector. 4.2 Hallar el vector unitario normal a la supercie de revoluci on dada por la funci on (u, v ) = f (u) cos v, f (u) sen v, g (u) , donde f y g son funciones reales de clase 1. 4.3 Calcular el area del toro S engendrado al girar entorno al eje OZ la circunferencia de radio a situada en el plano XZ con centro en el eje OX a una distancia b ( b > a ) del origen 4.4 Calcular el area de la porci on S de la semiesfera x2 + y 2 + z 2 = a2 , z 0, interior al 2 2 cilindro x + y = ax . 4.5 Calcular el area de la porci on S del plano x + y + z = a , interior al cilindro x2 + y 2 = a2 . 4.6 El plano y + z = a divide a la supercie esf erica x2 + y 2 + x2 = a2 en dos partes. Designando por S el casquete de menor area, calcular la integral de supercie de la funci on f (x, y, z ) = x2 yz sobre S . 4.7 Calcular la integral de l nea de f (x, y, z ) = (xz, y, x2 y ) a lo largo de la curva intersecci on z 2 2 + = 1, con a, b > 0. Ind quese el sentido del del cilindro x + y = a2 y el plano x a b recorrido. 4.8 Consideremos el cubo de lado 2 situado en el primer octante y con un v ertice en el origen. Cortando dicho cubo con un plano que pasa por el centro del cubo y es perpendicular a la diagonal del cubo con extremo en el origen, queda denido un exagono regular H . Calcular el valor de la integral de l nea de f (x, y, z ) = (y 2 z 2 , z 2 x2 , x2 y 2 ) a lo largo de H , indicando el sentido del recorrido. Hacerlo de dos formas distintas. 4.9 Sean S un rect angulo abierto de IR3 y f y g dos gradientes de clase 1 en S . Probar que f g es un rotacional en S . 4.10 Calcular la integral de supercie
S

f n siendo f (x, y, z ) = (x2 , y 2 , z 2 ), S la supercie

x2 a2

exterior total del cono s olido C = {(x, y, z ) : normal exterior.

y2 a2

z2 , b2

0 z b} y n el vector

4.11 Sea V el conjunto V = {(x, y, z ) : z 2 4x2 + 4y 2 ; x2 + y 2 2y ; z 0} y sea f : V IR3 denida por f (x, y, z ) = (6y, 6x, 2x). Hallar integrando en la supercie frontera de V el ujo saliente y comprobarlo mediante el teorema de la divergencia. 4.12 Demostrar el principio de Arqu medes: el empuje de un uido sobre un s olido V es igual al peso del uido desalojado por V .

66

Integrales de L nea y Supercie.