[論文レビュー] Partial regularity for elliptic systems with VMO-coefficients

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

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

ひとこと要約

この論文は、空間変数 $x$ において平均振動がゼロ（VMO）であるが、解 $u$ については連続な係数をもつ非同次非線形楕円型系の弱解について、部分 Hölder 継続性を確立する。$\mathcal{A}$-調和近似法を用いて、測度ゼロの閉特異集合を除き、解が 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 条件を扱えるように、$\mathcal{A}$-調和近似法を適応すること。

提案手法

• $(u,\xi)$ に一様に依存する $x \mapsto A(x,u,\xi)/(1+|\xi|)^{p-1}$ に対して VMO 条件を仮定し、$V_{x_0}(x,\rho) \to 0$ を $\rho \to 0$ のとき満たす。
• 解変数 $u$ における $A$ の連続性を、モジュラス $\omega$ を用いて制御する。
• $\mathcal{A}$-調和近似補題を適用し、小さな球内での解をよく近似する $\mathcal{A}$-調和近似を構成する。
• Campanato 型反復法を用いて、振動の減衰とエネルギーの増加を制御し、Hölder 継続性を導出する。
• 超過汎関数 $\Psi(\rho)$ の減衰と正規化エネルギー $C_\alpha(x_0,\rho)$ に基づく二重指数的反復スキームを採用する。
• 再帰的不等式 $\Psi(\theta^k\rho) \leq C_3 \theta^2 \Psi_*(\theta^k\rho)$ を用いて減衰推定を確立し、Hölder 継続性に至る。

実験結果

リサーチクエスチョン

• RQ1 VMO-係数をもつ同次楕円型系の部分正則性結果を、非同次系へ拡張可能か？
• RQ2 非同次項 $f$ が存在する状況でも、係数が $x$ に関してのみ VMO である場合に、$\mathcal{A}$-調和近似法は有効に機能するか？
• RQ3 次元制限（例：$n \leq p+2$）を課さずに、正則性結果を達成可能か？
• RQ4 係数に 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 継続的である。
• $\mathcal{A}$-調和近似法は非同次項と VMO 係数を効果的に扱い、$L^p$-$L^2$ 評価を用いずに直接的証明を可能にする。
• 特異集合は零レベーグ測度であり、正則集合では解はある $\alpha > 0$ に対して $C^{\alpha}$-正則である。
• 超過汎関数 $\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$ の制限を除去する。