Fonksiyonlar Vektör Olarak
Fourier serisi sadece bir hesaplama aracı değildir — geometrik bir işlemdir: bir fonksiyonun bir tabana ortogonal projeksiyonu.
Fonksiyon Uzayı
[0,1] üzerinde kare-integrallenebilir fonksiyonların seti L²[0,1] vektör uzayını oluşturur. Toplama & skaler çarpma noktasal olarak çalışır. İki fonksiyon f, g'nin iç çarpımı:
⟨f, g⟩ = ∫₀¹ f(t) · g*(t) dt
burada g*, g'nin karmaşık eşleniğidir. Bu, tüm iç çarpım aksiyomlarını sağlar.
Fourier Tabanının Ortogonalliği
φ_k(t) = e^{i2πkt} fonksiyonları L²[0,1] için ortonormal bir taban oluşturur:
⟨φ_k, φ_m⟩ = ∫₀¹ e^{i2πkt} · e^{−i2πmt} dt = ∫₀¹ e^{i2π(k−m)t} dt = δ_{km}
(Bu, k = m ise 1'e, aksi takdirde 0'a eşittir — bir tam dönem üzerinde saf bir salınımı integre ederek.)
Fourier Katsayısı İç Çarpım Olarak
x(t)'nin k. Fourier katsayısı:
c_k = ⟨x, φ_k⟩ = ∫₀¹ x(t) · e^{−i2πkt} dt
Bu, x'in φ_k taban vektörü üzerine projeksiyonudur. Katsayı, x'te φ_k'nin ne kadarının mevcut olduğunu ölçer.
Alt Uzaya Projeksiyonu
Fourier serisini 2N+1 terime kesmek, x'i {φ_{−N}, …, φ_N} tarafından yayılan alt uzaya yansıtır. Kesilen seri, x'in bu sonlu-boyutlu alt uzaya ortogonal projeksiyonudur.
Bessel eşitsizliğine göre, projeksiyon L² hatasını en aza indirir:
‖x − Σ_{k=−N}^{N} c_k φ_k‖² ≤ ‖x − Σ_{k=−N}^{N} a_k φ_k‖² for any choice of a_k
Fourier kesme, bu alt uzaydan L²'de en iyi yaklaşımdır. Ortalama kare hatayı (farkın L² normunun karesi) en aza indirir.
Dikdörtgen Pencere → Sinc Çekirdeği
Zaman alanında dikdörtgen pencere (sadece |k| ≤ N için katsayıları tutmak) katsayı indeksinde bir rect fonksiyonla çarpımına karşılık gelir.
Bir alandaki çarpma diğer alandaki evrişime karşılık gelir.
Dikdörtgen pencerenin Fourier dönüşümü (ayrık katsayı uzayında) Dirichlet çekirdeğidir — periyodik sinc benzeri bir fonksiyon:
D_N(f) = Σ_{k=−N}^{N} e^{i2πfk} = sin(π(2N+1)f) / sin(πf)
Fourier serisini kestiğimizde, ideal tepkisi H_ideal(f) ile D_N(f)'yi evriştiriz.
Gibbs Neden Oluşur
Dirichlet çekirdeği yavaş azalan büyük yan lobları vardır. H_ideal(f)'deki bir adım süreksizliğinin yakınında, bu yan loblar titrer — sıçramanın bir tarafında tutarlı bir şekilde eklenir, ≈%9 aşırı çıkışı üretir.
Matematiksel sabit: ∫₀^π sin(t)/t dt = Si(π) ≈ 1.8519. Gibbs aşırı çıkışı yüksekliği = (2/π)·Si(π) − 1 ≈ 0.0895 = %8.95. Bu, N'den bağımsızdır.
Pencere Geometrisi
Düzgün bir pencere (Hamming, Hann, Kaiser) daha düşük yan loblarla bir Fourier dönüşümüne sahiptir. H_ideal(f)'yi daha küçük yan lobları olan bir çekirdekle evriştirilmesi daha az titreme üretir. Uzlaşma: daha düşük yan loblar her zaman daha geniş bir ana lob ile birlikte gelir, geçiş bandını genişletir.
Gibbs Sabiti
Gibbs aşırı çıkışı belirli bir integral olup, N'nin bir fonksiyonu değildir.
Birim adımın N-terimli kısmi Fourier toplamının ilk maksimumu süreksizlikten f ≈ 1/(2N) konumunda oluşur. N → ∞ olarak, bu maksimum 1/(2)·(2/π)·Si(π) ≈ 1.0895'e yaklaşır.
Aşırı çıkış: 0.0895 veya sıçrama yüksekliğinin yaklaşık %8.95'i.
Frekans Alanı Çekirdekleri Olarak Pencereler
Her pencere fonksiyonunun, ideal frekans tepkisini yumuşatmak için kullanılan çekirdeği tanımlayan bir Fourier dönüşümü vardır.
Çekirdek parametreleri:
1. Ana lob genişliği: geçiş bandı genişliğini belirler (daha geniş ana lob → daha geniş geçiş).
2. Tepe yan lob seviyesi: geçiş bandı & durdurma bandı dalgalanmasını belirler (daha düşük yan loblar → daha az dalgalanma).
Bu iki parametre bağımsız değildir. Belirli bir pencere uzunluğu 2N+1 için, yan lob yüksekliğini azaltmak ana lobu genişletmeyi gerektirir — her zaman.
Kaiser'ın penceresi, sabit pencere türleri arasında atlamak yerine, yan lob yüksekliği vs ana lob genişliğini sürekli olarak takas etmek için kullanıcıya bir düğme (α) verir.
Tasarım İçgörüsü
Geçiş bant genişliği ΔF ≈ ana lob genişliği / N. Dalgalanma δ ≈ yan lob seviyesi. Her iki formül yaklaşıktır; Kaiser denklemleri bunları tam hale getirir.