Scientific journal
International Journal of Applied and fundamental research
ISSN 1996-3955
ИФ РИНЦ = 0,593

ABOUT ONE SYSTEM OF VOLTERRA INTEGRAL EQUATIONS OF THE FIRST KIND

Saparova G.B. 1 Zulpukarov Zh.A. 1
1 Osh Technological University
Annotation. Recently, there has been a sharp interest in the theory of integral equations, called ill – posed problems, so the study of such problems is relevant, which is due to the importance of this topic. Integral equations are important applications in the field of mathematics, since they are actively developing in applications of such sciences as: physics, technology, aerodynamics, electrodynamics. The theory of Volterra integral equations is developing very intensively at the present time, but systems of such equations of the first and third kind are still poorly developed and little studied. Also, regularization methods and numerical solution of systems of these equations have not been sufficiently studied in the case when a known function, for a given function outside the integral, vanishes at the interior points of the segment. In this paper, the solution to the system of Volterra integral equations of the first kind is investigated in the case of two independent variables. Since systems of equation have not yet been fully considered in the spaces of generalized functions and their exact solution can be found only in very rare special cases, the development of approximate methods for solving them is especially relevant, that is, in the form of constructing a regularization in classes of generalized functions with an appropriate theoretical justification.
solution
regularization
lemma
resolvent
systems
formula
method

Интегральные уравнения Вольтерра очень широко применяются в задачах астрономии, биологии, экологии, электродинамики и механики [1]. С каждым днем все больше появляются новые области, где находят свои применения интегральные уравнения Вольтерра первого, второго и третьего родов. В работах А. Асанова, М. Иманалиева, С. Искандарова рассмотрены методы регуляризации, с помощью которых в теории интегральных уравнений Вольтерра первого и третьего родов доказывается существование и единственность решения [2, 3].

Интегральные уравнения Вольтерра первого рода являются некорректными задачами, и для их решения не могут быть применены стандартные методы, чтобы найти их решение, был использован метод приближенных решений, которые применяли в своих трудах В.О. Сергеев, Ж.А. Зулпукаров, Г.Б. Сапарова [4–6].

Материалы и методы исследования

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

Результаты исследования и их обсуждение

Рассматривается система

missing image file, (1)

где K(t,x,s) и N(t,x,s,z) – (nхn) – матрицы функции, а u(t,x) – искомая и f(t,x) – заданная n – мерные вектор-функции на G = {(t,x): 0 ≤ t ≤ T, 0 ≤ x ≤ X}, f(0,x) = 0 при missing image file

Введем норму, для nхn – матрицы A = (aij) следующим образом:

missing image file и для n–мерных векторов u = (u1,…,un) в виде missing image file.

Введем переменную

missing image file, (t,x)∈G, i = 1,2,…,n. (2)

Потребуем выполнение следующих условий:

а) missing image file, missing image file, missing image file и missing image file при (t,x)∈G, где N0 – const, λ(t,x) – определена с помощью формулы (2), missing image file;

б) при t > τ для любых (t,x,s),(τ,x,s)∈G1 = {(t,x,s): 0 ≤ s ≤ t ≤ T; 0 ≤ x ≤ X; } справедливо

missing image file

где 0<C – const;

в) при t > τ для любых (t,x,s,z),(τ,x,s,z)∈G2 = {(t,x,s,z): 0 ≤ s ≤ t ≤ T; 0 ≤ z ≤ x ≤ X} справедливо

missing image file

где 0 < C1 – const и N(t,x,t,z) ≡ 0 при (t,x,z)∈G4 = {(t,x,z): 0 ≤ t ≤ T; 0 ≤ z ≤ x ≤ X};

Наряду с системой (1) рассмотрим систему

missing image file (3)

где 0 < ε – малый параметр.

Решение системы (3) будем искать в виде

missing image file, (t,x)∈G. (4)

Подставляя (4) в (3), имеем

missing image file (5)

Из (5) получаем следующую систему:

missing image file

missing image file (6)

Резольвента матричного ядра missing image file имеет вид

missing image file, ε > 0, (7)

где X(t,x,y,s,ε) – матричная функция Коши системы missing image file missing image file единичная матрица.

Отметим следующие свойства матричной функции X(t,x,s,ε):

10. missing image file, (8)

где X –1(t,x,y,ε) – обратная матрица матрицы X(t,x,y,ε)

20. missing image file, (9)

missing image file. (10)

30. В силу неравенств Важевского и в силу условия а) имеет место

missing image file (11)

Далее, с помощью резольвенты R(t,x,y,s,ε),

missing image file

missing image file

missing image file

missing image file

Используя формулу Дирихле и учитывая (9), (10), последнюю преобразуем к следующему виду:

missing image file (12)

где missing image file

missing image file (13)

missing image file(14)

missing image file (15)

В дальнейшем используем следующие леммы.

Лемма 1. Пусть выполняются условия а), б), в) и г). Матричные функции H(t,x,s,ε), и N1(t,x,s,z,ε) определены соответственно с помощью формул (13) и (14). Тогда справедливы оценки

missing image file, missing image file, ε > 0, (16)

missing image file, missing image file, ε > 0, (17)

где missing image file

Доказательство. В силу условий а) – б) из (13) имеем

missing image filemissing image file.

В этом случае в силу (11) для первого слагаемого имеем

missing image file missing image file.

Для второго слагаемого справедливо соотношение

missing image file

missing image file

missing image file

Следовательно, лемма 1 доказана.

Аналогично этому можно получить оценки (17).

Лемма 2. Пусть функция F(t,x,ε) определена формулой (15). Если u(t,x)∈Сn(G); u(0,x)=0 при x∈[0,X] и missing image file при почти всех t∈[0,T], missing image file, t∈[0,T], missing image file, то справедлива оценка

missing image file (18)

где β∈(0,1), missing image file.

missing image file – обратная функция к missing image file, т.е. missing image file.

Доказательство. 1) Пусть missing image file. Тогда из (18) имеем

missing image file

missing image file

missing image file (19)

2) Если φ –1(εβ)≤ t ≤ Т, то

missing image file, (20)

missing image file

missing image file. (21)

Учитывая (19), (20) и (21), из (15) получаем оценку (18).

Лемма 2 доказана.

В силу оценок (16), (17) и (18) из (12) получим

missing image file (22)

гдеmissing image file (23)

missing image file.

На основе леммы 1 неравенство (22) перепишем в следующем виде:

missing image file

Вместо missing image file положим выражение (23) и из последнего неравенства имеем

missing image file

missing image file

Это неравенство интегрируем и применим формулу Дирихле:

missing image file

Затем, заменяя t на Т, получаем в виде

missing image file (24)

На последнюю (24) применим лемму 2, имеем

missing image file

где missing image file.

Из последнего уравнением имеем

missing image file, (t,x,)∈G, (25)

где missing image file

missing image file.

Таким образом, доказана следующая теорема.

Теорема 1. Пусть выполняются условия а), б), в) и система (1) имеет непрерывное решение missing image file, missing image file при x∈[0,X] и missing image file при почти всех t∈[0,T]. Тогда решение missing image file системы (3) при ε→0 сходится к непрерывному решению missing image file системы (1) в области G и справедлива оценка (25).

Теорема 2. Пусть выполняются условия а), б), в), г) и missing image file при почти всех missing image file. Тогда решение системы (1) единственно в пространстве Сn(G).

Доказательство. Пусть однородная система

missing image file

то есть система (1) при missing image file допускает ненулевое решение missing image file при (t,x)∈G. Последнюю систему перепишем в следующем виде:

missing image file

missing image file (26)

Обе части системы (26) скалярно умножаем на вектор missing image file. Скалярное произведение обозначим символом missing image file. Умножая справа и слева, затем суммируя их, имеем

missing image file

missing image file (27)

Отсюда, в силу условий теоремы, имеем

missing image file

missing image file (28)

Далее, применяем формулу Дирихле и теорему о среднем и, деля обе части на missing image file и переходя к пределу при t → 0, получим

missing image file при x∈[0,X]. (29)

Из (1) при missing image file, (t,x)∈G, имеем missing image file при всех (t,x)∈G, ε > 0. Тогда в силу теоремы 1 имеем

missing image file

при ε→0. Таким образом missing image file. Отсюда missing image file при всех (t,x)∈ G.

Теорема 2 доказана.