從「內部沒有尖峰」到「內部沒有偏側」
你抵達這裡時，手上已有兩把磨利的工具。第一篇導讀給了你強最大值原理：一個非常數的調和函數只在邊界上取得它的極大與極小，絕不在開放的內部。第二篇給了你比較原理以及它換來的唯一性。哈納克不等式是再上一層樓，而它是貨真價實的驚奇。最大值原理談的是一個數字——那個尖峰——以及它能落在哪裡。哈納克談的卻是整個內部同時：它說一個正的解，不能在一個房間裡高聳、在隔壁卻幾乎平坦。它的高值與低值，只要量在安全地落於內部的任何區域上，就被鎖鏈綁在一起。
把這幅畫面用話說出來。取一個正的調和函數 u——也就是服從 Laplacian u = 0 的函數——定義在某個大區域上，然後只看一個舒舒服服坐在內部、不碰邊界的較小區域 K。哈納克不等式說：存在一個唯一的常數 C，只取決於 K 與大區域的形狀（以及維度），使得 u 在 K 上的最大值至多是它在 K 上最小值的 C 倍。寫成符號：K 上 u 的 max 至多等於 C 乘以 K 上 u 的 min。這個常數不在乎你挑的是哪一個調和函數，也不在乎 u 整體是大是小——把 u 放大十倍，兩邊都放大十倍，比值絲毫不動。它是一條普世的速限，管住一個正的解在內部能不平等到什麼地步。
這個估計從何而來
你幾乎能透過你在拉普拉斯方程那裡見過的平均值性質看見它。回想一個調和函數等於它自己在任何球上的平均：u 在球心的值，等於 u 在周圍球面上的平均。現在取兩個相距不太遠的內部點 p 與 q。在 p 周圍畫一個小球、在 q 周圍畫一個小球；因為 p 與 q 相近、兩球又都住在區域內，你可以以 q 為心、撐出一個稍大的球，讓它包住 p 周圍的那個小球。一個正函數在大球上的平均，至少是它在任何坐落於內部的較小球上平均的某個固定比例——大球只是添進更多正的東西。把這些平均一路追下去，你就得到 u(p) 被某個常數乘以 u(q) 所界住。再用一串這樣重疊的球把任意兩個內部點連起來，把那些常數相乘，哈納克就到手了。
這幅串連的畫面一口氣解釋了那兩個前提。常數隨著從一點走到另一點所需的球的數目而增長，所以深藏在一個胖區域裡的點，連起來很便宜（C 小），而緊貼著一條細縫兩側、或悄悄爬向邊界的點，就需要一條又長又貴的鏈（C 巨大）。而正性正是讓那個平均論證跑得起來的東西——「越大的球平均至少一樣多」唯有在被積分的東西絕不為負時才成立。一旦丟了符號，這套記帳就崩潰了。
Region D (harmonic, u > 0)
+-------------------------------+
| |
| [ K = compact inside ] |
| .-o---o---o---o-. | walk p -> q by overlapping balls
| p q | max_K u <= C * min_K u
| '-----------------' | C depends on K, D, dimension -- NOT on u
| |
+-------------------------------+
boundary (C -> infinity as K approaches it)它逼著一個解成為什麼
這個看來枯燥的比值之所以是整個學科幾面承重牆之一，是因為它有牙齒。首先，它把最大值原理磨利成強的形式：如果一個正的調和函數曾在某個內部點碰到零，那麼它在一個鄰域上的最小值就是零，於是哈納克逼著那裡的最大值至多是 C 乘以零——也就是說，附近處處為零。因此一個在內部跌到零的正調和函數，是恆等於零的。那就是強最大值原理，直接從一個關於平均的不等式裡掉了出來。
其次，它幾乎免費地把劉維定理送給你。設 u 在整個空間上調和且為正。取任意兩點、用一個巨大的球把它們圍起來；哈納克用一個常數綁住它們的值，而當球脹大到填滿整個平面時，這個常數安定到一個固定的數，與兩點相距多遠無關。一個函數，無論距離多遠，其各處的值都被釘在彼此一個固定比值之內，那它就無處可去：它必為常數。所以整個平面上一個正的調和函數是常數——這份剛硬看似魔法，直到你看見底下撐著它的哈納克。
第三，也是最深的回報：哈納克型不等式是內部正則性的引擎。從一個單邊的比值界限，你能榨出一個振盪界限，再榨出解的赫爾德估計，再榨出它導數的估計——一道層層拔升的階梯，終點是不論邊界資料多麼粗糙、解在內部都平滑。這正是德喬治-納什-莫澤定理所走的路：它甚至為那些係數僅僅有界可測、毫無連續性假設的散度型方程證明了哈納克不等式，並從這唯一一個估計收穫每個解的赫爾德連續性。那條定理撬開了希爾伯特第十九問題，而哈納克是它跳動的心臟。
拋物型的版本：等待的時間冒了出來
到目前為止一切都是橢圓型——拉普拉斯方程，沒有時間。同樣的想法對熱方程 u_t = k u_xx（或用完整的拉普拉斯算子，u_t = k Laplacian u）也成立，而它變化的方式，是偏微分方程裡物理上最誠實的事實之一。對熱方程的一個正解而言，某一點的值掌控另一點的值——但前提是你得給熱抵達的時間。拋物型哈納克不等式把 u 在某點 (x, t) 的值，與 u 在一個較晚的點 (y, s)（s 嚴格大於 t）的值相比較。未來被過去所掌控，而那個常數取決於 x 與 y 相距多遠、以及流逝了多少時間。
那段強制的時間落差不是技術上的瑕疵——它就是擴散的物理。某處的一個熱點，要花時間才能讓別處感受到；你無法在同一瞬間界住遠處一點的溫度，因為熱還沒抵達那裡。而這個落差只指向前方，這正是這個不等式編碼你在熱方程那裡學到的不可逆性的方式：熱方程乾乾淨淨地向前流，向後則無可救藥地不適定。哈納克尊重那支箭。比較「較晚對較早」行得通；在同一時刻比較「較早對較晚」則行不通。
哈納克與擴散的平滑化
拋物型哈納克不等式，是你最初當作口號遇見的平滑效應那精確、定量的面孔：熱方程瞬間把粗糙熨平。一個內部各值都被釘在彼此固定比值之內的解，根本不可能有尖銳的局部特徵——沒有尖刺、沒有皺摺、沒有突然的跳躍能存活，因為這樣的特徵會讓局部極大遠遠超過局部極小、打破哈納克比值。把熱方程跑上任意一段正的時間，哈納克就保證解在內部不只連續、而是你想要多平滑就有多平滑。這個估計與那份平滑化，是同一件事的兩種看法。
這裡也正是哈納克悄悄畫下一條邊界、而下一篇導讀將以它為全部主題之處。這個不等式是橢圓型與拋物型世界的生物——那些會平均、會趨於平衡、會擴散的方程。它對波動方程 u_tt = c^2 u_xx 沒有對應物，原因不是缺了一個證明，而是一堵物理的牆。波以有限速度沿著特徵線攜帶奇異性、而且不平滑：初始資料裡的一個尖角永遠地乘著它前進、依舊是一個尖角。根本沒有正的比值界限可拿，因為一道波可以在波峰上很大、在相隔一個波長的波谷裡恰好為零，而中間沒有任何東西逼它們靠攏。哈納克恰恰是擴散所給予、而雙曲型傳播所扣留的那份禮物。