Orlicz Potential Theory: Balayage, Riesz Measures, and Very Weak Solutions

技术摘要：Orlicz 势能理论：扫掠、Riesz 测度与极弱解

问题陈述
本文旨在为满足 $-\text{div} A(x, \nabla u) = \mu$ 的椭圆方程开发一种非线性势能理论，其中算子 $A$ 表现出一般的 Orlicz 增长特性。核心挑战在于缺乏齐次性和尺度不变性。在经典的 $p$-Laplace 设置中，$A(x, \lambda \xi) = \lambda |\lambda|^{p-2} A(x, \xi)$，而此处考虑的算子由倍增函数 $G$（具体而言，$A(x, \xi) \cdot \xi \approx G(|\xi|)$）控制增长条件，且不假设任何缩放性质。这种缩放性的缺失阻碍了经典非线性势能理论工具的直接应用，例如解的重缩放论证或容量势（capacitary potentials），并导致变分解（重整化解）与势能理论对象（超调函数）之间的等价理论在测度数据问题中存在空白。

研究方法
为了克服缺乏缩放性的问题，作者构建了一个新的、无缩放依赖的框架。该方法通过以下几个相互关联的阶段进行：

1. 障碍问题的正则性： 研究的基础是通过建立在一般 Orlicz 增长条件下障碍问题解的全局 Hölder 正则性来奠定。这一结果至关重要，因为它提供了必要的正则性，以便在不依赖缩放的情况下构造和逼近扫掠（balayages）。
2. 无尺度扫掠理论： 作者开发了一种不依赖于齐次性的扫掠（balayage）和还原（réduite）理论。他们证明了相对于一个集合的函数的扫掠与相应障碍问题的解一致。
3. Riesz 测度与可积性： 利用扫掠理论，本文建立了 $A$-超调函数的积分性质，特别是证明了 $g(|\nabla u|) \in L^1_{\text{loc}}$。这使得可以定义任何 $A$-超调函数 $u$ 相关的唯一非负 Radon 测度，即 Riesz 测度 $\mu[u]$，使其在分布意义下满足方程。
4. 容量估计： 作者推导了对应于不同常数障碍的扫掠的 Riesz 测度的定量估计。这些估计被用于证明 $A$-极集（即超调函数可能趋于无穷大的集合）具有零 $G$-容量。
5. 拟连续性： 利用容量估计，本文证明了 $A$-超调函数是 $G$-拟连续的。这一性质确保了对弥散测度的积分在独立于所选代表元的情况下是良定义的。
6. 等价性证明： 最后，作者结合势能理论框架与靠近奇异测度部分的局部化论证。他们利用 Wolff 势能估计以及奇异测度在集合 $\{u = \infty\}$ 上的集中性质，来弥合分布形式与重整化形式之间的差距。

主要贡献与结果
本文提出了以下主要结果：

• 定理 1.3（容量可忽略性）： 每个 $A$-极集都具有零 $G$-容量。这将非线性势能理论的一个基本原理扩展到了非齐次的 Orlicz 设置中。
• 定理 1.4（拟连续性）： 若 $u$ 是一个 $A$-超调函数，则 $u$ 在 $\Omega$ 中是 $G$-拟连续的。
• 定理 1.6（代表元的存在性）： 每个测度数据问题的重整化解都存在一个 $A$-超调代表元，且该代表元与原解几乎处处相等。
• 定理 1.7（重整化结构）： 每个 $A$-超调函数 $u$ 都是关于其 Riesz 测度 $\mu[u]$ 为数据项的重整化解。
• 主要等价性： 因此，$A$-超调函数类与重整化解类是相等的（在选择下半连续代表元的情况下）。

意义与主张
本文声称提供了第一个针对具有一般 Orlicz 增长的椭圆方程的无尺度势能理论。其主要意义在于将经典等价理论——此前仅在齐次 $p$-增长设置中建立——扩展到了通用的 Orlicz 框架。

作者强调，即使对于幂增长算子（$G(t) = t^p/p$），当丢弃齐次性假设 (1.2) 时，这一结果仍然是全新的。在经典设置中，等价性依赖于缩放论证以及源自齐次势能理论的极集容量可忽略性。通过开发不要求缩放不变性的工具，作者建立了一个与经典等价理论相对应的“真正的无尺度对应物”。

所开发的框架，包括扫掠理论、Riesz 测度分析和容量估计，不仅被呈现为证明等价性的手段，也被视为具有独立价值的自洽的非线性势能理论。它旨在作为进一步研究非齐次设置下解的精细性质及测度数据问题的基础。本文并未提出新的应用或实验方案，而是严格专注于理论开发以及这些等价性的严谨确立。