Mtodo de separacin de variables para solucin de la ecuacin de Laplace

Para la aplicacin de este mtodo es necesario que las fronteras sobre las cuales se aplican
condiciones de borde para el potencial o para su derivada normal, coincidan con las superficies
definidas por una coordenada constante en un apropiado sistema de coordenadas curvilneas
ortogonales. Si los contornos no coinciden con las superficies de coordenada constante en el
sistema de coordenadas para el cual la ecuacin diferencial parcial es separable, entonces el
mtodo de separacin de variables es de poco uso. En este caso son empleados mtodos de
anlisis numrico o experimental.
Por supuesto, es necesario que la ecuacin diferencial parcial sea separable en el sistema
de coordenadas apropiado, de modo que la solucin pueda ser representada como un producto de
tres funciones que individualmente son funcin de una variable coordenada solamente. En los
sistemas de coordenadas separables, la solucin de la ecuacin diferencial parcial puede
escribirse en la forma :
( ) ( ) ( ) ( )
3 2 1 3 2 1
, , u H u G u F u u u
En tres dimensiones, la ecuacin de Laplace es separable en 11 sistemas de coordenadas
diferentes, entre las cuales estn:
- rectangulares (x, y, z)
- cilndricas circulares (r, , z)
- esfricas (r, , )
- bicilndricas (r, , z)
- esferoidales alargadas (, , )
- esferoidales achatadas (, , )
- toroidales
En dos dimensiones la ecuacin de Laplace es separable virtualmente en un nmero
infinito de sistemas de coordenadas.
Las condiciones de borde pueden ser cualquiera de los tres casos indicados anteriormente:
Dirichlet, Neumann y mixtas. Por el principio de unicidad, la solucin de la ecuacin de Laplace
que satisface estas condiciones de borde es nica.
Sistema de Coordenadas rectangulares
En coordenadas rectangulares, la ecuacin de Laplace para el potencial escalar es:
0
z y x
2
2
2
2
2
2

Suponemos: = f (x) g (y) h (z)
Sustituyendo:
0
dz
h d
g f
dy
g d
h f
dx
f d
h g
2
2
2
2
2
2
+ +
Dividiendo por = f.g.h:
0
dz
h d
h
1
dy
g d
g
1
dx
f d
f
1
2
2
2
2
2
2
+ +
Como cada trmino es funcin slo de una variable, y la suma es igual a cero, entonces
cada trmino debe ser igual a una constante:
2 2 2
s , q , p
Entonces: 0 f p
dx
f d
2
2
2
+
0 g q
dy
g d
2
2
2
+
0 h s
dz
h d
2
2
2
+
Con: 0 s q p
2 2 2
+ +
Las constantes de separacin p , q y s se determinan por las condiciones de borde
aplicadas al potencial.
Formas de solucin generales
Caso 1: Si p = 0 , q y s distintas de cero, entonces : q
2
+ s
2
= 0
Si p = 0: 0
dx
f d
2
2

Entonces
2 1
A x A ) x ( f +
A ) x ( f
2
Como la suma de las constantes de separacin es cero, entonces una de estas constantes es
real y la otra imaginaria pura.
Si q > 0 y q real, entonces la solucin en y es:
) cos( ) ( ) (
2 1
qy B qy sen B y g +
Entonces s es imaginario puro y: s= q . Por lo tanto la solucin para h(z) puede colocarse:
si z
qz qz
e C e C z h

+
2 1
) (
si z es acotado h(z) = C
1
senh (qz) + C
2
cosh (qz)
Con
2 1 2 1 2 1
, , , , , C C B B A A constantes arbitrarias

Por lo tanto, es solucin de la ecuacin de Laplace cualquier combinacin del tipo:
) ))( cos( ) ( )( ( ) , , (
2 1 2 1 2 1
z q
n
z q
n n n n n n n n
n n
e C e C y q B y q sen B A x A z y x

+ + +
Si s es real y p imaginario, las soluciones se invierten en las coordenadas z e y.
Caso 2: Si p = q = 0 , entonces es necesario tambin que s = 0
Luego, para todas las coordenadas la solucin ser lineal :
) C z C )( B y B )( A x A ( ) z , y , x (
n 2 n 1 n 2 n 1 n 2 n 1 n
+ + +
Caso 3: Si p y q son constantes reales positivas, entonces la tercera constante es imaginaria:
( )
2
1
2 2
q p j s + t
y la solucin ser:
) cosh )( cos )( cos ( ) , , (
2 1 2 1 2 1
z s C z s senh C y q B y senq B x p A x senp A z y x
n n n n n n n n n n n n n
+ + +
3
si z es acotado, o bien :
) )( cos )( cos ( ) , , (
2 1 2 1 2 1
z s
n
z s
n n n n n n n n n n
n n
e C e C y q B y senq B x p A x senp A z y x

+ + +
si la coordenada z se extiende indefinidamente.
Solucin general.
En muchos problemas se encuentra que puede usarse una combinacin de las diversas
soluciones discutidas anteriormente. Adems, las constantes de separacin pueden tomar
cualquier valor. Por el principio de superposicin, la solucin general para estar entonces
dada por una suma sobre todas las posibles soluciones individuales.

n
n
) z , y , x (
Esta propiedad hace que la solucin general sea extremadamente flexible como para
satisfacer condiciones de borde arbitrarias.
4
Ejemplo
Dada una regin no conductora con una distribucin de potencial
) (x
en los bordes,
encontrar el potencial en su superficie.
y
) (x
a


0
a x
En y = a :
,
_

a
x
sen V x

0
) (
En y = 0 :
0
En x = 0 y x = a :
0

En el interior :
0
1 1
0
2
2
2
2
2
+
dy
g d
g dx
f d
f

Como ya sabemos, las formas de solucin pueden ser lineales, sinusoidales y

exponenciales. La forma de la condicin de borde en y = a sugiere el tipo de solucin para la
coordenada x: una variacin sinusoidal slo puede conseguirse con funciones sinusoidales.
Escogemos : f p
dx
f d
2
2
2
con p real positivo.
Luego:
px sen B px cos A ) x ( f +
La ecuacin en y queda:
y p
dy
g d
2
2
2

usando la constante real.

Luego:
py py
De Ce y g

+ ) ( (*)
Planteamos la solucin general antes de aplicar las condiciones de borde:
[ ][ ]
y p
n
y p
n
n
n n n n
n n
e D e C x p sen B x p cos A

+ +

Aplicando las condiciones de borde, definimos las constantes:
1.
[ ] 0 0 ) , 0 ( +

n
y p
n
y p
n n
n n
e D e C A y x
0
n
A
5
2.
[ ] 0 ) ( 0 ) ( 0 ) , ( +

a p sen e D e C a p sen B y a x
n
n
y p
n
y p
n n n
n n

a
n
p n a p sen
n n

) (
3.
[ ]
n
n
n n n
D C
a
x n
sen B y x +

0 ) 0 , (
n n
D C
4.

,
_

a
x
sen V a y x

0
) , (
[ ]
,
_

a
x
sen V e e C
a
x n
sen B
n
a p a p
n n
n n

0
) (
luego 0 B C
n n
para todo n 2
y para n = 1 :
a p a p
e e
V
B C
1 1
0
1 1

a
p

1
a p
1

n a
a
n
a p
n
1
]
1

y
a
y
a 0
e e
a
x
sen
e e
V
) y , x (
Por lo tanto, la solucin final es :

,
_

,
_

a
y
senh
a
x
sen
senh
V
y x

0
) , (
6
Sistema de coordenadas Cilndricas ( r, , z)
En coordenadas cilndricas, la ecuacin de Laplace es:
0
1 1
2
2
2
2
2 2
2

z r r r r

Postulamos una solucin de la forma: = f (r) g () h (z)
sustituyendo:
0
1
2
2
2
2
2 2
2
+ +

,
_

+
dz
h d
fg
d
g d
r
fh
dr
f d
dr
df
r
gh

Dividiendo por fgh y multiplicando por r

2
0
1 1
2
2
2
2
2
2
2 2

,
_

+ +

,
_

+
dz
h d
h
r
d
g d
g dr
f d
f
r
dr
df
f
r

El segundo trmino de la ecuacin anterior es funcin de solamente, y es el nico

dependiente de esta variable; luego, para que la igualdad se mantenga para cualquier valor de
r, , y z, este trmino debe ser constante:
2
2
2
1
q cte
d
g d
g

0
2
2
2
+ g q
d
g d

Como se trata de una variable angular escogemos las soluciones sinusoidales. Adems,
para que tenga valor nico para
2 0
, entonces
2 2
n q
entero.
) cos( ) ( ) (
2 1
n B n sen B g + o
jn jn
e B e B g

+
2 1
El resto de la ecuacin queda, dividiendo por r
2
:
0
1 1 1
2
2
2
2
2
2
+

,
_

+
dz
h d
h r
n
dr
f d
f dr
df
rf
Identificamos el conjunto de trminos dentro del parntesis por la constante (-p
2
) y el
ltimo trmino por la constante (-s
2
). La ecuacin anterior queda:
(-p
2
) + (-s
2
) = 0
Se pueden distinguir entonces las siguientes situaciones :
1) Si s = jp con p real, entonces: ) cosh( ) ( ) (
2 1
pz C pz senh C z h +
7
Si z , se prefiere : h(z) = C
1
e
-pz

La ecuacin restante queda:
0
1
2
2
2

,
_

+
,
_

f p
r
n
dr
df
r
dr
d
r
que corresponde a la ecuacin de Bessel y las dos soluciones independientes son llamadas
funciones de Bessel de primer y segundo tipo, y orden n :
) ( ) ( ) (
2 1
pr Y A pr J A r f
n n
+
Luego, si s es imaginario, p real, la solucin general en coordenadas cilndricas, en
consecuencia queda:
[ ][ ][ ] + + +

0
2 1 2 1 2 1
) cosh( ) ( ) cos( ) ( ) ( ) ( ) , , (
n
n n n n n n n n n n n n
z p C z p senh C n B n sen B r p Y A r p J A z r
Algunas caractersticas de las funciones de Bessel:

,
_

+
0
2
)! ( !
2
) 1 (
) (
m
m n
m
n
m n m
pr
pr J
Funcin de Bessel de primer tipo y orden n
( )

,
_

+
+ + + + + + + + +
+

,
_

,
_

,
_

0
2
1
0
2
1
3
1
2
1
1
1
3
1
2
1
1
)! ( !
2
) 1 (
1
2
!
! 1 1
) (
2
2
) (
m
m n
m
n
m
m n
n n
m n m m n m
pr
pr m
m n
pr J
pr
Ln pr Y

Funcin de Bessel de segundo tipo y orden n con : = 0.5772

La funcin Y
o
(pr) tiene una singularidad logartmica en r = 0 luego, no forma parte de
la solucin para problemas que incluyan el origen, a menos que una fuente lineal est ubicada
en el origen.
Para n>0 Y
n
(pr) tiene una singularidad de orden r
-n
luego, no forma parte de soluciones
que incluyan el origen .
8
Para grandes valores de r, las funciones de Bessel se reducen a sinusoides
amortiguadas:
( )
2 4
cos
2
) ( lim

n
pr
pr
pr J
n
r


( )
2 4
2
) ( lim

n
pr sen
pr
pr Y
n
r


2) Si s es real, luego p es imaginario, la solucin en z ser sinusoidal y en r se mantiene la
ecuacin de Bessel, pero con argumento imaginario; se adoptan nuevos smbolos para
representar las funciones de Bessel de argumento imaginario:
) jx ( J j ) jx ( J j ) x ( I
n
n
n
n
n


Funcin modificada de Bessel de primer tipo
[ ] ) jx ( jY ) jx ( J j
2
) x ( K
n n
1 n
n
+

+
Funcin modificada de Bessel de segundo tipo
In (x) y K
n
(x) resultan reales cuando x es real
K
n
(x) resulta una funcin exponencial decreciente para grandes valores de x. Los valores
asintticos son:
x 2
e
) x ( I
x
x
n

x
x
n
e
x 2
) x ( K

Debe notarse que estas funciones nunca se anulan y solo

0 ) x ( K
x
n


Si s es real (p imaginario), la solucin general en coordenadas cilndricas, en consecuencia
queda:
[ ][ ][ ] + + +

0
2 1 2 1 2 1
) cos( ) ( ) cos( ) ( ) ( ) ( ) , , (
n
n n n n n n n n n n n n
z s C z s sen C n B n sen B r s K A r s I A z r
Algunas propiedades tiles de las funciones de Bessel J
n
e Y
n
(vlidas para ambas):
Frmulas de diferenciacin:
) (
) (
) (
1
0
sr J
sr d
sr dJ

9
) sr ( J ) sr ( ) sr ( nJ
) sr ( d
) sr ( dJ
) sr (
1 n n
n
+

Frmula de recurrencia:
) sr ( J ) sr ( J ) sr ( J
) sr (
n 2
1 n 1 n n +
+
Ortogonalidad:
Esta propiedad permite que cualquier funcin arbitraria f(r), continua al menos por trozos y
definida sobre un intervalo a r 0 , sea expandida en serie de funciones de Bessel (tipo
serie de Fourier):

0 n
n n
) sr ( J A ) r ( f
Si s
n m
(m=1,2,3) es la secuencia de valores de s que hacen J
n
(s
a
)=0 esto es, es la m-
sima raz de 0 ) x ( J
n
, entonces para dos races cualquiera
nm
s y ns
s
:
0 dr ) r s ( J ) r s ( J r
ns n
a
0
nm n

m s
[ ] ) x ( J ) x ( J ) x ( J
2
x
dx ) x ( xJ
1 n 1 n
2
n
2
2
n

+

) (
) (
1
) (
1
0
0 0
J
x xJ
dx x xJ
a
a

{ [ ]
m n
m n s J s J
a
dx x s J x s xJ
n n
a
m n

+

........ .......... .......... .......... .......... .......... 0

. .......... .......... ) ( ) (
2
) ( ) (
2
1
2
0
2
0 0 0

Caso de sistemas independientes de z
Si el sistema es independiente de z (tiene simetra de traslacin) , entonces la ecuacin
diferencial se reduce a:
0
1 1
2
2
2 2
2

r r r r
Postulamos una solucin de la forma: = f (r) g ()
10
Sustituyendo en la ecuacin diferencial anterior, dividiendo por fg y multiplicando por r
2
0
1
2
2
2
2 2
+

,
_

+
d
g d
g dr
f d
f
r
dr
df
f
r
El segundo trmino de la ecuacin anterior es funcin de solamente, y es el nico
dependiente de esta variable; luego, para que la igualdad se mantenga para cualquier valor de r
y , este trmino debe ser constante:
2
2
2
1
n cte
d
g d
g

0
2
2
2
+ g n
d
g d

Como se trata de una variable angular escogemos las soluciones sinusoidales. Adems,
para que tenga valor nico para
2 0
, entonces
2
n entero.
) cos( ) ( ) (
2 1
n B n sen B g + o
jn jn
e B e B g

+
2 1
El resto de la ecuacin queda:
0
2
2
2
2

,
_

+ f n
dr
f d
r
dr
df
r
cuya solucin es de la forma :
n
n
n
n
r B r B r f

+
2 1
) (
La solucin general entonces, cuando el sistema es independiente de la variable z, es:
)) cos( ) ( ( ) ( ) , (
0
2 1
n B n sen A r B r B r
n n
n
n
n
n
n
+ +

Caso de sistemas independientes de r y de z

En este caso, la ecuacin diferencial queda reducida a :
0
1
2
2

d
d
r
y por lo tanto la solucin es de la forma:
B + A ) (
11
Caso de sistemas independientes de z y de
Para sistemas con dependencia exclusiva de la variable r, la ecuacin diferencial es:
0
1
2
2
+
dr
d
r dr
d
cuya solucin es de la forma:
B + Lnr A r ) (
Sistema de Coordenadas esfricas:
) , , r (
En coordenadas esfricas la ecuacin de Laplace es:
0
sen r
1
sen
sen r
1
r
r
r r
1
2
2 2 2
2
2
2

+
,
_

+
,
_

Supongamos solucin de la forma:
) ( ) ( ) ( ) , , ( h g r f r
12
Sustituyendo y dividiendo por
) sen r (
fgh
2 2

0
h
h
1 g
sen
g
sen
r
f
r
r f
sen
2
2
2
2

+
,
_

+
,
_

Para que esta igualdad se mantenga para cualquier valor de , el ltimo trmino debe ser
constante:
0 h m
h
2
2
2
+

Definimos :
2
m
constante de separacin
para que h sea uni-valorada para
2 0
entonces m debe ser entero.
+ m sen C m cos C ) ( h
m 2 m 1
reemplazando la constante
2
m
en la ecuacin y dividiendo por
2
sen , resulta:
0
sen
m g
sen
sen g
1
r
f
r
r f
1
2
2
2

,
_

+
,
_

El primer trmino es slo funcin de r y los restantes slo funcin de , luego cada
trmino debe ser igual a una constante. Elegimos la constante n(n+1) para el primer trmino:
0 ) 1 (
2
+
,
_

f n n
dr
df
r
dr
d
n (n+1): constante de separacin
Entonces:
) 1 n (
n 2
n
n 1
r B r B ) r ( f
+
+
y g () satisface la siguiente ecuacin diferencial:
0 ) 1 (
2

1
]
1

+ +
,
_

g
sen
m
sen n n
d
dg
sen
d
d

Ecuacin de Legendre
La forma estndar de esta ecuacin se obtiene haciendo la sustitucin: cos u
13
( )
du
d
u 1
d
du
du
d
d
d
2
1
2

y la ecuacin queda:
0
1
) 1 ( ) 1 (
2
2
2

1
]
1

+ + g
u
m
n n
du
dg
u
du
d
Las soluciones independientes de esta ecuacin se llaman funciones de Legendre de
primer y segundo tipo cuando m = 0 o polinomios de Legendre con m 0 :
) u ( P
m
n
, ) u ( Q
m
n
Los polinomios ) u ( Q
m
n
tienen singularidad en los polos
, 0
por lo tanto, si el eje
polar forma parte de la regin de inters ) u ( Q
m
n
no participa pues ) 1 ( Q
m
n
diverge.
La funcin generadora para los polinomios de Legendre de primer tipo es :
( ) ( )
m n
n
2 m n
n
2
m
2
m
n
du
1 u d
! n 2
u 1
) u ( P
+
+

Algunos polinomios son:

( ) cos 1
2
1
1
2 0
1
0
0

u u
du
d
P
P
14
( )
( ) ( )
( )
n m P
sen P
u sen P
u
u
P
u P
m
n
>

0
2
2
3
1
3 5
2
cos 3 cos 5
2
1
1 3
2
1
2
1
cos
2
3
1
2
2
1
2 1
1
2 2 0
3
2 2 0
2

Las siguientes propiedades de ortogonalidad se cumplen de forma similar a las

funciones de Bessel:

0
m
l
m
n
1
1
m
l
m
n
l m 0 d sen P P du P P

0
l
n
m
n
1
1
2
l
n
m
n
l m 0
sen
d
P P
u 1
du
P P
( ) [ ]

+
+

0
2
m
n
1
1
2
m
n
)! m n (
)! n m (
1 n 2
2
d sen ) (cos P du P
La solucin general es entonces, cuando el eje forma parte de la regin, es :

+ +
0 m
m
n
) 1 n (
n
n
n
m
0 n
m m
) (cos P ) r D r C )( m sen B m cos A ( ) , , r (
En regiones que incluyen 0 C : r
n

En regiones que incluyen 0 D : 0 r
n

15