[論文レビュー] Sharp $L^p$ estimates for Schr\"odinger groups on spaces of homogeneous type

Piero DʼAncona, Fabio Nicola|arXiv (Cornell University)|Dec 5, 2016

Advanced Mathematical Physics Problems参考文献 17被引用数 3

ひとこと要約

本稿は、同次型空間上でのシュレーディンガー群 $e^{-itL}$ の鋭い $L^p$ 評価を確立し、熱核 $e^{-tL}$ に対する弱い $L^{p_0} \to L^{p_0'}$ スムージングおよび非対角項の減衰に関する仮定の下で、$\|e^{-itL} \varphi(L)f\|_p \lesssim (1+|t|)^s\|f\|_p$ の形の一様な評価を示している。ここで $s = n|\frac{1}{2} - \frac{1}{p}|$ であり、$n$ は空間のダブリング次元である。この結果は、$\theta > 0$ における一様性を保ったまま、スケーリングされた作用素 $\varphi(\theta L)$ にまで拡張可能であり、ユークリッド空間を超える一般の距離測度空間への古典的評価の一般化を実現する。

ABSTRACT

We prove an $L^{p}$ estimate $$ \|e^{-itL} \varphi(L)f\|_{p}\lesssim (1+|t|)^s\|f\|_p, \qquad t\in \mathbb{R}, \qquad s=n\left|\frac{1}{2}-\frac{1}{p} ight| $$ for the Schrodinger group generated by a semibounded, selfadjoint operator $L$ on a metric measure space $\mathcal{X}$ of homogeneous type (where $n$ is the doubling dimension of $\mathcal{X}$). The assumptions on $L$ are a mild $L^{p_{0}} o L^{p_{0}'}$ smoothing estimate and a mild $L^{2} o L^{2}$ off--diagonal estimate for the corresponding heat kernel $e^{-tL}$. The estimate is uniform for $ \varphi$ varying in bounded sets of $\mathscr{S}(\mathbb{R})$, or more generally of a suitable weighted Sobolev space. We also prove, under slightly stronger assumptions on $L$, that the estimate extends to $$ \|e^{-itL} \varphi( heta L)f\|_{p}\lesssim (1+ heta^{-1}|t|)^s\|f\|_p, \qquad heta>0, \quad t\in \mathbb{R}, $$ with uniformity also for $ heta$ varying in bounded subsets of $(0,+\infty)$. For nonnegative operators uniformity holds for all $ heta>0$.

研究の動機と目的

• 同次型空間上でのシュレーディンガー群 $e^{-itL}$ の $L^p$ 一様評価を確立し、古典的結果を一般の距離測度空間へ拡張すること。
• 時間における成長率の鋭さを特定し、$n$ をダブリング次元として、指数 $s = n|\frac{1}{2} - \frac{1}{p}|$ で定量すること。
• $\mathscr{S}(\mathbb{R})$ の有界集合や重み付きソボレフ空間における $\varphi$ の変動に対して、評価の一様性を保証すること。
• スケーリング作用素 $\varphi(\theta L)$ への評価の拡張を示し、$L$ に対してやや強い仮定のもとで $\theta > 0$ における一様性を証明すること。
• ユークリッド空間を超える同次型空間クラスへの $L^p$ 評価の一般化を、ダブリング測度を備えた空間へと拡張すること。

提案手法

• 作用素 $L$ に対する弱い $L^{p_0} \to L^{p_0'}$ スムージング推定を用いて、熱核 $e^{-tL}$ の十分な正則性を保証する。
• $e^{-tL}$ の $L^2$ における非対角項の減衰推定を用いて、対角から離れるに従って核の空間的減衰を制御する。
• 証明はスペクトル理論および関数計算に依拠し、自己共役かつ下半有界作用素に対するスペクトル定理を用いて作用素 $\varphi(L)$ を適用する。
• 鍵となる技術は、$\varphi$ のシュワーツクラス性を活かし、周波数空間における分区を用いて時間発展 $e^{-itL}$ を分解することである。
• $\varphi$ における一様性は、重み付きソボレフ空間における推定により確立され、スペクトル乗数の摂動に対しても頑健であることが保証される。
• スケーリング版 $\varphi(\theta L)$ に対しては、スケーリングによる時間-スケール依存性を再調整し、$(1 + \theta^{-1}|t|)^s$ の形の評価を得る。

実験結果

リサーチクエスチョン

• RQ1 同次型空間上でのシュレーディンガー群 $e^{-itL}$ の $L^p$ ノルムの時間的成長率の鋭さは何か？
• RQ2 $\varphi$ が $\mathscr{S}(\mathbb{R})$ の有界集合を動くとき、$\varphi(L)$ に対する $L^p$ 評価の一様性はどのように確立できるか？
• RQ3 $\theta > 0$ における一様性を保ったまま、$\varphi(\theta L)$ に対する $L^p$ 評価を拡張できるか？
• RQ4 シュレーディンガー群の鋭い $L^p$ 評価を保証するための、熱核 $e^{-tL}$ に対する最小限の仮定は何か？
• RQ5 空間のダブリング次元 $n$ は、$L^p$ 評価の鋭さにどのように影響を与えるか？

主な発見

• 本稿は、$n$ を空間のダブリング次元として、$\|e^{-itL} \varphi(L)f\|_p \lesssim (1+|t|)^s\|f\|_p$ の形の鋭い $L^p$ 評価を確立し、$s = n|\frac{1}{2} - \frac{1}{p}|$ である。
• この評価は、$\mathscr{S}(\mathbb{R})$ の有界集合における $\varphi$ に対して一様に成り立ち、より一般には適切な重み付きソボレフ空間に対しても成り立つ。
• やや強い仮定のもとで、$\|e^{-itL} \varphi(\theta L)f\|_p \lesssim (1 + \theta^{-1}|t|)^s\|f\|_p$ の形の評価に拡張可能であり、$\theta > 0$ に対して一様性が保たれる。
• 非負作用素に対しては、$\theta > 0$ 全体にわたる一様性が拡張可能であり、スケーリングに対して頑健であることが示された。
• 本結果は、任意の下半有界かつ自己共役作用素 $L$ に対して、同次型空間上の距離測度空間で成り立つ。これはユークリッド空間の結果を一般化する。
• 主な仮定は、弱い $L^{p_0} \to L^{p_0'}$ スムージング推定および $L^2 \to L^2$ 非対角項の減衰推定の二つである。