无界系数椭圆算子能否生成 L1 半群？

为什么 p = 1 是困难端点

同一算子此前已在 1 < p < ∞ 的 Lp(R^d) 中研究过，那里证明了它生成正解析半群，并给出了定义域刻画、一致性和正时刻的紧性。悬而未决的是端点 p = 1，论文解释了为什么它不能靠取极限得到。

用于 1 < p < ∞ 的两件工具在 p = 1 时失效。用于控制所有二阶导数的 Calderón–Zygmund 估计在 L1 中不成立。在解析性证明中，方程要用 u|u|^{p−2} 检验，并比较所得积分的实部与虚部；经过适当的算子平移和分部积分后，负实部控制一个系数为 p − 1 的非负梯度项。当 p = 1 时该系数为零，因此这一论证不再能给出虚部中混合梯度项所需的估计。

论文的绕行办法是把 Lp 情形中构造的预解式继续当作工具，并让位势项 −c|x|^β 承担控制作用。条件 β > α − 2 正是让该项能够压过来自扩散和漂移的 |x|^{α−2} 阶贡献。

生成元定义域究竟包含什么

定义域 D(Λ) 定义为满足以下条件的 u ∈ W^{1,1}(R^d)：Δu 属于 L1_loc(R^d)，且三个加权量 |x|^β u、(1+|x|^{α−1})∇u 和 (1+|x|^α)Δu 都属于 L1(R^d)，其中导数按分布意义理解。这不是一般的 Sobolev 空间：权重与算子自身的增长指数 α 和 β 绑定。

论文证明，由这些加权部分构成的范数，即 ‖u‖1 + ‖|x|^β u‖1 + ‖(1+|x|^{α−1})∇u‖1 + ‖(1+|x|^α)Δu‖1，在 D(Λ) 上与图范数 ‖u‖1 + ‖Λu‖1 等价。论文还证明 C∞_c(R^d) 是闭包的核心，因此该实现由 Λ 在光滑紧支函数上的作用决定。

加权插值估计是这里的技术枢纽。对每个 ε > 0，存在常数 C_ε 使 ‖(1+|x|^{α−1})∇u‖1 ≤ ε‖(1+|x|^α)Δu‖1 + C_ε‖(1+|x|^{α−2})u‖1。结合 Kato 型不等式以及 β > α − 2 这一事实，就得到对 u、∇u 和 Δu 的 L1 控制，并给出显式的定义域描述。

正性来自预解式

生成性通过 Lumer–Phillips 定理证明。一个 Kato 型不等式表明，对每个 u ∈ C∞_c(R^d;C)，∫ (u/|u|)Λu dx 的实部被 ∫ ((α−b)(d+α−2)|x|^{α−2} − c|x|^β)|u| dx 从上界控制。将 ω1 定义为 (α−b)(d+α−2)|x|^{α−2} − c|x|^β 在 x ∈ R^d 上的上确界，就得到对实数 λ > ω1 有 (λ−ω1)‖u‖1 ≤ ‖(λ−Λ)u‖1，因此 Λ − ω1 是耗散的。

预解集包含 (ω1, ∞)，且 ‖R(λ,Λ)‖ ≤ (λ−ω1)^{−1}，并且对每个实数 λ > ω1 预解式都是正的。半群的正性随之而来：对非负的 f，可以用非负紧支函数逼近，预解式保持非负，指数公式把这一点传递给 T1(t)f ≥ 0。

这一点重要，因为正性在这里不是额外的装饰。它使 L1 实现成为相关演化问题可积解的自然对象，而且它是通过预解式建立的，而非被假定。

最优指数界与压缩性阈值

增长率 ω1 并未停留在抽象的上确界。令 γ := (α−b)(d+α−2)，论文算出当 b ≥ α 时 ω1 = 0，否则 ω1 = ((β−α+2)/β) γ ((α−2)γ/(cβ))^{(α−2)/(β−α+2)}。γr^{α−2} − cr^β 在 r ≥ 0 上的最大值在 r* = ((α−2)γ/(cβ))^{1/(β−α+2)} 处取得，而在该点 cr*^β = ((α−2)/β) γ r*^{α−2}。

这个界是最优的，而不仅仅是一个充分条件。若对某个实数 ω 有 ‖T1(t)‖ ≤ e^{ωt}，则用非负紧支且 ‖f‖1 = 1 的 f 检验并令 t 趋于 0，会迫使对每个 x 有 γ|x|^{α−2} − c|x|^β ≤ ω，从而 ω1 ≤ ω。

由此得到一个具体阈值：ω1 ≥ 0 恒成立，且等号成立当且仅当 b ≥ α。所以半群在 L1(R^d) 上压缩当且仅当 b ≥ α。决定半群增长还是压缩的是漂移系数 b，而不是单独的位势强度 c。

每个正时刻的紧性

带图范数的定义域 D(Λ) 紧嵌入 L1(R^d)。证明把积分拆成一个大球及其补集：在每个球上，Rellich–Kondrachov 定理给出 W^{1,1}(B_j) 到 L1(B_j) 的紧嵌入，对角子列局部收敛；在半径 R 的球外，加权界给出 sup_n ∫_{|x|>R} |u_n| dx ≤ C R^{−β}，由于 β > 0，它可以任意小。

嵌入的紧性使预解式 R(λ,Λ) 对预解集中的每个 λ 都是 L1(R^d) 上的紧算子。解析性则通过局部化和加权插值论证单独证明：存在 θ ∈ (π/2, π)、ω > ω1 和 M > 0，使扇形 ω + Σ_θ 落在预解集中，且 ‖R(λ,Λ)‖ ≤ M/|λ−ω|。

两者结合给出半群本身的紧性。对 t > 0，解析性把 T1(t)L1(R^d) 放入 D(Λ) 且 ΛT1(t) 有界，因此 T1(t) = R(ω,Λ)(ωI − Λ)T1(t) 是紧算子与有界算子的复合。于是 T1(t) 在每个正时刻都是紧的。

与 Lp 半群的一致性

L1 实现并非与早先的 Lp 理论彼此独立的对象。对每个 1 < p < ∞，论文证明对 f ∈ L1(R^d) ∩ Lp(R^d) 和所有 t ≥ 0 有 T1(t)f = Tp(t)f，其中 Tp 是早先工作中由 Λp 生成的半群。

论证通过预解式进行。对 f ∈ L1 ∩ Lp 和 λ ≥ λ*，有 R(λ,Λ)f = R(λ,Λp)f。这首先在 C∞_c(R^d) 上利用 λ − Λ 的单射性验证，然后通过在 L1 和 Lp 两种范数下同时逼近 f 来延拓；两个预解式序列逐项相同，且都在 L1_loc 中收敛，因此它们的极限一致。随后通过指数公式把这一等同传递到半群。

实际后果是端点情形既不与 Lp 结果矛盾，也不取代它们。在同时属于两个空间的函数上，两个半群在时间上逐点一致，因此 L1 理论扩展了已有图景，而不是与之竞争。

结果适用于哪里，止于哪里

定理的陈述条件是 d ≥ 3、α > 2、β > α − 2、b ∈ R 和 c > 0。这些不是装饰性假设。条件 β > α − 2 让位势 −c|x|^β 能够控制来自扩散和漂移的 |x|^{α−2} 阶项，也正是它使 ω1 有限。要求 c > 0 使位势存在；论文在这个 L1 设定中不处理 c = 0。

论文还指出，此前针对常扩散系数与无界低阶系数算子的 L1 生成与定义域结果不能直接用于此处。在那套框架中，假设蕴含 a(x) ≤ C(1+|x|^2) 并要求 Δa 有界；当 α > 2 时，a(x) = 1 + |x|^α 两条都不满足，因为 a 增长快于 |x|^2，且 Δa = α(d+α−2)|x|^{α−2} 无界。

还有一条边界值得直说：紧性与解析性结论针对的是所述参数范围内 R^d 上的 L1 实现。论文并未声称其他增长情形（例如 0 ≤ α < 2，文献中在不同假设下另行处理）具有相同的端点行为。

什么决定增长还是压缩

这篇论文中最具决策相关性的量是数对 (b, α)。压缩性判据恰为 b ≥ α，而在该情形下 ω1 = 0。当 b < α 时，指数界严格为正，并由 γ = (α−b)(d+α−2)、c、α 和 β 的显式公式给出，在 r* = ((α−2)γ/(cβ))^{1/(β−α+2)} 处取得。

这比说半群有界或无界更精确。论文确定了使 ‖T1(t)‖ ≤ e^{ωt} 对所有 t ≥ 0 成立的最小实数 ω，因此漂移强度 b 与扩散指数 α 的比较就是决定 L1 半群压缩还是增长、以及增长时增长多少的阈值。

因此，对判断这一 L1 理论是否适用于给定算子的读者来说，清单是具体的：检查 d ≥ 3、α > 2、β > α − 2 和 c > 0；然后比较 b 与 α 以判断半群是否压缩；再用加权定义域描述检验某个具体函数是否属于 D(Λ)。

本文引用的文献