[論文レビュー] Geometric conditions for the $L^2$-boundedness of singular integral operators with odd kernels with respect to measures with polynomial growth in $\mathbb{R}^d$

Daniel Girela-Sarrión|arXiv (Cornell University)|May 27, 2015

Advanced Harmonic Analysis Research参考文献 9被引用数 10

ひとこと要約

本稿は、$\mathbb{R}^d$ 内の多項式成長を示す Radon 測度について、Jones、David、Semmes の $β$-数に基づく幾何的条件を確立し、奇関数で $c^2$ 級の Calderón-Zygmund 核を持つ特異積分作用素の $L^2(\mu)$-有界性を保証する。主な結果は、これらの幾何的条件が満たされれば、すべての such 作用素が $L^2(\mu)$ で有界であることを示し、リーマン・ハーモニック容量の新しい下界を、測度的および幾何的性質に基づいて得ることにつながる。

ABSTRACT

Let $μ$ be a finite Radon measure in $\mathbb{R}^d$ with polynomial growth of degree $n$, although not necessarily $n$-AD-regular. We prove that under some geometric conditions on $μ$ that are closely related to rectifiability and involve the so-called $β$-numbers of Jones, David and Semmes, all singular integral operators with an odd and sufficiently smooth Calderón-Zygmund kernel are bounded in $L^2(μ)$. As a corollary, we obtain a lower bound for the Lipschitz harmonic capacity of a compact set in $\mathbb{R}^d$ only in terms of its metric and geometric properties.

研究の動機と目的

• 多項式成長を示す測度 $μ$ に対して、奇関数で $c^2$ 級の Calderón-Zygmund 核を持つ特異積分作用素の $L^2(\mu)$-有界性を保証する十分な幾何的条件を確立すること。
• 曲率ではなく $β$-数に基づく新しいコロナ分解を用いて、Tolsa のコーシー作用素に関する $L^2$-有界性結果を高次元に拡張すること。
• 集合の測度的および幾何的性質のみを用いて、$\mathbb{R}^d$ 内のコンパクト集合のリーマン・ハーモニック容量の新しい下界を導出すること。
• Ahlfors-David 正則性の仮定を越えて、多項式成長を示す測度上の特異積分の理論を一般化すること。

提案手法

• 証明は、Jones、David、Semmes の $β$-数に基づく新しいコロナ分解に依存しており、これは dyadic な立方体内での測度の平坦さを定量化する。
• 特異積分作用素は、コロナ分解内の各ツリーに関連する作用素 $K_R$ の和に分解され、局所的解析が可能になる。
• 各 $K_R$ は、各ツリー内での Ahlfors-David 正則性を持つ曲線の弧長による測度 $\mu$ の近似により、$L^2(\mu)$ で有界であることが示される。
• コロナ分解の構造と $β$-数の減衰性を用いて、作用素 $K_R$ の準直交性が確立される。
• 全作用素の $L^2(\mu)$-ノルムは、$\theta_\mu^n(x,r)$ および $\beta_\mu^{n,2}(x,r)$ の係数を含む、dyadic な dyadic パラプロダクト型推定式によって制御される。
• 主な推定式は、$β$-数の積分と測度の成長を用いて、$\|K_R\mu\|_{L^2(\mu)}^2$ の和および交差項 $\langle K_R\mu, K_{R'}\mu \rangle_\mu$ を有界化することによって得られる。

実験結果

リサーチクエスチョン

• RQ1 $\mathbb{R}^d$ 内で多項式成長を示す測度 $μ$ に対して、奇関数で $c^2$ 級の核を持つ特異積分作用素が $L^2(\mu)$ で有界となるのは、どのような幾何的条件下か？
• RQ2 Ahlfors-David 正則性を仮定しない状況で、リーマン・ハーモニック容量の下界は、$β$-数や測度の成長といった幾何的量によって特徴づけられるか？
• RQ3 曲率ではなく $β$-数に基づくコロナ分解を用いることで、高次元における Calderón-Zygmund 作用素の $L^2(\mu)$-有界性はどのように確立できるか？
• RQ4 特異積分作用素の $L^2(\mu)$-有界性と、$\mathbb{R}^d$ 内のコンパクト集合のリーマン・ハーモニック容量の間にはどのような関係があるか？
• RQ5 解析的仮定を一切用いずに、集合の幾何的および測度的性質のみからリーマン・ハーモニック容量の下界を導出できるか？

主な発見

• 奇関数で $c^2$ 級の核を持つすべての特異積分作用素の $L^2(\mu)$-有界性は、$\beta_\mu^{n,2}$ 係数と測度の成長を含む幾何的条件のもとで確立された。
• 主な推定式は、$\|T\mu\|_{L^2(\mu)}^2 \lesssim \|\mu\| + \iint_0^1 \beta_\mu^{n,2}(x,r)^2 \theta_\mu^n(x,r) \frac{dr}{r} d\mu(x)$ であり、これは作用素ノルムを幾何的データによって制御することを示している。
• 証明により、ツリーに基づく作用素 $K_R$ の $L^2$-ノルムの和とその交差項の和が、$\sum_{R\in\mathsf{Top}} \theta_\mu^n(B_R)^2 \mu(B_R)$ によって制御され、これは幾何的積分と同値であることが示された。
• $\u03b2$-数に基づくコロナ分解により、Tolsa の結果を $\mathbb{C}$ から $\mathbb{R}^d$ に一般化でき、曲率に基づく議論の必要がなくなる。
• リーマン・ハーモニック容量 $\kappa(E)$ の新しい下界が導出された：任意の測度 $\mu$ に対して $\kappa(E) \gtrsim \mu(E)$ が成り立ち、$\mu(B(x,r)) \leq r^n$ および $\|\mathcal{R}_\mu\|_{L^2(\mu)\to L^2(\mu)} \leq C$ を満たし、$C$ は絶対定数である。
• この結果は、コンパクト集合 $E \subset \mathbb{R}^d$ のリーマン・ハーモニック容量が、解析的滑らかさに依存しない、$β$-数と測度の成長を含む幾何的量によって下から抑えられることを示している。