[论文解读] On the heat kernel and the Dirichlet form of Liouville Brownian Motion

Christophe Garban, Rémi Rhodes+1 more|arXiv (Cornell University)|Feb 25, 2013

Stochastic processes and statistical mechanics参考文献 19被引用 18

一句话总结

本文证明了Liouville热核的存在性，并表征了2D Liouville量子重力中与Liouville布朗运动相关的Dirichlet型，通过Fukushima定理证明了Liouville预解算子的强Feller性质。结果表明，由Dirichlet型导出的内在度量消失，揭示了在非可微、随机几何框架下，基于度量的几何分析方法失效。

ABSTRACT

In \cite{GRV}, a Feller process called Liouville Brownian motion on $\R^2$ has been introduced. It can be seen as a Brownian motion evolving in a random geometry given formally by the exponential of a (massive) Gaussian Free Field $e^{γX}$ and is the right diffusion process to consider regarding 2d-Liouville quantum gravity. In this note, we discuss the construction of the associated Dirichlet form, following essentially \cite{fuku} and the techniques introduced in \cite{GRV}. Then we carry out the analysis of the Liouville resolvent. In particular, we prove that it is strong Feller, thus obtaining the existence of the Liouville heat kernel via a non-trivial theorem of Fukushima and al. One of the motivations which led to introduce the Liouville Brownian motion in \cite{GRV} was to investigate the puzzling Liouville metric through the eyes of this new stochastic process. One possible approach was to use the theory developed for example in \cite{stollmann,sturm1,sturm2}, whose aim is to capture the "geometry" of the underlying space out of the Dirichlet form of a process living on that space. More precisely, under some mild hypothesis on the regularity of the Dirichlet form, they provide an intrinsic metric which is interpreted as an extension of Riemannian geometry applicable to non differential structures. We prove that the needed mild hypotheses are satisfied but that the associated intrinsic metric unfortunately vanishes, thus showing that renormalization theory remains out of reach of the metric aspect of Dirichlet forms.

研究动机与目标

• 在2D Liouville量子重力中严格构造与Liouville布朗运动相关的Dirichlet型。
• 分析Liouville预解算子并证明其为强Feller型，从而通过Fukushima定理确保热核的存在性。
• 研究由Dirichlet型导出的内在度量是否能在随机、非光滑的Liouville几何中捕捉有意义的几何信息。
• 确定是否可通过该框架下Dirichlet型的度量结构来接近重整化理论。

提出的方法

• 运用潜在论和Dirichlet型的迹技术，借鉴[14]和[15]中的方法。
• 应用高斯乘法混沌理论，通过 $ e^{\gamma X(z) - \frac{\gamma^2}{2}\mathds{E}[X(z)^2]}dz $ 定义Liouville测度 $M$ 为随机测度。
• 利用随机函数的强化Kolmogorov连续性准则，证明Liouville预解算子 $R^X_\lambda$ 具有强Feller性质。
• 推导出Dirichlet型 $\Sigma(f,f)$ 的显式形式为 $\int_D \nabla f(x) \cdot \nabla f(x) \, dx$，其中 $f \in H^1(D,dx)$，表明其与在随机测度下的标准Dirichlet能量一致。
• 将[30,31,32]中的内在度量构造方法应用于Dirichlet型，利用该型的正则性与强局部性。
• 采用改进的Kolmogorov连续性准则（定理B.1）以证明过程路径的几乎必然Hölder连续性。

实验结果

研究问题

• RQ1 与Liouville布朗运动相关的Liouville预解算子是否满足强Feller性质，从而确保转移密度（热核）的存在？
• RQ2 由Dirichlet型导出的内在度量是否能为2D Liouville量子重力的随机度量提供有意义的几何结构？
• RQ3 与Liouville布朗运动相关的Dirichlet型是否正则且强局部，从而允许建立良好的势论框架？
• RQ4 尽管该型满足温和的正则性假设，为何其内在度量仍会消失？这对在非光滑、随机几何中的几何分析意味着什么？

主要发现

• 证明了Liouville预解算子为强Feller型，根据Fukushima的一个非平凡定理，这意味着Liouville热核的存在性。
• 明确识别出与Liouville布朗运动相关的Dirichlet型为 $\Sigma(f,f) = \int_D |\nabla f(x)|^2 \, dx$，其中 $f \in H^1(D,dx)$，表明其与标准Dirichlet能量一致。
• 由Dirichlet型导出的内在度量几乎必然消失，表明该度量构造无法捕捉底层空间的几何结构。
• 尽管该型正则且强局部，其内在度量仍无法检测任何非平凡几何，暗示通过此方法难以接近重整化理论。
• 本文确认Liouville布朗运动保持Liouville测度 $M$，且该过程在 $L^2(D,M)$ 中为Feller型且对称。
• 使用强化的Kolmogorov连续性准则（定理B.1）证明了过程路径的几乎必然Hölder连续性，这对正则性分析至关重要。