Проведено обобщение теории Пирогова-Синая, доказаны результаты, при-менимые при рассмотрении фазовых переходов первого рода как в случае объ-емных, так и в случае поверхностных фаз решетчатых моделей. Область фазо-вых переходов первого рода расширяется по активностям до всего комплексного пространства C Φ , где Φ -множество фаз модели. Доказано обобщение теоре-мы Ли-Янга: статистические суммы с устойчивым граничным условием как функции активностей не имеют нулей в C Φ .Ключевые слова: теория Пирогова-Синая, многофазная контурная модель, гамиль-тониан границы, кластерное разложение гамильтониана границы, контурные уравнения, уравнение состояния, фазовая диаграмма, fc-инвариантность многофазных контурных мо-делей. 1) . Результаты работы [9] и данной работы, являющейся продолжением [9], применимы к решетчатым моделям с счет-ным числом фаз, с нефинитным многочастичным взаимодействием, убывающим быстрее некоторой степени, при произвольных комплексных внешних полях. В об-ласти фазовых переходов первого рода построены сходящиеся разложения термо-динамических и корреляционных функций. Кроме того, в настоящей работе дока-зана теорема I.4
ВВЕДЕНИЕ2) (доказательство в случае нефинитного взаимодействия не было опубликовано ранее) и ее обобщение -теорема 1, на которой будет основано изу-чение поверхностных фаз. Область фазовых переходов первого рода расширена по активностям до C Φ , где Φ -множество фаз. Последнее утверждение можно сфор-мулировать следующим образом: статистические суммы с устойчивым граничным 1) Более полный список работ, опубликованных к началу 90-х гг., см. в [16]. 2) Здесь и далее ссылки на работы [9] даются в следующем виде: теорема I.4 означает теорему 4 первой работы из [9], формула (II.30) -это формула (30) второй из работ [9] и т.п. * Санкт-Петербургский государственный университет технологии и дизайна, Санкт-Пе-тербург, Россия.