Методы наивысшей алгебраической точности (Гаусса - Кристоффеля)

Материал из MachineLearning.

Версия от 20:14, 19 октября 2008; Yury Chekhovich (Обсуждение | вклад)

(разн.) ← Предыдущая | Текущая версия (разн.) | Следующая → (разн.)

Перейти к: навигация, поиск

Содержание

1 Постановка задачи
2 Изложение метода
- 2.1 Различные случаи
3 Анализ метода и ошибок
4 Числовой пример
5 Рекомендации программисту
6 Заключение
7 Список литературы
8 См. также

Постановка задачи

Рассмотрим задачу поиска определённого интеграла вида

( 1 )

$I=\int_a^b{f(x)\rho(x)dx},\ \rho(x)>0,$

где функция $f(x)$ непрерывна на отрезке $[a,b]$ , а весовая функция $\rho(x)$ непрерывна на интервале $(a,b)$ . Выразить интеграл через элементарные функции в общем случае не удаётся, поэтому обычно $f(x)$ заменяют на некоторую аппроксимирующую функцию $\varphi(x)\approx f(x)$ . Она подбирается таким образом, чтобы интеграл от неё легко считался в элементарных функциях. Стандартный пример $\varphi(x)$ - некоторый обобщённый интерполяционный многочлен. При этом $f(x)$ заменяется линейным выражением, со значениями в узлах в качестве коэффициентов:

( 2 )

$f(x)=\sum_{i=0}^n {f(x_i)\varphi_i(x)} + r(x),$

где функция $r(x)$ - остаточный член аппроксимации. Подстановкой (2) в (1) получаем формулу численного интегрирования (квадратурную формулу):

( 3 )

$F=\sum_{i=0}^n {c_i f(x_i)} + R,$

$c_i = \int_a^b{\varphi(x)\rho(x)dx},\ \ R=\int_a^b{r(x)\rho(x)dx}$ ,

где $x_i$ называются узлами, $c_i$ - весами, а $R$ - погрешностью или остаточным членом. Интеграл приближённо заменяется суммой, причём узлы и коэффициенты этой суммы не зависят от $f(x)$ . Таким образом, задача сводится к отысканию подходящих наборов узлов и весов, таких, чтобы обеспечить минимизацию погрешности $R$ в приемлемое время.

Изложение метода

Параметрами формулы (3) являются узлы и веса. В известных формулах численного интегрирования, таких как формулы трапеций, Симпсона, принято фиксировать положение узлов и по ним находить веса. Таким образом в них не полностью используются возможности общей формулы. Логично предположить, что выбор оптимального положения узлов приведёт к улучшению работы метода.

Итак, формула (3) с n узлами содержит $2n$ параметров, столько же коэффициентов у многочлена степени $2n-1$ . Значит, параметры можно подобрать так, чтобы квадратурная формула (3)

$F=\int_a^b{f(x)\rho(x)dx}\approx \sum_{i=0}^n {c_i f(x_i)}$

была точна для любого многочлена степени $2n-1$ . Покажем, как находятся узлы и веса этих формул.

Будем считать, что вес положителен $\rho(x)>0$ , непрерывен на $(a,b)$ , может обращаться в нуль или бесконечность на концах отрезка так, чтобы существовал $\int_a^b\rho(x)dx$ . Известно^{[источник?]}, что при выполнении этих условий существует полная система алгебраических многочленов $P_m(x)$ , ортогональных на $[a,b]$ с заданным весом:

(4)

$\int_a^b P_k(x)P_m(x)\rho(x)dx=\delta_k_m ||P_k(x)||^2_L_2$

Все нули этих многочленов действительны и расположены на интервале $(a,b)$ .

Составим по узлам интегрирования многочлен n-й степени $\omega_n(x)=\prod_{k=1}^n(x-x_k)$ . Функция $f(x)=\omega_n(x)P_m(x)$ при $m \le n-1$ является многочленом степени не выше 2n-1. Следовательно, для неё формула Гаусса-Кристоффеля точна. Тогда получим:

(5)

$\int_a^b\omega_n(x)P_m(x)\rho(x)dx=\sum_{k=1}^n c_k \omega_n(x_k) P_m(x_k)=0$

так как $\omega_n(x)=0$ . Значит многочлен $\omega_n(x)$ ортогонален всем многочленам $P_m(x)$ степени $m \le n-1$ .

Если разложить $\omega_n(x)$ в ряд по рассматриваемым ортогональным многочленам и подставить этот ряд в условие ортогональности (5), то получим:

(6)

$\omega_n(x)=\sum_{k=0}^n b_k P_k(x)$ ,

$\0=\int_a^b \omega_n(x) P_m(x) \rho(x)dx = b_m||P_m||^2,\ m \le n-1$ ,

т.е. все коэффициенты разложения $b_m=0$ при $m \le n-1$ . Это значит, что $\omega_n(x)$ с точностью до численного множителя совпадает с $P_n(x)$ . Значит, узлами формулы Гаусса-Кристоффеля являются нули многочленов соответствующей степени $P_n(x)$ , ортогональных на $[a,b]$ с весом $\rho(x)$ .

Веса интегрирования нетрудно определить, если узлы уже найдены. Функция

$\psi_m(x)=\prod_{k=1,\ k \not= 1}^n (x-x_k)/(x_m-x_k)$

есть многочлен степени n-1, т.е. для неё формула Гаусса-Кристоффеля точна. Подставляя её в формулу (3) и учитывая, что эта формула равна нулю во всех узлах, кроме m-го, получим веса формулы Гаусса-Кристоффеля:

(7)

$c_m=\int_a^b \rho(x)\left{ \prod_{k=1,\ k \not= 1}^n (x-x_k)/(x_m-x_k) \right}dx$

из которого видно, что все веса положительны. Подставляя в формулу Гаусса $f(x)=1$ , получим соотношение:

(8)

$\sum_{k=1}^n c_k=\int_a^b \rho(x)dx$ ,

из которого следует равномерная ограниченность весов.

Формулы Гаусса-Кристоффеля называют также формулами наивысшей алгебраической точности, поскольку для произвольного многочлена степени выше $2n-1$ формула (3) с $n$ узлами уже не может быть точной.

Различные случаи

Рассмотрим некоторые частные случаи:

Собственно формула Гаусса соответствует $\rho(x)=1$ . Линейным преобразованием аргумента можно перейти к отрезку $a=-1,\ b=1$ . На нём ортогональны с единичным весом многочлены Лежандра. Если обозначить их узлы и соответствующие веса через $\xi_k,\ \gamma_k$ , то обратным линейным преобразованием можно получить узлы и веса для произвольного отрезка
$x_k=\frac12 (a+b)+\frac12 (b-a)\xi_k$ ,

$c_k=\frac12 (b-a)\gamma_k,\ 1 \le k \le n$ .
В частности при $n=1$ получаем формулу средних. Погрешность формулы Гаусса (приводится без вывода) пропорциональна той производной, которая соответствует низшей неучтённой формуле аргумента; верхняя граница погрешности равна
$max|R|=\frac{(b-a)^{2n+1}(n!)^4}{(2n+1)((2n)!)^3}M_{2n} \approx \frac{b-a}{2.5\sqrt{n}} {\left( {\frac{b-a}{3n}} \right)}^{2n}M_{2n}$

$M_{2n}=\max_{[a,b]}|f^{(2n)}(x)|$ .
Формула Гаусса рассчитана на функции, имеющие достаточно высокие производные, причём не слишком большие по абсолютной величине. Для таких функций формула обеспечивает очень высокую точность при небольшом числе узлов, ибо численный коэффициент в остаточном члене быстро убывает с ростом $n$ .
Формула Эрмита позволяет интегрировать на отрезке $[-1,\ 1]$ с весом $\rho(x)=\frac{1}{\sqrt{1-x^2}}$ . При этих условиях ортогональны многочлены Чебышева первого рода $T_n(x)$ . Соответствующие узлы и веса интегрирования равны:
$\xi_k=cos {\left[ {\pi(k-\frac12)n} \right]} ,\ \gamma_k=\frac{\pi}{n},\ 1 \le k \le n$
Отметим, что веса во всех узлах одинаковы. На произвольный отрезок эти узлы и веса преобразуются так же, как в формуле Гаусса. Погрешность формулы Эрмита не превышает
$max|R|=\pi \frac{M_{2n}}{\left[ 2^{n-1}(2n)! \right]}$
.