Behaviour at infinity for solutions of a mixed boundary value problem via inversion

以下是论文《通过反演研究混合非线性椭圆边值问题解在无穷远处的行为》（作者：Jana Björn 和 Abubakar Mwasa）的详细技术总结。

1. 问题陈述

本文研究无界域中拟线性椭圆方程的混合边值问题。具体而言，作者考虑定义在开无限圆柱半域 $G = B' \times (0, \infty) \subset \mathbb{R}^n$ 中的方程：
$$\text{div } A(x, \nabla u(x)) = 0$$
其中 $B'$ 是 $\mathbb{R}^{n-1}$ 中的单位球。

边界条件为混合条件：

• 狄利克雷条件：在闭子集 $F \subset \partial G$ 上给定连续数据 $u = f$。
• 诺伊曼条件：在边界其余部分 $\partial G \setminus F$ 上，法向导数为零，即 $N_u(x) := A(x, \nabla u) \cdot \nu(x) = 0$。

向量场 $A(x, \nabla u)$ 满足 $p$-椭圆算子（$p > 1$）的标准结构条件，包括单调性、强制性和齐次性。$p$-拉普拉斯方程是该框架下的一个特例。

主要目标包括：

1. 证明具有连续狄利克雷数据的有界弱解的存在性与唯一性。
2. 刻画无穷远点的正则性（即解是否在 $x \to \infty$ 时趋于边界数据的极限）。
3. 描述当狄利克雷边界有界（即在无穷远处仅适用诺伊曼条件）时解的渐近行为，建立弗拉格门 - 林德勒夫三分律。

2. 方法论

本文的核心创新在于利用**几何反演（变量代换）**将无界域上的问题转化为有界域上的问题，从而能够应用退化椭圆方程的既有理论。

A. 反演变换

作者采用映射 $T: G \to D$，其中 $D$ 是去掉原点的开单位上半球。该映射定义为：
$$\xi' = \frac{2e^{-\kappa x_n} x'}{1 + |x'|^2}, \quad \xi_n = \frac{e^{-\kappa x_n}(1 - |x'|^2)}{1 + |x'|^2}$$
该变换的关键性质包括：

• 圆柱中的无穷远点（$x_n \to \infty$）映射为球中的原点（$\xi = 0$）。
• 拟线性算子 $\text{div } A(x, \nabla u)$ 变换为单位球中的加权退化椭圆算子 $\text{div } B(\xi, \nabla \tilde{u}) = 0$。
• 与变换后算子相关的权函数为 $w(\xi) = |\xi|^{p-n}$，该函数属于 Muckenhoupt $A_p$ 类。

B. 通过反射消除诺伊曼数据

方法论中的关键步骤是处理混合边界条件。

• 平直边界部分上的诺伊曼条件（零法向导数）对应于变换域中的对称条件。
• 作者通过关于超平面 $\xi_n = 0$ 反射，将域 $D$ 扩展至整个单位球。
• 通过在反射后的半球中对称地定义算子 $B$，诺伊曼条件自动得到满足。这将圆柱中的混合问题简化为带退化权重的全单位球中的纯狄利克雷问题。

C. 既有理论的应用

一旦简化为带有 $A_p$ 权重的狄利克雷问题，作者便利用退化椭圆方程理论中的工具，具体参考了 Heinonen–Kilpeläinen–Martio [10] 和 Björn–Björn–Mwasa [2] 的工作。他们应用了：

• 佩龙解的存在性与唯一性定理。
• 边界正则性的维纳准则。
• 容量估计与哈纳克不等式。

3. 主要贡献与结果

A. 存在性与唯一性（定理 5.3）

作者证明，对于闭集 $F$（可能是无界的）上的连续狄利克雷数据 $f$，如果极限 $f(\infty)$ 存在且有限，则存在唯一的有界连续弱解 $u$。

• 解在所有 $x_0 \in F$ 处取到边界数据 $f(x_0)$，可能除了一组$C_p$-容量为零的集合外。
• 解在诺伊曼边界上的所有点处是赫尔德连续的。

B. 无穷远处的正则性（定理 6.5）

本文利用维纳型准则刻画了无穷远点的正则性。

• 结果：无穷远点是正则的（即 $\lim_{x \to \infty} u(x) = f(\infty)$），当且仅当狄利克雷边界 $F$ 在无穷远处“足够厚”。
• 准则：这种厚度通过涉及截断圆柱与 $F$ 交集的变分 $p$-容量的积分发散性来衡量：
  $$\int_1^\infty \text{cap}_{p, G_{t-1}}(F \cap (G_t \setminus G_{2t}))^{1/(p-1)} \, dt = \infty$$
• 如果 $F$ 有界（意味着在无穷远处适用诺伊曼条件），则无穷远点是非正则的。

C. 弗拉格门 - 林德勒夫三分律（定理 7.4）

当狄利克雷边界 $F$ 有界（即在无穷远处适用诺伊曼条件）时，作者建立了任意解 $u$ 渐近行为的三分律。当 $x \to \infty$ 时，解必须恰好呈现以下三种行为之一：

1. 收敛：解具有有限极限 $u(\infty)$。收敛是指数级的：$|u(x) - u(\infty)| \lesssim e^{-\kappa \alpha x_n}$。
2. 线性增长/衰减：解大致线性地趋于 $+\infty$ 或 $-\infty$（即 $u(x) \sim A x_n + B$）。
3. 振荡：解变号且在两个方向上无界，满足 $\limsup_{x \to \infty} u(x) = \infty$ 且 $\liminf_{x \to \infty} u(x) = -\infty$。

该结果将线性椭圆方程已知的三分律结果推广到了拟线性混合情形。

4. 意义

• 推广至拟线性方程：此前关于无界域混合边值问题的结果主要局限于线性方程（如拉普拉斯方程或线性散度型方程）。本文将这些结果推广至一般拟线性算子，包括 $p$-拉普拉斯算子。
• 通过反演的统一方法：结合反射的反演变换提供了一种强大而优雅的方法来处理无界域中的混合边界条件，将其转化为有界域上带权重的标准狄利克雷问题。
• 精确刻画：本文提供了关于无穷远点正则性的精确维纳准则，将边界集的几何“厚度”与解的解析行为联系起来。
• 混合问题的三分律：建立混合问题的弗拉格门 - 林德勒夫三分律填补了文献空白，表明即使存在混合边界条件，解也表现出类似于纯诺伊曼或纯狄利克雷情形的结构化渐近行为集合。

总之，本文成功架起了有界域上退化椭圆方程理论与无界圆柱域上混合边值问题理论之间的桥梁，提供了严格的解的存在性、唯一性及渐近分类结果。