Полнота системы собственных функций
англ. Completeness of an eigenfunction system
Любая функция разумного класса раскладывается в ряд по собственным функциям самосопряжённой задачи со сходимостью в среднем квадратичном; без полноты метод Фурье терял бы гарантию точности.
Система собственных функций полна, если любую приличную функцию на отрезке можно разложить в ряд по ней, сходящийся в среднем квадратичном: частичные суммы приближают всё точнее, и норма разности стремится к нулю. Для синусов и косинусов полнота — классическая теорема о рядах Фурье: тригонометрическая система полна на своём отрезке. Полнота — гарантия, что набор «осей» достаточен: никакой части функции нельзя добрать дополнительными направлениями. Для задач Штурма — Лиувилля полнота доказывается спектральной теорией самосопряжённых операторов: она обещает базис из собственных функций.
В методе разделения переменных полнота — тихий герой: именно она позволяет подставить произвольные начальные данные в ряд решения и утверждать, что получился ответ задачи, а не приближение неизвестного качества. Коэффициенты дают ортогональные формулы, а полнота гарантирует, что ряд не упустил ни одной составляющей данных. Для круглых областей роль синусов берут на себя функции Бесселя — их система полна с весом . Полезный побочный факт: среднеквадратичная сходимость уживается с разрывами — в точке разрыва ряд сходится к полусумме односторонних пределов. Смежные материалы: ортогональность собственных функций, ряд Фурье, курс Штурм — Лиувилль и собственные функции, справочные формулы — в шпаргалке ряды.
Частые вопросы
Что означает полнота системы собственных функций?
Что разложение по этой системе способно представить любую функцию разумного класса: частичные суммы приближают её в среднем квадратичном со сколь угодно малой ошибкой. Полнота — коллективное свойство всей системы, а не отдельных функций; её доказывают спектральной теорией самосопряжённых операторов. Для уравнений это страховка: ряд метода Фурье поймает любые начальные данные.
Чем среднеквадратичная сходимость отличается от поточечной?
Среднеквадратичная мера суммирует квадраты отклонений по всему отрезку: большие локальные ошибки наказываются, но узкие пики могут оставаться. Поточечная сходимость требует приближения в каждой конкретной точке. Ряд Фурье ступенчатой функции в точке скачка не сходится к значению функции, но среднеквадратично сходится — поэтому метод Фурье корректно работает с разрывными данными.