ПОИСК Статьи Рисунки Таблицы Теорема из "Термодинамический формализм" В этой формуле постоянная с однозначно определяется по разности Ф — Ф, а футкция С — с точностью до аддитивной постоянной. [c.104] Если выполняется (5.9), то Р(Лф/+В) = Р(Лф+В) + с для всех В - о (теорема 3.4) и, следовательно, р = р (теорема 3.7). [c.104] Обратно, пусть р = р. Вследствие выпуклости Р мера р является равновесным состоянием для (1 — i)Ф + 1Ф при всех t G [О, 1]. Таким образом, мы оказываемся в ситуации параграфа 4.6 мера р — гиббсовское состояние для (1 — i)Ф + Ф при t [О, 1] и, следовательно, при всех действительных t (последнее доказывается с помощью аналитического продолжения). Так как р — трансляционно-инвариантное гиббсовское состояние и наша Z-решетчатая система транзитивна, следствие 5.6(а) показывает, что мера /э — равновесное состояние для (1 — i)Ф + iФ при всех действгггельных t. [c.104] Из построения видно, что постоянная с единственна, а функция С определяется с точностью до аддитивной константы. [c.106] Вернуться к основной статье