Anlisis Vectorial

A. Zozaya S. 20 de noviembre de 2009

ndice
ndice 1 1. Sistemas de coordenadas 2

1.1. Transformacin de coordenadas, 3 1.1.1. Transformacin de las variables., 4. 1.1.2. Transformacin de la base vectorial, 4. 1.1.3. De cilndricas a Cartesianas, 5. 1.1.4. De Cartesianas a cilndricas, 5. 1.1.5. De esfricas a Cartesianas, 5. 1.1.6. De Cartesianas a esfricas, 6 .

2. Gradiente de un campo escalar 6 3. Estructura espacial de los campos y su relacin con las fuentes que los producen 7 4. Divergencia de un campo vectorial 8
4.1. Integral de ujo, 8. 4.2. Denicin de la divergencia de un campo vectorial, 9. 4.3. Teorema de la divergencia, 10 4.3.1. Comprobacin del Teorema de la Divergencia en volmenes que contienen
puntos singulares del campo, 12. 4.3.2. Utilizacin el Teorema de la Divergencia para la estimacin de la Divergencia en puntos singulares del campo, 13 .

5. Rotacional de un campo vectorial

14

5.1. Integral de circulacin, 14. 5.2. Denicin de rotacional, 15. 5.3. Teorema de Stokes, 17. 5.4. Denicin alternativa del rotacional de un campo vectorial, 19.

6. Identidades nulas

20

6.1. (V ) = 0, 20. 6.2. ( J ) = 0, 22.

7. Condiciones de borde 22 8. Teorema de Helmholtz 23

8.1. Dominios abiertos, 23 8.1.1. Demostracin, 24 . 8.2. Dominios cerrados, 28.

9. Problemas propuestos Referencias 29 ndice alfabtico 30

28

1.

Sistemas de coordenadas

Sean x, y y z una terna de variables que denotan distancia, cada una medida sobre uno de tres ejes mutuamente ortogonales, los cuales se interceptan en un origen O (ver Fig. 1). Estas distancias rectangulares bien podran expresarse en funcin de otras cantidades geomtricas como, por ejemplo, ngulos acimutales, ngulos polares, distancias axiales, distancias radiales, etc.. Desgnense con u1 , u2 y u3 los miembros de cualesquiera de las ternas de parmetros geomtricos que decidieran usarse y deFigura 1: Versin grca de las nomnense variables coordenadas. En general se podr escribir: curvas coordenadas x, y y z y u1 ,
u2

y u3

x = x(u1 , u2 , u3 ) y = y (u1 , u2 , u3 ) z = z (u1 , u2 , u3 )

(1a) (1b) (1c)

Y , tambin, las variables u1 , u2 y u3 podrn ser resueltas de las Ecs. (1) en funcin de x, y yz: u1 = u1 (x, y, z ) u2 = u2 (x, y, z ) u3 = u3 (x, y, z ) (2a) (2b) (2c)

La igualacin de la Ecuaciones (2) a sendas constantes, i.e. u1 = c1 , u2 = c2 y u3 = c3 , da lugar a tres supercies, denominadas supercies coordenadas, cuya interseccin dene un punto en el espacio, y la tripleta de valores concretos (c1 , c2 , c3 ) constituyen las coordenadas de dicho punto. Para nosotros tienen inters solo las familias de supercies u1 = c1 , u2 = c2 y u3 = c3 mutuamente ortogonales en todos los puntos del espacio. La familia de variables coordenadas {u1 , u2 , u3 }, as denidas, forman el sistema de coordenadas curvilneas ortogonales generalizadas. Cada coordenada curvilnea generalizada, u1,2,3 , la cual, como se ha sugerido previamente, bien puede representar un ngulo, o bien una distancia, se ha de medir sobre una curva coordenada ver Fig. 1. La curva coordenada ui , que pasa por el punto (c1 , c2 , c3 ), se obtiene de la interseccin de las supercies coordenadas uj = cj y uk = ck , con i = j = k {1, 2, 3}. Sea r (u1 ) el vector de posicin del punto (c1 , c2 , c3 ). Al movernos sobre la curva u1 , hasta experimentar un incremento u1 ver Fig. 2, el vector de posicin del punto de llegada ser r (u1 +u1 ). El vector diferencia, a su vez, ser: r = r (u1 + u1 ) r (u1 ). Al tomar el lmite

Figura 2: Detalle de la curva coordenada u1

r (u1 + u1 ) r (u1 ) r = u1 0 u1 u1 l m

se obtiene un vector tangente a la curva coordenada u1 , perpendicular a la supercie coordenada u1 = c1 y que apunta en la direccin de crecimiento de la 2

variable coordenada u1 . Un vector ms apropiado, el cual conserva toda la informacin anterior, r se obtiene normalizando u respecto de su mdulo 1 a1 =
r u1 r u1

siendo a1 , evidentemente, unitario. De manera similar se pueden obtener los vectores a2 y a3 : a2 =

r u2 r u2

a3 =

r u3 r u3

Los vectores unitarios {a1 , a2 , a3 } constituyen una base vectorial. Se conviene en escribir: r se conoce como factor de escala. Facilmente se = hi ai , con i 1, 2, 3 y donde hi = u i comprueba que un desplazamiento diferencial dui , con i 1, 2, 3, a lo largo de la curva coorr denada ui , comporta un desplazamiento de longitud par a u dui , y de aqu la denominacin i
r ui r de factor de escala de hi = u . De esta manera, un desplazamiento espacial, ejecutado a i partir de un incremento innitesimal de las variables coordenadas, e.g. yendo de P (u1 , u2 , u3 ) a P (u1 + du1 , u2 + du2 , u3 + du3 ) , dene un diferencial de camino o elemento de camino:

r dui ai i=1 ui = h1 du1 a1 + h2 du2 a2 + h3 du3 a3

La unin de las seis supercies coordenadas que denen los puntos P (u1 , u2 , u3 ) y P (u1 + du1 , u2 + du2 , u3 + du3 ) conforman, debido al caracter innetisimal de los incrementos de las variables coordenadas, un cubo, el cual ocupa un diferencial de volumen, o elemento de volumen, d , par a d = h1 h2 h3 du1 du2 du3 . Las caras de este cubo innitesimal, a su vez, constituyen diferenciales de supercie, o elementos de supercie, que si se asumen de caracter vectorial tendran una de las seis formas siguientes: ds h3 h2 du3 du2 a1 , ds h1 h3 du1 du3 a2 o ds h1 h2 du1 du2 a3 . En este curso tendremos que ver, principalmente, con los sistemas de coordenadas Cartesianas, cilndricas y esfricas. Una revisin apropiada de estos sistemas de coordenadas se puede realizar con base en los conceptos desarrollados previamente relativos al sistema de coordenadas curvilneas ortogonales generalizadas. En efecto, al identicar los parmetros geomtricos que sirven de base para la denicin de la tripleta de supercies coordenadas correspondientes, mediante la particularizacin de la Ecs. (2), las deniciones de la base vectorial, los factores de escala, el elemento de longitud, los diferenciales de supercie y el diferencial de volumen, siguen de manera natural. En el Cuadro 1 se muestran los elementos de inters de los sistemas de coordenadas curvilneas generalizadas, Cartesianas, cilndricas y esfricas, respectivamente.

1.1.

Transformacin de coordenadas

Dado un vector A, expresado en un sistema de coordenadas determinado (sistema de coordenadas de origen SCO), su expresin en otro sistema de coordenadas (sistema de coordenadas de destino SCD) se puede hallar mediante una transformacin que comprende dos procedimientos: la transformacin de las variables coordenadas y la transformacin de la base vectorial. 3

Cuadro 1: Elementos de inters de los sistemas de coordenadas curvilneas generalizadas, Cartesianas, cilndricas y esfricas.
generalizadas Cartesianas variables coordenadas base vectorial factores de escala elemento longitud de u1 , u2 , u3 a1 , a2 , a3 h1 , h2 , h3 h1 du1 a1 + h2 du2 a2 + h3 du3 a3 h1 h2 du1 du2 , h1 h3 du1 du3 , h2 h3 du2 du3 x, y, z ax , ay , az 1, 1, 1 dxax + dy ay + dz az dxdy , dxdz , dy dz cilndricas , , z a , a , az 1, , 1 da + da +dz az dd, ddz , ddz dddz esfricas r, , ar , a , a 1, r, r sin drar + rda + r sin da rdrd, r sin drd, r2 sin dd r2 sin drdd

elementos de supercie elemento volumen de

h1 h2 h3 du1 du2 du3 dxdy dz

Cuadro 2: Transformacin de coordenadas.

a Cartesianas = x2 + y 2 y = arctan x z = z 2 2 r = x2 + y +z = arctan = arctan 1.1.1. Transformacin de las variables.
x2 +y 2 z y x

Cilndricas

desde Cartesianas x = cos y = sin z=z x = r sin cos y = r sin sin z = r cos

Esfricas

La transformacin de las variables coordenadas se realiza a partir de las relaciones geomtricas contenidas en las Ecs. (2) y (1), las cuales son, precisamente, ecuaciones de transformacin de coordenadas. Estas relaciones, para el conjunto de coordenadas Cartesianas, cilndricas y esfricas, se muestran en el Cuadro 2. 1.1.2. Transformacin de la base vectorial

Para la transformacin de la base vectorial es necesario hallar las proyecciones del vector dado en cada una de las direcciones de la base vectorial del SCD. En los cuadros 3 y 4 se resumen estas proyecciones. La conversin del sistema de coordenadas en el que se expresa un vector dado se puede realizar mediante alguna de las siguientes operaciones expresadas matricialmente.

Cuadro 3: Proyecciones mutuas de las bases vectoriales de los sistemas de coordenadas Cartesianas y cilndricas.
En coordenadas cilndricas a a az cos sin 0 sin 0 cos 0 0 1 En coordenadas Cartesianas a a az y x 2 2 0 2 2
x +y y x2 +y 2

ax ay az

x +y x x2 +y 2

0 1

Cuadro 4: Proyecciones mutuas de las bases vectoriales de los sistemas de coordenadas Cartesianas y esfricas.
En coordenadas esfricas ar a a sin cos cos cos sin sin sin cos cos sin sin cos 0 En coordenadas Cartesianas ar a a xz x y
x2 +y 2 +z 2 y x2 +y 2 +z 2 z x2 +y 2 +z 2

ax ay az

x2 +y 2 +z 2 x2 +y 2 yz x2 +y 2 +z 2 x x2 +y 2
2 +y 2

x2 +y 2 x x2 +y 2

x2 + y 2 + z 2

1.1.3.

De cilndricas a Cartesianas

Ax Ay = Az 1.1.4.

x x2 +y 2 y x2 +y 2

y x2 +y 2

0 0 1

x x2 +y 2

A (x, y, z ) A (x, y, z ) Az (x, y, z )

(3)

De Cartesianas a cilndricas

Ax (, , z ) cos sin 0 A A = sin cos 0 Ay (, , z ) 0 0 1 Az (, , z ) Az 1.1.5. De esfricas a Cartesianas

(4)

Ax y Ay = x2 + y 2 + z 2 Az z
x2 + y 2 + z 2

x2 + y 2 + z 2

xz x2 +y 2 +z 2 yz x2 +y 2 +z 2

x2 +y 2

y x2 +y 2

x2 +y 2 x2 + y 2
x2 +y 2 +z 2

x x2 + y 2 0

Ar (x, y, z ) A (x, y, z ) A (x, y, z )

(5)

1.1.6.

De Cartesianas a esfricas

Ar sin cos sin sin cos Ax (r, , ) A = cos cos cos sin sin Ay (r, , ) A sin cos 0 Az (r, , )

(6)

2.

Gradiente de un campo escalar

Dada una funcin escalar f = f (u1 , u2 , u3 ) de buen comportamiento (continua y derivable), la ecuacin: f (u1 , u2 , u3 ) = V (7) dene en el espacio una supercie como se muestra en la Fig. 3. Ubicados en un punto p sobre dicha supercie al realizar un desplazamiento diferencial ver Fig. 3(a): d = h1 du1 a1 + h2 du2 a2 + h3 du3 a3 terminamos sobre una nueva supercie denida por: f (u1 , u2 , u3 ) = V + df (9) (8)

(a)

(b)

Figura 3: Supercies isoescalares del campo f = f (u1 , u2 , u3 ), utilizadas para la ilustracin del concepto de gradiente. a) Al desplazarnos un diferencial de camino fuera de la supercie f = V terminamos sobre una nueva supercie isoescalar f = V + df , en la cual la funcin escalar experimenta un incremento diferencial f f f df = u du1 + u du2 + u du3 . b) Al desplazarnos un diferencial de camino dentro de la misma supercie f = V la funcin escalar experimenta un incremento diferencial nulo df = 0.
1 2 3

Se observa que al desplazarnos desde el punto p una distancia innitesimal d , la funcin f experimenta un variacin igualmente innitesimal df , cuya expresin matemtica viene dada por: f f f df = du1 + du2 + du3 (10) u1 u2 u3 Facilmente se comprueba que la variacin df se puede factorizar de la forma: df = a1 + a2 + a3 f h1 du1 a1 + h2 du2 a2 + h3 du3 a3 h1 u1 h2 u2 h3 u3
d f

(11)

Cuadro 5: El gradiente f expresado en diferentes sistemas de coordenadas.

Sist. de coordenadas Cartesianas Cilndricas Esfricas
f a x x f a f a r r

f +
f a y y

f a z z f a z z

1 f a

1 f a r

1 f a r sin

El campo vectorial: f = a1 + a2 + a3 f h1 u1 h2 u2 h3 u3 (12)

se denomina gradiente de la funcin escalar f . Veamos que sentido fsico tiene. Al poner: df = f d = |f | |d | cos Reconocemos, en primer lugar, que df se maximiza para = 0, por lo que: |f | = dfM AX |d | (14) (13)

y comprobamos que el mdulo del gradiente de una funcin escalar es igual a la mxima razn de cambio espacial de dicha funcin en el punto donde se evala dicho gradiente. Si ahora imponemos que el desplazamiento espacial d nos conduzca a un punto en la misma supercie f = V ver Fig. 3(b), ser: df = 0. Ya que f = 0 y d = 0, sigue que cos = 0, y por tanto = 90 . Se puede deducir entonces que la direccin del gradiente coincide con la del vector unitario an normal a la supercie f = V y apunta hacia la direccin en la que la razn de cambio de f por unidad de longitud es mxima. La expresin a1 + a2 + a3 (15) h1 u1 h2 u2 h3 u3 es un operador diferencial vectorial (nabla) que nos permite denir en modo operativo el gradiente de un campo escalar para cualquier sistema de coordenadas.

3.

Estructura espacial de los campos y su relacin con las fuentes que los producen

Los campos fsicos son producidos, en general, por fuentes de naturaleza escalar o de naturaleza vectorial. Algunos campos poseen ambos tipos de fuentes, en cuyo caso se les suele separar en dos partes, donde cada parte correponde al tipo de fuente que la produce. 7

Los campos que son producidos por fuentes escalares convergen hacia, o emergen desde, stas, segn la polaridad de las fuentes, por lo que sus lneas de fuerza son abiertas: nacen en fuentes escalares positivas y terminan en fuentes escalares negativas. Claro est que cuando se tienen fuentes de una sola polaridad, el inicio de las lneas de fuerza, o el nal, se deber ubicar en el innto. El caracter divergente (o convergente, como dira el propio Maxwell) de estos campos se evidencia analticamente al presentar una derivada longitudinal no nula, e.g. el campo Fi = xax es un campo divergente. Estos campos se denominan campos irrotacionales , porque no rotan. Por otro lado, los campos que son producidos por fuentes vectoriales rotan, o circulan, transversalmente alrededor de las fuentes, por lo que sus lneas de fuerza son cerradas: no tienen ni principio ni n. El caracter circulante de estos campos se evidencia analticamente al presentar al menos una derivada transversal no nula, e.g. el campo Fs = y ax es un campo circulante. Estos campos se denominan campos solenoidales , porque rotan. Ya que existe una estrecha relacin entre la naturaleza de las fuentes y la estructura de los campos, tiene sentido estudiar formalmente la relacin espacial entre fuentes y campos, asunto que abordaremos de seguido mediante la denicin de la divergencia y el rotacional de un campo vectorial. Ms adelante, concluiremos nuestro repaso enunciando el teorema de Helmholtz, completando los principios formales que servirn de base para el estudio de los campos elctrico, magntico y electromagntico.

4.

Divergencia de un campo vectorial

La densidad de fuentes escalares de un campo vectorial se denomina divergencia del campo. Como la cantidad de fuentes escalares de un campo contenidas en un volumen genrico se mide mediante una integral de ujo, el ujo y la divergencia estn estrechamente relacionados, siendo la primera una cantidad global y la segunda una cantidad puntual. De seguido se desarrollan ms amplia y formalmente estos conceptos.

4.1.

Integral de ujo

Se conviene en admitir que el ujo de un campo a travs de una supercie cerrada mide la cantidad de fuentes escalares de este campo contenidas en el interior de tal supercie. Dado un campo vectorial A = A(r ), se dene: A S (V ) = A ds fuentes escalares de Acontenidas en V
S (V )

donde la integral A S = S A ds se lee como el ujo del campo A a travs de S . A Si S (V ) > 0, entendemos que las lneas de fuerza de A atraviesan la supercie S en promedio desde el interior hacia el exterior de V , como divergiendo desde el interior de V , y decimos que en el volumen V se localizan fuentes escalares positivas o manantiales del campo A. Si A S (V ) < 0, las lneas de fuerza de A atraviesan en promedio la supercie S desde el exterior hacia el interior de V , como convergiendo hacia el interior de V , y decimos que en el volumen V se localizan fuentes escalares negativas o sumideros del campo A. Y si A S (V ) = 0 interpretaremos que las lneas de fuerza de A atraviesan la supercie S en ambos 8

sentidos en igual proporcin (las lneas que salen de V igualan a las que entran), y decimos que no se localizan fuentes escalares de A en el interior de V . Ejemplo Se desea calcular el ujo del campo Fi = se muestran en la Fig. 4.
a

a travs de las supercies S1 y S2 que

(a)

(b)

Figura 4: Supercies para el clculo del ujo del campo Fi = a .

Solucin Faclmente se comprueba que S1 Fi ds = 2h y S1 Fi ds = 0, lo cual quiere decir que la supercie S1 contiene en su interior 2h fuentes escalares del campo Fi , mientras que en el interior de S2 no se localizan fuentes escalares de dicho campo.

4.2.

Denicin de la divergencia de un campo vectorial

Denimos ahora la divergencia del campo vectorial A en un punto dado, la cual se escribe abreviadamente A, como la densidad de fuentes escalares de A por unidad de volumen en dicho punto: A = l m O equivalentemente: 1 A ds (16) V 0 V S donde la supercie S de integracin es la supercie que encierra el volumen V en cuyo interior se encuentra el punto donde se desea calcular la divergencia de A. La ecuacin (16) se lee: la divergencia de un campo vectorial A en un punto dado se obtiene tomando un pequeo volumen que contenga el punto, calculando el ujo de A a travs de la supercie que encierra dicho volumen(1 ), y dividiendo el ujo entre el volumen en la medida que este se reduce a dimensiones innitesimales. La cantidad que se obtiene (la divergencia) es escalar y tiene dimensiones de una densidad volumtrica de ujo o de fuentes escalares. A = l m
1

fuentes escalares de A V 0 V

Tomando la normal en cada punto de la supercie que apunta hacia el exterior del volumen considerado

Para calcular la divergencia de A en un punto genrico P , de coordenadas u1 , u2 y u3 , se toma un pequeo volumen cbico incremental V de aristas h1 u1 , h2 u2 y h3 u3 , con uno de sus vrtices apoyado sobre P ver Fig. 5, y se calcula el ujo de A a travs de las seis caras del cubo [1]. Tomaremos dos de estas caras, tales que estas sean opuestas, e.g. las caras abcd y mnop, y evaluaremos los respectivos ujos, y luego, por analoga, escribiremos los ujos a travs Figura 5: Volumen incremental que con- de las caras restantes. Asumiendo que los incrementosu2 y tiene el punto P donde se desea calcular u3 son sucientemente pequeos, de tal suerte que A1 , h2 y A. h3 , cuyos valores se toman en p, se pueden asumir uniformes en toda la cara mnop se podr escribir:
mnop

A ds A(en p) (a1 )(rea de la cara mnop) A1 h2 h3 u2 u3 (17)

El ujo de A a travs de la cara abcd, asumiendo que A sea continuo y posea derivadas de cualquier orden en el interior de V y sobre S (V ), se puede aproximar a partir del valor de su ujo a travs de la cara mnop mediante la expansin en serie de Taylor abcd A ds = mnop A ds+ u1 ( mnop A ds)u1 + T.O.S., donde los trminos de orden superior, que contienen potencias del incremento u1 (un 1 ), con n 2, se pueden despreciar en virtud del proceso de lmite. De esta forma: A ds A1 h2 h3 u2 u3 + (A1 h2 h3 u2 u3 )u1 u1 abcd (A1 h2 h3 )u1 u2 u3 (18) A1 h2 h3 u2 u3 + u1 Estos ujos parciales hacen una contribucin al ujo total par a A ds +
mnop abcd

A ds

(A1 h2 h3 )u1 u2 u3 u1

Calculando los ujos parciales a travs de las caras restantes de manera anloga y sumndolos todos, se obtiene el ujo total. Al dividir ste entre el volumen incremental V = h1 h2 h3 u1 u2 u3 , y ejecutar el lmite para V que tiende a cero se obtiene: A= 1 (A1 h2 h3 ) + (A2 h1 h3 ) + (A3 h2 h1 ) h1 , h2 , h3 u1 u2 u3 (19)

Al especializar la ecuacin (19) para cada sistema de coordenadas se obtienen las expresiones que se presentan en el cuadro 6.

4.3.

Teorema de la divergencia

Dado el campo A y la supercie cerrada S , la cual dene un volumen V ver gura 6(a), siendo el campo A de buen comportamiento tanto en S como en V , se puede demostrar que: A d =
V S (V )

A ds

(20)

10

Cuadro 6: La divergencia A expresada en diferentes sistemas de coordenadas.

Sistema de coordenadas Cartesianas A Ax + Ay + Az x y z 1 1 (A ) + A + Az z 1 2 1 1 ( r A ) + (sin A ) + (A ) r r2 r r sin r sin

Cilndricas

Esfricas

Para ello dividimos el volumen V en N volmenes incrementales i ver gura 6(a).

(a)

(b)

Figura 6: (a) Supercie cerrada para la ilustracin del Teorema de La Divergencia y (b) detalle de dos volmenes incrementales contiguos.
En el punto central del volumen i tenemos: A|i = l m 1 i 0 i A ds
Si (i )

(21)

Si los volmenes incrementales se toman lo sucientemente pequeos como para considerar la divergencia del campo A aproximadamente constante en todo i , se podr escribir: A|i A|i i 1 i
Si

A ds
Si

(22)

A ds

aproximacin que mejora en la medida que i tiende a cero, en cuyo caso N tendera a innito. Si los N trminos de los tipos A|i i y Si A ds que pueden ser denidos en el interior de S se suman respectivamente, se obtiene: 11

A|i i
i=1

A ds
i=1 Si

(23)

Al tomar el limite para i 0 (N ), la aproximacin desaparece dando lugar a una igualdad:

N i 0 N

l m

A|i i = l m
i=1

i 0

A ds
i=1 Si

(24)

En particular, para el trmino de la izquierda, tendremos:

N i 0 N i=1 i 0 N

l m

=
V

l m i = d

y
N i 0

l m

A|i i =
i=1

A d
V

(25)

Para resolver el lmite del miembro de la derecha de la ecuacin (24), nos basaremos en el hecho de que en el computo de ujo de A a travs de dos supercies que encierran dos volmenes incrementales contiguos, dgase i y i+1 ver gura 6(b), las aportaciones de ujo correspondientes a la cara comn de ambas supercies contiguas, calculadas en un sentido en un caso y en sentido opuesto en el otro, se anulan mutuamente. Por esta razn, la suma de los N ujos del tipo Si A ds convergir, para N , a la suma de los ujos de A a travs de las caras no compartidas de las Si , la cual coincide con el ujo de A a travs de la supercie exterior S . Esto es:
N i 0 Si N i=1

l m

A ds =
S (V )

A ds

(26)

Juntando los los resultados (25) y (26), obtenemos el denominado Teorema de la Divergencia: A d =
V S (V )

A ds

(27)

4.3.1.

Comprobacin del Teorema de la Divergencia en volmenes que contienen puntos singulares del campo

Al intentar comprobar, por ejemplo, el Teorema de la Divergencia para el campo A = ar /r2 , en un volumen esfrico centrado en el origen, facilmente podemos incurrir en el error de escribir: A ds = 4
S

A d = 0
V (S )

y concluir que A d =
V (S ) S

A ds

12

ya que la aplicacin (errnea) de la Ec. (19) especializada para el caso de coordenadas esfricas ver Cuadro 6 arroja: ar /r2 = 0. El error est en que este resultado solo es vlido para todos los puntos fuera del origen, donde el campo presenta una singularidad y la propia frmula no tiene validez. En general, si en el volumen V dado para la comprobacin del Teorema de la Divergencia se encuentran puntos singulares del campo como rs en la Fig. 7, en tales puntos se deber proceder a estimar la Divergencia utilizando su denicin dada mediante la Ec. (16). El cmputo de la Divergencia en los puntos restantes, en cambio, se podr realizar utilizando directamente la frmula dada en la Ec. (19). Para ello se debe proceder a aislar la singularidad, lo cual consiste en tomar un pequeo volumen V , con centro Figura 7: Volumen en el punto singular, y dividir la integral A d en dos partes: V

con un punto de singularidad del campo A.

V

A d =
V V V

A d +
V

A d

donde la Divergencia del campo en la integral de volumen sobre V (s) V se puede calcular mediante la frmula de la Ec. (19), mientras que la integral de volumen sobre V se ha de calcular mediante la denicin Ec. (16): (A1 h2 h3 ) (A2 h1 h3 ) (A3 h1 h2 ) 1 + + d u1 u2 u3 V V h1 h2 h3 V V 1 A d = A ds d l m V 0 V S V V A d = y si se conviene que la divergencia del campo A ha de converger en V , se la puede factorizar de la integral de volumen, resultando: 1 V 0 V l m A ds d = l m
S V 0

1 V

A ds
S V

d (28)

=
l mV 0 S

A ds

Segn la Ec. (28), para comprobar el Teorema de la Divergencia en un volumen en cuyo interior se localiza un punto singular del campo, una porcin innitamente pequea de la integral de volumen es reconvertida en una integral de ujo. Dicha porcin de volumen debe contener en su interior el punto de singularidad del campo. 4.3.2. Utilizacin el Teorema de la Divergencia para la estimacin de la Divergencia en puntos singulares del campo

Si en el interior de cierto volumen V , encerrado por una supercie S , se encuentra un punto singular rs de cierto campo A, como se ilustra en la Fig. 7, y se comprueba que S A ds = 0 y que fuera del mencionado punto la Divergencia del campo es nula, entonces en el punto de singularidad estarn apiadas todas las fuentes del campo atrapadas por S y la Divergencia del campo valdr: A|rs =
S

A ds (r rs ) 13

ar r2 calcule la divergencia de A usando el teorema de la Divergencia y tomando en cuenta la denicin del delta de Dirac: = 0, para x = 0; (x) = 0, para x = 0. A= y adems:

Ejemplo Dado el campo

(x) dx = 1

Solucin Para r = 0 se puede aplicar la Frmula (19) y se obtiene que (ar /r2 ) = 0, lo cual implica que no existen fuentes escalares del campo fuera del origen. Para r = 0 la divergencia del campo, en cambio, ya no se puede calcular mediante la misma frmula. Tomando, sin embargo, una supercie cerrada cualquiera que contenga en su interior el punto singular del campo (el origen), facilmente se comprueba que S A ds = 4 . Como ha quedado descartada la existencia de fuentes escalares del campo fuera del origen, las fuentes que producen el campo estn todas acumuladas en el origen, y su densidad volumtrica all debe ser, en virtud del Teorema de la Divergencia y de la denicin de la distribucin delta de Dirac, de la forma: (ar /r2 ) = 4 (x) (y ) (z ).

5.

Rotacional de un campo vectorial

La densidad de fuentes vectoriales por unidad de supercie transversal de un campo vectorial se denomina rotacional del campo. Como la cantidad de fuentes vectoriales de un campo que atraviezan cierta supercie abierta se mide mediante una integral de circulacin, la circulacin y el rotacional estn estrechamente relacionados, siendo la primera una cantidad global y la segunda una cantidad puntual. De seguido se desarrollan ms amplia y formalmente estos conceptos.

5.1.

Integral de circulacin

Se conviene en admitir que la circulacin de un campo a travs de un camino cerrado mide la cantidad de fuentes vectoriales de este campo, en la direccin transversal del camino, enlazadas por el contorno. Dado un campo vectorial A = A(r ), se dene:
A C( S) =

A d fuentes vectoriales de Aenlazadas por

(S )

A donde la integral C = A d se lee como la circulacin del campo A a lo largo de . A Establecido un sentido de recorrido para la curva cerrada , si C( S ) > 0, entendemos que las lneas de fuerza de A se proyectan en promedio positivamente sobre la tangente de la curva , como circulando en el mismo sentido de recorrido prejado de la curva , y decimos que enlaza fuentes vectoriales del campo A, cuya orientacin en el espacio forma un sistema derecho

14

A con el sentido de recorrido de la curva . Si C( S ) < 0, las lneas de fuerza de A se proyectan en promedio negativamente sobre la tangente de la curva , como circulando en sentido contrario al sentido de recorrido prejado de la curva , y decimos que enlaza fuentes vectoriales del campo A, cuya orientacin en el espacio forma un sistema izquierdo con el sentido de recorrido A de la curva . Y si C( S ) = 0 interpretaremos que las lneas de fuerza de A no circulan a lo largo de , y decimos que no enlaza ninguna fuente vectorial de A. a

Ejemplo Se desea calcular la circulacin del campo Fs = que se muestran en la Fig. 8.

a travs de los caminos 1 y 2

(a)

(b)

Figura 8: Caminos cerrados con sus sentidos de recorrido para el clculo de la circulacin del campo Fs = a .

Solucin Faclmente se comprueba que 1 Fs d = 2 y 1 Fs d = 0, lo cual quiere decir que el camino cerrado 1 enlaza 2 fuentes vectoriales en la direccin de az del campo Fs , mientras que el camino 2 no enlaza fuentes vectoriales de dicho campo en la direccin de ax .

5.2.

Denicin de rotacional

Denimos ahora la componente n-sima del rotacional del campo vectorial A en un punto dado, en cierta direccin an arbitraria, la cual se escribe abreviadamente ( A)n , como la densidad de fuentes vectoriales de A en la direccin an por unidad de supercie transversal en dicho punto: ( A)n = l m O en modo equivalente: 1 Ad (29) S 0 S donde el camino de integracin es el contorno de la supercie S donde se encuentra el punto donde se desea calcular el rotacional de A y cuya normal coincide con la direccin de la componente del rotacional. La ecuacin (29) se lee: la componente del rotacional de un campo ( A)n = l m 15 (fuentes vectoriales de A)n S 0 S

vectorial A en un punto dado en una direccin arbitraria an se obtiene tomando una pequea supercie que contenga el punto y ortogonal a dicha direccin, calculando la integral de linea de A a lo largo del contorno de dicha supercie (la circulacin) (2 ), y dividiendo esta circulacin entre la supercie en la medida que sta se hace disminuir hasta dimensiones innitesimales. La cantidad que se obtiene (la componente del rotacional en la direccin normal a la supercie) tiene dimensiones de una densidad supercial de circulacin o de fuentes vectoriales. Para obtener el rotacional de A se deben calcular las componentes de ste segn las tres direcciones bases de un sistema de coordenadas dado. En coordenadas curvilneas generalizadas ser: A = ( A)1 a1 + ( A)2 a2 + ( A)3 a3 (30)

Para calcular la componente ( A)1 del rotacional en un punto genrico p(u1 , u2 , u3 ) se toma una supercie incremental uno de sus vrtices Figura 9: Supercie diferencial que S1 con centro en el punto p, o con p como A contiene el punto donde se desea ver Fig. 9, y se calcula la circulacin C1 del campo a lo largo calcular el ( A)1 = A a1 . del contorno 1 de dicha supercie. Con relacin a la Figura 9 se tiene: ( A) 1 donde Ad
pl

1 h2 h3 u2 u3

Ad +
pl ln

Ad +
nm

Ad +
mp

Ad

(31)

A(en p) a2 (longitud del tramo pl) A2 (h2 u2 ) (32)

El cculo de mn Ad se puede calcular a partir del resultado dado por la Ec. (32), asumiendo que el campo A sea de buen comportamiento (continuo y derivable), tanto en S como en , ( pl A d )u3 + T.O.S., mediante el desarrollo en serie de Taylor mn A d = pl A d + u 3 donde los trminos de orden superior contienen potencias del incremento u3 (un 3 ), con n 2, los cuales se pueden despreciar en virtud del proceso de lmite. De esta forma: (A2 h2 u2 )u3 u3

Ad
mn

A2 h2 u2 +

y A d A2 h2 u2 (A2 h2 )u2 u3 u3 (33)

nm

Por otro lado: Ad

mp

A(en p) (a3 )(longitud del tramo np) A3 h3 u3 (34)

La direccin de circulacin debe cumplir la regla de la mano derecho respecto a la normal a la supercie en la direccin en la que se desea calcular la componente del rotacional

16

Finalmente, para el clculo de procedi con mn A d : Ad

nl

nl

A d se puede proceder de manera similar a como se (A3 h3 u3 )u2 u2

A3 h3 u3

y (A3 h3 )u3 u2 (35) u2 ln Al sustituir las Ecs. (32), (33), (34) y (35) en la Ec. (31), efectuar la suma y resolver el lmite, se obtiene: A d A3 h3 u3 + 1 (A3 h3 ) (A2 h2 ) h2 h3 u2 u3 Las componentes restantes de A se pueden calcular de manera similar hasta obtener: ( A)1 = A = a1 (A3 h3 ) h2 h3 u2 a3 + (A2 h2 ) h1 h2 u1 a2 (A2 h2 ) + (A1 h1 ) (A3 h3 ) u3 h1 h3 u3 u1 (A1 h1 ) u2

(36)

La Ecuacin (36) se puede escribir de forma concisa mediante el determinante: 1 A= h1 h2 h3 h1 a1 h2 a2 h3 a3 u1 u2 u3 h1 A1 h2 A2 h3 A3

(37)

Al especializar la ecuacin (37) para cada sistema de coordenadas se obtienen las expresiones que se presentan en el cuadro 7.

Cuadro 7: Rotacional A expresado en diferentes sistemas de coordenadas

Cartesianas ax x Ax ay y Ay az z Az Cilndricas a a az z A A Az Esfricas ar ra r sin a r Ar rA r sin A

1 r2 sin

5.3.

Teorema de Stokes

Dado el campo A y la supercie abierta S de permetro ver gura 10(a), siendo A de buen comportamiento tanto en S como en , se puede demostrar que: A ds =
S

Ad

(38)

17

Para ello dividimos la supercie S en N supercies incrementales Sn . Para el punto central de la supercie incremental Sn , a la cual asociamos un vector an normal que satisface la regla de la mano derecha con el sentido de recorrido establecido para el permetro n de Sn , vale: ( A)n = l m 1 Sn 0 Sn Ad
n

(39)

Si las Sn se toman lo sucientemente pequeas como para considerar que el rotacional del campo A sea constante sobre ellas, se podr escribir: ( A)n ( A)n Sn A Sn an 1 Sn
n

Ad
n

Ad Ad
n

(40)

aproximacin que mejora en la medida que los Sn se hacen cada vez ms pequeos, en cuyo lmite: N .

(a)

(b)

Figura 10: (a) Supercie abierta para la ilustracin del Teorema de Stokes y (b) detalle de un par de supercies incrementales contiguas.
Siendo la Ecuacin (40) cierta para cada elemento incremental de supercie, tambin lo ser para la suma:
N N

A Sn
n=1

Ad
n=1 n

(41)

donde Sn = Sn an . En el proceso de limite, la aproximacin se convierte en una igualdad:

N Sn 0 N n=1 N

l m

A Sn = l m

Sn 0 n N n=1

Ad

(42)

18

Para el miembro de la derecha de la ecuacin (42), en particular, se tiene:

N Sn 0 N n=1 Sn 0 N

l m

=
S

(43) (44)

l m Sn = ds

y
N Sn 0 N n=1

l m

A Sn =

A ds
S

(45)

Para resolver el lmite del miembro de la derecha de la Ecuacin (42), nos basaremos en el hecho de que en el cmputo de la circulacin de A a lo largo del contorno n , en el tramo comn a dos supercies incrementales contiguas ver gura 10(b), la integral de contorno se debe evaluar, para una supercie dada, dgase Sn , en un sentido, mientras que para la supercie contigua, dgase Sn+1 , en sentido contrario. Esta situacin reduce la suma de las integrales de contorno sobre los permetros n , con n = 1, 2, . . . , N , a la suma de las integrales de lnea sobre aquellos tramos que yacen sobre la curva exterior , siendo , como sabemos, el contorno que dene la supercie abierta S . Esto es:
N S n 0 n N n=1

l m

Ad =

Ad

(46)

Juntando ambos resultados, ecuaciones (45) y (46), obtenemos el denominado Teorema de Stokes: (47) A ds = A d
S

5.4.

Denicin alternativa del rotacional de un campo vectorial

1 0

Una denicin alternativa del rotacional de un campo vectorial es [8]: A = l m an A ds (48)

S ( )

A partir de la denicin alternativa del rotacional de un campo vectorial expresada por la ecuacin (48), es posible establecer la siguiente ecuacin: l m ( A)i i = ani Ai dsi ani Ai dsi (49) ani Ai dsi

i 0 N i=1

Si (i ) N

i 0 N

l m ( A)i i = ( A)i i =
i=1

i=1 Si (i ) N i=1 Si (i )

i 0

l m

A d =
V S (V )

an A ds

19

Problema ar r2 donde ap es un vector unitario arbitrariamente orientado en el espacio puesto en el origen, calcule A apoyndose en la ecuacin (49). A = ap Dado el campo

6.
6.1.

Identidades nulas
(V ) = 0

Todo campo vectorial derivado del gradiente de un campo escalar es irrotacional. Esta identidad nula se puede interpretar fsicamente teniendo presente que un campo de gradiente es un campo de lineas abiertas y por tanto no circula alrededor de ningn punto. La lectura en sentido inverso de esta identidad dice que todo campo Fi irrotacional, Fi = 0, se puede expresar como el gradiente de cierto campo escalar : Fi = V . Comprobacin Dado un contorno cerrado arbitrario y una cualquiera de las supercies tendidas por l, dgase S , como se ilustra en la Fig. 11, al calcular el ujo de Fi a travs de S , S Fi ds, Figura 11: Supercie abiery al aplicar el Teorema de Stokes se obtiene: ta S arbitraria y su conS

Fi ds = =

V d
(S )

torno para la comprobacin de la identidad nula V = 0.

dV

= V (pf ) V (pi ) = 0 donde pi,f son los puntos inicial y nal, los cuales coinciden. Problema
P2 Dado un campo F , si la integral de lnea P F d es independiente del camino de 1 integracin, entonces el mencionado campo se denomina campo conservativo. Demuestre que si F = , entonces F es conservativo.

Problema
= Fx , Dado un campo F conservativo, obtenga a partir de F tomando en cuenta que x = Fy z = Fz . Resp.: En la pgina 92 de [1] se ilustra la aplicacin de tres mtodos para resolver este problema. El ms elegante consiste en seleccionar una poligonal entre los puntos P0 (x0 , y0 , z0 ) y y

20

P (x, y, z ) e integrar a F a lo largo de los tramos paralelos a los ejes coordenados para obtener
r

(x, y, z ) 0 = =

F d
r0 x x0 y z

F x dx +

y0

F y dy +

z0

F z dz

Ejemplo 1. Dado el campo F = ax + 2y ay a ) calcule

1

F d (Fig. 12),

b) si F fuera de la forma F = , calcule (x, y, z ), a menos de una constante.

Figura 12: Contorno 1 para el cculo de

Solucin

F d

1. Antes de embarcarnos en el clculo de la integral de lnea vericaremos que el campo no circule. Para ello tomaremos el rotacional del campo F = = 0 lo cual comprueba que el campo no rota. a ) Empleando el Teorema de Stokes se obtiene que integrar propiamente.

ax + ay + az (ax + 2y ay ) x y z

F d = 0, sin necesidad de

b) Efectivamente, como F = 0, se podr escribir F = F = ax + ay + az x y z

x

de modo que, por comparacin, se deduce que:

(x, y,z ) (0,0,0) x

=1y
y 0

= 2y . De esta forma

F d

dx + 0 x = x + y2

dy y

y por tanto (x, y ) = x + y 2 + C 21

6.2.

( J ) = 0

Todo campo vectorial derivado del rotacional de otro campo vectorial es solenoidal. Esta identidad nula se puede interpretar fsicamente teniendo presente que un campo de rotacional3 es un campo de lineas cerradas y por tanto no diverge de ningn punto. La lectura en sentido inverso de esta identidad dice que todo campo Fs solenoidal, Fs = 0, se puede expresar como el rotacional de cierto campo vectorial : Fs = J .

Comprobacin
Para comprobar esta indentidad podemos postular que Fs = J y tomar la integral de volumen de la divergencia de Fs , en el volumen encerrado por la supercie arbitraria S que se muestra en la Fig. 13(a).

(a) Supercie cerrada S arbitraria.

(b) Divisin de S en dos supercies abiertas S = S1 + S2 .

Figura 13: Supercie S cerrada arbitraria para la comprobacin de la identidad A = 0.

Aplicando el Teorema de la Divergencia, esta integral se la puede convertir en una integral de supercie: V Fs d = S (V ) Fs ds. Como la supercie cerrada S puede ser dividida en dos supercies abiertas S1 y S2 , de respectivos contornos 1 y 2 , tal que S = S1 + S2 como se muestra en la Fig. 13(b), de la misma manera, la integral de ujo se puede expandir en la suma de los ujos parciales a travs de tales supercies S1 y S2 : S (V ) Fs ds = S1 Fs ds + S2 Fs ds. Aplicando el Terorema de Stokes a cada una de estas integrales se obtiene
V

Fs d =

J d +
1 2

J d

donde, tomando en cuenta el sentido en que deben ser recorridos los caminos 1 y 2 -ver Fig. 13(b), se comprueba que 1 J d = 2 J d . Por lo anterior sigue que V Fs d = 0. Y como esto es cierto para cualquier volumen, sigue que ( J ) = 0.

7.

Condiciones de borde

En la supercie de separacin de dos regiones en las que, por razones vinculadas a las distintas propiedades fsicas de los medios que llenan tales regiones, cierto campo maniesta un cambio discreto, el campo est obligado a cumplir ciertas condiciones, las cuales se derivan de su estructura (especicada mediante su y su ), denominadas condiciones de borde.
3

Esto es: que se obtiene como rotacional de otro campo vectorial.

22

Sea A tal campo, y sea h el espesor alrededor de la supercie de contacto entre las dos regiones en el que las propiedades fsicas de los dos medios cambian de un valor dado en la regin 1, a otro valor en la regin 2. Las mencionadas condiciones de borde se expresan de la forma: an (A2 A1 ) = l m (h A)
h0 h0

an (A2 A1 ) = l m (h A) donde an va del medio 1 al medio 2. Ya que A y A representan las densidades en un volumen de las fuentes vectoriales y escalares de A, respectivamente, los lmites l mh0 (h A) y l mh0 (h A), los cuales implican la contraccin del volumen a una supercie, vienen a representar las densidades sobre esta supercie de tales fuentes.

8.

Teorema de Helmholtz

El Teorema de Helmholtz establece que el conocimiento de las fuentes del campo implica el conocimiento del campo y se le suele enunciar, en general, de dos formas: para problemas de dominio abierto y para problemas de dominio cerrado. Los problemas de dominio abierto ver Fig. 14(a) involucran todo el espacio y presuponen la inexistencia de fuentes del campo en el innito. En los problemas de dominio cerrado ver Fig. 14(b) nos interesa conocer el campo en una regin determinada delimitada por una supercie exterior, existiendo un gran espacio entre esta supercie y el innito de la que no se posee informacin. En esta clase de problemas, adems de las fuentes primarias del campo en la regin de inters, se requiere de las componentes tangencial y normal del campo sobre la supercie que delimita la regin de estudio. Ests componentes del campo se comportan como unas fuentes distribuidas superciales equivalentes, las cuales modelan las fuentes reales del campo que quedan fuera de la regin de estudio. En la Figura 14 se ilustran ambos escenarios.

8.1.

Dominios abiertos

Un campo vectorial F descrito por su divergencia F y su rotacional F , como se ilustra en la Fig. 14(a), tal que no posea fuentes en el innito, esto es: [ F ] = 0 [ F ] = 0 F = + A donde: =
V

(50) (51) (52) (53) (54)

se lo puede expresar como la suma de una componente irrotacional y una componente solenoidal(4 ):

1 F d 4 R 1 F d 4 R

A=
V
4

Las condiciones (50) y (51) implican la suposicin de no existencia de fuentes del campo en el innito.

23

(a) Problema de domino abierto

(b) Problema de dominio cerrado.

Figura 14: Escenarios para el enunciado del Teorema de Helmholtz. En ambos escenarios supondremos que las fuentes primarias del campo se distribuyen en un volumen V en los predios del observador. 14(a): La regin de inters es todo el espacio y se presupone que no existan fuentes del campo en el innito. 14(b): La regin de inters llena un volumen V1 delimitado por la supercie S1,2 , la cual hace de frontera con el espacio exterior (volumen V2 ).
8.1.1. Demostracin

Para comprobar el Teorema de Helmholtz ponemos: F = Fi + Fs tal que: Fi = Fi = 0 (56) (57) (55)

Fs = 0 Fs = J donde J = F y = F .

(58) (59)

Estudio de la componente irrotacional Fi del campo. De acuerdo a la Ec. (57), se puede escribir: Fi = (60) que al sustituir en la Ec. (56) se obtiene: () = 2 = 24 (62) (61)

La solucin de la Ec. (62), conocida como ecuacin de Poisson, se puede hallar determinando la forma del operador inverso de 2 : = (2 )1 , o sea: ( ) > (2 )1 >

donde hemos puesto como entrada del sistema o excitacin, la funcin densidad volumtrica de fuentes escalares , y como salida la funcin potencial escalar . El operador (2 )1 tendr la forma de una integral de convolucin: (r ) =
V

G(r , r )[ (r )] d

(63)

y su ncleo G(r , r ), denominado funcin de Green, ser la respuesta impulsiva del sistema : (x x ) (y y ) (z z ) > (2 )1 > G(r , r )

Esto es: la funcin G(r , r ) en el integral de la Ec. (63) es a su vez la solucin de espacio libre de la ecuacin: 2 G(r , r ) = (x x ) (y y ) (z z ) (64) donde (x x ) (y y ) (z z ) es una excitacin espacial impulsiva(5 ) localizada en r = x ax + y ay + z az , la cual se dene de la manera siguiente: (x x ) (y y ) (z z ) = 0, tal que:

(x, y, z ) = (x , y , z )

(65)

(x, y, z ) (x x ) (y y ) (z z ) = (x , y , z )

(66)

Mientras (x x ) (y y ) (z z ) representa, como se ha dicho, una fuente puntual colocada en r , G(r , r ) representa el potencial producido por dicha fuente en el punto r , con r = r . La Ecuacin (64) se puede resolver teniendo presente que, al tratarse de una fuente puntual, el problema tiene simetra esfrica, y la Ec. (64) asume la forma: 1 G(r , r ) R2 = f (R ) 2 R R R (67)

donde R = r r , y f (R) es la funcin impulsiva en el sistema de coordenadas esfricas, esto es: 1 (r r ) f (R) = (68) 4 R2 En efecto, al integrar en todo el espacio, deniendo las variables y a partir del origen excntrico r ser:
R= R=0
5

2 0 0

(r )

1 (r r ) 2 R sin dddR = (r ) 4 R2

(69)

(x x ) (y y ) (z z ) corresponde a una fuente escalar puntual del campo.

25

De este modo la Ec. (67) se puede escribir: 1 G(r , r ) 1 (r r ) R2 = 2 R R R 4 R2 que para r = r , da lugar a la ecuacin: 1 G(r , r ) R2 =0 2 R R R La solucin de la Ec. (71) es: A +B R Los valores de las constantes A y B se pueden determinar: G(r , r ) = (i) Dado que
R

(70)

(71)

(72)

l m G(r , r ) = 0

(73)

sigue que B = 0. (ii) Dado que: G(r , r ) d = 1

V

(74) (75)
1 R
R = a , sigue que R2

sigue que A
V

2
1 R

1 d = 1 R y que 1 R

y tomando en cuenta que 2

1 R

A
V

d = 1

(76)

aR d = 1 (77) R2 V Al tomar una supercie esfrica con centro en r y al aplicar el Teorema de la divergencia se obtiene: 2 a R R2 sin ddaR = 1 (78) A 0 0 R2 A
2

A
0 0

sin dd = 1
4

(79)

y A= De este modo obtenemos: 1 4 (80)

1 1 4 R y nalmente la solucin para (r ), al sustituir la Ec. (81) en la Ec. (63), es: G(r , r ) = (r ) = 1 4 26
V

(81)

(r ) d R

(82)

Estudio de la componente solenoidal Fs del campo. De acuerdo a la Ec. (58), se puede escribir: Fs = A (83) que al sustituir en la Ec. (59), se obtiene ( A) = J ( A) 2 A = J Si asumimos que A = 0(6 ), la Ec. (85) asume la forma: 2 A = J que en coordenadas Cartesianas da lugar a tres ecuaciones escalares: 2 Ax = Jx 2 Ay = Jy 2 Az = Jz (86) (85) (84)

(87)

Ya que las Ecs (87) tienen la misma forma de la Ec. (62), las soluciones de las primeras tendrn igualmente la misma forma de la solucin de la segunda: Ax = Ay Az 1 4 1 = 4 1 = 4 Jx (r ) d R Jy (r ) d R Jz (r ) d R (88) (89) (90)

De este modo la solucin de la Ec. (86) es: A= 1 4 J (r ) d R (91)

En particular, sustituyendo las expresiones de las Ecs. (82) y (91) en la Ec. (52) se obtiene7 : F = 1 4 (r ) 1 d + R 4

J (r ) d R
A

(92)

si se sustituyen en esta ecuacin, las expresiones dadas en las Ecs. (56) y (59), se obtiene la siguiente ecuacin equivalente: F = 1 4 F 1 d + R 4

6 7

F d R
A

(93)

Luego se comprobar que la solucin para A que se obtiene efectivamente satisface A = 0 Utilizando las identidades vectoriales: ( ) = + y (A) = A + A

27

Otra forma equivalente de la Ec. (92) se obtiene de la siguiente manera: 1 4 (r ) 1 d + R 4

F =

J (r ) d R
A

1 4

(r ) R

d +

1 4

J (r ) R aR d R2

(94)

1 4

(r ) 1 aR d + 2 R 4
Fi

J (r )
V Fs

8.2.

Dominios cerrados

En los problemas de dominio cerrado, como el que se muestra en la Fig. 14(b) en la pg. 24, el campo F aun se podr descomponer en la suma de una componente irrotacional y una componente solenoidal segn la Ec. (52), solo que la funciones potenciales se han de modicar para tener en cuenta las densidades de fuentes superciales equivalentes sobre la supercie exterior S1,2 de la regin de estudio: = A =
V

1 4

F 1 d R 4 V 1 F 1 d + 4 R 4

F an ds R S1,2 F an ds R S1,2

(95) (96)

9.

Problemas propuestos

(a) Curva

(b) Supercie S cerrada

Figura 15: Figuras de inters del Problema 1.

1 1. Dado el campo A = (a + a ), calcule

a ) Las fuentes vectoriales enlazadas por Fig. 15(a). b) Las fuentes escalares contenidas en S Fig. 15(b). 28

2. Dado el campo F denido por F = J y F = 0, y dada la supercie S1 + S2 que se ilustra en la Fig. 3(a), compruebe que | S1 F ds| | S2 F ds| = 0. 3. Dado el campo F denido por F = 0 y F = , y dado el contorno = 1 + 2 que se ilustra en la Fig 16(a), compruebe que | 1 F d | | 2 F d | = 0.

(a) Curva = 1 + 2 .

(b) Supercie cerrada S1 +

S2

Figura 16: Figuras de inters de los Problemas 2 y 3.

4.

Referencias
[1] Murray R. Spiegel. Vector Analysis and an introduction to tensor analysis. Schaums Outlines, 1959. [2] Roger F. Harrington. TIME-HARMONIC ELECTROMAGNETICS FIELDS. McGraw-Hill, U.S.A., 1961. [3] Syed A. Nasar. 2000 solved problems in electromegnetism. McGraw Hill, USA, 1992. [4] William H. Hayt. Teora electromagnetica. McGraw-Hill, Mexico, 1991. [5] V. V. Nikolski. Electrodinmica y propagacin de ondas de radio. Mir, 1985. [6] Reitz/Milford/Christy. Fundamentos de la teora electromagntica. Iberoamericana, USA, 1984. [7] David Cheng. Fundamentos de electromagnetismo para ingeniera. Iberoamericana, USA, 1997. Addison-Wesley Addison-Wesley

[8] Richmond B. McQuistan. CAMPOS ESCALARES Y VECTORIALES. Interpretacin fsica. Limusa-Wiley, Mxico, 1969.

29

ndice alfabtico
base vectorial, 3 campo conservativo, 20 campos irrotacionales, 8 campos solenoidales, 8 circulacin, 14 componente irrotacional, 23, 24 componente solenoidal, 23, 27 coordenadas curvilneas ortogonales generalizadas, 2 curva coordenada, 2 delta de Dirac, 14 diferencial de camino, 3 diferencial de volumen, 3 diferenciales de supercie, 3 direccin del gradiente, 7 Divergencia de un campo vectorial, 8 ecuacin de Poisson, 25 elemento de camino, 3 elemento de volumen, 3 elementos de supercie, 3 factor de escala, 3 ujo, 8 fuente puntual, 25 fuentes escalares, 8 fuentes vectoriales, 14 funcin de Green, 25 Gradiente de un campo escalar, 6 mdulo del gradiente, 7 respuesta impulsiva, 25 Rotacional de un campo vectorial, 14 supercies coordenadas, 2 Teorema de Helmholtz, 23 Teorema de la Divergencia, 12 Teorema de la divergencia, 10 Teorema de Stokes, 19 transformacin de coordenadas, 4 Transformacin de la base vectorial, 4 variables coordenadas, 2 30