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

Вычислительная математика

УДК 517.927:519.624

СПОСОБ РЕШЕНИЯ КРАЕВЫХ ЗАДАЧ С НЕЯВНЫМ ПРИМЕНЕНИЕМ РЯДОВ ТЕЙЛОРА

А. А. Усов

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

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

E-mail: ktmz@samgtu.ru

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

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

В работе [1] предложен неклассический метод численного решения краевых задач, основанный на применении рядов Тейлора со старшими производными, порядок которых выше порядка старшей производной заданного дифференциального уравнения. В работе [2] этот метод был применён к решению краевых задач для уравнения Лапласа, а в [3,4] он развит для решения обыкновенных дифференциальных уравнений, где исследованы вопросы сходимости и устойчивости метода. Данная работа является дальнейшим развитием указанных работ.

Пусть в области D с кусочно-гладкой границей Г задано уравнение

L[u(x,y)\ = q0(x, y)u + qi(x, у)их + q2(x, у)иу + q3(x, у)ихх +

+ qi{x,y)uxy + q5(x,y)uvv = F(x,y), (1)

где L — линейный дифференциальный оператор, и{х, у) — искомая неизвестная функция, qi (г = 0,1,..., 5), F — дифференцируемые необходимое число раз заданные функции. Не касаясь всей широты и строгости задачи, рассмотрим предлагаемый метод на примере краевой задачи для уравнения (1) в частных производных, при этом граничные условия пока формулировать не будем. Выполним дискретизацию области по переменным х и у. Обозначим Ахц. = х* — Xk (*, k = 1, п) и ДyjS = yj — ys (j, s = 1, то) соответственно. Рассмотрим шаблон, представленный на рис. 1.

1°. Разложим в ряд Тейлора функцию и{х,у) в точке (Xi,yj), ограничившись членами со второй производной:

(Axki)2

u^Xi, yj) -|- Ахkitiх, yj) -|- AysjUy, yj) -|- ^ uxx, yj)-|-

(Ays-)2

Axj~iAySjtiXy(х^, yj) -|- — Иуу(х<17 yi) , ys), (2)

Александр Александрович Усов, инженер, каф. высшей математики и прикладной информатики.

(жг+1> У3+2)

• • •

%+і) (ж* ’ %+*) (®і+і ? Уj+1)

• • •

(іі-1 ,%•) (Хі.й) (жі+1,%)

• • •

Рис. 2

где пары индексов (А;, в) в соответствии с шаблоном принимают следующие значе-

(/г,в) = {(*, і + 1), (і + 1, і + 1), (і + І, з), {і, з - 1), (і - 1, і)}. (3)

С учётом изменения индексов соотношение (2) представляет систему пяти уравнений. Запишем (1) в точке (ж*,^):

Чо(Хі, Уо)и{Хі, Уз) + <71 (Хі, Уз)их{Хі, %) + д2(ж*, у^иу{Хг,у^ +

І Яз{Хі - //-у )'М'ХХ і1'/ , Ну ) І VI (-1'/ ■ У] ) "ху і1' / , Ну ,) І V'-' (-1' / , Ну ) Чуу і1' / , Ну ) !*'( -1' / - Ну ) •

Объединяя пять уравнений (2) и (1) и считая значения функции и её производных в точке (хі,Уз) неизвестными, получим систему шести линейных уравнений относительно шести неизвестных. Обозначим через вектор-строку коэффициентов при неизвестной функции и и её производных в разложении (2) (верхний индекс здесь означает максимальный порядок частных производных, используемых в разложении Тейлора):

(2)

РкНз

1 Л л (Д*г’А;г.)“ д д {^Уа^ 1, /лХ^і , Д , , Дж^; Д3

(4)

где индексы к и в принимают значения (3).

Через I обозначим вектор-строку, составленную из функций </т (ж.;,, у^) (т = = 0,1,...,5):

1 = (д о, ®). (5)

Введём в рассмотрение матрицу Ме-е, строками которой являются пять строк (4), а шестая её строка состоит из элементов вектор-строки (5), а также матрицы Хв . 1 и Ве ■ 1 следующим образом:

М,

6 - 6

/ ■■ \

гг і-\-1 її

ю(2)

Рі+ІЗ+ИІ

ю(2)

^*+1 І 'Ю

ю(2)

У і 3-1 із

Рі-ІЗ-Іі]

\ І )

X

( и{хі,Уі) \

их і .!', , у:) )

иу{х-і. Уз ) У‘ХХ(хі , //,)

<!.іу і1'/, Уз )

\ !! уу і1'/ - Уз )/

в

/ «(-г’і,%+і) \ г‘(.г’і+ь%+і) 'и(.г’і+і,%) и(.г’і,%-і) г‘(.г’і-ь%-і)

V Р(х.!„у^ )

Тогда система уравнений (1), (2) может быть записана в матричном виде

М1 = В.

(6)

Если матрица М является невырожденной, т.е. ^ 0, то решение (6) имеет вид

X = М-1В. (7)

Обозначим коэффициенты обратной матрицы М-1 через т~р (а, /3 = 1, 2,..., 6). Тогда первая строка матричного равенства (7) даёт следующее соотношение:

- тпи&,Уз+1) - то^1 и(жт, Уэ+1)~

- т^и{хг+1,у^ - т^и{хг,у^1) - т^и{х^1,у^1) = то^1 Р{хиу^. (8)

Обозначим через N общее количество внутренних узлов области П, ограниченной границей Г, и пусть известно значение функции и{х, у) на этой границе:

и{х,у)\Т = ч>{х,у). (9)

Тогда, записывая соотношение (8) в каждом внутреннем узле дискретизации, получим систему N уравнений относительно стольких же неизвестных искомой функции и = и(х, у) в этих узлах. При этом за счёт неравномерной сетки дискретизации по переменным х и у всегда можно добиться того, что граничные узлы точно будут принадлежать границе Г и значения функции в этих узлах будут определяться равенством (9) (эти члены в соотношениях (8) необходимо перенести в их правую часть).

2°. Увеличить точность численного решения краевой задачи (1), (9) (не изменяя количества узлов сетки) можно увеличением количества членов в разложении Тейлора, учитывая частные производные более высокого (чем второй) порядка. При

этом, если порядок старшей частной производной равен п, то число узлов шаблона

равно 2п + 1. Проиллюстрируем этот вариант на конкретном примере при п = 4. Рассмотрим шаблон из 9 узлов, представленный на рис. 2. Запишем разложение функции и(х,у) в точке (ж*, г/*) до частных производных четвёртого порядка:

(Джь)2

и(^Х^, у у ) -|- Дж^^ж (ж^, у у ) -|- Ау8уги>у {^Х^, у^) -\- — ^хх (ж^ ■? Уз )~Ь

х у (*^г ? Уз) + - 2 иУУ {хиУэ) + ххх (*^г ? Уэ)+

“Ь • • • Н иуууу{ХЪ1 Уз) и(Хк-> Уэ)-) (Ю)

где пары индексов (к, в) в соответствии с шаблоном принимают следующие значения: (к, в) = {(г + + 1), (г + 1,1 - 1), (г + 1, Д (г + 1,1 + 1), {г,з - 1), {г,з + 1),

(* - 1,3 - 1), (* - (* -1,3 + !)}•

Таким образом, (10) представляют из себя 9 уравнений. Примем в качестве неизвестных функцию и{хг,у^ и все её частные производные до четвертого порядка включительно в этой же точке. В итоге число неизвестных равно 15. Присоединим к системе девяти уравнений (10) шесть уравнений, полученных из (1) следующим образом: уравнение (1), а также уравнения, полученные дифференцированием (1) по переменным ж, у, хх, ху и уу, записываются в точке (ж*, г/*):

ЯО {х1,Уз)и{хН,Уг) + <?1 (х{, % )их (ж*, % ) + . . .+

+ <й(ж г,Уу)иуу{хиУу) = Р(хн,уз),

(11)

р0(хн,у^и(хн,у^ + р1(хн,у^их(хн,у^ + . ..+

~\~Ри{Хг-, Уj )иуууу (ж®, Уj ) ^уу (Жг, Уз),

где ра {а = 0,1,..., 14) — функции, зависящие от (/3 = 0,1,... ,5) и их частных производных.

Объединим девять уравнений (10) и 6 уравнений (11) в одну систему и будем её рассмтаривать относительно 15 неизвестных и (ж*, ад) и всех её частных производных в точке (ж*, ад) до четвёртого порядка включительно. Тогда эта система также может быть записана в матричном виде (7), где элементами матрицы М15Х15 являются коэффициенты при функции и и её производных в системе (10), (11), а матрицы Х-15х1 В 15x1 имеют вид

X (ж^, у у ), их (ж*, у у ), Ну (ж*, у у ), ихх (ж*, у у ), (ж^, У у ), ^уу (ж^, У у ),

^ххх (жг ■) Уз) 1 Ги>ХХ у {хг, Уj), мж у у (ж®, Уj ), Мууу(ж*, ад) ? ги>хххх (жг ■) Уз),

ги>ххху (жг ■) У о) 1 Ги>ХХ уу (Жг, У у ) ? ^хууу (жг ■) Уз), иуууу(хг, Уз) в = (м(ж4+2, ад+1), м(ж4+1, ад-1), м(ж*+1, ад), «(ж*+1, ад+О, «(ж*, ад-1),

^(жг, ад+1), ^(жг—1, ад-1), м(ж»_1, ад), м(ж»_1, ад+1), ^(ж<, ад),

Рх (ж®, ад), -Ру (ж*, ад), Рхх (ж*, ад), Рху (ж*, ад), Руу (ж*, ад)

Обозначим коэффициенты обратной матрицы М-1 также через (а, /3 = 1,15). Тогда первая строка матричного равенства (7) даёт следующее соотношение:

^(Жг, Уу) ^(Жг+2? ад+1) ^12 ^(^г+1? Уз — \) • • •

- ш^01м(ж4_1,ад+1) = ш^110^(ж4,ад) - ... - то^^ж;, ад). (12)

Записывая (12) для каждой внутренней точки области дискретизации, получим замкнутую систему уравнений для всех узлов сетки, причём учёт граничных условий осуществляется аналогично рассмотренному случаю разложения Тейлора до производных второго порядка.

Аналогично можно получить расчётную схему для любого порядка п > 4 старшей производной в разложении Тейлора.

3°. Исследуем теперь на конкретных примерах погрешность метода для различных значений порядка п старшей производной в разложении Тейлора. Обозначим через и^п\ж*, ад) численные решения заданной краевой задачи в узле (ж*, ад), а через иа{хг,уг)— аналитическое решение этой же задачи в заданном узле сетки. В качестве оценки погрешности выберем следующую норму:

И

XX.? [и^^Хп^Уу) -Уа(хН,Уу)] X и(иа(х^Уз))2

2л

1/2

(13)

Пример 1. Найти решение уравнения

д2и д2и дх2 ду2

в квадрате 0,3 ^ ж ^ 0,9, 0,3 ^ у ^ 0,9, если м(0,3;у) = 1п(0,09 + у2), и{ж; 0,3) = = 1п(ж2 + 0,09), м(0,9; у) = 1п(0,81 + у2), и{ж; 0,9) = 1п(ж + 0,81).

Аналитическое решение данной задачи имеет вид иа(х,у) = 1п(ж2 + у2). Для численного решения использовалось разложение до п = 4 с одинаковыми шагами к дискретизации по осям ж и у. Расчёты выполнены при трёх значениях шага дискретизации: к = 0,2; к = 0,1; к = 0,05. В результате применения изложенной выше методики получены следующие оценки погрешности (13): при к = 0,2 величина II^11 /1=0,2 = 6,55 • 10~5; при к = 0,1 — ||^||л.=о,1 = 9,1 • 10~7 и при к = 0,05 — ||^||л.=о,05 = = 1,25 • 10~8. Нетрудно получить следующие результаты: ||<5||^.=0,2/1|<^||л.=о,1 ~ 72,

||<5|U=0,i/||<5|U=0,05 ~ 72,8, откуда следует, что при п = 4 погрешность метода имеет порядок о(h6). При использовании классического метода сеток [5] имеем порядок о (h2).

Пример 2. Выполнить оценку погрешности метода для дифференциального уравнения (1) в области D = {(х,у) : 25 ^ х? + у2 ^ 169}, если и(х, у) |ж2+у2_______25 =

= In25, u(x,y)\x2+y2=lm = In 169.

В данном примере было выполнено исследование при двух равных шагах дискретизации по осям Ох и Оу: h = 1 и h = 0,5 и значениях п = 2, п = 4 и п = 6.

При п = 2 получены следующие оценки нормы (13): ||<5||л,= 1 = 1,47 • 10~4, II^11 /1=0,5 = 3,8 • 1(Г5, поэтому ||<5|U=i/||<5|U=o,5 ~ 3,87, откуда имеем погрешность метода близкой к о (К2).

При п = 4 имеем ||<5|U=i = 1,148 • 1СГ5, ||<5|U=0,05 = 8,27 • 1СГ7, ||(5|U=i/||(5|U=o,5 ~ 13,85, откуда погрешность метода в этом случае составляет величину порядка о(h4).

При п = 6 имеем ||<5|U=i = 3,6-1(Г7, ||(5|U=o,5 = 5,28-1(Г9, ||(5|U=i/||(5|U=o,5 = 70,8, откуда погрешность метода о(h6).

Из данного примера следует, что не изменяя числа узлов (h = const), за счёт увеличения порядка разложения Тейлора можно существенно увеличить точность расчётов (до нескольких порядков), в чём можно убедиться, сравнивая величины погрешности ||(5|| во втором примере, например, при h = 0,05 и различных значениях п.

БИБЛИОГРАФИЧЕСКИЙ СПИСОК

1. Усов А. А. Об одном подходе к численному решению краевых задач на основании формулы Тэйлора/ В сб.: Труды восьмой межвузовской конференции. Часть 3: Дифференциальные уравнения и краевые задачи / Матем. моделирование и краев, задачи. Самара: СамГТУ, 1998. С. 99-102. [Usov A. A. On one approach to the numerical solution of boundary value problems on the basis of Taylor’s formula / In: Proceedings of the Eighth Inter-University Conference. Part 3/ Matem. Mod. Kraev. Zadachi. Samara: Samara State Technical Univ., 1998. Pp. 99-102].

2. Усов А. А., Радченко В. 77. Об одном подходе к решению краевых задач для уравнений математической физики с применением разложения Тейлора / В сб.: Труды шестой Всероссийской научной конференции с международным участием (1-4 июня 2009 г.). Часть 1: Математические модели механики, прочности и надёжности элементов конструкций / Матем. моделирование и краев, задачи. Самара: СамГТУ, 2009. С. 271-276.

[ Usov A. A., Radchenko V. P. On one approach to the solution of boundary value problems for equations of mathematical physics with use of Taylor expansions / In: Proceedings of the Sixth All-Russian Scientific Conference with international participation (1-4 June 2009). Part 1 / Matem. Mod. Kraev. Zadachi. Samara: Samara State Technical Univ., 2009. Pp. 271-276].

3. Радченко В. П., Усов А. А., Модификация сеточных методов решения линейных дифференциальных уравнений с переменными коэффициентами на основе тейлоровских разложений // Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2008. №2(17). С. 60-65. [Radchenko V. P., Usov A. A. Modified grid method for solving linear differential equation equipped with variable coefficients based on Taylor series // Vestn. Samar. Cos. Tekhn. Univ. Ser. Fiz.-Mat. Nauki, 2008. no. 2(17). Pp. 60-65].

4. Павлова Г. А., Беляева И. В. Модификация метода сеток с использованием разложений Тейлора// Вестн. Сам. гос. техн. ун-та. Сер. Физ.-мат. науки, 2012. №3(28). С. 152-162. [Pavlova С. A., Belyaeva I. V. Modification of finite differences method with use of Taylor expansions// Vestn. Samar. Cos. Tekhn. Univ. Ser. Fiz.-Mat. Nauki, 2012. no. 3(28). Pp. 152-162].

5. Волков E. А. Численные методы. М.: Лань, 2004. 256 с. [Volkov Е. A. Numerical methods. Moscow: Lan’, 2004. 256 pp.]

Чоступила в редакцию 02/VI/2012; в окончательном варианте — 25/VIII/2012.

MSC: 34B99

BOUNDARY VALUE PROBLEMS SOLVING METHOD WITH THE IMPLICIT USE OF THE TAYLOR EXPANSIONS

A. A. Usov

Samara State Technical University,

244, Molodogvardeyskaya St., Samara, 443100, Russia.

E-mail: ktmzSsamgtu.ru

Grid method for boundary value problems solving for partial differential equations based on high order Taylor expansions is suggested. Comparison of the proposed method with classical grid method is implemented. It is shown that the use of the Taylor expansion with specified partial differential equations allows to reduce the estimated faulty proportion of the numerical solution for a given constant sampling area by increasing the order of the expansion. A number of model boundary value problems is solved, the results of the estimated faulty proportion are given.

Key words: partial differential equations, boundary value problem, Taylor expansion, the grid method, approximation, estimated faulty proportion.

Original article submitted 02/VI/2012; revision submitted 25/VIII/2012.

Alexandr A. Usov, Engineer, Dept, of Higher Mathematics and Applied Computer Science.