G. Уравнение Бесселя в сферических координатах

При решении уравнения для геометрии в сферических координатах возникает следующее уравнение для радиуса

r2d2R(r)dr2\displaystyle r^2 \cdot \frac{\displaystyle d^2 R(r)}{\displaystyle dr^2}+2rdR(r)dr\displaystyle {} + 2 \cdot r \cdot \frac{\displaystyle d R(r)}{\displaystyle dr}+(r2γ2k(k+1))R(r)\displaystyle {} + \left( r^2 \cdot \gamma^2 - k \cdot (k + 1) \right) \cdot R(r)=0,\displaystyle {} = 0,
(G.1)

где γ\gamma — собственное значение, kk — целое неотрицательное число.

Сделаем подстановку R(r)R(r)=1rR^(r){} = \frac{\displaystyle 1}{\displaystyle \sqrt r} \cdot \widehat{R}(r) и проведём преобразования

dR(r)dr\displaystyle \frac{\displaystyle d R(r)}{\displaystyle dr} =ddr(1rR^(r))\displaystyle {} = \frac{\displaystyle d}{\displaystyle dr} \left( \frac{\displaystyle 1}{\displaystyle \sqrt r} \cdot \widehat{R}(r) \right)=12rrR^(r)\displaystyle {} = - \frac{\displaystyle 1}{\displaystyle 2 \cdot r \cdot \sqrt r} \cdot \widehat{R}(r)+1rdR^(r)dr,\displaystyle {} + \frac{\displaystyle 1}{\displaystyle \sqrt r} \cdot \frac{\displaystyle d \widehat{R}(r)}{\displaystyle dr},
d2R(r)dr2\displaystyle \frac{\displaystyle d^2 R(r)}{\displaystyle dr^2} =12\displaystyle {} = - \frac{\displaystyle 1}{\displaystyle 2}ddr(1rrR^(r))\displaystyle {} \cdot \frac{\displaystyle d}{\displaystyle dr} \left( \frac{\displaystyle 1}{\displaystyle r \cdot \sqrt r} \cdot \widehat{R}(r) \right)+ddr(1rdR^(r)dr),\displaystyle {} + \frac{\displaystyle d}{\displaystyle dr} \left( \frac{\displaystyle 1}{\displaystyle \sqrt r} \cdot \frac{\displaystyle d \widehat{R}(r)}{\displaystyle dr} \right),
12ddr(1rrR^(r))\displaystyle {} - \frac{\displaystyle 1}{\displaystyle 2} \cdot \frac{\displaystyle d}{\displaystyle dr} \left( \frac{\displaystyle 1}{\displaystyle r \cdot \sqrt r} \cdot \widehat{R}(r) \right) =341r2rR^(r)\displaystyle {} = \frac{\displaystyle 3}{\displaystyle 4} \cdot \frac{\displaystyle 1}{\displaystyle r^2 \cdot \sqrt r} \cdot \widehat{R}(r)121rrdR^(r)dr,\displaystyle {} - \frac{\displaystyle 1}{\displaystyle 2} \cdot \frac{\displaystyle 1}{\displaystyle r \cdot \sqrt r} \cdot \frac{\displaystyle d \widehat{R}(r)}{\displaystyle dr},
ddr(1rdR^(r)dr)\displaystyle \frac{\displaystyle d}{\displaystyle dr} \left( \frac{\displaystyle 1}{\displaystyle \sqrt r} \cdot \frac{\displaystyle d \widehat{R}(r)}{\displaystyle dr} \right) =12rrdR^(r)dr\displaystyle {} = - \frac{\displaystyle 1}{\displaystyle 2 \cdot r \cdot \sqrt r} \cdot \frac{\displaystyle d \widehat{R}(r)}{\displaystyle dr}+1rd2R^(r)dr2,\displaystyle {} + \frac{\displaystyle 1}{\displaystyle \sqrt r} \cdot \frac{\displaystyle d^2 \widehat{R}(r)}{\displaystyle dr^2},
d2R(r)dr2\displaystyle \frac{\displaystyle d^2 R(r)}{\displaystyle dr^2} =1rd2R^(r)dr2\displaystyle {} = \frac{\displaystyle 1}{\displaystyle \sqrt r} \cdot \frac{\displaystyle d^2 \widehat{R}(r)}{\displaystyle dr^2}1rrdR^(r)dr\displaystyle {} - \frac{\displaystyle 1}{\displaystyle r \cdot \sqrt r} \cdot \frac{\displaystyle d \widehat{R}(r)}{\displaystyle dr}+341r2rR^(r),\displaystyle {} + \frac{\displaystyle 3}{\displaystyle 4} \cdot \frac{\displaystyle 1}{\displaystyle r^2 \cdot \sqrt r} \cdot \widehat{R}(r),
r2d2R(r)dr2\displaystyle r^2 \cdot \frac{\displaystyle d^2 R(r)}{\displaystyle dr^2} =rrd2R^(r)dr2\displaystyle {} = r \cdot \sqrt r \cdot \frac{\displaystyle d^2 \widehat{R}(r)}{\displaystyle dr^2}rdR^(r)dr\displaystyle {} - \sqrt r \cdot \frac{\displaystyle d \widehat{R}(r)}{\displaystyle dr}+341rR^(r),\displaystyle {} + \frac{\displaystyle 3}{\displaystyle 4} \cdot \frac{\displaystyle 1}{\displaystyle \sqrt r} \cdot \widehat{R}(r),
r2d2R(r)dr2\displaystyle r^2 \cdot \frac{\displaystyle d^2 R(r)}{\displaystyle dr^2}+2rdR(r)dr\displaystyle {} + 2 \cdot r \cdot \frac{\displaystyle d R(r)}{\displaystyle dr}=rrd2R^(r)dr2\displaystyle {} = r \cdot \sqrt r \cdot \frac{\displaystyle d^2 \widehat{R}(r)}{\displaystyle dr^2}+rdR^(r)dr\displaystyle {} + \sqrt r \cdot \frac{\displaystyle d \widehat{R}(r)}{\displaystyle dr}141rR^(r),\displaystyle {} - \frac{\displaystyle 1}{\displaystyle 4} \cdot \frac{\displaystyle 1}{\displaystyle \sqrt r} \cdot \widehat{R}(r),

разделим на rrr \cdot \sqrt r и запишем уравнение (G.1) через коэффициенты

ζ1d2R^(r)dr2\displaystyle \zeta_1 \cdot \frac{\displaystyle d^2 \widehat{R}(r)}{\displaystyle dr^2}+ζ2dR^(r)dr\displaystyle {} + \zeta_2 \cdot \frac{\displaystyle d \widehat{R}(r)}{\displaystyle dr}+ζ3R^(r)\displaystyle {} + \zeta_3 \cdot \widehat{R}(r)=0,\displaystyle {} = 0,

а теперь определим коэффициенты, предварительно преобразовав свободный член

γ2\displaystyle \gamma^2k(k+1)r2\displaystyle {} - \frac{\displaystyle k \cdot (k + 1)}{\displaystyle r^2}14r2\displaystyle {} - \frac{\displaystyle 1}{\displaystyle 4 \cdot r^2}=γ2\displaystyle {} = \gamma^2(k+1/2)2r2,\displaystyle {} - \frac{\displaystyle (k + 1/2)^2}{\displaystyle r^2},
ζ1\displaystyle \zeta_1 =1,\displaystyle {} = 1,ζ2\displaystyle \zeta_2=1r,\displaystyle {} = \frac{\displaystyle 1}{\displaystyle r},ζ3\displaystyle \zeta_3=γ2\displaystyle {} = \gamma^2(k+1/2)2r2,\displaystyle {} - \frac{\displaystyle (k + 1/2)^2}{\displaystyle r^2},

таким образом, уравнение (G.1) принимает вид

d2R^(r)dr2\displaystyle \frac{\displaystyle d^2 \widehat{R}(r)}{\displaystyle dr^2}+1rdR^(r)dr\displaystyle {} + \frac{\displaystyle 1}{\displaystyle r} \cdot \frac{\displaystyle d \widehat{R}(r)}{\displaystyle dr}+(γ2(k+1/2)2r2)R^(r)\displaystyle {} + \left( \gamma^2 - \frac{\displaystyle (k + 1/2)^2}{\displaystyle r^2} \right) \cdot \widehat{R}(r)=0.\displaystyle {} = 0.

Получили уравнение Бесселя с полуцелым индексом kk+1/2{} + 1/2. Его ограниченные в нуле решения — функции Бесселя первого рода R^(r)\widehat{R}(r)=Jk+1/2(γr){} = J_{k + 1/2}(\gamma \cdot r), kk(0..){} \in (0..\infty); решения второго рода Yk+1/2(γr)Y_{k + 1/2}(\gamma \cdot r) бесконечны в нуле, что видно на рисунке (B.2), и отбрасываются из условия ограниченности. Таким образом, решение исходного уравнения (G.1) имеет вид

R(r)\displaystyle R(r) =1rJk+1/2(γr),\displaystyle {} = \frac{\displaystyle 1}{\displaystyle \sqrt r} \cdot J_{k + 1/2}(\gamma \cdot r),
(G.2)

где Jk+1/2(γr)J_{k + 1/2}(\gamma \cdot r) — функция Бесселя первого рода с полуцелым индексом. С точностью до постоянного множителя это сферическая функция Бесселя: jk(γr)j_k(\gamma \cdot r)=π2γrJk+1/2(γr){} = \sqrt{\frac{\displaystyle \pi}{\displaystyle 2 \cdot \gamma \cdot r}} \cdot J_{k + 1/2}(\gamma \cdot r).