CC BY
43
МАТЕМАТИЧЕСКОЕ МОДЕЛИРОВАНИЕ
УДК 519.62
ОБ УСТОЙЧИВЫХ АЛГОРИТМАХ ЧИСЛЕННОГО РЕШЕНИЯ ИНТЕГРО-АЛГЕБРАИЧЕСКИХ УРАВНЕНИЙ
М.В. Булатов, О.С. Будникова
При исследованиях в различных областях приложений, если моделируемый процесс обладает последействием, возникает необходимость изучения интегро-алгебраических уравнений (ИАУ). В частности, в виде ИАУ можно записать систему взаимосвязанных интегральных уравнений Вольтерра I, II рода и алгебраических уравнений. В работе рассматриваются линейные ИАУ, для численного решения которых были сконструированы многошаговые методы, основанные на явных методах типа Адамса и экстраполяционных формулах. Ранее была доказана сходимость предлагаемых алгоритмов.
В данной работе показано, что полученные многошаговые алгоритмы обладают свойством саморегуляризации, а параметром регуляризации является шаг сетки, определенным образом связанный с уровнем погрешности правой части рассматриваемых систем. Результаты численных расчетов иллюстрируют теоретические выкладки.
Ключевые слова: интегро-алгебраические уравнения; многошаговые методы; са-морегуляризация.
Введение
В середине 70-х годов началось активное исследование и построение численных методов решения обыкновенных дифференциальных уравнений вида
А(1)х'(1) + Б(1)х(1) = /(1),1 € [0,1], (1)
х(0) = хо, (2)
где А(1), Б(1)- (пхп) матрицы, /(¿) и х(Ь) - п -мерные известная и искомая вектор-функции.
Предполагается, что
йеЬА(Ь) = 0. (3)
Системы (1), (2) с условием (3) принято называть дифференциально-алгебраическими
уравнениями (ДАУ). Такие задачи принципиально отличаются от дифференциальных уравнений, разрешенных относительно производной.
Интерес к ДАУ возник в связи с их большим прикладным значением. Пожалуй, первая такая задача появилась при решении интегро-дифференциального уравнения, описывающего процесс переноса нейтронов [3]. Другие важные прикладные задачи приведены в [8, 15, 16].
Первая статья, в которой проведен детальный анализ неявной схемы Эйлера для задачи (1), (2) с постоянными матрицами вышла в 1975 году [7]. С той поры Ю.Е. Бояринцев опубликовал целую серию монографий, посвященных исследованию ДАУ [4-8].
В отличии от ОДУ для ДАУ нельзя задавать начальные условия произвольным образом, они должны быть согласованы с правой частью. Одним из подходов согласования начальных данных для ДАУ является иная запись исходной задачи (1), (2), а именно, интегральная форма
А(Ь)х(Ь) + !(В(в) — А1 (в))х(в)йв = J /(в)йв + А(0)хо.
о о
В данной работе рассмотрены более общие системы интегральных уравнений. Если правая часть таких уравнений задана с погрешностью 5, то показано, что выделенный класс многошаговых методов порождает регуляризирующий алгоритм с параметром регуляризации Л,-шагом дискретизации, определенным образом связанным с нормой возмущений правой части.
1. Постановка задачи и ее свойства
Рассмотрим систему интегральных уравнений
t
A(t)x(t) + J K(t, s)x(s)ds = f (t), 0 < s < t < 1, (4)
0
где A(t) и K(t,s) - (n x n) матрицы, f (t) и x(t) - n -мерные известная и искомая вектор-функции. Предполагается, что элементы A(t),K(t,s),f (t) обладают необходимой степенью гладкости. Под решением исходной задачи (4) будем понимать любую непрерывную вектор-x(t),
Принята следующая классификация систем (4) (см., например, [12, 17]) :
a) если A(t) = 0, то такие системы принято называть системами интегральных уравнений Вольтерра (СИУВ) первого рода;
b) если detA(t) = 0 Vt G [0,1], в частности, если A(t)-единичная матрица, то СИУВ второго рода;
c) если detA(t) = 0,tj G [0,1],j = 1, 2, ...M, то СИУВ третьего рода. Точки tj принято называть сингулярными (особыми) точками.
A(t)
т.е.
detA(t) = 0. (5)
Системы (4) с условием (5) принято называть интегральными аналогами дифференциально-алгебраических уравнений [14], вырожденными СИУВ [11], СИУВ четвертого рода и интегро-алгебраическими уравнениями (ИАУ) [18], [19].
Отметим характерные свойства рассматриваемых задач:
a) Система (4) может иметь множество решений.
b) Рассматриваемые задачи являются неустойчивыми к возмущениям входных данных. То есть задача
t
A(t)X(t) + j K(t,s)X(s)ds = f(t),
0
где \\A(t) - A(t)\\ < 5, \\K(t,s) - K(t,s)|| < S, \\f(t) - f (t)|| < S, здесь
|| * || = max max \ *j (t) \
tj
может не иметь решения или ||ж(Ь) — ж(Ь)|| ^ ж, при 5 ^ 0.
В качестве иллюстрации приведем несколько примеров.
Пример 1. Рассмотрим систему
I
(Ю( $)+Я 0 т—,){ :С0 - Я0)-
0
При d = 1 данная система имеет семейств о решений и(Ь) = ф(Ь), :(Ь) = —ф1 (Ь), где ф(Ь) — любая функция из класса ^.
Пример 2. Рассмотрим систему
I
(1:)(ий)+Я 11)( и!й) ds я ¿)-
0
При ¿i = ¿2 = 0 данная система имеет единственное решение u(t) = e 1, v(t) = 0.
а — —
При ¿i = 0, ¿2 = 0 система имеет решение U(t) = e~V(t) = e ái. Таким образом, если ¿i — — 0, то ||V(t)||c — ж.
Если ¿i = 0,¿2 = ¿ sin (||¿2||c = ¿), то U(t) = e~1, V(t) = 1 cos ^2, т.е ||V(t)||c — ж при
¿ — 0.
Пример 3. Рассмотрим систему
t
ü)( t)4(0 ¿)( Ш) ds= ( O4)
где 54 и 5з - скалярные малые параметры.
При 5з = 54 = 0 данная система имеет только тривиальное решение, но если 5з = 0,54 =
^ ~ Ь_
0, то решение данной системы примет вид: и(Ь) = 54в 5з, :(Ь) = — ¡Де 5з.
Пример два относится к классическим некорректно поставленным задачам: нахождение полуобратных матриц и восстановление производной. В примере 3 «хорошее» возмущение (¿з не меняет ранг матрицы A(t)) изменяет структуру матричного пучка XA(t) + B(t).
В дальнейшем изложении нам потребуются ряд определений и вспомогательные утверждения.
В 1987 году вышла первая работа, посвященная ИАУ, в которой были сформулированы достаточные условия существования единственного непрерывного решения для рассматриваемого класса задач [14].
Определение 1. [14]. Пучок матриц XA(t) + B(t) удовлетворяет критерию ^ранг-степень» на отрез ке [0,1] (имеет индекс один, имеет простую структуру), если
rankA(t) = deg(det(XA(t) + B(t))) = m = const Vt Є [0,1],
где X скаляр, символ deg (.) означает, показатель степени многочлена (.), а, операция deg(0) не определена.
Теорема 1. [14]. 17г/етоь для задачи (4) выполнены условия:
Є
1. A(t) Є С^ф/(t) Є Cp ipK(t,s) Є C%, A = {O < s < t < 1};
2. Пучок ХЛ(Ь) + К(Ь,Ь) удовлетворяет критерию <ранг-степенъ» на отрезке [0,1];
3. таикЛ(0) = таик(Л(0) | /(0)).
Тогда исходная система, имеет, единственное непрерывное решение.
В примере 3, как отмечалось выше, «хорошие> возмущения не меняют ранга матрицы А(і), но меняют структуру матричного пучка:
' Л 1
1 63
таким образом, степень определителя пучка матриц зависит от значения 63:
1, 63 — 0,
йеі(ЛА(і) + К (і,і)) —
— Л63 — 1,
йед(\5з - ^ = ! Мз = 0_
Нарушается второе условие теоремы 1, условие «ранг-степень>, отвечающее за отсутстие сингулярных точек в решении. И при решении возмущенной задачи (см. выше пример 3) при ¿3 = 0 решения не существует.
2. Численный метод
Зададим на отрезке [0,1] равномерную сетку Ьг = гН,г = 1, 2,... ,М, Н = N и обозначим Лг = Л(Ьг),К¿3 = К(и,^),/ = /(и),хг ъ х(Ьг).
Многошаговые методы имеют вид:
к г+1
Лг+1 ^ ауХг+— + Н^Шг+1,гКг+мхх = /г+1, г = к, к + 1, (6)
3=0 1=0
где ауХг+1-у - аппроксимация х(Ьг+1), ¿+1 Шг+1,хКг+1,хХх - аппроксимация инте-
грального слагаемого, ^¿+1,1 - называются весами квадратурной формулы.
Предполагается, что начальные значения хо,Х1, ...,Хк-1 заранее вычислены с достаточной точностью.
Формулы (6) могут быть:
1) ЯВНЫМИ при ао = 0 ^г+1,г+1 = 0;
2) неявными при ао = 0 ^г+1,г+1 = 0.
В силу вырожденности матрицы Л(Ь) можно применять только неявные методы. Однако ряд таких методов порождают неустойчивые процессы [2, 13, 20].
к
Адамса (см., например, [13, 20]) для интегрального слагаемого и на экстраполяционной формуле для вычисления Хг+1 ПО Заранее ВЫЧИСЛеННЫМ ЗНачениям Хг,Х—1, ...,Х—к.
Данные методы имеют вид:
к г
Лг+1 азхг—з + шг+1,1 Кг+1,ххх — /¿+1* (7)
3=0 х=о
Приведем табл. 1 коэффициентов ау для к = 1, 2,5 (см. [9]) и значения коэффициентов Шг+1,1 доя к = 1, 2, 3 (см. [13]):
Мі+1,1 =
/ 4
3 3
1 3 2 3
2 3 2 2
3 2 2
) ^і+і,г =
1
12
( 9 0 27
9 5 11 23
9 5 16 7 23
9 5 16 12 7
9 5 16 12 12
23
7
23
3
Ші+і ,і =
1
24
64 —32 64
55 5 5 55
55 —4 42 —4 55
55 —4 33 33 —4 55
55 —4 33 24 33 —4
55 4 33 24 24 33
V ...
4 55
Таблица
к ао аі а2 аз а4 а5
1 2 _! _ _ _ _
2 3 -3 1 _ _ _
3 4 -6 4 _ _
4 5 -Ю 10 -5 1 _
5 6 _15 20 _15 6
Относительно сходимости предложенных методов (7) в [9] была доказана следующая теорема.
Теорема 2. [9]. Пусть для задачи (4) выполнены условия:
1. элементы х(і), А(і), / (і) є С(к+^, К (і, в) Є Сд+2), А = {0 < в < і < 1}/
2. пучок ЛА(і) + К (і, і) удовлетворяет кри терию <,щнг-степень» на всем отрезке [0,1];
3. гапкА(0) = гапк(А(0) | /(0)).
4- для начальных значений справедливо Цху — х(іу)|| < КНк+і, К < ж, і = 0,1, ■ ■ ■ ,к — 1 Тогда метод (7) при к < 5 сходится к точному решению с порядком к + 1, то есть, справедлива оценка
Цхі — х(іі)Ц = 0(Нк+і), і = к,к + 1,N — 1.
3. Устойчивость метода к возмущениям исходных данных
Рассмотрим возмущенную задачу
І
А(і)х(і) + ! К (і, в)х(в)сІв = /(і), 0 < в < і < 1. (8)
0
Как уже отмечалось выше, рассматриваемые задачи относятся к классу условно корректных задач и ||х(і) — х(і)|| ^ ж, при 6 ^ 0.
Покажем, что (7) является регуляризирующим алгоритмом, если связать Н и 6 определенным образом. Выпишем для (8) схему (7):
кі
Аі+і^ ау х— + Н^Ші+і і іКі+і , і хі = /і+і, і = 1,2,.... (9)
І=0 1=0
Введем вектор погрешности решения Єу = хі — х(іі) и оценим его норму в метрике С. Данный вектор удовлетворяет системе линейных алгебраических уравнений (СЛАУ)
Ai+i aj ё-i-j + h^2/wi+\,l Ki+I,iei = Гг+1, (10)
j=0 l=0
где fi+i = fi+i + fi+i — fi+i, i = 1,N, Ti+\- погрешность квадратурной формулы. Проводя выкладки, аналогичные [9], получим
||fi|| < Lihk+i + ™.
Выбирая h следующим образом:
Lihk+i + — ^ min, h
1
h(5) х 5 fc+2, (11)
получим:
llxj — x{tj )Н = 0{5 ^). (12)
Из (11), (12) вытекает, что метод (7) можно рассматривать как регуляризирующий ал-
горитм, в котором шаг сетки является параметром регуляризации.
То значение h, при котором llxj — x(tj)|| принимает минимальные значения будем называть, по аналогии с [1], квазиоптимальным шагом и обозначать hk.o.-
4. Численные эксперименты
Численные расчеты проводились на нескольких тестовых ИАУ с пилообразным возмущением правой части, т.е. вместо точного значения вектор-функции f (ti) мы взяли
fi = fi + ö{ — 1У-
Пример 4.
(11)(хЛ)+/(0Жх$)*=($?+<).«^[0,*
0
Точное решение: х(Ь) = I? I
Пример 5.
А Ь\(х1(Ь)\+Г /е- 0\/ х1(в)\ =( Ь ■ е- + + ^ \ [0
^ Ь Ь2 ) х2(Ь) ) ] \е 25 е*+у х2(в) ) \ 2Ь ■ е- + 1 + е -(Ь2 — 1) ) , [ , ]
(е-)
Пример 6.
I
( 1 1 \ ( Х1(Ь) \ + [ ( Ь + 2в Ь — в \ ( Х1(в) \ = ( 2 + 1 + е--(1 — 3Ь) \
\ е- е- ) \ х2(Ь) ) У \ 1 + в 2е-+я ) \ х2(в) ) \ 2Ь ■ е- + 4 — е--(2 + Ь) ) ,
0
Ь € [0,1].
( е-- \
Точное решение: х(Ь) =1 — ) . Результаты расчетов приведены в табл. 4.
0
Точное решение: x(t) = I - I
Таблица 2
k = 0 k = 1 k= 2
S О -sa err S -sa err S -sa err
0,1 0,3162 0, 46 0,1 0, 46416 0, 22135 0,1 0, 5623 0,01376
0,1 4 0,1581 0, 2561 0,1 8 0, 2321 0,0662 0,1 16 0, 2812 0,13•10“3
0,1 42 0,0791 0,1228 0,1 82 0,11604 0,016804 0,1 162 0,1406 0, 35•10-4
0,1 Ж 0, 0395 0,0603 0,1 "83 0, 05802 0, 00402 0,1 T63 0, 0703 0,16 •10“5
0,1 44 0,0198 0, 0307 0,1 84 0, 0290 0, 00101 0,1 164 0,0352 6 1 0 1 1 0,
Таблица 3
k = 0 k= 1 k= 2
S Ci -sa err S Ci -sa err S Ci -sa err
0,1 0,3162 0, 242 0,1 0,46416 0,1950 0,1 0, 5623 0,0684
0,1 4 0,1581 0,11304 0,1 8 0, 2321 0, 0563 0,1 16 0, 2812 0, 011
0,1 42 0,0791 0, 055 0,1 82 0,11604 0,01251 0,1 162 0,1406 0, 00218
0,1 43 0,0395 0, 0257 0,1 83 0, 05802 0,00312 0,1 163 0,0703 0,26 •10“3
0,1 44 0,0198 0, 01391 0,1 84 0,0290 0, 79 • 10“3 0,1 164 0, 0352 0,32 •10“4
Таблица 4
k = 0 k= 1 k= 2
S 0 -sa err S 0 -sa err S 0 -sa err
0,1 0,3162 0,12 0,1 0, 46416 0,0758 0,1 0,5623 0,011
0.1 4 0,1581 0, 0324 0.1 8 0, 2321 0,0149 0.1 16 0, 2812 0, 0084
0.1 42 0,0791 0,0174 0.1 82 0,11604 0, 0002 0.1 162 0,1406 0,00037
0.1 43 0,0395 0,0089 0.1 "83 0,05802 0,47•10“3 0.1 W 0, 0703 0, 47 • 10“4
0.1 -44 0,0198 0, 0042 0.1 84 0, 0290 0,28•10“4 0.1 164 0,0352 0, 71 •10“5
Результаты численных экспериментов хорошо согласуются с теоретические выкладками. Работа выполнена при поддержке гранта РФФИ номер 11-01-00639-а и 13-01-93002-Вьет-а.
Литература
1. Апарцин, A.C. Неклассические уравнения Вольтерра I рода: теория и численные методы / A.C. Апарцин. — Новосибирск: Наука. Сиб. изд. фирма РАН, 1999.
2. Апарцин, A.C. Приближенное решение интегральных уравнений Вольтерра 1 рода методом квадратур / A.C. Апарцин, А.Б. Бакушинский // Дифференциальные и интегральные уравнения. - Иркутск: ИГУ, 1972. - Вып. 1. - С. 248-258.
3. Бояринцев, Ю.Е. Регулярные и сингулярные системы линейных обыкновенных дифференциальных уравнений / Ю.Е. Бояринцев. — Новосибирск: Наука, 1980. - 222 с.
4. Бояринцев, Ю.Е. Применение обобщенных обратных матриц к решению и исследованию систем дифференциальных уравнений с частными производными первого порядка / Ю.Е. Бояринцев // Методы оптимизации и исследования операций. - Иркутск: СЭИ СО АН СССР, 1984. - С. 123-141.
5. Бояринцев, Ю.Е. Методы решения вырожденных систем обыкновенных дифференциальных уравнений / Ю.Е. Бояринцев. — Новосибирск: Наука, 1988. - 158 с.
6. Бояринцев, Ю.Е. Методы решения непрерывных и дискретных задач для сингулярных систем уравнений / Ю.Е. Бояринцев. — Новосибирск: Наука, 1996. - 261 с.
7. Бояринцев, Ю.Е. Применение разностных методов к решению регулярных систем обыкновенных дифференциальных уравнений / Ю.Е. Бояринцев, В.М. Корсуков // Вопр. приклад, математики. - Иркутск: СЭИ СО АН СССР, 1975. - С. 140-152.
8. Бояринцев, Ю.Е. Пучки матриц и алгебро-дифференциальные системы / Ю.Е. Бояринцев, И. В. Орлова. - Новосибирск: Наука, 2006. - 124 с.
9. Будникова, О.С. Численное решение интегро-алгебраических уравнений многошаговыми методами / О.С. Будникова, М.В. Булатов//Журнал вычислительной математики и математической физики. - 2012. - Т. 52, №5. - С. 829-839.
10. Булатов, М.В. Решение алгебро-дифференциальных систем методом наименьших квадратов / М.В. Булатов, В.Ф. Чистяков // Тр. XI Междунар. Байкал, шк.-семинара «Методы оптимизации и приложения:». - Иркутск: ИСЭМ СО РАН, 1998. - Т. 4. -С. 72-75.
11. Булатов, М.В. Регуляризация вырожденных систем интегральных уравнений Вольтерра / М.В. Булатов // Журнал вычислительной математики и математической физики. - 2002. - Т. 42, № 3. - С. 330-335.
12. Верлань, А.Ф. Интегральные уравнения: методы, алгоритмы, решения / А.Ф. Верлань, B.C. Сизиков. - Киев: Наукова думка, 1986.
13. Тен Мен Ян Приближенное решение линейных интегральных уравнений Вольтерра I рода: дис. .. .канд. физ. мат. наук / Тен Мен Ян. - Иркутск, 1985. - 215 с.
14. Чистяков, В.Ф. О сингулярных системах обыкновенных дифференциальных уравнений и их интегральных аналогах / В.Ф. Чистяков //Функции Ляпунова и их применения. -Новосибирск: Наука, 1987. - С. 231-239.
15. Хайрер, Э. Решение обыкновенных дифференциальных уравнений. Жесткие и дифференциально-алгебраические задачи: пер. с англ. / Э. Хайрер, Г. Ваннер. - М.: Мир, 1999. - 685 с.
16. Brenan, K.F. Numercal Solution of Initial-Value Problems in Differental-Algebraic Equations /K.F. Brenan, S.L. Campbell, L.R. Petzold // Appl. Math. - Philadelphia, 1996.
17. Brunner, H. The Numercal Solution of Volterra Equations / H. Brunner, P. J. van der Houwen. — Amsterdam: North-Holland, CWI Monographs 3, 1986.
18. Brunner, H. Collocation Methods for Volterra Integral and Related Functioal Equations /
H. Brunner. - Cambridge: Unversity Press, 2004.
19. Kauthen, J.P. The Numerical Solution of Integral-Algebraic Equations of Index-1 by Pollinomial Spline Collocation Methods / J.P. Kauthen // Math. Comp. - 2000. - V. 236. -P. 1503-1514.
20. Linz, P. A Survey of Methods for the Solution of Volterra Integral Equations of the First Kind / P. Linz //Collocation Methods for Volterra Integral and Related Functional Equations. -University Press, Cambridge, 2004.
21. Hadizadeh, M. Jacobi Spectral Solution for Integral Algebraic Equations of Index-2 / M. Hadizadeh, F. Ghoreishi, S. Pishbin // Appl. Numer. Math. - 2011. - V. 61, issue 1. -P. 131-148.
Михаил Валерьянович Булатов, доктор физико-математических наук, профессор, главный научный сотрудник, Институт динамики систем и теории управления СО РАН (г. Иркутск, Российская Федерация), Национальный исследовательский Иркутский государственный технический университет (г. Иркутск, Российская Федерация), [email protected].
Ольга Сергеевна Будникова, ассистент, кафедра «Математика и методика обучения математике», ФГБОУ ВПО «Восточно-Сибирски государственная академия образования» (г. Иркутск, Российская Федерация), [email protected].
Bulletin of the South Ural State University. «»
2013, vol. 6, no. 4, pp. 5-14.
MSC 65R20
On Stable Algorithms for Numerical Solution of Integral-Algebraic Equations
M. V. Bulatov, Institute for System Dynamics and Control Theory of Siberian Branch of Russian Academy of Sciences, Irkutsk State Technical University, Irkutsk, Russian Federation, [email protected],
O.S. Budnikova, East Siberian State Academy of Education, Irkutsk, Russian Federation, [email protected]
There is the necessity to study integral-algebraic equations if a prototype process has an aftereffect at the analysis of various areas of science. Particularly, a system of interrelated Volterra equations of the first and second kind and algebraic equations can be written as integral-algebraic equation. In this paper linear integral-algebraic equations are considered. We have constructed multistep methods for numerical solutions of IAEs. These methods are based on Adams quadrature formulas and on extrapolation formulas as well. We have proven suggested algorithms convergence. In this paper we show that our multistep methods have a property of self-regularizing; and regularization parameter is the step of a grid, which is connected with the level of accuracy of right-part error of the system under consideration. The results of numerical experiments illustrate theoretical computations.
Keywords: integral-algebraic equations; multistep methods; self-regularization.
References
1. Apartsyn A.S. Nonclassical Linear Volterra Equations of the First Kind. VSP, Utrecht, 2003.
2. Apartsyn A.S., Bakushinskii A.B. Approximate Solution of Volterra Integral Equations of the First Kind by the Quadrature Method [ Priblizhennoe reshenie integral’nyh uravnenij Vol’terra 1 roda metodom kvadraturj. Differential and Integral Equations, Irkutsk. Gos. Univ., Irkutsk, 1973, issue 1, pp. 107-116.
3. Boyarintsev YU.E. Reguljarnye i singuljarnye sistemy linejnyh obyknovennyh differencial’nyh uravnenij [Regular and Singular Systems of Linear Ordinary Differential Equations]. Novosibirsk, Nauka, 1980. 222 p.
4. Boyarintsev YU.E. Application of Generalized Inverse Matrices to Solve and to Research Systems of Partial Differential Equations of First Order [Primenenie obobshchennykh obratnykh matrits k resheniyu i issledovaniyu sistem differentsiaiynykh uravneniy s chastnymi proizvodnymi pervogo poryadka]. Metody optimizatsii i issledovanie operatsiy [Methods of Optimization and Operations Research], Irkutsk, SEI SO AN USSR, 1984, pp. 123-141.
5. Boyarintsev YU.E. Metody reshenija vyrozhdennyh sistem obyknovennyh differencial’nyh uravnenij [Methods of Solution of Singular Systems of Ordinary Differential Equations]. Novosibirsk, Nauka, 1988. 158 p.
6. Boyarintsev YU.E .Metody reshenija nepreryvnyh i diskretnyh zadach dlja singuljarnyh sistem uravnenij [Methods of Solution of Continuous and Discontinuous Problems for Singular Systems of Equations]. Novosibirsk, Nauka, 1996. 261 p.
7. Boyarintsev, YU. E., Korsukov, V. M. Application of Difference Methods to Solve Regular Systems of Ordinary Differential Equations [Primenenie raznostnyh metodov k resheniju reguljarnyh sistem obyknovennyh differenciaPnyh uravnenij]. Vopr. prikladnoj matematiki [Questions of Applied Mathematics], Irkutsk, SEI SO AN USSR, 1975, pp. 140-152.
8. Boyarintsev YU.E., Orlova l.V.Puchki matric i algebro-differencial’nye sistemy [Pencil Matrix and Algebraic-Differential Systems]. Novosibirsk, Nauka, 2006. 124 p.
9. Budnikova O.S., Bulatov M.V. Numerical Solution of Integral-Algebraic Equations of Multistep Methods. Computational Mathematics and Mathematical Physics, 2012, vol. 52, issue 5, pp. 691-701.
10. Bulatov M.V., Chistjakov V.F. Solution of Algebro-Differential Systems by Least Square Method [Reshenie algebro-differenciaPnyh sistem metodom naimen’shih kvadratov]. Trudy XI Mezhdunar. Bajkal’skoj shkoly-seminara Metody optimizacii i prilozhenija [Prod. XI Baikal
«»
pp. 72-75.
11. Bulatov M.V. Regularization of Singular Systems of Volterra Integral Equations. Computational Mathematics and Mathematical Physics, 2002, vol. 42, no. 3, pp. 315-320.
12. Verlan’ A.F., Sizikov V.S. Integral’nye uravnenija: metody, algoritmy, reshenija [Integral Equations: Methods, Algoritms, Solutions]. Kiev, Naukova dumka, 1986.
13. Ten Men Yan Priblizhennoe reshenie linejnyh integral’nyh uravnenij Vol’terra I roda [Approximate Solution of Linear Volterra Integral Equations of the First Kind]. Candidate’s Dissertation in Mathematics and Physics, Irkutsk, 1985.
14. Chistyakov V.F. On Singular Systems of Ordinary Differential Equations and Their Integrals Analogues [0 singuljarnyh sistemah obyknovennyh differencial’nyh uravnenij i ih integral’nyh analogah]. Lyapunov Functions and Applications, Novosibirsk, Nauka, 1987, pp. 231-239.
15. Harrier E., Wanner G.Solving Ordinary Differential Equations II. Springer-Verlag, 1991.
16. Brenan K.F., Campbell S.L., Petzold L.R. Numercal Solution of Initial-Value Problems in Differental-Algebraic Equations. Appl. Math., Philadelphia, 1996.
17. Brunner H., van der Houwen P.J. The Numercal Solution of Volterra Equations. Amsterdam, North-Holland, CWI Monographs 3, 1986.
18. Brunner H. Collocation Methods for Volterra Integral and Related Functioal Equations. Unversity Press, Cambridge, 2004.
19. Kauthen J.P. The Numerical Solution of Integral-Algebraic Equations of Index-1 by Pollinomial Spline Collocation Methods. Math. Сотр., 2000, vol. 236, pp. 1503-1514.
20. Linz P.A Survey of Methods for the Solution of Volterra Integral Equations of the First Kind. Collocation Methods for Volterra Integral and Related Functional Equations, University Press, Cambridge, 2004.
21. Hadizadeh М., Ghoreishi F., Pishbin S. Jacobi Spectral Solution for Integral Algebraic Equations of Index-2. Appl. Numer. Math, 2011, vol. 61, issue 1, pp. 131-148.
Поступила в редакцию 2 июля 2013 г.
