WikiDer > Эволюция Шрамма – Лёвнера

Эволюция Шрамма-Лёвнера на верхней полуплоскости с указанием оттенка ${журнал displaystyle (Im (g_ {t} (z)))}$

В теория вероятности, то Эволюция Шрамма – Лёвнера с параметром κ, также известный как стохастическая эволюция Лёвнера (СКВ_κ), представляет собой семейство случайных плоских кривых, которые, как было доказано, являются предел масштабирования различных двумерных решеточных моделей в статистическая механика. Учитывая параметр κ и область на комплексной плоскости U, это дает семейство случайных кривых в U, с κ контроль того, насколько повернута кривая. Существует два основных варианта СКВ: хордовый СКВ который дает семейство случайных кривых из двух фиксированных граничных точек, и радиальный СКВ, который дает семейство случайных кривых от фиксированной граничной точки до фиксированной внутренней точки. Эти кривые определены для удовлетворения конформная инвариантность и домен Марковская собственность.

Это было обнаружено Одед Шрамм (2000) как предполагаемый масштабный предел плоской единое остовное дерево (СТЮ) и планарный случайное блуждание со стиранием цикла (LERW) вероятностные процессы, разработанные им совместно с Грег Лоулер и Венделин Вернер в серии совместных работ.

Помимо UST и LERW, предполагается или доказано, что эволюция Шрамма – Лёвнера описывает предел масштабирования различных случайных процессов на плоскости, таких как критическая просачивание, то критическая модель Изинга, то модель двойного димера, прогулки с самоуправлением, и другие важные статистическая механика модели, демонстрирующие конформную инвариантность. Кривые SLE представляют собой пределы масштабирования интерфейсов и других несамопересекающихся случайных кривых в этих моделях. Основная идея состоит в том, что конформная инвариантность и определенная Марковская собственность присущие таким случайным процессам вместе позволяют кодировать эти плоские кривые в одномерное броуновское движение, бегущее по границе области (движущая функция в дифференциальном уравнении Лёвнера). Таким образом, многие важные вопросы о планарных моделях могут быть переведены в упражнения на It исчисление. Действительно, несколько математически нестрогих предсказаний, сделанных физиками с использованием конформная теория поля были доказаны с использованием этой стратегии.

Уравнение Лёвнера

Если D это односвязный, открыто сложный домен не равно C, и γ простая кривая в D начиная с границы (непрерывная функция с γ(0) на границе D и γ((0, ∞)) подмножество D), то для каждого т ≥ 0 дополнение D_т из γ([0, т]) односвязно и поэтому конформно изоморфный к D посредством Теорема Римана об отображении. Если ƒ_т - подходящий нормированный изоморфизм из D к D_т, то он удовлетворяет дифференциальному уравнению, найденному с помощью Лёвнер (1923), п. 121) в своей работе над Гипотеза Бибербаха.Иногда удобнее использовать обратную функцию грамм_т из ƒ_т, которое является конформным отображением из D_т к D.

В уравнении Лёвнера z находится в домене D, т ≥ 0, а граничные значения в момент времени т = 0 являются ƒ₀(z) = z или же грамм₀(z) = z. Уравнение зависит от функция вождения ζ(т), принимающие значения на границе D. Если D - единичный круг, а кривая γ параметризуется "емкостью", то уравнение Лёвнера имеет вид

${displaystyle {frac {partial f_ {t} (z)} {partial t}} = - zf_ {t} ^ {prime} (z) {frac {zeta (t) + z} {zeta (t) -z} }}$ или же ${displaystyle {dfrac {partial g_ {t} (z)} {partial t}} = g_ {t} (z) {dfrac {zeta (t) + g_ {t} (z)} {zeta (t) -g_ {t} (z)}}.}$

Когда D - верхняя полуплоскость, уравнение Лёвнера отличается от него заменами переменной и имеет вид

${displaystyle {frac {partial f_ {t} (z)} {partial t}} = {frac {2f_ {t} ^ {prime} (z)} {zeta (t) -z}}}$ или же ${displaystyle {dfrac {partial g_ {t} (z)} {partial t}} = {dfrac {2} {g_ {t} (z) -zeta (t)}}.}$

Функция вождения ζ и кривая γ связаны

${displaystyle f_ {t} (zeta (t)) = gamma (t) {ext {or}} zeta (t) = g_ {t} (gamma (t))}$

куда ƒ_т и грамм_т продолжаются по непрерывности.

Пример

Позволять D - верхняя полуплоскость и рассмотрим СКВ₀, поэтому функция движения ζ представляет собой броуновское движение с нулевым коэффициентом диффузии. Функция ζ тождественно равен нулю почти наверняка и

${displaystyle f_ {t} (z) = {sqrt {z ^ {2} -4t}}}$

${displaystyle g_ {t} (z) = {sqrt {z ^ {2} + 4t}}}$

${displaystyle gamma (t) = 2i {sqrt {t}}}$

${displaystyle D_ {t}}$ - верхняя полуплоскость с линией от 0 до ${displaystyle 2i {sqrt {t}}}$ удаленный.

Эволюция Шрамма – Лёвнера

Эволюция Шрамма – Лёвнера - случайная кривая γ задается уравнением Лёвнера, как и в предыдущем разделе, для управляющей функции

${displaystyle zeta (t) = {sqrt {kappa}} B (t)}$

куда B(т) есть броуновское движение на границе Dв масштабе некоторых реальных κ. Другими словами, эволюция Шрамма – Лёвнера - это вероятностная мера на плоских кривых, заданная как образ меры Винера под этим отображением.

В общем случае кривая γ не обязательно должна быть простой, и область D_т не является дополнением γ([0,т]) в D, но вместо этого является неограниченным компонентом дополнения.

Существует две версии SLE, использующие два семейства кривых, каждое из которых зависит от неотрицательного действительного параметра. κ:

• Хордовый СКВ_κ, который связан с кривыми, соединяющими две точки на границе области (обычно в верхней полуплоскости, где точки равны 0 и бесконечности).
• Радиальная СКВ_κ, которые связаны с кривыми, соединяющими точку на границе области с точкой во внутренней части (часто кривые, соединяющие 1 и 0 в единичном круге).

SLE зависит от выбора броуновского движения на границе области, и существует несколько вариантов в зависимости от того, какой тип броуновского движения используется: например, оно может начинаться в фиксированной точке или начинаться в равномерно распределенной точке на устройстве. круг, или может иметь встроенный дрейф и так далее. Параметр κ контролирует скорость распространения броуновского движения, и поведение SLE критически зависит от его значения.

Две области, наиболее часто используемые в эволюции Шрамма – Лёвнера, - это верхняя полуплоскость и единичный круг. Хотя дифференциальное уравнение Лёвнера в этих двух случаях выглядит по-разному, они эквивалентны с точностью до замен переменных, поскольку единичный круг и верхняя полуплоскость конформно эквивалентны. Однако конформная эквивалентность между ними не сохраняет броуновское движение на их границах, используемое для эволюции Шрамма – Лёвнера.

Особые ценности κ

• Для 0 ≤κ ≤ 4 кривая γ (т) проста (с вероятностью 1).
• Для 4 <κ <8 кривая γ (т) пересекает себя, и каждая точка содержится в петле, но кривая не заполняет пространство (с вероятностью 1).
• За κ ≥ 8 кривая γ (т) заполняет пространство (с вероятностью 1).
• κ = 2 соответствует случайное блуждание со стиранием цикла, или, что то же самое, ветви единого остовного дерева.
• За κ = 8/3, SLE_κ обладает свойством ограничения и считается пределом масштабирования случайные блуждания с самоизбеганием. Его версия - внешняя граница Броуновское движение.
• κ = 3 - это предел интерфейсов для Модель Изинга.
• κ = 4 соответствует пути проводника гармоник и контурным линиям Гауссово свободное поле.
• За κ = 6, SLE_κ обладает свойством локальности. Это возникает в пределе масштабирования критическая просачивание на треугольной решетке и предположительно на других решетках.
• κ = 8 соответствует пути, отделяющему равномерное остовное дерево от двойственного к нему.

Когда SLE соответствует некоторой конформной теории поля, параметр κ относится к центральный заряд cконформной теории поля

${displaystyle c = {frac {(8-3kappa) (kappa -6)} {2kappa}}.}$

Каждое значение c <1 соответствует двум значениям κ, одно значение κ от 0 до 4 и «двойное» значение 16 /κ больше 4.

Беффара (2008) показал, что Хаусдорфово измерение путей (с вероятностью 1) равно min (2, 1 +κ/8).

Формулы вероятности левого прохода для СКВ_κ

Вероятность хордовой СКВ_κ γ находясь слева от фиксированной точки ${displaystyle x_ {0} + iy_ {0} = z_ {0} в mathbb {H}}$ был рассчитан Шрамм (2001) Ошибка harvtxt: несколько целей (2 ×): CITEREFSchramm2001 (помощь)^[1]

${displaystyle mathbb {P} [gamma {ext {проходит влево}} z_ {0}] = {frac {1} {2}} + {frac {Gamma ({frac {4} {kappa}})} { {sqrt {pi}}, Gamma ({frac {8-kappa} {2kappa}})}} {frac {x_ {0}} {y_ {0}}}, _ {2} F_ {1} left ({ frac {1} {2}}, {frac {4} {kappa}}, {frac {3} {2}}, - left ({frac {x_ {0}} {y_ {0}}} ight) ^ {2} полет)}$

куда ${displaystyle Gamma}$ это Гамма-функция и ${displaystyle _ {2} F_ {1} (а, б, в, г)}$ это гипергеометрическая функция. Это было получено с использованием свойства мартингейла

${displaystyle h (x, y): = mathbb {P} [гамма {ext {проходит влево}} x + iy]}$

и Лемма Ито чтобы получить следующее уравнение в частных производных для ${displaystyle w: = {гидроразрыв {x} {y}}}$

${displaystyle {frac {kappa} {2}} partial _ {ww} h (w) + {frac {4w} {w ^ {2} +1}} partial _ {w} h = 0.}$

За κ = 4, правая ${displaystyle 1- {frac {1} {pi}} arg (z_ {0})}$, который использовался при построении проводника гармоник,^[2] и для κ = 6, получаем формулу Карди, которую использовал Смирнов для доказательства конформной инвариантности в просачивание.^[3]

Приложения

Лоулер, Шрамм и Вернер (2001) Ошибка harvtxt: несколько целей (2 ×): CITEREFLawlerSchrammWerner2001 (помощь) подержанный SLE₆ доказать гипотезу Мандельброт (1982) что граница плоского броуновского движения имеет фрактальная размерность 4/3.

Критический просачивание на треугольная решетка была доказана связь с СКВ₆ к Станислав Смирнов.^[4] В сочетании с более ранними работами Гарри Кестен,^[5] это привело к определению многих критические показатели для перколяции.^[6] Этот прорыв, в свою очередь, позволил провести дальнейший анализ многих аспектов этой модели.^[7][8]

Случайное блуждание со стиранием цикла было показано сходиться к СКВ₂ Лоулером, Шраммом и Вернером.^[9] Это позволило вывести многие количественные свойства случайного блуждания со стиранием цикла (некоторые из которых были получены ранее Ричардом Кеньоном).^[10]). Связанный случайный Кривая Пеано очерчивание единое остовное дерево было показано сходиться к СКВ₈.^[9]

Роде и Шрамм показали, что κ относится к фрактальная размерность кривой соотношением

${displaystyle d = 1 + {frac {kappa} {8}}.}$

Моделирование

Компьютерные программы (Matlab) представлены в этот репозиторий GitHub для моделирования плоских кривых Schramm Loewner Evolution.

Рекомендации

дальнейшее чтение

внешняя ссылка

• Лоулер; Шрамм; Вернер (2001), Учебник: SLE, Лоуренс Зал науки, Калифорнийский университет в Беркли (видео лекции ИИГС)
• Шрамм, Одед (2001), Конформно-инвариантные пределы масштабирования и SLE, ИИГС (Слайды из выступления.)