Korteweg-de Vries 方程（KdV 方程）
/ KOR-te-vekh de FREES /
1834 年，一位蘇格蘭工程師約翰·史考特·羅素（John Scott Russell）騎著馬沿運河追逐一個圓潤的單一水丘，追了一英里多，看著它行進而不改變形狀。數十年來，這個「平移之波」是個謎：尋常的波動理論說，一個水丘要嘛擴散變平（色散），要嘛陡化破碎（非線性）。1895 年推導出的 Korteweg-de Vries 方程解開了這個謎：當色散與非線性完美平衡時，它們互相抵消，於是一個孤波可以永遠不變地行進。
方程是 u_t + 6 u u_x + u_xxx = 0（係數 6 是慣例，可經縮放）。讀這三項：u_t 是隨時間的演化；u_xxx 是色散（不同波長以不同速度行進，通常會把脈衝鋪開）；而 6 u u_x 是非線性對流（波較高的部分移動較快，通常使前緣陡化趨於破碎）。KdV 正是這兩種相反效應恰好抵消的情形。它有顯式的孤立子解 u(x, t) = (c/2) sech^2( (sqrt(c)/2)(x - c t) )：一個高度正比於其速度 c 的單一水丘，故較高的孤立子移動較快。真正令人驚異的事實是：兩個孤立子可以碰撞並穿過彼此，以原本的形狀與速度浮現，僅在位置上有所平移——它們的行為像粒子。這是因為 KdV 是「可積的」：它有無窮多個守恆量，並可由反散射轉換精確求解。
為什麼 KdV 是個里程碑？它是第一個讓人理解孤立子的方程，並開創了整個可積非線性偏微分方程與反散射的理論。同一條方程也模擬淺水波、電漿中的離子聲波，以及晶格中的波，而它的孤立子——鋪開與陡化的完美平衡——成了非線性系統中穩定相干結構的典範。誠實的提醒：這種精確的平衡與粒子般的碰撞是可積方程所特有的；一般的非線性色散方程也有孤波，但遠不如此乖巧。
單孤立子解 u = (c/2) sech^2((sqrt(c)/2)(x - c t)) 是一個以速度 c 向右移動的水丘。c = 4 的孤立子比 c = 2 的高一倍、快一倍，故高的能追上矮的；了不起的是，在它們重疊又分開之後，各自都以原本的高度與速度浮現，只在位置上被輕推了一下。孤立子像粒子般碰撞，而不像尋常的波。
色散（u_xxx）平衡非線性（u u_x），造出一個永久的水丘。
那乾淨的、粒子般的碰撞是 KdV 可積性所特有的——它可由反散射轉換精確求解。別以為每個非線性色散方程都這樣；可積方程是罕見而美麗的例外。