算子半群的生成元何时是某个 C₀-半群的生成元?Hille–Yosida 定理给出精确刻画:耗散性(或预解估计)加上稠定闭性。它是半群理论的核心定理,把抽象的生成问题化为对预解式的范数估计。需先掌握算子半群、谱(巴拿赫代数)、一致有界原理与可逆算子。
闭稠定算子 A 生成 X 上的 C₀-收缩半群(∥T(t)∥≤1)当且仅当:
- (0,∞)⊂ρ(A)(正实轴在预解集中)
- 对一切 λ>0,∥(λI−A)−1∥≤λ1
一般版本(∥T(t)∥≤Meωt):预解估计 ∥(λI−A)−n∥≤(λ−ω)nM 对一切 λ>ω、n∈N 成立。
证明思路
- 必要性:由 T(t)=etA,R(λ,A)=∫0∞e−λtT(t)dt(Laplace 变换),范数估计直接来自 ∥T(t)∥≤1
- 充分性:作 Yosida 逼近 Aλ=λAR(λ,A)=λ2R(λ,A)−λI(有界算子),证明 Tλ(t)=etAλ 强收敛,极限 T(t) 即为所求半群;由 Aλ→A 在预解意义下收敛推出 A 为生成元
判定条件(等价形式)
- Lumer–Phillips 定理:A 生成收缩半群当且仅当 A 稠定、闭、耗散(Re⟨Ax,x⟩≤0,在希尔伯特空间情形)且存在 λ0>0 使 λ0I−A 满射
- 无界自伴算子的情形:A=A∗ 且 A≤0(如 Δ)生成压缩半群,可直接由谱定理(有界自伴算子)的连续函数演算得到 etA,无需 Hille–Yosida
例子
- Δ(≤0 的自伴算子)在 L2 上生成热半群,见热方程
- A=dxd 在 L2(R) 上生成平移半群 T(t)f(x)=f(x+t)
- 有界算子 A∈B(X) 生成 T(t)=etA=∑n!tnAn(Neumann 级数收敛)
后续
Hille–Yosida 定理衔接算子半群、一致有界原理与谱理论,是抽象 Cauchy 问题适定性的标准判据,也是随机过程(生成元与 Markov 半群)的数学基础。