[論文レビュー] Hessian formulas and estimates for parabolic Schrödinger operators

Xue-Mei Li|arXiv (Cornell University)|Oct 29, 2016

Geometric Analysis and Curvature Flows参考文献 57被引用数 12

ひとこと要約

本稿では、ドリフトおよびポテンシャルを伴うリーマン多様体上の放物型シュレーディンガー作用素に対して、2階のフェインマン＝カック公式およびヘッセ行列の推定を確立する。二重に減衰した確率的平行移動と幾何学的曲率条件——特に $
\mathop{\rm Ric}-2\mathop{\rm Hess}h$、曲率作用素、および循環和 $
\Theta^h$ の有界性——を用いて、熱核のヘッセ行列に対する正確なガウス型推定を導出する。これは、非重み付きの場合を超えて確率的ヘッセ公式を拡張するものである。

ABSTRACT

We study the Hessian of the fundamental solution to the parabolic problem for weighted Schrödinger operators of the form $\frac 12 Δ+ abla h-V$ proving a second order Feynman-Kac formula and obtaining Hessian estimates. For manifolds with a pole, we use the Jacobian determinant of the exponential map to offset the volume growth of the Riemannian measure and use the semi-classical bridge as a delta measure at $y_0$ to obtain exact Gaussian estimates. These estimates are in terms of bounds on $Ric-2 Hess (h)$, on the curvature operator, and on the cyclic sum of the gradient of the Ricci tensor.

研究の動機と目的

• リーマン多様体上の放物型シュレーディンガー作用素の解のヘッセ行列に対する2階のフェインマン＝カック公式を導出すること。
• 確率的手法と幾何学的曲率条件を用いて、基本解 $p_t^{h,V}$ の精密なヘッセ行列推定を確立すること。
• ドリフト $h$ とポテンシャル $V$ を確率的減衰平行移動を介して組み込むことにより、既存のヘッセ公式を非重み付きの場合を超えて拡張すること。
• 曲率項——特に $\mathop{\rm Ric}-2\mathop{\rm Hess}h$、曲率作用素、および $\Theta^h$ ——がヘッセ行列の成長・減衰を支配する役割を特定すること。
• 強1完備性および有界曲率といった幾何的仮定の下で、熱核のヘッセ行列に対する正確なガウス型推定を提供すること。

提案手法

• 曲率作用素 $\mathcal{R}$ および曲率項 $\Theta^h$ を駆動とする、二重に減衰した確率的平行移動方程式を導入する。
• 二重に減衰した方程式の解 $W_t^{(2)}$ を、微分フローの2階微分の局所的条件付き期待値として用いる。
• $W_t$ および $W_t^{(2)}$ を含む期待値で表される2階のフェインマン＝カック公式を導出し、$f$ や $V$ を微分しない形で $\mathop{\rm Hess} P_t^{h,V}f$ を表現する。
• 半古典的ブリッジを $y_0$ における $\delta$-測度として用い、基本解 $p_t^{h,V}(x_0,y_0)$ を経路積分で表現する。
• 指数写像のヤコビアン行列式を用いてリーマン測度の体積増大を補正し、正確なガウス型推定を可能にする。
• 勾配スデの強1完備性を適用して、微分過程の可積分性および $L^2$ 収束を保証する。

実験結果

リサーチクエスチョン

• RQ1 初期関数やポテンシャルを微分せずに、放物型シュレーディンガー方程式の解に対する2階ヘッセ行列推定をどのように導出できるか。
• RQ2 循環和 $\nabla \mathop{\rm Ric}^\sharp$ として定義される曲率項 $\Theta^h$ がヘッセ公式において果たす役割は何か。
• RQ3 有界性が保証される $\mathop{\rm Ric}-2\mathop{\rm Hess}h$、曲率作用素、および $\Theta^h$ が、熱核のヘッセ行列に与える影響は何か。
• RQ4 確率的手法と幾何的仮定を用いて、$p_t^{h,V}$ のヘッセ行列に対する正確なガウス型推定を取得できるか。
• RQ5 二重に減衰した確率的平行移動過程 $W_t^{(2)}$ は、微分フローの2階挙動をどの程度正しく捉えているか。

主な発見

• 微分 $f$ や $V$ を含まず、$W_t(v_1,v_2)$ および $W_t^{(2)}(v_1,v_2)$ を含む期待値の和として表される2階のフェインマン＝カック公式が $\mathop{\rm Hess} P_t^{h,V}f$ に対して確立された。
• 条件 C1(a)、C3、および C5(g) の下で、基本解のヘッセ行列は $\nabla df(v_1,v_2) = \mathbb{E} \left[ \nabla df(W_t(v_2), W_t(v_1)) \right] + \mathbb{E} \left[ df(W_t^{(2)}(v_2,v_1)) \right]$ を満たす。
• 半古典的ブリッジと指数写像のヤコビアン行列式による体積補正を組み合わせることで、$p_t^{h,V}$ に対する正確なガウス型推定が得られた。
• 曲率項 $\Theta^h$ は、$d$ と $\Delta^h$ の可換性の障害として自然に現れ、ヘッセ公式において不可欠な役割を果たす。
• 強1完備性の下で、微分フローの2階微分の局所的条件付き期待値として、二重に減衰した確率的平行移動過程 $W_t^{(2)}$ が正当化された。
• 有界性が保証される $\rho^h = \mathop{\rm Ric} - 2\mathop{\rm Hess}h$ および微分過程の可積分性の下で、ヘッセ公式は $L^2$ および $L^1$ で収束する。