[论文解读] A Feynman-Kac-Itô Formula for magnetic Schrödinger operators on graphs

Batu Güneysu, Matthias Keller+1 more|arXiv (Cornell University)|Jan 7, 2013

Spectral Theory in Mathematical Physics参考文献 36被引用 9

一句话总结

本文通过引入磁势和随机线积分的一般框架，为任意加权图上的磁 Schrödinger 算子建立了 Feynman-Kac-Itô 公式。关键贡献在于这些算子相关半群的概率表示，从而实现了对 Kato 不等式、Golden-Thompson 不等式的新证明，以及对显式二次型定义域的刻画。

ABSTRACT

In this paper we prove a Feynman-Kac-Itô formula for magnetic Schrödinger operators on arbitrary weighted graphs. To do so, we have to provide a natural and general framework both on the operator theoretic and the probabilistic side of the equation. On the operator side we identify a very general class of potentials that allows the definition of magnetic Schrödinger operators. On the probabilistic side, we introduce an appropriate notion of stochastic line integrals with respect to magnetic potentials. Apart from linking the world of discrete magnetic operators with the probabilistic world through the Feynman-Kac-Itô formula, the insights from this paper gained on both sides should be of an independent interest. As applications of the Feynman-Kac-Itô formula, we prove a Kato inequality, a Golden-Thompson inequality and an explicit representation of the quadratic form domains corresponding to a large class of potentials.

研究动机与目标

• 为任意加权图上的磁 Schrödinger 算子建立一个通用且自然的定义框架。
• 在图上引入与磁势一致的随机路径线积分概念。
• 建立一个 Feynman-Kac-Itô 公式，将离散磁算子与图上的随机过程联系起来。
• 将该公式应用于推导新的分析结果，包括 Kato 不等式和 Golden-Thompson 不等式。
• 对图上一大类势函数的二次型定义域进行刻画。

提出的方法

• 定义一类广义势函数，使得磁 Schrödinger 算子在加权图上可自伴实现。
• 利用磁边函数，在图的随机路径上引入随机线积分的概念。
• 通过涉及线积分随机指数的半群表示，构造 Feynman-Kac-Itô 公式。
• 使用 Mosco 收敛性来证明二次型和半群的逼近结果。
• 应用 Pitt 定理和抽象 Golden-Thompson 不等式，推导控制估计和迹估计。
• 在较弱势函数条件下，建立最大二次型与形式闭合二次型的等价性。

实验结果

研究问题

• RQ1 能否为离散图上的磁 Schrödinger 算子严格构造 Feynman-Kac-Itô 公式？
• RQ2 如何为图上的磁势定义一个通用且一致的随机线积分？
• RQ3 在何种条件下，图上的磁 Schrödinger 算子是本质自伴的？
• RQ4 如何显式刻画此类算子的二次型定义域？
• RQ5 从图上的 Feynman-Kac-Itô 公式中，可推导出哪些概率和分析不等式？

主要发现

• 为任意加权图上的磁 Schrödinger 算子建立了 Feynman-Kac-Itô 公式，将半群与带有磁线积分的随机过程联系起来。
• 识别出一类广义势函数，使得磁 Schrödinger 算子可作为自伴算子良好定义。
• 作为 Feynman-Kac-Itô 公式的推论，证明了 Kato 不等式，表明磁半群在非磁半群之上具有控制性。
• 以抽象形式推导出 Golden-Thompson 不等式，为两个算子和的半群提供了迹估计。
• 当势函数有下界时，磁 Schrödinger 算子的二次型定义域被显式刻画为最大形式定义域。
• 当势函数有下界时，最大二次型与形式闭合二次型一致，确保了算子实现的一致性。