[论文解读] 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

一句话总结

本文確立了在具有反平方勢的度量錐上，Riesz變換 $ T = \nabla H^{-1/2} $ 在哪些 $ L^p $ 空間中是有界的精確範圍。透過對Schrödinger算子 $ 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 $ 時，其範圍有所不同。此結果將先前在歐幾里得空間中對Riesz變換的 $ L^p $ 有界性結果推廣至具有奇異勢的錐幾何結構。

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.

研究动机与目标

• 確立 $ p \in (1, \infty) $ 的精確範圍，使得Riesz變換 $ T = \nabla H^{-1/2} $ 在 $ L^p(M) $ 上有界，其中 $ M $ 為具有齊次Schrödinger算子 $ H = \Delta + V_0/r^2 $ 的度量錐。
• 將已知的歐幾里得空間中Riesz變換的 $ L^p $ 有界性結果，推廣至在錐頂點處具有奇異性的度量錐，且具有反平方勢。
• 對預解式 $ (H+1)^{-1} $ 進行詳細分析，推導其完整的漸近展開式，以描述Riesz變換核的行為。
• 根據截面流形 $ Y $ 的譜資料，區分 $ V_0 \not\equiv 0 $ 和 $ V_0 \equiv 0 $ 兩種情況，從而確立 $ L^p $ 有界性的尖銳閾值。

提出的方法

• 分析從將Riesz變換核 $ T $ 分解為三個部分 $ T_1, T_2, T_3 $ 開始，每一部分對應於錐的徑向變數 $ r $ 和 $ r' $ 的不同區域，並在頻率變數 $ \lambda $ 上使用單位分解。
• 作者透過 $ \lambda $-積分的尺度變換方法，表達梯度的格林函數 $ \nabla_z G(\lambda z, \lambda z') $，並利用 $ \Delta_Y $ 的特徵函數展開來表示核 $ G $ 的Bessel函數展開。
• 對於處理 $ r' \leq r $ 區域的 $ T_3 $，該方法使用修改Bessel函數 $ I_\nu $ 和 $ K_\nu $ 的性質，特別是其在小參數與大參數下的衰減與增長行為，進行點態 $ L^p $ 評估。
• 透過Schur檢驗與加權估計分析每一部分的 $ 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 $，Riesz變換 $ T = \nabla H^{-1/2} $ 在哪些 $ p \in (1, \infty) $ 範圍內在 $ L^p(M) $ 上有界？
• 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 $ 在決定度量錐上Riesz變換的尖銳 $ L^p $ 範圍中扮演何種角色？
• RQ4 預解核 $ (H+1)^{-1} $ 的漸近行為，特別是其奇異性結構，如何影響 $ T $ 的 $ L^p $ 映射性質？
• RQ5 用於分析 $ H = \Delta + V_0/r^2 $ 的方法，是否可適應以重新獲得或改進歐幾里得空間中標準Riesz變換的已知 $ L^p $ 有界性結果？

主要发现

• 當 $ V_0 \not\equiv 0 $ 時，Riesz變換 $ 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 $ 時的範圍得到改善。