[論文レビュー] Limiting Bourgain-Brezis estimates for systems: theme and variations

Jean Van Schaftingen|Nov 26, 2013

Advanced Harmonic Analysis Research参考文献 82被引用数 5

ひとこと要約

本稿は、微分方程式系における制限付きBourgain-Brezis推定の包括的概説を提示し、端点Sobolev空間と臨界可積分性に焦点を当てる。$ du = g $ かつ $ dg = 0 $ を満たす解に対して、$ L^∞ $ の鋭い境界を確立し、古典的Calderón-Zygmund理論を拡張し、Hodge型分解とキャンセル構造を用いて $ W^{1,n} $ の臨界ケースを解消する。

ABSTRACT

J. Bourgain and H. Brezis have obtained in 2002 some new and surprising estimates for systems of linear differential equations, dealing with the endpoint case $\mathrm{L}^1$ of singular integral estimates and the critical Sobolev space $\mathrm{W}^{1, n} (\mathbf{R}^n)$. This paper presents an overview of the results, further developments over the last ten years and challenging open problems.

研究の動機と目的

• 微分方程式系の $ L^1 $ および $ W^{1,n} $ 空間における古典的Calderón-Zygmund理論を、$ L^1 $ および $ W^{1,n} $ の極限ケースに拡張すること。
• $ n \geq 2 $ のとき $ W^{1,n} $ が $ L^∞ $ に埋め込まれないという失敗を、$ dg = 0 $ を満たす $ du = g $ の有界解の構成によって解消すること。
• Lorentz、Besov、Triebel-Lizorkin空間を含む、さまざまな関数空間におけるキャンセリング作用素、Hodge分解、端点推定に関する結果を統一的かつ一般化すること。
• $ df = F $ が連続解 $ f $ を持つような分布 $ F $ を特徴付けることにより、強力な電荷（strong charges）の概念を導入すること。
• 特に高次Heisenberg群およびRumin複体を含む、非等方的および冪等Lie群の設定における未解決問題を探索すること。

提案手法

• $ \mathbf{R}^n $ 上の微分形式におけるHodge分解理論を用い、$ \dot{W}^{1,n} $-形式を有界成分と完全形式に分解する。
• キャンセリングおよびコキャンセリング微分作用素の理論を適用し、$ du = g $ が $ u \in L^\infty $ である有界解をもつときの条件を特徴付ける。
• $ \|\varphi\|_{L^1} $ および $ \|d\varphi\|_{L^1} $ を含む弱有界性条件を満たす分布（強力な電荷）の概念を用い、$ df = F $ が連続解 $ f $ を持つことの可解性を特徴付ける。
• 循環積分法および特異積分推定を用い、$ L^n $ および $ L^\infty $ における端点推定を導出する。
• Rumin複体および高次微分作用素を用いて、非可換同次群（Heisenberg群を含む）に一般化する。
• 双対性および compactly な台を持つ形式に対するテストを用いて鋭い不等式を確立し、$ D_\ell $ 空間およびBMOへの埋め込みを導く。

実験結果

リサーチクエスチョン

• RQ1 $ du = g $ かつ $ dg = 0 $ を満たす解について、古典的Calderón-Zygmund推定 $ \|Du\|_{L^n} \leq C\|g\|_{L^n} $ を $ \|u\|_{L^\infty} \leq C\|g\|_{L^n} $ に強化できるか？
• RQ2 $ \dot{W}^{1,n} $-Sobolev形式の構造は、有界成分と完全形式にどのように分解されるか？ これはHodge理論とどのように関係するか？
• RQ3 キャンセリングおよびコキャンセリング作用素は、臨界Sobolev空間における $ du = g $ の有界解の存在にどのように影響するか？
• RQ4 $ L^1 $-有界形式との双対性によって定義される空間 $ D_{n-1}(\mathbf{R}^n) $ と、$ L^\infty $ や $ \mathrm{BMO} $ などの古典的空間との関係は何か？
• RQ5 Bourgain-Brezis推定は、高次系およびHeisenberg群のような非等方的設定へ拡張可能か？

主な発見

• $ g \in L^n(\mathbf{R}^n; \bigwedge^{\ell+1}\mathbf{R}^n) $ かつ $ dg = 0 $ ならば、$ du = g $ を満たす $ u \in L^\infty(\mathbf{R}^n; \bigwedge^\ell\mathbf{R}^n) $ が存在し、$ \|u\|_{L^\infty} \leq C\|g\|_{L^n} $ を満たす。これは端点ケースを解消する。
• より強い解が存在し、$ \|u\|_{L^\infty} + \|Du\|_{L^n} \leq C\|g\|_{L^n} $ を満たす。これにより $ u \in \dot{W}^{1,n} \cap L^\infty $ が保証され、これは標準的Calderón-Zygmund理論では保証されない。
• $ D_{n-1}(\mathbf{R}^n) $ は双対性によって定義され、$ \dot{W}^{1,n}(\mathbf{R}^n) \subset D_{n-1}(\mathbf{R}^n) $ を満たし、埋め込みは厳密である。すなわち $ \mathrm{L}^\infty \subsetneq D_{n-1} \subsetneq \cdots \subsetneq D_1 \subsetneq \mathrm{BMO} $ である。
• $ F \in \mathcal{D}'(\mathbf{R}^n; \bigwedge^n\mathbf{R}^n) $ が連続的ポテンシャル $ f \in C(\mathbf{R}^n; \bigwedge^{n-1}\mathbf{R}^n) $ を持ち $ df = F $ を満たすことは、$ F $ が強力な電荷であることと同値である。
• Heisenberg群 $ \mathbb{H}^n $ 上では、$ k \leq n $ に対して不等式 $ \Bigl| \int_G \varphi \, \mathrm{Sym}^k(\nabla_b \varphi) \Bigr| \leq C\|f\|_{L^1(G)}\|\nabla_b \varphi\|_{L^Q(G)} $ が成り立つが、対称性が必要であるとは証明されていない。
• 結果は冪等Lie群上の高次系へ拡張可能であるが、一般化は $ \mathbb{H}^1 $ および $ \mathbb{H}^2 $ を超えて、Rumin複体の明示的計算が主な障壁である。