10.

13  Funciones de Bessel  325

2. c1 = c2. Aquí, una solución es de la forma (10.15) y la otra solución linealmente indepen-
diente es de la forma
X1
    ln(z � a) bk (z � a)kþc  (10.16)
k¼0

3. c1 − c2 = un entero  0. En ese caso, existe ya sea una solución de la forma (10.15) o

dos soluciones linealmente independientes que tienen esta forma. Si sólo se halla una
solución de la forma (10.15), la otra solución linealmente independiente es de la forma
(10.16).
Todas las soluciones obtenidas convergen en un círculo con centro en a, que se extiende hasta la singularidad más
cercana de la ecuación diferencial.

10.12  Solución de ecuaciones diferenciales mediante

integrales de contorno
Con frecuencia es deseable buscar una solución de una ecuación diferencial de la forma
þ
Y(z) ¼ K(z, t)G(t) dt  (10.17)
C

donde K(z, t) se conoce como el núcleo. Una posibilidad útil se presenta cuando K(z, t) = ezt, en cuyo caso
þ
Y(z) ¼ ezt G(t) dt  (10.18)
C
Tales soluciones pueden presentarse cuando los coeficientes de la ecuación diferencial son funciones racionales
(véanse los problemas 10.25 y 10.26).

10.13  Funciones de Bessel
La ecuación diferencial de Bessel de orden n está dada por
z2 Y 00 þ zY 0 þ (z2 � n2 )Y ¼ 0 (10.19)
Una solución de esta ecuación cuando n ≥ 0 es
� �
zn z2 z4
Jn (z) ¼ n 1� þ � ���  (10.20)
2 G(n þ 1) 2(2n þ 2) 2 � 4(2n þ 2)(2n þ 4)

que se conoce como función de Bessel del primer tipo de orden n.

Si n no es un entero, la solución general de (10.18) es
Y ¼ AJn (z) þ BJ�n (z)  (10.21)
n
donde A y B son constantes arbitrarias. Pero si n es un entero, entonces J−n(z) = (−1) Jn(z) y (10.20) no proporciona
la solución general. En este caso, la solución general se halla como en los problemas 10.182 y 10.183.
Las funciones de Bessel tienen muchas propiedades interesantes e importantes, entre las que se encuentran las
siguientes.
X1
1. ez(t�1=t)=2 ¼ Jn (z)tn
n¼�1
El lado izquierdo suele conocerse como función generatriz de las funciones de Bessel del primer tipo para
valores enteros de n.

www.FreeLibros.me
 326 Capítulo 10   Temas especiales

2. zJn�1 (z) � 2nJn (z) þ zJnþ1 (z) ¼ 0

Esta fórmula se conoce como fórmula de recursión para las funciones de Bessel [véase el problema
10.27]. dd fznn Jn (z)g ¼ znn Jn�1 (z), dd fz�n�n
J (z)g ¼ ¼ �z �z�n �n
dzd fz nnJn (z)g ¼ z nnJn�1 (z), d fz �n
dz Jnn(z)g �n JJnþ1
nþ1(z) (z)
dzd fzn Jnn (z)g ¼ zn Jn�1 (z), dz d fz�n�n Jnn (z)g ¼ �z�n �n Jnþ1 (z)
dzdd fznnJn (z)g ¼ pznnJn�1 (z), dz
n�1 dd fz �nJn (z)g ¼ �z�n nþ1
Jnþ1 (z)
3. dz fzfz JJnn(z)g (z)g¼¼ððpzz JJn�1
n�1(z),(z), dz fzfz�n (z)g¼¼�z
JJnn(z)g �z�nJJnþ1 nþ1(z)(z)
dzdz J (z) ¼ 11 ðpp cos(nf � z sen dz
dz f) df, n ¼ integer
Jn (z) ¼ p
n 1 ðppcos(nf � z sen f) df, n ¼ integer
p
Jnn (z) ¼ p 1 ððcos(nf � z sen f) df, n ¼ integer
Jn (z) ¼ p 1100 cos(nf � z sen f) df, n ¼ integer
4. J (z) ¼
Jnn (z) ¼p 00 cos(n cos(nff��zzsen senff))ddff, ,  nnn¼ =¼integer
entero
integer
p pp0
ð 1
ð
ð
p 1
ð
1 00 sen nnp p1
JJnn(z)(z) ¼ ¼ 11 ððppp cos(n
cos(nf f� � zz sensen f f)) ddf f� �sen
senpnp1
ð1 e�n
1
ð1e �n
�nf�z senh f
f�z senh f d f
df
Jnn (z) ¼ p p
1 ð0ðcos(nf � z sen f) d f � senpnpð0ðe�n
p p f
f�z senh f
�z senh f df
p �n f �z senh f
5. 1
J (z) ¼ p10 cos(nf � z sen f) d f � sen sen p np e �nff�z�zsenh
n senhffd f
JJnnn(z)(z)¼¼p 00 cos(n cos(nff��zzsen senff))ddff�� p 000 ee�n ddff
ð z pp 0 p p 0
ðz 00 zfaJn(bz)J (bz)Jn00 (az)
(az) � � bJbJn(az)J 00 00 (bz)g
(az)J
ðzzz tJn (at)Jn (bt) dt ¼ zfaJ n00 (bz)g ,
n
(bz)g , aa = = bb
n n
ðz ztJn (at)Jn (bt) dt ¼ zfaJnn (bz)Jnnn000 (az) b 2 �
� abJ2 nn (az)J
6. ð ð tJ n (at)J n (bt) dt ¼ zfaJ n (bz)J 0 b
(az)2 �
� a 2
bJ n (az)J n0 (bz)g ,
n
0 a = b
0 tJn (at)Jn (bt) dt ¼ zfaJ
0 n n (bz)Jnnn0(az)
zfaJnn(bz)J (az) ��abJ
b222 � (az)Jnnn0(bz)g
22bJnn(az)J (bz)g, a = b
z 00 nn
tJtJ (at)J
(at)J nn(bt)
(bt) dtdt ¼¼ b �a 2 , , aa == bb
ððz 000 bb22��aa22
ðzzz tJn (at)Jn (bt) dt ¼ azJ (bz)Jn�1(az)
azJn(bz)J (az) � � bzJ
bzJn(az)J (az)Jn�1(bz) (bz)
ðz ztJn (at)Jn (bt) dt ¼ azJnn (bz)Jn�1
n n�1
(az) 2� bzJ
n n�1
2 n (az)Jn�1 (bz) ,
, aa = = bb
7. ððtJn (at)Jn (bt) dt ¼ azJn (bz)Jn�1 (az) n�1 b
b 2 �
� a
a 2
bzJ n (az)J n�1 (bz) , a = b
b222 � 22 nnn(az)J n�1
0 tJn (at)Jn (bt) dt ¼ azJ azJnn(bz)J n�1(az) �bzJ n�1(bz)
0 n n (bz)Jn�1 (az) abzJ (az)Jn�1 (bz), a = b
tJ tJ (at)J
(at)J (bt)
(bt) dt
dt ¼¼ b �a � 2 , , aa== bb
00 nn nn
0 ð z bb22��aa22
00 ðz 2
ðzzz tfJn (at)g22 dt ¼ zz222 [fJn (az)g22 � Jn�1 (az)Jnþ1 (az)]
8. ð tfJ (at)g dt ¼ z [fJ (az)g � J (az)Jnþ1 (az)]
ðzðztfJnn (at)g222 dt ¼ z22222[fJnn (az)g222 � Jn�1
0 tfJn (at)g dt ¼ z2z [fJn (az)g � Jn�1 n�1 (az)J nþ1 (az)]
nþ1
0 n 22 n 22 n�1 (az)Jnþ1 (az)]
tfJ (at)g dt ¼ [fJ
00 tfJnn (at)g dt ¼ 2 [fJnn (az)g � Jn�1 (az)g � J (az)J
n�1 (az)Jnþ1 nþ1(az)]
(az)]
0 þ 22
00 1 þ
9. (z) ¼
JJnn(z) ¼ 11 þþ tt�n�1 �n�1 (1=2)z(t�1=t)
ee(1=2)z(t�1=t) dt, nn ¼
dt, ¼ 0,0, +1,+1, +2,+2, .. .. ..
Jnn (z) ¼ 2p 2 p i �n�1
1 i þCþ t�n�1 e (1=2)z(t�1=t)
(1=2)z(t�1=t) dt, n ¼ 0, +1, +2, ...
�n�1 (1=2)z(t�1=t)
J (z) ¼ 21p1i C t�n�1 e (1=2)z(t�1=t)dt, n ¼ 0, +1, +2, . . .
(z)¼¼2pi CC t t�n�1ee(1=2)z(t�1=t)
JJnnn(z) dt, nn¼¼0,0,+1,
dt, +1,+2, +2,. . . .
donde C es una curva simple 22ppicerrada
iC que encierra a t = 0.
CC
ð1
zn
10. Jn (z) ¼ eizt (1 � t2 )n�1=2 dt
1 � 3 � 5 � � � (2n � 1)p
�1
ðp
zn
¼ cos(z cos f) sen2n f df
1 � 3 � 5 � � � (2n � 1)p
0
Una segunda solución para la ecuación diferencial de Bessel, cuando n es un entero positivo, se conoce como
función de Bessel del segundo tipo de orden n o función de Neumann, y está dada por
� �
1Xn�1
(n � k � 1)! z 2k�n
Yn (z) ¼ Jn (z) ln z �
2 k¼0 k! 2
 (10.22)
1 � �2kþn
1X (�1)k z
� fG(k) þ G(n þ k)g
2 k¼0 (k!)(n þ k)! 2

donde G(k) ¼ 1 þ 12 þ 13 þ � � � þ 1=k y G(0) = 0.

G(0) ¼ 0.
If = 0,
Sinn ¼ 0, se tiene
� � � �
z2 z4 1 z6 1 1
Y0 (z) ¼ J0 (z) ln z þ 2 � 2 2 1 þ þ 2 2 2 1þ þ � � � � (10.23)
2 24 2 24 6 2 3

www.FreeLibros.me
 10.14  Funciones de Legendre  327

En términos de estas ecuaciones, la solución general de (10.19), para n que es un entero positivo, se escribe
Y ¼ AJn (z) þ BYn (z) (10.24)

10.14  Funciones de Legendre
La ecuación diferencial de Legendre de orden n está dada por
(1 � z2 )Y 00 � 2zY 0 þ n(n þ 1)Y ¼ 0  (10.25)
La solución general de esta ecuación es
� �
n(n þ 1) 2 n(n � 2)(n þ 1)(n þ 3) 4
Y ¼A 1� z þ z � ���
2! 4!
� � (10.26)
(n � 1)(n þ 2) 3 (n � 1)(n � 3)(n þ 2)(n þ 4) 5
þB z� z þ z � ���
3! 5!

Si n no es entero, estas soluciones en forma de serie convergen para |z| < 1. Si n es cero o un entero positivo, se obtie-
nen soluciones polinómicas de grado n. Estas soluciones polinómicas se conocen como polinomios de Legendre y se
denotan Pn(z), n = 0, 1, 2, 3, . . . . Al elegir estos polinomios de manera que Pn(1) = 1, se encuentra que se expresan
mediante la fórmula de Rodrigues
1 dn
Pn (z) ¼ (z2 � 1)n (10.27)
2n n! dzn
de donde P0 (z) ¼ 1, P1 (z) ¼ z, P2 (z) ¼ 12 (3z2 � 1), P3 (z) ¼ 12 (5z3 � 3z),, etcétera.
etc.
Las siguientes son algunas propiedades de los polinomios de Legendre.
1
X
1
1. pffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffiffi ¼ Pn (z)tn
1 � 2zt þ t2 n¼0
Esta igualdad se conoce como función generatriz para los polinomios de Legendre.
� �
(2n)! n(n � 1) n�2 n(n � 1)(n � 2)(n � 3) n�4
2. Pn (z) ¼ n 2 zn � z þ z � ���
2 (n!) 2(2n � 1) 2 � 4(2n � 1)(2n � 3)
þ
1 (t2 � 1)n
3. Pn (z) ¼ dt
2 pi 2n (t � z)nþ1
C

donde C es cualquier curva cerrada que encierre al polo t = z.

ð1ð1 ((
00 siifmm=
if =nn
4. PPmm(z)P
(z)Pn (z) dz¼¼
n (z)dz
22
siifmm¼¼nn
if
�1�1 2nþþ11
2n
[Véanse los problemas 10.30 y 10.31.] ðp
1 pffiffiffiffiffiffiffiffiffiffiffiffi
Pn (z) ¼ 1 ðp [z þ pffiffiffiffiffiffiffiffiffiffiffiffi
z2 � 1 cos f]n df
5. P (z) ¼ p [z þ z 2 � 1 cos f]n d f
n 0 p
0

[Véase el problema 6.34.]

6. (n þ 1)Pnþ1 (z) � (2n þ 1)zPn (z) þ nPn�1 (z) ¼ 0
(n þ 1)Pnþ1 (z) � (2n þ 1)zPn (z) þ nPn�1 (z) ¼ 0
Esta ecuación se conoce como fórmula de recursión para los polinomios de Legendre [véase el problema
10.32].

www.FreeLibros.me