рдЧрд╛рдЙрд╕-рд╣рд░реНрдорд┐рдЯ рдХреНрд╡рд╛рдбреНрд░реЗрдЪрд░ рдХреНрдпрд╛ рд╣реИ?
рдЧрд╛рдЙрд╕-рд╣рд░реНрдорд┐рдЯ рдХреНрд╡рд╛рдбреНрд░реЗрдЪрд░ рдПрдХ рд╕рдВрдЦреНрдпрд╛рддреНрдордХ рд╡рд┐рдзрд┐ рд╣реИ рдЬрд┐рд╕рд╕реЗ рдкреВрд░реА рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╕рдВрдЦреНрдпрд╛ рд░реЗрдЦрд╛ рдкрд░ рдРрд╕реЗ рд╕рдорд╛рдХрд▓рдиреЛрдВ (рдЗрдВрдЯреАрдЧреНрд░рд▓) рдХрд╛ рд╕рдиреНрдирд┐рдХрдЯрди рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ рдЬрд┐рдирдореЗрдВ рдЧрд╛рдЙрд╕реАрдп рд╡реЗрдЯ \(e^{-x^2}\) рдореМрдЬреВрдж рд╣реЛрддрд╛ рд╣реИред n-рдмрд┐рдВрджреБ рдирд┐рдпрдо рдЗрд╕ рд╕рдорд╛рдХрд▓рди рдХреЛ n рд╕рд╛рд╡рдзрд╛рдиреАрдкреВрд░реНрд╡рдХ рдЪреБрдиреЗ рдЧрдП рдмрд┐рдВрджреБрдУрдВ рдкрд░ рдлрд╝рдВрдХреНрд╢рди рдХреЗ рдорд╛рдиреЛрдВ рдХреЗ рднрд╛рд░рд┐рдд рдпреЛрдЧ рдХреЗ рд░реВрдк рдореЗрдВ рджрд░реНрд╢рд╛рддрд╛ рд╣реИ: рдЛрдг рдЕрдирдВрдд рд╕реЗ рдзрди рдЕрдирдВрдд рддрдХ \(e^{-x^2} f(x)\,dx\) рдХрд╛ рд╕рдорд╛рдХрд▓рди рд▓рдЧрднрдЧ i рдкрд░ \(w_i\,f(x_i)\) рдХреЗ рдпреЛрдЧ рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛрддрд╛ рд╣реИ:
$$\int_{-\infty}^{\infty} e^{-x^2} f(x)\,dx \approx \sum_{i=1}^{\text{Order }n} w_i\, f(x_i)$$рдпрд╣рд╛рдБ рдиреЛрдбреНрд╕ \(x_i\) рднреМрддрд┐рдХрд╡рд┐рджреЛрдВ рдХреЗ рд╣рд░реНрдорд┐рдЯ рдмрд╣реБрдкрдж \(H_n\) рдХреЗ рдореВрд▓ (roots) рд╣реИрдВ, рдФрд░ рд╡реЗрдЯреНрд╕ \(w_i\) рдЗрди рдмрд╣реБрдкрджреЛрдВ рдХреА рд▓рдВрдмрдХреЛрдгреАрдпрддрд╛ (рдСрд░реНрдереЛрдЧреЛрдиреИрд▓рд┐рдЯреА) рд╕реЗ рдирд┐рд░реНрдзрд╛рд░рд┐рдд рд╣реЛрддреЗ рд╣реИрдВред
рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рдХрд╛ рдЙрдкрдпреЛрдЧ рдХреИрд╕реЗ рдХрд░реЗрдВ
рдХреНрд░рдо \(n\) (рдмрд┐рдВрджреБрдУрдВ рдХреА рд╕рдВрдЦреНрдпрд╛, 2 рд╕реЗ 100 рддрдХ) рдФрд░ рдкреНрд░рджрд░реНрд╢рд┐рдд рд╣реЛрдиреЗ рд╡рд╛рд▓реЗ рдЕрдВрдХреЛрдВ рдХреА рд╕рдВрдЦреНрдпрд╛ рдЪреБрдиреЗрдВ, рдлрд┐рд░ рдиреЛрдбреНрд╕ рдФрд░ рд╡реЗрдЯреНрд╕ рдХреА рддрд╛рд▓рд┐рдХрд╛ рджреЗрдЦреЗрдВред рдЪреВрдБрдХрд┐ рдЧрдгрдирд╛ рдорд╛рдирдХ рдбрдмрд▓ рдкреНрд░рд┐рд╕рд┐рдЬрд╝рди рдкрд░ рдЖрдзрд╛рд░рд┐рдд рд╣реИ, рдЗрд╕рд▓рд┐рдП рдкреНрд░рджрд░реНрд╢рд┐рдд рдкрд░рд┐рд╢реБрджреНрдзрддрд╛ рд▓тРгрдЧрднрдЧ 15 рд╕рд╛рд░реНрдердХ рдЕрдВрдХреЛрдВ рддрдХ рд╣реА рд╕реАрдорд┐рдд рд╣реИ тАФ рдЗрд╕рд╕реЗ рдЕрдзрд┐рдХ рдЕрдВрдХреЛрдВ рдХреЛ рдЕрд░реНрдердкреВрд░реНрдг рдмрдирд╛рдиреЗ рдХреЗ рд▓рд┐рдП рдЖрд░реНрдмрд┐рдЯреНрд░рд░реА-рдкреНрд░рд┐рд╕рд┐рдЬрд╝рди рдЕрдВрдХрдЧрдгрд┐рдд рдХреА рдЖрд╡рд╢реНрдпрдХрддрд╛ рдкрдбрд╝реЗрдЧреАред n-рдмрд┐рдВрджреБ рдирд┐рдпрдо \(2n-1\) рддрдХ рдХреА рдШрд╛рдд рд╡рд╛рд▓реЗ рд╣рд░ рдмрд╣реБрдкрдж рдХрд╛ рд╕рдорд╛рдХрд▓рди рдареАрдХ-рдареАрдХ (exact) рдХрд░рддрд╛ рд╣реИред
рд╕реВрддреНрд░ рдХреА рд╡реНрдпрд╛рдЦреНрдпрд╛
рдиреЛрдбреНрд╕ \(H_n(x)\) рдХреЗ \(n\) рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд╢реВрдиреНрдп (zeros) рд╣реИрдВ, рдЬрд┐рдиреНрд╣реЗрдВ рдЗрд╕ рдкреБрдирд░рд╛рд╡реГрддреНрддрд┐ рд╕реЗ рдкрд░рд┐рднрд╛рд╖рд┐рдд рдХрд┐рдпрд╛ рдЬрд╛рддрд╛ рд╣реИ: \(H_0=1\), \(H_1=2x\), \(H_{k+1}=2x\,H_k - 2k\,H_{k-1}\)ред рд╡реЗрдЯреНрд╕ рдЗрд╕ рдкреНрд░рдХрд╛рд░ рд╣реИрдВ:
$$w_i = \frac{2^{n-1}\, n!\, \sqrt{\pi}}{n^2\, [H_{n-1}(x_i)]^2}$$рдпрд╣ рдХреИрд▓рдХреБрд▓реЗрдЯрд░ рд╕реНрдерд┐рд░ рдЧреЛрд▓рдм-рд╡реЗрд▓реНрд╢ (Golub-Welsch) рд╡рд┐рдзрд┐ рдХрд╛ рдкреНрд░рдпреЛрдЧ рдХрд░рддрд╛ рд╣реИ: рдпрд╣ рд╕рдордорд┐рдд рддреНрд░рд┐рд╡рд┐рдХрд░реНрдгреАрдп (tridiagonal) рдЬреИрдХреЛрдмреА рдореИрдЯреНрд░рд┐рдХреНрд╕ рдмрдирд╛рддрд╛ рд╣реИ (рд╡рд┐рдХрд░реНрдг рд╢реВрдиреНрдп, рд╡рд┐рдХрд░реНрдг рдХреЗ рдмрд╛рд╣рд░ \(\sqrt{k/2}\)), рдЙрд╕рдХреЗ рдЖрдЗрдЧреЗрдирдорд╛рди (рдиреЛрдбреНрд╕) рдФрд░ рдЖрдЗрдЧреЗрдирд╕рджрд┐рд╢ (eigenvectors) рдирд┐рдХрд╛рд▓рддрд╛ рд╣реИ, рдФрд░ рдкреНрд░рддреНрдпреЗрдХ рд╡реЗрдЯ рдХреЛ рд╕рдВрдмрдВрдзрд┐рдд рд╕рд╛рдорд╛рдиреНрдпреАрдХреГрдд рдЖрдЗрдЧреЗрдирд╕рджрд┐рд╢ рдХреЗ рдкрд╣рд▓реЗ рдШрдЯрдХ рдХреЗ рд╡рд░реНрдЧ рдХрд╛ \(\sqrt{\pi}\) рдЧреБрдирд╛ рдмрдирд╛ рджреЗрддрд╛ рд╣реИред рдЗрд╕рд╕реЗ рдмрдбрд╝реЗ рдлрд╝реИрдХреНрдЯреЛрд░рд┐рдпрд▓ рдХреЗ рдХрд╛рд░рдг рд╣реЛрдиреЗ рд╡рд╛рд▓рд╛ рдУрд╡рд░рдлрд╝реНрд▓реЛ рдЯрд▓ рдЬрд╛рддрд╛ рд╣реИред
$$\left\{ \begin{aligned} J\,v_i &= x_i\,v_i, \quad J_{kk}=0,\; J_{k,k+1}=J_{k+1,k}=\sqrt{\tfrac{k}{2}} \\ w_i &= \sqrt{\pi}\,\big(v_{i,1}\big)^2 \end{aligned} \right.$$рд╣рд▓ рдХрд┐рдпрд╛ рдЧрдпрд╛ рдЙрджрд╛рд╣рд░рдг (n = 2)
\(H_2(x) = 4x^2 - 2\) рдХреЗ рдореВрд▓ \(x = \pm \tfrac{1}{\sqrt{2}} = \pm 0.7071067811865475\) рд╣реИрдВред рдкреНрд░рддреНрдпреЗрдХ рд╡реЗрдЯ рд╣реИ \(\dfrac{2^1 \cdot 2! \cdot \sqrt{\pi}}{2^2 \cdot [H_1(x_i)]^2}\)ред рдЪреВрдБрдХрд┐ \(H_1(x)=2x\), рдЗрд╕рд▓рд┐рдП \([H_1]^2 = 2\), рдЕрддрдГ
$$\text{рдкреНрд░рддреНрдпреЗрдХ рд╡реЗрдЯ} = \frac{2\cdot 2\cdot 1.7724538509055160}{4\cdot 2} = 0.8862269254527580$$рдЗрдирдХрд╛ рдпреЛрдЧ \(\sqrt{\pi} = 1.7724538509055160\) рд╣реЛрддрд╛ рд╣реИ, рдЬреЛ рдПрдХ рдЙрдкрдпреЛрдЧреА рд╕реНрд╡-рдЬрд╛рдБрдЪ (self-check) рд╣реИред
рдЕрдХреНрд╕рд░ рдкреВрдЫреЗ рдЬрд╛рдиреЗ рд╡рд╛рд▓реЗ рдкреНрд░рд╢реНрди
рд╡реЗрдЯреНрд╕ рдХрд╛ рдпреЛрдЧ рд╣рдореЗрд╢рд╛ \(\sqrt{\pi}\) рд╣реА рдХреНрдпреЛрдВ рд╣реЛрддрд╛ рд╣реИ? \(f(x)=1\) рд░рдЦрдиреЗ рдкрд░ рд╡рд╛рд╕реНрддрд╡рд┐рдХ рд░реЗрдЦрд╛ рдкрд░ \(e^{-x^2}\) рдХрд╛ рд╕рдорд╛рдХрд▓рди рдорд┐рд▓рддрд╛ рд╣реИ, рдЬреЛ \(\sqrt{\pi}\) рдХреЗ рдмрд░рд╛рдмрд░ рд╣реИ; рдХреНрд╡рд╛рдбреНрд░реЗрдЪрд░ рдЗрд╕реЗ рдмрд┐рд▓реНрдХреБрд▓ рдареАрдХ-рдареАрдХ рдкреБрдирд░реБрддреНрдкрд╛рджрд┐рдд рдХрд░рддрд╛ рд╣реИред
рдпрд╣ рдХреМрди-рд╕реА рд╣рд░реНрдорд┐рдЯ рдкрд░рд┐рдкрд╛рдЯреА (convention) рд╣реИ? рдпрд╣ рднреМрддрд┐рдХрд╡рд┐рджреЛрдВ рдХреА рдкрд░рд┐рдкрд╛рдЯреА рд╣реИ рдЬрд┐рд╕рдореЗрдВ рд╡реЗрдЯ \(e^{-x^2}\) рд╣реИред рдкреНрд░рд╛рдпрд┐рдХрддрд╛рд╡рд╛рджрд┐рдпреЛрдВ (probabilists) рдХреЗ рд╡реЗрдЯ \(e^{-x^2/2}\) рдХреЗ рд▓рд┐рдП рдиреЛрдбреНрд╕ рдФрд░ рд╡реЗрдЯреНрд╕ рд╕реНрдХреЗрд▓рд┐рдВрдЧ рдХреЗ рдЕрдиреБрд╕рд╛рд░ рднрд┐рдиреНрди рд╣реЛрддреЗ рд╣реИрдВред
рдХреНрдпрд╛ рдореИрдВ рдмрд┐рдирд╛ \(e^{-x^2}\) рдЧреБрдгрдХ рд╡рд╛рд▓реЗ рдлрд╝рдВрдХреНрд╢рди рдХрд╛ рд╕рдорд╛рдХрд▓рди рдХрд░ рд╕рдХрддрд╛ рд╣реВрдБ? рд╣рд╛рдБ тАФ \(g(x) = e^{x^2}\,f(x)\) рд▓рд┐рдЦреЗрдВ, рддрд╛рдХрд┐ \(g\) рдХрд╛ рд╕рдорд╛рдХрд▓рди рд▓рдЧрднрдЧ \(w_i\,e^{x_i^2}\,g(x_i)\) рдХреЗ рдпреЛрдЧ рдХреЗ рдмрд░рд╛рдмрд░ рд╣реЛред