Các hàm dưới dạng Véc-tơ
Chuỗi Fourier không chỉ là một công cụ tính toán — nó là một phép toán hình học: phép chiếu trực giao của một hàm lên một cơ sở.
Không gian Hàm
Tập hợp các hàm khả tích bình phương trên [0,1] tạo thành một không gian véc-tơ L²[0,1]. Phép cộng và phép nhân vô hướng hoạt động theo từng điểm. Tích trong của hai hàm f, g:
⟨f, g⟩ = ∫₀¹ f(t) · g*(t) dt
trong đó g* là liên hợp phức của g. Điều này thỏa mãn tất cả các tiên đề tích trong.
Tính trực giao của Cơ sở Fourier
Các hàm φ_k(t) = e^{i2πkt} tạo thành một cơ sở trực chuẩn cho L²[0,1]:
⟨φ_k, φ_m⟩ = ∫₀¹ e^{i2πkt} · e^{−i2πmt} dt = ∫₀¹ e^{i2π(k−m)t} dt = δ_{km}
(Giá trị này bằng 1 nếu k = m, 0 ngoài ra — bằng cách tích phân một dao động thuần túy trên một chu kỳ đầy đủ.)
Hệ số Fourier như Tích trong
Hệ số Fourier thứ k của x(t):
c_k = ⟨x, φ_k⟩ = ∫₀¹ x(t) · e^{−i2πkt} dt
Đây là phép chiếu của x lên véc-tơ cơ sở φ_k. Hệ số này đo lường bao nhiều φ_k có mặt trong x.
Phép chiếu lên một Không gian con
Cắt bỏ chuỗi Fourier xuống 2N+1 số hạng để chiếu x lên không gian con được trải rộng bởi {φ_{−N}, …, φ_N}. Chuỗi cắt bỏ là phép chiếu trực giao của x lên không gian con hữu hạn chiều này.
Theo bất đẳng thức Bessel, phép chiếu giảm thiểu sai số L²:
‖x − Σ_{k=−N}^{N} c_k φ_k‖² ≤ ‖x − Σ_{k=−N}^{N} a_k φ_k‖² cho bất kỳ lựa chọn a_k nào
Phép cắt bỏ Fourier là xấp xỉ tốt nhất trong L² từ không gian con đó. Nó giảm thiểu sai số bình phương trung bình (bình phương của chuẩn L² của hiệu số).
Cửa sổ Hình chữ nhật → Nhân Sinc
Cửa sổ hình chữ nhật trong miền thời gian (chỉ giữ các hệ số cho |k| ≤ N) tương ứng với phép nhân với hàm rect trong chỉ số hệ số.
Phép nhân trong một miền tương ứng với tích chập trong miền khác.
Biến đổi Fourier của cửa sổ hình chữ nhật (trong không gian hệ số rời rạc) là nhân Dirichlet — một hàm giống sinc tuần hoàn:
D_N(f) = Σ_{k=−N}^{N} e^{i2πfk} = sin(π(2N+1)f) / sin(πf)
Khi chúng tôi cắt bỏ chuỗi Fourier, chúng tôi tích chập phản ứng lý tưởng H_ideal(f) với D_N(f).
Tại sao Gibbs xảy ra
Nhân Dirichlet có những cạnh sidelobes lớn giảm chậm. Gần một bước gián đoạn trong H_ideal(f), những cạnh này rung — chúng cộng lại một cách nhất quán trên một bên của bước nhảy, tạo ra khoảng 9% overshoot.
Hằng số toán học: ∫₀^π sin(t)/t dt = Si(π) ≈ 1.8519. Độ cao overshoot Gibbs = (2/π)·Si(π) − 1 ≈ 0.0895 = 8.95%. Điều này độc lập với N.
Hình học Cửa sổ
Một cửa sổ mượt mà (Hamming, Hann, Kaiser) có biến đổi Fourier với sidelobes thấp hơn. Tích chập H_ideal(f) với một nhân có sidelobes nhỏ hơn tạo ra rung ít hơn. Sự đánh đổi: sidelobes thấp hơn luôn đi kèm với một main lobe rộng hơn, làm rộng hơn dải chuyển tiếp.
Hằng số Gibbs
Overshoot Gibbs là một tích phân xác định, không phải một hàm của N.
Cực đại đầu tiên của tổng riêng phần Fourier N-hạng của một bước đơn vị xảy ra tại f ≈ 1/(2N) từ điểm gián đoạn. Khi N → ∞, cực đại này tiến tới 1/(2)·(2/π)·Si(π) ≈ 1.0895.
Overshoot: 0.0895 hoặc xấp xỉ 8.95% của chiều cao bước nhảy.
Cửa sổ như Nhân Miền tần số
Mỗi hàm cửa sổ có một biến đổi Fourier mô tả nhân được sử dụng để làm mịn phản ứng tần số lý tưởng.
Các tham số hình học chính của nhân:
1. Main lobe width: xác định chiều rộng dải chuyển tiếp (main lobe rộng hơn → dải chuyển tiếp rộng hơn).
2. Peak sidelobe level: xác định ripple dải thông & dải chặn (sidelobes thấp hơn → ripple ít hơn).
Hai tham số này không độc lập. Đối với một độ dài cửa sổ 2N+1 cố định, giảm chiều cao sidelobe yêu cầu mở rộng main lobe — luôn luôn.
Cửa sổ Kaiser cung cấp cho người dùng một công tắc (α) để đánh đổi chiều cao sidelobe so với chiều rộng main lobe liên tục, thay vì nhảy giữa các loại cửa sổ cố định.
Hiểu biết Thiết kế
Chiều rộng dải chuyển tiếp ΔF ≈ chiều rộng main lobe / N. Ripple δ ≈ cấp độ sidelobe. Cả hai công thức đều gần đúng; các phương trình của Kaiser làm cho chúng chính xác.