圖靈不穩定（Turing instability）
/ TOOR-ing /
這裡有一個全部應用數學中最違反直覺的事實，出自 1952 年的艾倫·圖靈（Alan Turing）。擴散是偉大的平滑者：放著一個系統不管，擴散會抹去所有隆起，把一切壓平趨於均勻。然而圖靈卻證明擴散能做「相反」的事——它能把一個完全均勻、穩定的化學混合物，弄到自發地裂解成斑點與條紋。豹子的斑點、斑馬的條紋或許正是這麼來的：不是靠一張藍圖，而是靠一對以不同速率擴散的化學物質。
場景是一個雙組分反應擴散系統，u_t = D_u Laplacian u + f(u, v)、v_t = D_v Laplacian v + g(u, v)，帶有一個使 f = g = 0 的均勻定態 (u*, v*)。假設在「沒有」擴散時這個定態是穩定的——擾動這混合好的化學物，它們會回到平衡。圖靈的奇蹟在於：「加入」擴散卻可能使它失穩，前提是其中一種物質（抑制劑）的擴散遠快於另一種（激活劑）。其機制是：激活劑在局部促進自己也促進抑制劑；但由於抑制劑擴散得又遠又快、激活劑卻留在原地，你便得到「短程激活、長程抑制」。一小撮激活劑在局部放大自己，並在四周種下一圈抑制，這就固定了一個特徵間距。數學上：做線性化，尋找 e^(i k x) 形式的模態，會發現對某一段非零波數 k，成長率變為正——那些圖案會成長，從而選出一個有限的波長。
為什麼這很深刻？它推翻了「擴散只會平滑」的直覺，並為生物圖案給出一個純物理、由參數驅動、「無需設計者」的解釋。所需的成分——抑制劑與激活劑之間一個大的擴散比 D_v / D_u——是一個真實、可檢驗的條件，這也正是真實的圖靈圖案在化學中花了四十年才被找到的原因（多數分子的擴散速率相近）。誠實的提醒：圖靈機制是通往圖案的一條路徑，優雅而真實，但並非唯一一條，而要證明它確實在某個生物體中運作則相當微妙。
在一對激活劑-抑制劑中，設抑制劑 v 的擴散比激活劑 u 快十倍（D_v / D_u = 10），且動力學調得使混合好的狀態穩定。線性化會揭示出一段波數 k，其成長率變為正：這些尺度的擾動會成長，而較長與較短的則衰減，於是系統安定成一個間距固定的規則圖案——若區域是二維，便是斑點。
快抑制劑 + 慢激活劑：擴散不再抹去圖案，反而製造圖案。
單一條反應擴散方程「絕不可能」出現圖靈不穩定——你至少需要兩種耦合且擴散速率差異夠大的物質。若擴散速率相等，這個機制就徹底失效；差異擴散正是全部的關鍵。