[論文レビュー] The $s$-Riesz transform of an $s$-dimensional measure in $\R^2$ is unbounded for $1<s<2$

Vladimir Eiderman, Fëdor Nazarov+1 more|arXiv (Cornell University)|Sep 10, 2011

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

ひとこと要約

この論文は、R²におけるs次元測度のs-Riesz変換が、すべてのs ∈ (1, 2)に対してL∞(m²)で有界でないことを証明し、特異積分論における長年の未解決問題を解決した。非同次調和解析、最大関数推定、および滑らかにした測度とニュートンポテンシャルを用いた摂動論的議論を組み合わせる新規な手法により、有限で完全に下から不規則なs次元測度が有界なRiesz変換を持つことは不可能であることが示され、非整数s ∈ (0, 2)のすべてのケースについて証明が完成した。

ABSTRACT

In this paper, we prove that for $s\in(1,2)$ there exists no totally lower irregular finite positive Borel measure $\mu$ in $\R^2$ with\break $\mathcal H^s(\supp\mu)<+\infty$ such that $\|R\mu\|\ci{L^\infty(m_2)}<+\infty$, where $R\mu=\mu\ast\frac{x}{|x|^{s+1}}$ and $m_2$ is the Lebesgue measure in $\R^2$. Combined with known results of Prat and Vihtil\"a, this shows that for any non-integer $s\in(0,2)$ and any finite positive Borel measure in $\R^2$ with $\mathcal H^s(\supp\mu)<+\infty$, we have $\|R\mu\|\ci{L^\infty(m_2)}=\infty$.

研究の動機と目的

• R²におけるすべての非整数s ∈ (0, 2)に対して、s-Riesz変換の有界性が証明され、未解決の状態にあった問題を完全に解決すること。
• 曲率に基づく手法や接空間測度が失敗するs ∈ (1, 2)の残りの未解決ケースを解消すること。
• 有限で完全に下から不規則なs次元測度（1 < s < 2）がL∞(m²)で有界なRiesz変換を持つことは不可能であることを確立すること。
• PratとVihtiläが残したギャップを埋めるために、s次元測度のRiesz変換に関する既知の結果を拡張すること。
• 高次元や他の特異積分作用素に適用可能な、新たな手法的枠組みを提供すること。

提案手法

• Riesz変換RµがL∞(m²)で有界である有限で完全に下から不規則なs次元測度µが存在すると仮定し、矛盾を導くことを目的とする。
• Cantor型構成における小さな円弧上に台を持つ滑らかな密度をもつµの滑らかにしたバージョンµ′を構成する。
• 構成の上部カバーに関連するベクトル値関数ψとその主要関数Ψを導入する。
• ニュートンポテンシャルUνと、Rjν = ∂/∂xj UνによるRiesz変換との関係を用いる。
• 凸関数V(x) = min(|x|², |x|)と最大原理を用いた摂動論的議論により、振動を制御する。
• Cauchy-SchwarzおよびH"older不等式を用いて、Riesz変換のL²ノルムを推定し、エネルギー型推定により矛盾を導出する。

実験結果

リサーチクエスチョン

• RQ1 s ∈ (1, 2)に対して、s次元測度のs-Riesz変換がL∞(m²)で有界である可能性はあるか？
• RQ2 s > 1のとき曲率に基づく手法が失敗するならば、特異積分論において新たな技術の必要性が生じるか？
• RQ3 下界密度の仮定なしに、完全に下から不規則な測度に対してRiesz変換の有界性が証明可能か？
• RQ4 非同次設定において、局所的なL²推定をグローバルなL∞バウンドに移す一般的原則は存在するか？
• RQ5 この手法は、次元dおよびs ∈ (d−1, d)に対しても拡張可能か？

主な発見

• 任意のs ∈ (1, 2)に対して、R²におけるHs(supp µ) < ∞を満たす正のBorel測度µで、∥Rµ∥L∞(m²) < ∞を満たすものは存在しない。
• すべての非整数s ∈ (0, 2)に対して、Riesz変換RµはL∞(m²)で有界でない。s次元測度の有界性に関する分類が完全に完成した。
• 証明により、∥Rµ : L²(µ) → L²(µ)∥ = ∞であり、µ-almost everywhereのxに対して、sup_{ε>0} |Rεµ(x)| = ∞であることが示された。
• 重要な定量的推定が得られた：∫ |R(n)µ′|² dµ′ ≥ C₁₉⁻¹ (m/H)⁴ m − C₁₈ (M²ˢδ/ε²⁺ˢ + 1/M) mであり、適切にパラメータを選べば矛盾に至る。
• この結果は、M, δ, ε, Nの微妙なバランスに依存しており、C₁₈(M²ˢδ/ε²⁺ˢ + 1/M) ≤ (1/(2C₁₉))(m/H)⁴が矛盾を保証する条件である。
• この結果はR^d（s ∈ (d−1, d)）に対しても拡張可能であり、非同次調和解析におけるこの手法の広範な適用可能性を示唆している。