有限溫度下量子經典系統的嚴格理論，第一部分：正則系綜中的精確泛函公式

本文提出了一個嚴格的理論框架，用於描述有限溫度下混合量子經典系統的性質，並推導出了一個基於量子經典密度矩陣的亥姆霍茲自由能變分公式。