Уравнение Бельтрами - Beltrami equation - Wikipedia

Не путать с Уравнение Лапласа – Бельтрами.

В математика, то Уравнение Бельтрами, названный в честь Эухенио Бельтрами, это уравнение в частных производных

${\displaystyle {\partial w \over \partial {\overline {z}}}=\mu {\partial w \over \partial z}.}$

за ш сложное распределение комплексная переменная z в каком-то открытом наборе U, с производными, которые локально L², и где μ - заданная комплексная функция в L^∞(U) нормы меньше 1, называемой Коэффициент Бельтрами. Классически это дифференциальное уравнение использовалось Гаусс доказать существование локально изотермические координаты на поверхности с аналитической римановой метрикой. Для решения уравнения были разработаны различные методы. Самый мощный, разработанный в 1950-х годах, обеспечивает глобальные решения уравнения на C и полагается на L^п теория Преобразование берлинга, а сингулярный интегральный оператор определенный на L^п(C) для всех 1 < п <∞. Тот же метод одинаково хорошо применим к единичный диск и верхняя полуплоскость и играет фундаментальную роль в Теория Тейхмюллера и теория квазиконформные отображения. Разные теоремы униформизации можно доказать с помощью уравнения, включая измеримая теорема об отображении Римана и теорема одновременной униформизации. Существование конформная сварка можно также получить с помощью уравнения Бельтрами. Одно из самых простых приложений - это Теорема римана отображения для односвязных ограниченных открытых областей на комплексной плоскости. Когда область имеет гладкую границу, эллиптическая регулярность для уравнения можно использовать, чтобы показать, что униформизирующая карта от единичного диска до области простирается до C^∞ функция от закрытого диска до закрытия домена.

Метрики на плоских доменах

Рассмотрим двумерный Риманово многообразие, скажем с (Икс, у) системы координат на нем. Кривые постоянной Икс на этой поверхности обычно не пересекаются кривые постоянного у ортогонально. Новая система координат (ты, v) называется изотермический когда кривые постоянного ты пересекаются кривыми постоянного v ортогонально и, кроме того, такой же интервал параметров - то есть для достаточно малых час, маленький регион с ${\displaystyle a\leq u\leq a+h}$ и ${\displaystyle b\leq v\leq b+h}$ почти квадратный, а не только почти прямоугольный. Уравнение Бельтрами - это уравнение, которое необходимо решить, чтобы построить изотермические системы координат.

Чтобы увидеть, как это работает, позвольте S быть открытым в C и разреши

${\displaystyle \displaystyle ds^{2}=E\,dx^{2}+2F\,dx\,dy+G\,dy^{2}}$

быть гладкой метрикой грамм на S. В первая фундаментальная форма из грамм

${\displaystyle \displaystyle g(x,y)={\begin{pmatrix}E&F\\F&G\end{pmatrix}}}$

положительная вещественная матрица (E > 0, грамм > 0, НАПРИМЕР − F² > 0), который плавно меняется с Икс и у.

В Коэффициент Бельтрами метрики грамм определяется как

${\displaystyle \displaystyle \mu (x,y)={E-G+2iF \over E+G+2{\sqrt {EG-F^{2}}}}}$

Этот коэффициент имеет модуль строго меньше единицы, поскольку тождество

${\displaystyle \displaystyle (E-G+2iF)(E-G-2iF)=(E+G+2{\sqrt {EG-F^{2}}})(E+G-2{\sqrt {EG-F^{2}}})}$

подразумевает, что

${\displaystyle \displaystyle |\mu |^{2}={E+G-2{\sqrt {EG-F^{2}}} \over E+G+2{\sqrt {EG-F^{2}}}}<1.}$

Позволять ж(Икс,у) =(ты(Икс,у),v(Икс,у)) - гладкий диффеоморфизм S на другой открытый набор Т в C. Карта ж сохраняет ориентацию только тогда, когда ее Якобиан положительный:

${\displaystyle \displaystyle u_{x}v_{y}-v_{x}u_{y}>0.}$

И используя ж отступить к S стандартная евклидова метрика ds² = ду² + dv² на Т индуцирует метрику на S данный

${\displaystyle \displaystyle ds^{2}=du^{2}+dv^{2}=(u_{x}^{2}+v_{x}^{2})\,dx^{2}+2(u_{x}u_{y}+v_{x}v_{y})\,dx\,dy+(u_{y}^{2}+v_{y}^{2})\,dy^{2},}$

метрика, первая фундаментальная форма которой

${\displaystyle \displaystyle {\begin{pmatrix}u_{x}^{2}+v_{x}^{2}&u_{x}u_{y}+v_{x}v_{y}\\u_{x}u_{y}+v_{x}v_{y}&u_{y}^{2}+v_{y}^{2}\end{pmatrix}}.}$

Когда ж оба сохраняют ориентацию и индуцируют метрику, отличную от исходной метрики. грамм только положительным, плавно меняющимся масштабным коэффициентом р(Икс, у), новые координаты ты и v определено на S к ж называются изотермические координаты.

Чтобы определить, когда это произойдет, мы заново интерпретируем ж как комплексная функция комплексной переменной ж(Икс+ яу) = ты(Икс+ яу) + яv(Икс+ яу) так что мы можем применить Производные Виртингера:

${\displaystyle \displaystyle \partial _{z}={1 \over 2}(\partial _{x}-i\partial _{y}),\,\,\partial _{\overline {z}}={1 \over 2}(\partial _{x}+i\partial _{y});\,\,\,\,dz=dx+i\,dy,\,\,d{\overline {z}}=dx-i\,dy.}$

С

${\displaystyle \displaystyle f_{z}=((u_{x}+v_{y})+i(v_{x}-u_{y}))/2}$

${\displaystyle \displaystyle f_{\overline {z}}=((u_{x}-v_{y})+i(v_{x}+u_{y}))/2,}$

метрика, индуцированная ж дан кем-то

${\displaystyle \displaystyle ds^{2}=|f_{z}\,dz+f_{\overline {z}}d{\overline {z}}|^{2}=|f_{z}|^{2}\,\left|dz+{f_{\overline {z}} \over f_{z}}\,d{\overline {z}}\right|^{2}.}$

В Коэффициент Бельтрами этой индуцированной метрики определяется как ${\displaystyle f_{\overline {z}}/f_{z}}$.

Фактор Бельтрами ${\displaystyle f_{\overline {z}}/f_{z}}$ из ${\displaystyle f}$ равен коэффициенту Бельтрами ${\displaystyle \mu (z)}$ исходной метрики грамм просто когда

${\displaystyle \displaystyle ((u_{x}+v_{y})+i(v_{x}-u_{y})){\bigl (}E-G+2iF{\bigr )}}$

${\displaystyle =((u_{x}-v_{y})+i(v_{x}+u_{y})){\bigl (}E+G+2{\sqrt {EG-F^{2}}}{\bigr )}.}$

Реальная и мнимая части этого тождества линейно связаны ${\displaystyle u_{x},}$ ${\displaystyle u_{y},}$ ${\displaystyle v_{x},}$ и ${\displaystyle v_{y},}$ и решение для ${\displaystyle u_{y}}$ и ${\displaystyle v_{y}}$ дает

${\displaystyle \displaystyle u_{y}={\frac {Fu_{x}-{\sqrt {EG-F^{2}}}\,v_{x}}{E}}\quad {\text{and}}\quad v_{y}={\frac {{\sqrt {EG-F^{2}}}\,u_{x}+Fv_{x}}{E}}.}$

Отсюда следует, что метрика, индуцированная ж затем р(Икс, у) грамм(Икс,у), куда ${\displaystyle r=(u_{x}^{2}+v_{x}^{2})/E,}$ что положительно, а якобиан ж затем ${\displaystyle r{\sqrt {EG-F^{2}}},}$ что тоже положительно. Так когда ${\displaystyle f_{\overline {z}}/f_{z}=\mu (z),}$ новая система координат, заданная ж изотермический.

Наоборот, рассмотрим диффеоморфиам ж это дает нам изотермические координаты. Тогда у нас есть

${\displaystyle \displaystyle \mu (z)={\frac {(u_{x}^{2}+v_{x}^{2})-(u_{y}+v_{y})^{2}+2i(u_{x}u_{y}+v_{x}v_{y})}{(u_{x}^{2}+v_{x}^{2})+(u_{y}^{2}+v_{y})^{2}+2{\sqrt {(u_{x}^{2}+v_{x}^{2})(u_{y}^{2}+v_{y}^{2})-(u_{x}u_{y}+v_{x}v_{y})^{2}}}}},}$

где масштабный коэффициент р(Икс, у) выпало, а выражение внутри квадратного корня - это полный квадрат ${\displaystyle u_{x}^{2}v_{y}^{2}-2u_{x}v_{x}u_{y}v_{y}+v_{x}^{2}u_{y}^{2}.}$ С ж должен сохранять ориентацию, чтобы дать изотермические координаты, якобиан ${\displaystyle u_{x}v_{y}-v_{x}u_{y}}$ положительный квадратный корень; так что у нас есть

${\displaystyle \displaystyle \mu (z)={\frac {{\bigl (}(u_{x}+iu_{y})+i(v_{x}+iv_{y}){\bigr )}{\bigl (}(u_{x}+iu_{y})-i(v_{x}+iv_{y}){\bigr )}}{{\bigl (}(u_{x}+v_{y})+i(v_{x}-u_{y}){\bigr )}{\bigl (}(u_{x}+v_{y})-i(v_{x}-u_{y}){\bigr )}}}.}$

Правые множители в числителе и знаменателе равны, и, поскольку якобиан положительный, их общее значение не может быть нулевым; так ${\displaystyle \mu (z)=f_{\overline {z}}/f_{x}.}$

Таким образом, локальная система координат, заданная диффеоморфизмом ж изотермический, когда ж решает уравнение Бельтрами для ${\displaystyle \mu (z).}$

Изотермические координаты для аналитических показателей

Гаусс доказал существование изотермических координат локально в аналитическом случае, сведя Бельтрами к обыкновенному дифференциальному уравнению в комплексной области.^[1] Вот презентация в кулинарной книге техники Гаусса.

Изотермическая система координат, скажем, в окрестности начала координат (Икс, у) = (0, 0), задается действительной и мнимой частями комплексной функции ж(Икс, у) что удовлетворяет

${\displaystyle \displaystyle {f_{\overline {z}} \over f_{z}}=\mu (z)={\frac {E-G+2iF}{E+G+2{\sqrt {EG-F^{2}}}}}.}$

Позволять ${\displaystyle f}$ - такая функция, и пусть ${\displaystyle \psi }$ - комплексная функция комплексной переменной, которая голоморфный и производная которого нигде не равна нулю. Поскольку любая голоморфная функция ${\displaystyle \psi }$ имеет ${\displaystyle \psi _{\overline {z}}}$ тождественно нулю, имеем

${\displaystyle {\begin{aligned}{\frac {(\psi \circ f)_{\overline {z}}}{(\psi \circ f)_{z}}}&={\frac {(\psi _{z}\circ f)f_{\overline {z}}+(\psi _{\overline {z}}\circ f){\overline {f_{\overline {z}}}}}{(\psi _{z}\circ f)f_{z}+(\psi _{\overline {z}}\circ f){\overline {f_{z}}}}}={\frac {f_{\overline {z}}}{f_{z}}}=\mu (z).\end{aligned}}}$

Таким образом, система координат, заданная действительной и мнимой частями ${\displaystyle \psi \circ f}$ также изотермический. Действительно, если исправить ${\displaystyle f}$ чтобы дать одну изотермическую систему координат, то все возможные изотермические системы координат задаются выражением ${\displaystyle \psi \circ f}$ для различных голоморфных ${\displaystyle \psi }$ с ненулевой производной.

Когда E, F, и грамм являются вещественно-аналитическими, Гаусс построил конкретную изотермическую систему координат ${\displaystyle h(x,y)=u(x,y)+iv(x,y),}$ тот, кого он выбрал, тот, с кем ${\displaystyle h(x,0)=x}$ для всех Икс. Итак ты ось его изотермической системы координат совпадает с осью Икс оси исходных координат и параметризуется аналогичным образом. Тогда все остальные изотермические системы координат имеют вид ${\displaystyle \psi \circ h}$ для голоморфного ${\displaystyle \psi }$ с ненулевой производной.

Гаусс позволяет q(т) - некоторая комплексная функция действительного переменного т которое удовлетворяет следующему обыкновенному дифференциальному уравнению:

${\displaystyle \displaystyle q'(t)={\frac {-F-i{\sqrt {EG-F^{2}}}}{E}}(q(t),t),}$

куда E, F, и грамм здесь оцениваются в у = т и Икс = q(т). Если мы укажем значение q(s) для некоторого начального значения s, это дифференциальное уравнение определяет значения q(т) за т либо меньше, либо больше s. Затем Гаусс определяет свою изотермическую систему координат час установив час(Икс, у) быть ${\displaystyle q(0)}$ вдоль пути решения этого дифференциального уравнения, проходящего через точку (Икс, у), а значит, q(у) = Икс.

Это правило устанавливает час(Икс, 0) быть ${\displaystyle x}$, так как тогда начальное условие q(0)=Икс. В более общем смысле, предположим, что мы движемся по бесконечно малому вектору (dx, dy) далеко от некоторой точки (Икс, у), куда dx и dy удовлетворить

${\displaystyle \displaystyle E\,dx+(F+i{\sqrt {EG-F^{2}}}\,)\,dy=0.}$

С ${\displaystyle q'(t)=dx/dy}$, вектор (dx, dy) тогда касается кривой решения дифференциального уравнения, проходящей через точку (Икс, у). Поскольку мы предполагаем, что метрика аналитическая, отсюда следует, что

${\displaystyle \displaystyle dh=c(x,y){\bigl (}E\,dx+(F+i{\sqrt {EG-F^{2}}}\,)\,dy{\bigr )}}$

для некоторой гладкой комплекснозначной функции ${\displaystyle c(x,y)=a(x,y)+ib(x,y).}$ Таким образом, мы имеем

${\displaystyle \displaystyle h_{z}=((aE+bF+a{\sqrt {EG-F^{2}}}\,)+i(bE-aF+b{\sqrt {EG-F^{2}}}\,))/2}$

${\displaystyle \displaystyle h_{\overline {z}}=((aE-bF-a{\sqrt {EG-F^{2}}}\,)+i(bE+aF-b{\sqrt {EG-F^{2}}}\,))/2.}$

Формируем частное ${\displaystyle h_{\overline {z}}/h_{z}}$ а затем умножьте числитель и знаменатель на ${\displaystyle {\overline {h_{z}}}}$, которая является комплексным сопряжением знаменателя. Упрощая результат, находим, что

${\displaystyle \displaystyle {h_{\overline {z}} \over h_{z}}={\frac {(a^{2}+b^{2})E\;(E-G+2iF)}{(a^{2}+b^{2})E\;(E+G+2{\sqrt {EG-F^{2}}})}}={\frac {E-G+2iF}{E+G+2{\sqrt {EG-F^{2}}}}}=\mu (z).}$

Функция Гаусса час таким образом дает желаемые изотермические координаты.

Решение в L² для гладких коэффициентов Бельтрами

В простейших случаях уравнение Бельтрами можно решить только методами гильбертова пространства и преобразованием Фурье. Метод доказательства - прототип общего решения с использованием L^п пробелы, хотя Адриан Дуади указал метод обработки общего случая с использованием только гильбертовых пространств: метод опирается на классическую теорию квазиконформные отображения для установления оценок Гельдера, автоматических в L^п теория для п > 2.^[2]Позволять Т быть Преобразование берлинга на L²(C), определенного на преобразовании Фурье L² функция ж как оператор умножения:

${\displaystyle \displaystyle {\widehat {Tf}}(z)={{\overline {z}} \over z}{\widehat {f}}(z).}$

Это унитарный оператор, и если час это умеренное распределение на C с частными производными в L² тогда

${\displaystyle \displaystyle T(f_{\overline {z}})=f_{z},}$

где нижние индексы обозначают комплексные частные производные.

В фундаментальное решение оператора

${\displaystyle D=\partial _{\overline {z}}}$

дается распределением

${\displaystyle \displaystyle {E(z)={1 \over \pi z},}}$

локально интегрируемая функция на C. Таким образом на Функции Шварца ж

${\displaystyle \displaystyle {\partial _{\overline {z}}(E\star f)=f.}}$

То же верно и для распределений компактного носителя на C. В частности, если ж это L² функция с компактной опорой, то ее Преобразование Коши, определяется как

${\displaystyle \displaystyle {Cf=E\star f,}}$

локально квадратично интегрируемо. Приведенное выше уравнение можно записать

${\displaystyle \displaystyle {(Cf)_{\overline {z}}=f.}}$

Более того, еще в отношении ж и Cf как распределения,

${\displaystyle \displaystyle (Cf)_{z}=Tf.}$

Действительно, оператор D задается на преобразованиях Фурье как умножение на iz/ 2 и C как умножение на обратное.

Теперь в уравнении Бельтрами

${\displaystyle \displaystyle f_{\overline {z}}=\mu f_{z},}$

с μ гладкая функция компактной опоры, положим

${\displaystyle \displaystyle g(z)=f(z)-z}$

и предположим, что первые производные от грамм L². Позволять час = грамм_z = ж_z - 1. Тогда

${\displaystyle \displaystyle h=g_{z}=T(g_{\overline {z}})=T(f_{\overline {z}})=T(\mu f_{z})=T(\mu h)+T\mu }$

Если А и B являются операторами, определенными

${\displaystyle \displaystyle {AF=T\mu F,\,\,\,\,BF=\mu TF}}$

то их операторные нормы строго меньше единицы и

${\displaystyle \displaystyle {(I-A)h=T\mu .}}$

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

${\displaystyle \displaystyle {h=(I-A)^{-1}T\mu ,\,\,\,T^{*}h=(I-B)^{-1}\mu }}$

где правые части могут быть расширены как Серия Неймана. Следует, что

${\displaystyle \displaystyle {g_{\overline {z}}=T^{*}h,}}$

имеет ту же поддержку, что и μ и грамм. Следовательно ж дан кем-то

${\displaystyle \displaystyle {f(z)=CT^{*}h(z)+z.}}$

Эллиптическая регулярность теперь можно использовать для вывода, что ж гладко.

Фактически, без поддержки μ,

${\displaystyle \displaystyle \partial _{\overline {z}}f=0,}$

так что Лемма Вейля ж даже голоморфно для |z| > р. С ж = КТ * ч + z, следует, чтож стремится к 0 равномерно при |z| стремится к ∞.

Аргумент эллиптической регулярности для доказательства гладкости, однако, везде одинаков и использует теорию L² Пространства Соболева на торе.^[3] Пусть ψ - гладкая функция компактного носителя на C, тождественно равным 1 на окрестности носителя μ и установить F = ψ ж. Поддержка F лежит на большой площади |Икс|, |у| ≤ р, поэтому, определяя противоположные стороны квадрата, F и μ можно рассматривать как распределение и гладкую функцию на торе Т². По конструкции F в L²(Т²). Как распространение на Т² это удовлетворяет

${\displaystyle \displaystyle F_{\overline {z}}=\mu F_{z}+GF,}$

куда грамм гладко. На канонической основе е_м из L²(Т²) с м в Z + я Z, определять

${\displaystyle \displaystyle {Ue_{m}={{\overline {m}} \over m}e_{m}\,\,(m\neq 0),Ue_{0}=e_{0}.}}$

Таким образом U является унитарным и на тригонометрических полиномах или гладких функциях п

${\displaystyle \displaystyle {U(P_{\overline {z}})=P_{z}.}}$

Точно так же он распространяется на унитар на каждом Соболевское пространство ЧАС_k(Т²) с тем же свойством. Это аналог на торе преобразования Берлинга. Стандартная теория Фредгольмовы операторы показывает, что операторы, соответствующие я – μ U и я – U μ обратимы на каждом пространстве Соболева. С другой стороны,

${\displaystyle \displaystyle {\partial _{z}(I-U\mu )F=UG.}}$

С UG гладкая, тоже (я – μU)F и, следовательно, также F.

Таким образом, исходная функция ж гладко. Считается картой C = р² в себя, якобиан задается формулой

${\displaystyle \displaystyle {J(f)=|f_{z}|^{2}-|f_{\overline {z}}|^{2}=|f_{z}|^{2}(1-|\mu |^{2}).}}$

Этот якобиан никуда не денется согласно классическому аргументу Альфорс (1966). Фактически официально пишуж_z = е^k, следует, что

${\displaystyle \displaystyle {k_{\overline {z}}=\mu k_{z}+\mu _{z}.}}$

Это уравнение для k может быть решена теми же методами, что и выше, давая решение, стремящееся к 0 на ∞. В силу единственности час + 1 = е^k так что

${\displaystyle \displaystyle {J(f)=(1-|\mu |^{2})|e^{2k}|}}$

никуда не исчезает. С ж индуцирует гладкое отображение сферы Римана C ∪ ∞ в себя, что является локально диффеоморфизмом, ж должен быть диффеоморфизмом. Фактически ж должен быть включен в силу связности сферы, так как ее образ является открытым и замкнутым подмножеством; но тогда как карта покрытия, ж должен покрывать каждую точку сферы одинаковое количество раз. Поскольку только ∞ отправляется в ∞, отсюда следует, что ж один на один.

Решение ж является квазиконформным конформным диффеоморфизмом. Они образуют группу, и их коэффициенты Бельтрами можно вычислить в соответствии со следующим правилом:^[4]

${\displaystyle \displaystyle {\mu _{g\circ f^{-1}}\circ f={f_{z} \over {\overline {f_{z}}}}{\mu _{g}-\mu _{f} \over 1-{\overline {\mu _{f}}}\mu _{g}}.}}$

Более того, если ж(0) = 0 и

${\displaystyle \displaystyle {g(z)=f(z^{-1})^{-1},}}$

тогда^[5]

${\displaystyle \displaystyle {\mu _{g}(z)={z^{2} \over {\overline {z}}^{2}}\mu _{f}(z^{-1}).}}$

Эта формула отражает тот факт, что на Риманова поверхность, коэффициент Бельтрами не является функцией. При голоморфной замене координаты ш = ш(z) коэффициент преобразуется к

${\displaystyle \displaystyle {{\widetilde {\mu }}(w)=(w^{\prime }/{\overline {w^{\prime }}})\cdot \mu (z).}}$

Определив таким образом гладкий коэффициент Бельтрами на сфере, если μ является таким коэффициентом, то взяв гладкую функция удара ψ равен 0 около 0, равен 1 для |z| > 1 и удовлетворяющий 0 ≤ ψ ≤ 1, μ можно записать как сумму двух коэффициентов Бельтрами:

${\displaystyle \displaystyle {\mu =\psi \mu +(1-\psi )\mu =\mu _{0}+\mu _{\infty }.}}$

Позволять грамм - квазиконформный диффеоморфизм сферы, фиксирующий 0 и ∞ с коэффициентом μ_∞. Пусть λ - коэффициент Бельтрами компактного носителя на C определяется

${\displaystyle \displaystyle \lambda (z)=\left[{\mu _{0} \over 1-\mu {\overline {\mu _{\infty }}}}{g_{z} \over {\overline {g_{z}}}}\right]\circ g^{-1}(z).}$

Если ж - квазиконформный диффеоморфизм сферы, фиксирующий 0 и ∞ с коэффициентом λ, то приведенные выше формулы преобразования показывают, что ж ∘ грамм⁻¹ - квазиконформный диффеоморфизм сферы, фиксирующий 0 и ∞ с коэффициентом μ.

Решения уравнения Бельтрами ограничиваются диффеоморфизмами верхней полуплоскости или единичного круга, если коэффициент μ обладает дополнительными свойствами симметрии;^[6] так как две области связаны преобразованием Мёбиуса (преобразованием Кэли), эти два случая по существу одинаковы.

Для верхней полуплоскости Im z > 0, если μ удовлетворяет

${\displaystyle \displaystyle \mu (z)={\overline {\mu ({\overline {z}})}},}$

то по единственности решение ж уравнения Бельтрами удовлетворяет

${\displaystyle \displaystyle f(z)={\overline {f({\overline {z}})}},}$

поэтому действительная ось и, следовательно, верхняя полуплоскость остаются неизменными.

Аналогично для единичного диска |z| <1, если μ удовлетворяет

${\displaystyle \displaystyle \mu (z)={z^{2} \over {\overline {z}}^{2}}{\overline {\mu ({\overline {z}}^{-1})}},}$

то по единственности решение ж уравнения Бельтрами удовлетворяет

${\displaystyle \displaystyle {f(z)={\overline {f({\overline {z}}^{-1})}}^{-1},}}$

поэтому единичный круг и, следовательно, единичный круг остается неизменным.

И наоборот, коэффициенты Бельтрами, определенные на замыканиях верхней полуплоскости или единичного диска, которые удовлетворяют этим условиям на границе, могут быть «отражены» с использованием приведенных выше формул. Если расширенные функции гладкие, можно применить предыдущую теорию. В противном случае расширения будут непрерывными, но со скачком производных на границе. В этом случае более общая теория измеримых коэффициентов μ требуется и непосредственно обрабатывается в L^п теория.

Теорема о гладком отображении Римана

Смотрите также: Теорема римана отображения

Позволять U - открытая односвязная область на комплексной плоскости с гладкой границей, содержащей 0 внутри, и пусть F - диффеоморфизм единичного круга D на U гладко продолжается до границы и единицы в окрестности 0. Предположим, что дополнительно индуцированная метрика на замыкании единичного круга может быть отражена в единичной окружности, чтобы определить гладкую метрику на C. Тогда соответствующий коэффициент Бельтрами является гладкой функцией на C исчезающий около 0 и ∞ и удовлетворяющий

${\displaystyle \displaystyle \mu (z)={z^{2} \over {\overline {z}}^{2}}{\overline {\mu ({\overline {z}}^{-1})}}^{-1}.}$

Квазиконформный диффеоморфизм час из C удовлетворение

${\displaystyle \displaystyle {h_{\overline {z}}=\mu (z)h_{z}}}$

сохраняет единичный круг вместе с его внутренней и внешней частью. Из формул состава для коэффициентов Бельтрами

${\displaystyle \displaystyle {\mu _{F\circ h^{-1}}=0,}}$

так что ж = F∘ час⁻¹ является гладким диффеоморфизмом между замыканиями D и U которая голоморфна внутри. Таким образом, если подходящий диффеоморфизм F можно построить, отображение ж доказывает гладкость Теорема римана отображения для домена U.

Чтобы произвести диффеоморфизм F с указанными выше свойствами, после аффинного преобразования можно считать, что граница U имеет длину 2π и 0 лежит в U. Гладкая версия Теорема Шенфлиса производит гладкий диффеоморфизм грамм от закрытия D на закрытие ты равное единице в окрестности 0 и с явным видом в трубчатой ​​окрестности единичной окружности. Фактически принимая полярные координаты (р,θ) в р² и позволяя (Икс(θ),у(θ)) (θ в [0,2π]) - параметризация ∂U по длине дуги, грамм имеет форму

${\displaystyle \displaystyle G(r,\theta )=(x(\theta )-(1-r)y^{\prime }(\theta ),y(\theta )+(1-r)x^{\prime }(\theta )).}$

Принимая т = 1 − р в качестве параметра индуцированная метрика вблизи единичной окружности определяется выражением

${\displaystyle \displaystyle ds^{2}=(1+t\kappa (\theta ))^{2}d\theta ^{2}+dt^{2},}$

куда

${\displaystyle \displaystyle \kappa (\theta )=y^{\prime \prime }(\theta )x^{\prime }(\theta )-x^{\prime \prime }(\theta )y^{\prime }(\theta )}$

это кривизна из плоская кривая (Икс(θ),у(θ)).

Позволять

${\displaystyle \displaystyle \alpha ={1 \over 2\pi }\int _{0}^{2\pi }\kappa (\theta )\,d\theta ,\,\,\,h(\theta )=\kappa (\theta )-\alpha .}$

После изменения переменной в т координата и конформное изменение метрики, метрика принимает вид

${\displaystyle \displaystyle ds^{2}=(1+t\psi (t)h(\theta ))^{2}d\theta ^{2}+dt^{2},}$

где ψ - аналитическая вещественнозначная функция от т:

${\displaystyle \displaystyle \psi (t)=1+a_{1}t+a_{2}t^{2}+\cdots }$

Формальный диффеоморфизм, посылающий (θ,т) к (ж(θ,т),т) можно определить как формальный степенной ряд от т:

${\displaystyle \displaystyle f(\theta ,t)=\theta +f_{1}(\theta )t+f_{2}(\theta )t^{2}+\cdots =\theta +g(\theta ,t)}$

где коэффициенты ж_п - гладкие функции на окружности. Эти коэффициенты могут быть определены повторением, так что преобразованная метрика имеет только четные степени т в коэффициентах. Это условие накладывается требованием, чтобы не было нечетных степеней т появляются в формальном разложении степенного ряда:

${\displaystyle \left[1+t\psi (t)\left(\sum _{n\geq 0}h^{(n)}g^{n}/n!\right)\right]\cdot \left[(1+g^{\prime })\,d\theta +\left(\sum _{n\geq 1}nf_{n}t^{n-1}\right)\,dt\right].}$

К Лемма Бореля, существует диффеоморфизм, определенный в окрестности единичной окружности, т = 0, для которого формальное выражение ж(θ,т) - разложение в ряд Тейлора по т Переменная. Отсюда следует, что после композиции с этим диффеоморфизмом расширение метрики, полученное отражением в прямой т = 0 гладко.

Гёльдерская преемственность решений

Дуади и другие указали способы продлить L² теории для доказательства существования и единственности решений, когда коэффициент Бельтрами μ ограничен и измерим с L^∞ норма k строго меньше единицы. Их подход включал теорию квазиконформных отображений для непосредственного установления решений уравнения Бельтрами, когда μ гладкая с неподвижной компактной опорой равномерно Гёльдер непрерывный.^[7] В L^п Подход Гёльдера. Непрерывность автоматически следует из теории операторов.

В L^п теория, когда μ гладкая компактная опора, происходит как в L² дело. Посредством Теория Кальдерона – Зигмунда преобразование Берлинга и обратное к нему, как известно, непрерывны для L^п норма. В Теорема Рисса – Торина о выпуклости означает, что нормы C^п являются непрерывными функциями п. Особенно C_п стремится к 1, когда п стремится к 2.

В уравнении Бельтрами

${\displaystyle \displaystyle {f_{\overline {z}}=\mu f_{z},}}$

с μ гладкая функция компактной опоры, положим

${\displaystyle \displaystyle g(z)=f(z)-z}$

и предположим, что первые производные от грамм L^п. Позволять час = грамм_z = ж_z - 1. Тогда

${\displaystyle \displaystyle {h=g_{z}=T(g_{\overline {z}})=T(f_{\overline {z}})=T(\mu f_{z})=T(\mu h)+T\mu .}}$

Если А и B операторы, определенные AF = ТмкФ и BF = мкТФ, то их операторные нормы строго меньше 1 и (я − А)час = Тμ. Следовательно

${\displaystyle \displaystyle h=(I-A)^{-1}T\mu ,\,\,\,T^{-1}=(I-B)^{-1}\mu }$

где правые части могут быть расширены как Серия Неймана. Следует, что

${\displaystyle \displaystyle g_{\overline {z}}=T^{-1}h,}$

имеет ту же поддержку, что и μ и грамм. Следовательно, с точностью до константы ж дан кем-то

${\displaystyle \displaystyle f(z)=CT^{-1}h(z)+z.}$

Сходимость функций с фиксированным компактным носителем в L^п норма для п > 2 влечет сходимость в L², поэтому эти формулы совместимы с L² теория, если п > 2.

Преобразование Коши C не непрерывна на L² кроме как карта в функции исчезающее среднее колебание.^[8] На L^п его образ содержится в непрерывных по Гёльдеру функциях с показателем Гёльдера 1 - 2п⁻¹ после добавления подходящей константы. Фактически для функции ж компактной опоры определить

${\displaystyle {\begin{aligned}Pf(w)&=Cf(w)+\pi ^{-1}\iint _{\mathbf {C} }{f(z) \over z}\,dx\,dy\\[4pt]&=-{1 \over \pi }\iint _{\mathbf {C} }f(z)\left({1 \over z-w}-{1 \over z}\right)\,dx\,dy=-{1 \over \pi }\iint _{\mathbf {C} }{f(z)w \over z(z-w)}\,dx\,dy.\end{aligned}}}$

Обратите внимание, что константа добавляется так, чтобы ПФ(0) = 0. Поскольку ПФ только отличается от Cf на константу следует точно так же, как в L² теория, что

${\displaystyle \displaystyle (Pf)_{\overline {z}}=f,\,\,\,(Pf)_{z}=Tf.}$

Более того, п можно использовать вместо C для получения решения:

${\displaystyle \displaystyle f(z)=PT^{-1}h(z)+z.}$

С другой стороны, подынтегральное выражение, определяющее ПФ находится в L^q если q⁻¹ = 1 − п⁻¹. В Неравенство Гёльдера подразумевает, что ПФ является Гёльдер непрерывный с явной оценкой:

${\displaystyle \displaystyle |Pf(w_{1})-Pf(w_{2})|\leq K_{p}\|f\|_{p}|w_{1}-w_{2}|^{1-2/p},}$

куда

${\displaystyle \displaystyle K_{p}=\|z^{-1}(z-1)^{-1}\|_{q}/\pi .}$

Для любого п > 2 достаточно близко к 2, C_пk <1. Следовательно, ряд Неймана для (я − А)⁻¹ и (я − B)⁻¹ сходятся. Оценки Гёльдера для п дают следующие равномерные оценки для нормированного решения уравнения Бельтрами:

${\displaystyle \displaystyle |f(w_{1})-f(w_{2})|\leq {K_{p} \over 1-\|\mu \|_{\infty }C_{p}}\|\mu \|_{p}|w_{1}-w_{2}|^{1-2/p}+|w_{1}-w_{2}|.}$

Если μ поддерживается в |z| ≤ р, тогда

${\displaystyle \displaystyle \|\mu \|_{p}\leq (\pi R^{2})^{1/p}\|\mu \|_{\infty }.}$

Параметр ш₁ = z и ш₂ = 0, то при |z| ≤ р

${\displaystyle \displaystyle |f(z)|\leq \left[1+{K_{p}\pi ^{1/p}\|\mu \|_{\infty } \over 1-\|\mu \|_{\infty }C_{p}}\right]\cdot R=CR,}$

где постоянная C > 0 зависит только от L^∞ норма μ. Таким образом, коэффициент Бельтрами ж⁻¹ гладкая и поддерживается вz| ≤ CR. У него такая же L^∞ норма как у ж. Таким образом, обратные диффеоморфизмы также удовлетворяют равномерным оценкам Гёльдера.

Решение для измеримых коэффициентов Бельтрами

Существование

Теория уравнения Бельтрами может быть расширена до измеримых коэффициентов Бельтрами μ. Для простоты только особый класс μ Будем рассматривать - подходящие для большинства приложений, - а именно те функции, которые являются гладким открытым множеством Ω (регулярное множество) с дополнением Λ замкнутым множеством меры нуль (сингулярное множество). Таким образом, Λ - замкнутое множество, которое содержится в открытых множествах сколь угодно малой площади. Для измеримых коэффициентов Бельтрами μ с компактной опорой в |z| < р, решение уравнения Бельтрами может быть получено как предел решений для гладких коэффициентов Бельтрами.^[9]

На самом деле в этом случае особое множество Λ компактно. Возьмем гладкие функции φ_п компактной опоры с 0 ≤ φ_п ≤ 1, равный 1 в окрестности Λ и 0 в немного большей окрестности, сжимаясь до Λ как п увеличивается. Набор

${\displaystyle \displaystyle {\mu _{n}=(1-\varphi _{n})\cdot \mu .}}$

В μ_п гладкие с компактной опорой в |z| < р и

${\displaystyle \displaystyle {\|\mu _{n}\|_{\infty }\leq \|\mu \|_{\infty }.}}$

В μ_п как правило μ в любом L^п норма с п < ∞.

Соответствующие нормированные решения ж_п уравнений Бельтрами и их обратных грамм_п удовлетворяют равномерным оценкам Гёльдера. Поэтому они равностепенный на любом компактном подмножестве C; они даже голоморфны при |z| > р. Так что Теорема Арцела – Асколи, переходя при необходимости к подпоследовательности, можно считать, что оба ж_п и грамм_п сходятся равномерно на компактах к ж и грамм. Пределы будут удовлетворять тем же оценкам Гёльдера и голоморфны при |z| > р. Отношения ж_п∘грамм_п = id = грамм_п∘ж_п подразумевают, что в пределе ж∘грамм = id = грамм∘ж, так что ж и грамм являются гомеоморфизмами.

• Пределы ж и грамм слабо дифференцируемы.^[10] На самом деле пусть

${\displaystyle \displaystyle {u_{n}=\partial _{\overline {z}}f_{n},\,\,v_{n}=\partial _{z}f_{n}-1.}}$

Они лежат в L^п и равномерно ограничены:

${\displaystyle \displaystyle {\|u_{n}\|_{p},\,\,\|v_{n}\|_{p}\leq {\|\mu _{n}\|_{p} \over 1-\|\mu _{n}\|_{\infty }}.}}$

Переходя при необходимости к подпоследовательности, можно считать, что последовательности имеют слабые пределы ты и v в L^п. Это производные по распределению от ж(z) – z, поскольку если ψ гладкая с компактным носителем

${\displaystyle \displaystyle {\iint u\cdot \psi =\lim \iint u_{n}\cdot \psi =-\lim \iint f_{n}\cdot \partial _{\overline {z}}\psi =-\iint f\cdot \partial _{\overline {z}}\psi ,}}$

и аналогично для v. Аналогичный аргумент применим к грамм используя тот факт, что коэффициенты Бельтрами грамм_п поддерживаются в фиксированном закрытом диске.

• ж удовлетворяет уравнению Бельтрами с коэффициентом Бельтрами μ.^[11] Фактически отношение ты = μ ⋅ v + μ следует по непрерывности из соотношения ты_п = μ_п ⋅ v_п + μ_п. Достаточно показать, что μ_п ⋅ v_п слабо стремится к μ ⋅ v. Разницу можно записать

${\displaystyle \displaystyle {\mu v-\mu _{n}v_{n}=\mu (v-v_{n})+(\mu -\mu _{n})v_{n}.}}$

Первый член слабо стремится к 0, а второй член равен μ φ_п v_п. Слагаемые равномерно ограничены по L^п, поэтому для проверки слабой сходимости к 0 достаточно проверить скалярные произведения с плотным подмножеством L². Скалярные произведения с функциями компактного носителя в Ω равны нулю при п достаточно большой.

• ж переносит замкнутые множества нулевой меры на замкнутые множества нулевой меры.^[12] Достаточно проверить это для компакта K нулевой меры. Если U ограниченное открытое множество, содержащее K и J обозначает якобиан функции, то

${\displaystyle {\begin{aligned}A(f_{n}(U))&=\iint _{U}J(f_{n})\,dx\,dy=\iint _{U}|\partial _{z}f_{n}|^{2}-|\partial _{\overline {z}}f_{n}|^{2}\,dx\,dy\\[4pt]&\leq \iint _{U}|\partial _{z}f_{n}|^{2}\,dx\,dy\leq \|\partial _{z}f_{n}|_{U}\|_{p}^{2}\,A(U)^{1-2/p}.\end{aligned}}}$

Таким образом, если А(U) мала, как и А(ж_п(U)). С другой стороны ж_п(U) в конечном итоге содержит ж(K), для применения обратной грамм_п, U в конечном итоге содержит грамм_п ∘ж (K) поскольку грамм_п ∘ж равномерно стремится к тождеству на компактах. Следовательно ж(K) имеет нулевую меру.

• ж гладко на регулярном множестве Ω μ. Это следует из результатов эллиптической регулярности L² теория.
• ж имеет ненулевой якобиан. Особенно ж_z ≠ 0 на Ω.^[13] Фактически для z₀ в Ω, если п достаточно большой

${\displaystyle \displaystyle {\partial _{\overline {z}}(f\circ g_{n})=0}}$

возле z₁ = ж_п(z₀). Так час = ж ∘ грамм_п голоморфен около z₁. Поскольку это локально гомеоморфизм, час ' (z₁) ≠ 0. Поскольку ж =час ∘ ж_п. следует, что якобиан ж не равно нулю в z₀. С другой стороны J(ж) = |ж_z|² (1 - | μ |²), так ж_z ≠ 0 в z₀.

• грамм удовлетворяет уравнению Бельтрами с коэффициентом Бельтрами

${\displaystyle \displaystyle {\mu ^{\prime }(f(z))=-{f_{z} \over {\overline {f_{z}}}}\cdot \mu (z)}}$

или эквивалентно

${\displaystyle \displaystyle {\mu ^{\prime }(w)=-{{\overline {g_{w}}} \over g_{w}}\cdot \mu (g(w))}}$

на регулярном множестве Ω '= ж(Ω) с соответствующим сингулярным множеством Λ '= ж(Λ).

• грамм удовлетворяет уравнению Бельтрами для μ′. Фактически грамм имеет слабые производные по распределению в 1 + L^п и я^п. В сочетании с гладкими функциями компактного носителя в Ω эти производные совпадают с действительными производными в точках Ω. Поскольку Λ имеет нулевую меру, производные распределения равны фактическим производным в L^п. Таким образом грамм удовлетворяет уравнению Бельтрами, поскольку это делают фактические производные.
• Если ж* и ж являются решениями, построенными для μ* и μ тогда ж* ∘ ж⁻¹ удовлетворяет уравнению Бельтрами для

${\displaystyle \displaystyle \nu (f(z))={f_{z} \over {\overline {f_{z}}}}\,{\mu ^{*}-\mu \over 1-{\overline {\mu }}\mu ^{*}},}$

определенная на Ω ∩ Ω *. Слабые производные от ж* ∘ ж⁻¹ задаются действительными производными на Ω ∩ Ω *. Фактически это следует из аппроксимации ж* и грамм = ж⁻¹ к ж*_п и грамм_п. Производные равномерно ограничены в 1 + L^п и я^п, так что, как и прежде, слабые пределы дают производные по распределению от ж* ∘ ж⁻¹. Спариваясь с гладкими функциями компактного носителя в Ω these Ω *, они согласуются с обычными производными. Таким образом, производные по распределению задаются обычными производными от Λ ∪ Λ *, множества нулевой меры.

Это устанавливает существование гомеоморфных решений уравнения Бельтрами в случае коэффициентов Бельтрами компактного носителя. Это также показывает, что обратные гомеоморфизмы и составные гомеоморфизмы удовлетворяют уравнениям Бельтрами и что все вычисления могут быть выполнены путем ограничения регулярными множествами.

Если носитель не компактный, тот же прием, используемый в гладком случае, можно использовать для построения решения в терминах двух гомеоморфизмов, связанных с коэффициентами Бельтрами с компактным носителем. Обратите внимание, что из-за предположений о коэффициенте Бельтрами преобразование Мёбиуса расширенной комплексной плоскости может быть применено, чтобы сделать сингулярный набор коэффициента Бельтрами компактным. В этом случае можно выбрать один из гомеоморфизмов диффеоморфизмом.

Уникальность

Существует несколько доказательств единственности решений уравнения Бельтрами с заданным коэффициентом Бельтрами.^[14] Поскольку применение преобразования Мёбиуса комплексной плоскости к любому решению дает другое решение, решения можно нормализовать так, чтобы они фиксировали 0, 1 и ∞. The method of solution of the Beltrami equation using the Beurling transform also provides a proof of uniqueness for coefficients of compact support μ and for which the distributional derivatives are in 1 + L^п и я^п. The relations

${\displaystyle \displaystyle P\psi )_{\overline {z}}=\psi ,\,\,\,(P\psi )_{z}=T\psi }$

for smooth functions ψ of compact support are also valid in the distributional sense for L^п функции час since they can be written as L^п of ψ_пс. Если ж is a solution of the Beltrami equation with ж(0) = 0 и ж_z - 1 in L^п тогда

${\displaystyle \displaystyle {F=f-P(f_{\overline {z}})}}$

удовлетворяет

${\displaystyle \displaystyle {\partial _{\overline {z}}F=0.}}$

Так F is weakly holomorphic. Applying Weyl's lemma ^[15] it is possible to conclude that there exists a holomorphic function грамм that is equal to F почти всюду. Abusing notation redefine F:=G. Условия F '(z) − 1 lies in L^п и F(0) = 0 force F(z) = z. Следовательно

${\displaystyle \displaystyle {P(f_{\overline {z}})=f(z)+z}}$

and so differentiating

${\displaystyle \displaystyle {f_{z}=T(\mu f_{z})+1.}}$

Если грамм is another solution then

${\displaystyle \displaystyle {f_{z}-g_{z}=T(\mu (f_{z}-g_{z})).}}$

С Тμ has operator norm on L^п less than 1, this forces

${\displaystyle \displaystyle {f_{z}=g_{z}.}}$

But then from the Beltrami equation

${\displaystyle \displaystyle {f_{\overline {z}}=g_{\overline {z}}.}}$

Следовательно ж − грамм is both holomorphic and antiholomorphic, so a constant. С ж(0) = 0 = грамм(0), it follows that ж = грамм. Note that since ж is holomorphic off the support of μ и ж(∞) = ∞, the conditions that the derivatives are locally in L^п сила

${\displaystyle \displaystyle {f_{z}-1,\,\,f_{\overline {z}}\in L^{p}(\mathbf {C} ).}}$

Для генерала ж satisfying Beltrami's equation and with distributional derivatives locally in L^п, it can be assumed after applying a Möbius transformation that 0 is not in the singular set of the Beltrami coefficient μ. Если грамм is a smooth diffeomorphism грамм with Beltrami coefficient λ supported near 0, the Beltrami coefficient ν за ж ∘ грамм⁻¹ can be calculated directly using the change of variables formula for distributional derivatives:

${\displaystyle \displaystyle \nu (g(z))={g_{z} \over {\overline {g_{z}}}}\,{\mu -\lambda \over 1-{\overline {\lambda }}\mu }.}$

λ can be chosen so that ν vanishes near zero. Applying the map z⁻¹ results in a solution of Beltrami's equation with a Beltrami coefficient of compact support. The directional derivatives are still locally in L^п. The coefficient ν depends only on μ, λ и грамм, so any two solutions of the original equation will produce solutions near 0 with distributional derivatives locally in L^п and the same Beltrami coefficient. They are therefore equal. Hence the solutions of the original equation are equal.

Uniformization of multiply connected planar domains

The method used to prove the smooth Riemann mapping theorem can be generalized to multiply connected planar regions with smooth boundary. The Beltrami coefficient in these cases is smooth on an open set, the complement of which has measure zero. The theory of the Beltrami equation with measurable coefficients is therefore required.^[16][17]

Doubly connected domains. If Ω is a doubly connected planar region, then there is a diffeomorphism F of an annulus р ≤ |z| ≤ 1 onto the closure of Ω, such that after a conformal change the induced metric on the annulus can be continued smoothly by reflection in both boundaries. The annulus is a fundamental domain for the group generated by the two reflections, which reverse orientation. The images of the fundamental domain under the group fill out C with 0 removed and the Beltrami coefficient is smooth there. The canonical solution час of the Beltrami equation on C, by the L^п theory is a homeomorphism. It is smooth on away from 0 by elliptic regularity. By uniqueness it preserves the unit circle, together with its interior and exterior. Uniqueness of the solution also implies that reflection there is a conjugate Möbius transformation грамм такой, что час ∘ р = грамм ∘ час куда р denotes reflection in |z| = р. Composing with a Möbius transformation that fixes the unit circle it can be assumed that грамм is a reflection in a circle |z| = s с s < 1. It follows that F ∘ час₋₁ is a smooth diffeomorphism of the annulus s ≤ |z| ≤ 1 onto the closure of Ω, holomorphic in the interior.^[18]

Multiply connected domains. For regions with a higher degree of connectivity k + 1, the result is essentially Bers' generalization of the retrosection theorem.^[19] There is a smooth diffeomorphism F of the region Ω₁, given by the unit disk with k open disks removed, onto the closure of Ω. It can be assumed that 0 lies in the interior of the domain. Again after a modification of the diffeomorphism and conformal change near the boundary, the metric can be assumed to be compatible with reflection. Позволять грамм be the group generated by reflections in the boundary circles of Ω₁. The interior of Ω₁ iz a fundamental domain for грамм. Moreover, the index two normal subgroup грамм₀ consisting of orientation-preserving mappings is a classical Группа Шоттки. Its fundamental domain consists of the original fundamental domain with its reflection in the unit circle added. If the reflection is р₀, это свободная группа с генераторами р_я∘р₀ куда р_я are the reflections in the interior circles in the original domain. The images of the original domain by the грамм, or equivalently the reflected domain by the Schottky group, fill out the regular set for the Schottky group. It acts properly discontinuously there. The complement is the установленный предел из грамм₀. It has measure zero. The induced metric on Ω₁ extends by reflection to the regular set. The corresponding Beltrami coefficient is invariant for the reflection group generated by the reflections р_я за я ≥ 0. Since the limit set has measure zero, the Beltrami coefficient extends uniquely to a bounded measurable function on C. smooth on the regular set. The normalised solution of the Beltrami equation час is a smooth diffeomorphism of the closure of Ω₁ onto itself preserving the unit circle, its exterior and interior. Обязательно час ∘ р_я = S_я ∘ час. куда S_я is the reflection in another circle in the unit disk. Looking at fixed points, the circles arising this way for different я must be disjoint. Следует, что F ∘ час⁻¹ defines a smooth diffeomorphism of the unit disc with the interior of these circles removed onto the closure of Ω, which is holomorphic in the interior.

Simultaneous uniformization

Смотрите также: Simultaneous uniformization theorem

Bers (1961) showed that two compact Riemannian 2-manifolds M₁, M₂ рода грамм > 1 can be simultaneously uniformized.

As topological spaces M₁ и M₂ are homeomorphic to a fixed quotient of the upper half plane ЧАС by a discrete cocompact subgroup Γ of PSL(2,р). Γ can be identified with the fundamental group of the manifolds and ЧАС это универсальное перекрытие. The homeomorphisms can be chosen to be piecewise linear on corresponding triangulations. Результат Munkres (1961) harvtxt error: no target: CITEREFMunkres1961 (помощь) implies that the homeomorphisms can be adjusted near the edges and the vertices of the triangulation to produce diffeomorphisms. The metric on M₁ induces a metric on ЧАС which is Γ-invariant. Позволять μ be the corresponding Beltrami coefficient on ЧАС. It can be extended to C by reflection

${\displaystyle \displaystyle {\widehat {\mu }}(z)=\mu (z)\,\,(z\in \mathbf {H} ),\,\,{\widehat {\mu }}(z)=0\,\,(z\in \mathbf {R} ),\,\,{\widehat {\mu }}(z)={\overline {\mu ({\overline {z}})}}\,\,({\overline {z}}\in \mathbf {H} ).}$

It satisfies the invariance property

${\displaystyle \displaystyle {\widehat {\mu }}(g(z))={{\overline {g_{z}}} \over g_{z}}\,{\widehat {\mu }}(z),}$

за грамм in Γ. Решение ж of the corresponding Beltrami equation defines a homeomorphism of C, preserving the real axis and the upper and lower half planes. Conjugation of the group elements by ж⁻¹ gives a new cocompact subgroup Γ₁ of PSL(2,р). Composing the original diffeomorphism with the inverse of ж then yield zero as the Beltrami coefficient. Thus the metric induced on ЧАС is invariant under Γ₁ and conformal to the Poincaré metric на ЧАС. It must therefore be given by multiplying by a positive smooth function that is Γ₁-invariant. Any such function corresponds to a smooth function on M₁. Dividing the metric on M₁ by this function results in a conformally equivalent metric on M₁ which agrees with the Poincaré metric on ЧАС / Γ₁. Таким образом M₁ становится compact Riemann surface, i.e. is uniformized and inherits a natural complex structure.

With this conformal change in metric M₁ can be identified with ЧАС / Γ₁. The diffeomorphism between onto M₂ induces another metric on ЧАС which is invariant under Γ₁. It defines a Beltrami coefficient λomn ЧАС which this time is extended to C by defining λ to be 0 off ЧАС. Решение час of the Beltrami equation is a homeomorphism of C which is holomorphic on the lower half plane and smooth on the upper half plane. The image of the real axis is a Кривая Иордании разделение C into two components. Conjugation of Γ₁ к час⁻¹ дает quasi-Fuchsian subgroup Γ₂ of PSL(2,C). It leaves invariant the Jordan curve and acts properly discontinuously on each of the two components. The quotients of the two components by Γ₂ are naturally identified with M₁ и M₂. This identification is compatible with the natural complex structures on both M₁ и M₂.

Конформная сварка

Смотрите также: Конформная сварка и Douady–Earle extension

An orientation-preserving homeomorphism ж of the circle is said to be quasisymmetric if there are positive constants а и б такой, что

${\displaystyle \displaystyle {{{|f(z_{1})-f(z_{2})| \over |f(z_{1})-f(z_{3})|}\leq a\cdot {|z_{1}-z_{2}|^{b} \over |z_{1}-z_{3}|^{b}}}.}}$

Если

${\displaystyle \displaystyle {|z_{1}-z_{2}|=|z_{1}-z_{3}|,}}$

then the condition becomes

${\displaystyle \displaystyle {a^{-1}\leq {|f(z_{1})-f(z_{2})| \over |f(z_{1})-f(z_{3})|}\leq a.}}$

Conversely if this condition is satisfied for all such triples of points, then ж is quasisymmetric.^[20]

An apparently weaker condition on a homeomorphism ж of the circle is that it be quasi-Möbius, that is there are constants c, d > 0 такой, что

${\displaystyle \displaystyle {|(f(z_{1}),f(z_{2});f(z_{3}),f(z_{4}))|\leq c|(z_{1},z_{2};z_{3},z_{4})|^{d},}}$

куда

${\displaystyle \displaystyle {(z_{1},z_{2};z_{3},z_{4})={(z_{1}-z_{3})(z_{2}-z_{4}) \over (z_{2}-z_{3})(z_{1}-z_{4})}}}$

обозначает перекрестное соотношение. Фактически, если ж is quasisymmetric then it is also quasi-Möbius, with c = а² и d = б: this follows by multiplying the first inequality above for (z₁,z₃,z₄) и (z₂,z₄,z₃).

Conversely if ж is a quasi-Möbius homeomorphism then it is also quasisymmetric.^[21] Indeed, it is immediate that if ж is quasi-Möbius so is its inverse. It then follows that ж (и поэтому ж⁻¹) является Гёльдер непрерывный. To see this let S be the set of cube roots of unity, so that if а ≠ б в S, then |а − б| = 2 sin π/3 = √3. To prove a Hölder estimate, it can be assumed that Икс – у is uniformly small. Then both Икс и у are greater than a fixed distance away from а, б в S с а ≠ б, so the estimate follows by applying the quasi-Möbius inequality to Икс, а, у, б. Чтобы проверить это ж is quasisymmetric, it suffices to find a uniform upper bound for |ж(Икс) − ж(у)| / |ж(Икс) − ж(z) | in the case of a triple with |Икс − z| = |Икс − у|, uniformly small. In this case there is a point ш at a distance greater than 1 from Икс, у и z. Applying the quasi-Möbius inequality to Икс, ш, у и z yields the required upper bound.

A homeomorphism ж of the unit circle can be extended to a homeomorphism F of the closed unit disk which is diffeomorphism on its interior. Douady & Earle (1986), generalizing earlier results of Ahlfors and Beurling, produced such an extension with the additional properties that it commutes with the action of SU(1,1) by Möbius transformations and is quasiconformal if ж is quasisymmetric. (A less elementary method was also found independently by Tukia (1985): Tukia's approach has the advantage of also applying in higher dimensions.) When ж is a diffeomorphism of the circle, the Alexander extension provides another way of extending ж:

${\displaystyle \displaystyle {F(r,\theta )=r\exp[i\psi (r)g(\theta )+i(1-\psi (r))\theta ],}}$

where ψ is a smooth function with values in [0,1], equal to 0 near 0 and 1 near 1, and

${\displaystyle \displaystyle {f(e^{i\theta })=e^{ig(\theta )},}}$

с грамм(θ + 2π) = грамм(θ) + 2π. Partyka, Sakan & Zając (1999) give a survey of various methods of extension, including variants of the Ahlfors-Beurling extension which are smooth or analytic in the open unit disk.

In the case of a diffeomorphism, the Alexander extension F can be continued to any larger disk |z| < р с р > 1. Accordingly, in the unit disc

${\displaystyle \displaystyle {\|\mu \|_{\infty }<1,\,\,\,\mu (z)=F_{\overline {z}}/F_{z}.}}$

This is also true for the other extensions when ж is only quasisymmetric.

Now extend μ to a Beltrami coefficient on the whole of C by setting it equal to 0 for |z| ≥ 1. Let грамм be the corresponding solution of the Beltrami equation. Позволять F₁(z) = грамм ∘ F⁻¹(z) for |z| ≤ 1 andF₂(z) = грамм (z) for |z| ≥ 1. Thus F₁ и F₂ are univalent holomorphic maps of |z| < 1 and |z| > 1 onto the inside and outside of a Jordan curve. They extend continuously to homeomorphisms ж_я of the unit circle onto the Jordan curve on the boundary. By construction they satisfy theconformal welding condition:

${\displaystyle \displaystyle {f=f_{1}^{-1}\circ f_{2}.}}$

Смотрите также

• Квазиконформное отображение
• Measurable Riemann mapping theorem
• Isothermal coordinates

Примечания

1. Спивак 1999, pp. 314-317, which is pp. 455-460 in the first or second edition; but note that there is a typo in equation (**) on page 315 or 457. The right-hand side, given as −β/α, should be −α/β.
2. Видеть:
   • Astala, Iwaniec & Martin 2009
   • Bers, John & Schechter 1979
   • Ahlfors 1966
   • Glutsyuk 2008
   • Douady & Buff 2000
3. Видеть:
   • Bers, John & Schechter 1979
   • Glutsyuk 2008
4. Видеть:
   • Ahlfors 1966, п. 9
   • Имаёши и Танигучи 1992, п. 88
5. Ahlfors 1966, п. 98
6. Видеть
   • Ahlfors 1966, п. 99
   • Bers, John & Schechter 1979, п. 277
7. Видеть:
   • Douady & Buff 2000
   • Glutsyuk 2008
   • Ahlfors 1966
8. Astala, Iwaniec & Martin 2009
9. Видеть:
   • Ahlfors 1966
   • Douady & Buff 2000
10. Douady & Buff 2000, стр. 319–320
11. Douady & Buff 2000, стр. 319–320
12. Ahlfors 1966, стр. 97–98
13. Douady & Buff, п. 321 harvnb error: no target: CITEREFDouadyBuff (помощь)
14. Видеть:
    • Ahlfors 1966
    • Имаёши и Танигучи 1992
    • Lehto 1987
    • Lehto & Virtanen 1973
    • Buff & Xavier 2000, стр. 321–322 harvnb error: no target: CITEREFBuffXavier2000 (помощь)
15. *Astala, Iwaniec & Martin 2009
16. Bers 1961
17. Sibner 1965
18. Sibner 1965
19. Видеть:
    • Bers 1961
    • Сибнер 1965
20. Тукиа и Вяйсяля 1980
21. Вяйсяля 1984

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

• Альфорс, Ларс В. (1955), Конформность относительно римановой метрики, Анна. Акад. Sci. Фенн. Сер. А. И., 206
• Альфорс, Ларс В. (1966), Лекции о квазиконформных отображениях, Ван Ностранд
• Астала, Кари; Иванец, Тадеуш; Мартин, Гавен (2009), Эллиптические уравнения в частных производных и квазиконформные отображения на плоскости, Принстонская математическая серия, 48, Издательство Принстонского университета, ISBN  978-0-691-13777-3
• Бельтрами, Эухенио (1867), "Saggio di interpazione della geometria non euclidea (Очерк интерпретации неевклидовой геометрии)" (PDF), Giornale di Mathematica (на итальянском), 6, JFM  01.0275.02 Английский перевод в Стиллвелл (1996)
• Берс, Липман (1958), Римановы поверхности, Институт Куранта
• Берс, Липман; Джон, Фриц; Шехтер, Мартин (1979), Уравнения с частными производными с дополнениями Ларса Гёрдинга и А. Н. Милграма, Лекции по прикладной математике, 3А, Американское математическое общество, ISBN  0-8218-0049-3, Глава VI.
• Берс, Липман (1961), "Униформизация уравнениями Бельтрами", Comm. Pure Appl. Математика., 14: 215–228, Дои:10.1002 / cpa.3160140304
• Дуади, Адриан; Эрл, Клиффорд Дж. (1986), "Конформно естественное расширение гомеоморфизмов окружности", Acta Math., 157: 23–48, Дои:10.1007 / bf02392590
• Дуади, Адриан; Бафф, X. (2000), Le théorème d'intégrabilité des структур престижных комплексов. [Теорема интегрируемости для почти сложных структур], Лондонская математика. Soc. Lecture Note Ser., 274, Cambridge Univ. Press, стр. 307–324.
• Глуцюк, Алексей А. (2008), "Простые доказательства теорем униформизации", Fields Inst. Commun., 53: 125–143
• Хаббард, Джон Хамал (2006), Теория Тейхмюллера и приложения к геометрии, топологии и динамике. Vol. 1, Matrix Editions, Итака, штат Нью-Йорк, ISBN  978-0-9715766-2-9, МИСТЕР  2245223
• Imayoshi, Y .; Танигучи, М. (1992), Введение в пространства Тейхмюллера, Springer-Verlag, ISBN  0-387-70088-9
• Иванец, Тадеуш; Мартин, Гавен (2008), Уравнение Бельтрами, Мемуары Американского математического общества, 191, Дои:10.1090 / memo / 0893, ISBN  978-0-8218-4045-0, МИСТЕР  2377904
• Крейсциг, Эрвин (1991), Дифференциальная геометрия, Дувр, ISBN  0-486-66721-9
• Лехто, Олли; Виртанен, К. (1973), Квазиконформные отображения на плоскости, Die Grundlehren der Mathematischen Wissenschaften, 126 (2-е изд.), Springer-Verlag
• Лехто, Олли (1987), Однолистные функции и пространства Тейхмюллера, Тексты для выпускников по математике, 109, Springer-Verlag, ISBN  0-387-96310-3
• Морри, Чарльз Б. (1936), "О решениях квазилинейных эллиптических уравнений в частных производных", Бюллетень Американского математического общества, 42 (5): 316, Дои:10.1090 / S0002-9904-1936-06297-X, ISSN  0002-9904, JFM  62.0565.02
• Морри, Чарльз Б. мл. (1938), "О решениях квазилинейных эллиптических уравнений с частными производными", Труды Американского математического общества, Американское математическое общество, 43 (1): 126–166, Дои:10.2307/1989904, JSTOR  1989904, Zbl  0018.40501
• Мункрес, Джеймс (1960), "Препятствия к сглаживанию кусочно-дифференцируемых гомеоморфизмов", Анна. математики., 72: 521–554, Дои:10.2307/1970228
• Пападопулос, Атанас, изд. (2007), Справочник по теории Тейхмюллера. Vol. I, Лекции IRMA по математике и теоретической физике, 11, Европейское математическое общество (EMS), Цюрих, Дои:10.4171/029, ISBN  978-3-03719-029-6, МИСТЕР2284826
• Пападопулос, Атанас, изд. (2009), Справочник по теории Тейхмюллера. Vol. II, Лекции IRMA по математике и теоретической физике, 13, Европейское математическое общество (EMS), Цюрих, Дои:10.4171/055, ISBN  978-3-03719-055-5, МИСТЕР2524085
• Пападопулос, Атанас, изд. (2012), Справочник по теории Тейхмюллера. Vol. III, Лекции IRMA по математике и теоретической физике, 19, Европейское математическое общество (EMS), Цюрих, Дои:10.4171/103, ISBN  978-3-03719-103-3
• Партика, Дариуш; Сакан, Кен-Ичи; Zając, Józef (1999), "Гармонические и квазиконформные операторы расширения", Banach Center Publ., 48: 141–177
• Сибнер, Роберт Дж. (1965), "Униформизация симметричных римановых поверхностей группами Шоттки", Пер. Амер. Математика. Soc., 116: 79–85, Дои:10.1090 / с0002-9947-1965-0188431-2
• Спивак, Михаил (1999), Подробное введение в дифференциальную геометрию. Vol. IV (3-е изд.), Publish or Perish, ISBN  0-914098-70-5
• Стиллвелл, Джон (1996), Источники гиперболической геометрии, История математики, 10, Провиденс, Р.И.: Американское математическое общество, ISBN  978-0-8218-0529-9, МИСТЕР  1402697
• Tukia, P .; Вяйсяля, Дж. (1980), "Квазисимметричные вложения метрических пространств", Анна. Акад. Sci. Фенн. Сер. A I Math., 5: 97–114
• Тукиа, Пекка (1985), "Квазиконформное расширение квазисимметричных отображений, совместимых с группой Мёбиуса", Acta Math., 154: 153–193, Дои:10.1007 / bf02392471
• Вяйсяля, Юсси (1984), «Квазимебиусовые карты», J. Анализировать математику., 44: 218–234, Дои:10.1007 / bf02790198, HDL:10338.dmlcz / 107793
• Векуа, И. Н. (1962), Обобщенные аналитические функции, Pergamon Press