О численном решении уравнений Вольтерра-Фредгольма с дробными и частными интегралами Текст научной статьи по специальности «Математика»

НАУЧНЫЕ ВЕДОМОСТИ

Серия Математика. Физика. 2015. №23 (220). Выпуск 41

9

УДК 517.9

О ЧИСЛЕННОМ РЕШЕНИИ УРАВНЕНИЙ ВОЛЬТЕРРА-ФРЕДГОЛЬМА С ДРОБНЫМИ И ЧАСТНЫМИ ИНТЕГРАЛАМИ

ON NUMERICAL SOLUTION OF VOLTERRA-FREDHOLM EQUATIONS WITH FRACTIONAL AND PARTIAL INTEGRALS

В.А. Калитвин V. A. Kalitvin

Липецкий государственный педагогический университет, Россия, 398020, г. Липецк, ул. Ленина, д. 42 Lipetsk State Pedagogical University, 42, Lenina St, Lipetsk, 398020, Russia E-mail: kalitvin@mail.ru

Ключевые слова: интегральное уравнение, интегральное уравнение Вольтерра - Фредгольма с частными интегралами, метод механических квадратур, оценка погрешности

Key words: integral equation, Volterra-Fredholm equation with partial integrals, mechanical quadrature method, error estimate

Аннотация. Изучается применение метода механических квадратур к решению линейных интегральных уравнений Вольтерра-Фредгольма с частными интегралами и c неограниченным ядром. Рассматривается алгоритм численного решения и его сходимость.

Resume. The application of mechanical quadraturs method to solution of Volterra-Fredholm linear integral equations with partial integrals and with unbonded kernel is studied. The algorithm for numerical solution and its convergence is studied.

Постановка задачи

В [1] дано обоснование численного решения интегральных уравнений Вольтерра с частными интегралами и непрерывными ядрами методом механических квадратур. В [2,3] рассмотрены задачи механики сплошных сред, которые приводятся к интегральным уравнениям Вольтерра-Фредгольма с частными интегралами с непрерывными и с неограниченными ядрами. В связи с этим в данной работе метод механических квадратур применяется к решению линейных интегральных уравнений Вольтерра-Фредгольма с частными интегралами, одно из ядер которого не ограничено.

Рассматривается интегральное уравнение Вольтерра-Фредгольма

x(t, s) = f Х(Т’dr + fm(t, s, &)x(t, a)da + f (t, s) = (Vx)(t, s) + f (t, s)

f(t ~r)a f

(1)

с частными интегралами, где 0< а <1, t, s е[0,1], m(t, s,&) и f (t, s) — заданные непрерывные функции, а интегралы понимаются в смысле Лебега. При m(t, s,&) = 0, s = 0, x(t,0) = y(t) и

f (t,0) = h(t) уравнение (1) является уравнением Абеля.

Отметим, что применение метода механических квадратур к уравнению (1) требует обоснования, так как оператор V в правой части уравнения (1) не является вполне непрерывным, а известные обоснования метода механических квадратур для обычных интегральных уравнений используют полную непрерывность интегральных операторов в этих уравнениях.

10

НАУЧНЫЕ ВЕДОМОСТИ

Серия Математика. Физика. 2015 № 23 (220). Выпуск 41

Переход от уравнения (l) к уравнению с частными интегралами и непрерывными ядрами

Уравнение (1) имеет единственное решение в пространстве C(D) непрерывных на

D = [0,1] х [0,1 ] функций, если в C(D) обратим оператор I —M [4,5], где оператор M определяется равенством

1

(Mx)(t, s) = Im(t, s,a) x(t,a)da.

Будем предполагать обратимость в C(D) оператора I — M. Учитывая представление резольвенты для уравнения

(p(t) = | dт + h(t) (0 < а < 1)

в виде

R(t ) = I

(Г(1 — а)Г“)n =1 tr(n(1 — а)) [6, с. 176], где через Г(z) обозначена гамма-функция

Г(z) = |yz 1e ydy,

0

уравнение (1) запишем в виде

где

1 i 1

x(t, s) = Im(t, s, a) x(t, a)da + Цк(т)т(т, s, a) x(t, a)d*da + g (t, s),

0 00

t

g (t, s) = f (t, s) + Ir(t)/(t, s)d*.

0

Оператор VS определим равенством

1 11

(Vsx)(t, s) = Im(t, s, a) x(t, a)da + HR(r)m(T, s, a) x(t, a)dTda,

s 0

где S >0. При сделанных предположениях уравнение Вольтерра-Фредгольма

x(U ^ = ^)(и s) + g(и s)

с частными интегралами имеет единственное решение xs в C(D) [4,5].

(2)

(3)

0

0

Покажем, что при S ^ 0 решение xs уравнения (3) стремится к решению уравнения (2).

НАУЧНЫЕ ВЕДОМОСТИ Ц^Ц Серия Математика. Физика. 2015. №23 (220). Выпуск 41 11

Имеем

1 S 1

x(t, s) - xs (t, s) = Jm(t, s, c)[x(t, a) - xs (t, c)\dc + JJR(z)m(z, s, a) x(z, c)dzdc +

0 0 0

11

+ J jR(z)m(z, s, c)[ x(z, a) - xs (z, c)\dzdc.

S 0

Последнее уравнение будем рассматривать как уравнение относительно неизвестной функции y(t, s) = x(t, s) — xs(t, s). Тогда

i 11

y(t, s) = Jm(t, s, a) y(t, c)dc + JjR(z)m(z, s, a) y(z, c)dzdc + h(t, s), (4)

0 s 0

где

s 1

h(t, s) = JjR(z)m(z, s, a) x(z, c)dzdc. (5)

0 0

Принимая во внимание, что в (5) x — фиксированная функция из C(D) и учитывая абсолютную непрерывность интеграла Лебега в правой части равенства (5), заключаем, что в C(D) h — 0 при S —— 0. Отсюда и единственности решения уравнения (4) в C(D) вытекает, что

в C(D) y — 0 при S — 0. Следовательно, в C(D) xs — x при S — 0.

Оценка погрешности

Условие xs — x при S — 0 позволяет принять за приближенное решение уравнения (2)

(уравнения (1)) функцию xs при достаточно малом s >0. Оценка погрешности такой замены совпадает с оценкой решения уравнения (4).

Пусть обратный оператор (I — M) допускает представление

i

(I - M)— x(t, s) = x(t, s) + Jrm (t, s, a) x(t, c)dc, (6)

0

где резольвента rm (t, s,a) есть непрерывная по совокупности переменных функция. Применяя

равенство (6), уравнение (4) запишем в виде

11

y(t, s) = JjR(z)m (t, s, z, a) y(z, a)dzda + h (t, s),

s 0 где

1

mi (t, s, z, a) = Jm(t, s, c )m(z, c , с)1с ,

0

1

h (t, s) = h(t, s) + jm1 (t, s, z, &)h(t, a)dc.

0

12 НАУЧНЫЕ ВЕДОМОСТИ j^jj Серия Математика. Физика. 2015 № 23 (220). Выпуск 41

Пусть х — решение уравнения (2) и ||х|| < X, где X — некоторое положительное число. Из (5) имеем

S 1

||й|| < XЦ | R(i)m(i, s,a) | dida.

о о

Учитывая абсолютную непрерывность последнего интеграла, выберем для произвольного sx >0 такое S >0, чтобы

S 1

111 R(i)m(i, s, a) | dida < sхX.

о о

Тогда ||Л|| < Si.

Рассмотрим интегральное уравнение

11

z(t, s) = M jjR(i) z(i, a)dida + s1 = (RSz)(t, s) + s1, (6)

S 0

где число M > 0 выбрано так, что | m(t, s, а) |< M.

Уравнение (6) имеет единственное решение в C(D), в виду равенства нулю спектрального

радиуса действующего в пространстве C(D) оператора Rs. В силу [3-5] единственное решение

уравнения (6) может быть записано в виде

11 11

z(t, s) = Si jjrs (t, s,i,a)dida + Si= Si(1 + Ц^ (t, s,i,a)dida), (7)

S 0 S 0

где rs (t, s, 1, a) — резольвента интегрального уравнения (6). Из равенства (7) имеем

11

llzll <s1(1 + sup jj | rS (t,s,i,a) | dida).

(t-s) S0

Полагая в (8)

11

s = smax(1 + sup j j | r5 (t, s,i,a) | dida),

(tS) S 0

получим ||z|| < S. Следовательно, ||у|| < ||z|| < S.

Таким образом, для получения оценки погрешности [у достаточно оценить X и

11

Ys = sup jj | rS (t, s,i,a)\ dida.

(t•s) s 0

Для оценки числа X уравнение (2) запишем в виде

1 11

x(t, s) - jm(t, s, a) x(t, a)da = jjR(r)m(r, s, a) x(i, a)dida + g (t, s)

0 00

(8)

(9)

(10)

НАУЧНЫЕ ВЕДОМОСТИ Ц^Ц Серия Математика. Физика. 2015. №23 (220). Выпуск 41 13

и к обеим частям последнего уравнения применим оператор (I — M) . В результате получим уравнение

1i

x(t, s) = ffЯ(т)[ш(т, s, a) + m (t, s, т, а)]х(т, a)dida + gl (t, s) = (Rx )(t, s) + gl (t, s), (11)

0 0

где

1

m (t, s, т, a) = frm (t, s, a )т(т, a, a)da,

0

1

gl (t, s) = g (t, s) + frm (t, s, a ) g (t, a )dai,

0

а rm (t, s, Ci) — резольвента интегрального уравнения x — Mx = g.

Так как спектральный радиус оператора R из уравнения (11) равен нулю, то уравнение (11) имеет единственное решение в C(D) и оно может быть записано в виде X = (I — R) gi. Если теперь известна оценка нормы оператора (I — R) \ то ||x|| < ||(I — R)_1|| -1|g: 11. Таким образом,

X <||(I — R)-^\-||gi||. (12)

Отметим, что оценка нормы оператора (I — R) представляет собой весьма сложную

задачу, однако для некоторых классов ядер m(t, s, а) функция rm (t, s, C), следовательно, и функция R(T)[m(T, s,a) + mx (t, s,T,a)] выписываются явно, а оценка для нормы оператора

(I—R)~l может быть получена с использованием рядов Неймана.

Для оценки числа

может быть использована любая оценка сверху резольвенты

интегрального уравнения (6). В силу (6) и [3-5] Y§ вычисляется по формуле (10), где

ад

r (t, s, т, а) = p) (t, s, т, a), (13)

p=1

t 1

n(V)(t,s,T,a) = MR(t), Пp)(t,s,T,a) = ffMR(u)n(p—1)(u,v, T,a)dudv

т 0

(p = 2,3, •••). Из (10) вытекает, что Y < Y, где

11

Y=sup ff | r(t, >ч,т,а)\ dтda, (14)

(c,d) 0 0

а r(t, s,^a) определяется равенством (13).

Из приведенных рассуждений видно, что за приближенное решение уравнения (2) можно принять решение уравнения (3) при достаточно малом 8 >0. Действительно, для произвольного s >0 выберем 8 >0 настолько малым, чтобы выполнялось неравенство

14

НАУЧНЫЕ ВЕДОМОСТИ

Серия Математика. Физика. 2015 № 23 (220). Выпуск 41

S 1

{{ | Я(т)ш(т, s,a) | dvda < ^,

0 0

где X удовлетворяет неравенству (12). В силу (9) и (14)

* - хД = у\\ <-

11

slmax(X,1 + sup Ц | r(t, s,r,o) | dzdo).

(15)

(t,s) 0 0

Тогда x(t, s) « XS(t, s) с погрешностью, определяемой правой частью неравенства (15).

Численное решение уравнения (2)

В силу приближенного равенства x(t, s) ~ *s(t, s) при численном решении уравнения (2)

может быть использовано численное решение уравнения (3).

Уравнение (3) имеет непрерывные на [S, 1] х [0,1 ] ядра и непрерывную функцию g(t, s). Для численного решения этого уравнения может быть использован метод механических квадратур, рассмотренный в [1].

Отрезки [S,1] и [0,1] разобъем на части точками

tp = S + ph (p = 0,1,...,P, S + Ph < 1<(P + 1)h), sq = qg(q = 0,1,...,Q, Qg<d<(Q + 1)g)

соответственно. Подставляя t = tp и s = sq в (3) и заменяя интегралы по формулам

1 Q

Z

j=0

г Q

jm(tp , sq ,^)x(tp ,^)d^ = gYaPjqmpqjX(tp , sj ) + ^

(16)

t 1

p 1 p Q

jjR(r)m(r, sq ,a) x(z,a)dvda = hgYT/pq>jnpq>jx(t>, sj) +

i=0 j=0

S 0

pqljnpqljX(ti, sj ) + rpq,

(17)

где mpqj = m(tp , sq , sj ), npqj = R(t i )m(ti , sq , s, ) и rpq, ^ — остатки этих формул, получим

pqj систему

р Р j

m „n

r

pq pq

х(^ s0) = g(t0, x(tp , s0) = g (tp , x(t0 , sq ) = g yZPjqm0qjX(t0 , ^ ) + g (t0 , sq ) + ^q ,

j=0

j=0

p Q

x(tp , sq )=gTfijqmpqX(tp , ^ ^gZZpq^qX^ , ^ )+g(tp , *q ^q+Kq (l8)

i=0 j=0

(p = 1,—P; q = 1,—Q).

Отбрасывая в (18) остатки, получим систему уравнений для приближенных значений ^xpq функции х в точках (t0-,sq),(tp,sq)(p P;q = 1,•-,Q). Пусть ^ Spq —

погрешности, которые могут быть получены при вычислениях *0q, Xpq. Тогда неизвестные *0q, х pq удовлетворяют системе уравнений

НАУЧНЫЕ ВЕДОМОСТИ

Серия Математика. Физика. 2015. №23 (220). Выпуск 41 15

p Q

X0q =•

g''^PjJn0qjX0j + g0q + £()q, Xpq g'jq™ pqppi ^ hg Y^Pq^Pq^U + gpq + SPq

(19)

j=0 j=0 i=0 j=0

(p = 1,..., P; q = 1,..., Q), где g0q = gft,, Sq ), gpq = g(tp, Sq )•

Таким образом, при всех достаточно малых h и g приближенное решение X pq может быть найдено по формулам (19), причем для каждого заданного £ >0 существуют такие h и g0, что

I xpq — x(tp, sq) \<£ (р=0,1,■■■, P; q= 0,1,■■■, Q) для h < h0 и g < g0 , если выполнении следующие условия:

Q

а) погрешности и rnpq квадратурной формулы (16) и кубатурной формулы (17) стремятся к нулю равномерно относительно p, q при h, g ^ 0;

б) существуют такие числа A и B, что выполняются неравенства

1 Рjq ^ A < W,\ Гpqj ^ B < W

в) погрешности 50q, 8pq стремятся к нулю равномерно относительно p, q при h, g ^ 0;

г) оператор I — M обратим в C(D), а система (19) имеет единственное решение при всех достаточно малых h и g.

При сделанных предположениях аналитическое приближение Xpq(t, s) решения x(t,s)

уравнения (3) естественно определить равенством

q p q

Xpq (t, s) = gYPjqm(t, s, Sj )Xpj + hg YT/pqiR^i )m(t> , ^ ^ )Xj + g(t, S) (20)

j=0 i=0 j=0

В этом случае sup | Xpq (t, s) — X(t, s) 0 при p, q ^ w.

[^,1]x[0,1]

Формулы (19) и (20) получены для уравнения (3). Однако за численное и аналитическое решения уравнения (2) при достаточно малом S >0 можно принять решения уравнения (3), определенные на [S, 1] x [0,1] по формулам (19) и (20) соответственно, так как в силу раздела 2

решение Xs уравнения (3) стремится к решению x уравнения (2) при S ^ 0.

Благодарности. Работа поддержана Минобрнауки России (задание № 2015/351, НИР № 1815).

Список литературы

1. Kalitvin V.A. Numerical Solution of Linear Volterra Equations with Partial Integrals // Journal of Mathematical Sciences, July 2015. V. 208, 2. Pp. 168-173.

2. Appell J.M., Kalitvin A.S., Zabrejko P.P. Partial Integral Operators and Integro-Differential Equations. New York-Basel: Marcel Dekker, 2000. 560 pp.

3. Калитвин А.С. Линейные операторы с частными интегралами. Воронеж: ЦЧКИ, 2000.

252 с.

16 НАУЧНЫЕ ВЕДОМОСТИ j^jj Серия Математика. Физика. 2015 № 23 (220). Выпуск 41

4. Калитвин А.С., Калитвин В.А. Интегральные уравнения Вольтерра и Вольтерра-Фредгольма с частными интегралами. Липецк: ЛГПУ, 2006. 177с.

5. Калитвин А.С., Фролова Е.В. Линейные уравнения с частными интегралами. С-теория. Липецк: ЛГПУ, 2004. 195 с.

6. Смирнов В.И. Курс высшей математики. Т.4. Часть 1. М.: Наука, 1974. 336 с.

References

1. Kalitvin V.A. Numerical Solution of Linear Volterra Equations with Partial Integrals // Journal of Mathematical Sciences, July 2015. V. 208, 2. Pp. 168-173.

2. Appell J.M., Kalitvin A.S., Zabrejko P.P. Partial Integral Operators and Integro-Differential Equations. New York-Basel: Marcel Dekker, 2000. 560 pp.

3. Kalitvin A.S. Linear operators with partial integrals. Voronezh: CHKI, 2000. 252 pp.

4. Kalitvin A.S., Kalitvin V.A. Integral equations of Volterra and Volterra-Fredholm with partial integrals. Lipetsk: LGPU, 2006. 177 pp.

5. Kalitvin A.S., Frolova E.V. Linear equations with partial integrals. C-theory. Lipetsk: LGPU, 2004. 195 pp.

6. Smirnov V.I. Course of higher mathematics. V. 1. P. 1. M.: The Science, 1974. 336 pp.