CC BY
26
Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2016. T. 20, № 3. С. 410-422
ISSN: 2310-7081 (online), 1991-8615 (print) doi: http://dx.doi.org/10
УДК 517.956.2
О РЕШЕНИЯХ ЗАДАЧИ ШВАРЦА
ДЛЯ J -АНАЛИТИЧЕСКИХ ФУНКЦИЙ С ОДИНАКОВЫМ ЖОРДАНОВЫМ БАЗИСОМ ДЕЙСТВИТЕЛЬНОЙ И МНИМОЙ ЧАСТИ МАТРИЦЫ J
В. Г. Николаев
Новгородский государственный университет им. Ярослава Мудрого,
Россия, 173003, Великий Новгород, ул. Большая Санкт-Петербургская, 41.
Аннотация
Изучена граничная задача Шварца для J-аналитических функций. Они представляют собой решения линейной комплексной системы дифференциальных уравнений в частных производных первого порядка. Рассмотрен тот случай, когда действительная и мнимая части матрицы J приводятся к треугольному виду одним и тем же комплексным преобразованием. В основной теореме доказан критерий для собственных чисел матрицы J, при выполнении которого в плоских областях, ограниченных контуром Ляпунова, решение задачи Шварца существует и единственно. Так же получена равносильная форма данного критерия, которая во многих случаях более удобна для проверки. При доказательстве теоремы используются известные факты о граничных свойствах А-го-ломорфных функций. Само доказательство основано на методе прямой и обратной редукции задачи Шварца к задаче Дирихле для вещественных эллиптических систем в частных производных второго порядка. Построены примеры матриц, для которых указанный критерий выполнен.
Ключевые слова: задача Шварца, А-голоморфная функция, контур Ляпунова, жорданова форма, жорданов базис, характеристическое уравнение, эллиптическая система, задача Дирихле.
.14498/vsgtu1491
Введение. Обобщением понятия голоморфных функций являются функции, аналитические по Дуглису (А. Бо^Из) [1-3].
Определение 1 [1]. Пусть матрица ■] € (пхп не имеет вещественных собственных чисел. Аналитической по Дуглису (или .]-аналитической с матрицей .]) называется комплексная п-вектор-функция ф = ф(£) € С 1(О), для которой в области О С К2 выполнено уравнение
дф дф ^ ду дх ' '
© 2016 Самарский государственный технический университет. Образец для цитирования
Николаев В. Г. О решениях задачи Шварца для ^аналитических функций с одинаковым жордановым базисом действительной и мнимой части матрицы J // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2016. Т. 20, № 3. С. 410-422. 10.14498/у8£Ьи1491. Сведения об авторе
Владимир Геннадьевич Николаев (к.ф.-м.н.; vg14@inbox.ru), доцент, каф. алгебры и геометрии.
Определение 2. В скалярном случае при 3 = Л, 1т Л = 0 функцию /х(*) € С1 (Б), для которой в области Б С М2 выполнено уравнение
/ - Л • / =0, * € Б, (2)
ду дх
назовем Л-голоморфной в области Б.
При Л = г функции (2) совпадают с обычными голоморфными.
Определение 3. Будем говорить, что функция ф(*) соответствует матрице 3, если выполнено уравнение (1).
Как показано в [2], комплексная система дифференциальных уравнений в частных производных первого порядка (1) является эллиптической. Рассмотрим для системы (1) следующую граничную задачу Шварца [1,2].
Задача Шварца. Пусть конечная односвязная область Б С М2 ограничена гладким контуром Г. Требуется найти 3-аналитическую с матрицей 3 в области Б функцию ф(*) = и(х,у) + гу(х,у) € С (Б), которая удовлетворяет краевому условию
И,е ф(*)|г = р(*), (3)
где вещественная граничная вектор-функция р(*) =( р1,... ,рп) € С (Г) задана.
При р = 0 будем говорить об однородной задаче Шварца. Очевидными решениями последней служат постоянные векторы ф = гс, с € Мп, которые принято называть тривиальными решениями.
Отметим, что задача Шварца (3) равносильна краевым задачам для многих видов эллиптических систем дифференциальных уравнений в частных производных первого и второго порядков [3-9]. Эти системы, в свою очередь, имеют широкое применение в теории упругости [10-13], поэтому изучение задачи Шварца имеет как чисто теоретический, так и прикладной интерес.
Как известно, при п = 1 однородная задача (3) имеет только тривиальные решения при любом типе границы Г области Б. Неоднородную задачу Шварца удобно рассматривать [2] в областях, ограниченных контуром Ляпунова. Поэтому приведем следующее известное
Определение 4 [14]. Гладкая кривая Г С М2 называется кривой Ляпунова, если существуют такие два вещественных числа а > 0 и Ь, 0 < Ь ^ 1, что для любых двух точек *1, *2 € Г выполняется условие Ляпунова
|в| < а • |*1 - *2 |Ь,
где в — угол между касательными или нормалями к Г в точках *1,*2.
Примерами кривых Ляпунова могут служить окружность и эллипс.
При п = 1 имеет место следующая теорема существования и единственности решения неоднородной задачи Шварца.
Теорема 1 (Н. И. МусхЕлишвили, [14]). Пусть Г = дБ —контур Ляпунова, граничная функция р(*) принадлежит классу Гельдера Н°(Г), 0 < а < 1. Тогда можно построить единственную (с точностью до постоянной) голоморфную в Б функцию /(*) € На(Б) по условию И,е /(*)|г = р(*).
Обозначим Л = а+Ьг, а, Ь € К, Ь = 0. Как известно, голоморфная функция /(х, у) становится Л-голоморфной /л (х', у') в результате линейного обратимого преобразования х = х' + ау', у = Ьу'. Поэтому теорема 1 справедлива и для Л-голоморфных функций /л(^).
Однако при п ^ 2 вопрос существования и единственности решений задачи Шварца уже намного сложнее. В частности, известны примеры нетривиальных решений однородной задачи Шварца [15]. Приведем один из них.
Пример 1. Пусть
/ 1 - 2г 48 - 8г 3 = ^ 2 2 + 8г
12х2 + 32ху + 46у2 - 1 + (-х2 + 22ху + 27у2) ■ г
(3х2 + 8ху + 30у2) ■ 4
Функция ф(^) соответствует матрице 3, которая имеет разные собственные числа Л = 2 + 4г, ^ = 1 + 2г. Как нетрудно видеть, И,еф(^)|Г = 0 на эллипсе Г: 12х2 + 32ху + 46у2 = 1.
1. Редукция задачи Шварца к задаче Дирихле для эллиптических систем.
Ниже (теорема 4) будет доказан аналог теоремы 1 для вектор-функций, аналитических по Дуглису со специальной матрицей 3 при п ^ 2. Прежде чем сформулировать данную теорему, выполним следующее преобразование задачи Шварца.
Обозначим ф = и + г-, где и = И,е ф и V = 1т ф — вещественные п-вектор-функции, и подставим матрицу
3 = А + Вг, А,В € Кпхп, ёе1 В = 0 (4)
в уравнение (1). Приравнивая к нулю действительные и мнимые части, получим
Iй - А|и + в^ = 0, д- - А^ - В^ = 0. (5)
у х х у х х
Из системы (5) выразим частные производные функции V:
д- = В-1А ди - Б-1 д^, д- =(В + АБ-1А) ^ - АБ-1 (6)
х х у у х у
Из (6) с учетом условия замкнутости имеем
А
ду
В-1Ади - В-1 ди х у
д_ х
(В + АВ-1А) ^ - АВ-1 ^ х у
или
В ■ (В+АВ-1А> дх^ - В<АВ-1+В-1А> т+0=°- (7)
В работе [2] показано, что вещественная система (7) будет эллиптической. Как нетрудно видеть, имеет место
Лемма 1. Если существует 'решение ф = и + iv задачи Шварца (3), соответствующее данной матрице J = A + Bi, то функция и(х, y) будет решением задачи Дирихле
и(х,У)\г = ^(z) (8)
для системы (7).
В обратную сторону утверждение леммы 1 не всегда верно. Но в частных случаях приведенная выше редукция уравнения (1) к уравнению (7) обратима— на этом будет основано доказательство основой теоремы 4.
2. Основная теорема. Сначала приведем формулировки двух теорем, которые будут использованы ниже, а также сделаем вспомогательные построения.
Теорема 2 (А. П. СолдАтов, [2]). Пусть Г = dD —кривая Ляпунова и пусть (Im Л) ■ (Im ц) < 0. Тогда для любой граничной функции p(z) из класса Гельдера H°(Г), 0 < а < 1, решение задачи
h(z) + ш = ф), z е Г
в классе функции f\(z), fM(z) е Ha(D) существует и единственно (с точностью до константы).
Теорема 3 (Е.Ю. Панов, [16]). Пусть Г = dD — жорданова кривая. Пусть Л- и ц-голоморфные функции f\(z), fM(z) е Lip(D), причем (Im Л) х х (Imц) < 0 и f\(z) = fM(z) на Г. Тогда f\(z) = fM(z) = const.
Предположим далее, что вещественные матрицы A, B в (4) обладают следующим свойством: для некоторой матрицы Q е Cnxn матрицы Ji = Q-1 AQ и J2 = Q-1BQ — нижне-треугольные. Матрица Q в частном случае может быть жордановым базисом для A, B (но может им и не быть). Приведем наиболее простой пример таких матриц: J = aE + Ai и J = A + aiE, где а е R, A е Rnxn._
Пусть J = A — Bi — сопряжение матрицы J = A + Bi по аналогии с сопряжением комплексного числа. Очевидно, что матрицы
J' = Q-1 JQ = Q-1AQ + Q-1BQi = Ji + J2i, J" = Q-1 JQ = Q-1AQ — Q-1BQi = J1 — J2i
тоже будут нижне-треугольными.
Обозначим через Л1к, Л2к собственные числа матриц Q-1JQ, Q-1JQ, соответственно, стоящие на к-той строке матриц 3', 3" в (9).
Пусть выполнены следующие неравенства:
(1тЛ1к) • (1тЛ2к) < 0, к = 1,...,п. (10)
Прежде чем сформулировать теорему 4, преобразуем систему неравенств (10) к равносильной форме (11). Она не будет использована при доказательстве теоремы 4, но удобна для практических вычислений.
Обозначим через Лк, Цк, к = 1,... ,п, собственные числа матриц 31, 32 в (9) соответственно (то есть собственные числа матриц А и В), стоящие на к-той строке. Тогда с учетом (10) имеем:
0 > (1т Л1к) ■ (Im Л2к) = 1т (Лк + г^к) ■ Im (Лк - г^к) =
= (1т Лк + Re ^к) ■ (1т Лк - Re ^к) = (Im Лк)2 - (Ив ^к)2 , что равносильно системе неравенств
|1тЛк| < |Ие| , к = 1,...,п. (11)
Покажем, что справедлива
Теорема 4. Пусть матрица 3 = А + Вг, А, В € Кпхп, причем матрицы 31 = и 32 = — нижне-треугольные в некотором базисе
Пусть также выполнены неравенства (10), или, что то же, (11). Тогда
1) если жордановы формы матриц А, В диагональны, Q — их жорданов базис и Г = сШ — контур Ляпунова, то для любой граничной вектор-функции € На(Г), 0 < а < 1 'решение неоднородной задачи Шварца (3) в классе функций ф(г) € На(В) существует и единственно (с точностью до вектор-константы);
2) если жордановы формы матриц А, В произвольны и Г = сШ — жорда-нова кривая, то решения однородной (^ = 0) задачи Шварца (3) в классе функций ф(г) € Ыр(В) — только тривиальные, то есть ф = гс, с € Кп.
Таким образом, неравенства (10), (11) можно считать критерием (достаточным условием) существования и единственности решений задачи Шварца для функций, 3-аналитических с данным типом матриц.
Доказательство. Покажем сначала, что из (10) вытекает условие ёе! В = 0, которое необходимо для применения формулы (7).
> «От противного»: пусть ёе! В = 0 при выполнении (10). Тогда в (9) матрица 32 имеет на главной диагонали хотя бы один нуль. Если при этом матрицы 31, 32 содержат нуль на одной и той же строке, то ёе! 3' = ёе! 3 = 0, что противоречит определению матрицы 3. Если же на некоторой строке матрица 32 имеет нуль, а 31 — ненулевой элемент, то получаем противоречие (10). Следовательно, ёе! В = 0. <1
Сделаем в (7) подстановки А = Q31Q-1, В = Q32Q-1, тогда (7) примет следующий вид:
д2и
+ QJ2Q-1 QJlQ-1 Q32-1Q-1Q3lQ-1] ^-
д2и я2и
- [QJ2Q-1QJlQ-1QJ2-1Q-1 + QJlQ-1] + ^ =
дхду ду2
= 9 [ 322 + Л ] - Ц + дуи = 0. (12)
В (12) символами
31 = 3233 131, 31' = ^ (323132 1 + 31)
обозначены нижне-треугольные матрицы, которые на соответствующих стро-
ках главной диагонали имеют те же элементы, что и матрицы 32, 31 со-
ответственно (но в общем случае не равны им). 414
Сделаем в нижнюю строку (12) подстановку
и = Q • р = Q • (р1,...,ри)т, (13)
где рк(я), к = 1,..., п — скалярные комплексные функции. Затем умножим (12) слева на Q-1:
32+) ш -3 и+дур=0. (14)
Пусть ^1к, ^2к € С — собственные числа матриц А и В соответственно, стоящие на к-той строке матриц 31, 32 в (9). Пусть также Ьк(•) —линейные функции своих переменных. Тогда систему (14) можно записать в следующем виде:
(с2 . ¿2 ) д2р1 д2Р1 д2р1
+ дХ2 - 261 дХдГу + дут = °, к = 1; 22 2
д 2рк д2рк д 2рк (&+&) -д^- - 2ь дхду + -дук = (15)
= Ьк ,...,д2рк=1,д2р^ ,...,д2ркк-1), к = 2,... ,п.
дх2 ' ' дх2 ' дхду ' ' дхду
Для левой части каждого из уравнений (15) составим характеристический полином (см. [16])
Л2 - 2^к Л+(е2к + &) =0, к = 1,...,п,
и найдем его корни:
Л1к = 6к + гЫ, Л2к = 6к - гЫ, Ы ,Ьк € С, к = 1,...,п. (16)
В силу (9) Л1к в (16) будет собственным числом матрицы 3, а Л2к —собственным числом матрицы 3, причем оба этих числа стоят в к-той строке матриц 3', 3" соответственно.
Как показано в [16], если правая часть уравнения вида (15) равна нулю и при этом Л1к = Л2к в (16), то общее решение такого однородного уравнения с учетом обозначений (2) и (16) имеет вид
рк(я) = /л1к (я) + /л2к (z), к = 1,...,n, (17)
то есть является суммой произвольных Л1к- и Л2к-голоморфных функций (см. определение 2).
С учетом подстановки (13) граничное условие (3) можно записать в следующем виде:
(р1(г),...,р,п(г)) Т|г = Q-1u(x,y)\г =
= Q-1•[Reф(г)] |г = Q-1•(^l,..., рп)Т. (18)
Пусть выполнены условия пункта 2) и неравенства (10). Тогда правая часть (18) будет нулевой.
Допустим, что существует нетривиальное решение фо = ио + гго однородной задачи Шварца. Тогда в силу (13) функция р = ф-1 ■ и0 тоже непостоянна. Заметим, что с учетом теоремы 3 и формулы (17) для общего решения функция р1(г) равна константе. Отсюда в (15) функция Ь2( ■) = 0, то есть в силу (17) и теоремы 3 р2(г) = соп81. Применяя далее тривиальную индукцию, получаем, что функция р(г) постоянна, что противоречит сделанному предположению. Это противоречие и доказывает пункт 2) настоящей теоремы.
Пусть теперь выполнены условия пункта 1) и неравенства (10). В силу диагональности жордановых форм матриц А, В система (15) будет однородной, то есть все функции ( ■ ) равны нулю. Поэтому с учетом формул (10), (17), (18) и теоремы 2 можно однозначно найти две функции Д (г),
Д2к(г) е Нст(В), то есть рд,(г), к = 1,.. .,п.
В результате найдена вещественная функция и = ф- (р1,... , рп) е На(В), которая есть не что иное, как решение задачи Дирихле (8) для вещественной системы (7) с заданной граничной функцией е Н°"(Г).
Для доказательства существования решения задачи Шварца нужно восстановить функцию г = г(х, у) по уже известной и(х, у), используя для определенности первую из формул (6). Тогда функция ф(г) = и(х, у) + гг(х,у) будет решением задачи Шварца (3) с той же граничной функцией ^(г), причем ф(г) будет соответствовать данной матрице 3 = А + Вг.
С учетом формул (6), (13), (17) и (2) имеем
^ = В-1А ^ - В-1 Iй = В-1Аф ■ ^ - В-ф ■ др = дх дх ду дх ду
( д/Лц + д/л21 \
=В
-1 Аф-^ - В-1 ф дх
у
д/Л1п
+
у
д/Л2п
V ду ду /
/д/Лц + д/Л21
= В-1Аф
дх
дх
д/Лщ + д/Л2„
\ дх
/Л
А11
- В-1ф
дх /
11
дх
+ А21
д/Л21 \ дх
/Л
1га
1га
дх
+ А2га
д/Л.
2га
дх /
(19)
где в последних скобках производная по у замена на производную по х с учетом определения 2 А-голоморфной функции.
Левая и правая части (19) представляют собой производные некоторых функций по одной и той же переменной х. Следовательно, эти функции совпадают с точностью до вектор-функция г = г (у), которая зависит только от переменной у:
/л11 + д
г(х,у) = В Аф
21
А11/Л11 + А21/Л
21
/Л1га + ДЛ
2га/
- В-1 д. I......■.........•• | + г (у). (20)
,А1гаДЛ1га + А2гаДЛ2га/
Функция ф = u + iv, где u, v имеют вид (13) и (20) соответственно, по построению будет решением уравнения (1) при некотором подборе r(y). Функция r(y) определяется с помощью второго уравнения в (6). Чтобы его не использовать, покажем, что r(y) в (20) постоянна.
> Действительно, r(y) е C 1(D), так как дифференцируемы функции ф и ф — ri. Непосредственная подстановка показывает, что ф — ri удовлетворяет (1), то есть и функция r(y) будет аналитической по Дуглису, откуда вытекает, что r(y) = const. <1
В итоге формулы (13) и (20) определяют решение ф = и+iv неоднородной задачи Шварца (3).
Поскольку все функции, входящие в (20), а также функция и(х, у), непрерывны по Гельдеру в D, то и ф(^) е Ha(D). Разумеется, те же результаты будут иметь место, если использовать вторую из формул (6).
Единственность полученного решения доказывается аналогично пункту 2). □
3. Построение матриц J, для которых справедлива теорема 4. Обозначим
J = P1(A) + P2(A)i, A е Rnxn, (21)
где P1, P2 — матричные полиномы с вещественными коэффициентами. Очевидно, что матрицы A, P1 (A), P2(A), J в (21) имеют общий базис Q, приводящий их к треугольному виду. В качестве Q можно взять жорданов базис матрицы A.
Для матриц (21) нужно проверить выполнение критерия (10) или (11). Какой именно из двух критериев нужно проверять, зависит от формы записи матрицы J. Если J = (A + Bi)m, m = 2, 3,..., то удобнее применять (10), а если J = A + Bi, то более удобен критерий (11).
Всюду в этом пункте будем обозначать через £к+i$k, , е R,k = 1,... ,n, собственные числа вещественной матрицы A. Комплексные числа Л1к, Л2к определены перед формулой (10), а Лк, Цк — перед формулой (11).
1°. Для матрицы J * = aE + Ai, а е R все числа = 0, так как в противном случае матрица J * будет иметь вещественные собственные числа, что противоречит определению 1. Поэтому
| Im Лк | =0 < | Re Цк | = I =0, k = 1,...,n,
то есть выполнен критерий (11). Таким образом, имеет место
Лемма 2. Для функций, J-аналитических с матрицами J * = aE + Ai, а е R, теорема 4 справедлива при любых значениях а е R.
Отметим, что утверждение леммы 2 было доказано в [2]. Однако в [2] более общие случаи не рассматривались и критерий (10), (11) получен не был.
2°. Рассмотрим матрицу J = A + aiE, а е R. Пусть выполнено неравенство
max 15кI < |а|. (22)
Тогда
| Im Лк I = I41 < |а| = I Re Цк I, k = 1,...,n,
то есть имеет место формула (11). Следовательно, справедлива
Лемма 3. Для функций, 3-аналитических с матрицами 3 = А + агЕ, а е М, справедлива теорема 4, если верно неравенство (22). 3°. Рассмотрим матрицу 3*2 = (аЕ + Аг)2. Здесь
А1к =(а + ({к + ¿¿к)г)2 = (а - ¿к + {кг)2, А2к = ( а - ({к + ¿¿к)г)2 = (а + ¿к - г)2. Проверим выполнение критерия (10): (1т А1к) ■ (1т А2к) = -2{к(а - ¿к) ■ 2{к(а + ¿к) = -4{2 (а2 - ¿2) < 0,
если {к = 0 и верно (22). В итоге доказана
Лемма 4. Для функций, 3-аналитических с матрицами
3*2 = (аЕ + Аг)2, а е М, ^ = 0,
справедлива теорема 4, если имеет место неравенство (22).
4. Матрицы Л, отличные от (21), для которых выполнен критерий (11).
Пусть 3*, 3| —блочно-диагональные матрицы размера I х I, блоками которых являются жордановы клетки (в общем случае комплексные). Пусть «/1, 32 — блочно-диагональные матрицы размера (п - 21) х (п - 21), состоящие из вещественных жордановых клеток. В обеих случаях жордановы клетки могут быть одномерными. Пусть матрица ф* е Спх1, а ф — вещественная матрица размера п х (п - 21). Образуем матрицу 3 по следующему правилу:
31 (3*,3*, 31), 32 = diag (32*,3*, 32), ф =(ф*, О*, ф),
А = ф31ф-1, В = ф32ф-1, 3 = А + Вг. (23)
Покажем, что матрицы А, В в (23) — вещественные.
> Действительно, ф-1 = (ф) 1 , что вытекает из алгоритма построения обратной матрицы. Поэтому
А = ф31ф-1 = ф-31- ф-1 = ф3 (ф)-1. (24)
Как известно, жорданов базис ф и жорданова форма 31 матрицы А определены с точностью до перестановки жордановых клеток в 31 и соответствующих им столбцов матрицы ф. Из (23) следует, что операция сопряжения матриц ф и 31 как раз и производит такую перестановку._Следовательно, ф и 31 в (24) определяют ту же самую матрицу А, то есть А = А. Аналогично доказывается равенство В = В. <
Таким образом, формулы (23) описывают альтернативный (21) способ построения матриц 3 из условий теоремы 4.
Имеет место очевидное следствие из теоремы 4, а именно
Лемма 5. Пусть А^, ^, к = 1,..., п — собственные числа матриц 31, 32 (23) соответственно, стоящие на к-той строке. Пусть выполнен критерий
(11). Тогда для функций, 3-аналитических с матрицами 3 (23), справедлива теорема 4.
Очевидно, что применение критерия (10) для матриц вида (23) затруднительно. В заключение приведем следующий пример, иллюстрирующий лемму 5.
Пример 2. Пусть числа Л,д,п имеют ненулевые комплексные части; векторы х, у € С4. Положим
31 =
Л000
0 Л 0 0
0 0 Л 0
\0 0 0 Л/
32 =
/д 0 0 0
0 п 0 0
0 0 д 0
0 0 0 V/
Q =(х, у, X, У. (25)
Матрицы (25) имеют вид (23), причем 31, 32 —диагональны. Поэтому для функций, 3-аналитических с матрицами
3 = А + Вг = QJlQ-1 + QJ2Q-1г,
справедливы утверждения леммы 5 и теоремы 4, если
11тЛ| < тт{| И,ед|, | Иеп\},
то есть если выполнен критерий (11).
Заключение. Критерий существования и единственности решений задачи Шварца (10), (11) довольно прост для проверки и может быть применен к различным матрицам вида (21) и (23). Поскольку задача Шварца, как было отмечено выше, равносильна задаче Дирихле для многих типов эллиптических систем второго порядка в частных производных, то неравенства (10), (11) применимы и для изучения этой задачи.
Декларация о финансовых и других взаимоотношениях. Работа выполнена при поддержке Министерства образования и науки Российской Федерации в рамках государственного задания (проект 1.857.2014/К). Автор несет полную ответственность за предоставление окончательной версии рукописи в печать. Окончательная версия рукописи была одобрена автором. Автор не получал гонорар за статью.
сисго
Владимир Геннадьевич Николаев: http://orcid.org/0000-0003-0274-5826
БИБЛИОГРАФИЧЕСКИЙ СПИСОК
1. Солдатов А. П. Задача Шварца для функций, аналитических по Дуглису // Совр. математика и ее приложения, 2010. Т. 67, Уравнения с частными производными. С. 99102.
2. Николаев В. Г., Солдатов А. П. О решении задачи Шварца для 7-аналитических функций в областях, ограниченных контуром Ляпунова// Диффер. уравн., 2015. №7. С. 965969.
3. Солдатов А. П. Интегральное представление функций, аналитических по Дуглису // Вестн. СамГУ. Естественнонаучн. сер., 2008. №8/1(67). С. 225-234.
4. Солдатов А. П. Гипераналитические функции и их приложения // Совр. математика и ее приложения, 2004. Т. 15, Теория функций. С. 142-199.
5. Солдатов А. П. Пространство Харди решений эллиптических систем первого порядка // Докл. РАН, 2007. Т. 416, №1. С. 26-30.
6. Солдатов А. П. Эллиптические системы высокого порядка// Диффер. уравн., 1989. Т. 25, №1. С. 136-142.
7. Бицадзе А. В. О единственности решения задачи Дирихле для эллиптических уравнений с частными производными// УМН, 1948. Т. 3, №6(28). С. 211-212.
8. Бицадзе А. В. Основы теории аналитических функций комплексного переменного. М.: Наука, 1972. 347 с.
9. Бицадзе А. В. Краевые задачи для эллиптических уравнений второго порядка. М.: Наука, 1966. 298 с.
10. Боярский Б. В. Теория обобщенного аналитического вектора // Annales Polonici Mathematici, 1965. Т. 17, №3. С. 281-320, https://eudml.org/doc/265098.
11. Векуа И. Н. Обобщенные аналитические функции. М.: Наука, 1988. 328 с.
12. Жура Н. А. Краевые задачи типа Бицадзе-Самарского для эллиптических в смысле Дуглиса-Ниренберга систем // Диффер. уравн., 1992. Т. 28, №1. С. 81-91.
13. Жура Н. А. Общая краевая задача для эллиптических в смысле Дуглиса-Ниренберга систем в областях с гладкой границей // Изв. РАН, 1994. №1. С. 22-44.
14. Мусхелишвили Н. И. Сингулярные интегральные уравнения. Граничные задачи теории функций и некоторые их приложения к математической физике. М.: Наука, 1968. 511 с.
15. Николаев В. Г. О некоторых свойствах J-аналитических функций // Вестн. СамГУ. Естественнонаучн. сер., 2013. №3(104). С. 25-32.
16. Николаев В. Г., Панов Е. Ю. Результаты о совпадении Л- и ^-голоморфных функций на границе области и их приложения к краевым задачам / Проблемы математического анализа: Межвузовский международный сборник, Вып. 74; ред. Н. Н. Уральцева. Новосибирск: Тамара Рожковская, 2013. С. 123-132.
Поступила в редакцию 14/IV/2016; в окончательном варианте — 22/V/2016; принята в печать — 27/V/2016.
Vestn. Samar. Gos. Techn. Un-ta. Ser. Fiz.-mat. nauki
[J. Samara State Tech. Univ., Ser. Phys. & Math. Sci.], 2016, vol. 20, no. 3, pp. 410-422 ISSN: 2310-7081 (online), 1991-8615 (print) doi: http://dx.doi.org/10.14498/vsgtu1491
MSC: 35J25, 35J56
ON DECISIONS OF SCHWARTZ' PROBLEM FOR J-ANALYTIC FUNCTIONS WITH THE SAME JORDAN BASIS OF REAL AND IMAGINARY PARTS OF J-MATRIX
V. G. Nikolaev
Novgorod State University after Yaroslav the Wise,
41, Bol'shaya St. Petersburgskaya st., Novgorod the Great, 173003, Russian Federation.
Abstract
Boundary Schwartz' problem for J-analytic functions was studied within this scientific work. These functions are solutions of linear complex system of partial differential equations of the first order. It was considered, that the real and imaginary parts of J-matrix are put into triangular form by means of one and the same complex transformation. The main theorem proved a criterion for eigenvalues of J-matrix. Shall this criterion be fulfilled within the complex plane within the boundaries defined by Lyapunov line, there is a decision on Schwartz' problem and it is the only one. The equal form of this criterion was found, which in many cases is more convenient for check. While proving the theorem, known facts about boundary properties of l-holomorphic functions are applied. The proof itself is based on the method of direct and reverse reduction of Schwarz' problem to Dirichlet's problem for real valued elliptic systems of partial differential equations of the second order. Examples of matrices are given, whereby the specified criterion is fulfilled.
Keywords: Schwartz' problem, l-holomorphic function, Lyapunov line, Jordan form, Jordan basis, characteristic equation, elliptic system, Dirichlet's problem.
Declaration of Financial and Other Relationships. This work was supported by the Ministry of education and science of the Russian Federation within the framework of the base part of the state task (Project 1.857.2014/K). The author is absolutely responsible for submitting the final manuscript in print. The author has approved the final version of manuscript. The author has not received any fee for the article.
ORCID
Vladimir G. Nikolaev: http://orcid.org/0000-0003-0274-5826
© 2016 Samara State Technical University. Please cite this article in press as:
Nikolaev V. G. On decisions of Schwartz' problem for J-analytic functions with the same Jordan basis of real and imaginary parts of J-matrix, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. & Math. Sci.], 2016, vol. 20, no. 3, pp. 410-422. doi: 10.14498/vsgtu1491. (In Russian) Author Details:
Vladimir G. Nikolaev (Cand. Phys. & Math. Sci.; vg14@inbox.ru), Associate Professor, Dept. of Algebra and Geometry.
HuKonaeB B. r.
REFERENCES
1. Soldatov A. P. The Schwarz problem for Douglis analytic functions, J. Math. Sci., 2011, vol.173, no. 2, pp. 221-224. doi: 10.1007/s10958-011-0244-7.
2. Nikolaev V. G., Soldatov A. P. On the solution of the Schwarz problem for J-analytic functions in a domain bounded by a Lyapunov contour, Differ. Equ., 2015, vol.51, no. 7, pp. 962-966. doi: 10.1134/S0012266115070150.
3. Soldatov A. P. Integral representation of Douglis analytic functions, Vestnik SamGU. Estestvenno-Nauchnaya Ser., 2008, no. 8/1(67), pp. 225-234 (In Russian).
4. Soldatov A. P. Hyperanalytic functions and their applications, Sovr. Mat. Pril., 2004, vol. 15, pp. 142-199 (In Russian).
5. Soldatov A. P. The Hardy space of solutions to first-order elliptic systems, Doklady Mathematics, 2007, vol.76, no. 2, pp. 660-664. doi: 10.1134/S1064562407050067.
6. Soldatov A. P. High-order elliptic systems, Differ. Equ., 1989, vol. 25, no. 1, pp. 109-115.
7. Bitsadze A. V. On the uniqueness of the solution of the Dirichlet problem for elliptic partial differential equations, Uspekhi Mat. Nauk, 1948, vol. 3, no. 6(28), pp. 211-212 (In Russian).
8. Bizadse A. W. Grundlagen der Theorie analytischer Funktionen, I. Abteilung, Band 23, Mathematische Lehrbücher und Monographien. Berlin, Akademie-Verlag, 1973, 186 pp. (In German)
9. Bitsadze A. V. Boundary value problems for second order elliptic equations, North-Holland Series in Applied Mathematics and Mechanics, vol. 5. Amsterdam, North-Holland Publ. Company, 1968, 211 pp.
10. Boyarskii B. V. The theory of generalized analytic vector, Annales Polonici Mathematici, 1965, vol.17, no. 3, pp. 281-320 (In Russian), https://eudml.org/doc/265098.
11. Vekua I. N. Generalized analytic functions, International Series of Monographs on Pure and Applied Mathematics, vol. 25. Oxford, Pergamon Press, 1962, xxvi+668 pp.
12. Zhura N. A. Bitsadze-Samarskij type boundary-value problems for Douglis-Nirenberg elliptical systems, Differ. Equ., 1992, vol. 28, no. 1, pp. 79-88.
13. Zhura N. A. A general boundary value problem for systems elliptic in the Douglis- Nirenberg sense in domains with smooth boundary, Russ. Acad. Sci., Izv., Math., 1995, vol.44, no. 1, pp. 21-42. doi: 10.1070/IM1995v044n01ABEH001584.
14. Muskhelishvili N. I. Singular integral equations. Groningen, Wolters-Noordhoff Publ., 1967, 447 pp.
15. Nikolaev V. G. On some properties of J-analytical functions, Vestnik SamGU. Estestvenno-Nauchnaya Ser., 2013, no. 3(104), pp. 25-32 (In Russian).
16. Nikolaev V. G., Panov E. Yu. On coincidence of A- and ^-holomorphic functions on the boundary of a domain and applications to elliptic boundary value problems, Problemy matematicheskogo analiza [Problems of mathematical analysis], Issue 74; eds. N. N. Ural'tseva. Novosibirsk, Tamara Rozhkovskaia, 2013, pp. 123-132 (In Russian).
Received 14/IV/2016;
received in revised form 22/V/2016;
accepted 27/V/2016.
