跳轉到

9.3 熱方程與波方程的半群觀點#

本章導言#

Fourier（1807–1822）用三角級數解熱方程，d'Alembert（1747）與 Euler 用行波解波方程——兩個方程的解法在十九世紀看似不同物種。半群理論（9.1–9.2）把它們統一：同一框架（ \(C_0\) 半群），兩種譜性格（拋物 vs 雙曲）。熱半群壓縮、解析、瞬間光滑化；波方程酉（能量守恆）、非解析、傳播奇異性。本節用譜理論的語言解剖這兩個方程，展示「生成元的譜=方程的性格」，並連接 Fourier 分析（姊妹卷主題）與量子力學。

熱方程：壓縮解析半群#

\[ \partial_t u = \Delta u, \quad u(0) = f. \]

半群觀點： \(G(t) = e^{t\Delta}\) 。在 \(L^2(\mathbb{R}^n)\) ：Fourier 對角化 \(\widehat{G(t)f} = e^{-t|\xi|^2}\hat f\) （例題 9.1.2）；在 \(L^2[0,1]\) （Dirichlet）： \(G(t)f = \sum_n e^{-n^2\pi^2t}\langle f, e_n\rangle e_n\) （6.2 節特徵展開的半群化）。

三大譜性格： 1. 壓縮： \(e^{-n^2\pi^2 t} \le 1\) （能量 \(\frac12\|u\|_2^2\) 單調遞減： \(\frac{d}{dt}\frac12\|u\|^2 = -\|\nabla u\|^2\) ）； 2. 瞬間光滑化： \(t > 0\) 時 \(G(t)f \in C^\infty\) ——高頻以 \(e^{-t|\xi|^2}\) 指數衰減，無論 \(f\) 多粗糙（核 \(\frac{1}{(4\pi t)^{n/2}}e^{-|x-y|^2/4t}\) 是 \(C^\infty\) 的熱核）； 3. 解析性： \(t \mapsto G(t)f\) 可解析延拓到扇形（9.2 場景一）——拋物型的算子判據是譜 \(\sigma(\Delta) \subset (-\infty, 0]\) +解析延拓的扇形條件。

長期行為： \(\|G(t)f\| \le e^{-\lambda_1 t}\|f\|\) （ \(\lambda_1 = \pi^2\) 第一特徵值——衰減率=最低譜）；譜隙 \(\lambda_2 - \lambda_1\) 控制收斂到平衡的速率（Cheeger 不等式 1970：譜隙↔幾何瓶頸）。

波方程：酉群與能量守恆#

\[ \partial_t^2 u = \Delta u, \quad u(0) = f,\ u_t(0) = g. \]

一階化：令 \(U = (u, u_t)^T\) ，則 \(\partial_t U = \mathcal{A}U\) 、 \(\mathcal{A} = \begin{pmatrix} 0 & I \\ \Delta & 0\end{pmatrix}\) ，能量空間 \(H = H^1_0 \times L^2\) 。

半群觀點： \(\mathcal{A}\) 生成酉群 \(e^{t\mathcal{A}}\) （Stone，因 \(\mathcal{A}\) 反自伴： \(\langle \mathcal{A}U, U\rangle = \operatorname{Re}\int u_t\bar u_t + \Delta u\,\bar u = 0\) ——能量恆等 \(\frac12\int(|u_t|^2 + |\nabla u|^2) =\) 常數的算子版）。

譜分解：模式 \(u_n(t) = (a\cos(n\pi t) + b\sin(n\pi t))\sin(n\pi x)\) ——振盪不衰減（譜在虛軸 \(\sigma(\mathcal{A}) \subset i\mathbb{R}\) ）。一維與高維的差別（譜的簡併、測地線聚焦）導致色散性質不同： \(n = 1\) 無色散（行波保持形狀）， \(n \ge 2\) 有色散（局部能量衰減，Lax–Phillips 散射理論 1967）。

例題#

例題 9.3.1：用 Dirichlet 特徵展開解熱方程 \(\partial_tu = u_{xx}\) 、 \(u(0) = u(1) = 0\) 、 \(u(0, x) = f(x)\) ，並證明解連續依賴於初值（壓縮性）與瞬間光滑化（ \(t > 0\) 時 \(C^\infty\) ）。

解： \(u(t, x) = \sum_{n\ge1} e^{-n^2\pi^2t}f_n\sqrt2\sin(n\pi x)\) ， \(f_n = \int_0^1 f\sqrt2\sin(n\pi t)dt\) 。

  • 連續依賴： \(\|u(t)\|_2^2 = \sum e^{-2n^2\pi^2t}|f_n|^2 \le \|f\|_2^2\) （壓縮 ✓，且 \(t \to 0\) 時 \(\to\|f\|^2\) ——強連續）；
  • 光滑化： \(t > 0\) 時逐項求導 \(k\) 次： \(\sum n^{2k}e^{-n^2\pi^2t}|f_n|\) 收斂（指數壓制多項式），故 \(u(t, \cdot) \in C^\infty\) ；
  • 解析性： \(|f_n| \le \|f\|\) 的粗界即足夠讓複 \(t\) 的級數在扇形 \(|\arg t| < \pi/4\) 收斂（ \(|e^{-n^2\pi^2 t}| = e^{-n^2\pi^2\operatorname{Re}t}\) ， \(\operatorname{Re}t > 0\) 在扇形內）。

對比波方程： \(u(t) = \sum(a_n\cos n\pi t + b_n\sin n\pi t)\sqrt2\sin n\pi x\) ——係數不衰減， \(t\) 的解析性只到實軸（酉群不能解析延拓過實軸，否則 \(e^{itn^2}\) 在複 \(t\) 爆炸）——酉性與解析性不相容。∎

例題 9.3.2：證明熱半群的核表示 \((G(t)f)(x) = \frac{1}{\sqrt{4\pi t}}\int_0^1 \big[\sum_n e^{-n^2\pi^2t}(e_n(x)e_n(y) + e_n(-x)\ldots)\big]\) 型（取 \(\mathbb{R}\) 情形簡化）： \(G(t)f = K_t * f\) 、 \(K_t(x) = (4\pi t)^{-1/2}e^{-x^2/4t}\) ，並驗證 \(\int K_t = 1\) 、 \(K_t \rightharpoonup \delta\) （ \(t \to 0\) ，近似恆等）。

解：Fourier 側： \(\hat K_t(\xi) = e^{-t\xi^2}\) （Gaussian 的 Fourier 變換的標準計算），故 \(\widehat{K_t * f} = e^{-t\xi^2}\hat f\) ✓。 \(\int K_t = \hat K_t(0) = 1\) ； \(K_t \rightharpoonup \delta\) ：對 \(\varphi \in C_c\) ， \(\int K_t(x)\varphi(x)dx \to \varphi(0)\) （變數替換 \(x = \sqrt t y\) +Gaussian 集中）。熱核=近似恆等：與 Volterra 積分（1.1）、Fredholm 逼近（5.2）同族的「磨光序列」——分析學的第三個磨光器（前兩個：Fejér 核、Sobolev 逼近）。∎

拋物 vs 雙曲：譜性格對照表#

性質 熱方程（拋物） 波方程（雙曲）
半群類型 壓縮、解析 酉群
生成元譜 \((-\infty, 0]\) （實負） \(i\mathbb{R}\) （虛軸）
能量 遞減（耗散） 守恆
光滑化 瞬間 \(C^\infty\) 傳播奇異性（波前集）
可逆性 不可逆（時間之箭） 可逆
支撐傳播 無限傳播速度 有限速度（雙曲錐）
解的極限 \(t\to\infty\) \(\to\) 平衡（特徵 0 態） 振盪/色散衰減

「方程的性格=生成元的譜位置」：實負譜⇒衰減+光滑；虛軸譜⇒振盪+傳播。半群理論把 PDE 的類型學（拋物/雙曲/橢圓）變成算子譜的分類——這是第 4 章譜分類（4.2）在應用端的最大回報。

歷史啟示#

  • Fourier 的遺產獲得證明：Fourier 1807 年的「任意函數=三角級數」在 1907 年前爭議百年（完備性問題）；Hilbert–Schmidt（6.2）+半群理論使其成為定理：特徵展開不僅表示函數，還演化函數（係數乘 \(e^{-\lambda_nt}\) ）——Fourier 級數是熱半群的對角化。
  • d'Alembert 與 Fourier 的統一：行波解（ \(F(x - t) + G(x + t)\) ）與特徵展開解是同一酉群的兩種表示（實空間 vs 頻率空間）——半群理論+Fourier 變換（3.3 例題）顯示兩者酉等價。
  • 現代延續：色散方程（Schrödinger、KdV）的半群+Strichartz 估計（1977）、熱方程的幕曲線（barrier method）、Navier–Stokes 的 Kato 半群法——半群觀點是當代 PDE 的標準裝備。

與其他章節及領域的關聯#

  • 6.2、6.3 節：特徵展開與譜積分給出半群的顯式表示。
  • 7.2、7.3 節： \(\Delta\) 的定義域 \(H^2 \cap H^1_0\) （Dirichlet）是閉算子與自伴擴張的應用。
  • 9.1、9.2 節： \(C_0\) 半群與 Hille–Yosida 的應用示範。
  • 3.3 節：Stone 定理保證波方程的酉性；Fourier 變換對角化平移。
  • 第 10 章：Schrödinger 方程=虛時間熱方程（Wick 旋轉）；量子力學的「虛時間=熱力學」（密度矩陣 \(e^{-\beta H}\) 與 \(e^{-itH}\) 同構）。
  • 機率論：熱核=布朗遷移密度（Einstein 1905、Wiener 1923 的 \(L^2\) 半群）；Feynman–Kac 公式（1948）把 Schrödinger 半群表示為隨機路徑平均——熱與量子在半群層次的合流。

練習#

  1. 對例題 9.3.1 的熱方程：設 \(f \in L^2\) ，證明 \(\|u(t)\|_\infty \le \frac{C}{t^{1/4}}\|f\|_2\) （ \(t \to 0\) 可爆、 \(t\) 固定有限）。
  2. 波方程的特徵展開：從酉群 \(e^{t\mathcal{A}}\) 推出 \(u(t, x) = \sum(a_n\cos + b_n\sin)e_n(x)\) ，並驗證能量恆等式（Parseval 的時變版）。
  3. 譜隙：證明 \(\|G(t)f - \bar f\|_2 \le e^{-\pi^2t}\|f\|_2\) （Neumann 情形， \(\bar f\) =均值投影）。
  4. 用 Trotter 公式（9.2 練習 4）驗證： \(e^{t(\Delta + V)} = \lim_n(e^{t\Delta/n}e^{tV/n})^n\) ——Feynman–Kac 的離散先聲。
  5. 思考題：熱方程「無限傳播速度」與相對論矛盾；相對論修正（熱傳導的 Cattaneo 方程→Telegrapher 方程）如何改變譜性格？（預告：虛軸譜+負實譜的混合=阻尼波。）

進階研讀：三個深化場景#

場景一：波方程的局部能量衰減與散射。高維波方程：局部能量 \(\to 0\) （ \(n \ge 3\) 平坦空間），但總能量守恆——能量逃向無窮遠。Lax–Phillips 理論（1967）用「漸近速度分層」把酉群分解為輸入/輸出子空間，散射矩陣=「自由動力學下的互作用殘差」；共振（複頻率極點）=障礙物幾何的譜指紋——酉半群的散射理論。

場景二：虛時間與量子力學。 \(e^{-tH}\) （熱）與 \(e^{-itH}\) （Schrödinger）：Wick 旋轉 \(t \to it\) 。歐氏場論（ \(e^{-S_E}\) ）與 Lorentz 場論（ \(e^{iS}\) ）的等價、Feynman–Kac 公式 \(\langle f, e^{-tH}g\rangle = \mathbb{E}[f(X_t)g(X_0)e^{-\int V}]\) （H 隨機路徑平均，1948）——熱核=量子演化的解析延拓，第 10 章量子力學的半群側面。

場景三：譜幾何的反向應用。熱核的短時漸近 \(\operatorname{tr}G(t) \sim (4\pi t)^{-n/2}\operatorname{Vol}\) （Minakshisundaram–Pleijel 1949）把「熱方程的係數」變成「流形的幾何不變量」；Weyl 定律（1911）、Kac 問題（1966「能否聽出鼓形」）——熱半群的譜追蹤幾何。指標定理（Atiyah–Singer 1963）的熱核證明（Patodi 1971、Getzler 1983）是本場景的高峰：熱核展開的局部係數=示性類。

名詞速查表#

  • 熱半群 \(e^{t\Delta}\) ：壓縮、解析、光滑化；核=Gaussian 熱核。
  • 熱核： \(K_t = (4\pi t)^{-n/2}e^{-|x|^2/4t}\) ；近似恆等。
  • 波方程一階化：能量空間上的酉群；能量恆等=反自伴性。
  • 譜隙： \(\lambda_2 - \lambda_1\) ；控制收斂到平衡的速率。
  • 近似恆等： \(K_t * f \to f\) （強）、 \(K_t \rightharpoonup \delta\) 。
  • Strichartz 估計：色散半群的時空 \(L^p\) 估計（1977）。
  • Feynman–Kac 公式：Schrödinger 半群的隨機表示。

年表速查#

  • 1747：d'Alembert 波動方程。
  • 1807–1822：Fourier 熱理論。
  • 1855：Neumann 位勢論（特徵展開的前驅）。
  • 1905：Einstein 布朗運動（熱核的機率誕生）。
  • 1911：Weyl 定律。
  • 1923：Wiener 過程。
  • 1948：Feynman–Kac 公式；Hille–Yosida。
  • 1949：Minakshisundaram–Pleijel 熱核漸近。
  • 1967：Lax–Phillips 散射理論。
  • 1977：Strichartz 估計。

深化問答三則#

問：為什麼熱方程瞬間光滑化而波方程傳播奇異性？ 答：譜衰减的速率。熱：高頻乘 \(e^{-tn^2}\) ——指數壓制，任何 \(f \in L^2\) 的係數（多項式增長以下）都被馴服。波：高頻乘 \(e^{\pm int}\) ——模恆為 \(1\) ，奇異性原樣保留並沿特徵線移動（Huygens 原理）。衰減因子的增長階（ \(e^{-tn^2}\) vs \(e^{0\cdot n}\) ）決定光滑化——譜理論把 PDE 的正則性理論變成係數估計。

問：能量守恆與壓縮性的算子差別？ 答：酉（ \(\|T(t)\| = 1\) 恆）vs 壓縮（ \(\le 1\) 可遞減）。波方程反自伴生成元⇒酉⇒能量恆；熱方程自伴負生成元⇒壓縮⇒能量遞減。9.2 節的 Lumer–Phillips 判據正是兩者的統一語言：耗散=壓縮，反耗散+極大=酉。時間之箭在算子層次是「譜實部符號」。

問：半群觀點對 PDE 研究的實際增益是什麼？ 答：三點。(1) 存在性統一：Hille–Yosida 一勞永逸（初值問題→生成元驗證）；(2) 微擾與非線性：Duhamel 公式把非線性項變為半群卷積，半經典分析（Kato、Giga–Miyakawa）由此標準化；(3) 數值：Trotter–Kato 給格式收斂理論。半群把 PDE 從「每個方程一套技巧」變成「一個框架+生成元分析」——正如譜理論把積分方程從計算變成概念。

（本節完）