CC BY
46
УДК 517.9
О СОПРЯЖЕННОЙ ЗАДАЧЕ РИМАНА-ГИЛЬБЕРТА ДЛЯ СИСТЕМЫ МОИСИЛА-ТЕОДОРЕСКУ 4) В.А. Полунин, А.П. Солдатов
Белгородский государственный университет, ул. Победы, 85, Белгород, 308015, Россия, e-mail: [email protected]
Аннотация. В работе исследована фредгольмова разрешимость задачи Римана-Гильберта для системы Моисила-Теодореску в конечной области.
Ключевые слова: задача Римана-Гильберта, система Моисила-Теодореску, условие дополнительности, граничная задача.
Пусть конечная область Б С К3 ограничена гладкой поверхностью Б и задана 2 х 4
- матрица В £ С (Б). Рассмотрим в этой области задачу Римана-Гильберта
Ьп = Ви\8 = / (1)
для оператора Ь = М(д/дх) Моисила-Теодореску, определяемого матрицей
( 0 Ci С2 Сз
Ci 0 -С3 С2
С2 Сз 0 -Cl
^ Сз С2 Cl 0 )
Относительно матрицы B естественно предполагать, что ее строки как элементы R4 линейно независимы в каждой точке поверхности S, т.е. ранг rang B = 2 всюду на S. Ясно, что на краевое условие в (1) можно действовать слева обратимыми 2 х 2 матрицами А Е C(S). Поэтому всегда можно добиться того, чтобы строки матрицы B в каждой точке а Е S образовывали пару ортогональных единичных векторов.
C вопросом разрешимости задачи (1) тесно связано так называемое условие дополнительности (Шапиро-Лопатинского) [1, 2], которому должна удовлетворять матрица B. Это условие состоит в следующем.
Пусть а Е S и n = (n^n2,n3) означает единичный вектор внешней нормали на поверхности S в точке а. Для любого единичного вектора £ Е R3, ортогонального n, многочлен четвертой степени x(z) = det M(£ + zn) не имеет вещественных корней. Обозначим через X+(z) - произведение сомножителей z — v, где v пробегает множество всех корней многочлена х в верхней полуплоскости (взятых с учетом кратности). Пусть еще
4Работа выполнена в рамках ФЦП "Научные и научно-педагогические кадры инновационной России" на 2009-2013 годы (госконтракты № П19 от 18.03.2010, № 02.740.11.0613 от 29.03.2010, № П693 от 20.05.2010.)
M*(Z) = [det M(Z)]M-1(Z) означает матрицу, присоединенную к M. Тогда по определению условие дополнительности выполнено в точке а, если для любых Л1,Л2 Е R и любого единичного вектора £ Е R3, ортогонального n, из соотношений
^[BM* (£ + zn)]1j + Л2 [B^^ * (£ + zn)]2j = X+(z)Pj (z) , 1 ^ j ^ 4 ,
с некоторыми многочленами pj следует Л1 = Л2 = 0.
Поскольку
det M(Z) = —(Z2 + Z2 + Сз2)2, M-1(Z) = (Z2 + Z22 + C2)-1MT(Z) и для Z = £ + zn сумма Z2 + Z22 + Z32 = 1 + z2, то X(z) = (z2 + 1)2, X+(z) = (z — i)2 и
M*(£ + zn) = —(z2 + 1)MT(£ + zn).
Поэтому условие дополнительности сводится к тому, что
rang [B(a)MT(£ + in)] = 2 (2)
в каждой точке a Е S. Заметим, что хотя ранг матрицы B равен двум, её произведение на вырожденную матрицу MT(£ + in) не обязательно обладает тем же свойством.
Классический результат общей теории эллиптических уравнений [3, 4] гарантирует фредгольмовость задачи (1) в классах Гельдера при выполнении условия дополнительности.
Теорема 1. Пусть S Е C1,м и B Е C 1,M(S), так что оператор задачи (1) ограничен Cl'<-l(D) —> С'1,м(5) х C^l(D). Тогда фредгольмовость этого оператора равносильна тому, что матрица B Е C 1,M(S) удовлетворяет условию дополнительности.
При определенных условиях с задачей (1) можно связать сопряженную задачу этого же типа. Рассмотрим сопряженный по Лагранжу оператор L* = — MT (д/дх), который вместе с L можно записать в форме
33
д ^ _ ,т д
L = EM<‘aZ- ¿* = -Ем»
джк дхк
к=1 к к=1 к
с соответствующими матрицами Мд € К4х4. Тогда для любых вектор- функций и,г> €
С1 (Б) имеем соотношение
з д з д
(Ьг/,)г> - г/,(Ь*г>) = ^ —[(Мки)у\ ^ Г)г [и(Мк^)] ,
к=1 к к=1 к
где выражения в квадратных скобках означают обычное скалярное произведение двух четырехкомпонентных векторов. Следовательно, по формуле Грина справедливо тождество
(Ьп, ^)^ — (и, Ь*^)^ = (и, Мт(п)^)^ . (3)
где (• ,-),д означают скалярные произведения, соответственно, в пространствах вектор
- функций Ь2(Б) и Ь2(Б). Это соотношение позволяет определить слабое решение и £ Ь2(Б) уравнения Ьи = Г с правой частью F £ Ь2(Б), которое должно удовлетворять
тождеству (и,Ь*и)п = (Р, и)г) для любой функции V £ V, обращающейся в нуль на
5. Хорошо известно [1, 3], что в случае F £ С^(В) любое слабое решение и является классическим и принадлежит классу С1,М(К) на каждом компакте К С Б.
Определение слабого решения задачи (1) связано с понятием однородной сопряженной задачи к задаче (1), постановка которой зависит от возможности выбора такой 2 х 4— матрицы В* € СМ(Б), что квадратная матрица
( Вц • • • В14 ^
В = В21 • • • В24
В С?* о*
В11 • • • В14
\ В21 • • • В24 )
ортогональна. Тогда для скалярного произведения векторов р, д £ К4 можно записать
рд = (вр)(в<?) = (Вр)(Вд) + (В*р)(В*д) .
Применительно к векторам р = и и д = Мт (п)^ в правой части (3) это приводит к соотношению
(Ьи, ^)^ — (и, Ь*^)^ = (Ви, ВМт(п)^)^ + (В*и, В*Мт(п)^)^ .
В соответствии с этим говорим, что функция и £ Ь2(Б) есть слабое решение задачи (1), если
(Г,а)д — (и,Ь*^)д = (/, ВМт(п)^)5 (5)
для любой функции и € С1 (И), удовлетворяющей краевому условию
В*Мт(п)(^) = 0 . (6)
К сожалению, в общем случае произвольной поверхности Б дополнить В до ортогональной матрицы (4) не всегда удается. Следующая лемма показывает, что это по-
строение можно всегда осуществить локально (с сохранением гладкости матрицы В).
(4)
Лемма 1. Пусть Е есть множество всех матриц В £ К2х4, строки которых образуют пару ортонормальных векторов. Пусть Е^, 1 ^ г < ] ^ 4, состоит из матриц В £ Е, у которых г—ый и ]—ый столбцы линейно независимы. Тогда существует такое гладкое отображение к : Е^ ^ Е, что для В £ Е^ матрица (4) с В* = кВ ортогональна.
□ Доказательство достаточно провести в ситуации, когда под Е понимается множество 2 х 4—матриц, строки которых отличны от нуля и ортогональны. Не ограничивая общности можно также считать, что ] ^ 3. Тогда первую строку матрицы В* определим, полагая В*4 = 0 ив качестве (В * 1, В *2, В *3) выбирая векторное произведение векторов (Вл, В¿2, В^3), г = 1, 2,. В результате получим тройку взаимно ортогональных
векторов В г = (Вг1, Вг2, Вг3, Вг4), г =1, 2, и В*. С точностью до ненулевого множителя оставшийся вектор В,* определится однозначно. В качестве него можно взять алгебраические дополнения последней строки 4 х 4 - матрицы, первые три строки которой составлены из В1, В2 и В*. В
Из леммы следует, что каждая точка поверхности Б обладает такой её открытой окрестностью С С Б, что существует матрица В* £ С (С), для которой матрица (4) ортогональна в каждой точке у £ С. При этом если В £ СМ(С) или В £ С 1,М(С), то и В* принадлежит соответствующему классу. В соответствии с этим понятие слабого решения и £ Ь2(Б), принимающего краевое условие только на С, естественно ввести с помощью тождества (5), где функция у € С'1(_0) обращается в нуль на Б \ С, а на С удовлетворяет краевому условию (6), т.е.
В*Мт(п)^\с = 0, = 0. (7)
При этом справедлив следующий результат о локальной гладкости вплоть до границы [1, 3].
Теорема 2. Пусть Б £ С1,м, В £ СМ(Б) и выполнено условие дополнительности. Пусть множество С С Б открыто и матрица В* £ СМ(С) такова, что матрица (4) ортогональна на С. Тогда любое слабое решение и £ Ь2(Б), принимающее на С краевое условие Ви\с = $ с правой частью д £ СМ(С), принадлежит СМ(К) на любом компакте К С И, для которого К П 5 С С. Если дополнительно В Е С'1,м(5) п д € С'1,М(С), то п и £ С1>^(К).
□ В соответствии с леммой 1 покроем поверхность Б конечным числом открытых множеств С1,..., так, чтобы для любого г существовала матрица В* £ С(Сг), дополняющая В до ортогональной матрицы Вг на всем Сг. С помощью этого покрытия можем ввести понятие слабого решения, принимающего краевое условие (1) на всей границе. С этой целью рассмотрим класс функций V £ С (Б), удовлетворяющих краевому условию
В*Мт(пЪ\„ =0, 1 ^ г ^ п. (8)
I О-г
На пересечении П С? имеем соотношение В* = ДВ* с некоторой ортогональной 2 х 2—
матрицей Д, поэтому данное краевое условие определено корректно.
Утверждается, что если и, у € С1 (И) и вектор-функция у удовлетворяет (8), то
(Ьи, V)# — (и, Ь^)д = (Ви, ВМт(п^),5 . (9)
Для доказательства выберем замкнутые подмножества Бг С так, чтобы их обьеди-нение совпадало с Б, а попарные пересечении Бг П Б?- имели поверхностную меру нуль. Тогда для четырехкомпонентных векторов р, д £ С (Б) можем записать
(JP, дЬ = X] ?=1
(Вр)(Вд)^у + / (В*р)(В*д)^у Применительно к р = и и д = Мт (п^ с учетом (8) отсюда следует (9).
В результате приходим к естественному определению слабого решения задачи (1) как к тождеству (5) по всем v Е C1(D), удовлетворяющим условию (8). Заметим, что (8) является следствием (7), поэтому i—ое краевое условие в (8) можно рассматривать для слабого решения отдельно так, как указано выше. Кроме того, условие (8) можно рассматривать и для функций v Е C(D) П C'1(_D), которые являются решением сопряженного уравнения Моисила-Теодореску L*v = 0.
Таким образом, теорема 2 приводит к следующему результату.
Теорема 3. Пусть S Е C1,м, B Е CM(S), выполнено условие дополнительности (2) и аналогичное условие rang[B*M(£ + in)] = 2 всюду на Gj, 1 ^ j ^ n. Тогда любое слабое решение u Е L2(D) задачи (1) с правыми частями F Е C^(D), / G C^(S) п любое решение v Е C(D) П Cl(D) однородной сопряженной задачи
L * v = 0, B*MT(n)vL =0 , 1 ^ i ^ n. (10)
I Gi
принадлежат классу C^(D). Если дополнительно В, f Е С'1,м(5'), то п u, v Е Cl'^(D).
□ Доказательство почти очевидно. Существует столь малое r > 0, что любой компакт K С D диаметра меньше r либо целиком лежит в D, либо K П S С Gi для некоторого i. В первом случае, очевидно, функции u,v Е C 1,M(K). Во втором случае функция и принимает краевое условие (1) на Si в слабом смысле и это же верно по отношению к i—ому краевому условию (9) для v. Поэтому остается воспользоваться теоремой 2. ■
Является весьма вероятным, что условие на B* в теореме излишне и является следствием (2). Было бы желательно дать прямое доказательства этого факта.
Применительно к слабым решениям теорема 1 допускает следующий аналог[3, 4].
Теорема 4. В условиях теоремы 3 однородная задача (1) и однородная сопряженная задача (10) имеют конечное число линейно независимых решений, соответственно, Е C^l(D) п v1,...vk> Е C^l(D). Неоднородная задача (1) разрешима тогда п только тогда, когда выполнены условия ортогональности
(F, v)D — (f, BMT(n)vj)s = 0, 1 ^ j ^ k'.
При этом разность k — k' совпадает с индексом оператора теоремы 1.
Литература
1. Agmon, S., Douglis, A., Nirenberg, L. Estimates near the boundary for solutions of elliptic partial differential equations satisfying general boundary conditions. II. Comm. Pure Appl. Math., 1964, 17, 35-92.
2. Янушаускас А. Методы теории потенциала в теории эллиптических уравнений / А. Янушаускас. - Вильнюс: Мокслас, 1990. - 264с.
3. Назаров С.А, Пламеневский Б.А., Эллиптические задачи в областях с кусочно гладкой границей, М., Наука, 1991, 356с.
4. Ройтберг Я.А., Шефтель Э.Г., Теорема о гомеоморфизмах для эллиптических систем и ее приложения // Матем. сборник.-1969. Т.78, №3.-с. 446-472.
ABOUT AN ADJOINT RIEMANN-GILBERT PROBLEM FOR THE MOISIL-THEODORESCU SYSTEM Polunin V.A., Soldatov A.P.
Belgorod State University,
Pobedy St., 85, Belgorod, 308015, Russia, e-mail: [email protected]
Abstract. The Fredholm solvability of Riemann-Hilbert problem for the Moisil-Teodorescu system in a finite domian is studied.
Key words: Riemann-Gilbert problem, Moisil-Theodorescu system, complementarity condition, boundary value problem.
