Введение
В настоящее время теории неэкстенсивных сложных систем существенно развиваются в ускоренном ритме, при котором появляются новые идеи, позволяющие глубже понять их природу, возможности и ограничения (см. Библиографию, представленную на сайте http:/tsallis. -cat.cbpf.br/biblio.htm, которая постоянно обновляется). Каждая такая теория имеет широкий спектр важных приложений, связанных с физикой статистических систем, вероятностные свойства которых описываются не гиббсовыми, а степенными распределениями. В частности, неэкстенсивная статистическая механика Тсаллиса (см. Havrda, Charvat, 1967; Daroczy, 1970; Tsallis, 1988; Abe, 2000a) успешно применяется ко многим сложным системам, начиная от нелинейных диффузионных уравнений, обобщенных кинетических уравнений (Lenzi и др., 2001), H-теоремы Больцмана (Frank, Daffertshofer, 2001a), систем Фоккера−Планка (Frank, Daffertshofer, 2001b), квантовой статистики, до изучения космических систем с дальним силовым взаимодействием (Kolesnichenko, 2017), эволюции астрофизических дисков, межзвездной турбулентности и теории фракталов (Kolesnichenko, Marov, 2013,2014), биофизики, экономики, нейрофизики и многое другое (см. Beck, Schlogl, 1993; Abe, Okamoto, 2001; Gell-Mann, Tsallis, 2004; Tsallis,1999, 2009; Колесниченко, 2015, 2016, 2018а,в, 2019; Kolesnichenko, Marov, 2013; Kolesnichenko, Chetverushkin, 2013; Kolesnichenko, 2014, 2017).
Среди множества неэкстенсивных систем особое значение имеют малые квантовые системы, основанные на неаддитивной параметрической энтропии Тсаллиса (Wehrl, 1978), связанной с матрицей плотности , описывающий системы, квантовые состояния которых известны не полностью (Нейман, 1964; Нильсон, Чанг, 2006). При изучении подобных систем возникают многочисленные новые математические проблемы, требующие своего решения (см. Abe, Rajagopal, 2000, 2003; Abe, 2003, 2004, 2006). В их числе, одной из важных, является проблема моделирования реакции квантовой системы на механическое возмущение, нарушающее равновесие (Зубарев,1971; Зубарев и др., 2002). Причиной этих возмущений может быть или совершаемая над системой работа, через изменение её объема, или взаимодействие с другими ансамблями (обладающими другой температурой или химическим потенциалом), или, наконец, включение внешних полей, непосредственно действующих на частицы системы. Этот последний случай необратимых процессов, вызванных механическими возмущениями, рассмотрен в настоящей работе.
Механические возмущения можно полностью описать добавлением к равновесному гамильтониану квантовой системы соответствующего оператора энергии возмущения , зависящего от времени1). Микроскопическая теория линейной реакции ансамбля классических квантовых систем обычно разрабатывается двумя способами: либо с использованием запаздывающих функций Грина (см., например, Зубарев, 1971; Зубарев и др., 2002), либо методом Кубо, с помощью функций отклика и релаксации (Kubo, 1957; Kubo и др., 1957). Метод Кубо основан на квантовом уравнении Лиувилля с учётом условия, что система в отдалённом прошлом (т.е. при ) находилась в равновесном состоянии, а затем было «включено» внешнее механическое возмущение. Кубо показал, что отклик системы на внешнее возмущение можно описать формулами, связывающими отклонение средних значений некоторых динамических переменных от равновесных значений , с явным видом гамильтониана механического возмущения . Исключительная особенность формул Кубо состоит в том, что они выражают неравновесные свойства в виде средних по состоянию статистического равновесия и имеют весьма общий характер (см. Зубарев, 1971).
Влияние внешних возмущений на средние значения наблюдаемых величин в неэкстенсивной квантовой статистике Тсаллиса также можно описывать либо модифицированными функциями Грина, описывающими линейную реакцию на слабые механические возмущения (см., например, Abe, 1999; Lenzi и др., 1999, 2000), либо на основе модифицированного метода Кубо (Abe, Okamoto, 2001; Guo, Du, 2014), чему мы и последуем в данной работе. Следует заметить, что в неэкстенсивной статистике Тсаллиса в зависимости от способа определения средних значений динамических величин наличествуют различные варианты представлений равновесных ансамблей. Выполненный в данной работе анализ отклика квантовой системы на механические возмущения основан на осреднении наблюдаемых величин по эскортному вероятностному распределению (Abe, 2000b) и на соответствующем степенном представлении канонического равновесного распределения матрицы плотности.
Основные определения и статистические свойства квантовой энтропии тсаллиса
Приступим прежде всего к конструированию равновесной термодинамики квантово-механических ансамблей, основанной на обобщённой неэкстенсивной статистке Тсаллиса. В основу изучения различных статистических квантовых ансамблей неэкстенсивных систем можно положить экстремальные свойства квантовой информационной энтропии (введенной впервые в работе (Wehrl, 1978)) и использовать их для нахождения различных матриц плотности, заменяющих функцию распределения вероятностей в классической статистике (Abe, 2000a). Отметим, кстати, что при обобщении ансамблей Гиббса на случай квантовой статистики фон Нейман исходил именно из экстремальных свойств введенной им энтропии квантового состояния (см. фон Нейман, 1964), где − матрица (оператор2)) плотности микросистемы, при помощи формализма которой, согласно теореме Глисона (Gleason, 1957), описывается любая квантово-механическая система.
В квантовой неэкстенсивной статистике при вероятностной нормировке
матрицы плотности (в матричном -представ-лении (см. Приложение)), описывающей смешанные квантовые состояния, квантовая информационная энтропия Тсаллиса задаётся следующим обобщенным функционалом от оператора плотности (см. Daroczy, 1970; Wehrl, 1978; Tsallis, 1988):
Здесь энтропийный индекс (параметр деформации) представляет собой вещественное число (принадлежащее областисти ), которое характеризует неэкстенсивную особенность (неаддитивность) квантовой системы. Заметим, что шпуровая ( -trace) структура определения энтропии (2) важна тем, что делает энтропию функционально независимой от унитарных преобразований в пространстве состояний, т.е. эта формула справедлива при любом представлении оператора , а не только при его матричном -представлении (см., например, Зубарев и др., 2002).
Можно показать, что параметрическая квантовая энтропия (2) может быть представлена также в следующих эквивалентных формах:
Здесь
− так называемые деформированные логарифмы (Tsallis, 1999, 2009), обладающие, как легко убедиться, следующим свойством: при , , . При его использовании энтропия Тсаллиса переходит в − квантовую энтропию фон Неймана, являющуюся, в свою очередь, квантовым обобщением энтропии Гиббса в классической статистической механике.
Энтропия Тсаллиса (2) имеет много полезных свойств. В частности, если состояние совокупной квантовой системы, состоящей из двух независимых подсистем, описывается совместным мультипликативным статистическим оператором где и − матрицы плотности отдельных подсистем (здесь и далее символом обозначено матричное произведение), то общая энтропия системы
неаддитивна, т.е.
Таким образом, неаддитивная квантовая энтропия является субэкстенсивным (суперэкстенсивным) функционалом при ( ) и экстенсивным функционалом только в пределе слабой связи двух подсистем, когда .
В обычной квантовой статистике любой случайной динамической переменной ставится в соответствие эрмитов оператор (см. фон Нейман, 1964) так, что среднее значение этой переменной в состоянии микросистемы, описываемом матрицей плотности , вычисляется по формуле: . В неэкстенсивной квантовой статистике Тсаллиса для вычисления среднего значения динамической переменной и её флуктуации можно использовать различные формулировки (см., например, Tsallis, 2009). Далее мы воспользуемся следующим их определением:
где
− так называемое нормированное эскортное распределение (Abe, 2000b), для которого.
Важно отметить, что различные статистические ансамбли квантовых систем (как и классических) эквивалентны в термодинамическом отношении, что связано, в частности, с малостью флуктуаций энергии, числа частиц и объёма (см. Зубарев, 1971). Далее мы воспользуемся наиболее удобным для наших целей каноническим ансамблем квантовых систем, описывающим контакт с термостатом и резервуаром частиц и определяемым заданием средней энергии и среднего числа частиц.
Экстремальность канонического распределения для неэкстенсивных систем. Рассмотрим ансамбль замкнутых систем с заданным числом частиц и постоянным объёмом, находящихся в тепловом и материальном контакте с окружением. Тогда матрица равновесной плотности (статистический оператор равновесного распределения) может быть определена из абсолютного экстремума квантовой информационной энтропии Тсаллиса (2) при выполнении следующих дополнительных условий:
т.е. при заданности осреднённого оператора плотности энергии и при сохранении нормировки (1).
Согласно вариационному принципу Джейнса (Jaynes, 1963), равновесная матрица плотности «экстремизирующая» энтропию Тсаллиса при указанных ограничениях, определяется из условия равенства нулю первой вариации по следующего Лагранжиана
Здесь
− так называемый коэффициент Тсаллиса; и − определяемые из уравнений (1) и (7) лагранжевы множители, которые связаны с ограничением на осреднённый оператор плотности энергии квантовой системы в неаддитивной статистике Тсаллиса.
Определяя абсолютный экстремум функционала (8) из условия , находим для неэкстенсивных квантовых систем следующее выражение для обобщенного большого канонического распределения оператора плотности :
где
− обобщенная статистическая сумма состояний для канонического квантового ансамбля, определяемая из условия нормировки (1); параметр является обратной физической температурой равновесной квантовой системы, ;
− значение коэффициента Тсаллиса в равновесном случае; знак тильды « » здесь и далее над осредненными динамическими переменными означает, что осреднение проведено с помощью равновесного распределения (10).
В формуле (11) и далее везде квантово-механическая флуктуация для любого оператора определяется относительно его равновесного среднего значения, т.е. задаётся соотношением .
Экспонента Тсаллиса и деформированный логарифм. В формуле (10) используется так называемая деформированная экспонента Тсаллиса
причем неравенство означает, что существует естественное «отключение», когда спектр оператора в скобках имеет отрицательные значения, связанные с действительностью следа.
Легко проверить, что в пределе функция (12) принимает стандартный вид:
Используя определения (3) и (12), можно убедиться, что имеют место следующие соотношения для деформированной экспоненты (см., например, Tirnakli, Torres, 2000; Tsallis, 2009):
Эти формулы будут использованы далее.
Некоторые свойства равновесного распределения. Из распределения (10) следует соотношение
Если умножить (16) на и затем взять шпур, то получим равенство
из которого, при учете (1) и (7), следует важное представление для «равновесного» коэффициента Тсаллиса
Используя (18) и вытекающее из формулы (10) выражение
получим ещё одно представление обобщённой статистической суммы
Заметим, что согласно (10) имеем
отсюда, при учёте двух различных выражений для , равных
получим
Наконец, при использовании равновесного канонического распределения (22) и формулы (20) можно получить следующую форму записи для среднего значения любой наблюдаемой равновесного ансамбля квантовых систем.
Заметим, что формулы (22) и (23) справедливы и для квазиравновесного случая, когда и . Дифференцируя в этом случае тождество (23) по времени, найдём
Подставляя сюда из обобщённого уравнения Лиувилля, получим
где − производная динамической переменной по времени. Если динамическая переменная независит явно от времени, то
Реакция квантовой неэкстенсивной системы на механическое возмущение
Как хорошо известно, в равновесной статистической термодинамике классических и квантовых систем кинетические коэффициенты в линейных уравнениях релаксации непосредственно связаны с флуктуационными процессами, происходящими в квазиравновесной системе (см. Kubo, 1957). Проанализируем эту связь более подробно для случая квазиравновесных квантовомеханических неэкстесивных систем Тсаллиса и выясним линейную реакцию на механическое возмущение релаксационных уравнений для наблюдаемых величин.
Модифицированное уравнение Лиувилля для оператора . Рассмотрим реакцию квантового статистического ансамбля неэкстенсивных систем с равновесным гамильтонианом не зависящим от времени, на включение внешнего оператора энергии возмущения , зависящего от времени. Предположим, что внешняя возмущающая сила имеет механическую природу и может быть представлена малым добавочным членом в гамильтониане системы, т.е.
где − квантовомеханический оператор, независящий явно от времени, сопряженный полю ; − возмущающая сила (функция времени, не имеющая операторной структуры); − возмущённый гамильтониан (самосопряжпенный оператор), действующий в гильбертовом пространстве на матрицу плотности для смешанных ансамблей. Предположим также, что при внешнее возмущение отсутствует, т.е. .
Следует заметить, что в общем случае на систему могут действовать разные возмущающие силы механического типа. В этом случае добавка к равновесному гамильтониану имеет вид , где − динамические переменные, на которые с силой действует внешнее поле; , .
Матрица плотности , являющаяся унитарным оператором, в координатном -представлении задаётся формулой
где − возможные квантовые состояния системы и − их классические вероятности. Статистический оператор удовлетворяет фундаментальному уравнению квантовой механики (уравнению движения Лиувилля−фон Неймана) в операторной форме
и начальному условию , которое означает, что при система находится в состоянии статистического равновесия и описывается равновесным каноническим ансамблем3). Здесь
− квантовая скобка Пуассона для операторов и ; − постоянная Планка. Уравнение (29) является естественным обобщением классического уравнения Лиувилля на квантовые системы (см., Зубарев и др., 2002).
Поскольку матрица плотности является унитарной, то уравнение, которому подчиняется любая степень оператора имеет ту же форму, что и исходное уравнение Лиувиля (29).
С учётом того, что след произведения некоммутирующих операторов и не изменяется при их циклической перестановке (см. фон-Нейман, 1964), получим при взятии шпура от обеих частей уравнения (4) следующий важный результат: коэффициент Тсаллиса не зависит явно от времени . Следовательно, уравнение для эскортного распределения имеет вид:
Начальное условие для этого уравнения, с учётом формулы (22) для канонического распределения, принимает следующий вид:
Учитывая, что внешнее силовое воздействие на систему мало, представим эскортное распределение также в виде суммы невозмущенной равновесной части и малой добавки , описывающей возмущение:
где равновесное эскортное распределение удовлетворяет условию
Подставляя (27) и (33) в (31), получим уравнение
определяющее флуктуацию распределения в первом порядке по возмущению.
Основные формулы метода Кубо в теории линейной реакции. Введём для удобства линейный оператор коммутирования4) , определяемый соотношением . Оператор действует на другие операторы. Используя этот оператор, перепишем уравнение (35) в виде
Используя теперь начальное условие (32), запишем уравнение (36) в интегральной форме; в линейном приближении по возмущению получим
Здесь использовано предположение, что и , т.е. предполагалось, что в момент времени система находилась в равновесии.
С использованием формулы (37) можно найти среднее значение -флуктуации любой динамической переменной , которое определяется соотношением
где − равновесное экскортное распределение, задаваемое формулой (32). В результате получим
Здесь
− оператор динамической переменной в представлении Гейзенберга, удовлетворяющий уравнению с граничным условием
Соотношение (39) можно записать в другом виде. Вводя так называемую равновесную функцию отклика (response function)
(описывающую реакцию системы на воздействие внешней силы, которая приводит к изменению равновесного среднего значения динамической переменной ), получим
Формулы (13) и (16) являются основным результатом теории линейной реакции Кубо и называются формулами Кубо.
Воспользуемся теперь необходимой для дальнейшего модификацией известного в квантовой механике тождества Кубо (см. Kubo,1957; Зубарев и др., 2002)
справедливого для любых операторов и . Модификация этого тождества на случай неэкстенсивных квантовых систем с каноническим распределением матрицы плотности
имеет вид (см., например, Abe, Okamoto, 2001):
где
Подставляя (43) в формулу (42), получаем (при учёте уравнения движения с граничным условием ) следующую формулу для равновесной функции отклика (функции последствия):
Заметим, что уравнение (42) можно интерпретировать двояким образом. С одной стороны, величина является изменением эскортного распределения под воздействием внешней силы. Первое из уравнений (42) как раз и описывает влияние изменения этого распределения на среднее значение оператора по истечении некоторого времени. С другой стороны, можно представить себе, что внешняя сила влияет на изменение самой динамической переменной . Это влияние описывается членом во втором уравнении (42).
В заключение этого пункта сделаем следующее общее замечание. При рассмотренном подходе возникает следующий капитальный вопрос: можно ли считать, что вычисленное среднее значение динамической переменной действительно представляет собой величину, наблюдаемую в эксперименте? Подобный скептицизм связан с двумя проблемами. Первая из них относится к использованию усреднения по статистическому ансамблю, при котором значение любой наблюдаемой отождествляется со статистическим средним по ансамблю одинаковых квантовых систем. Право на такое отождествление связано с макроскопичностью динамического параметра и рассматриваемой квантовой системы (Зубарев, 1971). Вторая проблема связана с тем, что в процессе измерения возникают возмущения в рассматриваемой квантовой системе. Согласно (39), величина вычисляется как среднее по ансамблю, каждый член которого не испытывает возмущений в процессе измерения. В действительности же каждая отдельная система непрерывно подвергается возмущающему воздействию внешних сил, и это обстоятельство не принималось во внимание при вычислении (39). Таким образом, в данной работе предполагается, что для рассматриваемых величин и для применяемых способов наблюдения подобное квантовомеханическое возмущение будет несущественным.
Общее выражение для адмитанса и соотношения симметрии онзагера
Запишем теперь формулу (42) для случая периодической возмущающей силы
Здесь второе выражение подчёркивает, что возмущение включается адиабатически в бесконечно отдаленное в прошлое время. Для этого возмущения реакцию системы можно записать в виде
где величина
или более точно
является так называемой комплексной восприимчивостью, или адмитансом, которая, как видно, является просто фурье-образом функции отклика ; символ означает действительную часть соответствующего выражения; . Соотношение (47) получается при подстановке (46) в формулу (42).
Заметим, что если оператор соответствует макроскопическому потоку, то величины обычно называют обобщёнными кинетическими коэффициентами, так как они определяют средний поток под воздействием периодического возмущения.
Наконец, при интегрировании по частям, уравнение (49) можно записать в следующем виде:
где релаксационная функция , определяемая выражением
описывает релаксацию системы на внешнее механическое воздействие. Здесь . Здесь − полный набор собственных функций оператора гамильтона, .
Из выражения (51) вытекают четыре важных свойства симметрии для релаксационной функции и адмитанса5):
(I) Функция является действительной величиной, что доказывается путём комплексного сопряжения обоих сторон выражения (51), перестановки индексов суммирования и использования свойств эрмитовости матричных элементов6).
(II) Имеет место симметрия обращения времени, ; это свойство доказывается путём перестановки операторов и , перестановки индексов суммирования , замены на , и сравнения полученного результата с выражением (51).
(III) При обращении времени, сопровождающемся изменением направления магнитного поля на обратное, волновая функция заменяется сопряжённой ей величиной; следовательно
где параметры равны или в зависимости от того, являются ли чётными или нечётными функциями скоростей молекул динамические переменные и . В большинстве случаев и имеют один и тот же знак.
(IV) В силу соотношения (50) теми же свойствами симметрии обладает и комплексная восприимчивость ; их удобно записать для функции , определенной следующим образом:
Она также имеет свойства симметрии Онзагера:
Следовательно, согласно свойству (II) имеем
(V) Наконец, в рассматриваемом здесь случае неэкстенсивных систем справедливы (известные в классической квантовой теории) соотношения Крамерса-Кронига для действительной и мнимой частей адмитанса , имеющие, в силу уравнения (51), следующий вид:
Здесь символ означает, что учитывается только главное значение комплексной величины.
Таким образом, приведенные соотношения теории линейной реакции, полученные в рамках классической статистической квантовой механики, справедливы и для механики неэкстенсивных систем, основанных на параметрической квантовой энтропии Тсаллиса.
Заключение
В работе был использован подход Тсаллиса для получения в рамках квантовой неэкстенсивной статистической механики обобщённых соотношений для адмитанса и функции отклика, описывающих линейную реакцию системы на слабое внешнее механическое воздействие. Для характеристики квантово-механической системы был использован формализм матрицы плотности , описывающий системы, квантовые состояния которых известны не полностью. Выполненное исследование в рамках квантовой неэкстенсивной статистики основывалось на каноническом (степенном) распределении модифицированной матрицы плотности , полученном из условия абсолютного экстремума квантовой параметрической энтропии Тсаллиса при заданной средней энергии частиц, а также на осреднении наблюдаемых величин по эскортному распределению. Было показано, что известные в классической квантовой статистике свойство симметрии для релаксационной функции при обращении времени, причинность и соотношения взаимности Онзагера для обобщённой восприимчивости остаются справедливыми и для неэкстенсивных систем, т.е. они не связаны с фактической формой исходной матрицы плотности.
Полученные результаты могут быть полезным инструментарием при анализе динамических характеристик неэкстенсивных квантовых систем, проявляющих аномальные с точки зрения классической статистики свойства.
-
↑ По терминологии Кубо возмущения, которые не допускают такого представления, называют термическими.
-
↑ Далее операторы будем обозначать буквой со «шляпкой» над ней.
-
↑ Распределение может быть не только каноническим распределением, но любым равновесным распределением (в частности, большим каноническим распределением – наиболее удобным при вычислении средних для бозе- и ферми- систем ). Канонический ансамбль больше подходит к некоторым другим системам, например, спиновым.
-
↑Оператор коммутирования подчиняется следующим правилам (см. Cubo, 1957):
-
↑Свойство симметрии для адмитанса в случае классической статистической механики впервые были рассмотрены Казимиром (Casimir, 1945).
-
↑ Напомним, что оператор называется сопряженным оператору , если для каждой пары функций и имеет место соотношение . Эрмитовый (или самосопряженный) оператор совпадает со своим сопряженным: . Собственные значения эрмитовых операторов являются действительными числами.