Научная статья на тему 'Численное интегрирование матричным методом краевых задач для линейных неоднородных обыкновенных дифференциальных уравнений третьего порядка с переменными коэффициентами'

Численное интегрирование матричным методом краевых задач для линейных неоднородных обыкновенных дифференциальных уравнений третьего порядка с переменными коэффициентами Текст научной статьи по специальности «Математика»

CC BY
194
84
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
ОБЫКНОВЕННЫЕ ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ / ORDINARY DIFFERENTIAL EQUATIONS / КРАЕВЫЕ ЗАДАЧИ / BOUNDARY VALUE PROBLEMS / ПОРЯДОК АППРОКСИМАЦИИ / APPROXIMATION ORDER / ЧИСЛЕННЫЕ МЕТОДЫ / NUMERICAL METHODS / МНОГОЧЛЕНЫ ТЕЙЛОРА / TAYLOR POLYNOMIALS

Аннотация научной статьи по математике, автор научной работы — Маклаков Владимир Николаевич, Стельмах Янина Геннадьевна

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

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

Похожие темы научных работ по математике , автор научной работы — Маклаков Владимир Николаевич, Стельмах Янина Геннадьевна

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

Numerical integration by the matrix method of boundary value problems for linear inhomogeneous ordinary differential equations of the third order with variable coefficients

The use of the Taylor polynomial of the second degree when approximating the derivatives by finite differences leads to the second order of approximation of the traditional method of nets in the numerical integration of second-order ordinary differential equations with variable coefficients. In the study of boundary-value problems for the third-order ordinary differential equations with variable coefficients, we offer the previously proposed method of numerical integration, using the means of the matrix calculus, in which approximation of the derivatives by finite differences was not used. According to this method, in the construction of a system of difference equations, an arbitrary power of the Taylor polynomial in the expansion of the desired solution of the problem in a Taylor series can be chosen. The disparity is calculated and an estimate of the order of approximation of the method is given depending on the chosen degree of the Taylor polynomial using the four-point pattern. The regularities between the order of approximation of the matrix method and the degree of the used Taylor polynomial are theoretically revealed. We found out that the order of approximation is proportional to the degree of the used Taylor polynomial and less by two than it. We propose a procedure for constructing a fictitious boundary condition that allows us to construct a closed system of difference equations for the matrix method of numerical integration. The system of difference equations is divided into two subsystems: the first subsystem consists of two equations, the first of which contains the given value of the derivative in the boundary conditions of the problem, the second one contains the value calculated from the fictitious boundary condition; the second subsystem consists of the remaining difference equations of the constructed closed system. The disparity is calculated and an estimate of the order of approximation of the method is given depending on the chosen degree of the Taylor polynomial using the five-point pattern. The regularities between the order of approximation of the matrix method and the degree of the used Taylor polynomial are theoretically revealed. The following is revealed: a) the order of approximation of the first subsystem, the second subsystem with an even value of the degree of the Taylor polynomial and the whole problem is proportional to this degree and less than it by two; b) the order of approximation of the second subsystem with an odd value of the degree of the Taylor polynomial is proportional to this degree and less than it by one.

Текст научной работы на тему «Численное интегрирование матричным методом краевых задач для линейных неоднородных обыкновенных дифференциальных уравнений третьего порядка с переменными коэффициентами»

Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки. 2018. Т. 22, № 1. С. 153-183 ISSN: 2310-7081 (online), 1991-8615 (print) d http://doi.org/10.14498/vsgtu1565

УДК 517.927.4:519.624

Численное интегрирование матричным методом краевых задач для линейных неоднородных обыкновенных дифференциальных уравнений третьего порядка с переменными коэффициентами

В. Н. Маклаков, Я. Г. Стельмах

Самарский государственный технический университет,

Россия, 443100, Самара, ул. Молодогвардейская, 244.

Аннотация

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

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

Научная статья

Q ©® Контент публикуется на условиях лицензии Creative Commons Attribution 4.0 International (https://creativecommons.org/licenses/by/4.0/deed.ru) Образец для цитирования

МаклаковВ. Н., СтельмахЯ. Г. Численное интегрирование матричным методом краевых задач для линейных неоднородных обыкновенных дифференциальных уравнений третьего порядка с переменными коэффициентами // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2018. Т. 22, № 1. С. 153-183. doi: 10.14498/vsgtu1565. Сведения об авторах

Владимир Николаевич Маклаков Ä http://orcid.org/0000-0003-1644-7424 кандидат физико-математических наук, доцент; доцент; каф. высшей математики и прикладной информатики; e-mail: [email protected]

Янина Геннадьевна Стельмах® http://orcid.org/0000-0002-3266-3111 кандидат педагогических наук; доцент; каф. высшей математики и прикладной информатики; e-mail: [email protected]

задачи, второе — вычисленное из фиктивного граничного условия значение; во вторую подсистему вошли оставшиеся разностные уравнения построенной замкнутой системы. Вычислена невязка и дана оценка порядка аппроксимации метода в зависимости от выбранной степени многочлена Тейлора при использовании пятиточечного шаблона. Теоретически выявлены закономерности между порядком аппроксимации матричного метода и степенью используемого многочлена Тейлора. Установлено следующее:

а) порядок аппроксимации первой подсистемы, второй подсистемы при четном значении степени используемого многочлена Тейлора и всей задачи пропорционален этой степени и меньше нее на две единицы;

б) порядок аппроксимации второй подсистемы при нечетном значении степени используемого многочлена Тейлора пропорционален этой степени и меньше нее на единицу.

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

Получение: 16 октября 2017 г. / Исправление: 3 февраля 2018 г. / Принятие: 12 марта 2018 г. / Публикация онлайн: 31 марта 2018 г.

Предложенный в работе [1] метод, использующий средства матричного исчисления и численного интегрирования краевых задач для обыкновенных дифференциальных уравнений второго порядка (ОДУ2) с переменными коэффициентами позволяет удерживать произвольное число членов в разложении в ряд Тейлора искомого решения задачи, отказавшись при этом от аппроксимации производных конечными разностями. Известно, что использование конечных разностей приводит ко второму порядку аппроксимации при численном интегрировании краевых задач как для ОДУ2 [2-7], так и для ряда краевых задач для дифференциальных уравнений в частных производных [5-11]. Последнее обусловлено тем, что при аппроксимации производных было удержано всего три члена в разложении в ряд Тейлора искомого решения задачи, или, что то же самое, был использован многочлен Тейлора второй степени. Оценка порядка аппроксимации матричного метода при интегрировании краевых задач для ОДУ2 дана в [12], где показано, что для граничных условий первого, второго и третьего рода порядок аппроксимации пропорционален степени используемого многочлена Тейлора и меньше него на единицу во всех случаях, кроме граничных условий первого рода при четной степени используемого многочлена Тейлора — в этом случае порядок аппроксимации совпадает со степенью многочлена Тейлора.

Поставим целью исследовать возможность использования матричного метода при численном интегрировании краевых задач в области интегрирования [а, Ь] для ОДУ3

з(г)х'" + т(г)х" + р(г)х' + д(ь)х = / (г) (1)

с граничными условиями

х(а) = ж0, х'(а) = ж', х(Ь) = жп, (2)

где х(г) — искомое решение; в (г), т(г), р(г), q(í), / (г) —заданные функции, дифференцируемые нужное число раз; ж0, ж', жп — заданные числа, с последующим вычислением порядка аппроксимации разностной краевой задачи в зависимости от используемой степени многочлена Тейлора и числа узлов сетки в шаблоне.

Далее будем придерживаться принятых в [5] обозначений:

1) О — область интегрирования, ограниченная отрезком [а,Ь]; Он — узлы сетки, определяемые значениями гг = г0 + гЬ, г = 1, 2,...,п; г0 = а, гп = Ь, Ь = (Ь — а)/п, п + 1 — число узлов сетки;

2) х(г) —функция, являющаяся точным решением краевой задачи (1), (2);

3) [х]и — сеточная функция, совпадающая с точным решением в узлах сетки Он;

4) х(н) —искомая сеточная функция.

Для краткости примем для любой функции обозначение ф(гг) = фг, где г г — узел сетки Он.

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

1. Выбор узлов сетки при использовании четырехточечного шаблона. В матричном методе численного интегрирования краевых задач минимальная степень используемого многочлена Тейлора, что соответствует простейшему случаю, совпадает со старшей степенью производной в исследуемом ОДУ [1]; поэтому в начале остановимся на использовании многочленов Тейлора степени к = 3.

В соответствии с матричным методом [1] при исследовании краевых задач для ОДУ2 в простейшем случае (при к = 2) необходимо составить систему линейных алгебраических уравнений (СЛАУ), в которую следует внести:

а) два многочлена Тейлора степени к = 2, полученных из двух разложений в ряд Тейлора искомого точного решения х(г) в окрестностях слева и справа от некоторого внутреннего узла гг, г = 1, 2, . . . , п — 1, сетки Он — последнее приводит к появлению трехточечного шаблона гг-1,гг,гг+1, где, как нетрудно заметить, узел гг является центральным узлом шаблона;

б) исследуемое ОДУ2, записанное в центральном узле гг шаблона.

Преобразование полученной замкнутой СЛАУ, как показано в [13], приводит к разностному уравнению традиционного метода сеток [5]. Отметим, что в простейшем случае число уравнений в замкнутой СЛАУ на единицу превышает число к.

Наличие старшей производной третьей степени в левой части уравнения (1) указывает на то, что в простейшем случае СЛАУ краевой задачи (1), (2) при построении разностного уравнения должна содержать четыре уравнения с четырьмя неизвестными значениями искомой сеточной функции х, записанными или в узлах 2, г%-1, гг, гг+1, г = 2, 3,... ,п — 1, или в узлах гг-1, гг, гг+1, гг+2, г = 1, 2,...,п — 2. В указанных двух шаблонах будем использовать три многочлена Тейлора, записанных в окрестностях слева и справа от узла гг, который в дальнейшем будем называть ведущим узлом шаблона. Первый из указанных выше четырехточечных шаблонов будем далее называть правым (ведущий узел гг расположен ближе к правой границе

шаблона) четырехточечным шаблоном или просто правым шаблоном, второй— левым шаблоном. Добавление ОДУ3 (1), записанного в ведущем узле и, к трем многочленам Тейлора замкнет СЛАУ, позволяющую построить разностное уравнение.

Выясним, следует ли отдавать предпочтение тому или иному из двух шаблонов.

Для ведущих узлов ¿¿, г — 1, 2,..., п—2, используем левые шаблоны. После выписывания многочленов Тейлора добавим к ним ОДУ3 (1), записанное в ведущем узле ¿¿. В итоге получим следующую СЛАУ:

Л2 Л3

7 / // /// /у» . _ Г) гу' I _гу _ _/у»''' - /у» .

/бО/^ п^ 2! ^ 3' ^ —

Л2 Л3

I, / // ///

Ж + + 2! Хг + 3! Хг хг+1,

! Л2 ! Л,3

Xi + 2^ + 22 — X? + 23 3 X?' — Жг+2, ' '' '''

ч ^Ж + Pixi + I ixi + ¿чх —

В матричной форме система уравнений (3) в обозначениях

(3)

1 —/г

1 /г

1 2Л

%

ь2 2!

Ы 2!

22 2 2!

3!

ь3

3! 23

2 3!

Ш3i =

xi "х^ Г

Xi Ж'' Лу i LЖi J , О3^ — Xi+1 Жi+2 . /i -

имеет вид

А^Ш3i — О

3i

Здесь и далее первый верхний индекс к (сейчас к — 3) означает степень используемого многочлена Тейлора Рк, если речь не идет о показателях алгебраических степеней, порядках производных, символах обратных матриц и транспонировании; второй из пары верхних индексов в наименованиях матриц и их элементов означает номер ведущего узла сетки. Матрицы А^, как и ранее в [12, 13], будем называть локальными матрицами.

Предполагая существование обратной матрицы — (А3^-1 от локальной матрицы А3\ найдем Ш^ — (А3^ или в координатной форме

Жi — ЬЦ ж^ 1 + хт + Ь33 Xi+2 + Ь34 /, xi — Ь^ Xi—1 + Ь^ хт + Ь| Xi+2 + Ь^ /,

xi, — Ь31 Xi—1 + Ь32 xi+l + Ь33 Xi+2 + Ь34 /

xi'' — Ь41 Xi—1 + Ь32 Xi+l + Ь43 Xi+2 + ь

3i { '44 fi,

(4)

(5)

(6) (7)

где Ь^т — элементы матрицы в ведущем узле

Выполненные выше действия для узла ^ назовем для краткости процедурой построения (ПП) с использованием левого шаблона. Из равенств (4) составим систему разностных уравнений

—Ь^— 1 + Жi — Ь^ Xi+l — Ь?гзXi+2 — ь34/i,

г — 1, 2,..., п — 2,

(8

г

в

для левого шаблона.

Отметим, что в системе (8) число неизвестных (совпадающее с числом внутренних узлов сетки и поэтому равное п — 1) на единицу превышает число разностных уравнений (совпадающее с числом ведущих узлов сетки). Однако пока не использовано второе граничное условие х'(а) — Х'0 в (2).

Для замыкания системы (8) в ведущем узле выполним ПП с использованием левого шаблона, в которой вместо первого по счету многочлена Тейлора для функции х, как это было сделано в (3), запишем многочлен Тейлора для производной X. Тогда полученная таким образом система

Ь2

гу>1 _ ГуМ I __-

X1 кХ 1 +р ^ X1 - Х0,

Л.2 к3

Х1 + кХ1 + Х- + —у Х1 — Х2,

' к2 ' к3

Х- + 2кХ- + 22—Х1 + 23 — Х- — Х3, ^-Х- + р-Х- + г-Х- + в-Х- — /-

(9)

позволит построить, с учетом (2), недостающее в (8) разностное уравнение

— ¿{\х'о + Х- — С-2Х2 — С33Х3 — С3- /-,

„3!,

„3!„

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

где сг3Д — элементы матрицы С3- — (А3-)--; А3- — локальная матрица, при построении которой использована система (9).

В итоге получим следующую разностную краевую задачу, которую запишем в компактной символической форме в обозначениях, заимствованных из [5]:

Ь

(10)

где принято

Ь

Х—

Х-СэГ

С-4 Х-

131 Ьм

Ь3г

С

--5Г Х2 —

С

С

С3-сГ3 3-4

Х3,

ЬП Х2 Ь34X3, Ь-

Ь3г

-3

Ь\\ ^^ + _ Ь\2 ^^ Ь33 Хг+2, -4 -4 -4 -4

г — 2, 3,... ,п — 3,

(11)

Ь3(™-2) Х 2

с'ц Хп—2

Хп-3 +

ь

3(п-2)' -4

ъ

3(п-2) Ь-2

3(п-2) , 3(п-2)

-4

Х п- - ,

-4

/3,Ь —

3-

/1 + с3- Х0,

С

-4

3Л + р- Х0,

-4

/п-2 +

г — 2, 3,..

Ь3(п-2) -3

, п 3,

(12)

Ь3(п-2) • -4

3

3

п

а нижний индекс Ь означает, что были использованы только левые шаблоны.

Решение задачи (10) дает значения искомой сеточной функции Жг во внутренних узлах ¿¿, г = 1, 2,..., п — 1, сетки значения в граничных узлах ¿о, определены граничными условиями (2).

Отметим недостатки полученных расчетных формул для левых шаблонов. Во-первых, после нахождения решения задачи (10) равенства (5)—(7) позволяют вычислить производные вплоть до третьего порядка во всех внутренних узлах сетки, кроме узла ¿п—1, который не являлся ведущим узлом ни разу. Во-вторых, узел ¿1 был ведущим дважды, а именно при построении матриц В31 и С 31, что дублирует формулы для вычисления производных в этом узле.

При использовании в ПП правого шаблона вместо (10)—(12) будет получено

Ь

//I,

я,

(13)

где принято

Ь//,я

_сЦ + _ ¿л

— „32 Ж1 + „32 — „32

¿14 „14 „14

Ы2

Ы3

Ж = <

'12 Ж2 ^13

—51Ж1 + й^ — Щ ^

Ь31 Ь12 Жг 513 . _

—ЩЖг-2 — ЩЖг—1 + Щ — ЩЖг+Ь г = 3, 4

,п — 2,

Л3(га-1) Ь

3(п—1)

,3(п—1) 514

Жга— 3

,3(п—1) 514

Ж„- 2 +

Жп— 1 5 3(п—1) 514

/3

32

^ о. „11 ~/ / 2 + ^32 ж0,

14

я

/ + ~

/2 + 532 Ж0, 514

/г, г = 3,4,..., п — 2,

/п— 1 +

,3(п—1)

513

,3(п—1)

514

ЖП

а нижний индекс Я означает, что были использованы только правые шабло-

ны.

Решение задачи (13) дает значения искомой сеточной функции Жг во внутренних узлах ¿г, г = 1, 2,..., п — 1, сетки значения в граничных узлах ¿о, определены граничными условиями (2).

Полученные расчетные формулы для правых шаблонов обладают теми же недостатками, что и для левых шаблонов. С одной стороны, после нахождения решения задачи (13) равенства (5)—(7) позволяют вычислить производные вплоть до третьего порядка во всех внутренних узлах сетки, кроме узла ¿1, который не являлся ведущим узлом ни разу. С другой стороны, узел ¿2 был ведущим дважды, а именно при построении матриц В32 и С32, что дублирует формулы для вычисления производных в этом узле. Однако ситуацию довольно просто исправить — для этого достаточно вместо С32 вычислить матрицу С31 в узле ¿1 с помощью системы (9), при построении

3

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

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

(14)

= ¡1

где принято

' Х3

31 14

ь1х =

с

с

с31 с12 31 14

Х2

с

Ь?2

с31 с13 31 14

Ь?2

Хз,

'12 Х2 Ь1з

- Ь34Х1 + Ь32- Ь2Хз,

ьз

Ь3" Х»—2 Ь32 Х»—1 + Ь3г Ь33 Х»+1, г = 3,4,

Ь14 Ь14 Ь14 Ь14

Ь3

12

Хг

Ь3

13

.,п — 2,

(15)

Ь

3(п—1) 11

Ь

3(п 1) 14

Хп— 3

Ь

3(п— 1) 12

Ь

3(п— 1) 14

Хп-2 +

Хп— 1

Ь

3(п—1) 14

с31 с11

¡3 =<

¡1 + с31 Х0, с14

и + ь?4~

¡2 + Ь32 Х0, Ь14

и

¡п—1 +

г = 3,4,..

Ь3(п— 1) Ь

, п 2,

(16)

Ь

у13 3(п— 1)' 14

Очевидно, что для граничных условий вида

Х(а) = Хо, х(Ь) = Хп, Х(Ь) = Х'п

сначала следует (п — 2) раза использовать левый шаблон, а затем один раз использовать правый шаблон.

Вопрос о влиянии вида шаблона на порядок аппроксимации разностной краевой задачи обсуждается ниже.

2. Численное интегрирование краевых задач для ОДУ3 при использовании четырехточечного шаблона. Исследуем разностную краевую задачу при различных значениях к.

Для некоторого фиксированного к > 3, что приведет к увеличению числа слагаемых в многочленах Тейлора, в узле сетки ¿1 выполним ПП с использованием левого шаблона лишь с тем отличием от приведенной выше процедуры, что СЛАУ (9) дополним уравнениями

(91Х1 + Р1х1 + пх" + в1Х'")(г) = и(г), г = 1,2,...,к — 3, (17)

полученными дифференцированием обеих частей ОДУ3 (1) и записанными в узле в узлах сетки ¿¿, г = 2, 3,... ,п — 1 выполним ПП с использованием правого шаблона, дополнив систему вида (3) уравнениями (17), записанными в узлах ¿¿. В итоге вместо (14)—(16) получим разностную краевую задачу

^кНХ = ¡к,

(18)

п

где принято

=

1 1 1 1 Ж1 С12 С13

31 Ж2 Ж3,

С

к 1 14

ьк2

С'

14

С

.11' 14

ь12

'12 Х2 ^13 — Ьк2 Ж1 + Ьк2 — Ьк2 Х3'

ь14 ь14 ь14

ь11

ь12

ь!3

--11 Ж-0-Ь12Ж. + _ Ь13Ж г - 3 4

Ьк4Ж-2 ь14Жг—1 + ьк4 ьк4Ж*+ь г -3'4'

(19)

. ,п - 2 ,

ь

1(п—1) 11

ь

ь

1(п—1) 14

Жга— 3

1(п—1) 12

ь

1(п—1) 14

Жга- 2 +

Жга— 1

ь

1(га—1) ' 14

к+1 1:1

С1т л(т—4)

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

^ + 2^ "Ж" ^

т=5 С14

к+1 Ьк2 „ ^ ь1т л(т—4)

С!1

+ С11 г'

+ Ж0,

С

11' 14

/1 — <

/2 + ^2

т=5 14 1+1

ь12 ~ + Ь12 Ж0, ь14

/ + Ь1то / (т—4)

/г + ь^ Л

(20)

г - 3,4,..., п - 2,

т=5 14

!+1 ьк(п—1)

/ I \ ь1т /("<■-

/п—1 + ,1(п—1) 1

Ь1 /I

ь1™ „(т—4) , ь13

+

т=5 ь14

,1(га— 1)

Ы )

Жп

решение которой дает значения искомой сеточной функции ж во внутренних узлах г — 1, 2, ...,п — 1, сетки значения в граничных узлах ¿о, ¿п определены граничными условиями (2); производные во внутренних узлах ^ могут быть вычислены по формулам

Ж

(1—с!1 го + С?21Ж2 + С?31Ж3 + с/ + £ С&/^4

к+1

т=5 к+1

1) — ь!1жг—2 + Ь2 хг—1 + ь3ж+1 + + £ ь/Л

(21)

(22)

т=5

где I — 2,3,..., к + 1, г — 2,3,..., п — 1.

3. Вычисление порядка аппроксимации разностной краевой задачи при использовании четырехточечного шаблона. Сеточная функция ж, г — 0,1,..., п, являющаяся решением некоторой разностной краевой задачи, при подстановке в уравнения этой разностной краевой задачи обратит их в верные равенства. В [5] показано, что подстановка в уравнения задачи сеточной функции [ж], отличающейся от ж, приведет к некоторому отличию от верных равенств. Эти отличия характеризуются невязкой ¿/^ [5]. Иными словами, подстановка [ж] в — приведет к равенству

В соответствии с [5] в качестве оценки величины невязки примем норму

ник у = тазики и, ии..., ¡„—Л, 1икп\), (24)

где первые две и последняя компоненты характеризуют меры отличий, появление которых обусловлено граничными условиями (2), остальные — оставшимися разностными уравнениями задачи (18). Отметим, что величины невязок \ико\, \икп\, появление которых обусловлено первым и третьим граничными условиями в (2), как показано в [5], обращаются в нуль.

Согласно [5,7], разностная краевая задача аппроксимирует дифференциальную краевую задачу на точном решении х(1), если Цб^|| ^ 0 при Н ^ 0. Если при этом имеет место неравенство || ^ СНк, где С > 0,к > 0 — некоторые постоянные, не зависящие от Н, то говорят, что имеет место аппроксимация порядка к относительно величины Н.

Вычислим порядок аппроксимации разностной краевой задачи (18). Исследование рассматриваемой задачи, в которой используем смешанный вариант ПП, начнем с ПП, использующей левый шаблон, т.е. исследуем ведущий узел для граничного условия х'(а) = х'0.

При фиксированном к ^ 3 вместо многочленов Тейлора используем точные равенства

Н2 Нк— 1 [х3] — Н[х('] + + ■ ■ ■ + (—1)к—1 [х(1к)] = [х0] — Я0к—(,

2 3 к

[Х(] + Н[х(] + -[х('] + ~[Х»] + ■■■ + ~[х(к)] = [Х2] — Як,

2 3 к

[Х(] + 2Н[х(] + 22 —[х('] + 23 —[х('] + ■■■ + 2к-[х(к) ] = [Х3] — Як3,

где Як—(, Як, Як —дополнительные члены разложений в ряд Тейлора в форме Лагранжа [14]:

нк+1

як—1 = (к + 1уХ(к+1)(Сг) = о(нк+(), Сг е (¿(,¿3), г = 0,2,3.

Тогда получим

Н2 Н —1 [х( ] — Н[Х(] + -[Х»] + ■■■ + (—1)к—1 [х(к) ] = [Х0] — Як —1,

23

[Х1 ] + Н[х(] + ¥К] + -[х("] + ■■■ + -[х(к)] = [Х2] — Як,

23

[Х1 ] + 2Н[х(] + 22-[х(] + 23-Х'] + ■■■ + 2к-[х(к)] = [Х3] — Як, (25) Я1[х1 ] + Р1[х(] + г([х('] + в1[Х"] = ¡1,

9з [хз] + -91 + Р() [х(] + -Р1 + г() [х('] + (гз + в!) [х(''] + [х(4)] = ¡1,

91

(к—3)[х(] + ^ + в([х(к) ] = ¡(к—3).

В матричной форме система (25) в обозначениях

А01 = 0 1 1 91 1 Н 2Н Р1 -Н ь2 2! о2 Ь2 2 2! Г1 ь2 2! . Ь3 3! 3 . о3 ь3 2 3! . 81 . ( -,)0-1 Ьк-1 1 . ( 1) (0-1)! Ьк . 0! к 90Ьк . 2 0! . . 0

91 91 + Р1 + Г1 + . . 0

(0-3) .91 ) . 81

гк1] = [ы и к] к] [Х4)]... [х1к)]]т, [С01] = [[Х0]-Еок-1 [Ж2]-Д| [хз]-Дк /1 / ... /ГТ

имеет вид

А01 [^01] = [С01].

В предположении существования обратной матрицы С01 = (А01 )-1 от локальной матрицы А01 найдем С01 [С01 ] = [^01]. Выпишем первое уравнение последнего матричного равенства:

с01([х0] - Д0-1) + „11 (Н - Л0) + с0з1([«з] - Л0) +

0+1

+ С04/1 + Т /1(т-4) = Ы, (26)

т=5

где сЩ — элементы матрицы С01 в узле ¿1. Преобразуем равенство (26) к виду

л01 л01 л01

- [Х0] + ^ - ^ [Х2]- С01 [хз] =

С

01 14

с

01 14

с

01 14

с

01 14

0+1 „01 „ / + у^ с1т /(т-4)

' „01 1

т=5 С14

„01 р°-1 I „01 п0 + „01 п0

„11 Л0 + „12 Л2 + „13 Л3

„01 „14

(27)

Выполняя ПП с использованием правых шаблонов в оставшихся ведущих узлах сетки, получим

ЬЙ

^04

Ь11 [х 1 Ьи [х ] + _ М! [х ]= ^ + 0+1 *(т-4)

1-0?, [Хг-2] 7.0?. [Хг-1] + ,0г Ь0г [Х?+1] = + Ш ^

60Г г 2 ь0? г 1 ь0г ь0:

ь0г

т=5 °14

Т)0 к0г Т)0 }0г Т)0

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

Ь11 ^0-2 + Ь02 ^0-1 + Ь03 ^0+1

ь0г ь14

г = 2,3,..., п - 1. (28)

Равенства (27), (28) с учетом граничных условий (2) преобразуем к виду

к1 к1 — ^ [Х2] — ^ [Х3] =

С

к1 14

с

к1 14

с

к1 14

к+( ск1

_ { I ^ с1т ^(т—4) I с11™' с11 Я0

= ¡! + Р2Т ¡1 + "ЖХо

к! ск1 Як—1 I ск1 як + ск1 як

(( с(( Яо + с(2 я2 + с(3 я3

т=5

14

ск1' с14

С

к!

(29)

14

— ЬЦ ы + М — Ы [х3] = Ьк2 [Х(] + Ьк2 Ьк2 [Х3] = Ь14 Ь14 Ь14

к+! г,к2 , г,к2 т?к , г,к2 як , г,02 ок

Г ,\^Ь1т Ат—4) Ь11™ Ь11 + Ь12Я1 + Ь12Я3 /оПл

¡2 "ЬЮ! ¡2 + Ьк2 Хо--Ьо2-, (30)

т

=5 "14 "14 "14

Ь11 [х 1 Ь0Ц [х ] + [ХА_ Ьа [х ]= { + 0+т ^кт ^(т—4) Ькг [Хг—22] Ькг [Хг—1] + Ькг Ькг [Хг+1] = ¡г + Ькг ¡г

Ь14 Ь14 Ь14 Ь14 т=5 Ь14

кг к кг к кг к

Ь11Яг—2 + Ь12Яг—1 + Ь13 Яг+1

12 Яг— 1 + Ь(3 ~г+( , г = 3, 4 — 2, (31)

кг Ь14

Ь

к(п—1)

Т1_

, к(п—1)

Ьз4 )

Ь

Ь°(п—!) [Хп—\]

\Хп—3] — _ о(„ () \Хп—2\ + , 3(п—() = ¡п—1 +

14

Ь

к(п—1)' 14

, к(п—1)

Ьз4 )

0+1 Ьк(п—1)

Ь1т_ <•(т—4) .

_() ¡п— 1 +

т=5

Ьк(п—1У п— Ь14

, к(п—1)

Ь13 —

+ (1 ^ Хп —

Ьк(п— !) як + Ьк(п— !) як + Ьк(п—1) як Ь(1 яп-3 + Ь(2 2 + Ь(3 яп

ьп— 3

12

'п-2

13

Ь

к(п—1) 14

(32)

Отбрасывание последних дробей в равенствах (29)-(32), что равносильно переходу от точного решения [хг] к искомому приближенному хг, приведет эти равенства к уравнениям разностной краевой задачи (18)-(20). Следовательно, в соответствии с (23), последние дроби в равенствах (29)-(32) характеризуют величину невязки в уравнениях задачи, при построении которых были использованы ведущие узлы ¿г, г = 1, 2,... ,п — 1. В итоге для рассматриваемой задачи имеем

( с01 як— 1 + с01 як + с01 як с11 Я0 + с(2 я2 + с(3 я3

б1ко

12 я2 .31

13 3

Ьк2я3 + Ьк22як + Ь^як

с14

к2 к

ик2 я к

Ьк1

укг як < г.кг як I г.кг Я1 Ь((яг-2 + Ь(2Яг-( + Ь(3 я

кг як

икг як

Ькг Ь14

г = 3, 4,... ,п — 2,

,к(п— 1) ро ,к(п— 1) ро ,к(п— 1) ро

Ь(1 3 + Ь(2 Яп-2 + Ь(3 Яп

п3

12

п2

13

к(п— 1) 14

или

/ =

„01 п „11

0-1

+ с01п0 + сЦП:

-12 п2

01 ту 0

13 п3

01 14

г,0г Т)0 | г.0% Т)0 | г.0% Т)0

Ь11Пг-2 + Ь12Пг-1 + Ь13 Пг+1

(,0г т)0

0г г>0

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

(33)

ь0г ь14

г = 2,3,...,п - 1,

где, напомним, первая компонента характеризует величину невязки, появление которой обусловлено вторым граничным условием в (2).

Непосредственными вычислениями можно для любого к > 3 убедиться в справедливости оценок

М^

0г 1.7

(8

\0-1 г)

М

г = 2, 3,...,п - 1, 2 = 1, 2, 3, 4,

(34)

где М0; — алгебраическое дополнение элемента а^- матрицы (А0г)т, полученной ПП, использующей правый шаблон. Воспользуемся в дальнейшем известными свойствами определителя [15]. Действительно, пренебрегая старшими степенями, например при 2 = 1, имеем

мЦ =

(-1)

Ь2 2!

3!

0-1 Ьк-1

(-1)0 Ь!

= "кД

Н

Ь2

ы

3!

Ьк

(0-1)! (0-1)!

0! -1

Т

т=1

Рг 9г + Р, Г, Рг + Г? в, Гг + я?

0 0

1

Иг

V,

¿г вг

+ (-1)0+^

т=1

+ 8гМ1( 0-1)г

в,- М-

( -1)г

11

где Ьт, ст — коэффициенты, не зависящие от Н; и,, V?, -ш?, — некоторые функции от 9г, Р,, г,, в, и их производных. Повторное неоднократное использование последней формулы приводит к (34) при 2 = 1.

Аналогично доказывается справедливость оценок (34) при 2 = 2, 3. Рассмотрим М°4:

М1 4г =

¥

-2Н

22 Ь2 2 2! 3

о3 Ь3

-2 зГ

(-2)

0-1 Ьк-1

(0-1)! (-2)0 Ь0к

(-1)

-Н Ь2 2! 3

3!

0-1 Ьк-1

(0-1)! (-1)0 Ь0к

2 3

2 3

Н

Ы 23

3!

ьк-1

(0-1)!

ьк к\

2 3

9г + Р, Рг + Г, Г, +

0 0

-20 ЬтНт+ ^ стНт-(-1)0 +8гМ-

т=3

т=3

т=3

и, ■ш,

¿г

вг

,(0- 1)г 14

м (0-1)г гм14 ,

8

где Ьт, ст, (1т — коэффициенты, не зависящие от Н. Повторное неоднократное использование последней формулы приводит к (34) при 3 = 4. На основании оценок (34) и очевидных равенств

Ь_ _ м2г

Ь24 = М24,

3 = 1, 2, 3

имеем

Ькг

ЬТ_

Ькг Ь14

М1_

М34,

г = 2, 3,... ,п — 1, 3 = 1, 2, 3.

Вывод оценок

с01

с01 с14

М3Т

М3Т

3 = 1, 2, 3,

(35)

(36)

где М3! 3 = 1,2,3, 4 — алгебраическое дополнение элемента а(1 матрицы

1_

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

(А31)т, полученной ПП, использующей левый шаблон, для ведущего узла ¿1 оказался аналогичным выводу формул (35).

Невязка (33), с учетом оценок (35), (36) примет вид

612=

бfkl,

М3Т я2—1 + М31 як + М3Т я3

12 я2

'13 я3

М1341

г = 2,3,... ,п — 1

МЦЯ3—2+М12 я2—1+М33я3+1

(37)

М134г

Вычислим оценки М3_г, г = 1, 2,... ,п — 1, 3 = 1, 2, 3, 4. Пренебрегая старшими степенями, для г = 1 имеем

М1311 =

Н 2Н р(

22 2232 г

23 2 3

3! 3!

3 4 Н5 3 = в(Н — гзН + Р( — и в(Н ,

Н3 7

М3Т = — 4в(Н2 + г(--+ -р(Н4 и —4з(Н2,

12 3 3

М33! = т:в(Н2 + — — р(Н4 и -в(Н

3

Н3 5

3

2

и для г = 2, 3, . . . , п — 1:

3

12

М31 = Ц Н5; 6

(38)

(39)

(40)

М131г =

— Н Н р г

32 32 г.

2! 3 23 'г

3! 3! вг

3 Н5 3 = —вгН + ргИ —вгН ,

М'32 = 3вгН3 + ггН4 + ргН5 и 3вгН3,

М(3^ = вгН3 + ггН4 + Рг ^ И вгН3, М(3^ = —Н6.

3

(41)

(42)

(43)

Вычислим невязки (37). Используя оценки (38)—(40), для ведущего узла найдем

2

,0 _ м31 я0-1 + М1321п0 + М1331п3

/ =

М1341

^2§1н3е0 -1 - 831Н2Е0 + 381Н2Е3)

11Н5

6810(Н0) -24в10(Н 0+1)+9810(Н0+1)

11Н2 11Н3

= 0(Н0-2) + 0(Н0-2) + 0(Н0-2) = 0(Н 0-2) (44)

и, используя оценки (41)—(43), для ведущих узлов г = 2, 3,..., п - 1 найдем

, = М31г Д0-2 + м32Др-1 + м33 я 0+1

/Ьг = м3

-8гН3Я0-2 + 38гН3Я0-1 + 8гН3Я°0+1 _

* -Н =

_ -8гО(Н0+1) + 38гО(Н0+1) + 8гО(Н0+1) _

= Н3 =

= 0(Н0-2) + (Н0-2) + 0(Н0-2) = 0(Н0-2). (45)

В итоге в соответствии с (24) из оценок (44), (45) для рассматриваемой задачи имеем

11/0 У = 0(Н0-2),

откуда следует, что порядок аппроксимации пропорционален степени используемого многочлена Тейлора и меньше нее на две единицы независимо от четности к, в отличие от ОДУ2 с граничными условиями первого рода [12], где порядок аппроксимации задачи оказался зависимым от четности к.

При исследовании в [12] краевых задач для ОДУ2 с граничными условиями второго и третьего рода оказалось, что именно наличие производной в граничных условиях понизило на единицу порядок аппроксимации всей задачи, чего не оказалось в рассмотренном выше случае, как это следует из оценок (44), (45).

Путем непосредственных вычислений можно убедиться в справедливости

а) оценок (35) для левого шаблона и оценок (36) для правого шаблона;

б) оценок (38)—(43) с точностью до постоянного сомножителя для указанных выше шаблонов.

Следствием этого является независимость порядка аппроксимации разностной краевой задачи (1), (2) от выбора формы четырехточечного шаблона.

4. Численное интегрирование краевых задач для ОДУ3 при ис-

пользовании пятиточечного шаблона. Выше исследована возможность численного интегрирования матричным методом [1] краевых задач для линейных неоднородных обыкновенных дифференциальных уравнений третьего порядка с переменными коэффициентами (1) с граничными условиями (2). Установлен порядок аппроксимации метода при использовании в нем четырехточечного шаблона.

Поставим целью исследование возможности численного интегрирования матричным методом краевых задач для ОДУ3 при использовании пятиточечного шаблона с последующим вычислением порядка аппроксимации в зависимости от степени k многочлена Тейлора.

Решение остановиться на пятиточечном шаблоне связано лишь с тем, что производные третьего порядка, вычисленные с помощью отношения центральных разностей (что соответствует пятиточечному шаблону), имеют второй порядок аппроксимации относительно шага h, тогда как вычисленные с помощью отношения конечных разностей слева и справа (что соответствует четырехточечному шаблону) — первый порядок [6].

В соответствии с матричным методом составим СЛАУ для пятиточечного шаблона ti—2, ti—1, ti, ti+1, ti+2, i = 2, 3,... ,n — 2, в которую при фиксированном k ^ 4 внесем:

а) четыре многочлена Тейлора степени k, полученных из четырех разложений в ряд Тейлора искомого точного решения x(t) в окрестностях слева и справа от некоторого внутреннего узла ti (центрального узла шаблона), i = 2, 3,... ,n — 2, сетки Dh;

б) уравнения

{qiXi + pixi + Tix'{ + Six'l')(r) = f(r), r = 0, 1,...,k — 4,

полученные дифференцированием обеих частей ОДУ3 (1) и записанные в узле ti.

В итоге получим СЛАУ

x. — 2hx' + 22_x'' — 23_x''' + • • • + (—2)k_x(k) = x о

.^i ¿¿m^i \ 2! i 3! i ^ ' k! i — —2'

. h2 .. h3 ... k hk (k)

x. _ hX' -X" _ _X ■ ■ ■ i_1 ik-X — X- -i

xi hxi + 2!xi з!xi + + ( 1) k\xi = xi—i,

h2 h3 hk (k)

rp . I Г) ryt' I _/yt'' I _/Vi''' I ... I _/yA / - X ■ I -t

xi + hxi + 2!xi + з!xi + + k! i = xi+i,

h2 h33 hk (46)

xi + 2hxi + 22 —x'l + 23 —x'i' + ••• + 2k —x(k) = xi+2, ( )

qi xi + pixi + Tix'i + Sixi'' = fi,

qi xi + (pi + qi)xi + (ri + Pi)x'{ + (si + r)x'(' + Six(iIV) = f

Ui(k—4)xi + ••• + Si x(k—1) = fk—4).

В матричной форме система уравнений (46) в обозначениях

Аы =

1 1 1 1

,(1-3)

Л — 2Л

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

22 2 2! (-2)3¥ .. Л1" • (-2)11

и1 • (-1)1 ж

2! 3! . .

и1

2! 3! . . • ¥

22 2 2! 23 2 3! . . ь и1 21 • 2 к!

Г* . . . 0

— ^^х* ^х* ^х* ^х*

ат,

^ — [х-2 Х-1 Х+1 Х*+2 /* / /Г ... /Г-4)]

,(1-4)]Т

6'

имеет вид

1*_

Здесь и далее второй из пары верхних индексов в наименованиях матриц и их элементов означает номер центрального узла пятиточечного шаблона.

Предполагая существование обратной матрицы В1г — (А1*)-1 от локальной матрицы А1*, найдем Ш1г — (А1*)-1 С1*, или в координатной форме (г — 2, 3,..., п - 2)

1+1

х — + + Ь13х+1 + ь!4Ж*+2 + + £ ь1т/*(т-5), (48)

т=6 1+1

X — + + ь23х*+1 + ь14х+2 + + £ ь|т/*(т-5), (49)

т=6 1+1

< — Ь§1ж*-2 + + ь|х+1 + Ь34х*+2 + Ь/ + £ Ь|т/*(т-5), (50)

т=6

— Ь(1+1)1Жг-2 + Ь(/г+1)2Ж*-1 + Ь11+1)3Жг+1 +

1+1

+ Ь(1+1)4Х*+2 + Ь(1+1)5/* + X] Ь(1+1)т/г , (51)

т=6

где Ь1т — элементы матрицы В1* в узле

Из равенств (48), которые являются разностными уравнениями для пятиточечного шаблона ¿¿-2, ¿¿-1, ¿¿+1, ¿¿+2, составим СЛАУ и запишем ее в компактной символической форме:

где

ьк2

Ь12

ьк2

'12 Х2 ь^з ь^^

- Ьк2Х1 + ТИ — ТИХз — ТЬк^^4'

ь15 ь15 ь15 ь15

фь

ьк

ькь

ькь

Ь\Х = ^ ук Хь—2 ьк Хь-1 + Хкь ьк Хь+1 фьХь+2'

ь15 ь15 ь15 ь15 ь15

г = 3,4,

, п — 3,

ьк (га—2) ь11

ь

к(п—2) 15

Хп—4

,к(п—2)

ь12 + Хп—2

Хп—3 +

ь

(п—2) 15

ь

ьк (п—2) ь13

к(п—2) ,к(п—2)

15

Хп— 1,

15

(53)

/•А- _

1ь, =

к+1

ь 2

/2 +£ ^ /

6 ь?2

т=6 15 к+1

2т—5) + Ы *,

ь ь

/ + \ ^ ь1т / /ь + ькЬ

(т— 5)

ь ь

т=6 15

г = з, 4,...,п — з,

к+1 , к(п—2)

£ , ь1т

/п—2 +

т=6 ь15

(п— 2) п

ьк (п—2)

/ (т—5) + ^14_5

ь

(п—2) 15

(54)

Задачу (52) для краткости будем далее обозначать как Ь

Отметим, что разностная краевая задача (52) содержит (п — 3) уравнения с (п—1) неизвестными, т.е. для замыкания системы необходимо составить еще два уравнения. В [5] для оценки порядка аппроксимации обоснована целесообразность разбиения разностной краевой задачи на подзадачи (подсистемы); поэтому в отдельные подзадачи выделим систему (52) и систему, содержащую недостающие два уравнения, а затем отдельно вычислим порядки аппроксимации каждой из этих двух подзадач.

Для учета граничного условия х'(о) = 5*0 сохраним все приведенные выше выкладки для задачи (52) с тем лишь отличием, что при составлении СЛАУ вместо первого приближенного равенства в (46) при г = 2 используем следующий многочлен:

Ъ2 Ък—1

Х2 — 2ЪХ'2 + 22 2Х'2 + • • • + (—2)к—1 (Ъ—^Х2

( )

Ж\ ' - /у»'

о — 0 *

(55)

Для составления второго недостающего уравнения задачи Ь^ сформируем фиктивное граничное условие в узле ¿о следующим образом. Из точного равенства

вох'О' + Тох'0 + Рох'о + доХо = /о

найдем

вох'о' + Тох'о = /о — Рох'о — до Хо = Хо,

(56)

где число Хо может быть вычислено с использованием первых двух равенств граничных условий (2). Равенство (56) будем трактовать как фиктивное граничное условие в узле ¿о.

Имеем следующие многочлены Тейлора:

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

и2 и1-2 4' - 2и4" + 22^2/У) + ■ ■ ■ + (—2)1-2^Г2)х21) — (57)

и2 и1-3

*2' - 2^ + 22иух2У) + ■ ■ ■ + (—2)1-3(ки:г3)|ж21) — ®0''. (58)

Умножая обе части многочлена (57) на го, многочлена (58) — на и складывая полученное, с учетом (56) получим фиктивное граничное условие:

го4' + (60 - 2ЛгоК + ■ ■ ■ + (-1)1-1 (60(кГ-3)! - го(кГ-2)^)Ж21) — X• (59)

Для учета фиктивного граничного условия (56) сохраним все приведенные выше выкладки для задачи (52) с тем лишь отличием, что в СЛАУ (46) при г — 2 вместо первого приближенного равенства используем соотношение (59). Указанные действия позволяют сформировать последнее недостающее разностное уравнение.

В итоге вторую подзадачу в компактной символической форме запишем

как

^ — , (60)

где

$ х —

— <

12 12 12

с12 х + _Х2 _ С13 х С14 х

12х1 + 12 12х3 12 х4, 12 12 12 12

с15 с15 с15 с15

х2 ¿13

"15 ¿15 ¿15 ¿15

1+1 с12 , . N С12

^ + ^ С1т $(т-5) + СпУ /2 +2^ /2 + С12хо,

т=6 15 15

(61)

1+1 ¿12 , , ¿12 г , ^ /(т-5К ¿11 /2 + 2^ ¿2/2 + ¿ЮАо• т=6 15 15

(62)

Здесь с^ — элементы обратной матрицы от матрицы СЛАУ (46) при г — 2, которая вычислена для граничного условия ж'(а) — а^; ¿ьп — элементы обратной матрицы от матрицы СЛАУ (46) при г — 2, которая вычислена для фиктивного граничного условия (59).

Решение разностной краевой задачи (52), (60) дает значения искомой сеточной функции во внутренних узлах г — 1, 2,..., п - 1, сетки значения в граничных узлах ¿о, определены граничными условиями (2); равенства (49)-(51) позволят при найденных вычислить производные вплоть до порядка к в узлах г — 2, 3,..., п - 2.

5. Вычисление порядка аппроксимации разностной краевой задачи при использовании пятиточечного шаблона. Вычислим порядок аппроксимации разностной краевой задачи (52), (60).

Для оценки величины невязки задачи (52) в соответствии с [5] примем норму

/И = шах(|/|, |/|,..., /-2|),

где компонента, второй нижний индекс которой, совпадающий с номером центрального узла шаблона, характеризует меру отличий, появление которой обусловлено уравнением задачи (52) с номером на единицу меньше этого второго нижнего индекса. Для задачи (60) — норму

|| = шах(|^кс|, |^|), (63)

где нижний индекс с означает принадлежность компоненты к первому уравнению задачи (60), нижний индекс I — ко второму уравнению. Первая компонента характеризует меру отличий, появление которой обусловлено вторым граничным условием в (2), вторая — фиктивным граничным условием (59).

Норму всей разностной краевой задачи (52), (60) в соответствии с [5] запишем как ( )

||/1| = шах(||/||, ||). (64)

Исследуем задачу (52). При фиксированном к ^ 4 сохраним все приведенные выше выкладки для задачи (52) с тем лишь отличием, что в СЛАУ (46) вместо четырех первых приближенных равенств используем точные равенства

1,2 /■) к М - 2ЛДО + 22-ДО - 23-ДО] + ■ ■ ■ + (-2)к-ку[х(к)] = [хг-2] - Лк-2,

1,2 ъ, 3 т, к

М - ЛМ + - -ДО'] + ■ ■ ■ + (-1)к¥[х(к)] = ДО1] - Як-1,

л2 л.3 л.к

М + ^ДО + ^ДО] + з|К'] + ■ ■ ■ + -к[[х(К)] = [^¿+1] -

(65)

(к)1 - и. . .1 _ Е>к

>2 ^и,''! , о3 ^и'''! ,_____1_ ок (к)1

[Хг] + 2йДО + 22-ДО] + 23-ДО'] + ■ ■ ■ + 2к-ДО^ = [Хг+2] - ^

где Ек_2, Дк_ 1, Лк+1, ^к+2 —дополнительные члены разложений в ряд Тейлора в форме Лагранжа [14]:

=^Т^х(к+1)(е^-) = 0(^к+1), & е (¿¿,¿¿+2), 2 = г - 2, г - 1,г + 1,г + 2.

В итоге вместо (52) получим задачу (23), в которой левая часть сохранит вид (53) с заменой искомой сеточной функции Хг на [Хг], а вместо (54) получим

/к+/

к+1 Ьк2 , ч Ьк2 /2 + Е Ьэ /2"'"5) + *> +

т=6 15 15

/г + Е ^ /^-5) + /, г = 3,4,..., п - 3,

т=6 15

к+1 ,к(га-2) , к(п—2) V °1то V(т-5) + °14 ~ + к /п-2 + ,к(п-2) /га—2 + ,к(п-2) Хп + 0//г,(га—2),

, к(п —2) -т=6 ь15 ь15

где

( Ь\1пк + + Ъ^Якъ +

ь ¡к =

или

Ъй

ъкг г>к I Т-кг Т)к < ъкг г>к < ъкг г>к Ъ11Щ-2 + Ъ12 Щ-1 + Ъ13 Яг+1 + Ъ14 Кг-

4+2

Ъкг Ъ15

г = 3,4,...,п - 3,

Ък(п—2) рк + Ък(п—2) пк + Ък(п—2) пк + Ък(п—2) пк Ъ11 Яп—4 + Ъ12 Яп—3 + Ъ13 Яп—1 + Ъ14 Яп

Ък(п-2) Ъ15

ъкг т)к I ъкг Т)к ъкг т)к I ъкг Т)к

Ык = _ ЪИ ^—2 + ^2+ ^3+ Ъ1-4Як+2 Ык гкг -

Ъ15

г = 2, 3,... ,п — 2.

(66)

Исследуем задачу (60). При фиксированном к ^ 4 сохраним все приведенные выше выкладки для задачи (60) с тем лишь отличием, что в СЛАУ (46) вместо второго, третьего, четвертого приближенных равенств используем второе, третье, четвертое точные равенства (65), а вместо первого и второго приближенных равенств используем следующее:

а) при построении первого уравнения задачи (60) — точное равенство с учетом второго граничного условия в (2) вида

к-1

Ь2 Ъ

[х2] - Ъ[а2\ + ^ + ••• + (-1)к-1 (к-1)-1

[х2к)] = X] - Я

к-1.

б) при построении второго уравнения задачи (60) — точное равенство с учетом фиктивного граничного условия (59) вида

го[х'2] + (8о - 2 Ъго)[х'2 ] + ••• +

+ (-1)к-1(

к-и „ -2Ъ)

«о

к-3

го-

(2Ъ)

(к - 3)-, 0 (к - 2)

к—2

— )[х2к)]= X - 8оЯк0—3 - гоЯк-2,

при составлении которого вместо (57), (58) используем точные равенства

Ъ 2 Ък—2 , ,

[х2'] - 2Ь[х>П + 22)] + • • • + (-2)к—2^т^[х2к)] = [х0'] - Якк—2,

Ъ2 Ъ [х2] - 2Н[х™] + 22^хР] + • •• + (-2)к—3[х2к)] = [х0"] - Як—3.

Ъ

3

В итоге вместо (60) получим задачу

% [х] = ^ + бдкн,

в которой левая часть сохранит вид (61) с заменой искомой сеточной функции Хг на [Хг], а вместо (62) получим

к+1 ск2

с1т Дт-5)

к2

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

9Я + ¿9Я =

^ + ^ С1т ^(т-5) + 11У + Л9к

т=6 15 15

к+1 (к2 , ч (к 2

/2 + Е % /2т + Кцхо+¿9ы>

6 <2

т=6 15

где

¿9^ =

¿9к2,

ск2 рк-1+ск2 рк + ск2 рк + ск2 рк с11 Л0 +с12 Л1 + с13 Л3 + с14 Л4

к2 о к

„к2 г> к

ск2 с15

лк2/„ т>к—3 т,к—2\ . ,]к'2 т)к I лк2 ок I лк2 ок

Ац (ЗоЛо - ГО^о ) + ®12Л + Й13 Л + ®14Л

эк- 2

]к2 г>к

1к2

(67)

Вычислим оценки невязок (66), (67) задач (52), (60) соответственно. Оцен-

ки

М§ и (зг)к-1М4;, г = 1, 2,...,п - 1, 2 = 1, 2,..., 5,

\к-1 л#4г

(68)

аналогичные оценкам (34), полученным при использовании четырехточечного шаблона, имеют место и для матриц (Акг)т, где Акг — локальная матрица (47), и для двух транспонированных матриц (47) при г = 2, в которых первые строки заменены коэффициентами разложений (55), (59) соответственно, что выше было выполнено при построении матриц Ск2, ^к2. Отсутствие в настоящей работе полного вывода формулы (68) обусловлено лишь громоздкостью выкладок. При исследовании краевых задач для ОДУ2 вывод формул, аналогичных (68), дан в [12].

На основании оценок (68) и очевидных равенств

Ькг

Ь к г ь15

мкг

мц,

3 = 1, 2, 3, 4

имеем

ьк г

ьк г ь15

м^и мЦ'

г = 1, 2,...,п - 1, з = 1, 2, 3, 4.

(69)

Вычислим оценки М^-, г = 1, 2,..., п -1, 3 = 1, 2,..., 5. Используя известные свойства определителя [15] и пренебрегая старшими степенями, имеем

м141г =

ь2 2! 3

3!

4!

ь2 23 з!

4!

232/г 3

244

4!

Р1

й7

= (6«г + ГгЛ, - Рг^2) ~~ и (6«г + ГгЛ.) ——, (70

12

й7

й7

М42 = (-3вг - 4ггй + 2ргЛ,2)—- и (-3вг - 4ггЛ,) —

3

М^зг = (3«г - 4ггй - 2ргЛ2) — и (3«г - 4ггЛ,) —,

3

3

3

12

(71)

(72)

Г

0

М44 = (-6зг + тгЬ + РгЬ2)^ - (-6вг + пЬ)^, Ш45 = дгЬ10. (73) Вычислим оценки невязок (66) задачи (52). Для рядов Тейлора Ъ2 Ъ3

7 / // ///

хг—1 хг Ьхг + ~2-хг ~3\хг + '''

^(-1)ттх(т) + £ (-1)ттх(т) = рк—1 + як—1,

т=0 ' т=к+1

Ъ2 Ъ3 хг+1 хг + Ьхг + 2 - хг + ~3\хг + ^ ^ ^

к Ът , N Ът , \

V —х(т) + V —г(т) = Рк + Як

т! х + т, хг = Рг+1 + Пг+1,

т=о т=к+1

где Я—!, Як+1 —дополнительные члены:

Ък+1

Я =(к+1ух(к+1)(^)= °(Ьк+1), Ь е (^г+1), ' = г - 1,г + 1,

в [12] показана справедливость следующих формул:

Як+1 - Як—1 = °(Ьк+2), Як+1 + Як—1 = °(Ьк+1) (74)

для нечетного к и

Як+1 - Як—1 = О^1), Як+1 + Як—1 = °(Ьк+2) (75)

для четного к.

С учетом (69)-(73) из (66) для г = 2, 3,... ,п - 2 имеем

кг к кг к кг к кг к

с ^кг Ъ11Яг-2 + Ъ12Яг— 1 + Ъ13Яг+1 + Ъ14Яг+2 ¿¡к =--

Ък5

Ь7 ((б5г + ГгЬ)Як—2 + (-6вг + ТгЬ)Як+2) _

' 12дгЬ10

Ь7 ((-3вг - 4тгЬ)Кк—2 + (3вг - 4пЬ)Ек+2) = 3(—Ь10 =

-бЗг(Кк+2 - Як—2) + ТгЬ(Кк+2 + Як—2) _ 12д_гЬ3

3зг(Як+1 - Як—1) - 4тгЬ(Як+1 + Як—1)

3дгЬ3

Подстановка оценок (74) в (76) дает

fi

ki _ -6sjO(hk+2) + rihO(hk+1) 3sjO(hk+2) - 4nhO(hk+1) h * 12qih3

1\ , rituk-Ъ i /->tuk—1\ , /ik-1\ _ ^/^k-U

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

= O(hk-1) + O(hk-1) + O(hk-1) + O(hk-1) = O(hk-1),

откуда

\\5fkk у = O(hk-1) (77)

для нечетного k.

Подстановка оценок (75) в (76) дает

еы ^ -6siO(hk+1) + пhO(hk+2) 3siO(hk+1) - 4nhO(hk+2)

f * -

12qih3 3qih3

= O(hk-2) + O(hk) + O(hk-2) + O(hk) = O(hk-2),

откуда

f\\ = O(hk-2) (78)

для четного k.

Из (77), (78) следует, что при m ^ 3 задачи Lim-1 и Lhm имеют одинаковый порядок аппроксимации. Отметим, что, как показано в [12, 18], для ОДУ2 и систем ОДУ2 с граничными условиями первого рода ситуация оказалась противоположной — задачи Lim и Lim+1 имели одинаковый порядок аппроксимации при m ^ 1.

Вычислим оценки невязок (67) задачи (60). Для матрицы Ck2 на основании оценок (68) и очевидных равенств

cj _ Mj2 . _

СИ = Mk2, j = 1, <2, 3 4

c15 M15

имеем

ck2 m42 , Л

* Mj, j = 1, 2, 3, 4. (79)

ck2 M1452

Вычислим оценки MfJ, j = 1, 2,..., 5. Пренебрегая старшими степенями, найдем

h7 h7 h7 Mfi = (6s2 + r2h - P2h2)— * (6s2 + r2h)— * s2Y, (80)

h6 h6

M1422 * -(-3s2 - 88r2h)-9 * s2-3-, (81)

h6 11h6

M432 * (-11s2 - 12г2—)— * —s2 4 , (82)

M142 * -(-7s2 + r2h)h6 * s2^, M42 = q2^. (83)

6 6 3

С учетом (79)—(83) вычислим оценку первой компоненты в (67):

ck2 nk-1 I ck2 nk + ck2 nk + ck2 nk

Xgk2 = _ c11 n0 + c12 n1 + c13 n3 + c14 n4 ^

"hc nk2 *

+ 4Як - 33Як + 14Дк)

136052^°

= 0(Лк—2) + 0(Лк—2) + 0(Лк—2) + 0(Лк—2) = 0(Лк—2). (84) Для матрицы ^к2 на основании оценок (68) и очевидных равенств

_ Мк2

1 — му

—_^ 1 — 1 2 3 4

^2 — мк2' 1 — 12'3'4

имеем

"У м42 , л

-у ~ —£, 1 — 1, 2, 3, 4. (85)

42 м452, 1 , , , ()

Вычислим оценки М4?, 1 — 1, 2,..., 5. Пренебрегая старшими степенями, найдем

Л7 Л7 Л7

М42 — (652 + Г2Л - Р2Л2)Т2 - (652 + Г2Л)— - «2у, (86)

М42 - (во + 3гол)352л4 - 38082Л4, (87)

М42 - (350 + 4гОл)2§2^4 - 68О52^4, (88)

Л7

М1442 - -(80 - гОл)282л4 - -2S0S2.fr4, М452 — йО92(89)

3

С учетом (85)—(89) вычислим оценку второй компоненты в (67):

г]к2{ „ т? к—3 л к—2\ | лк2 ту к I л к2 о к I л к2 о к

г к2 _ "11 Ио^о - Г0Яо "12+ "13Я3 + "14Я4

Ы — "к2

382(8оЛ3Ек—3 - Г0.3^к—2 + 680Як + 12зоДк - 4зойк) _

28о52.3

— 0(Лк—2) + 0(Лк —1) + 0(Л к—2) + 0(Лк—2) + 0(Л к—2) — 0(Лк—2). (90) Из (63), (67), (84), (90) следует оценка

— 0(Л к—2) (91)

для задачи (60).

Подстановка (77) или (78), (91) в (64) дает порядок аппроксимации задачи (52), (60) меньшим на две единицы степени используемого многочлена Тейлора к независимо от ее четности. Объяснением этого является то, что для пар индексов (1,1), (1, 4) и (1, 2), (1, 3) в оценках (80)-(84) соответственно и в оценках (86)-(89) отсутствуют какие-либо закономерности на модули слагаемых, тогда как имеющаяся закономерность для перечисленных пар индексов (первые слагаемые различаются лишь знаками, вторые совпадают) в оценках (70)-(73) привела к зависимости порядка аппроксимации от четности используемого многочлена Тейлора к при исследовании задачи (52). Отметим, что при использовании четырехточечного шаблона отсутствие каких-либо закономерностей в оценках (38)-(40) и в оценках (41)-(43) для перечисленных пар индексов привело к порядку аппроксимации задачи, меньшему

на две единицы степени используемого многочлена Тейлора к независимо от ее четности.

6. Оценка погрешностей. При выполнении численного эксперимента использованы следующие нормы:

- в качестве суммарной оценки относительной погрешности

к ^ ЕП—11 (X - [Хг])2 = П 1,-г^ ' 100 %. (92)

Оценку можно трактовать как некий аналог коэффициента вариации в статистике, который характеризует меру разброса в процентах [16];

- в качестве оценки абсолютной погрешности [5,6]

EX = max|x - [ж,]|, i = 1, 2,...,n - 1. (93)

В качестве примера рассматривалось ОДУ3

(sin t + x)xw + 3(cos t + 1)ж" - 3 sin t ■ ж' - cos t ■ ж = sin t, t G [7,11] (94)

с граничными условиями

ж(7) — 8.5211, ж'(7) — 0.2236, х(11) — 14.5995. (95)

Общее решение ОДУ3 (94) заимствовано из [17].

В расчетах принято, что п — 20, Л — 0.20. Результаты численного эксперимента для краевой задачи (94), (95) приведены в табл. 1-3.

В табл. 1 приведены результаты, когда при построении СЛАУ был использован смешанный вариант ПП; в табл. 2 — результаты, когда были использованы только левые шаблоны. Как видно, результаты, представленные в табл. 1, 2, сравнимы между собой, что подтверждает теоретический вывод о том, что выбор того или иного четырехточечного шаблона не оказывает влияния на порядок аппроксимации.

В табл. 1 нормы ^к, Ек для производных ж'(£) характеризуют оценки относительной и абсолютной погрешностей, вычисленных по формулам (92), (93), в которых значения функций заменены на значения своих первых производных, найденных по формулам (21), (22) при I — 2 во внутренних узлах области интегрирования.

Результаты численного эксперимента при использовании пятиточечного шаблона для краевой задачи (94), (95) приведены в табл. 3.

В табл. 3 нормы ^к, Ек для производных ж'(£) характеризуют оценки относительной и абсолютной погрешностей, вычислены по формулам (92), (93). В них значения функций заменены на значения своих первых производных, найденных по формулам (49), в которых г — 2, 3,..., п - 2.

Анализ таблиц свидетельствует, что для рассматриваемой задачи для четырехточечного и пятиточечного шаблонов с увеличением степени к используемого многочлена Тейлора относительная и абсолютная погрешности уменьшаются, как это имело место при исследовании краевых задач для ОДУ2 [1, 12, 13] и систем ОДУ2 [18].

Таблица 1

Значения погрешностей для решения краевой задачи (94), (95) при использовании смешанного варианта процедур построения СЛАУ [Error estimation in the numerical solution of the boundary value problem (94), (95) when a mixed version of the template for

the four-point difference scheme was used]

к 3 4 5 6 7 8 9 10

для решения (for the solution)

Dl % 1.02 • 1СГ1 5.63- 10~3 1.30- 10~3 8.92 • 10~5 1.06 • 10~5 6.29 • 10-7 6.36 • 10~8 4.35 • 10~9

rpk 7.88- 1СГ2 5.55 • 10~3 1.08- 10~3 7.49 • 10~5 9.96 • 10~6 6.05 • 10"' 6.96 • 10~8 4.75 • 10~9

для первой производной решения (for the first derivative of the solution)

6.51 • 1СГ1 6.05 • 10~2 9.41 • 10~3 7.40- 10~4 9.53- 10~5 7.07- 10~6 8.51 • 10-7 7.51 • 10~8

Ekx, 7.89 • 1СГ2 1.17- 10~2 1.33- 10~3 9.72 • 10~5 1.43- 10~5 1.07- 10~6 1.12 • 10"' 1.17- 10~8

и 03 £ Таблица 2

Л ч Ен О Значения погрешностей для решения краевой задачи (94), (95) при использовании левых шаблонов в процедурах построения СЛАУ [Error estimation in the numerical solution of the boundary value problem (94), (95) when a left version of the template for the four-point difference scheme was used]

cq к 3 4 5 6 7 8 9 10

Dl % 1.10 • 10"1 4.65 • 10~3 1.05 • 10~3 1.04 • 10~4 9.51 • 10~6 6.51 • 10-7 6.03 • 10~8 4.38 • 10~9

« rpk »1 8.28 • 10~2 4.75 • 10~3 9.15 • 10~4 8.54 • 10~5 9.07 • 10~6 6.25 • 10"' 6.75 • 10~8 4.84 • 10~9

M оз Таблица 3

M оз s Значения погрешностей для решения краевой задачи (94), (95) при использовании пятиточечного шаблона [Error estimation in the numerical solution of the boundary value problem (94), (95) when the five-point difference scheme was used]

к 1 4 1 5 1 6 7 | 8 | 9 | 10

для решения (for the solution)

Dl % rpk 5.02 • 10~3 5.06 • 10~3 6.56 • 10~3 5.19 • 10~3 9.44- 10~5 7.85 • 10~5 2.13- 10~5 2.03- 10~5 6.34 • 10-7 6.21 • 10-7 1.72 • 10-7 1.87 • 10-7 7.16 • 10~9 6.12 • 10~9

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

для первой производной решения (for the first derivative of the solution)

% Ekx, 4.43 • 10~2 5.98 • 10~3 4.34- 10~2 4.72 • 10~3 7.48- 10~4 9.70- 10~5 2.51 • 10~4 3.88- 10~5 6.94 • 10~6 1.07 • 10~6 1.76 • 10~6 2.90 • 10-7 5.04 • 10~8 7.43 • 10~9

k is the degree of the Taylor polynomial (Pk) used for the approximation

oo

Выводы. Сформулируем основные выводы по работе.

1. При использовании четырехточечного шаблона теоретически выявлены закономерности между порядком аппроксимации матричного метода и степенью используемого многочлена Тейлора при численном интегрировании краевых задач для линейных неоднородных ОДУ третьего порядка. Установлено, что порядок аппроксимации пропорционален степени используемого многочлена Тейлора и меньше нее на две единицы.

2. Теоретический вывод о том, что выбор того или иного четырехточечного шаблона не оказывает влияния на порядок аппроксимации, подтвержден численным экспериментом.

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

4. При использовании пятиточечного шаблона система разностных уравнений разбита на две подсистемы (подзадачи): в первую подсистему вошли два уравнения, первое из которых содержит заданное значение производной в граничных условиях задачи, второе — вычисленное из фиктивного граничного условия значение; во вторую подсистему вошли оставшиеся разностные уравнения построенной замкнутой системы. Вычислена невязка и дана оценка порядка аппроксимации метода в зависимости от выбранной степени многочлена Тейлора. Теоретически выявлены закономерности между порядком аппроксимации матричного метода и степенью используемого многочлена Тейлора. Установлено следующее:

а) порядок аппроксимации первой подсистемы, второй подсистемы при четном значении степени используемого многочлена Тейлора и всей задачи пропорционален этой степени и меньше нее на две единицы;

б) порядок аппроксимации второй подсистемы при нечетном значении степени используемого многочлена Тейлора пропорционален этой степени и меньше нее на единицу.

Конкурирующие интересы. Заявляем, что в отношении авторства и публикации этой статьи конфликта интересов не имеем.

Авторский вклад и ответственность. Все авторы принимали участие в разработке концепции статьи и в написании рукописи. Авторы несут полную ответственность за предоставление окончательной рукописи в печать. Окончательная версия рукописи была одобрена всеми авторами.

Финансирование. Исследование выполнялось без финансирования.

Библиографический список

1. Радченко В. П., Усов А. А. Модификация сеточных методов решения линейных дифференциальных уравнений с переменными коэффициентами на основе тейлоровских разложений// Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2008. №2(17). С. 60-65. doi: 10.14498/vsgtu646.

2. Keller H. B. Accurate Difference Methods for Nonlinear Two-point Boundary Value Problems// SIAM J. Numer. Anal., 1974. vol.11, no. 2. pp. 305-320. doi: 10.1137/0711028.

3. Lentini M., Pereyra V. A Variable Order Finite Difference Method for Nonlinear Multipoint

Boundary Value Problems// Math. Comp., 1974. vol.28, no. 128. pp. 981-1003. doi: 10. 1090/s0025-5718-1974-0386281-4.

4. Keller H. B. Numerical Solution of Boundary Value Problems for Ordinary Differential equations: Survey and Some Resent Results on Difference Methods / Numerical Solutions of Boundary Value Problems for Ordinary Differential Equations: Part I: Survey Lectures; ed. A. K. Aziz. New York: Academic Press, 1975. pp. 27-88. doi: 10.1016/ b978-0-12-068660-5.50007-7.

5. Годунов С. К., Рябенький В. С. Разностные схемы. Введение в теорию. М.: Наука, 1977. 439 с.

6. Формалеев В. Ф., Ревизников Д. Л. Численные методы. М.: Физматлит, 2004. 400 с.

7. Самарский А. А. Теория разностных схем. М.: Наука, 1977. 656 с.

8. Самарский А. А., Гулин А. В. Численные методы. М.: Наука, 1973. 432 с.

9. Самарский А. А., Гулин А. В. Устойчивость 'разностных схем. М.: Наука, 1973. 416 с.

10. Boutayeb A., Chetouani A. Global Extrapolations Of Numerical Methods For Solving A Parabolic Problem With Non Local Boundary Conditions // International Journal of Computer Mathematics, 2003. vol.80, no. 6. pp. 789-797. doi: 10.1080/0020716021000039209.

11. Boutayeb A., Chetouani A. A Numerical Comparison of Different Methods Applied to the Solution of Problems with Non Local Boundary Conditions // Applied Mathematical Sciences, 2007. vol.1, no. 44. pp. 2173-2185, http://www.m-hikari.com/ams/ ams-password-2007/ams-password41-44-2007/boutayebAMS41-44-2007.pdf.

12. Маклаков В. Н. Оценка порядка аппроксимации матричного метода численного интегрирования краевых задач для линейных неоднородных обыкновенных дифференциальных уравнений второго порядка // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2014. №3(36). С. 143-160. doi: 10.14498/vsgtu1364.

13. Маклаков В. Н. Сходимость матричного метода численного интегрирования краевых задач для линейных неоднородных обыкновенных дифференциальных уравнений второго порядка с переменными коэффициентами // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2015. Т. 19, №3. С. 559-577. doi: 10.14498/vsgtu1426.

14. Фихтенгольц Г. М. Курс дифференциального и интегрального исчисления. Т. 1. М.: Наука, 1970. 608 с.

15. Курош А. Г. Курс высшей алгебры. М.: Наука, 1971. 431 с.

16. Закс Л. Статистическое оценивание. М.: Статистика, 1976. 598 с.

17. Камке Э. Справочник по обыкновенным дифференциальным уравнениям. М.: Наука, 1976. 576 с.

18. Маклаков В. Н. Оценка порядка аппроксимации матричного метода численного интегрирования краевых задач для систем линейных неоднородных обыкновенных дифференциальных уравнений второго порядка с переменными коэффициентами. Сообщение 1. Краевые задачи с граничными условиями первого рода // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2016. Т. 20, №3. С. 389-409. doi: 10.14498/vsgtu1511.

Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki

[J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 1, pp. 153-183

d http://doi.org/10.14498/vsgtu1565

ISSN: 2310-7081 (online), 1991-8615 (print)

MSC: 34B99

Numerical integration by the matrix method of boundary value problems for linear inhomogeneous ordinary differential equations of the third order with variable coefficients

V. N. Maklakov, Ya. G. Stelmakh

Samara State Technical University,

244, Molodogvardeyskaya st., Samara, 443100, Russian Federation.

Abstract

The use of the Taylor polynomial of the second degree when approximating the derivatives by finite differences leads to the second order of approximation of the traditional method of nets in the numerical integration of second-order ordinary differential equations with variable coefficients. In the study of boundary-value problems for the third-order ordinary differential equations with variable coefficients, we offer the previously proposed method of numerical integration, using the means of the matrix calculus, in which approximation of the derivatives by finite differences was not used. According to this method, in the construction of a system of difference equations, an arbitrary power of the Taylor polynomial in the expansion of the desired solution of the problem in a Taylor series can be chosen. The disparity is calculated and an estimate of the order of approximation of the method is given depending on the chosen degree of the Taylor polynomial using the four-point pattern. The regularities between the order of approximation of the matrix method and the degree of the used Taylor polynomial are theoretically revealed. We found out that the order of approximation is proportional to the degree of the used Taylor polynomial and less by two than it.

We propose a procedure for constructing a fictitious boundary condition that allows us to construct a closed system of difference equations for the matrix method of numerical integration. The system of difference equations is divided into two subsystems: the first subsystem consists of two equations, the first of which contains the given value of the derivative in the boundary conditions of the problem, the second one contains the value calculated

Research Article

Q ©® The content is published under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/) Please cite this article in press as:

Maklakov V. N., Stelmakh Ya. G. Numerical integration by the matrix method of boundary value problems for linear inhomogeneous ordinary differential equations of the third order with variable coefficients, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2018, vol. 22, no. 1, pp. 153-183. doi: 10.14498/vsgtu1565 (In Russian). Authors' Details:

Vladimir N. Maklakov http://orcid.org/0000- 0003-1644- 7424

Cand. Phys. & Math. Sci.; Associate Professor; Dept. of Hight Mathematics & Applied

Computer Science; e-mail: [email protected]

Yanina G. Stelmakh © http://orcid.org/0000-0002-3266-3111

Cand. Educat. Sci.; Associate Professor; Dept. of Hight Mathematics & Applied Computer Science; e-mail: [email protected]

from the fictitious boundary condition; the second subsystem consists of the remaining difference equations of the constructed closed system.

The disparity is calculated and an estimate of the order of approximation of the method is given depending on the chosen degree of the Taylor polynomial using the five-point pattern. The regularities between the order of approximation of the matrix method and the degree of the used Taylor polynomial are theoretically revealed. The following is revealed:

a) the order of approximation of the first subsystem, the second subsystem with an even value of the degree of the Taylor polynomial and the whole problem is proportional to this degree and less than it by two;

b) the order of approximation of the second subsystem with an odd value of the degree of the Taylor polynomial is proportional to this degree and less than it by one.

Keywords: ordinary differential equations, boundary value problems, approximation order, numerical methods, Taylor polynomials.

Received: 16th October, 2017 / Revised: 3rd February, 2018 / Accepted: 12th March, 2018 / First online: 31st March, 2018

Competing interests. We declare that we have no conflicts of interests with the authorship and publication of this article.

Authors' contributions and responsibilities. Each author has participated in the article concept development and in the manuscript writing. The authors are absolutely responsible for submitting the final manuscript in print. Each author has approved the final version of manuscript.

Funding. The research has not had any funding. References

1. Radchenko V. P., Usov A. A. Modified grid method for solving linear differential equation equipped with variable coefficients based on Taylor series, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2008, no. 2(17), pp. 60-65 (In Russian). doi: 10.14498/vsgtu646.

2. Keller H. B. Accurate Difference Methods for Nonlinear Two-point Boundary Value Problems, SIAM J. Numer. Anal., 1974, vol. 11, no. 2, pp. 305-320. doi: 10.1137/0711028.

3. Lentini M., Pereyra V. A Variable Order Finite Difference Method for Nonlinear Multipoint Boundary Value Problems, Math. Comp., 1974, vol. 28, no. 128, pp. 981-1003. doi: 10.1090/ s0025-5718-1974-0386281-4.

4. Keller H. B. Numerical Solution of Boundary Value Problems for Ordinary Differential equations: Survey and Some Resent Results on Difference Methods, In: Numerical Solutions of Boundary Value Problems for Ordinary Differential Equations, Part I: Survey Lectures; ed. A. K. Aziz. New York, Academic Press, 1975, pp. 27-88. doi: 10.1016/ b978-0-12-068660-5.50007-7.

5. Godunov S. K., Ryabenki V. S. Theory of Difference Schemes: An Introduction. New York, Wiley, 1964, xii+289 pp.

6. Formaleev V. F., Reviznikov D. L. Chislennye metody [Numerical Methods]. Moscow, Fiz-matlit, 2004, 400 pp. (In Russian)

7. Samarskii A. A. Teoriia raznostnykh skhem [The Theory of Difference Schemes]. Moscow, Nauka, 1977, 656 pp. (In Russian)

8. Samarskii A. A., Gulin A. V. Chislennye metody [Numerical methods]. Moscow, Nauka, 1973, 432 pp. (In Russian)

9. Samarskii A. A., Gulin A. V. Ustoichivost' raznostnykh skhem [The stability of difference schemes]. Moscow, Nauka, 1973, 416 pp. (In Russian)

10. Boutayeb A., Chetouani A. Global Extrapolations Of Numerical Methods For Solving A Parabolic Problem With Non Local Boundary Conditions, International Journal of Computer Mathematics, 2003, vol.80, no. 6, pp. 789-797. doi: 10.1080/0020716021000039209.

11. Boutayeb A., Chetouani A. A Numerical Comparison of Different Methods Applied to the Solution of Problems with Non Local Boundary Conditions, Applied Mathematical Sciences, 2007, vol.1, no.44, pp. 2173-2185, http://www.m-hikari.com/ams/ams-password-2007/ ams-password41-44-2007/boutayebAMS41-44-2007.pdf.

12. Maklakov V. N. Estimation of the Order of the Matrix Method Approximation of Numerical Integration of Boundary-Value Problems for Inhomogeneous Linear Ordinary Differential Equations of the Second Order, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], no. 3(36), pp. 143-160 (In Russian). doi:10.14498/vsgtu1364.

13. Maklakov V. N. Convergence of the matrix method of numerical integration of the boundary value problems for linear nonhomogeneous ordinary differential second order equations with variable coefficients, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2015, vol.19, no. 3, pp. 559-577 (In Russian). doi:10.14498/vsgtu1426.

14. Fichtenholz G. M. Differential- und Integralrechnung. I [Differential and integral calculus. I], Hochschulbücher für Mathematik [University Books for Mathematics], vol. 61. Berlin, VEB Deutscher Verlag der Wissenschaften, 1986, xiv+572 pp. (In German)

15. Kurosh A. Higher algebra. Moscow, Mir Publ., 1972, 428 pp.

16. Zaks L. Statisticheskoe otsenivanie [Statistical estimation]. Moscow, Statistika, 1976, 598 pp. (In Russian)

17. Kamke E. Spravochnik po obyknovennym differentsial'nym uravneniiam [Manual of ordinary differential equations]. Moscow, Nauka, 1976, 576 pp. (In Russian)

18. Maklakov V. N. The evaluation of the order of approximation of the matrix method for numerical integration of the boundary value problems for systems of linear non-homogeneous ordinary differential equations of the second order with variable coefficients. Message 1. Boundary value problems with boundary conditions of the first kind, Vestn. Samar. Gos. Tekhn. Univ., Ser. Fiz.-Mat. Nauki [J. Samara State Tech. Univ., Ser. Phys. Math. Sci.], 2016, vol.20, no. 3, pp. 389-409 (In Russian). doi: 10.14498/vsgtu1511.

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