Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2020. Т. 24, № 4. С. 644—662 ISSN: 2310-7081 (online), 1991-8615 (print) d https://doi.org/10
УДК 517.968.74
О знакопеременных и ограниченных решениях одного класса интегральных уравнений на всей оси с монотонной нелинейностью
© Х. А. Хачатрян1'2'3, А. С. Петросян1'4
1 Московский государственный университет имени М. В. Ломоносова, Россия, 119992, Москва, Ленинские горы, 1.
2 Институт математики НАН Армении,
Армения, 0019, Ереван, пр-т Маршала Баграмяна, 24/5.
3 Ереванский государственный университет, Армения, 0025, Ереван, ул. А. Манукяна, 1.
4 Национальный аграрный университет Армении, Армения, 0009, Ереван, ул. Маршала Теряна, 74.
.14498/vsgtu1790
Аннотация
Работа посвящена исследованию существования, а также анализу качественных свойств решений для одного класса интегральных уравнений с монотонной нелинейностью на всей прямой. Указанный класс уравнений возникает в кинетической теории газов. Доказаны конструктивные теоремы существования ограниченных решений и изучены определенные качественные свойства построенных решений. В конце работы приведены конкретные прикладные примеры указанных уравнений.
Ключевые слова: монотонность, нелинейность, ядро, выпуклость, ограниченное решение.
Получение: 10 июня 2020 г. / Исправление: 16 октября 2020 г. / Принятие: 16 ноября 2020 г. / Публикация онлайн: 19 декабря 2020 г.
Научная статья
3 ©® Контент публикуется на условиях лицензии Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/deed.ru) Образец для цитирования
Хачатрян Х. А., Петросян А. С. О знакопеременных и ограниченных решениях одного класса интегральных уравнений на всей оси с монотонной нелинейностью // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2020. Т. 24, № 4. С. 644-662. https://doi.org/10.14498/vsgtu1790. Сведения об авторах
Хачатур Агавардович Хачатрян А https://orcid.org/0000-0002-4835-943X доктор физико-математических наук, профессор; e-mail: [email protected] Айкануш Самвеловна Петросян © https://orcid.org/0000-0002-7172-4730 кандидат физико-математических наук, доцент; e-mail: [email protected]
644
© Самарский государственный технический университет
1. Введение и постановка задачи
Рассмотрим следующий класс интегральных уравнений на всей прямой
/те
К(x,t)f(t)dt, —ж <х< (1)
-те
с монотонной нелинейностью относительно искомой функции f (х). В уравнении (1) ядро К допускает следующее представление:
г ь
К(x,t) = a(x,s)e-a(x's)lx-tlda(s) (x,t) е R х R, (2)
Ja
где a(s) — монотонно неубывающая функция на [a,b), 0 < a < b ^ и удовлетворяет условию:
rb х
J da(s) = 2. (3)
Функция a(x, s) определена на множестве R х [a, Ь) и обладает следующими свойствами: а\) а е С(R х [а,Ь));
а2) существует число е > 0 такое, что а(х, s) ^ е > 0, (x,s) е R х [а, Ь); аз) а(х, s) симметрична по первому аргументу:
а(-х, s) = а(х, s), х ^ 0, s е [a, b);
0:4) имеет место неравенство:
5 := sup (i--—- ) < 1.
(x,s)eR+x[a,b)K a(X,S)J
Нелинейность Q определена на множестве R и удовлетворяет следующим условиям (см. рис. 1): qi) существует число ц > 0 такое, что на отрезке [—r¡, rf\ функция Q является непрерывной и нечетной; Ч2) Q(v) = V и функция Q выпукла вниз на отрезке [0,^\, причем число ц > 0 является первым положительным корнем уравнения Q(u) = и;
q3) Q монотонно возрастает на отрезке [—^,rf\;
и
q4) уравнение Q(u) = — имеет положительное решение £ < ц.
Уравнение (1) имеет непосредственное применение в физической кинетике, а именно в кинетической теории газов (см. [1,2]). Следует отметить, что в линейном случае, когда Q(u) = и и К(х, t) = 0 при t < 0, уравнение (1) достаточно подробно изучалось в работе [3]. В том частном случае, когда Q(u) = ир, р > 2 — нечетное число, а функция а кроме условий а\)-а4) удовлетворяет также дополнительному условию sup а(х, s) < 2е, в ра-
(x,s)eRx[a,b)
боте [4] были обсуждены вопросы существования ограниченных знакопеременных и нетривиальных решений для уравнения (1).
Небезынтересно также отметить, что соответствующее нелинейное уравнение на полуоси, при существенно иных ограничениях на нелинейность, исследовалось в работе [5].
В настоящей работе при более слабых и общих ограничениях на функции Q и а мы докажем конструктивные теоремы существования ограниченных нетривиальных непрерывных и знакопеременных решений, а также исследуем некоторые качественные свойства построенных решений. В конце работы приведем несколько частных и прикладных примеров функций Q и а для иллюстрации полученных результатов.
Решение уравнения (1) будем искать в следующем классе непрерывных на М функций:
П := {(р : <р(-х) = -<р(х), х ^ 0, <р е С(М) П М(М)},
где М(М) — пространство ограниченных функций на множестве М.
2. Обозначения и вспомогательные факты 2.1. Сведение уравнения (1) к нелинейному интегральному уравнению на полуоси
Проводя рассуждения, такие же, как в работе [4], решение уравнения (1) можем свести к решению следующего нелинейного интегрального уравнения на положительной полупрямой:
/•те
Q(F(х))= (К(х,г) - К0(х,г))Р(Ь)(М, х ^ 0, (4)
Jo
относительно искомой неотрицательной функции Р е С(М+) П М(М+), где ядро К(х, ¿) задается согласно формулы (2), а К0(х, ¿) имеет следующий вид:
г ь
Ко(х,г) = a(x,s)e-a(■x's)(■x+t)da(s), (х,$ е М+ х М+.
■) а
При этом, если функция ¥ является неотрицательным нетривиальным непрерывным и ограниченным на М+ решением уравнения (4), то
^(х), х ^ 0, (-х), х < 0,
будет решением уравнения (1), причем / е П.
/ (х) = {
Более того, если / £ П является нетривиальным решением уравнения (1), то Р(х) = /(х), х ^ 0, будет решением уравнения (4).
Ниже займемся решением уравнения (4). С этой целью мы сначала проведем исследование для специальных вспомогательных линейных уравнений типа Вольтерра.
2.2. Неоднородное уравнение типа Вольтерра с монотонно убывающим свободным членом
Рассмотрим следующее неоднородное интегральное уравнение с переменным нижним пределом
/• те
ф(х) = д(х) + у(х,г)ф(г)(И, X £ М+, (5)
■) х
относительно искомой неотрицательной функции ф(х), где
д(х) ^ 0, ж £ М+, д(х) ф 0, д £ ^(М+) П М(М+), (6)
д(х) монотонно убывает по х на М+. (7)
Ядро у(х,Ь) допускает следующее представление через функцию а(х,в):
у(х,г) = 2К(х,г)в(г - х), (х,г) £ м+ х м+, (8)
где в — известная функция Хевисайда.
Уравнение (5) перепишем в операторной форме:
(I - V)ф = д,
где I — единичный оператор, а V — интегральный оператор Вольтерра следующего вида:
/•те
(V/)(х)= у(х,Ь)}'(Ь)М, х £ М+.
■) х
Легко заметить, что оператор V действует в пространстве М(К+). Это сразу следует из свойств функций а и а (см. условия (3) и а^-а^)). Рассмотрим следующую задачу факторизации: для интегрального оператора V найти такой оператор Вольтерра Ш, действующий из М(К+) в М(М+):
/• те
(Ш/)(х) = Ж(х,1)/(1)сИ, / £ М(М+),
■) х
чтобы имела место факторизация
I - V = (1 - W)(1 - и), (9)
где
те
(и/)(х) = е \ е-£(ь-х) f (Ь)М, х £ М+, f £ М(М+).
■) X
Факторизация (9) понимается как равенство операторов, действующих в пространстве М (R+). Из результатов работы [6] следует, что ядро оператора W имеет следующий вид:
f ь
W(х, t)=2 (a(x, s) - e)e-a(x's)(t-x)da(s)e(t - x), (x, t) e R+ x R+.
J a
Из свойств a\)-a4) легко следует, что
W e С(R+ x R+), W(x, t) ^ 0, (x, t) e R+ x R+, (10)
/•те /• ь
p := sup W(x,t)dt < 26 da(s) = 6< 1. (11)
xGR+ J 0 J a
Из (10) и (11) имеем, что оператор Ш является сжимающим в пространстве М(R+). Используя факторизацию (9), уравнение (5) перепишем в следующем виде:
(I - Ж)(1 - и)ф = д.
Обозначим через
Ф = (I - и)ф.
Тогда функция Ф будет удовлетворять следующему неоднородному уравнению типа Вольтерра:
(I - Ж)Ф = д. (12)
Запишем уравнение (12) в развернутом виде:
г те
Ф(ж) = д(х) + W(х^Щ^сИ, х ^ 0. (13)
■) X
Так как свободный член д удовлетворяет условиям (6), (7), в силу того, что оператор Ш является сжимающим в пространстве М можем утверждать, что уравнение (13) обладает неотрицательным единственным решением в М (R+).
Рассмотрим следующие последовательные приближения:
те
Фп+1(х)= д(х)+ №(х, ¿)Фп(Ъ)М, х ^ 0, (14)
Ф0(ж) = д(х), п = 0,1,2,____
Применяя метод математической индукции, можно убедиться, что
Фп (х) Т по п, Фп е М (R+), п = 0,1, 2,.... (15)
Ниже докажем, что имеет место следующая оценка:
Фп(х) < ^^, п = 0,1,2,..., х е R+. (16)
1 - Р
При п = 0 данное неравенство сразу следует из определения нулевого приближения в итерациях (14). Предположим, что (16) имеет место для некоторого п е N. Тогда в силу (7), (10) и (11) из (14) будем иметь
Фп+1 (х) < g(x) + W(х, t)-^-dt < J x 1 Р
- - р
< д(х) + Iм- Г W(x,t)dt < д(х) + 9(Х)Р- 9(Х)
1 - р Л 1- р 1 - р
Из (15) и (16) немедленно следует, что последовательность ограниченных функций {Фп^^те^о имеет поточечный предел, когда п ^ ж:
Нш Фп(х) = Ф(х).
п^те
Согласно теореме Б. Леви [7], предельная функция Ф удовлетворяет уравнению (13). Из (15), (16) в силу (6) и (7) заключаем, что
д(х) < Ф(х) < , ж £ М+,
Ф £ Ь1(Ж+) П М (М+).
Таким образом, в силу единственности решения уравнения (13) в М(М+) можем утверждать, что построенное при помощи итераций (14) решение является единственным. Решая уравнение (I - и)ф = Ф, находим
+
/•те
ф(х) = Ф(х) + е $(t)dt, х G R+.
x
2.3. Построение нетривиального решения для однородного уравнения типа Вольтерра
Рассмотрим следующее однородное линейное интегральное уравнение типа Вольтерра относительно искомой функции &(х):
/•те
&(х)= (v(x,t) - v(x,t))&(t)dt, х G R+, (17)
x
где
v(x, t) = 2 a(x, s)e-a(x's)(x+t)da(s), (x, t) G R+ x R+, (18)
J a
а ядро v(x,t) задается согласно (8).
Из следующего простого неравенства
|ж - i| < ж +1, (x,t) G R+ x R+
с учетом условия ai) получаем
К(x,t) ^ Ko(x,t), (x,t) G R+ x R+, (19)
откуда, в частности, следует
v(x,t) ^ v(x,t), (x,t) G R+ x R+. (20)
Имеет место следующая основная лемма.
Лемма 1. При условиях (3), ai)-a4) уравнение (17) обладает неотрицательным, нетривиальным, непрерывным и ограниченным на R+ решением &(х), причем lim &(х) = 1 и 1 - & е Li(R+), &(х) < 1, х е R+.
Доказательство. Наряду с уравнением (17) рассмотрим следующие неоднородные интегральные уравнения типа Вольтерра относительно искомых функций ф и Q:
фо(х) = go(x)+ v(x,t)fo(t)dt, х е R+, (21)
J x
Q(x) = gi(x)+ (v(x,t) - v(x,t))Q(t)dt, x е R+, (22)
x
где
до(x) := e-2ex, x е R+, gi(x) :=2 e-2a(x>s)xda(s), x е R+.
Ja
Очевидно, что функция до удовлетворяет условиям (6) и (7). Следовательно, в силу полученных в п. 2.1 результатов можно утверждать, что уравнение (21) обладает неотрицательным и ограниченным решением вида
фо(х) = Фо(х) + е Фо(Ь)М, х е R+, (23)
x
где Ф0(ж) является решением уравнения (13) со свободным членом д(х) = д0(х) и удовлетворяет следующему двойному неравенству:
р
е-2£x < Фо(х) < --, ж е R+. (24)
3 — 2 £ X
Так как до е С(R+), V е С(R+ х R+), то из (23), (24) и (21) следует
фо(х) е Ь^+) П С(R+).
Таким образом, уравнение (21) обладает неотрицательным непрерывным суммируемым и ограниченным решением фо(х). Более того, из (23) и (24) следует также, что функция фо(х)е2ех является ограниченной на R+.
Рассмотрим теперь следующие последовательные приближения для уравнения (22):
те
&п+1(х) = д1(х) + у (у(х,г) - ь(х, £))С2п(Ь)М, х е R+, (25) Яо(х)= д1 (х), п = 0,1,2,....
Учитывая неравенство (20), индукцией по п нетрудно убедиться, что
<2п(х) Т по п, х е R+. (26)
В силу того, что д1 £ С(К+), V, V £ С(М+ х М+), индукцией также можно проверить, что
Яп £ с (М+), п = 0,1, 2,.... (27)
Ниже докажем справедливость неравенства
Яп(х) ^ фо(х), п = 0,1,2,..., х £ М+, (28)
где фо £ £1(М+) П С(М+) —решение уравнения (21), обладающее свойствами (23), (24). При п = 0 неравенство (28) сразу вытекается из следующей цепочки простых неравенств:
(¿о(х)= §1(х) < 2 е-2ехйа(в) = е-2ех = до(х) < фо(х), х £ М+, (29)
fb 1
ибо a(x, s) ^ е > 0, (х, s) е R+ х [а, Ь) и da(s) = -.
Ja 2
1 2.
Предположим, что неравенство (28) выполняется при некоторых п £ N. Тогда, учитывая (20), (29), из (25) будем иметь
Qn+i(x) ^ до(х) + / (v(x, t) - v(x, t))^o(t)dt ^ Jx
/■те
^ g0(x) + v(x, t)^o(t)dt = фо(х), x е R+.
x
Таким образом, в силу (26), (27) и (28) можем утверждать, что последовательность непрерывных функций {0п(х)}те=о имеет поточечный предел, когда n ^ ж: lim Qn(x) = Q(x), причем согласно теореме Б. Леви предель-
п^-те
ная функция Q(x) удовлетворяет уравнению (22). Из (26) и (28) следует
2 е-2а{х,з)хЛа(8) ^ д(х) ^ ^(х), X £ М+. (30)
■ ' а
Так как д1 £ С(К+), V, V £ С(М+ х М+), с учетом (30) можно утверждать, что (V £ С (М+).
Итак, согласно теореме Дини получаем, что сходимость последовательности функций {(^п(х)}те=о к (¿(х) в каждом компакте из М+ равномерна. Из (30), (23) и (24) также следует
СV £ ¿1(М+) П М(М+) (31)
и более того —
$(х)е2£Х £ М(М+). (32)
Таким образом, уравнение (22) обладает неотрицательным, непрерывным, ограниченным и суммируемым на М+ решением, более того, имеет место включение (32).
Теперь прямой проверкой убедимся, что = 1 является решением
уравнения (22). Действительно, учитывая (3), (8), (18) и теорему Фубини [7], имеем
те
91(х) + (у(х, г) - у(х, г))М = 2 е-2а(х'з)хёа(в)+
J х о а
гте гЬ гте гЬ
+ 2 / а(х,8)е-а(х'з)(ь-х)(1(г(8)(И - 2 / а(х,8)е-а(х'3)(х+ь)йст^сИ =
о х о а о х о а
гЬ г гЬ гте
= 2 е-М*,Ф¿а(8)+2 йа(в) - 2 а(х,в) е-а(х'^^Мёа^) =
■)а ■) ■)а ■)х
а
= 2 е-2Ф,3)^а(8) + 1 - 2 е-2а(х'з)хёа(в) = 1.
а а
Индукцией по п легко можно проверить справедливость неравенства
(^п(х) ^ 1, п = 0,1, 2,..., х е R+. Следовательно, <^(х) ^ Ятр(х), х е R+. Из свойств (31) и (32) следует
Я(х) ф Ятр (х). В силу линейности уравнения (22) функция
&(х) = Ятр(х) - Я(х) = 1 - §(х) ^ 0
будет удовлетворять однородному уравнению (17). Из свойств функции (см. (31), (32)) приходим к завершению доказательства. □
3. Разрешимость уравнения (4)
Рассмотрим следующие последовательные приближения:
те
Я(Рп+1(х))= (К(х,1) - Ко(х,1))Рп(1)(И, х > 0,
о (33)
Ро(х) = Г), п = 0,1, 2,.... Индукцией по п докажем, что
Рп(х) I по п, (34)
Рп(х) ^ ^ (х), п = 0,1, 2,..., х е R+, (35)
Рп е С п = 0,1, 2,..., (36)
где &(х) — решение уравнения (17) (см. лемму 1).
Сперва убедимся, что 0 ^ Р1(х) ^ Ро(х), х е R+. Учитывая (19), (3), из (33) будем иметь
¡"Ж ГО ¡"Ж
Q(Fl(x)) < V К{х,г)(М = V / а(х,8)е-а(х'<
./0 .¡а ./0
/■Ь /"Ж /■&
< V а(х,в) е-а(х'з)Ы(1У(1а{8) = 2ц йа(в) = V = Я(п), (37)
а а
Я^(х)) ^ 0 = д(0), х е м+. (38)
Из (37) и (38) в силу монотонности функции Q следует справедливость неравенств
0 < Рх{х) < Ро{х), х е М+.
Неравенство (35) для п = 0 сразу следует из оценки
Ро(х) = > (х), X е М+.
Непрерывность нулевого приближения в итерациях (33) очевидна. Предположим, что для некоторого натурального п имеет место неравенство
0 < рп(х) < Рп-\(х), х е М+.
Тогда, вновь используя (19), из (33) получим
Ж
Я{Рп+1{х)) (К(х,1) - Ко{х,1))Рп-1(Ъ)(И = Я(Рп(х)), х е М+, (39)
0
0
Я(Рп+1(х)) ^ 0 = Я(0), X е М+. (40)
Снова используя монотонность функции Q, из (39) и (40) будем иметь
0 < Рп+г(х) < Рп(х), х е М+.
Предположим теперь, что Рп(х) ^ (х), х е М+, для некоторого п е N. Тогда, учитывая (19) и условия д1)-д4), из (33) получаем
Ж
Я(Рп+1(х)) > и (К(х, I) - Ко(х, 1))%(1)М > 0
Ж
^ % (к(х,г) - Ко(х,г))^(¿)<и =
х
= | Г(у(х, г) - ь(х, (г)М = ЩФ ^ (х)), х е м+,
2 х 2
и
ибо д(и) < -, и е [0,£] и 0 < %(х) < 1, ж е М+.
Наконец, предположим, что Рп е С(М+) при некотором п е N. Тогда в силу того, что К, Ко е С(М+ х М+), получаем, что Q(Fп+1(x)) является непрерывной функцией на М+. Так как 0 ^ Рп+1(х) ^ V, х е М+ и е С
^ на [-V, V], из непрерывности функции Я(Рп+1(х)) следует непрерывность функции Рп+1 (х) на М+.
Таким образом, утверждения (34)—(36) полностью доказаны. Следовательно, последовательность непрерывных функций {Fn(x)}%= о имеет поточечный предел, когда п ^ ж: lim Fn(х) = F(х), причем предельная функ-
п^те
ция F удовлетворяет уравнению (4) и имеет место следующая двойная оценка:
(х) < F(х) < V, х е R+, (41)
и в силу непрерывности ядер К, Ко и нелинейности Q функция F е С (R+). Итак, на основе вышеизложенного приходим к следующему результату.
Лемма 2. При условиях (3), ai)-a4) и qi)-q4) уравнение (4) обладает неотрицательным, нетривиальным, непрерывным и ограниченным на R+ решением. Более того, имеет место двойная оценка (41).
4. Асимптотическое поведение решения при дополнительных ограничениях на а(х, s) и Q(u)
4.1. Ключевая лемма
Ниже при дополнительных ограничениях на функции а(х, s) и Q(u) мы докажем справедливость следующих соотношений:
1) lim F(х) = rj,
х^+те
2) V - F е Li(R+).
Кроме условий ai)-a4) и qi)-q4), здесь мы предполагаем, что
а0 := sup a(x,s) ^ 2е, (42)
(х,s)eRx [а,Ь) 3
V <3 е. (43)
Имеет место следующая лемма.
Лемма 3. При условиях (3), ai)-a4), qi)-q4) и (42), (43) любое решение уравнения (4), удовлетворяющее неравенством (41), обладает свойствами 1) и 2).
Доказательство. Сперва заметим, что уравнение (4) можно представить в следующем виде:
гте
V - Q(F(х)) = W Ko(x,t)dt + о
гте гте
+ / Ko(x,t)F(t)dt + К(x,t)(^ - F(t))dt, x ^ 0, (44) оо
поскольку, согласно теореме Фубини,
г те
W (К (x,t)dt + Ko(x,t))dt = о
rb roo rb roo
Яте го гте
a(x,s)e-a(x,S)lx-tldtda(s)+ W / a(x,s)e-a(x,s)(x+t)dtda(s) =
.. . Ja JO
¡■Ъ гх ГО Г<Х>
= Л a(x,s)e—a(x's)lyldyda(s) + rj / a(x,s)e—a(x' s)lyldyda(s)
Ja J — ж Ja Jx
= 2r] da(s) = ц.
a
Так как e ^ a(x, s) ^ 2e (см. условия a2) и (42)), то с учетом q\)-q3), (41), (3) и (44) имеем
s) =
a rb да да
0 < V- Q(F(x)) < 27] — e—£ydyda(s) + / К(x, t)(r] - F(t))dt =
£ Ja Jx Jo
= rj—e—£x + I К(x, t)(r] -F(t))dt, x ^ 0. (45) o
Рассмотрим теперь функцию
X(u):= , u € [0,v).
Из свойств qi)-q4), (43) сразу следует
X € С[0, г]),
X(0) = 1, X(0 = pj > 2.
V
В силу выпуклости и монотонности функции Q на интервале [0, rf) функция X(u) будет монотонно возрастающей на [0, rf) (см. рис. 2). Следовательно, существует £0 € (0, £) такое, что
X(Ы > 2. (46)
Зафиксируем число (0. Так как lim ^ (x) = 1 и ^(x) ^ 1, x € R+, существует число г > 0 такое, что при x ^ г имеет место неравенство
1 - & (х) = |1 - &(х)1 <
i-Jo
с '
a > ß =>■ tga = !^QW>tg/3 = 77-QM
г?-Ml
V - «2
I V - «1 I
I V-U2
v - Q(u i)
у v - QM
Рис. 2. [Figure 2]
из которого следует
^(х) ^ при X ^ г.
(47)
Таким образом, учитывая (41) и (47), можем утверждать, что
Р(х) ^ Со при х ^ г.
Проведем теперь прямую, проходящую через точки (£0,Я(£о)) и (г, г). Уравнение этой прямой имеет вид (см. рис. 3)
г-Жо) и + ]ОМ-*
г- Со г- Со
В силу выпуклости функции Я на отрезке [0, ]] можем утверждать, что при X ^ г
Я(р{х)) < г - Я(^о) р(х) + г^0) - ^
- о
из чего следует справедливость неравенства
- о
г - я(р(х)) ^ х(Со)(г - р(х)) при х ^ г.
(48)
Так как К, Ко е С(М+ х М+), Я е С[0, г], из (4) в силу (41) и д3) получаем Р е С (М+). Поскольку Р е С (М+), очевидно, что г- Р е Ьг(0, г).
Докажем теперь, что г - Р е Ь\(г, +го). Пусть К > г — произвольное конечное число. Проинтегрируем обе части (45) по х в пределах от г до К:
ГК г, гК гК г<х>
(г -Я(р(х)))<1х < ^ е-£Х(1х + к(х, г)(г -р(г))Шх <
,]г £ -'г -'г Jо
< ^ +[ ! к(х, г)(г -р(¿))<ийх +[ [ к(х, г)(г -р(¿))<и<1х + ^ ,)г Jо Зг Л-
П.
к(х, г)(г -р(ъ))(1Ых. (49)
л
1§0 = х(£о)>2
01 / & V
Рис. 3. [Figure 3]
Заметим, что в силу теоремы Фубини г-К Гг гИ гь гг
Пг гК го гг
К(х, г)(Ш1х *ао / е-е1х-ь1(Ш1а(,з)(1х = .¡г .¡а ./о
Г Г е-£\у\<1у<1х = ^ [Я ( Г е—£у(1у - Г е—еу(1у) йх *
х - 2 х - х
2 I I -' 2 I \ I -е е
* % Гег""'0х * I Ге—"л = е-г * <
Пж п гК гж п гК ех—К
К(х, г)(Ис1х * ^ е—е\х—^(Мйх = ^ е—е1у1(1У(1х *
2 а 2 —Ж
Лх—К г-К
есуауах = е<х—К)Лх * < +<*.
-ж 2е Л) 2е
К Ж К Ж К х— К
К 2 К 2 —Ж
Лх—К , гК
е£у(1У(1х = ё
-ж 2е уо
В конечном итоге имеем
(■К гг гК г Ж
о
Учитывая (50) и (41), из (49) получим
К
/ ( V -Я(Р(х)))(1х *
Л К
К (х, ^ -Р ШМх = 2vaо + гК гК
£ ! К(х, ^(Ийх * , £ У К(х, г)(1Ых * . (50)
£2
ПК
К(х, г)^ -Р(Ъ))(1Ых. (51)
Теперь, используя неравенство (48) с учетом (3), (42), а1) и теорему Фубини, из (51) будем иметь
К
0 * х(Со) (V - Р(х))с1х *
* ^^ + [К(л -р($) !Жк(х, г)йх<и *
£ .¡г Уо
* ^ +2 [К(V -Р(1))сН
или в силу (46) —
0 * А ^^ * (52)
657
Устремляя число R к бесконечности в (52), получим г — F Е Li(г, +ж) и
0 < /^ — F^ < (Щ—w- (53)
Окончательно в силу (41) и (53) имеем
г] — F EL1(R+) ПМ(R+). Из (45) с учетом (3), а1) и (42) следует
0 < г — Q(F(х)) < ^е-£Х + е Г е-е\х-\г — F(t))dt, х Е R+. (54) £ Jo
Так как г — F Е L1(R+) П М (R+), е-£1х1 Е L1(R) П М (R), в силу известного предельного соотношения в операции свертки [8] имеем
/•те
lim е-ф-1(г — F (t))dt = 0. (55)
Jo
Из (54) и (55) сразу получаем
lim Q(F(х)) = ]. (56)
х^+те
Учитывая qi)~q3), из (56) окончательно получим
lim F(х) = ]. □
х^+те
4.2. Формулировка основных результатов
Вернемся теперь к уравнению (1). Учитывая формулу
F(х), х ^ 0,
н ) = \ F(х), х ^ 0 •> (х) = \ — F(—х), х< 0
и утверждения леммы 2 и леммы 3, приходим к следующим теоремам.
Теорема 1. При условиях леммы 2 уравнение (1) обладает нетривиальным знакопеременным непрерывным нечетным и ограниченным решением f(х). Более того, данное 'решение удовлетворяет следующим неравенствам:
^(х) ^ ¡(х) ^ ], при х ^ 0, (57)
—] ^ ¡(х) ^ — ^(—х), при х < 0.
Теорема 2. При условиях леммы 3 любое решение f(х) Е П уравнения (1), удовлетворяющее неравенству (57), обладает следующими предельными и асимптотическими свойствами:
lim Дх) = ±г, г± f е Li где R+ := [0, +ж), R- := (—ж, 0].
5. Вопрос единственности решения. Примеры 5.1. О единственности решения
Возникает естественный вопрос: будет ли построенное нами решение единственным? Ответ на этот вопрос в общем случае отрицательный. Ниже убедимся, что, например, когда функция a(x, s) является периодической по переменной х с основным периодом T > 0 (т. е. a(x + T, s) = a(x, s), x G R, s G [a, b)), то единственность нарушается. Заметим, что тогда уравнение (1), кроме решения f(x), обладает также однопараметрическим семейством решений вида {f(x + m,T)}m£Z. Действительно, учитывая (2) и периодичность функции а, из (1) будем иметь
/ж rb гж
К(x, t)f(t + mT)dt = / a(x, s)e~a(x's)|x"Ц f(t + mT)dtda(s) =
-ж Ja J—ж
¡■Ь г ж
= a(x, s)e~»(x,s)lx+mT—yl f(y)dyda(s) =
a -ж ¡■Ь г ж
= a(x + mT, s)e~a(x+mT>s)lx+mT—ylf (y)dyda(s) =
a -ж
= Q(f(x + mT)).
5.2. Примеры функций Q и а
Приведем несколько примеров функций Q и а, удовлетворяющих условиям доказанных теорем.
Примеры Функции Q:
Qa) Q(u) = up, u G R, p > 2 — произвольное нечетное число.
Qb) Q(u) = aup + (1 — a)u, a G , 1], p > 2 — нечетное число.
Подробно остановимся на примере Qb. Проверим условия q{)-q4).
Действительно, легко заметить, что для этой функции положительной
неподвижной точкой служит число ц = 1, а £ = < 1. Очевидно, что
Q t на R, Q G С(R) и Q(—u) = —Q(u), u ^ 0, причем Q выпукла вниз на отрезке [0,1].
Заметим, что при a G (Ц^, 1] имеет место также условие ц < 2В справедливости последнего неравенства можно убедиться прямой проверкой.
Примеры Функции а:
aa) a(x, s) =е + G0(s)e "|x|, x G R, где G0 G С [a, b) и 0 < G0(s) < e,
G [ a, ), > 0.
ab) a(x, s) = e + G0(s) sin2 x, x G R, где G0 — удовлетворяет условиям примера aa.
Следует отметить, что в случае примера аь (период T = к) уравнение (1) обладает однопараметрическим семейством решений вида {f(x + ■Km)}m^z.
Конкурирующие интересы. Заявляем, что в отношении авторства и публикации этой статьи конфликта интересов не имеем.
Авторский вклад и ответственность. Все авторы принимали участие в разработке концепции статьи и в написании рукописи. Авторы несут полную ответственность за предоставление окончательной рукописи в печать. Окончательная версия рукописи была одобрена всеми авторами.
Финансирование. Исследование выполнено за счет гранта Российского научного фонда (проект № 19-11-00223).
Библиографический список
1. Коган М. Н. Динамика разреженного газа. М.: Наука, 1967. 440 с.
2. Енгибарян Н. Б., Хачатрян А. Х. О некоторых интегральных уравнениях типа свертки в кинетической теории// Ж. вычисл. матем. и матем. физ., 1998. Т. 38, №3. С. 466-482.
3. Хачатрян Х. А. Разрешимость консервативного интегрального уравнения на полуоси // Изв. НАН Армении. Математика, 2002. Т. 37, №4. С. 73-80.
4. Хачатрян Х. А., Сисакян А. А. О разрешимости одного класса нелинейных интегральных уравнений на всей прямой// Вестн. РАУ. Сер. физ.-мат. науки, 2017. №2. С. 25-40.
5. Хачатрян А. Х., Хачатрян Х. А. Об одном нелинейном интегральном уравнении типа уравнения Гаммерштейна c некомпактным оператором // Матем. сб., 2010. Т. 201, №4. С. 125-136. https://doi.org/10.4213/sm7310.
6. Хачатрян Х. А., Григорян С. А. О нетривиальной разрешимости одного нелинейного интегрального уравнения типа Гаммерштейна-Вольтерра // Владикавк. матем. журн., 2012. Т. 14, №2. С. 57-66.
7. Колмогоров А. Н., Фомин В. С. Элементы теории функций и функционального анализа. М.: Наука, 1976. 543 с.
8. Арабаджян Л. Г., Хачатрян А. С. Об одном классе интегральных уравнений типа свертки// Матем. сб., 2007. Т. 198, №7. С. 45-62. https://doi.org/10.4213/sm1483.
Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki
[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2020, vol. 24, no. 4, pp. 644-662
d https://doi.org/10.14498/vsgtu1790
ISSN: 2310-7081 (online), 1991-8615 (print)
MSC: 45G05
On alternating and bounded solutions of one class of integral equations on the entire axis with monotonic nonlinearity
© Kh. A. Khachatryan1'2'3, H. S. Petrosyan14
1 Lomonosov Moscow State University,
1, Leninskie Gory, Moscow, 119991, Russian Federation.
2 Institute of Mathematics, National Academy of Sciences of Armenia, 24/5, Marshal Baghramyan pr., Yerevan, 0019, Armenia.
3 Yerevan State University,
1, A. Manukyan str., Yerevan, 0025, Armenia.
4 Armenian National Agrarian University,
74, Marshal Teryan str., Yerevan, 0009, Armenia.
Abstract
The paper is devoted to the study of the existence and analysis of the qualitative properties of solutions for one class of integral equations with monotonic nonlinearity on the entire line. The indicated class of equations arises in the kinetic theory of gases. The constructive theorems of the existence of bounded solutions are proved, and certain qualitative properties of the constructed solutions are studied. At the end of the paper, specific applied examples of these equations are given.
Keywords: monotonicity, nonlinearity, kernel, convexity, limited solution.
Received: 10th June, 2020 / Revised: 16th October, 2020 / Accepted: 16th November, 2020 / First online: 19th December, 2020
Competing interests. We declare that we have no conflicts of interest in the authorship and publication of this article.
Author's Responsibilities. We take full responsibility for submitting the final manuscript in print. We approved the final version of the manuscript.
Funding. This work was supported by the Russian Foundation for Basic Research (project no. 19-11-00223).
Research Article
Q ©® The content is published under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/) Please cite this article in press as:
Khachatryan Kh. A., PetrosyanH. S. On alternating and bounded solutions of one class of integral equations on the entire axis with monotonic nonlinearity, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2020, vol. 24, no. 4, pp. 644-662. https://doi.org/10.14498/vsgtu1790 (In Russian). Authors' Details:
Khachatur A. Khachatryan https://orcid.org/0000-0002-4835-943X D.Sc. (Phys. & Math. Sci.), Professor; e-mail: [email protected]
Haykanush S. Petrosyan © https://orcid.org/0000-0002-7172-4730 Cand. Phys. & Math. Sci., Associate Professor; e-mail:[email protected]
© Samara State Technical University
661
References
1. Kogan M. N. Rarefied Gas Dynamics. New York, Springer Science, 1969, xi+515 pp. https://doi.org/10.1007/978-1-4899-6381-9.
2. Engibaryan N. B., Khachatryan A. Kh. Some convolution-type integral equations in kinetic theory, Comput. Math. Math. Phys., 1998, vol.38, no. 3, pp. 452-467.
3. Khachatryan Kh. A. Solvability of a conservative integral equation on the half-line, Izv. NAN Armenii. Matematika, 2002, vol.37, no. 4, pp. 73-80 (In Russian).
4. Khachatryan Kh. A., Sisakyan A. A. On solvability of one class of nonlinear integral equations on whole line, Vestn. of Russian-Armenian (Slavonic) Univ., 2017, no. 2, pp. 25-40 (In Russian).
5. Khachatryan A. Kh., Khachatryan Kh. A. A nonlinear integral equation of Hammerstein type with a noncompact operator, Sb. Math., 2010, vol.201, no. 4, pp. 595-606. https:// doi.org/10.1070/SM2010v201n04ABEH004083.
6. Khachatryan Kh. A., Grigoryan S. A. On nontrivial solvability of a nonlinear Hammerstein-Volterra type integral equation, Vladikavkaz. Mat. Zh., 2012, vol.14, no. 2, pp. 57-66 (In Russian).
7. Kolmogorov A. N., Fomin V. S. Elementy teorii funktsii i funktsional'nogo analiza [Elements of the theory of functions and functional analysis]. Moscow, Nauka, 1976, 543 pp. (In Russian)
8. Arabadzhyan L. G., Khachatryan A. S. A class of integral equations of convolution type, Sb. Math., 2007, vol.198, no. 7, pp. 949-966. https://doi.org/10.1070/ SM2007v198n07ABEH003868.