[論文レビュー] Non existence of principal values of signed Riesz transforms of non integer dimension

Aleix Ruiz de Villa, Xavier Tolsa|ArXiv.org|Dec 12, 2008

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

ひとこと要約

本稿は、非整数次元 $ s $ の符号付きリーマン変換の主値が、$ \mathbb{R}^m $ 内の非ゼロボレル測度 $ \mu $ に対して、上位 $ s $-密度が有界で、主値が $ \mu $-ほとんど everywhere に存在する場合、その主値は存在し得ないことを証明している。主な結果は、このような存在性が $ s $ が整数でなければならないことを示しており、特に特に関数を構築し、密度推定を用いる独自の解析的手法により、幾何測度論における長年の未解決問題を解決した。

ABSTRACT

In this paper we prove that, given s> 0, if E is a subset of R^m with positive and bounded s-dimensional Hausdorff measure H^s and the principal values of the s-dimensional signed Riesz transform of H^s|E exist H^s-almost everywhere in E, then s is integer. Other more general variants of this result are also proven.

研究の動機と目的

• 非整数次元 $ s \in (n, n+1) $（$ n \in \mathbb{Z} $）に対して、上位 $ s $-密度が有界である場合に、符号付きリーマン変換の主値が存在しうるかを特定すること。
• 測度 $ \mu $-ほとんど everywhere でのリーマン変換の主値の存在が、$ 0 < \theta^{s,*}_{\mu}(x) < \infty $ を満たす場合、$ s \in \mathbb{Z} $ を示すこと。
• 従来の接線測度に依存する結果を拡張し、下位密度の仮定を避けられる新しい手法を導入すること。これには $ C^2 $ 切断関数とエネルギー型推定が用いられる。
• 集合 $ E \subset \mathbb{R}^m $ で $ 0 < H^s(E) < \infty $ である場合、$ H^s|_E $-ほとんど everywhere でのリーマン変換の主値の存在が $ s \in \mathbb{Z} $ を示すこと。

提案手法

• 滑らかでコンパクトな台を持つ切断関数 $ \varphi \in C^2(0,\infty) $ を構築し、特定の性質を満たす：$ r $ が小さいとき $ \varphi(r) = r^{(s+1)/2} $ であり、中間的な $ r $ では線形減衰し、コンパクトな台を持つ。これにより原点付近のリーマン核の制御が可能になる。
• 修正されたリーマン変換 $ R^{s}_{\varphi,\varepsilon}\mu(x) = \int \varphi\left(\frac{|x-y|^2}{\varepsilon^2}\right) \frac{x-y}{|x-y|^{s+1}} d\mu(y) $ を定義し、特異核を正則化し、$ \varepsilon $ 依存のエネルギー推定を可能にする。
• 密度点の議論を用いる：$ F_\delta $ に属する $ x_0 \in \mathbb{R}^m $ に対して、$ x_0 $ を中心とする球内に、下位次元のアフィン部分空間からの分離が制御された $ n+2 $ 個の点を構成する。
• 点配置の幾何的性質と $ \varphi $ の性質を用いて、原点における修正されたリーマン変換の $ L^1 $-ノルムの下界を確立する：$ |U^\varepsilon(0)| \gtrsim \frac{\theta^s(\varepsilon)}{\varepsilon} $。
• リーマン変換 $ R^{s}_{\varphi,\varepsilon}\mu $ の $ F_\delta $ 上でのリプシッツ連続性を用いて、$ |U^\varepsilon(0)| $ の上界を導出し、$ \delta $ に依存し、密度 $ \theta^s(\varepsilon) $ と関連付ける。
• 任意に小さい $ \tau $ に対して $ \theta^s(\varepsilon)r \lesssim \tau \theta^s(\varepsilon)r $ が成り立つことを示し、矛盾を導く。これにより $ s \in \mathbb{Z} $ が強制される。

実験結果

リサーチクエスチョン

• RQ1 上位 $ s $-密度が有界な場合、非整数次元 $ s \in (n, n+1) $ の符号付きリーマン変換の主値が存在しうるか？
• RQ2 リーマン変換の主値が $ \mu $-ほとんど everywhere に存在することは、次元 $ s $ が整数でなければならないことを示唆するか？
• RQ3 正の下位密度の仮定を避け、古典的な接線測度のアプローチを回避して、$ s $ の整数性を証明できるか？
• RQ4 有限な $ H^s $-測度を持つ底面集合 $ E $ におけるリーマン変換の主値の存在性と、$ E $ の可微分性の関係は何か？

主な発見

• 非整数次元 $ s \in (n, n+1) $ の符号付きリーマン変換の主値は、$ \mu $-ほとんど everywhere に存在し得ない。ただし、$ \mu $-ほとんど everywhere で $ 0 < \theta^{s,*}_{\mu}(x) < \infty $ が成り立つ場合。
• ボレル測度 $ \mu $ に対して、主値 $ \lim_{\varepsilon \to 0} R^s_\varepsilon \mu(x) $ が $ \mu $-ほとんど everywhere に存在し、$ \theta^{s,*}_{\mu}(x) < \infty $ ならば、$ s \in \mathbb{Z} $ である。
• 集合 $ E \subset \mathbb{R}^m $ で $ 0 < H^s(E) < \infty $ である場合、$ H^s|_E $-ほとんど everywhere でのリーマン変換の主値の存在は $ s \in \mathbb{Z} $ を示す。
• 証明は、$ C^2 $ 切断関数 $ \varphi $ の独自の構築に依存しており、これによりリーマン核の精密な制御が可能になり、$ s \notin \mathbb{Z} $ の場合に矛盾が生じる。
• 矛盾は、下界 $ |U^\varepsilon(0)| \gtrsim \frac{\theta^s(\varepsilon)}{\varepsilon} $ と上界 $ \delta \cdot \theta^s(\varepsilon) $ の比較から生じる。ここで $ \delta \to 0 $ であり、$ s \in \mathbb{Z} $ が強制される。