CC BY
1ВЕСТНИК ОШСКОГО ГОСУДАРСТВЕННОГО УНИВЕРСИТЕТА МАТЕМАТИКА, ФИЗИКА, ТЕХНИКА. 2023, №1
УДК 517.9
https://doi.org/10.52754/16948645 2023 1 163
ТРЕХСКОРОСТНАЯ ОБРАТНАЯ ЗАДАЧА ДЛЯ НАГРУЖЕННОГО СИНГУЛЯРНО-ВОЗМУЩЕННОГО УРАВНЕНИЯ ПЕРЕНОСА С ИНТЕРГАЛОМ СТОЛКНОВЕНИЙ В НЕОГРАНИЧЕННОЙ ОБЛАСТИ
Омуров Таалайбек Дардайылович, д.ф.-м.н., профессор, Саркелова Жылдыз Жанышевна, ст. преподаватель,
sjjyldyzaa@gmail.com Кыргызский национальный университет им. Ж.Баласагына,
Бишкек, Кыргызстан
Аннотация. В данной статье исследуется многоскоростная сингулярно-возмущенная обратная задача переноса в неограниченной области. В работах [1, 2] и др., множителем интеграла столкновений в обычных задачах переноса было максвелловское распределение или максвелловское распределение умноженное на частоту столкновения. В отличии от указанной задачи, здесь рассматривается нелинейное сингулярно-возмущенное интегро-дифференциальное уравнение переноса второго порядка, причем нарушение малости погранслойной функции относительно малого параметра носит нелокальный характер, в чем и заключается актуальность исследования указанной сингулярно-возмущенной обратной задачи.
Результаты исследуемой сингулярно-возмущенной обратной задачи, получены на основе представления асимптотического характера.
Ключевые слова: сингулярно-возмущенная обратная задача переноса, уравнение переноса, представление асимптотического характера, вырожденная обратная задача, малый параметр.
ЧЕКСИЗ АЙМАКТА КАГЫЛЫШУУ ИНГЕРАЛЫ МЕНЕН ЖYКТeЛГeН СИНГУЛЯРДЫК КОЗГОЛГОН ЖЫЛЫШУУ ТЕНДЕМЕСИ YЧYН Y4 ЫЛДАМДЫКТАГЫ ТЕСКЕРИ МАСЕЛЕ
Омуров Таалайбек Дардайылович, ф.-м.и.д., профессор, Саркелова Жылдыз Жанышевна, ага окутуучу,
sjjyldyzaa@gmail.com Ж.Баласагын атындагы Кыргызулуттукуниверситет,
Бишкек, Кыргызстан
Аннотация. Бул макалада биз чексиз аймакта квп ылдамдыктагы сингулярдуу козголгон тескери жылышуу маслесин изилдейбиз. [1, 2] жана башка илимий эмгектерде кадимки жылышуу маслеси кагылышуунун интегралдык фактору Максвеллдик бeлYштYPYY же кагылышуу жыштыгына квбвйтYлгвн Максвеллдик бвлYштYPYY болгон.
КврсвтYлгвн маселеден айырмаланып, бул жерде биз экинчи даражадагы сызыктуу эмес сингулярдуу козголгон интегро-дифференциалдык жылышуу тецдемесин изилдейбиз, ал эми чек ара катмар функциясынын кичинекей параметрге карата аздыгынын бузулушу локалдык эмес болгон YЧYн, бул кврсвтYлгвн сингулярдуу козголгон тескери маселени изилдвв актуалдуу болуп саналат.
Изилденген сингулярдуу козголгон тескери маселенин натыйжалары асимптотикалык кврYHYштYн негизинде алынат.
Ачкыч свздвр: сингулярдуу козголгон тескери жылышуу маселеси, жылышуу тецдеме, асимптотикалык кврсвтYY, тескери маселе, кичинекей параметр.
THREE-VELOCITY INVERSE PROBLEM FOR A LOADED SINGULARLY PERTURBED TRANSPORT EQUATION WITH A COLLISION INTEGRAL IN AN
UNBOUNDED DOMAIN
Omurov Taalaibek Dardaiylovich, Dr Sc, professor, Sarkelova Zhyldyz Zhanyshevna, teacher,
sjjyldyzaa@gmail. com Kyrgyz National University J. Balasagyn, Bishkek, Kyrgyzstan
Abstract. In this article, we study a multivelocity singularly perturbed inverse transport problem in an unbounded domain. In [1, 2] and others, the factor of the collision integral in conventional transport problems was the Maxwellian distribution or the Maxwellian distribution multiplied by the collision frequency. In contrast to the specified problem, here we consider a nonlinear singularly perturbed integro-differential transfer equation of the second order, and the violation of the smallness of the boundary layer function with respect to a small parameter is non-local, which is the relevance of studying the indicated singularly perturbed inverse problem.
The results of the studied singularly perturbed inverse problem are obtained on the basis of an asymptotic representation.
Key words: singularly perturbed inverse transport problem, transport equation, asymptotic representation, degenerate inverse problem, small parameter.
Рассмотрим трехскоростную коэффициентно-обратную задачу переноса вида:
■ЛЕuu w
(ai. а2, аъ) е
UE+ h0(x, y, z)US =
f 2 2 2 Л x + y + z
^ te aU,)+ UKf, x, y, z ) = Ze (x, y, z)f (t) + sUs (t, x, y, zo)(KUs )(t, x, y, z),
U) (t, x, y, z) It=o = Ft(i) (0, x, y, z) + (2a,x^1 + 2a2ys'1 + 2a2zs'1)' exp Vt(f)(0,x,y,z) = ъ(x,y,z,), (i = 0,1), V(x,y,z) e R3,
lU^a^ U = (Ut + 0!Uex + aiUEy + a3UEz ) U = g0(^ У, z) + ge(x, ^ z), [(V + aVx + a2Vy)t=T = g>(x, y, z), V(x, y, z) e R3,
при этом вводится информация относительно исходных данных в виде:
(2.4.1)
(2.4.2)
(2.4.3)
11 g^ ||ip (R3)=IЯ1 g-( x, y, z) 1 p dxdydz
<Ai(^),
Д x - a,(t - s), y - a2(t - s), z - a3(t - s))||
lp (0,T)
sup [|gs(x-a,(t-s),y-a2(t-s),z-a^t-s))|p ds (Д(, д2 <д0(e) ^ 0),
<Д2(^),
(2.4.4)
i „xp i
| Ue(0,x,y,z) - V(0,x, y,z)||Lp(R3)<
((( 8 8 8 8 „-,= — + a— + a2--ha3 —
ж
Sp =Y0^p,
^a2,a3) 8t 1 8x z 8y J &' где (U£,Z£)- являются неизвестными функциями. В указанных условиях требуется показать близости решений сингулярно-возмущенной обратной задачи и вырожденной обратной задачи в классе функций Whp(fi0) , здесь: 0 < h0(x, y, z), f (t), (pt(x, y, z), 0 <K(.),
g0 (x, y, z,), g£(x, y, z), 0 < ai, A = const, (i = 1,3), 0 < P < (- являются известными, причем
(2.4.5)
KUe=\ K (x, y, z, x', y', z')h (x',y', z')Ue(t, x', y', z')dQ ,(dQ = dxdydz ),
R3
J K (x, y, z, x', y', z') d Q = 1; h0 = h (x) + h2 (y) + h3 (z) + h( x, y, z),
Д3
0 <h<h = const, 0< A,, < = corai, V(x,y,z)^R\ i
f r 1 P ■
1 F h(x, y, z)dxdydz <y1 = const; sup | f(i )(t) |< f0 = const, (i = 0,1),
U3 J [0T 1 "
f (0) = 0; f (T) * 0; f (T) - J exp (T - s) jf '(s)ds = M0(T, X,sp) * 0,
W e (0,1), (e = 0); 0 < — = const <<1.
Л
1. Известно, что при £ = 0 из коэффициентно-обратной задачи (2.4.1) - (2.4.3) следует:
Е^У + jK (wF = jZ{x,y,z)f{t\ (2.4.6)
Vt)(0, x,y, z) = (Pi(x,y, z), (i = 0,1), V(x,y, z) e R2, (2.4.7)
(Ega*.a3)V) U = gc(x, y, z), V(x, y, z) g R2, (2.4.8)
где задача (2.4.6) - (2.4.8) называется вырожденной обратной задачей переноса, причем неизвестные функции.
Видно, что из вырожденной обратной задачи в условиях (2.4.5), (2.4.7), (2.4.8) из уравнения (2.4.6) следует система:
ЕШ a3)V + -A0(x, y, z)V = (f (T))-1 f (t)
g 0( x, y, z) + ^h0V
= {B0V )(t, x, y, z),
Z(x,y,z) = (/(Г))-1 [2g0(x, v, -) + h0V(t, x,y, =)].
Следовательно, на основе
(2.4.9)
V = Q(t, x, y, z) exp
x у z
^ f +I0T J h2(^2)dT2 ^ Ля^ J ^3)^3
Xa^
\ —rn
с условием
Q U = %( x, y, z )exp
li- f h1(^1)d^1 + ^ } h2(r2)dr2 + J h3(T3)dt
(2.4.10)
(2.4.11)
= x, y, z), V(x, y, z) e R2,
из (2.4.6) имеем уравнение вида:
Е^,Q = {-1(x,y,z)V + (B0V)(t,x,y,z)|exp[j- J+ 1 у 1 z
+ — i h2(b)dr2 i h3(T3)dT3
Ял Яо,
(2.4.12)
т.е. (2.4.11), (2.4.12) - являются задачей Коши относительно функцииQ(?, х, у, z). Тогда из (2.4.2) следует:
Q = %(x - a1t, y -a2t, z -a3t) +
t f f i x-a^t-s) ^ y—a2(t—s)
exp
V v
t f i x — ai(t — s) i y — a2 (t—s) 1 Z —a^(t—s)
f exp — f hi(Ti)dti + — f h2(T2)dT2 + — f h3(z3)dz i Aa Aa ла, J
У/
(2.4.13)
1
x j-—h(x-a1(t -s),y -a2(t -s),z -a3(t -s))V(s,x -a1(t -s),y -a2(t -s),z -
-a3 (t - s)) + (B0V) (s, x - a (t - s), y - a2(t- s), z - a3(t - s))} ds. Поэтому, подставляя (2.4.13) в (2.4.10), имеем
Г 1 г 1 y
— J h1(rl)drl + — J h2(r2)dr2
V = ^0( x - a1t, y - a2t, z - a3t) exp
1 x- a1t
Xa,
1 f
— I h3(r3)d^3
Aa3 J .
3 z - a3t
J
exp
2 y - a2t
y
1 f 1 f
-— J h1(T1)dT1 +-— J h2(r2) dz2
1 x - a1( t - s) 2 y - a2( t - s)
1z
— I h3(r3)dr
Л"
Л
1
- — h( x - a1(t - s), y - a2 (t - s), z - a3 (t - s)) x
(2.4.14)
-t 1 A
3 z-a3(t-s) у
x V (s, x - a1(t - s), y - a2 (t - s), z - a3 (t - s)) + (B0V) x x (s, x - a (t - s), y - a2 (t - s), z - a3 (t - s))} ds = (BV)(t, x, y, z), где (2.4.14) является нагруженным интегральным уравнением второго рода относительно
функции V(t, x, y, z) . Так как 0 < — = const << 1, то оператор B допускает условия принципа
Л
Банаха [3], т.е. уравнение (2.4.14) разрешимо в C(Q0). А это означает, что функция FeCul(iln) является известной. Тогда, с учетом (2.4.9), и функция Z(x,y,z) считается известной. В этом случае предположим, что функции: (Vt )t, (Vx)t, (Vy )t,(Vz)t e Lp(0, T) для всех фиксированных (x,y,z) e R2, т.е.:
| IV2IIlp = I Ji Vt2(t,x,y,z)| pdt
V 0
i T
I |VJ Ilp = |J| Vx (t, x, y, z)| pdt
V 0
i T
IIV»IIlp = |J| Vy (t, x, y, z)|pdt
< C
01'
< C
02'
< C
(2.4.15)
у
11 VzIIlp = |J I Vz (t, x, y, z) Ipdt J < C04, V( x, y, z) g R2,
C0 _ max(C01, C02 , C03 , C04 ).
Лемма 2.4.1. При выполнении условий (2.4.5), (2.4.7), (2.4.8) вырожденное уравнение (2.4.6) разрешимо в СШ(П0), причем допускается условие (2.4.15) для функций
V V V V
2. Далее, чтобы выяснить разрешимость сингулярно-возмущенной обратной задачи переноса, применим представление асимптотического характера, т.е.:
(х - а.^)2 + (у - а21 )2 + (х - а31 )2
Ue(t, x, y, z) = V + £ + exp
ZB{x,y,z) = Z + rj8{x,y,z).
Тогда из (2.4.1), с учетом (2.4.6), (2.4.16) вытекает:
2 2 ~4_l2
( x - a1t) + (y - a21) + (z - a31)
(2.4.16)
ep<
—(eш E V
\ (al, a2, a3p Ef
V + 4 + exp
a3)4+ h0(x, y, z)
4+ exp
(x - a1t )2 + (y - a21 )2 + (z - a3t)
у
2 ^
К
(2.4.17)
J J
= r/s(x,y, Z)f(l)-s" (v2 + аУъ + ay, + a3Vt:), где решение вырожденной обратной задачи (2.4.6) - (2.4.8), (£S,T]S)- остаточные
функции, которые содержатся в уравнении (2.4.17) с условиями:
)(t, x, y, z)t = 0,(/ = 0,1), (2.4.18)
(E^^) I= ge(x,y,z), V(x,y,z) e R2. (2.4.19)
Фактически остаточные функции определяются из обратной задачи (2.4.17)
- (2.4.19), где (2.4.19) является дополнительной информацией для этой задачи. Поэтому, чтобы выяснить разрешимость обратной задачи относительно остаточных функций, сначала, (2.4.17) преобразуем к виду:
E^a, A =~r j exp I -Л(t -s)) {-h0(x, y, z(s, x, y, z)+nE (x, y, z)f(s) -
S 0 \s J
-sh
2&( s, x, y, z)
V (s, x, y, z) + exp
' (x - a1 s)2 + (y - a2s)2 + (z - a3s)2 V
/У
(2.4.20)
+42 (s, x, y, z)] }ds + Y (t, x, y, z, s) = (H 0£e) (t, x, y, z) + exp ~ s) jf (s )ds:
x, y, z) + ^(t, x, y, z,s), где функция Y1(t, x, y,s) определяется по формуле:
/
Y "I
= I exp
1
+a3Vsz (s, x, y, z) )-
(t - s) j { - (Vs2 (s, x, y, z) + aVsx (s, x, y, z) + a2VSy (s, x, y, z) + (x - a1 s)2 + (y - a2s)2 + (z - a3s)2 ^
V( s, x, y, z) + exp
J J
(2.4.21)
( 1 V»
\Y1I<sq (C0 + C0(a1 + a2 + a3)) -f- '+(T0 +1)2\е"=д1{е)^, 0;- + - = 1,
\Aq j A q p
sup|V|< T0.
Из уравнения (2.4.20), на основе (2.4.19) следует уравнение:
здесь
Y = f{Y(s,x-a1(t-s),y -a2(t -s),z-a3(t -s),s) + -1- fexp-s') | f (s')ds'x
0 0 I ep )
xMj^1 [ ge (x - a1 (t - s), y - a2 (t - s), z - a3 (t - s)) -Y1 (T, x - a1 (t - s), y - a2 (t - s), z - a3 (t - s), e)]} ds, т<ад [t +1 M^l f0 | j+|Mо11 f0 | }|g£( x - 01 (t - s), y - 02 (t - s), z - a3(t - s))|ds <
^p 1 , ., ,1
^ Г А (Ю + Г31 J l g£ l pds < y2Sl (s) + Г3Д0 (Ю = S2(s),y2 = T +IM-1 Ifa -; Г3 =l M011 f0 - (T)'.
j
Лемма 2.4.2. В условиях леммы 2.4.1 и системы
\LP < 1,
II^W^^IM,:11(A)'AoC^+IM"1 \50{s)y+y\M0l \ y4{l-Lpyl * xS2(s) = S,(s\
j(h0+2(T0+l) + (l-LpyS2(s))<y4,
(2.4.23)
^(х, у, г) = М0\Т,ЛУ) ^е(х, у, г) - ^(Т, х, у, 2,е) + (Н>£)(Т, х, у, 2)}. (2.4.22) Следовательно, подставляя (2.4.22) в (2.4.20) получим:
= - (Яо4 ) ($, х, у, 2) + ±1 ехр А (, -в)) /(5X
хМ-1 (Н ) (Т, х, у, 2) + 72 (I, х, у, 2, е), где
72 - 7 + А |ехр А (, - 5)ухМ-1 х, у, 2) - 7 (Т, х, у, 2,5)}.
Поэтому, с учетом (2.4.18) из (2.4.23) имеем:
í
40, хy, 2) = {{-(Но4)0, х -а1(* - ^у - аг(1 -5X 2 -аъ(1 -5))+
о
+ А Г ехр Г- А(5 - 5')/(5 'XМо-1 (Н0£е ) (Т, х - а, ( - 5), у - а2 ( - (2.4.25)
Б о V ^
- 5), 2 - аъ(г - 5))} ёв + 7 ^, х, у, 2 ,е) = (Р^£ , х, у, 2),
(2.4.24)
(2.4.26)
(2.4.27)
[P: Sr0 ^ Sr0, (Sr0 = {£ :| £ J< r0 = const, V(i, x, y, z) eQ0}), уравнение (2.4.25) разрешимо в C (Q0), причем
||£||c <(1 - Lp (2.4.28)
Следовательно, на основе (2.4.22) имеет место:
(2.4.29)
В самом деле, результаты леммы 2.4.2 очевидны, так как при выполнении (2.4.27) для оператора Р реализуются условия принципа Банаха, а это означает, что уравнение (2.4.25)
имеет единственное и непрерывное решение в С(П0). Тогда, с учетом (2.4.22) имеем оценку вида (2.4.29). ЧиТД.
Так как относительно всех слагаемых функций (2.4.16) выполняются выводы лемм 2.4.1, 2.4.2, и на основе (2.4.16) следует оценка вида:
(х - а^)2 + (у - а21 )2 + (г - а31 )2
\ив-V |<||4||с + ехр
(2.4.30)
£
Поэтому, учитывая условия лемм 2.4.1; 2.4.2 и оценивая (2.4.30) в смысле нормы Ьр„ (О о), получим:
1 11
\\ие-¥\\1Р<(1-1ХЧеШТу ННТУГ()8Р =ё4(е)^0. (2.4.31)
Ч, г ' е^О
Далее, рассматривая совокупности результатов (2.4.29) и (2.4.31), и учитывая
¥ = {уе-у-1е-2),
имеем оценку:
= {(/,*,у,г) е О0 : у/&,х,у,г) е ¿'(Ц,),щ2{х,у,г) е ЬЦЯ2)},
III V И№)=11 ие -VII + II 7 -2 || * + = А(е) -+0.
(2.4.32)
г-»0
Теорема 2.4.1. В условиях лемм 2.4.1, 2.4.2 и (2.4.32) сингулярно-возмущенная обратная задача (2.4.1) - (2.4.4) имеет единственное решение по правилу (2.4.16), причем допустимая погрешность между решениями сингулярно-возмущенной обратной задачи и вырожденной обратной задачи в Ж/ (О0) будет порядка А(е).
Литература
1. Омуров Т.Д. Прямые и обратные задачи односкоростной теории переноса[Текст]/ Т.Д. Омуров, М.М. Туганбаев. - Бишкек: Илим, 2010. - 116 с.
2. Туганбаев М.М. Прямые и обратные задачи для многоскоростных уравнений типа [Текст]/ Каца - Больцмана/ М.М. Туганбаев. - Бишкек, 2011. - 122 с.
3. Треногин В.А. Функциональный анализ [Текст]/ В.А. Треногин. - М.: Наука, 1980. - 196 с.
