[论文解读] Wolff potentials and local behaviour of solutions to measure data elliptic problems with Orlicz growth

Iwona Chlebicka, Flavia Giannetti+1 more|arXiv (Cornell University)|Jun 3, 2020

Nonlinear Partial Differential Equations参考文献 62被引用 5

一句话总结

本文通过广义 Wolff 位势，为具有 Orlicz 型增长的测度数据椭圆问题的解建立了精确的逐点估计，证明了同一潜在函数同时控制上界与下界。关键贡献在于通过 Orlicz 版本的 Hedberg–Wolff 定理，完全刻画了 Orlicz-Sobolev 空间的对偶空间，其应用涵盖非常弱解的正则性与连续性。

ABSTRACT

We establish pointwise estimates expressed in terms of a nonlinear potential of a generalized Wolff type for $A$-superharmonic functions with nonlinear operator $A:Ω imes\mathbb{R}^n o\mathbb{R}^n$ having measurable dependence on the spacial variable and Orlicz growth with respect to the last variable. The result is sharp as the same potential controls bounds from above and from below. Applying it we provide a bunch of precise regularity results including continuity and Hölder continuity for solutions to problems involving measures that satisfies conditions expressed in the natural scales. Finally, we give a variant of Hedberg--Wolff theorem on characterization of the dual of the Orlicz space.

研究动机与目标

• 使用适用于可测、Orlicz 增长算子的广义 Wolff 位势，建立 ${\mathcal{A}}$-超调和函数的逐点估计。
• 在自然尺度条件下，为具有测度数据的椭圆问题的非常弱解建立正则性结果，如连续性与 Hölder 连续性。
• 通过 Orlicz-Hedberg–Wolff 定理，完全刻画 Orlicz-Sobolev 空间的对偶空间。
• 将经典势论推广至非齐次、非标准增长的算子，包括 $p$-拉普拉斯算子与 Zygmund 型增长。
• 处理所有满足加倍性质的 Orlicz 函数 $G$，且不假设算子 $\mathcal{A}$ 的齐次性或 $p$-齐次性。

提出的方法

• 使用适用于 Orlicz 增长的广义 Wolff 位势形式 $\mathcal{W}_G^\mu(x_0,R) = \int_0^R \left( \frac{\mu(B(x_0,r))}{r^{n-1}} \right)^{1/(p-1)} dr$。
• 通过截断逼近方案定义非常弱解（SOLA），即使弱解不存在时也能保证存在性。
• 应用比较原理与 Harnack 型不等式，控制振荡并建立局部有界性。
• 在 Orlicz 空间中利用 Hölder 不等式，通过 $G$-平均与 $\widetilde{G}$-平均估计控制梯度范数。
• 利用 $G$ 上的 $\Delta_2 \cap \nabla_2$ 条件，确保逼近梯度的 $L^G$-范数一致有界。
• 通过单位分解对测度进行分解，实现分析的局部化，并推广全局对偶空间刻画。

实验结果

研究问题

• RQ1 能否以广义 Wolff 位势表达具有 Orlicz 增长的测度数据椭圆问题解的逐点估计？
• RQ2 同一广义 Wolff 位势是否能同时控制非齐次、可测 Orlicz 增长算子下 ${\mathcal{A}}$-超调和函数的上界与下界？
• RQ3 测度 $\mu$ 需满足何种条件，才能保证 $\mu \in (W^{1,G}_0(\Omega))^\prime$，即 Orlicz-Sobolev 空间 $W^{1,G}_0(\Omega)$ 的对偶空间？
• RQ4 如何将经典的 Hedberg–Wolff 定理推广至 Orlicz 设置，以完全刻画对偶空间？
• RQ5 从非常弱解的位势估计中，可推导出哪些正则性性质，如连续性或 Hölder 连续性？

主要发现

• 广义 Wolff 位势 $\mathcal{W}_G^\mu(x,R)$ 为 ${\mathcal{A}}$-超调和函数提供了精确的双侧逐点界，常数仅依赖于数据与维数。
• 对于任意满足 $\int_\Omega \mathcal{W}_G^\mu(x,R)\,d\mu(x) < \infty$ 的测度 $\mu$，均有 $\mu \in (W^{1,G}_0(\Omega))^\prime$，从而建立了必要且充分条件。
• Orlicz-Sobolev 空间 $W^{1,G}_0(\Omega)$ 的对偶空间完全由条件 $\int_\Omega \mathcal{W}_G^\mu(x,R)\,d\mu(x) < \infty$ 刻画，将经典 Hedberg–Wolff 定理推广至 Orlicz 空间。
• 在条件 $\int_\Omega \mathcal{W}_G^\mu(x,R)\,d\mu(x) < \infty$ 下，问题 $-\mathrm{div}\,\mathcal{A}(x,Du) = \mu$ 的解具有局部有界性与连续性，更强条件下还具有 Hölder 连续性。
• 解类包括 $p$-拉普拉斯算子与 Zygmund 型算子 $G(s) = s^p \log^\alpha(1+s)$，$p>1$，$\alpha \geq 0$ 及其复合形式。
• 证明过程避免了经典齐次性假设，允许算子 $\mathcal{A}$ 对 $x$ 可测依赖与非齐次增长，从而将适用范围扩展至超越 $p$-拉普拉斯理论的领域。