Porównanie kwadratury 2-punktowej Gaussa i trapezowej.Niebieska krzywa pokazuje funkcję, której całkę oznaczoną na przedziale [−1, 1] należy obliczyć (całkę podcałkową). Reguła trapezowa aproksymuje funkcję funkcją liniową, która pokrywa się z całką podcałkową w punktach końcowych przedziału i jest reprezentowana przez pomarańczową linię przerywaną. Przybliżenie to najwyraźniej nie jest dobre, więc błąd jest duży ( reguła trapezowa daje aproksymację całki równą y (–1) + y (1) = –10, podczas gdy poprawna wartość to 2 ⁄ 3 ). Aby uzyskać dokładniejszy wynik, przedział musi zostać podzielony na wiele podprzedziałów, a następnie należy zastosować złożoną regułę trapezową, co wymaga znacznie więcej obliczeń. Kwadratura Gaussa wybiera zamiast tego bardziej odpowiednie punkty, więc nawet funkcja liniowa lepiej aproksymuje funkcję (czarna linia przerywana). Ponieważ całka jest wielomianem stopnia 3 ( y ( x ) = 7 x 3 – 8 x 2 – 3 x + 3 ), reguła kwadratury Gaussa dla 2 punktów zwraca dokładny wynik.
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
w
(
x
)
⩾
0
,
{\displaystyle w(x)\geqslant 0,}
∀
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,
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 (*).
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}).}
Z. Fortuna, B. Macukow, J. Wąsowski, Metody numeryczne Podręczniki akademickie Elektronika, informatyka, telekomunikacja , Warszawa: Wydawnictwa Naukowo-Techniczne, 1982.
D. Potter, Metody obliczeniowe fizyki, fizyka komputerowa , Warszawa: PWN, 1982.
J. Szmelter, Metody komputerowe w mechanice , Warszawa: PWN, 1980.
A. Ralston, Wstęp do analizy numerycznej, Warszawa: PWN, 1971.