CAPTULO 2 ELEMENTOS DE GEOMETRA DIFERENCIAL

2.1. INTRODUCCIN El problema de construir mapas planos de la superficie de la tierra, problema que se plante ya en la antiguedad y que se hizo urgente en la poca de las grandes expediciones y conquistas de otros continentes, fu uno de los problemas que di origen a la geometra diferencial. Aqu de lo que se trata es del estudio local de curvas y superficies, es decir, de su comportamiento alrededor de una vecindad de cada punto. Del estudio local se tratar de obtener propiedades globales. Como ejemplo, consideremos el siguiente problema prctico: cmo calcular la longitud de un cable elctrico que se enrolla para formar un solenoide? La longitud depender naturalmentre del nmero de vueltas pero tambin de la curvatura que tan pequeo es el radio del cilindro donde se enrolla el cable) y de la torsin del cable, es decir, cuanto se separa del plano al dar una vuelta.

Figura 2.1 El mismo tipo de pregunta surge al tratar de calcular el rea de un trozo de superficie que no es plana, por ejemplo el casco de una pelota de

61

bisbol: el rea depender de la forma que toma la superficie en cada punto. Tambin uno se puede preguntar: cul es el camino ms corto entre dos puntos, pero caminando sobre una superficie que no es plana? que forma tienen estos caminos? (tales caminos se llaman geodsicas y son los que, en el fondo, definen el tipo de geometra que est asociada a la superficie) En la fsica surgen problemas prcticos que requieren de la geometra de curvas y de superficies. Por ejemplo, cmo calcular la energa necesaria para mover un objeto sometido a un cierto campo de fuerzas, a lo largo de una cierta curva? Est claro que desplazar el cuerpo perpendicularmente a la fuerza no requiere energa, por lo tanto ser solo la componente de la fuerza en el sentido del movimiento la que debe considerarse. Es decir, se requiere poder definir en forma precisa la direccin de la tangente y de la normal a la curva, o sea, se necesita una descripcin de la forma de la curva. El estudio de este tipo de problemas y su generalizacin a 8 dimensiones di origen a toda una extensa y difcil rama de la matemtica moderna: la Geometra Diferencial. Nosotros nos vamos a restringir a los aspectos ms bsicos. 2.2 CURVAS EN 8 DEFINICIN. Llamaremos curva en 8 a una funcin continua # M 8 donde M es un intervalo real. Llamaremos traza de la curva al conjunto X <# # > > M es decir, al recorrido de la funcin. Es importante distinguir con claridad la curva de la traza de la curva. En la literatura aparecen diferentes nombres para estos conceptos, por ejemplo en lugar de curva se suele decir camino o trayectoria, reservando la palabra curva para la traza de la curva. De modo que hay que tener cuidado. Por otro lado, las componentes #3 de la funcin # se denotan comnmente por B3 # (>) #" > ## > #8 > B" > B# > B8> Diremos que # una curva lisa si es diferenciable, es decir, si existen las derivadas de sus componentes. Recordemos que

62

 # w > lim #>-- #> Bw" > Bw8 > -!

Geomtricamente la diferencia # > - # > es el vector que une ambos puntos, cuya direccin no cambia al dividir por el escalar - . De modo que, si este vector no se anula en el lmite, representa la direccin de la recta tangente a la curva:

Figura 2.2

DEFINICIN. Sea # : + , 8 una curva acotada. Para cada divisin H >9 >" >7 >9 + >7 , del intervalo + , podemos considerar el largo de la poligonal formada por los puntos # >5 8
7

ll# >5 # >5" ll , donde se ha tomado aqu la norma

5"

euclideana. Llamaremos longitud de la curva # al nmero real si existe:

7

P# =?: H

ll# >5 # >5" ll

5"

TEOREMA 4 Sea # : + , 8 una curva lisa. Entonces su longitud est dada por la frmula: P# ' ll# w >ll.> ' + +
, , 8 3"

Bw3 ># .>

63

DEMOSTRACIN. Sea H >9 >" >7 >9 + >7 , una divisin cualquiera del intervalo + ,. El largo de la poligonal formada por los puntos #>5 es:
7

PH #
5"

B3 >5 B3 >5" #

3"

Por el Teorema del valor Medio, existen puntos intermedios )53 para cada componente tales que: B3 >5 B3 >5" Bw3 )53 >5 >5" por lo que, sustituyendo arriba:
7

PH #
5"

8 3"

(Bw3 )53 )# >5 >5"

Definamos la funcin auxiliar: 0 > y sea : VH 0

7 8 3"

Bw3 >#

0 )5 >5 >5"
5"

donde )5 es un punto intermedio cualquiera: >5" )5 >5 5 "7 Es claro que, por las definiciones dadas: =H 0 VH 0 WH 0 Vamos a estimar la diferencia entre PH # y VH 0 Para esto, usaremos una desigualdad elemental: para dos conjuntos finitos de nmeros reales: +" +7 y ," ,7 vale: |
7 3" # +3 7 # ,3 l 7

l+3 ,3 l
3"

3"

En efecto , si llamamos E +" +7 y F ," ,7 entonces las expresiones anteriores no son otra cosa que las normas , euclideana (a la

64

izquierda) y la norma uno (a la derecha) de estos vectores. Luego, usando la desigualdad triangular "al revs" , tenemos: l llEll llFll l llE Fll ll Por lo tanto : lPH # VH 0 l
7

+3 ,3/3ll

l +3 ,3l

5"

8 3" 7

(Bw3 )53 )#
8

8 3"

(Bw3 )5 )# l>5 >5"

5" 3"

lBw3 )53 Bw3 )5 l >5 >5"

Pero las derivadas Bw3 son continuas en el compacto + , , por lo tanto, son uniformemente continuas en + , Sea ahora % ! : entonces existe una divisin del intervalo lo suficientemente fina tal que lBw3 )53 Bw3 )5 l luego, sumando sobre el ndice 3 :
8 3" % #8,+

3 " 8

lBw3 )53 Bw3 )5 l

% #,+

Por lo tanto, introduciendo esta desigualdad en las anteriores: lPH # VH 0 l

% #,+ ,

% #

Notar que esta desigualdad vale para toda divisin ms fina que H Por otro lado, para este mismo % hay una divisin del intervalo + , tal % que: WH 0 =H 0 # , desigualdad que vale tambin para toda divisin ms fina, en particular, ms fina que la divisin anterior. Luego, usando el hecho ya establecido que VH 0 se encuentra entre las sumas inferior y superior de la funcin 0 , tenemos: PH # VH 0 Por lo tanto:
% #

WH 0

% #

=H 0

% #

% #

'0 %

65

P# =?: PH 0 ' 0 % H De modo anlogo: PH # VH 0

% #

=H 0

% #

WH 0

% #

% #

'0 %

Luego, con mayor razn:

Se concluye que : lP# ' 0 l % y como % es arbitrario: P# ' 0 Q.E.D. EJEMPLOS 1. Apliquemos la frmula recin demostrada para calcular la longitud del alambre elctrico que se enrolla en un cilindro. Lo ms prctico es elejir como sistema de coordenadas uno donde el eje del cilindro sea el eje OZ:

P# =?: PH 0 ' 0 % H

Figura 2.3 La curva quedar descrita por: #(> V-9= > V=/8 > ,> La longitud de una vuelta ser: #1 #1 P# ' ll# w >ll.> ' V # =/8# > V # -9=# > , # .>
! !

66

#1 ' V # , # .> #1V # , #

!

Aqu es interesante observar que 21, corresponde a la separacin que se produce en el enrollamiento entre vuelta y vuelta. Si , !, se completa exactamente el largo de una circunferencia: #1V # Calculemos la longitud de un arco de la parbola: C :B# , desde B ! hasta B +. La curva tendr la parametrizacin # > > :># , por lo que # w > " #:> y por lo tanto
+ P# '! " %:# ># .>

Haciendo el cambio de variables: 7 #:> la integral se transforma en:

" ' #:+ " #: !

7 # . 7 + " %:# +# #

" %: 691#:+

" %: # +#

DEFINICIN. Sea # : M 8 una curva lisa. El punto >9 M se llama regular si # '>9 ! >9 se llama singular si # w >9 ! Para los puntos regulares se define el vector tangente unitario X >9
# w >9 ll# w >9 ll

Si esta funcin es diferenciable y X w >9 ! , entonces se define el vector normal unitario X w > R >9 llX w >9 ll 9 Se entiende por plano osculador de la curva al plano generado por X >9 R >9 Finalmente, se entiende por curvatura de # en >9 al cuociente: w > ll ,>9 llX w >99ll ll# mientras el radio de curvatura es 3>9
" ,>9

67

EJEMPLOS 1. Sea # una curva cuya traza est siempre sobre la esfera ll# >ll V Calculemos la direccin de su tangente en los puntos donde su derivada no se anula: !
. # .> V

. # .> ll# ll

. .> # #

# w # # # w ## w #

Se concluye que , en cada punto > # w > # >, es decir, la tangente es perpendicular al radio-vector. 2. En particular, llX >ll " , por lo tanto X w > X > , es decir, R > X > , como debe ser. 3. Sea ahora # > +> , + , 8 es decir, se trata de una recta en el espacio afn 8 La derivada es: # w > +, luego su vector tangente + unitario es X > ll+ll que es constante, luego su curvatura es nula, como debe ser. 4. Consideremos ahora una circunferencia de radio V y centro en el punto G+ , en el plano afn: # > + V-9= > , V=/8>

Figura 2.4 # w > V=/8 > V-9= > luego : ll# w >ll V Por lo tanto el vector tangente unitario ser: X > =/8 > -9= > y su derivada: X w > -9= > =/8 > cuya norma euclideana es llX w >ll ". Por lo tanto la curvatura de esta curva es, en cada punto: ,>
llX w >ll ll# w >ll

" V

68

y el radio de curvatura es 3>

" ,>

V , como debe ser.

5. Si # es una curva en # # > B> C> entonces su vector tangente estar soportado por el vector : Bw > Cw > y como el producto interno con el vector normal debe anularse, el vector normal deber estar soportado por Cw > Bw > por lo que el vector normal unitario ser: R >
C w >Bw > Bw ># C w >#

Aqu, sin embargo, es preciso tener cuidado con la direccin de la normal: sta apuntar hacia un lado o el otro de acuerdo al signo elegido: un clculo elemental pero cuidadoso permite escribir:
>C >B C >B > X w > B Bw ># C>C #> Bw ># Cw ># w >
ww w w ww w w

>C >B Luego, el signo depender del signo del factor escalar B Bw ># C>C #> w >

ww

ww

2.3. EL CASO ESPECIAL PARA $ Para el caso 8 $ podemos definir el producto cruz y por lo tanto es posible definir, para una curva # C# el concepto de binormal: F> X > R > Puesto que X y R son ortogonales y unitarios, F tambin lo es, es decir el tro X R F es una base ortonormal de $ que se mueve sobre la curva.

69

Figura 2.5 De la definicin misma se tiene: X R F R FX F X R Aqu podemos definir el concepto de torsin : 7>
F w >R > ll# w ll

> Recordemos que la longitud del arco es 6> '>9 ll# w ll y por lo tanto: 6w > ll# w >ll @> y se llama velocidad escalar. Representa la velocidad con que se desplaza el punto #> sobre la curva , pero medida a lo largo de la curva. Con este concepto, la curvatura y la torsin se pueden escribir:

,>

llX w >ll @>

7>

F w >R > @>

Veremos que el concepto de torsin refleja efectivamente lo que uno esperara: si la torsin es nula, la curva se mueve sobre un plano. Recprocamente, si la curva se mueve sobre un plano, la torsin debe ser nula. Para esto necesitamos un teorema clsico, muy prctico: TEOREMA 5. (Las frmulas de Frenet) Sea # M $ # G $ Entonces, en cada punto > M X w @, R R w ,X 7 F@ F w 7 @R

70

DEMOSTRACIN. Como R
Xw llX w ll

y ,

llX w ll @

se tiene, despejando X w y llX w ll :

X w R llX w ll R ,@ lo que demuestra la primera frmula de Frenet. Para la segunda, escribamos la definicin de F y derivemos recordando que el producto cruz es bilineal: F w X R w X w R X R w X R w pues X w y R son colineales, luego su producto cruz es cero. Como X R F es una base del espacio, F w debe ser una combinacin lineal de esta base: F w - X .R / F Haciendo el producto interno con X resulta: - F w X X R w X ! Haciendo el producto interno con R resulta: F w R . @7 Finalmente, haciendo el producto interno con F resulta: F w F ! / puesto que F y F w son ortogonales. Se concluye entonces que F w .R @ 7 R que es la segunda frmula de Frenet. Para la tercera derivemos R :

71

R w F X w F w X F X w @7 R X F @,R @7 F @,X ,X 7 F@ Q.E.D. COROLARIOS. 1. Sea # : M $ una curva cuya traza se encuentra en un plano: ese plano deber ser el plano osculador, formado por los vectores X y R que entonces tienen que tener la misma normal, luego F X R es constante y por lo tanto F w ! Luego, por la frmula de Frenet 7 @X ! Pero ni X ni @ son cero, luego 7 ! Recprocamente, si 7 ! entonces F w ! y por lo tanto F es constante, luego, la curva se encuentra en el plano osculador que es fijo. Esto demuestra la interpretacin de la torsin de una curva como la medida en que se sale del plano osculador. 2. Si # C# , entonces podemos deducir una frmula de la curvatura que es ms prctica que la simple definicin: > hemos llamado 6> '>9 ll# w ll y por lo tanto 6w > @> ll# w >ll. Pero X
#w @

por lo que # w @X y derivando nuevamente: # ww @w X @X w @w X @# ,R

Haciendo ahora el producto cruz y recordando que X X ! , se tiene: ||# w # ww ll l@$ ,l ll X R ll l@$ ,l ll Fll l@$ l, de donde ,
ll# w # ww ll ll# w ll$

3. Si # C$ , entonces podemos deducir , de modo anlogo al caso anterior, una frmula prctica para la torsin: escribamos la tercera derivada de # , derivando la frmula de ms arriba: # www @ww X @w X w #@@w ,R @# ,w R @# ,R w y aplicando las frmulas de Frenet y ordenando:

72

# www @ww @$ ,# X @# ,w $@@w ,R @$ ,7 F y haciendo el producto interno con el vector # w # ww calculado ms arriba: # w # ww # www @$ , @$ ,7 @$ ,# 7 luego, despejando 7 : 7
# w # ww # www @$ ,#

# w # ww # www ll# w # ww ll#

EJEMPLOS 1. Encontremos la curvatura y torsin de la curva que se enrolla en el cilindro: # (> V-9= > V=/8 > ,> . Necesitamos las derivadas hasta el tercer orden: # w > V=/8 > V-9= > , # ww > V-9= > V=/8 > ! # www > V=/8 > V-9= > ! de donde : # w # ww ,V=/8 > ,V-9= > V # luego : , 7
ll# w # ww ll ll# w ll$

VV# ,# V# ,# $

V V # , # , V # , #

# w # ww # www ll# w # ww ll#

,V# ,# V # V %

2. Sea #> > ># >$ . Calculemos su curvatura y su torsin en el origen (0,0,0): # w > " #> $># # ww > ! # '> # www > ! ! '

73

Luego:

ll# w >ll " %># *>% # w > # ww > #$># $> "
#"*># *>% "%># *>% # $ "*># *>%
$

por lo tanto: , > ,! # 7 ! $

7 >

Aqu es interesante notar que, tanto la curvatura como la torsin van disminuyendo a medida que la curva se aleja del origen.

2.4. PROBLEMAS 1. Calcular la longitud de la curva : # > <-9= > <=/8 > ! > #5 1 (Se trata de la curva que resulta de dar 5 vueltas sobre una circunferencia de radio <) 2. Calcular la longitud de un arco de cicloide: # > > =/8 > " -9= > , ! > #1 $ Calcular la longitud del arco que une los puntos T 0 0 ! y U1 0 1 al lo largo de la curva # > > >=/8 > >-9= > 4. Calcular la longitud del arco formado por la grfica de la funcin logaritmo, desde el punto T " ! hasta el punto U# 691 # 5. Considere la curva en # dada por la grfica de una funcin 1 G # : #> > 1> Demuestre la siguiente frmula de la curvatura para este tipo de curvas: ,
l1ww l "1w # #
$

6. Encuentre el punto donde la grfica de la funcin logaritmo tiene curvatura mxima. 7. Demuestre la frmula de la curvatura de la grfica de una figura en coordenadas polares : 3 3)

74

l3# #3w # 33ww l 3# 3w # #

$

8. Aproveche la frmula anterior para encontrar la curvatura de: la espiral de Arqumedes: 3 +) la cardioide : 3 " -9= ) 9 Calcule la curvatura y torsin de la hlice cnica: #> >-9= > >=/8 > > la cicloide que se levanta: #> > =/8 > " -9= > > "! Encuentre el punto donde la curvatura de la curva: " > ># es mxima. Es tambin all la torsin mxima? 11. Una partcula sigue la trayectoria: # > <-9= => <=/8=> + hasta que sale por una tangente en > ". Dnde se encuentra en > # si conserva la velocidad escalar obtenida? 12. Una partcula sigue la trayectoria: #> ># >$ %> ! hasta que sale por una tangente en > #. Dnde se encuentra en > $ si conserva la velocidad escalar obtenida? "$ Generalice el resultado anterior para cualquier curva en $

2.5. INTEGRALES CURVILNEAS

75

En las aplicaciones a la fsica resulta importante el concepto de integral a lo largo de una curva. Con este concepto se puede modelar el problema de calcular la energa necesaria para mover un cuerpo, considerando que el movimiento se realiza siempre a lo largo de una cierta trayectoria. Por otro lado, calcular la superficie de una valla que corre irregularmente en altura a lo largo de cierta curva, tambin debe ser modelado mediante este tipo de integrales. Resulta importante para todos esos clculos poder establecer ciertas operaciones con las curvas y la posibilidad de describir las curvas mediante diferentes funciones. Esto nos conduce a los conceptos de equivalencia de curvas , de suma o yuxtaposicin de curvas y de curva opuesta:

DEFINICIONES 1. Sean #" + , 8 ## - . 8 dos curvas en 8 Estas curvas se dicen equivalentes , en smbolos #" ## si existe una funcin diferenciable, biyectiva y creciente 9 - . + , tal que ## > #" 9> a> - . # Si las curvas anteriores satisfacen la condicin: #" , ## - entonces se define la "suma" ( o yuxtaposicin) de las curvas # > #" ## > " ## > , - + > , , > , . -

$ Si # + , 8 es una curva en 8 llamaremos curva opuesta a la curva # + , 8 definida por: # > # + , > Notemos que en la definicin de equivalencia los puntos que asume cada curva son los mismos y son recorridos en la misma direccin. Lo que puede cambiar es la velocidad con que son recorridos, pero no su sentido pues se exige que la funcin 9 , llamada comnmente cambio de parmetro, sea estrictamente creciente.

76

En el caso de la suma, las curvas son recorridas una a continuacin de la otra. Para no perder la continuidad se exige que el punto donde termina la primera sea el mismo donde empieza la segunda. Se ha empleado el smbolo , para no confundir con la suma usual de funciones, que se define por la suma de los valores. Finalmente la curva opuesta asume exactamente los mismos puntos que la curva original , pero en sentido contrario: empieza donde termina la otra y termina en el inicio de la otra. La suma # # no es, naturalmente, la curva cero, sino una curva cerrada , es decir, una curva cuyo punto final coincide con el inicial: la trayectoria recorre en un sentido la traza de la curva y se regresa pisando los mismos puntos. DEFINICIN . Sea # + , H 8 una curva lisa. + Sea 0 H 8 es un campo escalar. Entonces: ' 0 ' , 0 # >ll# w >ll .>
# +

Sea 0 H 8 8 un campo vectorial. Entonces: ' 0 ' 0 X ' , 0 # > # w > .>
# # +

Notar que si el campo escalar es 0 B " aB H entonces obtenemos la longitud de la curva. Esta integral puede ser interpretada como la superficie de una valla cuya altura en cada punto de la curva es 0 # > :

Figura 2.6

77

EJEMPLOS. 1. Supongamos que queremos calcular la superficie de un trozo de un cilindro cortado por un plano oblicuo y otro perpendicular al eje:

Figura 2.7 Consideremos #> <-9= > <=/8 > ! > 1 que sera la # interseccin de un cilindro de radio < con el plano D ! Si tomamos un plano oblicuo de pendiente 7 que contiene al eje OX , tendra la ecuacin D 7C . Luego, podemos considerar el campo escalar: 0 B C 7C entonces la superficie buscada ser: ' 0 ' 0 # >ll# w >ll .>
1 # # !

' 7<=/8 > < .> 7<#

1 # !

2. Sea el campo escalar 0 B C D B# C# D # en $ , consideremos la hlice #> -9= > =/8> > y calculemos la integral de este campo sobre una vuelta de la hlice desde > ! : ' 0 ' #1 -9=# > =/8# > ># ll =/8 > -9= > "ll.>
# ! #1 ' " ># # .> ## 1 " ! %1 # $

$ Sea # > -9= > =/8 > ! > #1 la curva consistente en dar una vuelta al crculo unitario en sentido contrario a los punteros del reloj y consideremos ahora el campo vectorial: 0 B C B# #BC La integral de este campo a lo largo de la curva ser:

78

' 0 '!#1 -9=# > #=/8>-9=> =/8> -9=>.>

#

'! -9=# > =/8 > .> " -9= $ > l! ! $

#1
#1

% En la literatura aparece con frecuencia una notacin, para el caso tridimensional, que es un poco confusa pero que es necesario conocer: la curva se escribe : #> B> C> D> , con lo cual la derivada es: # w > Bw > Cw > D w > y si 0 0" 0# 0$ , entonces : ', + ' 0 '+, 0 # > # w >.>
#

0" # >Bw > 0# # >C w > 0$ #>D w > .> , '+ 0" .B 0# .C 0$ .D

Sea ahora #> > ># " ! > " y calculemos la integral expresada en la notacin nueva: ' B# .B BC.C .D
#

Aqu es Bw " Cw #> D w ! luego la integral ser: '!" B# BC#> !.> '!" ># #>% .>
"" "&

5 Si el campo vectorial resulta ser la gradiente de un campo escalar, entonces el clculo de la integral es ms sencillo. Tales campos reciben el nombre de campos conservativos y el campo escalar que le da origen se llama el potencial del campo: J B" B8 f0 B" B8 J es entonces un campo conservativo y 0 es su potencial. Calculemos la integral de J sobre una curva lisa cualquiera: ' J ' f0 '+, f0 # > # w >.> '+,
# # 8 3"

'+

`0 w `B3 # >B3 >.>

, . .>

0 # >.> 0 # , 0 #+

Es decir, en este caso la integral resulta ser solamente la diferencia de potencial entre el punto de llegada y el de salida.

79

6. El campo gravitatorio es, segn la ley de gravedad de Newton, un ejemplo de campo conservativo: poniendo el origen en el centro de la tierra, la fuerza de gravedad sobre un punto material de masa 7 y de coordenadas B C D apunta en direccin del vector unitario: BCD B# C # D # y su intensidad es inversamente proporcional al cuadrado de la distancia al centro, es decir: J B C D
71 B# C # D #

Llamando < B# C# D # es decir, < es la distancia al centro de la tierra, el campo gravitacional se escribe: J B C D El potencial de este campo es 9B C D En efecto, aplicando la regla de la cadena: f9 <#
71 #B 71 #C 71 #D " # " # " # B# C # D # < # B# C # D # < # B# C # D # B 71 <$ <C$ <D$ 71 B C D J B C D <$ 71 < 71 <$ B C D

BCD B# C # D #

Por lo tanto, si queremos calcular la energa necesaria para mover un punto material de masa 7 a lo largo de una curva, solo necesitamos conocer el punto inicial y el final: la energa ser simplemente la diferencia de potencial entre ambos puntos.

OBSERVACIONES 1. Si las curvas #" y #2 son equivalentes, entonces ' 0 ' 0

#" ##

tanto si 0 es un campo escalar como vectorial.

80

Si 0 es un campo escalar, en la definicin de la integral curvilnea basta hacer el cambio de variables dado por la funcin cambio de parmetro 9 , que , por ser creciente, tiene derivada positiva:
w ' 0 '-. 0 ## >ll## >ll.> , poniendo 7 9> . 7 9w >.> w w '-. 0 ## >ll## >ll.> '-. 0 #" 9>ll#" 9>9w >ll.> w '+ 0 #" 7 ll#" 7 ll. 7 ' 0 , #" ##

Si 0 es un campo vectorial, la integral de lnea se reduce a la integral del campo escalar que es la proyeccin del campo sobre la tangente. Por lo tanto tambin vale la igualdad. # La integral curvilnea es aditiva , es decir:
#" ## #" ##

' 0 ' 0 ' 0

Esta propiedad resulta directamente de la definicin y de la aditividad de la integral de Riemann sobre los intervalos. 3. La integral de campos escalares no depende de la orientacin de la curva, es decir: ' 0 ' 0
# #

En efecto ' 0 '+, 0 # + , >ll# w + , > "ll.>

#

y haciendo el cambio de variables: 7 + , > . 7 .> resulta:

+ , ', 0 # 7 ll# w 7 ll . 7 '+ 0 #7 ll# w 7 ll. 7 ' 0 #

4. La integral de campos vectoriales sobre la curva opuesta, a diferencia del caso escalar, cambia de signo:

81

' 0 ' 0
# #

En efecto, poniendo # > # + , > y haciendo el mismo cambio de variables: 7 + , > , resulta: ' 0 '+, 0 # + , > # w + , >.>
# + , ', 0 # 7 # w 7 . 7 '+ 0 #7 # w 7 . 7 ' 0 #

5. Finalmente, la linealidad de la integral de Riemann hace que las integrales curvilneas sean tambin lineales, es decir: ' 0 " 1 ' 0 " ' 1
# # #

EJEMPLO

Calculemos la integral '# 0 donde 0 B C D BCD y la curva # es el el borde del tringulo ABC, donde E! ! ! , F" " " , G" " ! La curva debe parametrizarse como la suma de tres trazos: # #" ## #$ donde : #" > > > > ## > " " " > #$ > > > ! con !>"

Figura 2.8 luego:

82

' 0 '!" >$ ll" " "ll.> '!" >$ $ .>

#"

$ % " #

' 0 '!" " >ll! ! "ll.> '!" " > .>

##

' 0 '!" ># ll" " !ll.> '!" ># # .>

#$

# $

y por lo tanto '0 ' 0 ' 0 ' 0

# #" ## #$ $ %

" #

# $

La ltima igualdad se desprende directamente de la definicin del vector w tangente unitario: X ll#w ll y de la definicin de la integral de lnea sobre # un campo escalar.

2.6 EL ROTACIONAL Y LA DIVERGENCIA Dado un campo vectorial 0 H $ $ 0 G se definen dos campos asociados, uno escalar y el otro vectorial cuyas amplias aplicaciones a la fsica hacen conveniente su presentacin: DEFINICIN . Si 0 0" 0# 0$ entonces: El rotacional de 0 es el campo vectorial: <9> 0 `0$ `C
`0# `0" `D `D
"

`0$ `B

`0# `B

`0 " `C

La divergencia de 0 es el campo escalar: .3@ 0

`0" `B

`0# `C

`0$ `D

Se suelen usar las notaciones sugestivas siguientes:

83

<9> 0 f 0

.3@ 0 f 0

Aqu se interpreta f como un operador diferencial:

` ` ` f `B `C `D

con lo que el rotacional y la divergencia se pueden escribir, interpretando adecuadamente los smbolos: 0 3
"

4
` `C

<9> 0 ./>

` `B

0#

0$
` `D

` ` ` .3@ 0 `B `C `D 0" 0# 0$

EJEMPLOS 1. Consideremos el campo vectorial: J B C D D B C y calculemos su rotacional y su divergencia: D 3 4

` `C

<9> J ./>

` `B

` `D

" " "

` ` ` .3@ J `B `C `D D B C !

2. Sea J el campo vectorial definido por : J B C D #BC# D # CD y consideremos la curva que une el punto T ! ! ! con U" " " Queremos calcular la integral a lo largo de esta curva tanto del rotacional como de la divergencia de este campo: En primer lugar parametricemos la curva: #> > > > ! > " , por lo que su derivada ser : # w > " " " <9> J D 9 %BC , por lo que la integral ser ' <9> J '!" > ! %># " " ".> '!" > %># .> # .3@ J #C# , luego
& '

84

' .3@ J '!" #># $ .> #

#$ $

2.7

1. Calcule ' 0 donde # > ># ># " > " , 0 B C B C

#

PROBLEMAS

Calcule adems la longitud de # . Le sorprende el resultado? Puede interpretarlo geomtricamente? 2. Calcule las siguientes integrales de trayectoria de los campos escalares que se indican: 0 B C D B C D #> =/8 > -9= > > > ! #1 0 B C D -9= D #> =/8 > -9= > > > ! #1 0 B C D B-9= D #> > ># ! > ! " 3. Sea 0 B C B C # > >% >% " > " Calcule ' 0
#

0 B C D /D # > " # ># > ! "

Puede interpretar geomtricamente su resultado? (haga un dibujito) 4. Sea # la curva que une el punto P(1,1,1) con el punto Q(1,2,4) por una recta, y considere el campo vectorial: J B C D 691BCD B# D B# C Calcule la integral del campo a lo largo de la curva Calcule tambin : ' <9> J
#

' .3@ J
#

5 Considere el campo vectorial: J B C D B C D Calcule la integral de este campo a lo largo de las siguientes trayectorias:

85

 # > > > > ! > " # > -9= > =/8 > ! > ! #1 6. Considere la fuerza : J B C D B C D Cul es el trabajo realizado al mover esta fuerza a lo largo de la parbola de ecuacin: C B# desde B " hasta B # en el plano D " ? 7. Sea J B C B$ #BC B# Cree Ud. que la integral de J a lo largo del permetro del cuadrado unitario es cero? 8. Suponga que la fuerza ejercida sobre una partcula en el punto T B C D es : J B C D C B ! es conservativo este campo de fuerzas? Encontrar el trabajo realizado al mover la partcula desde el punto de coordenadas (1,0,0) hasta el de coordenadas ( 1,0,0) a lo largo de la mitad superior de la circunferencia unitaria en el plano XY Encontrar el trabajo realizado al mover la partcula desde los mismos puntos anteriores pero a lo largo del eje OX * Calcule el rotacional y la divergencia de los campos vectoriales siguientes: J B C D CD BD BC J B C D C B ! 10. Calcule las integrales ' <9> J ' .3@ J , donde J es el campo
# #

J B C D $B# C B$ C$ !

vectorial identidad J B C D B C D y # es la curva #> < -9= > < =/8 > & "" Sea 0 G # un campo escalar Demuestre que <9> f0 ! 12. Sea J G # un campo vectorial. Demuestre que .3@ <9> J !

86

2.8.

EL TEOREMA DE GREEN

El teorema de Green establece una interesante relacin entre una integral de lnea y una integral bi-dimensional sobre un dominio plano adecuado. Este teorema ha tenido grandes aplicaciones a la fsica , a la geometra y al mismo anlisis matemtico. Demostraremos este teorema para regiones especiales de # que llamaremos simples.

DEFINICIONES Llamaremos regin elemental de tipo I a un conjunto de la forma: V" B C # + B , 0 B C 1B donde 0 y 1 son funciones continuamente derivables Llamaremos regin elemental de tipo MM a un conjunto de la forma: V# B C # + C , 0 C B 1C donde 0 y 1 son funciones continuamente derivables Llamaremos regin elemental de tipo III a una regin que es al mismo tiempo del tipo M y del tipo MM Llamaremos regin simple en # a todo subconjunto de # que se puede descomponer en un nmero finito de regiones elementales del tipo MMM mediante rectas paralelas a los ejes coordenados.

En la Figura 2.9 se ilustran estos cuatro tipos de regiones planas.

87

Figura 2.9

TEOREMA 6 (Green) Sea H una regin simple con borde `H continuamente diferenciable a pedazos, parametrizado en el sentido directo (es decir, contrario a los punteros del reloj) y J H # un campo vectorial de clase C" Entonces: ' J ' `U `B
H `T `C

.B C

`H

donde T y U denotan las componentes de J es decir: J T U

DEMOSTRACIN Antes de presentar la demostracin, recordemos que, si acaso #> B> C> representa una parametrizacin de `H , entonces ' J ' J X '+, J # > # w >.> '+, T Bw UC w .> expresin que se denota clsicamente por ' (T .B U.C con lo cual
`H `H

`H

el Teorema de Green toma la clsica forma:

`H

' (T .B U.C ' `U `B

H

`T `C

.B C

88

Puesto que las integrales de lnea de un campo vectorial se anulan al recorrer las divisiones internas de la regin simple en sentido contrario, bastar con demostrar el teorema para regiones elementales del tipo III. Supongamos en primer lugar que H una regin elemental del tipo I y parametricemos su borde orientado por la cuatro curvas: #" > > 0 > + > , ## > , > 0 , > 1, #$ > > 1 > , > + #% > + > 1+ > 0 +

Figura 2.10 Calculemos la integral del campo escalar `T sobre el dominio H `C usando el teorema de Fubini y el Teorema Fundamental del Clculo: '
`T `C , .B C ' ' + 1B `T `C

' T B 1B T B 0 B.B
0 B , + + , + ,

B C.C .B

w w ' T ! #$ >.> ' T ! #" >.> + + ' T ! ' T ! #$ #"

, , ' T B 1B.B ' T B 0 B.B

Pero , por otro lado:

89

' T ! '
#2

1,

T ! ! ".> !

0 , 0 +

' T ! '
#%

T ! ! ".> !

1+

Luego :

`H

' T ! ' T ! ' T ! ' T ! ' T ! '

#" ## #$ #%

`T `C

.B C

Si H es una regin del tipo II , del mismo modo que en el caso anterior se puede demostrar : ' ! U '
`U `B

.B C

`H

Por lo tanto, para una regin del tipo III se tendr:

`H

' J ' T U ' T ! ' ! U ' `U `B

`H `H `H H

`T `C .B C

Q.E.D.

COROLARIOS 1. El rea de una regin simple puede ser calculada mediante la frmula: E
" #

`H

' J

donde el campo vectorial J es: J B C C B lo que en la notacin clsica se expresa: E En efecto, afirma:
`U `B " #

`H

' B.C C.B

"

`T `C

" con lo que el teorema de Green nos

90

" #

`H

' J

" #

' " ".B C ' .B C

H H

que corresponde al rea de la regin H

2. El Teorema de la Divergencia en el Plano : Si J es un campo vectorial sobre un dominio simple, entonces:

`H

' J 8 ' .3@ J

H

donde 8 es el vector normal al borde de la regin que apunta hacia afuera Notar que aqu J 8 es un campo escalar, lo mismo que .3@ J . Llamando J T U y # > B> C> una parametrizacin del borde de la regin, entonces el vector normal ser: 8>
C w >Bw > Bw ># C w >#

y por lo tanto la integral del campo escalar J 8 ser: ' T w C w # U w Bw w # Bw ># Cw ># B ># C > B ># C >
w

`H

' T Cw UBw ' `T `B

`H H

`U `C

' .3@ J
H

2.9

1. Sea el campo vectorial J B C BC# B C Calcular ' <9> J 5 donde 3 4 5 es la base cannica en $ y H es la regin en el primer cuadrante acotado por las curvas : C B# C B El problema consiste en hacer el clculo de dos formas: directamente y usando el Teorema de Green. Se entiende el rotacional considerando la tercera componente del campo J como 0. 2. Usar el Teorema de Green para calcular el rea encerrada por la hipocicloide de ecuacin:
H

PROBLEMAS

91

B +-9=$ ) C +=/8$ ) ! ) #1 $ Hallar, usando el Teorema de Green, el rea del disco H F! ! < en el plano. 4. Sea G " " " " Calcular la integral de lnea ' J donde
`H

J es el campo vectorial J B C C B & Sea 0 una funcin armnica de dos variables, es decir, que satisface la # # ecuacin ` 0 ` 0 ! Demostrar ' `0 `0 ! `B# `C # `C `B
`H

' Use el corolario correspondiente del Teorema de Green para demostrar la conocida frmula del rea de una regin en coordenadas polares:
, E " ' 3# ). ) # +

7. Verifique el Teorema de Green para el disco H F! ! < y el campo vectorial J B C B C C ) Escriba la llamada forma vectorial del Teorema de Green:
`H

' J ' <9> J 5

H

donde 3 4 5 es la base cannica en $

9. Sea H B C # ! B " B C B Calcule la integral

`H

' J usando el Teorema de Green, donde J B C $C CB#

92

2.10.

SUPERFICIES PARAMETRIZADAS

De modo completamente anlogo al concepto de curvas en el espacio, podemos considerar superficies como funciones continuas de dos variables con valores en el espacio 8 En el caso de las curvas se tom como dominio un intervalo real. Para el caso de superficies tomaremos tambin como dominio intervalos, pero esta vez bi-dimensionales, es decir, rectngulos planos. Sin embargo, resulta importante extender un poco los dominios de la superficie parametrizada, al menos sobre dominios simples. Tal como en el caso de las curvas, es preciso distinguir la funcin del recorrido de la funcin: a cul de las dos llamaremos superficie? La solucin que presentan distintos autores es llamar superficie parametrizada a la funcin y superficie (o superficie geomtrica) al conjunto de puntos en el espacio, es decir, a su recorrido. DEFINICIN Sea H # una regin simple bi-dimensional. Llamaremos superficie parametrizada en 8 a una funcin continua 9 H 8 La superficie (o superficie geomtrica) ser el recorrido de 9 La Figura 2.11 ilustra este concepto

Figura 2.11 Si bien muchas de las ideas que presentaremos a continuacin pueden generalizarse a muchas dimensiones, nosotros nos vamos a restringir al

93

caso ms interesante de 8 $ , con muchas aplicaciones a la fsica y donde podemos tener una visin geomtrica intuitiva. Un caso particular de superficie parametrizada es la grfica de una funcin 0 de dos variables: 9B C B C 0 B C Sin embargo es claro que no todas las superficies parametrizadas son grficas de funciones (por ejemplo, la que se presenta en la Figura 2.10 no lo es) . Resulta prctico denotar las componentes de 9 por B C D , tal como se hizo para el caso de curvas. En este caso resulta importante no confundir el nombre de las variables que estn en el dominio de 9. En lo sucesivo denotaremos con las letras ? @ estas variables , es decir la funcin 9 quedar caracterizada por: 9? @ B? @ C? @ D? @

2.10.1 Plano tangente y vector normal. Consideremos las rectas ? ?9 y @ @9 en el plano ?@ : la parte de estas rectas que cortan al rectngulo H constituyen intervalos reales y por lo tanto la restriccin de la funcin 9 a estos intervalos son curvas que se encuentran sobre la superficie. (Ver Figura 2.12)

94

Figura 2.12 Los vectores tangentes a estas curvas sern: X? X@

`9 `? ?9 @9 `9 `@ ?9 @9 `B `C `D `? `? `? `B `C `D `@ `@ `@

Por lo tanto el plano generado por estos dos vectores (suponiendo que son linealmente independientes) ser el plano tangente a la superficie en el punto B?9 @9 C?9 @9 D?9 @9 A su vez, el vector normal a la superficie en dicho punto ser: 8 X? X @ y la normal unitaria ser: 8 EJEMPLOS. 1. Consideremos la superficie parametrizada dada por : 9? @ ?-9= @ ?=/8 @ ?# @# Sus vectores tangente sern: X? -9= @ =/8 @ #? X@ ?=/8 @ ?-9= @ #@ Y un vector normal a la superficie ser: 8 X? X@ #@=/8@ #?# -9=@ #@-9=@ #?# =/8@ ? Por ejemplo en el punto 9" ! " ! " el vector normal ser: 8 # ! " con lo que la ecuacin del plano tangente a la superficie en ese punto ser: ! B B9 C C9 D D9 8 B " C D " # ! " #B # D " #B D "
X? X@ llX? X@ ll

95

Notar que en el punto 9! ! ! ! ! las tangentes son X? " ! ! y X@ ! ! ! por lo que no hay plano tangente y no hay normal. 2. Consideremos una superficie de nivel dada por <B C D + y supongamos que es parametrizable: <B? @ C? @ D? @ + derivando parcialmente respecto a ? se obtiene:
` < `B `B `?

` < `C `C `?

` < `D `D `?

f< X? !

es decir, la gradiente f< es ortogonal a la tangente X? . Del mismo modo, derivando la expresin anterior respecto a @ , se obtiene que f< es ortogonal a la tangente X@ . Por lo tanto f< es normal al plano tangente a la superficie, es decir, es normal a la superficie. La ecuacin del plano tangente a la superficie en el punto : se podr escribir entonces : f<: B :" C :# D :$ ! $ Apliquemos lo anterior al elipsoide de ecuacin
B# +#

C# ,#

D# -#

"

La gradiente de esta funcin es: f< #B #C #D +# , # - # Veamos por ejemplo cmo sera la ecuacin del plano tangente a esta superficie en el punto : + ! ! , que es el punto donde el elipsoide corta al eje OX :
# + ! ! + B C D # #B +

es decir, B + como era de esperar. 4. Para la grfica de una funcin diferenciable, se obtiene una clsica frmula para el plano tangente Sea entonces: 9? @ ? @ 0 ? @. Se obtiene directamente: X? " ! `0 X@ ! " `0 `? `@

96

y por lo tanto su vector normal ser: 8 X? X @

`0 `?

`0 `@ "

por lo que la ecuacin del plano tangente en un punto cualquiera T B9 C9 D9 ser de la forma B B9 C C9 D D9 8 ! , es decir:
`0 `B B9 C9 B

`0 `C B9 C9 C

D D9

`0 `B B9 C9 B9

`0 `C B9 C9 C9

2.10.# El rea de una superficie parametrizada El concepto de rea de una superficie en el espacio ha resultado ser ms complicado de lo que se podra haber esperado. Uno podra, de modo ingenuo, generalizar la misma idea empleada para el caso del largo de una curva, donde se aproximaba dicho largo por el largo de una poligonal con vrtices sobre la curva. Entonces se tratara de aproximar el rea de la superficie como una suma de objetos ms simples. No podr emplearse rectngulos pues, si bien tres vrtices siempre podrn estar sobre la superficie, el cuarto no tiene porqu estar sobre ella. Entonces lo ms lgico es hacer una triangulacin de la superficie, es decir, tomar muchos puntos sobre la superficie y sumar el rea de los tringulos que se forman. Ver Figura 2.13

Figura 2.13 Uno podra esperar entonces que, a medida que la triangulacin se hace cada vez ms fina, la suma de las reas de los tringulos tiende a la

97

superficie buscada. Sin embargo esto no ocurre si se lleva a cabo con una triangulacin cualquiera. Un ejemplo notable es el siguiente: consideremos la superficie formada por el manto de un cilindro de radio 1 y altura 1. Si nos imaginamos extendiendo el manto hasta formar una superficie plana, el rea resultante debera ser 21. Dividamos el cilindro por 8 planos equidistantes y normales al eje del cilindro y ubiquemos sobre el borde de cada crculo resultante 7 puntos equidistantes, de modo que los puntos de la fila inferior estn justo bajo el punto medio de los puntos de la fila superior. Ver Figura 2.14. El manto del cilindro quedar dividido en #87 tringulos congruentes.

Figura 2.14 Calculemos el rea de estos tringulos. La longitud 6 del lado CB se puede calcular usando el teorema de los cosenos:
1 6# "# "# #-9= #1 #" -9= #1 %=/8# 7 7 7

es decir:

1 6 #=/8 7

Para calcular la altura del ?ABC miramos el cilindro desde arriba y 1 observamos que el elemento B de la figura es: B " -9= 7

98

Figura 2.15 Por lo tanto la altura 2 ser, aplicando el teorema de Pitgoras:

" 1 2 # 8 # " -9= 7 # " 8# 1 # =/8# #7 #

Luego, el rea del ?ABC ser:

" # 62 1 " 1 =/8 7 8# % =/8 % #7

Por lo que el rea total de la triangulacin ser:

1 " 1 ?87 #87=/8 7 8# % =/8 % #7

Si elegimos una triangulacin donde 8 7$ es decir, a medida que 7 aumenta, los tringulos se hacen cada vez ms estrechos, obtenemos:
1 " 1 ?7 #7% =/8 7 7' %=/8% #7

#1

1 =/8 7 " 1 7

% 1 1% =/8 #7 1 % #7 %

7# si 7

En cambio, si elegimos una triangulacin donde 8 7, obtenemos:

99

1 " 1 ?8 #8# =/8 8 8# %=/8% #8

#1

1 =/8 8 " 1 8

1#

1 =/8# #8 1 # #8

=/8#

1 #8

#1 si 8

Para superficies parametrizadas de clase C" se ha adoptado como definicin la siguiente integral : DEFINICIN. Sea 9 H # $ 9 G " H una regin elemental. Entonces el rea E de la superficie 9 se define A(9) ' ll X? X@ ll .? @
H

Esta definicin se puede justificar mediante el siguiente anlisis: dividiendo el dominio H en pequeos intervalos 2-dimensionales, se calcula el rea del rectngulo generado por los vectores que resultan al aplicar 9 a dos de los lados del intervalo (ver Figura 2.16)

Figura 2.16 Notar que solo tres de los vrtices del intervalo quedan sobre la superficie, el cuarto puede quedar fuera. Aplicando el teorema del Valor Medio: 9?3" @4 9?3 @4 9?3 @4" 9?3 @4
`9 `? )3 @4 ?3" `9 `@ ?3 ) 4 @3"

?3 X? )3 @4 ?3" ?3 @3 X@ ?3 )4 @3" @3

100

Luego, como el rea del rectngulo generado por dos vectores es la norma del producto cruz , resulta ?34 llX? )3 @4 X@ ?3 )4 ll?3" ?3 @3" @3 llX? )3 @4 X@ ?3 )4 ll@M34 Luego, la suma de estos elementos de rea constituyen una buena aproximacin del rea de la superficie y cada suma es , a su vez, una aproximacin de una suma de Riemann de la integral ' ll X? X@ ll .? @
H

No est dems notar que las funciones X? y X@ estn aplicadas, en cada sumando, sobre puntos diferentes.

EJEMPLOS 1. Apliquemos la frmula anterior al manto del cilindro de radio 1 y altura para ver si d un resultado satisfactorio: El cilindro puede ser parametrizado por: 9? @ -9= ? =/8 ? @ ! ? #1 ! @ " X? =/8 ? -9= ? ! X@ ! ! " , por lo tanto: X? X@ -9= ? =/8 ? ! llX? X@ ll " luego ' ll X? X@ ll .? @ #1
H

2. El manto de un cono de altura unitaria puede ser parametrizado por: 9? @ ? -9= @ ? =/8 @ ? ! ? " ! @ #1

101

Figura 2.17 Para calcular el rea de su superficie, evaluamos los vectores tangente: X? -9= @ =/8 @ " X@ ?-9= @ ? -9= @ ! , luego: X? X@ ?-9= @ ? =/8 @ ? y por lo tanto: llX? X@ ll ?# -9=# @ ?# =/8# @ ?# # ?

Luego el rea ser: " ' llX? X@ ll.? @ ' " ' #1 # ? .@ .? ' ## 1 ? .? # 1 ! ! H ! $ Para el caso especial de la grfica de una funcin de clase C" , resulta una frmula un poco ms simple: 9? @ ? @ 0 ? @ segn lo calculado un poco ms arriba, se tiene: X? X @ y por lo tanto E9 ' `0 # `0 # " .? @ `? `@
H `0 `?

`0 `@ "

102

2.10.3

Integrales de superficies

De modo anlogo al caso de las integrales de campos escalares y vectoriales sobre curvas, se puede definir el concepto de integral de un campo, ya sea escalar o vectorial, sobre una superficie parametrizada. DEFINICIN. Sea 9 H # $ una superficie parametrizada " suficientemente suave : 9 C a) Sea 0 un campo escalar definido sobre el recorrido de 9. Entonces: ' 0 . 9 ' 0 9? @llX? X@ ll .? @
9 H

b) Sea F un campo vectorial definido sobre el recorrido de 9. Entonces: ' J . 9 ' J 8 . 9 ' J X? X@ .? @
9 9 H

Aqu es preciso notar que la integral de un campo vectorial se reduce a la integral del campo escalar que resulta de proyectar el campo sobre la normal unitaria. La ltima igualdad resulta simplemente de sustituir la X X normal unitaria : 8 llX? X@ ll en la definicin de la integral del campo ? @ escalar correspondiente. Por otro lado, si se integra el campo escalar constante 0 ", resulta la frmula del rea de la superficie. Estas integrales tienen una interpretacin fsica bastante clara: si el campo escalar 0 B C D corresponde a una distribucin de densidades sobre la superficie, es decir, a una distribucin de masa por unidad de superficie, entonces la integral ' 0 .9 corresponde a la masa
9

total de la superficie. si el campo vectorial F corresponde a la velocidad de un fludo, entonces la integral ' J .9 modela el flujo total a travs de la
9

superficie.

103

EJEMPLOS.

1. Consideremos el campo escalar 0 B C D " B# C# sobre la superficie de un helicoide : 9< ) <-9= ) < =/8 ) ) ! ) #1 ! < " Entonces los vectores tangente son: X) <=/8 ) <-9= ) " X< -9= ) =/8 ) ! y por lo tanto, el producto cruz ser: Luego : llX) X< ll " <# X) X< =/8 ) -9= ) <

Por otro lado, 0 9< ) 0 <-9= ) < =/8 ) ) " <# Luego, la integral del campo sobre la superficie del helicoide ser: #1 " ' 0 . 9 ' 0 9? @llX? X@ ll .? @ ' ' " < #.<. )
9 H ! ! )1 $

# Calculemos la integral del campo vectorial J B C D BC CD C # sobre la superficie del tetraedro de vrtices : S ! ! ! E " ! ! F ! " ! G ! ! " En este caso la superficie no est dada paramtricamente por lo que habr que encontrar una parametrizacin apropiada. Adems est dada por cuatro planos diferentes, por lo que la integral sobre la superficie completa habr que calcularla como la suma de las integrales de cada uno de los lados del tetraedro.

104

Figura 2.18 El tringulo ABO : 9" ? @ ? @ ! es una buena parametrizacin de esta superficie, si las variables ? @ recorren el dominio adecuado, en este caso, el tringulo AOB sobre el plano D ! X? " ! ! X@ ! " ! X? X@ ! ! " luego : ' J . 9 ' J 9? @ X? X@ .? @
9 H " "? " "? '! '! ?@ ! @# ! ! ".@ .? '! '! @# .@ .?

" "#

El tringulo AOC : 9# ? @ ? ! @ Equ es J 9# ? @ ! ! ! , por lo que la integral se anula. El tringulo OBC : 93 ? @ 0,? @ En este caso es X? X@ " ! ! y J 9? @ ! ?@ ?# por lo que el producto interno es ! y la integral se anula. El tringulo ABC : En este caso se trata de la grfica de una funcin lineal, por lo que una parametrizacin apropiada es: 9% ? @ ? @ " ? @ En este caso tenemos: X? " ! " X@ ! " " X? X@ " " " Por otro lado J 9% ? @ ?@ @" ? @ @# , luego el producto interno es: ?@ @" ? @ @# ," " " @

105

Luego la integral ser : ' J '!" '!"? @ .@ .?

9% " '

Finalmente la integral sobre toda la superficie ser: 'J ' J ' J ' J ' J
9 9" 9# 9$ 9% " "#

" '

" %

******** Mencionaremos finalmente, sin demostracin, dos teoremas clsicos de gran aplicacin en la fsica: El teorema de Stokes. Si 9 es una superficie parametrizada suave con un borde orientado ` 9 y J un campo vectorial de clase C" , entonces: 'fJ ' J
9 `9

El Teorema de la Divergencia de Gauss . Sea H $ una regin simple con un borde suave ` H (superficie cerrada) y J un campo vectorial de clase C" , entonces: ' .3@ J ' J
H `H

2.11

PROBLEMAS

1. Encuentre la ecuacin del plano tangente a la superficie parametrizada: 9? @ #? ?# @ @# en el punto de coordenadas ! " " # Encuentre la ecuacin del plano tangente a la superficie parametrizada:

106

9? @ ?# @# ? @ ?# %@ en el punto de coordenadas " " # % # Verifique si acaso el punto est efectivamente en la superficie. Recprocamente, encuentre las coordenadas del punto de la superficie donde el plano tangente es paralelo al plano de ecuacin: #B "#C %D " !

3.(*) Encuentre una parametrizacin del hiperboloide de ecuacin y la ecuacin del plano tangente a la superficie en el punto ' ! "" 4. Calcular el rea de la superficie de una esfera de radio R 5. Calcular el rea de la superficie de la superficie parametrizada: 9) : V-9= )=/8: V=/8 ) =/8 : V-9= : donde ! ) #1 y : !:1 1 : 1 # # ! : #1 Reconoce Ud. esta superficie? Obtiene los mismos resultados con los tres intervalos de variacin de la variable : ? Porqu ?? 6. Demuestre que la funcin: 9? @ V <-9= ?-9= @ V <-9= ?=/8 @ <=/8 ? donde ? @ ! #1 , es una parametrizacin de la superficie de un toro de radio mayor V y radio menor < < V Calcule la superficie de este toro. B# C# D # #&

107

7. Calcule la integral del campo escalar 0 B C D B# C# " sobre el helicoide: 9<,) <-9= ) <=/8 ) ) , 0 ) 21 , 0 r 1 8 Calcule la integral del campo vectorial J B C D B C D sobre la esfera unitaria: 9) : -9= ) =/8 : =/8 ) =/8 : -9= : ! ) #1 ! : 1

9. Calcular la integral del campo escalar J B C D BC sobre la superficie del tetraedro de vrtices: S ! ! ! E " ! ! F " " ! G ! ! "
9

"! Calcular la integral ' D . 9 , donde 9 parametriza el hemisferio superior de la esfera centrada en el origen y de radio + 11. Evaluar ' D # .W , donde W es la esfera unitaria
W

12. Calcular ' BCD .9 , donde 9 parametriza la superficie del tringulo

9

ABC , donde E " ! ! F ! # ! G ! " " "$ Calcule la integral del campo vectorial J B C D " B D sobre la semiesfera superior de radio 1 con centro en el origen 14. Calcular ' J , donde J es el campo vectorial J B C D B C D y
9

9 es la superficie parametrizada de la esfera unitaria.

9

15. Calcular ' <9> J . 9 donde J B C D #B CD D y 9 es el manto del cilindro con eje sobre el eje OZ , de altura 1 y radio < que queda en el primer octante. "' Calcular la integral del campo vectorial J B C D BC CD DB sobre la superficie parametrizada del tringulo EFG , donde E " " ! F ! ! # G ! ! !

108

17. Sea O el cuerpo slido en el primer octante de $ limitado por el plano B C " y la superficie de ecuacin D " C# . Haga un esbozo de O y calcule su volumen Calcule el rea total de la superficie que cubre a O Sea el campo vectorial: J B C D CD C B :
#

3 calcule ' J , donde # es la arista orientada de O que une el vrtice E" ! " con el vrtice F! " !
9

33 calcule ' J . 9 donde 9 es la superficie parametrizada que cubre superiormente a O

109