[論文レビュー] Failure of necessity of the energy condition

Eric T. Sawyer, Chun‐Yen Shen+1 more|arXiv (Cornell University)|Jul 20, 2016

Geometric Analysis and Curvature Flows参考文献 18被引用数 3

ひとこと要約

この論文は、核が楕円的であっても、キャンセル性をもつCalderón-Zygmund作用素の二重重み$L^2$有界性に対してエネルギー条件が必要ではないことを示す反例を構築する。著者らは、楕円的ではあるが勾配楕円的でない平坦化されたヒルベルト核を定義し、実数直線上で作用素が有界であるがエネルギー条件が成立しないような重みの組を構成する。これにより、二重重み$T1$定理においてエネルギー条件が必要となるのは勾配楕円性が成立する場合に限ることを示している。

ABSTRACT

We give an example of a pair of weights (u,v) on the line, and an elliptic convolution singular integral operator H on the line, such that H_u is bounded from L^2(u) to L^2(v), yet the measure pair (u,v) fails to satisfy the backward energy condition. The key to the construction is that the kernel K of H has flat spots where d/dx K(x) = 0. Conversely, we show that if H is gradient elliptic, i.e. d/dx K(x) =< c < 0, then the energy conditions are necessary for boundedness of H, and by our theorem in arXiv:1603.04332v2, the T1 theorem holds for H.

研究の動機と目的

• 特異積分作用素の二重重み$T1$定理におけるエネルギー条件の必要性を疑問視すること。
• 作用素が有界であるがエネルギー条件が成立しない反例を構築すること。
• 勾配楕円性がエネルギー条件の必要性に果たす役割を明確にすること。
• 核が勾配楕円的でない場合でさえ、標準的楕円性を満たすならばエネルギー条件は不要であることを示すこと。

提案手法

• 核$K_{\flat}(x)$の滑らかで平坦化されたバージョンを構成し、$|K_{\flat}(x)| \gtrsim 1/|x|$を満たすが、$|K_{\flat}'(x)| \gtrsim 1/|x|^2$を満たさないことを確認する。
• この核を用いて、楕円的ではあるが勾配楕円的でない特異積分作用素$H_{\flat}$を定義する。
• 自己相似なカントール型測度の構成を用いて、$\mathbb{R}$ 上の重みの組$(\widehat{\sigma}, \widehat{\omega})$を構成する。
• dyadic木構造と自己相似性を用いて、区間上のテスト条件とエネルギー条件を分析する。
• 前方および後方のテスト条件が一様に成立し、$A_2$条件が有限であることを示す。
• $(\widehat{\sigma}, \widehat{\omega})$に対して後方エネルギー条件が成立しないが、作用素は$L^2(\widehat{\sigma})$から$L^2(\widehat{\omega})$への有界作用素のままであることを証明する。

実験結果

リサーチクエスチョン

• RQ1 キャンセル性をもつCalderón-Zygmund作用素の二重重み$L^2$有界性に対して、エネルギー条件は必要か？
• RQ2 有界作用素がエネルギー条件を満たさないまま、$A_2$条件およびテスト条件を満たすことは可能か？
• RQ3 核に勾配楕円性が欠如している場合、エネルギー条件の必要性は無効になるか？
• RQ4 非勾配楕円的核が、エネルギー条件なしに二重重み$T1$定理を満たすことは可能か？
• RQ5 エネルギー条件が必要となるための核の滑らかさの最小要件は何か？

主な発見

• 構成された重み$(\widehat{\sigma}, \widehat{\omega})$に対して、作用素$H_{\flat,\sigma}$は$L^2(\widehat{\sigma})$から$L^2(\widehat{\omega})$への有界作用素である。
• 測度の組$(\widehat{\sigma}, \widehat{\omega})$は$A_2$条件および前方・後方のテスト条件を一様に満たす。
• 後方エネルギー条件は$(\widehat{\sigma}, \widehat{\omega})$に対して成立しないが、作用素の有界性は保たれている。
• 核$K_{\flat}$は楕円的ではあるが勾配楕円的でない。これは、$K_{\flat}$が平坦な区間で$K_{\flat}'(x) = 0$となるためである。
• エネルギー条件の不成立は、核が勾配楕円的でないことに起因しており、この性質がエネルギー条件の必要性に不可欠であることを示している。
• この結果は、エネルギー条件が二重重み$T1$定理において普遍的に必要であるとは限らず、勾配楕円性が仮定されている場合に限って必要となることを示唆している。