4.1 從級數到積分的過渡#

本章導言#

傅立葉級數處理週期訊號：離散的頻率 \(n\) 、離散的係數 \(c_n\) 。但真實世界的訊號（一段語音、一次地震、一脈電流）大多非週期——它們的「頻譜」是什麼樣子？答案是：當週期 \(T \to \infty\) ，相鄰頻率的間隔 \(\Delta\omega = \frac{2\pi}{T} \to 0\) ，離散譜線稠密化成連續譜，級數求和極限化為積分。這就是傅立葉轉換（Fourier transform）：

\[ \hat{f}(\omega) = \int_{-\infty}^{\infty} f(t)\,e^{-i\omega t}\,dt, \qquad f(t) = \frac{1}{2\pi}\int_{-\infty}^{\infty}\hat{f}(\omega)\,e^{i\omega t}\,d\omega. \]

本節將嚴格走完這個極限過渡，說明哪些直觀可以攜帶、哪些必須卸下（離散質量 \(\to\) 連續密度、Parseval 求和 \(\to\) Plancherel 積分），並介紹轉換的誕生史：Fourier 本人、Cauchy、Poisson 的獨立推導，以及 Plancherel（1910）對 \(L^2\) 理論的最終奠基。

極限過渡的機械：讓週期跑向無窮#

設 \(f\) 定義在整條實軸、絕對可積（ \(f \in L^1(\mathbb{R})\) ）。把 \([-T/2, T/2]\) 當作一個週期窗口，其傅立葉級數係數為

\[ c_n^{(T)} = \frac{1}{T}\int_{-T/2}^{T/2} f(t)\,e^{-in\Delta\omega\, t}\,dt, \qquad \Delta\omega = \frac{2\pi}{T}. \]

級數為 \(f(t) \approx \sum_n c_n^{(T)}e^{in\Delta\omega\,t}\) 。關鍵觀察：把 \(\frac{1}{T} = \frac{\Delta\omega}{2\pi}\) 代入，

\[ f(t) \approx \sum_n \left[\frac{\Delta\omega}{2\pi}\int_{-T/2}^{T/2} f(s)\,e^{-in\Delta\omega\, s}\,ds\right]e^{in\Delta\omega\,t} = \frac{1}{2\pi}\sum_n \left[\int_{-T/2}^{T/2} f(s)\,e^{-i\omega_n s}\,ds\right]e^{i\omega_n t}\,\Delta\omega, \]

其中 \(\omega_n = n\Delta\omega\) 。方括號內是函數 \(F_T(\omega) = \int_{-T/2}^{T/2}f(s)e^{-i\omega s}ds\) 在網格點 \(\omega_n\) 上的取樣；整式正是 \(F_T(\omega)e^{i\omega t}\) 的 Riemann 和（步長 \(\Delta\omega\) ）。令 \(T\to\infty\) （ \(F_T \to F \equiv \int_{\mathbb{R}}f e^{-i\omega s}ds\) ，由 \(f\in L^1\) 保證收斂），Riemann 和化為積分：

\[ f(t) = \frac{1}{2\pi}\int_{-\infty}^{\infty}\left[\int_{-\infty}^{\infty}f(s)\,e^{-i\omega s}\,ds\right]e^{i\omega t}\,d\omega. \]

這條傅立葉積分定理就是本節的終點。注意概念上的換裝：（1） \(c_n\) （離散振幅） \(\to \hat f(\omega)d\omega\) （連續密度—— \(\hat f\) 是譜密度，非機率）；（2） \(\sum_n\) \(\to \int d\omega\) ；（3） \(\delta_{n0}\) 的離散正交性 \(\to \int e^{i(\omega-\omega')t}dt = 2\pi\delta(\omega - \omega')\) 的連續正交性（ \(\delta\) 此處先用直觀，第 5 章正式化）。

收斂的精確性：在 \(f\) 連續、分段 \(C^1\) 、 \(f\in L^1\) 的條件下，反演積分逐點收斂到 \(\frac{f(t^+) + f(t^-)}{2}\) （與 Dirichlet 定理同款的中點規則！）； \(L^2\) 理論下則是均方收斂（Plancherel，見下）。級數理論的每一件武器在積分世界都有對應版——本章的敘事策略就是持續雙語對照。

四象限總表：離散/連續的對仗#

	時域週期	時域非週期
頻域離散	傅立葉級數（FS）： \(\sum c_n e^{in\omega_0 t}\) ，Parseval 求和	取樣定理的反面：離散時間級數（6.1 節）
頻域連續	頻譜取樣： \(c_n = \frac{1}{T}\hat f(n\omega_0)\)	傅立葉轉換（FT）： \(\int f e^{-i\omega t}dt\) ，Plancherel 積分

對仗細節（讀者應背誦）：（1）時域週期 \(\Leftrightarrow\) 頻域離散；時域非週期 \(\Leftrightarrow\) 頻域連續——這是本書最重要的結構性對稱之一，6.1 節取樣定理是它的另一半；（2）歸一化常數 \(\frac{1}{2\pi}\) 可以放正、反、對稱兩半（各 \(\frac{1}{\sqrt{2\pi}}\) ）——三種約定在文獻中並存，看文獻先看常數；（3） \(L^1\) 給出逐點理論（有界連續譜 \(\|\hat f\|_\infty \le \|f\|_1\) ）， \(L^2\) 給出能量理論（Plancherel），兩者交集外的函數（如 \(f \in L^2 \setminus L^1\) ）需要更細的技術——** \(L^1 \cap L^2\) 是安全區**。

誕生史：三人各自的 1811–1815#

傅立葉積分的發明是多人獨立完成的一幕（也埋下優先權爭議）：

Fourier（1811 年得獎論文、1822 年書）：從有限區間熱問題「令邊界跑向無窮」得到積分表示，處理的是半無限桿 \(x \ge 0\) ，形式上是餘弦變換的雛形。他的推導（含糊但正確的方向）含「先積分後求導」的非正式交換。
Cauchy（1815）：在波傳播研究中得到函數方程 \(f(x+t) + f(x-t) = 2\int\cdots\) 型的積分表示，使用了今日稱為 Cauchy 主值的技術處理發散積分——這是嚴格化路線的開端，並孕育了 1823 年他對複平面上「殘數積分」的理論（留數定理可證傅立葉反演，見 4.2 節練習）。
Poisson（1815–1816）：從求和公式的角度切入——他證明了今日的 Poisson 求和公式 \(\sum_n f(nT) = \frac{1}{T}\sum_k \hat f\left(\frac{2\pi k}{T}\right)\) （6.1 節取樣定理的數學心臟），把離散與連續兩世界用一條等式縫合。

三人風格迥異：Fourier 是物理直觀的巨匠、Cauchy 是嚴格性的立法者、Poisson 是形式計算的魔術師。同一個積分變換，三條路徑——這也是本書反覆出現的主題：好的數學對象會從多個方向被「撞見」。

Plancherel 定理： \(L^2\) 世界的能量守恆#

\(L^1\) 理論的一個缺口： \(f\in L^2\) 但 \(f\notin L^1\) 的函數（如 \(\frac{\sin t}{t}\) ， \(|f|\) 可積嗎？—— \(\int|\frac{\sin t}{t}|dt = \infty\) ！但其平方可積）沒有定義良好的 \(\hat f\) 積分。Michel Plancherel（1885–1967） 於 1910 年解決：

定理（Plancherel）：對 \(f \in L^2(\mathbb{R})\) ，傅立葉轉換可定義為 \(L^1 \cap L^2\) 函數的極限（按 \(L^2\) 範數），且

\[ \int_{-\infty}^{\infty}|f(t)|^2\,dt = \frac{1}{2\pi}\int_{-\infty}^{\infty}|\hat f(\omega)|^2\,d\omega. \]

即傅立葉轉換是 \(L^2\) 上的酉算子（保內積： \(\langle f, g\rangle = \frac{1}{2\pi}\langle\hat f, \hat g\rangle\) ）——Parseval 定理（3.1 節）的連續版。證明思想：先對「好函數」（ \(L^1\cap L^2\) ，且稠密於 \(L^2\) ）用 Fubini 直接驗證能量等式；再以稠密性 + 等距延拓定理（Hilbert 空間的有界算子可唯一延拓）覆蓋全 \(L^2\) 。這個「先密後延」的套路是 10.1 節 Hilbert 空間技術的樣板。

一個具體例題#

例題 4.1.1：計算「矩形窗」 \(f(t) = \begin{cases}1, & |t| \le a\\ 0, & |t| > a\end{cases}\) 的傅立葉轉換，並用結果（1）驗證反演公式在 \(t = \pm a\) 的中點規則；（2）求 \(\int_{-\infty}^{\infty}\frac{\sin x}{x}dx = \pi\) （Dirichlet 積分）；（3）解讀「時域越窄、頻域越寬」。

解：

（1）直接積分：

\[ \hat f(\omega) = \int_{-a}^{a}e^{-i\omega t}dt = \frac{e^{-i\omega a} - e^{i\omega a}}{-i\omega} = \frac{2\sin(\omega a)}{\omega} = 2a\,\mathrm{sinc}(\omega a), \qquad \mathrm{sinc}(u) \equiv \frac{\sin u}{u}. \]

（2）在 \(t = a\) （跳躍點）：反演公式應給 \(\frac{f(a^+) + f(a^-)}{2} = \frac{0 + 1}{2} = \frac12\) ，即

\[ \frac{1}{2\pi}\int_{-\infty}^{\infty}\frac{2\sin(\omega a)}{\omega}e^{i\omega a}\,d\omega = \frac{1}{2\pi}\int_{-\infty}^{\infty}\frac{\sin(2\omega a) + \sin 0}{\omega}\,d\omega\cdot(\text{實部}) = \frac{1}{\pi}\int_{-\infty}^{\infty}\frac{\sin(2a\omega)}{\omega}d\omega = \frac{1}{\pi}\int_{-\infty}^{\infty}\frac{\sin u}{u}du \;\overset{!}{=}\; \frac12, \]

故 \(\displaystyle\int_{-\infty}^{\infty}\frac{\sin u}{u}du = \pi\) 。一個百年積分（Dirichlet 積分，Euler 已知其值）由「中點規則 + 反演公式」輕鬆讀出——與例題 3.1.1（Parseval 求 Basel 級數）同一招式：把收斂理論當「積分表」用。

（3） \(\hat f(\omega) = 2a\,\mathrm{sinc}(\omega a)\) 的第一個零點在 \(\omega = \frac{\pi}{a}\) ：時窗寬 \(2a\) 越窄，頻譜主瓣越寬——寬度互為倒數。sinc 的尾巴按 \(\frac{1}{\omega}\) 衰減（跳躍的代價，2.1 節價碼表的連續版）。第 8 章將證明：任何「時域寬度 × 頻域寬度」有下界（測不準原理），矩形窗是下界的溫和違背者——它兩邊都「硬」。

歷史啟示#

離散與連續是同一理論的兩種極端： \(T\to\infty\) 的過渡顯示傅立葉級數與傅立葉轉換不是兩門學問，而是一門學問的兩個極限。6.1 節的取樣定理將反方向走（連續 \(\to\) 離散），完成迴路。
嚴格化花了一百年：Fourier 1811 的積分表示 → Cauchy/Poisson 1815 → Dirichlet 收斂（1829）→ Plancherel（1910）。「 \(\int\) 與 \(\lim\) 交換」的每一次 legalization 都是一次概念革命。
優先權的多人獨立：FS/FT 的核心公式被 Fourier、Cauchy、Poisson 各自撞見。科學史家說「偉大發現是時代的必然」，本節是證據之一。

與其他章節及領域的關聯#

2–3 章：級數理論是本節的母體；每個定理（Dirichlet、Parseval、Fejér）都有積分版。
4.2 節：傅立葉轉換的性質表（微分、平移、縮放、捲積）。
4.3 節：捲積定理——頻域表示的最大紅利。
5 章： \(\delta(\omega - \omega_0)\) 使純正弦（非 \(L^1\) ！）的譜獲得嚴格意義。
6.1 節：Poisson 求和公式與取樣定理——過渡的反方向。
7.1 節：LTI 系統的頻率響應就是轉移函數 \(\hat h(\omega)\) 。
8.1 節：測不準原理——時頻寬度的互斥下界。
10.1 節：Plancherel = 酉算子 = Hilbert 空間譜理論的入場券。

練習#

計算 \(f(t) = e^{-a|t|}\) （ \(a>0\) ）的傅立葉轉換，並求反演驗證；觀察 \(\hat f\) 是 Lorentzian（Cauchy 分布密度）。
計算 Gauss 函數 \(f(t) = e^{-t^2/2}\) 的轉換（提示：配方法 + Gauss 積分），驗證「Gauss 的傅立葉轉換還是 Gauss」——這個自對偶性在 8.1 節（測不準的極小值點）是主角。
用反演公式在 \(t=0\) 處取值，證明 \(\int_{-\infty}^{\infty}\frac{\sin \omega}{\omega}\cdot 2\,d\omega\) 型積分，並進一步由 \(2a\,\mathrm{sinc}(\omega a)\) 在 \(a \to\) 大時的行為，討論 \(\lim_{a\to\infty}\frac{1}{2a}\hat f(\omega)\) 的「點質量」直觀（ \(\delta\) 的先聲）。
對 \(f\in L^1\) ，證明 \(\hat f\) 一致連續（ \(\varepsilon/2\) + 平移分割論證），並證明 Riemann–Lebesgue（積分版）： \(\hat f(\omega)\to 0\) （ \(|\omega|\to\infty\) ）。對照 2.1 節的級數版。
思考題：為什麼 \(f(t) = 1\) （常數）不能有經典傅立葉轉換？它的「譜」應該是什麼？（為第 5 章的 \(\delta\) 鋪路。）

進階研讀：過渡的五個深化場景#

場景一：常數約定的考古。 \(\frac{1}{2\pi}\) 放反演（本書）、放正向、對稱各半、或用頻率 \(\nu\) （赫茲）而無常數（ \(e^{-2\pi i\nu t}\) ）——四種約定使 \(\hat f\) 差個常數倍。工程界偏愛 \(\nu\) 版（無 \(\pi\) 雜訊）、數學界偏愛對稱版（酉、雅致）、本書採 \(\omega\) 版（與微分方程接軌）。讀文獻的第一件事是認約定——這是實用技能而非潔癖。

場景二： \(L^1 \cap L^2\) 之外的世界。 \(\frac{\sin t}{t} \in L^2 \setminus L^1\) ：其 \(\hat f\) 是矩形窗（例題的反演），即轉換存在但正向積分不絕對收斂。Plancherel 的「 \(L^2\) 極限定義」恰好覆蓋此例。交換的順序（先轉換再極限 vs. 先極限再轉換）是 \(L^2\) 理論的全部技術內容，讀者可嘗試用「截斷 \(f\,\chi_{[-T,T]}\) 、取 \(T\to\infty\) 」的數值實驗親手感受收斂。

場景三：Hermite 函數與酉對角化。Gauss 型函數 \(h_n(t) = H_n(t)e^{-t^2/2}\) （Hermite 多項式乘高斯）的傅立葉轉換 \(\widehat{h_n} = (-i)^n\, 2\sqrt{\pi}\,h_n\cdot(\text{尺度常數})\) ——Hermite 函數是傅立葉轉換的特徵函數，特徵值 \(\pm1, \pm i\) 。傅立葉轉換的四次方是恆等（ \(\mathcal{F}^4 = I\) ），譜是 \(\{1, -1, i, -i\}\) 的四重簡併；「分數傅立葉轉換」（分數冪）因此在光學與訊號處理中成為可計算的工具（8.2 節的時頻旋轉觀點）。

場景四：Fourier 積分定理的譜方法應用。反演公式 \(f = \frac{1}{2\pi}\int\hat f e^{i\omega t}d\omega\) 對「任意平移 \(t\) 」成立，這意味著帶限函數是解析的（ \(\hat f\) 緊支撐時，積分範圍有限，可在積分號下對 \(t\) 微分任意次）——6.1 節取樣定理的「Shannon 插值公式」全部建築在這個解析性上。帶限 = 整體解析 = 沒有真正的局部性——第 8 章時頻分析正是要打破這個桎梏。

場景五：分形訊號與 \(\frac1{|{\omega}|^\alpha}\) 譜。Brown 運動（時間軌跡粗糙、無處可微）的功率譜按 \(\frac{1}{\omega^2}\) 衰減；一般分形訊號 \(H\) -self-similar 的譜按 \(\frac{1}{|\omega|^{2H+1}}\) 衰減——Hurst 指數 \(H\) 從譜斜率讀出。2.1 節價碼表在隨機世界的對偶版：時域越粗糙（ \(H\) 小），頻域尾巴越肥。金融時間序列、網路流量、地形剖面的「譜斜率分析」都是此思想的直接應用。

補充：Fourier 積分的第一個工程應用——熱傳導的無限桿#

Fourier 1811 年的原始動機：半無限桿 \(x\ge 0\) 、初始溫度 \(f(x)\) 、端點絕緣。用餘弦變換（偶延拓的 FT）解得

\[ u(x,t) = \frac{2}{\pi}\int_0^{\infty}\left[\int_0^\infty f(s)\cos(\omega s)\,ds\right]\cos(\omega x)\,e^{-\alpha\omega^2 t}\,d\omega. \]

注意 \(e^{-\alpha\omega^2 t}\) 的高斯衰減：它使任意粗糙的 \(f\) 在 \(t>0\) 立即產生解析解（9.1 節的平滑效應，這裡以積分形式預演）。這是傅立葉轉換在人類歷史上的第一次上崗——解一個 PDE。今天訊號處理課本裡的 FT，其「出生證明」寫的是熱傳導。

名詞速查表（本節出現的核心術語）#

傅立葉轉換： \(\hat f(\omega) = \int f e^{-i\omega t}dt\) ；正反變換對。
傅立葉積分定理：反演公式成立的定理（ \(L^1\) + 光滑條件）。
譜密度： \(\hat f\) 的角色（連續版的 \(c_n\) ）。
Poisson 求和公式： \(\sum f(nT) = \frac{1}{T}\sum\hat f\left(\frac{2\pi k}{T}\right)\) ，離散連續之橋。
Plancherel 定理： \(\int|f|^2 = \frac{1}{2\pi}\int|\hat f|^2\) ；FT 是 \(L^2\) 酉算子。
Riemann 和極限：級數 \(\to\) 積分的機械。
sinc 函數： \(\frac{\sin u}{u}\) ；矩形窗的譜。
帶限函數： \(\hat f\) 緊支撐；自動解析（無局部突變）。
Hermite 函數：FT 的特徵函數； \(\mathcal{F}^4 = I\) 。
Cauchy 主值：處理對稱發散積分的正規手段。

年表速查（本節涉及的關鍵年份）#

1811：Fourier 得獎論文，含積分表示（餘弦變換型）。
1815：Cauchy 的積分表示與主值技術；Poisson 的求和公式。
1822：《熱的解析理論》出版，含無限域問題。
1829：Dirichlet 級數收斂定理（積分定理的先決技術）。
1876：du Bois-Reymond 反例（級數；積分版亦有對應）。
1910：Plancherel 定理。
1920s–1930s：Wiener 的廣義諧波分析（隨機訊號譜理論）。
1945–1950：Schwartz 分配理論（第 5 章）——FT 的最終推廣。
1965：Cooley–Tukey FFT（6.3 節）——FT 的計算革命。

深化問答三則#

問：傅立葉轉換與傅立葉級數，本質差別是什麼？ 答：譜的拓撲：級數的譜是離散集合（可數、有間隙），轉換的譜是連續統（稠密、無間隙）。一切形式差異（求和 vs. 積分、 \(c_n\) vs. 密度）都由它派生。而兩者的聯結由 Poisson 求和公式縫合——取樣（6.1 節）就是把連續譜「摺疊」成離散譜的操作。

問： \(f \in L^1\) 保證了什麼、沒保證什麼？ 答：保證 \(\hat f\) 存在（絕對收斂積分）、有界（ \(\le \|f\|_1\) ）、一致連續、且趨零（Riemann–Lebesgue）。沒保證 \(\hat f \in L^1\) （sinc 的尾巴 \(\frac1\omega\) 不絕對可積）——所以反演公式不一定逐點成立，需要 \(f\) 的額外光滑性或用 \(L^2\) 意義。學習的次第：先記 \(L^1\) 給正向、 \(L^2\) 給能量、反演需條件。

問：為什麼工程師說「時域捲積 = 頻域乘積」是最重要的定理？ 答：因為 LTI 系統（濾波器、放大器、聲道）在時域是捲積、在頻域是乘法（4.3 節）。乘法可分解、可級聯、可逐頻率設計——工程設計的全部便利來自這一條。本節先備好轉換語言，下兩節兌現紅利。

（本節完）