В классической статистической физике систем сильно взаимодействующих частиц математический аппарат частичных функций распределения является одним из основных способов реализации канонического распределения Гиббса, которое в общем виде определяет вероятностное распределение молекул в пространстве (микроструктура вещества), а также все макроскопические характеристики, однозначно вытекающие из него.
Отметим, что метод функций распределения сводит задачу к рассмотрению функций от небольшого числа переменных и соответственно открывает новые возможности выявлении локальных характеристик, изначально скрытых в полном распределении Гиббса для большой системы взаимодействующих частиц (при ).
Перечислим некоторые из современных проблем. До недавнего времени остается до конца нерешенной задача описания метастабильных состояний в системе твердых сфер, несмотря на достигнутый прогресс в этой области в работах [6, 8-14], отмеченных Нобелевской премией по физике за 2021 г. Более того, непонятно как описывать термодинамически"=равновесные системы. В частности, в системе твердых сфер существует возможность перейти в кристаллическую структуру с разной сингонией: либо в гранецентрированную кубическую, либо в гексагональную. В этих структурах первые координационные числа полностью совпадают; тонкие различия проявляются лишь в дальних координационных сферах. Открыты для изучения такие проблемы, как поведение жидких систем вблизи твердой поверхности, поведение в ограниченных объемах, структура дальних корреляций, структура жидкости в переходной области и т. д. Одной из принципиальных задач теории жидкостей является исследование особенностей ближнего порядка и формулировка уравнений, наиболее точно описывающих эти особенности.
Основной тренд решения всех перечисленных проблем " это применение метода частичных функций распределения. Важнейшими из этих функций являются одночастичная и двухчастичная функции распределения. Обе эти функции находятся совместным решением системы нелинейных интегральных уравнений Орнштейна" Цернике (ОЦ) [8, 15, 17]
(1)
Здесь означает интегрирование по координатам -й частицы; " плотность жидкости; " однoчастичная функция распределения, описывающая положение частицы в лабораторной системе координат; " потенциальная энергия частицы во внешнем поле; " одночастичный термический потенциал, учитывающий взаимодействие частицы с окружающей средой; химический потенциал находится из условия перехода к пространственно"=однородной системе; парная корреляционная функция связана с двухчастичной функцией распределения соотношением ; " двухчастичный термический потенциал, учитывающий коллективное взаимодействие двух частиц через их окружение; " прямые корреляционные функции:
(2)
где , " бесконечные функциональные ряды от искомых функций распределения.
При решении конкретных задач эти ряды , аппроксимируют простыми аналитическими выражениями, что приводит к нелинейным интегральным уравнениям. Наиболее известными из них являются гиперцепное, Перкуса" Йевика, Мартынова" Саркисова, Роджера" Янга. Однако методическая погрешность данных аппроксимаций неизвестна. Как правило, уравнения решаются численно, а полученное решение сравнивается с данными численного эксперимента, являющегося эталоном точности. Отметим, что для отталкивающих потенциалов, в особенности для потенциала твердых сфер, приближение Перкуса" Йевика лучше, чем гиперцепное. Однако при низких температурах и умеренной плотности для более реалистичных парных потенциалов, имеющих притягивающую часть, уравнение ГПЦ дает лучшие результаты, чем уравнение ПЙ. Однако оба замыкания являются термодинамически несогласованными: характеристики, вычисленные по уравнению состояния и сжимаемости дают ошибку 10% и более. Роджер и Янг предложили обеспечивать термодинамическую согласованность посредством введения подгоночных параметров. В частности, в их замыкании подгоночный параметр подбирается так, чтобы на малых расстояниях между частицами реализовывалось приближение Перкуса" Йевика, а на больших расстояниях " гиперцепное приближение. Термодинамическое согласование осуществляется по вириальному уравнению и уравнению сжимаемости. Замыкание Роджера" Янга оказалось весьма удачным для чисто отталкивательных потенциалов (мягкие сферы). В других случаях оно менее удовлетворительно. Однако наилучшим термодинамически согласованным является замыкание Мартынова" Саркисова: его ошибка для системы твердых сфер не превышает 2%.
Подчеркнем, что приближение Перкуса" Йевика является единственным, которое допускает аналитическое решение для пространственно"=однородных трехмерных молекулярных систем [?]. В последние годы разрабатываются аналитические методы решения для одномерных и двумерных молекулярных систем [?]. Отметим также интенсивно развивающееся направление по аморфизации макроскопических растворов, упоминавшееся выше [6, 814].
В методе частичных функций распределения термодинамически"=равновесных систем макроскопическое тело рассматривается как бесконечно большое число одинаковым образом устроенных подсистем (копий). В каждой из копий межмолекулярное взаимодействие задается одинаковым образом, что обеспечивает однородность тела на микроскопическом уровне. Статистическое распределение каждой подсистемы по различным состояниям описывается гиббсовской экспонентой. Это является следствием эргодической гипотезы, согласно которой средние значения макроскопических величин равны их средним значениям по ансамблю Гиббса. С помощью распределения Гиббса может быть вычислено среднее значение любой физической величины либо непосредственно с помощью статистического интеграла, либо с помощью частичных функций между одновременными положениями нескольких частиц в заданных точках пространства. Для метастабильных состояний эргодическая гипотеза не выполняется. Хаотическое расположение частиц в фиксированных точках пространства приводит к локальной микроскопической неоднородности.
Модернизация заключается в том, что рассматриваются одинаковые копии подсистем (реплики). Внутри каждой из них, как и в термодинамически"=равновесных системах, межмолекулярное взаимодействие задается одинаковым образом. Однако между репликами теперь существует взаимодействие. Параметры взаимодействия подбираются так, чтобы среднее расстояние между частицами было меньше, чем в жидкости. По существу, это является критерием отличия переохлажденной жидкости от идеального стекла. В результате удается описать переход из начального равновесного состояния в конечное метастабильно состояние, не прибегая к рассмотрению промежуточных кинетических процессов. В англоязычной литературе теория реплик «хаотического фазового перехода первого порядка» и его реализация для практически важных молекулярных систем (многокомпонентные жидкости с различными потенциалами межмолекулярного взаимодействия, гелеобразные системы и т. д.) получили бурное развитие. Теория реплик по значимости стоит в одном ряду с формулировкой канонического распределения Гиббса и метода интегральных уравнений статистической теории термодинамически равновесных жидкостей. Однако важно подчеркнуть, что теория реплик не дает никакого представления о релаксационных процессах. Интегральные уравнения для частичных функций распределения дают только представление о структурных характеристиках термодинамически равновесных и метастабильных состояний, достигаемых на бесконечно больших временных интервалах.
Для пространственно"=однородных жидкостей двухчастичная функция распределения зависит от расстояния между частицами . В этом случае уравнение для одночастичной функции распределения удовлетворяется тождественно. Система двух уравнений ОЦ сворачивается к одному уравнению для двухчастичной функции распределения . Для пространственно"=неоднородных систем функции необходимо решать оба уравнения ОЦ для функций и . Заметим, что решение уравнений (1) и (2) для этих функций многих переменных является сложной вычислительной задачей. Эту проблему обходят заменой прямой корреляционной функции ее граничным значением . В зависимости от применяемой аппроксимации получают то или иное нелинейное интегральное уравнение на одночастичную функцию распределения (синглетное приближение), описывающую профиль локальной плотности вблизи твердой поверхности. Все они являются нелинейными интегральными уравнениями и решаются численно. Тем не менее, методическая погрешность синглетного приближения также остается неизвестной, и полученное решение вновь приходится сравнивать с численным экспериментом. Анализ численных решений приведен в работе [7]. Таким образом, описание структуры жидкостей в контакте с твердой поверхностью остается актуальной задачей.
В наших работах [2, 3, 16] было предложено переопределить неприводимые функциональные диаграммы в одночастичном уравнении так, чтобы нелинейности компенсировались, и в синглетном приближении получилось линейное интегральное уравнение в классификации Фредгольма второго рода. Проведен анализ литературы по аналитическому и численному решению уравнений Фредгольма второго рода с целью реализации алгоритма, требующего наименьших вычислительных ресурсов.
2. Линейное интегральное уравнение физики жидкостей на границе с твердой поверхностью
Для вычисления локальной микроструктуры граничных слоев жидкостей и термодинамических параметров необходимо знать одночастичную функцию распределения , которая определяет вероятность нахождения частицы во внешнем поле вблизи точки с координатами . Одночастичный термический потенциал учитывает взаимодействие частицы с окружающей средой. Линейное интегральное уравнение Фредгольма для функции распределения для жидкости вблизи твердой поверхности ( ) было получено в [2, 3, 16]:
(3)
Здесь учтено, что взаимодействие частиц жидкости с поверхностью осуществляется как взаимодействие твердых сфер. Прямая корреляционная функция должна быть предварительно вычислена. Учтем, что (3) есть уравнение Фредгольма второго рода. Ядро уравнения и правая часть предварительно вычисляются из соответствующего интегрального уравнения для двухчастичной функции распределения макроскопической жидкости [8, 15, 17]. В том случае, когда параметры уравнения вычисляются аналитически, данное уравнение также может быть решено аналитически. В частности, для замыкания Перкуса" Йевика [8] внутренние интегралы уравнения (3) можно представить в виде
(4)
где , , .
Непосредственное вычисление показывает, что
(5)
(6)
Соответственно, можно найти значение производной ( ) в точке . В результате уравнение (3) принимает вид
(7)
(8)
где и .
Асимптотическое поведение функции при больших значениях аргумента вычислено в наших работах [?,?]. Было показано, что решение имеет осциллирующий, затухающий вид, однако амплитуда колебаний оставалась неизвестной, так как для ее определения необходимо знать решение на малых расстояниях. Тем не менее, было показано, что волновые числа, определяющие скорость затухания и период осцилляций, находятся численным решением двух трансцендентных уравнений. Численное решение системы трансцендентных уравнений проводилось методом последовательных приближений для плотностей жидкости в диапазоне от 0.25 до 0.785. Было показано, что при малой плотности молекулярной системы затухание носит короткодействующий характер. Однако с ростом плотности осцилляции носят дальнодействующий характер, что обусловлено эффектами плотной упаковки твердых сфер. Полученное решение можно распространить на молекулярные системы с реалистичными потенциалами межчастичного взаимодействия. В данной работе мы рассмотрим решение системы уравнений (7), (8) при малых значениях аргумента.
Из уравнения (7) следует, что интегрирование искомой функции нужно вести на интервале . Но для этого, как следует из (6), необходимо знать ее поведение на интервале и т. д. Таким образом, получается бесконечная последовательность функций , ( ). Решение уравнений (7), (8) будем искать в классе кусочно"=непрерывных функций. Поскольку второе слагаемое в (7) есть полином шестой степени, то полагаем
(9)
Соответственно можно найти все производные функции в точке . Все они будут выражаться через производные . Точно также полагаем, что
(10)
Из (10) можно найти все производные функции в точке , которые будут выражаться через производные . Аналогично можно записать разложение функции в ряд по степеням на остальных интервалах. Таким образом последовательно вычисляется функция на всем интервале .
Теперь рассмотрим уравнение (7), которое с учетом высказанных соображений, запишем в виде
(11)
Дифференцируя обе части уравнения (11) и полагая затем , получим систему уравнений, в которую входят функция и ее производные в точках и . Например,
(12)
(13)
(14)
(15)
и т. д., вплоть до . В результате получается система линейных алгебраических уравнений шестого порядка, решение которой позволяет вычислить функцию на интервалах и .
Перейдем далее к решению уравнения (8). Значение функции в левой части уравнения на интервале , позволяет вычислить ее на следующем интервале . С этой целью, выделив по отдельности интегрирование на разных интервалах, перепишем уравнение (8) в виде
(16)
В правой части (14) все слагаемые вычисляются на интервале и являются заданными величинами. В результате получается интегральное уравнение Вольтерра первого рода, решение которого определяет функцию на интервале . Рассмотренный в уравнениях (12)(16) алгоритм позволяет последовательно находить решение уравнения (6) на интервале и т. д. Подстановка полученного решения в (8) для приводит к уравнениям Вольтерра для старших функций, которые также могут быть решены аналитически. Заметим, что для численного решения уравнения (3) с другими параметрами межмолекулярного взаимодействия и замыканиями необходимо предварительно их вычислить на основе решения нелинейных интегральных уравнений Орнштейна" Цернике.
3. Заключение
В настоящее время все нелинейные интегральные уравнения физики макроскопических жидкостей получаются суммированием приводимых диаграмм в формально точных уравнениях Орнштейна" Цернике. Неприводимые диаграммы попросту не учитываются, что приводит к приближенным уравнениям, методическая погрешность которых неизвестна. Оценка погрешности осуществляется сравнением с результатами численного эксперимента, который служит эталоном точности. Такая же ситуация наблюдается и при описании поверхностных явлений в жидкостях " так называемое синглетное приближение.
Разрабатываемый нами подход к статистической физике поверхностных явлений основан на предположении, что учет неприводимых диаграмм в бесконечных функциональных рядах для прямых корреляционных функций, можно проводить так, чтобы осуществлялась компенсация всех нелинейностей. Данный подход применен для модификации синглетного приближения одночастичной функции распределения жидкости в контакте с твердой поверхностью. В результате получается стандартное уравнение Фредгольма второго рода, ядро и правая часть которого находятся предварительно решением для прямой корреляционной функции одного из нелинейных интегральных уравнений макроскопической жидкости. В качестве такого мы выбрали уравнение Перкуса" Йевика, которое допускает аналитическое решение для прямой корреляционной функции. Соответственно решение уравнение Фредгольма второго рода также допускает аналитическое решение. Нами предложен алгоритм аналитического решения посредством разложения искомого решения в степенные ряды по малому параметру, характеризующему удаление частицы от твердой поверхности. Решение представлено полиномом шестой степени по этому параметру.
Для других прямых корреляционных функций ядро и правую часть уравнения Фредгольма второго рода необходимо предварительно определить численно. Соответственно уравнение также придется решать численно. Однако это требует меньших вычислительных затрат, чем решение нелинейного синглетного уравнения для одночастичной функции распределения. Заметим, что методическую погрешность предложенного нами уравнения все"=таки придется сопосталять с данными численного эксперимента. Такое сопоставление позволит выяснить, у какого уравнения методическая погрешность меньше.
Другим достоинством линейного уравнения является возможность обобщить его для описания тонких аморфных пленок на основе теории хаотического фазового перехода первого порядка. Заметим, что идеология этой теории до сих пор применялась для описания пространственно"=однородных систем (в отсутствии внешних полей и вдали от ограничивающих поверхностей). Однако возможно применить теорию хаотического фазового перехода первого порядка для описания структуры жидкости, граничащей с твердой поверхностью на основе уравнения (3). Предварительно ядро и правая часть уравнения (3) должны быть вычислены с помощью данной идеологии, а затем стандартными способами можно решать линейное интегральное уравнение. В результате появляется возможность описывать методами статистической физики поверхностную аморфизацию переохлажденных граничных слоев жидкостей.