рд╕рд╣рдЪрд░ рд▓реАрдЬреЗрдВрдбреНрд░ рдмрд╣реБрдкрдж рддрд╛рд▓рд┐рдХрд╛ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рд╣реИ?
рдпрд╣ рдЯреВрд▓ x рдХреА рдЪреБрдиреА рд╣реБрдИ рд░реЗрдВрдЬ рдкрд░ рд╕рд╣рдЪрд░ рд▓реАрдЬреЗрдВрдбреНрд░ рдлрд▓рди \(P_n^m(x)\) (рдШрд╛рдд n, рдХреНрд░рдо m) рдХреЗ рдорд╛рдиреЛрдВ рдХреА рдПрдХ рддрд╛рд▓рд┐рдХрд╛ рдмрдирд╛рддрд╛ рд╣реИ рдФрд░ рдЙрд╕рд╕реЗ рдЬреБрдбрд╝рд╛ рд╡рдХреНрд░ (curve) рднреА рдЦреАрдВрдЪрддрд╛ рд╣реИред рдпрд╣ рд╡рд┐рд╢реБрджреНрдз рдЧрдгрд┐рдд рд╣реИ, рдЗрд╕рд▓рд┐рдП рд╣рд░ рдЬрдЧрд╣ рдПрдХ рд╕рдорд╛рди рд▓рд╛рдЧреВ рд╣реЛрддрд╛ рд╣реИ тАФ рдЗрд╕рдореЗрдВ рди рдХреЛрдИ рдЗрдХрд╛рдИ рд╣реИ рдФрд░ рди рд╣реА рдХрд┐рд╕реА рджреЗрд╢-рд╡рд┐рд╢реЗрд╖ рдХреА рдХреЛрдИ рдорд╛рдиреНрдпрддрд╛ред рд╕рд╣рдЪрд░ рд▓реАрдЬреЗрдВрдбреНрд░ рдмрд╣реБрдкрдж рднреМрддрд┐рдХреА рдФрд░ рдЕрдиреБрдкреНрд░рдпреБрдХреНрдд рдЧрдгрд┐рдд рдореЗрдВ рд╣рд░ рдУрд░ рджрд┐рдЦрддреЗ рд╣реИрдВ: рдЧреЛрд▓реАрдп рд╣рд╛рд░реНрдореЛрдирд┐рдХреНрд╕ (spherical harmonics) рдореЗрдВ, рдЧреЛрд▓реАрдп рдирд┐рд░реНрджреЗрд╢рд╛рдВрдХреЛрдВ рдореЗрдВ рд▓рд╛рдкреНрд▓рд╛рд╕ рд╕рдореАрдХрд░рдг рдХреЗ рд╣рд▓ рдореЗрдВ, рдмрд╣реБрдзреНрд░реБрд╡реАрдп рд╡рд┐рд╕реНрддрд╛рд░ (multipole expansions) рдореЗрдВ, рдФрд░ рдХреЛрдгреАрдп рд╕рдВрд╡реЗрдЧ (angular momentum) рдХреЗ рдХреНрд╡рд╛рдВрдЯрдо рдпрд╛рдВрддреНрд░рд┐рдХреА рдореЗрдВред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдкреВрд░реНрдгрд╛рдВрдХ рдШрд╛рдд n (0, 1, 2, ...) рдФрд░ рдкреВрд░реНрдгрд╛рдВрдХ рдХреНрд░рдо m рджрд░реНрдЬ рдХрд░реЗрдВ, рдЬрд╣рд╛рдБ \(-n \le m \le n\) рд╣реЛред x рдХрд╛ рдЖрд░рдВрднрд┐рдХ рдорд╛рди (тИТ1 рдФрд░ 1 рдХреЗ рдмреАрдЪ), рд╕реНрдЯреЗрдк рд╡реГрджреНрдзрд┐ рдФрд░ рдкрдВрдХреНрддрд┐рдпреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдЪреБрдиреЗрдВред рдбрд┐рдлрд╝реЙрд▓реНрдЯ рдорд╛рди n = 2, m = 1, рдЖрд░рдВрдн = тИТ1, рд╕реНрдЯреЗрдк = 0.02 рдФрд░ 101 рдкрдВрдХреНрддрд┐рдпрд╛рдБ x рдХреЛ тИТ1 рд╕реЗ +1 рддрдХ (рджреЛрдиреЛрдВ рд╕рд┐рд░реЛрдВ рд╕рд╣рд┐рдд) рдШреБрдорд╛рддреЗ рд╣реИрдВред Type A (Wolfram рдкрд░рд┐рдкрд╛рдЯреА) рдпрд╛ Type B (Maple рдкрд░рд┐рдкрд╛рдЯреА) рдореЗрдВ рд╕реЗ рдХреЛрдИ рдПрдХ рдЪреБрдиреЗрдВ; (тИТ1, 1) рдореЗрдВ рд╡рд╛рд╕реНрддрд╡рд┐рдХ x рдХреЗ рд▓рд┐рдП рджреЛрдиреЛрдВ рдХрд╛ рдкрд░рд┐рдорд╛рдг рд╕рдорд╛рди рд░рд╣рддрд╛ рд╣реИ рдФрд░ рдХреЗрд╡рд▓ рдкреВрд░реНрд╡рдЧреБрдгрд╛рдВрдХ (prefactor) рдХреЗ рдЪрд┐рд╣реНрди/рдХрд▓рд╛ (phase) рдореЗрдВ рдЕрдВрддрд░ рд╣реЛрддрд╛ рд╣реИред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рдкреВрд░реНрдгрд╛рдВрдХ n рдФрд░ \(0 \le m \le n\) рдХреЗ рд▓рд┐рдП рд╣рдо $$P_n^m(x) = (-1)^m\,(1-x^2)^{m/2}\,\frac{d^m}{dx^m}P_n(x)$$ рдХрд╛ рдкреНрд░рдпреЛрдЧ рдХрд░рддреЗ рд╣реИрдВ, рдЬрд┐рд╕рдХрд╛ рдореВрд▓реНрдпрд╛рдВрдХрди рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рд░реВрдк рд╕реЗ рд╕реНрдерд┐рд░ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ (recurrence) рд╕реЗ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ: \(P_m^m = (-1)^m(2m-1)!!\,(1-x^2)^{m/2}\), \(P_{m+1}^m = x(2m+1)P_m^m\), рдФрд░ рдлрд┐рд░ \((l-m)P_l^m = (2l-1)x\,P_{l-1}^m - (l+m-1)P_{l-2}^m\)ред рдЛрдгрд╛рддреНрдордХ m рдХреЗ рд▓рд┐рдП, \(P_n^{-m} = (-1)^m\frac{(n-m)!}{(n+m)!}P_n^m\)ред рдпрд╣ рдмрдВрдж рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рдзрдирд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ m рдХреЗ рд▓рд┐рдП рд╢рд╛рдмреНрджрд┐рдХ 2F1 рд░реВрдк рдореЗрдВ рд╣реЛрдиреЗ рд╡рд╛рд▓реЗ рдЧрд╛рдорд╛-рдлрд▓рди рдХреЗ рдЕрдирд┐рдпрдВрддреНрд░рд┐рдд рд╡рд┐рд╕реНрдлреЛрдЯ (blow-up) рд╕реЗ рдмрдЪрд╛рддреА рд╣реИред
рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг
n = 2, m = 1 рдХреЗ рд╕рд╛рде рдлрд▓рди рд╣реИ $$P_2^1(x) = -3x\sqrt{1-x^2}$$ x = 0 рдкрд░ рдорд╛рди 0 рд╣реИ; x = 0.5 рдкрд░ рдпрд╣ \(-3(0.5)(0.866025) = -1.299038\) рд╣реИ; рдФрд░ x = -0.5 рдкрд░ рдпрд╣ +1.299038 рд╣реИред рд╡рдХреНрд░ 0 рд╕реЗ рд╢реБрд░реВ рд╣реЛрддрд╛ рд╣реИ (x = -1), x = -0.577 рдХреЗ рдкрд╛рд╕ рд▓рдЧрднрдЧ +1.1547 рддрдХ рдКрдкрд░ рдЪрдврд╝рддрд╛ рд╣реИ, x = 0 рдкрд░ рд╢реВрдиреНрдп рдХреЛ рдкрд╛рд░ рдХрд░рддрд╛ рд╣реИ, x = +0.577 рдХреЗ рдкрд╛рд╕ рд▓рдЧрднрдЧ -1.1547 рддрдХ рдиреАрдЪреЗ рдЧрд┐рд░рддрд╛ рд╣реИ, рдФрд░ x = +1 рдкрд░ рдлрд┐рд░ 0 рдкрд░ рд▓реМрдЯ рдЖрддрд╛ рд╣реИред
рдмрдВрдж-рд░реВрдк рд╕рдВрдмрджреНрдз Legendre рдлрд▓рди P_n^m(x)
рд╕рдВрдмрджреНрдз Legendre рдлрд▓рди \(P_n^m(x)\) рдкреВрд░реНрдгрд╛рдВрдХ рдШрд╛рдд \(n\) рдФрд░ рдХреНрд░рдо \(0\le m\le n\) рдХреЗ рд▓рд┐рдП \(P_n^m(x)=(-1)^m(1-x^2)^{m/2}\dfrac{d^m}{dx^m}P_n(x)\) рд╕реЗ рдЕрдиреБрд╕рд░рдг рдХрд░рддреЗ рд╣реИрдВред рдЧреБрдгрдХ \((-1)^m\) CondonтАУShortley рдЪрд░рдг рд╣реИ рдЬреЛ Type A рдЕрднрд┐рд╕рдореНрдорддрд┐ рдореЗрдВ рд╢рд╛рдорд┐рд▓ рд╣реИ (Wolfram рд╕реЗ рдореЗрд▓ рдЦрд╛рддрд╛ рд╣реИ); Type B рдЕрднрд┐рд╕рдореНрдорддрд┐ (Maple) рдЗрд╕реЗ рдЫреЛрдбрд╝ рджреЗрддреА рд╣реИ, рдЗрд╕рд▓рд┐рдП рдЗрд╕рдХреА рд╡рд┐рд╖рдо-\(m\) рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐рдпрд╛рдБ рдХреЗрд╡рд▓ рдЪрд┐рдиреНрд╣ рдореЗрдВ рднрд┐рдиреНрди рд╣реЛрддреА рд╣реИрдВред рдиреАрдЪреЗ рджреА рдЧрдИ рддрд╛рд▓рд┐рдХрд╛ Type A рдХреЗ рддрд╣рдд рд╕реНрдкрд╖реНрдЯ рд░реВрдкреЛрдВ рдХреЛ рд╕реВрдЪреАрдмрджреНрдз рдХрд░рддреА рд╣реИред
| \(n\) | \(m\) | \(P_n^m(x)\) (Type A, рдЪрд┐рдиреНрд╣ рдХреЗ рд╕рд╛рде) |
|---|---|---|
| 0 | 0 | \(1\) |
| 1 | 0 | \(x\) |
| 1 | 1 | \(-\sqrt{1-x^2}\) |
| 2 | 0 | \(\tfrac{1}{2}(3x^2-1)\) |
| 2 | 1 | \(-3x\sqrt{1-x^2}\) |
| 2 | 2 | \(3(1-x^2)\) |
| 3 | 0 | \(\tfrac{1}{2}(5x^3-3x)\) |
| 3 | 1 | \(-\tfrac{3}{2}(5x^2-1)\sqrt{1-x^2}\) |
| 3 | 2 | \(15x(1-x^2)\) |
| 3 | 3 | \(-15(1-x^2)^{3/2}\) |
рдПрдХ рдХрд╛рд░реНрдп рдХреЗ рд░реВрдк рдореЗрдВ рдЬрд╛рдБрдЪ рдХрд░рдиреЗ рдХреЗ рд▓рд┐рдП, \(x=0.5\) рдкрд░ рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐ \(P_2^1\) рджреЗрддрд╛ рд╣реИ \(-3(0.5)\sqrt{1-0.25}=-1.5\sqrt{0.75}=\) -1.299038ред \(m=0\) рд╕реНрддрдВрдн рд╕рд╛рдорд╛рдиреНрдп Legendre рдмрд╣реБрдкрдж \(P_n(x)\) рдХреЛ рдкреБрдирдГ рдЙрддреНрдкрдиреНрди рдХрд░рддрд╛ рд╣реИ, рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП \(P_3^0(x)=\tfrac12(5x^3-3x)\), рдЬрд┐рд╕реЗ Legendre рдмрд╣реБрдкрдж рддрд╛рд▓рд┐рдХрд╛ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреЗ рд╕рд╛рде рд╕рд╛рд░рдгреАрдмрджреНрдз рдХрд┐рдпрд╛ рдЬрд╛ рд╕рдХрддрд╛ рд╣реИред
рдореБрдЦреНрдп рд╢рдмреНрдж рдФрд░ рдЪрд░
- рдШрд╛рдд \(n\)
-
рдПрдХ рдЧреИрд░-рдЛрдгрд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ (
degreeN) рдЬреЛ рдЕрдВрддрд░реНрдирд┐рд╣рд┐рдд Legendre рдмрд╣реБрдкрдж \(P_n(x)\) рдХреЗ рдХреНрд░рдо рдХреЛ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рдХрд░рддрд╛ рд╣реИ, рдЬреЛ рдШрд╛рдд \(n\) рдХрд╛ рдПрдХ рдмрд╣реБрдкрдж рд╣реИред - рдХреНрд░рдо \(m\)
-
рдПрдХ рдкреВрд░реНрдгрд╛рдВрдХ (
orderM) рдЬреЛ рдирд┐рдпрдВрддреНрд░рд┐рдд рдХрд░рддрд╛ рд╣реИ рдХрд┐ рдХрд┐рддрдиреЗ рд╡реНрдпреБрддреНрдкрдиреНрди рд▓рд┐рдП рдЬрд╛рддреЗ рд╣реИрдВред \((-1,1)\) рдкрд░ рд╡рд╛рд╕реНрддрд╡рд┐рдХ-рдореВрд▓реНрдп рд╡рд╛рд▓реЗ рдкрд░рд┐рдгрд╛рдореЛрдВ рдХреЗ рд▓рд┐рдП рдЖрдорддреМрд░ рдкрд░ \(0\le m\le n\) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ; рдЬрдм \(m>n\) рдлрд▓рди рд╕рдорд╛рди рд░реВрдк рд╕реЗ рд╢реВрдиреНрдп рд╣реЛрддрд╛ рд╣реИ рдХреНрдпреЛрдВрдХрд┐ рдШрд╛рдд-\(n\) рдмрд╣реБрдкрдж рдХрд╛ \(m\)-рд╡рд╛рдБ рд╡реНрдпреБрддреНрдкрдиреНрди рд▓реБрдкреНрдд рд╣реЛ рдЬрд╛рддрд╛ рд╣реИред - рддрд░реНрдХ \(x\)
-
рдореВрд▓реНрдпрд╛рдВрдХрди рдмрд┐рдВрджреБ (
initialXрдЬрдорд╛ \(i\cdot\)stepX)ред рдлрд▓рди \(-1\le x\le 1\) рдХреЗ рд▓рд┐рдП рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╣реИрдВ; рднреМрддрд┐рдХреА рдореЗрдВ \(x=\cos\theta\)ред - Type A (Wolfram / CondonтАУShortley)
-
рдЪрд░рдг рдЧреБрдгрдХ \((-1)^m\) рдХреЛ рд╢рд╛рдорд┐рд▓ рдХрд░рддрд╛ рд╣реИред рдпрд╣ Wolfram рдХреЗ
LegendrePрдФрд░ рдорд╛рдирдХ рдХреНрд╡рд╛рдВрдЯрдо-рдпрд╛рдВрддреНрд░рд┐рдХреА рдкрд╛рда рджреНрд╡рд╛рд░рд╛ рдЙрдкрдпреЛрдЧ рдХреА рдЬрд╛рдиреЗ рд╡рд╛рд▓реА рдЕрднрд┐рд╕рдореНрдорддрд┐ рд╣реИред - Type B (Maple)
- \((-1)^m\) рдЪрд░рдг рдХреЛ рдЫреЛрдбрд╝рддрд╛ рд╣реИ, рдЗрд╕рд▓рд┐рдП \(P_n^m\) (Type B) \(=(-1)^m\,P_n^m\) (Type A)ред рдкрд░рд┐рдорд╛рдг рд╕рдорд╛рди рд╣реИрдВ; рдХреЗрд╡рд▓ рд╡рд┐рд╖рдо-\(m\) рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐рдпреЛрдВ рдХрд╛ рдЪрд┐рдиреНрд╣ рднрд┐рдиреНрди рд╣реЛрддрд╛ рд╣реИред
- рджреЛрд╣рд░рд╛ рднрд╛рдЬреНрдп \((2m-1)!!\)
- рд╡рд┐рд╖рдо рдкреВрд░реНрдгрд╛рдВрдХреЛрдВ рдХрд╛ рдЧреБрдгрдирдлрд▓ \((2m-1)(2m-3)\cdots 3\cdot 1\), рдЬрд╣рд╛рдБ \((-1)!!=1\)ред рдпрд╣ рдЕрдЧреНрд░рдгреА рдЧреБрдгрд╛рдВрдХ \(P_m^m(x)=(-1)^m(2m-1)!!\,(1-x^2)^{m/2}\) рдореЗрдВ рдкреНрд░рдХрдЯ рд╣реЛрддрд╛ рд╣реИ; рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП \(P_3^3\) \(5!!=15\) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИред рдЗрди рдорд╛рдиреЛрдВ рдХреЗ рд▓рд┐рдП рджреЛрд╣рд░реЗ-рднрд╛рдЬреНрдп рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рджреЗрдЦреЗрдВред
- рдЛрдгрд╛рддреНрдордХ-рдХреНрд░рдо рд╕рдВрдмрдВрдз
- \(m>0\) рдХреЗ рд▓рд┐рдП, \(P_n^{-m}(x)=(-1)^m\dfrac{(n-m)!}{(n+m)!}\,P_n^{m}(x)\), рдЬреЛ рд╕рдХрд╛рд░рд╛рддреНрдордХ рдФрд░ рдЛрдгрд╛рддреНрдордХ рдХреНрд░рдореЛрдВ рдХреЛ рднрд╛рдЬреНрдп рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдЬреЛрдбрд╝рддрд╛ рд╣реИред
рддрд╛рд▓рд┐рдХрд╛ рдФрд░ рдЧреНрд░рд╛рдл рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рдХрдИ рд╕рдВрд░рдЪрдирд╛рддреНрдордХ рдЧреБрдгрдзрд░реНрдо рдЖрдкрдХреЛ рд╕рд╛рд░рдгреАрдмрджреНрдз рдорд╛рдиреЛрдВ рдФрд░ рдкреНрд▓реЙрдЯ рдХрд┐рдП рдЧрдП рд╡рдХреНрд░ рдХреА рд╡рд┐рд╡реЗрдХ-рдЬрд╛рдБрдЪ рдХрд░рдиреЗ рджреЗрддреЗ рд╣реИрдВ:
- рд╕рдорддрд╛ред \(P_n^m(-x)=(-1)^{n+m}P_n^m(x)\)ред рдЬрдм \(n+m\) рд╕рдо рд╣реИ, рдЧреНрд░рд╛рдл \(x=0\) рдХреЗ рдмрд╛рд░реЗ рдореЗрдВ рд╕рдордорд┐рдд рд╣реИ; рдЬрдм \(n+m\) рд╡рд┐рд╖рдо рд╣реИ рдпрд╣ рдЕрд╕рдордорд┐рдд рд╣реИ (рдФрд░ рдЗрд╕рд▓рд┐рдП рдореВрд▓ рд╕реЗ рдЧреБрдЬрд░рддрд╛ рд╣реИ)ред
- рдЖрдВрддрд░рд┐рдХ рдореЗрдВ рд╢реВрдиреНрдпред рдЦреБрд▓реЗ рдЕрдВрддрд░рд╛рд▓ \((-1,1)\) рдкрд░, \(P_n^m(x)\) рдХреЗ рдареАрдХ \(n-m\) рд╕рд░рд▓ рд╢реВрдиреНрдп рд╣реИрдВред рдЙрджрд╛рд╣рд░рдг рдХреЗ рд▓рд┐рдП \(P_3^1\) рдХреЗ рджреЛ рдЖрдВрддрд░рд┐рдХ рд╢реВрдиреНрдп рд╣реИрдВ, рдЬрдмрдХрд┐ \(P_n^n\) рдХреЗ рдХреЛрдИ рдирд╣реАрдВ рд╣реИрдВред
- рдЕрдВрддрдмрд┐рдВрджреБ рд╡реНрдпрд╡рд╣рд╛рд░ред рдЧреБрдгрдХ \((1-x^2)^{m/2}\) рдХреЗ рдХрд╛рд░рдг, \(m>0\) рд╡рд╛рд▓рд╛ рдкреНрд░рддреНрдпреЗрдХ рдлрд▓рди \(x=\pm 1\) рдкрд░ рд▓реБрдкреНрдд рд╣реЛ рдЬрд╛рддрд╛ рд╣реИред \(m=0\) рдХреЗ рд▓рд┐рдП рдорд╛рди \(P_n(1)=1\) рдФрд░ \(P_n(-1)=(-1)^n\) рд╣реИрдВред
- рдХрд┐рдирд╛рд░реЛрдВ рдХреЗ рдкрд╛рд╕ рдкрд░рд┐рдорд╛рдгред рдЙрдЪреНрдЪрддрд░ \(m\) рдХреЗ рд▓рд┐рдП \((1-x^2)^{m/2}\) рдЧреБрдгрдХ рд╡рдХреНрд░ рдХреЛ рддреАрд╡реНрд░рддрд╛ рд╕реЗ рджрдмрд╛рддрд╛ рд╣реИ рдЬреИрд╕реЗ \(x\to\pm1\), рдЗрд╕рд▓рд┐рдП рд╕рдмрд╕реЗ рдмрдбрд╝реА рд╡рд┐рдЪрд▓рди рд╕реАрдорд╛ рдХреЗ рдмреАрдЪ рдХреА рдУрд░ рд╣реЛрддреА рд╣реИред
рдпреЗ рдлрд▓рди рдЧреЛрд▓реАрдп рд╕реБрд░рд╕рдВрдЧрддрд┐ \(Y_n^m(\theta,\phi)\) рдХрд╛ \(\theta\)-рдирд┐рд░реНрднрд░ рднрд╛рдЧ рд╣реИрдВ: \(x=\cos\theta\) рд▓рд┐рдЦрдиреЗ рдкрд░, рдПрдХ рдХреЗ рдкрд╛рд╕ \(Y_n^m\propto P_n^m(\cos\theta)\,e^{im\phi}\) рд╣реИред рдЖрдВрддрд░рд┐рдХ рд╢реВрдиреНрдп рдЕрдХреНрд╖рд╛рдВрд╢ рдХреА рдиреЛрдбрд▓ рдордВрдбрд▓рд┐рдпрд╛рдБ рдмрди рдЬрд╛рддреЗ рд╣реИрдВ, рдФрд░ \(m>0\) рдЕрдВрддрдмрд┐рдВрджреБ рд▓реБрдкреНрдд рд╣реЛрдирд╛ рд╕реБрд░рд╕рдВрдЧрддрд┐ рдХреЗ рдзреНрд░реБрд╡реЛрдВ рдкрд░ рд╢реВрдиреНрдп рдХреА рдУрд░ рдЬрд╛рддрд╛ рд╣реИред рд╕рдорд╛рди \(P_n^m\) рдорд╛рди рдЗрд╕рд▓рд┐рдП рд╕реАрдзреЗ рдЪреБрдиреЗ рдЧрдП \(\theta\) рдФрд░ \(\phi\) рдкрд░ рдПрдХ рдЧреЛрд▓реАрдп-рд╕реБрд░рд╕рдВрдЧрддрд┐ рдореВрд▓реНрдпрд╛рдВрдХрди рдореЗрдВ рднрд░рддреЗ рд╣реИрдВред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
n рдФрд░ m рдХрд╛ рдкреВрд░реНрдгрд╛рдВрдХ рд╣реЛрдирд╛ рдХреНрдпреЛрдВ рдЬрд╝рд░реВрд░реА рд╣реИ? рдмрд╣реБрдкрдж рдХрд╛ рд╕рдорд╛рдкреНрдд рд╣реЛрдиреЗ рд╡рд╛рд▓рд╛ (terminating) рд░реВрдк рдкрд╛рдиреЗ рдХреЗ рд▓рд┐рдП n рдХрд╛ рдЛрдгреЗрддрд░ рдкреВрд░реНрдгрд╛рдВрдХ рд╣реЛрдирд╛ рдЖрд╡рд╢реНрдпрдХ рд╣реИ; рдФрд░ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рддрдерд╛ \((n\pm m)!\) рдЧреБрдгрдирдЦрдВрдбреЛрдВ рдХреЗ рд▓рд┐рдП m рдХрд╛ рдкреВрд░реНрдгрд╛рдВрдХ рд╣реЛрдирд╛ рдЬрд╝рд░реВрд░реА рд╣реИ, рдЬрд╣рд╛рдБ \(-n \le m \le n\)ред
рджрд┐рдЦрд╛рдпрд╛ рдЧрдпрд╛ рдирдореВрдирд╛ рдорд╛рди (sample value) рдХреНрдпрд╛ рд╣реИ? рд╣реАрд░реЛ рдмреЙрдХреНрд╕ рддрд╛рд▓рд┐рдХрд╛ рдХреА рдордзреНрдп рдкрдВрдХреНрддрд┐ (median index) рдкрд░ x рдФрд░ \(P_n^m(x)\) рдХреЗ рдорд╛рди рджрд┐рдЦрд╛рддрд╛ рд╣реИ тАФ рдпрд╣ рд╡рдХреНрд░ рдХреА рдПрдХ рдЭрдЯрдкрдЯ рдЬрд╛рдБрдЪ рд╣реИред
m = 0 рдХреНрдпрд╛ рджреЗрддрд╛ рд╣реИ? \(P_n^0(x)\) рд╕рд╛рдорд╛рдиреНрдп рд▓реАрдЬреЗрдВрдбреНрд░ рдмрд╣реБрдкрдж \(P_n(x)\) рд╣реА рд╣реЛрддрд╛ рд╣реИред