関数をベクトルとして
フーリエ級数は単なる計算道具ではなく、幾何学的操作である：基底への関数の直交射影である。
関数空間
[0,1]上の二乗可積分関数の集合はベクトル空間L²[0,1]を形成する。加算とスカラー倍算は点ごとに機能する。2つの関数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}
（k = mの場合は1、それ以外の場合は0 — 純粋な振動を完全な周期にわたって積分することにより。）
内積としてのフーリエ係数
x(t)のk番目のフーリエ係数：
c_k = ⟨x, φ_k⟩ = ∫₀¹ x(t) · e^{−i2πkt} dt
これはx、基底ベクトルφ_kへの射影である。係数はφ_kのどのくらいの量がxに存在するかを測定する。
部分空間への射影
フーリエ級数を2N+1項に切り詰めると、{φ_{−N}, …, φ_N}によって張られる部分空間にxを射影する。切り詰められた級数は、この有限次元部分空間へのxの直交射影である。
ベッセルの不等式により、射影はL²誤差を最小化する：
‖x − Σ_{k=−N}^{N} c_k φ_k‖² ≤ ‖x − Σ_{k=−N}^{N} a_k φ_k‖² for any choice of a_k
フーリエ切り詰めはその部分空間からのL²における最良の近似である。平均二乗誤差（差のL²ノルムの二乗）を最小化する。
長方形窓 → Sincカーネル
時間領域での長方形窓（|k| ≤ Nの係数のみを保持）は、係数インデックスでのrect関数による乗算に対応する。
1つの領域での乗算は、他の領域での畳み込みに対応する。
長方形窓のフーリエ変換（離散係数空間内）はディリクレカーネル — 周期的な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. ピークサイドローブレベル：パスバンド＆ストップバンドのリップル（より低いサイドローブ → より少ないリップル）を決定する。
これら2つのパラメータは独立していない。与えられた窓の長さ2N+1について、サイドローブ高さを減らすにはメインローブを広げる必要がある — 常に。
カイザーの窓はユーザーに1つのノブ（α）を与えて、固定窓タイプ間をジャンプするのではなく、サイドローブ高さ対メインローブ幅を継続的にトレードオフするオプションを与える。
設計の洞察
遷移帯幅ΔF ≈ メインローブ幅 / N。リップルδ ≈ サイドローブレベル。両方の式は近似値である。カイザーの方程式はそれらを正確にする。