Тригонометрия
Тригонометрические полиномы и аппроксимация
Цели урока
- Объяснять, почему ядро Фейера даёт равномерную сходимость, а ядро Дирихле - нет
- Применять теорему Вейерштрасса о тригонометрической аппроксимации
- Вычислять скорость наилучшего приближения через теорему Джексона
- Связывать гладкость функции с её сжимаемостью
Предварительные знания
- Ряды Фурье
- L²-пространства
- Функциональный анализ
Почему некоторые функции хорошо сжимаются, а другие нет - и как это точно измерить?
- FM-синтез: тембры инструментов как тригонометрические полиномы (Yamaha DX7)
- Цифровые фильтры: оконные функции против явления Гиббса в EEG/ЭКГ
- Сжатие: гладкие регионы изображения сжимаются лучше резких границ
- Численный анализ: спектральные методы для гладких PDE достигают экспоненциальной точности
История: от Вейерштрасса до теоремы Джексона
Вейерштрасс в 1885 году доказал, что любую непрерывную функцию можно равномерно приблизить алгебраическими полиномами. Тригонометрический аналог - следствие. Дю Буа-Реймон в 1873 году построил непрерывную функцию с расходящимся рядом Фурье, разрушив надежды на универсальную поточечную сходимость. Фейер в 1904-м доказал, что суммы Чезаро сходятся равномерно - обход невозможности. Данхем Джексон в 1912 году защитил диссертацию с количественными оценками: скорость приближения определяется гладкостью.
Тригонометрические полиномы и теорема Вейерштрасса
Синтезатор Yamaha DX7 воспроизводит 96 одновременных тонов, аппроксимируя тембры реальных инструментов тригонометрическими полиномами степени 32 - и это звучит неотличимо от живого фортепиано для 99% слушателей. Математика: теорема Вейерштрасса гарантирует, что любую непрерывную 2π-периодическую функцию можно приблизить тригонометрическим полиномом с любой точностью.
Суммы Чезаро σ_N f сходятся равномерно даже там, где частичные суммы Фурье S_N f расходятся. Пример Дю Буа-Реймона (1873): существует непрерывная функция, чей ряд Фурье расходится в точке.
В чём принципиальное отличие ядра Фейера от ядра Дирихле?
F_N(x) ≥ 0 устраняет эффект Гиббса. Частичные суммы с D_N могут расходиться даже для непрерывных f (пример Дю Буа-Реймона). Неотрицательность F_N гарантирует равномерную сходимость σ_N f → f.
Ядро Дирихле и явление Гиббса
Ядро Дирихле - это свёрточное ядро, через которое выражаются частичные суммы ряда Фурье. Его осцилляции и нарастающий центральный пик объясняют, почему явление Гиббса неустранимо при использовании частичных сумм. EEG-сигналы при обработке в реальном времени требуют оконных функций именно из-за эффекта Гиббса.
Оконные функции (Ханн, Блэкман, Хэмминг) - это способ заменить прямоугольное усечение ряда на плавное, чтобы снизить боковые лепестки ценой уширения центрального пика.
Почему рост ||D_N||_L1 как ln(N) важен для теории сходимости?
По теореме Банаха-Штейнгауса: если sup_N ||S_N|| = ∞, то существует функция f ∈ C, для которой sup_N ||S_N f||_∞ = ∞. Именно поэтому равномерная сходимость ряда Фурье для всех непрерывных функций невозможна.
Теорема Джексона и скорости аппроксимации
Теорема Джексона (1912) даёт количественную оценку: насколько точно функция класса C^k приближается тригонометрическим полиномом степени N. Это ключевая теорема для понимания, почему гладкие сигналы хорошо сжимаются: чем выше производные ограничены, тем меньше коэффициентов нужно хранить.
| Класс функции | Скорость E_N(f) | Пример |
|---|---|---|
| Непрерывная f ∈ C | O(ω(f, 1/N)) → 0 | Прямоугольная волна |
| Липшиц f ∈ Lip(α) | O(N^{-α}), 0 < α ≤ 1 | Дробная производная |
| f ∈ C^k | O(N^{-k}) | Полином * exp(-x²) |
| Аналитическая f | O(e^{-αN}) | sin(x), cos(x), e^{cos x} |
Что гарантирует теорема Джексона для f ∈ C^k?
Теорема Джексона: для f ∈ C^k с модулем гладкости ω_k E_N(f) ≤ C_k ω_k(f, 1/N)/N^k = O(N^{-k}). Более гладкая функция - более быстрое убывание ошибки приближения.
Связи с другими темами
Теория тригонометрической аппроксимации связывает функциональный анализ с практикой сжатия
- Теорема Вейерштрасса — Связанная тема
- Ядра аппроксимации — Связанная тема
- Спектральные методы — Связанная тема
- Цифровые фильтры — Связанная тема
Итоги
- Ядро Дирихле D_N порождает S_N f через свёртку; его L¹-норма растёт как ln(N), что допускает расходящиеся ряды Фурье
- Ядро Фейера F_N ≥ 0 порождает равномерно сходящиеся суммы Чезаро σ_N f → f для любой непрерывной f
- Теорема Вейерштрасса: любая непрерывная 2π-периодическая функция равномерно приближается тригонометрическими полиномами
- Теорема Джексона: для f ∈ C^k наилучшее приближение E_N(f) = O(N^{-k}); аналитические функции дают экспоненциальное убывание
Вопросы для размышления
- Почему суммы Чезаро сходятся там, где частичные суммы Фурье могут расходиться?
- Как теорема Джексона объясняет разницу в степени сжатия гладких и разрывных изображений?
- Что происходит со скоростью аппроксимации на границе класса: f имеет разрыв только первой производной?
Связанные уроки
- trig-21 — Тригонометрические полиномы - конечные суммы Фурье
- trig-23 — Теорема Джексона обобщает результаты тригонометрической аппроксимации
- trig-25-dct — DCT использует тригонометрические полиномы как базис