跳轉到

9.2 HILLEYOSIDA定理1948#

本章導言#

什麼樣的無界算子 \(A\) 是某個 \(C_0\) 半群的生成元？1948 年，Carl Einar Hille（1894–1959） 與 Kōsaku Yosida（1909–1990） 獨立給出完整答案：稠定閉+預解式條件。這是半群理論的「存在性總定理」，其證明使用 Yosida 逼近——用有界算子逼近無界生成元，把 1.1 節 Volterra 的迭代精神與 2.2 節 Neumann 級數發揮到極致。本節陳述並證明該定理（壓縮情形），介紹等價的 Lumer–Phillips 耗散判據，並展示其在 PDE 中的應用。

定理與證明#

定理 9.2.1（Hille–Yosida，1948）：線性算子 \(A\) （稠定）是某壓縮 \(C_0\) 半群的生成元 \(\iff\) ： 1. \(A\) 閉、 \(\operatorname{dom}A\) 稠； 2. \((0, \infty) \subset \rho(A)\) 且 \(\|\lambda R_\lambda(A)\| = \|\lambda(A - \lambda)^{-1}\| \le 1\) 對 \(\lambda > 0\) 。

證明： （⇒）必要性： \(A\) 生成 \(T(t)\) 壓縮。預解式是 Laplace 變換：

\[ R_\lambda = (A - \lambda)^{-1}\ \text{? 注意符號：} ( \lambda - A)^{-1} = \int_0^\infty e^{-\lambda t}T(t)\,dt \quad (\lambda > 0), \]

（積分收斂因 \(\|T(t)\| \le 1\) ；驗證：對 \(x \in \operatorname{dom}A\) 分部積分，再閉性延拓）。由此 \(\|(\lambda - A)^{-1}\| \le \int_0^\infty e^{-\lambda t}dt = 1/\lambda\) 。

（⇐）充分性（Yosida 逼近）：定義

\[ A_n = n^2 R_n - n = nAnR_n\ \text{型} \quad\text{即}\quad A_n = \lambda_n A(\lambda_n - A)^{-1} = n(nR_n - I) = -n(I - nR_n), \]

有界！因為 \(A_n = -n(I - nR_n)\) 且 \(\|nR_n\| \le 1\) ，得 \(\|A_n\| \le 2n\) ；且 \(A_n x \to Ax\) 對 \(x \in \operatorname{dom}A\) （ \(A_n x = A nR_n x\) ， \(nR_nx \to x\) 、 \(AnR_nx \to Ax\) ）。關鍵： \(A_n\) 生成壓縮半群 \(T_n(t) = e^{tA_n}\) ：因為

\[ \|e^{tA_n}\| = e^{-nt}\|e^{tn^2R_n}\| \le e^{-nt}e^{tn\|nR_n\|} \le e^{-nt}e^{nt} = 1 \]

（用 \(A_n = n(nR_n - I)\) 、 \(\|nR_n\| \le 1\) 的分解）。現在用 Trotter 收斂論證（1958 年定理的前身，1948 年用 Arzelà 或直接估計）： \(T_n(t)\) 對 \(t\) 一致有界、在稠密域上 \(\|T_n(t)x - T_m(t)x\| \le \ldots \le t^2\|A_nx - A_mx\|\) 類的估計（ \(x \in \operatorname{dom}A\) 用雙重積分恆等式），得 Cauchy；極限定義 \(T(t)\) ，半群律取極限、強連續性、生成元= \(A\) （對 \(x \in \operatorname{dom}A\) ： \(\frac{T(t)x - x}{t} = \lim\frac{T_n(t)x - x}{t} \to Ax\) ）。∎

Yosida 逼近的哲學： \(A_n = nA(n - A)^{-1}\) 是「阻尼後的有界替身」，其指數 \(e^{tA_n}\) 收斂到「真解」。用有界理論（2.2 節冪級數）逼近無界真理——與 Galerkin（5.2）、Friedrichs（7.3）同一方法論家族：逼近+完備性=存在性。

LUMER–PHILLIPS 耗散判據#

定義 9.2.2： \(A\) 耗散，若 \(\operatorname{Re}\langle Ax, x\rangle \le 0\) 對一切 \(x \in \operatorname{dom}A\) （Hilbert 空間情形；Banach 空間用對偶映射 \(J\) ）。

定理 9.2.3（Lumer–Phillips，1961）：稠定 \(A\) ： \(A\) 是壓縮半群生成元 \(\iff\) \(A\) 耗散且 \(\operatorname{ran}(I - A) = X\) （「極大耗散」）。

證明思路：耗散 \(\Rightarrow\) \(\|(I - A)x\| \ge \|x\|\) （ \(\|(I-A)x\|^2 = \|x\|^2 - 2\operatorname{Re}\langle Ax,x\rangle + \|Ax\|^2 \ge \|x\|^2\) ）⇒ \((I - A)^{-1}\) 可定義且壓縮，滿射性給 \((\lambda - A)\) 對 \(\lambda > 0\) 同理——化為 Hille–Yosida。∎

Hille–Yosida 的現代改寫（1970s 標準）：只需 \(\lambda_0 > 0\) 一點滿足 \(\|\lambda_0 R_{\lambda_0}\| \le 1\) + \(A\) 耗散——「一點足夠」。耗散是物理的（能量不增），預解條件是分析的（可逆性）——兩種語言的等價是 9.2 的美學核心。

例題#

例題 9.2.1：驗證 \(A = \Delta\) （ \(L^2(\mathbb{R}^n)\) 、域 \(H^2\) ）滿足 Hille–Yosida，生成熱半群。

解：Fourier 對角化： \(\widehat{(\lambda - \Delta)^{-1}f}(\xi) = \frac{1}{\lambda + |\xi|^2}\hat f(\xi)\) 。範數： \(\|(\lambda - \Delta)^{-1}\| = \sup_\xi \frac{1}{\lambda + |\xi|^2} = \frac1\lambda\) ，故 \(\|\lambda(\lambda - \Delta)^{-1}\| \le 1\) ✓； \(A\) 閉稠定（乘法算子的直接性質）✓。Yosida 逼近的顯式： \(\widehat{A_nf} = \frac{-n|\xi|^2}{n + |\xi|^2}\hat f\) ——**低頻像 \(\Delta\) 、高頻截斷在 \(-n\) **（Yosida 逼近=譜截斷的正則化版本）。∎

例題 9.2.2： \(A = -\frac{d}{dx}\) 帶 Dirichlet 邊條？考慮 \(L^2[0,1]\) 上 \(A = -\frac{d}{dx}\) 、 \(\operatorname{dom}A = H^1_0\) 。判斷它是否耗散、是否生成壓縮半群。

解： \(\operatorname{Re}\langle -f', f\rangle = -\operatorname{Re}\int_0^1 f'\bar f = -\frac12(|f(1)|^2 - |f(0)|^2) = 0\) （Dirichlet 邊值）——耗散（邊際情況：純虛）。 \((\lambda + \frac{d}{dx})^{-1}\) ：解 \(g = \lambda f + f'\) ， \(f(x) = e^{-\lambda x}\big(f(0) + \int_0^x e^{\lambda s}g(s)ds\big)\) ， \(f(0) = 0\) 由 Dirichlet——滿射且唯一（單側平移）。 \(\|T(t)\| = 1\) （平移+截斷： \((T(t)f)(x) = f(x + t)\) 在 \(x + t > 1\) 處置 \(0\) ——質量流向邊界消失：壓縮而非酉）。生成元正是 \(-\frac{d}{dx}|_{H^1_0}\) 。對比： \(\mathbb{R}\) 上的平移酉（無邊界可漏）， \([0,1]\) 上壓縮（邊界吸收）——邊界條件決定守恆 vs 耗散（7.3 節主題的半群版）。∎

應用：發展方程的存在性總路線#

Hille–Yosida 把「初值問題解的存在唯一」化為「驗證兩個條件」：

  1. 先驗估計： \(\|(\lambda - A)^{-1}\| \le 1/\lambda\) （=最大值原理、能量估計、或耗散性）；

  2. 定義域稠密性（正則性）。

  3. 熱方程： \(\Delta\) 自伴負⇒條件自動；

  4. 波方程：一階化矩陣 \(\begin{pmatrix} 0 & I \\ \Delta & 0\end{pmatrix}\) 的耗散性=能量守恆 \(\frac12\int(|u_t|^2 + |\nabla u|^2)\) ；
  5. Schrödinger： \(i\Delta\) 反自伴⇒酉群（Stone，3.3）；
  6. Navier–Stokes：Stokes 半群（Stokes 算子，Helmholtz 投影下的 \(\Delta\) ）——Kato 1984 用半群框架證局部解；全局性=正則性問題（千禧年獎）。

歷史啟示#

  • 1948 年的雙子星：Hille 在 Yale（受 Stone 與 von Neumann 影響，1936 年起研究）、Yosida 在東京（受遍歷理論與 Kolmogorov 影響）。獨立而等價的證明再次顯示「時機成熟」效應——半群理論的需求（PDE、機率、量子力學三面夾擊）已醞釀十年。
  • Yosida 逼近是「正則化」的原型：截斷高頻（ \(A_n\) 的譜 \(\le n\) ）使無界算子有界。現代數值分析的正則化（Tikhonov、spectral filtering）與隨機逼近，都是 Yosida 逼近的變奏。
  • 從存在性到穩定性：Hille–Yosida 之後的理論譜系——Trotter–Kato 逼近定理（1958–59：半群的收斂）、Perturbation 理論（Kato 1966《微擾論》）、解析與壓縮半群的精細分類——半群成為「發展方程的譜理論」。

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

  • 2.2 節：Neumann 級數是 Yosida 逼近的代數引擎（ \(e^{tA_n}\) 的壓縮性證明）。
  • 7.2、7.3 節：閉性、耗散、極大性——無界算子理論的直接應用。
  • 3.3、7.3 節：Stone 定理=酉特例；自伴生成元⇒酉群。
  • 9.1 節： \(C_0\) 半群的定義與生成元性質。
  • 9.3 節：熱與波方程的具體實現。
  • 第 10 章：量子力學的動力學（ \(e^{-itH/\hbar}\) 由 Stone/Hille–Yosida 保證）；開放量子系統的 Lindblad 定理=GKSL 生成元的「量子 Markov 版 Hille–Yosida」。
  • 機率論：Feller 半群、生成元=Lévy 指數（Lévy–Khintchine）；鞅問題（Stroock–Varadhan 1979）與半群理論的等價。

練習#

  1. 證明 Laplace 變換公式 \((\lambda - A)^{-1} = \int_0^\infty e^{-\lambda t}T(t)dt\) （先在 \(\operatorname{dom}A\) 上分部積分，再用閉性）。
  2. 驗證 Yosida 逼近 \(A_n = n(nR_n - I)\) 的三個性質：有界、壓縮半群生成、 \(A_nx \to Ax\) （ \(x \in \operatorname{dom}A\) ）。
  3. 用 Lumer–Phillips 判斷： \(A = \frac{d}{dx}\) 帶 Neumann 邊條 \(f'(0) = f'(1) = 0\) 在 \(L^2[0,1]\) 上是否生成壓縮半群？譜是什麼？（ \(0\) 是特徵值！常數函數——半群不壓縮到零，收斂到均值。）
  4. 證明 Trotter 乘積公式（離散版）： \(e^{t(A+B)} = \lim_{n\to\infty}(e^{tA/n}e^{tB/n})^n\) （自伴 \(A, B\) 情形，Trotter 1959）——它在 Feynman 路徑積分的數學基礎中的角色。
  5. 思考題：Hille–Yosida 條件 \(\|\lambda R_\lambda\| \le 1\) 中 \(\lambda\) 遍歷 \((0, \infty)\) ；為什麼「單點 \(\lambda_0\) 」版本（現代化簡）仍然足夠？用預解恆等式（4.1）從 \(\lambda_0\) 推廣到全正軸。

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

場景一：解析半群的生成元刻畫。拋物系統需要比壓縮更強的性質： \(A\) 生成解析半群 \(\iff\) 扇形條件（ \(\sigma(A)\) 在扇形外+預解式在扇形上的多項式界，Yosida 1960）。熱方程解析、波方程不解析（只 \(C_0\) ）——拋物 vs 雙曲的算子分水嶺。應用：Navier–Stokes 的半經典分析、反應擴散方程的整體存在性。

場景二：Trotter–Kato–Neveu 逼近理論。 \(A_n \to A\) （ resolvent 收斂） \(\Rightarrow T_n(t) \to T(t)\) （強，對 \(t\) 局部一致）。這是數值半群理論（格式收斂性）、均勻化（Mosco 收斂→半群收斂）、與量子絕熱定理的基礎。「生成元收斂⇒解收斂」的嚴格化使半群理論成為計算數學的理論支柱。

場景三：Markov 半群與量子半群的對照。經典 Markov（Feller）：生成元 \(L = b\cdot\nabla + a:\nabla^2 + \text{跳}\) ，Hille–Yosida 的機率實現（Kolmogorov 方程）；量子 Markov（GKSL 1976）： \(\mathcal{L}(\rho) = -i[H, \rho] + \sum L_k\rho L_k^\dagger - \frac12\{L_k^\dagger L_k, \rho\}\) ，完全正半群。兩者的「Hille–Yosida」分別是 Feller 條件與 GKSL 條件——半群理論的兩支在 10.2、10.3 節再會。

名詞速查表#

  • Hille–Yosida 定理：稠定閉+ \((0,\infty) \subset \rho(A)\) + \(\|\lambda R_\lambda\| \le 1\) \(\iff\) 壓縮半群生成元。
  • Yosida 逼近： \(A_n = nA(n - A)^{-1}\) ，有界、壓縮、收斂。
  • Laplace 變換公式： \((\lambda - A)^{-1} = \int_0^\infty e^{-\lambda t}T(t)dt\) 。
  • 耗散算子： \(\operatorname{Re}\langle Ax,x\rangle \le 0\) ；極大耗散=壓縮生成元。
  • Trotter 公式： \(e^{t(A+B)} = \lim(e^{tA/n}e^{tB/n})^n\) 。
  • 解析半群：可解析延拓到扇形；拋物型的標誌。
  • Trotter–Kato 定理：預解收斂⇒半群收斂。

年表速查#

  • 1931：Kolmogorov 擴散方程（先驅）。
  • 1932：Stone 定理（酉情形）。
  • 1948：Hille 與 Yosida 獨立證明主要定理；Phillips 耗散思想。
  • 1952–54：Feller 條件（機率版）。
  • 1957：Hille–Phillips 教科書。
  • 1958–59：Trotter–Kato 逼近定理；Trotter 乘積公式。
  • 1961：Lumer–Phillips 耗散判據。
  • 1966：Kato《微擾論》。
  • 1976：GKSL（Gorini–Kossakowski–Sudarshan–Lindblad）量子半群。

深化問答三則#

問：Hille–Yosida 定理「解決」了什麼，又留下了什麼？ 答：解決：壓縮半群的存在性判定化為兩個可驗證條件（閉稠+預解界）。留下：具體驗證仍難（預解式要顯式算或用耗散/最大值原理技巧）；非壓縮情形的增長界 \(\omega\) 需要平移技巧 \(A - \omega\) ，但最優 \(\omega\) （增長界 vs 譜界的裂縫）至今是活躍問題；非自治系統（ \(A(t)\) 隨時間變）的「演化族」理論遠未完成——Kato 1953–1970s 的演化方程理論是其精華與難點。

問：Yosida 逼近與 Galerkin 逼近的分工？ 答：Galerkin 截斷空間（有限維子空間），Yosida 截斷譜（有界化生成元）。前者用弱緊性取極限（5.2），後者用半群收斂（Trotter–Kato）。數值方法上：空間離散（FEM）用 Galerkin、時間離散（隱式 Euler= \(\frac{I - tA_n}{ }\) 型，本質是 \(R_\lambda\) 的離散版本）用 Yosida——隱式時間格式=預解式的數值化身。

問：為什麼耗散性比預解條件更「物理」？ 答： \(\operatorname{Re}\langle Ax, x\rangle \le 0\) 是「能量不增」的直接陳述（對熱方程 \(-\int|\nabla u|^2 \le 0\) 、對阻尼振子同型），可以從 PDE 的能量法直接讀出；預解條件則需要解 \((\lambda - A)f = g\) 的顯式知識。Lumer–Phillips 的價值：物理守恆律→數學生成元的自動化通道。最大值原理（橢圓/拋物）與能量法是它的兩大工具箱。

（本節完）