Wolff potential estimates for elliptic obstacle problems with generalized Orlicz growth

技术摘要：具有广义 Orlicz 生长的椭圆障碍问题的 Wolff 位势估计

问题陈述
本文研究了在广义 Orlicz 空间框架下，涉及测度数据的椭圆障碍问题。所考虑的主要方程为：
$$-\text{div}\left( \frac{g(x, |Du|)}{|Du|} Du \right) = \mu \quad \text{在 } \Omega \text{ 内},$$
其受到障碍约束 $u \geq \psi$ 在有界区域 $\Omega \subseteq \mathbb{R}^n$ ($n \geq 2$) 上几乎处处成立。其中，$\mu$ 是具有有限全变差的有符号 Radon 测度，$g(x, t)$ 表示满足广义 Orlicz 生长条件的非线性函数。该设定涵盖了特定的情形，如 $p(x)$-生长、扰动变量指数生长以及双相（double-phase）生长。假设障碍函数 $\psi$ 属于 Musielak-Orlicz-Sobolev 空间 $W^{1,G}(\Omega)$，而无需先前文献中要求的更高正则性假设（例如 $W^{2,1}$）。

方法论
作者采用了一种统一的方法来处理椭圆障碍问题，避免了对 $p < 2$ 和 $p \geq 2$ 情况进行分别处理。该方法论通过以下阶段进行：

1. 存在性理论： 利用逼近技术建立 Musielak-Orlicz 空间中解的存在性。作者考虑了一系列具有正则化数据 $f_i \in L^1(\Omega) \cap (W^{1,G}(\Omega))'$ 的逼近问题，这些数据收敛于测度 $\mu$。通过利用空间的反射性和紧致性论证（Banach-Alaoglu 和 Dunford-Pettis 定理），他们证明了逼近解的极限的存在性。
2. 比较估计： 利用多步比较论证来弥合非齐次障碍问题与齐次方程解之间的差距。该过程包括：
   • 将解 $u$ 与具有相同边界条件的齐次障碍问题的解 $w_1$ 进行比较。
   • 将 $w_1$ 与使用正则化系数（使用正则化 Orlicz 函数 $\tilde{G}$）的问题的解 $w_2$ 进行比较。
   • 将 $w_2$ 与一个相关的、不带障碍约束的椭圆方程的解 $w_3$ 进行比较。
   • 将 $w_3$ 与一个具有冻结系数的齐次方程的解 $w_4$ 进行比较。
3. 过剩衰减与位势估计： 利用比较估计，作者推导了梯度的过剩衰减（excess decay）估计。随后通过迭代这些估计来获得点值界限。分析的核心依赖于 Wolff 位势和受限分数阶极大函数，用以量化测度数据 $\mu$ 和障碍 $\psi$ 对解正则性的影响。

主要贡献与结果

• 解的存在性 (定理 1.13)： 本文在满足关于生长函数 $G$ 的极小结构假设（具体为条件 (aInc)$_p$, (aDec)$_q$, (A0), 和 (A1)）下，建立了障碍问题 $OP(\psi; \mu)$ 在 Musielak-Orlicz 空间 $T^{1,G}_h(\Omega)$ 中至少存在一个可逼近解。
• 梯度点值估计 (定理 1.15)： 作者推导了梯度关于 Wolff 位势 $W^\mu_{\beta, p}$ 和受限锐利分数阶极大函数 $M^\#_{\alpha, R}$ 的点值估计。这些估计明确考虑了测度数据 $\mu$ 和障碍 $\psi$ 的正则性。在障碍满足 Dini-BMO 正则性条件的假设下，这些估计成立。
• 振荡与 $C^{1,\alpha}$ 正则性 (定理 1.16)： 通过精化点值估计，本文推导了梯度的振荡估计。具体而言，它证明了如果测度数据和障碍满足适当的可积性和正则性条件（包括连续模度的 Dini-Hölder 正则性），则解 $u$ 具有 $C^{1,\alpha}$ 正则性。梯度估计表示为：
  $$|Du(x) - Du(y)| \leq C |x-y|^\alpha \left( \涉及 Du, \mu, \text{ 以及 } \psi \text{ 的积分项} \right).$$
  这些界限涉及测度数据的 Wolff 位势以及与障碍梯度相关的积分项。

意义与主张
本文声称扩展了该领域的先前研究成果，特别是通过移除对障碍函数 $\psi$ 更高正则性的要求，从而改进了 [50, 51] 中的发现。先前的研究通常假设 $\psi \in W^{1,G}(\Omega) \cap W^{2,1}(\Omega)$，以便于对测度 $\mu$ 和障碍项 $D\Psi$ 进行统一处理。本研究证明，在建立 Wolff 位势估计和 $C^{1,\alpha}$ 正则性时，这种更高的正则性并非必要。

此外，作者强调了其框架的普适性，该框架在同一套假设下涵盖了 Orlicz、变量指数以及双相生长条件。文中强调的一个重要的技术优势是 $p < 2$ 和 $p \geq 2$ 情况的统一处理，这消除了为不同生长机制采用不同分析方法的需要。这些结果为具有测度数据的椭圆障碍问题在广义 Orlicz 生长这一广泛背景下的正则性提供了全面的位势理论描述。