Green representations and global Hölder continuity for solutions of elliptic equations

这篇论文题为《椭圆方程解的格林表示与全局 Hölder 连续性》（Green representations and global H¨older continuity for solutions of elliptic equations），作者为 Duong Minh Duc。文章主要研究了具有退化或奇异系数的椭圆偏微分方程弱解的格林函数表示及其全局正则性（特别是全局 Hölder 连续性）。

以下是对该论文的详细技术总结：

1. 研究问题 (Problem)

文章关注的是定义在有界开集 $\Omega \subset \mathbb{R}^N$ ($N \ge 2$) 上的二阶椭圆方程：
$$Lu \equiv -\sum_{i,j=1}^N \frac{\partial}{\partial x_j} \left( b_{ij} \frac{\partial u}{\partial x_i} \right) = f$$
其中：

• 系数条件：系数矩阵 $B = \{b_{ij}\}$ 是对称可测的，且满足退化椭圆条件 $b|\xi|^2 \le \sum b_{ij}\xi_i\xi_j \le \bar{b}|\xi|^2$。这里 $b$ 和 $\bar{b}$ 是非负可测函数，且 $b^{-1}$ 和 $\bar{b}$ 属于特定的 $L^p$ 空间（如 $L^{\frac{t}{2-t}}$ 和 $L^{\frac{r}{r-2}}$）。
• 非均匀性与退化性：方程不需要是严格椭圆（strictly elliptic）或一致椭圆（uniformly elliptic）的。系数 $b$ 甚至可能不属于 $A_2$ Muckenhoupt 类，且方程可能在某些区域退化。
• 边界条件：解 $u$ 在边界 $\partial \Omega$ 的一部分 $A$ 上为零（$u|_A = 0$），而在其余部分自由。$A$ 被称为“容许集”（admissible set）。
• 右端项：$f \in L^1(\Omega)$。

核心目标：

1. 建立解 $u$ 及其梯度 $\nabla u$ 的格林表示公式（Green representation），即找到函数 $G$ 和 $H_l$ 使得解可以表示为 $f$ 的积分。
2. 利用这些表示和 Riesz 势的性质，证明解 $u$ 的全局 Hölder 连续性。

2. 方法论 (Methodology)

作者采用了一系列现代偏微分方程分析技术，主要步骤如下：

• 加权 Sobolev 空间与函数空间构建：

  • 定义了加权 Sobolev 空间 $W_{b,A}(\Omega)$ 和 $W_{B,A}(\Omega)$，其中范数涉及权重函数 $b$ 和矩阵 $B$。
  • 证明了这些空间嵌入到具有广义一阶偏导数的可测函数空间中，并建立了相关的 Poincaré 型不等式和 Sobolev 嵌入定理。

• 辅助函数与有界性证明 (Serrin 方法的改进)：

  • 借鉴 Serrin [19] 处理局部有界性的方法，但针对全局情形进行了修改。
  • 构造了特殊的截断辅助函数 $F_{s,l}$ 和 $G_{s,l}$（定义 4 和 5），用于处理 $s \in (1, \infty)$ 和 $s \in (1/2, 1]$ 的不同情况。
  • 通过迭代技术（Moser 迭代思想的变体），证明了弱解 $u$ 在 $L^\infty(\Omega)$ 中的全局有界性（命题 14 和 15）。这是后续推导格林函数性质的基础。

• 格林函数的构造与估计：

  • 利用逼近序列（通过光滑函数 $\psi_\rho$ 逼近 Dirac $\delta$ 函数）构造格林函数 $G(x, y)$ 和梯度格林函数 $H_l(x, y)$。
  • 利用命题 16 中的解的衰减估计，证明了 $G$ 和 $H_l$ 的奇异性估计：
    • $|G(x, y)| \le C|x-y|^{-N+2-\zeta}$
    • $|H_l(x, y)| \le C|x-y|^{-N+1-\zeta}$
  • 其中 $\zeta$ 是一个小的正参数，允许系数不满足 $A_2$ 条件。

• Riesz 势与正则性提升：

  • 利用格林表示公式将解 $u$ 和 $\nabla u$ 表示为 Riesz 势 $I_{\Omega, \alpha}$ 作用于 $f$（或 $f$ 与 $u, \nabla u$ 的混合项）。
  • 应用 Hardy-Littlewood-Sobolev 不等式，分析 Riesz 势的映射性质，从而提升解的正则性。
  • 通过迭代论证（Bootstrap argument），逐步提高解及其梯度的可积性，最终达到 Morrey 空间嵌入条件。

3. 主要贡献与结果 (Key Contributions & Results)

A. 格林表示定理 (Theorems 1 & 2)

• 定理 1：在特定的参数范围（$N \in \{2, \dots, 8\}$ 或 $N \ge 3$ 且系数为常数等情形）下，存在格林函数 $G(x, y)$，使得对于 $f \in L^1(\Omega)$，弱解满足：
  $$u(y) = \int_\Omega G(x, y)f(x)dx$$
• 定理 2：存在函数 $H_l(x, y)$，使得解的梯度满足：
  $$-\frac{\partial u}{\partial x_l}(y) = \int_\Omega H_l(x, y)f(x)dx$$
• 突破点：这些结果适用于非一致椭圆、退化（$b$ 可能为零或无界）且非 $A_2$ 类系数的情况，且允许解在边界的部分集合上为零。

B. 全局有界性 (Propositions 14 & 15)

• 证明了在右端项 $f$ 属于特定 $L^\gamma$ 空间且系数满足一定积分条件下，弱解 $u$ 是全局有界的（$u \in L^\infty(\Omega)$）。
• 给出了在系数退化区域外解的衰减估计。

C. 全局 Hölder 连续性 (Theorem 3 & Propositions 22 & 23)

• 定理 3：在满足上述格林表示存在的条件下，若 $\partial \Omega$ 具有最小光滑性（minimally smooth，如凸集或 $C^1$ 边界），且 $f$ 满足特定的可积性条件（如 $f \in L^{\frac{N}{2-\theta}}$ 或涉及 $u, \nabla u$ 的非线性项），则解 $u$ 在 $\bar{\Omega}$ 上是全局 Hölder 连续的。
• 具体地，存在 $\tau \in (0, 1)$ 和常数 $C$，使得 $|u(x) - u(y)| \le C|x-y|^\tau$。
• 命题 23 处理了更一般的情况，其中 $f$ 可能依赖于 $u$ 和 $\nabla u$（如 $|f| \le a_2|\nabla u| + a_1|u| + a_0$），只要系数 $a_i$ 满足特定的 $L^p$ 条件，解依然保持全局 Hölder 连续性。

4. 技术细节与参数限制

• 维度限制：主要结果针对 $N \in \{2, \dots, 8\}$ 给出，对于 $N \ge 9$ 的情况，参数范围受到限制（这与 Sobolev 嵌入和迭代过程中的指数有关）。
• 参数 $\zeta$：引入了一个小的正数 $\zeta$ 来平衡系数的退化程度。当系数满足 $A_2$ 条件或 Dini 连续时，$\zeta$ 可以取为 0，从而恢复经典的格林函数估计（$|x-y|^{-N+2}$）。
• 容许集 $A$：推广了传统的 Dirichlet 边界条件，允许解在边界的一部分上为零，另一部分自由，这增加了模型的物理适用性（如混合边界问题）。

5. 意义 (Significance)

1. 扩展了正则性理论：传统上，全局 Hölder 连续性通常要求系数是一致椭圆且具有一定正则性（如 VMO 或 Dini 连续）。本文证明了即使系数是退化的、奇异的（非 $A_2$），只要满足特定的积分可积性条件，解依然具有良好的全局正则性。
2. 格林函数的存在性：在弱椭圆条件下建立了全局格林函数及其梯度的存在性和点态估计，这是研究非线性问题和数值分析的重要工具。
3. 处理混合边界条件：通过引入“容许集”概念，统一处理了 Dirichlet 边界和自由边界的情况。
4. 方法论创新：通过修改 Serrin 的辅助函数并构建新的迭代框架，成功将局部有界性理论推广到全局，并克服了退化系数带来的困难。

总结：
这篇文章在椭圆方程正则性理论方面做出了重要贡献，特别是在处理退化和非一致椭圆方程的全局格林表示及 Hölder 连续性方面。它放宽了对系数光滑性和椭圆性的严格要求，为研究更广泛的物理和工程问题（如非均匀介质中的扩散过程）提供了坚实的理论基础。