Функції як вектори
Ряд Фур'є — це не просто обчислювальний інструмент — це геометрична операція: ортогональна проекція функції на базис.
Функціональний простір
Множина квадратично-інтегрованих функцій на [0,1] утворює векторний простір L²[0,1]. Додавання & скалярне множення працюють поточково. Внутрішній добуток двох функцій f, g:
⟨f, g⟩ = ∫₀¹ f(t) · g*(t) dt
де g* — комплексне спряження g. Це задовольняє всі аксіоми внутрішнього добутку.
Ортогональність базису Фур'є
Функції φ_k(t) = e^{i2πkt} утворюють ортонормальний базис для L²[0,1]:
⟨φ_k, φ_m⟩ = ∫₀¹ e^{i2πkt} · e^{−i2πmt} dt = ∫₀¹ e^{i2π(k−m)t} dt = δ_{km}
(Це дорівнює 1, якщо k = m, 0 інакше — шляхом інтегрування чистої осциляції за повний період.)
Коефіцієнт Фур'є як внутрішній добуток
k-й коефіцієнт Фур'є x(t):
c_k = ⟨x, φ_k⟩ = ∫₀¹ x(t) · e^{−i2πkt} dt
Це проекція x на базисний вектор φ_k. Коефіцієнт вимірює, скільки φ_k присутній у x.
Проекція на підпростір
Обрізання ряду Фур'є до 2N+1 членів проектує x на підпростір, охоплений {φ_{−N}, …, φ_N}. Обрізаний ряд є ортогональною проекцією x на цей скінченномірний підпростір.
За нерівністю Бесселя проекція мінімізує помилку L²:
‖x − Σ_{k=−N}^{N} c_k φ_k‖² ≤ ‖x − Σ_{k=−N}^{N} a_k φ_k‖² для будь-якого вибору a_k
Обрізання Фур'є — це найкраще наближення в L² від того підпростору. Це мінімізує середню квадратичну помилку (квадрат норми L² різниці).
Прямокутне вікно → Ядро Sinc
Прямокутне вікно в часовій області (збереження тільки коефіцієнтів для |k| ≤ N) відповідає множенню на функцію rect в індексі коефіцієнта.
Множення в одній області відповідає згортці в іншій області.
Перетворення Фур'є прямокутного вікна (в дискретному просторі коефіцієнтів) є ядром Діріхле — періодична sinc-подібна функція:
D_N(f) = Σ_{k=−N}^{N} e^{i2πfk} = sin(π(2N+1)f) / sin(πf)
Коли ми обрізаємо ряд Фур'є, ми згортаємо ідеальну відповідь H_ideal(f) з D_N(f).
Чому виникає Гіббс
Ядро Діріхле має великі бічні пелюстки, які повільно загасають. Біля розриву стрибка в H_ideal(f), ці бічні пелюстки дзвеніють — вони додаються узгоджено на одному боці стрибка, створюючи ≈9% перевищення.
Математична константа: ∫₀^π sin(t)/t dt = Si(π) ≈ 1.8519. Висота перевищення Гіббса = (2/π)·Si(π) − 1 ≈ 0.0895 = 8.95%. Це незалежно від N.
Геометрія вікна
Плавне вікно (Hamming, Hann, Kaiser) має перетворення Фур'є з меншими бічними пелюстками. Згортання H_ideal(f) з ядром, яке має менші бічні пелюстки, створює менше дзвоніння. Компроміс: менші бічні пелюстки завжди супроводжуються ширшою головною пелюсткою, розширюючи смугу переходу.
Константа Гіббса
Перевищення Гіббса є визначеним інтегралом, а не функцією N.
Перший максимум N-членної часткової суми Фур'є одиничного стрибка виникає при f ≈ 1/(2N) від розриву. Коли N → ∞, цей максимум наближається до 1/(2)·(2/π)·Si(π) ≈ 1.0895.
Перевищення: 0.0895 або приблизно 8.95% висоти стрибка.
Вікна як ядра частотної області
Кожна функція вікна має перетворення Фур'є, яке описує ядро, використовуване для згладжування ідеальної частотної характеристики.
Ключові геометричні параметри ядра:
1. Ширина головної пелюстки: визначає ширину смуги переходу (ширша головна пелюстка → ширша смуга переходу).
2. Рівень піку бічної пелюстки: визначає пульсацію смуги пропускання & смуги затримки (менші бічні пелюстки → менше пульсацій).
Ці два параметри не є незалежними. Для даної довжини вікна 2N+1, зменшення висоти бічної пелюстки вимагає розширення головної пелюстки — завжди.
Вікно Кайзера дає користувачу один ручка керування (α) для безперервного компромісу між висотою бічної пелюстки і шириною головної пелюстки, замість переходу між фіксованими типами вікон.
Проектний висновок
Ширина смуги переходу ΔF ≈ ширина головної пелюстки / N. Пульсація δ ≈ рівень бічної пелюстки. Обидві формули є наближеннями; рівняння Кайзера роблять їх точними.