1

Problemas de condiciones de contorno en

electrosttica y magnetosttica
1. Problemas de condiciones de contorno en electrosttica
1.1 Introduccin
Las ecuaciones fundamentales de la electrosttica son
0 = E
r
y = D
r
(1.1.1)
junto con determinada relacin constitutiva entre D
r
y E
r
. En el caso muy frecuente en que el
medio sea lineal esta relacin es E D
r r
= , donde es la permitividad del medio que, en
general, ser una funcin del punto. Las ecuaciones (1.1.1) se pueden sustituir por una
ecuacin de segundo grado para el potencial . La primera ecuacin (1.1.1) indica que el
campo es conservativo y, por tanto, es el gradiente de un potencial escalar.
= E
r
(1.1.2)
Admitiendo una relacin lineal entre D
r
y E
r
y teniendo en cuenta la segunda ecuacin (1.1.1)
se deduce la ecuacin que verifica el potencial
( ) =
(1.1.3)
Si la permitividad fuera constante en una determinada regin, (1.1.3) se reducira a
( )
( )
=

2

r
r
r
r

(1.1.4)
que se conoce con el nombre de ecuacin de Poisson. En el caso particular de ser nula la
densidad de carga nos queda la denominada ecuacin de Laplace
( ) =
2
0
r
r
(1.1.5)
Consideremos una regin V con una densidad de carga limitada por una superficie S que
contiene un medio material con una permitividad . El potencial se obtiene resolviendo la
ecuacin (1.1.3), o en su caso cualquiera de sus variantes, sujeta a unas determinadas
condiciones de contorno establecidas sobre S. La informacin acerca de las cargas exteriores
a V es reemplazada por la informacin que suministran las condiciones de contorno, stas
deben ser suficientemente restrictivas como para asegurar una solucin nica. Como veremos
ms adelante, dos tipos de condiciones de contorno, las de tipo Dirichlet, en las que se
especifica el valor del potencial sobre S, y las de tipo Neumann, en las que se especifica el
valor de la derivada normal a S, aseguran la unicidad de la solucin.
2
Dentro de la regin de inters puede haber distintos materiales dando lugar a cambios
bruscos en la permitividad. En ese caso, en la superficie de separacin entre medios diferentes
la ecuacin (1.1.3) carece de sentido; en su lugar habr que plantear (1.1.3) en cada uno de los
subdominios en los que vara suavemente y conectar las soluciones mediante unas
condiciones de contorno apropiadas. Las condiciones de contorno para el potencial en la
superficie de separacin entre dos medios se deducen de las condiciones de contorno para los
campos D
r
y E
r
, que son:
( ) = n D D
r
r r
1 2 (1.1.6)
( ) 0
1 2
r r r
r
= E E n
(1.1.7)
donde es la densidad superficial de carga libre. Salvo en problemas, poco frecuentes, en
los que haya presente una capa doble de carga (dos capas infinitamente prximas de carga
superficial diferente), la condicin de continuidad de la componente tangencial del campo
elctrico es equivalente a la de continuidad del potencial. Para problemas de potencial la
ecuacin
2 1
=
(1.1.8)
resulta ms fcil de aplicar que (1.1.7).
1.2 Teorema de Green, funciones de Green y condiciones de contorno
Si la densidad de carga es conocida en todo el espacio, la solucin a (1.1.4) se
calcula directamente a travs de la expresin
( )
( )

r
r
r r
r
r
r r
dV =

1
4

(1.2.1)
donde la integral est extendida a todo el espacio. Nos referiremos al punto definido por el
vector de posicin
r
r como punto campo y al definido por
r
r como punto fuente. Sin
embargo, en la mayor parte de los problemas de electrosttica la densidad de carga no se
conoce en todo el espacio a priori y, por tanto, (1.2.1) resulta inadecuada. Como veremos a
continuacin, el uso de las llamadas funciones de Green nos va a permitir encontrar una
solucin explcita al problema del potencial cuando ( )
r
r es conocida dentro de una regin V
y, adems, se han establecido unas condiciones de contorno apropiadas sobre su frontera, S.

V
O
r
r
r
r
r r
r r
Figura 1.
Aplicando el teorema de Green
3
( )




2 2
=

|
\

|
.
|

V S
dV
n n
dS

(1.2.2)
a la funcin =
r r
r r
1
y al potencial electrosttico y teniendo en cuenta que
( )
( )

r
r

=
r
r
2
( ) =

2
1
4
r r r r
r r r r
(1.2.3)
resulta
( ) ( )
( )
+


|
\

|
.
| =



|
\

|
.
|

4
1 1 1

r r r
r
r r r r r r
r r r
r
r r
dV
n r r r r n
dS
V S
(1.2.4)
Si el punto
r
r est dentro de V, se obtiene
( )
( )
S d
r r n n r r
V d
r r
r
r
S V

|
|
.
|

\
|

+


=

r r r r r r
r
r 1 1
4
1
4
1

(1.2.5)
Debemos hacer varias consideraciones acerca de esta expresin. En primer lugar, si la
superficie S se lleva al infinito (1.2.5) coincide con (1.2.1) como cabra esperar. La
explicacin es sencilla. Si admitimos que la carga est limitada a una regin finita del espacio,
la componente normal del campo elctrico vara segn
( )
O r
2
, el potencial lo hace segn
( )
O r
1
y, por tanto, el integrando decae segn
( )
O r
3
. Como S aumenta segn
( )
O r
2
la
integral decae como
( )
O r
1
, y en el infinito se anula. En segundo lugar, contrariamente a lo
que aparenta, (1.2.5) no es una solucin al problema del potencial sino una relacin integral.
La razn est en que en la integral de superficie aparecen como datos el potencial y su
derivada normal y stos no pueden especificarse de forma independiente; cualquiera de ellos
determina una solucin nica al problema. Podemos salvar este inconveniente introduciendo
un grado de libertad que nos permita que en (1.2.5) slo aparezca un nico tipo de condicin
de contorno, Dirichlet o Neumann.
Llamaremos funcin de Green para el problema electrosttico, ( ) G r r
r r
, , a una funcin
que satisface la ecuacin
( )
( )
=

2
G r r
r r r r
r r
,

(1.2.6)
Podemos generar funciones de Green aadiendo a 1 4
r r
r r funciones ( ) F r r
r r
, que
satisfagan la ecuacin de Laplace en el interior de V. As, las funciones de Green para el
problema de Poisson estn construidas de la forma siguiente:
4
( ) ( ) G r r
r r
F r r
r r
r r
r r
, , =

+
1
4
(1.2.7)
donde ( ) F r r
r r
, satisface
( ) =
2
0 F r r
r r
,
(1.2.8)
Hemos de notar que ( ) G r r
r r
, se puede interpretar como el potencial en el punto
r
r creado por
una carga unitaria situada en
r
r ms el potencial debido a cargas exteriores a V.
Considerando un punto
r
r interior a V y sustituyendo (1.2.7) en (1.2.2) y usando (1.1.1) y
(1.2.6) llegamos a
( ) ( ) ( ) ( )
( )
( )
( )

r r r r r r
r
r
r r
r G r r r dV G r r
r
n
r
G r r
n
dS
V S
= +

|
\

|
.
|

, ,
,

(1.2.9)
Utilizaremos ahora el grado de libertad que nos proporciona ( ) F r r
r r
, para asegurar que
slo aparece un tipo de condicin de contorno en la integral de superficie. As, si el problema
de Poisson est sujeto a una condicin de contorno de tipo Dirichlet en la que ( )
r
r es
conocido en toda la superficie S, debemos exigir a ( ) G r r
r r
, que cumpla la condicin Dirichlet
homognea
( ) G r r r S
r r r
, = 0 para
(1.2.10)
de esta forma (1.2.9) se reduce a
( ) ( ) ( ) ( )
( )

r r r r r
r r
r G r r r dV r
G r r
n
dS
V S
=

,
,

(1.2.11)
Ahora, esta expresin slo contiene una condicin de contorno de tipo Dirichlet y constituye
una solucin al problema de Poisson para
r
r dentro de V.
Cuando las condiciones de contorno son de tipo Neumann debemos ser ms cuidadosos.
De esta manera, estaramos tentados de imponer a ( ) G r r
r r
, la condicin
( )

=
n
G r r r S
r r r
, 0 para
(1.2.12)
que hara desaparecer de la integral de superficie el trmino que contiene la condicin
Dirichlet para . Sin embargo, esta condicin para ( ) G r r
r r
, no es admisible. La aplicacin
del teorema de la divergencia a (1.2.6) demuestra que
( ) ( ) ( )

1
, , ,
2

= = =

S d n r r G V d r r G V d r r G
S V V
r r r r r r r
(1.2.13)
5
condicin que es claramente incompatible con (1.2.12). En lugar de (1.2.12) podemos
imponer la condicin Neumann no homognea
( )
( )
S r
S A
r r G
n

r r r
para ,
1
,

(1.2.14)
donde ( ) A S es el rea total de la superficie S. Sustituyendo esta condicin en (1.2.2) se
obtiene
( ) ( ) ( ) ( )
( )

r r r r r r
r r
r G r r r dV G r r
r r
n
dS
S
V S
= + +

, ,
,

(1.2.15)
donde
( )

S
S
A S
dS =

1
(1.2.16)
es el promedio del potencial sobre la superficie S. En muchos casos el problema con
condiciones Neumann es un problema exterior en el que V es la regin comprendida entre
unas superficies cerradas y la superficie del infinito. En ese caso ( ) A S es infinito y la
condicin (1.2.14) se reduce a una condicin Neumann homognea y
S
es nulo. En
cualquier caso,
S
es una constante aditiva que no influye en el campo elctrico resultante.
1.3 Teorema de unicidad
En esta seccin estableceremos cuales son las condiciones de contorno que hacen que la
ecuacin de Poisson tenga solucin nica. Supongamos una regin V limitada por una
superficie S en cuyo interior hay un material con una permitividad ( )
r
r que puede depender
de la posicin (material inhomogneo). Si admitimos que ( )
r
r es una funcin
suficientemente regular el problema electrosttico estar descrito por la ecuacin de tipo
Poisson
( ) ( ) ( ) ( ) =
r r r
r r r
(1.3.1)
Consideraremos que o n estn especificados sobre S, es decir, las condiciones de
contorno sobre S son de tipo Dirichlet o de tipo Neumann. Tambin se admitir la posibilidad
de que se establezcan condiciones Dirichlet sobre una parte de S y de tipo Neumann sobre el
resto. Procederemos a demostrar por reduccin al absurdo que, bajo estas hiptesis, la
solucin es nica. Supongamos que y son dos soluciones de (1.3.1) y que ambas
satisfacen las mismas condiciones de contorno, por tanto, = satisface la ecuacin
homognea
( ) = 0
(1.3.2)
dentro de V, y en la frontera
6

= = 0 0 o para

n
r S ,
r
(1.3.3)
Consideremos la siguiente identidad vectorial
( ) ( ) = +
(1.3.4)
Aplicando el teorema de la divergencia a (1.3.4) se obtiene
( ) ( ) ( )
= + =

V V S
dV dV
n
dS
(1.3.5)
Cualquiera de las condiciones de contorno (1.3.3) hacen que la integral de superficie de
(1.3.5) se anule. Adems, teniendo en cuenta (1.3.2) se deduce que
=

2
0
V
dV
(1.3.6)
De aqu se desprende que = 0 , y en consecuencia, = cte dentro de V. En el caso
particular de condiciones Dirichlet, = 0 sobre S, y por tanto, la constante anterior debe ser
nula ya que de lo contrario sera discontinuo en todos los puntos de S. En consecuencia,
con condiciones Dirichlet, hemos demostrado que = , esto es, el potencial est
unvocamente determinado dentro de V. Si las condiciones sobre la frontera son Neumann tan
slo se tiene que = + cte . No obstante, el campo elctrico s queda unvocamente
determinado; la constante aditiva anterior no tiene ninguna relevancia.
Es posible llegar a las mismas conclusiones si admitimos que V es una regin ilimitada
pero la carga est concentrada en una regin finita.
Figura 2
En ese caso podemos considerar la frontera exterior a V como una superficie esfrica S
R
de
radio infinito (ver figura 2). Las condiciones de contorno slo estn descritas sobre la
superficie interior S
I
. Como el comportamiento asinttico de n sobre la esfera es de
la forma
( )
O R
3
, mientras que S
R
crece como
( )
O R
2
se deduce que la integral de superficie
de (1.3.5) se anula sobre S
R
cuando R . Siguiendo el mismo razonamiento que en el
problema anterior concluimos que la solucin es nica.
S
I
S
R
S S S
I R
=
( )
r
r
7
En el problema electrosttico analizado anteriormente se supona que ( )
r
r era una
funcin que no presentaba discontinuidades. Sin embargo, en numerosas ocasiones esto no es
as. Veremos que el teorema de unicidad tambin se cumple cuando existen cambios bruscos
en las propiedades dielctricas del medio. Consideremos, por simplicidad, que el dominio esta
dividido en dos subdominios V
1
y V
2
cuyas permitividades son ( )
1
r
r y ( )
2
r
r ,
respectivamente. Supongamos que
1
y
1
son dos soluciones a la ecuacin (1.3.1) en V
1
y
que
2
y
2
son dos soluciones en V
2
. Denominemos V
1
y V
2
a las fronteras de V
1
y de
V
2
, respectivamente, S
12
a la parte comn entre V
1
y V
2
, y S V S
1 1 12
= y S V S
2 2 12
=
a las partes no comunes de cada una de las fronteras (ver figura 3).
Figura 3
Puesto que estamos admitiendo que la permitividad del medio es suficientemente
regular en cada uno de los subdominios, podemos escribir
( ) ( )


1 1 1 1 1 1 1 1
1
1
1 1
+ =

V V
dV
n
dS
( ) ( )


2 2 2 2 2 2 2 2
2
2
2 2
+ =

V V
dV
n
dS
(1.3.7)
donde
1 1 1
= y
2 2 2
= . El potencial y la componente normal del vector
desplazamiento elctrico son continuos en frontera de separacin de ambos medios, por tanto,

1 2
= y
1 1 1 2 2 2
n n = en S
12
. El signo menos en la segunda igualdad se debe
a que
r r
n n
1 2
= . Sumando las dos ecuaciones de (1.3.7) y teniendo en cuenta que
V S S
1 1 12
= y V S S
2 2 12
= , llegamos a expresin
( ) ( ) ( ) ( )

1 1 1 1 1 1 2 2 2 2 2 2
1 1
1
1
1 1
1
1
2 2
2
2
2 2
2
2
1 2
12 1 12 2
+ + + =
= + + +

V V
S S S S
dV dV
n
dS
n
dS
n
dS
n
dS
(1.3.8)
Ahora bien, al aplicar la ecuacin (1.3.1) a cada subdominio, imponer las condiciones de
continuidad sobre S
12
y las condiciones de contorno, Dirichlet o Neumann, sobre S
1
y S
2
, a
la ecuacin (1.3.8), desaparecen los primeros sumandos de las integrales de volumen y todas
las integrales de superficie, quedando la igualdad

1 1
2
2 2
2
1 2
0 + =

V V
dV dV
(1.3.9)
S
1
S
12
( )
1
r
r
( )
2
r
r
S
2
V
1
V
2
r
n
1
r
n
2
8
La ecuacin (1.3.9) equivale a afirmar que = +
1 1
cte y = +
2 2
cte . Es decir, el
potencial est unvocamente determinado excepto por una constante aditiva irrelevante (nula
en el caso de condiciones Dirichlet).
1.4 Mtodo de las imgenes
En algunos casos las condiciones de contorno de un problema electrosttico pueden ser
simuladas por un conjunto discreto de cargas puntuales o lneas de carga exteriores a la regin
de inters, las imgenes. Las cargas imgenes deben reproducir las mismas condiciones de
contorno que las establecidas para el problema original. El teorema de unicidad asegura que la
solucin al problema con imgenes es la misma que la del problema original, ya que tambin
lo son las condiciones de contorno. Hay que hacer hincapi en que las cargas imgenes deben
estar colocadas fuera del dominio, de lo contrario estaramos modificando la distribucin de
carga dentro de ste y, por tanto, el problema a resolver. Esta tcnica slo es aplicable en
problemas dotados de alta simetra en los que resulte sencillo conocer a priori algunos grados
de libertad del vector de posicin de la carga imagen. Los siguientes ejemplos valdrn como
ilustracin de este mtodo.
En primer lugar consideraremos una esfera conductora de radio a, conectada a tierra,
que se encuentra en presencia de una carga puntual q situada en el punto
r
r
0
exterior a la
esfera, tal como se muestra en la figura 4.
Figura 4
Calcularemos el potencial electrosttico en la regin exterior a la esfera, por tanto, las
imgenes deben estar situadas en el interior de la misma (regin exterior al dominio de
inters). La simetra del problema sugiere que probemos con una nica carga imagen q
situada en algn punto
r
r
0
de la recta que une el origen con la carga q. Con esta suposicin el
potencial estar producido por dos cargas puntuales, q y q , y ser
( )
r
r r r r
r
q
r r
q
r r
=

+


|
\

|
.
|
1
4
0 0 0

(1.4.1)
Debemos exigir que el potencial (1.4.1) sea nulo en los puntos situados sobre la esfera.
Escribiendo los vectores de posicin en coordenadas esfricas
r r
r rn = ,
r r
r r n
0 0 0
= y
r r
= r r n
0 0 0
,
donde
r
n y
r
n
0
son los vectores unitarios en las direcciones del punto campo, P, y de las
cargas, respectivamente, e imponiendo la condicin de contorno, se obtiene
0
n
r
q
r
r
0
q
P
y
z
r
r
r
r
0
x
n
r
9
( ) r a
q
a n
r
a
n
q
r n
a
r
n
= =

|
\

|
.
|
|
|
|
|
=
1
4
0
0 0
0
0 0
0
r r
r r
(1.4.2)
Ntese que esta condicin se ha de cumplir para cualquier vector unitarios
r
n y
r
n
0
, por tanto,
se tienen que satisfacer las ecuaciones
q
a
q
r
n
r
a
n n
a
r
n
=

0
0
0 0
0
r r r r
(1.4.3)
La segunda de las ecuaciones (1.4.3) es equivalente a escribir
r r r r r r r r
n
r
a
n n
r
a
n n
a
r
n n
a
r
n
|
\

|
.
|

|
\

|
.
|
=

|
\

|
.
|

|
\

|
.
|
0
0
0
0 0
0
0
0
(1.4.4)
de donde se deduce que
r
a
a
r
r
a
a
r
n n
0
2
2
2
0
2
0
0
0
2

|
\

|
.
|

r r
(1.4.5)
Como el ngulo entre
r
n y
r
n
0
es arbitrario, tambin lo es su producto escalar. As, la nica
solucin a (1.4.5) es
r
a
a
r
0
0
=

(1.4.6)
La primera ecuacin de (1.4.3) junto con (1.4.6) forman un sistema de ecuaciones del que se
deduce que
=
=
q q
a
r
r
a
r
0
0
2
0 (1.4.7)
Una vez encontrada la carga imagen, el problema electrosttico para el exterior de la esfera
est completamente resuelto; cualquier dato que necesitemos se puede deducir a partir del
potencial creado por la carga puntual q y la imagen q . Por ejemplo, la densidad superficial
de carga sobre la esfera es = =
= =
r
r
r
r
D n E n
r a r a
0
, donde el vector normal
r
n apunta hacia el
exterior del dominio, es decir, el interior de la esfera. Sustituyendo (1.4.7) en la expresin
(1.4.1), y despus de hacer algunas operaciones, se obtiene
10

= =
|
\

|
.
|

|
\

|
.
|
+
|
\

|
.
|
=
0
0
2
0
2
2
0
2
0
3
2
4
1
1 2

r
q a
r
a
r
a
r
a
r
r a
cos
(1.4.8)
donde cos =
r r
n n
0
es el ngulo formado por los vectores de posicin de la carga q y del
punto P. La carga total sobre la esfera conductora, Q, se podra obtener, como es lgico,
integrando a toda la superficie esfrica. Sin embargo, hay un procedimiento mucho ms
sencillo que explicaremos a continuacin. Aplicando el teorema de Gauss, en el problema
imagen, a una esfera imaginaria S que sustituye a la esfera conductora del problema
original, se obtiene =

E dS q
n
S

0
, donde E
n
es la componente normal del campo elctrico
en el problema imagen. La unicidad de la solucin nos asegura que el campo elctrico, y por
tanto, tambin su componente normal E
n
, en el exterior de la esfera conductora coincide con
el campo elctrico en el exterior de la esfera imaginaria , y como consecuencia
E dS
Q
E dS
q
n
S
n
S

= = =


0 0 (1.4.9)
De aqu se deduce que la carga total sobre la esfera conductora es igual a la carga imagen,
Q q = . En general, podemos afirmar que la carga total sobre un conductor es igual a la suma
de cargas imgenes encerradas por la superficie imaginaria que sustituye a ste en el
mtodo de las imgenes.
Una situacin algo diferente a la anterior es aquella en la que la esfera, en vez de estar
conectada a tierra, est aislada y cargada con una carga arbitraria Q. Ahora debemos colocar
otra carga imagen que asegure esta condicin, pero que mantenga el potencial constante sobre
la esfera. Es claro que si aadimos una carga imagen de valor Q q a la ya existente en el
problema imagen anterior, q , conseguiremos que la carga total encerrada por la esfera sea Q.
Como las equipotenciales creadas por una carga puntual son esferas concntricas centradas en
la misma, debemos situar esta nueva carga en el origen de coordenadas. As, el potencial
sobre la superficie esfrica ser constante, pero su valor habr pasado a ser ( )
2
0
4 a q Q .
El problema se reduce a calcular el potencial creado por las dos cargas imgenes q y Q q
y la carga original q.
Supongamos ahora que exigimos que la esfera est aislada pero que tenga un potencial
determinado, digamos V. En este caso, el problema se reduce al anterior pero con una carga
imagen en el centro de valor 4
0
2
Va .
Como veremos a continuacin, el mtodo de las imgenes nos posibilita para encontrar
la funcin de Green con condiciones Dirichlet. Segn se vio en el apartado 1, la funcin de
Green para el problema con condiciones de contorno Dirichlet obedeca a la ecuacin
( )
( )
=


2
G r r
r r
r r V
r r
r r
r r
, ,

, para
(1.2.6)
sujeta a la condicin Dirichlet homognea
11
( ) G r r r S
r r r
, , = 0 para
(1.2.10)
Figura 5.
Las ecuaciones (1.2.6) y (1.2.10) tienen la forma de un problema electrosttico con
condiciones Dirichlet homogneas. Ntese que el potencial ( )
r r
r r , en el punto
r
r creado por
una carga unitaria situada en
r
r obedece tambin la a ecuacin (1.2.6). La condicin Dirichlet
homognea exige que el potencial ( )
r r
r r , sea nulo cuando
r
r se encuentra sobre S (ver
figura 5). La nica diferencia entre hallar la funcin de Green y la solucin al problema
electrosttico que acabamos de plantear se encuentra en la variable utilizada para imponer la
condicin de contorno, en (1.2.10) exigimos que
r
r est sobre S, mientras que en el problema
electrosttico es
r
r la que debe estar situada sobre S. No obstante, este inconveniente no tiene
relevancia debido a que las funciones de Green para los problemas con condiciones Dirichlet
son simtricas, es decir, ( ) ( ) G r r G r r
r r r r
, , = y, por tanto, (1.2.10) equivale a poner
( ) G r r
r r
, = 0 para
r
r S . La simetra de ( ) G r r
r r
, para las funciones de Green que satisfacen
las condiciones de contorno Dirichlet se puede demostrar mediante el teorema de Green. En el
caso de condiciones de contorno Neumann la simetra no es automtica, pero puede
imponerse como condicin. En resumen, la solucin del problema electrosttico con
condiciones Dirichlet homogneas es la funcin de Green para la misma geometra. Si la
simplicidad del problema lo permite, podemos hallar ( )
r r
r r , , y por tanto ( ) G r r
r r
, , mediante
el mtodo de las imgenes.
El siguiente ejemplo ayudar a clarificar la manera en que se obtiene la funcin de
Green por medio del mtodo de las imgenes. Deseamos hallar el potencial en el exterior de
una esfera de radio a cuya superficie est mantenida a potencial ( ) V , . El problema
electrosttico asociado consiste en hallar el potencial en el exterior de una esfera de radio a
conectada a tierra (potencial nulo) en presencia de una carga unitaria situada en un punto
arbitrario
r
r exterior a la esfera (interior a la regin que nos concierne). En realidad, este
problema ya lo hemos resuelto en el primer ejemplo de este apartado, slo tenemos que
sustituir los resultados de (1.4.7) en (1.4.1), intercambiando
r
r
0
por
r
r y poniendo q = 1, para
obtener
( ) G r r
r r
a
r r
a
r
r
r r
r r
r r
, =

|
\

|
.
|
|
|
|
1
4
1
0
2
2

(1.4.10)
Utilizando coordenadas esfricas (1.4.10) se escribe como
V
O
r
r
r
r
q = 1
S
12
( )
( )
G r r
r r rr r r
a
a rr
r r
,
cos
cos
=
+

+
|
\

|
.
|
|
\

|
.
|
|
|
|
|
|
1
4
1
2
1
2
0 2 2
1
2
2 2
2
2
1
2

(1.4.11)
La simetra de la funcin de Green se hace evidente al intercambiar
r
r por
r
r . Una vez
obtenida la funcin de Green slo resta calcular su derivada normal en = r a y sustituirla en
(1.2.11). Haciendo algunas operaciones deducimos que
( ) ( )
( )

G r r
n
r a
a r a ra
r a
r r
,
cos

=

+
|
\

|
.
|
|
| =
1
4
2
0
2 2
2 2
3
2
(1.4.12)
Si no hay carga en el exterior de la esfera el nico trmino no nulo de (1.2.11) es la integral
de superficie, en ese caso el potencial est dado por
( ) ( )
( )
( )

= =

+

=

2
0 0
2
3
2 2
2 2
sen
cos 2
,
4
1
, , d d
ra a r
a r a
V r
(1.4.13)
donde es el ngulo formado por r
r
y r
r
.
1.5 Separacin de variables; funciones y desarrollos ortogonales
Diremos que la ecuacin de Laplace es separable en un sistema de coordenadas , y
si al suponer una descomposicin factorial del potencial en la forma
( ) ( ) ( ) ( )

, , = U U U se consigue trasformar sta en un conjunto de ecuaciones
diferenciales ordinarias dependientes de una nica coordenada. Existen unas condiciones
generales, que no vamos a exponer aqu, que permiten establecer si, en un sistema de
coordenadas dado, la ecuacin de Laplace es separable o no (ver, por ejemplo, tema VI del
libro Electromagnetismo de la UNED). El mtodo de separacin de variables es adecuado
cuando las superficies del problema en consideracin coinciden con superficies coordenadas
(superficies obtenidas al mantener una coordenada fija y permitir la variacin de las otras
dos).
Para descomponer la ecuacin de Laplace en tres ecuaciones diferenciales ordinarias
(estamos suponiendo que estamos en un espacio tridimensional) es necesario introducir tres
constantes de separacin, que estarn ligadas por una ecuacin algebraica. Por tanto,
disponemos de dos grados de libertad en las constantes de separacin. Esto hace que exista un
conjunto doblemente infinito de soluciones. Una combinacin lineal de estas soluciones,
correspondientes a diferentes constantes de separacin, es tambin una solucin vlida. En
algunos casos, una eleccin apropiada de las constantes de separacin hace que las soluciones
de una o varias de las ecuaciones en derivadas ordinarias formen una base ortogonal de
funciones, permitiendo as expresar la solucin mediante un desarrollo en serie de Fourier
generalizada. Expondremos a continuacin las propiedades ms importantes de los desarrollos
en serie de funciones ortogonales.
13
Denominemos
| |
L a b
2
, al conjunto de funciones, reales o complejas, de cuadrado
integrable sobre el intervalo
| |
a b , , esto es, funciones ( ) f para las que se cumple que
( ) f d
a
b

<
2
. Sean ( ) e
n
unas funciones, reales o complejas, pertenecientes a
| |
L a b
2
, , se
dice que estas funciones son ortogonales si satisfacen la relacin
( ) ( ) e e d c c n m c c n m
n
a
b
m nm nm nm n

= = = donde si y si = 0 0
(1.5.1)
Si las ( ) e
n
son ortogonales, siempre ser posible dividir a cada una de ellas por su norma,
c
n
, para formar un conjunto ortonormal. Consideremos ahora que ( ) { }
B e
n
n
=
=

0
es un
conjunto ortonormal de funciones de
| |
L a b
2
, . Se dice que B constituye una base ortonormal
de
| |
L a b
2
, si es maximal, es decir, si no es subconjunto propio de ningn otro conjunto
ortonormal de
| |
L a b
2
, . Una funcin arbitraria ( ) f de
| |
L a b
2
, se puede desarrollar
mediante las funciones ortonormales de la base B en una serie de Fourier generalizada
( ) ( ) f a e
n n
n
=
=

0
(1.5.2)
donde
( ) ( ) a e f d
n n
a
b
=

(1.5.3)
En general, la igualdad (1.5.2) no es una igualdad puntual, es decir, la serie no tiene por qu
coincidir con ( ) f en cada punto del intervalo, sta hay que interpretarla en el sentido de
convergencia cuadrtica.
( ) ( ) f a e d
n
n
a
b
=
=

0
2
0
(1.5.4)
La condicin (1.5.4) tan slo exige que la funcin y su serie representativa difieran en un
conjunto de medida nula. No suele ser fcil la tarea de probar que un determinado conjunto
ortonormal forma una base, no obstante, la mayora de conjuntos ortonormales que aparecen
en la fsica matemtica lo son. Algunos ejemplos de bases ortogonales son:
Base trigonomtrica de Fourier en
| |
L
2
0 2 , : B e
jn
n
=

`
)

1
2
0

Base de Legendre en
| |
L
2
11 , : ( ) B n P
n
n
= +

`
)
=

1
2
0
donde ( ) ( )
P
n
d
d
n n
n
n
n

=
1
2
1
2
!
son
los llamados polinomios de Legendre.
La construccin de bases ortonormales en dimensin mayor que uno se hace a partir de
las bases en dimensin uno. As, si ( ) { }
e
n
n

0
es una base ortonormal de
| |
L a b
2
, y
14
( ) { }
f
n
n

0
lo es de
| |
L c d
2
, , el conjunto ( ) ( ) { }
B e f
n m
n m
=
=

, 0
constituye una base
ortonormal de
| | | |
L a b c d
2
, , . El desarrollo de una funcin arbitraria ( ) f , queda de la
forma
( ) ( ) ( ) f a e f
nm n
n m
m
,
,
=
=

0
(1.5.5)
donde
( ) ( ) ( ) a e f f d d
nm n m
c
d
a
b
=

= =



,
(1.5.6)
1.6 El mtodo de separacin de variables en coordenadas cartesianas
En esta seccin vamos a aplicar el mtodo de separacin de variables a problemas
dotados de simetra rectangular.
La ecuacin de Laplace en coordenadas cartesianas es

2
2
2
2
2
2
0

x y z
+ + =
(1.6.1)
Intentaremos encontrar una solucin que pueda ser expresada de la forma
( ) ( ) ( ) a e f f d d
nm n m
c
d
a
b
=

= =



,
(1.6.2)
Sustituyendo (1.6.2) en (1.6.1) y dividiendo por ( ) ( ) ( ) X x Y y Z z se obtiene
1 1 1
0
2
2
2
2
2
2
X
d X
d x Y
d Y
d y Z
d Z
d z
+ + =
(1.6.3)
Cada uno de los sumandos de (1.6.3) depende exclusivamente de una variable. Por tanto, la
nica manera de conseguir que esta expresin se anule en cualquier punto es haciendo que
cada sumando sea constante y, por supuesto, imponiendo que la suma de constantes sea nula.
1 1 1
2
2
2
2
2
2
2
2
2 2 2 2
X
d X
d x Y
d Y
d y Z
d Z
d z
= = = = + , , siendo
(1.6.4)
Si arbitrariamente elegimos que
2
y
2
sean positivos, entonces, las soluciones de las
ecuaciones (1.6.4) son
( ) ( ) X x e X x
x
x
i x
=

o, de forma equivalente, =
cos
sen
15
( ) ( ) Y x e Y y
y
y
i y
=

o, de forma equivalente, =
cos
sen
( ) ( ) Z z e Z z
z
=

o, de forma equivalente, =
cosh z
senh z
(1.6.5)
Los productos de las funciones de (1.6.5), ( ) ( ) ( ) X x Y y Z z , son soluciones de la ecuacin de
(1.6.1). Ms an, cualquier combinacin lineal de estos productos es tambin una solucin de
la ecuacin de Laplace. De momento, a falta de imponer las condiciones de contorno, las
constantes y son totalmente arbitrarias.
Como ejemplo, consideremos un recinto con forma de prisma rectangular de
dimensiones a, b y c en las direcciones x, y y z, respectivamente. Supondremos que todas las
superficies estn a potencial cero excepto la superficie z c = cuyo potencial es ( ) V x y , .
Debemos encontrar el potencial en el interior del prisma
Figura 6
Aunque es posible escribir la solucin en trminos de exponenciales complejas, suele resultar
ms sencillo utilizar desarrollos en senos y cosenos en los problemas en los que el potencial
es real. Las condiciones de contorno nulas en x = 0, y = 0 y en z = 0 sugieren que no
aparezcan cosenos en el desarrollo en serie. As, intentaremos calcular una solucin en
trminos de las funciones ( ) X x x = sen , ( ) Y y y = sen y ( ) Z z z = senh . Las condiciones de
contorno citadas anteriormente se satisfacen automticamente cualesquiera que sean las
constantes y . Las condiciones de contorno en x a = y en y b = implican que sena = 0
y que senb = 0, de donde se deduce que a n = y b m = , con n m , , , = 1 2 K, esto es,




= = = = = = +
|
\

|
.
|
n m nm
n
a
m
b
n
a
m
b
, y
2
2
2
2
1
2
(1.6.6)
De esta manera, las soluciones particulares son de la forma

nm
n x
a
m y
b
n
a
m
b
z =
|
\

|
.
|
|
\

|
.
|
+
|
\

|
.
|
|
\

|
.
|
|
|
sen sen

senh
2
2
2
2
1
2
(1.6.7)
y
z
x
= 0
= 0
( ) = V x y ,
= 0
= 0
= 0
b
a
c
16
La solucin general se construye mediante una combinacin lineal de soluciones particulares.
=
|
\

|
.
|
|
\

|
.
|
=

A
n x
a
m y
b
z
nm nm
n m
sen sen senh
,


1 (1.6.8)
Los coeficientes A
nm
se determinan al imponer la condicin de contorno ( ) ( ) x y c V x y , , , = .
La serie (1.6.7), particularizada en z c = , tiene forma de desarrollo en serie de Fourier. Ello
sugiere que expresemos ( ) V x y , mediante una serie de Fourier y de ah deduzcamos, por
comparacin, los coeficientes A
nm
. Sin embargo, existe una dificultad. En principio, un
desarrollo en serie de ( ) V x y , contendr senos y cosenos, mientras que (1.6.7) slo contiene
senos. Para salvar esta dificultad desarrollaremos, no ( ) V x y , , si no su extensin impar en x e
y, que llamaremos ( ) V x y
ex
, y estar definida en el intervalo
| | | |
a a b b , , . Como ahora el
intervalo de integracin es simtrico respecto al origen, todos los coeficientes de la serie
representativa de ( ) V x y
ex
, cuyo integrando sea impar en x o en y se anularn. Por tanto, los
nicos coeficientes no nulos sern aquellos que multiplican a productos de dos funciones
seno. As, escribimos
( ) V x y b
n x
a
m y
b
ex nm
n m
, sen sen
,
=
|
\

|
.
|
|
\

|
.
|
=

1 (1.6.9)
donde
( ) b
ab
V x y
n x
a
m y
b
dydx
nm ex
y b
b
x a
a
=
|
\

|
.
|
|
\

|
.
|
= =

1
, sen sen

(1.6.10)
Sin embargo, como ( ) V x y
ex
, es impar en x e y, la integracin se puede efectuar en el intervalo
| | | |
0 0 , , a b , en el que, por supuesto, ( ) V x y
ex
, coincide con ( ) V x y , . Teniendo esto en cuenta
podemos escribir
( ) V x y b
n x
a
m y
b
nm
n m
, sen sen
,
=
|
\

|
.
|
|
\

|
.
|
=

1 (1.6.11)
donde
( ) b
ab
V x y
n x
a
m y
b
dydx
nm
y
b
x
a
=
|
\

|
.
|
|
\

|
.
|
= =

4
0 0
, sen sen

(1.6.12)
Por ltimo, comparando (1.6.8), particularizada en z c = , con (1.6.11) deducimos que
( ) A
ab c
V x y
n x
a
m y
b
dydx
nm
nm
y
b
x
a
=
|
\

|
.
|
|
\

|
.
|
= =

4
0 0
senh
, sen sen

(1.6.13)
Como caso particular consideremos que ( ) V x y V , =
0
(una constante). La integracin de
(1.6.13) da como resultado
17
( )
| |
( )
| |
A
V
nm c
nm
n m
nm
=
4 1 1 1 1
0
2
senh
(1.6.14)
1.7 El mtodo de separacin de variables en coordenadas polares
Las coordenadas polares constituyen una restriccin de las coordenadas cilndricas, son
adecuadas para tratar problemas con geometra cilndrica en los que la solucin no dependa
de la coordenada z y, por tanto, puedan considerarse bi-dimensionales. La ecuacin de
Laplace en coordenadas polares adopta la forma
1 1
0
2
2
2

|
\

|
.
|
+ =
(1.7.1)
Buscaremos soluciones que puedan expresarse de la forma
( ) ( ) ( ) , = R
(1.7.2)
Al sustituir (1.7.2) en (1.7.1) y multiplicar por
2
R se obtiene

R
d
d
dR
d
d
d
|
\

|
.
|
+ =
1
0
2
2

(1.7.3)
Cada uno de los sumandos de (1.7.3) depende de una nica variable, por tanto, la anulacin
de la ecuacin en cualquier punto exige que
2
2
2
2
1
y

=
|
|
.
|

\
|
d
d
d
dR
d
d
R
(1.7.4)
Las soluciones de estas ecuaciones son
( ) ( ) R
A B
A B
C D
C D

=
+ =
+

=
+ =
+

0 0 0 0
0
0
0
0
ln , ,
cos sen ,
para
, para
y
para
para

(1.7.5)
En principio, las constantes
2
y
2
podran estar intercambiadas en las ecuaciones (1.7.4),
sin embargo, en este caso, las soluciones a las que llegaramos no formaran una base
ortonormal.
En los problemas en los que no exista restriccin alguna sobre , la solucin y su
derivada respecto a este ngulo deben ser peridicas en con periodo 2 . Estas condiciones
aseguran que al mismo punto del espacio no le correspondan valores diferentes del potencial
o del campo elctrico. Teniendo en cuenta la forma en que se ha expresado el potencial en
(1.7.2), las condiciones de periodicidad equivalen a escribir
18
( ) ( ) | |
( ) ( ) | |

2 , 0 y entero con , 2
2 , 0 y entero con , 2
+ =
+ =
n n
n n
(1.7.6)
En particular, tomando n = 1 y = 0 y 1 = n en la segunda se tiene ( ) ( ) 0 2 = y
( ) ( ) 2 0 = . La imposicin de estas condiciones en la segunda ecuacin de (1.7.5) nos
lleva a las ecuaciones
( )
( )
0 para
0 1 2 cos 2 sen
0 2 sen 1 2 cos
y 0 para , 0 2
0

)
`

= +
= +
= =

D C
D C
D
(1.7.7)
La solucin a la primera ecuacin (1.7.7) es, obviamente, D
0
0 = . Para que la segunda y
tercera ecuaciones admitan solucin no trivial se debe cumplir que el determinante del
sistema de ecuaciones sea nulo
cos sen
sen cos
2 1 2
2 2 1
0

=
(1.7.8)
Esta condicin es equivalente a escribir ( ) cos sen 2 1 2 0
2
2
+ = , o lo que es lo mismo,
cos2 1 = . Las soluciones de esta ecuacin son
= donde
n
= = n n 12 , ,K
(1.7.9)
Para este tipo de problemas el potencial es de la forma
( ) ( )( ) , ln cos sen = + + + +

A B A B C n D n
n
n
n
n
n n
n
0 0
1 (1.7.10)
donde A
n
, B
n
, C
n
y D
n
son constantes.
En aquellos problemas en los que el dominio slo incluya ngulos comprendidos entre,
digamos,
1
y
2
, siendo
2 1
2 < , la solucin a la ecuacin (1.7.1) ya no tiene por qu
ser peridica, sta se obtiene mediante combinaciones lineales las funciones
( ) ( )( ) ( )( )

, ln cos sen = + + + + +

A B C D A B C D
0 0 0 0
(1.7.11)
Las condiciones de contorno fijarn los las posibles constantes de separacin , que, en
general, tomarn una serie de valores discretos. En algunos casos, las constantes que aparecen
en (1.7.10) o (1.7.11) son redundantes, razn por la cual algunas de ellas se pueden fijar
arbitrariamente.
Como primer ejemplo vamos a hallar el potencial electrosttico en el interior de un
cilindro de radio a, infinito en la direccin z, en el que se ha especificado el potencial en su
superficie. La condicin de contorno es
( ) ( ) | |
a V , , = para 0 2
(1.7.12)
19
Como el ngulo azimutal puede variar en todo su rango la solucin general al problema
ser de la forma (1.7.10). Por otra parte, dado que vara entre 0 y a y que el potencial debe
ser finito en el interior del cilindro (no hay ninguna distribucin singular de carga), los
coeficientes B
n
con n = 0 1 2 , , K deben ser nulos, adems, las constantes A
n
, con K 2 , 1 , 0 , son
excesivas y pueden igualarse a uno. Con todo esto, el potencial queda de la forma
( ) ( ) , cos sen = + +
=

A C n D n
n
n n
n
0
1 (1.7.13)
Aplicando la condicin de contorno (1.7.12) en (1.7.13) obtenemos
( ) ( ) ( ) a V A a C n D n
n
n n
n
, cos sen = = + +
=

0
1 (1.7.14)
Para calcular los coeficientes de (1.7.14) desarrollaremos ( ) V en serie de Fourier, resultando
( ) V a a n b n
n n
n
= + +
=

0
1
cos sen
(1.7.15)
donde
( ) ( ) ( )

d n V b d n V a d V a
n n

= = =
2
0
2
0
2
0
0
sen
1
y cos
1
,
2
1
(1.7.16)
y por comparacin con (1.7.14) se deduce que A a
0 0
= , C a a
n
n
n
=

y D a b
n
n
n
=

.
Procediendo de forma similar se obtiene para el problema exterior al cilindro el resultado
( ) ( ) , cos sen = + +

A C n D n
n
n n
n
0
1 (1.7.17)
donde, ahora, los coeficientes de esta serie son A a
0 0
= , C a a
n
n
n
= y D a b
n
n
n
= .
En el ejemplo siguiente consideraremos el clculo del potencial en el interior de una
porcin de cilindro comprendida entre los ngulos 0 y , infinita en la direccin z, y cuyo
potencial en = a es ( ) V , en = 0 es 0 y en = es constante e igual a V
0
. Una seccin
transversal de esta porcin de cilindro se muestra en la figura 7.
20
Figura 7
El potencial debe ser finito en el interior del cilindro y, por tanto, las constantes B
0
y B de
(1.7.11) deben ser nulas. Por otro lado, podemos elegir A A
0
1 = = , con lo que el potencial se
habr reducido a una combinacin lineal de las funciones
( ) ( )

, cos sen = + + + C D C D
0 0 (1.7.18)
La condicin de contorno ( ) ,0 0 = impuesta en (1.7.18) implica que C C
0
0 + =

y, para
que sta se satisfaga para todo comprendido entre 0 y a, debe ser C C
0
0 = = . Si ahora
imponemos la condicin ( ) , = V
0
llegamos a la ecuacin D D V
0 0

+ = sen . La
nica posibilidad para que la solucin sea independiente de es hacer D V
0 0
= y
Dsen = 0. Para que se satisfaga esta ltima ecuacin tenemos dos alternativas:
hacer D = 0 o sen = 0 . La primera impone un potencial en = a de la forma D
0
,
mientras que la segunda, como veremos inmediatamente, da lugar a una serie de Fourier que
permite se satisfaga una condicin de contorno general en = a ; en consecuencia,
elegiremos la segunda alternativa. Las soluciones para sen = 0 son = =
n
n y, por
tanto, el potencial ser de la forma
( )

, sen = +
=

V
D
n
n
n
n
0
1
(1.7.19)
Por ltimo, la condicin de contorno en = a permite la determinacin de los coeficientes
D
n
.
( ) a D
n
V
V
n
n
n

sen
=

=
1
0
(1.7.20)
Dado que la serie de (1.7.20) slo contiene funciones seno, debemos conseguir otro tanto para
la serie representativa de ( ) V
V

0
. En el apartado 6 vimos que el desarrollo en serie de
Fourier de la extensin impar de una funcin slo contena funciones seno. Aplicando este
razonamiento a la extensin impar de ( ) V
V

0
sobre el intervalo
| |
, , llegamos a la
expresin
( ) V
V
b
n
n
n

=
|
\

|
.
|
=

0
1
sen
(1.7.21)
a
( ) ( ) a V , =

( ) , =V
0
( ) ,0 0 =
21
donde
( ) b V
V n
d
n
=
|
\

|
.
|
|
\

|
.
|

2
0
0

sen
(1.7.22)
Una vez calculado los b
n
podemos determinar los coeficientes de (1.7.19), que estarn dados
por D a b
n
n
n
=

.
Como ejemplo concreto consideremos que ( ) V V =
1
, una constante. En este caso los
coeficientes (1.7.22) son
( )( )
| |
b
V V V
n
n
n
=
+ 2 1
1 0 1
(1.7.23)
y el potencial resultante es
( )
( )( )
| |

, sen = +
|
\

|
.
|
+
=

V
a
V V V
n
n
n n
n
0
1 0 1
1
2 1
(1.7.24)
Un caso particular de (1.7.24) nos va a servir para poner de manifiesto el
comportamiento del campo elctrico cerca del origen. Supongamos que en (1.7.24) hacemos
V
0
0 = , de manera que tengamos dos planos conductores a potencial cero y un conductor
semicircular a potencial V
1
. Ahora el potencial ser
( )
( )
| |

, sen =
|
\

|
.
|

=

a
V V
n
n
n n
n
2 1
1 1
1
(1.7.25)
La dependencia del potencial (1.7.25) con cerca del vrtice est dominada por el trmino

. Por consiguiente, tanto la componente radial del campo elctrico, , como la
azimutal, , tendrn una dependencia con , en la zona cercana al vrtice, de la
forma
1
. Para los ngulos menores que (Figura 8 (a)) el campo tiende a cero
cuando tiende a cero, mientras que para ngulos mayores que (Figura 8 (b)) el campo
crece indefinidamente cuando tiende a cero.
E E

,


0
0
<
E E

,


0
>
(a)
= 0
= 0
= 0
= 0
=V
1
=V
1
(b)
Figura 8
22
El comportamiento del campo cuando > nos muestra un hecho que tiene gran
transcendencia: el campo elctrico se hace muy intenso cerca de las aristas agudas. La
conducta singular del campo elctrico cerca de las aristas es la razn de la efectividad del
pararrayos. En las tormentas, cuando aparecen grandes diferencias de potencial entre el suelo
y las nubes, una arista, o mejor, una punta conductora unida a tierra dar lugar en primer lugar
a una descarga a su alrededor y entonces proporcionar uno de los extremos del camino
conductor zigzagueante a travs del aire por el que viaja la descarga elctrica, el rayo. La
mayor intensidad que puede adquirir el campo elctrico sin llegar a la descarga se denomina
campo de ruptura. sta depende del material que llena el medio. Por ejemplo, para el aire, el
campo de ruptura en condiciones normales de presin y temperatura es superior a
2 6 10
6
, V m.
1.8 El mtodo de separacin de variables en coordenadas esfricas
La ecuacin de Laplace en coordenadas esfricas es
1 1 1
0
2 2 2 2
2
2
r r
r
r r r

|
\

|
.
| +
|
\

|
.
| + =
sen
sen
sen
(1.8.1)
Inicialmente buscaremos soluciones que se puedan expresar en la forma
( ) ( ) ( ) r R r Y , , , =
(1.8.2)
Sustituyendo (1.8.2) en (1.8.1) y multiplicando por ( ) ( ) ( )
r R r Y
2
1
,

, se obtiene
1 1 1 1
2
2
2
2
R
d
d r
r
dR
d r Y
Y Y |
\

|
.
|
=
|
\

|
.
|
+

(
sen
sen
sen

(1.8.3)
El miembro de la izquierda es una funcin que depende exclusivamente de r, mientras que el
de la derecha slo depende de y . De aqu que ambos deban ser iguales a una constante
que denotaremos por . Las dos ecuaciones que resultan son
d
d r
r
dR
d r
R
2
0
|
\

|
.
| =
(1.8.4)
0
sen
1
sen
sen
1
2
2
2
= + +
|
|
.
|

\
|
Y
Y Y

(1.8.5)
Ms an, si sustituimos
( ) ( ) ( ) Y P Q , =
(1.8.6)
en la ecuacin (1.8.5) y multiplicamos por sen
2
PQ se obtiene
23
sen
sen sen

P
d
d
dP
d Q
d Q
d
|
\

|
.
| + =
2
2
2
1
(1.8.7)
Cada miembro depende de una variable diferente, por tanto, deben ser constantes. As,
obtenemos dos ecuaciones que dependen de una nueva constante de separacin, que
denominaremos m
2
.
1
0
2
2
sen
sen
sen

d
d
dP
d
m
P
|
\

|
.
| +
|
\

|
.
|
=
(1.8.8)
d Q
d
m Q
2
2
2
0

+ =
(1.8.9)
En primer lugar vamos a analizar la ecuacin (1.8.8). Supondremos que en la regin de
inters estn incluidos todos los valores de y , es decir,
| |
0, y
| |
0 2 , . Por
supuesto, hay problemas en los que el dominio no incluye todos estos ngulos, pero el
tratamiento matemtico que exigen hace que estn fuera de nuestro inters.
Haciendo el cambio de variables cos = x , donde
| |
x 11 , , y escribiendo ( ) = + l l 1 ,
(1.8.8) se transforma en una ecuacin conocida: la ecuacin de Legendre generalizada
( ) ( )
( )
d
d x
x
dP
d x
l l
m
x
P 1 1
1
0
2
2
2

|
\

|
.
| + +

|
\

|
.
|
|
=
(1.8.10)
Puede demostrarse (ver, por ejemplo, Jackson) que la existencia de soluciones continuas en
todo el intervalo
| |
11 , exige que el parmetro l sea un entero positivo o nulo y que m sea
tambin un entero que solamente puede tomar los valores ( ) ( ) l l l l , , , , , , 1 0 1 K K . En caso
contrario, todas las soluciones seran singulares en x = 1 y x = +1. Con estas suposiciones,
la ecuacin (1.8.11) admite dos soluciones linealmente independientes ( ) P x
l
m
y ( ) Q x
l
m
,
llamadas funciones de Legendre de primera y segunda especie, respectivamente. Las
funciones ( ) P x
l
m
son continuas en
| |
11 , mientras que las ( ) Q x
l
m
lo son en ( ) 11 , , pero
presentan singularidades en x = 1 y x = +1. Como muestra de estas funciones se ha
representado en la figura 9 (a) la funcin P
4
1
y en la 9 (b) la Q
4
1
.
-1 -0.5 0.5 1
-2
-1
1
2

-1 -0.5 0.5 1
-15
-12.5
-10
-7.5
-5
-2.5
2.5
(a) (b)
Figura 9
24
Puede demostrarse que el conjunto de funciones de Legendre de primera especie
( )
{ }
P x l m l m l
l
m
, con = 0,1,2 y entero fijo tal que K forma una base ortogonal sobre el
intervalo
| |
11 , que, por supuesto, puede normalizarse dividiendo por la norma de ( ) P x
l
m
,
que es ( ) ( )( )
| |
2 2 1
1 2
l m l l m + + ! ! . La solucin general de (1.8.8) es de la forma
( ) ( ) ( ) P AP BQ
l
m
l
m
= + cos cos
(1.8.11)
Normalmente, la solucin buscada debe ser continua en
| |
0, , en ese caso, (1.8.11) slo
puede contener ( ) P x
l
m
y, por tanto, B debe ser nulo. Las funciones de Legendre se pueden
obtener mediante la frmula
( )
( )
( ) ( )
P x
l
x
d
dx
x
l
m
m
l
m
l m
l m
l
=


+
+
1
2
1 1
2
2
! (1.8.12)
En numerosos textos se pueden encontrar tablas con las primeras de ellas, as como las
propiedades y relaciones ms importantes.
Analicemos ahora las soluciones de la ecuacin (1.8.4). Si en esta ecuacin hacemos el
cambio ( ) ( ) R r U r r = y escribimos ( ) = + l l 1 , nos queda
( )
d U
d r
l l
U
r
2
2 2
1 0 + =
(1.8.13)
cuya solucin es ( ) U r Cr Dr
l l
= +
+ 1
. De aqu, deshaciendo el cambio, obtenemos la solucin
general de (1.8.4)
( )
( )
R r Cr Dr
l l
= +
+1
(1.8.14)
Por ltimo, la solucin general de (1.8.9) es
( )

+
= +
=

0 para
0 para
0 0
m Fe Ee
m F E
Q
jm jm

(1.8.15)
Al ser m un nmero entero, la condicin de periodicidad para la funcin Q queda asegurada
cuando m 0 , es decir, ( ) ( ) Q Q = + 2 . Para que tambin se cumpla esta condicin en el
caso m= 0 se debe exigir que la constante F
0
sea nula, quedando, tan slo, el trmino
constante E
0
, que puede ser incluido en la solucin Ee Fe
im jm
+

admitiendo la posibilidad
m= 0 . Recordemos que la periodicidad de la funcin Q es un requisito esencial cuando el
dominio incluye todos los ngulos del intervalo
| |
0 2 , ya que sta equivale a imponer que
el potencial sea monovaluado.
Agrupando las funciones que dependen de las variables angulares y y
normalizando se forman los llamados armnicos esfricos
25
( )
( )
( )
( ) Y
l l m
l m
P e l l m l
lm l
m jm

,
!
!
cos , , , , , =
+
+

(
=
2 1
4
0 1 2
1
2
y K
(1.8.16)
El conjunto de armnicos esfricos constituye una base ortonormal de funciones sobre el
intervalo
| | | |
0 0 2 , , . Por tanto, una funcin arbitraria ( ) V , definida sobre el intervalo
| | | |
0 0 2 , , puede ser desarrollada en armnicos esfricos mediante la serie
( ) ( ) V c Y
lm lm
m l
l
l
, , =
= =

0
(1.8.17)
donde los coeficientes son
( ) ( ) c Y V d d
lm lm
=

= =

, , sen
0 0
2
(1.8.18)
Resumiendo, las soluciones de la ecuacin de Laplace en coordenadas esfricas son:
( )
( )
( )
( )
lm
l l
lm
r Ar Br Y , , , = +
+1
(1.8.19)
y la su solucin general ser una combinacin lineal de estas funciones
( )
( )
( )
( ) r A r B r Y
lm
l
lm
l
lm
m l
l
l
, , , = +
+
= =

1
0
(1.8.20)
donde A
lm
y B
lm
son constantes.
1.9 Problemas de condiciones de contorno dotados de simetra azimutal
Si el problema no tiene dependencia con el ngulo de azimut, , la funcin
Ee Fe
im jm
+

debe ser constante y, por tanto, m debe ser cero. Consideraremos que el
problema que nos concierne no presenta singularidades en los polos, = 0 y = . Con
estas suposiciones la solucin general a la ecuacin (1.8.1) es
( )
( )
( )
( ) r A r B r P
l
l
l
l
l
l
, cos = +
+
=

1
0
(1.9.1)
donde ( ) ( ) P P
l
l
cos cos =
0
son los llamados polinomios de Legendre, stos forman una base
ortogonal de funciones sobre
| |
0, . Los cuatro primeros son: ( ) P
0
1 cos = , ( ) P
1
cos cos = ,
( ) ( )
P
2
2
1 2 3 1 cos cos = y ( ) ( )
P
3
3
1 2 5 3 cos cos cos = .
Como primer ejemplo consideraremos que el potencial ( ) V est especificado sobre
una superficie esfrica de radio a y deseamos calcular el potencial en el interior de la esfera.
Imponiendo la condicin de contorno ( ) ( ) a V , = en (1.9.1) y teniendo en cuenta que los
26
coeficientes B
l
deben ser nulos para evitar que el potencial tenga una singularidad en el
origen, escribimos
( ) ( ) V A a P
l
l
l
l
=
=

cos
0 (1.9.2)
Si desarrollamos la funcin ( ) V en serie de Legendre, resulta
( ) ( ) V c P
l l
l
=
=

cos
0 (1.9.3)
donde
( ) ( ) c
l
P V d
l l
=
+
=

2 1
2
0
cos sen

(1.9.4)
Comparando con (1.9.2) deducimos que A c a
l l
l
=

.
Como segundo ejemplo, vamos a calcular el potencial en el interior y exterior de una
esfera de radio a y permitividad , situada en presencia de un campo elctrico que, en puntos
muy alejados del origen, es de la forma
r
r
E Eu
z
= .
Claramente, el potencial no depende del ngulo y, en consecuencia, ste ser de la forma
(1.9.1). Debemos distinguir dos regiones: regin interior a la esfera, r a < , y regin exterior,
r a > . En la regin interior el potencial,
( )

1
, no puede tener potencias de la forma
( )
r
l +1
ya
que de lo contrario, tanto l como el campo elctrico, divergiran. Tenemos, por tanto
( )
( )
( )
( )
1 1
0
r A r P
l
l
l
l
, cos =
=

(1.9.5)
En la regin exterior el potencial debe ser tal que el campo elctrico permanezca acotado
cuando r tiende a infinito. Esto se consigue mediante un potencial de la forma
( )
( )
( )
( )
( )
( )
( ) ( )
( )
2
0
2
0 1
2
1
2 1
0
r A P A rP B r P
l
l
l
l
, cos cos cos = + +
+
=

(1.9.6)
r
r
E Eu
r z

z
y
x

Figura 10
27
Imponiendo que el potencial sea continuo en r a = se obtiene la ecuacin.
( ) ( ) ( )
( )
( )
( )
( )
( )
( ) A a B a P A P A aP
l l
l l
l
l
1 2 1
0
0
2
0 1
2
1
= +
+
=

cos cos cos

(1.9.7)
Dado que los polinomios de Legendre son linealmente independientes, la ecuacin (1.9.7) es
equivalente a las ecuaciones
( ) ( ) ( )
( ) ( ) ( )
( ) ( ) ( )
A B a A
A a B a A a
A a B a l
l l
l l
0
1
0
2 1
0
2
1
1
1
2 2
1
2
1 2 1
0 2 3
=
=
= =

+
, , , para K
(1.9.8)
La componente radial del campo elctrico en la regin interior es
( )
( )
( )
( )
( ) E r
r
A lr P
r
l
l
l
l
1
1
1 1
0
, cos

= =

=

(1.9.9)
y en la exterior es
( )
( )
( )
( )
( )
( )
( )
( )
( ) E r
r
A P B l r P
r
l
l
l
l
2
2
1
2
1
2 2
0
1 , cos cos

= = + +
+
=

(1.9.10)
Dado que no hay densidad superficial de carga libre, la componente normal del vector
desplazamiento debe ser continua, es decir,
( ) ( )
E E
r
r a
r
r a
1
0
2
= =
= . Esto da lugar a la ecuacin
( ) ( )
( )
( )
( )
( )
( )
( ) A la B l a P A P
l l
l l
l
l
1 1
0
2 2
0
1
2
0 1
1
+
=

+ + =

cos cos
(1.9.11)
de donde se deduce que
( )
( ) ( ) ( )
( ) ( )
( )
( )

0 0
2 2
1
1
0 1
2 3
1
2
0
1 1
0
2 2
0
2
1 0 2 3
B a
A B a A
A la B l a l
l l
l l

+
=
+ =
+ + = = , , , para K
(1.9.12)
An nos queda imponer que el campo sea de la forma
r
r
E Eu
z
= cuando r tiende a infinito. Las
componentes normal y tangencial del campo cuando r tiende a infinito son:
( )
( )
( )
( )
( )
( )
( )
( )

cos ,
cos ,
1
2
1
2
1
2
1
2
P A r E
P A r E
r
=
=
(1.9.13)
28
Por otro lado, como
r r r
u u u
z r
= cos sen

, las componentes normal y tangencial del campo
a gran distancia deben ser Ecos y E sen . Comparando esta expresin con (1.9.13)
deducimos que
( )
= A E
1
2
. Ahora ya estamos en disposicin de hallar el resto de constantes.
Resolviendo las ecuaciones (1.9.8) y (1.9.12), obtenemos
( )
( ) ( )
( )
( )
( ) ( )
B
A A
A E
B a E
A B l
l l
0
2
0
1
0
2
1
1
0
0
1
2 3 0
0
1 2
0
3
2
2
0 2 3
=
=
=
+
=

+
= = =

, , , para K
(1.9.14)
En realidad, las constantes
( )
A
0
1
y
( )
A
0
2
estn todava indeterminadas, pero como stas
multiplican al trmino constante ( ) P
0
cos en (1.9.5) y (1.9.6), su valor carece de importancia,
podemos considerarlo nulo.
Como ( ) P
1
cos cos = , el potencial resultante es
( )
( )
( )
( )

1
0
0
2
0
0
3
2
3
2
2
r Er r a
r Er
a E
r
r a
, cos ,
, cos cos ,

=
+
<
= +

+
>
para
para
(1.9.15)
A partir del potencial se pueden hallar el campo elctrico en el interior y exterior de la esfera.
Tambin se puede determinar otra magnitud de inters, la polarizacin de la esfera,
( )
r r
P E =
0
.
1.10 El mtodo de separacin de variables en coordenadas cilndricas
La ecuacin de Laplace expresada en coordenadas cilndricas es
1 1
0
2
2
2
2
2

|
\

|
.
|
+ + =
z
(1.10.1)
Buscamos una solucin que pueda ser expresada de la forma
( ) ( ) ( ) ( ) , , z R Z z =
(1.10.2)
Al sustituir (1.10.2) en (1.10.1) y dividir por ( ) ( ) ( ) R Z z obtenemos
1 1 1
0
2
2
2
2
2


R
d
d
dR
d
d
d Z
d Z
d z
|
\

|
.
|
+ + =

(1.10.3)
29
El ltimo sumando de (1.10.3) depende nicamente de una variable, por tanto, tiene que ser
igual a una constante, que llamaremos k
2
d Z
d z
k Z
2
2
2
0 =
(1.10.4)
Igualando el primer y segundo sumando de (1.10.3) a la constante k
2
y multiplicando por

2
, obtenemos

R
d
d
dR
d
k
d
d
|
\

|
.
|
+ + =
2 2
2
2
1
0

(1.10.5)
El parmetro k es arbitrario, por el momento supondremos que es real y positivo. Ahora
vemos que los dos primeros sumandos dependen tan slo de mientras que el ltimo slo
depende de . La ecuacin (1.10.5) se desdobla en las ecuaciones:
1
0
2
2
2

d
d
dR
d
k R
|
\

|
.
|
+
|
\

|
.
|
=
(1.10.6)
d
d
2
2
2
0

+ =
(1.10.7)
donde
2
es la nueva constante de separacin.
Las soluciones de (1.10.4) y (1.10.7) son inmediatas.
( )
( )
Z z
A B z k
Ae Be A kz B k k
C D
C D
kz kz
=
+ =
+

=
+ =
+

0 0
0 0
0
0
0
0
,
cosh senh
cos sen ,
para
, o equivalentemente, + z, para

, para
para



(1.10.8)
El hecho de que el potencial deba ser monovaluado exige que las funciones ( ) sean
peridicas, con periodo 2 , en los problemas en los que el ngulo recorre todo en intervalo
| |
0 2 , . Esto exige a su vez que sea un nmero entero y que la constante D
0
de (1.10.8) sea
nula. En este caso, C D cos sen + incluye todas las soluciones ( ) si admitimos que
pueda ser cero.
Por ltimo estudiaremos la ecuacin (1.10.6), que recibe el nombre de ecuacin de
Bessel. Aqu, nos limitaremos a describir las caractersticas de sus soluciones, dejando de
lado su deduccin. Un tratamiento ms o menos detallado se puede encontrar en el de Jackson
o en el apndice IV del Choudhury, mientras que una relacin detallada de sus propiedades se
encuentra en el libro de la serie Schaum Frmulas y tablas de matemtica aplicada de
Spiegel y Abellanas.
30
La ecuacin de Bessel admite dos soluciones linealmente independientes denominadas
funciones de Bessel de primera especie y orden , ( ) J k

, y de segunda especie y orden ,

o funcin de Neumann, ( ) N k

. Las funciones J

son unas funciones oscilantes con

infinitos ceros, continuas e infinitamente derivables en el intervalo
| ) 0, . Las N

son
tambin oscilantes con infinitos ceros, continuas e infinitamente derivables en el intervalo
( ) 0, , pero singulares en el origen y, por tanto, no adecuadas para problemas en los que se
requiera regularidad en el este punto. Como ejemplo, en la figura 11 (a) se ha representado la
funcin J
3
y en la 11 (b) la funcin N
3
.
10 20 30 40 50
-0.3
-0.2
-0.1
0.1
0.2
0.3
0.4

10 20 30 40 50
-0.6
-0.4
-0.2
0.2
(a) (b)
Figura 11
La solucin general de (1.10.6) es
( )
( ) ( )

0 para ,
0 , 0 para ,
0 , 0 para , ln +
0 0
0 0

+
= +
= =
=

k k FN k EJ
k F E
k F E
R

(1.10.9)
En los problemas en los que el potencial no dependa de z la constante de separacin k y la
constante B
0
de (1.10.8) deben ser nulas. Ntese que las soluciones de (1.10.9) con k = 0 son
las soluciones de la ecuacin de Laplace en coordenadas polares. Podemos preguntarnos en
que sentido las funciones de Bessel forman una base ortogonal. Consideremos el conjunto de
funciones

J k
a
n
n
|
\

|
.
|
= , , , con fijo y 1 1 2 K
(1.10.10)
donde k
n
es la raz n-sima de J

, es decir,
( )
J k
n
= 0 . Se puede demostrar que este
conjunto constituye una base ortogonal en el intervalo
| |
0,a y que la norma de J

es
( ) ( )
a J k
n
2
1 +
. Una funcin arbitraria ( ) V definida en
| |
0,a puede ser desarrollada en
serie por medio de las funciones
( )


J k a
n
, sin embargo, como veremos a
continuacin, dado que el factor no depende de , se puede obviar. Si en vez de
desarrollar ( ) V en serie desarrollamos ( ) V tendramos
31
( )


V c J k
a
n n
n
=
|
\

|
.
|
=

1 (1.10.11)
siendo
( )
( )
( )
( )
c
a J k
V J k
a
d
a J k
V J k
a
d
n
n
n
a
n
n
a

=
|
\

|
.
|
=
|
\

|
.
|
+
+

2
2
2
1
2
0
2
1
2
0

(1.10.12)
No obstante, (1.10.11) se puede simplificar si dividimos por , quedando
( ) V c J k
a
n n
n

=
|
\

|
.
|
=

1 (1.10.13)
Esta expresin constituye un desarrollo en serie de ( ) V en funcin de
( )
J k a
n
. Por
supuesto, los coeficientes del desarrollo de la serie de Bessel (1.10.13) siguen estando dados
por (1.10.12).
Las funciones
( )
J k a
n
tienen la particularidad de anularse en = a , razn por la
cual son particularmente adecuadas para desarrollar funciones ( ) V que se anulen en este
punto. Esta situacin se presenta cuando el problema de potencial est definido con
condiciones de contorno Dirichlet nulas en = a . En algunos casos, cuando las condiciones
de contorno son Neumann homogneas, es ms adecuado un desarrollo en el que se anulen las
derivadas de las funciones J

. Es posible demostrar que el nuevo conjunto de funciones

J k
a
n
n

|
\

|
.
|
= , , , con fijo y 1 1 2 K
(1.10.14)
donde k
n
es una raz de la derivada de J

, es decir,
( )
= J k
n
0, es tambin una base
ortogonal sobre el intervalo
| |
0, a .
En ocasiones se requerir que las funciones que constituyen ( ) Z z sean exponenciales
complejas, o lo que es lo mismo, senos y cosenos, posibilitando de esta manera desarrollos en
serie de Fourier en la variable z. De hecho, si admitimos que la constante de separacin k sea
un nmero imaginario, que denotaremos por jk , las ecuaciones (1.10.4) y (1.10.6) se
modifican dando lugar a
0
2
2
2
= + Z k
z d
Z d
(1.10.15)
1
0
2
2
2

d
d
dR
d
k R
|
\

|
.
|
+
|
\

|
.
|
=
(e.136)
La solucin general de (1.10.15) es
32
( ) Z z
A B z k
Ae Be A kz B kz k
jkz jkz
=
+ =
+ +

0 0
0
0
,
cos sen ,
para
, o equivalentemente, para

(1.10.17)
La ecuacin (e.136) recibe el nombre de ecuacin de Bessel modificada. Admite dos
soluciones linealmente independientes, las funciones de Bessel modificadas de primera
especie y orden , ( ) I k

, y de segunda especie y orden , ( ) K k

. Estas funciones estn

relacionadas con las funciones de Bessel ordinarias a travs de la expresin
( ) ( )
( ) ( ) ( ) ( )
I k j J jk
K k j J jk jN jk

=
= +

+
2
1
(1.10.18)
Las funciones I

son continuas y derivables infinitas veces en el intervalo

| ) 0, , mientras
que las K

lo son en el intervalo ( ) 0, . stas ltimas presentan una singularidad en el

origen; deben ser descartadas en problemas en los que la solucin sea regular en este punto.
Dos de estas funciones, la I
3
y la K
3
, se han representado en las figuras 12 (a) y 12 (b).
10 20 30 40 50
2. 10
16
4. 10
16
6. 10
16
8. 10
16

10 20 30 40 50
0.02
0.04
0.06
0.08
0.1
0.12
(a) (b)
Figura 12
Para ilustrar el mtodo de separacin de variables en coordenadas cilndricas consideraremos
el problema de encontrar el potencial dentro de un cilindro de radio a y altura h con la base
inferior, z = 0, y la superficie lateral a potencial cero y la base superior, z h = , a potencial
( ) V , , tal como se muestra en la figura 13
x
y
z
h
= 0
( ) , V =
a
= 0
Figura 13
33
De los dos grupos de soluciones antes tratados, con k real o k imaginaria, debemos elegir
aquel que permita un desarrollo en serie de la funcin ( ) V , ; lgicamente, la eleccin k real
ser la apropiada. Adems, el cilindro incluye todos los ngulos comprendidos entre 0 y
2 , por tanto, ser un nmero entero, digamos m. La solucin estar construida a partir de
las funciones
( ) = + C m D m cos sen
(1.10.19)
( ) Z z A kz B k = cosh senh + z
(1.10.20)
para la dependencia con y con z, y
( ) ( ) EJ k FN k
m m
+
(1.10.21)
para la dependencia con .
Notemos que la condicin de contorno ( ) , ,0 0 = exige que la constante A de
(1.10.20) sea nula. Como el problema incluye el eje = 0 y el potencial debe ser regular en
todo el dominio, la funcin N
m
no puede aparecer en la combinacin lineal, por tanto, la
constante F ser nula tambin. Adems, la condicin de contorno = 0 en = a se satisface
automticamente si utilizamos
( )
J k a
m mn
para la construccin de la base ortogonal de
funciones, donde k
mn
es la raz n-sima de J
m
. Con estas consideraciones, el potencial adopta
la forma
( ) ( )

, , cos sen senh z C m D m k
z
a
J k
a
mn mn mn m mn
n m
= +
|
\

|
.
|
|
\

|
.
|
=

1 0
(1.10.22)
Nos resta tan slo imponer la condicin de contorno en z h = , para lo cual desarrollaremos en
serie de Fourier-Bessel la funcin ( ) V , .
( ) ( ) V c m d m J k
a
mn mn m mn
n m


, cos sen = +
|
\

|
.
|
=

1 0
(1.10.23)
Los coeficientes de esta serie son:
( )
( ) c
a J k
m J k
a
V d d
mn
m mn
m mn
a
=
|
\

|
.
|
+
= =

1 2
2
1
2
0 0
2

cos ,
(1.10.24)
y
( )
( ) d
a J k
m J k
a
V d d
mn
m mn
m mn
a
=
|
\

|
.
|
+
= =

1 2
2
1
2
0 0
2

sen ,
(1.10.25)
34
Particularizando la expresin (1.10.22) en z h = y comparando con (1.10.23) deducimos que
( )
| |
C c k h a
mn mn mn
=

senh
1
y
( )
| |
D d k h a
mn mn mn
=

senh
1
. Sustituyendo estas constantes en
(1.10.22) obtenemos el potencial en el interior del cilindro.
1.11 Solucin a la ecuacin de Poisson
Las tcnicas utilizadas para resolver la ecuacin de Laplace tambin son aplicables a la
resolucin de la ecuacin de Poisson, de ah la importancia que tiene el estudio de los
mtodos de resolucin de la ecuacin de Laplace.
Supongamos que la densidad de carga en una determinada regin del V espacio es ( )
r
r
y que, por simplicidad, la permitividad del medio, , es constante. En ese caso, el potencial se
obtiene resolviendo la ecuacin de Poisson.
( )
( )
=

2

r
r
r
r

(1.1.4)
Supongamos que se ha establecido una condicin de contorno de tipo Dirichlet sobre la
superficie S que limita a V, de manera que el potencial toma unos valores determinados ( )
r
r
S
sobre dicha superficie. La solucin de la ecuacin de Poisson es la suma de una solucin
particular y una solucin de la ecuacin homognea (la ecuacin de Laplace). Una solucin
particular de esta ecuacin en V es
( )
( )

0
1
4
r
r
r r
r
r
r r
dV
V
=

(1.11.1)
Naturalmente que
0
no es la solucin buscada, pues no satisface los valores impuestos
sobre el contorno, pero se puede buscar una solucin
1
que satisfaga las siguientes
condiciones
( )
( ) ( ) ( )
=
=
2
1
1 0
0

r r
r r r r
r r V
r r r r S
S S S S
, para
, para
(1.11.2)
Es decir, se tiene un problema de Laplace con condiciones de contorno tipo Dirichlet y que
sumado a la solucin particular
0
nos dar la solucin deseada para el potencial
= +
0 1 (1.11.3)
Puede observarse que las dos contribuciones
0
y
1
al potencial estn ntimamente
relacionadas con las integrales extendidas al volumen y a la superficie, respectivamente, de la
expresin (1.2.11).
35
2. Problemas de condiciones de contorno en magnetosttica
2.1 Introduccin
Las ecuaciones bsicas de la magnetosttica son:
J H B
r r r
= = 0 (2.1.1)
Con cierta relacin constitutiva entre B
r
y H
r
que en el caso de medios lineales es de la
forma H B
r r
= . La primera de las ecuaciones (2.1.1) indica que B
r
se puede escribir como el
rotacional de cierto potencial vector A
r
.
A B
r r
= (2.1.2)
Admitiendo que el medio es lineal y sustituyendo (2.1.2) en la segunda ecuacin (2.1.1) se
llega a la ecuacin
J A
r r
=
|
|
.
|

\
|

1
(2.1.3)
Si es constante en una regin del espacio, entonces en dicha regin (2.1.3) puede escribirse
como
( ) J A A
r r r
=
2
(2.1.4)
Si se elige la condicin de contraste de Coulomb ( 0 = A
r
), entonces (2.1.4) se convierte en
la ecuacin ms simple
J A
r r
=
2
(2.1.5)
En coordenadas cartesianas cada una de las componentes de (2.1.5) satisface una ecuacin de
tipo Poisson; podremos, por tanto, aplicar las tcnicas desarrolladas en el apartado 1 para su
resolucin. Cuando se escribe (2.1.5) en otro tipo de coordenadas en las que los vectores de la
base son funciones del punto del espacio, como es el caso de las coordenadas esfricas o
cilndricas, las derivadas del operador
2
afectan tambin a estos vectores y, salvo
situaciones especiales, ya no tendremos una ecuacin de Poisson para cada una de las
componentes de A
r
. Tanto la ecuacin (2.1.3) como la (2.1.5) sujeta a la condicin de
contraste de Coulomb pueden ser adecuadas para resolver problemas en los que existan
corrientes libres.
Si en la regin de inters fuera nula la densidad de corriente, la segunda ecuacin
(2.1.1) quedara 0
r r
= H y, por tanto, el campo magntico H
r
se podra expresar como el
gradiente de un potencial magntico escalar
36
M
H =
r
(2.1.6)
Sustituyendo (2.1.6) en la primera ecuacin de (2.1.1) y suponiendo que el medio es lineal
llegamos a una ecuacin de tipo Laplace para
M

( ) 0 =
M

(2.1.7)
Esta ecuacin es notablemente ms simple que (2.1.3) o (2.1.5) y, por tanto, recurriremos a
ella cuando sea posible.
Las condiciones de contorno para A
r
y
M
se deducen de las condiciones de contorno
para los campos
( ) 0
1 2
= n B B
r
r r
(2.1.8)
( ) K H H n
r r r
r
=
1 2 (2.1.9)
donde K
r
es la densidad de corriente superficial libre y n
r
es el vector normal unitario dirigido
desde la regin 1 a la regin 2.
Para el potencial vectorial se puede sustituir la condicin de contorno (2.1.8) por la m
simple de aplicar
2 1
A A
r r
=
(2.1.10)
Si no hay corrientes superficiales ( 0
r r
= K ), la ecuacin (2.1.9) se puede substituir por
2 1 M M
=
(2.1.11)
En los apartados siguientes se resolvern dos problemas de condiciones de contorno
aplicando la tcnica del potencial escalar y del potencial vector.
2.2 Esfera dentro de un campo magntico uniforme
Como primer ejemplo vamos a encontrar la distribucin de campo magntico alrededor
de una esfera de radio a y permeabilidad sumergida en un campo, que en ausencia de la
esfera sera uniforme
z
u H H
r
r
= . Las corrientes superficiales ligadas a la esfera perturban el
medio circundante dando lugar a una distribucin no uniforme de campo magntico. Puesto
que en la regin a estudiar no existen corrientes libres, podemos utilizar el potencial escalar
magntico. Dado que la permeabilidad en cada uno de los medios es constante, la ecuacin
(2.1.7) se reduce a la ecuacin de Laplace para cada uno de los medios.
0
2
=
M (2.2.1)
El problema que nos concierne tiene simetra azimutal y, por tanto, el potencial estar dado
por la expresin
37
( )
( )
( ) ( )

=
+
+ =
0
1
cos ,
l
l
l
l
l
l M
P r B r A r
(2.2.2)
En la regin interior el potencial debe permanecer finito en 0 = r y, por tanto, no puede tener
potencias de la forma
( )
r
l +1
. As, tenemos
( )
( )
( )
( )

=
=
0
1 1
cos ,
l
l
l
M
P r A r
l

(2.2.3)
En la regin exterior el potencial debe ser tal que el campo magntico permanezca acotado
cuando r tiende a infinito. sto se consigue mediante un potencial de la forma
( )
( )
( )
( )
( )
( )
( ) ( )
( )

=
+
+ + =
0
1 2
1
2
1 0
2
0
2
cos cos cos ,
l
l
l
M
P r B rP A P A r
l

(2.2.4)
Las condiciones de contorno para el potencial magntico escalar son:
( ) ( ) 2 1
M M
= , en a r =
(2.2.5)
y
( ) ( )
r r
M M

2
0
1
, en a r =
(2.2.6)
Adems, debemos imponer la condicin
z
u H H
r
r
= cuando r tiende a infinito. Vemos que el
problema es idntico al estudiado en la seccin (1.9) si se sustituyen H por E, por y
0

por
0
. En consecuencia, la solucin estar dada por
( )
( )
( )
( ) a r
r
H a
Hr r
a r Hr r
M
M
>
+

+ =
<
+
=
para , cos
2
cos ,
para , cos
2
3
,
2
3
0
0 2
0
0 1

(2.2.7)
El campo magntico en el interior de la esfera se obtiene por aplicacin (2.1.6), resultando
z
u H H
r
r
0
0
2
3


+
=
(2.2.7)
2.3 Cilindro dentro de un campo perpendicular a su eje
Como ejemplo de aplicacin del potencial vector vamos a considerar un cilindro
indefinido en la direccin axial, de radio a y permeabilidad
1
, sumergido en un medio de
permeabilidad
2
en el que existe un campo magntico, que en ausencia del cilindro sera
38
uniforme y de valor
x
u H H
r
r
= . Este cilindro est recorrido por una corriente uniforme que
circula en direccin axial,
z
u J J
r
r
= .
Figura 14
Las ecuaciones que satisface el potencial vector son:
J A
r r
= , a <
0 = A
r
, a > (2.3.1)
Antes de acometer este problema debemos tener en cuenta algunas consideraciones previas
que simplifican enormemente la tarea de resolver (2.3.1). El potencial vector no depender de
z ya que el cilindro es indefinido en la direccin axial y el campo aplicado est contenido en
los planos transversales cte z = . Adems, por esta ltima razn y por tener direccin axial la
corriente original, las corrientes inducidas, de volumen M J
M
r r
= , y de superficie
n M K
M
r
r r
= , slo tendrn componente en la direccin z. Como el potencial vector es siempre
paralelo a la corriente y en este problema todas las corrientes tienen direccin axial, podemos
suponer que ( )
z z
u A A
r
r
, = . As, nuestro problema se reduce a resolver las ecuaciones
J
A A
z z
1
2
2
2
1 1

+
|
|
.
|

\
|

, a <
(2.3.2)
y
0
1 1
2
2
2
=

+
|
|
.
|

\
|

z z
A A
, a >
(2.3.3)
Notemos que las ecuaciones (2.3.2) y (2.3.3) son ecuaciones de Poisson y Laplace expresadas
en coordenadas polares, cuyas soluciones sabemos calcular.
En primer lugar vamos a resolver la ecuacin de Poisson (2.3.2); debemos, por tanto,
encontrar una solucin particular. Multiplicando a (2.3.2) por
2
obtenemos
J
A A
z z
r
2
1
2
2

+
|
|
.
|

\
|

, a <
(2.3.4)
x
y
x
u H
r
a
2

39
Dado que el segundo miembro de esta ecuacin slo depende de podemos encontrar una
solucin particular
z
A
0
que slo dependa de esta coordenada. En este caso la ecuacin (2.3.4)
se reduce a
J
A
z

1
0
=
|
|
.
|

\
|

, a <
(2.3.5)
cuya solucin es
4
2
1
0
J
A
z

= , a <
(2.3.5)
Por otra parte, segn se vio en el apartado 1.7, la solucin general de la ecuacin de
Laplace en coordenadas polares es de la forma
( )( )

+ + + +
1
0 0
sen cos ln
n
n n
n
n
n
n
n D n C B A B A
(1.7.10)
En la regin 1 ( a < ) los coeficientes
0
B y
n
B deben ser nulos a fin de que el campo
magntico sea finito en 0 = z . Por tanto la solucin general de la ecuacin homognea es
( )
( )
( ) ( )
( )

=
+ =
1
1 1 1
1
sen cos ,
n
n n
n
z
n D n C A
(2.3.6)
La solucin general de la ecuacin no homognea ser
( ) ( ) ( ) 1
1
1
0
1
z z z
A A A + = .
En la regin 2 ( a > ) los coeficientes
n
A de (1.7.10) deben ser nulos a partir del
segundo para conseguir que el campo permanezca finito al crecer . Ntese que las
componentes radial y azimutal del campo magntico son

=
z
A
H
1 1
y

=
z
A
H
1
(2.3.7)
y, por tanto, una dependencia del potencial con o con ln dan lugar a un campo finito.
Con estas consideraciones el potencial vector estar dado por
( )
( )
( ) ( ) ( ) ( )
( )
( ) ( )
( )

+ +
+ + + + =
1
2 2
2
1
2
1
2
0
2
0
2
sen cos
sen cos ln ,
n
n n
n
z
n D n C
B A B A A


(2.3.8)
Una vez establecida la forma del potencial debemos imponer las condiciones de contorno que
se satisfacen en la superficie del cilindro y la condicin de que el campo magntico a grandes
distancias debe tender al valor
x
u H H
r
r
= . Empecemos por sta ltima. Aplicando (2.3.7) a
40
(2.3.8) se obtienen las componentes radial y azimutal del campo magntico en la regin
exterior.
( ) ( ) ( )
( )
( ) ( )
( )|
.
|

\
|
+ + + =

=

1
2 2 1 2
1
2
1
2
2
cos sen cos sen
1
n
n n
n
n D n C n B A H

( ) ( ) ( ) ( )
( )
( ) ( )
( )
|
|
.
|

\
|
+ + + =

=

1
2 2 1 2
1
2
1
2
0
2
2
sen cos sen cos
1 1
n
n n
n
n D n C n B A B H

(2.3.9)
Haciendo tender a infinito en la expresin (2.3.9) obtenemos
( ) ( ) ( )
( )

cos sen
1
2
1
2
1
2
2
B A H + = y
( ) ( ) ( )
( )

sen cos
1
2
1
2
1
2
2
B A H + =
(2.3.10)
Por otro lado, el campo magntico a grandes distancias, expresado en coordenadas polares
(tngase en cuenta que

u u u
x
r r r
sen cos = ), es
( )

cos
2
H H = y
( )

sen
2
H H =
(2.3.11)
de donde se deduce que
( )
0
2
1
= A y
( )
H B
2
2
1
= .
El potencial vector y la componente tangencial del campo magntico deben ser
continuos al atravesar la superficie del cilindro. Por tanto, las condiciones de contorno para
z
A son:
( ) ( ) 2 1
z z
A A = y
( ) ( )

2
2
1
1
1 1
z z
A A
en a r =
(2.3.12)
Para imponer estas condiciones de contorno debemos calcular previamente las componentes
del campo magntico en la regin interior.
( ) ( ) ( )
( )|
.
|

\
|
+ =

1
1 1 1
1
1
cos sen
1
n
n n
n
n D n C n H

( ) ( ) ( )
( )|
.
|

\
|
+ =

1
1 1 1
1
1
sen cos
1
2
n
n n
n
n D n C n
J
H

(2.3.13)
Imponiendo las condiciones (2.3.12) en el potencial y el campo tangencial previamente
calculados e igualando trmino a trmino, se obtiene para los trminos constantes
( )
a
J a a
A ln
2 4
2
2
2
1 2
0

+ = ,
( )
2
2
2 2
0
J a
B

=
(2.3.14)
Para los trminos dependientes de , en el caso 1 = n , se llega al sistema de ecuaciones
41
( )
( )
( )
( ) |
|
|
|
|
.
|

\
|
=
|
|
|
|
|
.
|

\
|
|
|
|
|
|
.
|

\
|

H
H a
D
C
D
C
a
a
a a
a a
0
0
0 0
0 0
0 0
0 0
2
2
1
2
1
1
1
1
1
2 1
2
1
1
2 1
2
1
1
1
1

(2.3.15)
cuya solucin es
( )
0
1
1
= C ,
( )
2 1
2 1 1
1
2


+
=
H
D ,
( )
0
2
1
= C y
( )
( )
2 1
2 1 2
2
1
1


+

=
H a
D . Para los
restantes valores de n el sistema de ecuaciones es homogneo y sus soluciones nulas.
El potencial vector resultante es
( )
( )

sen
2
4
,
2 1
2 1 2 1 1
H
J
A
z
+
+ = , a <
( )
( )

sen
4
ln
2
,
2
2
2 1
2 1
2
1
2
2 2
H
a J a a J a
A
z
|
|
.
|

\
|
+

+ + = , a >
(2.3.16)
El campo magntico o la magnetizacin, H M
r r
0
2 1

= , se pueden calcular a partir de las
expresiones (2.3.9) y (2.3.13).