Coordenadas Cartesianas

Consideremos la ecuacin de Laplace en coordenadas cartesianas:

2 2 2 2
= 2 + 2 + 2 =0
x y z

Buscamos una solucin por el mtodo de separacin de variables:

(x, y, z) = A(x)B(y)C(z)
A BC + AB C + ABC = 0 /ABC
A B C
+ + =0
A B C
A 2 B

2 C

= = = 2, 2 = 2 + 2
A B C

= eixeiyez

Figura 1.
(x, y, c) = V (x, y)
Condicin de borde en x:A(0) = A(a) = 0,

A(x) = sen(x), a = n, n = 1, ....

Condicin de borde en y:B(0) = B(b) = 0,

B(y) = sen(y), b = m, m = 1, ....

Condicin de borde en z:C(0) = 0,

C(z) = senh(z)
X
(x, y, z) = fnmsen(nx)sen(ny)senh(n mz)
n.m

Condicin de borde en z = c:
X
V (x, y) = fn msen(nx)sen(ny)senh(n mc)
n.m
Z a Z a
1
dx sen(nx)sen(kx) = dx{cos (n k)x cos (n + k)x} =
 0 2 0
1 sen(n + k)x

2 n + k 
a
sen(n k)x 
 =0 n=
/k
n k 0
 1
= ,n=k
2a
Z a Z b
4
fn m = dx dyV (x, y)sen(nx)sen(ny)
a bsenh(nmc) 0 0
 Dos dimensiones

Figura 2.

nx ny
X  
(x, y) = fnsen e a
a
n=1

2 a
Z
nx nx 2 a
X    
V= fnsen , fn = dxV sen = V (cos (n) + 1)
a a 0 a a n
n=1
4V
= , n impar.
n

4V X 1 nx ny
 
(x, y) = sen e a
n a
n impar
 Suma Serie de Fourier

4V X 1 nx ny
 
(x, y) = sen e a
n a
n impar

 
4V X 1 inx ny
i a (x+i y)
= Im exp e a , Z =e
n a
n impar

4V X 1 n 2V
(x, y) = Im Z = Im(ln (1 + Z) ln (1 Z)) =
n
n impar
  
2V 1+Z
Im ln
1Z
1 + Z (1 + Z)(1 Z ) 1 + Z Z |Z)2
= = = u + iv
1Z |1 Z |2 |1 Z |2

y
x

2e a sen a
   
1+Z 2 Im Z
ln = arctg 2
= arctg 2y

1Z 1 |Z | 1e a

x

!
2V sen a

(x, y) = arctg y
senh a


La rama de la tangente es 0, 2
.
 Anlisis Complejo

La solucin bidimensional que encontramos est relacionada al anlisis complejo.

Debido a las condiciones de Cauchy-Riemann que satisface una funcin analtica f (z),
Im(f (z)) y Re(f (z)) satisfacen la ecuacin de Laplace.

Tema de charla: Mtodos de variable compleja para encontrar el potencial en dos dimensiones.
 Coordenadas Esfricas

En coordenadas esfricas el laplaciano es:

2
   
2 1 2 1 1
= 2 r + 2 sin + 2 2
r r r r sin r sin 2

2 (r, , )
   
1 2 (r, , ) 1 (r, , ) 1
r + 2 sin + 2 2 =0
r2 r r r sin r sin 2
Buscamos una solucin por el mtodo de separacin de variables:

(r, , ) = R(r)Y (, )
de modo que la ecuacin queda:
   
1 1 2 R(r) 1 1 Y (, ) 1 1 2 Y (, )
R(r) r 2 r
r r + Y (, ) r2 sin sin + Y (, ) r2 sin2 2 = 0
reordenando trminos se puede escribir como
  h   i
1 2 R(r) 1 1 Y (, ) 1 2 Y (, )
R(r) r
r r = Y (, ) sin sin + sin2 2

ntese que la parte izquierda de esta ecuacin no depende de las variables de la parte derecha
y viceversa, esto quiere decir que la nica forma de satisfacer la igualdad es que ambas partes
sean igual a una constante, para que la solucin sea fsicamente aceptable, la constante de
separacin debe ser l(l + 1) de modo que se obtienen dos ecuaciones.
 Ecuacin Radial
 
R(r)
r
r 2 r = l(l + 1)R(r)

Ansatz:R = Ar a

a(a + 1)Ar a = A l(l + 1)r a ,

a2 + a l(l + 1) = 0
r
1 1
a= + l(l + 1) , a = l, (l + 1)
2 4
R(r) = Alr l + Blr l1
 Simetra azimutal

El potencial es independiente de . Esto es m = 0.

 
1 A()
sin
sen + l(l + 1)A() = 0

Sea x = cos

A()
= A (sen )
 
1 A() d d
sen = (1 x2) A
sin dx dx

La ecuacin para A es:

d d
(1 x2) A + l(l + 1)A = 0
dx dx

Esta es la ecuacin de Legendre. Sus soluciones son los Polinomios de Legendre.

Cada polinomio de Legendre Pn (x) es un polinomio de grado n. ste puede ser expresado
usando la Frmula de Rodrigues:
1 dn
Pn(x)= 2n n! dxn
[ (x2 1)n ]., n = l.
 Ortogonalidad

Una importante propiedad de los polinomios de Legendre es que stos son ortogonales con
respecto al producto escalar definido en L2 en el intervalo 1x 1:
R 1 2
1
P m (x)P n (x) dx =
2n +1 mn

(donde mn denota la delta de Kronecker, igual a 1 si m = n y 0 para otros casos). De hecho,

una derivacin alternativa de los polinomios de Legendre es llevando a cabo procesos de Gram-
Schmidt en los polinomiales 1, x, x2, ... con respecto a un producto interno. La razn de esta
propiedad de ortogonalidad es que la ecuacin diferencial de Legendre puede ser vista como
un problema de Sturm-Liouville
h i
d d
dx
(1 x2) dx P (x) =P (x),

donde los valores propios corresponden a n(n+1).

 Ejemplos de polinomios de Legendre

n Pn(x)
0 1
1 x
1 2
2 2
(3x 1)
1
3 2
(5x3 3x)
1 4 2
4 8
(35x 30x + 3)
1
5 8
(63x5 70x3 + 15x)
1
6 16
(231x6 315x4 + 105x2 5)
1 7 5 3
7 16
(429x 693x + 315x 35x)
1
8 128
(6435x8 12012x6 + 6930x4 1260x2 + 35)
1
9 128
(12155x9 25740x7 + 18018x5 4620x3 + 315x)
1 10 8 6 4 2
10 256
(46189x 109395x + 90090x 30030x + 3465x 63)
Grficos
Figura 3.
 Propiedades de los Polinomios de Legendre

Los polinomios de Legendre son simtricos o antisimetricos, tal que

Pk(x)=(1)k Pk(x).
Desde que la ecuacin diferencial y la propiedad ortogonal son escalarmente independientes,
los polinomios de Legendre definidos son estandarizados (a veces llamados normalizados, pero
ntese que la real norma no es la unidad) por ser escalar tal que
Pk(1)=1.
La derivada en un punto final est dado por
k(k + 1)
Pk(1)= 2
.

Los polinomios de Legendre pueden construirse usando las tres relaciones de recurrencia
(n + 1)Pn+1 =(2n + 1)xPn nPn1
y
x2 1 d
n dx
Pn =xPn Pn1.

til para la integracin de polinomios de Legendre es

d
(2n + 1)Pn = dx [ Pn+1 Pn1 ].
 Potencial con simetra azimutal

P  (+1)

(r, ) = =0 Ar + Br P(cos ).
Supongamos que se da el potencial sobre la superficie de una esfera de radio a: (a, ) = V () .
Encontrar el potencial al interior de la superficie esfrica:
No hay cargas en el origen: Bl = 0
V () =
P
=0 Aa P(cos )
2l + 1 R
Al = 2al 0 d sen V ()P(cos )


Ejemplo:V () = V ,06< 2

V , 6 <



2

"Z #
/2 Z
2l + 1
Al = V d sen P(cos ) d sen P(cos ) =
2al 0 /2
1 0
Z Z 
2l + 1
V dxP(x)
dxP(x) =
02al 1
Z 1 Z 1
2l + 1 2l + 1
V dx (P(x) P(x)) = V (1 (1)l) dxP(x)
2al 0 2a l
0
 l 1
1 1
(l 2)!!
De la frmula de Rodrigues:
R
0
dxP(x) = 2 2 
l+1

2 2 !

Da el mismo resultado obtenido con el mtodo de imgenes.

 P  (+1)

La serie (r, ) = =0 Ar + Br P(cos ) con los coeficientes fijos, da una nica
solucin a la ecuacin de Laplace. Por esto se pueden usar casos particulares sencillos para
determinar los coeficientes.
Ejemplo: Supongamos conocido el potencial sobre el eje z > 0, = 0.
P  (+1)

(r = z, 0) = =0 Ar + Br =V (r). z > 0.
Expandiendo V (r) en potencias de r determinamos los coeficientes.
Ejercicio 1: Mostrar usando la funcin de Green encontrada con el mtodo de imgenes que
para la esfera con los dos hemisferios con potencial opuesto, sobre z>0 se tiene:

z 2 a2
 
V (z) = V 1
z z 2 + a2

Ejercicio 2: Encontrar Al , Bl expandiendo V .

Los polinomios de Legendre son tiles en el desarrollo por serie, de funciones como

1 1 P r<
| x x|
= 2 2
p = =0 +1 P(cos )
r +r 2rrcos r>

donde r y r son las longitudes de los vectores x y xrespectivamente y es el ngulo entre

los dos vectores. r< = mn{r, r }. Esta expresin esta usada, por ejemplo, para obtener el
potencial de una carga puntual, que se siente en un punto x mientras la carga esta localizada
en el punto x. La expansin usando polinomios de Legendre puede ser til para integrar esta
expresin sobre una carga continua distribuida.

Figura 4.

D: Tomemos el sistema de coordenadas tal que x est a lo largo del eje z.

Ahora el potencial tiene simetra azimutal.
(r, ) = (+1)
P 

=0 A r + B r P(cos )
Evaluamos el potencial sobre el eje z:

1X r l

1

= , r > r , Al = 0, Bl = (r )l
|r r | r r
l=0

1 1X r l


=
, r < r Bl = 0, Al = (r )l1
|r r | r r
l=0
 Solucin general con simetra esfrica

Armnicos esfricos:
 
1 Y (, ) 1 2 Y (, )
sen
sen + sen2 2
+l(l + 1)Y (, ) = 0

La solucin a esta ecuacin es

Y (, ) = Am
l e
im
Plm(cos )
con
q
(2l + 1)(l m)!
Am
l = 4(l + m)!

y los Plm(cos ) los polinomios asociados de Legendre. Estos polinomios son finitos en 0 y
como lo requiere la funcin potencial aceptable, la forma de construir los polinomios es entre
otras, mediane la frmula de Rodrigues que para estos polinomios es
m+l
2 |m|/2 d
Plm(x) = (1) m
(1 x ) dx m+l (x 2
1) l

evaluando despus la en x = cos , la razn por la que la constante de separacin se eligi

como l(l + 1) fue justamente para que la solucin fueran estos polinomios, dado que adems
de ser una solucin conocida a la ecuacin, es fsicamente aceptable, la otra constante m
aparece al aplicar el mtodo de separacin a la ecuacin de los armnicos esfricos.
 Armnicos esfricos
 
1 Y (, ) 1 2 Y (, )
sin
sin + sin2 2
+l(l + 1)Y (, ) = 0

Y (, ) = A()B()
 
1 A() 1 2 B()
sin sin B() + sin2 2
A() +l(l + 1)A()B() = 0,/A()B()
 
1 A() 1 2 B()
sin
sin A()1 + 2
sin 2 B() 1
+l(l + 1) = 0,sin2

2 B() 1 2 i m im
2 B() = m ,B() = ae + be ,B( + 2) = B()

ei m = eimei2m, m Z
   
1 A() m2
sin sin + l(l + 1) sin2
A() = 0

(sen ) |m|
h i
l+|m|
d l
Al m() = l
2 l! d(cos )
(cos2 1) , funciones asociadas de Legendre.

Ver E.T. Copson Introduction to the theory of complex variables Captulo 11.
Al m() debe ser finita en = 0, . Por lo tanto l = 0, 1, 2.... Adems 2l > l + |m|,l > |m|
 q
1 1
Y00(, ) = 2
q
1 3
Y11(, ) = 2 2
sin ei
q
1 3
Y10(, ) = 2
cos
q
1 3
Y11(, ) = 2 2
sin ei
q
1 15
Y22(, ) = 4 2
sin2 e2i
q
1 15
Y21(, ) = 2 2
sin cos ei
q
1 5
Y20(, ) = 4
(3cos2 1)
q
1 15
Y21(, ) = 2 2
sin cos ei
q
1 15
Y22(, ) = 4 2
sin2 e2i
q
1 7
Y30(, ) = 4
(5cos3 3cos )
 Ortogonalidad y Completitud

Z 1
2 (l + m)!
dxPlm m
(x)Pl (x) = ll , Ortogonalidad
1 2l + 1 (l m)!

Z 2 Z
d d senYlm (, )Ylm(, ) = ll m m
0 0
Completitud:
m=l
X X
Ylm( , )Yl m(, ) = ( )(cos cos )
l=0 m=l
 Expansin en armnicos esfricos

X
g(, ) = AlmYlm(, )
Z

Alm = dYlm (, )g(, )

La serie en = 0 no puede depender de : Slo m = 0 contribuye.

r
X (2l + 1)
g(0, ) = Al0
4
r l=0
Z
4
Al 0 = dPl(cos )g(, )
2l + 1

La solucin general a la ecuacin de Laplace en coordenadas esfricas es:

X
(l+1)
l


(r, , ) = Almr + Blmr Ylm(, )
 Teorema de la suma

Un resultado matemtico de sumo inters y utilidad es el llamado teorema de la suma para

los armnicos esfricos. Dos vectores r y r, con coordenadas esfricas (r, , ) y (r , , ),
respectivamente, tienen un ngulo entre ellos dado por la expresin
cos = cos cos + sin sin cos ( ).
El teorema de la suma expresa un polinomio de Legendre de orden l en el ngulo en trminos
de los productos de dos armnicos esfricos con coordenadas angulares (, ) y (, ):
4 P
Pl( cos )= 2l + 1 lm=l Ylm
(, ) Ylm(, )

Figura 5.
 Pl
Al m( , ) Yl m(, ).
P
Pl( cos )= l m=l
Si rotamos el sistema de coordenadas de tal manera que ~x = z, es el ngulo polar y se tiene:
2 l(l + 1)
Pl(cos ) + 2
Pl(cos ) = 0, r = r, (1)
r

2
Dado que = 2, Pl(cos ) satisface la misma ecuacin en el sistema de coordenadas
original. Por lo tanto Al m( , ) = ll Am( , ).
Pl( cos )= lm=l Am( , ) Ylm(, ) ,Am( , ) = dYlm(, )Pl( cos )
P R
q
4
Evaluacin: Am( , ) es el coeficiente de la expansin de 2l + 1 Ylm (, ) en una serie de
Ylm ( , ) con m = 0 en el sistema donde (1) es cierta. Dado que slo un l contribuye:
r r
4 4
Am( , ) = Ylm (( , ), ( , ))| =0
2l + 1 2l + 1

Pero ( , ), ( , )




( , )



=0
4
Am( , ) = Ylm (, )
2l + 1

1 1 P r<
| x x|
=p = =0 r+1 P(cos )
r2 + r2 2rrcos >

l
1 X X 1 r<

= 4 +1
Ylm (, ) Yl m(, )
|xx | 2l + 1 r>
l=0 m=l
 Coordenadas Cilndricas

Figura 6.

2 1 1 2 2
+ + + 2 =0
2 2 2 z

(, , z) = R()Q()Z(z)
 2
1 2 Q 1 2Z 1
 
1 R 1 R
R + + 2 2 Q + 2Z =0
2 z
Z =k 2
Z Q
= 2
Q
2
 
R 1 2
+ R + k 2 R =0

 Z(z) = ek z , Q() = ei

El potencial debe ser univaluado en . Z

2
 

R +1R + k 2 2 R =0, x = k

2
 

R +x1R + 1 2 R = 0 Ecuacin de Bessel
x
 Funciones de Bessel

Las funciones de Bessel son soluciones cannicas y(x) de la ecuacin diferencial de Bessel:
d2 y dy
x2 dx2
+x dx +(x2 2)y =0

donde es un nmero real o complejo. El caso ms comn es cuando es un entero n , aunque

la solucin para no enteros es similar. El nmero se denomina orden de las funciones de
Bessel asociadas a dicha ecuacin.
Dado que la ecuacin anterior es una ecuacin diferencial de segundo orden, tiene dos
soluciones linealmente independientes.
Aunque y dan como resultado la misma funcin, es conveniente definir diferentes
funciones de Bessel para estos dos parmetros, pues las funciones de Bessel en funcin del
parmetro son funciones suaves casi en todas partes. Las funciones de Bessel se denominan
tambin funciones cilndricas, o armnicos cilndricos porque son solucin de la ecuacin de
Laplace en coordenadas cilndricas.
 Funciones de Bessel de primera especie: J

Las funciones de Bessel de primera especie y orden son las soluciones de la ecuacin
diferencial de Bessel que son finitas en el origen (x=0) para enteros no negativos y divergen
en el lmite x 0 para negativo no entero. El tipo de solucin y la normalizacin de J(x)
estn definidos por sus propiedades abajo indicadas. Es posible definir la funcin J(x) por
su expansin en serie de Taylor en torno a x = 0:

x2
k  2k+

X (1) x x
J(x) = = 1 +
k!(k + + 1) 2 2 ( + 1) 2(2 + 2)
k=0

x4

...
2 4(2 + 2)(2 + 4)

(z) es la funcin Gamma de Euler, una generalizacin del factorial para nmeros complejos.

Estas funciones cumplen que:

/ Z, entonces J(x) y J(x) son linealmente independientes, y por tanto una solucin
Si
general de la ecuacin de Bessel puede expresarse como una combinacin lineal de ellas.

Si = n Z, entonces se cumple:

Jn(x)=(1)n Jn(x), n Z
por lo que las dos soluciones dejan de ser linealmente independientes. En este caso, la segunda
solucin linealmente independiente ser una funcin de Bessel de segunda especie.
Las funciones de Bessel son funciones
oscilatorias (como las funciones seno o coseno) que
decaen proporcionalmente a 1/ x (como nos lo mostrarn las formas asintticas de estas
funciones ms abajo), aunque los ceros de estas funciones no son, en general, peridicos,
excepto de forma asinttica para grandes x.
Figura 7. Funciones de Bessel de primera especie, J(x), para rdenes enteros = 0, 1, 2.
Como casos particulares, se tienen las dos primeras funciones de Bessel enteras:
x2 x4 x6 x x3 x5 x7
J0(x) = 1 22
+ 22 42 22 42 62 ... J1(x) = 2 22 4 + 22 42 6 22 42 62 8 ...
dJ0(x)
J0(x) = dx
=J1(x)
 Representacin Integral

Para valores enteros de n, se tiene la siguiente representacin integral:

Z
1
Jn(x)= cos (n x sin ) d
0
.
Que tambin se puede escribir como:
Z
1
Jn (x)= ei (n x sin ) d
2
.
Esta definicin integral puede extenderse a rdenes no enteros aadiendo otro trmino
integral:
1 sin () x sinh (t)t
Z Z
J(x)= cos ( x sin ) d e dt
0 0
.
1
Tambin se tiene, para > 2
Z x
1 2
1
2 2
J(x)= 1
(x ) cos d .
( + 2 ) 21 0
 Funciones de Bessel de segunda especie:Y(x)

Las funciones de Bessel de segunda especie, denotadas por Y(x), son soluciones de la
ecuacin diferencial de Bessel, Estas funciones divergen en el origen (x=0).

A estas funciones Y(x) tambin se les llama a veces funciones de Neumann o de Weber, y
a veces se denotan por N(x). Para ; no enteros, se definen a partir de las funciones de
primera especie J(x) mediante la siguiente frmula:

J(x) cos ()J(x)

Y(x)= ,
/Z
sin ()

En el caso en el que tengamos un orden entero n, la funcin es definida como el siguiente

lmite:

Yn(x)= lim Y(x), n Z

n

que nos da el siguiente resultado en forma integral:

Z Z
1 1
Yn(x)= sin (x sin n)d [ ent +(1)n en t ] ex sinh t dt
0 0
Para el caso en el que tengamos no enteros, la definicin de Y(x) es redundante (como
queda claro por su definicin de arriba). Por otro lado, cuando es entero, Y(x) es la segunda
soluccin linealmente independiente de la ecuacin de Bessel, adems, de forma similar a lo
que ocurra con las funciones de primera especie, se cumple que:

Yn(x)=(1)n Yn(x)n Z

Ambas J(x) y Y(x) son funciones holomorfas de x en el plano complejo cortado por el
eje real negativo. Cuando es un entero, no hay puntos de ramificacin, y las funciones de
Bessel son funciones enteras de x. Si fijamos x, entonces las funciones de Bessel son funciones
enteras respecto a la variable .
Figura 8. Funciones de Bessel de segunda especie, Y(x), para rdenes = 0, 1, 2.
 Ortogonalidad

J (x) tiene un nmero infinito de ceros:xn , n = 1, 2....

a
a2
Z

   
dJ xm J xm = [J +1(xm)]2m m
0 a a 2

Suponiendo que las funciones de Bessel son una base, se obtiene la serie de Fourier-Bessel.

X  
f () = fnJ xn
a
Z a n=1
2
 
2
fn = 2 [J +1(xn)] df ()J xn
a 0 a
 Figura 9.

Z(z) = ek z , Q() = ei

El potencial debe ser univaluado en . Z

2
 

R +1R + k 2 2 R =0, x = k

2
 

R +x1R + 1 2 R = 0 Ecuacin de Bessel
x

 
Jn xnm m = 1, 2.... = 0 en el manto
a
 xnm
 
senh z = 0 en la base
a

xnm
X X    
(, , z) = fnmJn xn m senh z ei n
a a
n= m
 P P
xn m
i n
(, , z) = n= m fn mJn xnm a senh a
z e

xn m
X X    
V (, ) = fnmJn xnm senh L ein
a a
n= m
1 2
Z Z a  2
xn m a
  
in
de dJn xnm V (, ) = fnm senh L [Jn+1(xn m)]2
2 0 0 a a 2
Z 2 Z a
1
 
i n
fnm = 2 x
de dJn xn m V (, )
a [Jn+1(xn m)]2senh nam L 0 0 a

Z 2

dei (nn ) = 2nn
0

a
a2
Z

   
dJ xm J xm = [J +1(xm)]2m m
0 a a 2
 Funciones de Hankel: H(1), H(2)

Otra formulacin importante de las dos solucciones linealmente independientes de la ecuacin

(1) (2)
de Bessel son las funciones de Hankel H (x) yH (x) as definidas:

(1)
H (x)=J(x)+iY(x)
H(2)(x)=J(x)iY(x)

donde i es la unidad imaginaria. Estas combinaciones lineales son tambin conocidas como las
funciones de Bessel de tercera especie. Las funciones de Hankel de primera y segunda especie
son usadas para representar las solucciones de ondas entrantes y salientes de una ecuacin
de ondas en simetras cilndricas respectivamente (o viceversa dependiendo de la convencin
de signo de la frecuencia). Estas funciones son as nombradas en honor de Hermann Hankel.

Usando la definicin dada arriba, estas funciones se pueden escribir en funcin de las funciones
de Bessel de primer orden J(x) as:

J (x)ei J(x)
H(1) (x)=
i sin ()
(2) J (x)ei J(x)
H (x)=
i sin ()
Si es un entero, se tiene que calcular de las expresiones de arriba as:

Hn(1)(x)= lim H(1)(x)n Z,

n
(2) (2)
Hn (x)= lim H (x)n Z,
n

La siguiente relacin es vlida para todo valor de , sea entero o no:5

(1)
H (x) = ei H(1) (x)
(2) (2)
H (x) = ei H (x)

Existe una representacin integral de las funciones de Hankel

1 1
2 i Z + 2 i Z +
(1) e (2) e
H (x) = eix cosh t t dt.H (x) = eixcosh t t dt.
i i
 1 Solucin general de la ecuacin de Bessel

La solucin general de la ecuacin diferencial de Bessel con parmetro viene dada en

trminos de las funciones de Bessel ordinarias o de las funciones de Hankel. Dicha solucin
general puede expresarse como:

y(x)=AJ(x) + BJ(x)

/Z
y(x)=AJ(x) + BY(x) R
y(x)=AH (1)(x) + BH (2)(x) R

Donde A y B son dos constantes arbitrarias.

 Funciones de Bessel modificadas: I, K

Las funciones de Bessel ordinarias son vlidas para valores complejos del argumento x, y un
caso especialmente importante es aquel con argumento imaginario puro. En este caso, la
ecuacin de Bessel se transforma en la ecuacin de Bessel modificada
d2 y dy
x2 dx2
+x dx (x2 +2)y =0,

y sus dos soluciones linealmente independientes son las funciones de Bessel modificadas de
primer y segundo tipo: I(x) yK(x) respectivamente.
Funciones de Bessel modificadas de primera especie: I
Las funciones de Bessel modificadas de primera especie y orden vienen dadas por:
h i
P 1 x
2k+ x x2 x4
I(x) = k=0 k!(k + + 1) 2 = 2( + 1) 1 + 2(2 + 2) + 2 4(2 + 2)(2 + 4) + ...

Estn relacionadas con las funciones de Bessel ordinarias mediante la siguiente igualdad:
I(x)=iJ(ix)=ei/2J(ix) .
/ Z entonces I(x) yI(x) son linealmente independientes, y por tanto dan una solucin
Si
general de la ecuacin de Bessel. Si
/ Z entonces J(x) no est definida en x=0.
Casos particulares:
x2 x4 x6 x x3 x5 x7
I0(x) = 1 + 22 + 22 42 + 22 42 62 ..., I1(x) = 2 + 22 4 + 22 42 6 + 22 42 62 8 ...
dI0(x)
I0(x) = dx
=I1(x)
Funciones de Bessel modificadas de segunda especie: K
Las funciones de Bessel modificadas de segunda especie y orden se definen a partir de las
funciones modificadas de primera especie para rdenes no enteros mediante las siguiente
frmula:
I (x) I(x)
K(x)= 2 sin ()

/Z
Para los casos en los que sea entero ( = n Z), tenemos que tomar el lmite del orden no
entero al entero as:
I p(x) I p(x)
Kn(x)= lim pnK p(x)= lim pn 2 sin (p)
n Z
Adems se puede escribir esta funcin a partir de la funcin de Hankel de primera especie as:
+1 (1) +1 i (2)
K(x)= 2
i H (ix)= 2
i e H (ix).
Existen varias representaciones integrales de estas funciones.
1
1 2 i R + ixsinh t t
K(x)= 2 e
e dt

Funciones de Hankel modificadas

Al contrario que las funciones de Bessel ordinarias, J; Y, las cuales son funciones oscilatorias
para argumentos reales, las funciones de Bessel modificadas, I y K, son exponencialmente
creciente y decreciente respectivamente. Como la funcin de Bessel ordinaria J, la funcin
I va a cero en x = 0 para >0 y es finita en x = 0 para =0. Anlogamente, K diverge
en x = 0.
Figura 10. Funcin de Bessel modificada de primera especie, I(x), para = 0, 1, 2, 3.
Figura 11. Funcin de Bessel modificada de segunda especie, K(x), para = 0, 1, 2, 3
 2 Solucin general de la ecuacin de Bessel modificada

La solucin general de la ecuacin diferencial de Bessel modificada con parmetro viene

dada por:

y(x) =AI(x) + BI (x)
/Z
y(x) =AI(x) + BK(x) R

Donde A y B son dos constantes arbitrarias.

Funciones esfricas de Bessel: jn , yn

Cuando se soluciona la ecuacin de Helmholtz en coordenadas esfricas por separacin de

variables, la ecuacin radial tiene la forma:
2
2d y dy
x dx2 +2x dx +[x2 n(n + 1)]y =0.

Donde n es un entero positivo. Las dos solucciones linealmente independientes de esta

ecuacin se denominan funciones esfricas de Bessel jn(x) y yn(x), y estn relacionadas con
las funciones de Bessel ordinarias Jn(x) y Yn(x) por:10
q

jn(x)= 2x Jn+1/2(x),
q q
n+1
yn(x)= 2x
Yn+1/2(x)=(1) 2x
Jn1/2(x).

yn se escribe tambin como nn o n. A esta funcin a veces se le llama funcin esfrica de

Neumann.

Las funciones esfricas de Bessel se pueden obtener a partir de las siguientes frmulas:
 n  n
n 1 d sin x n 1 d cos x
jn(x)=(x) x dx x
, yn (x)=(x) x dx x
.

Para n = 0,1 y 2 tenemos:

 sin x sin x cos x 3 sin x 3cos x
j0(x)= x
j1(x)=
x2 - x
j 2(x)=<left-(-1> x2
- 1 <right-)-1> x
- x2
12
15 6 sin x 15 cos x
j3(x)=<left-(-1> x3 - x <right-)-1> x -<left-(-1> x2 - 1<right-)-1> x
,
cos x cos x sin x 3
y0(x)=-j-1(x)=- x
y1(x)=j-2(x)=- x2
- x
y2(x)=-j-3(x)=<left-(-1>- x2 +1
cos x 3 sin x
<right-)-1> x - x2 ;

La frmula general es:

Jn+ 1 (x)=<large-sqrt-0>2 <pi>x <big-sum-1>i=0 n+1 2 (-1)n-i<left-[-1>sin
2 1
2 n-2i (n-i)! - -i
(x) <left-(-1> x <right-)-1> i!
<left-(-1> 2 <right-)-1>- cos (x)
1
n-2i
2 n+1-2i (n-i)! - 2 -i
<left-(-1> x <right-)-1> i!
i <left-(-1> <right-)-1><right-]-1>.
n-2i+1
Figura 12. Funciones esfricas de Bessel de primer orden, jn(x), para n=0,1,2.
Figura 13. Funciones esfricas de Bessel de segundo orden, yn(x), para n=0,1,2.
Funciones de Hankel esfricas: h n
Las funciones esfricas de Hankel se definen de forma anloga a las no esfricas:
(1)
hn (x)= jn(x)+iyn(x)
(2)
hn (x)= jn(x)iyn(x)
De hecho, esto nos dice que existen expresiones cerradas de las funciones de Bessel de orden
semientero en trmino de funciones trigonomtricas y, por tanto, tambin de las funciones
esfricas de Bessel. De esto se deduce que, para n entero no negativo se tiene:
n+1 e
ix P
im (n + m)!
h(1)
n (x)=(i) x
n
m=0 m!(2x) (n m)!
m

y h(2)
n es la funcin compleja conjugada de esta (para x real). De esta frmula se pueden
deducir las formas cerradas de las funciones esfricas de Bessel ordinarias, por ejemplo, j0(x)
= sin (x)/x y y0(x) = -cos (x)/x, y as para cualquier argumento n.
Funciones esfricas de Bessel modificadas: in, kn
Tambin existen anlogos esfricos de las funciones de Bessel modificadas:
q

in(x)= 2x In+1/2(x)=injn(ix) .
q
n (1)
kn(x)= 2x
Kn+1/2(x)= 2
i hn (ix)

kn(x) se pueden escribir de forma cerrada, usando la frmula de h(1)

n (x) dada arriba como:
e x Pn (n + m)! 1
kn(x)= 2 x m=0 m!(n m)! (2x)m
 2.1 Funcin generatriz

Se pueden obtener las funciones de Bessel esfricas a partir de las siguientes funciones
generatrices:
1 P t n 1 P (t)n
2 2
z
cos z 2zt = j
n=0 n! n1(z), z
sin z +2zt = n=0 n!
yn1(z) .
 2.2 Relaciones diferenciales

La siguiente relacin diferencial se cumple para fn(z)={jn(z), yn(z), h(1) (2)

n (z), hn (z)} n Z

1 d m n+1
 
(nm)+1
z dz
(z f n (z)) = z f(nm)(z).
 Expansiones Asintticas

Las funciones de Bessel tienen las

siguientes expansiones asintticas para no negativos.
Para pequeo argumento 0<x + 1 , se tiene:
1 x

J(x) ( + 1) 2

2
[ ln (x/2)+ ] si = 0


Y(x)
() 2 si > 0



x

donde es la constante de Euler-Mascheroni y (x) es la funcin Gamma de Euler. Como

aproximacin asinttica al infinito, (cuando tenemos un argumento tal que verifica x
|2 1/4|), se obtienen las siguientes aproximaciones:
q
2

J(x) x cos x 2 4
q
2

Y(x) x
sin x 2
4
.

Para = 1/2 estas frmulas son exactas. Las expansiones asintticas del resto de funciones
de Bessel se obtienen a partir de las mostradas arriba y de sus relaciones con las funciones
de Bessel de primera especie. As, las aproximaciones asintticas al infinito de las funciones
de Bessel modificadas (es decir, para argumentos x que verifiquen x|2 1/4|) se tiene:
  
ex (1 2)(1 + 2)
I(x) 1+ 8x
+ ,
2x
q

K(x) 2x
ex.

Mientras que el lmite de muy bajo argumento, 0<x + 1 , se obtiene:
1 x

I(x) ( + 1) 2

ln (x/2) si = 0

K(x)
() 2
si > 0

2 x
Propiedades
Para enteros de orden = n, Jn(x) se puede definir a partir de la serie de Laurent de la
siguiente funcin generatriz:
P
e(x/2)(t1/t) = n= Jn(x)tn,

Esta expresin puede generalizarse a rdenes no enteros usando integracin de contorno u

otros mtodos. Otra expresin importante para rdenes enteros es
eiz cos = n in
,
P
n= i Jn(z)e

Ms generalmente, una funcin se puede expandir en una serie de la forma

f (z) = a0J (z) + 2 k=1 akJ +k(z),
P

que se denomina expansin de Neumann. Los coeficientes de esta serie en el caso = 0 tienen
la siguiente forma explcita
1 R
a0k = 2i |z |=c f (z)Ok(z) d z,

donde Ok son los polinomios de Neumann.

Existen funciones que admiten la siguiente representacin especial
f (z) = k=0 akJ +2k(z)
P

con
 J +2k(z)
ak = 2(
R
+ 2k) 0
f (z) z
dz

debido a la relacin de ortogonalidad

dz 2 sin 2 ( )
.
R
0
J(z)J (z) z
= 2 2

Ms generalmente, si f tiene un punto de ramificacin donde f (z) =

P
k=0 ak J +k(z),
entonces
P 1 P ak
L { k=0 ak J +k }(s) = k=0

1 + s2 (s + 1 + s2 ) +k

o
 
+k 1 + 2 1 2
,
P
k=0 ak = 2
L {f } 2

donde L {f } es la transformada de Laplace de f .

Otra manera de definir las funciones de Bessel son la representacin de Poisson y la frmula
de Mehler-Sonine:
z
( 2 ) 1
Z 1
izs 2 2
J (z) = 1 e (1 s ) d s,
( + 2 ) 1
Z
2 sin (z u)
= z
1
1 d u,
+
2 2
1 (u2 1) 2
donde > 1/2 y z es un nmero complejo. Esta frmula es especialmente til cuando se
trabaja con transformadas de Fourier.
(1) (2)
Las funciones J(x), Y(x), H (x) yH (x) cumplen las siguientes relaciones de recurrencia:
2
x
Z(x)=Z1(x)+Z+1(x)
dZ
2 dx
=Z1(x)Z+1(x)

Donde Z denota J , Y , H(1), oH(2).

Estas dos identidades se suelen combinar para obtener otras relaciones distintas. Por ejemplo,
se pueden calcular funciones de Bessel de mayores rdenes (o mayores derivadas) a partir de
funciones de Bessel de menor orden o de derivadas de menor orden. En particular, se cumple:
 m
d
xdx
[ xZ (x) ] =xm Zm (x)
 m h i
d Z(x) Z+ m (x)
xdx x
=(1)m x+ m

Las funciones modificadas de Bessel cumplen relaciones similares:

(x/2)(t+1/t) P
e = n= In(x)tn,

ez cos =I0(z)+2
P
n=1 In(z) cos (n),

Las relaciones de recurrencia sern en este caso:

 2
C1(x)C+1(x)= x
C(x)
dC
C1(x)+C+1(x)=2 dx

donde C denotar a I o a eiK.

La divisin de la ecuacin de Bessel por x es una ecuacin hermtica o auto-adjunta, por lo que
sus solucciones deben cumplir determinadas relaciones de ortogonalidad para unas condiciones
de contorno adecuadas. En particular, se cumple:
R 1 m,n 2 m,n
0
xJ (xu ,m )J (xu ,n ) dx = 2
[J +1(u ,m)] = 2
[J(u,m)]2,

donde > 1, n,m es la delta de Kronecker, y u,m es el m-simo cero de J(x).

Se puede obtener de forma inmediata una relacin anloga para funciones de Bessel esfricas:
R 1 2 m,n
0
x j (xu ,m) j (xu ,n ) dx = 2
[j+1(u,m)]2

Relacin de completitud:
R 1
0
xJ (ux)J (vx) dx = u
(u v)

para > 1/2 y siendo (x) la funcin delta de Dirac.

Para funciones de Bessel esfricas, la relacin de completitud es:
R 2
0
x j (ux) j (vx) dx = 2u2
(u v)
para > 1. Otra propiedad importante de la ecuacin de Bessel, es el Wronskiano de las
soluciones:
dB dA C
A(x) dx
dx
B(x)= x
,

donde A y B son dos soluciones cualesquiera independientes de la ecuacin de Bessel y

C es una constante independiente de x (que depende de y de las funciones de Bessel
consideradas). Por ejemplo, se cumple:
dY dJ 2
J(x) dx
dx
Y(x)= x ,
dK dI 1
I(x) dx
dx
K(x)= x
,

Teorema del Producto

P 1  (1 2)z n
J (z)= n=0 n! 2
J +n(z)

donde y son nmeros complejos cualesquiera. Una frmula similar se cumple para Y (z) y
el resto de funciones de Bessel.
Derivadas de J, Y, I, H, K
Derivada bajando el ndice p a p1
Para y p(x)={J p(x), Y p(x), I p(x), H p(1)(x), H p(2)(x)}
d p
dx
y p(x) = [y p1(x) x
y p(x)]
Mientras que para y p(x)=K p(x), se tiene
d p
dx
y p(x) = y p1(x) x
y p(x)
Derivada subiendo el ndice p a p+1
(1) (2)
Para y p(x)={J p(x), Y p(x), K p(x), H p (x), H p (x)}
d p
dx
y p(x) = [y p+1 (x)+ x
y p(x)]
Mientras que para y p(x)=I p(x), se tiene
d p
dx
y p(x) = y p+1 (x)+ x
y p(x)
Otras relaciones importantes
Para y p(x)={J p(x), Y p(x), H p(1)(x), H p(2)(x)}, se cumplen las siguientes relaciones:
d
dx
y p(x) = [y
2 p1
(x) y p+1(x)]
2p
y p1(x)+ y p+1(x) = x y p(x)
Identidades Seleccionadas
z
z
z
2e 2 zk zk
I 1 2 + I 1 2 = z ; I (z) = k=0 (1)k
P P
k!
J +k(z); J (z) = k=0 k!
I +k(z);
2 2
z
k

P (2 1) 2 P
I (z) = k=0 k!
I +k(z); I (z1 + z2) = k= I k(z1)Ik(z2); J (z) =
z z 1
2
(J 1(z) + J +1(z)), I (z) = 2
(I 1(z) I +1(z)); J (z) = 2
(J 1(z) J +1(z)),
1 x

P k (k + )
I (z) = 2 (I 1(z) + I +1(z)); 2
= k=0 (1) k!
(2k + )I2k+ (x).