MCP рдХреЗ рдорд╛рдзреНрдпрдо рд╕реЗ рдХрдиреЗрдХреНрдЯ рдХрд░реЗрдВ тЖТ

рдЧрдгрдирд╛ рджрд░реНрдЬ рдХрд░реЗрдВ

рд╕реВрддреНрд░ (рдлреЙрд░реНрдореВрд▓рд╛)

рд╡рд┐рдЬреНрдЮрд╛рдкрди

рдкрд░рд┐рдгрд╛рдо

P21(x) at x = 0
-0
101 rows generated
x P21(x)
-1 0
-0.98 0.585053
-0.96 0.8064
-0.94 0.962112
-0.92 1.081695
-0.9 1.176903
-0.88 1.253931
-0.86 1.316559
-0.84 1.367318
-0.82 1.408014
-0.8 1.44
-0.78 1.464324
-0.76 1.481825
-0.74 1.493187
-0.72 1.498984
-0.7 1.4997
-0.68 1.495753
-0.66 1.487506
-0.64 1.47528
-0.62 1.459359
-0.6 1.44
-0.58 1.417433
-0.56 1.391868
-0.54 1.363497
-0.52 1.332499
-0.5 1.299038
-0.48 1.263267
-0.46 1.225328
-0.44 1.185357
-0.42 1.14348
-0.4 1.099818
-0.38 1.054485
-0.36 1.007588
-0.34 0.959234
-0.32 0.909521
-0.3 0.858545
-0.28 0.8064
-0.26 0.753175
-0.24 0.698956
-0.22 0.64383
-0.2 0.587878
-0.18 0.53118
-0.16 0.473816
-0.14 0.415864
-0.12 0.357399
-0.1 0.298496
-0.08 0.239231
-0.06 0.179676
-0.04 0.119904
-0.02 0.059988
0 -0
0.02 -0.059988
0.04 -0.119904
0.06 -0.179676
0.08 -0.239231
0.1 -0.298496
0.12 -0.357399
0.14 -0.415864
0.16 -0.473816
0.18 -0.53118
0.2 -0.587878
0.22 -0.64383
0.24 -0.698956
0.26 -0.753175
0.28 -0.8064
0.3 -0.858545
0.32 -0.909521
0.34 -0.959234
0.36 -1.007588
0.38 -1.054485
0.4 -1.099818
0.42 -1.14348
0.44 -1.185357
0.46 -1.225328
0.48 -1.263267
0.5 -1.299038
0.52 -1.332499
0.54 -1.363497
0.56 -1.391868
0.58 -1.417433
0.6 -1.44
0.62 -1.459359
0.64 -1.47528
0.66 -1.487506
0.68 -1.495753
0.7 -1.4997
0.72 -1.498984
0.74 -1.493187
0.76 -1.481825
0.78 -1.464324
0.8 -1.44
0.82 -1.408014
0.84 -1.367318
0.86 -1.316559
0.88 -1.253931
0.9 -1.176903
0.92 -1.081695
0.94 -0.962112
0.96 -0.8064
0.98 -0.585053
1 -0

рд╕рд╣рдЪрд░ рд▓реАрдЬреЗрдВрдбреНрд░ рдмрд╣реБрдкрдж рддрд╛рд▓рд┐рдХрд╛ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рд╣реИ?

рдпрд╣ рдЯреВрд▓ 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) рд╕реЗ рдмрдЪрд╛рддреА рд╣реИред

рдЛрдг рдПрдХ рд╕реЗ рдПрдХ рддрдХ рдХреЗ рдЕрдВрддрд░рд╛рд▓ рдкрд░ рдЦреАрдВрдЪреЗ рдЧрдП рдХрдИ рд╕рдВрдмрджреНрдз рд▓реАрдЬреЗрдВрдбреНрд░ рдлрд▓рдиреЛрдВ рдХреЗ рд╡рдХреНрд░
рдЕрдВрддрд░рд╛рд▓ [-1, 1] рдкрд░ рдкрд╣рд▓реЗ рдХреБрдЫ рд╕рдВрдмрджреНрдз рд▓реАрдЬреЗрдВрдбреНрд░ рдлрд▓рдиреЛрдВ \(P_n^m(x)\) рдХреЗ рдЧреНрд░рд╛рдлрд╝ред

рд╣рд▓ рдХрд┐рдпрд╛ рд╣реБрдЖ рдЙрджрд╛рд╣рд░рдг

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 рдкрд░ рд▓реМрдЯ рдЖрддрд╛ рд╣реИред

рдШрд╛рдд n рдХреЗ рдЕрдиреБрд╕рд╛рд░ рдкрдВрдХреНрддрд┐рдпреЛрдВ рдФрд░ рдХреНрд░рдо m рдХреЗ рдЕрдиреБрд╕рд╛рд░ рд╕реНрддрдВрднреЛрдВ рдореЗрдВ рдЕрдиреБрдХреНрд░рдорд┐рдд рдмрд╣реБрдкрдж рдкреНрд░рд╡рд┐рд╖реНрдЯрд┐рдпреЛрдВ рдХреА рддреНрд░рд┐рдХреЛрдгреАрдп рд╡реНрдпрд╡рд╕реНрдерд╛
рддрд╛рд▓рд┐рдХрд╛ рд▓реЗрдЖрдЙрдЯ: рдкрдВрдХреНрддрд┐рдпрд╛рдБ рдШрд╛рдд n рдХреЗ рдЕрдиреБрд╕рд╛рд░, рд╕реНрддрдВрдн рдХреНрд░рдо m рдХреЗ рдЕрдиреБрд╕рд╛рд░, рдкреНрд░рддреНрдпреЗрдХ рдХреЛрд╖реНрда рдореЗрдВ \(P_n^m(x)\)ред

рдмрдВрдж-рд░реВрдк рд╕рдВрдмрджреНрдз 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)\) рд╣реА рд╣реЛрддрд╛ рд╣реИред

рдЕрдВрддрд┐рдо рдЕрдкрдбреЗрдЯ: