[論文レビュー] Principal values for Riesz transforms and rectifiability

Xavier Tolsa|ArXiv.org|Aug 1, 2007

Advanced Harmonic Analysis Research参考文献 1被引用数 4

ひとこと要約

本稿は、$ \mathbb{R}^d $ の部分集合 $ E $ が $ n $-次元 Hausdorff 測度で有限であるとき、$ \mathcal{H}^n|_E $ の $ n $-次元 Riesz 変換の主値が $ \mathcal{H}^n $-ほとんど everywhere に存在することは、$ E $ が $ n $-可縮であるための必要十分条件であることを確立する。証明は、勾配が有界で Hölder-類似の制御を受ける $ n $-次元リプシッツグラフ上での Riesz 変換の鋭い $ L^2 $ 評価に依拠しており、低次元で用いられた曲率に基づく手法に代わるものであり、正の下界密度の仮定を不要にするという長年の未解決問題を解決する。

ABSTRACT

Let $E\subset R^d$ with $H^n(E)\ve} \frac{x-y}{|x-y|^{n+1}} dH^n(y)$$ exists H^n-almost everywhere in E. To prove this result we obtain precise estimates from above and from below for the $L^2$ norm of the n-dimensional Riesz transforms on Lipschitz graphs.

研究の動機と目的

• 正の下界密度の仮定をせず、$ \mathcal{H}^n|_E $ の $ n $-次元 Riesz 変換の主値の存在が $ n $-可縮性を示すかという未解決問題を解決すること。
• Riesz 変換の主値の存在を用いた $ n $-可縮集合の特徴付けを確立すること。
• 高次元における曲率法の代わりに、リプシッツグラフ上での Riesz 変換の鋭い $ L^2 $ 評価を開発すること。
• 接測度の技法を避けるために、$ L^2 $-有界性と maximal function 評価に基づく可縮性の新しい証明戦略を提供すること。

提案手法

• 勾配が有界で Hölder-類似の制御を受ける $ n $-次元リプシッツグラフ上での Riesz 変換の直交成分 $ R^{n,\bot} $ の正確な $ L^2 $-ノルム推定を導出する。
• 測度 $ d\mu = g\,d\mathcal{H}^n|_\Gamma $ を持つグラフ $ \Gamma = \{(x,A(x))\} $ に対して、キーパターン $ \|\text{p.v.}R^{n,\bot}\mu\|_{L^2(\mu)} \approx \|\nabla A\|_2 $ を用いる。ただし、勾配が小さく、$ g $ が有界である条件を満たす。
• dyadic 分解とストップタイムの議論を用いて、問題を立方体に局所化し、切り詰めた Riesz 変換の $ L^2 $ ノルムを制御する。
• Calderón 型の分解と maximal function 評価を用いて、集合 $ \widetilde{F} $ の補集合の寄与を制御し、弱型評価と $ L^4 $-有界性を用いる。
• $ L^2 $ 評価と被覆議論、maximal function 不等式を組み合わせることで、集合が可縮でない場合に矛盾を導く。
• $ L^2 $-有界性の Riesz 変換と切り詰めた Riesz 変換の $ L^4 $-有界性を用いて、主評価における誤差項を制御する。

実験結果

リサーチクエスチョン

• RQ1 正の下界密度の仮定をせず、$ \mathcal{H}^n|_E $ の $ n $-次元 Riesz 変換の主値の存在が $ E $ の $ n $-可縮性を示すか。
• RQ2 リプシッツグラフ上での Riesz 変換の鋭い $ L^2 $ 評価が、高次元における可縮性の特徴付けに用いられるか。
• RQ3 $ n=1 $ の場合に有効だった曲率法は $ n>1 $ に拡張可能か、それとも新たな技法が必要か。
• RQ4 リプシッツグラフ上の Riesz 変換の $ L^2 $-ノルムが、グラフの勾配の $ L^2 $-セミノルムによって制御可能か。
• RQ5 可縮性の特徴付けにおいて直交成分 $ R^{n,\bot} $ の役割は何か、また全 Riesz 変換とはどのように関係するか。

主な発見

• 測度 $ \mathcal{H}^n|_E $ の $ n $-次元 Riesz 変換の主値が $ \mathcal{H}^n $-ほとんど everywhere に存在することは、$ E $ が $ n $-可縮であるための必要十分条件である。
• キーパターン $ \|\text{p.v.}R^{n,\bot}\mu\|_{L^2(\mu)} \approx \|\nabla A\|_2 $ は、$ \|g-1\|_{L^2} \leq C_2\|\nabla A\|_{L^2} $ かつ $ \|\nabla A\|_{L^\infty} \ll 1 $ を満たすリプシッツグラフ上の測度に対して成り立つ。適切な小規模条件のもとで成立する。
• 証明は接測度や曲率に基づく手法を避け、$ L^2 $-評価と maximal function 技法に依拠する。
• 矛盾の議論により、勾配が大きい点の集合 $ F_3 $ が大きい場合、$ \widetilde{F} $ の部分集合における Riesz 変換の $ L^2 $-ノルムが仮定された一様有界性を超えることになり、主仮定に反する。
• $ \mu(F_3) > \alpha^{1/2}\mu(F) $ を仮定すると、$ \|R^{\bot}_{\ell(\cdot),r_0}\mu\|_{L^2(\mu|_{\widetilde{F}\cap 4B_0\setminus B_1})}^2 \gtrsim \alpha^{5/2}\mu(F) $ が導かれる。これは一様 $ L^2 $-有界性と矛盾する。
• 最終的な矛盾は、$ \widetilde{F} $ の部分集合における Riesz 変換の $ L^2 $-ノルムが仮定された一様有界性を超えることにより生じ、主補題の仮定に反する。