ПРОЕКТИРОВАНИЕ
УДК 51+53 DOI: 10.22227/2305-5502.2017.3.1
АППРОКСИМАЦИОННОЕ РЕШЕНИЕ КИНЕТИЧЕСКОЙ
СИСТЕМЫ КАРЛЕМАНА
С.А. Духновский
Национальный исследовательский Московский государственный строительный университет (НИУ МГСУ), 129337, г. Москва, Ярославское шоссе, д. 26
АННОТАЦИЯ. В статье рассматриваются свойства аппроксимационного решения уравнения Карлемана. Решение задачи Коши с периодическими начальными данными найдено для малых возмущений состояния равновесия. Приведены теорема существования глобального решения уравнения Карлемана, а также теорема существования нелинейного уравнения, которое получается из исходного кинетического уравнения. Доказано, что аппроксимационное решение слабо сходится к исходному решению уравнения Карлемана. Предположено, что решение задачи Коши распадается на суперпозицию слабо взаимодействующих солитонов и убывающую дисперсионную волну.
КЛЮЧЕВЫЕ СЛОВА: уравнение Карлемана, нелинейное гиперболическое уравнение, Гильбертово пространство, задача Коши, слабое решение
ДЛЯ ЦИТИРОВАНИЯ: Духновский С.А. Аппроксимационное решение кинетической системы Карлемана // Строительство: наука и образование. 2017. Т. 7. Вып. 3 (24). Ст. 1. Режим доступа: http://nso-journal.ru.
AN APPROXIMATION SOLUTION OF THE KINETIC CARLEMAN SYSTEM
S.A. Dukhnovskiy
Moscow State University of Civil Engineering (National Research University) (MGSU), 26 Yaroslavskoe shosse, Moscow, 129337, Russian Federation
ABSTRACT. The properties of approximation solutions of the Carleman equation are discussed in this paper. A solution of the Cauchy problem with periodic initial data is obtained for small perturbations of the equilibrium state. The theorem of existence of a global solution of the Carleman equation as well as the theorem of nonlinear equation existence obtained by the kinetic Carleman equation has been brought over. It has been proved that the approximation solution converges weakly to the original solution of the Carleman equation. It is assumed that the solutions of the Cauchy problem split into the superposition of weakly interacting solitons and decreasing dispersion wave.
KEY WORDS: Carleman equation, nonlinear hyperbolic equation, Hilbert space, Cauchy problem, weak solution
FOR CITATION: Dukhnovskiy S.A. Approksimatsionnoe reshenie kineticheskoy sistemy Karlemana [An Approximation Solution of the Kinetic Carleman System]. Stroitel'stvo: nauka i obrazovanie [Construction: Science and Education]. 2017, vol. 7, issue 3 (24), paper 1. Available at: http://nso-journal.ru. (In Russian)
СЧ M
Исследуем дискретное уравнение Карлемана [1-10], которое является частным случаем уравнения Больцмана:
1
д1и + ди = -О2 -и2), Г >0, х еЯ\
^ х е
¿5 д ™ -д^ = -—(^2-и2),
. х е г*
д с периодическими начальными условиями
и |,=0 = и°(хX М> I,=0= ^0хX О и0 (х) = и0 (х + 2п), м>0 (х) = м>0 (х + 2п).
и ва
с» где и(х,t), w(х,t) — плотности частиц, одна из |§ которых движется с единичной скоростью вдоль оси Ох в положительном направлении, другая — в противоположном, а параметр е является аналогом свободного пробега частицы.
(1)
(2)
Уравнение Карлемана (1) описывает смесь процессов: релаксацию и свободное движение. Суть релаксации заключается в распространении частиц в разных направлениях. Уравнение Карле-мана является частным случаем дискретного уравнения Больцмана. В течение десятков лет исследований уравнения Больцмана было найдено лишь несколько точных решений этого уравнения. Изучение свойств системы Карлемана и поиск ее решений позволяет исследовать более сложные модели, такие как система Годунова—Султангазина [5-6] и Бродуэлла [11-13] для трех и четырех частиц соответственно. Многие авторы провели численное исследование уравнения Карлемана и численно исследовали математическое ожидание, дисперсию и другие характеристики системных решений Кар-лемана.
Будем решать нашу задачу в весовых пространствах Г2'у(R+;H.),Z2y(R+,H.),Ha, с соответствующими нормами d
1И,,( R+ ;H.)
dt
+ \u\\
L2,y (R+ ;Hc-l)
i2,T(R+ ;Hc) '
= J e2yi \u0(t)|2 dt + 0
+ J e2Tt £ |k|2° \uk (t)|2 dt,
0 k^Z0
II -II2 I I2 Х-1 I; l:
Ин„ = \Uo\ + ^ к
Ищем решение системы (1)-(2) в виде
и = ue +е2( we )^2 U, w = we +s2( we )^2 w,
(3)
2
(IИ Ih .+11 w°l LH2
(5)
(7)
(I IU1 H.-) +1 w°l H.-) H2 q q e(0,1)
тся неравенств
(|IUI ( ) +1 |w°||, )). (8)
для которого выполняется неравенство
"4,т( R+, H.
Теорема 3. Последовательность аппроксима-ционных решений
й{т\х, г) = й0(т)(0 + £ йк(т)(г)е1кх,
,|к|<т
М(т)( х, г) = м0(т)(г) + £ мк (т)(? )е1кх, (9)
ке20, |к| <т
фундаментальна по норме Гильбертова пространства (Я+; Нст). Более того, она стремится к слабому решению й (х, г), М (х,г) задачи Коши (4):
Я
1 ^
t ( +dx )(t, x) + 2we— (W - и )cp(t, x)-
—<
V s
где ие = — состояние равновесия; й(х,г), М( х, г) — ряды Фурье.
Подставляя выражение (3) в (1) и (2), получим систему уравнений для возмущений
)) x) J й° ^(t,x))_о dx = О,
dtdx-
1
w ( -dx )|(t, x)-2w,— (W - и )|(t, x) +
dtdx +
ди + д й--м (М -й) = ем1 (тф1 -й ),
- - 62 . . в ., .2 (4)
дгм -дхм + — ме (м- - й) = -ем; (м- - й ), е
с периодическими начальными условиями
й I,=0 = й°(x), м I,=0 = М<>(х).
Теорема 1. Существуют постоянные у = ец0, ц0 е (0,1), q е (0,1), такие, что для периодических начальных условий (й0, М0) с нулевыми средними и ограниченной нормой
для ст > 3/ 2 существует глобальное решение й (х, г), М (х,г) е ^ (Я+;Нст) задачи Коши (4).
В работах [5, 10, 11] система уравнений Кар-лемана сводится к нелинейному уравнению в Гильбертовом пространстве Ь2 у (К+, Нст(т)):
2(т) = ^т) ( ) + еме<2 ») ( ) + (41?к ( (т) +2Ьк) (1 (4т))) + +4Бк(т) (1 ()),Т- ((т)))-
(Т1 (е-гкг)+Т- (т)) ^ (6)
Теорема 2. Пусть ст > 3 / 2. Тогда существует единственное решение 7(т) е ¿2у(, Нст(т)) нелинейного уравнения (6), если
+—(й2 - WW2 )| (t,x)
V s у
+ J W0 |(t, x))_o dx = О
для любых пробных функций ф, fe (R+ xR1). Теорема 4. Последовательность
Z(т) ={zk-),\k\ < т, k Ф 0} является фундаментальной в пространстве
МR+,Н.(т)) и lim Z(т) = Z.
Рассмотрим разность нелинейных уравнений (6) с разными индексами т2 > т1 при < т1 в
L2,y (R+):
||2(т2> _ ^^ ||2 <
II II L2,y(Ü+) ~
e**'1' (((m2)(t)_))
L2,Y (R+ )
+e2 we\G[ m\') _ G<k"1>(' )||L^ (r+ ) + +e2\LBk (r;1 (Z(m2))_(Z(mi)))||^)-
L<T2) (t;1 (z (m2) ))-L(mi) (t;1 (z (mi))
2,y (R+ )
+ 16
B (m2) I
(10) isl|
L2,y (R+ )
(г;1 (г(™2) ),г;1 (7(™2) ))--Е^ (1 (7(И1)),ТГ1 (7(И1)))
+| (г;^ (е1т2)^1 (е1Ь)+г;1 (г(т2))) -
-Там )+г-1 (7(т1) ))|^ (^.
Умножим вышеуказанное неравенство на |у|2п и возьмем супремум. Оценим, например, разность билинейных форм. Остальные выражения оцениваются аналогично. Имеем
се се
ев
оо 2
О
J = е2we sup \k\2Л( (Z<"2>),riT1 (Z<"2>))-
keZ0, |k| <m, II V V ' V 77
- Bkmi) ((Z,m) ),T- (z (mi)
|i2,, Л )
= е we sup |
keZ0, |k| <m
xL pi(s-' >Tk-1 (zki("2))) - Tk-1 (zki°
- X ik2 f ek2Z-,)Tk-1 (Zk2(mi)))x
ki +k2 =k,|ki|, |k21<mi 0
kpi(s-'(ztm)) -T- (ztm
V 0
СЧ
n
U
X * p (z*,™ )) X
;.*il> |*2|im2> 0 |*21) >™1
N
* J e*1 (s-' T1 ) )s - T- ( z™ )
V о
p5
и ва
С <*
sl5
S о
u 2
+ X *((т) - z*,(4) )ds X
*1 +*2 =*.|*l|. |*2|im1 0
X i*iJe*1 ^r*-1 ((И2))-T- )
V 0
X * Je*(-X (m1))dsx
*1 + *2 =*.|*1|. |*2|im1 0
f ,'*1 (s-<)T-l (_ (»1) - _ (m2) ), )
re.....- X ( -z*1(m2))ds-
ik1 J „-1,
4
-T- ( - z*1(m2))
4y(R+)
Расписывая норму и внося супремум под знак интеграла, получаем одно из выражений типа
X ik2 f e*2 (s-')Tk^1 (zk2(m2) )ds x
ki + k2-k,|ki|, 1*2 |S"2 0
J=J е2тЛ £ —-7 k j
0 k \k2 =4,14-, |k2\<mt \k2\ 0
x( z, (m2) - zk (mi) \ k2 k2
x sup k
kIeгo, lki Is mi
x
f ' eikI(s-I:
ikI f J \
^-t)k2|7 T-1 x
Л
dt.
(11)
Заметим, что сумму при ш2 можно расписать следующим образом:
X гк2\е*2(^Тк-— )ds X
к— + к2 = к ,| к—|, 1^2|< тг 0
k J ek (s-t Т-1( z,/ m ) ds - T-( z,/m )J =
X k je'kz(s-t'Т-1 )ds X
kj + ^2 = k ,| ki|, 1^21< m2, 0
ikj J eik1 (s-t )?;-1( z,/ ) zti ^^^
ч 0 - Г,-1
Другие оцениваются аналогично. Здесь мы умножили и разделили на |к2 |п для получения нормы. Далее выносим из-под суммы супремум выражения, зависящего от параметра ^ тогда имеем
/j = sup sup
t kjeZg, ¿2
■e'*-t > ¿2 Г t;: X
'i
(m2 ) _ ,, (ml) '
XJe
0
,2Tt
sup
kjsZo ,|'j |<mj
.e'(s-t)T'-1 (z'j(m2))ds J -r-l
T-1 ( z (m2) \
0 -T', lZ'l J
dt x
x X 2o-
k, +'2 =',|'i|, '2|<"l '2 I В^гчисляем супремум
I = sup sup
t eZ0, |*2 |<m,
+ X k J eik2 (s-tT-1 ( z,/ ds X
ki + k2 = k,|kj|, |k21<mj 0
iki Je'ki (s-t 'Г,- z^ ^^^^ ^^^^^^ ^^
V 0 J
Применяем данное в^1ражение к выражению (11), а также добавим и вычтем обратный оператор Т- (zk(m)) в подынтегральных выражениях для того, чтобы оценка выражалась через разность:
J = е2 we sup |*|2а
*eZ0 *\< ш-1
t. (s-t>|k2 f e^e^T-1 x
■I
(m2) _ ^ (ml) % k2
Воспользуемся неравенством Гельдера, получаем
I <
j e-2y'dt
/
"[i e'".,.|'|i, < Г MV - - )d'
£l| T-1 ) _ 7 (»1))
Y Г*2 lZ*2 Z*2 j||i2,Y(v+,Яо(-1))
Пользуемся тем, что у = ец0 и оценкой линеаризованного оператора [3]. Отсюда
I < с21\г (п,2) - г (га1)||2
е3 " 2,у (■ . ,
Остается второе слагаемое, которое является самой нормой. Опять пользуемся оценкой:
J-
2у(
sup \кх |°
ki sZq , ki |< wj
(s-,)7k-1 (k,<m2) )ds -
к I
0 -Tki izk,
dt =
. ¿h (-tTk-1 (z ("2) )ds -k i k1lk1 j 11 -Tk-1 (zki(w2))
<1 cAZ
(w2)
Таким образом, имеем
<¡1г г (и2)1^(,+, я.« т.) )1 г (-2) -г
Для параметра J неравенство примет вид
2
2
X
J <
Ä + Ä2 = Ä.ÄeZ0. Äj<"2. ki I
ro_z ("z)
i2»ll IL „U+. я„<"2))
Z
( m2)
Z <"2) _ Z (ml)
+c5 l|ZHf , < „ ||Z("2) _ ZMI2 . < (12)
5. 2. y (R+. я„(">> )ll IL. ,(r+. H„(">>) K >
Заметим, что
^ 1
*1 + *2 =*,keZo,m <|k|<m ki
1 1 1
- < —
k1 + *2 =*,*eZ0,1*1 >m1, 1 m1
(13)
m:
q4 + ^„q2 Z»2) _ZH
Переносим норму, стоящую справа:
II2 / а c
Z (m2) _ Z ("^ll
,0_с, q2 )< q'
Потребуем, чтобы выполнялось 1 _ c8 nq > 0 . тогда
||Z("2) _ z<"i) I
Заметим, что
H(m) с H ,
<
c6 q
L2.y(^mi) ) "
Г (1 _ c8. e q2 )■
С учетом (13) и теоремы 2, неравенство (12) примет следующий вид:
3 q4 + с5^2||2(т2) - ^
Применяем к уравнению (10) неравенство для величины ,/:
Ц^(тг) - 7(т1) II2
если элементы пространства #а(т) продолжить нулями при условии |у| > т. В этом случае можно записать
4
(т2) _ 7(т;) II2 < __
II II Ч ,(*+,Нст)" т;2ст-1 (1 -с8, ст?2)'
Это выражение дает, что Z(mt> является фундаментальной последовательностью.
Отсюда следует, что й(т)(х,г), М-(т) (х,г) слабо сходится к решению задачи Коши й (х, г), М (х, г).
ЛИТЕРАТУРА
1. Больцман Л. Избранные труды : пер. с нем. ; в 3 ч. М. : Наука, 1984. 590 с. (Классики науки)
2. Васильева О.А., Духновский С.А. Условие секу-лярности кинетической системы Карлемана // Вестник МГСУ. 2015. № 7. С. 33-40.
3. Духновский С.А. О скорости стабилизации решений задачи Коши для уравнения Карлемана с периодическими начальными данными // Вестник Самарского государственного технического университета. Серия: Физико-математические науки. 2017. Т. 21. № 1. С. 7-41.
4. Духновский С.А. Об оценках линеаризованного оператора кинетической системы Карлемана // Вестник МГСУ. 2016. № 9. С. 7-14.
5. Годунов С.К., Султангазин У.М. О дискретных моделях кинетического уравнения Больцмана // Успехи математических наук. 1974. Т. XXVI. Вып. 3 (159). С. 351.
6. Васильева О.А., Духновский С.А., Радкевич Е.В. О природе локального равновесия уравнений Карлемана и Годунова—Султангазина // Труды Седьмой Международной конференции по дифференциальным и функционально-дифференциальным уравнениям (Москва, 22-29 августа, 2014) : в 3 ч.; Ч. 3. М. : РУДН, 2016. С. 23-81.
7. Карлеман Т. Математические задачи кинетической теории газов : пер. с франц. М. : ИЛ, 1960, 118 с.
8. Васильева О.А., Духновский С.А., Радкевич Е.В. О локальном равновесии уравнения Карлемана // Проблемы математического анализа. 2015. Т. 78. С. 165-190.
9. Radkevich E.V., Vasileva O.A., Dukhnovskii S.A. Local equilibrium of the Carleman equation // Journal of Mathematical Sciences. 2015. Vol. 207. No. 32. Pp. 296-323.
10. Васильева О.А. Численное исследование системы уравнений Карлемана // Вестник МГСУ. 2015. № 6. С. 7-15.
11. Радкевич Е.В. О дискретных кинетических уравнениях // Доклады Академии наук. 2012. Т. 447. № 4. С. 369-373.
12. Radkevich E.V. The existence of global solutions to the Cauchy problem for discrete kinetic equations // Journal of Mathematical Sciences. 2012. Vol. 181. No. 2. Pp. 232-280.
13. Радкевич Е.В. О поведении на больших временах решений задачи Коши для двумерного дискретного кинетического уравнения // Труды Шестой Международной конференции по дифференциальным и функционально-дифференциальным уравнениям (Москва, 14-21 августа, 2011). : в 3 ч.; ч. 3. М. : РУДН, 2013. С. 108-139.
14. Vasil'eva O. Some results of numerical investigation of the Carleman system // Procedia Engineering. 2015. Vol. 111: XXIV R-S-P seminar, Theoretical Foundation of Civil Engineering (24RSP) (TFoCE 2015). Pp. 834-838.
15. Broadwell T.E. Study of ratified shear flow by the discrete velocity method // Journal of Fluid Mechanics. 1964. Vol. 19. No. 3. Pp. 401-414.
16. Ильин О.В. Стационарные решения кинетической модели Бродуэлла // Теоретическая и математическая физика. 2012. Т. 170. № 3. С. 481-488.
17. Аджиев С.З., Амосов С.А., Веденяпин В.В. Одномерные дискретные модели кинетических уравнений для смесей // Журнал вычислительной математики и математической физики. 2004. Т. 44. № 3. С. 553-558.
се се
ев
оо 2
<
3
18. Ильин О.В. Изучение существования решений и устойчивости кинетической системы Карлемана // Журнал вычислительной математики и математической физики. 2007. Т. 47. № 12. С. 2076-2087.
19. Беленький В.З., Васильева О.А., Кукаркин А.Б., Программный модуль «Алгебра дифференцирования TAYLOR»: результаты численных экспериментов, сообщение о версии 2.1. // Кибернетика и системный анализ. 1997. № 3. С. 171-184.
20. Aristov V., Ilyin O. Kinetic model of the spatiotemporal turbulence // Physical Letters A. 2010. Vol. 374. Issue 43. Pp. 4381-4384.
Поступила в редакцию в феврале 2017 г. Принята в доработанном виде в марте 2017 г. Одобрена для публикации в августе 2017 г.
21. Aristov V.V.Direct methods for solving the Boltzmann equation and study of nonequilibrium flows. Klu-wer Academic Publishing, 2001. 312 p.
22. Радкевич Е.В. Математические вопросы неравновесных процессов. Новосибирск : Изд-во Т. Рожков-ской, 2007. 300 с.
23. Духновский С.А. Система уравнений Карлемана. Условие секулярности // Математика. Компьютер. Образование: тез. XXIII междунар. конф. (г. Дубна, 25-30 января 2016). М. ; Ижевск : Регулярная и хаотическая динамика, 2016. С. 197.
Об авторе: духновский сергей Анатольевич — аспирант кафедры прикладной математики, Национальный исследовательский Московский государственный строительный университет (Ниу МГсу),
129337, г. Москва, Ярославское шоссе, д. 26, sergeidukhnvskijj@rambler.ru.
сч n и
Let's take a detailed look at the discrete Carleman equation [1-10], which is a special case of the Boltzmann equation:
дtu +дxu = 1(w2 -u2), t >0, x eR1, x e
д^-д^ = —— (w2 -u2),
(1)
(2)
Hw!,y( R+ ;H.)
dt
+ и
ll,((+ ;H.) = í e2TtK(t)Г dt +
О
+ J e2lt Z |k|2" \uk (t)|2 dt,
О
Z |k|:
||<Ч|2 I 12
M H = \uo\ +
12a i |2
M .
with periodic initial data
u |i=0 = u0(X), w t = w0(X), u0 (x) = u0 (x + 2n), w0 (x) = w0 (x + 2n). where u(x, t), w(x, t) — density of particles, one of which is moving with unitary particle velocity along the positive axis Ox, and the other one - along the negative, while as parameter e is similar to free path of a particle.
Carleman equation (1) describes the combination of processes such as relaxation and free path. Essentially, relaxation is the spread of particles in different directions. Carleman equation is a special case of the discrete Boltzmann equation. For a period of several decades, only a few accurate solutions of the Boltzmann equation have been found. Studying the properties of the Carleman system and finding its solutions allows exploring more complex models such as Godunov-Sultangazin system [5-6] and Broadwell [11-13] for tree and four particles, respectively. Many authors implemented numerical study of the Carleman equation and numerically researched mathematical expectation, dispersion and other characteristics of the Carleman system solutions.
Let's solve our problem in weight spaces W2Y(R+ ;Ha),L2,y(R+,Ha),Ha, conforming standard specifications
We are searching for the solution of the system (1)-(2) in the form of:
u = ue +e2( we )1/2 U, w = we +e2( we )1/2 w, (3)
where ue = we — equilibrium state; u(x,t), w(x,t) — Fourier series.
Inserting the expression (3) into (1) and (2), the system of equations for perturbations is obtained
2
L2,y(R+ ; Hc-l)
L2,y(R+ ;H„) '
dtu + d Ü — w (w -Ü) = sw' (w -Ü ),
- - 62 . . „ ., .2 (4)
dtw -3xw + — we (w - u) = -sw; (w - ü ), e
with periodic initial data
Ü \,=0 = Ü°(xX w I,=0 = w<>(x).
Theorem 1. There exist such constants y = s|0, |0 £ (0,1), q £ (0, l) that for periodic initial data
(i0, w0) with zero average and bounded norm
(IÜ1L +1 w°|L q, (5)
where a > 3/ 2, there exists a global solution it(x,t), w(x,t) £ W21Y (R+;Ha) of the Cauchy problem.
In the papers [5, 10, 11], the system of Carleman equations comes down to the non-linear equation in Hilbert space L2, Y(R+, Ha(m)):
с
z 1™ ) = ■ F m ) (t )+£w1'2 G m) (t)+ +swf (4LB (T- (zkm) )) +
+2L(m) (1 (m) )) +
+4B ^) (1 ()), T_1 (zkm) ))-
-ewfT^ (("1 ) + T;1 (zkm))). (6)
Theorem 2. Suppose a > 3 / 2. There exists the only solution Z(m) e L2, y(R+ , Ha(m)) of the non-linear equation (6), if
(I U11(-) +1 H (-) H2 q, q e(0'1}'
for which inequality is applied
(7)
\\z(m)ir / <%ÍIИ () +1W°ll ()
II llij^Í R+, H„(m)) g1'2 \H IIh<" ) II 11я<")
). (8)
Theorem 3. Sequence of approximation solutions
U(m)( x, t) = u0(m)(t) + ^ uk <m\t )eihc,
w
,(m)
(r, t) = wa(m)(f) + X w,lm)(( )ek, (9)
И
1 ^
i ( + öx )(t, x) + 2we— (w - и )cp(t, x)-
1
V e
X )
J и" ^(t,x))_o dx = 0,
dtdx-
J J
1
WW (dt -dx )v|/(t, x)-2w,— (w - и )v|/(t, x) +
dtdx +
Z(m2> — z (mi) <
II Чу(д+) "
'' (((t)-F(mi)(t))
L2,y(-+)
+82 We |gjm2)(t) - ( +
ii иа2,1(л+)
+e2we{4IIlB( (z(m2))-T"1 (z(mi))) ( ) +41 L"2) ( (z (m2) ))- L(mi) (г;1 (z (mi)))
Bm2) ( (z (m2)), r-1 (z (m2))) --Bmi) ( (z (mi) ),r;1 (z (mi)))
+ 1 \Tkadd (Q[m2)T- (eikt) + T- (Z(m2)))
2,у (—+ )
+ i6
L2,y(-+)
-Tkadd ((tT1 ("ki) + T-1 (z<mi) ))||2 ^ (10)
Let's multiply the above-mentioned inequality by |j| ° and take supremum. Let's estimate, for example, the difference of the bilinear forms. Other expressions can be assessed analogously. If we have
J = £2we sup \k\2o|( (z("2> ),T-i (Z())-
- Bkm,) (T-1 (Z (mi) ),TT1 (Z<m,) )))2 =
is fundamental according to the Hilbert space norm FF21,y (R+; H n). Moreover, it tends to a weak solution
H (x,t), w(x,t) of the Cauchy problem (4):
= E We SUp I
keZ0, |k|<m¡
X ih j(s-'»rt^'(^t2<m2> )ds > k1 + k2 = k>|kl|> |k21im2 0
iki j eikl )ds - T-1 )
X i-2 jeik2{'-f)T- (zk2(mi))ds> k1 + k2 = k>|kl|> |k2Iim1 0
iki jeikl(s-t)Tk-1 (zki(mi)) -Tk-1 (zki(mi))
4,y (R+ )
+1 -1472 (,x)
v £ y
+ J ií>0 xdx = 0
for any testing functions 9, ye C™ (R+ xR1). Theorem 4. Sequence
Z(m) ={z<m\\k\ < m, k * 0}
is fundamental in the space Z2y(R+, Ha(m)) and
lim Z(m) = Z.
Let's consider difference of non-linear equations (6) with different index numbers m2 > ml where
Ikl < -1 in ¿2,y(R+) :
Let us remark here that the sum with m2 could be expressed in such a manner:
X ik2p2()ds X
kj + k2 = k,|ki|, 1^21< m2 0
ik1 j eikl (s-t't;-1 1 zki (m 2 ^ ds - T- (z,.(m 2)
V 0
X ikj j e'kk {s-tK Ízt2(m2))
k( +k2 =k,|k(|, |k21<m2, 0
max(|k(|, |k2|)>m(
ds x
ik, j eik( {s-t'T,-1 (z,.(m 2) ds -T- (z,.(m) ^
+ X í^2 j e2 {s-t't-1 Í^2(m2))ds>
k( + k2 = k,|kx\, |k21<mj 0
ik, j eík1 {s-t )Tk-11 z¿m2 ) ^^ -1 z^ ^^^ ^^^
V 0
ce ce
CD
GO 2
0
We apply the given formula to the equation (11) and also add and subtract the inverse operator T—1 (zk(m)) in the expressions under integral sign in order to express estimate via difference:
J = e2 we sup |k|2a
keZo k| < mj
X ik2 j>(s-\' (z^)dsx -¿2 =k,|kj|, |k2|-m2» 0
x(|kj|, |k2|)>m
k jeikj(s)T- (z^)ds - T- (z^)V
o )
+ X ik2\eik2(-X ( - )dsx
' +k2 =k,|kj|, |k2|-mj o
ikj Jeik'(s-tT-1 (z™)ds - T- (z™)
)
X ik2 j> (zz™ )ds x
V 0
kj + kk2 =kkj\, \kio
/ t k(s-<)T- ((».) - z^^ )ds -
ik' I
J 7^-1 (m1) _ (m2) \
o -Tk' ^zk' - zk' )
L2,,(R+)
By describing the norm and inserting supremum under the integral sign, we obtain one of the expressions of this type
r \ ^ 1 ce'klk2Ia T—1 x
0 kl +k2 =k >| kl|. |k2 Pm1 \K2\ 0
x((m2) -Zk2(mi))
f . iki (s-t)t>—1
'e 1V 'Tk x lK i x(( m2) )ds — T-1 ( m2))
x sup k |
ki ki |<mi
dt.
n
U
J1 = sup sup
t % eZ0, k2 - m\
■ (s-t) ; r r-1 X
(rn2) _ (mi)
XJe
0
,2yt
sup
fcieZo, |<№i
e-u-Oj;-1 (W)) -'
J
v 0 -r;
((m2))
dt x
I
;+,2kii, ,21-mi 1,2
,2
Supremum is enumerated by
I = sup sup
t &2 |*2
'e*2(s-t)k2e^e^T-1 x
<i
(m2) _ _ (ml) % *2
By applying Holder inequality, we obtain the following:
i <
\'
e-2'"dt
I
xlf e2Yt sup \k2(
I Jr. <=7. ItJ-f™. I V
k2eZ0,| k21 <
< fYrl K'O
, («2) _ _ 0»l) 'k2 Zkj
_ (m2) _ _ (m1)
- («1) )
2
) dt
We assume that y = and apply the estimate of a linearized operator [3]. From here
I <1 c, \\Z(m2) -Z(mi)H2
l2,,(R+ ,H„<"1) )'
It only remains addend which is the norm itself. Once again we apply the estimate:
i'
,2yi
sup
ki sZo, |< wj
ik, f ka kl ' f -Tk-1 (zki("2))
dt =
•eikl (s-t)Tr1 (z. ("2) )ds _ ik, f kl ' f -Tk-1 (zki(-2))
i-2 IR+,
<-rrC, Z(-2)
Thus, we have
I <1 c, \\Z(m2) -Z(mi)||2
For the parameter J inequality takes the form of
J <
The others are assessed in a similar way. To obtain the norm, herein we multiplied and divided by |k2 |a. Then we take supremum of the expression depending on the parameter k2 out of the sum and obtain the following:
k + k2 = k, keZ0, k <m2, | |>m,
+C4-»l |Z ( "2HL2„( R+,H„< m2) )
^ \\7(mi)\\2
10_ Z (
i2^ \\i, Js+, H„<"2))
Z ^ m2) — Z
Z (m2) — Z ^mi)
(12)
Let us remark here that
1
k + = k, keZQ, mi <| ki|ki|
1 1 1
— <--
ij + k2 =k,teZ0,|ij|>rnj, \kl | 2CT 1 m,
With provision for (13) and theorem 2, inequality (12) would take the following form:
J ^ q4 + c5 q21 |Z (m2) - Z (m)f . (
Inequality for the value J is applied to the equation (10):
ll i|2 Z(m2) — z ^mi)
C6 + c8 o q21 |z (m2) - Z (mi)f . (
IIi2,,(ä+ ,H„<"i>)
2 CT-
i q
The norm from the right-hand side is transposed:
x
<
2
2
k
2
X
2a
2
II7(m2) _Z(»>.)||2 (._c q2)< c q4 i|7(„2) Z(„j)!!2 < c6q_
IK 7 II ^ )(1 ^q )< F _7 II *,(*.*„)< (1_ c8,a q 2)'
We required that condition is mrt 1 _ c8,nq2 > 0, then This expression proves that 7™ is a fundamental
\\7(„2) _7(„if < c6q4 sequence.
II II ^K-H,""1') mi2a-i (i_ c8aq2)' This implies that U(m)(x,t),m)(x,t) weakly
Let us remark that comes down to the Cauchy problem solution u (x, t),
H m c H w (x-1).
o o'
if the space elements Ho(m) are continued with zero elements under condition that |y| > m. In this case it can be written as
references
1. Boltzmann L. Izbrannye trudy [Selected Works]. Moscow, Nauka Publ., 1984, 590 p. (In Russian)
2. Vasil'eva O.A., Duhnovskii S.A. Uslovie sekulyar-nosti kineticheskoy sistemy Karlemana [Secularity Condition of the Kinetic Carleman Equation]. Vestnik MGSU. [Proceeding of Moscow State University of Civil Engineering]. 2015, no. 7, pp. 33-40. (In Russian)
3. Duhnovskii S.A. O skorosti stabilizatsii resh-eniy zadachi Koshi dlya uravneniya Karlemana [On a Speed of Solutions Stabilization of the Cauchy Problem for the Carleman Equation]. Vestnik Samarskogo gosudarstvennogo tehnicheskogo universiteta. Seriya: Fiziko-matematicheskie nauki [Journal of Samara State Technical University, Ser. Physical and Mathematical Sciences], 2017, vol. 21, no. 1, pp. 7-41. doi: 10.14498/ vsgtu1529. (In Russian)
4. Dukhnovskiy S.A. Ob otsenkakh linearizovan-nogo operatora kineticheskoy sistemy Karlemana [On Estimates of the Linearized Operator of the Kinetic Carleman System]. Vestnik MGSU [Proceedings of Moscow State University of Civil Engineering]. 2016, no. 9, pp. 7-14. doi: 10.22227/1997-0935.2016.9.7-14. (In Russian)
5. Godunov S.K., Sultangazin U.M. O diskretnykh modelyakh kineticheskogo uravneniya Bol'tsmana [On Discrete Models of the Kinetic Boltzmann Equation].
Uspekhi Matematicheskikh Nauk [The Success of Mathematical Sciences]. 1974, no. 1, pp. 3-51. (In Russian)
6. Vasil'eva O.A., Duhnovskii S.A., Radkevich E.V. O prirode lokal'nogo ravnovesiya uravnenij Karlemana i Godunova—Sultangazina [On the Nature of Local Equilibrium in the Carleman and Godunov—Sultangazin Equations]. Trudy Sed'moy Mezhdunarodnoy konferent-sii po differentsial'nym i funktsional'no-differentsial'nym uravneniyam [Proceedings of the Seventh International Conference on Differential and Functional-Differential Equations] (Moskva, 22-29 avgusta, 2014). Chast' 3, SMFN [Contemporary Mathematics. Fundamental Directions]. Moscow, RUDN Publ., 2016, pp. 23-81. (In Russian)
7. Karleman T. Matematicheskie zadachi kineticheskoy teorii gazov [Mathematical Problems of the Kinetic Gases Theory]. Moscow, 1960, 118 p. (In Russian)
8. Vasil'eva O.A., Duhnovskii S.A., Radkevich E.V. O lokal'nom ravnovesii uravneniya Karlemana [Local Equilibrium of the Carleman Equation]. Problemy matematichesk-ogoanaliza. [The Problems of Mathematical Analysis]. 2015, vol. 78, pp. 165-190. (In Russian)
9. Radkevich E.V., Vasil'eva O.A., Dukhnovskii S.A. Local Equilibrium of the Carleman Equation. Journal of Mathematical Sciences. 2015, vol. 207, no. 2, pp. 296-323. doi: 10.1007/s10958-015-2373-x.
10. Vasil'eva O.A. Chislennoe issledovanie sistemy uravnenii Karlemana [Numerical Investigation of the Carleman System]. Vestnik MGSU. [Proceeding of Moscow State University of Civil Engineering]. 2015, no. 6, pp. 7-15. (In Russian)
11. Radkevich E.V O diskretnykh kineticheskikh uravneniyakh [On Discrete Kinetic Equations]. Dokla-dy Akademii nauk [Reports of Academy of Sciences]. 2012, vol. 447, no. 4, p. 369 (In Russian).
12. Radkevich E.V. The Existence of Global Solutions to the Cauchy Problem for Discrete Kinetic Equia-tions. Journal of Mathematical Sciences. 2012, vol. 181, no. 2, pp. 232-280. doi: 10.1007/s10958-012-0683-9.
13. Radkevich E.V O povedenii na bol'shikh vremena-kh resheniy zadachi Koshi dlya dvumernogo kineticheskogo uravneniya [The Behavior at Large Time of Solutions of the Cauchy Problem for Two-Dimensional Kinetic Equation]. Sovremennaya matematika. Fundamental'nye napravleniya [Contemporary Mathematics. Fundamental se Directions]. 2013, vol. 47, pp.108-137. (In Russian) |
14. Vasil'eva O. Some Results of Numerical In- f n
do
vestigation of the Carleman System. Procedia Engi- mf
neering. 2015. Vol. 111: XXIV R-S-P seminar, Theoret- if
ical Foundation of Civil Engineering (24RSP) (TFoCE ff' 2015), pp. 834-838
15. Broadwell T.E. Study of Rarified Shear Flow o by the Discrete Velocity Method. Journal of Fluid Me- 7 chanics. 1964, vol. 19, no. 3, pp. 401-414.
16. Il'in O.V Statsionarnye resheniya kineticheskoy WS modeli Broduella [Stationary Solutions of the Kinetic CD Broadwell Model]. Teoreticheskaya i matematicheskaya CS fisika [Theoretical and Mathematical Physics]. 2012, vol. 170, 4 no. 3, pp. 481-488. (In Russian)
17. Adjiev S.Z., Amosov C.A., Vedenyapin V.V. Odno-memye diskretnye modeli kineticheskikh uravnenii dlya smesey [One Dimensional Diskrete Models of Kinetic Equations for Mixture]. Zhurnal vychislitel'noy matematiki i matematicheskoy fiziki [Computational Mathematics and Mathematical Physics]. 2004, vol. 44, no. 3, pp. 553-558. (In Russian)
18. Il'in O.V. Izuchenie suchestvovaniya resheniy i us-toychivosti kineticheskoy sistemy Karlemana [The Study of the Existence of Solutions and Stability of Carleman Kinetic System]. Zhurnal vychislitel'noy matematiki i matematicheskoy fiziki [Computational Mathematics and Mathematical Physics]. 2007, vol. 47, no. 12, pp. 20762087. (In Russian)
19. Belen'kij VZ., Vasil'eva O.A., Kukarkin A.B. Programmnyy modul' «Algebra differentsirovaniya TAYLOR»: rezul'taty chislennykh eksperimentov, soobshchenie o versii 2.1.[The Program Unit "Derivation Algebra TAYLOR": Results of Numerical Investigations, Message on the Version 2.1]. Kibernetika i
sistemnyy analiz [Cybernetics and Systems Analysis]. 1997, no. 3, pp. 171-184. (In Ukraine)
20. Aristov V., Ilyin O. Kinetic Model of the Spatio-Temporal Turbulence. Physical Letters A. 2010, vol. 374. issue 43, pp. 4381-4384.
21. Aristov V.V. Direct Methods for Solving the Boltzmann Equation and Study of Nonequilibrium Flows. Kluwer Academic Publishing, 2001, 312 p.
22. Radkevich E.V. Matematicheskie voprosy ner-avnovesnykh protsessov [Mathematical Problems of Non-equilibrium Processes]. Novosibirsk, T. Rozhkovskaya Publ., 2007, 387 p. (In Russian)
23. Dukhnovskiy S.A. Sistema uravneniy Karlemana. Uslovie sekulyarnosti [System of the Carleman Equations.Secularity Condition]. Matematika. Komp'yuter. Obrazovanie : trudy XXIII Mezhdunarod-noy konferentsii (g. Dubna, 25-30 yanvarya 2016 g.) [Mathematics. Computer. Education : Works of the 23rd International Conference (Dubna, January 25-30, 2016)]. Izhevsk, 2016, issue 23, p. 197. (In Russian)
Received in February 2017.
Adopted in revised form in March 2017.
Approved for publication in August 2017.
About the author: Dukhnovskiy sergey Anatol'evich — postgraduate student, Department of Applied Mathematics, Moscow state university of civil Engineering (National Research university) (MGsu), 26 Yaroslavskoe shosse, Moscow, 129337, Russian Federation, sergeidukhnvskijj@rambler.ru.