混合局部-非局部抛物半线性方程具有怎样的内部正则性？

算子叠加了分数阶与经典拉普拉斯

所研究的方程是 Ω × (0,T) 上的 u_t = L u + f(u)，初值 u(x,0) = u_0(x) 定义在 Ω 上，且对所有时刻在整个补集 R^n \ Ω 上 u = 0。扩散算子为 L = -(-Δ)^s + Δ，其中 (-Δ)^s 是积分形式的分数阶拉普拉斯，s 属于 (0,1)，Δ 是经典局部拉普拉斯。两项是相加关系，而不是通过小参数比较，因此该算子把非局部机制与局部机制混合在一起，并且不具备尺度不变性。

由于分数阶拉普拉斯是对整个 R^n 的积分，Dirichlet 条件必须施加在整个补集 R^n \ Ω 上，而不仅是边界 ∂Ω。这正是定义 (-Δ)^s 的积分有意义的前提。反应项 f 非负、局部 C^1 且在其定义域 E = [0,α)（α > 0）上单调递增，初值 u_0 属于 H^1_0(Ω) ∩ L^∞(Ω)，且几乎处处满足 u_0(x) 属于 E。论文指出，这种定义域受限的反应项受一个淬火问题启发，该问题中 f(u) = λ(1-u)^{-p}，当 u 的 L^∞ 范数趋近 1 时该项爆破；本文结果是在一个简化情形下陈述的，作者称稍加工作即可推广到一般区间 E = (α_1, α_2)。

唯一经典解存在到某个最大时刻

命题 1.1 指出，对每个满足几乎处处 u_0(x) 属于 E 的 u_0 属于 H^1_0(Ω) ∩ L^∞(Ω)，存在某个 T = T(u_0) > 0，使该系统有唯一经典解 u 属于 C((0,T), D(L)) ∩ C([0,T), H^1_0(Ω)) ∩ C^1((0,T), L^2(Ω))。最大存在时刻由反应项定义域的边界刻画：当 t → t_0 时 u(·,t) 的 L^∞(Ω) 范数的上极限等于 α，当且仅当 t_0 = T。

证明先把 f 截断为全局 Lipschitz 且单调递增的函数 f_ε，它在 (0, α-ε) 上与 f 一致，然后处理截断问题。一个结合分数阶半范数与梯度积分的双线性形式，其自然定义域为 H^1_0(Ω) ∩ H^s_0(Ω) = H^1_0(Ω)，且其关联范数与通常的 H^1_0 范数等价。由 Kato 表示定理，该形式给出唯一非负自伴算子 A = -L = (-Δ)^s - Δ，它在 L^2(Ω) 中生成解析半群 e^{Lt}。经典半群理论随后给出截断问题的唯一经典解。由此得到两个比较结果：关于初值的序保持，以及解与上解或下解之间的比较原理。这些结果使作者能把截断解保持在 (0, α-ε) 内直到某个时刻 T_ε，从而可将其与原问题的解等同起来。

解在空间与时间上 Hölder 连续

定理 1.2 固定 Ω × (0,T) 中的一点 (x_0, t_0)，并使用抛物柱体 Q_ρ = B_ρ(x_0) × [t_0 - ρ^2, t_0]。对每个 α_0 属于 (0,1)，存在某个 r* = r*(n, s, α_0, x_0, t_0) 属于 (0,1)，使得对每个 r ≤ r*，|u(x,t) - (u)_{Q_r}|^2 在 Q_r 上的平均积分被 c r^{2α_0} 控制。常数 c 依赖于 n、s、α_0、r*、f(u) 在 Ω × [0,t_0] 上的 L^∞ 范数、u 在 Q_{r*} 上的 L^2 范数，以及非局部尾部量 Tail_∞(u, x_0, r*, t_0 - r*^2, t_0)。特别地，解在空间与时间上都是指数为 α_0 的局部 Hölder 连续。

这一陈述有两点对正确理解很关键。第一，结论是局部的：它在 t_0 > 0 的某点周围的内部抛物柱体中成立，半径 r* 依赖于该点。第二，指数 α_0 在 (0,1) 中任意，但在确定 r* 之前就已选定，因此该估计并非某个固定的 Hölder 指数。证明采用 Campanato 论证，把在收缩抛物柱体上平均 L^2 振荡的衰减转化为 Hölder 连续性。非局部尾部量进入常数，是因为分数阶拉普拉斯会看到球 B_r(x_0) 之外 u 的取值，所以必须在控制局部振荡的同时控制无穷远处的衰减。

L2 到 L∞ 估计控制线性问题

定理 1.3 关注线性方程 v_t = L v + a(x,t) v，定义在 Ω × (0,T') 上，在 R^n \ Ω 上带同样的 Dirichlet 条件，初值 v_0 属于 H^1_0(Ω)，其中 a 属于 L^∞_loc(Ω × [0,T'))。对 (x_0, t_0) 属于 Ω × (0,T')、τ 属于 (0,1)、R 属于 (0,1)，以及满足 B_R(x_0) 包含于 Ω 且 [t_0 - R^2, t_0] 包含于 (0,T) 的 Q_R = B_R(x_0) × (t_0 - R^2, t_0)，v 在 Q_{τR} 上的 L^∞ 范数被 C R^{-n/2} τ^{-n/2-1} (1-τ)^{-(n/2+s)(n/2+1)} 乘以 v 在 [t_0 - R^2, t_0] 上取值于 L^2(Ω) 的 L^∞ 范数所控制，其中 C 依赖于 n、s 以及 a 在 Ω × [0,t_0] 上的 L^∞ 范数。

这是一个空间上的 L^2 到 L^∞ 估计：它把较大柱体上时间 L^∞、空间 L^2 的界提升为严格更小柱体上的逐点界。代价明确体现在因子 (1-τ)^{-(n/2+s)(n/2+1)} 上，当内柱体趋近外柱体时它爆破，也体现在 R 与 τ 的负幂次上。证明先为该方程得到 Caccioppoli 不等式，再应用 Moser 迭代论证，并使用一个关于正数列的引理把迭代推向零。论文把这一估计描述为最终正则性结果的关键要素，它也被用于后文中的时间差商。

时间导数 Hölder 连续，空间为 C2,α

定理 1.4 指出，若 u 是该半线性系统的唯一经典解，则对每个 α_0 属于 (0,1)，时间导数 u_t 属于 C^{α_0}_loc(Ω × [0,T))，且对每个 t 属于 (0,T)，u(·,t) 属于 C^{2,α_0}_loc(Ω)。这正是论文的主要目标：半线性混合局部-非局部抛物方程在空间上的内部 C^{2,α} 正则性。

证明引入差商 v_h(x,t) = (u(x,t+h) - u(x,t))/h。对固定 h > 0，它与 u 具有相同的正则性，并在紧时间区间上于 C([t_1,t_2], L^2(Ω)) 中强收敛到 u_t。其 L^2(Ω) 范数被 u_t 在相应时间区间上的 L^∞ 范数一致地控制，且与 h 无关。该差商满足一个线性方程，其形式属于定理 1.3 的覆盖范围，系数为 a(x,t) = f'(ξ(x,t))，其中 ξ(x,t) 介于 u(x,t+h) 与 u(x,t) 之间；在内部柱体中 ξ 与 1 保持有界距离且与 h 无关，因此 f'(ξ) 是一个关于 h 一致的 L^∞_loc 函数。定理 1.3 与一致的 L^2 界给出与 h 无关的 v_h 界，重复 Campanato 论证便得到 v_h 的平均振荡估计，其常数与 h 无关。令 h → 0 即把估计转移到 u_t，因此 u_t 对任意指数 α_0 属于 (0,1) 都局部 Hölder 连续。

最后一步把方程改写为 -Δu(x,t) + (-Δ)^s u(x,t) = f(u(x,t)) - u_t(x,t)。对每个固定的 t 属于 (0,T)，右端属于 C^{α_0}_loc(Ω)：f(u) 从 u 的 Hölder 连续性与 f 的正则性继承这一点，而 u_t 由前一步是 Hölder 连续的。应用混合算子 L = -(-Δ)^s + Δ 的已知椭圆正则性，便得到 u(·,t) 属于 C^{2,α_0}_loc(Ω)。因此空间正则性是通过把新的抛物估计与一个椭圆正则性输入结合得到的，而不是纯抛物论证。

内部正则性止步于边界与 t = 0

正则性结论在空间上是内部的，且对正时刻成立。定理 1.2 围绕 Ω × (0,T) 中的点 (x_0, t_0) 陈述，半径 r* 依赖于该点；定理 1.4 给出对每个 t 属于 (0,T)，u(·,t) 属于 C^{2,α_0}_loc(Ω)，且 u_t 属于 C^{α_0}_loc(Ω × [0,T))。这些结果并未断言在边界 ∂Ω 处或 t = 0 处的正则性，而 Dirichlet 条件施加在整个补集 R^n \ Ω 上，因此边界数据是非局部设定的一部分，而不是局部迹条件。

反应项也受到限制：f 定义在 E = [0,α) 上，非负、局部 C^1 且单调递增，最大存在时刻 T 与 u 的 L^∞ 范数趋近 α 相联系。论文指出，结果是在一个简化了某些论证的较特殊情形下陈述的，稍加工作即可推广到一般情形 E = (α_1, α_2)。Hölder 指数 α_0 在 (0,1) 中任意，但在半径 r* 之前选定；定理 1.2 与 1.3 中的常数依赖于非局部尾部量、f(u) 或 a 的 L^∞ 范数，以及解在较大柱体上的 L^2 范数，因此这些估计对这些量并不一致。

Hölder 连续与 C2,α 回答不同问题

论文报告了两个不同层次的空间正则性，不应混为一谈。定理 1.2 给出空间与时间上指数为 α_0 的局部 Hölder 连续性，它控制 u 在小抛物柱体上的振荡幅度，但不涉及可微性。定理 1.4 给出对每个 t 属于 (0,T)，u(·,t) 属于 C^{2,α_0}_loc(Ω)，这意味着二阶空间导数存在，且本身是指数为 α_0 的 Hölder 连续。第二个陈述在空间上严格更强，且只对正时刻得到，它使用了 u_t 的 Hölder 连续性与混合算子的椭圆正则性。

两个结果所依赖的工具也不同。Hölder 连续性来自对半线性问题的 Campanato 论证，非局部尾部量进入常数。C^{2,α} 结果来自带零阶项的线性问题的 L^2 到 L^∞ 估计，应用于时间差商，随后再引入椭圆正则性输入。对于把本文与纯局部或纯分数阶抛物方程工作相比较的读者，关键区别在于：这里的空间光滑到 C^{2,α} 是内部的且对 t > 0 成立，而时间导数只是 Hölder 连续，并不更光滑。

论文的重点是空间上的内部 C2,α

从本文应带走的核心主张是命题 1.1 与定理 1.4 的组合：对带 R^n \ Ω 上 Dirichlet 条件、L = -(-Δ)^s + Δ 的半线性混合局部-非局部抛物方程，存在唯一经典解直到由 u 的 L^∞ 范数达到 α 所刻画的某个最大时刻 T；并且对每个正时刻，解在空间上对每个 α_0 属于 (0,1) 属于 C^{2,α_0}_loc，同时 u_t 局部 Hölder 连续。空间 C^{2,α} 陈述是论文明确的主要目标，它是通过把新的抛物 Hölder 估计与 L^2 到 L^∞ 界输入到混合算子的已知椭圆正则性中而达到的。

因此实际阅读的关键在于哪一层次的正则性适用于何处。如果问题是解在空间与时间上是否连续，定理 1.2 用抛物柱体上的局部 Hölder 估计回答。如果问题是二阶空间导数是否存在且 Hölder 连续，定理 1.4 对 t 属于 (0,T) 且仅在 Ω 内部回答。边界与初始时刻都在两个陈述之外，而反应项被限制在定义域 [0,α) 上，其端点决定最大存在时刻。论文自身的定位把结果放在混合算子以椭圆为主、抛物情形较薄弱的研究背景中，此前工作已为齐次抛物问题建立了内部 C^α 正则性；本文的贡献在于半线性设定以及更高的内部空间正则性。

本文引用的文献