[論文レビュー] The Riesz transform for homogeneous Schrödinger operators on metric cones

Andrew Hassell, Peijie Lin|arXiv (Cornell University)|Jun 14, 2012

Advanced Mathematical Modeling in Engineering参考文献 24被引用数 5

ひとこと要約

この論文は、逆二乗ポテンシャルを伴う測度コーン上でのリーマン変換 $ T = \nabla H^{-1/2} $ が有界となる $ L^p $ 空間の正確な範囲を特定する。シュレーディンガー作用素 $ H = \Delta + V_0/r^2 $ のスペクトル解析を用いて、$ (H+1)^{-1} $ の漸近挙動を分析することで、鋭い $ L^p $ 有界性区間を導出する。臨界指数は、$ \Delta_Y + V_0 + (d-2)^2/4 $ の最小固有値 $ \mu_0 $ に依存し、$ V_0 \not\equiv 0 $ または $ V_0 \equiv 0 $ の場合で異なる範囲を示す。この結果は、ユークリッド空間におけるリーマン変換の既知の結果を特異ポテンシャルを有する錐幾何に一般化する。

ABSTRACT

We consider Schroedinger operators on metric cones whose cross section is a closed Riemannian manifold $(Y, h)$ of dimension $d-1 \geq 2$. Thus the metric on the cone $M = (0, \infty)_r imes Y$ is $dr^2 + r^2 h$. Let $Δ$ be the Friedrichs Laplacian on $M$ and $V_0$ be a smooth function on $Y$, such that $Δ_Y + V_0 + (d-2)^2/4$ is a strictly positive operator on $L^2(Y)$, with lowest eigenvalue $μ^2_0 $ and second lowest eigenvalue $μ^2_1$, with $μ_0, μ_1 > 0$. The operator we consider is $H = Δ+ V_0/r^2$, a Schrödinger operator with inverse square potential on $M$; notice that $H$ is homogeneous of degree -2. We study the Riesz transform $T = abla H^{-1/2}$ and determine the precise range of $p$ for which $T$ is bounded on $L^p(M)$. This is achieved by making a precise analysis of the operator $(H + 1)^{-1}$ and determining the complete asymptotics of its integral kernel. We prove that if $V$ is not identically zero, then the range of $p$ for $L^p$ boundedness is $$ d/ \Big(min(1+d/2+μ_0, d \Big) < p < d / \Big(max(d/2-μ_0, 0) \Big),$$ while if $V$ is identically zero, then the range is $$ 1 < p < d / \Big(max(d/2-μ_1, 0 \Big).$$ The result in the case $V$ identically zero was first obtained in a paper by H.-Q. Li.

研究の動機と目的

• 測度コーン $ M $ 上で、$ H = \Delta + V_0/r^2 $ である同次的シュレーディンガー作用素を伴うリーマン変換 $ T = \nabla H^{-1/2} $ が $ L^p(M) $ 上で有界となる $ p \in (1, \infty) $ の正確な範囲を特定すること。
• ユークリッド空間上でのリーマン変換の既知の $ L^p $ 有界性結果を、コーンの頂点で特異となる逆二乗ポテンシャルを伴う測度コーンへ拡張すること。
• リゾルベント $ (H+1)^{-1} $ を詳細に分析し、その完全な漸近展開を導出し、リーマン変換のカーネルの振る舞いを特徴付けること。
• クロスセクション多様体 $ Y $ のスペクトルデータに基づき、$ V_0 \not\equiv 0 $ と $ V_0 \equiv 0 $ の場合を区別することで、$ L^p $ 有界性の鋭い閾値を解明すること。

提案手法

• リーマン変換カーネル $ T $ を、径方向変数 $ r $ と $ r' $ の異なる領域に対応する三つの成分 $ T_1, T_2, T_3 $ に分解し、周波数変数 $ \lambda $ における分区画を用いる。
• スケーリングの議論を $ \lambda $-積分を用いて行い、グリーン関数の勾配 $ \nabla_z G(\lambda z, \lambda z') $ を表現する。この際、$ \Delta_Y $ の固有関数を用いたベッセル関数展開を活用する。
• $ T_3 $（$ r' \leq r $ の領域に対応）に対しては、変形ベッセル関数 $ I_\nu $ と $ K_\nu $ の挙動（小・大引数における減衰・増大）を用いた点での $ L^p $ 評価を適用する。
• 各成分の $ L^p $ 有界性はシュールの補題と重み付き評価を用いて分析され、特にホモジニアティーと減衰率に基づいて作用素ノルムを制御するため、補題 5.10 および 5.8 の適用が鍵となる。
• クロスセクション多様体 $ Y $ のスペクトルデータ、特に $ \Delta_Y + V_0 + (d-2)^2/4 $ の最小固有値 $ \mu_0 $ を用いて、$ L^p $ 範囲における臨界指数を特定する。$ V_0 \equiv 0 $ の場合には $ \mu_1 $ が $ \mu_0 $ の代わりに用いられる。
• スペクトル理論による $ T $ の $ L^2 $ 有界性と、$ T_1, T_2, T_3 $ の $ L^p $ 評価を組み合わせ、先行研究の反例を適応することで、導出された区間の鋭さを確立する。

実験結果

リサーチクエスチョン

• RQ1 測度コーン $ M $ 上で $ H = \Delta + V_0/r^2 $ である場合、リーマン変換 $ T = \nabla H^{-1/2} $ が $ L^p(M) $ 上で有界となる $ p \in (1, \infty) $ の正確な範囲は何か？
• RQ2 非ゼロの逆二乗ポテンシャル $ V_0/r^2 $（$ V_0 \not\equiv 0 $）が、$ V_0 \equiv 0 $ の場合と比較して $ L^p $ 有界性範囲にどのように影響を与えるか？
• RQ3 作用素 $ \Delta_Y + V_0 + (d-2)^2/4 $ の最小固有値 $ \mu_0 $ は、測度コーン上でのリーマン変換の鋭い $ L^p $ 範囲を決定する上で果たす役割は何か？
• RQ4 特にその特異性構造に注目したリゾルベントカーネル $ (H+1)^{-1} $ の漸近挙動は、$ T $ の $ L^p $ マッピング性にどのように影響を与えるか？
• RQ5 $ H = \Delta + V_0/r^2 $ を分析する手法を、ユークリッド空間上での標準的リーマン変換の既知の $ L^p $ 有界性結果を回復または精緻化するために適応可能か？

主な発見

• $ V_0 \not\equiv 0 $ の場合、リーマン変換 $ T = \nabla H^{-1/2} $ は $ L^p(M) $ 上で有界であるための必要十分条件は $ p \in \left( \frac{d}{\min(1 + \frac{d}{2} + \mu_0, d)}, \frac{d}{\max(\frac{d}{2} - \mu_0, 0)} \right) $ である。ここで $ \mu_0 > 0 $ は $ \Delta_Y + V_0 + (d-2)^2/4 $ の最小固有値の平方根である。
• $ V_0 \equiv 0 $ の場合、有界性範囲は $ \left(1, \frac{d}{\max(\frac{d}{2} - \mu_1, 0)} \right) $ に変化する。ここで $ \mu_1 > 0 $ は $ \Delta_Y + (\frac{d-2}{2})^2 $ の第二小固有値の平方根であり、これは H.-Q. Li [34] の結果を確認する。
• 導出された区間外での有界性の欠如を示す反例を Guillarmou と Hassell [28] の先行研究から適応することで、$ L^p $ 範囲の鋭さが確立される。
• $ T $ の $ L^2 $ 有界性はスペクトル理論により確立され、$ T = T_1 + T_2 + T_3 $ の分解により各成分の $ L^p $ 分析が可能となり、$ T_1 $ と $ T_3 $ が全範囲で $ L^2 $ および $ L^p $ に有界であることが示される。
• 主な技術的進展は、$ (H+1)^{-1} $ の積分カーネルの正確な漸近解析であり、これにより $ L^p $ 作用素ノルムを決定するのに必要な正確な同次性と減衰率が特定される。
• $ V_0 \equiv 0 $ の場合、勾配 $ \nabla $ はカーネルにおける減衰を改善する。これは最小固有関数 $ u_0 $ が定数であるためであり、$ \mu_0 $ 項に追加の零点次数が生じ、$ V_0 \equiv 0 $ の場合に改善された範囲が得られる理由を説明する。