更廣闊的變換家族

每個變換背後的同一個模式

退一步，看看你在本級裡搭起的那些機器。傅立葉變換把函數 f(x) 乘上 e^{-i k x}，再對所有 x 積分。拉普拉斯變換把 f(t) 乘上 e^{-s t}，再從 0 到無窮積分。字母不同、上下限不同——但那*形狀*分毫不差：拿起你的函數，乘上某個選定的雙變量函數，把原變量積掉，回來的便是一個新的、關於第二個變量的函數。你所乘上的那個雙變量函數有個名字：它就是變換的核。

把這個一般模式寫下一次，整個家族便驟然聚焦：F(p) = 在定義域上對 K(p, x) f(x) dx 積分，其中 K 是核。取 K(k, x) = e^{-i k x}，你就有了傅立葉；取 K(s, t) = e^{-s t}，你就有了拉普拉斯。這一族的每個成員，不過是同一個積分配上一個*為匹配不同對稱性而選定的不同的核*。這便是整篇要揭開的祕密：核就是個性，而一旦你知道你的問題尊重哪種對稱性，你就知道該伸手去取哪個核——哪個變換。

漢克爾：為圓形問題而生的變換

傅立葉變換的積木是筆直的行波 e^{i k x}，當問題沿一條線、或在一間方形屋子裡鋪開時，它們貼合得極美。可物理學裡有太多東西是*圓*的——圓形的鼓面、從平盤中一點向外鋪開的熱、被圓形透鏡聚焦的光。試著用筆直的正弦波去描述一圈完美擴張的漣漪，你便要一路與幾何搏鬥。正確的一步，是換上那些本就尊重圓對稱的積木，而那些積木就是貝塞爾函數 J_n(k r)——你在特殊函數那一級裡作為貝塞爾方程之解所遇見的徑向駐波形狀。

把傅立葉核 e^{i k x} 換成貝塞爾核 J_n(k r)，你便得到漢克爾變換：F(k) = 從 0 到無窮對 f(r) J_n(k r) r dr 積分。注意那個微小卻關鍵的額外因子 r——它是極座標裡面積的徑向切片，是你在二重積分裡記得的 dr 與 r d-theta，正是它讓圓形的幾何算得正確。其回報與傅立葉相稱：柱座標裡拉普拉斯算子那雜亂的徑向部分——那個棘手的二階導數加 (1/r) 一階導數——化為對 -k^2 的單純乘法。一個圓盤上的偏微分方程坍縮成關於 k 的常規代數，正如傅立葉把一條線上的方程坍縮了那樣。

梅林：為標度而調諧的變換

傅立葉與拉普拉斯都圍繞*平移*而建：把函數沿軸滑動，變換便乾淨地回應，把一次平移變成一個相位或一個指數因子。但有些問題根本不關乎平移——它們關乎*標度*，關乎放大與縮小，關乎一個函數在零附近相對於在無窮附近如何表現。冪律、自相似的形狀、機率分佈的尾部：這些活在乘法的世界裡，x 變 a x，而非加法的世界，x 變 x 加 a。對它們，你要的是一個對伸縮調諧的變換，恰如傅立葉之於平移，那便是梅林變換。

它的核是純粹的冪 x^{s-1}：F(s) = 從 0 到無窮對 f(x) x^{s-1} dx 積分，此處 s 現在容許為複數。若這積分看著眼熟，那是應該的——令 f(x) = e^{-x}，你看到的正是伽馬函數的定義，Gamma(s) = 從 0 到無窮對 e^{-x} x^{s-1} dx 積分。伽馬函數其實就是衰減指數的梅林變換，而同一個核也悄悄墊在黎曼 zeta 函數之下。還有一座通往你已知之物的乾淨橋樑：代入 x = e^{-t}，梅林變換便成了一個雙邊拉普拉斯變換。梅林並非陌生人；它是透過對數看見的拉普拉斯，是把乘法結構變成加法結構的那個變換。

希爾伯特：一個留在原地的變換

希爾伯特變換是這群裡的異類，而這差異很有啟發。傅立葉、拉普拉斯、漢克爾、梅林都把函數*帶入一個新的域*——頻率、s 平面、k 軸、複 s 帶——在那裡變量有了新的含義。希爾伯特變換卻把一個時間的函數，交回另一個時間的函數：同一類對象、同一條軸。它根本不改變你的域。它改變的是*相位*。它把每個頻率分量精確旋轉九十度——把每個餘弦變成正弦、每個正弦變成負餘弦——同時令每個振幅絲毫不動。

它的核是 1/(pi (x - t))，於是這變換是與 1/x 的卷積：H(t) = (1/pi) 對 f(x)/(t - x) dx 積分。可那個核恰恰在 x = t 處發散，就在積分區間正中央，於是普通的積分並不收斂。這不是個要打補丁掩蓋的瑕疵——它正是希爾伯特變換需要柯西主值的誠實緣由，那個謹慎的對稱極限同時從兩側逼近奇點，讓等量異號的無窮相互抵消。主值不是矇混；它是那個精確的處方，使一個奇異的核得以定義出一項貨真價實、定義良好的運算。

你為何會想把相位旋轉九十度？因為它讓你能造出*解析信號*：取一個實信號 f(t)，作 f(t) 加上 i 乘它的希爾伯特變換，你便得到一個複信號，其模是瞬時振幅（包絡），其輻角是瞬時相位。這正是收音機解調一個調幅電台的方式，是工程師從快速載波中抽出緩變包絡的方式，也是著名的克拉默斯-克勒尼希關係把材料的吸收與其折射繫在一起的方式——因為因果性逼著一個信號的實譜與虛譜互為希爾伯特變換。一次九十度的扭轉，原來正是包絡、相位與因果性的數學心臟。

讀懂這棵家譜

把這四個核並排擺開，整個家族的邏輯便一眼可見。每個變換都是同一個積分模式，F(p) = 對 K(p, x) f(x) dx 積分；只有核與定義域在變，而每個核都是某種對稱性的本徵形狀。挑出那個其核與你問題的對稱性相匹配的變換，那個曾把問題弄難的運算便融化為乘法。這一句話，就是本級全部的導航地圖。

  TRANSFORM   KERNEL  K(p,x)     DOMAIN of x      BUILT FOR (symmetry it diagonalizes)
  ---------   ---------------    -----------      -------------------------------------
  Fourier     e^{-i k x}         -inf .. +inf     translation on a line  -> d/dx becomes  i k
  Laplace     e^{-s t}           0 .. +inf        decay / one-sided time -> d/dt becomes  s
  Hankel      J_n(k r) * r       0 .. +inf        circular symmetry      -> radial Laplacian -> -k^2
  Mellin      x^{s-1}            0 .. +inf        scaling x -> a x        -> x d/dx becomes  -s
  Hilbert     1/(pi (x - t))     -inf .. +inf     phase  (stays in time, rotates by 90 deg)

  General pattern, every row:   F(p) = integral over domain of  K(p, x) f(x) dx
  Choose the kernel that fits your symmetry; the hard operation becomes multiplication.

一頁之內的積分變換家族。每一行都是同一個模式配上不同的核；最後一欄說明該核把哪個運算變成了簡單的乘法。拉普拉斯變換在這張表裡只是平等成員中的一員——這正是本篇要點的統一之處。

如何挑選一個變換

面對一個棘手的積分或微分方程，這個家族給了你一份簡短的診斷。你不是在猜；你是在把問題的幾何與某個核的對稱性相匹配。順著這份清單走一遍，正確的工具往往在你寫下第一個積分之前就自報家門了。

定義域是一條沒有特殊原點的無限直線，關鍵運算是對 x 的導數？伸手去取傅立葉變換——導數化為 i k。
這是一個帶初始條件、單邊的時間問題——一個在 t = 0 被開啟的系統？伸手去取拉普拉斯變換；初始數據就搭在導數法則內部一同前行。
問題活在一個圓盤上、或具有圓對稱、帶一個徑向拉普拉斯算子？伸手去取與之匹配的貝塞爾階 n 的漢克爾變換。
結構是乘法性的——冪律、標度不變性、x 趨 0 相對於 x 趨無窮的行為？伸手去取梅林變換，並從它的極點上讀出漸近行為。
你需要一個包絡、一個瞬時相位、或一條因果關係，並且留在時間域裡？伸手去取希爾伯特變換，造出解析信號。

這便是本級完整的弧線。你從讓一個傅立葉級數把週期拉伸到無窮開始，直到那個和變成傅立葉變換積分；隨後你遇見了它處理單邊時間的表親拉普拉斯變換。如今你能把它們看作的，不再是兩個孤立的把戲，而是一張大桌旁的兩個席位，漢克爾、梅林與希爾伯特坐在另外的椅子上——它們每一個都是同一個積分，F(p) = 對 K(p, x) f(x) dx 積分，披著一個為匹配不同對稱性而裁就的核。學會認出那個對稱性，正確的變換便已為你選定。