рд▓рд╛рдЧреБрдПрд░ рдмрд╣реБрдкрдж рддрд╛рд▓рд┐рдХрд╛ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХреНрдпрд╛ рд╣реИ?
рдпрд╣ рдЯреВрд▓ x рдХреЗ рдХреНрд░рдордмрджреНрдз рдорд╛рдиреЛрдВ рдкрд░ рд▓рд╛рдЧреБрдПрд░ рдмрд╣реБрдкрдж \(L_n(x)\) рдХреА рддрд╛рд▓рд┐рдХрд╛ рдмрдирд╛рддрд╛ рд╣реИ рдФрд░ рдЙрд╕рдХрд╛ рдЧреНрд░рд╛рдл рдЦреАрдВрдЪрддрд╛ рд╣реИред рд▓рд╛рдЧреБрдПрд░ рдмрд╣реБрдкрдж, рдЕрд╡рдХрд▓ рд╕рдореАрдХрд░рдг \(x\cdot y'' + (1 - x)\cdot y' + n\cdot y = 0\) рдХреЗ рд▓рд╛рдВрдмрдХреЛрдгреАрдп (рдСрд░реНрдереЛрдЧреЛрдирд▓) рдмрд╣реБрдкрдж рд╣рд▓ рд╣реИрдВред рдпреЗ рдХреНрд╡рд╛рдВрдЯрдо рдпрд╛рдВрддреНрд░рд┐рдХреА (рд╣рд╛рдЗрдбреНрд░реЛрдЬрди рдкрд░рдорд╛рдгреБ рдХреЗ рдЕрд░реАрдп рднрд╛рдЧ), рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рд╕рдорд╛рдХрд▓рди (рдЧреЙрд╕-рд▓рд╛рдЧреБрдПрд░ рдХреНрд╡рд╛рдбрд░реЗрдЪрд░) рдФрд░ рд╕рд┐рдЧреНрдирд▓ рдкреНрд░реЛрд╕реЗрд╕рд┐рдВрдЧ рдореЗрдВ рдмрд╛рд░-рдмрд╛рд░ рд╕рд╛рдордиреЗ рдЖрддреЗ рд╣реИрдВред рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдорд╛рдирдХ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ, рдЬрд╣рд╛рдБ \(L_n(0) = 1\) рд╣реЛрддрд╛ рд╣реИред
рдЗрд╕рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдЪрд╛рд░ рд╕рдВрдЦреНрдпрд╛рдПрдБ рджрд░реНрдЬ рдХрд░реЗрдВ: рдХреЛрдЯрд┐ n (рдПрдХ рдЕрдЛрдгрд╛рддреНрдордХ рдкреВрд░реНрдгрд╛рдВрдХ), x рдХрд╛ рдкреНрд░рд╛рд░рдВрднрд┐рдХ рдорд╛рди, рдХреНрд░рдорд┐рдХ x рдорд╛рдиреЛрдВ рдХреЗ рдмреАрдЪ рдХрд╛ рдЕрдВрддрд░рд╛рд▓ (рд╕реНрдЯреЗрдк), рдФрд░ рдкрдВрдХреНрддрд┐рдпреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ред рдХреИрд▓рдХреБрд▓реЗрдЯрд░ \(x = \text{startX},\ \text{startX} + \text{stepX},\ \text{startX} + 2\cdot\text{stepX},\ \dots\) рдЙрддреНрдкрдиреНрди рдХрд░рддрд╛ рд╣реИ рдФрд░ рдкреНрд░рддреНрдпреЗрдХ рдкрд░ \(L_n(x)\) рдХрд╛ рдорд╛рди рдирд┐рдХрд╛рд▓рдХрд░ рджреЛ-рд╕реНрддрдВрдн рд╡рд╛рд▓реА рддрд╛рд▓рд┐рдХрд╛ рддрдерд╛ рдПрдХ рд░реЗрдЦрд╛ рдЧреНрд░рд╛рдл рджреЗрддрд╛ рд╣реИред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рдмрд╣реБрдкрдж рдХрд╛ рд╡рд┐рд╕реНрддрд╛рд░ рдХрд░рдиреЗ рдХреЗ рдмрдЬрд╛рдп, рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рд░реВрдк рд╕реЗ рд╕реНрдерд┐рд░ рддреАрди-рдкрдж рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ (рд░рд┐рдХрд░реЗрдВрд╕) рдХрд╛ рдЙрдкрдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ:
$$L_0(x) = 1,\quad L_1(x) = 1 - x$$рдФрд░ \(k \ge 1\) рдХреЗ рд▓рд┐рдП
$$L_{k+1}(x) = \frac{(2k + 1 - x)\cdot L_k(x) - k\cdot L_{k-1}(x)}{k + 1}$$рдЗрд╕рдореЗрдВ рдкреНрд░рддреНрдпреЗрдХ рдмрд┐рдВрджреБ рдХреЗ рд▓рд┐рдП рдХреЗрд╡рд▓ \(O(n)\) рдЧрдгрдирд╛ рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рд╣реЛрддреА рд╣реИред рд╢реБрд░реБрдЖрддреА рдХреБрдЫ рдмрд╣реБрдкрдж рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИрдВ: \(L_2(x) = 1 - 2x + x^2/2\) рдФрд░ \(L_3(x) = 1 - 3x + 1.5x^2 - x^3/6\)ред
рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдЙрджрд╛рд╣рд░рдг
\(n = 3\) рдФрд░ \(x = -1\) рдХреЗ рд▓рд┐рдП:
$$L_3(-1) = 1 + 3 + 1.5 + 0.16667 = 5.66667$$рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╕реЗ рдЬрд╛рдБрдЪ: \(L_0 = 1\), \(L_1 = 2\), \(L_2 = 3.5\),
$$L_3 = \frac{6\cdot 3.5 - 2\cdot 2}{3} = \frac{17}{3} = 5.66667$$\(x = 0\) рдкрд░ \(L_3(0) = 1\); рддрдерд╛ \(x = 1\) рдкрд░ \(L_3(1) = -0.66667\)ред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рдХреМрди-рд╕рд╛ рд╕рд╛рдорд╛рдиреНрдпреАрдХрд░рдг рдЙрдкрдпреЛрдЧ рд╣реЛрддрд╛ рд╣реИ? рдорд╛рдирдХ рд░реВрдк рдЬрд┐рд╕рдореЗрдВ \(L_n(0) = 1\) рд╣реЛрддрд╛ рд╣реИ, рди рдХрд┐ рдХреБрдЫ рд╕рдВрджрд░реНрднреЛрдВ рдореЗрдВ рджрд┐рдЦрдиреЗ рд╡рд╛рд▓рд╛ рдЕрд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд \(n!\cdot L_n(x)\)ред
рдЕрдЧрд░ n = 0 рд╣реЛ рддреЛ рдХреНрдпрд╛ рд╣реЛрдЧрд╛? рддрдм рд╣рд░ рдЬрдЧрд╣ \(L_0(x) = 1\) рд░рд╣рддрд╛ рд╣реИ, рдпрд╛рдиреА рдПрдХ рд╕рдкрд╛рдЯ рдХреНрд╖реИрддрд┐рдЬ рд░реЗрдЦрд╛ред \(n = 1\) рдХреЗ рд▓рд┐рдП рдЖрдкрдХреЛ рд╕реАрдзреА рд░реЗрдЦрд╛ \(1 - x\) рдорд┐рд▓рддреА рд╣реИред
n рдХрд┐рддрдирд╛ рдмрдбрд╝рд╛ рд╣реЛ рд╕рдХрддрд╛ рд╣реИ? рдордзреНрдпрдо рдорд╛рди рдХреЗ n рдХреЗ рд▓рд┐рдП рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╕реНрдерд┐рд░ рд░рд╣рддреА рд╣реИред рдмрд╣реБрдд рдмрдбрд╝реЗ n рдпрд╛ рдмрдбрд╝реЗ \(|x|\) рдХреЗ рд▓рд┐рдП рдорд╛рди рддреЗрдЬрд╝реА рд╕реЗ рдмрдврд╝рддреЗ рд╣реИрдВ рдФрд░ рдЕрдВрддрддрдГ рдлреНрд▓реЛрдЯрд┐рдВрдЧ-рдкреЙрдЗрдВрдЯ рдУрд╡рд░рдлреНрд▓реЛ рд╣реЛ рд╕рдХрддрд╛ рд╣реИред