[論文レビュー] The Calderón-Zygmund theory for elliptic problems with measure data

Giuseppe Mingione|arXiv (Cornell University)|Sep 24, 2006

Advanced Mathematical Modeling in Engineering被引用数 8

ひとこと要約

この論文は、測度データを伴う非線形楕円型方程式の Calderón-Zygmund 型理論を確立し、Marcinkiewicz 空間および Morrey 空間における解の勾配の新たな微分可能性および可積分性の推定を証明する。測度データの容量および密度特性を分析することで、Lebesgue 空間を超えた正則性結果を、可変可積分スケールにおける最適指数を含めて拡張する鋭い局所的 a priori 推定を導入する。

ABSTRACT

We consider non-linear elliptic equations having a measure in the right hand side, of the type $ \divo a(x,Du)=μ, $ and prove differentiability and integrability results for solutions. New estimates in Marcinkiewicz spaces are also given, and the impact of the measure datum density properties on the regularity of solutions is analyzed in order to build a suitable Calderón-Zygmund theory for the problem. All the regularity results presented in this paper are provided together with explicit local a priori estimates.

研究の動機と目的

• 測度データを伴う非線形楕円型方程式の Calderón-Zygmund 型正則性理論を構築し、古典的な結果を $ L^p $ 空間を超えて拡張すること。
• 測度データの特異性および容量特性が、解の勾配の微分可能性および可積分性に与える影響を分析すること。
• 近似の極限として得られる解の勾配について、Marcinkiewicz 空間および Morrey 空間における鋭い局所的 a priori 推定を確立すること。
• 測度の集中および崩壊特性に基づいて、$ Du $ の最適可積分性を反映する明示的推定を提供すること。
• 適切な構造的仮定の下で、理論を系へと拡張し、推定の鋭さを維持すること。

提案手法

• 解の分布的定義を $ W^{1,1}_0(Ω) $ において用い、$ a(x,Du) \in L^1 $ とし、SOLA（近似の極限として得られる解）フレームワークと整合する。
• 局所的 a priori 界の導出に、切り捨て技術および最大関数推定を用いた比較推定と近似スキームを採用する。
• Marcinkiewicz 空間 $ \mathcal{M}^{m} $ および Morrey 空間 $ \mathcal{M}^{m,\theta} $ における $ Du $ の可積分性を特徴付けるために、容量および弱型推定を適用し、$ m $ は $ p $, $ n $ および測度の同次次元 $ \theta $ に依存する。
• 分数階ソボレフ埋め込みおよび $ W^{\alpha,q,\theta} $ から $ L^t $ への埋め込みを用いて推定を導出し、$ Du $ の正則性を測度の容量特性に関連付ける。
• 単一変数の場合における比較作用素および切り捨て作用素の使用を含む、単調性およびリプシッツ条件に関する重要な補題に依存する。
• 測度条件 $ |\mu|(B_R) \leq M R^{n-\theta} $ の局所的バージョンを検討し、グローバルな可積分性仮定なしに局所的正則性への拡張を可能にする。

実験結果

リサーチクエスチョン

• RQ1 測度データを伴う非線形楕円型方程式の解の勾配 $ Du $ の最適可積分スケールは何か？
• RQ2 測度 $ \mu $ の容量および密度特性（$ |\mu|(B_R) \leq M R^{n-\theta} $ で定量化）は、$ Du $ の正則性にどのように影響するか？
• RQ3 Marcinkiewicz 空間および Morrey 空間における $ Du $ の鋭い局所的 a priori 推定を導出可能か？また、$ p $, $ n $, および $ \theta $ についての最適指数 $ m $ は何か？
• RQ4 理論を系へとどの程度拡張可能か？そのような拡張にはどのような構造的仮定が必要か？
• RQ5 $ \mu \in L^t $ と $ \mu \in L^{1,\theta} $ の場合に $ Du $ の正則性を比較すると、なぜ Morrey 空間推定は Lebesgue 場合に包含されないのか？

主な発見

• 測度 $ \mu \in L^{1,\theta}(\Omega) $ の場合、勾配 $ Du $ は $ m = \frac{n(p-1)}{n-\theta} $ を用いて Marcinkiewicz 空間 $ \mathcal{M}^m(\Omega) $ に属し、$ p > 2 $ の場合、この指数は最適である。
• $ \mu \in L^{1,\theta}(\Omega) $ の場合、勾配は $ \|Du\|_{\mathcal{M}^{m,\theta}(\Omega')} \leq c \left( \|Du\|_{L^{p-1}(\Omega'')} + [M(\Omega'')]^{1/(p-1)} + s|\Omega''|^{1/m} \right) $ を満たし、測度の容量定数に鋭い依存性を示す。
• 指数 $ m = \frac{n(p-1)}{n-\theta} $ は、一般に $ Du \notin L^m $ であるため、$ p > 2 $ の場合に推定を改善できないという意味で鋭いものである。これは埋め込みおよび双対性の議論によって示される。
• $ \mu \in L^t $ の場合、推定 $ Du \in \mathcal{M}^g $ で $ g = \frac{nt(p-1)}{n-t} $ が得られるが、これは $ \theta = n/t $ のときの $ \mathcal{M}^{m,\theta} $ 推定よりも弱い。これは測度を切り捨てることができないためである。
• 同じ構造的仮定の下で、理論は系へと拡張可能であり、切り捨てに基づく補題をベクトル型類似物に置き換えることで成立する。主要な推定は、単調性およびリプシッツ条件にのみ依存する。
• 測度条件 $ |\mu|(B_R) \leq M(\Omega'') R^{n-\theta} $ の局所的バージョン（$ B_R \subset\subset \Omega'' $）は、定数を修正するだけで同じ推定をもたらし、鋭さおよび局所的正則性への適用性を保つ。