CC BY
22
Том 154, kii. 1
УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА
Физико-математические пауки
2012
УДК 517.546
О НЕКОТОРЫХ ПОВЕРХНОСТЯХ, ОПРЕДЕЛЯЕМЫХ КОНФОРМНЫМ РАДИУСОМ
А.Н. Ахметова, A.B. Хмельницкая
Аннотация
В статье приведены результаты о свойствах поверхности конформного радиуса, построенной над единичным кругом или его внешностью, для области с выпуклой границей, содержащей прямолинейный участок. Изучены свойства поверхности конформного радиуса, построенной над полуплоскостью, для области с полигональными границами. Исследованы поверхности преобразованных конформных радиусов.
Ключевые слова: конформный радиус, поверхность конформного радиуса, выпуклая область, выпуклый многоугольник, коэффициент гиперболической метрики.
Пусть Б - некоторая односвязная область плоскости г, имеющая более одной граничной точки. Конформным (или внутренним) радиусом области Б относительно точки г0 £ Б называется величина Д = Д(Б,г0), равная радиусу круга |т| < Д, являющегося конформным образом области Б в результате действия функции т = Д(г) : Д(г0) = 0, Д'(г0) = 1.
Для вычисления конформного радиуса односвязной области Б в точке г обычно пользуются формулой [1]
Д(Б,г) = |/'(С)|(1 -|С |2), (1)
где г = /(С) - функция, реализующая конформное отображение единичного круга Е = (С : |С| < 1} на область Б = /(Е). При этом выражение (1) описывает поверхность И в М3 над облаетью Б или кругом Е.
БЕ
етве канонической области могут быть выбраны внешность Е- единичного круга Е
изменится, хотя геометрический смысл полностью сохранится. Для областей с бесконечно удаленной точкой на границе или внутри области конформный радиус в соответствующей точке определяется предельным переходом в общей формуле (1).
В первой части настоящей статьи, являющейся продолжением [2] и [3], доказано, что поверхность конформного радиуса для области с выпуклой границей, включающей прямолинейный участок, теряет свойство выпуклости при построении над единичным кругом Е или над внешностью Е- единичного к руга Е. Для многоугольных криволинейных областей получены обобщения этих утверждений (под многоугольной криволинейной областью будем понимать область, полученную после замены границ прямолинейного многоугольника простыми выпуклыми кривыми).
Кроме того, изучены свойства поверхности конформного радиуса
п
Д(Б, г) = 21ш С / '(С )| = 21т СП 1С-^Г-1, Б = / (Р), Р = (С :1т С> 0}, (2)
к= 1
для областей с полигональными границами при выборе полуплоскости Р в качестве канонической области.
Вторая часть статьи связана с исследованием поверхностей, описываемых функциями вп(г\ Еп(г), п € Ъ, и других, где й(г) - конформный радиус. Получено обобщение свойств поверхностей преобразованных конформных радиусов.
1. Рассмотрим регулярную в круге E функцию f (Z) = c0 + Z + c2Z2
одно-
листно отображающую E та внутренность D выпуклой линии L. Представление
2п
/'(С) = ехр { J ln(l - e-'wO cla{6) } dС, а(2п) - а(0) = 0,
(3)
определяет весь класс выпуклых функций / (аналогично [4, с. 507]). Здесь монотонно возрастающая функция а(в) определяется в своих точках непрерывности
а(в) = lim a(r, в),
r^l
где
а(г,в) = в Справедлива
п 2
arg f '(r
Lr = f(r
0 < в < 2п, 0 < r < 1.
Теорема 1. Поверхности конформного радиуса для выпуклой области В с прямолинейным участком границы I С дВ, построенная над Е, не является поверхностью, выпуклой вверх.
Доказательство. Без ограничения общности будем считать образ точки ( =1 лежащим на прямолинейном участке границы области В так, что дуга 7е С дЕ, содержащая £ = 1 и соединяющая точки в-г£ и вг£, будет переходить в некоторый прямолинейный участок границы / (7е) С I С дВ (см. рис. 1). Исходя из принципа симметрии, продолжим функцию / через дугу 7е в окрестность В^ = ||С — 1| < < е|. После этого С =1 становится точкой аналитичности продолженной функции,
/.
Рис. 1
Поскольку на дуге 7е функция а(в) = const, то достаточно рассмотреть в на отрезке е < в < 2п — е.
Выражение для конформного радиуса при Z = С, С G [—1,1], запишется в виде R(C) = If '(С) |(1 — С2), причем
2 п-е
Тогда
|/'(С)| =ехр|-^ J In(l-2£cos0 + £2)da(0)
R'(C) = (1 — C2)If '(С)£ — 2C|f '(С)|,
(4)
и поэтому Д'(1) = — 2|/< 0, поскольку /'(1) = 0 в силу необходимого условия однолистности функции /. Далее.
д''(0 = (1 — е2)|/'№ — 4£|/ад — 2|/'(е)|.
Поскольку подынтегральная функция в выражении (4) не имеет логарифмической особенности, дифференцируя по параметру под знаком интеграла, получаем
(2тг-е
-к / 1 Р
В силу равенства
окончательно имеем
I/ад |5=1 = —|/'(е)|, 5=1
д''(1) = 2|/'(е)||5=1 > о.
Так как функция / аналитична в В;?, то Д''(£) > 0 в В?. Следовательно, на поверхности конформного радиуса имеется невыпуклая вверх кривая Д(£), образованная рассечением этой поверхности плоскостью, перпендикулярной плоскости круга Е. Это означает, что поверхность конформного радиуса, построенная над Е, не является выпуклой вверх. □
Отмстим, что теорема верпа и для выпуклых многоугольников как частного случая областей с прямолинейным участком границы.
Приведем некоторое обобщение теоремы 1 для выпуклых криволинейных многоугольников. В качестве отображающей функции рассмотрим интеграл Кристоф-феля Шварца
^ п
/(С) = /П(С — «к)ак-1 С е Е, «к = е®^, (5)
к=1
с условием
Справедлива
— 2 ак <п — 1, 0 <ак < 1. (6)
к=1
Теорема 2. Пусть В - выпуклый криволинейный многоугольник, соответствующий интегральному представлению (5) с условием (6). Поверхность
В,
верхностью, выпуклой вверх.
Доказательство. Достаточно убедиться в существовании выпуклой вниз линии в вертикальном сечении поверхности конформного радиуса с уравнением
п
Д(0 = (1 — К|2)П к — «кГ-1.
к=1
Без ограничения общности будем считать ак = —1, к =1, 2,..., п.
При каждом фиксированном £ е (—п/2; п/2) рассмотрим множество рассечений поверхности конформного радиуса плоскостями (* = — 1 + ге®4, г > 0. Кривые
в сечении опишутся выражением
а-к-1
R(C) = (2rcost - г2) Ц\1 + акГ"1 П k=i k=i
1 — г-
1 + ак
Второй множитель в последнем соотношении не влияет на исследуемую характеристику поверхности, поэтому достаточно рассмотреть функцию
а-к-1
Ф(г) = (2rcosí - г2) 1 - г-k=1
1 + ак
и записать ее разложение в окрестности нуля
, , 2 2 ^^ cost(1 + cosfk) + sintsinfk , 2Ч
Ф(г) = lr cos t - г2 - 2r cosíV(at - 1)-V * ' -— + о (г2) .
k 2(1+cos tf к)
Значение второй производной в пуле, очевидно, зависит от выбора сечения, то есть от t. Поэтому выпишем коэффициент при r2 в виде функции
Mí) = -(l + cos ífk - +
V k= 1+COs fk )
/ 7Г 7T\
1 + eos (fu i ' V 2 ' 2 J
Возьмем сечение при t = 0. Тогда
к2(0) = - 1 + ^К - 1) = п - 1 ак,
V Й=1 / А=1
и из условия (6) легко получаем оценку 0 < к2(0) < 1, из которой вытекает справедливость утверждения. □
Перейдем к изучению свойств поверхности конформного радиуса, построенного над внешностью круга. Рассмотрим мероморфную во внешности круга Е функцию Р(С) = С + с0 + + е-2С-2 + • • • , С ^ Е-, однолистно отображающую Е-
на внешность П- замкнутой выпуклой линии Ь. Представление
F'(С) = ехр | ^ J In - ^ da{6) \ , а(2тг) - a(0) = 0,
(7)
определяет весь класс функций Р (аналогично [4, с. 507]). Монотонно возрастающая функция а(0) понимается здесь так же, как и ранее.
Имеет место
Теорема 3. Поверхность О- конформного радиуса для внешности выпуклой области Б с прямолинейным участком границы I С дБ, построенная над Е-, не является поверхностью, выпуклой вниз.
Доказательство. Все первоначальные соображения в доказательстве теоремы 1 будут иметь силу и в данном случае, поэтому продолжим отображающую функцию через дугу окружности так, чтобы точка С =1 стала аналитической для продолженной функции.
Пусть С = С, С ^ [-1, !]• Воспользуемся представлением (7) для производной
Г(01 = 4ехр у" 1п(1-2£со80 + £2)<вд|.
Тогда Д'(С) = (С2 - 1)|/'(С)|£ + 2£|/'(С)| и Д'(1) = 2|/'(С)||?=1 > 0. Далее,
Д''(С) = (С2 - 1)1/ '(С)& + 4С|/ '(С)£ + 2|/'(С)|. (8)
Поскольку
то |Д'(С)|^|^=1 = —|Д'(С)||5=1! и следовательно,
Д''(1) = —2|Д'(С)||?=1 < 0.
Поскольку функция Д аналитична в Д?, то Д ''(С) < 0 в Д?. Следовательно,
Д(С) ,
зованная рассечением этой поверхности плоскостью, перпендикулярной плоскости круга. □
Заменяя прямолинейные границы многоугольника выпуклыми кривыми, получим некоторое обобщение теоремы 3. В качестве отображающей функции рассмотрим интеграл Кристоффеля Шварца
т= /Ш"«^1^ Сед-, ак = е<*ь, (9)
с условием
п
п вк < п +2, 1 < вк < 2. (10)
к=1
Справедлива
Теорема 4. Пусть В- - внешность выпуклого криволинейного многоугольника, соответствующая интегральному представлению (9) с условием (10). Поверхности П- конформного радиуса для В-, построенная над внешностью круга, не является поверхностью, выпуклой вниз.
Доказательство. Поверхность конформного радиуса описывается функцией
1
1п
д(о = (1С12-1)^о Пк-«*^"1-к=1
Без ограничения общности полагаем ак = —1, к = 1, 2,..., п. При каждом фиксированном направлении £ € (п/2;3п/2) рассмотрим множество рассечений поверхности конформного радиуса плоскостями (* = — 1 + ге®4, г > 0. Кривые, образованные в сечении, опишутся выражением
г2 — 2г сов £
п
к=1 к=1
1 — г-
1 + ак
вк-1
е®4
Второй множитель не влияет на интересующую нас характеристику поверхности. Поэтому рассмотрим функцию
2 г» j. n
г2 — 2г cos t -i-i-
~ 1 + г2 — 2г eos í Ü k=i
1 — r-
1 + afc
вк-1
и запишем ее разложение в окрестности нуля
Ф(г) = —2г cos t + г2 — 4г2 cos2t +
2 v^,^ .cos t(1 +cos Wk ) + sin t sin Wk / 2\
+ 2r2 cos (Vft - 1 -1 on Г A-— + 0 И •
k=i 2(1 +cos Wk)
t
г2
, .. 2 .cost(1 + cosWk) + sintsinWk (n 3п\
í = l-4cos2í + cosí]T /?fc-l-v 1 -ÍG -;— .
k= 1 + cos Wk V 2 2 у
Возьмем сечение при t = п. Тогда
k2(n) = —3 — n + ^ fík.
k=1
n
Используя ограничение сверху из (10) для ^ вь получим
k=1
*2(п) = —3 — n + ^ вк < —1.
к=1
Следовательно, поверхность не может быть выпуклой вниз. □
Теперь установим аналогичные утверждения в случае построения поверхности конформного радиуса над полуплоскостью Р.
Теорема 5. Поверхность конформного радиуса для любого выпуклого прямолинейного многоугольника, построенная над полуплоскостью, не является поверхностью, выпуклой вверх.
Доказательство. Интеграл Кристоффеля Шварца для выпуклого прямолинейного п-угольника имеет вид
^ п
/(С) = / ПК - -1 С е Р, 1тСо > 0,
Со к=1
где действительные числа ак и ак удовлетворяют условиям
п
—то < а1 < • • • < ап < +то, ак = п — 2, 0 < а^ ^ 1.
к=1
Рассмотрим рассечение поверхности конформного радиуса при С* = х + ¿у, когда х = 0, то есть п ри С * = ¿у. В сечении получим кривую с уравнением
Д(С*) = 2уП № — «kГ- =2Ф(у).
k=1
elt
Тогда
" 1+ Е (ак-1) П
Ф(у) = у]\ |гу— ЯъГ*-1 = У
к=1
к=1
Ок У
«к-1
Су-1, у ^ то, С > 0. (И)
Очевидно, в полуокрестности бесконечно удаленной точки (лежащей в полуплоскости Р) в указанном течении функция Ф(у) является выпуклой вниз, откуда следует справедливость утверждения. □
Замечание 1. Утверждение теоремы 5 остается справедливым и в случае конечного прямолинейного (п + 1)-угольника, когда прообразом (п + 1)-й вершины является бесконечно удаленная точка.
Интеграл Кристоффеля - Шварца для выпуклого (п + 1)-угольника имеет тот
п
же вид, но а к = п — 2. Дополнительная ве ршина I (то) оказывается конечной, к=1
п п п
если ^ ак < п — 1. Рассмотрим два случая. Если ^ ак < п — 2, то теть ^ ак = к=1 к=1 к=1 = п — 2 — е, е > 0, то при учете этого условия в (11) получим
Ф(У)= У
_ 1+п-2-£-п
п
к=1
Як
ак-1
Су-1-е, у ^то, С> 0.
Если п — 2 < ак <п — а^ = п — 2 + е, 0 <е< 1, то в (11) получим
к=1 к=1
ф(у) = у
_ 1+п-2+е-п
П
к=1
Ой у
аь-1
Су-1+£, у ^то, С> 0.
В обоих случаях в окрестности бесконечно удаленной точки в указанном сечении функции являются выпуклыми вниз.
Замечание 2. Для области, соответствующей представлению (7), поверхность конформного радиуса, построенная над полуплоскостью, не будет ни выпуклой вверх, ии выпуклой вниз.
2. Рассмотрим отображение
Ф = Ф(г) = Ф[Д(г)], (12)
являющееся суперпозицией некоторой вещественной аналитической функции Ф и конформного радиуса Д(г) = Д(Б, г) = Д, Д > 0. При этом каждой точке ¿0 = I(Со) € Б поставим в соответствие точку с пространственной координатой Ф[Д(го)] на поверхности с уравнением (12). Будем исследовать связь выпуклости введенной поверхности с выпуклостью поверхности конформного радиуса. Имеет место следующий факт. Если Ф'(Д) > 0, Ф''(Д) < 0, Д > 0, и поверхность конформного радиуса над областью Б выпукла вверх, то поверхность с (12)
риваемыми поверхностями, которые мы оформим в виде таблицы (одна строка таблицы будет представлять одно самостоятельное утверждение). Для указания выпуклости вверх и вниз будем использовать символы ^ и ^ соответственно. Имеет место
Теорема 6. Для поверхности, заданной уравнением (12) и построенной над областью Д, справедливы утверждения, представленные в виде следующей таблицы,:
Ф'(Д) Ф"(Д) R(z) Ф[ВД]
> о < 0 •4=
> 0 •4=
^ о < 0 •4=
> 0 •4=
Доказательство. Приводом ого для одного случая, справедливость остальных доказывается аналогично. Выпишем необходимые производные
= + , *г2 = *"|Дг|2 + *'Дг2.
Пусть Ф'(Д) < 0, Ф"(Д) < 0 (третий случай в таблице). Для доказательства первой импликации предполагаем, что |Д22| ^ Дх2, то есть Д(^) выпукла вниз. Тогда оценим
| < |*"||Дг|2 + |*'||Дгг| < -*"|Дг|2 - *'Дг2 = -*г2 ^ |Фгг| < -фг2.
Следовательно, поверхность Ф[Д(г)] выпукла вверх.
Для доказательства второй импликации предполагаем, что 1 ^ Фх2. Тогда
Ф"|дг|2 + Ф'дгг > |Ф"д2 + | > |*'||Дгг| - |*"||Дг|2 = -*'|Дгг| + *"|Дг|2.
Отсюда
-*'|Дгг| < №2 ^ |Rzz| < -Дг2.
Итак, поверхность R(z) выпукла вверх. □
В частности, для коэффициента гиперболической метрики А = 1/R(z) из выпуклости вверх поверхности R(z) следует выпуклость вниз поверхности Ф(Д(,г)), а из выпуклости вверх поверхности Ф(Д(,г)) = 1/R(z) - выпуклость вниз поверхности R(z).
Замечание 3. Невыполнение обратных импликаций при преобразовании поверхности связано с возможным (но не обязательным) появлением на ней содловых точек н только их.
Действительно, пусть поверхность Ф[Д(,г)] выпукла вверх, то есть 1 ^ < -Фзг- Тогда
- *"|Дг|2 - *'Дгг > |Ф"Д2 + №*1 >
> |*"||Дг|2 - |*'||Дгг| = -*"|Дг|2 + Ф'|д2*1.
Следовательно,
Ф'|Дгг1 < -Ф'Д^г ^ |Дгг1 > -Дг2,
и поверхность Д(г) не может быть выпуклой вверх.
Теперь предполагаем, что поверхность R(z) выпукла вверх и выполняется соотношение |Rzz | ^ —Дг2 ^ -|Rzz | ^ Тогда оценим
|Ф**| > |*"||Дг|2 — |*'||Дгг| > |*"||Дг|2 + |*'|Дг2 = —*"|Дг|2 — *'Дг2 = -*г2 ^
Поэтому поверхность Ф[Д^)] не может быть выпуклой вверх.
Для остальных случаев в таблице доказательства аналогичны изложенным. Распространяя понятие конформного радиуса на неодносвязный случай [5], построим пример, для которого будет справедливо утверждение теоремы 6. Рассмотрим конформный радиус
R(D,z) = —2|z| ln |z|
для области D = f (E) = {0 < |z| < 1} с функцией
Z + 1
z = /(0=expifT, с ея.
Поверхность конформного радиуса R(D, z) состоит го двух частей [2]: над кольцом 0 < |z| < e-1 поверхность состоит из седловых точек, а над кольцом e-1 < |z| < 1 поверхность является выпуклой вверх. Возьмем функцию
Ф[Д(г)] = cos = cos (f|z|ln|z|) , 0 < |z| < 1.
Нетрудно проверить, что поверхность Ф = Ф[Д^)] состоит из четырех частей: над кольцом {0 < |z| < pi} она является выпуклой вверх, над кольцом {e-1 < < |z| < p2} - выпуклой вниз, над кольцами {p1 < |z| < e-1} и {p2 < |z| < 1} состоит из седловых точек.
Summary
A.N. Akhmatova, A.V. Khmelnitskaya. On Some Surfaces Defined by Conlbrmal Radius.
In this paper, we study the properties of the conformal radius surface constructed over a unit disk or over the exterior of a unit disk for a domain with a convex boundary curve containing rectilinear part. We also discuss the properties of the conformal radius surface constructed over a half-plane for a domain with a polygonal boundary curve as well as the properties of the surface of the reconstructed conformal radius.
Key words: conformal radius, surface of the conformal radius, convex domain, convex polygon, coefficient of the hyperbolic metric.
Литература
1. Haegi H.R. Ext.remalprobleme und Ungleicliungen konformer Gebiet.sgrossen // Compo-sitio Mathematica. 1951. T. 8. P. 81 111.
2. Аксептьев Л.А., Ахматова A.H., Хмельницкая А.В. Свойства поверхностей конформного радиуса для интегралов Кристоффеля Шварца // Материалы Седьмой междупарод, казан, шк.-копф. Казань: Изд-во Казан, матем. о-ва, 2005. С. 10 11.
3. Аксептьев Л.А., Ахматова А.Н., Хмельницкая А.В. О выпуклости поверхностей, определяемых конформным радиусом плоской области // Изв. вузов. Матем. 2007. 4. С. 10 20.
4. Голузии Г.М. Геометрическая теория фупкций комплексного переменного. М.: Наука, 1966. 628 с.
5. Хеймай В.К. Мпоголистные функции. М.: Изд-во иностр. лит.. 1960. 180 с.
Поступила в редакцию 06.03*09
Переработанный вариант 19.10.11
Ахметова Альбина Наилевна кандидат физико-математических паук, доцент кафедры высшей математики Казанского национального исследовательского технического университета им. А.Н. Туполева.
Е-шаП: achmetuwaeinbux.ru
Хмельницкая Алена Владимировна старший преподаватель кафедры математики и механики филиала Казанского (Приволжского) федерального университета в г. Зе-леподольск.
