[论文解读] A deformation formula for the heat kernel

Thierry Hargé|arXiv (Cornell University)|Feb 7, 2013

Quantum chaos and dynamical systems参考文献 5被引用 3

一句话总结

本文提出了一类非自治、二次时间依赖的薛定谔算子在矩阵值势能扰动下的热核变形公式。通过将热核与自由热核共轭，利用与经典哈密顿流相关的变形矩阵，推导出共轭核的显式级数表示，证明了在小时间及解析势能条件下该级数收敛。

ABSTRACT

Let us consider a time-dependent differential operator quadratic with respect to the phase variables. Let us consider a multiplication operator defined with the help of a "small" matrix-valued function. Under suitable conditions, we give an "explicit" expression of "the" heat kernel associated to the sum of the two previous operators for small time.

研究动机与目标

• 推导非自治二次薛定谔算子在正则矩阵值势能扰动下的热核显式表示。
• 将此前仅适用于自治或自由情形的变形公式方法推广至非自治设置。
• 在适当的解析性与实性条件下，建立共轭核小时间展开的博雷尔可求和性。
• 通过启发式的路径积分解释，将变形公式与维纳积分和费曼积分联系起来。
• 基于经典哈密顿系统解与变形矩阵，严格构造共轭核。

提出的方法

• 将基算子 $ P_0 $ 定义为具有时间依赖系数 $ A(t), B(t), C(t) $ 的二阶微分算子，其关于 $ \partial_x $ 与 $ x $ 为二次型。
• 通过 $ p_t(x,y) = p_t^0(x,y) p_t^{\text{conj}}(x,y) $ 定义共轭核 $ p_t^{\text{conj}}(x,y) $，其中 $ p_t^0 $ 为自由热核。
• 利用时间区间上的迭代积分，推导出 $ p_t^{\text{conj}} $ 级数展开中第 $ n $ 项 $ v_n $ 的递归积分表示。
• 从经典哈密顿流 $ q_t^\natural(s) $ 构造变形矩阵 $ K_t(s) $，其满足传播子方程。
• 利用 $ K_t(s) $ 的时间导数（与哈密顿系统的基本解相关）验证 $ v_n $ 的演化方程。
• 通过边界项与内部项分析，证明级数 $ p_t^{\text{conj}} = \sum_{n=0}^\infty v_n $ 满足共轭演化方程。

实验结果

研究问题

• RQ1 非自治二次薛定谔算子的热核如何通过变形公式表示？
• RQ2 经典哈密顿流在构造共轭核的变形矩阵中起何种作用？
• RQ3 在何种条件下，共轭核的小时间展开是博雷尔可求和的？
• RQ4 在非自治情形下，变形公式如何与维纳积分和费曼路径积分关联？
• RQ5 能否通过包含迭代积分与微分算子的级数展开，严格构造共轭核？

主要发现

• 非自治二次薛定谔算子 $ P_0 + c(t,x) $ 的热核 $ p_t(x,y) $ 可表示为 $ p_t^0(x,y) p_t^{\text{conj}}(x,y) $，其中 $ p_t^{\text{conj}} $ 在小时间下具有收敛级数展开。
• 由经典哈密顿流 $ q_t^\natural(s) $ 导出的变形矩阵 $ K_t(s) $ 编码了系统的时域演化，并满足传播子方程。
• 共轭核 $ p_t^{\text{conj}} $ 通过沿经典轨迹计算的势能 $ c(s_j, z_j) $ 的乘积的迭代积分构造而成。
• 变形矩阵的时间导数满足 $ \partial_t K_t(s,s') = q_t^\flat(s) A(t) {}^\mathfrak{t}q_t^\flat(s') $，从而与哈密顿系统的基本解建立联系。
• 级数 $ p_t^{\text{conj}} $ 满足共轭演化方程 $ \partial_t v_n = A(t) \cdot \partial_x^2 v_n + c(t,x) v_{n-1} $，且初始条件 $ v_n|_{t=0^+} = 0 $，确保了自洽性。
• 该解在 $ t \in \mathbb{C} $ 且 $ \mathcal{R}e(t) \geq 0 $ 时成立；在 $ A(t), B(t), C(t) $ 满足解析性与实性条件时，公式在原点附近成立。