[论文解读] Borel summation of the small time expansion of the heat kernel. The scalar potential case

Thierry Hargé|arXiv (Cornell University)|Jan 31, 2013

Spectral Theory in Mathematical Physics参考文献 8被引用 4

一句话总结

该论文证明了在 $\mathbb{R}^\nu$ 上，对于满足强解析性与衰减条件的势 $V$，Schrödinger 算子 $-\Delta + V(x)$ 的热核在小时间范围内的渐近展开是 Borel 可求和的，且 Borel 求和结果可恢复共轭热核。对于环面上周期性势，推导出一个 Poisson 公式，表明迹展开是 Borel 可求和的，但无法仅通过 Borel 求和从系数中重构完整迹。

ABSTRACT

We study the Borel summability of the small time expansion of the heat kernel for the Schrödinger operator in several dimensions. On the torus, we prove a Poisson formula.

研究动机与目标

• 建立 $\mathbb{R}^\nu$ 上 $-\Delta + V(x)$ 的热核小时间渐近展开的 Borel 可求和性。
• 在对 $V$ 作出强假设的条件下，证明该展开式的 Borel 求和可恢复共轭热核 $p_t^{\text{conj}}(x,y)$。
• 在势 $V$ 于环面 $\mathbb{T}^\nu$ 上周期时，推导热核迹的 Poisson 公式。
• 证明尽管系数展开是 Borel 可求和的，但迹本身无法仅通过 Borel 求和从系数中重构。

提出的方法

• 使用变形公式，将共轭热核表示为带有谐振子背景和微扰势 $c(x)$ 的路径积分。
• 应用类似 Wicks 的高斯积分公式，计算在固定端点路径 $w$ 上对时间有序指数 $\exp\left(\int c(q^\natural(s) + w(s))\,ds\right)$ 的期望值。
• 将微分算子 $A = -d^2/ds^2 + \omega^2$ 的逆作为路径积分中的传播子，从而可应用高斯积分技术。
• 通过 $c(q^\natural(s) + w(s))$ 的泰勒展开及高斯测度的拉普拉斯变换恒等式，推导出变形公式。
• 通过证明该级数是某个收敛积分的 Borel 变换，证明渐近级数 $\sum a_k(x,y)t^k$ 的 Borel 可求和性。
• 在环面上对热核迹应用 Poisson 求和公式，得到以傅里叶模 $q \in \mathbb{Z}^\nu$ 表示的对偶展开。

实验结果

研究问题

• RQ1 在何种条件下，$-\Delta + V(x)$ 的热核小时间渐近展开是 Borel 可求和的？
• RQ2 能否通过 Borel 求和从其渐近系数重构共轭热核 $p_t^{\text{conj}}(x,y)$？
• RQ3 当势 $V$ 在环面 $\mathbb{T}^\nu$ 上周期时，热核迹是否满足 Poisson 公式？
• RQ4 为何环面上的迹展开是 Borel 可求和的，却无法仅通过 Borel 求和从系数中重构？

主要发现

• 在 $V(x) = \alpha x^2 - c(x)$ 且 $c(x)$ 为满足 $\int \exp(\varepsilon \xi^2) d|\mu|(\xi) < \infty$ 的测度的傅里叶变换的强解析性与衰减假设下，共轭热核 $p_t^{\text{conj}}(x,y)$ 的小时间展开是 Borel 可求和的。
• 渐近级数 $\sum_{k=0}^{r-1} a_k(x,y)t^k$ 的 Borel 求和等于共轭热核 $p_t^{\text{conj}}(x,y)$，从而实现了从经典系数重构量子对象。
• 在环面 $\mathbb{T}^\nu$ 上，热核迹存在精确的 Poisson 公式：$\sum_n e^{-\lambda_n t} = (4\pi t)^{-\nu/2} \sum_{q \in \mathbb{Z}^\nu} e^{-q^2/(4t)} u_q(t)$，其中 $u_q(t)$ 是 $t$ 的级数的 Borel 求和。
• 每个 $u_q(t)$ 是 Borel 可求和的，但迹无法仅通过系数 $a_1, a_2, \dots$ 的 Borel 求和恢复，因为 $a_k = a_{k,0}$，而 $q \neq 0$ 的 $u_q$ 贡献了非平凡项。
• 变形公式通过路径积分方法推导，利用谐振子路径 $q^\natural_\omega(s)$ 和对波动 $w(s)$ 的高斯积分，传播子 $A^{-1}$ 由包含双曲正弦函数的格林函数给出。
• 使用 Wicks 公式可将 $c(q^\natural(s) + w(s))$ 的时间有序指数表示为作用于 $c(z)$ 的微分算子，从而导出最终的变形公式。