Tema 4

Integral de supercie.
4.1 Supercies.

Denicin 4.1 Sean A IR2 un conjunto conexo y : A I 3 una funcin continua. La o R o imagen S = (A) se llama supercie descrita por . Tambin se dice que es una parametrizacin de S o que es una representacin paramtrica e o o e de la supercie S . Los conjuntos de IR3 que forman supercies no slo se obtienen de esta forma sino que o 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 representacin paramtrica hay o e otras formas de representar supercies en el espacio y que es conveniente conocer.

4.1.1

Expresin anal o tica de una supercie.

Representacin impl o cita. 4.2 Dada una funcin real F que toma valores en IR3 , el conjunto o de puntos S = (x, y, z) IR3 : F (x, y, z) = 0 constituye una supercie en IR3 , y de la expresin F (x, y, z) = 0 se dice que es una representacin o o impl cita de la supercie S . Representacin expl o cita. 4.3 Dada una funcin real f que toma valores en I 2 , el conjunto o R de puntos S = (x, y, z) IR3 : z = f (x, y) conforma una supercie en IR3 y de la expresin z = f (x, y) se dice que es una representacin o o expl cita de la supercie S . Anlogamente, para x = f (y, z) y = f (x, z). a o Ejemplo 4.4 El plano x + 2y + 3z = 4 es una supercie en IR3 . Si consideramos la funcin F (x, y, z) = x + 2y + 3z 4, la expresin x + 2y + 3z 4 = 0 o o es una representacin impl o cita del plano. Despejando, por ejemplo x en la expresin anterior, x = 4 2y 3z = f (y, z) es una o representacin expl o cita del plano. Haciendo u = y y v = z , la funcin : IR2 IR3 con (u, v) = (4 2u 3v, u, v) es o una parametrizacin del plano. o

Integrales de L nea y Supercie.

47

4.1 Supercies.

4.1.2

Supercies cuadrticas. a

Una de las familias ms importantes de supercies de IR3 son las llamadas cudricas o supercies a a cuadrticas, que se obtienen de igualar a cero una funcin polinmica de tres variables y grado 2, a o o es decir, una expresin de la forma o 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 2 y algunos de los ai pueden ser cero (en los casos siguientes pueden o observarse algunos de estos tipos). 4.1.2.1 Elipsoide.

El elipsoide de semiejes a, b, c > 0 viene dado por la ecuacin o x2 y 2 z 2 + 2 + 2 1 = 0. a2 b c Una representacin parmetrica se obtiene con una pequea modicacin de las coordenadas o a n o esfricas (recordemos que en el caso particular a = b = c el elipsoide es una esfera) mediante e : [0, 2] [0, ] IR3 con (, ) = (a cos sen , b sen sen , c cos ). La supercie completa del elipsoide no puede expresarse expl citamente, aunque s por tro zos. Por ejemplo, para z 0 y z 0 se tienen las mitades superior e inferior del elipsoide representadas por x2 y 2 x2 y 2 z = c 1 2 + 2 z =c 1 2 + 2 a b a b

Fig. 4.1. Elipsoide. Curvas de interseccin con los planos coordenados. o

4.1.2.2

Hiperboloide de una hoja.

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

Integrales de L nea y Supercie.

4.1 Supercies.

Una representacin paramtrica se obtiene, de manera sencilla, haciendo v = o e 2 2 x2 a polares en la ecuacin a2 + y2 = z2 + 1. Por tanto, : [0, 2] IR I 3 con o R b c (, 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 hiperblicas mediante v = sh t y se obtiene o : [0, 2] I IR3 con (, t) = (a ch t cos , b ch t sen , c sh t). R 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 interseccin con los planos coordenados. o

4.1.2.3

Hiperboloide de dos hojas.

El hiperboloide el ptico de dos hojas est formado por la unin de dos supercies conexas. Cada a o una de las hojas viene dada por la ecuacin (a, b, c > 0) o x2 y 2 z 2 + 2 2 +1=0 a2 b c con z > 0 y con z < 0. Una representacin paramtrica, para cada una de las hojas, se obtiene como en el caso o e 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 + 2 +1 z = c + 2 +1 a2 b a2 b

Integrales de L nea y Supercie.

49

4.1 Supercies.

Fig. 4.3. Hiperboloide de dos hojas.

4.1.2.4

Cono el ptico.

El cono el ptico viene dado por la ecuacin (a, b, c > 0) o x2 y 2 z 2 + 2 2 = 0. a2 b c Una representacin paramtrica se obtiene, de manera sencilla, haciendo v = o e 2 2 x2 a polares en la ecuacin a2 + y2 = z2 . Por tanto, : [0, 2] IR I 3 con o R b c (, 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 x2 y 2 x2 y 2 + 2 z = c + 2 z=c 2 a b 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 ecuacin (a, b, c > 0) o x2 y 2 z + 2 = 0. a2 b c

Integrales de L nea y Supercie.

50

4.1 Supercies.

La representacin expl o cita se obtiene fcilmente por a z=c x2 y 2 + 2 a2 b .

Una representacin paramtrica se obtiene de lo anterior por : IR2 IR3 con o e (u, v) = au, bv, c(u2 + v 2 ) .

Fig. 4.5. Paraboloide el ptico.

4.1.2.6

Paraboloide hiperblico. o

El paraboloide hiperblico viene dado por la ecuacin (a, b, c > 0) o o x2 y 2 z 2 = 0. a2 b c La representacin expl o cita se obtiene fcilmente por a z=c x2 y 2 2 a2 b .

Una representacin paramtrica se obtiene de lo anterior por : IR2 IR3 con o e (u, v) = au, bv, c(u2 v 2 ) .

Fig. 4.6. Paraboloide hiperblico. o

Integrales de L nea y Supercie.

51

4.1 Supercies.

4.1.2.7

Cilindros.

Los cilindros de obtienen cuando en la expresin de F (x, y, z) = 0 alguna de las variables o no aparece, y heredan el apelativo de la curva que en IR2 representa la expresin. As si o , F (x, y, z) = f (x, y) = 0 y la curva f (x, y) = 0 es una el pse, hiprbola o parbola, el cilindro es e a el ptico, hiperblico o parablico. o o La representacin paramtrica se obtiene a partir de una parametrizacin de la curva, es o e o decir, si (t) = (1 (t), 2 (t)) es una parametrizacin de la curva, entonces la aplicacin o o (t, z) = 1 (t), 2 (t), z es una parametrizacin del cilindro. o Para el cilindro el ptico x2 + y2 1 = 0, una parametrizacin es : [0, 2] I I 3 o R R a b con (t, z) = (a cos t, b sen t, z). Para el cilindro parablico o con (t, z) = (at, bt2 , z).
2 2 2

x2 a2
2

y b

= 0, una parametrizacin se tiene de : IR2 I 3 o R

El cilindro hiperblico x2 y2 1 = 0 tiene dos hojas, una por cada rama de la hiprbola, o e a b 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 hiperblico. o

4.1.3

Supercies de revolucin. o

Las supercies de revolucin son supercies que se obtienen girando una curva plana respecto o a una recta. As una esfera es una supercie de revolucin que se obtiene al girar una semi, o circunferencia alrededor del dimetro que une los extremos, o un cilindro circular se obtiene de a 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 revolucin obtenida al girar esta curva respecto al eje OZ . Entonces, si (t) = (1 (t), 2 (t)) = o (x(t), z(t)) es una parametrizacin de C , los puntos de S son los de las circunferencias que se o 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 situada a altura z(t) y tiene por radio la a 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 parametrizacin de S . o
Integrales de L nea y Supercie.

52

4.1 Supercies.

Fig. 4.9.

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

Fig. 4.10. Parametrizacin del toro. o

4.1.4

Supercies regulares.

Denicin 4.6 Sean A IR3 un conjunto conexo y : A I 3 una funcin de clase 1. o R o La imagen S = (A) se llama supercie descrita por . Tambin se dice que es una e parametrizacin de S . o 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.

53

4.1 Supercies.

Denicin 4.7 Sean A IR2 conexo y : A IR3 de clase 1. Para cada (u, v) A, o 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). Proposicin 4.8 Sean A IR2 conexo, : A I 3 de clase 1 y S = (A). El punto o R (u, v) S es regular si, y slo si, pvf (u, v) = 0 . o Demostracin: o 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

Representacin paramtrica obtenida de una expl o e cita.

Sean f : A I 2 I y S la supercie representada por z = f (x, y), entonces la funcin R R o : A I 3 dada por R (u, v) = u, v, f (u, v) es una representacin paramtrica de S . o e 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 Representacin expl o cita local obtenida de una paramtrica. e

Sea A I 2 conexo y : A IR3 de clase 1. Entonces, se puede construir una representacin R o 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 )
Integrales de L nea y Supercie.

54

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 4 un abierto tal que (x0 , y0 , u0 , v0 ) U y construyamos h: U I 2 dada por R R 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 funcin impl o cita, existen un abierto W I 2 que contiene R 2 a (x0 , y0 ), un abierto V IR que contiene a (u0 , v0 ) y una funcin g: W V tal que o g(x, y) = (u, v), para todo (x, y) W . Entonces, la funcin f : W IR denida por f (x, y) = 3 (g1 (x, y), g2 (x, y)) nos da la o representacin pedida, pues de z 3 (u, v) = 0 se tiene que o f (x, y) = 3 (g1 (x, y), g2 (x, y)) = 3 (u, v) = z.

4.1.5

Plano tangente y recta normal.

Proposicin 4.9 Sean A IR2 conexo, C una curva regular contenida en A y S = (A) o 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. Demostracin: o Sea : [a, b] A una parametrizacin regular de C . Entonces, : [a, b] S denida o por (t) = ((t)) es una parametrizacin de C de clase 1 y, para cada t (a, b), o 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 parametrizacin regular de C . o Adems, como el vector D1 ((t))D2 ((t)) es ortogonal a D1 ((t)) y a D2 ((t)), a es tambin ortogonal a (t), que es el vector tangente a la curva C en el punto. e Denicin 4.10 Sea A IR2 conexo y S = (A) una supercie regular. El plano que pasa o 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 ecuacin vectorial o 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 ecuacin vectorial o y = (u0 , v0 ) + D1 (u0 , v0 ) D2 (u0 , v0 ) .
55

1 (t) 2 (t)

Integrales de L nea y Supercie.

4.1 Supercies.

Ejemplo 4.11 Hallar la ecuacin del plano tangente y la recta normal a la supercie del o hiperboloide parablico (u, v) = (u, v, u2 v 2 ) en el punto (1, 1). o Solucin: o 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.

Denicin 4.12 Sean A IR2 un conjunto conexo y acotado y : A IR3 de clase 1, o inyectiva en int(A). El rea de la supercie S = (A) se dene como el valor a A(S) =
A

pvf (u, v) du dv.

Observacin 4.13 Si una supercie S viene dada en expl o 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 notacin clsica D1 f (x, y) = o a 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 rea de la esfera S descrita por la funcin a o : A I 3 con (, ) = (a cos sen , a sen sen , a cos ). R Solucin: o 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 .
Integrales de L nea y Supercie.

56

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.

Denicin 4.15 Sea A IR2 un conjunto conexo y acotado, : A I 3 una funcin de o R o clase 1, S = (A) y f : S IR acotada tal que la funcin compuesta f es integrable en o 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. Solucin: o El conjunto S , puede parametrizarse por (, ) = (cos sen , sen sen , cos ), donde : [0, ] [0, ] I 3 . Entonces, como pvf (, ) = sen (ver ejemplo 4.14), se tiene R 2 2 f= f ((, )) pvf (, ) d d =
2 2

cos2 sen d d =

. 6

4.2.1

Aplicaciones a la mecnica. a

Sean A I 2 un conjunto conexo y acotado y : A I 3 una funcin de clase 1. ConsideR R o remos una lmina delgada que tenga la forma de la supercie S = (A) y que su densidad en a cada punto viene dada por una funcin acotada f : S I tal que la funcin compuesta f o R o es integrable en A. Entonces, la masa M de la lmina viene dada por a M= f

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

y, el momento de inercia IL de la lmina respecto de la recta L es a 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 homognea rectangular de base 2a y altura h se enrolla e formando una supercie cil ndrica S de radio a. Calcular el momento de inercia de S respecto de la recta que contenga un dimetro de la base circular. a

Integrales de L nea y Supercie.

57

4.3 Flujo de un campo vectorial.

Solucin: o Situamos el cilindro formado por la lmina sobre el plano XY siendo eje OZ su eje longia tudinal, es decir, formando la supercie S = {(x, y, z) : x2 + y 2 = a2 ; 0 z h}. Por ser homognea, la funcin densidad f : S I viene dada por f (x, y, z) = k , para e o R algn valor constante k ; y si tomamos como recta L uno de los otros ejes, por ejemplo, el eje u OX , se tiene que (x, y, z) = y 2 + z 2 . Una parametrizacin para S viene dada por : A = [0, 2] [0, h] IR3 , de expresin o o (, 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.

Denicin 4.18 Sea A IR2 un conjunto conexo y acotado, : A I 3 una funcin de o R o 3 clase 1 y S = (A). Sea f : S I la funcin que representa el vector densidad de ujo de R o la corriente de un uido, entonces la masa de uido que atraviesa la supercie S en la unidad de tiempo (el ujo a travs de la supercie), en la direccin del vector normal, viene dado por e o
S

f n=

(f n) d.

pvf Observacin 4.19 Usando la denicin de integral de supercie y que n = pvf , se tiene que o o
(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 funcin f (x, y, z) = (yz, xz, xy). Sea S la supercie del plano x + y + z = 1 situada en el o 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 direccin de n. o Solucin: o La supercie S es un trozo del plano z = 1 x y , luego puede parametrizarse con : A I 3 , donde (x, y) = (x, y, 1 x y) y A = {(x, y) : 0 x 1, 0 y 1 x}. R Como pvf (x, y) = (1, 0, 1)(0, 1, 1) = (1, 1, 1) y f ((x, y)) = y(1xy), x(1xy), xy , el ujo a travs de la supercie S en la direccin del vector normal es e o
n

Fig. 4.11.
1 0 0 1x

f n=

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

Integrales de L nea y Supercie.

58

4.3 Flujo de un campo vectorial.

4.3.1

Teorema de Stokes.

Denicin 4.21 Sean S IR3 un conjunto abierto y f : S I 3 una funcin con derivadas o R o 3 parciales en S . Se llama rotacional de f a la funcin rot f : S IR denida como o rot f = (D2 f3 D3 f2 , D3 f1 D1 f3 , D1 f2 D2 f1 ). Proposicin 4.22 Sean S IR3 un conjunto abierto y convexo y f : S IR3 una funcin de o o clase 1 en S . Entonces f es un gradiente en S si, y slo si, rot f = 0 en S . o Demostracin: o 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] I 2 , que la recorre en sentido positivo. Sean A el R conjunto encerrado por C y S = (A) una supercie regular descrita por , funcin de clase 2. o 3 Si f : S I es de clase 1, entonces R (C) f=
S

(rot f ) n,

donde la curva (C) est recorrida en el sentido inducido por . a 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 tringulo de vrtices a = (2, 0, 0), b = (0, 6, 0) y c = (0, 0, 2) recorrida en este a e sentido. Solucin: o El tringulo T es el trozo del plano 3x + y + 3z = 6 en el primer octante, que se parametriza a por : A I 3 , donde (x, y) = (x, y, 2 x y ) y A = {(x, y) : x [0, 2], 0 y 6 3x}. R 3 Adems, si recorremos A en sentido positivo, vamos de (0, 0) a (2, 0) y, en T = (A) a
z y

T
rr 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 x2 + x2xy dy dx = . 3 3

Integrales de L nea y Supercie.

59

4.3 Flujo de un campo vectorial.

4.3.1.1

Rotacional y divergencia de un campo vectorial.

Denicin 4.25 Sean S IRn abierto y f : S I n una funcin cuyas componentes tienen o R o derivadas parciales en S . Se llama divergencia de f a la funcin div f : S IR denida por o div f = D1 f1 + D2 f2 + + Dn fn . Proposicin 4.26 Sean S IR3 abierto y g: S I 3 una funcin de clase 2. Entonces o R o div(rot g) = 0 en S . Demostracin: o Como en el abierto S la funcin g es de clase 2, se tiene que Dij gk = Dji gk , i, j, k . Luego o 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 hiptesis del teorema anterior, una condicin necesaria para que una o o funcin f sea el rotacional de otra funcin g en un abierto S es que div f = 0 en S . o o Proposicin 4.28 Sean S IR3 un rectngulo abierto y f : S IR3 de clase 1 tal que o a div f = 0 en S . Entonces, existe una funcin g: S IR3 tal que rot g = f en S . o Demostracin: o Sea (x0 , y0 , z0 ) S un punto jo. La funcin g: S I 3 de componentes o R 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 parmetro las dos primeras y, por ser una funcin a o 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).

Integrales de L nea y Supercie.

60

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 IR3 y determinar g tal que rot g = f . Solucin: o 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 proposicin anterior, o 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

ty dt x2 2 .

z 0

yt dt =

x2 z2 yx yz + ; 2 2

g3 (x, y, z) =

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

zt dt = zx +
2

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

y(x + z), x xz . 2

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 en un conjunto de medida a 3 nula), f : V I de clase 1 y n el vector normal unitario exterior a la supercie S . Entonces, R 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 direccin del o vector normal exterior. Solucin: o Por el teorema de la divergencia, si denotamos por S = V la supercie exterior del slido, o 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.

61

4.4 Ejercicios.

4.4

Ejercicios.

4.1 Para cada una de las cudricas de la subseccion 4.1.2, encontrar el vector producto vectorial a fundamental asociado a las parametrizaciones all construidas, indicando la direccin de o dicho vector. 4.2 Hallar el vector unitario normal a la supercie de revolucin dada por la funcin (u, v) = o o f (u) cos v, f (u) sen v, g(u) , donde f y g son funciones reales de clase 1. 4.3 Calcular el rea del toro S engendrado al girar entorno al eje OZ la circunferencia de a 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 rea de la porcin S de la semiesfera x2 + y 2 + z 2 = a2 , z 0, interior al a o cilindro x2 + y 2 = ax. 4.5 Calcular el rea de la porcin S del plano x + y + z = a, interior al cilindro x2 + y 2 = a2 . a o 4.6 El plano y + z = a divide a la supercie esfrica x2 + y 2 + x2 = a2 en dos partes. e Designando por S el casquete de menor rea, calcular la integral de supercie de la funcin a o 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 interseccin o 2 + y 2 = a2 y el plano x + z = 1, con a, b > 0. Ind quese el sentido del del cilindro x a b recorrido. 4.8 Consideremos el cubo de lado 2 situado en el primer octante y con un vrtice en el origen. e 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 rectngulo abierto de IR3 y f y g dos gradientes de clase 1 en S . Probar que a 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 slido C = {(x, y, z) : o 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 I 3 R 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 slido V es igual o al peso del uido desalojado por V .

Integrales de L nea y Supercie.

62