Kwadratury Gaussa

Wikipedia:Weryfikowalność
Ten artykuł od 2019-11 wymaga zweryfikowania podanych informacji.
Należy podać wiarygodne źródła w formie przypisów bibliograficznych.
Część lub nawet wszystkie informacje w artykule mogą być nieprawdziwe. Jako pozbawione źródeł mogą zostać zakwestionowane i usunięte.
Sprawdź w źródłach: Encyklopedia PWN • Google Books • Google Scholar • Federacja Bibliotek Cyfrowych • BazHum • BazTech • RCIN • Internet Archive (texts / inlibrary)
Po wyeliminowaniu niedoskonałości należy usunąć szablon {{Dopracować}} z tego artykułu.

Kwadratury Gaussa – metody całkowania numerycznego polegające na takim wyborze wag w 1 , w 2 , , w n {\displaystyle w_{1},w_{2},\dots ,w_{n}} i węzłów interpolacji t 1 , t 2 , , t n [ a , b ] {\displaystyle t_{1},t_{2},\dots ,t_{n}\in [a,b]} aby wyrażenie

i = 1 n w i f ( t i ) {\displaystyle \sum _{i=1}^{n}w_{i}f(t_{i})}

najlepiej przybliżało całkę

I ( f ) = a b w ( x ) f ( x ) d x , {\displaystyle I(f)=\int \limits _{a}^{b}w(x)f(x)dx,}

gdzie f {\displaystyle f} jest dowolną funkcją określoną na odcinku [ a , b ] , {\displaystyle [a,b],} a w {\displaystyle w} jest tzw. funkcją wagową spełniającą warunki

  1. w ( x ) 0 , {\displaystyle w(x)\geqslant 0,}
  2. k N a b x k w ( x ) d x {\displaystyle \forall _{k\in \mathbb {N} }\int \limits _{a}^{b}x^{k}w(x)dx} jest skończona,
  3. Jeżeli p {\displaystyle p} jest wielomianem takim, że x [ a , b ] p ( x ) 0 , {\displaystyle \forall _{x\in [a,b]}\;p(x)\geqslant 0,} to jeśli a b w ( x ) p ( x ) d x = 0 , {\displaystyle \int \limits _{a}^{b}w(x)p(x)dx=0,} mamy wtedy p 0. {\displaystyle p\equiv 0.}

Określmy iloczyn skalarny z wagą

f , g w = a b w ( x ) f ( x ) g ( x ) d x . {\displaystyle \langle f,g\rangle _{w}=\int \limits _{a}^{b}w(x)f(x)g(x)dx.}

Powiemy, że dwa wielomiany są ortogonalne względem tego iloczynu skalarnego, jeśli f , g w = 0. {\displaystyle \langle f,g\rangle _{w}=0.}

Wszystkie kwadratury Gaussa wywodzą się z twierdzenia udowodnionego przez niego:

a) Jeżeli t 1 , t 2 , , t n [ a , b ] {\displaystyle t_{1},t_{2},\dots ,t_{n}\in [a,b]} są pierwiastkami n-tego wielomianu ortogonalnego p n ( x ) {\displaystyle p_{n}(x)} oraz w 1 , w 2 , , w n {\displaystyle w_{1},w_{2},\dots ,w_{n}} są rozwiązaniami układu równań:

{ p 0 ( t 1 ) w 1 + + p 0 ( t n ) w n = p 0 , p 0 w p 1 ( t 1 ) w 1 + + p 1 ( t n ) w n = 0 p n 1 ( t 1 ) w 1 + + p n 1 ( t n ) w n = 0 , {\displaystyle \left\{{\begin{matrix}p_{0}(t_{1})w_{1}+&\ldots &+p_{0}(t_{n})w_{n}=&\langle p_{0},p_{0}\rangle _{w}\\p_{1}(t_{1})w_{1}+&\ldots &+p_{1}(t_{n})w_{n}=&0\\\vdots &&\vdots &\vdots \\p_{n-1}(t_{1})w_{1}+&\ldots &+p_{n-1}(t_{n})w_{n}=&0\end{matrix}}\right.,}

to dla każdego wielomianu p {\displaystyle p} stopnia nie większego niż 2 n 1 {\displaystyle 2n-1} zachodzi

a b w ( x ) p ( x ) d x = i = 1 n w i p ( t i ) . ( ) {\displaystyle \int \limits _{a}^{b}w(x)p(x)dx=\sum _{i=1}^{n}w_{i}p(t_{i}).\qquad (*)}

Ponadto w i > 0. {\displaystyle w_{i}>0.}

b) Jeżeli dla pewnego ciągu węzłów x 1 , x 2 , , x n [ a , b ] {\displaystyle x_{1},x_{2},\dots ,x_{n}\in [a,b]} oraz ciągu wag v 1 , v 2 , , v n {\displaystyle v_{1},v_{2},\dots ,v_{n}} dla dowolnego wielomianu p {\displaystyle p} stopnia nie większego niż 2 n 1 {\displaystyle 2n-1} zachodzi warunek (*), to x i = t i {\displaystyle x_{i}=t_{i}} oraz v i = w i {\displaystyle v_{i}=w_{i}} z dokładnością do kolejności.

c) Dla dowolnego ciągu węzłów x 1 , x 2 , , x n [ a , b ] {\displaystyle x_{1},x_{2},\dots ,x_{n}\in [a,b]} oraz ciągu wag v 1 , v 2 , , v n {\displaystyle v_{1},v_{2},\dots ,v_{n}} istnieje wielomian stopnia 2n, dla którego nie zachodzi warunek (*).

Najczęściej spotykane rodzaje kwadratur Gaussa

Kwadratury z przedziału [ 1 , 1 ] {\displaystyle [-1,1]} z wagą w 1 {\displaystyle w\equiv 1} nazywamy kwadraturami Gaussa-Legendre’a

I ( f ) = 1 1 f ( x ) d x i = 1 n w i f ( t i ) , {\displaystyle I(f)=\int \limits _{-1}^{1}f(x)dx\approx \sum _{i=1}^{n}w_{i}f(t_{i}),}

gdzie t i {\displaystyle t_{i}} to pierwiastki i-tego wielomianu Legendre’a.

Kwadratury z wagą w ( x ) = 1 1 x 2 {\displaystyle w(x)={\frac {1}{\sqrt {1-x^{2}}}}} nazywamy kwadraturami Gaussa-Czebyszewa

I ( f ) = 1 1 f ( x ) d x 1 x 2 i = 1 n w i f ( t i ) , {\displaystyle I(f)=\int \limits _{-1}^{1}f(x){\frac {dx}{\sqrt {1-x^{2}}}}\approx \sum _{i=1}^{n}w_{i}f(t_{i}),}

gdzie t i {\displaystyle t_{i}} to pierwiastki n-tego wielomianu Czebyszewa.

Kwadratury z wagą w ( x ) = e x 2 {\displaystyle w(x)=e^{-x^{2}}} nazywamy kwadraturami Gaussa-Hermite’a

I ( f ) = e x 2 f ( x ) d x i = 1 n w i f ( t i ) , {\displaystyle I(f)=\int \limits _{-\infty }^{\infty }e^{-x^{2}}f(x)dx\approx \sum _{i=1}^{n}w_{i}f(t_{i}),}

gdzie t i {\displaystyle t_{i}} to pierwiastki n-tego wielomianu Hermite’a.

Kwadratury z wagą w ( x ) = e x {\displaystyle w(x)=e^{-x}} nazywamy kwadraturami Gaussa-Laguerre’a

I ( f ) = 0 e x f ( x ) d x i = 1 n w i f ( t i ) , {\displaystyle I(f)=\int \limits _{0}^{\infty }e^{-x}f(x)dx\approx \sum _{i=1}^{n}w_{i}f(t_{i}),}

gdzie t i {\displaystyle t_{i}} to pierwiastki n-tego wielomianu Laguerre’a.

Kwadratury z wagą w ( x ) = ( 1 x ) α ( 1 + x ) β {\displaystyle w(x)=(1-x)^{\alpha }(1+x)^{\beta }} nazywamy kwadraturami Gaussa-Jacobiego

I ( f ) = 1 1 ( 1 x ) α ( 1 + x ) β f ( x ) d x i = 1 n w i f ( t i ) . {\displaystyle I(f)=\int \limits _{-1}^{1}(1-x)^{\alpha }(1+x)^{\beta }f(x)dx\approx \sum _{i=1}^{n}w_{i}f(t_{i}).}

Zobacz też

  • analiza numeryczna
  • metoda numeryczna
  • metody Newtona-Cotesa