CC BY
7
Ахмедов Рахматхуджа Ахмедович,-к.ф-м. н., доцент ТГУПБП
ЗАДАЧА ТИПА ДИРИХЛЕ ДЛЯ ОДНОГО ЭЛЛИПТИЧЕСКОГО УРАВНЕНИЯ ВЫСОКОГО ПОРЯДКА С СИНГУЛЯРНОЙ ТОЧКОЙ
1. Введем обозначение
и ^ = д-w - Х w,
в котором 2 = Гв1ср = X + 1у, Хф 0 -произвольное комплексное число,
2д- = (дх + ¡ду) и w(2) - комплекснозначная функция, и рассмотрим в
замкнутой области О с гладкой границей Г и содержащей внутри точку 2 = 0 уравнение высокого порядка
(и^ = 0, (1)
где п = 2,3,...,.
Решение (1) рассматривается в классе п -раз непрерывно дифференцируемых в О \ {0} по 2 и непрерывных в О = О и Г функций,
который обозначим через С (О \ {0}) П С (О) .
2
2. Отметим, что в работах [1] - [4] З. Д. Усмановым изучена обобщенная система Коши - Римана
д-W - ^ W = Р(2) , 2 = О, (2)
2 2 2
где 2 = X + 1у = Гв1(р, 2д- = дх + 1ду, Ь(2) и Р(2) - заданные функции и w(2) - искомая комплексозначная функция и О область, содержащая точку 2 = 0 . В предположении, что функция Ь(2) удовлетворяет условию Гельдера
|Ь(2) -Ь(0)| < М|2|а , 0<а< 1 и малости величины |Ь(2) -Ь(0)| или же области О установлено взаимно - однозначное соответствие между множествами решений {ф( 2)} модельного уравнения
х _
д-Ф—=ф = 0, 2 = О, (3)
2 22
где Х = Ь(0), и решений {w(2)} общего уравнения (2) из класса С (О — 0) П С- (О) посредством интегрального уравнения
w - Р^ = Ф + БОР.
Здесь
АХБОРИДДЯБСТ№2(42), 2010
ВЕСТНИК ТГУПБП№2(42), 2010
1
^=-ж Л
ж 0
«1(2, С)
С
р (с)+
О 2 ( 2, С)
С
Р (С)
ро™ = бо
Ь( 2) - Ь(0)~' 22
и через С- (О — 0) П С (О) обозначен класс непрерывно дифференцируемых в О0 , Оо = О \ {0}, и непрерывных в О функций.
В работах [3], [4] приведены явные виды функции 2С) и ^2(2, С),
установлены свойства оператора БоР и выписана обобщенная интегральная
формула Коши для решения Ф(2) модельного уравнения (3) и построена его
теория, исследованы краевые задачи Римана - Гильберта и линейного сопряжения.
3. В данной работе доказываются две теоремы и приводятся результаты исследования краевой задачи типа Римана-Гильберта для круговой области радиуса Я с центром в
начале координат в случае п=2.
Теорема 1. Пусть Ф к (2), к = 1,2,..., П - произвольные решения уравнения
иф = 0 (4)
из класса С П (О \ {0}) П С (О). Тогда общее решение уравнения (1) из
2
класса СП (О \ {0}) П С(О) дается формулой
П — 1
ь -.к,
" = 2 77 (2 + 2)к Ф П—к к=0к!
(5)
Для доказательства теоремы необходимы следующие леммы.
Лемма 1. Пусть Ф(2) - произвольное решение уравнения (4) из класса
С_ (О \ {0}) П С (О). Тогда имеет место соотношение
2
1
О
(2 + 2 )ПФ(2) =-- (2 + 2 )П+1 Ф(2 )
(6)
где П = 0, 1, 2,..., Б о - вышеприведенный интегральный оператор.
и
х
ФИЗИКА ВА РИЁЗИЁТ_ФИЗИКА И МАТЕМАТИКА
Доказательство. Пусть и(2) и у(2) произвольные функции из класса
С (О \ {0}) П С (О) . Легко проверить справедливость равенства
2
их(иу) = ииху + уихи -Х(иу - их - уи). (7)
2 2
Предполагая в (7) и(2) = (2 + 2)П и у(2) = Ф(2) - любое решение
уравнения (2) из класса С_ (О \ {0}) П С (О), получим:
2
(2 + 2)П+1 Ф = (п + 1)2 + 2) Ф(2) (8)
Так как согласно свойствам оператора Б о [3] справедливо равенство
Бо (ия/ ) = / (2),
то, действуя на обе части (8) оператором Бо , получим соотношение
(2 + 2)п+1 Ф(2 ) = (п + 1)БО [(2 + 2) Ф(2 )
Откуда получим
— ( л. ~Лп
Бо [(2 + 2)п Ф(2)] = Ф(2) ,
п +1
что доказывает справедливость леммы.
Лемма 2. Пусть ф(2) - произвольное решение уравнения (3) из класса
С (О \ {0}) П С (О) . Тогда имеет место соотношение
2
ф = 1 (2 + 2 )Г Ф. п!
Доказательство. Очевидно, что
БО Ф = БО-1 (Бо Ф)
На основании леммы 1 из последнего равенства получим:
равенства п ((2 + 2 )Ф)
БО Ф = БО-1 ((2 + 2)
Далее, также на основании леммы 1, можем записать:
БО ф = БО-2 (Бо (2 + 2 )ф)= Бп-2 ( 1 (2 + 2) ф^
Продолжая этот процесс п - раз, получим справедливость утверждения леммы 2.
Доказательство теоремы 1. Уравнение (1) запишем в форме иЛилТ1 w = 0. (9)
АХБОРИ ДДЯБСТ№2(42), 2010_ВЕСТНИК ТГУПБП№2(42), 2010
Откуда согласно [3]
(иху-1 * = Ф1 (2), (10)
где Ф1 (2) - общее решение уравнения (4) из указанного класса. Далее, представляя (10) в виде
иХил )' - 2 И=Ф1(2),
на основании [3] и леммы 1 и 2 получим:
и )П—2 * = Ф2 (2)+(2+2 )ф где Ф 2 (2) - также произвольное решение уравнения (2).
Продолжая такую итерацию т < П раз и применяя леммы 1 и 2, получим рекуррентную формулу
т—11 /
иЛП-т* =1-1 (2 + 2) Фт—к (11)
к=0 к!
При т = П из (11) получим формулу (5), что доказывает теорему 1.
Теорема 2. Пусть * (2) - заданное решение уравнения (1) из класса
С П (О \ {0}) П С(О), соответствующее решениям уравнения (2)
2
Ф1,Ф2,...,Фп из класса СП (О \ {0}) П С(О). Тогда Фт(2), т = 1,2,...,п
2
однозначно определяется через ^(2) по следующим формулам: т—1 , 1 / _\/ ,
Фт (2) = 2(— 1/' 1 (2 + --) (и, )П—т+к* т = 1,2,...п (12)
к=0 к!
Действительно, на основании (11) можем записать следующие равенства:
(иг1 *=Ф1 (2)
(и,—2 )* = Ф2 (2) +(2 + 2)Ф (2)
(иг3 * = фз (2) +(2+2 )ф 2 (2)+1 (2+2) фх (2)
П—1 1 / —Ус — 1 —
2 1 (2 + 2) Фп — к = Фп (2) + (2 + 2)фп—1(2) + - (2 + 2)2 фП — 2(2) + . к=0 к! 2!
... +-—( 2 + 2)П —1Ф,
(П — 1)Г 1
Применяя метод последовательного исключения Ф1, Ф2,..., Фп к последним равенствам, получим формулу (12), что доказывает теорему 2.
4. Пусть п=2. Уравнение (1) при п=2 в раскрытой форме записывается в
виде
^ _ Т ^ _
д2 w+ -—w +—-w = 0, 2 е О (13)
2 2 2 2 4 2|2 222 , ()
Обозначим через О - круг 2 < Я, а через Г-окружность 2 = Яе1 ф . Задача. Отыскать решение уравнения (1) из класса С2 (О - {0}) П С(О и Г), удовлетворяющее на Г условиям Яе[и—w] = Н(2) 2 еГ, (14) Яе [w] = ч( 2) 2 еГ, (15) где и ч(2) - заданные на Г функции. Предположим, что
А(ф) = ¿(Яегф) и #(ф) = ^(Яегф) разложимы в абсолютно и равномерно сходящихся рядах Фурье
1 <х _
Н(ф) = К +1Е (Ьке1кф+ Ьке~1кф)
2 к=1
71кф -1кф -
Ч(ф) = 40 + (Чк^1кф+ Чке~' ) 2 к=1
где,
^ 2л ^ 2л
К =1 \Н(ф) йф, Нк = - \ И(ф)е-кф йф, 2 0 л 0
^ 2л ^ 2л
40 =1 \Чф)ф Чк = - \Ч(ф)е~1кф йФ к = 1,2,.... 2 0 л 0 Задачу (1), (14), (15) назовем однородной, если К( 2) = д( 2) = 0.
Теорема 3. Пусть — > 2. Тогда при Яе — > 0 или 1т—Ф 0 однородная
задача имеет только нулевое решение, а неоднородная задача разрешима безусловно, и решение даётся формулой
^ = ЯХ4 -2ЯеН1 ][Я]— +
Чк - Нк-1 - Нк+1 ¿кф , 0 Чк - К-1 - Нк+1 -1кф\( г Ук (16)
+ Е 1 — к ~к-1 "к+1 е1кф + р к-=-
ьа! — + Р- к - к — + Р- к
е
V
— I +
2 + 2
+
Я
' К [Я 1— + £{——+ Р- к ТН^е-кфф '' '
VЯ) к=11 — + р- к — + р- к
_х
Я
V
Яе х
г
Я
При Яе — < 0 однородная задача имеет одно ненулевое решение
w0 (z) = ia
rr\
v r у
z + z H--ic
R
V R у
(17)
где а и С - произвольные вещественные постоянные числа, а неоднородная задача разрешима при выполнении двух условий разрешимости вида
к0 = 0, 2Яе к1 = д0. При этом частное решение задачи дается формулой
w (z) =
qi - h2
r 1 +
R У
+ ZW
к=2
z + z œ
Л + P-1
qk—hk-i—hk±Leik?+P qk -jk-i- hk+ic-i
к Л + P_
ikp
-к
Л + P_
-к
r r Yk
r ) +
(18)
V
R
w
h
к
к=1V
Л + P_
-eiiçp + ~ik(p
-к
Л + P_
-к
Г r yk
R У
Здесь Ик
2 + к2 , P- к = Ик - к.
Общее решение задачи (1), (13), (14) дается формулой
w(z) = w0 ( z) + w* ( z). Приводим схему исследования приведенной задачи. В работе [4] общее решение модельного уравнения (4) построено в явном виде,
O(z) = a r IЛ + £ [Лакекр + P-к Ole-кр )r Ик
к=i
где а - произвольное вещественное и а - произвольные комплексные
числа. На его основе и теоремы 1 строится общее решение уравнения (13) в виде
w(z) = Жао
/ л Л
/ Г м
z + z
R
V R у
Xbo
+
œ /
e
Œp
+ P-k аке
-кр
к=1
( r_ ) V R У
Ик
+
V
r
V R У
+
œ /
ЕЛ
Œp
+ P-кЬке
-кр
к=1
Г r )
V R У
Ик
где я и Ъ0 - произвольное вещественное и я, , Ъ , к = 1,2,... произвольные
•о " ^0 комплексные числа.
Здесь X = 1 при X > 0, X = при X < 0, X = г'(|, —X) при 1т, ф 0 . Далее , к(2) и g(2) вносятся в краевых условиях (13),
(14), и в результате несложных преобразований и приравнивания
коэффициентов при одинаковых степенях е'кр получается бесконечная
œ
алгебраическая система для определения коэффициентов ak и bk . Разрешая
бесконечную алгебраическую систему по схеме [4], получим решение задачи заданными формулами (16), (17), (18) а также утверждение теоремы 3. Ключевые слова: дифференциальные уравнения, уравнение высокого порядка, общее решение, класс функций, сингулярная точка.
Key words: differential equations, equation of the high order, the general decision, class function, singular point.
Литература:
1. Усманов З.Д. Доклады АН Таджикской ССР. т. 14, №11. 1971. - с. 16-20.
2. Усманов З.Д. Доклады АН Таджикской ССР, т. 15, №4. 1972. - с. 10-13.
3. Усманов З.Д. Сибирский математический журнал, т. 14, №5(1973) - с. 1078-1078.
4. Усманов З.Д. Обобщенные системы Коши - Римана с сингулярной точкой. - Душанбе, 1993. - 244с.
Ахмедов Р.А.
Задача типа Дирихле для одного класса эллиптического уравнения высокого
порядка с сингулярной точкой
В статье в круговой области с центром в нуле исследуется задача типа Дирихле для одного класса эллиптического уравнения высокого порядка с сингулярной точкой, порожденной n-ой итерацией дифференциального оператора Коши-Римана с сингулярной точкой в нуле. Вначале устанавливается явный вид общего решения уравнения высокого порядка через общее решение соответствующего модельного уравнения и выписывается формула обращения. Решения рассматриваются в классе непрерывно-дифференцируемых, вне нуле и непрерывных, в области функций.
На основании этих результатов для соответствующего уравнения второго порядка исследуется задача типа Дирихле. Устанавливается теорема о разрешимости этой задачи и явный вид решения.
Akhmedov R.A.
Problem of Dirihle type for one class of the elliptic equation of a high order with
singular point
The solution of the problem in circular area with zero in the centre, the problem of Dirihle type for one class elliptic equation of a high order with singular point generated by n iteration of differential operator Koshi-Riman with singular point in zero is investigated. In the beginning the obvious kind of the common decision of the equation of a high order through the common decision of the corresponding modeling equation is established and the reference formula leaves. Solutions are considered in a class of continuous-differentiated, out of zero and uninterrupted, in the field offunctions.
On the basis of these results for the corresponding equations of the second order the problem of Dirihle type is revealed. The theorem of resolvability of this problem and its obvious solution is explored.
