рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рдХрд░рддрд╛ рд╣реИ
рдпрд╣ рдЯреВрд▓ рдмреЗрд╕реЗрд▓ рдХреЗ рдЕрд╡рдХрд▓ рд╕рдореАрдХрд░рдг \(x^2y'' + xy' + (x^2 - v^2)y = 0\) рдХреЗ рджреЛ рд░реИрдЦрд┐рдХрддрдГ рд╕реНрд╡рддрдВрддреНрд░ рд╣рд▓реЛрдВ рдХреА рдЧрдгрдирд╛ рдХрд░рддрд╛ рд╣реИ: рдкреНрд░рдердо рдкреНрд░рдХрд╛рд░ рдХрд╛ рдмреЗрд╕реЗрд▓ рдлрд╝рдВрдХреНрд╢рди \(J_v(x)\), рджреНрд╡рд┐рддреАрдп рдкреНрд░рдХрд╛рд░ рдХрд╛ рдлрд╝рдВрдХреНрд╢рди \(Y_v(x)\) (рдЬрд┐рд╕реЗ рдиреНрдпреВрдореИрди рдлрд╝рдВрдХреНрд╢рди рднреА рдХрд╣рддреЗ рд╣реИрдВ), рдФрд░ рдЙрдирдХреЗ рдкреНрд░рдердо рдЕрд╡рдХрд▓рдЬ \(J'_v(x)\) рддрдерд╛ \(Y'_v(x)\)ред рдпрд╣ рдХрд┐рд╕реА рднреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рдХреЛрдЯрд┐ \(v\) (рдкреВрд░реНрдгрд╛рдВрдХ, рднрд┐рдиреНрдирд╛рддреНрдордХ рдпрд╛ рдЛрдгрд╛рддреНрдордХ) рдФрд░ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рддрд░реНрдХ \(x\) рдХреЛ рд╕реНрд╡реАрдХрд╛рд░ рдХрд░рддрд╛ рд╣реИред рдмреЗрд╕реЗрд▓ рдлрд╝рдВрдХреНрд╢рди рднреМрддрд┐рдХреА рдФрд░ рдЗрдВрдЬреАрдирд┐рдпрд░рд┐рдВрдЧ рдореЗрдВ рд╣рд░ рдЬрдЧрд╣ рджрд┐рдЦрд╛рдИ рджреЗрддреЗ рд╣реИрдВ тАФ рдХрдВрдкрд┐рдд рд╡реГрддреНрддрд╛рдХрд╛рд░ рдЭрд┐рд▓реНрд▓рд┐рдпрд╛рдБ, рдмреЗрд▓рдиреЛрдВ рдореЗрдВ рдКрд╖реНрдорд╛ рдЪрд╛рд▓рди, рд╡реЗрд╡рдЧрд╛рдЗрдб рдореЗрдВ рд╡рд┐рджреНрдпреБрддрдЪреБрдВрдмрдХреАрдп рддрд░рдВрдЧреЗрдВ, рдФрд░ рд╕рд┐рдЧреНрдирд▓ рдкреНрд░реЛрд╕реЗрд╕рд┐рдВрдЧред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдХреЛрдЯрд┐ v (рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП 0, 1, рдпрд╛ 0.5), рддрд░реНрдХ x рджрд░реНрдЬ рдХрд░реЗрдВ, рдФрд░ рдЪреБрдиреЗрдВ рдХрд┐ рдЖрдк рдкрд░рд┐рдгрд╛рдо рдореЗрдВ рдХрд┐рддрдиреЗ рдЕрдВрдХ рджрд┐рдЦрд╛рдирд╛ рдЪрд╛рд╣рддреЗ рд╣реИрдВред рдЪрд╛рд░реЛрдВ рдорд╛рди рджреЗрдЦрдиреЗ рдХреЗ рд▓рд┐рдП рдХреИрд▓рдХреБрд▓реЗрдЯ рджрдмрд╛рдПрдБред рдЧреИрд░-рдкреВрд░реНрдгрд╛рдВрдХ рдХреЛрдЯрд┐ рдХреЗ рд▓рд┐рдП \(x \ge 0\) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░реЗрдВ, рдХреНрдпреЛрдВрдХрд┐ рдЛрдгрд╛рддреНрдордХ \(x\) рдкрд░ \((x/2)^v\) рд╕рдореНрдорд┐рд╢реНрд░ (complex) рд╣реЛ рдЬрд╛рддрд╛ рд╣реИред \(x = 0\) рдкрд░ рджреНрд╡рд┐рддреАрдп рдкреНрд░рдХрд╛рд░ рдХреЗ рдлрд╝рдВрдХреНрд╢рди рд╡рд┐рдЪрд┐рддреНрд░ (singular) рд╣реЛрддреЗ рд╣реИрдВ рдФрд░ рдЙрдиреНрд╣реЗрдВ рдЕрдкрд░рд┐рднрд╛рд╖рд┐рдд рджрд░реНрд╢рд╛рдпрд╛ рдЬрд╛рддрд╛ рд╣реИред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
\(J_v(x)\) рдХреА рдЧрдгрдирд╛ рдЙрд╕рдХреА рдШрд╛рдд-рд╢реНрд░реЗрдгреА (power series) рд╕реЗ рдЧрд╛рдорд╛ рдлрд╝рдВрдХреНрд╢рди рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддреЗ рд╣реБрдП рдХреА рдЬрд╛рддреА рд╣реИ, рдЬрд╣рд╛рдБ рдкрджреЛрдВ рдХреЛ рдПрдХ рд╕реНрдерд┐рд░ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ (recurrence) рд╕реЗ рддрдм рддрдХ рдЬреЛрдбрд╝рд╛ рдЬрд╛рддрд╛ рд╣реИ рдЬрдм рддрдХ рдкрдж рд╕рд╣рдирд╢реАрд▓рддрд╛ рд╕реАрдорд╛ рд╕реЗ рдиреАрдЪреЗ рди рдЧрд┐рд░ рдЬрд╛рдПрдБред
$$J_{\nu}(x) = \sum_{k=0}^{\infty} \frac{(-1)^{k}}{k!\,\Gamma(\nu+k+1)} \left(\frac{x}{2}\right)^{2k+\nu}$$рдЧреИрд░-рдкреВрд░реНрдгрд╛рдВрдХ рдХреЛрдЯрд┐ рдХреЗ рд▓рд┐рдП \(Y_v(x)\) рдореЗрдВ рд╕реВрддреНрд░ рдХрд╛ рдкреНрд░рдпреЛрдЧ рд╣реЛрддрд╛ рд╣реИ
$$Y_{\nu}(x) = \frac{J_{\nu}(x)\cos(\nu\pi) - J_{-\nu}(x)}{\sin(\nu\pi)}$$рдкреВрд░реНрдгрд╛рдВрдХ рдХреЛрдЯрд┐ рдХреЗ рд▓рд┐рдП рдХреИрд▓рдХреБрд▓реЗрдЯрд░ \(v\) рдореЗрдВ рдереЛрдбрд╝рд╛ рдкрд░рд┐рд╡рд░реНрддрди (1e-7) рдХрд░ рджреЗрддрд╛ рд╣реИ рддрд╛рдХрд┐ \(\sin(v\pi)=0\) рд╕реЗ рднрд╛рдЧ рджреЗрдиреЗ рдХреА рд╕реНрдерд┐рддрд┐ рд╕реЗ рдмрдЪрд╛ рдЬрд╛ рд╕рдХреЗред рдЕрд╡рдХрд▓рдЬ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддреЗ рд╣реИрдВ,
$$C'_{\nu}(x) = \tfrac{1}{2}\bigl(C_{\nu-1}(x) - C_{\nu+1}(x)\bigr)$$рдЬрд┐рд╕рдореЗрдВ рд╡рд┐рд╢реЗрд╖ рд╕реНрдерд┐рддрд┐ \(C'_0(x) = -C_1(x)\) рд╣реИред
рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдЙрджрд╛рд╣рд░рдг
\(v = 0\) рдФрд░ \(x = 1\) рдХреЗ рд▓рд┐рдП: \(J_0(1)\) рдХреА рд╢реНрд░реЗрдгреА рджреЗрддреА рд╣реИ $$1 - 0.25 + 0.015625 - 0.000434 + \dots \approx 0.7651977$$ рдЬреНрдЮрд╛рдд рдорд╛рди рд╣реИрдВ \(Y_0(1) \approx 0.0882570\), \(J'_0(1) = -J_1(1) \approx -0.4400506\), рдФрд░ \(Y'_0(1) = -Y_1(1) \approx 0.7812128\)ред
рдореБрдЦреНрдп рд╢рдмреНрдж рдФрд░ рдЪрд░
- рдХреНрд░рдо \(\nu\)
- рдкреИрд░рд╛рдореАрдЯрд░ \(\nu\) рдЬреЛ \(J_\nu(x)\) рдФрд░ \(Y_\nu(x)\) рдореЗрдВ рдЕрд╡рдХрд▓ рд╕рдореАрдХрд░рдг \(x^2 y'' + x y' + (x^2-\nu^2)y = 0\) рдХрд╛ рд░реВрдк рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рддрд╛ рд╣реИред рдпрд╣ рдХреЛрдИ рднреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛ рд╣реЛ рд╕рдХрддреА рд╣реИ; рдкреВрд░реНрдгрд╛рдВрдХ рдХреНрд░рдо (\(\nu = 0,1,2,\dots\)) рдмреЗрд▓рдирд╛рдХрд╛рд░ рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХреЛрдВ рдореЗрдВ рдХреЛрдгреАрдп рдкреГрдердХреНрдХрд░рдг рд╕реЗ рдЙрддреНрдкрдиреНрди рд╣реЛрддреЗ рд╣реИрдВ, рдЬрдмрдХрд┐ рдЕрд░реНрдз-рдкреВрд░реНрдгрд╛рдВрдХ рдХреНрд░рдо рдЧреЛрд▓рд╛рдХрд╛рд░ рдмреЗрд╕рд▓ рдлрд▓рди рджреЗрддреЗ рд╣реИрдВ рдЬреЛ рдкреНрд░рд╛рдердорд┐рдХ рдлрд▓рдиреЛрдВ рдореЗрдВ рд╡реНрдпрдХреНрдд рдХрд┐рдП рдЬрд╛ рд╕рдХрддреЗ рд╣реИрдВред
- рддрд░реНрдХ \(x\)
- рд╕реНрд╡рддрдВрддреНрд░ рдЪрд░ рдЬрд┐рд╕ рдкрд░ рдлрд▓рди рдХрд╛ рдореВрд▓реНрдпрд╛рдВрдХрди рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ, рдЖрдорддреМрд░ рдкрд░ рдПрдХ рд╕реНрдХреЗрд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рд░реЗрдбрд┐рдпрд▓ рджреВрд░реА \(x = kr\)ред рд╡рд╛рд╕реНрддрд╡рд┐рдХ \(x\) рдХреЗ рд▓рд┐рдП, \(J_\nu\) рдкреВрд░реНрдгрд╛рдВрдХ \(\nu\) рдХреЗ рд▓рд┐рдП рд╡рд╛рд╕реНрддрд╡рд┐рдХ-рдореВрд▓реНрдпрд╡рд╛рди рд╣реИ, рдФрд░ \(Y_\nu\) рдХреЗрд╡рд▓ \(x>0\) рдХреЗ рд▓рд┐рдП рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╣реИред
- рдкреНрд░рдердо рдкреНрд░рдХрд╛рд░ рдХрд╛ рдмреЗрд╕рд▓ рдлрд▓рди \(J_\nu(x)\)
- рд╡рд╣ рд╕рдорд╛рдзрд╛рди рдЬреЛ рдореВрд▓ рдмрд┐рдВрджреБ рдкрд░ рдкрд░рд┐рдорд┐рдд рд╣реИ (\(\nu\ge 0\) рдХреЗ рд▓рд┐рдП), рд╢реНрд░реЗрдгреА \(J_\nu(x)=\sum_{k=0}^{\infty}\frac{(-1)^k}{k!\,\Gamma(\nu+k+1)}\left(\tfrac{x}{2}\right)^{2k+\nu}\) рджреНрд╡рд╛рд░рд╛ рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╣реИред рдпрд╣ рдзреАрд░реЗ-рдзреАрд░реЗ рдХреНрд╖рдп рд╣реЛрддреЗ рдЖрдпрд╛рдо рдХреЗ рд╕рд╛рде рджреЛрд▓рди рдХрд░рддрд╛ рд╣реИ рдЬреИрд╕реЗ-рдЬреИрд╕реЗ \(x\) рдмрдврд╝рддрд╛ рд╣реИред
- рджреНрд╡рд┐рддреАрдп рдкреНрд░рдХрд╛рд░ рдХрд╛ рдмреЗрд╕рд▓ рдлрд▓рди \(Y_\nu(x)\)
- рдиреЙрдпрдорди (рдпрд╛ рд╡реЗрдмрд░) рдлрд▓рди рднреА рдХрд╣рд╛ рдЬрд╛рддрд╛ рд╣реИ, рдпрд╣ рджреВрд╕рд░рд╛ рд░реИрдЦрд┐рдХ рд░реВрдк рд╕реЗ рд╕реНрд╡рддрдВрддреНрд░ рд╕рдорд╛рдзрд╛рди рд╣реИред рдпрд╣ \(Y_\nu(x)=\dfrac{J_\nu(x)\cos(\nu\pi)-J_{-\nu}(x)}{\sin(\nu\pi)}\) рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рд╣реИ (рдкреВрд░реНрдгрд╛рдВрдХ \(\nu\) рдХреЗ рд▓рд┐рдП рдПрдХ рд╕реАрдорд┐рдд рд░реВрдк рдХреЗ рд╕рд╛рде) рдФрд░ рдореВрд▓ рдмрд┐рдВрджреБ рдкрд░ рд▓рдШреБрдЧрдгрдХреАрдп рд░реВрдк рд╕реЗ рдпрд╛ \(x\) рдХреА рд╢рдХреНрддрд┐ рдХреЗ рд░реВрдк рдореЗрдВ рд╡рд┐рдЪрд▓рд┐рдд рд╣реЛрддрд╛ рд╣реИред
- рдЕрд╡рдХрд▓рдЬ \(J'_\nu(x)\), \(Y'_\nu(x)\)
- \(x\) рдХреЗ рд╕рдВрдмрдВрдз рдореЗрдВ рдЕрд╡рдХрд▓рдЬред рд╡реЗ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╕рдВрдмрдВрдз \(C'_\nu(x)=\tfrac{1}{2}\bigl(C_{\nu-1}(x)-C_{\nu+1}(x)\bigr)\) рдФрд░ \(C'_\nu(x)=C_{\nu-1}(x)-\tfrac{\nu}{x}C_\nu(x)\) рдХреЛ рд╕рдВрддреБрд╖реНрдЯ рдХрд░рддреЗ рд╣реИрдВ, рдЬрд╣рд╛рдВ \(C\) рдпрд╛ рддреЛ \(J\) рдпрд╛ \(Y\) рдХреЗ рд▓рд┐рдП рдЦрдбрд╝рд╛ рд╣реИред рд╡рд┐рд╢реЗрд╖ рд░реВрдк рд╕реЗ \(J'_0(x)=-J_1(x)\)ред
- рдЧрд╛рдорд╛ рдлрд▓рди \(\Gamma(z)\)
- рднрд╛рдЬреНрдп рдХрд╛ рд╕рддрдд рд╡рд┐рд╕реНрддрд╛рд░, рдЬрд┐рд╕рдореЗрдВ рдЧреИрд░-рдирдХрд╛рд░рд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рдХреЗ рд▓рд┐рдП \(\Gamma(n+1)=n!\) рд╣реИ, рдЬреЛ рдЧреИрд░-рдкреВрд░реНрдгрд╛рдВрдХ рдХреНрд░рдо рдХреА рдЕрдиреБрдорддрд┐ рджреЗрдиреЗ рдХреЗ рд▓рд┐рдП \(J_\nu\) рд╢реНрд░реЗрдгреА рдХреЗ рд╣рд░ рдореЗрдВ рджрд┐рдЦрд╛рдИ рджреЗрддрд╛ рд╣реИред рд╡реНрдпрдХреНрддрд┐рдЧрдд рдорд╛рдиреЛрдВ рдХреЗ рд▓рд┐рдП рдЧрд╛рдорд╛ рдлрд▓рди рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рджреЗрдЦреЗрдВред
- рд╢реВрдиреНрдп (рдореВрд▓)
- рдорд╛рди \(j_{\nu,m}\) рдФрд░ \(y_{\nu,m}\) рдЬрд╣рд╛рдВ \(J_\nu(x)=0\) рдпрд╛ \(Y_\nu(x)=0\)ред рдпреЗ рд╕реАрдорд╛-рдореВрд▓реНрдп рд╕рдорд╕реНрдпрд╛рдУрдВ рдореЗрдВ eigenvalues рдХреЗ рд░реВрдк рдореЗрдВ рдХрд╛рд░реНрдп рдХрд░рддреЗ рд╣реИрдВ; рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП, рд╕реНрдерд┐рд░-рдХрд┐рдирд╛рд░реЗ рд╡реГрддреНрддрд╛рдХрд╛рд░ рдЭрд┐рд▓реНрд▓реА рдХреА рдЖрд╡реГрддреНрддрд┐рдпрд╛рдВ рд╢реВрдиреНрдп \(j_{\nu,m}\) рдХреЗ рд╕рдорд╛рдиреБрдкрд╛рддреА рд╣реЛрддреА рд╣реИрдВред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рдХреНрдпрд╛ рдХреЛрдЯрд┐ рдЛрдгрд╛рддреНрдордХ рдпрд╛ рднрд┐рдиреНрдирд╛рддреНрдордХ рд╣реЛ рд╕рдХрддреА рд╣реИ? рд╣рд╛рдБред рд╢реНрд░реЗрдгреА рдФрд░ рдЧрд╛рдорд╛ рдлрд╝рдВрдХреНрд╢рди рдХрд┐рд╕реА рднреА рд╡рд╛рд╕реНрддрд╡рд┐рдХ \(v\) рдХреЛ рд╕рдВрднрд╛рд▓ рд▓реЗрддреЗ рд╣реИрдВред рдмрд╕ рдЧреИрд░-рдкреВрд░реНрдгрд╛рдВрдХ \(v\) рдХреЗ рд▓рд┐рдП \(x \ge 0\) рд░рдЦреЗрдВред
x = 0 рдкрд░ Y рдЕрдкрд░рд┐рднрд╛рд╖рд┐рдд рдХреНрдпреЛрдВ рд╣реИ? рджреНрд╡рд┐рддреАрдп рдкреНрд░рдХрд╛рд░ рдХреЗ рд╕рднреА рдмреЗрд╕реЗрд▓ рдлрд╝рдВрдХреНрд╢рди \(x \to 0\) рдкрд░ рдЛрдгрд╛рддреНрдордХ рдЕрдирдВрдд рдХреА рдУрд░ рд╡рд┐рдЪрд▓рд┐рдд рд╣реЛ рдЬрд╛рддреЗ рд╣реИрдВ, рдЗрд╕рд▓рд┐рдП рд╡рд╣рд╛рдБ рдХреЛрдИ рдкрд░рд┐рдорд┐рдд рдорд╛рди рдореМрдЬреВрдж рдирд╣реАрдВ рд╣реЛрддрд╛ред
рдпрд╣ рдХрд┐рддрдирд╛ рд╕рдЯреАрдХ рд╣реИ? рдЧрдгрдирд╛рдПрдБ рдбрдмрд▓ рдкреНрд░рд┐рд╕рд┐рдЬрд╝рди (рд▓рдЧрднрдЧ 15 рд╕рд╛рд░реНрдердХ рдЕрдВрдХ) рдореЗрдВ рд╣реЛрддреА рд╣реИрдВред рдкреНрд░рджрд░реНрд╢рди-рдЕрдВрдХ рд╡рд╛рд▓рд╛ рд╡рд┐рдХрд▓реНрдк рдХреЗрд╡рд▓ рдлрд╝реЙрд░реНрдореЗрдЯрд┐рдВрдЧ рдХреЛ рдирд┐рдпрдВрддреНрд░рд┐рдд рдХрд░рддрд╛ рд╣реИ, рдЕрдВрддрд░реНрдирд┐рд╣рд┐рдд рдЧрдгрд┐рдд рдХреЛ рдирд╣реАрдВред