Integral de supercie.

4.1 Supercies.

Denicin 4.1 Sean A I 2 un conjunto conexo y : A IR3 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.

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

ww w.

Representacin expl o cita. 4.3 Dada una funcin real f que toma valores en IR2 , el conjunto o de puntos S = (x, y, z) IR3 : z = f (x, y)

at e

constituye una supercie en I 3 , y de la expresin F (x, y, z) = 0 se dice que es una representacin R o o impl cita de la supercie S .

at

ic

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

a1

.c om

4.1.1

Expresin anal o tica de una supercie.

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

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

ww

w.

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

M at e

m at

(, ) = (a cos sen , b sen sen , c cos ).

ic

a1

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

.c

om

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

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 + 2 +1 + 2 +1 z=c z = c a2 b a2 b

ww w.

at e

Fig. 4.2. Hiperboloide de una hoja. Curvas de interseccin con los planos coordenados. o

at ic

a1

.c

om

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 IR3 con o b c

ww w.

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

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

at

Fig. 4.4. Cono el ptico.

em

at

ic

(, v) = (a|v| cos , b|v| sen , cv).

a1

.c o

z c

y el cambio

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.

El paraboloide hiperblico viene dado por la ecuacin (a, b, c > 0) o o x2 y 2 z 2 = 0. a2 b c

ww w.

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

at em at

4.1.2.6

Paraboloide hiperblico. o

ic a

1.c

om

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] IR IR3 o 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 IR3 o

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

ww w.

at

em
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] I 3 es una parametrizacin de S . R o

at ic

a1

.c o

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] I 3 donde R

es la parametrizacin buscada. o

4.1.4

Supercies regulares.

Denicin 4.6 Sean A I 3 un conjunto conexo y : A IR3 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.

ww

w.

Fig. 4.10. Parametrizacin del toro. o

at

em at

ic

(, ) = (b + a cos ) cos , (b + a cos ) sen , a sen ,

a1

.c o

Denicin 4.7 Sean A I 2 conexo y : A IR3 de clase 1. Para cada (u, v) A, o R 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).

entonces 4.1.4.1

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 )

ww w.

at

D1 1 (u, v) D1 2 (u, v) D1 3 (u, v) D2 1 (u, v) D2 2 (u, v) D2 3 (u, v)

em

at

pvf =

D1 2 D1 3 D1 3 D1 1 D1 1 D1 2 , , D2 2 D2 3 D2 3 D2 1 D2 1 D2 2

ic a

Demostracin: o Como

1.c
, = 2.

om

Proposicin 4.8 Sean A I 2 conexo, : A IR3 de clase 1 y S = (A). El punto o R (u, v) S es regular si, y slo si, pvf (u, v) = 0 . o

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 IR2 dada por 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 IR2 que contiene 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

4.1.5

Plano tangente y recta normal.

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

at

em

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.

at

ic a

1.c

om

f (x, y) = 3 (g1 (x, y), g2 (x, y)) = 3 (u, v) = z.

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

ww w.

1 (t) 2 (t)

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 ) .

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

A A

em

A(S) = =

pvf (x, y) dx dy =

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

A

at

ic

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,

at

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

Usando la notacin clsica D1 f (x, y) = o a

f x (x, y)

a1
A

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

f y (x, y), f 2 x

y D2 f (x, y) = 1+

.c

A(S) =

pvf (u, v) du dv.

om

tenemos que
f 2 dx dy. y

A(S) =

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

ww

w.

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 .

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 IR3 una funcin de o o clase 1, S = (A) y f : S I acotada tal que la funcin compuesta f es integrable en R 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

ic a1 .c
2 2

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

om

at

f=

f ((, )) pvf (, ) d d =

cos2 sen d d =

. 6

4.2.1

Aplicaciones a la mecnica. a

Sean A I 2 un conjunto conexo y acotado y : A IR3 una funcin de clase 1. ConsideR 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 IR tal que la funcin compuesta f o o es integrable en A. Entonces, la masa M de la lmina viene dada por a

ww w.

at e
M=
S

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

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

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 IR viene dada por f (x, y, z) = k , para e o 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 I 2 un conjunto conexo y acotado, : A IR3 una funcin de o R o 3 clase 1 y S = (A). Sea f : S IR la funcin que representa el vector densidad de ujo de 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) d =

f ((u, v))

m at

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

pvf (u, v) du dv =

ic

pvf Observacin 4.19 Usando la denicin de integral de supercie y que n = pvf , se tiene que o o
A

a1
n 

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

f n=

(f n) d.

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

ww

w.

at e

Fig. 4.11.
1 0 0 1x

f n=

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

om

4.3.1

Teorema de Stokes.

Denicin 4.21 Sean S I 3 un conjunto abierto y f : S IR3 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] IR2 , que la recorre en sentido positivo. Sean A el 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)
S

ww w.

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

at

em

at

ic a

donde la curva (C) est recorrida en el sentido inducido por . a

1.c

T
rr g g g

om
y

f=

(rot f ) n,

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

4.3.1.1

Rotacional y divergencia de un campo vectorial.

Denicin 4.25 Sean S I n abierto y f : S IRn 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 I 3 abierto y g: S I 3 una funcin de clase 2. Entonces o R 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

Demostracin: o Sea (x0 , y0 , z0 ) S un punto jo. La funcin g: S IR3 de componentes o

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

x x0 x x0

ww w.

x0

g1 = 0;

g2 =

at

em
z

at

Proposicin 4.28 Sean S I 3 un rectngulo abierto y f : S IR3 de clase 1 tal que o R a div f = 0 en S . Entonces, existe una funcin g: S IR3 tal que rot g = f en S . o

ic a

1.c

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

om

f3 (t, y, z) dt

z0

f1 (x0 , y, t) dt;

g3 =

x x0

f2 (t, y, z) dt;

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).

D3 g1 D1 g3 = 0 + D1
x x0 x x0

x x0

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 3 y determinar g tal que rot g = f . R 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

z 0

yt dt =

x2 z2 yx yz + ; 2 2

4.3.2

Teorema de la divergencia.

ww w.

at

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 nula), f : V I 3 de clase 1 y n el vector normal unitario exterior a la supercie S . Entonces, R f n= div f .

em
f n=

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 V

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

at
V

ic a
div f .
V

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

2 +z 2

y(x + z), x xz . 2

1.c

om

g3 (x, y, z) =

f2 (t, y, z) dt =

x2 zt dt = zx + . 2

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 .

ww

w.

4.10 Calcular la integral de supercie

at

em
S

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

x2 a2

at

ic a

1.c
+
y2 a2

om

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

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 slido V es igual o al peso del uido desalojado por V .