WikiDer > Дифференциальное уравнение Лёвнера

В математика, то Дифференциальное уравнение Лёвнера, или же Уравнение Лёвнера, является обыкновенное дифференциальное уравнение обнаружен Чарльз Лёвнер в 1923 г. в комплексный анализ и геометрическая теория функций. Первоначально введено для изучения сопоставления щелей (конформные отображения из открытый диск на комплексная плоскость с удаленной кривой, соединяющей 0 и ∞), метод Лёвнера был позже развит в 1943 году русским математиком Павлом Парфеневичем Куфаревым (1909–1968). Любое семейство областей на комплексной плоскости, непрерывно расширяющееся в смысле Каратеодори на всю плоскость приводит к однопараметрическому семейству конформных отображений, называемому Цепь Loewner, а также двухпараметрическое семейство голоморфный однозначные отображения себя из единичный диск, называется Полугруппа Лёвнера. Эта полугруппа соответствует зависящему от времени голоморфному векторному полю на диске, заданному однопараметрическим семейством голоморфных функций на круге с положительной действительной частью. Полугруппа Лёвнера обобщает понятие однолистная полугруппа.

Дифференциальное уравнение Лёвнера привело к неравенствам для однолистных функций, которые сыграли важную роль в решении задачи Гипотеза Бибербаха к Луи де Бранж в 1985 г. Сам Лёвнер использовал свои методы в 1923 г. для доказательства гипотезы о третьем коэффициенте. В Уравнение Шрамма – Лёвнера, стохастическое обобщение дифференциального уравнения Лёвнера, открытого Одед Шрамм в конце 1990-х годов получил широкое развитие в теория вероятности и конформная теория поля.

Подчиненные однолистные функции

Позволять ж и грамм быть голоморфный однолистные функции на единичном диске D, |z| <1, с ж(0) = 0 = грамм(0).

ж как говорят подчиненный к грамм тогда и только тогда, когда существует однолистное отображение φ D в себя, фиксируя 0 так, что

${ Displaystyle Displaystyle {е (г) = г ( varphi (г))}}$

для |z| < 1.

Необходимым и достаточным условием существования такого отображения φ является выполнение

${ Displaystyle f (D) substeq g (D).}$

Необходимость немедленная.

Наоборот, φ должен определяться как

${ displaystyle displaystyle { varphi (z) = g ^ {- 1} (f (z)).}}$

По определению φ - однолистное голоморфное отображение D с φ (0) = 0.

Поскольку для такого отображения выполняется 0 <| φ '(0) | ≤ 1 и занимает каждый диск D_р, |z| р <1, в себя следует, что

${ Displaystyle Displaystyle {| е ^ { prime} (0) | leq | g ^ { prime} (0) |}}$

и

${ Displaystyle Displaystyle {е (D_ {r}) substeq g (D_ {r}).}}$

Цепь Loewner

Для 0 ≤ т ≤ ∞ пусть U(т) - семейство открытых связных и односвязных подмножеств C содержащий 0, такой что

${ Displaystyle U (s) subsetneq U (т)}$

если s < т,

${ Displaystyle U (T) = bigcup _ {s$

и

${ Displaystyle U ( infty) = { mathbb {C}}.}$

Таким образом, если ${ displaystyle s_ {n} uparrow t}$,

${ Displaystyle U (s_ {n}) rightarrow U (t)}$

в смысле Теорема о ядре Каратеодори.

Если D обозначает единичный диск в C, из этой теоремы следует, что единственные однолистные отображения ж_т(z)

${ Displaystyle f_ {t} (D) = U (t), , , , f_ {t} (0) = 0, , , , partial _ {z} f_ {t} (0 ) = 1}$

предоставленный Теорема римана отображения находятся равномерно непрерывный на компактных подмножествах ${ Displaystyle [0, infty) раз D}$.

Кроме того, функция ${ Displaystyle а (т) = е_ {т} ^ { прайм} (0)}$ положительный, непрерывный, строго возрастающий и непрерывный.

Путем репараметризации можно предположить, что

${ displaystyle f_ {t} ^ { prime} (0) = e ^ {t}.}$

Следовательно

${ displaystyle f_ {t} (z) = e ^ {t} z + a_ {2} (t) z ^ {2} + cdots}$

Однолистные отображения ж_т(z) называются Цепь Loewner.

В Теорема Кебе об искажении показывает, что знание цепи эквивалентно свойствам открытых множеств U(т).

Полугруппа Лёвнера

Если ж_т(z) - цепочка Лёвнера, то

${ Displaystyle Displaystyle {е_ {s} (D) subsetneq f_ {т} (D)}}$

за s < т так что существует единственное однолистное отображение круга φ_{с, т}(z) фиксирующий 0 такой, что

${ displaystyle displaystyle {f_ {s} (z) = f_ {t} ( varphi _ {s, t} (z)).}}$

По единственности отображения φ_{с, т} обладают следующим свойством полугруппы:

${ displaystyle displaystyle { varphi _ {t, r} circ varphi _ {s, t} = varphi _ {s, r}}}$

за s ≤ т ≤ р.

Они составляют Полугруппа Лёвнера.

Отображения в себя непрерывно зависят от s и т и удовлетворить

${ Displaystyle Displaystyle { varphi _ {т, т} (г) = г.}}$

Дифференциальное уравнение Лёвнера

В Дифференциальное уравнение Лёвнера может быть получен либо для полугруппы Лёвнера, либо, что эквивалентно, для цепочки Лёвнера.

Для полугруппы пусть

${ Displaystyle Displaystyle {w_ {s} (z) = partial _ {t} varphi _ {s, t} (z) | _ {t = s}}}$

тогда

${ Displaystyle Displaystyle {w_ {s} (z) = - zp_ {s} (z)}}$

с

${ displaystyle displaystyle { Re , p_ {s} (z)> 0}}$

для |z| < 1.

потом ш(t) = φ_{с, т}(z) удовлетворяет обыкновенное дифференциальное уравнение

${ displaystyle displaystyle {{dw over dt} = - wp_ {t} (w)}}$

с начальным условием ш(s) = z.

Чтобы получить дифференциальное уравнение, которому удовлетворяет цепочка Лёвнера ж_т(z) Обратите внимание, что

${ Displaystyle Displaystyle {е_ {т} (г) = е_ {s} ( varphi _ {s, t} (z))}}$

так что ж_т(z) удовлетворяет дифференциальному уравнению

${ displaystyle displaystyle { partial _ {t} f_ {t} (z) = zp_ {t} (z) partial _ {z} f_ {t} (z)}}$

с начальным условием

${ displaystyle displaystyle {f_ {t} (z) | _ {t = 0} = f_ {0} (z).}}$

В Теорема Пикара – Линделёфа для обыкновенных дифференциальных уравнений гарантирует, что эти уравнения могут быть решены и что решения голоморфны в z.

Цепь Лёвнера восстанавливается из полугруппы Лёвнера предельным переходом:

${ displaystyle displaystyle {f_ {s} (z) = lim _ {t rightarrow infty} e ^ {t} phi _ {s, t} (z).}}$

Наконец, для любого однолистного отображения в себя ψ (z) из D, фиксируя 0, можно построить полугруппу Лёвнера φ_{с, т}(z) такие, что

${ Displaystyle Displaystyle { varphi _ {0,1} (z) = psi (z).}}$

Аналогичным образом заданная однолистная функция грамм на D с грамм(0) = 0, такое, что грамм(D) содержит замкнутый единичный круг, имеется цепочка Лёвнера ж_т(z) такие, что

${ displaystyle displaystyle {f_ {0} (z) = z, , , , f_ {1} (z) = g (z).}}$

Результаты этого типа будут немедленными, если ψ или грамм продолжаются непрерывно на ∂D. В общем, они следуют заменой отображений ж(z) по одобрениямж(rz)/р а затем используя стандартный аргумент компактности.^[1]

Сопоставления щелей

Голоморфные функции п(z) на D с положительной действительной частью и нормализованы так, чтобы п(0) = 1 описываются Теорема Герглотца о представлении:

${ displaystyle displaystyle {p (z) = int _ {0} ^ {2 pi} {1 + e ^ {- i theta} z over 1-e ^ {- i theta} z} , d mu ( theta),}}$

где μ - вероятностная мера на окружности. Точечная мера выделяет функции

${ displaystyle displaystyle {p_ {t} (z) = {1+ kappa (t) z over 1- kappa (t) z}}}$

с | κ (т) | = 1, которые первыми рассмотрели Лёвнер (1923).

Неравенства для однолистных функций в единичном круге можно доказать, используя плотность для равномерной сходимости на компактных подмножествах сопоставления щелей. Это конформные отображения единичного круга на комплексную плоскость с опущенной жордановой дугой, соединяющей конечную точку с ∞. Плотность определяется применением Теорема о ядре Каратеодори. Фактически любая однолистная функция ж(z) аппроксимируется функциями

${ Displaystyle Displaystyle {г (г) = е (гц) / г}}$

которые переводят единичную окружность на аналитическую кривую. Точка на этой кривой может быть соединена с бесконечностью жордановой дугой. Области, полученные путем пропуска небольшого отрезка аналитической кривой по одну сторону от выбранной точки, сходятся к грамм(D), так что соответствующие однолистные отображения D на эти области сходятся к грамм равномерно на компактах.^[2]

Чтобы применить дифференциальное уравнение Лёвнера к щелевой функции ж, пропущенная жорданова дуга c(т) из конечной точки в ∞ можно параметризовать как [0, ∞), так что отображение однолистного отображения ж_т из D на C меньше c([т, ∞)) имеет вид

${ displaystyle displaystyle {f_ {t} (z) = e ^ {t} (z + b_ {2} (t) z ^ {2} + b_ {3} (t) z ^ {3} + cdots) )}}$

с б_п непрерывный. Особенно

${ displaystyle displaystyle {f_ {0} (z) = f (z).}}$

За s ≤ т, позволять

${ displaystyle displaystyle { varphi _ {s, t} (z) = f_ {t} ^ {- 1} circ f_ {s} (z) = e ^ {st} (z + a_ {2} ( s, t) z ^ {2} + a_ {3} (s, t) z ^ {3} + cdots)}}$

с а_п непрерывный.

Это дает цепь Лёвнера и полугруппу Лёвнера с

${ displaystyle displaystyle {p_ {t} (z) = {1+ kappa (t) z over 1- kappa (t) z}}}$

где κ - непрерывное отображение из [0, ∞) в единичную окружность.^[3]

Для определения κ заметим, что φ_{с, т} отображает единичный диск в единичный круг с жордановой дугой от внутренней точки до удаленной границы. Точка касания границы не зависит от s и определяет непрерывную функцию λ (т) от [0, ∞) до единичной окружности. κ (т) является комплексно сопряженным (или обратным) к λ (т):

${ Displaystyle Displaystyle { каппа (т) = лямбда (т) ^ {- 1}.}}$

Эквивалентно Теорема Каратеодори ж_т допускает непрерывное продолжение на замкнутый единичный круг и λ (т), иногда называемый функция вождения, определяется

${ Displaystyle Displaystyle {е_ {т} ( лямбда (т)) = с (т).}}$

Не всякая непрерывная функция κ возникает из щелевого отображения, но Куфарев показал, что это верно, когда κ имеет непрерывную производную.

Приложение к гипотезе Бибербаха

Лёвнер (1923) использовал свое дифференциальное уравнение для отображений щелей, чтобы доказать Гипотеза Бибербаха

${ displaystyle displaystyle {| a_ {3} | leq 3}}$

для третьего коэффициента однолистной функции

${ Displaystyle Displaystyle {е (г) = г + а_ {2} г ^ {2} + а_ {3} г ^ {3} + cdots}}$

В этом случае, вращая при необходимости, можно считать, что а₃ неотрицательно.

потом

${ displaystyle displaystyle { varphi _ {0, t} (z) = e ^ {- t} (z + a_ {2} (t) z ^ {2} + a_ {3} (t) z ^ {) 3} + cdots)}}$

с а_п непрерывный. Они удовлетворяют

${ displaystyle displaystyle {a_ {n} (0) = 0, , , a_ {n} ( infty) = a_ {n}.}}$

Если

${ Displaystyle Displaystyle { альфа (т) = е ^ {- т} каппа (т),}}$

из дифференциального уравнения Лёвнера следует

${ displaystyle displaystyle {{ dot {a_ {2}}} = - 2 alpha}}$

и

${ displaystyle displaystyle {{ dot {a_ {3}}} = - 2 alpha ^ {2} -4 alpha , a_ {2}.}}$

Так

${ displaystyle displaystyle {a_ {2} = - 2 int _ {0} ^ { infty} alpha (t) , dt}}$

откуда сразу следует неравенство Бибербаха

${ displaystyle displaystyle {| a_ {2} | leq 2.}}$

по аналогии

${ displaystyle displaystyle {a_ {3} = - 2 int _ {0} ^ { infty} alpha ^ {2} , dt + 4 left ( int _ {0} ^ { infty} альфа , dt right) ^ {2}}}$

С а₃ неотрицательно и | κ (т)| = 1,

${ displaystyle displaystyle {| a_ {3} | = 2 int _ {0} ^ { infty} | Re alpha ^ {2} | , dt + 4 left ( int _ {0} ^ { infty} Re alpha , dt right) ^ {2}} leq 2 int _ {0} ^ { infty} | Re alpha ^ {2} | , dt + 4 left ( int _ {0} ^ { infty} e ^ {- t} , dt right) left ( int _ {0} ^ { infty} e ^ {t} ( Re alpha) ^ {2} , dt right) = 1 + 4 int _ {0} ^ { infty} (e ^ {- t} -e ^ {- 2t}) ( Re kappa) ^ {2} , dt leq 3,}$

с использованием Неравенство Коши – Шварца.

Примечания

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

• Дурен, П. Л. (1983), Унивалентные функции, Grundlehren der Mathematischen Wissenschaften, 259, Springer-Verlag, ISBN 0-387-90795-5
• Куфарев, П. П. (1943), "Об однопараметрических семействах аналитических функций", Мат. Сборник, 13: 87–118
• Лоулер, Г.Ф. (2005), Конформно-инвариантные процессы на плоскости, Математические обзоры и монографии, 114, Американское математическое общество, ISBN 0-8218-3677-3
• Лёвнер, К. (1923), "Untersuchungen über schlichte konforme Abbildungen des Einheitskreises, I", Математика. Анна., 89: 103–121, Дои:10.1007 / BF01448091, HDL:10338.dmlcz / 125927
• Поммеренке, К. (1975), Однолистные функции, с главой о квадратичных дифференциалах Герда Йенсена, Studia Mathematica / Mathematische Lehrbücher, 15, Vandenhoeck & Ruprecht