Интегро-дифференциальное уравнение Вольтерра произвольного порядка со степенной нелинейностью Текст научной статьи по специальности «Математика»

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

Том 24. Выпуск 4.

УДК 517.968 Б01 10.22405/2226-8383-2023-24-4-85-103

Интегро-дифференциальное уравнение Вольтерра произвольного порядка со степенной нелинейностью1

С. Н. Асхабов

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

Аннотация

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

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

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

С. Н. Асхабов. Интегро-дифференциальное уравнение Вольтерра произвольного порядка со степенной нелинейностью // Чебышевский сборник, 2023, т. 24, вып. 4, с. 85-103.

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

CHEBYSHEVSKII SBORNIK Vol. 24. No. 4.

UDC 517.968

DOI 10.22405/2226-8383-2023-24-4-85-103

Volterra integro-differential equation of arbitrary order with power

nonlinearity

S. N. Askhabov

Askhabov Sultan Najmudinovich — 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: [email protected]

In the cone of the space of continuous functions, the method of weight metrics (analogous to Bielecki's method) is used to prove a global theorem on the existence, uniqueness, and method of finding a nontrivial solution to the initial problem for a homogeneous n-order integro-diflterential equation with a difference kernel and power nonlinearity. 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 to the solution in terms of the weight metric. The study is based on the reduction of the initial problem to the equivalent nonlinear Volterra integral equation. Exact lower and upper a priori estimates for the solution are obtained, on the basis of which a complete weighted metric space is constructed that is invariant with respect to the nonlinear operator generated by this Volterra integral equation. In contrast to the linear case, it has been established that, in addition to the trivial solution, the non-linear homogeneous Volterra integral equation can also have a non-trivial solution. An analysis of the results obtained shows that with an increase in the order of an integro-differential equation with a power nonlinearity, the exponent decreases. Examples are given to illustrate the results obtained..

Keywords: Volterra integro-differential equation, power nonlinearity, a priori estimates.

Bibliography: 18 titles.

For citation:

S. N. Askhabov, 2023, "Volterra integro-differential equation of arbitrary order with power nonlinearity" , Chebyshevskii sbornik, vol. 24, no. 4, pp. 85-103.

1. Введение

Метод весовых метрик хорошо известен применительно к интегральным уравнениям Воль-терра со степенной нелинейностью (см., например, [1]-[6]). Такие уравнения возникают при описании различных процессов, изучаемых в гидро-аэродинамике, а также в теории переноса тепла излучением, в моделях популяционной генетики и других [1]-[8], при этом особый интерес представляют непрерывные на [0, те) положительные при х > 0 решения. В данной работе метод весовых метрик применяется к интегро-дифференциальному уравнению

Abstract

Посвящается профессору Белову Алексею Яковлевичу

в связи с его 60-летием

о

при начальных условиях

и(0) = и'(+0) = и"(+0) = ... = и(га-1)(+0) = 0. (2)

Всюду предполагается, что ядро К(х) удовлетворяет условию

К е С2п-1[0, те), К(2п-1)(х) те убывает на [0, те),

К(0) = К'(0) = К''(0) = ... = К(2га-2)(0) = 0, К(2га-1)(0) = р> 0. (3)

Наряду с задачей (1)-(2) изучается тесно связанное с ней интегральное уравнение

X

„«(*)=/*— () ■ «">* а> 1 х> 0 (4)

В связи с отмеченными выше приложениями уравнения (4) в различных задачах гидроаэродинамики и других, его решения разыскиваются в конусе

Q0 = {и(х) : и(х) £ С[0, те), и(0) = 0, и(х) > 0 при х > 0} .

Следует отметить, что метод весовых метрик является аналогом метода польского математика Белецкого (Adam Bielecki, 1910-2003), который впервые применил [9] свой метод к обыкновенному дифференциальному уравнению у' = f (х,у) в предположении, что функция f (х, у) непрерывна в области 0 < х < а < те 0 < у < @ <теи удовлетворяет условиям: |/(х,у\) — f (х,у2)1 < L(x) ■ 1у\ — |/(х, 0)| < L(x), ^де функция L(x) неотрицательна и

непрерывна в промежутке [0, а), во множестве всех непрерывных на [0, а) функций

весовую норму

||«|| = sup

0<ж<а

lu(x)l ■ ex^ — к / L(t) dt

где к положительная константа, Белецкий доказал глобальную (без ограничений на область существования решения) теорему о существовании и единственности решения уравнения у' = /(х, у). В работе [10] он применил свой метод к дифференциальному уравнению в частных производных. Позже к этому методу в своих работах приходили и другие авторы в связи с чем Кордунеану опубликовал статью [11] (см., также, [12], [13]), в которой обосновал приоритет Белецкого в разработке данного метода. Метод Белецкого изложен в монографии Эдвардса [14], в которой подчеркнуто, что он является более эффективным по сравнению с другими ранее применявшимися методами так как дает возможность доказывать непосредственно глобальную теорему существования и единственности.

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

2. Свойства неотрицательных решений

Выясним сначала какими свойствами заведомо должно обладать нетривиальное решение нелинейного интегрального уравнения (4), если оно существует.

Лемма 1. Пусть а> 1 и ядро К(х) удовлетворяет условию (3). Если и € Q0 является решением уравнения (4), то и(х) не убывает на [0, ж) и п раз непрерывно дифференцируема на, (0, ж), т,.е. и € Сп(0, ж).

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

XI Х2

иа<

(Х2) - иа(х1)= К(п)(х2 - ¿) - К(п)(х1 - г) и(г) м + К(п)(х2 - ¿) и(г) м > 0

Х1

откуда получаем, что и(х1) < и(х2), т.е. и(х) те убывает на [0, ж).

Осталось доказать, что и € Сп(0, ж). Из тождества (4) с учетом условия (3), получаем

X

✓(*) = / - «)(5)

откуда

откуда

0

Значит и" (х) существует и непрерывна на (0, ж) как производная произведения двух непрерывно дифференцируемых функций. Поэтому для любого х > 0 из (5) имеем

X

а (а - 1) М'2„) + М» = / К<"+2)„ - () (7)

0

X

М» = а-П/ К<п+2)(, - () „(,) * - („ - 1) ,-1(,) М'V (8)

0

Следовательно, и'"(х) существует и непрерывна на (0, ж), поскольку непрерывно дифференцируема правая часть тождества (8).

Продолжая этот процесс получим, что и(п-1\х) с помощью элементарных действий выражается через непрерывно дифференцируемые на (0, ж) функции, не равные нулю при х > 0,

X

¡к-(),<г)

0

Поэтому и(п\х) существует и непрерывна на (0, ж), т.е. и € Сп(0, ж). Лемма 1 доказана.

Заметим, что лемма 1 справедлива и при 0 < а < 1.

Далее нам понадобится следующая теорема подробно доказанная в монографии [4, с. 151].

X

Теорема 1. Пусть ядро к(х) определено на полуось, [0, те) и удовлетворяет условию:

к(х) > А ■ х1-1,

где А > 0 и у > 0 - любые постоянные. Есль и е Qo ь является решеньем уравнения

X

™=1к(х — "(() л, а>1 *>0

то

1/(а-1)

и(х) >

-Ч*2——г)

х~(/(а-1), (9)

а — 1

где В есть бета-функцья Эйлера.

С помощью леммы 1 и теоремы 1 доказывается следующая лемма.

Лемма 2. Пусть а> 1 и ядро К(х) удовлетворяет условию (3). Если и е Q0 является решение уравнения (4), то

1/(а-1)

хп/(а-1) < и(х) < ( ^^к(га-1)(^Л , (10)

где

с(а,п) ■ хп/(а-1) < и(х) < ^К(п-1)(х)^

с(а,п) =

—г)

1/(«-1)

. (11)

(п — 1)! V ' а — 1

Доказательство. Интегрируя (п — 1) раз функцию К(2га-1)(ж) по формуле Коши, с учетом условия (3), имеем

х

К(п)(х) = ¡(х — 1)п-2К(2п-1)(Ъ) (И. (12)

0

Следовательно, так как К(2га-1)(ж) не убывает на [0, те),

гАп)^ ^ К(2га-1)(0) п_ 1 р п_ 1

К(П)(Х) > ^ ^ 1 = 1) ^ 1.

Таким образом, выполнены все условия теоремы 1 при к(х) = К(п)(х), А = р/[(п — 1)!] и 7 = п. Поэтому нижняя оценка в (10) является прямым следствием неравенства (9).

Осталось доказать верхнюю оценку из (10). Так как и(х) и К(п) (х) не убывают (см. доказательство леммы 1) на [0, те), то в силу интегрального неравенства Чебышева (см., например, [4, с. 121]) из тождества (4) получаем

X

■(*) </ к^м.) м

откуда

х \ 1/а

и(х) < I У К(ra)(í)u(í) М I , Ух е [0, те), (13)

или, чт0 то же самое,

г \ 1/а

и(г) < (ук(п) («)«(«) I , е [0, те).

Р

Следовательно, с учетом, что К (п)(х) > 0 при всех х > 0, имеем

-1/а

К(п)(£) ■ у! К(п)(з)и(з) (з j < К(п)(г), V* е (0, те).

0 х

(а-1)/а ж

а — 1

к(п) (в)и(в) ^ ) < к(п) (¿) а = —1 к(п-1) (х)

/ а у а

или

1/а

к (п)(*)и(г) а

<

а — 1

а

К (п-1)(х)

1/(а-1)

Но тогда, в силу неравенства (13), справедлива верхняя оценка из (10). Лемма 2 доказана.

Заметим, что используя известную формулу для вычисления значений бета-функции Эйлера (см., например, [15, с. 752]), равенство (11) можно записать в виде:

с( а,п) =

■р- (а - 1)п

(а + п — 1) ■ (2а + п — 2) ■ (3а + п — 3) ■... ■ п - а

1/(а-1)

В силу этого равенства, нижние априорные оценки решения уравнения (4), полученные в п = 1, 2, 3

Пример 1. Функция и*(х) = с(а,п) ■ хп/(а-1) является решением уравнения (4) при К(х) = х2п-1; т.е. и*(х) является решением, интегрального уравнения

ж

(2п — 1)!

иа(х) = (2п_ А, [(х — Г-М*) М, а > 1. (п — 1)! ,}

(п — 1)

0

В самом деле, в этом случае К(п)(х) = (х2п-1)(п) = хп-1 и поэтому

ж ж

J К(п)(х — *) и(*) а = ^—^ с(а, п) !(х — ¿)п-1Г/(а-1)^ = 00

(2п — 1)!

(п — 1)!

с(а, п)Б (п, + хпа/(а-1) = [с(а, п) ■ хп/(а-1)]а = [и*(х)]а

Кроме того, и*(х) = с(а,п) ■ хп/(а 1) = Р(х) при К(х) = х2п 1, что свидетельствует о

Заметим, что при а = 2 и К(х) = х2п-1 функция и(х) = с(2, п) ■хп является как решением уравнения (4), так и решением задачи (1)-(2).

при

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

Пример 1 показывает, что кроме тривиального решения и(х) = 0 однородное нелинейное интегральное уравнение (4) может иметь и нетривиальное решение - в этом состоит принципиальное отличие от теории линейных однородных интегральных уравнений Вольтерра, которые могут иметь лишь тривиальное решение.

Из леммы 2 вытекает, что решения уравнения (4) следует искать в конусном отрезке

Р = {и(х) : и ее [0, те) и Р (х) < и(х) <С(х)},

где

fn- 1 \1/(«-1)

F(x) = с(а,п) •xn/(a-l), G(x) = ( - K(n-l)(x)j , (14)

а с( а,п) определено в (11).

3. Интегральное уравнение

Прежде чем приступить к исследованию нелинейного интегрального уравнения (4), рассмотрим оператор Т, порожденный этим уравнением. А именно, докажем сначала следующую лемму.

Лемма 3. Если а> 1 и выполнено условию (3), то оператор

х \ l/a

(п)

™(x)=UK (n) (x -t)u(t)dt

переводит класс Р в себя.

Доказательство. Пусть и € Р. То, что Ти € С[0, те) очевидно. Докажем сначала, что (Ти)(х) > Р(х). Так как и(х) > Р(х), то

X

> <a,,)-jK и(x - t) e/(°-l)dt. =

X

= с(а, п) • n - Ц [ K(n)(x — t) d t(a+n-l)/(a-l) = аа I п 1 J

%—l)/[a—l

i K 4 • ( x — i, I d i.4

а + п — 1

о

X

= c(а, п) • а — Ц [ к(n+l)(x — t) t(a+n-l)/(a-l)dt = а, I п 1 J

а I п — 1

о

X

а 1 а 1

= с(а, п) • -^-i---^^ / K(ra+l)(x — i)di(2"+ra-2)/("-l) =

а + п — 12а + п — 2 J v 7

о

= с(а, п) • --^-- [ K(n+2)(x — i) t(2«+"-2)/(«-l)di =

v ' 7 ( а + п — 1)(2а + п — 2) J v '

о

= с(а, п) • --^-- • а 1 I' K(n+2){x — i)di(3«+"-3)/(«-l) =

v 7 (а + п — 1)(2а + п — 2) 3а + п — 3 J v 7

X

о

X

= с(а, п) • --w (а 1) w-- [ K(n+3)(x — t) t(3a+n-3)/(a-l)dt = ... =

v 7 ( а + п — 1)(2а + п — 2)(3а + п — 3) J v 7

( а + п — 1)(2а + п — 2)(3а + п — 3)

с( а, п) • (а — 1)п-1

( а + п — 1) (2а + п — 2) ... [(п — 1)а + п + (п — 1)]

о

о

X

J K(2n-l)(x — t) t[(n-l)a+lV(a-l)dt >

> К(2п-1) (0) . с(а п)__(«__ [ t[(n-l)a+l]/(a-l)dt _

" (0) С(а'П) (а + п - 1) (2а + п - 2) ... [(п - 1)а + 1]' 1 _

о

(а - 1)n-1p__а - 1 . Tn«/(«-1) _

= C(а,п) ^ (а + п — 1) (2а + п — 2) ... [(п — 1)а + 1] па

= с(а, п) ■ [с(а,п)]а-1 ■хпа/(а-1) = [Р(х)]а.

Следовательно, (Ти)(х) > Р(х).

Осталось доказать, что (Ти)(х) < С(х). Так как и(х) < С(х) и К(п) (х) не убывает на [0, те), то применяя интегральное неравенство Чебышева, получаем

ж ж

™а=!к ^ - „„юл <!к ^—=

00

/а_ 1 N 1/(а-1) } i^--) К(n) (х - i)[K (n-1)(i)]1/(a-1)di <

о

ж

in, 1 \ 1/(а-1) Г

С К(n)(t)[K(n-1)(i)]1/(a-1)di _

о

\ 1/(а-1)

^ j ^ [К(n-1)(x)]«/(«-1) =

т.е. (Ти)(х) < G(x). Лемма 3 доказана.

Пусть b > 0 - произвольное число. Выберем достаточно малое число ц £ (0, Ь) так, чтобы выполнялось условие:

К (2п-1)(ц) < а ■ К (2n-1)(0) _а-р. (15)

Очевидно, что такое ц существует, так как К(2n-1)(0) _ р > 0, а > 1 и функция К(2n-1)(x) непрерывна по условию (3). Положим

1 К(2n-1)(x) -р р _ - ■ sup -, (16)

Р г/<ж<Ь х

где и] > 0 определено в условии (15).

Лемма 4. Если выполнено условие (3), то для любого х £ [0, b] справедливо неравенство

1

(п -1)!

к(п)(х) ■ е-//ж < ---К(2п-1)(ц)хп-1. (17)

Доказательство. Докажем сначала, что

К(2п-1)(х) ■ е-/3х < К(2п-1)(]) для любого х е [0, Ь]. (18)

Если х е [0, ]], то неравенство (18) очевидно, так как е-/3ж < 1. Если же х е [], Ь], то аналогично [1], получаем

К(2п-1)(х) =р + рх 1 К(2п 1)(х) —Р < р + рхр = р{1 + рх) <К(2п-1)(]) е/ж,

х

ж

т.е. неравенство (18) выполняется и при х € [0, г/]. Так как, в силу равенства (12),

X

K(n)(x) < 1 K(2n-l)(x) i(x — t)n-2dt = 1 K(2u-1^(x)xu-1 , (п — 2)! J (п — 1)!

о

то

K(n)(x) • e-^x < 1 K(2n-l)(x) • e-iixxn—. (19)

(п — 1)!

Используя неравенство (18), из (19) сразу получаем неравенство (17). Лемма 4 доказана. Рассмотрим теперь класс

Pb = {u(x) : u(x) е С[0, Ь] и F(x) < u(x) < G(x)},

где F(x) и G(x) определены в лемме 2, a b > 0 - любое число. Введем в этом классе метрику д, положив

|u(x) — v(x)l , .

g(u, v)= suP пи)-1) , (20)

о<х<ь xn/(a l) • ePx

где P определено в (16).

x е [0, ]

с учетом, что функция K(2n-l\x) не убывает, имеем

х

K(n)(x) < (п -2);K(2n-l)(b) J(x — t)n-ldt = K(2n-l)(b) • xh-1

о

или, что то же самое,

K(n)(t) < 1 ,,K(2n-l)(b) • г-1 для любого t е [0,Ь]. (п — 1)!

Интегрируя последнее неравенство в пределах от 0 до x с учетом, что K(ra-l) (0) = 0, получаем

K (n-l)(x) < -1 K (2n-l)(b) • xn для любо го x е [0, Ь]. п!

Поэтому, для любых x е [0, Ь] и u,v е Рь, имеем

Hxl—М < G(x) — F(x) < (а—. 1K(2п-1)(6Л 1/{а-1)_с{а п)

xn/(a-l) eJ3x < xn/(a-l) < \ а п! ( )) ( , ),

т.е. расстояние g(u, v) конечно для любых u,v е Рь-

Точно так же как и в теореме 17.13 [4] проверяется полнота метрического пространства Рь-Теорема 2. Пусть а> 1 и выполнено условие (3). Тогда оператор Т : Р^ ^ Рь и является сжимающим, причем для любых u,v е Рь выполняется неравенство

K (2n-l)(v)

g(Tu, Tv) <-а ки • g(u, v). (21)

Доказательство. То что оператор Т : Рь ^ Р^, т.е. действует из Рь в Р,, вытекает из леммы 3. Как и при доказательстве теоремы 17.14 [4], применяя теорему Лагранжа, получаем

^ 1 Р * [u — v])(x)l 1 r, a (K(ra) *|u — v|)(x)

g(Tu, Tv) < - sup ---Ц--<-• [с(а, п)]1 sup --r,—-n a ■ (22)

а о<х<ь {F(x)}a-lxn/(a-l)< а о<х<ь xnxn/(a-l)

Так как, в силу неравенства (17) и известного равенства

X

¡(х - Ь У^сМ = В(у + 1,р + 1) ■ где и> -1, р> -1,

имеем

X

{К(n) *\u -v\)(x) = е/3х [ К (n)(x - t) (t]} e—p (x—t) tn'(a—1)dt <

I -j-П/ ((У. — 1) g p t

о

< \,.ß(u, v) eßxK(2n—1)(r])f(x - t)n—1 tn/(a—1)dt = {n — 1)! J

1 ß(u, v) eßxK (2n—1)(r]) •в(п,а + n - ^ •xn+n/(a—1),

(n - 1)ГЧ ' ' V ' а -1

то, подставив в (22), получаем

ß(Tu,Tv) < а • [c(a,n)]1—a -—Ц-т ß(u, v)K(2n—1)(V) • В (п,а + П-Л = а (n -1)! \ а -1 )

К (2n—1)(ri) , Л

=--ß (и, V),

а • р

т.е. выполнено неравенство (21). Поскольку число ^ > 0 выбрано так, что выполнено условие T

а > 1

типа свертки (4) имеет единственное решение в Q0 (и в Рь при любом Ъ > 0). Это решение в Рь может быть найдено методом последовательных приближений, которые сходятся к нему по метрике (20) при любом Ъ < те.

4. Начальная задача

Приступим, наконец, к исследованию начальной задачи (1)-(2). Ее решение будем разыскивать в классе

Qn = {u(x) : и е С[0, те) П Cn(0, те), и(0) = 0 и u(x) > 0 при x > 0}.

Следующая лемма устанавливает связь между начальной задачей (1)-(2) и нелинейным интегральным уравнением (4).

Лемма 5. Пусть а > 1 и ядро К(x) удовлетворяет условию (3). Если u е Qn является решением, начальной задачи (1)-(2), то u е Q0 и является решением, интегрального уравнения (4).

Доказательство. Пусть u е QU есть решение начальной задачи (1)-(2). Тогда очевидно, что u е Qo и, в силу формулы интегрирования по частям, из тождества (1) с учетом условий (2) и (3), имеем

x x

ua (x) = lim f К (x - t) du(n—l\t) = lim f v,(n—1)(t)K'(x - t) dt = ... =

£^+0 J £^+0 J

X X X

= lim [и'(t)K(п-1)(х - t)dt = lim [к(п)(х - t)u(t)dt = ¡К(п)(х - t)u(t)dt, e^+oj £^+0 J J

£ £ 0

т.е. и(х) является решением интегрального уравнения (4).

Приведем примеры, соответствующие интегро-дифференциальным уравнениям первого, второго и третьего порядков.

Пример 2. Начальная задача

X

и°(х) = 1(х - t)u (,)*, 1 <а< ^ и(0) = о,

0

имеет, в классе Q0 (см. [16]) единственное решение

а — 1

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

а

Пример 3. Начальная, задача,

X

,.«(.) = /(.-1 <а<3, .<0) = а<(+0) = 0,

0

имеет в классе Q0 (см. [17]) единственное решение и(х) = С2 -х2/(а-1), где С2 =

3 (а - 1)211/{а-1) а (а + 1)

Ограничение 1 < а < 3 необходимо для выполнения начального условия и'(+0) = 0, поскольку и'(х) = 2 (а-1)-1 С2-х(3-а)/(а-1). Это ограничение необходимо также для выполнения условия (14) из [17] при К(х) = х3.

Пример 4. Начальная, задача,

X

иа(х) = У (х - t)5и"'(t)dt, 1 < а < 2, 5, и(0) = и'(+0) = и"(+0) = 0, 0

имеет в классе Q0 (см. [18]) единственное решение и(х) = Сз ■х3/(а-1), где Сз =

40 (а - 1)3 11/(а-1)

а ( а + 2) (2 а + 1)

Ограничение 1 < а < 2, 5 необходимо как для выполнения условия и"(+0) = 0, поскольку и1 '(х) = 3 (4 — а) (а — 1)-2 Сз ■ х(5-2а)/(а-1), так и для выполнения условий (5) и (6) из [18] при К (х) = х5.

Из работ [16]-[18] следует, что с ростом порядка п интегро-дифференциального уравнения

К( х) а

п = 2 п = 3

оценки снизу решения приводит [17], [18] к нелинейным дифференциальным неравенствам второго и третьего порядков, соответственно. В этой связи, ввиду громоздкости получаемых

п = 4

Итак, рассмотрим начальную задачу

x

va(x) = JК(x -1) •u(4)(t)dt, а > 1, x> 0, (23)

0

u(0) = u (+0) = u"(+0) = u'"(+0) = 0, (24)

в конусе

Q4 = {u(x) : u е С[0, те) П С4(0, те), u(0) = 0 и u(x) > 0 при x > 0}. а > 1

К е С7[0, те), К(7)(x) не убывает на [0, те),

К(0) = К'(0) = К''(0) = ... = К(6)(0) = 0, К(7)(0) = q > 0, (25)

lim x4(4/s—a^(a—1^ К(4)(x) = 0, (26)

х^+0

lim x4(5/S—a)/(a—1)K(5)(x) = 0, (27)

x^+0

lim x4(2—a)/(a—1)K(6)(x) = 0. (28)

x^+0

u е Q0

x

u((x) = J К(4)(x -1) •u(t)dt, а > 1, x> 0, (29)

0

то u е Q0 и является решением начальной задачи (23)-(24).

u е Q0

по лемме 1, u(x) не убывает на [0, те) и u е С4(0, те). Следовательно, u е Q0-u( x)

при n = 4. Поскольку правая часть тождества (5) неотрицательна, то его левая часть также неотрицательна и, значит, u'(x) > 0 при любом x > 0. Поэтому из (6), с учетом леммы 1, имеем

x

0 < u (1) = а-lul-yix)Jк ^ _ „ u(t)dt < т

lim u2—a(x)K(4)(x) = 0. (31)

Покажем, что

г.2-а

х^+0

При а < 2 равенство (31) очевидно, так как и(0) = 0 и К(4)(0) = 0. Если же а > 2, то используя оценку и(х) > с(а, 4) ■ х4/(а-1\ доказанную в лемме 2, имеем

0 < и2-а(х)К(4)(х) < [с(а, 4)]2-ах4(2-а)/(а-1)К(4)(х) =

= [с(а, 4)]2-ах(8/3)/(а-1)х4(4/3-а)/(а-1)К(4)(х) ^ 0

при х ^ в силу условия (26). Следовательно, равенство (31) выполняется и при а > 2. Переходя к пределу при х ^ +0 в (30), с учетом равенства (31), получаем

и' (+0) = 0. (32)

п = 4

X

0 < а»(х)+(а - 2(х)=а-Ч^С) /К <«(*—() л. РЗ)

0

Покажем, что

п = 4

0 < и-1 (х)и/2(х) = и-1(х) а-2и2-2а I I К(5)(х — *) и(*) М I <

lim и-1(х)и'2(х) = 0. (34)

ж^+0

<а-2и3-2а(х){к(4)(х)) . (35)

Из (35) непосредственно вытекает равенство (34) при а < 3/2, так как и(0) = 0 и К(4) (0) = 0. Если же а > 3/2, то используя оценку и(х) > с(а, 4) ■ х4/(а-1 из (35) имеем

0 < и-1(х)и'2(х) < а-2[с(а, 4)]3-2«х4(3-2а)/(а-1) (к(4)(х))2 =

= а-2[с(а,4)]3-2ах4/3)/(а-1) (х4(4/3-а)/(а-1) К(4)(х))2 ^ 0

при х ^ +0 в силу условия (26). Следовательно, равенство (37) выполняется и при а > 3/2. Покажем, что

х

lim и1-а(х) [ К(6)(х - t)n(t)dt = 0. (36)

ж^+0 J

0

Так как функция и(х) не убывает на [0, те, то

X

0 < и1-а(х) j К(6)(х - t) и(г) dt < и2-а(х)К(5)(х). (37)

0

Из (37) вытекает непосредственно равенство (36) при а < 2, так как и(0) = 0 и К(5) (0) = 0. Если же а > 2, то используя оценку и(х) > с(а, 4) ■ х4/(а-1 из (37) получаем

х

0 < и1-а(х) [ К(6)(х — *) и(£) ^ < [с(а, 4]2-ах4(2-а)/(а-1) К(5)(х) =

= [ С(а, 4]2-ах(4/3)/(а-1)х4(5/3-а)/(а-1)К(5)(х) ^ 0

при х ^ +0 в силу условия (27). Следовательно, равенство (36) выполняется и при а > 2. Переходя к пределу при х ^ +0 в (33), с учетом равенств (34) и (36), получаем

и"(+0) = 0. (38)

Умножив обе части тождества (8) при п = 4 на и-1(х) и'(х), получим

0 < и-1(х) и'(х) и''(х) + (а — 1)и-2(х) и'3(х) =

= а-1„^к^¡к- Dum, т

0

Покажем, что

lim и-2/3(х)и'(х) = 0. (40)

Из тождества (6) при п = 4 имеем

X

0 < u-2/3(x) u(х) = а-Ы^ f кт(х - t) ,l(t) Л < а-тх) к(4)(х). (41)

0

Из (41) вытекает непосредственно равенство (40) при а < 4/3, так как u(0) = 0 и К(4)(0) = 0. Если же а > 4/3, то используя оценку и(х) > с(а, 4) ■ х4/(а-1 из (41) получаем

0 < и-2/3(х)и'(х) < а-1[с(а, 4)}Ф-»х4(4/3-а)/(а-1)К(4)(х) ^ 0

при х ^ в силу условия (26). Следовательно, равенство (40) выполняется и при а > 4/3. Используя равенство (40), получаем

lim и-2(х)и'3(х)=( lim и-2/3(х)и'(хЛ =0. (42)

х^+0 ух^+0 у

Покажем, что

х

lim и-а(х)и'(х) [ К(6)(х - t)u,(t)dt = 0. (43)

х^+0 J

0

Так как и(х) те убывает на [0, го) и К(5)(0) = 0, то

х

0 <и-«(х)и (х^к (6)(х - <и1-'(х)и (х)к (5\х) =

0

= и-2/3(х) u(х) и5/3-а(х) К(5)(х). (44).

Из (44) вытекает непосредственно равенство (43) при а < 5/3, в силу равенств (40), u(0) = 0 и К(0) = 0. Если же а > 5/3, то используя оценку и(х) > с(а, 4) ■ х4/(а-1) из (44) получаем

х

о < ,г»(х) uм / К^ - D „w ш < и-2/3(х>u(х> [с(а, ^«^т«-^^ ^ 0

0

при х ^ +0, в силу равенства (40) и условия (27). Следовательно, равенство (43) выполняется а > 5/3

Переходя к пределу при х ^ +0 в (39), с учетом равенств (42) и (43), получаем

lim и-1(х)и'(х)и"(х) = 0. (45)

п = 4

К (6)(0)

=0

слагаемых)

а(а - 1)(а - 2)па-3(х)и'3(х) + 3а(а - 1)па-2(х)и'(х)п"(х) + аиа-1(х)и'"(х) =

х

X

IК <Т)(х - ^

0

Разделив обе части последнего тождества на аи° 1 (х), имеем

0 < (а - 1)(а - 2)и-2(х)и'3(х) + 3( а - 1)и-1(х)и'(х)и"(х) + и"'(х) =

= а-П>1КЧ){х - гж <46)

0

Покажем, что

X

lim и1-а(х) [ К(Т)(х - t)n(t)dt = 0. (47)

ж—+0 J

0

Так как и(х) те убывает на [0, те и К(6) (0) = 0, то

X

0 W-»/^ - ()„Ю* <и2-Чх)К6>(хУ (4В).

0

Из (48) вытекает непосредственно равенство (47) при а < 2 так как и(0) = 0 и К(6 (0) = 0. Если же а > 2, то используя оценку и(х) > с(а, 4) ■ х4/(а-1 из (48) получаем

х

0 < „-м / К -1) иМ ш < Ка, 4)]2-"х4(2-«)/(«-1)К (6)<х) ^ 0

0

при х ^ +0 в силу условия (28). Следовательно, равенство (47) выполняется и при а > 2. Переходя к пределу при х ^ +0 в (46), с учетом равенств (42), (45) и (47), получаем

и"'(+0) = 0. (49)

Из (32), (38) и (49) вытекает, что любое решение и £ Q0 интегрального уравнения (29) удовлетворяет начальным условиям (24). Осталось доказать, что оно является решением интегро-дифференциального уравнения (23).

Используя формулу интегрирования по частям, из тождества (29) с учетом условия (25) и равенств (24), имеем

X X

иа(х) = lim / К(4)(х - t) n(t) dt = - lim / иЯ) ШКш(х - t) = £—+0J £—^+0 J

£ £

X XX

= lim ¡ К"'(х - t)n'(t)dt = - lim [и'(¿ЫК''(х - t) = lim /К''(х - t)n''(t)dt = £—+0J £—+0J £—+0 J

£ £ £

X XX

= - lim [и"(€)ШК'(х - t) = lim / К'(х - t) n"'(t) dt = / К(х - t)n(4)(t)dt, £—+0J £—+0 J J

£ £ 0

и( х)

Из леммы 5, леммы 6 и теоремы 4 непосредственно вытекает основной результат данной работы:

X

а > 1

в конусе Q'4 имеет единственное решение и*(х). Это решение удовлетворяет неравенствам

1/(а-1)

*4(х) =

К(Т) (0) ■ (а - 1)

В а ( а + 1) (а + 3) (3а + 1)

< и*(х) <

а 1

а

К ( х)

1/(а-1)

= С4(х)

и его можно найти в конусном, отрезке Ръ = {и(х) : и € С[0, те) и Р4(х) < и(х) < С4(х)} при любом Ъ > 0 методом последовательных приближений по формуле ип = Ти,п-1, п € N которые сходят,ся к нему по метрике

. . |и(х) - г>(х)| Q(u, V)= sup -,

ß =

0<х<Ъх

причем справедлива оценка, скорости их сходим,ост,и,

1

К(Т) (0) ' ^ь

К(Т)(х) -К(Т)(0)

х

р(ип,и*) <

1-

р(Т„0,„0),

где q = К(7\г])/\аК^(0)], число г] £ (0, Ь) таково, что К(T\ri) < а ■ К(Т(0), а, и0 £ Ръ есть начальное приближение.

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

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

lim х4(т/3-а)/(а-1)К(т)(х) = 0 при т = 4, 5, 6.

ж—+0

Это замечание, анализ результатов работ [16]-[18] и доказательства леммы 6 показывает, что начальная задача (1)-(2) аналогично может быть исследована при любых п > 1. При этом на ядро К(х) кроме условия (3) будет накладываться еще п - 1 условие вида (25)-(28). Из

а

п

Функция и(х) = с(п,а) ■ хп/(а-1 является решением интегрального уравнения (4) с ядром К(х) = х2п-1 при любом а > 1 (см. пример 1), однако решением начальной задачи (1)-(2) в случае этого ядра она будет лишь при 1 < а < (2п - 1)/(п - 1), так как

и(п-1)(х) = с(а п) , п (п + 1 - а) (п + 2(1 - а)) ... (п + (п - 1)(1 - а)) , х(2п-1-(п-1)а)/(а-1)

( ) ( , ) (а - 1)п-1

и поэтому начальное условие и(п-1)(+0) = 0 не выполняется при а > (2п - 1)/(п - 1).

Доказательство всех основных результатов данной работы существенно использует усло-а > 1 0 < а < 1

интегральное уравнение (4), а значит и начальная задача (1)-(2), имеют лишь тривиальное решение и(х) = 0 в конусе пространства непрерывных на [0, те) функций.

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

1. Okrasiriski W. Nonlinear Volterra equations and physical applications // Extracta Math. 1989. Vol. 4, №2. P. 51-74.

2. Askhabov S.N., Betilgiriev M.A. Nonlinear convolution type equations // Seminar. Anal. Operator equat. and numer. anal. 1989/90. Karl-Weierstrass-Institut fur Mathematik, Berlin. 1990. P. 1-30.

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

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

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

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

7. 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.

8. 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.

9. Bielecki A. Une remarque sur la methode de Banach-Cacciopoli-Tikhonov dans la theorie des equations differentieless ordinaries // Bull. Acad. Polon. Sci. Ser. Math. Phvs. Astr. 1956. Vol. 4. P. 261-264.

10. Bielecki A. Une remarque sur lapplication de la methode de Banach-Cacciopoli-Tikhonov dans la theorie de lequation s = f(x,y,z,p, q) // Bull. Acad. Polon. Sci. Ser. Math. Phvs. Astr. 1956. Vol. 4. P. 265-268.

11. Corduneanu C. Bielecki's method in the theory of integral equations // Ann. Univ. Mariae Curie-Sklodowska Sect. A. 1984. Vol. 38, №2. P. 23-40.

12. Rolewicz S.Functional analysis and control theory. Linear systems (Mathematics and its applications. East European series, 1987).

13. Kwapisz M. Bielecki's method. Existence and uniqueness Results for Volterra integral equations in LP space 11 J. Math. Anal. Appl. 1991. Vol. 154 P. 403-416.

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

15. Фихтенгольц Г. M. Курс дифференциального и интегрального исчисления, том II (Наука, М., 1970).

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

17. Askhabov S.N. On an integro-differential sec-ond order equation with difference kernels and power nonlinearitv // Bulletin of the Karaganda University. 2022. №2(106). P. 38-48.

18. Асхабов С.Н. Нелинейное интегро-дифференциальное уравнение типа свертки третьего порядка // Современные методы теории краевых задач. Понтрягинские чтения XXXIV: матер. Междун. конф.: Воронежская весенняя математическая школа (3-9 мая 2023 г.). Воронеж: Изд. дом ВГУ, 2023. С. 54-55.

REFERENCES

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

2. Askhabov S.N., Betilgiriev M.A. 1990, "Nonlinear convolution type equations", Seminar. Anal. Operator equat. and numer. anal. 1989/90. Karl-Weierstrass-Institut fur Mathematik, Berlin, pp. 1-30.

3. Askhabov S.N., Karapetvants N.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. 2009, Nonlinear equations of convolution type, (russian) [Nelineinie uravneniva tipa svertki], Fizmatlit, Moscow, 304 p.

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

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

7. 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.

8. 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.

9. Bielecki A. 1956, "Une remarque sur la methode de Banach-Cacciopoli-Tikhonov dans la theorie des equations differentieless ordinaries", Bull. Acad. Polon. Sci. Ser. Math. Phys. Astr., vol. 4, pp. 261-264.

10. Bielecki A. 1956, "Une remarque sur lapplication de la methode de Banach-Cacciopoli-Tikhonov dans la theorie de lequation s = f(x, y, z,p, q)", Bull. Acad. Polon. Sci. Ser. Math. Phys. Astr., vol. 4, pp. 265-268.

11. Corduneanu C. 1984, "Bielecki's method in the theory of integral equations", Ann. Univ. Mariae Curie-Sklodowska Sect. A., vol. 38, no. 2, pp. 23-40.

12. Rolewicz S. Functional analysis and control theory. Linear systems (Mathematics and its applications. East European series, 1987).

13. Kwapisz M. 1991, "Bielecki's method. Existence and uniqueness Results for Volterra integral

LP

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

15. Fikhtengolts G.M. 1970, Course of differential and integral calculus, volume II (russian) [Kurs differentsial'nogo i integral'nogo ischisleniva, torn II], Nauka, Moscow, 800 p.

16. 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, pp. 775-784.

17. Askhabov S.N. 2022 "On an integro-differential second order equation with difference kernels and power nonlinearitv", Bulletin of the Karaganda University, no. 2(106), pp. 38-48.

18. Askhabov S.N. 2023 "Nonlinear integro-differential equation of the third order type of convolution" (russian) [Nelineynove integro-differentsial'noye uravnenive tipa svertki tret'vego porvadka], Modern methods of the theory of boundary value problems. Pontryagin readings XXXIV: mater. Intern. Conf.: Voronezh Spring Mathematical School (May 3-9, 2023). Voronezh: Ed. House of VSU. pp. 54-55. (russian)

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