[論文レビュー] Boundedness of maximal functions on non-doubling manifolds with ends

Xuan Thinh Duong, Ji Li+1 more|arXiv (Cornell University)|Feb 1, 2013

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

ひとこと要約

本稿では、非倍加リーマン多様体の端を持つ場合におけるハーディー＝リトルウッド最大関数および熱流動最大関数の弱型(1,1)および強型(p,p)有界性を確立する。$Σ^{m} \times \mathbb{S}^{N-m}$ に同型な多様体における熱核推定とダイアディック分解を用いて、倍加条件の不成立にもかかわらず有界性を証明し、古典的カルデロン＝ジギンダ理論を非倍加幾何的設定へと拡張する。

ABSTRACT

Let $M$ be a manifold with ends constructed in \cite{GS} and $Δ$ be the Laplace-Beltrami operator on $M$. In this note, we show the weak type $(1,1)$ and $L^p$ boundedness of the Hardy-Littlewood maximal function and of the maximal function associated with the heat semigroup $\M_Δf(x)=\sup_{t> 0} |\exp (-tΔ)f(x)| $ on $L^p(M)$ for $1 < p \le \infty$. The significance of these results comes from the fact that $M$ does not satisfies the doubling condition.

研究の動機と目的

• 非倍加リーマン多様体の端を持つ場合、倍加条件が成立しない文脈に古典的カルデロン＝ジギンダ理論を拡張すること。
• このような多様体上でのハーディー＝リトルウッド最大関数および熱流動最大関数の有界性を確立すること。
• 倍加性の欠如を、混合次元の端を持つ多様体に特化した幾何学的・解析的技法を用いて克服すること。
• 特に$1 < p \leq \infty$に対して、$L^p$有界性の結果を非倍加設定へ一般化すること。

提案手法

• 多様体$M$は、$2 < n < m$を満たす$\mathcal{R}^{n} \sharp \mathcal{R}^{m}$として構成され、$\mathcal{R}^{m} = \mathbb{R}^{m} \times \mathbb{S}^{N-m}$であり、非一様な体積成長を示す。
• 特に$t > 0$における$\exp(-t\Delta)$の上界および下界を含む、[2]の熱核推定を基盤として用いる。
• ドメインを中央部$K$、端$\mathcal{R}^{n} \setminus K$、および他の端$\mathcal{R}^{m}$にダイアディックに分解し、最大関数$\mathcal{M}_{\Delta}f(x) = \sup_{t>0} |\exp(-t\Delta)f(x)|$を分析する。
• 関数$f$を、それぞれ$\mathcal{R}^{n} \setminus K$、$K$、$\mathcal{R}^{m}$に台を持つ$f_1$、$f_2$、$f_3$に分解し、局所的推定を可能にする。
• 各成分について、熱核の減衰と体積成長を用いて、$|\exp(-t\Delta)f_i(x)|$の点ごとの有界性を導出し、$t > 1$と$t \leq 1$のケースに分けて処理する。
• 弱型(1,1)推定は、$L^1$ノルムと弱型制御を用い、半群の部分マルコフ性を活用して分布関数を有界化することで得られる。

実験結果

リサーチクエスチョン

• RQ1 非倍加多様体の端を持つ場合、ハーディー＝リトルウッド最大関数は有界であるか？
• RQ2 熱流動最大関数$\mathcal{M}_{\Delta}$は、このような多様体上で弱型(1,1)であるか？
• RQ3 倍加条件が成立しない場合、$\mathcal{M}_{\Delta}$は$1 < p < \infty$に対して$L^p(M)$上に有界作用素として拡張可能か？
• RQ4 混合次元の端における体積成長と熱核の減衰は、最大関数の推定にどのように影響するか？

主な発見

• ハーディー＝リトルウッド最大関数は、多様体$M$上で弱型(1,1)である。分布関数は$C \|f\|_{L^1}/\lambda$で有界である。
• 熱流動最大関数$\mathcal{M}_{\Delta}$は弱型(1,1)であり、$\mu(\{x : \mathcal{M}_{\Delta}f(x) > \lambda\}) \leq C \|f\|_{L^1}/\lambda$を満たす。
• $\mathcal{M}_{\Delta}$はすべての$1 < p < \infty$に対して$L^p(M)$上で有界である。これは弱型(1,1)と強型($\infty,\infty$)の間の補間による。
• $\mathcal{M}_{\Delta}$の$L^\infty$有界性は、半群$\exp(-t\Delta)$の部分マルコフ性に起因する。
• $M = \mathcal{R}^{n} \sharp \mathcal{R}^{m}$（$2 < n < m$）は、特定の$x$と$r$に対して$V(x,2r)/V(x,r)$が有界でないため、倍加条件を満たさない。
• 推定は、時間スケール（$t > 1$ 対 $t \leq 1$）および空間的位置（端対中央部）に基づくケース解析に依存し、それに応じて体積成長$r^n$または$r^m$が支配的になる。