[论文解读] Partial regularity for elliptic systems with VMO-coefficients

Taku Kanazawa|arXiv (Cornell University)|Feb 18, 2013

Nonlinear Partial Differential Equations参考文献 3被引用 4

一句话总结

本文建立了具有在空间变量 $x$ 上振幅均值为零（VMO）系数的非齐次非线性椭圆组弱解的局部 Hölder 连续性，其中系数在解 $u$ 上保持连续。通过 $Γ$-调和逼近技术，作者证明了解在某个闭的、零测度奇点集之外是 Hölder 连续的，将先前结果推广至无维数限制的非齐次系统。

ABSTRACT

We establish partial regularity for vector-valued solutions to inhomogeneous elliptic systems in divergence form where the coefficients are possibly discontinuous with respect to $x$. More precisely, we assume a VMO-condition with respect to the $x$ and continuity with respect to $u$ and prove Hölder continuity of the solutions outside of singular sets.

研究动机与目标

• 建立具有不连续系数的非齐次非线性椭圆组弱解的部分正则性。
• 将 VMO 系数正则性框架从齐次系统推广至非齐次系统。
• 消除先前限制正则性结果的维数限制（例如 $n \leq p+2$）。
• 在系数正则性假设最小化的前提下，证明解在零测度奇点集之外的 Hölder 连续性。
• 将 $Γ$-调和逼近方法适配以处理非齐次项和 VMO 条件。

提出的方法

• 假设对 $x \mapsto A(x,u,\xi)/(1+|\xi|)^{p-1}$ 满足关于 $(u,\xi)$ 一致的 VMO 条件，且满足 $V_{x_0}(x,\rho) \to 0$ 当 $\rho \to 0$。
• 在 $u$ 上施加 $A$ 的连续性，其模连续性为 $\omega$，以确保对解变量的受控依赖。
• 应用 $Γ$-调和逼近引理，构造在小球内能精确模拟解的 $Γ$-调和逼近。
• 使用 Campanato 型迭代论证，控制振幅衰减与能量增长，从而导出 Hölder 连续性。
• 采用基于过剩泛函 $\Psi(\rho)$ 衰减与归一化能量 $C_\alpha(x_0,\rho)$ 的 dyadic 迭代方案。
• 通过涉及 $\Psi(\theta^k\rho) \leq C_3 \theta^2 \Psi_*(\theta^k\rho)$ 的递归不等式建立衰减估计，从而导出几何衰减。

实验结果

研究问题

• RQ1 齐次椭圆系统在 VMO 系数下部分正则性结果能否推广至非齐次系统？
• RQ2 当存在非齐次项 $f$ 且系数仅在 $x$ 上为 VMO 时，$Γ$-调和逼近方法是否仍有效？
• RQ3 能否在不施加如 $n \leq p+2$ 等维数限制下获得正则性结果？
• RQ4 在 $A$ 的 VMO 与连续性假设下，过剩泛函 $\Psi(\rho)$ 的最优衰减速率是什么？
• RQ5 解的奇点集在测度与正则性方面如何表现？

主要发现

• 非齐次系统 $-\mathrm{div}(A(x,u,Du)) = f(x,u,Du)$ 的弱解 $u \in W^{1,p}(\Omega, \mathbb{R}^N)$ 在某个闭的、$\mathscr{L}^n$-零测度奇点集之外是 Hölder 连续的。
• $Γ$-调和逼近技术成功处理了非齐次项与 VMO 系数，实现了无需 $L^p$-$L^2$ 估计的直接证明。
• 奇点集具有零勒贝格测度，且在正则集中解为 $C^{\alpha}$-正则（$\alpha > 0$）。
• 过剩泛函 $\Psi(\rho)$ 的衰减通过递归不等式 $\Psi(\theta^k\rho) \leq C_3 \theta^2 \Psi_*(\theta^k\rho)$ 控制，从而实现几何衰减。
• 证明建立了 $\Psi(\theta^{k+1}\rho) \leq \varepsilon_*$ 与 $C_\alpha(x_0, \theta^{k+1}\rho) < \kappa_*$，确认了 Hölder 连续性所必需的迭代衰减。
• 该结果适用于任意维数 $n \geq 2$ 与 $p \geq 2$，消除了早期研究中如 $n \leq p+2$ 等限制。