3.3 Fejér 定理與算術平均#

本章導言#

du Bois-Reymond 的反例（1872）宣判：連續函數的傅立葉級數可以發散。逐點收斂這條路，對連續函數是封死的。1900 年，一位 20 歲的匈牙利學生 Lipót Fejér（1880–1959） 找到了天才的退路：別直接加項，先平均。把部分和 \(S_0, S_1, \ldots, S_N\) 取算術平均，得到的新序列對一切連續週期函數都一致收斂到函數本身。這個「Fejér 定理」不僅繞過了反例，還附贈三份禮物：非負核（消滅 Gibbs 超調）、Parseval 等式的一條證明路線（3.1 節）、以及 Cesàro 求和論——一門研究「發散級數如何賦值」的學科。本節是第 3 章的收官：它示範了當正面進攻失敗時，改變「求和」的定義本身可以是一種數學發明。

Fejér 其人與匈牙利數學的黃金時代#

Leopold（Lipót）Fejér 1880 年生於 Pécs，父親是猶太裔百貨店主。他天資早發，18 歲入布達佩斯理工，1900 年（大二！）發表 Fejér 定理。1902 年起任教布達佩斯，1911 年接任大學講座，直到 1959 年去世，把布達佩斯變成世界的調和分析重鎮。他培養的學生名單如雷貫耳：Riesz 兄弟（Frigyes 與 Marcel）、John von Neumann（馮紐曼）、Paul Erdős（愛多士）、Paul Turán、Gábor Szegő——匈牙利數學的黃金時代很大程度上是「Fejér 學派」。他的教學哲學：從具體計算與著名問題出發，再走向抽象；他常說「為了發現，你必須能夠糊塗一點」。

故事的一個著名插曲：Fejér 發表定理的 1900 年，他的教授 Eduard Weyr 並不看好，Fejér 是在柏林隨 Hermann Schwarz（1843–1921） 學習時（1900–1902）完成系統化並投給《Crelle 雜誌》的。論文題目直指要害：〈關於三角級數的算術平均〉。一個 20 歲學生用「平均」打穿了半世紀懸案——數學不歧視年齡。

Cesàro 平均與 Fejér 核#

定義（Cesàro 平均）：給定級數部分和 \(S_N(x)\) ，其第 \(N\) 個算術平均為

若 \(\sigma_N \to L\) ，稱級數 Cesàro 可和到 \(L\) （記 \((C,1)\) 收斂）。關鍵性質：普通收斂 \(\Rightarrow\) Cesàro 收斂到同一值（若 \(S_N \to L\) ，則平均也被拖向 \(L\) ），反之不然——Cesàro 是嚴格更寬的求和法。範例：Grandi 級數 \(1 - 1 + 1 - 1 + \cdots\) 的 \(S_N\) 在 \(0, 1\) 間振盪（不收斂），但 \(\sigma_N = \frac{N/2}{N}\) 奇偶取 \(\frac12\) ——**Cesàro 和為 \(\frac12\) **（與 Abel 求和法一致： \(1 - x + x^2 - \cdots = \frac{1}{1+x}\) 在 \(x\to1^-\) 給 \(\frac12\) ）。

把 \(\sigma_N\) 寫成積分核形式：代入 \(S_k(x) = \frac{1}{2\pi}\int f(t)D_k(x-t)dt\) ，對 \(k\) 平均，得

Fejér 核可直接求和（用 \(F_N = \frac{1}{N}\left|\frac{e^{iNu} - 1}{e^{iu}-1}\right|^2\) 型恆等式）：

三個黃金性質（對照 2.1 節 Dirichlet 核）：

近似恆等核（approximate identity）：非負、總質量守恆、質量向 \(u = 0\) 集中——這三條使 \(\sigma_N(x)\) 成為 \(f\) 的「加權局部平均」，權重越來越集中在 \(x\) 附近。連續函數的局部平均，當窗口收縮到零，當然收斂到原值——Fejér 定理的物理直觀就這麼簡單。

Fejér 定理與它的三個推論#

定理（Fejér，1900）：設 \(f\) 以 \(2\pi\) 為週期且連續，則 Cesàro 平均 \(\sigma_N\) 一致收斂到 \(f\) ：

證明骨架： \(\sigma_N(x) - f(x) = \frac{1}{2\pi}\int\big[f(x-t) - f(x)\big]F_N(t)\,dt\) 。 \(f\) 一致連續（Cantor–Heine 定理：緊集上連續 \(\Rightarrow\) 一致連續），給 \(\delta\) 使 \(|t| < \delta\) 時 \(|f(x-t)-f(x)| < \varepsilon\) ——主瓣段 \(\le \varepsilon\cdot\frac{1}{2\pi}\int F_N = \varepsilon\) （非負 + 質量守恆，不需估 \(F_N\) 大小！）；副瓣段 \(|t|\ge\delta\) 上 \(F_N(t) \le \frac{1}{N\sin^2(\delta/2)} \to 0\) ，用 \(f\) 有界壓住。 \(\blacksquare\)

注意證明中最美的細節：主瓣段的估計只用非負性，完全不需要控制核的大小——Dirichlet 核做不到這點（正負抵銷的消失使 \(L^1\) 爆炸）。非負性就是一切。

三個直接推論：

1. Weierstrass 第二逼近定理（1885）的 Fejér 式證明：連續 \(2\pi\) 週期函數可用三角多項式一致逼近（ \(\sigma_N\) 就是那個多項式）。Weierstrass 原證明繁複，Fejér 的證明兩頁搞定——定理不變，證明升級。
2. Parseval 等式（3.1 節）： \(\sigma_N \rightrightarrows f\) + 最佳逼近性（ \(E_N^{\min} \le \sigma_N\) 的誤差） \(\Rightarrow\) \(\lim E_N^{\min} = 0 \Rightarrow\) Parseval。Fejér 定理是 \(L^2\) 理論的引擎。
3. 中點值規則的推廣：對分段連續、有界變差的 \(f\) ， \(\sigma_N\) 在間斷點收斂到中點值，且無超調——Gibbs 現象被平均掉了（見例題）。

一個具體例題#

例題 3.3.1：方波 \(f = \mathrm{sgn}(\sin x)\) （級數 \(\frac{4}{\pi}\sum_{k\ge0}\frac{\sin(2k+1)x}{2k+1}\) ）。（1）證明其 Cesàro 平均 \(\sigma_N\) 在 \(x = 0\) 附近的峰值隨 \(N\) 衰減、超調歸零；（2）對 \(N = 8\) 計算 \(\sigma_8(x)\) 在 \(x = 0.2\) 附近的值並與 Dirichlet 部分和 \(S_{15}(0.2) \approx 1.18\) 對比；（3）總結「要用 Fejér 還是 Dirichlet」的工程決策準則。

解：

（1） \(\sigma_N\) 的核 \(F_N \ge 0\) ，故 \(\sigma_N(x)\) 是 \(f\) 值的凸組合（加權平均），必落在 \(\min f = -1\) 與 \(\max f = 1\) 之間——超調在原則上不可能！更精確地，在跳躍點 \(\pm\frac{c}{N}\) 附近， \(\sigma_N\) 從 \(-1\) 平滑爬升至 \(+1\) ，峰值恰 \(\to 1\) （Bôcher 的一般理論：Fejér 平均在跳躍點的行為是 \(\frac{f^+ + f^-}{2} \pm o(1)\) 型的平滑過渡，斜率 \(\sim N\) ）。

（2） \(\sigma_8(x) = \frac{1}{8}\sum_{k=0}^{7}S_k(x)\) ， \(S_k\) 只含奇數項 \(\sin(2j+1)x\) 。在 \(x = 0.2\) ：各 \(S_k(0.2)\) 為（奇數項個數 \(1, 2, 3, 4, 5, 6, 7, 8\) 個）： \(0.254,\ 0.526,\ 0.771,\ 0.844,\ 0.923,\ 0.962,\ 1.046,\ 1.059\) （由 \(\frac4\pi\sum_{j=0}^{m-1}\frac{\sin((2j+1)0.2)}{2j+1}\) 逐項累加）。平均 \(\sigma_8(0.2) = \frac{6.385}{8} = 0.798\) 。對比 Dirichlet 部分和 \(S_{15}(0.2) = 1.059\) （注意 \(S_{15}\) 恰是最後一個 \(S_k\) ！）。Fejér 慢但穩、Dirichlet 快但超調——在 \(x=0.2\) 這個靠跳躍點的位置，Dirichlet 的 1.059 帶著向 1.179 超調的趨勢，Fejér 的 0.798 是真誠的局部平均，正緩慢爬向 1。

（3）決策準則：（a）訊號光滑、要高精度 → Dirichlet（截斷）即可，收斂快；（b）訊號有跳躍、要無振鈴顯示或無超調逼近 → Fejér/加窗，犧牲一些解析度；（c）計算成本： \(\sigma_N\) 可用 \(\sigma_N = \left(1 - \frac{1}{N}\right)\sigma_{N-1} + \frac{1}{N}S_{N-1}\) 遞推，與直接截斷同階。没有免費午餐，只有清楚的交換。

歷史啟示#

• 退一步的發明：Fejér 沒有證明「連續函數的傅立葉級數收斂」（不可能，du Bois-Reymond 已否決），而是改變了求和的定義。科學的重大突破常是這種「改問題而非解問題」——Hilbert 空間、測度論、分配理論都是同型操作。
• 年輕人與老問題：半世紀懸案被 20 歲學生用兩頁解決。老問題的價值在於積累的失敗已排除所有錯路，剩下的正是那條沒人敢走的（更寬的）路。
• 負部的教訓：Dirichlet 核的負部造成超調與 \(L^1\) 爆炸；Fejér 核的非負性一次解決兩者。「尋找正性結構」此後成為調和分析的方法論（正定函數、Herglotz 表示、正算子半群……）。

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

• 2.3 節：Gibbs 現象的解藥（非負核）。
• 3.1 節：Parseval 等式的證明引擎。
• 3.2 節：Weierstrass 第二逼近定理的簡短證明。
• 4.3 節：Fejér 核 = 一種低通濾波器；「平均 = 平滑 = 濾波」的統一。
• 6.2 節：數位頻譜分析的加窗技術是 Fejér 思想的離散版。
• 7.1 節：移動平均濾波器（MA）是 Fejér 核的離散化身。
• 8.2 節：短時傅立葉轉換的「局部平均」哲學承襲 Fejér。
• Cesàro 求和論：Abel 求和、Borel 求和、 \((C,k)\) 求和——「發散級數的病理科」在數論（Ramanujan 求和）與量子場論（重整化）中都有後裔。

練習#

1. 計算 Grandi 級數 \(1 - 1 + 1 - \cdots\) 的 \(\sigma_N\) （ \(N\) 為偶/奇），驗證 Cesàro 和為 \(\frac12\) ；再用 Abel 求和 \(\lim_{r\to1^-}(1 - r + r^2 - \cdots)\) 交叉驗證。
2. 證明 \(\int_{-\pi}^{\pi}F_N(t)\,dt = 2\pi\) （提示： \(F_N = \frac{1}{N}\sum_{k=0}^{N-1}D_k\) ，逐項積分）。
3. 證明 Fejér 核的副瓣估計： \(|t| \ge \delta\) 時 \(F_N(t) \le \frac{1}{N\sin^2(\delta/2)}\) ，並完成 Fejér 定理證明的副瓣段。
4. 對方波級數，用遞推 \(\sigma_N = \left(1-\frac1N\right)\sigma_{N-1} + \frac{1}{N}S_{N-1}\) 手算 \(\sigma_4(x)\) 在 \(x = 0.1, 0.5, 1.0\) 的值（各 \(S_k\) 可由級數逐項累加），驗證全程 \(\le 1\) 。
5. 思考題：級數 \(\sum n\,e^{inx}\) 的 Cesàro 平均在 \(x \neq 0\) 收斂嗎？計算 \(\sum_{k<n} k z^k\) 的閉式並對 \(z = e^{ix}\) 取平均，說明 \((C,1)\) 求和把一個「係數不趨零」的發散級數也賦了值——這種賦值的界限在哪裡（提示： \((C,1)\) 對項增長 \(\sim n\) 仍可行，但 \((C,0)\) 不行；討論 \((C,k)\) 階的必要性）？

進階研讀：平均化思想的五個深化場景#

場景一： \((C,k)\) 求和的階梯。Cesàro 求和可迭代： \(\sigma^{(2)}_N\) 是 \(\sigma^{(1)}\) 的平均，稱 \((C,2)\) 。階梯上每升一階，可容納更「發散」的級數： \(\sum n\) （Ramanujan 意義的 \(-\frac{1}{12}\) ，物理學家的 26 維弦論梗）在 \((C,2)\) 下有值。求和法是一個譜系，Fejér 定理站在 \((C,1)\) 這一階，對傅立葉級數已足。

場景二：Abel–Poisson 求和。另一條路： \(u(r, x) = \sum c_n r^{|n|}e^{inx}\) （ \(r \uparrow 1\) ），核為 Poisson 核 \(P_r(t) = \frac{1 - r^2}{1 - 2r\cos t + r^2} > 0\) 。 \(u(r,\cdot) \rightrightarrows f\) 同樣成立，且 \(u(r,x)\) 恰是圓盤上 Dirichlet 問題（Laplace 方程邊值問題）的解（9.1 節）——Fejér 平均與 Poisson 積分是同一件事的時間型/空間型。調和分析的「各種求和法 = 各種非負近似恆等核」的總地圖，於此成形。

場景三：Fejér 學派的傳承樹。Fejér → Frigyes Riesz（ \(L^p\) 空間、算子理論）→ 他的學生們；Fejér → von Neumann（算子代數、博弈論、計算機架構）；Fejér → Erdős（離散數學與機率方法）。一個定理（1900）開枝散葉成 20 世紀數學的半壁江山——教學與研究同為數學的生產方式，Fejér 以教出名學生著稱，一如 Dirichlet（2.2 節）。

場景四：Körner 的提醒——平均化的代價可見於相變。Fejér 平均抹平了 Gibbs 超調，但也抹平了高頻細節： \(F_N\) 的主瓣比 \(D_N\) 寬（平方衰減），轉折點被「圓化」。在影像（6.2 節的 JPEG 對照）中，這是「振鈴消失 vs. 邊緣模糊」的交換；在統計中這是「偏差–變異數交換」（bias–variance tradeoff）的原型——平均化是一種正則化，機器學習的核平滑（kernel smoothing）與之血脈相連。

場景五：Fejér–Riesz 定理的意外延伸。Frigyes Riesz（1880–1956） 1915 年證明：任何非負三角多項式 \(T(\theta) = \sum_{|n|\le N}c_ne^{in\theta} \ge 0\) 都可寫成 \(|Q(e^{i\theta})|^2\) （ \(Q\) 為次數 \(\le N\) 的多項式）。這個「非負 = 平方模長」的定理是訊號處理 Spectral Factorization（功率譜分解為濾波器）的數學基礎——Wiener 濾波器（7.1 節）設計的必經一步。Fejér 核本身即是 \(F_N = \left|\frac{1}{\sqrt N}\frac{e^{iNu}-1}{e^{iu}-1}\right|^2\) 的實例。

補充：Fejér 晚年與一句遺言#

Fejér 一生獲獎無數（1929 年匈牙利科學院大獎等），但晚年（二戰前後）因猶太背景受迫害，戰後仍留布達佩斯執教。他的教學風格留有口述傳統：不寫講義、在黑板上「即興發現」，讓學生看見數學的發生過程。學生 Turán 回憶他的名言：「即使是最偉大的數學家，他也必須從具體的例子出發」——本書的寫法（每節一個具體例題）正是向這句話致敬。

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

• Cesàro 平均 \(\sigma_N\) ：部分和的算術平均； \((C,1)\) 求和。
• Cesàro 可和： \(\sigma_N\) 收斂；比普通收斂嚴格更寬。
• Fejér 核 \(F_N = \frac1N\left(\frac{\sin(Nu/2)}{\sin(u/2)}\right)^2 \ge 0\) ：非負近似恆等核。
• 近似恆等核：非負、質量守恆、向零集中；平滑化的標準配件。
• Fejér 定理：連續週期函數的 \(\sigma_N\) 一致收斂。
• Weierstrass 第二逼近定理：連續週期函數可被三角多項式一致逼近。
• Poisson 核：Abel 求和的核，與 Laplace 方程相連。
• Grandi 級數： \(1-1+1-\cdots\) ，Cesàro 和 \(\frac12\) 的範例。
• 正則化：以「平均/平滑」換取穩定性的總稱。
• Fejér–Riesz 定理：非負三角多項式 = \(|Q|^2\) ；譜分解的基礎。

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

• 1880：Fejér 生於 Pécs。
• 1890：Cesàro 系統提出算術平均求和法。
• 1900：Fejér 定理（20 歲）。
• 1904：Fejér 論文刊於 Crelle 雜誌，含 Weierstrass 逼近的新證明。
• 1915：Fejér–Riesz 定理。
• 1920s：Fejér 學派全盛（Riesz 兄弟、Szegő、von Neumann 相繼出師）。
• 1930s–1950s：Cesàro/Abel 求和在數論與物理中系統化。
• 1959：Fejér 去世於布達佩斯。

深化問答三則#

問：Fejér 定理證明「連續函數的傅立葉級數 Cesàro 收斂」，那原級數呢？ 答：原級數（Dirichlet 部分和）對某些連續函數仍會在某點發散（du Bois-Reymond），Fejér 定理不能修好原級數——它修的是「如何從部分和序列提取極限」的方式。比喻：原問題是「每一步都走到終點」，Fejér 說「只要平均位置走向終點就好」——目標放寬後，全域性成立。

問：既然 Fejér 平均這麼好，為什麼理論課還花那麼多時間在 Dirichlet 收斂？ 答：因為 Fejér 的「好」有代價（解析度、逐點性質）且依賴連續性；跳躍函數的中點值、逐點收斂速率、係數與光滑度的關係——這些「精細資訊」只在 Dirichlet 理論裡。兩套理論是互補鏡頭：Dirichlet 是顯微鏡（逐點、精細、脆弱），Fejér 是望遠鏡（整體、穩定、模糊）。

問： Cesàro 求和給發散級數「賦值」，這合法嗎？會不會自相矛盾？ 答：合法性在於相容性：對本來收斂的級數，任何合理的求和法必須給出原值（regularity），Cesàro 滿足；不同合理求和法（Cesàro、Abel）在共同覆蓋範圍內給出相同值（一致性）。矛盾發生在把求和值當作普通收斂的等價物——它不是；它是「在更寬的意義下的極限」，具有工程價值（濾波器的穩態響應常是 Abel/Cesàro 值），但必須標註其意義。

（本節完）