[論文レビュー] Failure to slide: a brief note on the interplay between the Kenig-Pipher condition and the absolute continuity of elliptic measures

Bruno Poggi|arXiv (Cornell University)|Dec 20, 2019

Mathematical Analysis and Transform Methods参考文献 3被引用数 5

ひとこと要約

本稿は、修正された Modica-Mortola 建設を用いて、極限における楕円測度の絶対連続性を特徴付ける Kenig-Pipher 条件の失敗を調査する。$A_{\infty}$-正則性は、Kenig-Pipher 条件が破綻する場合でも継続しうることを示し、弱収束下で $A_{\infty}$-定数が劣化することを明らかにした。これにより、楕円行列の空間において、両条件の間には厳密な分離が存在することが示された。

ABSTRACT

In this note, we explore some consequences of the Modica-Mortola construction of a singular elliptic measure, as regards the link between the quantitative absolute continuity ($A_{\infty}$) of their approximations and the suitability of a well-known tool, the so-called Kenig-Pipher condition ($\operatorname{KP}$). The Kenig-Pipher condition is used to ascertain absolute continuity in the presence of some mild regularity of the coefficient matrix. We perform some modifications of the Modica-Mortola example to show the following two statements: (a) There are sequences of matrices for which both $\operatorname{KP}$ and the $A_{\infty}$ condition break down in the limit. (b) There are sequences of matrices for which $\operatorname{KP}$ breaks down but $A_{\infty}$ is preserved in the limit.

研究の動機と目的

• 近似列の極限における楕円測度の絶対連続性を特徴付ける基準としての Kenig-Pipher 条件の頑健性を分析すること。
• 近似行列列において Kenig-Pipher 条件が極限で失敗しても、近似測度の $A_{\infty}$ 性質が存続しうるかどうかを調査すること。
• Kenig-Pipher 条件を満たす行列の集合と $A_{\infty}$ 楕円測度をもたらす行列の集合との境界行動を明確にすること。
• Kenig-Pipher 条件によって $A_{\infty}$ 条件が定量的に制御されないことが示され、両者の同値性が揺らぐこと。

提案手法

• 係数行列 $\phi_j(x)$ の振動振幅を変更することで、Singular 楕円測度の Modica-Mortola 建設を適応し、関連するリエシュ積の挙動を制御する。
• lacunary 列 $\{h_j\}$, $\{k_j\}$ と滑らかなカットオフ関数 $\psi$ を用いて、滑らかで有界かつ一様連続な楕円行列 $A_j$ の列を構成し、$A_j$ が一様に極限行列 $A$ に収束することを保証する。
• リエシュ積 $\mathcal{R}_j$ の収束を介して楕円測度 $\omega_j \to \omega$ の弱収束を分析し、Vitali 収束定理を適用して密度の $L^1$-収束を評価する。
• de la Vallée Poussin の基準と等積分性を用いて、$\mathscr{P}(A_j) \to \infty$ ならば、$A_{\infty}$-定数が極限で劣化することを示す。
• リエシュ積の $L^2$-有界性と $\sum (1/(2j))^2 < \infty$ の和分可能性を用いて、$L^1$-収束と極限測度の絶対連続性を導出する。
• 逆 Hölder 不等式と微分積分学の基本定理を適用し、極限測度 $\omega$ がLebesgue 測度に関して絶対連続であり、$A_{\infty}$ に属することを確認する。

実験結果

リサーチクエスチョン

• RQ1 近似行列列において Kenig-Pipher 条件が極限で失敗しても、$A_{\infty}$ 楕円測度の性質が極限でも保存されることがあるか？
• RQ2 極限において Kenig-Pipher 条件が失敗することは、近似測度の $A_{\infty}$-定数が劣化することを意味するか？
• RQ3 Kenig-Pipher 集合の位相的境界に属する行列のうち、依然として $A_{\infty}$ 楕円測度をもたらすものがあるか？
• RQ4 $A_{\infty}$ 条件は Kenig-Pipher 条件によって定量的に制御されるか、それとも極限において独立であるか？
• RQ5 近似測度の $A_{\infty}$-定数と、極限における Kenig-Pipher 半ノルムの挙動との正確な関係は何か？

主な発見

• Kenig-Pipher 条件が極限で失敗する $A_{\infty}$ 楕円測度の列が存在し、近似測度の $A_{\infty}$-定数が無限大に劣化することが示された。
• 振幅として $\frac{1}{4\pi\sqrt{j}}$ を用いる場合、極限測度 $\omega$ は表面測度に対して特異的であり、近似測度の $A_{\infty}$-定数は発散する。
• 振幅を $\frac{1}{4\pi j}$ に低下させると、リエシュ積 $\mathcal{R}_j$ は $L^2$-有界のまま保たれ、$L^1$ に収束するため、極限測度は絶対連続である。
• 極限測度 $\omega$ は、Vitali 収束定理と逆 Hölder 不等式を用いて $A_{\infty}$ に属することが示されたが、$\mathscr{P}(A) = \infty$ である。
• 列 $\{A_j\}$ は $\mathscr{P}(A_j) \gtrsim j$ を満たすため、Kenig-Pipher 半ノルムが極限で発散し、その失敗が確認された。
• 本構成により $\partial\operatorname{KP} \cap \operatorname{D} \neq \varnothing$ であることが示され、$A_{\infty}$ 性質が Kenig-Pipher 条件によって定量的に導かれないことが証明された。