新問題：沒有牆壁可反彈
在上一篇導讀裡，你用 分離變數法 在有限長的桿上解了 熱方程 u_t = k u_xx：兩個固定端點像牆壁一樣，只有某些波長能塞進它們之間，答案就是一個傅立葉級數，其中每個模態各以自己的速率衰減。那整套機器都靠邊界運轉。現在把牆壁拿掉，讓桿子無限長，成為整條從負無窮到正無窮的實數線，只給定一個初始溫度分佈 u(x, 0) = f(x)，別無其他。那些本徵函數跑哪去了？再也沒有邊界條件來把它們量子化，於是那串離散的容許波長就溶解成一段連續譜。
這已不再是初邊值問題，而是一個純粹的 柯西問題——在某一時刻給定空間中處處的資料，然後向前推進。失去牆壁的回報是：問題在某種意義上變得更簡單也更普適——每一個光滑的起始都以相同方式攤開，而單一個物件就能一次解掉所有起始。為了找到它，我們先問一個聚焦的問題。暫時忘掉一般的 f，去問那個能想像到的最集中起始會怎樣：把所有熱量都堆在一個點上。
熱核：來自單一火花的熱量
想像用一根白熱的針在 x = 0 處瞬間碰一下這條冰冷的無限長桿：在單一點上注入一個單位的熱量。在數學上，這個理想化的點源就是 狄拉克 δ，一個除了原點外處處為零、總積分卻為一的物件——它不是一般意義下的函數，而是一個 分佈（廣義函數），是對一個點的回應，你應該把它「畫在心裡」而非真的去畫它的圖。從這個 δ 出發、滿足 u_t = k u_xx 的解，就是 熱核，也叫做 基本解，因為——我們很快會看到——其他每一個解都由它堆出來。
1 / x^2 \
K(x, t) = -------------- exp( - --------- ) for t > 0
sqrt(4 pi k t) \ 4 k t /
* a Gaussian (bell curve) in x, for every fixed t
* width grows like sqrt(t); peak height falls like 1 / sqrt(t)
* total area under K equals 1 for all t > 0 (heat conserved)把公式當成一幅圖來讀。在固定的時刻 t，K(x, t) 是一條以原點為中心的高斯鐘形：e^(-x^2 / (4 k t)) 那項是鐘的形狀，前面的 1 / sqrt(4 pi k t) 那項恰是維持總面積等於一所需的高度。隨著 t 變大，鐘變寬（寬度隨 sqrt(t) 縮放）也變矮（峰值隨 1 / sqrt(t) 縮放），以高度換攤開，同時守住面積。那守恆的面積就是 總熱量守恆：針注入了一個單位的暖意，沒有一焦耳漏掉——它只是分散開來。這是擴散最乾淨的肖像：一束熱量的火花向外熔化，化為一座愈來愈平的小丘。
從一束火花到任意火焰：用卷積求解
美妙的回報在這裡，也是熱核值得我們這般大費周章的原因。熱方程是線性的，所以 疊加原理 成立：若你知道對一束火花的回應，你就知道對一千束火花的回應——把它們加起來就好。現在把任意初始分佈 f(x) 想成一群密密麻麻的點源，每個位置 y 處有一個，各帶 f(y) 個單位的熱量。對位於 y 的源的回應，正是以 y 為中心的熱核，也就是 K(x - y, t)，再乘上 f(y) 縮放。對所有源位置 y 加總（積分），你就得到了往後所有時刻、處處的溫度。
u(x, t) = integral over all y of K(x - y, t) * f(y) dy
= ( K(., t) * f )(x) <- a convolution
every point of the answer is a kernel-weighted average
of the WHOLE initial profile f, near and far那個運算——把熱核滑過 f、相乘、再積分——就是卷積，它道出一件物理上極為鮮明的事：在點 x、時刻 t 的溫度，是整個起始分佈的加權平均，權重就是那條鐘形 K(x - y, t)。靠近 x 的點權重最大（鐘在中心最高），遙遠的點權重很小，但每一個點都算上了一份。這正是答案為何光滑、以及熱量為何從處處到達處處的原因——也就是本篇導讀接下來的兩個觀念。
無限速度與瞬間平滑化
盯著卷積仔細看，一個令人吃驚的事實就掉了出來。對任意大於零的 t，無論它多麼微小，高斯 K(x - y, t) 對每一個 x、每一個 y 都嚴格為正——鐘形曲線從不真正觸及零。於是堆出 u(x, t) 的那個積分，會對每一處的 f(y) 都給出正的權重，哪怕在十億公尺之外。在任何地方放一個溫熱的小凸起，瞬間地、對所有 t > 0，無限長直線上每一個其他點的溫度都被抬高了某個正的量。這就是 無限傳播速度：熱方程在擾動發生的那一刻，就在處處感受到它。
賦予無限速度的那同一套「正性加平均」，也賦予了熱核的另一個招牌：平滑化效應。因為 u(x, t) 是 f 的高斯加權平均，初始資料裡每一個鋸齒狀的角、每一道跳躍、每一處扭折，都在 t 一離開零的瞬間被模糊掉。從一個僅僅有界的分佈出發——甚至是不連續的，比如從冷到熱的一道階梯——對任意 t > 0，解都是無限可微、完美光滑、所有導數皆存在的。擴散是偉大的撫平者：它無法創造尖銳的特徵，只能抹去它們。記住這點；這正是時間箭頭只指向一個方向的原因。
一條鐘形、所有擴散：自相似與不可逆
熱核裡藏著一種更深的經濟性。注意 x 與 t 從不分開出現——它們總是以組合 x / sqrt(t) 一起行動。這意味著較晚時刻的鐘形，不過是把較早的鐘形水平拉伸 sqrt(t) 倍、再垂直壓扁同樣倍數而已；它的形狀從不改變，只有尺度改變。一個在這種座標重新縮放下重現自身的解，就叫做 自相似解，而變數 x / sqrt(t) 正是為何每一種擴散過程——桿中的熱、水中的墨、隨機漫步者的散佈——都戴著同一張高斯臉孔的原因。它也是 擴散即布朗運動 的指紋：那 sqrt(t) 的攤開，恰是一顆隨機抖動的粒子在時間 t 內漫遊多遠。
現在把這部電影倒著放，熱核就洩露了這一切平滑化的代價。沿時間向前，鐘形只會變平；尖銳的資訊溶進寬廣的平均裡，一去不返。要倒著走，你就得「反平均」——從一座光滑的小丘重建出一根尖峰——而平滑化效應使這件事無法穩定地進行：兩個天差地遠的起始，可以模糊成幾乎一模一樣的分佈，於是資料再也無法把過去釘死。這就是不可逆性，而 逆向熱方程 正是不適定問題的教科書範例。熱核公式本身就拒絕倒著跑：令 t < 0，指數的符號翻轉，那條「高斯」不衰減反而爆炸，根本沒有解。