Аннотация:
Концепция калибровочных преобразований применяется в доказательстве инвариантности статистики линий нулевой завихренности в случае обратного каскада энергии в волновой оптической турбулентности, которая изучается в рамках гидродинамического приближения двумерного нелинейного уравнения Шредингера для весового поля скорости uu. При этом многоточечные функции плотности распределения вероятности fn поля вихря Ω=∇×u удовлетворяют бесконечной цепочке уравнений Ландгрена–Монина–Новикова (статистическая форма уравнений Эйлера). Уравнения рассматриваются при внешнем воздействии в виде белого гауссова шума и крупномасштабного трения, что ведет к статистической стационарности функции плотности распределения вероятности. Основной результат: преобразования являются локальными, конформно-инвариантно преобразуют n-точечную статистику линий нулевой завихренности или вероятность, что случайная кривая x(l) проходит через точки xi∈R2 при l=li, i=1,…,n, где Ω=0, является инвариантной при конформных преобразованиях.
Исследование выполнено за счет гранта
Российского научного фонда № 22-11-00287, https://rscf.ru/project/22-11-00287/.
А. Н. Гришков поддержан FAPESP (Brazil), проект 2021/09845-0.
Поступило в редакцию: 06.06.2023 После доработки: 26.06.2023
В настоящей работе изучаются статистические свойства поля вихря в волновой оптической турбулентности. Распространение нелинейных пучков в оптической среде описывается двумерным нелинейным уравнением Шредингера (НУШ). Математическая аналогия между многомодовыми оптическими волокнами и двумерным НУШ означает, что многие явления, происходящие в волновой оптической турбулентности, также проявляются в динамических и статистических свойствах нелинейного пучка в многомодовых оптических волокнах. Одним из таких важных физических явлений является волновая оптическая турбулентность, возникающая из-за того, что нелинейная динамика, описываемая НУШ, является хаотической и часто неравновесной как для эволюции начального распределения, так и для случая внешней накачки. Когда накачка (возникающая из-за нестабильности) имеет масштаб, существенно отличный от масштаба диссипации, в дефокусирующем НУШ проявляется множество сложных структур, включающих смесь конденсата, ударных волн, серых солитонов и оптических вихрей. Полное теоретическое описание таких сложных явлений (как аналитическое, так и численное) еще не разработано в полном объеме.
Исследование задачи проводится в предположении статистической изотропии, т. е. мы интересуемся случайными полями, их статистическими распределенными величинами. Любая оптическая турбулентность происходит в среде (установке, вычислительной области, конфигурации поля), которая обычно нарушает изотропию. Мы изучаем влияние этого нарушения симметрии конфигурации поля на статистических распределенных величинах. Далее мы исследуем свойства статистики, которые не зависят от свойств внешней случайной силы, т. е. инвариантность, когда турбулентность реализуется на масштабах, превышающих радиус корреляции внешней силы, или в обратных каскадах.
Рассматривается бесконечная цепочка кинетических уравнений для описания статистики оптических вихрей с сосуществованием когерентных структур и случайных оптических вихрей. При их выводе в качестве основной величины движения берется поле завихренности. Эти уравнения напоминают цепочку Боголюбова в статистической физике, но здесь они выведены для поля. Полученные уравнения применимы для описания турбулентного режима в терминах многоточечных функций плотности распределения вероятности fn (ФПРВ), они представляют собой уравнения Ландгрена–Монина–Новикова (ЛМН) (статистическая форма уравнений Эйлера) для поля вихря Ω в двумерном потоке. Межмодовое взаимодействие оптических вихрей с когерентными структурами учитывается в гидродинамическом приближении НУШ через фрикционное демпфирование, посредством которого энергия взаимодействия сдвигается в бо́льшие масштабы обратного каскада. При этом система может возбуждаться белым гауссовым шумом с коротким радиусом корреляции.
Одним из приложений конформной инвариантности являются тороидальные оптические вихри. В работе [1] представлены экспериментальные результаты формирования тороидальных структур лучей в оптике. Для обоснования эксперимента привлекалось трехмерное линейное уравнение Шредингера (параболическое приближение) в цилиндрической геометрии при аномальной дисперсии групповой скорости волнового пакета Ψ, которое является инвариантным при конформных преобразованиях плоскости, на которой расположены два фазовых элемента Ψ. Нити вихревой цилиндрической трубки конформным преобразованием отображаются в окружности с образованием вихревого кольца в трехмерном пространстве. Привлекаемое уравнение может быть использовано только в определенных приближениях, без учета нелинейных эффектов распространения оптических волн и взаимодействия с фоном случайных волн. Последнее ведет к тому, что обоснование подобных структур должно рассматриваться в рамках статистической теории с изучением симметрии статистических распределений поля завихренности, что учтено в настоящей работе. При выводе кинетического уравнения для ФПРВ мы используем гидродинамическое приближение НУШ для весового поля скорости u, как это сделано в работе [2]. Кроме того, расширение симметрии до конформной инвариантности – программа, предложенная Поляковым [3] для двумерной статистической теории гидродинамической турбулентности. В этом случае конформная группа является бесконечномерной, что позволяет использовать возможности конформной теории поля [4]. Одним из основных результатов работы [5] (см. также [6]) является доказательство конформной инвариантности характеристик fn-уравнения (уравнение для многоточечной ФПРВ) иерархии ЛМН для волновой оптической турбулентности при произвольном n в отсутствие внешнего случайного воздействия и инвариантности n-точечной статистики для ФПРВ вдоль изолиний нулевой завихренности, что обобщает результаты, полученные для одноточечной статистики [7], [8] и для скалярного поля [9]. Для двумерной гидродинамической турбулентности в работе [10] получен точный аналитический результат, касающийся конформной инвариантности одноточечной статистики линии нулевой завихренности x(l) или контура кластера вихрей при внешнем воздействии в виде белого гауссова шума и крупномасштабного трения. Отметим, что для волновой оптической турбулентности граница кластеров оптических вихрей наблюдается в экспериментах [11].
Цель настоящей работы – распространить результаты, полученные в [5], на случай, когда fn-уравнение рассматривается при внешнем воздействии в виде белого гауссова шума и крупномасштабного трения. Группа преобразований симметрии G вычислена в работах [5], [6] в отсутствие внешнего воздействия. Кроме того, показано, что нарушается инвариантность fn-уравнения в присутствии вязкости, которая ведет к разрушению обратного каскада переноса энергии турбулентности. Концептуальная новизна работы состоит в введении расслоенного пространства и действия группы G в этом расслоении, что позволяет ввести калибровочный потенциал, форму связанности пространства и другие объекты теории преобразований расслоенных пространств.
2. Основные понятия
2.1. Статистическая модель
Статистические выборки, как правило, рассматриваются на некотором многообразии X, возможно несвязном и недифференцируемом. Статистические модели представляют собой совокупность вероятностных мер {μx∣x∈X} (параметризованных переменной x) или функций плотности распределения вероятностей, заданных на некотором фиксированном пробном пространстве M наблюдаемых данных ω. Выбор статистической модели, ассоциированной с рассматриваемой физической моделью, состоит в фиксировании вероятностной меры. Рассмотрим n-точечную выборку (x(1),…,x(n))∈X, которой соответствуют наблюдаемые данные (ω(1),…,ω(n)). Далее будем рассматривать X как конфигурационное пространство двумерного турбулентного потока такое, что наблюдаемое значение ω(i) – значение компоненты завихренности Ω(x(i),t) – интерпретируется как внутреннее состояние жидкой частицы x(i). Пространство состояний точки x(i) турбулентного потока является одномерным расслоением M≃R над X. Тогда пространство состояний n-точечной выборки (x(1),…,x(n)) есть прямое произведение Mn=M×⋯×M≃Rn. Рассмотрим семейство вероятностных мер {μx∣x∈X}, заданных на M, и стандартную меру Лебега ν, определенную в M. Предполагается, что семейство мер {μx} является абсолютно непрерывным относительно меры ν. Тогда отображение
μx→[dμxdν]1/2,
где dμx/dν – производная Радона–Никодима, определяет вложение семейства вероятностных мер {μx∣x∈X} в единичную сферу S гильбертова пространства L2(M,ν). Производная
dμxdν=f
определяет ФПРВ в гильбертовом пространстве S. Конкретный вывод ФПРВ приведен ниже для модели волновой оптической турбулентности.
Для построения калибровочного преобразования выбирается группа Ли, действующая на многообразие X, и мы будем рассматривать конформные преобразования двумерного многообразия X, которые представляют собой псевдогруппу Ли, реализованную на комплексной прямой C. Действие рассматриваемой группы может быть поднято на расслоение P=Px(1)×⋯×Px(n) многообразия X с базой x(j), где слой Px(j) – группа преобразований Gj, что позволяет определить калибровку слоя. Такие расслоения называются главными. Реализация калибровки представлена для статистической модели волновой оптической турбулентности, основанной на нелинейном уравнении Шрeдингера.
2.2. Волновая оптическая турбулентность
Теория волновой оптической турбулентности предсказывает неравновесные статистические состояния, характеризующиеся каскадным (прямым и обратным) переносом энергии по соответствующим масштабам движения двумерных потоков. Обратный каскад ведет к накоплению спектра энергии на больших масштабах с последующим формированием крупномасштабных когерентных структур. Их развитие происходит посредством самовзаимодействия и взаимодействия с фоном случайных волн (со случайной фазой и амплитудой), что реализует сценарий хаоса [12].
Для статистического описания кластеров вихрей использована аналогия между поведением оптических и гидродинамических полей. Имея гидродинамическое приближение НУШ, определяемое уравнением Эйлера идеальной жидкости, уравнения для n-точечной ФПРВ fn поля вихря Ω можно определить из бесконечной цепочки уравнений ЛМН (статистическая форма уравнений Эйлера). Мы изучаем свойства статистики, которые не зависят от свойств внешней случайной силы, т. е. инвариантность, когда турбулентность реализуется на масштабах, превышающих радиус корреляции внешней силы или в обратных каскадах. Эксперименты и численное моделирование в пределах погрешности демонстрируют масштабную инвариантность статистики в обратных каскадах, в то время как масштабная инвариантность нарушается во всех известных прямых каскадах [13]. В частности, возможность расширения симметрии до конформной инвариантности вызвано приложением конформных преобразований в оптике [1], где представлены экспериментальные результаты формирования тороидальных структур.
2.3. Нелинейное уравнение Шредингера
Для моделирования нелинейного распространения оптических волн в терминах скалярной волновой комплексной функции Ψ(X,Y,T) для огибающих используется НУШ, которое в безразмерных переменных x, y, t и ψ имеет вид
где |ψ|2 – оптическая интенсивность, ϕ – фаза волновой функции, устанавливает соответствие между оптическими и гидродинамическими полями, ρ и v удовлетворяют уравнениям Эйлера для невязкого политропного газа с показателем адиабаты γ=2. Таким образом, оптическая интенсивность представляет собой плотность ρ, оптический фазовый градиент ∇ϕ является скоростью v, нелинейное возмущение показателя рефракции соответствует давлению p, расстояние, пройденное оптической волной, ассоциируется со временем t. В точках xi=(xi,yi)∈R2, где ψ=0, фаза ϕ не определена и завихренность определяется распределением дельта-функции δ(x−xi). Переход к скорости u=√ρv, как это сделано в работе [2], где аппроксимируется v вблизи xi вихревым решением Питаевского [15] с весом √ρ, позволяет перейти к локализованному и быстро убывающему на больших расстояниях от центра вихря полю завихренности Ω, которое все еще сингулярно при r=0 (r=|x−xi)|), но уже не является распределением дельта-функции.
при этом HK совпадает с гамильтонианом идеальной несжимаемой жидкости. Как показано в работе [2], гамильтониан HK является доминантным на масштабах движения порядка радиуса ξ ядра вихря в разложении гамильтониана H, где значительно изменение давления p=ρ2 и ρ≈1 (фоновое значение плотности) для r≫ξ. Кроме того, дивергенция поля u, т. е. γ(x)=∇⋅u, на этих масштабах движения есть величина γ(x)≪1 (см. [2]). Таким образом, гидродинамическое приближение НУШ на масштабах движения порядка ξ определяется уравнением Эйлера идеальной жидкости.
Поля завихренности Ω=ωez и скорости u связаны законом Био–Савара
где U – скорость вихря с интегрируемой особенностью. В трехмерном случае особенность не является интегрируемой и применяется регуляризация.
2.4. Статистическое описание поля оптических вихрей
Имея гидродинамическое приближение НУШ, определяемое уравнением Эйлера идеальной жидкости, уравнение для n-точечной ФПРВ fn поля вихря Ω можно определить из бесконечной цепочки уравнений ЛМН, которая выводится из статистической формы уравнений Эйлера с использованием закона Био–Савара (7). Уравнения рассматриваются при внешнем воздействии белого гауссового шума и крупномасштабного трения Экмана, что ведет к статистической стационарности ФПРВ. Экспериментальное наблюдение оптической волновой турбулентности представлено в работе [12]. Начиная со слабонелинейных некогерентных волн наблюдается обратный каскад по спектру энергии и рост нелинейности, приводящий к образованию когерентных структур. Особенностью является стохастичность процесса формирования кластеров оптических вихрей.
Используются следующие обозначения: fn(x(1),ω(1),…,x(n),ω(n),t) – n-точечная ФПРВ, n=1,…, ω(i), i=1,…,n, – значение компоненты завихренности Ω(x(i),t)(≡Ω(i)) в точке x(i) в момент времени t. Далее верхний индекс будет обозначать компоненту вектора.
Уравнение для n-точечной ФПРВ fn бесконечной цепочки уравнений ЛМН в эйлеровой формулировке при внешнем случайном действии и нулевой вязкости имеет следующий вид [16]:
Первое слагаемое в (11) – фрикционное демпфирование (трение Экмана), посредством которого энергия взаимодействия сдвигается в б́ольшие масштабы обратного каскада. Второе слагаемое отвечает за возбуждение системы белым гауссовым шумом с коротким радиусом корреляции, Q(x(n)−x(j)) интерпретируется как амплитуда внешнего воздействия. Компоненты скорости определяются формулами
Последнее соотношение понимается в смысле обобщенных функций, что ведет к равенству вероятностных мер.
3. Симметрии статистики поля вихря
Калибровочная инвариантность – это инвариантность физической модели относительно (локальных или зависящих от точки пространства) калибровочных преобразований, т. е. зависящих от координат преобразований, описывающих переход между базисами в пространстве внутренних симметрий. Калибровочная инвариантность эквивалентно определяется, как (инфинитезимальный) дифференциальный оператор на некотором векторном расслоении, принимающий значения в линейном пространстве симметрий.
3.1. Конформно-калибровочные преобразования
Действие псевдогруппы Ли конформных преобразований X может быть поднято на расслоение P многообразия X с базой x(j). Слой Px(j) – группа преобразований Ли Gj (с алгеброй Ли sj), определяемая инфинитезимальным оператором S(j), j=1,…,n [6]:
где F=U+iV, U, V – произвольные сопряженные гармонические функции, удовлетворяющие условиям Коши–Римана, т. е. F – конформное отображение, Fz(k) – производная по z(k). F′(z(j), z(n+1)) определено на C×C, параметр группы a опущен в обозначениях.
Используя x(1),x(2),…,x(n), введем комплексные переменные
Преобразование вектора скорости под действием группы G дано в следующем разделе.
3.2. G-инвариантность fn-уравнения иерархии ЛМН
Рассмотрим fn-уравнения из бесконечной цепочки уравнений ЛМН, т. е. уравнение (9). Принимая во внимание, что правая часть уравнения F ведет к статистической стационарности ФПРВ, уравнение (9) принимает вид
Компоненты вектора скорости ⟨U(z(j),ˉz(j),t)|{ω(l),z(l),ˉz(l)}⟩ преобразуются согласно формулам (эти формулы аналогичны вычислениям для формул (40),(41) в [10] или в инфинитезимальном виде для формул (66)–(68) в [5])
Подставляя полученные выражения в левую часть уравнения (25), в преобразованных переменных получаем, что на статистической выборке {x(j),0}, т. е. на выборке, расположенной на кривой x(l) нулевой завихренности, значения G(x(j),0)=0. В результате получаем
Отметим, что соотношение ω(j)=0 группой Gj преобразуются в ω∗(j)=0. Следовательно, левая часть уравнения (25) в преобразованных переменных под действием группы G имеет вид
Отметим, что конформные преобразования F определяют псевдогруппу Ли преобразований X, т. е. определены локально. Статистическая n-точечная выборка (x(1),…,x(n)) из X принадлежит области определения F и F:(x(1),…,x(n))↦(x∗(1),…,x∗(n))∈X. Конформные преобразования F группы G отражают свойство транзитивности G.
Рассмотрим правую часть уравнения (25) и найдем ее преобразование под действием G. Запишем первое слагаемое в F в преобразованных переменных:
Отсюда следует, что для инвариантности уравнения (25) требуется условие на преобразование Q(x(n)−x(j)), а именно
Q∗(x∗(n)−x∗(j))=|Fz(j)|4Q(x(n)−x(j)).
Таким образом, при выполнении условия (39) уравнение (25) под действием группы G преобразуется инвариантно на выборке (x(1),…,x(n))∈X с ω(j)=0, j=1,…,n.
Инвариантность n-точечной статистики кривой x(l) или вероятности того, что x(l) проходит через точки x(1),…,x(n) c нулевой завихренностью ω(j)=0, устанавливается аналогично прямыми вычислениями.
3.3. Нарушение G-инвариантности fn-уравнения вязкостью
Рассмотрим влияние вязкости на преобразования симметрии уравнения (25). Отметим, что вязкость сдвигает энергию турбулентности в направлении малых масштабов с образованием прямого каскада переноса энергии. Известно из экспериментов и из решения нескольких модельных задач, что масштабная инвариантность нарушена практически во всех известных прямых каскадах (см., например, [13]). Докажем точный результат, что нарушается конформная инвариантность n-точечной статистики в присутствии вязкости.
Для учета вязкости правая часть уравнения (25) дополняется следующим слагаемым:
где Δx(n+1) – лапласиан от переменных x(n+1). Чтобы найти преобразование K∗, найдем, как преобразуется K∗j. Будем использовать следующее соотношение:
dω∗(n+1)=|Fz(j)|2/3dω(n+1).
Преобразования x(j)↦x∗(j) и x(n+1)↦x∗(n+1) являются обратимыми, следовательно, обратимо и преобразование (x(j)−x(n+1))→(x(j)−x(n+1))∗. Следовательно, |x(j)−x(n+1)|∗→0 ведет к |x(j)−x(n+1)|→0. Лапласиан Δx(n+1) преобразуется согласно формулам
Следовательно, вязкость из-за множителя ∑nj=1|Fz(j)|−4/3 нарушает инвариантность fn-уравнения из иерархии ЛМН относительно действия преобразований G.
4. Заключение
В настоящей работе доказано, что G – преобразование произвольного уравнения для n-точечной статистики ФПРВ, т. е. fn-уравнение при внешнем воздействии в виде белого гауссова шума и крупномасштабного трения является инвариантным вдоль кривых с нулевой завихренностью. При этом действие группы G сохраняет класс ФПРВ [5], т. е. инвариантность (15). В связи с этим отметим, что численные эксперименты, проведенные в работах [17], [18] (см. также обзор [13]), демонстрируют, что изолинии нулевой завихренности, температуры скалярных полей в двумерной турбулентности принадлежат классу SLE (Schramm–Löwner evolution) [13] конформно-инвариантных случайных кривых. Такие кривые появляются как границы кластеров в двумерных критических явлениях, описываемых конформной теорией поля. Полученные в работе результаты применимы в оптике для объяснения формирования тороидальных оптических вихрей.
Кроме того, показано, что гипотеза Полякова [3] о расширении симметрии уравнений гидродинамики до конформной группы преобразований двумерных уравнений статистической гидромеханики может быть объяснена в рамках теоретико-группового анализа бесконечной цепочки интегро-дифференциальных уравнений ЛМН для поля вихря.
Конфликт интересов
Авторы заявляют, что у них нет конфликта интересов.
Список литературы
1.
C. Wan, Q. Cao, J. Chen, A. Chong, Q. Zhan, “Toroidal vortices of light”, Nat. Photon., 16 (2022), 519–522
2.
M. D. Bustamante, S. Nazarenko, “Derivation of the Biot–Savart equation from the nonlinear Schrödinger equation”, Phys. Rev. E, 92:5 (2015), 053019, 9 pp.
3.
A. M. Polyakov, “The theory of turbulence in two dimensions”, Nucl. Phys. B, 396:2–3 (1993), 367–385
4.
A. A. Belavin, A. M. Polyakov, A. B. Zamolodchikov, “Infinite conformal symmetry in two-dimensional quantum field theory”, Nucl. Phys. B, 241:2 (1984), 333–380
5.
В. Н. Гребенёв, А. Н. Гришков, С. Б. Медведев, М. П. Федорук, “Гидродинамическое приближение для двумерной оптической турбулентности: симметрии статистических распределений”, Квантовая электроника, 52:11 (2022), 1023–1030
6.
В. Н. Гребенёв, А. Н. Гришков, М. Оберлак, “Симметриии уравнений Ландгрена–Монина–Новикова для распределений вероятности поля вихря”, Докл. РАН. Физ. техн. науки, 509:1 (2023), 50–55
7.
V. N. Grebenev, M. Wacławczyk, M. Oberlack, “Conformal invariance of the Lundgren–Monin–Novikov equations for vorticity fields in 2D turbulence”, J. Phys. A: Math. Theor., 50:43 (2017), 435502, 22 pp.
8.
V. N. Grebenev, M. Wacławczyk, M. Oberlack, “Conformal invariance of the zero-vorticity Lagrangian path in 2D turbulence”, J. Phys. A: Math. Theor., 52:33 (2019), 335501, 16 pp.
9.
M. Wacławczyk, V. N. Grebenev, M. Oberlack, “Conformal invariance of characteristic lines in a class of hydrodynamic models”, Symmetry, 12:9 (2020), 1482, 19 pp.
10.
M. Wacławczyk, V. N. Grebenev, M. Oberlack, “Conformal invariance of the 1-point statistics of the zero-isolines of 2d scalar fields in inverse turbulent”, Phys. Rev. Fluids, 6:8 (2021), 084610, 15 pp.
11.
R. Panico, P. Comaron, M. Matuszewski, A. S. Lanotte, D. Trypogeorgos, G. Gigli, M. De Giorgi, V. Ardizzone, D. Sanvitto, D. Ballarini, “Onset of vortex clustering and inverse energy cascade in dissipative quantum fluids”, Nat. Photon., 17 (2023), 451–456, arXiv: 2205.02925
12.
U. Bortolozzo, J. Laurie, S. Nazarenko, S. Residori, “Optical wave turbulence and the condensation of light”, J. Opt. Soc. Am. B, 26:12 (2009), 2280–2284
13.
Г. Фалькович, “Конформная инвариантность в гидродинамической турбулентности”, УМН, 62:3(375) (2007), 193–206
14.
E. Madelung, “Quantentheorie in hydrodynamischer Form”, Z. Phys., 40 (1927), 322–326
15.
Л. П. Питаевский, “Вихревые нити в неидеальном бозе-газе”, ЖЭТФ, 40:2 (1961), 646–651
16.
R. Friedrich, A. Daitche, O. Kamps, J. Lülff, M. Voßkuhle, M. Wilczek, “The Lundgren–Monin–Novikov hierarchy: Kinetic equations for turbulence”, C. R. Physique, 13:9–10 (2012), 929–953
17.
D. Bernard, G. Boffetta, A. Celani, G. Falkovich, “Conformal invariance in two-dimensional turbulence”, Nature Phys., 2 (2006), 124–128
18.
D. Bernard, G. Boffetta, A. Celani, G. Falkovich, “Inverse turbulent cascades and conformally invariant curves”, Phys. Rev. Lett., 98:2 (2007), 024501, 4 pp.
Образец цитирования:
В. Н. Гребенёв, А. Н. Гришков, С. Б. Медведев, “Преобразования симметрии статистики поля вихря в оптической турбулентности”, ТМФ, 217:2 (2023), 438–451; Theoret. and Math. Phys., 217:2 (2023), 1795–1805
V. N. Grebenev, A. N. Grishkov, “Generalized Brenier Principle and the Closure Problem of Landgren–Monin–Novikov Hierarchy for Vorticity Field”, Doklady Rossijskoj akademii nauk. Fizika, tehničeskie nauki, 515:2 (2024), 43