[論文レビュー] Square function and Riesz transform in non-integer dimensions

Svitlana Mayboroda, Alexander Volberg|ArXiv.org|Jun 15, 2009

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

ひとこと要約

本稿では、Hausdorff測度 $H^s$ に関するリーマン変換に関連する平方関数の有限性が、次元 $s$ が整数でなければならないことを確立している。精密な手法を前人研究から発展させ、測度 $\mu$-ほとんど everywhere で平方関数 $S^s\mu(x)$ が有限であれば、$s \in \mathbb{Z}$ が成り立つことを証明しており、主値の存在を仮定する必要のないより弱い条件下で、長年の未解決問題を解決し、既存の結果を強化している。

ABSTRACT

Following a recent paper by X. Tolsa and A. Ruiz de Villa [Non existence of principal values of signed Riesz transforms of non integer dimension, preprint], we show that the finiteness of square function associated with the Riesz transforms with respect to Hausdorff measure $H^s$ implies that $s$ is integer.

研究の動機と目的

• リーマン変換の平方関数の有限性が次元 $s$ が整数であることを意味するかどうかという未解決問題を解消すること。
• リーマン変換の主値の存在を仮定する必要があった既存の結果を、平方関数に関するより弱い条件へと拡張すること。
• 幾何的条件 $s \in \mathbb{Z}$ が、リーマン変換の $L^2$-有界性が平方関数を通じて符号化されることを確立すること。
• 文献[10]の手法を精緻化し、主値の存在を仮定しない条件下で平方関数の条件を扱えるようにすること。

提案手法

• 著者らは、小さなパラメータ $\rho$ に依存する $C^2$ カットオフ関数 $\varphi$ を用いた修正されたリーマン変換 $R^{s,\varphi}_\varepsilon\mu(x)$ を用い、特異性を制御する。
• 測度密度が有界で、修正されたリーマン変換の振動が小さい集合 $F_\delta$ を定義し、小スケールでの正則性を保証する。
• 重要なステップとして、球内に点の列 $y_0, \dots, y_{n+1}$ を構成し、リーマン変換の差の累積が生じるようにし、差の和に対する下界を得る。
• 証明では、$s \notin \mathbb{Z}$ を仮定する背理法を用い、$F_\delta$ における振動制御を用いて、同じ和に対する上界を導出する。
• 上界は、$\delta$-振動と対数項を用いた、差 $|R^{s,\varphi}_\varepsilon\mu(x) - R^{s,\varphi}_\varepsilon\mu(z)|$ の推定を通じて得られる。
• 幾何的構成による下界と振動制御による上界をバランスさせることで、$\tau$ が十分に小さい場合に矛盾が生じ、$s \in \mathbb{Z}$ が導かれる。

実験結果

リサーチクエスチョン

• RQ1 リーマン変換に関連する平方関数 $S^s\mu(x)$ の有限性は、次元 $s$ が整数であることと同値であるか？
• RQ2 $\sup_{\varepsilon>0}|R^s_\varepsilon\mu(x)| < \infty$ という条件を、主値の存在を仮定せず、平方関数の有限性に弱めることが可能か？
• RQ3 主値の存在を仮定しないより弱い仮定のもとで、$s \in \mathbb{Z}$ を示すことは可能か？
• RQ4 主値の存在を仮定する際に用いられた手法を、平方関数の設定に適応し、同じ結論を得られるか？

主な発見

• 測度 $\mu$-ほとんど everywhere で平方関数 $S^s\mu(x)$ が有限であれば、$s$ は整数でなければならない。
• 下界の密度を仮定する必要なく、$0 < \theta^{s,*}_\mu(x) < \infty$ が $\mu$-a.e. で成り立つという唯一の仮定のもとでも、結果は成り立つ。
• 証明では、$s \notin \mathbb{Z}$ を仮定すると、幾何的構成によるリーマン変換差の下界と、$F_\delta$ 集合からの振動制御による上界が両立できないことが示され、矛盾が生じる。
• $\tau$ が十分に小さい場合に、$\theta^s(y_0,\varepsilon) \leq C(\tau + \tau^{1-\alpha})\theta^s(y_0,\varepsilon)$ が得られ、これは $s \in \mathbb{Z}$ でなければ小 $\tau$ に対して不可能である。
• この手法は、$s$、$M$、$\rho$ に依存する定量的関係を示しており、$s$ が整数から離れている場合にも一様に成り立つことを示している。