الدوال كمتجهات
سلسلة فورييه ليست مجرد أداة حسابية — إنها عملية هندسية: إسقاط متعامد لدالة على أساس.
فضاء الدالة
مجموعة الدوال المربعة التكامل على [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‖² for any choice of a_k
اختزال فورييه هو أفضل تقريب في L² من هذا الفضاء الجزئي. يقلل متوسط مربع الخطأ (L² معيار مربع الفرق).
النافذة المستطيلة → نواة سينك
النافذة المستطيلة في مجال الزمن (الاحتفاظ بالمعاملات فقط لـ |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.
هندسة النافذة
نافذة سلسة (هامينج، هان، كايزر) لها تحويل فورييه مع فصوص جانبية أقل. الالتفاف 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. التموج δ ≈ مستوى الفص الجانبي. كلا الصيغتين تقريبيتان؛ معادلات كايزر تجعلهما دقيقتان.