[論文レビュー] Profile decomposition for sequences of Borel measures

Mihai Mariş|arXiv (Cornell University)|Oct 22, 2014

Stability and Controllability of Differential Equations参考文献 11被引用数 4

ひとこと要約

本稿では、濃縮-コンパクト性原理を精緻化することで、任意の有界なBorel測度の列に対するプロファイル分解を確立した。二分岐の場合、常に濃縮する部分を含む部分列を選び取れることを示した。主な貢献は、Sobolev空間における弱極限の解析を可能にする一般化されたプロファイル分解定理の確立であり、$W^{1,p}({\mathbf{R}}^{N})$における有界列の構造への応用を含む。手法は、濃縮する部分列を繰り返し選択することでプロファイルを分離し、濃縮する部分と、ノルムで消える剰余項に分解することに依存する。

ABSTRACT

We prove that, if dichotomy occurs when the concentration-compactness principle is used, the dichotomizing sequence can be choosen so that a nontrivial part of it concentrates. Iterating this argument leads to a profile decomposition for arbitrary sequences of bounded Borel measures. To illustrate our results we give an application to the structure of bouded sequences in the Sobolev space $ W^{1, p}(\R^N)$.

研究の動機と目的

• 濃縮-コンパクト性原理の二分岐の場合の取り扱いの困難さを解消し、二分岐する部分列を、一方の成分が濃縮するように選べることを保証すること。
• 任意の有界なBorel測度の列（特に距離空間上）に対する一般化されたプロファイル分解を構築すること。
• プロファイル分解技法の適用範囲を、特にSobolev空間の文脈において、より広いクラスの測度へと拡張すること。
• 非線形PDEおよび変分法における弱極限およびコンパクト性を研究するための基盤的ツールを提供すること。
• 濃縮するプロファイルとノルムで消える剰余項に測度列を分解する構成的技法を提供すること。

提案手法

• 二分岐の場合に、一方の成分が濃縮する部分列を選べることを示すことで、濃縮-コンパクト性原理の改良版を導入すること。
• 質量分布の分析と濃縮行動の特定に、濃縮関数 $q_n(t) = \sup_{x \in \mathcal{X}} \mu_n(B(x,t))$ を用いること。
• 二分岐の議論を繰り返し適用し、有限個の濃縮するプロファイルと、$L^1$-ノルムで消える剰余項に列を分解すること。
• 密度列 $L^1$ への適用により、$\mu_n(E) = \int_E \rho_n \, d\mu$ を介して測度へ結果を移行すること。
• 弱収束およびコンパクト埋め込み（例：Sobolev埋め込み）を用いて、剰余項およびプロファイルのノルムを制御すること。
• 測度レベルでのプロファイル分解を、$|\nabla u_n|^p + |u_n|^p$ の列に適用することで、$W^{1,p}({\mathbf{R}}^N)$ における分解を確立すること。

実験結果

リサーチクエスチョン

• RQ1 濃縮-コンパクト性原理の二分岐の場合を、列の一方の成分が濃縮するように精緻化できるか？
• RQ2 確率測度に限らず、任意の有界なBorel測度の列に対し、プロファイル分解を構成可能か？
• RQ3 プロファイル分解は、Sobolev空間における有界列の弱極限構造をどのように解析できるか？
• RQ4 剰余項の役割は何か？ そして、なぜノルムで消えるのか？
• RQ5 重み付き $L^1$-有界密度 $\rho_n$ を用いることで、$p \geq N$ の $W^{1,p}({\mathbf{R}}^N)$ に対してもこの手法を拡張可能か？

主な発見

• 任意の距離空間上の有界なBorel測度の列に対して、有限個の濃縮するプロファイルと、$L^1$-ノルムで消える剰余項に分解できるプロファイル分解が存在する。
• 二分岐の場合、一方の成分が濃縮する部分列を選び取れるため、分解の繰り返しによる精緻化が可能である。
• 剰余項 $v_{n,2}^k$ は、$n \to \infty$ で固定 $k$ に対して $\|v_{n,2}^k\|_{L^1({\mathbf{R}}^N)} \to 0$ を満たし、$q \in (p, p^*)$ に対して $k \to \infty$ で $\|v_{n,2}^k\|_{L^q({\mathbf{R}}^N)} \to 0$ となる。
• $p=2$ の場合、勾配ノルムは加法的に分解される：$\|\nabla w_n^k\|_{L^2}^2 = \|\nabla v_{n,1}^k\|_{L^2}^2 + \|\nabla v_{n,2}^k\|_{L^2}^2 + o(1)$ であり、$\|\nabla v_{n,1}^k\|_{L^2}^2 \to \sum_{i=1}^k \|\nabla h_n^i - \nabla V^i\|_{L^2}^2$ となる。
• $N \leq p < \infty$ の場合、$L^{p_\ell}$ ノルムを一様に制御する重み付き $L^1$-有界密度 $\rho_n$ を用いることで、この手法は $W^{1,p}$ へ拡張可能である。