[論文レビュー] The $Tb$-theorem on non-homogeneous spaces that proves a conjecture of Vitushkin

Fëdor Nazarov, Sergei Treil+1 more|arXiv (Cornell University)|Jan 10, 2014

Advanced Harmonic Analysis Research参考文献 17被引用数 25

ひとこと要約

この論文は、非一様空間における定量的 $ Tb $-定理を確立することで、複素平面におけるコンパクト集合の解析的容量に関するヴィトゥシュキンの予想を証明する。これは、アーフォルズ正則性条件を満たす場合に、コーシー特異積分作用素が $ L^2 $-関数上で有界であることを示し、解析的容量の半加法性の証明およびカルデロン＝ジグムンド作用素に対する画期的な「すべてか、ゼロか」の原理の確立に繋がる。

ABSTRACT

This article was written in 1999, and was posted as a preprint in CRM (Barcelona) preprint series $n^0\, 519$ in 2000. However, recently CRM erased all preprints dated before 2006 from its site, and this paper became inacessible. It has certain importance though, as the reader shall see. Formally this paper is a proof of the (qualitative version of the) Vitushkin conjecture. The last section is concerned with the quantitative version. This quantitative version turns out to be very important. It allowed Xavier Tolsa to close the subject concerning Vtushkin's conjectures: namely, using the quantitative nonhomogeneous $Tb$ theorem proved in the present paper, he proved the semiadditivity of analytic capacity. Another "theorem", which is implicitly contained in this paper, is the statement that any non-vanishing $L^2$-function is accretive in the sense that if one has a finite measure $μ$ on the complex plane ${\mathbb C}$ that is Ahlfors at almost every point (i.e. for $μ$-almost every $x\in {\mathbb C}$ there exists a constant $M>0$ such that $μ(B(x,r))\le Mr$ for every $r>0$) then any one-dimensional antisymmetric Calderón-Zygmund operator $K$ (e.g. a Cauchy integral type operator) satisfies the following "all-or-nothing" princple: if there exists at least one function $ϕ\in L^2(μ)$ such that $ϕ(x) e 0$ for $μ$-almost every $x\in {\mathbb C}$ and such that {\it the maximal singular operator} $K^*ϕ\in L^2(μ)$, then there exists an everywhere positive weight $w(x)$, such that $K$ acts from $L^2(μ)$ to $L^2(wdμ)$.

研究の動機と目的

• ファイニット・ハウスドルフ・メジャー $ \mathcal{H}^1 $-測度を有する集合の解析的容量に関するヴィトゥシュキンの予想の定性的および定量的バージョンを解決すること。
• アーフォルズ正則性を満たす一般測度に対して、非一様空間における $ Tb $-定理を確立し、古典的結果を一般化すること。
• 定量的 $ Tb $-定理を用いて解析的容量の半加法性を証明することで、幾何的関数論における長年の未解決問題を解決すること。
• 1次元反対称カルデロン＝ジグムンド作用素に対して「すべてか、ゼロか」の原理を示すこと：ある非自明関数に対して最大特異作用素が $ L^2 $ 上で有界であれば、正の重み付き $ L^2 $ 空間上でも有界である。

提案手法

• 著者らは、非一様測度上での特異積分の挙動を制御するため、完全なランダムなダイアディック格子と「完全なヘア」を用いた新しい枠組みを導入する。
• 平面のホイットニー分解を用いてコーシー特異作用素の作用を局所化し、ダイアディックストップタイム技法を用いてその最大関数を推定する。
• 重要な要素として、測度の幾何構造に適合した「バンプ関数」として機能する関数 $ \Phi $ の構成を行う。これにより作用素ノルムの制御が可能になる。
• 非自明関数への最大特異作用素の $ L^2 $-ノルムに基づいて作用素ノルムを評価する定量的 $ Tb $-定理に依拠する。
• シュタイン＝ウエイスにインspiredされた双対性の議論を用い、最大関数の分布を推定し、作用素ノルムが大きすぎる場合に矛盾を導く。
• アーフォルズ半径 $ \mathcal{R}(x) $ の概念を分析に取り入れ、測度の台に近い特異性を取り扱うために「カットオフ」アプローチを用いる。

実験結果

リサーチクエスチョン

• RQ1 有限 $ \mathcal{H}^1 $-測度を有する集合上でのコーシー特異作用素は、解析的容量が正であることを示唆する有界性条件を満たすか？
• RQ2 測度がアーフォルズ正則性を満たすのみの非一様設定において、カルデロン＝ジグムンド作用素に対する「すべてか、ゼロか」の原理を確立できるか？
• RQ3 解析的容量の半加法性は、非一様空間上での定量的 $ Tb $-定理の結果として導かれるか？
• RQ4 非自明な $ L^2 $-関数 $ \varphi $ が $ K^*\varphi \in L^2 $ を満たす場合、正の重み $ w $ が存在して $ K $ が $ L^2(\mu) $ から $ L^2(wd\mu) $ に有界であることを示せるか？
• RQ5 $ \|K^*\varphi\|_{L^2} $ の大きさ、$ |\varphi| $ の本質的下限、および正の測度を有する集合上での作用素ノルムの間の正確な定量的関係は何か？

主な発見

• この論文は、ヴィトゥシュキンの予想の定性的なバージョンを証明する：$ \mathcal{H}^1(E) < \infty $ ならば、$ \gamma(E) = 0 $ であることと、任意の長さが有限のリーマン可能な曲線 $ \Gamma $ に対して $ \mathcal{H}^1(E \cap \Gamma) = 0 $ であることは同値である。
• 本論文で確立された定量的 $ Tb $-定理は、半世紀にわたって未解決のままであった解析的容量の半加法性を示唆する。
• 「すべてか、ゼロか」の原理が証明された：ある非自明な $ \varphi \in L^2(\mu) $ が存在して $ K^*\varphi \in L^2(\mu) $ ならば、正の重み $ w $ が存在し、$ K $ は $ L^2(\mu) $ から $ L^2(wd\mu) $ に有界であり、そのノルムは $ \|K^*\varphi\|_{L^2} $ と $ |\varphi| $ の本質的下限によって制御される。
• 明示的な推定式が与えられる：正の $ \mu $-測度を有する集合 $ E $ における作用素のノルムは $ \|K|_{L^2(E,\mu)}\| \leq B + ACM $ を満たす。ここで $ B $ は $ \|T\|_{L^2 \to L^2} $、$ \|\widetilde{M}\|_{L^2 \to L^2} $、次元 $ n $ に依存する。
• 測度 $ \mu $ はほとんど至る点で $ 2M $-アーフォルズ正則であると仮定され、作用素ノルムの境界は $ C $、$ M $、および作用素ノルムにのみ依存する一様な形で与えられる。
• 証明では、$ |T\nu(x)| > (B + ACM)t $ を満たす集合の測度が $ 4/t $ 未満であることを示し、作用素が無限大であると仮定すると矛盾が生じることを示す。これにより有界性が証明される。