www.volsu.ru
МАТЕМАТИКА И МЕХАНИКА
DOI: https://doi.org/10.15688/mpcm.jvolsu.2017.5.1
УДК 514.752.44+514.772 ББК (В)22.161.5
ОБ УРАВНЕНИЯХ БЕЛЬТРАМИ С РАЗНОТИПНЫМ ВЫРОЖДЕНИЕМ НА ДУГЕ
Александр Николаевич Кондрашов
Кандидат физико-математических наук, доцент кафедры компьютерных наук
и экспериментальной математики,
Волгоградский государственный университет
[email protected], [email protected], [email protected]
просп. Университетский, 100, 400062 г. Волгоград, Российская Федерация
Аннотация. Пусть И С С — односвязная область, разделенная жор-дановой дугой Е С И на две подобласти И1 и и в этой области задано уравнение Бельтрами, возможно, переменного типа, вырождающееся вдоль Е. В работе [6] были описаны два принципиально различных случая вырождения уравнения Бельтрами, при котором ассоциированное с ним классическое уравнение Бельтрами допускает единственное, с точностью до суперпозиции с конформным отображением, гомеоморфное решение. В настоящей работе доказывается, что справедлив «двусторонний» аналог вышеупомянутых результатов работы [6], допускающий, чтобы характер вырождения по разные стороны Е был различным1.
Ключевые слова: вырождающееся уравнение Бельтрами, комплексная дилатация, характеристики Лаврентьева, решение с особенностью, ассоции-
^ рованное уравнение.
о
сч
£
< Введение
т
о
§ Пусть в односвязной области Б С С задано дифференциальное уравнение
« нение Бельтрами (см.: [2, гл. 2])
о
© ¡г(г) = (г), (х = Х1 + %х2 € В),
— урав-(1)
где ц(г) (|ц(^)| = 1 п.в. в D) — п.в. конечная измеримая комплекснозначная функция.
Хорошо известно (см.: [2, гл. 2]), что если во всякой подобласти D' < D выполнено условие esssupD/ |ц(г)| < 1, то существует гомеоморфное решение w = f (z) G причем z = f-1(w) G WiO'c2(/(D)). Это решение единственно с точностью до суперпозиции с конформным отображением в плоскости w.
В дальнейшем решением уравнения (1) будем называть непрерывную функцию f (z) G Wl 1<oC2(D), удовлетворяющую ему п.в. в D.
Напомним [1, c. 7], что коэффициент ц(г) = fa(z)/fz(z) называется комплексной дилатацией отображения f(z) G W^^); его задание эквивалентно заданию п.в. в D поля распределения характеристик Лаврентьева (p(z), 0(z)) (см. [14]). Отображение w = f (z), первая характеристика которого п.в. в D удовлетворяет условию
p(z) < Q = const, (2)
называется Q-квазиконформным. Если условие (2) выполняется в D локально (то есть со своим Q = Q(D') для всякой области D' < D), то отображение называется локально квазиконформным. Условие ess supD |ц(^)| < 1 (esssupD/ |ц(^)| < 1 для всякой области D' < D) эквивалентно условию квазиконформности (локальной квазиконформности).
Следует отметить, что в настоящее время известны более точные условия существования и единственности уравнения Бельтрами, чем условие esssupD/ |ц(^)| < 1 (см., например, [11; 15]).
Уравнение Бельтрами с |ц(^)| < 1 п.в. в D будем в дальнейшем называть классическим. Случаи |ц(г)| < 1 п.в. в D и |ц(г)| > 1 п.в. в D отличаются тем, что в первом случае гомеоморфные решения не меняют ориентацию, а во втором меняют. Различие здесь лишь формальное. Интерес представляет ситуация, когда одновременно существуют подобласти D, в которых п.в. выполнено |ц(^)| < 1, и подобласти D, в которых п.в. |ц(г)| > 1. В этом случае говорится, что уравнение Бельтрами имеет переменный тип. Его решения описывают отображения со складками, сборками и т. п. Задача исследования таких уравнений была поставлена Л.И. Волковыским [3], а ряд успехов в этом направлении был сделан в работах [16;18]. Некоторые результаты в этом направлении были установлены нами в работах [5; 6].
Уравнению (1) будем ставить в соответствие (классическое) уравнение Бельтрами с комплексной дилатацией
ц(г) при |ц(г)| < 1,
1/V-(z) при |ц(г)| > 1.
Это уравнение называем в дальнейшем уравнением, ассоциированным с уравнением (1).
Очевидно, |ц*(z^ < 1 п.в. в D, причем в классическом случае ц(г) = ц*(г).
Тесная взаимосвязь между решениями ассоциированного уравнения и первоначального уравнения (1) была показана в [6; 8; 12].
Пусть имеется функция f (z) : D ^ R. Если существует функция К(z) G Wl'2(D), такая, что
f (z) < К(Z),
то функция f (z) называется W1,2-мажорируемой в D. Если f (z) является W 1,2-ма-жорируемой во всякой подобласти D' < D, то говорят, что f (z) является локально
v*(z ) = {
W12-мажорируемой в D. Для краткости вместо «локально W 12-мажорируема» всюду ниже будем писать «^^-мажорируема».
Если функция f абсолютно непрерывна внутри почти всех сечений 2 области D прямыми параллельными осям координат, то будем говорить, что f принадлежит классу ACL в D, кратко записывая это в виде «f G ACL в D». В дальнейшем связь между функциями классов Соболева и функциями класса ACL предполагается известной (см., например, [10, c. 14] или [4, с. 122]).
Пусть существует замкнутое относительно D множество Е С D меры mes2 Е = 0. Если непрерывная в D функция f (z) является решением уравнения (1) в D \ Е 3, то функцию f (z) будем называть решением с особенностью Е данного уравнения.
Наличие особенностей у решений характерно для уравнений (1) вырождающихся на некотором множестве Е, то есть таком Е, что
essinf ||ц(г)| - 1| = 0
для всякого г > 0, где Br (z) — круг с центром z G Е. При этом в качестве Е часто выступает множество раздела между {z : z G D, |ц(г)| < 1} и {z : z G D, |ц(г)| > 1|}.
1. Уравнения Бельтрами с вырождением
Пусть D С C — односвязная область и v = Т(z) : D ^ Т(D) С C — некоторый гомеоморфизм, сохраняющий ориентацию.
Определим в D функцию
П/ч v maxk/_^|=r \Т (z') - Т (z)|
Qt (Z) = limsup —---—-—-.
mmiz/_zi=r ^(z') - T(z^
Известно [1, гл. 1, §4], что если QT(z) < всюду в D и QT(z) < Q (Q > > 1 — константа) п.в. в D, то отображение T (z) Q-квазиконформно в области D и, как следствие, дифференцируемо п.в. в D, имеет п.в. в D комплексную дилатацию ц0(г) = = Tz(z)/Tz(z), первую характеристику Лаврентьева рт(z), якобиан I(z) = g^'l2) > 0 и в точках дифференцируемости рт (z) = Qt (z) = Р^0 (z).
Относительно T (z) будет допускаться возможность вырождения, но при этом будут налагаться следующие ограничения: (A1) множество вырождения отображения T (z)
Е = {z : z G D, sup Qt (z') = для всякого круга Br (z)},
z' eBr (z)nD
имеет меру mes2 E = 0;
(A2) для отображения T (z ) выполняется N-свойство [4, гл. 5, §1, п. 1.1]: всякое множество Е0 С D меры mes2 Е0 = 0 переходит в множество Т(Е0) С T(D) меры mes2 Т (Ео) = 0.
Нетрудно видеть, что условие (A1) гарантирует замкнутость множества Е относительно D и локальную квазиконформность отображения T (z ) в D \ Е. В силу квазиконформности отображение T (z) дифференцируемо п.в. в D\E, а следовательно, ив D. При этом у него п.в. определена комплексная характеристика ц0(г), первая характеристика Лаврентьева p(z) = Р№ (z ) = Qt (z) и якобиан I (z). Кроме того, при вышеуказанных
условиях ^1), ^2) справедлива формула замены переменной в интеграле [4, гл. 5, §1, п. 1.4, теорема 1.8]: для любой подобласти В' < В и любой суммируемой функции f (у), заданной в Т(В'), имеет место равенство
JJ I= JJ /(Т(г))1 (z)dxldx2.
Т(Б') И'
По данному отображению Т(г) определим класс функций Т*^0'ДО), как множество функций вида / (г) = ф(Т(г)), где ф € Ж1о'С (Т(В)).
Заметим, что в случае Е = 0 отображение Т(г) локально квазиконформно в В и, следовательно, Т(г) € Ж10'с2(^). Поэтому, в силу инвариантности классов ^О'2 при квазиконформных отображениях (см., например, [4, гл. 5, §4, п. 4.1, теорема 4.2]), заключаем, что Т*^0'с2(Д) = ^0'С2Р). Следовательно, при Е = 0, если f(г) € Т*Ш0^(В), то /(г) € <'2Р\£).
В работе [6] была установлена следующая теорема, играющая для нас ключевую
роль.
Теорема 1. Пусть В с С — односвязная область; V = Т(г) : В ^ Т(В) с С — гомеоморфное отображение со свойствами ^1), ^2), имеющее комплектую характеристику Цо(^). Предположим, что для всякой подобласти В' < В можно указать функцию К (г) € Ш 1'2(В') такую, что
JJ (г)\ЧК(г)^Х^Х2 <
Б'
|H(z) - H0(z)|2 < X(Z) п.в.в В',
(1 - M*)|)|(1 -№)[
К(Т-1(v)) е ACL в Т(В').
Тогда существует w = f (z) : В ^ f (В) с C — гомеоморфное решение с особенностью Е уравнения, ассоциированного с (1). При этом f (z) е Т*^^2^), f-1(w) е е W,0'2(/(D \ E)) и в представлении f (z) = ф(Т(z)) отображение ф имеет -мажорируемую первую характеристику. Гомеоморфизм w = f (z) единственен с точностью до конформного отображения в w-плоскости.
Замечание 1. Принадлежность К(T-1(v)) классу ACL в Т(В') в некоторых случаях выполняется автоматически, являясь следствием свойства отображения v = Т(z) сохранять этот класс. Примером отображения, сохраняющего класс ACL, является
F&(z) = h (zi) + гх2, h (t) = b(x)dx,
Jo
где b(t) — положительная непрерывная при t = 0 функция, имеющая интегрируемую особенность в нуле. Несложно проверить, что если К(z) е ACL в В, то К(F5-i(w)) е е ACL в F (D).
2. Вырождение на линии
Пусть существует жорданова дуга Е С Б, делящая область Б на две односвязные подобласти Б\ и Б2, причем на Е уравнение (1) вырождается, а характер вырождения описывается следующими условиями ^1), (B2). (B1) Справедливо представление
|ц(г)| = 1 + М (г)Ь(Н (г)),
где М(г) — измеримая, п.в. конечная в Б функция; 6(£) — непрерывная функция, такая, что Ь(Ь) > 0 при г = 0 и 6(0) = 0; Н (г) е С (Б) П УУЦф), причем УН (г) = 0 п.в. в Б и Н(г) < 0 в Бх, Н(г) > 0 в Б2.
^2) Существует непрерывная функция Z(г) е Ш^^Б), такая, что отображение
3 (г) = Н (г) + гг (г) е С (Б) П Ш1оС2(Б)
является локально квазиконформным гомеоморфизмом Б на ,1(Б), сохраняющим ориентацию.
Из условия (B1) следует, что Н(г) = 0 — уравнение кривой Е. Пусть в дальнейшем 1\(г) = НХ1ЕХ2 — НХ2ZXl — якобиан отображения .](г), рз(г) — его первая характеристика Лаврентьева, а Цз(Б') = евввирд/ рз(г) > 1. Тогда в силу квазиконформности ,1(г) в Б', п.в. имеем
|УЯ(г)|2 + (г)12 < (Б')11(г) < 2С}3(Б')УН(г)ЦУг(г)\. (3)
Далее, для произвольной вещественной функции / (г), имеющей градиент в точке г е Б, будем пользоваться отождествлениями V/(г) = ¡Х1 + г/Х2 и V/(г) = ¡Х1 — г/Х2. Введем в рассмотрение следующую измеримую функцию
( = при г е Б\, таких что УН существует иУН = 0, Б(г) = = при г е Б2, таких что VZсуществует иVZ = 0,
Тогда можно определить функции
1 в остальных случаях. 1
6(t)
Предположим, что функция имеет интегрируемую слева особенность в нуле.
{
b(t) при t> 0, rt
**($ = { ! п Н* (V= 6*(х)йх, ?5* (г) = Н* (х1) + 1X2.
1 щ при К 0,
Основным результатом настоящей работы является следующее утверждение. Теорема 2. Предположим, что выполняются условия ^1), ^2) и функция щ имеет интегрируемую слева особенность в нуле. Кроме того, предположим, что для всякой подобласти Б' < Б можно указать функцию К (г) е Ш 1,2(Б') такую, что
[Г ^К (г^ ^ J
} У —]щ— <
Б'
причем для п.в. ге В'
1
Ш -Б (г)|2 + <К (г).
|М(г)|52( Н) |ГЛ ' 4 " |М(г)|
Положим Т(г) = 55* (3(г)). Тогда существует гомеоморфизм т = ¡(г) : В ^ ^ ¡(В) с С, для которого справедливы утверждения:
(О /(г) есть решение с особенностью Е уравнения, ассоциированного с (1); («) ¡(г) е Т (В), ¡-1(т) е ^0'С2(/(В \Е)) ив представлении
№) = Ф(Т (*)) = ф(^6* ( 3 (г))) 1 2
отображение ф имеет Ж1о'с -мажорируемую первую характеристику. Гомеоморфизм т = !(%) единственен с точностью до конформного отображения в т-плоскости.
В [6, теоремы 3, 4], были описаны два принципиально различных характера вырождения уравнения (1) вдоль Е, при которых существует единственное гомеоморфное решение соответствующего ассоциированного уравнения, а также описана структура такого решения; немного позже, в [8], было показано, что эти условия являются слабыми версиями следующих условий:
¿х + ц{г)Тг = 0, (4)
¿х + ц(х)Ах = 0, (5)
где ¿г направлено по касательной к Е. Условие (4) использовалось ранее в работах Якубова и Сребро [13, теорема 4.4, с 70], а (5) было рассмотрено в [6;8] впервые. Теорема 2 показывает, что возможен также вариант разнотипного вырождения уравнения Бельтрами, при котором характеры вырождения различны по разные стороны от Е. Доказательство теоремы 2. Пусть г е В2. В развернутом виде Т(г) = ¡ь(Н) + гZ и для отображения = Т( ) получаем
д(у 1, У2) д(х1,х2)
5(Н)НХ1 5(Н)Н
7 7
Х2 1
5(Н) Ь(г),
откуда
дТ (г) д
Цо(%)
1 (6( Н)У Н + гУ Z) ,
дТ (г) дг
2(5( Н )У Н + г У Z)
д Т( ) д Т( )
дх
5( Н )У Н + г У Z _ У^ — ШНУ-Н. 5( Н )УН + гШ = УЖ—ШНУН.
(6)
Отображение V = Т(г) сохраняет ориентацию, следовательно |цо(^)| < 1 п.в. в В2. Имеем
|ц - Цо|2 <
Ц
VZ
VZ
+
VZ
VZ
Цо
< 2
Ц
VZ
VZ
+ 2
VZ
VZ
Цо
VZ
Цо
У Z У Z -г 5( Н )У Н
25 (Н) Ь(г)
(7)
(8)
У Z ,о У Z У Z -г 5( Н )У Н У Z (У Z -г 5( Н )У Н)
2
2
2
Для z Е Di аналогично имеем Т(z) = Д (H) + iZ, откуда
d(v 1, v2) д (Xi,X2 )
1 Н i Н
b(H )Нх1 b(H )Нх2
Z
X1
Zr
Ь(Н)
h (Z),
дТ (z) 1 ( 1
dz 2 \b(H)
+m). Ш = ±у
2 V8(Н)VH + 'VZ)
Vo(z)
дТ(z) /дТ(z) _ VH + ib(H)VZ dz = VH + ib(H )VZ'
dz
/
|ц - цо|2 < 2 VH
VH
VH
Ц
Цо
VH
VH
+ 2
V H
2b(H) h(z)
Цо
V H(VH - гb(H)VZ)
(9) (10)
Зафиксируем подобласть D' < D. Тогда для п.в. z Е D' f]D2 с учетом (3), (7), (8) получаем
2
Z
Z
Цо
4b2 (H)I2(z)
|V Z |2(|V Z |2 + b2( H)|V H |2 + 2b( H) Ii(z))
< 16Q2j (D' )b2( H), (11)
|V Z|2 + b2( H)|V H|2 + 2b(H)h(z) < Ci(D')h(z),
где Ci(D') = 2Qj(D')max{1, snpD,(b2(H))} + 2supD,(b(H)) > 1.
Аналогично для п.в. z Е D'P|Di с учетом (3), (9), (10) имеем:
(12)
H
H
Цо
4b2(H)I2(z)
|V H |2(|V H |2 + b2( H)|V Z |2 + 2b( H) h(z)) |V H|2 + b2( H)|V Z|2 + 2b(H)h(z) < C(D')h(z)
< 16Q2j (D')b2(H),
где C(D') = 2Qj(D')max{1, supD,(b2(H))} + 2supD,(b(H)) > 1. Используя (6) и (12), для z Е D2 получаем
1 - |Ио(^)|
4b( H) ( )
>
1
(1 + |цо(г)|) (|VZ|2 + b2( H)|VH|2 + 2b(H)h(z))~ C(D')
T^b(H).
Отсюда с учетом (7), (11) и соотношений |1 — |ц(г) приходим к оценке
|М(z)bH), Qj(D') > 1
|Ц - Цо|
2
|(1 -|ц(*)|)(1 -|цо (z) 1
< C2(D')
|М (z^b2 (H)
<
Ц
Ц- ^^
Ц VZ
+2
WZ Ц Wz - Цо
ф~) ^ (zW(H)
<
Z
Z
+
|М (*)|
,
(13)
C2(D') = 32Q2 (D')Ci(D').
1
2
2
2
2
2
2
2
1
Далее, снова пользуясь (3), устанавливаем оценку
Р (г)< СзБ (14)
(г) - Ь(Н) . (14)
Так как г € Б2 П Б', то имеем
1 + |цсЬ о1±!но1! = 52(Н)|УН|2 + |УZ|2 Сз(Р') (г) 1 - Ы - 1 - Ы2 НН)/1 (г) - Ь(Н) '
где Сз(Б') = 2((3(Б') т&фир^(Ь2(Н)), 1}.
Рассуждая аналогично, устанавливаем неравенство вида (14) для случая г € Б1 Р)Б' В силу (14) для всякой функции К(х) € Wl(í¡22(D') имеем неравенство
I! (г)\УК (г^Зх^ - С3(Б') |[ ^Ки)^ ^ ^ (15)
И' И'
Имеем г = Т-1(ь) = 3-1(Бь-1(^)). Пусть С = Е5-1(р). Тогда V = (С), С = 3(г). Так как отображение С = 3(г) локально квазиконформно, то обратное к нему г = 3-1(С) также локально квазиконформно, и, следовательно, 3-1(С) € ^¿'С(3(Б')). Поскольку К (г) € Ж1? (Б' ), то в силу инвариантности класса ^О'2 при квазиконформных отображениях имеем К(С) = К(3-1(С)) € ^О'С2(3(Б')) и по замечанию 1 заключаем о принадлежности К(Т-1(г;)) = К(?- 1(г;)) € АСЬ в Т(Б').
Очевидно, кривая Е есть множество вырождения Т(г) = (3(г)) и выполняются условия (А1), (А2). Таким образом, полученные оценки (13), (15) обеспечивают выполнение условий теоремы 1. Теорема доказана.
ПРИМЕЧАНИЯ
1 Иначе говоря, в Б1 и
2 То есть на произвольных отрезках, лежащих в упомянутых сечениях.
3 При этом не известна принадлежность £ € ^О'2(О).
СПИСОК ЛИТЕРАТУРЫ
1. Белинский, П. П. Общие свойства квазиконформных отображений / П. П. Белинский. — Новосибирск : Наука. Сиб. отд-ние, 1974. — 100 с.
2. Векуа, И. Н. Обобщенные аналитические функции / И. Н. Векуа. — М. : Наука, 1988. — 512 с.
3. Волковыский, Л. И. Некоторые вопросы теории квазиконформных отображений / Л. И. Волковыский // Некоторые проблемы математики и механики. — Л. : Наука, 1970. — С. 128-134.
4. Гольдштейн, В. М. Введение в теорию функций с обобщенными производными и квазиконформные отображения / В. М. Гольдштейн, Ю. Г. Решетняк. — М. : Наука, 1983. — 284 с.
5. Кондрашов, А. Н. Изотермические координаты на склейках / А. Н. Кондрашов // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. — 2016. — № 6 (37). — С. 70-80.
6. Кондрашов, А. Н. К теории вырождающихся уравнений Бельтрами переменного типа / А. Н. Кондрашов // Сиб. мат. журн. - 2012. - Т. 53, № 6. - C. 1321-1337.
7. Кондрашов, А. Н. К теории уравнения Бельтрами переменного типа со многими складками / А. Н. Кондрашов // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. - 2013. - № 2 (19). - C. 26-35.
8. Кондрашов, А. Н. Уравнения Бельтрами, вырождающиеся на дуге / А. Н. Кондрашов // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. - 2014. - № 5 (24). - C. 24-39.
9. Кондрашов, А. Н. Уравнения Бельтрами переменного типа и конформные муль-тискладки / А. Н. Кондрашов // Вестник Волгоградского государственного университета. Серия 1, Математика. Физика. - 2015. - № 5 (30). - C. 6-24.
10. Мазья, В. Г. Пространства С.Л. Соболева / В. Г. Мазья. - Л. : Изд-во ЛГУ, 1985. - 416 с.
11. Миклюков, В. М. Изотермические координаты на поверхностях с особенностями / В. М. Миклюков // Мат. сб. - 2004. - Т. 195, № 1. - C. 69-88.
12. Якубов, Э. Х. О решениях уравнения Бельтрами с вырождением / Э. Х. Якубов // Доклады академии наук СССР. - 1978. - Т. 243, № 5. - C. 1148-1149.
13. The Beltrami Equations: A Geometric Approach / V. Gutlyanskii, V. Ryazanov, U. Srebro, E. Yakubov. - New York : Springer, 2012. - xiv+301 p.
14. Lavrentieff, M. Sur une classe de representations continues / M. Lavrentieff // Мат. сб. - 1935. - Т. 42, № 4. - C. 407-424.
15. Martio, O. On existence and uniqueness of degenerate Beltrami equations / O. Martio, V. M. Miklyukov // Complex Variables. - 2004. - № 49. - P. 647-656.
16. Srebro, U. Branched folded maps and alternating Beltrami equations / U. Srebro, E. Yakubov // Journal d'analyse mathematique. - 1996. - № 70. - P. 65-90.
17. Srebro, U. ц-Homeomorphisms / U. Srebro, E. Yakubov // Contemporary Mathematics AMS. - 1997. - № 211. - P. 473-479.
18. Srebro, U. Uniformization of maps with folds / U. Srebro, E. Yakubov // Israel mathematical conference proceedings. - 1997. - № 11. - P. 229-232.
REFERENCES
1. Belinskiy P.P. Obshchie svoystva kvazikonformnykh otobrazheniy [General Properties of Quasiconformal Mappings]. Novosibirsk, Nauka. Sib. otd-nie Publ., 1974. 100 p.
2. Vekua I.N. Obobshchennye analiticheskie funktsii [Generalized Analytic Functions]. Moscow, Nauka Publ., 1988. 512 p.
3. Volkovyskii L.I. Nekotorye voprosy teorii kvazikonformnykh otobrazheniy [Some Problems of the Theory of Quasiconformal Mappings]. Nekotorye problemy matematiki i mekhaniki [Some Problems of Mathematics and Mechanics] Leningrad, Nauka Publ., 1970, pp. 128-134.
4. Goldshteyn V.M., Reshetnyak Yu.G. Vvedenie v teoriyu funktsiy s obobshchennymi proizvodnymi i kvazikonformnye otobrazheniya [Quasiconformal Mappings and Sobolev Spaces]. Moscow, Nauka Publ., 1983. 284 p.
5. Kondrashov A.N. Izotermicheskie koordinaty na skleykakh [Isothermic Coordinates on Sewing Surfaces]. Vestnik Volgogradskogo gosudarstvennogo universiteta. Seriya 1, Matematika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics], 2016, no. 6 (37), pp. 70-80.
6. Kondrashov A.N. K teorii vyrozhdayushchikhsya uravneniy Beltrami peremennogo tipa [On the Theory of Degenerate Alternating Beltrami Equations]. Sib. mat. zhurn. [Siberian Mathematical Journal], 2012, vol. 53, no. 6, pp. 1321-1337.
7. Kondrashov A.N. K teorii uravneniya Beltrami peremennogo tipa so mnogimi skladkami [On the Theory of Alternating Beltrami Equation with Many Folds]. Vestnik Volgogradskogo gosudarstvennogo universiteta. Seriya 1, Matematika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics], 2013, no. 2 (19), pp. 26-35.
8. Kondrashov A.N. Uravneniya Beltrami, vyrozhdayushchiesya na duge [Beltrami Equations with Degenerate on Arcs]. Vestnik Volgogradskogo gosudarstvennogo universiteta. Seriya 1, Matematika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics], 2014, no. 5 (24), pp. 24-39.
9. Kondrashov A.N. Uravneniya Beltrami peremennogo tipa i konformnye multiskladki [Alternating Beltrami Equation and Conformal Multifolds]. Vestnik Volgogradskogo gosudarstvennogo universiteta. Seriya 1, Matematika. Fizika [Science Journal of Volgograd State University. Mathematics. Physics], 2015, no. 5 (30), pp. 6-24.
10. Mazya V.G. Prostranstva S.L. Soboleva [Sobolev Spaces]. Leningrad, Izd-vo LGU Publ., 1985. 416 p.
11. Miklyukov V.M. Izotermicheskie koordinaty na poverkhnostyakh s osobennostyami [Isothermic Coordinates on Singular Surfaces]. Mat. sb. [Sbornik: Mathematics], 2004, vol. 195, no. 1, pp. 69-88.
12. Yakubov E.Kh. O resheniyakh uravneniya Beltrami s vyrozhdeniem [Solutions of Beltrami's Equation with Degeneration]. Doklady akademii nauk SSSR [Doklady Mathematics], 1978, vol. 243, no. 5, pp. 1148-1149.
13. Gutlyanskii V., Ryazanov V., Srebro U., Yakubov E. The Beltrami Equations: A Geometric Approach. New York, Springer, 2012. xiv+301 p.
14. Lavrentieff M. Sur une classe de representations continues. Mat. sb. [Sbornik: Mathematics], 1935, vol. 42, no. 4, pp. 407-424.
15. Martio O., Miklyukov V.M. On Existence and Uniqueness of Degenerate Beltrami Equations. Complex Variables, 2004, no. 49, pp. 647-656.
16. Srebro U., Yakubov E. Branched Folded Maps and Alternating Beltrami Equations. Journal d'analyse mathematique, 1996, no. 70, pp. 65-90.
17. Srebro U., Yakubov E. p.-Homeomorphisms. Contemporary Mathematics AMS, 1997, no. 211, pp. 473-479.
18. Srebro U., Yakubov E. Uniformization of Maps with Folds. Israel mathematical conference proceedings, 1997, no. 11, pp. 229-232.
ON BELTRAMI EQUATIONS WITH A DIFFERENT-TYPE DEGENERACY ON AN ARC
Alexander Nikolaevich Kondrashov
Candidate of Physical and Mathematical Sciences, Associate Professor, Department of Computer Sciences and Experimental Mathematics, Volgograd State University
[email protected], [email protected], [email protected] Prosp. Universitetsky, 100, 400062 Volgograd, Russian Federation
Abstract. Suppose that, in a simply-connected domain D c C, we are given the Beltrami equation (see [2, Chapter 2])
fa (z) = vl(z) fa (z). (*)
We will call case of the Beltrami equation with |h(z)| < 1 a.e. in D by classical. The cases |m-(z)| < 1 a.e. in D and |h(z)| > 1 a.e. in D differ in that, in the first case homeomorphisms do not change sense, and in the second they do. The difference is but formal here. Of interest is the situation when there simultaneously exist subdomains in D in which |h(z)| < 1 a.e. and subdomains D in which |h(z)| > 1 a.e. In this case the Beltrami equation is said to be alternating. The problem of the study of alternating Beltrami equations was posed
by Volkovyskii [3], and successful progress in this direction was made in [16; 18]. Its solutions are described by mappings with folds, cusps, etc.
Assign to (*) the classical Beltrami equation with complex dilation
..*(f Ф) пРи ^(¿O! < 1
^(z) = \i№z) при !ф)! > 1.
Below we call this equation associated with (*).
Suppose that there exists a Jordan arc E с D dividing the domain D into two simply-connected subdomains D1 and D2. Suppose also that (1) degenerates on E and the nature of the degeneration is described by the following conditions: (B1) The representation
|H(z)| = 1 + M (z)b(H (z)),
holds, where M(z) is a measurable a.e. finite function in D; b(t) is a continuous function such that b(t) > 0 for t = 0 and 6(0) = 0; H(z) e С(D) n Wl02(D), and also V H(z) = 0 a.e. in D and H(z) < 0 in D1, H(z) > 0 in D2. (B2) there exists a continuous function Z(z) e Wl£(D)
J(z) = H(z) + iZ(z) e С(D) n W?o;2(D)
is a sense-preserving locally quasiconformal homeomorphism of D onto J(D).
Obviously, (B1) implies that H(z) = 0 is the equation of E. In what follows, we suppose that h(z) = HX1ZX2 — HX2ZX1 is the Jacobian of J(z), while Pj( z) is its first Lavrent'ev characteristic, and Qj(D') = esssupD, pj(z) > 1. Then, since J(z) is quasiconformal in D', a.e. we have
|V H(z)!2 + |V Z(z)|2 < 2Qj(D')h(z) < 2Qj(D')|V H(z)||V Z(z)l
Throughout the sequel, given an arbitrary real function ( ), having gradient at a point z e D, we put V/(z) = ¡хл + ifX2 and V/(z) = ¡хл — ifX2. Also we put
VH
S (z)
m at ^^
m z^d2,
ft
; * /
Fb* (z) = fb* (xi) + ix2 where fb* (t) = b*(x)dx.
■J 0
The main result of the article is as follows. Theorem. Suppose that (B1) and (B1) are fulfilled, while for every subdomain D' < D there is a function K(z) G Wl,2(D') such that
i f (z)\ dxidx2 <
JJ 6(H)
D'
and
1Ф) -S(z)l2 + <K(z).
IM(z)|62( H) 4 " |M(z)l
1
for a.e. z e D'. Put T(z) = F* (J(z)). Then there exists a homeomorphism w = f(z) : D ^ f(D) c C such that
(i) f(z) is a solution with singularity E to the equation associated with (*);
(ii) f(z) e T*W1C*(D), f-l(w) e w02(f(D\E)), and, in the representation
f(z) = v(T(z)) = v(?5* (J(z))) l 2
the mapping ^ has Wlo'c - majorized first characteristic.
This homeomorphic solution with singularity E is unique T*W10'c2 (D) up to composition with a conformal mapping.
This result is a two-sided analog of Theorems 3, 4 of the paper [6].
Key words: degenerate Beltrami equation, alternating Beltrami equation, Lavrent'evs characteristics, solution with singularity, associated equation.