不可数字母表设定下的压力导数：一种Ruelle算子方法

本文使用最近版本的Ruelle-Perron-Frobenius定理，根据Ruelle算子的极大本征数据，计算取值于一般紧度量空间上的平移不变自旋系统的压力导数。在此设定下，证明了一维单边格点上连续势函数的亚稳态缺失。我们应用结果，证明在格点 $\mathbb{N}\times \mathbb{Z}$ 上本质一维Heisenberg型模型的压力在合适的Banach空间上是Fréchet可微的。此外，获得了该模型在任何正温度下的两点函数指数衰减。