X
Оглавление
Введение 4
1 Задача Маркушевича для единичной окружности 22
1.1 Сведение задачи Маркушевича к матричной краевой задаче Римам а .......................................................22
1.2 Явное построение факторизации С(£)......................26
1.3 Решение однородной задачи Маркушевича...................35
1.4 Решение неоднородной задачи Маркушевича.................39
2 Четырехэлементная задача Маркушевича для единичной окружности 43
2.1 Постановка задачи.......................................43
2.2 Факторизация матрицы С*(£)..............................45
2.3 Однородная задача Маркушевича...........................51
2.4 Неоднородная задача Маркушевича.........................53
2.5 Алгоритм точного решения четырехэлементной задачи Марку-
шевича с рациональными коэффициентами и его програмная реализация...............................................56
3 Задача Маркушевича в классе автоморфных функций 61
3.1 Предварительные сведения................................61
3.2 Постановка задачи Маркушевича в классе автоморфных функций .........................................................65
3.3 Однородная задача Маркушевича в классе кусочно аналитических функций.................................................67
2
з
3.4 Неоднородная задача в классе кусочно аналитических функций 77
3.5 Однородная задача Маркушевича в классе автоморфных функций ...........................................................86
3.6 І Іеоднородная задача Маркушевича в классе автоморфных функций ..........................................................103
Заключение 116
Список использованных источников 117
Приложение
124
Введение
Предлагаемая работа посвящена разработке методов решения трехэлементной и четырехэлементной граничных задач линейного сопряжения теории аналитических функций
а(0^+(0 + 6(0^+(0 = с(*)^_(£) + сОД^_(£) 4- /(£). (0.0.1)
Трехэлементная задача
Ф+(г) = а(ь)ф-{$) + ь(г)Ф-(ь) + /(*), (о.о.2)
была поставлена в 1946 году Л.И. Маркушевичем |20]. Как к трехэлементной, так и четырехэлементной задаче Маркушевича, приводятся многие прикладные задачи: задача расчета электрических полей 110], [28], теории гетерогенных сред [29], [52], теории фильтрации [27]. теории оболочек [7| и задачи других разделов механики и физики. Наиболее сильные результаты впервые были получены Л.Г. Михайловым. В своей работе [23] Л.Г. Михайлов при исследовании задачи (0.0.2) в классе кусочно аналитических функций различал три случая: случай эллиптичности, когда |а(£)| > |6(£)|, гиперболичности |а(£)| < |&00|. и параболичности |а(£)| = \Ь(Ь)\. В последнем случае задача (0.0.2) сводится к двум задачам Гильберта. Используя принцип сжатых отображений, Л.Г. Михайлов в эллиптическом случае предложил приближенное решение задачи (0.0.2), определив число решений и условий разрешимости. Некоторые частные результаты относительно разрешимости задачи в гиперболическом случае были получены в работах Б.В. Боярского [5], Ф.Д. Берковича [4], И.Х. Сабитова [34, 35].
Вопросами устойчивости и разрешимости задачи, как трехэлементной, так и четырехэлементной занимались Г.С. Литвинчук [18], [19, гл 5], И.М. Спит-
4
5
ковский [42, 43], A.M. Николайчук [25. 20). В этих работах краевая задача (0.0.2) рассматривалась в классе кусочно аналитических функций, когда контур L представляет собою окружность. Методом симметрии, краевая задача (0.0.2) сводилась к краевой задаче Римана для вектор-функции с матричным коэффициентом
и было показано, что случай эллиптичности |а(£)| > \b(t)\ является случаем устойчивости решения задачи (0.0.2), разрешимость определяется величиной индекса a(t).
Поэтому в эллиптическом случае возникает задача о приближенных методах решения задачи. Эта проблема была решена И.Т. Хабибуллиным и
А.Г. Шагаловым [45, 46|. В этих работах рассматривалась краевая задача Римана для вектор-функции с матрицей г(А) такой, что Rer(A) > 0. Очевидно. что A(t) в случае эллиптичности удовлетворяет данному условию. Их подход основан на методе продолжения по дискретному параметру, разработанный И.Т. Хабибуллиным [47]. По степени конструктивности подход И.Т. Хабибуллина сравним с алгоритмом разложения функции в непрерывную дробь. Дальнейшее развитие его метода дано в работе [51].
В гиперболическом случае было лишь установлено, что число решений однородной задачи (0.0.2) и число условий разрешимости конечно. Относительно краевой задачи (0.0.1) было показано, что выполнение неравенства
обеспечивает нетеровость краевой задачи (0.0.1). Получено число решений и число условий разрешимости как в устойчивом случае
так и в вырожденных случаях:
|С(<)| = \d(t)I > 0, |a(i)| - \b(t)\ ф 0, A {arg/?(*)}i > ~Ы;
б
\a(t)\ = |fc(f)l > 0, |c(t)| - \d(t)\ф 0, 2. {argß(t)}L < |xr|;
|a(«)| = \b{t)\ > 0, |c(«)| = |rf(i)| > 0, 2 {argß{t)}L < \x\,
1
где ß{t) = t[a(t)d(t) - b(t)c(t)], x = — {arg5(i)}i.
В работах Л.И. Чибриковой и Л.Г. Салехова [37. 38|, [36] получено решение трехэлементной задачи Маркушевича
(0.0.3)
в замкнутой форме., при условии, что a(t),b(t) являются краевыми значениями некоторых аналитических, за исключением конечного числа полюсов, в области D+ функций, где контур L представлял собою алгебраическую кривую. Задача Маркушевича. (0.0.3) сводилась к эквивалентной задаче Римана для нескольких неизвестных функций на некоторой замкнутой римановой поверхности. Это достигалось путем дополнения искомых функций или векторов до кусочно аналитических по принципу симметрии.
В работах K.M. Расулова [32, 33) краевая задача Маркушевича (0.0.2) сводится к равносильному интегральному уравнению Фредголь.ма второго рода
+ I K(t, т)ф-(т)<іт = Q(t) + X_(t)Px_i(t), t£L,
(0.0.4)
где K{Ur) =
X-(t) і ' 6(r) b{t) 1 1 f- 1 (rV))2 6(0 )
2m 1 [x+(r) x+(t)\ T - t T - t T — t *+(0 J
2а(0 2тгГ/ Х+(т)(т-0 *_(*)'
ь
И число решений и условий разрешимости задачи (0.0.2) полностью определяется из теории разрешимости интегрального уравнения Фредгольма
Re
7
где ФЬ...,Ф;/ - полная система линейно-независимых решений союзного уравнения
В случае, когда a(t),b(t) - рациональные функции, ядро K(t> г) вырожденно, и уравнение Фредгольма (0.0.4), а следовательно, и задача Маркушевича (0.0.2) допускает решение в замкнутой форме.
В.В. Митюшевым [21. 22] были предприняты попытки решить задачу (0.0.2) в случае многосвязной круговой области. Метод решения заключался в сведении задачи (0.0.2) к функциональному уравнению вида
Ф(г) = Gi(2^(.5iz) + G2(2)<I>(s2'20h---------------+ Gp{z)$(spz) + g(z), \z\ < гь (0.0.5)
где функции G\(z).G2{z)y... >Gp(z).g(z) - мероморфные в круге \z\ < г1; 0 < Sk < 1, к — 1,... ,р. Решение получено в виде рядов при некоторых ограничениях, наложенных ira коэффициенты a(t)t b(t). а также при условии аналитичности коэффициентов уравнения (0.0.5) в нуле.
В работах Т.П. /Коровиной [15, 16| данная задача рассматривалась на симметричной римановой поверхности, гдеа(£),6(£) и /(<) постоянные, a контур L - линия симметрии или часть линии симметрии. Получены некоторые результаты о числе решений и условиях разрешимости задачи (0.0.2). В случае, когда риманова поверхность представляет собою тор, решение получено в замкнутой форме.
Задача Маркушевича в классе двоякопериодических функций в случае кусочно постоянных коэффициентов была рассмотрена Ю.В.Обносовым [30],
Э.И. Зверович, Е.В. Давьялова [14, 13| рассмотрели четырехэлементную задачу Маркушевича (0.0.1) на прямой 1т г = 0 при следующих ограничениях, наложенных на коэффициенты:
a) |а(х)| = |Ь(х)|,|с(х)| = |d(æ)|, если х 6 L, = (rbr2) U • • • U(r2ft> +°°)
b) 6(х) = d{x) = 0, если х е Ь2 = ( оо,г,) U(r2, г3) U...
I
[31].
/
8
Здесь коэффициенты предполагаются Я-непрерывными на R\ {гь ..., Г2Л+1}, где точки —оо < Г\ < ... < r2/l+1 = +ос лежат на вещественной оси и выбраны произвольно. Используя принцип симметрии относительно контура Li, задача Маркушевича (0.0.1) приводится к задаче Римана на гиперэллипти-ческой римановой поверхности рода h, задаваемой уравнением
2Л + 1
w2{z) = Ц(*-г*). к=1
Решение задачи Маркушевича (0.0.1) представлено в замкнутой форме, при допущении, что проблема обращения Якоби решена.
Полной теории разрешимости задачи (0.0.2) в настоящее время нет. Число I линейно независимых решений однородной задачи и число р условий разрешимости явно найдены только, когда \a(t)\ > |6(t)| (эллиптический случай) или |а(£)| = \b(t)\ (параболический случай) [19].
Картина разрешимости в общем случае изучена в работе И.Х. Сабитова [34, 35]. Эта статья породила целое направление исследования задачи Маркушевича, основанное на приближении коэффициентов рациональными, или более общо, мероморфными функциями. Однако, при нахождении характеристик I и р в ней используется трудно вычисляемое число п. Поэтому вопрос о явном или эффективном решении задачи Маркушевича. в общем случае остается открытым.
Впервые случаи явного решения задачи Маркушевича, отличные от эллиптического или параболического, были обнаружены в работе [56]. Этот подход оказался плодотворным и при решении данной задачи в классе авто-морфных функций [57, 58, 59]. Отметим, что задача Маркушевича, вообще говоря, является неустойчивой при малом возмущении ее параметров [19]. Поэтому проблема приближенного решения этой задачи вообще не разработана.
Целыо данной работы является отыскание частных случаев задачи Маркушевича, когда она может быть решена в замкнутой форме, явно, либо точно, в классах аналитических или автоморфных функций. Здесь под явным
9
решением мы понимаем решение, которое использует только формулу Ф.Д. Гахова для канонической функции скалярной однородной задачи Римана и исследование средствами линейной алгебры конечного числа систем линейных алгебраических уравнений, для которых матрица системы может быть выписана в явном виде (в квадратурах). Число систем должно быть определено заранее. Если число этих систем находится в процессе вычислений, то мы будем считать, что получено эффективное решение.
Если имеется явное или эффективное решение задачи Маркушевича. то это еще не гарантирует, что на основе такого решения можно будет создать алгоритм приближенного решения. Далее мы увидем, что в нашем случае неустойчивость задачи Маркушевича обусловлена в основном неустойчивостью процедуры нахождения ранга матрицы. Если алгоритм явного или эффективного решения использует только вычисления в точной арифметике (например, вычисления в гауссовом поле 0?(г)), то мы будем говорить о точном решении. Его можно реализовать в системах компьютерной математики таких как Мар1е. Поскольку получение алгоритма точного решения имеет особую значимость ввиду неустойчивости задачи, то при получении явного решения мы отдаем предпочтение методам, допускающим точные вычисления.
Для достижения поставленной цели используются два различных подхода: сведение задачи Маркушевича к матричной задаче Римана или к скалярной задаче Гильберта. При этом выделяются те случаи, когда вышеупомянутые задачи решаются в замкнутой форме.
Диссертация состоит из введения, трех глав, заключения и приложения, в котором приведены числовые примеры.
Первая глава «Задача Маркушевича для единичного круга» состоит из четырех разделов. В ней рассматривается классическая трехэлементная задача Маркушевича на единичной окружности Ь = {\г\ = 1}:
Ф+(г) = а{г)ф-.(ь) + 6(0<М0 + /(*)> (006)
где а(£), &(£), /(£), принадлежат классу Н{Ь) гельдеровских функций, причем
10
а(£) ф 0 всюду на Ь.
В первом разделе задача сводится к эквивалентной матричной задаче Ри-мана
Ф+(0 = £(*)<£_(*)+ (0.0.7)
в классе симметричных, относительно контура Ь, функций. Найдена размерность пространства всех симметричных решений однородной матричной задачи Римана в терминах частных индексов С(Ь) и порождающая это пространство система функций.
Второй раздел главы 1 посвящен явному решению задачи факторизации С(ф) при дополнительном ограничении на. коэффициент &(£), а именно Ь{1) есть граничное значение функции, мероморфной в круге £)+. Получено явное решение задачи (0.0.7), найдены частные индексы и построена ее каноническая матрица Х(х) (Теорема 1.1). Для построения Х(г) потребовались следующие данные: сумма главных частей рядов Лорана явно построенной
Я\г)
мероморфной функции гЬ\(г)\ решения и\{г), гц(г) и ^(-г), уравнений Везу (12.2) и (1.2.4) соответственно; рациональные функции а+(,г:), си-(г). определяемые формулами (1.2.5); коэффициенты «1,..., «2^-1 разложения сх-(г) в окрестности бесконечности, определяемые по формуле (1.2.7); ранг г теплицевой матрицы Т^, составленный из коэффициентов аь ... , а-2Лг-ъ и многочлены В.2(г), ^ {г), (г) из определения 1.2 существенных мно-
гочленов; (То := /?1‘(0)Я2(0) - $2 (0)П\ (0) Ф 0, N - число нулей многочлена д(г). Они определяются явным образом методами линейной алгебры. Если многочлены р(г) и имеют коэффициенты из поля <ф(г). то эти данные могут быть найдены точно средствами компьютерной математики с использованием только рациональной арифметики. В этом случае мы можем говорить о точном построении факторизации (7(£).
В третьем и четвертом разделах получено явное решение однородной и неоднородной задач Маркушевича. Доказаны следующие теоремы.
Теорема 1.2. Пусть к = 1гк1/,а(£). Если к < г — N, то однородная задача Маркушевича допускает в классе исчезающих па бесконечности кусочно
11
аналитических функций только пулевое решение.
Если г — N < х < N — г, то размерность над М пространства решений однородной задачи Маркушевича равна х + N — г. Любое решение у?(г) этой задачи имеет вид
<Р(*) = <?1(2)хп(2) + 20\(г)х’21{г), (0.0.8)
где - произвольный многочлен с комплексными коэффициентами сте-
пени не выше х + N — г — 1, а Хп{*), Х'п(Х) - элементы канонической матрицы Х(г).
При х > N - г пространство решений однородной задачи Маркушевича имеет размерность 2х и любое решение может быть представлено в виде
А2) = <?1 (*)Хи(*) + <?2(*)Х12(г) + *Я\{г)Хг\{*) + г<55(г)хм(2). (0.0.9)
Здесь а^г), $2(2) - произвольные .многочлены с комплексными коэффициентами степени не выше х + N — г — 1, х — N + г — 1. соответственно.
Для решения неоднородной задачи Маркушевича явным образом построены функции и)}(Ь) и с их помощью определены кусочно аналитические функции ) — 1,2 (см. формулы 1.4.2. 1.4.3, 1.4.4).
Теорема 1.3. Неоднородная задача Маркушевича имеет единственное ре-
шение при любой правой части тогда и только тогда, когда х = 0, г = N. Это решение находится по формуле
<Л)(2) = ^[ХпМ^М*) + Х12(-г)П2(г) + гх'п{г)и\{г) + гх^{г)Щ{г)]. (0.0.10)
Задача имеет не более одного решения только при х < г — N. При х < 0 решение существует тогда и только тогда, когда выполняются следующие 2\х\ условий разрешимости
у = 0, у = 1,2,... ,\х + N — г\, (0.0.11)
J Ь?~1и)2{Ъ)(1Ь = 0, у = 1,2,...,\х — N + г\.
Единственное решение в данном случае строится по формуле (0.0.10).
- Київ+380960830922