On the interplay between $(p,q)$-growth and $x$-dependence of the energy integrand: a limit case

1. 研究问题 (Problem Statement)

本文研究的是非自治变分积分泛函局部极小值的局部 Lipschitz 正则性问题。泛函形式为：
$$\mathcal{F}(z) = \int_{\Omega} F(x, Dz) \, dx$$
其中 $\Omega \subset \mathbb{R}^n$ ($n \ge 2$) 是有界开集。

核心挑战与背景：

• (p, q)-增长条件： 能量密度 $F(x, \xi)$ 关于梯度变量 $\xi$ 满足非标准增长条件，即其上下界分别由 $p$ 次和 $q$ 次幂控制 ($1 < p \le q$)。
• x-依赖性（非自治性）： 能量密度 $F$ 显式依赖于空间变量 $x$。为了克服 Lavrentiev 现象并保证正则性，通常要求 $x \mapsto F(x, \xi)$ 具有一定的正则性（如 Sobolev 空间 $W^{1,r}$）。
• 临界指数关系： 既往研究（如 Eleuteri-Marcellini-Mascolo [12]）表明，为了保证极小值的 Lipschitz 连续性，指数 $p, q$ 与空间正则性指数 $r$ 需满足严格不等式：
  $$\frac{q}{p} < 1 + \frac{1}{n} - \frac{1}{r}$$
  当 $r > n$ 时，该条件限制了 $q/p$ 不能过大。
• 本文目标： 研究上述不等式取等号的极限情形（Limit Case），即：
  $$\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$$
  在此临界条件下，通过引入更精细的 $x$-依赖性正则性（Orlicz-Zygmund 空间 $L^r \log^\alpha L$），证明局部 Lipschitz 正则性依然成立。

2. 方法论 (Methodology)

作者采用了一种统一的方法，结合了先验估计、Moser 迭代和逼近技术。主要步骤如下：

A. 假设条件

1. 结构假设： $F(x, \xi) = \tilde{F}(x, |\xi|)$，且关于 $\xi$ 是 $C^2$ 的。
2. 椭圆性与增长： 满足标准的 $(p, q)$ 增长条件和椭圆性条件（涉及常数 $\lambda, \Lambda, \mu$）。
3. x-依赖性正则性： 导数项 $|F_{\xi x}(x, \xi)|$ 被函数 $h(x)$ 控制，且 $h(x)$ 属于 Orlicz-Zygmund 空间 $L^r \log^\alpha L$。具体条件为：
   $$\int_{B_R} h^r \log^\alpha(e+h) \, dx < +\infty$$
   其中 $r \ge n, \alpha \ge 0$。

B. 核心步骤

1. Caccioppoli 型不等式 (Lemma 3.1)：
   针对光滑极小值，推导二阶 Caccioppoli 不等式。利用测试函数 $\phi = \eta^2 (\mu^2 + |Du|^2)^{\gamma/2} u_{x_s}$，结合 $F_{\xi x}$ 的有界性假设，建立二阶导数 $D^2u$ 的积分估计。这是 Moser 迭代的基础。

2. 先验估计与 Moser 迭代 (Theorem 4.1)：

   • 利用 Sobolev 不等式和 Caccioppoli 不等式，构建关于 $V(Du) = (\mu^2 + |Du|^2)^{1/2}$ 的迭代序列。
   • 关键创新点： 在迭代过程中，处理 $h(x)$ 带来的非线性项。作者引入了函数 $L(t) = t^{r-n} \log^\alpha(e+t)$ 及其逆函数 $L^{-1}$。
   • 根据 $r=n$ 和 $r>n$ 以及 $\alpha$ 的取值，分情况讨论迭代极限：
     • 情形 i (标准增长 $p=q$)： $r=n, \alpha > 4n$。
     • 情形 ii (严格不等式)： $p < q, \frac{q}{p} < 1 + \frac{1}{n} - \frac{1}{r}, r > n, \alpha=0$。
     • 情形 iii (极限等式)： $p < q, \frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}, r > n, \alpha > 0$。
   • 通过精细的 Young 不等式和迭代引理（Lemma 2.1），在极限情形下推导出 $L^\infty$ 范数的有界性。

3. 逼近过程 (Section 5)：

   • 由于原泛函可能缺乏足够的光滑性，作者构造了一列光滑泛函 $F_k$ 及其正则化 $F_{\varepsilon, k}$。
   • 证明这些光滑泛函的极小值 $v_{\varepsilon, k}$ 满足上述先验估计。
   • 利用弱收敛和下半连续性，证明原泛函的极小值 $u$ 继承了 $v_{\varepsilon, k}$ 的正则性，从而完成从光滑解到一般解的过渡。

3. 主要结果 (Key Results)

论文证明了在满足特定临界条件下，局部极小值 $u$ 属于 $W^{1, \infty}_{loc}(\Omega)$（即局部 Lipschitz 连续）。

定理 1.2 (极限情形：等式成立)

若 $\frac{q}{p} = 1 + \frac{1}{n} - \frac{1}{r}$，且 $r > n, \alpha > 0$，则 $u \in W^{1, \infty}_{loc}(\Omega)$。
其梯度 $L^\infty$ 范数估计为：
$$\|Du\|_{L^\infty(B_\rho)} \le G\left( \frac{C}{(R-\rho)^n} \int_{B_R} (1 + |Du|^p) \, dx \right)$$
其中增长函数 $G(t)$ 包含指数型项：
$$G(t) = \exp\left( \frac{r}{2p} \cdot \frac{t^{\frac{2p(r-n)}{\alpha n}}}{\dots} \right) t^{\frac{r}{n}} + t^{\frac{1}{p}}$$
这表明在临界情形下，正则性估计呈现出指数增长特征，这是由 $x$-依赖性的对数修正项 $\log^\alpha$ 提供的额外正则性所补偿的。

定理 1.3 (另一极限情形：$r \to n$)

若 $r=n$ 且 $p=q$（标准增长），但 $x$-依赖性满足 $\alpha > 4n$，则 $u \in W^{1, \infty}_{loc}(\Omega)$。
此结果恢复了文献 [2] 中的结论，表明即使在没有 $(p, q)$ 增长差异的情况下，足够强的 $x$-正则性（$W^{1, n \log^\alpha L}$）也能保证 Lipschitz 正则性。

定理 1.4 (严格不等式情形)

若 $\frac{q}{p} < 1 + \frac{1}{n} - \frac{1}{r}$ 且 $\alpha = 0$，则结论成立。
此结果恢复了文献 [12] 的结论，证明了本文的统一框架涵盖了之前的非临界情形。

4. 关键贡献 (Key Contributions)

1. 填补了理论空白： 首次严格证明了在 $(p, q)$-增长与 $x$-依赖性正则性之间的临界等式情形下，局部 Lipschitz 正则性依然成立。此前文献多局限于严格不等式。
2. 统一框架： 提出了一种统一的处理方法，同时覆盖了严格不等式情形、临界等式情形以及标准增长情形（$p=q$）。
3. 精细的正则性刻画： 揭示了 $x$-依赖性的正则性（$L^r \log^\alpha L$ 空间）与增长指数比 $q/p$ 之间的精确平衡关系。在临界情形下，必须引入对数修正项（$\alpha > 0$）来“减缓”椭圆性比率的发散速度。
4. 估计形式的揭示： 在临界情形下，梯度估计函数 $G(t)$ 呈现出指数形式，这反映了在临界条件下正则性获得的难度增加，需要更强的系数正则性来补偿。

5. 意义与影响 (Significance)

• 理论深度： 该研究深化了对非标准增长变分问题（Non-standard growth problems）正则性理论的理解，特别是关于 Lavrentiev 现象的避免和临界指数的处理。
• 应用广泛性： 此类泛函广泛出现在非线性弹性力学、图像处理（如各向异性扩散）和几何分析中。明确临界条件下的正则性为这些领域的数值模拟和物理模型提供了坚实的理论基础。
• 方法论启示： 文中使用的结合 Orlicz-Zygmund 空间与 Moser 迭代的技术，为处理其他具有类似临界增长条件的偏微分方程问题提供了新的工具。
• 未来方向： 作者指出，这种非标准增长与系数正则性之间的相互作用关系将在未来的论文 [17] 中进一步推广。

总结： 本文通过引入精细的 $x$-依赖性正则性条件，成功解决了 $(p, q)$-增长泛函在临界指数比下的 Lipschitz 正则性问题，完善了该领域的正则性理论体系。