戴著 i 的熱方程
本級第 1 篇導讀讓你面對的是納維-斯托克斯方程，那裡的未知量是一個你幾乎能看見的速度場。薛丁格方程對你的要求更奇異：未知量是一個複數值的場 psi(x,t)，即波函數，而它描述的不是某種物質，而是一個機率。然而支配它的方程，寫在紙上，幾乎就是你最熟悉的那條偏微分方程。把常數剝掉，為一條直線上的自由粒子寫下它：i psi_t = -psi_xx。用拇指把 i 蓋住，你盯著的就是倒著跑的擴散方程 u_t = -u_xx。整場量子革命，就懸在那一個虛數單位上。
把物理放回去，單粒子的含時薛丁格方程寫作 i hbar psi_t = -(hbar^2 / 2m) psi_xx + V(x) psi，其中 hbar 是普朗克常數除以 2 pi，m 是質量，V(x) 是粒子所處的位能。左邊對時間是一階的，恰如熱方程；右邊是作用在 psi 上的哈密頓算符——動能作為二階導數（高維中是拉普拉斯算符的一部分）加上位能作為乘以 V。所以它在形狀上是拋物型的，一個時間導數對著兩個空間導數平衡。而那個因子 i，正是不肯讓它表現得像拋物型的東西。
為什麼 i 把擴散翻轉成波
感受這份差別最乾淨的辦法，是餵給每條方程同一個單一模態，看看時間對它做了什麼。兩條方程都是線性的，所以由疊加原理，我們可以一次研究一個波 e^(i k x)，稍後再把它們加回去。把試解 psi = e^(i k x) e^(-i w t) 代入自由方程 i psi_t = -psi_xx（單位選得讓常數消失）。空間導數從 psi_xx 拉下一個因子 -k^2，時間導數拉下 -i w 乘以 i 等於 w，把兩邊配起來給出 w = k^2。頻率 w 與波數 k 之間這個小小的關係，就是色散關係，而一切都由它的形狀決定。
這裡就是分岔路口。對熱方程，同樣的計算給出 w = -i k^2，一個虛頻率，所以每個模態帶著一個因子 e^(-k^2 t)，它衰減——高波數（尖銳的特徵）死得最快，這就是你很久以前遇過的平滑化。對薛丁格，w = k^2 是實的，所以模態帶著 e^(-i k^2 t)，一個大小恰為 1 的純相位，它旋轉而不縮小。沒有什麼衰減；每個模態只是以自己的速率在複平面裡旋轉。熱方程殺掉振幅，薛丁格方程只轉動相位。從虛頻率到實頻率這唯一一次切換，就是 i 的全部故事。
feed e^(ikx) to each equation, read off the frequency w HEAT u_t = u_xx -> w = -i k^2 -> mode ~ e^(-k^2 t) DECAYS (smooths) SCHRODGR i psi_t = -psi_xx -> w = +k^2 -> mode ~ e^(-i k^2 t) ROTATES (|.|=1, conserves) WAVE u_tt = c^2 u_xx -> w = +- c k -> mode ~ e^(-i c k t) TRAVELS at speed c w real => amplitude preserved (Schrodinger, wave) w =/= linear in k => different k travel at different speeds => DISPERSION
色散：量子粒子會散開
實頻率意味著振幅存活，但它不意味著波包能保持形狀。把那些色散關係並排再看一次。對普通的波動方程 u_tt = c^2 u_xx，關係是 w = c k，一條直線：每個波數都以同樣的速度 c 移動，所以由許多模態組成的波包像一個剛性的整塊那樣行進——這就是為什麼一聲拍手不失真地傳到你耳裡。對薛丁格，w = k^2 是一條拋物線：每個模態以自己的步調移動。這就是色散，也是這條方程的決定性行為。
兩個自然的速度把這點說得具體。相速度 是 w/k = k（單一漣漪波峰的速度），但物理上要緊的速度是群速度 dw/dk = 2k——波包包絡的步調，粒子的機率真正聚集之處。因為群速度依賴於 k，由許多波數組成的波包無法維繫在一起：快的成分跑贏慢的成分，隆起變寬，一個此刻局限在小區域裡的粒子，隨時間無可避免地散開。一顆此刻被釘在某一點的電子，下一刻就是一團可能性的暈染——不是因為有什麼推了它，而是因為這條偏微分方程在色散。
守恆，而非平滑
我們承諾過 i 會保護總機率；論證在此，而且很短。把自由方程 i psi_t = -psi_xx 乘以複共軛 psi-bar，再加上這整行的複共軛，交叉項便組裝成一個完美的空間導數。存活下來的是一條連續方程 d/dt |psi|^2 + d/dx J = 0，其中 J 是機率流。對整個空間積分，假設 psi 在遠處消失，邊界項便死去：總機率，即 |psi|^2 積分的時間導數，恰恰是零。範數對所有時刻守恆。這是你在振動弦那裡遇過的波動能量守恆的量子類比——一個真實的、精確的不變量，這個流永遠花不掉。
守恆有個鋒利的後果：薛丁格方程不平滑，而且是可逆的。把熱方程往前跑，資訊被摧毀——尖銳的資料瞬間就被磨圓，而正如熱方程那一級第 1 篇導讀警告過你的，把它倒著跑是無可救藥地不適定。薛丁格恰恰相反。因為每個模態只旋轉一個相位，從時刻 0 的 psi 到時刻 t 的 psi 這個映射是可逆的：只要把每個相位轉回去就好。所以逆向薛丁格方程是完美適定的——量子演化是時間可逆的，與擴散形成鮮明對比。這些相位旋轉的族構成一個由么正算符組成的單參數群（是群，而非只是半群，正因為你能往回走），這是把量子動力學看作抽象柯西問題背後的引擎。
靜止下來：分離變數與能階
原子那著名的離散能階從何而來？正是來自你在熱方程與波動方程上練熟的工具：分離變數法。去找完整方程 i hbar psi_t = H psi 中能分解為 psi(x,t) = phi(x) e^(-i E t / hbar) 的特殊解——一個固定的空間形狀乘以一個純時間相位。代入後，時間相位消去，空間部分必須滿足定態薛丁格方程 H phi = E phi。這是一個空間特徵值問題：phi 是哈密頓算符的特徵函數，而那個常數 E——能量——是它的特徵值。這些特殊解就是量子的定態。
- 分離。試 psi(x,t) = phi(x) T(t)；時間因子被逼成 T = e^(-i E t / hbar)，一個以能量 E 所定速率旋轉的相位。
- 解特徵值問題。形狀 phi 必須滿足 H phi = E phi 連同它的邊界條件——對一個困在盒子裡的粒子，phi 必須在兩面牆上都歸零。
- 看著量子化浮現。只有特殊的 E 值才容許一個滿足邊界條件的非零 phi；那些離散的容許 E 就是能階，恰如邊界條件曾為振動弦選出離散的頻率。
- 疊加。一般的態是這些定態之和；每一項只是以自己的相位速率 e^(-i E_n t / hbar) 旋轉，而它們之間的干涉就是全部的時間依賴。
請注意這如何精確地映照振動弦的駐波。在那裡，固定的兩端只容許某些波長，給出一個樂音的離散泛音。在這裡，phi 上的邊界或衰減條件只容許某些能量，給出一個原子的離散譜線——一團受熱氣體所發出的顏色。那個啟動了量子力學的能量量子化，在數學上，不過就是那個解釋了吉他弦為何有確定音高的同一個特徵值問題，並無更奇異之處。一個空間算符加上邊界條件就產出一個離散譜；物理只是提供那個算符而已。
當方程反咬一口：非線性
至此為止，一切都乘著線性而行——分離、疊加、那乾淨的相位旋轉。但有些物理讓介質對波自身的強度起反應，於是位能 V 依賴於 |psi|^2。其結果是非線性薛丁格方程 i psi_t = -psi_xx - |psi|^2 psi，現存被研究得最多的非線性偏微分方程之一。它支配光纖中的強光，那裡玻璃的折射率隨著光自身的亮度而變動，它也支配冷原子凝聚體。疊加沒了；你再也不能靠把簡單模態加起來建構一般解，分析變得真正困難起來。
從那份困難中，生出某種美麗的東西。色散想把波包散開，與先前一模一樣——但非線性項的作用像一口自製的位能井，把波重新聚焦向內。當這兩個效應精確平衡，散開與聚焦相互抵消，你就得到一個孤立子：一個局限的隆起，行進時形狀完全不變，是波動方程的一個粒子般的解。這正是在淺水的科特韋格-德弗里斯方程中產生一個能完好越過運河數哩的波的同一種平衡。孤立子就是為什麼一個光脈衝能沿著跨洋光纖傳輸資料而不消散。
不過要誠實面對這有多特殊：精確的平衡是一道刀鋒。把非線性調得更強，或移到二維、三維空間，聚焦就可能壓倒色散，把解逼向爆破——振幅在有限時間內發散到無窮，波函數塌縮成一根尖峰。這種爆破是否發生、何時發生，乃至之後一個解究竟還意味著什麼，都是個活生生的研究問題，是本級最後一篇導讀所直面的納維-斯托克斯開放正則性難題的一個量子表親。那個讓線性方程如此溫馴的同一個虛數單位，卻讓它的非線性手足成了前沿之一。