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

УДК 517.957

О ГРАНИЦАХ ОБЛАСТИ СУЩЕСТВОВАНИЯ ПРИБЛИЖЕННОГО РЕШЕНИЯ НЕКОТОРОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ В ОКРЕСТНОСТИ ВОЗМУЩЕННОГО ЗНАЧЕНИЯ ПОДВИЖНОЙ ОСОБОЙ ТОЧКИ

ON THE BOUNDS OF APPROXIMATE SOLUTION AREA OF ONE DIFFERENTIAL EQUATION IN THE NEIGHBORHOOD OF APPROXIMATE VALUE OF MOVING SINGULARITY

А. З. Пчелова

A. Z. Pchelova

ФГБОУВПО «Чувашский государственный педагогический университет им. И. Я. Яковлева», г. Чебоксары

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

Abstract. The article considers a first-order nonlinear ordinary differential equation with polynominal right side of the fifth degree which is in general can't be integrated in quadratures, and the solution of which is characterized by moving singularities. The author suggests a new method to estimate the approximate solution of the equation in the neighborhood of approximate value of moving singularity, which results in expanding the area of approximate solution. The obtained results are illustrated by the calculations.

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

Keywords: nonlinear ordinary differential equation, Cauchy problem, moving singularity, moving singularity, perturbation, approximate solution, exact bounds, error estimation, real domain.

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

Материал и методика исследований. Применяется метод построения приближенных решений нелинейных дифференциальных уравнений с подвижными особыми точками, представленный в работах [2], [3], [4], [5], [6], [7], [8], [10], [11], основанный на методах аналитической теории дифференциальных уравнений, вычислительной математики и математического анализа.

Результаты исследований и их обсуждение. Согласно [10] для реализации поставленной задачи требуется решение следующих задач:

1) построение приближенного решения уравнения в области аналитичности;

2) нахождение подвижных особых точек решения уравнения с заданной точностью;

3) построение приближенного решения уравнения в окрестности подвижной особой точки.

В работах [9] и [12] решены первая и третья задачи соответственно для уравнения в нормальной форме

у'(х) = у5(х) + г (х) (1)

с начальным условием

У( хо) = Уo, (2)

к которому приводится с помощью некоторой замены переменных рассматриваемое дифференциальное уравнение

У'(х) = £ /г (х) уг (х).

1=0

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

В работе [12] доказана теорема существования и единственности решения задачи (1)-(2) в виде

ад

у(х) = (х*-х)р XС(х*-х)п/4 , (3)

п=0

где р = —14, С0 Ф 0; получена оценка погрешности приближенного решения

N

Ум(х) =1 Сп(х*— х)(п—1)/4, С0 ф 0, (4)

п=0

а также проведено исследование влияния возмущения подвижной особой точки на приближенное решение (4), в результате чего оно принимает вид

N ~ ~

~м (х) = ЕСп(~*— х)(п—1)/4, С0 Ф 0. (5)

п=0

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

Для дальнейшего изложения нам потребуется следующая теорема из работы [12].

Теорема 1. Пусть функция r(х) задачи (1)-(2) удовлетворяет следующим условиям:

1) r( x) е Cш в области 0 < х* - x < р1, где р1 = const их* - подвижная особая точка решения y(х) рассматриваемой задачи;

I r(n}(х")1

2) 3M1 : -1-<Mj, где Mx = const, n = 0,1, 2,... .

n!

Тогда существует единственное решение задачи Коши (1)-(2) в виде (3), где р = -1/4, C0 Ф 0, правильная часть которого сходится в области 0< х* -х<р3, при

1 | r(n}(х*)| этом р3 = minjpj, р2}, р2 = . - , M = supJ--——, n = 0, 1, 2 ... .

У28(М +1)4 n n!

Теорема 2. Пусть выполняются следующие условия:

1) r(х) е Cш в области |~* - х |< р3, где р3 = const> 0 и ~* - приближенное значение подвижной особой точки решения y(х) задачи Коши (1)-(2);

| r (n)(x *) |

2) 3Mj : J-<Mj, где Mx = const, n = 0,1,2,. .;

n!

3) x* < х*;

4) известна оценка погрешности значения ~* : | х* - ~* | < А ~*;

1

5) Ах < . =,

5/28(M 2 + AM +1)4

где

| r(n}(х*)| M2 = sup | r (х )| , AM =

n n!

sup

| r(n+1)(х)|

А х *, n = 0,1,2,., U = {х: | х* - х | <Ах*}.

xn,u n!

Тогда для приближенного решения (5) задачи (1)-(2) в области

G = Gl о G2 о G3 (6)

справедлива оценка погрешности

A ^ (х) Аг

г =1

где

Ах

А =-

А 2 <

1 4л/2|х1*- х|5/4' Ах * (M2 + AM +1) ^|х2*- х |г/4

1 -4(M2 + AM + 1)|х2*-х|5/4 i=0 9 + г

i*_vl 4 |х * V |г/4

А <_AM |х2 - х |_^^ - х Г

3_1 -4(M2 + AM + 1)|х2*-х |5/4 ¿0 9 + i '

л ^ 2-21 х* -х|^/4 4 (4(M2 + 1))[(^+1+г)/5],х „

А 4 <-!--ттг /—-2-—-| х - х |

4 1 - 4 (M2 + 1)|Г -х|5/4 ,ts N + 5 + i ' '

/4

при этом

G1 = { х: х < }, G2 = < х: \ х2* — х |< —т

I я

= ~ *—д ~ *, ~2* = ~ * + д ~ *, 1

28(М 2 + ДМ + 1)4

|, ^ ={ х: \~* — х |< Рз}.

Доказательство. Оценим

Д (х) = 1 У(х) — (х)| < 1 У(х) — ~(х) 1 + 1 ~(х) — (х) 1 . Фактически нужно оценить | ~(х) — у(х) |, применим другой подход к оценке этого выражения, в отличие от варианта, предложенного в работе [12]. Согласно [1] получаем:

ад ад

I У(х) — ~(х) | = | XС(х* — х)(п—1)/4 — XС(~* — х)(п—1)/4 | <

п=0

п=0

< sup

д ~ (х)

д ~ *

Д~ * + X sup

п= 0 V

д~ (х)

д С

ДС„

где V = {х: |~* — х|< Д~*}.

В силу условия 2 этой теоремы существует такое М2, что

I г(п)(~*)|

М2 = sup-

п!

при этом в соответствии с [1]

ДМ =

( \г(п+1)( х)0 supJ-1

ч п,V п! у

Д ~*, п = 0,1, 2,

(7)

(8)

sup

V

Затем

д~ (х)

д ~ *

Д~ * = sup

V

ад ^ у,_1

X сп— (~ * — х)(п—5)/4

п=0 4

ад \ п —1\ ~

< X —;— sup \ Сп \ sup\ ~* — х\

* |(п—5)/4

п = 0

4

причем

I |(п

8ир \ х — х

—5)/4 ={\~1*— х\(п—5)/4, п = 0,1,2,3,4; ||~2*— х\(п—5)/4, п = 5,6,...

где

8ир

V

д~ (х)

д С

= 8ир\~ * — х\(п—1)/4 =

Г\~* — х\(п—1)/4, п = 0;

1\~2'— х \

(п—1)/4

п = 1, 2, 3,

х1 = х — Д х , х2 = х + Д х . Принимая во внимание (7), (8) и оценки для коэффициентов Сп, полученные в работе [12],

22[п/5]—2

\Сп\<-— (М + 1)[п/5] =^п ,

п + 4

(9)

V

п

V

V

и

и

V

| r(n)(х*)|

здесь M = sup-, а также с учетом того, что для коэффициентов структуры решения

n n!

С(X) =1 сп(Г - х)("-1)/4, С0 * 0,

п = 0

имеем [12]:

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

sup | Cn | <Cn (|A +АА0 |, | A1 +АА11,... ) < Cn (M2 +AM +1) = х.

U

Таким образом,

ад | n - 1| _

| y(х) - х(х) | < Ах" Xх sup| х * - х |(n-5)/4 + X ACn sup | Г - х |(

- х |(n-1)/4

n=0 4 U n=0 U

Поскольку [12]

С0 = С0 = ±1/л/2, С, = С = 0, i = 1,...,4, АС; = 0, у = 0,.,4,

будем иметь

АС* ад ад С

| у (X) - С(X) |< С + ас* I Сп | с; - X |(п-5)/4 +^АСп | С2 - X |(п-1)/4

4д/2 | x1 - X | п=5 п=5

Следовательно, для выражения А уы (X) получаем:

А (x) =1 У( x) - (x)| <

ДС* ад ад ад

' —+ас * I Сп I с; - X |(п-5)/4 +х АСп I с; - X |(п-1)/4 + I | сп 11 с * - X |(п-1

п=Ы+1

- х|5/4 n=5 n=5

4

= X а г.

i=1

Отсюда для Ах следует:

Ах *

А1 =■

-х|5/4'

Переходим к оценке выражения А2. Так как в силу (9)

22[n/5]-2

vn =-(M2 + AM + 1)[n/5],

n + 4

получаем

ад

A 2 = ах" X х | х* - х |(n-5)/4 = ах * X s* | х; - х |5(k-1)/4 +

2

n=5 k=1

ад ад

+ ах" x +11 - х |(5k - 4)/4 + ах" x +21 х* - х |(5k-3)/4 +

k=1 k=1

+ АГ I ~5к+3 I - X |(5к-2)/4 + А~ * I +4 I ~2* - X |(5к-к=1 к=1

2^к-2

= Ах"I --(М2 +АМ + 1)к|~2 -х|5(к-1)/4 +

к=1 5к + 4

ад 2 2к-2

+ АХ *I --(М2 + АМ +1)к I - х |(5к-4)/4 +

к=1 5к + 5

2к-2

+ Ах * I --(М2 +АМ + 1)к | - х|(5к-3)/4 +

к=1 5к + 6

2^2к - 2

+ Ах * I --(М2 +АМ + 1)к|~2 - х|(5к-2)/4 +

к=1 5к + 7

ад 22к-2

+ Ах * I --(М2 +АМ + 1)к|~2 - х|(5к-1)/4 <

к=1

5к + 8"~2 2

Ах" (М2 + АМ +1) ^|х2* - х |г/4

1 - 4(М 2 + АМ + 1)|х2* - х |5/4 9 +1

Теперь оценим выражение А3. Воспользуемся оценками для АСп, полученными в работе [12]:

22[п/5]-2

Итак,

АСп < --АМ(М2 + АМ + 1)[п/5]-1.

п + 4

Аз = I АСп | *2* - х |(п-1)/4 = I АС5к | х2 - х |(5к-1)/4 +^С5к+1 | х2 - х |5к/4 +

п=5 к=1 к=1

ад ад ад

+ ^А^5к+2 | х2 - х|(5к+1)/4 +^А^5к+3 | х2 - х|(5к+2)/4 + 1 АС5к+4 | *2* - х |(5к + ^<

к=1 к=1 к=1

ад 22к-2

< I --АМ (М2 + АМ + 1)к-1 | х; - х |(5к-1)/4 +

к=1 5к + 4

ад 22к-2

+ I --АМ (М2 + АМ + 1)к-1 | х - х |5к/4 +

к=1 5к +5

ад 22к-2

+1 --АМ (М2 + АМ + 1)к-1 15с2* - х |(5к+1)/4 +

к=1 5к +6

ад 22к-2

+1 --АМ (М2 + АМ + 1)к-1 | ж2* - х |(5к+2)/4 +

к=1 5к +7

ад 22к-2

+ I --АМ (М2 + АМ + 1)к-1 15£2Т - х|(5к+3)/4<

к=1 5к + 8

<_АМ |х2" - х |_^х^ - х |г/4

" 1 -4(М2 +АМ + 1)|х2* -х |5/4 Й 9 +1 ' Наконец, согласно результатам работы [12] для выражения А 4 справедлива оценка

2-2|х/4 (4(М2 +1))[("+'+г)/5] . г/4

4 , . ,, , , ~* ,5/4 „ . . •

4 1 - 4 (М2 +1) | ~ - х |5/4 ¡~0 N + 5 + г Заметим, что оценка для Ах справедлива в области G1 = { х: х < X*}, оценки для А

и А3 - в области G2 = I х: | х2* - х |< , 1 == к а оценка для А4 - в области

^28(М 2 + АМ +1)4

G3 ={ х: |~* - х |< р3}, где р3 определяется из теоремы 1. Следовательно, оценка для АyN (х) верна в области (6), что и завершает доказательство теоремы. Замечание. Теорема 2 справедлива в области (6), где

G1 = {х: х>Х*}, х* = ~* + А~*, ~2* = ~*-А~*,

если вместо условия 3 этой теоремы выполняется условие х* > х*.

Пример. Найдем приближенное решение задачи Коши (1)-(2), где

г (х) = 0 и у(1) = 1,

в окрестности приближенного значения подвижной особой точки.

Решение. Задача имеет точное решение у = - 4х . х = 1,25 - точное значение подвижной особой точки (критический полюс); х* = 1,2499 - приближенное значение подвижной особой точки; А~ * = 0,0001; значение х1 = 1,121 попадает в область действия теоремы 2. Рассмотрим случай С0

= 1/72 . Результаты расчетов представлены в табл. 1.

Таблица 1

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

.К ~3( А А' А''

1,121 1,17988 1,18011 0,0002 0,0513 0,0016

Здесь у( хх)- значение точного решения, у3(хх) - значение приближенного решения, А - абсолютная погрешность, А' - априорная погрешность, найденная по теореме 2, А" - апостериорная погрешность.

С помощью теоремы 2 можно решить и обратную задачу теории погрешности -определить значение N по заданной точности приближенного решения £ . Так, для £ = 0,0016 получаем N = 15.

В следующей таблице приведено сравнение результатов, полученных по теореме 2 настоящей работы и по теореме 3 работы [12]. Значение х2 = 1,236 попадает в область действия указанных выше теорем.

Таблица 2

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

х2 .К х2) хз( х2) \У " хз 1 А! А и

1,236 2,05567 2,05936 0,0037 0,0079 0,0073

Здесь у(х2) - значение точного решения, у3(х2) - значение приближенного решения, | у - у31 - абсолютная погрешность, А! - априорная погрешность, найденная по теореме 3 работы [12], Ад - априорная погрешность, найденная по теореме 2 настоящей работы.

Резюме. Предложены исследования, позволяющие значительно расширить область применения приближенного решения (5) задачи Коши (1)-(2) в окрестности приближенного значения подвижной особой точки и получить точные границы этой области. При этом представленные в таблице 2 расчеты подтверждают адекватность результата теоремы 2 этой работы с результатом теоремы 3 в работе [12].

ЛИТЕРАТУРА

1. Бахвалов, Н. С. Численные методы / Н. С. Бахвалов. - М. : Наука, 1975. - 632 с.

2. Орлов, В. Н. Исследование приближенного решения второго уравнения Пенлеве / В. Н. Орлов, Н. А. Лукашевич // Дифференциальные уравнения. - 1989. - Т. 25. - № 10. - С. 1829-1832.

3. Орлов, В. Н. Математическое моделирование решения дифференциального уравнения Абеля в окрестности подвижной особой точки / В. Н. Орлов, С. А. Редкозубов // Известия института инженерной физики. - 2010. - № 4 (18). - С. 2-6.

4. Орлов, В. Н. Метод приближенного решения дифференциального уравнения Риккати / В. Н. Орлов // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. -2008. - № 63. - С. 102-108.

5. Орлов, В. Н. Метод приближенного решения скалярного и матричного дифференциальных уравнений Риккати / В. Н. Орлов. - Чебоксары : Перфектум, 2012. - 112 с.

6. Орлов, В. Н. Об одном конструктивном методе построения первой и второй мероморфных трансцендентных Пенлеве / В. Н. Орлов, В. П. Фильчакова / Симетршт та аналггичт методи в математичнш фiзицi. 1М НАН Украши. - Киев. - 1998. - Т. 19. - С. 155-165.

7. Орлов, В. Н. Об одном методе приближенного решения матричных дифференциальных уравнений Риккати / В. Н. Орлов // Вестник Московского авиационного института. - 2008. - Т. 15. - № 5. - С. 128-135.

8. Орлов, В. Н. О приближенном решении первого уравнения Пенлеве / В. Н. Орлов // Вестник Казанского государственного технического университета им. А. Н. Туполева. - 2008. - № 2. - С. 42-46.

9. Орлов, В. Н. Построение приближенного решения нелинейного дифференциального уравнения в области аналитичности / В. Н. Орлов, А. З. Пчелова // Вестник Чувашского государственного педагогического университета им. И. Я. Яковлева. Серия : Механика предельного состояния. - 2012. - № 4 (14). - С. 113-122.

10. Орлов, В. Н. Точные границы для приближенного решения дифференциального уравнения Абеля в окрестности приближенного значения подвижной особой точки в комплексной области / В. Н. Орлов // Вестник Чувашского государственного педагогического университета им. И. Я. Яковлева. Серия : Механика предельного состояния. - 2010. - № 2 (8). - С. 399-405.

11. Орлов, В. Н. Точные границы области применения приближенного решения дифференциального уравнения Абеля в окрестности приближенного значения подвижной особой точки / В. Н. Орлов // Вестник Воронежского государственного технического университета. - 2009. - Т. 5. - № 10. - С. 192-195.

12. Редкозубов, С. А. Исследование приближенного решения задачи Коши одного нелинейного дифференциального уравнения в окрестности подвижной особой точки / С. А. Редкозубов, В. Н. Орлов, А. З. Пчелова // Известия института инженерной физики. - 2013. - № 2 (28). - С. 3-6.