Curso de ELECTROMAGNETISMO Instituto de Fsica Facultad de Ciencias. CLCULO VECTORIAL (Revisin) 1.

Campos escalares y vectoriales Sea Oxyz un sistema cartesiano de coordenadas e (i,j,k) la base ortonormal (versores) que permite expresar cualquier punto del espacio mediante el vector posicin: r ! ix " jy " kz . (1)

Si se rota el sistema de coordenadas manteniendo fijo el origen O, se efecta un cambio de base a (i,j,k) de un nuevo sistema Oxyz. En esta base, la posicin de un punto del espacio se expresa como r # ! i #x # " j# y # " k #z # . (2)

Un mismo punto P del espacio queda indicado en ambos sistemas con la condicin r ! r # $ ix " jy " kz ! i #x # " j# y # " k #z # . (3)

Como ambas bases son ortonormales, tenemos que los productos escalares entre los versores es i # % j# ! i # % k # ! j# % k # ! 0 , y i # % i # ! j# % j# ! k # % k # ! 1. Multiplicando (3) por i, por j y por k obtenemos que las coordenadas x,y,z de un punto P cambian su valor a x,y,z ante la transformacin lineal de rotacin: x ' ! & 11 x " & 12 y " & 13 z , y' ! & 21 x " & 22 y " & 23 z , z ' ! & 31x " & 32 y " & 33 z.

(4)

Donde & 11 ! i # % i, & 12 ! i # % j , ...etc. Los coeficientes & ij de la transformacin lineal son los cosenos directores de los ngulos entre los ejes de los sistemas original y rotado. Un campo escalar ' r ! ' x , y , z es una funcin ': R3 ( R cuyo valor no cambia ante una rotacin arbitraria del sistema de coordenadas. Esto es, si un punto P de coordenadas x,y,z, pasa a tener las coordenadas x,y,z en el sistema rotado, el valor de la funcin ' en las nuevas coordenadas es igual al anterior:

bg b

' # r # ! ' r $ ' # x #, y #, z # ! ' x , y , z .

b g bg

g b

(5)

Ejemplos: temperatura en un recinto, densidad de una nube de partculas, energa potencial de una partcula, etc.

Un campo vectorial F r ! F x , y , z es una funcin F: R3 ( R3 que se expresa mediante una terna ordenada de funciones Fk : R3 ( R llamadas componentes del campo vectorial: F r ! iFx r " jFy r " kFz r .

bg b

bg

bg

bg

bg

(6)

Ante una rotacin arbitraria del sistema de coordenadas, cada una de las componentes cambia su valor de la misma forma que cambian las coordenadas. Esto es, de acuerdo con (4),

bg bg bg bg F ' br # g ! & F br g " & F br g " & F br g, F ' br #g ! & F br g " & F br g " & F br g.
Fx ' r # ! & 11 Fx r " & 12 Fy r " & 13 Fz r ,
y 21 x 22 y 23 z z 31 x 32 y 33 z

(7)

Ejemplos de campos vectoriales son: el campo de velocidades de un fluido, el campo gravitatorio de fuerzas, campo elctrico, campo magntico, etc. Un escalar tambin se llama tensor de orden 0 y a un vector tambin se le llama tensor de orden 1. Este comportamiento de las magnitudes fsicas ante una rotacin arbitraria del sistema de coordenadas se generaliza para campos tensoriales de mayor orden. Por ejemplo, un campo tensorial de orden 2 es un conjunto de nueve nmeros ordenados Tij donde i,j=x,y,z, que ante una rotacin se convierten en los nueve nmeros Tij# r # ! ) ) & ik & jl Tkl r .
k !1 l !1

bg

bg

(8)

Ejemplos de tensores de orden 2 son: el tensor de inercia de un rgido, el tensor de tensiones en el interior de un cuerpo, el tensor de deformaciones de un cuerpo, la permitividad elctrica en los cristales, etc. 2. Representacin geomtrica de un campo vectorial Un vector F en el punto P(x,y,z) de un campo vectorial se puede representar geomtricamente como un segmento orientado (flecha), cuyas proyecciones sobre los tres ejes de coordenadas son los componentes del vector (figura 1). Un simple clculo muestra que, ante una rotacin arbitraria de la terna de ejes, cada proyeccin cambia de acuerdo con las transformaciones lineales (7).

Figura 1 3. Operaciones bsicas Entre los vectores estn definidas las operaciones bsicas que el estudiante conoce de la secundaria, y que definen un espacio vectorial: F " G ! Fx " Gx , Fy " G y , Fz " Gz . F " 0 ! F, donde 0 ! 0,0,0 . aF ! aFx , aFy , aFz . El nmero a es real para el caso que nos intereso en este curso (espacio vectorial real). Adems se define un producto interno en la forma F % G ! Fx Gx " Fy G y " Fz Gz . (10) (9)

Se puede verificar que el nmero real resultado de (10) es un escalar (verifica la condicin (5) ante las rotaciones), por lo que este producto interno se llama producto escalar. El producto escalar (10) permite definir el cuadrado de un vector F 2 ! Fx2 " Fy2 " Fz2 , y el mdulo de un vector F ! Fx2 " Fy2 " Fz2 . (12) (11)

A partir de las relaciones (10) y (12) se puede probar que si los vectores F y G forman un ngulo * , el producto escalar tambin se puede calcular como (prubelo) 3

F % G ! F G cos * .

(13)

Adems del producto interno (producto escalar), es til la definicin de un producto externo, llamado producto vectorial entre dos vectores, el cual es otro vector definido por F + G ! Fy Gz , Fz G y , Fz Gx , Fx Gz , Fx G y , Fy Gz . De esta expresin se prueba que F + G ! ,G + F . (15) (14)

La forma ms til de recordar el producto vectorial (14) es expresarlo como el determinante de una matriz, en la forma

Fi F + G ! det G F GG G H

x x

j Fy Gy

k Fz , Gz

I JJ JK

(16)

donde i,j,k son los versores sobre los ejes x,y,z respectivamente. Se puede probar (prubelo) que el vector F + G es perpendicular al plano formado por F y G, y su sentido es el de avance del tirabuzn cuando gira de F a G (regla del tirabuzn o de la mano derecha). Si los vectores F y G forman un ngulo * (medido siempre entre 0 y - ), entonces resulta que (prubelo) F + G ! F G sin * . (17)

Es interesante observar que si F y G representan longitudes orientadas en el espacio, por lo que forman los dos lados adyacentes de un paralelogramo, el producto F + G es normal a esta superficie y su mdulo es igual al rea del paralelogramo (prubelo, es muy fcil). 4. Coordenadas cartesianas, cilndricas y esfricas. En muchos problemas de electromagnetismo es til la utilizacin de otros sistemas de coordenadas ortogonales, aparte del sistema cartesiano. En el sistema cartesiano, las superficies de coordenadas x=cste., y=cste., z=cste. son planos perpendiculares entre s. Los intervalos de valores de cada coordenada son ,. / x , y , z / . , En el sistema de coordenadas cilndricas, las superficies de coordenadas son: z=cste. (plano perpendicular al eje z), 0 ! cste. (cilindro de radio 0 concntrico con el eje z), y 1 ! cste. (plano que contiene el eje z y forma un ngulo 1 con el plano xz). Los intervalos de variacin de estas coordenadas son ,. / z / . , 0 2 0 / . , 0 2 1 / 2- . De ac se deduce que las relaciones entre las coordenadas cilndricas y cartesianas es: 4

x ! 0 cos 1 , y ! 0 sin 1 , z!z Las relaciones inversas de (18) son

(18)

0 ! x2 " y2 , 1 ! tan ,1
z!z

FG y IJ , H xK

(19)

En el sistema de coordenadas esfricas, las superficies de coordenadas son: r=cste. (esfera de radio r concntrica con el origen), 1 ! cste. (plano que contienen el eje z y forma un ngulo 1 con el plano xz), y 3 ! cste. (superficie cnica circular con vrtice en el origen y que forma un ngulo 3 con el semieje z 4 0 ). Los intervalos de variacin de estas coordenadas son 0 2 r / . , 0 2 1 / 2- , y 023 2- . Las relaciones entre las coordenadas esfricas y las cartesianas son x ! r sin 3 cos 1 , y ! r sin 3 sin 1 , z ! r cos 3 . Las relaciones inversas de (20) son r ! x2 " y2 " z2 ,

(20)

1 ! tan ,1 3 ! cos ,1

FG y IJ , H xK F z GH x " y
2

(21)

" z2

I. JK

Para cada uno de los tres sistemas de coordenadas, dibuje las tres superficies de coordenadas que intersecten en algn punto. En el sistema cartesiano, los elementos infinitesimales de longitud tomados a lo largo de cada coordenada son iguales a los elementos de las coordenadas. Esto es dlx ! dx , dl y ! dy , dlz ! dz . (22)

En coordenadas cilndricas, los elementos infinitesimales de longitud a lo largo de cada coordenada son (prubelo) dl0 ! d0, dl1 ! 0 d1 , dlz ! dz . En coordenadas esfricas, los elementos de longitud son (prubelo) 5 (23)

dlr ! dr , dl1 ! r sin 3 d1 , dl3 ! r d3 .

(24)

Los elementos de rea sobre cada superficie de coordenadas se caracterizan por la coordenada que resulta perpendicular al elemento. As, en coordenadas cartesianas, el elemento de rea perpendicular al eje x, que llamaremos dsx es el producto de los elementos de longitud dl y y dlz . Entonces, utilizando (22), tenemos para los tres elementos de rea en coordenadas cartesianas, dsx ! dl y dlz ! dy dz , ds y ! dlx dlz ! dx dz , dsz ! dlx dl y ! dx dy Los elementos de rea sobre cada superficie del sistema de coordenadas cilndricas sern, segn (23), ds0 ! dl1 dlz ! 0 d1 dz , ds1 ! dl0 dlz ! d0 dz , dsz ! dl0 dl1 ! 0 d0 d1 Los elementos de rea sobre cada superficie del sistema de coordenadas esfricas sern, segn (24) dsr ! dl1 dl3 ! r 2 sin 3 d1 d3 , ds1 ! dlr dl3 ! r dr d3 , ds3 ! dlr dl1 ! r sin 3 dr d1 Antes de seguir adelante, es importante que Ud. dibuje esquemas con los tres sistemas de coordenadas estudiados y represente, para cada uno de ellos, los tres elementos de rea sobre cada superficie de coordenadas. Los elementos de volumen dV en cada sistema de coordenadas, se obtienen multiplicando los tres elementos de longitudes perpendiculares. Esto es, dV ! dl1dl2 dl3 . Deduzca entonces las siguientes expresiones. En coordenadas cartesianas: dV ! dx dy dz . En coordenadas cilndricas: dV ! 0 d0 d1 dz . En coordenadas esfricas: dV ! r 2 sin 3 dr d1 d3 . (30) (29) (28) (27) (26) (25)

Antes de seguir adelante, es importante que Ud. dibuje esquemas con los tres sistemas de coordenadas estudiados y represente, para cada uno de ellos, el elemento de volumen. 5. Integrales de campos escalares y vectoriales a) Integrales de lnea Como Ud. ya sabe, una curva C en el espacio de coordenadas cartesianas se puede expresar como una terna de funciones de las coordenadas respecto a una abscisa curvilnea u definida a lo largo de la curva, desde un origen arbitrario (Figura 2), r u ! ix u " jy u " kz u .

bg bg bg bg
dr du , du

(31)

El elemento dl de longitud de arco sobre la curva, es igual al mdulo del elemento de desplazamiento dr. Esto es dl ! dr ! (32)

si elegimos que la abscisa u crezca en el sentido de recorrido de la curva. La integral de lnea de un campo escalar ' r sobre la curva C desde un punto A hasta otro punto B es otro escalar, y se define como

bg

z z bg z
F r dl ! i
C

' r dl !

bg

uB

uA

'ru

r du , c b gh d du

(33)

donde la integracin en el segundo miembro se puede hacer puesto que el integrando es solamente funcin de u. De la misma forma se define la integral de lnea de un campo vectorial F r sobre la curva C desde A hasta B, lo que resulta en un vector

bg

uB

uA

Fx r u

r dr dr du " jz F crbugh du " k z F crbugh du . c b gh d du du du

uB uB uA y uA z

(34)

Figura 2 En particular, resulta til la integral de lnea del producto escalar del campo vectorial por el elemento vectorial de desplazamiento dr ! idx " jdy " kdz a lo largo de una curva C desde A hasta B. Esta integral se expresa como F % dr . Para calcularla, expresamos el elemento

vectorial de desplazamiento sobre la curva r(u) como dr ! De forma que F % dr ! F r u % r du . c b gh d du (36) dr du . du (35)

Como la expresin del segundo miembro de (36) es solamente funcin de u, la integracin se puede hacer,

z
Ejemplos

F % dr !

uB

uA

Fru %

r du . c b gh d du

(37)

i) Sea un campo escalar de la forma ' r !

1 . Calcular la integral de lnea de r este campo sobre la recta contenida en el plano xy, paralela al eje y y que pasa por x=a, desde y=0 hasta y=b.

bg

Esta recta tiene las ecuaciones x ! a, y ! u, z ! 0 , que se pueden expresar en la ecuacin vectorial r u ! ia " ju . El campo escalar restringido a esta recta es dr 1 1 'ru ! ! j , por lo que la ecuacin (33) ! , siendo adems 2 2 du ru a "u

c b gh b g
C

bg

resulta

z bg z
' r dl !
lnea vector
C

uB

uA

'ru

r du ! z c b gh d du

1 a 2 " u2

du ! sinh ,1

FG b IJ . H aK

ii)

Sea un campo vectorial de la forma F r !

bg

z bg

r 3 . Calcule la integral de r

F r dl y la integral de lnea escalar

z bg
C

F r % dr sobre el

mismo segmento de recta del problema anterior. Este campo vectorial restringido a la curva de integracin es ru ia " ju Fru ! 3 ! 3 . ru a 2 " u2 2

c b gh bb gg c
b

De forma que la integral de lnea vectorial ser, de acuerdo con (34), uB uB dr dr F r dl ! i Fx r u du " j Fy r u du uA u A du du C

z b g z c b gh zc h
!i a
0

a 2 " u2 b
2

du " j

a a "b a La integral de lnea escalar es, de acuerdo con (37), uB b ia " ju % j dr F % dr ! F r u % du ! 3 du 0 uA du C a 2 " u2 2
2 2 2

!i

"j

FG 1 , Ha

zc
b 0

c b gh
u

a 2 " u2 1

IJ "b K

du

z c b gh zc h
b

z cb

g h

a 2 " u2

du !

1 1 , 2 a a " b2

b) Integrales de superficie Cada punto de una superficie S en el espacio se representa mediante un sistema de coordenadas curvilneas u,v trazadas sobre la propia superficie. El vector posicin r sobre S es una funcin de las coordenadas curvilneas r ! r u, v (Figura 3). Un elemento de desplazamiento dr tangente a S se expresa entonces como

b g

dr !

5r 5r du " dv . 5u 5v

(38)

En la direccin de la coordenada u (manteniendo v constante) el elemento de desplazamiento sobre la superficie es dru ! 5r du . 5u (39)

En tanto que, en la direccin de la coordenada v (manteniendo u constante) el elemento de desplazamiento sobre la superficie es drv ! 5r dv . 5v (40)

Figura 3 De acuerdo a lo dicho sobre el producto vectorial, (ver el texto que sigue a la ecuacin (17)), el elemento de rea sobre la superficie S vale dS ! dru + drv ! 5r 5r dudv , + 5u 5v (41)

eligiendo las direcciones crecientes para u y v. El vector unitario normal a la superficie en el punto r(u,v) es entonces 5r 5r + n u, v ! 5u 5v , 5r 5r + 5u 5v

b g

(42)

por lo cual, el elemento de rea orientado segn la normal en ese punto se expresa como

10

n u, v dS !

b g

5r 5r + dudv 5u 5v

(43)

Se pueden definir integrales de campos escalares y vectoriales sobre una superficie S en el espacio. La que ms nos interesa por ahora es la integral de rea del producto escalar entre el campo vectorial y la normal en cada punto de la superficie. Esta magnitud es un escalar y se llama flujo del campo vectorial F a travs de la superficie S, y es de fundamental importancia en el electromagnetismo y la mecnica de los fluidos. Se expresa como F % n dS , y se calcula utilizando las coordenadas

z
S

curvilneas u,v sobre la superficie S. Evaluando F sobre la superficie r(u,v) tenemos, para el flujo,

z
S

F % n dS !

zz
u2 u1

v2

v1

F r u, v %

r 5r I + J dudv . c b gh FGH 5 5u 5v K

(44)

Los lmites de integracin de las coordenadas curvilneas en (44) deben cubrir toda la superficie sobre la que interesa calcular el flujo. Por ello es importante elegir las coordenadas u,v sobre la superficie S de forma tal que la doble integral de (44) resulte lo ms simple posible. Obsrvese que si el campo vectorial F fuese el campo de velocidades de un fluido, la aplicacin de (44) proporciona el caudal de lquido o gas que atraviesa la superficie S (p. ej. en m3/s). De ah el nombre de flujo. Ejemplo. r 3 . Calcular el flujo de este campo a r travs de la superficie lateral de un cilindro circular de radio a con su eje sobre el eje z de coordenadas y su altura entre , a 2 z 2 a . Sea un campo vectorial de la forma F r ! Las coordenadas curvilneas ms convenientes sobre la superficie del cilindro son las propias coordenadas cilndricas. Esto es, x ! a cos u, y ! a sin u, z ! v , donde u es el ngulo azimutal 1 definido antes para el sistema de coordenadas cilndricas. La superficie en cuestin es entonces el conjunto de puntos r u, v ! ia cos u " ja sin u " kv . Para cubrir toda la superficie lateral del cilindro, los intervalos de valores de las coordenadas son 0 2 u / 2- , , a 2 v 2 a . De acuerdo con (43), el elemento de rea orientado (hacia afuera de la superficie cilndrica, verifquelo) es 5r 5r n u, v dS ! + dudv ! , ia sin u " ja cos u + k dudv 5u 5v ! ja sin u " ia cos u dudv El campo F restringido a la superficie del cilindro es r ia cos u " ja sin u " kv F r u, v ! 3 ! . 3 2 2 2 r a "v

bg

b g

b g

c b gh

11

El integrando del flujo en el segundo miembro de (44) resulta entonces F r u, v % r 5r I bia cos u " ja sin u " kv g % b ja sin u " ia cos ug + J! ! c b gh FGH 5 5u 5v K ca " v h ca
2 2 3 2

a2
2

"v

Vase lo simple que resulta el integrando al elegir las coordenadas cilndricas. Sustituyendo este valor en el integrando del segundo miembro de (44), tenemos, para el flujo a travs del cilindro,

X z F % n dS ! Y Y Z
S

v !, a

X Y Y Z ca
2u! 0

a2
2

" v2

dudv ! 2 2- .

c) Integrales de volumen En una regin cerrada de volumen V, se pueden calcular las integrales de un campo escalar ' o vectorial F, que se expresan simblicamente como 6 ! ' r dV ,
V

z bg

(45)

y G ! F r dV ! i Fx r dV " j Fy r dV " k Fz r dV ,
V V V V

z bg z

bg

bg

bg

(46)

respectivamente. El elemento de volumen dV se expresa en el sistema de coordenadas ms adecuado a la geometra del problema. En coordenadas cartesianas, cilndricas o esfricas, tenemos los elementos de volumen dados en las ecuaciones (28), (29) y (30) respectivamente. La integral de volumen es una integral triple en las tres coordenadas. Ejemplos i) La densidad de masa de un medio continuo que se extiende hasta el r infinito, vara con la posicin en la forma 0 r ! 0 0 exp , . Calcular r0 la masa total del sistema.

bg

FG IJ H K

Como la densidad es la masa por unidad de volumen, la masa total del sistema ser la integral escalar M ! 0 r dV ,
V

z bg

donde la regin de integracin V ocupa todo el espacio. Como la funcin de la densidad tiene simetra esfrica, el mejor sistema de coordenadas es el esfrico. Para cubrir el espacio de integracin, las coordenadas esfricas deben variar en todo su intervalo. Sea r ! r . Utilizando el elemento de volumen en coordenadas esfricas (30), tenemos 12

M!

! 4-0 0 ii)

zzz z
.

r !0 3 !0 1 ! 0 .

FH IK expF , r r I r dr ! 8-0 r H K
22 0

0 0 exp , r r r 2 sin 3 drd1 d3 0

3 0 0

Existe una magnitud vectorial en electrosttica llamada densidad de polarizacin por unidad de volumen P(r) en el interior de los materiales dielctricos. En una varilla cilndrica de radio a y altura h, con su eje en el eje de coordenadas z, existe una densidad de polarizacin que vara con la distancia 0 al eje y con el ngulo azimutal 1, en la forma P r ! P 0, 1 ! u 0 A0 cos2 1 , donde u0 es un versor en la direccin

bg b g

radial 0. Calcular la polarizacin total p de la varilla (llamado momento dipolar). El momento dipolar p es un vector que se obtiene integrando la densidad de polarizacin a todo el volumen V del material. Esto es p ! P r dV .
V

z bg

Como la varilla tiene simetra cilndrica, el sistema de coordenadas ms adecuado es el cilndrico, por lo que el elemento de volumen ser dV ! 0 d0 d1 dz , como se mostr en la ecuacin (29). No obstante, antes de hacer la integracin es necesario observar que el versor radial u0 vara con el ngulo 1 en la forma (hgase un dibujo para verlo) u 0 ! i cos 1 " j sin 1 . Sustituyendo este resultado en la expresin de P, la densidad de polarizacin resulta P 0, 1 ! iA0 cos3 1 " jA0 cos2 1 sin 1 De forma que el momento dipolar p resulta

b g

p!i

Se deja al estudiante la tarea de calcular estas integrales. 6. Derivacin de campos escalares y vectoriales Sea un campo escalar '(r)='(x,y,z). Si la funcin ' es continua y diferenciable, el valor de la misma en un punto prximo r " dr se puede aproximar suficientemente con los primeros trminos del desarrollo de Taylor,

zzz
a 2-

0 !0 1 !0 z ! 0

A0 2 cos3 1 d0 d1 dz " j

zzz
a 2-

0 !0 1 !0 z !0

A0 2 cos2 1 sin 1 d0 d1 dz

' r " dr 7 ' r "

g bg b

5' 5' 5' dx " dy " dz . 5x 5y 5z

(47)

El segundo miembro de (47) se puede poner como un producto escalar de dos vectores, de la forma

' r " dr 7 ' r " 8' % dr ,

siendo dr ! idx " jdy " kdz , y donde se ha definido el vector

g bg

(48)

13

8' ! i

5' 5' 5' "j "k . 5x 5y 5z

(49)

Este vector, que contiene las tres derivadas parciales de un campo escalar, se llama gradiente del campo. Constituye un campo vectorial asociado al campo escalar. La expresin (49) permite definir un operador diferencial vectorial muy til en el estudio de los campos, llamado operador nabla: 8!i 5 5 5 " j "k . 5x 5y 5z (50)

La variacin de la funcin ' en el espacio, al pasar del punto r al punto vecino r " dr es d' ! ' r " dr , ' r . De forma que la ecuacin (48) nos indica que esta variacin, ante un desplazamiento dr, est dada por

g bg

d' ! 8' % dr .

(51)

Si el vector gradiente y el vector desplazamiento elemental forman un ngulo *, el producto escalar de (51) se puede poner como d' ! 8' dr cos* , (52)

de donde se observa que la mxima variacin en la funcin en torno al punto r se obtiene cuando el desplazamiento es en la misma direccin del gradiente (*=0). Esto prueba que el vector gradiente apunta en la direccin en que la funcin tiene el mayor aumento por unidad de longitud. Como el mdulo del desplazamiento dr es la longitud dl, la expresin (52) establece que d' ! 8' cos* . dl (53)

Esto proporciona el valor de la derivada direccional del campo escalar, en una direccin arbitraria que forme un ngulo * con el gradiente del campo en ese punto. El operador diferencial vectorial nabla definido en (50) se aplica tambin para derivar campos vectoriales. Hay dos formas de aplicar el operador 8 a un campo vectorial F: mediante un producto escalar y mediante un producto vectorial. El producto escalar del operador con el campo vectorial define un campo escalar, asociado a F, 8%F ! i

FG 5 " j 5 " k 5 IJ % diF " jF " kF i ! 5F " 5F " 5F , 5x 5y 5z H 5x 5y 5z K

x y z x y z

(54)

que se llama la divergencia del campo vectorial. El producto vectorial define otro campo vectorial asociado a F,

14

8+F !i

FG 5F , 5F IJ " jFG 5F , 5F IJ " k FG 5F , 5F IJ , H 5z 5y K H 5z 5x K H 5x 5y K

y z x z y x

(55)

que se llama el rotor del campo vectorial F. Como todo producto vectorial, la expresin (55) es ms fcil de recordar en forma del determinante

F i 8 + F ! det G 5 5x GG F H
x

j k 5 5y 5 5z . Fy Fz

I JJ JK

(56)

En los ejercicios prcticos Ud. tendr ocasin de calcular gradientes, divergencias y rotores de diversos campos, as como de comprender sus significados fsicos. 7. Teoremas fundamentales del clculo vectorial a) Teorema de Gauss Sea un campo vectorial F continuo y diferenciable en una regin simplemente conexa del espacio. Sea S una superficie cerrada arbitraria dentro de esa regin, que contiene un volumen V. Sean n(x,y,z) el conjunto de los versores normales a la superficie S, elegidas hacia afuera. El teorema de Gauss establece que

z
S

F % n dS ! 8 % F dV .
V

(57)

El smbolo

El teorema de Gauss expresa que el flujo de un campo vectorial a travs de una superficie cerrada, es igual a la integral de volumen de su divergencia dentro de la regin encerrada. Para su demostracin, tomemos un prisma elemental de aristas dx, dy, dz en la regin donde el campo vectorial F verifica las condiciones de la hiptesis (figura 4). El flujo en la direccin x est dado por 6 x ! n1 % F x , y , z " n 2 % F x " dx , y , z dS x !

indica que la integral se extiende a toda la superficie cerrada.

b g b g ! , i % Fb x , y , z g " i % Fb x " dx , y , z g dy dz ! 5F dx dy dz ! F b x " dx , y , z g , F b x, y , z g dy dz 7 5x

x x x

(58)

Por un razonamiento similar, tenemos, para el flujo en las direcciones y, z, los valores 6y 7 5Fy 5y dx dy dz , 6z 7 5Fz dx dy dz . 5z (59)

15

Por consiguiente, el flujo total a travs de la superficie cerrada del prisma elemental ser

Se

F % n dSe !6 x " 6 y " 6 z !

FG 5F " 5F " 5F IJ dx dy dz , H 5x 5y 5z K
x y z

(60)

donde Se indica que se trata de la superficie del prisma elemental de la figura 4.

Figura 4 Introduciendo en (60) la definicin de la divergencia dada en (54), y el volumen del prisma dVe ! dxdydz , tenemos

Se

F % n dSe ! 8 % F dVe ,

(61)

para un prisma elemental de superficie total Se y volumen dVe. Un volumen arbitrario se puede descomponer en prismas elementales infinitesimales, como los de la figura 4. En la figura 5 se observa que los flujos correspondientes a las caras adyacentes de estos prismas elementales (superficies sombreadas) se anulan entre s, por tener las normales opuestas. Por lo tanto, la suma de los flujos elementales dan como resultado el flujo total solamente sobre las caras externas de los primas, esto es, el flujo a travs del rea total S del volumen arbitrario,

z
S

F % n dS ! ) F % n dS e .
e Se

(62)

Introduciendo (61) en (62), obtenermos

z
S

F % n dS ! ) 8 % F dVe ! 8 % F dV ,
e V

(63)

lo cual prueba el teorema de Gauss (57).

16

Figura 5 b) Teorema de Stokes Sea un campo vectorial F continuo y diferenciable en una regin simplemente conexa del espacio. Sea C un contorno cerrado que no se cruza a s mismo, y sea S cualquier superficie delimitada por dicho contorno. El teorema de Stokes afirma que

F % dr !

zb
S

8 + F % n dS ,

(64)

donde dr es el elemento vectorial de longitud sobre el contorno C, en el sentido elegido arbitrariamente para su recorrido. Los vectores normales n a la superficie S delimitada por el contorno se eligen de acuerdo a la regla de la mano derecha o del tornillo. Esto es, si el pulgar de la mano derecha apunta en el sentido de los vectores n, los dems dedos apuntan en el sentido de recorrido del contorno. Probaremos el teorema para un contorno plano, digamos, en el plano xy. Comenzamos por un contorno rectangular elemental Ce de lados dy, dy, por lo que su rea ser dSe ! dxdy . En la figura 6 se muestra cmo calcular la circulacin elemental para este rectngulo de lados infinitesimales. De acuerdo con la figura, tenemos

Ce

F % dre ! Fx x , y , z dx " Fy x " dx , y , z dy , Fx x , y " dy , z dx , Fy x , y , z dy ! (65)

y y x x

b g b g ! F b x " dx , y , z g , F b x , y , z g dy , F b x , y " dy , z g , F b x , y , z g dx

El sentido de la circulacin en el rectngulo se eligi de forma que la normal a la superficie est segn el eje z. Utilizando los desarrollos de Taylor hasta el primer orden en (65), tenemos que

17

Ce

F % dre !

5Fy 5x

dxdy ,

5Fy 5Fx 5Fx dxdy ! , dSe . 5y 5x 5y

FG H

IJ K

(66)

Si observamos la definicin de rotor de un campo vectorial, expresin (55), vemos que el segundo miembro de (66) es la componente del rotor en la direccin del eje z, esto es, de la normal al rectngulo de la figura 6. Por consiguiente, para el rectngulo elemental de la figura, tenemos que

Ce

F % dre ! 8 + F % n dS e .

(67)

Dado que la expresin (67) es una relacin entre vectores, ya no es necesario que el rectngulo elemental est en el plano xy, como se asumi al principio.

Figura 6 Cualquier superficie delimitada por un contorno cerrado arbitrario se puede descomponer en pequeos rectngulos elementales, como se muestra en la figura 7.

Figura 7 Los lados adyacentes de los contornos cancelan sus aportes a la circulacin, porque sus sentidos de recorrido son opuestos. Por lo tanto la suma de las circulaciones elementales sobre todos los rectngulos, es igual a la circulacin sobre el permetro del gran contorno C. Esto es

F % dr ! ) F % dre .
e Ce

(68)

18

Sustituyendo la expresin (67) en (68), tenemos, para la circulacin total sobre un contorno arbitrario C, el resultado

F % dr ! ) 8 + F % n dSe !
e

zb
S

8 + F % n dS .

(69)

Como cada contorno elemental puede tener cualquier orientacin en el espacio, el resultado (69) es vlido para cualquier superficie curva S limitada por el contorno C, el cual, tampoco tiene que ser plano. Constituye entonces el teorema de Stokes (64).

19