CC BY
26
ВЕСТНИК ТГГПУ. 2008. №4(15)
УДК 517.956.6
РЕШЕНИЕ ПРОСТРАНСТВЕННОЙ ЗАДАЧИ ТРИКОМИ ДЛЯ УРАВНЕНИЯ СМЕШАННОГО ТИПА С ОПЕРАТОРОМ БЕССЕЛЯ МЕТОДОМ ИНТЕГРАЛЬНЫХ УРАВНЕНИЙ
© Ф.Г.Мухлисов, Р.М.Сафина
В данной работе дается постановка пространственной задачи Трикоми для уравнения смешанного типа с оператором Бесселя и доказывается существование единственного решения.
Ключевые слова: пространственная задача Трикоми, уравнения смешанного типа, метод интегральных уравнений
Пусть E3+ - полупространство x > 0 трехмерного евклидова пространства E3 точек
x = ( x', x3), x' = (x1, x2), E3++={x e X3+ : x3 > 0} , E3+- = {x e E3+ : x3 < 0} , E2+ - полуплоскость
x > 0 координатной плоскости x3 = 0, E2++ = {x' e E+ : x2 > 0}, E2 - = {x' e E+ : x2 < 0}.
В полупространстве E3 рассмотрим уравнение смешанного типа
„/\ / \ d u d u
eb (u ) = B^(u i+dxf + Slgn x3 = (0.1)
U d2 k d c . -
где B = —- +-----оператор Бесселя, k > 0 .
dx1 x1 dx1
В E3 + уравнение (0.1) является B -эллиптическим, в E+- - B -гиперболическим, а E2+ - B -параболическая полуплоскость.
Уравнение (0.1) в E+- имеет семейство характеристических конусов, которые определяются уравнениями
(x1 - a)2 +(x2 - b)2 -(x3 + c)2 = 0. Полагая здесь a = 0, b = 0, c = 1, получим характеристический полуконус K+ : x12 + x2 = (x3 + 1)2, x1> 0 , -1 < x3 < 0 с вершиной в точке (0,0,-1), проходящий через полуокружность С0+ : x12 + = 1,
x1 > 0 .
Обозначим через D конечную область, ограниченную поверхностью Г, расположенную в E++ и проходящую через C+ , частью Г1 координатной плоскости x =0 и характеристическим полуконусом K+ . Части области D, в которых x3 > 0 и x3 < 0, обозначим соответственно через D+ и D . Поскольку уравнение (0.1) B -эллиптично в D+ и B -гиперболично в D-, то их
будем называть соответственно B -эллиптической и B -гиперболической частями области D, а эту последнюю смешанной областью. Полукруг полуплоскости E2 , отделяющий D+ и D-, обозначим через Г0 . Кроме того, через K0+ и K0-(Г0 + и Г0 -) обозначим части полуконуса ^ (полукруга Г0), на которых соответственно х2 > 0 и х2 < 0, а соответствующие части полуокружности С0 - через C0 + и C0+ - .
1. Исследование уравнения (0.1) в B -
эллиптической части полупространства
1.1. Принцип экстремума
Теорема 1. (принцип локального экстремума). Тождественно не равная нулю B -гармоническая функция u (х) в области D+ из класса
C2 (D+ )п C1 (D+ и Г1 )п C (D+ ) не может принимать положительного локального максимума и минимума (отрицательного локального максимума и минимума) в точках области Dн -и Г1.
Следствие 1. При условиях теоремы функция u (х) может принимать положительные локальные максимумы и минимумы (отрицательные локальные максимумы и минимумы) и, следовательно, наибольшее и наименьшее значения на границе Г и Г0.
Следствие 2. Если функция u (х) удовлетворяет условиям теоремы и
м1,=0 = Т(х') и ых\ 0 =к(х'),
,хэ =0 ^ Iхз =0
то
г(х')к(х')> 0, х'е Г0+ . (1.1)
Доказательство следствия 2 следует из граничного принципа экстремума.
1.2. Постановка внутренней задачи N. Теорема единственности
Требуется найти четную по х1 функцию и (х) , удовлетворяющую условиям: и (х) є C2 (D+ ) n C1 (D+ и Г0) n C (D+ ); (1.2)
д2 и д2 и
А Ви = Вх и
ди
дх2 дх32
дх3
= к(х'), х' є Г0+ ;
(1.3)
(1.4)
хз =0
:(х, хо ) =
(хі хіо )
4пг
Ф(х, хо),
(1.6)
G (х,С) =
(х1 х10 ) 4пг
:(хЛ),
(1.8)
ff|G ди - и ™\$<ЇГ +
Г { дп дп у1
fff G - и ^ WSJ ^ дп дп J 1 хє
(1.9)
ди
дG
#¿£¿#2 = 0.
и\г =ф(4) , ^(#)є с (Г )• (1.5)
Теорема 2. Внутренняя задача N не может иметь более одного решения.
Доказательство следует из следствия 1 к теореме 1.
1.3. Существование решения внутренней задачи N
Аналогично доказательству, приведенному в [1], можно показать, что фундаментальное решение (1.3) при малых значениях г = |х - х0| представляется в виде
-ffl G------и-----
Щ д#з д£,
Так как на Г : G = 0 и и = ф(£); на S^ :
д д + ди ís'\дG
— =------и r = є; на Г 0 : ----= v (с ) и ----= 0 ,
дп дг ’о дСъ дС3
то формулу (1.9) можно записать в виде
-iif G
,ди дG , к
--------и--------\с
дг
- и------CkdS -
дг 1 хє
(1.10)
-ff GK(C')£kd£dC2 = 0.
где Ф( х, х0) - регулярная в точке х0 функция.
Пусть О (х,£) - функция Грина задачи Дирихле для области D*, ограниченной поверхностью Г , ее зеркальным отражением в плоскости х 3 = 0 и частью Г* плоскости х1 = 0 .
Известно [2], что функция Грина выразится формулой
О(х,£) = г(х,£) + ^(х,£), (1.7)
где функция ц/(х,£) регулярна в области D*.
Заменяя в (1.7) фундаментальное решение г(х,^) на его значение из (1.6), получаем
Вычислим предел при 8 ^ 0 интеграла
Я(О I -и 1°)^~. (14)
Заменяя в этом интеграле функцию Грина О
на ее значение из (1.8), получаем
к
2 к
¿8 = 482 ff <2 ^8 + 128 (х,^)= 118 + 128 .
где g (х,£) - регулярная функция в области Б*.
Пусть х - внутренняя точка области Б+ , SxE - сфера с центром в точке х и радиуса є
такого, что Sx є с Б+ . Обозначим через область, ограниченную границей области Б+ и сферой Sxє, и (х) - решение задачи N .
Применяя к функциям и (^) и о (х,4) вторую формулу Грина в области Б+є , с учетом того, что Ави = 0 и А вО (х,£) = 0, получаем
Очевидно, что
1— hs = 0. (1.12)
С помощью формулы среднего значения интеграла можно доказать, что
limIie= и (х) . (1.13)
s—0
Переходя в формуле (1.10) к пределу при s —— 0, с учетом предельных соотношений (1.12) и (1.13), получим
и (X ) = -jj?(i)dGfX) f!‘lr -
Г * (1.14)
-jj G (, X )v(*')d*'.
2. Исследование уравнения (0.1) в В - гиперболическом полупространстве
2.1. Постановка задачи Коши. Теорема единственности
Требуется найти четную по х функцию
и (х) , удовлетворяющую условиям: и(х) е С2 (D-)n С1 ^-и Г0+)^ С^-); (2.1)
Г
Г,
. _ д2 и д2 и
Ави = В и + — - — = 0, х е В-; (2.2)
1 дх2 дх3
и|х3 =0 = ФО , ^ х =0 = у(х') , х' Е Г0+ ; (2.3)
Предполагается, что т(х') и ^(х') - четные по х функции и из условия (2.1) следует, что т (х') е С1 (Г0+ ) П С (Г+), V (х') е С (Г+) .
Функция v(х') в точках полуокружности С0
может иметь интегрируемую особенность.
Теорема 3. Задача коши (2.1)-(2.3) не может иметь более одного решения.
2.2. Решение задачи Коши
Решение задачи Коши (2.1)-(2.3) ищем в виде
[3]
и (х) = {+Ф(А)е“А е-^'1 х Л (х£х +
+{+¥ (А^г**3Л (хА ГГ+^А, (2.4)
е2+
где ) = 2" Г (у +1) ¿V t )/ Л , ) - функция
Бесселя, " = (к -1)2, Ф(А) и ¥(£') - произвольные функции.
Произвольные функции Ф(А) и ^(А) найдем из требования, чтобы функция (2.4) удовлетворяла начальным условиям (2.3). Подставляя ее в эти начальные условия, получаем систему уравнений
{+Ф(А)е-А /V (хх#1 )С+^' +
Е-+
/V (х1#1 )С+^' = т(х'), (2'5)
Л(-/|Г|)Ф(Г)^ 7; (X!#! )#Г#
E+
ь{{Х#'|)^(#')е"# л(х# )#2^#' = к(х').
(2.6)
Применяя к формулам (2.5) и (2.6) обратное преобразование Фурье-Бесселя, получаем
ф(А) + ^(А) =-------2---1---------х
^ ^ ' (2п)222" Г2 (" +1)
х{{ т(п')е —Ап2 V (пА )пГп = т (А)
НА|)ф(А)+0|АИА)=
=_______1______
(2*) 22v Г2 (v + 1)Х
х[[ v(n')iT'#A jv (п#)пГ+^п' = v(А).
(2.7)
ФИ) =Г («')-
*И) =¿f Г) +^ (f).
Подставляя эти значения Ф и Y в формулу (2.4), получим
u (x) = if f (И) ^ jv (X#1 ) C0s И x3#12"+1^^ +
+|+v^j; (x#1 )Sin|#iX3#12v+1d#'.
(2.8)
Известно [4], что
sin I #'| X-
-I А
0 при ( — п2 )2 > х32, (2 9)
^х32 — (х2 — п)2 ) при (х2 — П)2 <х32.
Заменяя в (2.8) т (А) и V (А) на их значения из (2.7), а внутренние интегралы на их значения
из
(2.9), учитывая,
) = 2" Г (" +1)¿Дt)/^ , имеем
что
и (х )= ^4П'[{/Т(п,) 6!^ {1/0 А х32 —(х2 —П2 )2
х¿V (пА)/" (хА )АйА]п1Г+1^п' —
—{{ "(п') { /0 х32 —(х2 —П2 )2 ")х
О [ 0 ^ )
х /V (пА )/v (^А ) £^1 ^Г^'} , где О = {(п2 —х2)2 <х32}.
Также известно [4], что
{¿0 (Ад/х32 — (2 — х2 )2 )Л(ПА )/)А<А =
0 ^ )
= 2 (п хГ х
(210)
-[л Г (-;)Г V + 2 xj[ х2 - (n2 - x2 )2 - Пі2 - X2 + 2n Xi cos cp\^ sin2v q>dq>.
(2.11)
при ( + х1 )2 + (2 — х2 )2 < х32, п > 0, х > 0 ,
1
V > —.
2
Заменяя в (2.10) внутренние интегралы на их значение из (2.11) и переходя от х к — х1, с учетом четности решения задачи Коши, имеем
Решая эту систему, имеем
E
СО
E
E
E
E
А.1гЦ)Гп)
дх30
{((п — ( —П— х*-^««р) вт2рр
—{{Кп') {(х3—(п.—()2 —п2-х2-^к^р)( ^т^р
О [0 ]
где Ох ={|п' — х'|< |х31}.
Производя во внутренних интегралах (2.12) замену переменной по формуле р = п — а , получаем
1
Ч'+'Ч— (2.12)
и(х)=-
ПхVV¡) ®<п)>
—{(^2 -( —()2 -п2 — (¿2+2чх,о(*а вт^осй
д(3 0
-м
—{{^п) {( -(п —х;)2-Щ - х2 +2ф11ооза) вт^осй роизводную п
-)^2(v+1)|(^| |{г(п)
т^сЩ- (2.13)
Вычисляя здесь производную по х3, имеем 1
2/гГ(-v'Цv+2j I ^
Пм! 2 \ —Vl2)
Кх2 —(7^2 -( —— х2 +27,{(1C0>sа ЯП^Ойа
+{{у(;;^) —(т2 — ()2-Ц-.(|!+2ц.(lcosa:) вт^осй
О I» -
Решение задачи Коши (2.14) запишем в виде
и (х Г=п( „1г(.. , л{2 (v + ОЫ х
гГсИ+ (2.14)
(2.15)
где
2пГ (—к)Г (V +1)1 <{{т(п')тп ((—\п'\2)( )п12г+1сп'-
Ох
hJfV(п')7’.,п ( -|п’Г) 1 ,'/12”1сп']
. , , Г(и +1)
^ / т)=-^гЛ
Г +2
п .
х{/ып12 + х12 — 2п1 х1 оова,п2 — х2)вт2гаСа
0
оператор обобщенного сдвига.
3. Задача Трикоми
3.1. Постановка задачи Трикоми и единственность ее решения
Требуется найти четную по х1 функцию
и (х) , удовлетворяющую следующим условиям: и(х) е С2 (В + и В-)п С(В)п С1 (В); (3.1)
Ев (и) = 0, х е В+и В~; (3.2)
и| Г =р(А), Ае г ; (3.3)
<++ =0. (3.4)
Из условия (3.1) задачи Трикоми следует, что на полукруге Г+ выполняются условия склеивания
и ( х' ,0 —) = и ( х' ,0 +) = т(х'); (3.5)
их3 (х',0 —) = их3 (х',0 +) = V(х'), (3.6)
где т (х') и v( х') - пока неопределенные функции. Их найдем из требования, чтобы решение задачи Трикоми в В -эллиптической подобласти В+ совпадало с решением задачи N, а в В -гиперболической подобласти В - с решением задачи Коши.
Теорема 4. Задача Трикоми не может иметь более одного решения.
3.2. Существование решения задачи Трикоми
Задачу Трикоми будем решать методом интегральных уравнений. Нам потребуются соотношения между т(х') и v(х ') из обеих подобластей В+ и В .
В В -гиперболической подобласти В рассмотрим задачу Коши (2.1)-(2.3), а в В -эллиптической подобласти В+ - задачу N (1.2)-(1.5), считая как бы известными функции т( х ) и
К х ').
Решение задачи N в силу (1.14) имеет вид
и (х) = —{{р(Аг°А^ Асг -
,, Г А (3.7)
—{{ О (А, х МА)АксА,
а решение задачи Коши в силу (2.15) - вид и (х) = - 1
х-!2
2пГ (—^)Г (V +1)'
ч—(у+2)
(V + 1Гх^{{т(п')7;; ( —п'|2) пГ+1сп'+ (3.8)
+ffV(п')7iп ( —\п'\2) (
о \
Полагая в решении задачи N (3.7) х3 = 0 и в решении задачи Коши (3.8) х3 = |х'| — 1, х' е Г,++ , с учетом условии (3.4) и (3.5) имеем
т(х') = — КИа)о (А, х%ксА—
Го
АСГ • (39)
Г
0 = 2 (v +1)(1 - |x'|)x
ХЯт(п)7Пх R1 - Ix1)2 -M2
«X
+iHn)TX\(1 - lX'l)2 -M2
-(v+2)
n12v+1dn +
(3.10)
-(v+1)
n12v+1dn.
Формула (3.9) дает первое уравнение между т(х') и v(х'), которое определяется из условия
склеивания (3.5), а формула (3.10) дает второе уравнение, которое определяется из того, что решение задачи Трикоми в области В должно принимать значение 0 на К+ .
Вопрос о существовании решения задачи Трикоми (3.1)-(3.4) эквивалентен вопросу о разрешимости системы уравнений (3.9) и (3.10) относительно т(х') и v(х').
Сведем систему уравнений (3.9) и (3.10) к одному интегральному уравнению с одной неизвестной функцией. Для этого уравнение (3.10) запишем в виде
Я{Ф02 (v+1)(1 - M))X[(1 -I x'l)
r|2
-(v+2)
ЛпУП^1 - lX'l)2 -\n'\‘
-(v+1)
(3.11)
n12v+1dn = 0.
2 (;+1) r (n') (1 -1 x'|)?;x [( -1 x1)2 - 14
-(v+1)
-(v+ 2)
2
= 0.
Откуда
2 (v
v(n ) = -
+ 1)(IX 'I- O7^1 -Iх'l)2 -П' f ]
-(;+2)
-r(n). (3.12)
Ti\(1 -lх 'l)2-M2](}
Заменяя в (3.9) v(n?) на ее значение из (3.12), получим
т(х ') = лЦт(#')K(#,х ')#d# + F(х ') ,
Г0+
где Л = 2 (v +1) ,
K (#, X ) =
'і2
-(v+2)
TX
-(v+1)
(1 -I X'l)2-#11
G (#, x'),
Нетрудно доказать, что ядро К (А, х') интегрального уравнения (3.13) имеет интегрируемую особенность и Е (х') Е С (Г0 ) .
Отсюда следует, что уравнение (3.13) является интегральным уравнением со слабой особенностью.
Поэтому для уравнения (3.13) применима теория интегральных уравнений Фредгольма со слабой сингулярностью.
Ясно, что Е (х') = 0 при р(А) = 0 и мы имеем однородное интегральное уравнение
Ф') = 4ИА)К (А- х')А,сА, (3.130)
г0
соответствующее неоднородному интегральному уравнению (3.13) и задачу Трикоми с однородными граничными условиями
' ' = 0.
и = 0, и
ІГ ’ Ixj =
‘I-1
Из условия (1.1) следует, что равенство (3.11) возможно только тогда, когда подынтегральная функция равна нулю, т.е.
В силу теоремы единственности задача Трикоми имеет только нулевое решение. Поэтому и(х',0) = г(х') = 0. Отсюда и из (3.12) следует,
что у( х') = 0.
Таким образом, однородное интегральное уравнение (3.130) имеет только нулевое решение. В силу теоремы Фредгольма неоднородное интегральное уравнение (3.13) при любой ИЯ є С (Г) однозначно разрешимо и вместе с
ним однозначно разрешима задача Трикоми (3.1)-(3.4).
1. Weinstein A. Discontinuous integrals and generalized potential theory. // Trans. Amer. Math. Soc. - 1948. -Vol.63, №2. - P.342-354.
2. Мухлисов Ф.Г. О некоторых условиях существования функции Грина задачи типа Дирихле. // Краевые задачи для дифференциальных уравнений с частными производными. - Куйбышев: Изд-во пед. института, 1988. - С.66-75.
3. Мухлисов Ф.Г., Гафурова С.М. Решение задачи типа Коши для одного B -гиперболического уравнения методом интеграла Фурье-Бесселя // Спектральная теория дифференциальных операторов и родственные проблемы: Тр. Междунар. наун. конф. - Стерлитамак: Изд-во "Гилем" Уфа, 2003. - Т.1. - С.183-187.
4. Рыжик И.М., Градштейн И.С. Таблица интегралов, сумм, рядов и произведений. - М.: Государственное Изд-во технико-теоретической литературы, 1951.
* * * *
Г
THE SOLUTION OF TRICOMI PROBLEM IN THE SPACE FOR AN EQUATION OF THE MIXED TYPE WITH THE BESSEL OPERATOR USING THE METHOD OF INTEGRAL EQUATIONS
F.G.Mukhlisov, R.M.Safina
In this work we give the statement of Tricomi problem in the space for an equation of the mixed type with Bessel operator. The existence of the unique solution is proved.
Key words: Tricomi problem, equation of the mixed type, integral equation method
Мухлисов Фоат Габдуллович - доктор физико-математических наук, заведующий кафедрой математического анализа Татарского государственного гуманитарно-педагогического университета
Сафина Римма Марселевна - ассистент кафедры экономической информатики и математики Татарского государственного гуманитарно-педагогического университета
E-mail: [email protected]
