加課 · Poisson 求和公式
壓軸 · 縫回傅立葉
Σ f(n) = Σ f̂(k)
泊松求和公式 · Poisson Summation Formula
左邊在時域整數點點名,右邊在頻域整數點點名 —— 總數永遠相同。
📜 公式的身世
打臉不成,反成鐵證的亮斑
關於泊松本人,最好的故事是一樁烏龍。1818 年,科學院懸賞光學論文,菲涅耳主張光是波;評審泊松是堅定的粒子派,便用菲涅耳的理論推出一個「荒謬」結論想一劍封喉:若光真是波,圓盤影子的正中央應該有一個亮點。主持人阿拉戈當真做了實驗 —— 亮點就在那裡。用來打臉的推導,成了對手理論最戲劇性的鐵證,後世還把那顆亮點命名為「泊松亮斑」。數學不站隊 —— 它只站對的那邊,哪怕執筆的人自己不信。
🌍 它今天在哪裡上工
🐴
被馬踢死的統計學 —— 1898 年 Bortkiewicz 統計普魯士騎兵二十年「被馬踢死」的人數,完美吻合泊松分布 —— 從此急診人流、客服來電、足球進球全用它排班。
💿
CD 的 44.1kHz —— 取樣定理(泊松求和的直系後代)說:取樣率 ≥ 最高頻率兩倍就能完美重建 —— 人耳上限 20kHz,CD 因此定在 44.1k。
🌐
雙 11 不當機 —— 網站尖峰要備幾台伺服器?工程師用泊松模型估「同時湧入」的機率 —— 你搶到的每一單,背後是泊松在扛。
這是四堂連開的壓軸,也是全系列最深的一塊拼圖。左邊:把函數 f 在每個整數上取值、全部加起來。右邊:把它的頻譜 f̂(傅立葉轉換)也在每個整數上取值、加起來。定理說:兩個總和,一模一樣。
🏫比喻:同一班學生,按「座位」點名,和按「名冊」點名 —— 總人數必然相同。時域是座位表,頻域是名冊;泊松求和說:兩份帳,永遠對得起來。
它為什麼重要?因為「取樣」這個動作的一切後果 —— 為什麼 CD 是 44.1kHz、為什麼影片裡車輪會倒轉、為什麼取樣夠密就能完美還原 —— 全由這條式子管帳。三張互動圖,一路走到取樣定理的心臟;最後一章,把整個系列縫起來。
Part 1 · 拉了就懂（白話）
I
第一章 · 兩邊點名：親眼看兩個總和咬死相等
拉動高斯的胖瘦 —— 上下兩排的和各自劇烈變化，差卻永遠是 0。
⚖️拿一顆高斯鐘形 f(x)=e^(−πax²) 來試。上排:在整數 …−2,−1,0,1,2… 點名加總。下排:它的頻譜 f̂(ξ)=a^(−½)e^(−πξ²/a)(還記得傅立葉那堂嗎 —— 時域越瘦,頻域越胖),也在整數上點名加總。拉動 a:上排的和變、下排的和也變 —— 但兩個數始終一分不差。
互動 · 上＝f 在整數取樣、下＝f̂ 在整數取樣
a1.00
左和 Σ f(n)—
右和 Σ f̂(k)—
兩邊的差—
玩玩看，注意這些
- a 拉大(時域變瘦):上排幾乎只剩中間一根,和掉向 1;下排卻攤得又寬又平,靠很多小根把和補回來 —— 兩邊用完全不同的方式,湊出同一個數。
- a=1 時上下完全對稱(高斯是自己的頻譜 —— 007 第四章的老朋友),兩排長得一模一樣。
- 盯著「兩邊的差」:不管怎麼拉,永遠是 0.000000000 —— 這不是近似,是恆等式。
✦ 彩蛋(給喜歡深水區的你):這個等式寫出來就是 θ(a) = a^(−½) θ(1/a) —— Jacobi 的 θ 函數變換公式。1859 年,黎曼正是拿這一行,證出了 ζ 函數的函數方程,通往那個著名的猜想。你剛剛用滑桿,拉的是數論史上最重要的等式之一。
一句話帶走:Σf(n) = Σf̂(k):時域點名 = 頻域點名。不是巧合、不是近似 —— 是傅立葉世界的守恆律。
II
第二章 · 為什麼成立：「取樣」＝ 把頻譜整張複印貼滿
時域每隔 T 抽一點，頻域就每隔 1/T 複印一份 —— 這就是定理的引擎室。
🖨️把公式一般化:時域每隔 T 取樣一次(不必剛好整數),頻域會發生什麼?答案出奇地圖像化:頻譜被丟進影印機 —— 每隔 1/T 複印一份、全部疊起來。取樣越密(T 小),複本間距 1/T 越寬,彼此相安無事;取樣越疏,複本越擠,開始互相滲透 —— 下一章的災難,正從這裡開始。
互動 · 上＝時域取樣（間隔 T）、下＝頻譜複本（間距 1/T）疊加
取樣間隔 T0.80
頻譜複本間距 1/T1.25
鄰居滲進來多少（疊影量）—
恆等式 T·Σf(nT) = Σf̂(k/T)—
怎麼看這張圖
- 上排:金色的樣本點,間隔 T。把 T 拉大(取樣變疏):下排的灰色複本擠在一起,粗青色的「疊加總譜」開始糊掉、鼓包 —— 這就是「疊影」。
- 把 T 壓小:複本彼此拉開,總譜乾乾淨淨地保留原形 —— 原始頻譜完好無缺,還原有望。
- 看最後一行讀數:一般化的泊松求和 T·Σf(nT) = Σf̂(k/T),兩邊即時計算、永遠打勾。第一章是它 T=1 的特例。
背後的道理（白話版）
「每隔 T 抽一下」這個動作,在頻域的名字就叫週期化:f̂ 被複製到每個 k/T 的位置上疊加。為什麼?因為「取樣梳子」(每隔 T 一根的脈衝列)的傅立葉轉換,還是一把梳子(每隔 1/T 一根)—— 梳子是自己的頻譜。泊松求和,本質上就是「梳子的自我對偶」這一句話。
一句話帶走:時域取樣(間隔 T)＝ 頻域複印(間距 1/T)。取樣越密、複本越稀 —— 這台影印機,就是泊松求和的引擎室。
Part 2 · 帶入深度
III
第三章 · 混疊：為什麼影片裡的車輪會倒著轉
取樣太疏，高頻會「冒名頂替」成低頻 —— 取樣定理，就是防偽條款。
🎥攝影機一秒拍 24 格 —— 也是一種「取樣」。車輪轉太快,兩格之間轉過大半圈,你的眼睛把它誤讀成慢慢倒轉:高頻假冒了低頻,這叫混疊(aliasing)。第二章的複本一旦重疊,冒名者就誕生了。防偽條款只有一句:訊號的最高頻率,必須低於取樣率的一半(Nyquist 頻率) —— 這就是取樣定理,CD 定在 44.1kHz(人耳 20kHz 的兩倍多)的原因。
互動 · 灰＝真實訊號、金點＝取樣、青＝取樣後「看起來」的訊號
真實頻率 f₀7.00
Nyquist 上限 fs/22.50
看起來的頻率—
玩玩看，注意這些
- 預設 f₀=7、fs=5:灰色真訊號一秒晃七下,但金色樣本點連起來,完美地騙出一條 2 Hz 的青色假訊號 —— 每一個樣本點都同時落在兩條曲線上,取樣後根本無法分辨。
- 按「車輪越轉越快」:f₀ 掃過 fs/2 的瞬間,「看起來的頻率」開始不升反降 —— 車輪倒轉的數學現場。頻率像被 Nyquist 這面鏡子折返。
- 把 fs 拉高到 f₀ 的兩倍以上:警示消失,青色與灰色合而為一 —— 取樣夠密,樣本就足以完整代表原訊號(取樣定理的正面版)。
背後的道理
用第二章翻譯:f₀ 的頻譜線被複印到 f₀±fs, f₀±2fs, … —— 折回 [0, fs/2] 區間的那一根,就是你「看到」的頻率 |f₀ − fs·round(f₀/fs)|。複本不重疊(f₀ < fs/2)→ 可完美還原;重疊 → 冒名頂替、無法挽回。整條取樣定理,就是泊松求和的一則工程判例 —— 你手上每一段數位音訊、每一張數位照片,都經過這條式子的公證。
一句話帶走:取樣把頻譜折進 [0, fs/2];超過 Nyquist 的頻率會假冒低頻(混疊)。CD 44.1kHz、車輪倒轉、螺旋槳凍結 —— 全是同一條式子的案發現場。
IV
第四章 · 縫合：這條式子，把整個系列打了一個結
傅立葉、e、π、θ、ζ、取樣 —— 一條線，穿過我們走過的每一站。
🎡傅立葉（加課 1）
當年說「週期 → ∞,級數化為轉換」。泊松求和是那條路的回程票:離散 ↔ 連續,兩個世界互相點名。
🎼取樣定理 · CD 44.1kHz
數位時代的存在證明:只要取樣率 > 2×最高頻,樣本 = 全部。你聽的每首歌,都蓋著這條式子的章。
🔥熱方程與 θ 函數
e^(−πan²) 正是圓環上熱核的樣子 —— e 出席。θ(a)=a^(−½)θ(1/a) 讓「短時間」與「長時間」的熱互相翻譯。
🧮黎曼 ζ 函數方程
1859 年,黎曼把第一章那行 θ 等式積分一轉,得到 ζ(s) ↔ ζ(1−s) 的對稱 —— 數論最深的門,鑰匙是泊松。
💎晶體與繞射
X 光打在晶格(實空間的梳子)上,繞射點落在「倒晶格」(頻域的梳子)—— 材料科學每天在用的泊松求和。
📡你的每一天
手機語音、數位相機、示波器、心電圖 —— 凡是「連續世界被抽成離散資料」的地方,這條帳都在後台結算。
🪡 一句話的版本:「時域每格點名 = 頻域每格點名。」座位表與名冊,永遠對帳成功 —— 這是傅立葉世界寫進憲法的守恆律。
把整堂課收成一句話 ——
Σf(n) = Σf̂(k):兩個世界,同一本帳。
取樣是複印,混疊是冒名,Nyquist 是防偽;
θ 把它交給黎曼,晶格把它交給材料,
CD 把它交到你的耳機裡。
傅立葉那堂埋的線,今天,縫回了原點。