Ортогональные многочлены и ортогональные ряды: обобщение Фурье

Определение ортогональности и полноты

Многочлены ({P_n(x)}) ортогональны по весу (w(x)) на ([a,b]): (int_a^b P_m(x) P_n(x) w(x) dx = h_n delta_{mn}). Полнота означает, что любой (L^2)-интегрируемый многочлен аппроксимируется рядом (sum c_n P_n(x)), где (c_n = frac{1}{h_n} int f P_n w dx).

Графики первых многочленов Лежандра (P_0=1), (P_1=x), (P_2=frac{3x^2-1}{2}) на ([-1,1]) показывают колебательный характер . Визуализация демонстрирует ортогональность.

Многочлены Чебышёва и минимизация ошибок

Чебышёв (T_n(x) = cos(n arccos x)) минимизируют максимальную ошибку аппроксимации среди многочленов степени (n). Узлы (x_k = cos frac{(2k+1)pi}{2(n+1)}) равномерно распределяют ошибку, улучшая интерполяцию девятнадцатой статьи. Связь с тригонометрией: (T_n(cos heta) = cos n heta).

Таблицы многочленов содержатся в конспектах по рядам https://lib.ulstu.ru/venec/disk/2020/19.pdf. Лекции доступны на УлГТУ https://infourok.ru/konspekt-lekciy-po-discipline-matematika-na-temu-ryadi-fure-3076050.html.

Применение в квадратурах Гаусса

Квадратуры Гаусса-Лежандр (int_{-1}^1 f(x) dx approx sum_{k=1}^n w_k f(x_k)) используют нули многочленов как узлы и вычисляют веса через ортогональность. Точность степени (2n-1) превосходит формулы Ньютона-Котеса. Метод связан с численными интегралами третьей статьи.

Узлы и веса квадратуры Гаусса-Лежандр показывают оптимальное разбиение для высокой точности . Диаграмма иллюстрирует ортогональность.

Связь с физикой и спектральными методами

Многочлены Лежандр решают уравнения Шрёдингера в сферических координатах, а Чебышёв — в спектральных методах численного моделирования. Ортогональные ряды обобщают Фурье восемнадцатой статьи на конечные интервалы.

Рекомендуемые книги по ортогональным многочленам

Полезны материалы по рядам https://vicaref.narod.ru/PDE/index12.htm и функциональному анализу http://www.phys.nsu.ru/podvigin/Lectures.pdf. Источники содержат приложения.