Revisiting multi-phase variational problems: A Muckenhoupt weight approach

技术摘要：重新审视多相变分问题：一种 Muckenhoupt 权重方法

问题设定
本文研究了如下形式的多相能量泛函局部极小值的正则性理论：
$$\mathcal{F}(v, \Omega) = \int_{\Omega} \left( |\nabla v|^p + \sum_{i=1}^N a_i(x)|\nabla v|^{p_i} \right) dx,$$
其中 $\Omega \subset \mathbb{R}^n$ ($n \geq 2$) 是一个有界开集，$1 < p \leq p_1 \leq \dots \leq p_N < \infty$，且 $a_i(x)$ 是非负调节系数。该泛函模拟了具有多种生长相的复合材料，其中系数 $a_i(x)$ 决定了不同材料组分的几何分布。其相关的 Euler-Lagrange 方程表现出高度非均匀且退化的椭圆性，特别是在系数消失或梯度变得巨大的区域。

方法论转变与动机
对于此类泛函（包括双相情形 $N=1$），传统的正则性结果依赖于结构假设，即要求调节系数 $a_i(\cdot)$ 满足 Hölder 连续性（$C^{0,\alpha}$）并满足特定的增长间隙条件（例如 $p_i \leq p + \alpha_i p/n$）。这些条件确保了 Lavrentiev 现象的消除，并允许构建 De Giorgi 迭代方案。

作者提出了一个不同的结构框架，通过将系数 $a_i$ 属于合适的 Muckenhoupt 权重类（$a_i \in \mathcal{A}_{p_i}$）这一条件来取代经典的 Hölder 连续性假设。这一转变的动机在于物理现实中，强各向异性材料中的系数可能表现出不连续性或奇异性（例如幂型或对数型奇异性），这些特征会违反 Hölder 连续性，但在 Muckenhoupt 框架下仍是可容许的。Muckenhoupt 条件为 Hardy-Littlewood 最大算子在加权空间上的有界性提供了充分必要条件，这对于密度论证至关重要。

核心贡献与方法论
本文通过以下技术步骤，在 Muckenhoupt 假设下建立了此类多相泛函的正则性理论：

1. 消除 Lavrentiev 现象： 作者首先证明了光滑函数在与该泛函相关的自然 Musielak-Orlicz-Sobolev 空间 $W^{1,H}(\Omega)$ 中是稠密的。这是通过证明 Hardy-Littlewood 最大算子在由 Muckenhoupt 系数定义的加权空间上是有界的来实现的。这一密度结果排除了 Lavrentiev 间隙，确保了自然空间上的能量下确界与光滑函数上的能量下确界一致。

2. 高可积性（定理 A）： 利用改进的 Gehring 型论证，本文证明了局部极小值的能量密度 $H(x, |\nabla u|)$ 具有高可积性（$L^{1+\delta_0}_{loc}$）。这依赖于建立极小值的反向 Hölder 不等式，该不等式是通过结合 Caccioppoli 型估计、适用于多相结构的 Sobolev-Poincaré 不等式以及 Muckenhoupt 权重的自改进性质而推导出的。

3. 局部有界性（定理 B）： 在高可积性的基础上，作者建立了极小值的局部有界性（$L^\infty_{loc}$）。这是通过 De Giorgi 型迭代方案实现的。一个关键组成部分是推导出一个专门的水平集不等式，该不等式量化了极小值的振荡，其程度取决于多相能量密度，并考虑了非齐次增长和系数的加权特性。

4. Hölder 连续性（定理 C）： 通过展示较小球内振荡的衰减，证明了极小值的局部 Hölder 连续性。这涉及一个专门的 De Giorgi 型水平集不等式，它连接了有界性和连续性性质，并利用了已建立的 $L^\infty$ 界以及 Muckenhoupt 权重的结构特性。

5. Harnack 不等式（定理 D）： 本文证明了非负局部极小值的 Harnack 不等式，即局部上确界受控于局部下确界。该结果是通过结合弱 Harnack 不等式（下确界估计）和上确界估计推导而来的。由于系数的非正则性，证明过程被指出是非常复杂的，需要精细地结合加权估计和尺度缩放论证来桥接这两个单侧界限。

主要结果

• 定理 A： 局部极小值满足 $H(\cdot, |\nabla u|) \in L^{1+\delta_0}_{loc}(\Omega)$，其中 $\delta_0 > 0$。
• 定理 B： 局部极小值是局部有界的（$u \in L^\infty_{loc}(\Omega)$），并具有将 $L^\infty$ 范数与局部能量联系起来的定量估计。
• 定理 C： 局部极小值是局部 Hölder 连续的（$u \in C^{0,\alpha}_{loc}(\Omega)$）。
• 定理 D： 非负局部极小值满足 Harnack 不等式：$\sup_{B_r} u \leq C \inf_{B_r} u$。

意义与主张
本文声称提供了一个理解非均匀椭圆变分问题中极小值定性行为的新框架，补充了现有文献。通过超越调节系数经典的 Hölder 连续性，作者处理了一类更广泛的、可能在测度为零的集合上消失或趋于无穷大的不规则系数。

最值得注意的是，本文断言，在具有 Muckenhoupt 调节系数的多相设定下证明非负局部极小值的 Harnack 不等式，是此类研究中的首个结果。这一结果提供了一种新的定量工具，用于控制在由于多相增长相互作用及奇异权重导致椭圆性比率可能发生退化或爆炸的设定下的极小值局部行为。这项工作为理解非标准增长问题的正则性做出了贡献，特别是解决了多相模型中缺乏尺度不变性和齐次性所带来的挑战。