Научная статья на тему 'ИНТЕГРАЛЬНОЕ УРАВНЕНИЕ ВОЛЬТЕРРА СО СТЕПЕННОЙ НЕЛИНЕЙНОСТЬЮ'

ИНТЕГРАЛЬНОЕ УРАВНЕНИЕ ВОЛЬТЕРРА СО СТЕПЕННОЙ НЕЛИНЕЙНОСТЬЮ Текст научной статьи по специальности «Математика»

CC BY
25
7
i Надоели баннеры? Вы всегда можете отключить рекламу.
Журнал
Чебышевский сборник
Scopus
ВАК
RSCI
Область наук
Ключевые слова
ИНТЕГРАЛЬНОЕ УРАВНЕНИЕ ВОЛЬТЕРРА / СТЕПЕННАЯ НЕЛИНЕЙНОСТЬ / АПРИОРНЫЕ ОЦЕНКИ

Аннотация научной статьи по математике, автор научной работы — Асхабов С. Н.

С помощью интегрального неравенства, обобщающего, в частности, неравенство Чебышева, в статье получены точные двусторонние априорные оценки решения интегрального уравнения Вольтерра со степенной нелинейностью и ядром общего вида в конусе, состоящем из всех неотрицательных и непрерывных на положительной полуоси функций. На основе этих оценок строится полное метрическое пространство, инвариантное относительно нелинейного интегрального оператора Вольтерра, порожденного данным уравнением, и методом весовых метрик (аналог метода Белицкого) доказывается глобальная теорема о существовании, единственности и способе нахождения решения указанного уравнения. Показано, что это решение может быть найдено методом последовательных приближений пикаровского типа и дана оценка скорости их сходимости в терминах весовой метрики. Показано, что, в отличие от линейного случая, нелинейное однородное интегральное уравнение Вольтерра помимо тривиального решения может иметь еще и нетривиальное решение. Указаны условия, при которых однородное уравнение, соответствующее данному нелинейному интегральному уравнению, имеет только тривиальное решение. Вместе с этим дано уточнение и обобщение некоторых результатов, полученных в случае нелинейных интегральных уравнений с разностными и суммарными ядрами. Приведены примеры, иллюстрирующие полученные результаты.

i Надоели баннеры? Вы всегда можете отключить рекламу.
iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.
i Надоели баннеры? Вы всегда можете отключить рекламу.

VOLTERRA INTEGRAL EQUATION WITH POWER NONLINEARITY

With the help of an integral inequality generalizing, in particular, Chebyshev’s inequality, we obtain sharp twosided a priori estimates for the solution of the Volterra integral equation with a power nonlinearity and a general kernel in a cone consisting of all non-negative and continuous functions on the positive halfaxis. On the basis of these estimates, a complete metric space is constructed that is invariant with respect to the nonlinear Volterra integral operator generated by this equation, and a global theorem on the existence, uniqueness, and method of finding a solution to the indicated equation is proved by the method of weighted metrics (analogous to the Belitsky method). It is shown that this solution can be found by the method of successive approximations of the Picard type and an estimate is given for the rate of their convergence in terms of the weight metric. It is shown that, in contrast to the linear case, the nonlinear homogeneous Volterra integral equation, in addition to the trivial solution, can also have a nontrivial solution. Conditions are indicated under which the homogeneous equation corresponding to a given nonlinear integral equation has only a trivial solution. At the same time, a refinement and generalization of some results obtained in the case of nonlinear integral equations with difference and sum kernels is given. Examples are given to illustrate the results obtained.

Текст научной работы на тему «ИНТЕГРАЛЬНОЕ УРАВНЕНИЕ ВОЛЬТЕРРА СО СТЕПЕННОЙ НЕЛИНЕЙНОСТЬЮ»

ЧЕБЫШЕВСКИИ СБОРНИК

Том 23. Выпуск 5.

УДК 517.968

DOI 10.22405/2226-8383-2022-23-5-6-19

Интегральное уравнение Вольтерра со степенной нелинейностью1

д

С. Н. Асхабов

Асхабов Султан Нажмудинович — доктор физико-математических наук, Чеченский государственный педагогический университет; Чеченский государственный университет имени А. А. Кадырова; Московский физико-технический институт (национальный исследовательский университет) (г. Грозный). e-mail: askhabov@yandex.ru

С помощью интегрального неравенства, обобщающего, в частности, неравенство Чебы-шева, в статье получены точные двусторонние априорные оценки решения интегрального уравнения Вольтерра со степенной нелинейностью и ядром общего вида в конусе, состоящем из всех неотрицательных и непрерывных на положительной полуоси функций. На основе этих оценок строится полное метрическое пространство, инвариантное относительно нелинейного интегрального оператора Вольтерра, порожденного данным уравнением, и методом весовых метрик (аналог метода Белицкого) доказывается глобальная теорема о существовании, единственности и способе нахождения решения указанного уравнения. Показано, что это решение может быть найдено методом последовательных приближений пикаровского типа и дана оценка скорости их сходимости в терминах весовой метрики. Показано, что, в отличие от линейного случая, нелинейное однородное интегральное уравнение Вольтерра помимо тривиального решения может иметь еще и нетривиальное решение. Указаны условия, при которых однородное уравнение, соответствующее данному нелинейному интегральному уравнению, имеет только тривиальное решение. Вместе с этим дано уточнение и обобщение некоторых результатов, полученных в случае нелинейных интегральных уравнений с разностными и суммарными ядрами. Приведены примеры, иллюстрирующие полученные результаты.

Ключевые слова: интегральное уравнение Вольтерра, степенная нелинейность, априорные оценки.

Библиография: 18 названий. Для цитирования:

С. Н. Асхабов. Интегральное уравнение Вольтерра со степенной нелинейностью // Чебы-шевский сборник, 2022, т. 23, вып. 5, с. 6-19.

Аннотация

1 Исследование выполнено за счет гранта Российского научного фонда (проект 22-11-00177).

CHEBYSHEVSKII SBORNIK Vol. 23. No. 5.

UDC 517.968

DOI 10.22405/2226-8383-2022-23-5-6-19

Volterra integral equation with power nonlinearity

S. N. Askhabov

Askhabov Sultan Nazhmudinovich — doctor of physical and mathematical sciences, Chechen State Pedagogical University; Kadvrov Chechen State University; Moscow Institute of Physics and Technology (National Research University) (Grozny). e-mail: askhabov@yandex.ru

With the help of an integral inequality generalizing, in particular, Chebyshev's inequality, we obtain sharp two-sided a priori estimates for the solution of the Volterra integral equation with a power nonlinearity and a general kernel in a cone consisting of all non-negative and continuous functions on the positive half-axis. On the basis of these estimates, a complete metric space is constructed that is invariant with respect to the nonlinear Volterra integral operator generated by this equation, and a global theorem on the existence, uniqueness, and method of finding a solution to the indicated equation is proved by the method of weighted metrics (analogous to the Belitsky method). It is shown that this solution can be found by the method of successive approximations of the Picard type and an estimate is given for the rate of their convergence in terms of the weight metric. It is shown that, in contrast to the linear case, the nonlinear homogeneous Volterra integral equation, in addition to the trivial solution, can also have a nontrivial solution. Conditions are indicated under which the homogeneous equation corresponding to a given nonlinear integral equation has only a trivial solution. At the same time, a refinement and generalization of some results obtained in the case of nonlinear integral equations with difference and sum kernels is given. Examples are given to illustrate the results obtained.

Keywords: Volterra integral equation, power nonlinearity, a priori estimates.

Bibliography: 18 titles.

For citation:

S. N. Askhabov, 2022, "Volterra integral equation with power nonlinearity", Chebyshevskii sbornik, vol. 23, no. 5, pp. 6-19.

1. Введение

В ряде работ [1-8] и других (подробнее см. монографии [9], [10]) методом весовых метрик были изучены нелинейные интегральные уравнения Вольтерра с разностными и суммарными ядрами

Abstract

(1)

0

а > 1, х > 0,

(2)

в конусе Q, состоящем из неотрицательных и непрерывных на положительной полуоси функций. Такие уравнения возникают при описании различных процессов, изучаемых в гидроаэродинамике, а также в теории переноса тепла излучением, в моделях популяционной генетики и других [11-14], при этом особый интерес представляют положительные при х > 0 решения из Q.

В данной работе изучается нелинейное уравнение с ядром общего вида

X

™=1к+'{х) а>1 х > 0 (3)

0

в конусе

Я0 = {и(х) : и(х) Е С[0, те), и(х) > 0 при х > 0},

что связано, в частности, с указанными выше приложениями.

Исследование основано на аналоге метода Белицкого (см., например, [15, с. 153]), так называемом методе весовых метрик, который, в отличие от метода Белицкого, не предполагает выполнение условия Липшица и основан на двусторонних априорных оценках решения, играющих важную при применении этого метода к уравнениям вида (1)-(3).

2. Априорные оценки решения

Выясним сначала какими свойствами заведомо должно обладать решение уравнения (3), если оно существует. Всюду ниже на ядро К (х, Ь) и неоднородность / (х) накладываются следующие основные ограничения:

1) К(х,Ь) > 0 при 0 < Ь < х и непрерывна по совокупности переменных вместе со своей производной по первой переменной ж, причем К'х(х,Ь) > 0;

2) /(х) > 0 при х > 0, непрерывна и не убывает на [0, те). Далее нам понадобится следующая

Лемма 1. Пусть функция д(х) определена на [0, те) а функция Н(х,Ь) определена при 0 < £ < х и непрерывна по совокупности переменных вместе со своей производной Нх(х,Ь). Если Нх(х,Ь) > 0 и д(х) не убывает, то для любого х > 0 выполняется неравенство:

у н(х,г)д(г)йг < J 00

ъ

н (г, г) + ! н[(1,8)й8

д(1)<И.

(4)

[0, те)

д(1)М.

Ф(х) = ! н(х, г)д(г)<и — J н(г, г) + ^ н[(г, з)йв 00

Из условий леммы следует, что

х

ф'(х) = J Н'х(х,1)д(1)(И + Н(х,х)д(х) — Н(х,х) — J Нх(х,з)й8

д(х) =

X

= I Н'х(х,Ш1) — д(х)Щ < 0,

X

X

I

X

X

так как подынтегральное выражение не положительно. Значит, функция ф(х) не возрастает на полуоси [0, то) Но тогда ф(х) < ф(0) = 0 для любо го х > 0, что равносильно выполнению неравенства (4).

Заметим, что из леммы 1 вытекает интегральное неравенство Чебышева [16, с. 120]

/(х - 1)д(1) <И < / /(1)д(1) <И,

(5)

и неравенство [14, с. 1211]

}(х + 1)д(1) < / [2/(21) - }(Щд(1) ¿1,

(6)

которые справедливы для любых неубывающих на [0, то) функций / (х) и д(х).

Кроме того, неравенство (4) обращается в равенство, если д(х) есть константа, т.е.

X X I

J н(х,г) <и ^у н+ ! н[(1,8)й8

(И.

(7)

Для доказательства равенства (7) достаточно заметить, что производные левой и правой частей равенства (7) совпадают и эти части обращаются в нуль при х = 0. Из равенства (7) вытекает, в частности, равенство [14]

X

/(х + г) <и = у [2/(21) - /(г)] м,

(8)

справедливое для любой интегрируемой на полуоси [0, то) функци и / (х).

Обратим внимание на то, что подынтегральные функции в правых частях соотношений (4)-(8) не зависят от переменной х, что важно для приложений (см., например, доказательства нижеследующих теорем 1-3).

С помощью леммы 1 доказывается следующая основная теорема данного пункта. Теорема 1. Пусть выполнены условия 1), и и € есть решение уравнения (3). Если а> 0, то и(х) не убывает на [0, то), а если а > I, то для любого х € [0, то) выполняются неравенства:

Ь(х) < и(х) < К(х), (9)

где

Ь(х) =

К(х) =

а — 1

а

а — 1

а

К (Ь^М + / (а-1)/а(0)

К (х,*)М + / (а-1)/а(х)

1/(«-1)

1/(«-1)

Доказательство. Из условия 1) следует, что функция К(х, ¿) не убывает по х равномерно относительно Поэтому, с учетом условия 2), для любых Ж1,Ж2 € [0, то) таких, что Ж1 < Ж2, используя тождество (3), для любого а > 0 получаем

Х1 Х2

иа(Х2) - иа(Х1) = ! [К (Х2,Ь) - К (х1,Щи(г)<И + J К (Х2, Ь)и(1)(М + / (Х2) - / (Х1) > 0,

X

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

X

X

X

х

х

т.е. решение уравнения (3) и(х) не убывает на [0, те).

Докажем теперь последовательно оба неравенства из (9) при условии, что а > 1. Так как функция /(х) не убывает на [0, те), то, по теореме Лебега, она почти всюду дифференцируема на этой полуоси, причем

х

IГ (г) <и < / (X) — / (0). 0

Используя это неравенство и условие 1), из тождества (3), получаем

X X

иа(х) > J К(Ъ^иф <И + у /'(г) (И + /(0), 00

или

/ * \1/а и(х) > I [к(г, г)и(г) <и + /'(х)] <и + /(0) I . (10)

Используя неравенство (10), для почти всех £ £ [0, те) имеем

(I \ 1/а

I [К (8, 8)и(з) ¿8 + Г (5)] йз + / (0) I + /' (I),

откуда, с учетом, что /'(Ь) > 0, получаем

к (г,г)и(г) + Г (г)

/г \1/а

Ц[К(8,8)и(8) й8 + Г(5)] (18 + /(0))

> к (г, г).

Интегрируя последнее неравенство в пределах от 0 до х, имеем

; \ {а-1)/а х

\К(8, 8)и(8) (18 + Г(5)] (18 + /(0) I — [/(0)](а-1)/а > ^ | К(I, I) (И 00 ИЛИ

х \1/а/х \ 1/(а-1)

У [к (г, г)и(1) м + Г (г)] м + / (0) I > I ^ | к (г, г) м + / (а-1)/а(0) I (11)

для любого х £ [0, те) Таким образом, о цепка и(х) > Ь(х) является прямым следствием неравенств (10) и (11).

Докажем, наконец, неравенство и(х) < К(х).Тш как и(х) те убывает и Кх(х,Ь) > 0, то в силу неравенства (4) из тождества (3) получаем:

X

,а /

иа(х) < ! гфифсИ + /(х) 0

где

г(ь) = к (г, г) + ! к[ (¿,8)08.

Значит

1/а

и(х) < ^У г(1)и(1) М + /(х)^ для любого х > 0. (12)

В силу неравенства (12) для почти всех £ € [0, то) имеем

I

1/а

откуда

т(()и(() + ¡'(О < т(() и ф)ф)Л* + ¡(1) ) + ¡'(1),

гШ1) + г {1) <'() + --ш-^ = г{()+т. (13)

/4 \ 1/а / I х1/а

(/ ф)и(8) д.8 + ( / Г(8)и(8) (1,3 + /Ю)

где

-1/а

1(1 ) = Г(1) П г(8) •ф)^ + №

Так как (см. неравенство (11) в [14])

X

У < ^^ (¡(а-1)/а(х) - /(а-1)/а(0^, Ух> 0,

о

то, проинтегрировав неравенство (13) в пределах от 0 до х, получим

; \ (а-1)/а

Г(8)и(8) (18 + /(х) ) - ¡(а-1)/а(0) <

о

I г(г) м + I/(а-1)/а(х) - ¡(а-1)/а(0)

] & -11 о

или

\ (а-1)/а х

г(г)и(г) м + /(х)) < 1м + ¡(а-1)/а(х),

оо откуда получаем, что для всех х € [0, то) выполняется неравенство:

< X \1/а / х \ 1/(а-1)

!г(ъ)и(г)(И +¡(х)) < I + /(а-1)/а(х)) . (14)

Из неравенств (12) и (14) непосредственно вытекает,что

1/(а-1)

и(х) < I I М + ¡(а-1)/а(х) ] = П(х),

поскольку, на основании равенства (7),

к(г,г) + у к¡.(г, в) йв м =^ к(х,г) <и.

X X

!г(1) л=1

0 0

Теорема 1 полностью доказана.

Отметим, что при К(х, Ь) = С\ и /(х) = С2, где С\ > 0 и С2 > 0 есть константы, неравенства в (4) обращаются в тождества и дают решение уравнения (3)

и

(х) = С ■ х1/(а-1), где С =

а — 1

а

[Сг + С2]

1/(«-1)

что свидетельствует о точности полученных в теореме 1 обеих априорных оценок.

Из теоремы 1 непосредственно вытекает теорема 4.1 из [17], в которой доказано, что если и € Q0 есть решение уравнения

X

1

2 + Х - *

и(Ь)<И,

то

а — 1 4а

(1 — е-2х)

1/(а-1)

< и(х) <

а — 1

1/(а-1)

3. Теорема существования и единственности решения

Введем в рассмотрение оператор

1/а

™»=(/* +/ <.,>

Тогда уравнение (3) можно записать в операторном виде: Ти = и. Из теоремы 1 следует, что решение этого операторного уравнения естественно разыскивать в классе

Р = [и(х) : и(х) € С[0, ж), Ь(х) < и(х) < Я(х)}.

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

Чтобы доказать однозначную разрешимость уравнения Ти = и в классе Р, далее будем предполагать, что К(х, ¿) и /(х) удовлетворяют дополнительным условиям:

3) К(0, 0) > 0;

4) /(х) представима в виде:

/ (х) = I г т+/ (0).

Теорема 2. Если а > 1 и выполнены условия 1)-4), то класс Р инвариантен относительно оператора, Т.

Доказательство. Пусть и € Р - произвольная функция. Нужно доказать, что тогда и Ти € Р. То, что (Ти)(х) € С[0, ж) очевидно в силу вольтерровости оператора Т. Осталось доказать, что Ь(х) < (Ти)(х) < К(х) для любо го х € [0, ж).

Покажем сначала, что (Ти)(х) > Ь(х). Так как и(х) > Ь(х), а функции К(х, ¿) и /(х) не убывают по ж, то

X X

[(Ти)(х)]а = ^К(х,г)и(г)м + /(х) >!к(^,^щм + /(0) =

X ъ

= /к(г, г) 1 к(з, з) + /(а-1)/а(0)

1/(а—1)

М + } (0) =

^ о-1 у(а-1)

К(8, 8)<18 + /(а-1)/а(0) а — 1

1/(а—1)

Х(1

I

/ К (8, 8)(18 + ¡(»-1)/»(0) У а - 1

о

+ / (0) =

(а — 1 \ а/(а-1) г п

(-=-) ]к + — ц-ч-т

о

а/(а— 1)

а — 1

а

+К0) =

а — 1

а

К (в, 8)68 + / (а—1)/а(0)

а/(а— 1)

^(а—1)/а(0)

а/(а— 1)

а/(а—1)

+

¡(а—1)/а(0)'* ' + ¡(0) =

а — 1

а

к (г, г) м + ¡(а—1)/а(0)

а/(а— 1)

^ [Цх)]<

т.е. (Ти)(х) > Ь(х).

Докажем наконец, что (Ти)(х) < К(х).Тш как и(х) < К(х) и К(х) те убывает на [0, то), то используя лемму 1 и условие 4), имеем

[(Ти)(х)]а < I К(х, ^ЯфМ + /(х) < I оо г

к (г, г) + ! к[(г,

к(г) м + / (х) =

к (г, г) + ! к'ь(г,

я(1) + Г(I) I м + ¡(0) =

= ! К(1) | К(1,1) + У К[(1, з)йз + Щ) ) М + ¡(0) <

о

X

т т

<У | К(1,1) + у К[(1,8^8 + -Щ) ) М + /(0) =

а

а — 1

а — 1

а

к (г, 8)с1в + ¡(а—1)/а(1)

1/(а—1)

г

X

X

х

X

X

X

X

I

г

X

Х(1

а — 1

а

к (г, + ¡(а-1)/а(г)

+ ¡(0) =

а — 1

а

К(х, 8)с1в + ¡(а-1)/а(х)

а/(а-1)

у(а-1)/а(0)

а/(а-1)

+ ¡(0) = Яа(х),

что и требовалось доказать.

Для построения полного метрического пространства, введем следующий класс

Ръ = [и(х) : и(х) € С[0,Ь], Ь(х) < и(х) < Я(х)},

где Ь > 0 есть любое фиксированное число.

Введем в классе Ръ метрику, положив для любых и,и € Ръ

\и(х) — ь(х)\

дъ(и, V) = вир ----.

0<х<ъ Ы(Х)

Заметим, что из условий 1)-3) следует, что Я(х) > 0 при любом х > 0.

Непосредственно проверяется, что пара (Ръ, дъ) образует полное метрическое пространство. При этом учитывается, что для любой фундаментальной последовательности {ип(х)} из Ръ при любых т,п € N выполняется равенство ип(0) — ит(0) = f(a-1Уa(0) — f(a-1Уa(0) = 0, позволяющее доказать фундаментальность этой последовательности в полном метрическом пространстве С[0, Ь] (см. [9, §17]).

Из теоремы 2 следует, что оператор действует из Ръ в Ръ. Докажем, что при дополнительном условии

1

5)д= вир I IК (х, *)<И + ¡(а-1)/а(х)\1(а — 1) IК (г, ^ М + а ¡(а-1)/а(0)

< 1

оператор Т является сжимающим в Ръ-

Воспользуемся неравенством (14) из [14]:

I 1/а 1/а \ ^ 1 \ 21 — 2^2 \ 1 г1 г2 \ < ■ (а-1)/а ,

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

а

(15)

0

справедливым для любых Х1 > ^ и ^ > ¿0, где г0 > 0 Пусть и,п € Р+ и х € (0, Ь]. В силу неравенства (15), имеем

\(Ти)(х) — (Ту )(ж)\ =

, V € ^ И X

1/а / х \ 1/а

<

/к(х,г) \и(г) — у(г)\м < 1.0_

" а [Ьа(х)](а-1)/а

1

= («,—»¡к,,0Л+0/¡ковд

М*) — ^ )\

т

М <

г

X

X

X

X

X

1

< 9ь(и, у) ^(а - 1) ^ К (г, + а /(а—1)/а(0)) £ К (х, ¿)Я($ М. Применяя лемму 1 и учитывая, что /—1/а(х)/'(х) > 0 почти всюду на [0, то), получаем

J к(х, г)я(г)м < у оо

ь

к (г, г) + ! , ,в) йв

я(г) м <

<

ь

К(1,1) + У К[(1, 8)6,8 + Г1/а(1)?(1)

а

а — 1

I 1 к (г, в)(18 + ¡(а—1)/а(ь)

а — 1

а

1/(а—1)

к (г, в) бв + /(а—1)/а(г)

1/(а—1)

М =

а — 1

а

ь

I к (г, в) бв + /(а—1)/а(1)

а — 1

а

К(х, в) + ¡(а—1)/а(х)

а/(а—1)

а/(а—1)

!-(а—1)/а(0) = Ка(х) - < да(х).

Поэтому из предыдущего неравенства вытекает, что

—1

№ - <Т»I < «к о и* -и / К(, о *+а/) *>(*)

откуда

1(Ти)(х) - (Ту)(Ж)| Я(х)

< д • дь(и, у),

где число д < 1 определено в условии 5).

Таким образом, для любых и,у € Рь справедливо неравенство

дь(Ти,Ту) < д • .ь(и, у),

(16)

Т

Полученные выше результаты позволяют сформулировать и доказать следующую основную теорему.

Теорема 2. Если а > 1 и выполнены условия 1)-5), то интегральное уравнение (3) имеет единственное решение и* € Q0, причем и* € Рь при любом Ь > 0. Это решение удовлетворяет неравенствам Ь(х) < и*(х) < Я(х), где

Ь(х) =

а — 1

а

к (г, *)<и + / (а—1)/а(0)

1/(а—1)

Я(х) =

а — 1

а

К(х, Ь)си + ¡(а—1)/а(х)

1/(а—1)

X

X

X

X

г

X

г

X

(I

'X

X

X

X

и его можно найти в Рь методом последовательных приближений по рекуррентной формуле ип = Т+ ип-1, п € N со сходимостью по метрике дь- Для последовательных приближений справедлива оценка скорости сходим,ост,и:

д+(ип,и*) <—д+(Тио,ио), п € N (17)

1 - Я

где число д < 1 определено в условии 5), а, и0 € Рь есть начальное приближение (любая Рь

Т и = и

Т

Т

и* € Рь

для которых справедлива оценка скорости сходимости (17). То, что и*(х) является единственным решением интегрального уравнения (3) и во всем классе Qo доказывается точно так же, как в теореме 3 из [18].

Приведем примеры, иллюстрирующие теорему 3.

Пример 1. Уравнение (3) при а = 2, К(х, Ь) = ех+г и ¡(х) = ех имеет в конусе Qo единственное решение

и* (х) = 1 (е2х + 2ех/2) .

Пример 2. Уравнение (3) при К(х, Ь) = х + Ь и ¡(х) = 0 имеет в конусе Qo единственное решение

и(х) = (3а2 - 2а - 1 ^ ^-г) и(х)=\ 2а (а + 1) ) х .

Пример 3. Уравнение (3) при К(х, Ь) = ех+г и ¡(х) = 0 имеет в конусе Qo единственное решение

iНе можете найти то, что вам нужно? Попробуйте сервис подбора литературы.

ф) = (^)1Л"-" (е^ - 1) 'Л- Ч е/а

Пример 4. Уравнение (3) при К(х, Ь) = ех-г и ¡(х) = 0 имеет в конусе Qo единственное решение

и(х) = (е[(а- 1)/а]х - 1)1 /{а~1) .

Последние два примера показывают, что нелинейные однородные интегральные уравнения вида (3) помимо тривиального решения и(х) = 0 могут иметь еще и нетривиальные решения, в то время как соответствующие линейные однородные интегральные уравнения вида (3), соответствующие случаю а = 1 и /(х) = 0, имеют лишь тривиальное решение.

Легко показать, что в случае когда 0 < а < 1 уравнение (3) не имеет решений в конусе Qo■ В самом деле, если допустить противное, что и € Qo и является решением уравнения (3), то с

0< а<1

(3) получим

х х

иа(х) < и(х) у к (х, г) м = и(х) у к (г, 1) + ! к'ь(г, з) ^

сИ, х > 0,

откуда

иа-1 (х) <! к (г, г) + ! к[(г, з)йв

0 I 0

М.

Переходя в последнем неравенстве к пределу при х ^ 0 приходим к противоречию: ж < 0.

х

4. Заключение

Методом весовых метрик доказана глобальная теорема о существовании, единственности и способе нахождения решения неоднородного вольтерровского интегрального уравнения со степенной нелинейностью и ядром общего вида. Получены точные двусторонние оценки решения и показано, что это решение может быть найдено методом последовательных приближений пикаровского типа. Приведена оценка скорости сходимости последовательных приближений к точному решению в терминах весовой метрики. Показано, что, в отличие от линейного случая, нелинейное однородное интегральное уравнение Вольтерра помимо тривиального решения может иметь еще и нетривиальное решение. Приведены примеры, иллюстрирующие полученные результаты.

СПИСОК ЦИТИРОВАННОЙ ЛИТЕРАТУРЫ

1. Okrasiñski W. On the existence and uniqueness of nonnegative solutions of a certain non-linear convolution equation // Ann. Pol. Math. 1979. Vol. 36, №1. P. 61-72.

2. Okrasiñski W. On a non-linear convolution equation occurring in the theory of water percolation // Annal. Polon. Math. 1980. Vol. 37, №3. P. 223-229.

3. Асхабов C.H., Карапетянц H.K., Якубов А. Я. Интегральные уравнения типа свертки со степенной нелинейностью и их системы // Докл. АН СССР. 1990. Т. 311, №5. С. 1035-1039.

4. Асхабов С. И., Бетилгириев М.А. Нелинейные интегральные уравнения типа свертки с почти возрастающими ядрами в конусах // Дифференц. уравнения. 1991. Т. 27, №2. С. 321-330.

5. Bushell Р. J., Okrasiñski W. Nonlinear Volterra integral equations with convolution kernel // J. London Math. Soc. 1991. Vol. 41, №2. P. 503-510.

6. Асхабов С. И., Бетилгириев М. А. Априорные оценки решений нелинейного интегрального уравнения типа свертки и их приложения // Матем. заметки. 1993. Т. 54, №5. С. 3-12.

7. Bushell Р. J., Okrasiñski W. Nonlinear Volterra integral equations and the Apery identities // Bull. London Math. Soc. 1992. Vol. 24. P. 478-484.

8. Kilbas A. A., Saigo M. On solution of nonlinear Abel-Volterra integral equation // J. Math. Anal. Appl. 1999. Vol. 229. P. 41-60.

9. Асхабов С. И. Нелинейные уравнения типа свертки (Физматлит, \!.. 2009).

10. Brunner Н. Volterra integral equations: an introduction to the theory and applications. Cambridge University Press, Cambridge, 2017.

11. Keller J.J. Propagation of simple nonlinear waves in gas filled tubes with friction // Z. Angew. Math. Phvs. 1981. Vol. 32, №2. P. 170-181.

12. Schneider W. R. The general solution of a nonlinear integral equation of the convolution type // Z. Angew. Math. Phvs. 1982. Vol. 33, №1. P. 140-142.

13. Okrasiñski W. Nonlinear Volterra equations and physical applications // Extracta Math. 1989. Vol. 4, №2. P. 51-74.

14. Асхабов С. И. Об одном интегральном уравнении с суммарным ядром и неоднородностью в линейной части // Дифференц. уравнения. 2021. Т. 57, №9. Р. 1210-1219.

15. Edwards R. Е. Functional analysis. Theory and applications (New York: Holt, Rinehart and Winston, 1995).

16. Садовничий В. А., Григорьян А. А., Конягин С. В. Задачи студенческих математических олимпиад (МГУ, \!.. 1987).

17. Okrasiriski W. On subsolutions of a nonlinear diffusion problem // Math. Meth. in the Appl. Sci. 1989. V. 11, N3. R 409-416.

18. Асхабов C.H. Интегро-дифференциальное уравнение типа свертки со степенной нелинейностью и неоднородностью в линейной части // Дифференц. уравнения. 2020. Т. 56, №6. С. 786-795.

REFERENCES

1. Okrasiriski W. 1979, "On the existence and uniqueness of nonnegative solutions of a certain non-linear convolution equation", Ann. Pol. Math., vol. 36, no. 1, pp. 61-72.

2. Okrasiriski W. 1980, "On a non-linear convolution equation occurring in the theory of water percolation", Annal. Polon. Math., vol. 37, no. 3, pp. 223-229.

3. Askhabov S.N., Karapetvants H.K., Yakubov A.Ya. 1990, "Integral equations of convolution type with power nonlinearitv and systems of such equations", Dokl. Math., vol. 41, no. 2, pp. 323-327.

4. Askhabov S.N., Betilgiriev M. A. 1991, "Nonlinear integral equations of convolution type with almost increasing kernels in cones", Differ. Equat., vol. 27, no. 2, pp. 234-242.

5. Bushell P. J., Okrasiriski W. 1991, "Nonlinear Volterra integral equations with convolution kernel", J. London Math. Soc., vol. 41, no. 2, pp. 503-510.

6. Askhabov S.N., Betilgiriev M. A. 1993, "A priori bounds of solutions of the nonlinear integral convolution type equation and their applications", Math. Notes, vol. 54, no. 5, pp. 1087-1092.

7. Bushell P. J., Okrasiriski W. 1992, "Nonlinear Volterra integral equations and the Apery identities", Bull. London Math. Soc., vol. 24, pp. 478-484.

8. Kilbas A. A., Saigo M. 1999, "On solution of nonlinear Abel-Volterra integral equation", J. Math. Anal. Appl, vol. 229, pp. 41-60.

9. Askhabov S. N. 2009, Nonlinear equations of convolution type, (russian) [Nelineinie uravneniva tipa svertki], Fizmatlit, Moscow, 304 p.

10. Brunner H. "Volterra integral equations: an introduction to the theory and applications". Cambridge University Press, Cambridge, 2017.

11. Keller J.J. 1981, "Propagation of simple nonlinear waves in gas filled tubes with friction", Z. Angew. Math. Phys., vol. 32, no. 2, pp. 170-181.

12. Schneider W. R. 1982, "The general solution of a nonlinear integral equation of the convolution type", Z. Angew. Math. Phys., vol. 33, no. 1, pp. 140-142.

13. Okrasiriski W. 1989, "Nonlinear Volterra equations and physical applications", Extracta Math., vol. 4, no. 2, pp. 51-74.

14. Askhabov S.N. 2021, "On an integral equation with sum kernel and an inhomogeneitv in the linear part", Differ. Equat., vol. 57, no. 2, pp. 1185-1194.

15. Edwards R. E. 1995, "Functional analysis. Theory and applications". New York: Holt, Rinehart and Winston, 781 p.

16. Sadovnichii V. A., Grigor'van A. A., Konvagin S.V. 1987, Problems of student mathematical olympiads, (russian) [Zadachi studencheskikh matematicheskikh olimpiad], Moscow State Univ., Moscow, 310 p.

17. Okrasiriski W. 1989, "On subsolutions of a nonlinear diffusion problem", Math. Meth. in the Appl. Sci., vol. 11, no. 3, pp. 409-416.

18. Askhabov S.N. 2020, "Integro-differential equation of the convolution type with a power nonlinearitv and an inhomogeneitv in the linear part", Differ. Equat., vol. 56, no. 6. P. 775-784.

Получено: 5.10.2022 Принято в печать: 22.12.2022

i Надоели баннеры? Вы всегда можете отключить рекламу.