Fourier dönüşümü L2 uzayı teorisi, harmonic analizi ile fonksiyonel analizin kesiştiği noktada durur. Parseval eşitliği bu kesişimin en çarpıcı ifadesidir: bir fonksiyonun enerjisi, o fonksiyonun Fourier dönüşümünün enerjisine eşittir. L²(ℝ) uzayı, kare integrallenebilir fonksiyonların Hilbert uzayıdır. İç çarpım şöyle tanımlanır: ⟨f, g⟩ = ∫_{-∞}^{∞} f(x)g̅(x) dx ve ilgili norm ‖f‖² = ⟨f, f⟩ = ∫|f(x)|² dx. Fourier dönüşümü F: L²(ℝ) → L²(ℝ) şöyle tanımlanır (Plancherel normalizasyonuyla): F̂(ξ) = ∫_{-∞}^{∞} f(x) e^{-2πiξx} dx Ancak bu integral, genel L² fonksiyonları için noktasal olarak iyi tanımlı olmayabilir. Plancherel teoremi bu sorunu aşar: F, L¹ ∩ L² üzerinde tanımlanan Fourier dönüşümünün L² tamamlanmasına benzersiz biçimde uzar ve üniter operatör oluşturur. **Parseval eşitliği:** F üniter olduğundan iç çarpımı korur: ⟨f̂, ĝ⟩ = ⟨f, g⟩ Özel durumda g = f alındığında: ∫_{-∞}^{∞} |f(x)|² dx = ∫_{-∞}^{∞} |f̂(ξ)|² dξ Bu eşitliğin Fourier dönüşümü L2 uzayı bağlamındaki fiziksel yorumu şudur: sol taraf zaman/uzay alanındaki enerjiyi, sağ taraf frekans/dalga sayısı alanındaki enerjiyi ölçer. Hiç enerji kaybolmaz; yalnızca temsil değişir. Spektral analiz perspektifinden Parseval eşitliği şu uygulamaları mümkün kılar: - **Parsevals'in güç teoremi:** Ayrık Fourier dönüşümü (DFT) versiyonunda Parseval eşitliği, sinyal işlemede gürültü analizi ve filtre tasarımının temelidir. - **Konvolüsyon teoremi:** f * g dönüşümü f̂·ĝ'ye karşılık gelir; bu özellik diferansiyel denklemlerin frekans alanında çözülmesini sağlar. - **Unitary group:** Fourier dönüşümü üniter operatör olduğundan spektrum koruyucudur; öz fonksiyonlar düzlemsel dalgalardır (e^{2πiξx}). Fonksiyonel analizde L² teorisi öz değer problemi ve kompakt operatörler bağlamında genişler. Sturm-Liouville operatörlerinin öz fonksiyonları L²'de ortonormal baz oluşturur; bu baz aracılığıyla Parseval eşitliğinin genelleştirilmiş versiyonu olan Parseval çerçeve teoremi elde edilir. Uygulamalarda Fourier dönüşümü L2 uzayı teorisi, dalga mekaniği (Schrödinger denkleminin momentum uzayı temsili), iletişim mühendisliği (Shannon örnekleme teoremi) ve sayısal metodlar (FFT algoritmaları) alanlarında temel altyapıyı sağlar.