Barriers, Barenblatt solutions and regularity of soda can domains for the heat equation and nonlinear $p$-parabolic equations

以下是 Anders Björn 和 Jana Björn 的论文《热方程与非线性 p-抛物方程的苏打罐域障碍、Barenblatt 解与正则性》的详细技术总结。

1. 问题陈述

本文研究了与 $p$-抛物方程 相关的 Dirichlet 问题在原点 $(0,0)$ 处的 边界正则性：
$$\partial_t u - \Delta_p u = 0, \quad \text{其中 } \Delta_p u = \text{div}(|\nabla u|^{p-2}\nabla u),$$
在特定的非柱形域，即 “苏打罐域” (soda can domains) 中。

这些域定义为：
$$\Theta_{l,\theta} := \{(x, t) \in \mathbb{R}^{n+1} : 0 < -t < \theta|x|^l < \theta\},$$
其中 $l, \theta > 0$。从几何上看，当 $l > 1$ 时，这些域类似于苏打罐底部的凹形内部。其时间截面是非凸的圆环，内半径随 $t \to 0$ 而收缩，最终收敛于一个去心球。

核心问题是：关于指数 $l$、维数 $n$ 和参数 $p$ 满足什么条件时，原点 $(0,0)$ 是一个正则边界点？
若 Dirichlet 问题的解在该点连续地取到连续边界数据，则该点为正则点。

2. 方法论

作者采用了一系列经典势论技术，并将其适配于非线性抛物情形：

• 障碍构造 (Barrier Construction)： 主要工具是构造 障碍 和 障碍族。障碍是一个正的 $p$-超抛物函数，在边界点处为零，但在其他地方有正的下界。存在这样的障碍族等价于正则性（定理 3.3）。
• 缩放论证 (Scaling Arguments)： 作者利用缩放引理（引理 3.6）证明，当 $p \neq 2$ 时，正则性与缩放参数 $\theta$ 无关。这使得他们可以对域进行归一化以便分析。
• 两类障碍：
  1. 幂型障碍 (Power-type barriers)： 形式为 $v(x,t) \sim |x|^\alpha + t$ 的函数。用于建立特定 $l$ 和 $p$ 范围内的正则性。
  2. Barenblatt 型障碍 (Barenblatt-type barriers)： 利用 Barenblatt 解（$p$-抛物方程的自相似基本解）来构造障碍。这种方法在 $p > 2$ 且 $p/(p-1) \le l \le p$ 的范围内特别有效。
• 热方程的 Wiener 准则 (Wiener Criterion)： 对于线性情形 ($p=2$)，作者应用热方程的 Wiener 准则（利用热容量）来推导正则性的充要条件。
• 比较原理 (Comparison Principles)： 证明严重依赖于抛物比较原理以及用于构造解的 Perron 方法。

3. 主要贡献与结果

本文对苏打罐域的正则性提供了近乎完整的刻画，区分了线性情形 ($p=2$) 和非线性情形 ($p \neq 2$)。

A. 非线性情形 ($p \neq 2$)

• 大 $l$ 的正则性：
  • 若 $1 < p \le 2$ 且 $l > p$，则原点正则（命题 1.2）。
  • 若 $p > 2$ 且 $l > p$，则原点正则（定理 1.1）。
  • 若 $p > n$（无论 $l$ 为何值），则原点正则（命题 1.3）。
• 小 $l$ 的不正则性 (当 $1 < p < 2 \le n$ 时)：
  • 若 $l$ 足够小，则原点不规则。具体而言，若 $p < \frac{2n}{n+1}$，则当 $l \le p$ 时存在不规则性；若 $p \ge \frac{2n}{n+1}$，则当 $l < \frac{(n-p)(2-p)}{p-1}$ 时存在不规则性（命题 1.4）。
• 中间 $l$ 的部分正则性 ($p > 2$)：
  • 对于范围 $p/(p-1) \le l \le p$，作者证明了 部分正则性。对于在原点附近“小”的边界数据 $f$，原点正则，其满足特定的增长条件：
    $$|f(x,t) - f(0,0)| \le C \min\{|x|, \delta\}^{p/(p-1)}.$$
  • 该结果通过两种不同的证明实现：一种使用幂型障碍，另一种使用 Barenblatt 解（命题 1.6）。
  • 未解决问题： 当 $p > 2$ 且处于范围 $p/(p-1) \le l \le p$ 时，原点对于大边界数据是否完全正则，目前仍未知。

B. 线性情形 ($p = 2$，热方程)

作者为 $n \ge 2$ 提供了完整的刻画：

• 维数 $n=2$： 原点对于 所有 $l > 0$ 均正则。然而，对于去心柱体（一种极限情形），原点是不正则的。
• 维数 $n \ge 3$： 原点正则 当且仅当 $l \ge 2$。
  • 这与非线性情形形成对比，后者的阈值依赖于 $p$。
  • 证明利用了涉及柱体热容量的 Wiener 准则。

C. 与先前工作的比较

• 本文将这些结果与针对凸时间截面的 Petrovskiĭ 准则 (1935) 进行了对比，后者中正则性依赖于对数修正。
• 文章强调，对于 $p \neq 2$，正则性与 $x$ 或 $t$ 中的径向缩放无关，而热方程 ($p=2$) 不具备此性质。
• 文章纠正了 Kilpeläinen–Lindqvist 关于“过去方向的外切球”对所有 $p$ 均充分的断言，表明单个障碍对于 $1 < p < 2$ 是不够的。

4. 意义与启示

1. 几何洞察： 对“苏打罐”域（非凸、幂律收缩）的研究填补了凸域（Petrovskiĭ）与柱形域之间的空白。它揭示了时间截面的几何形状（圆环与圆盘）显著改变了正则性条件，特别是在 $p \neq 2$ 时。
2. 方法论进展： 成功地将 Barenblatt 解 应用于非柱形域中 $p$-抛物方程的障碍构造，展示了处理非线性退化问题的强大技术。幂型障碍和 Barenblatt 型障碍均得出相同的部分正则性精确界限，这一事实暗示了深层的结构联系。
3. 物理解释：
   • 扩散： 结果模拟了物质从收缩源（例如溶解的颗粒）扩散时的浓度分布。正则性意味着当源消失时，浓度连续地趋近于边界值；而不正则性则意味着可能出现跳跃或不连续。
   • 热传递： 在加热器/冷却器穿过介质的背景下，结果决定了介质在分离点附近的温度是否反映了物体的最终温度。
4. 未解决问题： 文章指出了关键的空白，特别是关于 $p > 2$ 在中间范围 $p/(p-1) \le l \le p$ 内的完全正则性，以及 $n=2$ 时抛物柱体的精确容量公式。

正则性条件简表

这项工作显著推进了对时变域中非线性抛物方程边界行为的理解，提供了精确的判据和新颖的障碍构造。