Научная статья на тему 'К вариационному методу для конечносвязных областей'

К вариационному методу для конечносвязных областей Текст научной статьи по специальности «Математика»

CC BY
82
28
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ВАРИАЦИОННЫЙ МЕТОД ДЛЯ ОДНОЛИСТНЫХ ФУНКЦИЙ / ДИФФЕРЕНЦИРУЕМОСТЬ ПО ПАРАМЕТРУ СЕМЕЙСТВА РЕГУЛЯРНЫХ ОДНОЛИСТНЫХ ФУНКЦИЙ / ФОРМУЛА ШВАРЦА / ВАРИАЦИОННО-ГЕОМЕТРИЧЕСКИЙ МЕТОД / ТЕОРЕМА ХЕЛЛИ / ОДНОЛИСТНЫЕ ФУНКЦИИ / УРАВНЕНИЕ ЛЕВНЕРА-КУФАРЕВА / VARIATIONAL METHOD FOR UNIVALENT FUNCTIONS / DIFFERENTIABILITY PARAMETER FAMILY OF REGULAR UNIVALENT FUNCTIONS / SCHWARTZ FORMULA / VARIATIONAL GEOMETRIC METHOD / HELLY THEOREM / UNIVALENT FUNCTIONS / EQUATION LEVNER-KUFAREV

Аннотация научной статьи по математике, автор научной работы — Сорокин А. С.

Предложен метод, позволяющий распространить вариационный метод на отображения, однолистные в конечносвязных областях.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

On variational method for of finitely connected domains

We propose a method to extend the variational method to display univalent in finitely connected domains.

Текст научной работы на тему «К вариационному методу для конечносвязных областей»

ПРИКЛАДНАЯ МАТЕМАТИКА

УДК 517.54

А.С. Сорокин

К ВАРИАЦИОННОМУ МЕТОДУ ДЛЯ КОНЕЧНОСВЯЗНЫХ ОБЛАСТЕЙ

Особенность вариационного метода в теории функций комплексного переменного, предложенного в 1943 году М.Шиффером [1] для многосвязных областей, состоит в необходимости использования конкретного аналитического задания для этих областей функций Грина. Нахождение таких функций составляет весьма трудную самостоятельную задачу. В 1946 - 1952 гг. Г.М.Голузин [2] предложил новое обоснование вариационного метода для однолистных функций в односвязных областях и в этом случае более детально его разработал. На основе своей работы [3], выполненной ещё в 1941 году, П.П.Куфарев [4] в 1954 году дал оригинальное доказательство теоремы Г.М. Голузина и получил основную вариационную формулу в иной, интегральной форме. Развивая идеи этой же работы, П.П.Куфарев и Н.В. Генина (Семухина) [5] распространили в этой новой форме вариационную теорему Г.М.Голузина на семейства однолистных функций в двусвязных областях. Важные результаты получены в этом же направлении на основании иных соображений С.А. Гель-фером [6].

В [7] приведены теоремы, дающие возможность эффективно распространить вариационный метод Г.М.Голузина -П.П.Куфарева на области произвольной конечной связности. В качестве основной области рассматривается (п+1) - связная область, полученная исключением из круга радиуса Яо замкнутых попарно непересекающихся кругов с центрами в точках ак и радиусами Кк, к=1,2,..,п, Обозначим эту область через К, а её граничные

компоненты - с(Кк )• — а]\ Кк ■

Прежде чем сформулировать вариационную теорему обратимся к весьма важной вспомогательной теореме, играющей существенную роль в доказательстве основной теоремы. В этой вспомогательной теореме приводится формула, обобщающая формулу Шварца для конечносвязной области. Результаты, ранее полученные в этом направлении Г.Мешковским [8], В.А. Зморовичем [9] получают дальнейшее развитие и усиление. Приведём формулировку теоремы, содержащую обобщение формулы Шварца [10-13]:

Теорема 1. Пусть _Дг) регулярная и однозначная внутри области К функция, вещественная часть которой на граничных компонентах Фь )

принимает значения f (—). Тогда имеет место формула

/(-)—Е^ Iг,-Н)—

к-0 2Ш с(Кк) -

Ь I ^ (-)|- + Ю

где Б

8, = -1, к = 1,2,...,п.

вещественное число,

8о = 1,

Далее, пусть

Нк (с,.- +

ад

У=1

^2у

Т P(C,к2У)+

к1 кі фк

+

п2и-1

ТP(с,.;k, kl,..., к2у-і) 1

кі

кі^к

при этом P(с,kl,..., к2У) = Кроме того,

Ак . Ап_к

к2у _|_ п к2у

С

П К

)=Кл-1-(.- ак^ ■.

причем

к2У П П

!=И- Т

кі кі=0 к2=0 к9,,=0

кі Фк ку^кк2 Фкі к2уФк2у-і

а также

Ак — 1 + 2 (^к -&п-к ).

Функции ^ определяются соотношениями

*р --Ър-^р-1+Ккр-1*р-2,

*0 — 1 tl —--ак^ причем Ь — а ! - а , если р - чётное, и

Ъ — а, - а , если р нечётное. Функции

р кр+1 кр ± ^

f (- ) удовлетворяют условиям

п

С Л ) С- ат

Iл(с)

к=0 к Фт

С Л )

с

с

т = 1,..., п,

где

я, (с)=Тк (с, ^ИН^г1 ті (С, ад)

причем

тк(с,.) =1 нк(с,.)- нк{ьк(с).).

2

2^к (с)

Кроме того,

^к (с) = ак +

Л2

с- ак

- м 1Пл/ЛЖ(0) -

м

— 1іт І Яе В0 (с ) —

йот 1 с

4т О0

с О)

— і*т I яе вп (с)

4т Оп ^ -1

С (Оп)

мс -ТЛ

------+ ,

с

причем

Отметим, что киевский математик Л.Е.Дундученко [14], продолжая работы В.А.Зморовича [15] , получил вполне аналогичную теорему для плоскости с исключенными кругами.

Теперь приведём формулировку основной вариационной теоремы.

Теорема 2. Пусть функция голоморфна и

однолистна в области К и функция

/к (z, і ) = / (.)+ ід к (.)+ о(і) голоморфна и однолистна при каждом і є[0,Т] в кольце Лк < . -ак\ < Л + Єк, при малых єк > 0, к=1,2,..,п отображает его на область с граничными континуумами СК (і) и Ск(і) . Далее, пусть / (и, і) = / (и) + ґдк (и) + о(і) при каждом

і є [0, Т] голоморфна и однолистна в кольце

Л - Є — И < Л, Є > 0, и отображает это кольцо на область с граничными континуумами С0 (і) Сл (I). Будем считать, что каждый

Сл, (і) лежит внутри С (і), к= 1, 2,. .,п , Сл (і)

- вне С0 (і). ни одна из кривых Ск(і), к=1,2,..,п, не лежит внутри другой, а вместе с тем все они лежат внутри Со(і) . Пусть функции лк(і), к = °А... ,п, дифференцируемы в точке

і = 0, Лк (0) = Лк. Тогда функция Ф(и, і), конформно и однолистно отображающая область К (і) на (п +1)-связную область В(^,і), граница которой состоит из континуумов Ск(і), к=1,2,..,п , представима внутри К (і) в виде

ф(И і ) = /(И )+ і / '(и)р(и )+ о(і )

где

Р(. ) =

В (с)= дк(с)

к(с) ст

Если в этой теореме положить п=1, то получаем теорему П.П.Куфарева и Н.В.Гениной (Се-мухиной) [5 ].

Если затем устремить Л к нулю, то получаем теорему П.П.Куфарева [3 ].

Эта теорема позволяет нам развить исследования в трёх направлениях.

Прежде всего, получено обобщенное уравнение Лёвнера для семейств однолистных конформных отображений в конечносвязных областях. Однако в случае уже двусвязных областей такое уравнение громоздко и эффективного применения пока не имеет.

Затем, из вариационной теоремы выводится формула для приближённого отображения многосвязной области на близкую к ней область. Такие результаты для односвязных областей хорошо известны, они получены М.А.Лаврентьевым [16] и составляют основу вариационно-геометрического метода. Для двусвязных областей соответствующие результаты также известны, они получены И.А.Александровым [17] и Г.В.Сирыком [18,19].

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Приведём обобщение на (п+1) - связные области вариационной формулы М.А. Лаврентьева.

Теорема 3. Пусть (п+1) - связная область В имеет

граничные компоненты

С

,(&) = ак + Як [1 + ак ($Ж

0<3< 2т, Зт^(э) = 0, к=0,1,..,п . Будем считать, что \&к ($) < Є, где малое Є > 0 , и С звездообразна относительно а . Пусть

Ф(£) конформно и однолистно отображает об-

ласть К на область В . Тогда с точностью до

малых порядка о(є) внутри К

' 8 ч ,п) нк а+л,.)

ф(иЬ 1°к (&)

1 + акЯ-1Г»

-йЭ +

+1---------

-і 2т -1^0 №»

0

0

-^2k "d l^ R (0)R (0) }

4m При этом

d ln Ro(0)-

dt Rm(0)

n c* 2m 2 1 b '

і

,=o 2m

, ^m

R, Є 'S, (a, + R, f')

J-\*-

a, + R,f'

')

* f ) d'-

-—\°тт = і,-,п-2т 0

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

Обозначим через £(ак, Як; а, Ъ) - множество

функций У(г) голоморфных и однолистных в области К и отображающих эту область на (п + і)-связную область так, что /(а) = Ъ ,

а е К, Ь — данное комплексное число. Этот класс не пуст. Но он не является компактным в себе, так как вместе с функцией _Дг) ему принадлежит функция (г)— Ь]+ Ь, где А — про-

извольное комплексное число. Образуем подкласс £ (ак, Кк ; а, Ь, с) ,составленный из функций

Д£) класса £(ак, Як; а, Ь) , для которых I '(а) = с, где с — комплексное число. Этот подкласс является компактным в себе.

На классе функций £ (ак, ^; а, Ь, с) определим область значений функционала

I (г )

I(/)= 1п ) ^, где г1 и г2 - фиксированные

1 (г21

числа. Заметим, что области значений этого функционала на классах £(ак, Як; а, Ь) и

£ (а, Кк; а Ь, с) совпадают.

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

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

0

0

СПИСОК ЛИТЕРАТУРЫ

1. Schiffer M. Variation of the Green-function and theory of the p-valued functions. Amer.J.Math. Т. б5 (1943) , р.341-3б0.

2. Голузин Г.М. Геометрическая теория функций комплексного переменного. Гостехиздат, М-Л, 1952.

3. Куфарев П.П. Об однопараметрических семействах аналитических функций. Матем. сборник. Т.13(55), (1943), с.87-118.

4. Куфарев П.П. Об одном свойстве экстремальных областей задачи коэффициентов. ДАН СССР, Т.97 (1954), с.391-393.

5. Куфарев П.П., Генина (Семухина)Н.В. О распространении вариационного метода Г.М.голузина на двусвязные области. ДАН СССР, Т.107 (1956), с.505-507.

6. Гельфер С.А. О распространении вариационного метода Голузина-Шиффера на многосвязные области. ДАН СССР, Т.142 (1962), с.503-507.

7. Александров И.А., Сорокин А.С. О распространении вариационного метода Г.М.Голузина-П.П.Куфарева на многосвязные области. ДАН СССР, Т. 175, №6, (1967), с. 1207-1210.

8. Meschkowski H. Darstellung analytischer Funktions durch den Randwinkel des Bildbereiches.. Math.Zeit., Bd. 62, №2, (1955), s.161-166.

9. Зморович В.А. Об обобщении интегральной формулы Шварца на n - связные круговые области. ДАН УССР, Т.5, (1958), с. 489-492.

10. Сорокин А.С. Распространение вариационной теоремы П.П.Куфарева на многосвязные области. Вопросы геометрической теории функций. Т.4, Тр. Томск. Ун-та, 1966, с.221-239.

11. Сорокин А.С. Вариационный метод Г.М.Голузина-П.П.Куфарева и формула М.В.Келдыша-Л.И.Седова. ДАН СССР, Т.308, №2, (1989), с.273-277.

12. Сорокин А.С. Параметрическое представление функций в конечносвязных областях. Сиб.матем.ж., Т.38, №5, (1997), с. 1163-1178.

13. Сорокин А.С. Формулы Келдыша - Седова и дифференцируемость по параметру семейств однолистных функций в конечносвязных областях. РАН, Математические заметки, Т.58, №6, (1995), с. 878-889.

14. Дундученко Л.Е. Еще про формулу Шварца для п — связной круговой области. ДАН УССР, №11, 1966, с.1383-1386.

15. Зморович В.А. Об обобщении интегральной формулы Пуассона на п — связные круговые области. ДАН УССР, Т.7, (1958), с. 698-701.

16. ЛаврентьевМ.А., Шабат Б.В. Методы теории функций комплексного переменного. М-Л, 1963.

17. Александров И.А. Вариационные формулы для однолистных функций в двусвязных областях. Сиб.матем.ж., Т.4, №5, (1963), с. 967-976.

18. Сирык Г.В. О конформном отображении близких областей. Успехи математических наук, Т.9, № 5(71), (1956), с. 57-60.

19. Сирык Г.В. Обобщение вариационной формулы М.А.Лаврентьева для конформного отображения близких односвязных областей на случай двусвязных областей. Изв. Вузов, Математика, Т.5, (1960), с. 152-159.

□Автор статьи:

Сорокин Андрей Семенович канд. физ.-мат.наук, доцент, ст.н.с. (филиал КузГТУ , г. Новокузнецк) тел.: 8(3843) 772459

УДК 519.6

В. А. Гоголин

ВЕКТОРНЫЙ АЛГОРИТМ РЕШЕНИЯ НЕКОТОРЫХ ЗАДАЧ ЛИНЕЙНОГО ПРОГРАММИРОВАНИЯ

Задача линейного программирования состоит в оптимизации линейной формы (1) с п неотрицательными переменными (2) при m ограничениях в виде нестрогих линейных неравенств (3)

п

Ь(Х) =Х СгХ^ (1)

7=1

(2) (3)

Хі > 0, і = і,..п

XА]Х. < (>)Б;, ] = п +1,..

7 =1

Область допустимых решений представляет выпуклый многогранник п -мерного пространства с наибольшим возможным числом граней (п + m). Экстремальные значения (1) достигаются на его границах: в угловых точках, на гиперплоскостях, на гиперпрямых - в частности в точке пересечения п из (п + m) гиперплоскостей, определяемых уравнениями для (2, 3). Наряду с симплекс-методом [1] имеются и другие методы решения линейных программ: метод эллипсоидов [2], метод внутренней точки [3] и их модификации.

Для выделения точки на границе области допустимых решений с максимальным значением

линейной формы предлагается векторный алгоритм, состоящий в следующем. Все неравенства (2, 3) переписываются через знак меньше или равно. Выделяется градиент линейной формы

С = {С[,....,Сп}, градиенты (нормали) гиперплоскостей (2) N1 = {—1,0,...,0},...,Ып{0,...,0,—1} и градиенты (нормали) гиперплоскостей (3)

Ы] = А.Д,..., Ар }(/ = п + 1,...п + т). Здесь

обозначения Aji сохранены, хотя у некоторых координат могут быть изменены знаки за счет изменения знаков неравенств. При таком изменении знаков координат нормалей гиперплоскостей, нормали будут обращены во внешность выпуклого многогранника допустимых решений. Определяем наиболее близкую к градиенту С нормаль Ык (к = 1,...,п + т) гиперплоскости и ее номер

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

i Надоели баннеры? Вы всегда можете отключить рекламу.