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

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

CC BY
165
34
i Надоели баннеры? Вы всегда можете отключить рекламу.
Ключевые слова
НЕЛИНЕЙНОЕ ДИФФЕРЕНЦИАЛЬНОЕ УРАВНЕНИЕ / NONLINEAR DIFFERENTIAL EQUATION / ТЕОРЕМА СУЩЕСТВОВАНИЯ / EXISTENCE THEOREM / АНАЛИТИЧЕСКОЕ ПРИБЛИЖЕННОЕ РЕШЕНИЕ / ANALYTICAL APPROXIMATE SOLUTION / ПОДВИЖНАЯ ОСОБАЯ ТОЧКА / MOVABLE SINGULAR POINT / АПОСТЕРИОРНАЯ ОЦЕНКА ПОГРЕШНОСТИ / A POSTERIORI ERROR ESTIMATION

Аннотация научной статьи по математике, автор научной работы — Орлов В.Н., Ковальчук О.А., Линник Е.П., Линник И.И.

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

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

Похожие темы научных работ по математике , автор научной работы — Орлов В.Н., Ковальчук О.А., Линник Е.П., Линник И.И.

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

Research into a Class of Third-Order Nonlinear Differential Equations in the Domain of Analyticity

We consider the class of ordinary third-order nonlinear differential equations with a polynomial right-hand side of the second degree, which has movable singular points of algebraic type and is in general unsolvable in quadratures. The existing classical theory, in particular the Cauchy theorem of the existence of a solution to a differential equation, in this case is practically inapplicable. To solve this category of equations, one of the authors has developed an analytical approximate method consisting of six mathematical problems. The paper presents a study of the analytical approximate solution in the domain of analyticity, including the solution existence theorem proof, the making of an analytical approximate solution, and the investigation of the effect of initial data perturbation on the analytical approximate solution. The existence theorem proof is based on the majorant method in a new version, which makes it possible to carry out the planned investigations. A computational experiment with the use of a posteriori error estimation is presented, which makes it possible to significantly improve the a priori error estimation obtained

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

УДК 517.928.4

DOI: 10.18698/1812-3368-2018-4-24-35

ИССЛЕДОВАНИЕ ОДНОГО КЛАССА НЕЛИНЕЙНОГО ДИФФЕРЕНЦИАЛЬНОГО УРАВНЕНИЯ ТРЕТЬЕГО ПОРЯДКА В ОБЛАСТИ АНАЛИТИЧНОСТИ

В.Н. Орлов1 orlowvn@rambler.ru

О.А. Ковальчук1

Е.П. Линник2 aplinnik@mail.ru

И.И. Линник2

1 Национальный исследовательский Московский государственный строительный университет, Москва, Российская Федерация

2 Крымский федеральный университет им. В.И. Вернадского, Республика Крым, Российская Федерация

Аннотация

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

Ключевые слова

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

Поступила в редакцию 28.09.2017 © МГТУ им. Н.Э. Баумана, 2018

Введение. Один из важных аспектов дифференциальных уравнений — математическая модель различных процессов и явлений в теории оптимального управления [1, 2], теории эволюционных процессов [3], нелинейной оптики [4], теории упругости [5], нелинейной диффузии [6], оптимизации стержня реактора [7], нелинейной волновой теории [8], жизнестойкости зданий и сооружений [9, 10]. Если для линейных дифференциальных уравнений математическая теория разработана в достаточно полном объеме, то для нелинейных дифференци-

альных уравнений требуется развитие математической теории. Наибольший интерес представляют нелинейные дифференциальные уравнения с подвижными особыми точками, которые относятся к классу не разрешимых в общем случае в квадратурах. Согласно перечисленным выше работам, эти уравнения имеют практическое приложение в различных областях. Следует отметить несколько работ, посвященных разработке аналитического приближенного метода решения таких уравнений, позволяющего исследователям строить более сложные и точные математические модели, приводящие к нелинейным дифференциальным уравнениям [11-14].

Материалы и методы решения. С учетом необходимого условия существования подвижной особой точки [16] в работе [17] было доказано ее существование для класса нелинейных дифференциальных уравнений у"' = у 2 + г(х) и построено аналитическое приближенное решение в окрестности подвижной особой точки. В настоящей работе для рассматриваемого класса нелинейных дифференциальных уравнений продолжено исследование решения в области аналитичности, включающее в себя следующие этапы: 1) доказательство теоремы существования решения в области аналитичности; 2) построение аналитического приближенного решения; 3) исследование влияния возмущения начальных данных на аналитическое приближенное решение. Следует отметить, что классическая теорема Коши существования решения дифференциального уравнения в силу специфики доказательства не позволяет провести второй и третий этапы исследования.

Результаты. Рассмотрим нелинейное дифференциальное уравнение

у'" = ao(x) у2 + al (х) у + a2(x).

Как показано в работе [17], с помощью определенной замены переменной уравнение приводится к нормальному виду. Рассмотрим задачу Коши

У' = y2 + r(x); y( xo) = yo, y'(xo) = yi, y"(xo) = y2.

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

1) r(x) е Cх в области | x - xo |< р1, p1 =const;

2) 3Mn : rW(xo)

(1) (2)

и!

< Mn.

Тогда y(x) является аналитической функцией

y(x) = YCn (x - xo)

0

в области | x - xo |< p2, где

1

Ь 3 M +1

(3)

P2 = min p1

; M = max^ |yo |, |y1 |, |y2 |, sup

r (n)(xo)

n!

< В силу условия теоремы имеем

да

г(х) = I Ап (х - Хо)п. (4)

0

Представим у(х) в виде (3) и подставим вместе с (4) в (1):

да да да

х п (п — 1 )(п - 2) Сп (х - ХоГ3= X СП(х - Хо)п +Т.Ап (х - Хо)п,

3 0 0

п

где С*п = ^ Сп-С. Последнее обратится в тождество при условии

,=0

п(п - 1)(п - 2)Сп = Сп-3 + Ап-3, п = 3,4,... (5)

Рекуррентное соотношение (5) позволяет получить выражения для коэффициентов Сп, что можно выполнить на компьютере. На основании полученных выражений строим гипотезу для оценок коэффициентов Сп :

_ (М + 1)п+1 (М + 1)п+1

I С3п | Ь -——-——-— ; | С3п+1 I Ь

3п (3п - 1)(3п - 2) 3п (3п + 1)(3п -1)

(6)

_ (М + 1)п+1

| Сэп+2 | Ь -.

3п (3п + 1)(3п + 2)

Докажем справедливость оценок в случае коэффициентов С3„+3. Из рекуррентного соотношения (5) имеем (3п + 1)(3п + 2)(3п + 3)С3п+3 = С3п + А3п или, с учетом гипотезы (6), —

1 С3п+3 1 ^

(3n + 1)(3n + 2)(3n + 3)

f n (M + 1)п+1~' (M +1)''+1

У-1----1---r + M

= (3n - 3i)(3n - 3i - 1)(3n - 3i - 2) (3i (3i -1)(3i - 2))*

<

(M +1)

J n+2

(3n + 1)(3n + 2)(3n + 3)

где

, [1, % = 0; (3, (3, -1)(3, - 2» = |3% (3|% _ 1)№ _ 2), % = |2...

Аналогичным образом убеждаемся в оценках коэффициентов С3и+1 и С3и+2. Рассмотрим ряд

^ (М +1)"+11 х - хр |3п п=1 3п(3п - 1)(3п - 2)

который на основании достаточного признака сходимости имеет область

| X ~ Хо | < *

3 м+1 '

Следовательно, в силу специфики оценок (6) для коэффициентов Сп в (3), для ряда в выражении (3) получаем область | х-х0 |<р2, где р2 = ш1п(р1. , 1 |. ►

I 3М +1)

Теорема 1 позволяет построить аналитическое приближенное решение

N

Ум (X ) = YCn (x - Хо)",

(7)

а следующая теорема — оценить его погрешность

Аум(x)=| y - ум (x)|=

X Cn (x - Хо)"

N +1

Теорема 2. Пусть выполняются пункты 1 и 2 теоремы 1, тогда для приближенного решения (7) задачи (1), (2) в области | х-х01<р2 для N + 1 = 3п справедлива оценка

N +4

Аум(x) <-

(M +1) 3 | x - x0

IN +1

1

| x ~ xo

| x ~ xo

(1 -(M +1)|x-xо |3)(N +1)^N(N-1) N(N + 2) (N + 2)(N + 3)) для N + 1 = 3n +1 — оценка

N+3

AyN(x) <-

(M +1) 3 | x - x0

IN+1

1

|x-x01 (M +1)|x-x0

(1 -(M +1)|x-xo|3)(N +1) ^N(N-1) N(N + 2Г (N + 2)(N + 3) и для N + 1 = 3n + 2 — оценка

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

N+2

Л , w (M +1) 3 | x - xo|N+1 AyN (x) <-—1-TT-1-X

1

(1 - (M +1)| x - xo |3)(N +1) (M +1)| x - xo | (M +1)| x - xo |2 N (N -1) N (N + 2) (N + 2)(N + 3) Здесь p2, M — величины, взятые из теоремы 1. < По определению

AyN (x )=| у - yN (x )| =

^ Cn (x - xo)n

N +1

или, с учетом специфики коэффициентов Cn в (6), для N + 1 = 3" имеем

AyN (x ) =

да да да

ZC3(n+k)(x - xo)3(n+k) + SC3(n+k)+1(x - xo)3(n+k)+1 + SC3(n+k)+2(x - xo)3(n+k)+2 k=o k=o k=o

< » (M + 1)n+k+1 | x - X0 |3(n+k)

" k~0 3(n + k)(3(n + k) - 1)(3(n + k) -2)

CO (M + 1)"+k+1| X - x0 |3(n+k)+1 ¿Q(3(n + k) + 1)3(n + k )(3(n + k) -1)

CO (M + 1)"+k+1| X - X0 |3(n+k)+2

¿Q (3(n + k) + 2)(3(n + k) + 1)3(n + k)

N +4

(M +1) 3 | x - x0|N+1 f 1 | x - x01 | x - x0|2

<

(1 -(M +1)| x-x0 |3)(N +1) ^N(N-1) N(N + 2) (N + 2)(N + 3) Аналогичным образом для N + 1 = 3n +1 получаем оценку

N +3

. . w (M +1) 3 | x - x0|N+1 AyN(x) < 1 1 -

(1 -(M +1)|x-x0 |3)(N +1) 1 |x-x01 (M +1)|x-x012

N (N -1) N (N + 2) (N + 2)(N + 3) для N + 1 = 3n + 2 — оценку

AyN(x) <-

N+2

(M + 1)"T| x - x0 |N+1

(1 -(M +1)|x-x0 |3)(N +1) 1 (M +1)|x-xp| (M +1)|x-Xq |2

N (Ы -1) NN + 2) N + 2)(Ы + 3)

Приведенные оценки приближенного решения справедливы в области

II • I 1

I х-х0 |<Р2, где Р2 = min<р1,

3 М +1

Пример 1. Рассмотрим задачу Коши

у'" = У2 + х, у(1) = 0,5, у'(1) = 0,5, у" (1) = 1;

М = 1, р2 ^-^ = 0,7368063.

^2,5

Значения оценки аналитического приближенного решения в случае точных начальных условий приведены ниже, где у8(х) — приближенное значение решения; Ах, А2 — априорная и апостериорная оценки погрешности. Для 8 = 6-10_6 необходима структура аналитического приближенного решения с N = 12. В структуре аналитического приближенного решения сумма с 9-го по 12-е слагаемое не превышает требуемой точности. Следовательно, можно утверждать, что точность полученного приближенного решения у8(х) не превышает 8 = 6-10_6.

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

^ у(хо) у '(*о) у"(*о) У»(х) Д1 А2

1,5 0,5 0,5 1 1,041242 0,000122 0,000006

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

у'" = у2 + г(х); (8)

у(%0) = У0, У '(Х0) = уи у"(х0) = у 2 (9)

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

N

уы (х ) = 2 Си(х - Х0)п, (10)

0

где С п — возмущенные значения коэффициентов. Следующая теорема позволяет получить оценку погрешности аналитического приближенного решения (10). Теорема 3. Пусть

1) выполняются пункты 1 и 2 теоремы 1;

2) АЫ < 1.

Тогда для аналитического приближенного решения (10) задачи (8), (9) в области | Х — Х0 |< Рз справедлива оценка ДуN (х) < Д0 + Д1, где

До ^—,,, , -¡3(1+1х-xo | +1x-xo |2),

AM(M + AM +1) 1 - (M + ДМ +1)| x - Xo|

для N + 1 = 3n верна оценка

N+4

(M +1)~| x - x0|N+1 f 1 | x - x01 | x - x012

Д1 <-

(1 -(M +1)|x-xo|3)(N +1) ^(N- 1)N N(N + 2) (N + 2)(N + 3)) для N+1 = 3n + 1 — оценка

N+3

д < (M +1) 3 | x - xo|N+1 f 1 ^ | x - xo | ^ (M +1)| x - xo

(1 -(M +1)|x-xo|3)(N +1) ^(N- 1)N N(N + 2) (N + 2)(N + 3) и для N + 1 = 3n + 2 — оценка

Д1 <■

N+2

(M +1)~| x - xo |N+1 f 1 (M +1)| x - xo | (M +1)| x - xo

(1 -(M +1)|x-xo|3)(N +1) ^(N- 1)N N(N + 2) (N + 2)(N + 3)

При этом

M = max<j | yo |, | y |, | У21, sup

Г (n)(x o)

n!

AM = max{Ayo,Ay1,Ay2}; p3 = minjpb

1

3 M + AM + 1 ^ По определению

Ayy N ( x ) = | y( x ) - У N ( x ) |<| y( x ) - У ( x ) | + | У (x ) - У N ( x )| =

X Cn (x - xo)nC n (x - xo)n

N

XCn(x - xo)n Cn(x - xq)

<

<2A(Cn | x - xo |n +2 | Cn || x - xo |n = Aq +A1,

N+1

где АСп =| Сп - Сп |. С учетом оценок коэффициентов Сп в (6) получаем гипотезу для оценок АС п:

~ AM(M + AM + 1)n+1 ~ AM(M + AM + 1)n+1

AC3n <-; AC3n+1 <-

3n 3n (3n - 1)(3n - 2) (3n - 1)3n (3n +1)

AM(M + AM + 1)n+1

(11)

AC3n+2 <

3n (3n + 1)(3n + 2)

Покажем справедливость оценки АС 3п. С учетом рекуррентного соотношения (5) имеем

AC3n+3 =| C3n+3 _ C3n+3

1

1

C3n + ^3n C3n ^3n | =

(3n + 1)(3n + 2)(3n + 3)

1 да

(3n + 1)(3n + 2)(3n + 3)

3n—3i +АСГ 3n—3i ) (C3i + АС3 ) —X C 3n—3i C3i

i=0

i=0

<

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

(M + 1)n-i+1 AM(M + AM +1)

i+1

(3n + 1)(3n + 2)(3n + 3) i=0 ^ (3n- 3i)(3n-3i- 1)(3n-3i-2)(3i(3i- 1)(3i-2))*

_AM(M + AM +1 )n~i+1 (M +1 )i+1_

(3n - 3i)(3n - 3i - 1)(3n - 3i - 2)(3i(3i - 1)(3i - 2))*

AM(M + AM + 1)^+1 AM(M + AM + 1)i+1 (3n - 3i)(3n - 3i - 1)(3n - 3i - 2) (3i(3i - 1)(3i - 2))*

AM(M + AM + 1)n+2

<-

(3n + 1)(3n + 2)(3n + 3)'

при этом

, [1, г = 0;

ода,--1)(3г-2)) = {да- 1)(3г-2), г=1.2....

Аналогичным образом убеждаемся в оценках ДС 3и+1 и ДС 3п+2. Следовательно,

да ^

Л0 = 2 п | х ~ х0 =

0

да да да

= 2 ДСзп | X - Х0 |3п +2 А(С3п+1 | X - Х0 |3п+1 +2 А(С3п+2 | X - Х0 |3п+2.

0 0 0

С учетом оценок (11) окончательно для Д0 получаем

ДМ(М + ДМ +1) ,.......

Д0 <-- (1+1 х - х01 +1 х - х012).

1 -(М + ДМ +1)|х-х01 '

Оценка для Дх следует из теоремы 2.

Полученные оценки приближенного решения справедливы в области

|х-х01<р3, где р3 = шт|рь . 1 ). ►

( ЦМ + ДМ + 1)

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

Пример 2. Рассмотрим задачу Коши с возмущенными начальными условиями

у" = у 2(х) + х, у(1,5) = 1,04124, у'(1,5) = 1,75936, /(1,5) = 3,14496;

ДМ = 6-Ш"5, М = 3,14496, р3 =0,652745.

Значения оценки аналитического приближенного решения в случае возмущенных начальных условий приведены ниже, где Дх, Д2 — априорная погрешность, полученная по теореме 3, и апостериорная погрешность. Для 8 = 0,0065 необходима структура аналитического приближенного решения с N = 26. Сумма слагаемых с 9-го по 26-е не превышает требуемой точности. Следовательно, у 8(х) позволяет получать значение приближенного решения с точностью, не превышающей 8 = 0,0065.

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

х у(х1) у '(*) у"(х1) у а(х) Д1 Д2 2,1 1,04124 1,75936 3,14496 3,38789 0,09005 0,0065

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

ЛИТЕРАТУРА

1. Kalman R. Contribution to the theory of optimal control // Boletin de la Sociedad Matematica Mexicana. 1960. Vol. 5. No. 1. P. 102-119.

2. Горин В.А., Конаков А.П., Попов Н.С. Исследование работы дозатора кормов // Механизация и электрификация сельского хозяйства. 1981. № 1. С. 24-26.

3. Airault H. Rational solutions of Painleve equations // Studies in Applied Mathematics. 1979. Vol. 61. Iss. 1. P. 31-53. DOI: 10.1002/sapm197961131

4. Самодуров А.А., Чудновский В.М. Простой способ определения времени задержки сверх-излучательной бозонной лавины // Доклады АН БССР. 1985. Т. 29. № 1. С. 9-10.

5. Hill J.M. Radial deflections of thin precompressed cylindrical rubber bush mountings // International Journal of Solids and Structures. 1977. Vol. 13. Iss. 2. P. 93-104.

DOI: 10.1016/0020-7683(77)90125-1

6. Ockendon J.R. Numerical and analytical solutions of moving boundary problems // Proc. Symp. Moving Boundary Problems. New York, 1978. P. 129-145.

7. Axford R.A. The exact solution of singular arc problems in rector core optimization // Proc. Nuclear Utilities Planning Methods Symp. Tennessee, 1974. P. 1-14.

8. Hill J.M. Abel's differential equation // J. Math. Scientist. 1982. Vol. 7. No. 2. P. 115-125.

9. Kovalchuk O.A. Simulation of the state of the rod elements of the building construction // Procedia Engineering. 2016. Vol. 153. P. 304-309. DOI: 10.1016/j.proeng.2016.08.120

10. Ковальчук О.А. Устойчивость стержневых элементов строительных конструкций // ПГС. 2014. № 11. С. 60-62.

11. Орлов В.Н. Метод приближенного решения первого, второго дифференциальных уравнений Пенлеве и Абеля. М.: МПГУ, 2013. 174 с.

12. Орлов В.Н. Исследование приближенного решения дифференциального уравнения Абеля в окрестности подвижной особой точки // Вестник МГТУ им. Н.Э. Баумана. Сер. Естественные науки. 2009. № 4. С. 23-32.

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

14. Редкозубов С.А., Орлов В.Н. Точные критерии существования подвижной особой точки дифференциального уравнения Абеля // Известия института инженерной физики. 2009. Т. 4. № 14. С. 12-14.

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

16. Орлов В.Н., Гузь М.П. Связь нелинейного дифференциального уравнения с наличием и характером подвижных особых точек // Фундаментальные и прикладные проблемы механики деформируемого твердого тела, математического моделирования и информационных

технологий. Сб. статей по мат. междунар. науч.-практ. конф. Ч. 2. Чебоксары: Чуваш. гос. пед. ун-т им. И.Я. Яковлева, 2013. С. 30-35.

17. Пчелова А.З., Коллэ К.В. Теорема существования решения одного нелинейного дифференциального уравнения третьего порядка с полиномиальной правой частью второй степени в окрестности подвижной особой точки // Мат. Всерос. науч. школы-конф. «Механика предельного состояния и смежные вопросы». Ч. 2. Чебоксары: Чуваш. гос. пед. ун-т им. И.Я. Яковлева, 2015. С. 221-226.

Орлов Виктор Николаевич — д-р физ.-мат. наук, доцент, Национальный исследовательский Московский государственный строительный университет (Российская Федерация, 129337, Москва, Ярославское шоссе, д. 26).

Ковальчук Олег Александрович — канд. техн. наук, доцент, Национальный исследовательский Московский государственный строительный университет (Российская Федерация, 129337, Москва, Ярославское шоссе, д. 26).

Линник Елена Петровна — канд. физ.-мат. наук, доцент, Крымский федеральный университет им. В.И. Вернадского (Российская Федерация, Республика Крым, 295007, Симферополь, пр-т академика Вернадского, д. 4).

Линник Иван Иванович — канд. техн. наук, доцент, Крымский федеральный университет им. В.И. Вернадского (Российская Федерация, Республика Крым, 295007, Симферополь, пр-т академика Вернадского, д. 4).

Просьба ссылаться на эту статью следующим образом:

Орлов В.Н., Ковальчук О.А., Линник Е.П., Линник И.И. Исследование одного класса нелинейного дифференциального уравнения третьего порядка в области аналитичности // Вестник МГТУ им. Н.Э. Баумана. Сер. Естественные науки. 2018. № 4. C. 24-35. DOI: 10.18698/1812-3368-2018-4-24-35

RESEARCH INTO A CLASS OF THIRD-ORDER NONLINEAR DIFFERENTIAL EQUATIONS IN THE DOMAIN OF ANALYTICITY

V.N. Orlov1 orlowvn@rambler.ru

O.A. Kovalchuk1

E.P. Linnik2 aplinnik@mail.ru

I.I. Linnik2

1 Moscow State (National Research) University of Civil Engineering, Moscow, Russian Federation

2 V.I. Vernadsky Crimean Federal University, Simferopol, Republic of Crimea, Russian Federation

Abstract Keywords

We consider the class of ordinary third-order nonlinear Nonlinear differential equation,

differential equations with a polynomial right-hand side of existence theorem, analytical

the second degree, which has movable singular points of approximate solution, movable

algebraic type and is in general unsolvable in quadratures. singular point, a posteriori error

The existing classical theory, in particular the Cauchy theo- estimation rem of the existence of a solution to a differential equation, in

this case is practically inapplicable. To solve this category of equations, one of the authors has developed an analytical approximate method consisting of six mathematical problems. The paper presents a study of the analytical approximate solution in the domain of analyticity, including the solution existence theorem proof, the making of an analytical approximate solution, and the investigation of the effect of initial data perturbation on the analytical approximate solution. The existence theorem proof is based on the majorant method in a new version, which makes it possible to carry out the planned investigations. A computational experiment with the use of a posteriori error estimation is presented, which

makes it possible to significantly improve the a priori error Received 28.09.2017 estimation obtained © BMSTU, 2018

REFERENCES

[1] Kalman R. Contribution to the theory of optimal control. Boletin de la Sociedad Matematica Mexicana, 1960, vol. 5, no. 1, pp. 102-119.

[2] Gorin V.A., Konakov A.P., Popov N.S. Research on work of feed meter. Mekhanizatsiya i elektrifikatsiya sel'skogo khozyaystva, 1981, no. 1, pp. 24-26 (in Russ.).

[3] Airault H. Rational solutions of Painlevé equations. Studies in Applied Mathematics, 1979, vol. 61, iss. 1, pp. 31-53. DOI: 10.1002/sapm197961131

[4] Samodurov A.A., Chudnovskiy V.M. Simple method for determination time delay of superradiant boson avalanche. Doklady AN BSSR, 1985, vol. 29, no. 1, pp. 9-10 (in Russ.).

[5] Hill J.M. Radial deflections of thin precompressed cylindrical rubber bush mountings. International Journal of Solids and Structures, 1977, vol. 13, iss. 2, pp. 93-104.

DOI: 10.1016/0020-7683(77)90125-1

[6] Ockendon J.R. Numerical and analytical solutions of moving boundary problems. Proc. Symp. Moving Boundary Problems. New York, 1978, pp. 129-145.

[7] Axford R.A. The exact solution of singular arc problems in rector core optimization. Proc. Nuclear Utilities Planning Methods Symp. Tennessee, 1974, pp. 1-14.

[8] Hill J.M. Abel's differential equation. J. Math. Scientist., 1982, vol. 7, no. 2, pp. 115-125.

[9] Kovalchuk O.A. Simulation of the state of the rod elements of the building construction. Procedia Engineering, 2016, vol. 153, pp. 304-309. DOI: 10.1016/j.proeng.2016.08.120

[10] Koval'chuk O.A. Stability of rod elements of building structures. PGS [Industrial and Civil Engineering], 2014, no. 11, pp. 60-62 (in Russ.).

[11] Orlov V.N. Metod priblizhennogo resheniya pervogo, vtorogo differentsial'nykh uravneniy Penleve i Abelya [Approximate method for solving first and second Abel and Painlevé differential equations]. Moscow, MPGU Publ., 2013. 174 p.

[12] Orlov V.N. Study of approximate solution of Abel's differential equation in the vicinity of movable singularity. Vestn. Mosk. Gos. Tekh. Univ. im. N.E. Baumana, Estestv. Nauki [Herald of the Bauman Moscow State Tech. Univ., Nat. Sci.], 2009, no. 4, pp. 23-32 (in Russ.).

[13] Orlov V.N. The exact application area borders of Abel differential equation approximate solution in the area of the movable special point approximate meaning. Vestnik Voronezhskogo gos. tekhn. un-ta, 2009, vol. 5, no. 10, pp. 192-195 (in Russ.).

[14] Redkozubov S.A., Orlov V.N. Exact criteria of movable singularity existence for Abel differential equation. Izvestiya instituta inzhenernoy fiziki, 2009, vol. 4, no. 14, pp. 12-14 (in Russ.).

[15] Orlov V.N. Exact boundaries of approximate solution of Abel differential equation in the vicinity of movable singularity approximate value in ramplex domain. Vestnik ChGPU im. I.N. Yakovleva. Ser. Mekhanikapredel'nogo sostoyaniya [Bulletin of the Yakovlev Chuvash State Pedagogical University. Series: Mechanics of Limit State], 2010, no. 2 (8), pp. 399-405 (in Russ.).

[16] Orlov V.N., Guz' M.P. [Relation between nonlinear differential equation and existence and properties of movable singularities]. Fundamental'nye i prikladnye problemy mekhaniki defor-miruemogo tverdogo tela, matematicheskogo modelirovaniya i informatsionnykh tekhnologiy. Sb. statey po mat. mezhdunar. nauch.-prakt. konf. Ch. 2 [Fundamental and applied problems of deformable solid mechanics, mathematical simulation and information technologies. Proc. Int. Sci.-Pract. Conf. P. 2]. Cheboksary, Yakovlev Chuvash State Pedagogical University Publ., 2013. Pp. 30-35 (in Russ.).

[17] Pchelova A.Z., Kolle K.V. [Theorem of the solution existence for one nonlinear differential third order equation with polynomial second order right-hand member in the vicinity of movable singularity]. Mat. Vseros. nauch. shkoly-konf. "Mekhanika predel'nogo sostoyaniya i smezhnye vo-prosy". Ch. 2 [Proc. Russ. Sci.-Pract. School-Conf. ''Limit-state mechanics and related issues'']. Cheboksary, Yakovlev Chuvash State Pedagogical University Publ., 2015. Pp. 221-226 (in Russ.).

Orlov V.N. — Dr. Sc. (Phys.-Math.), Assoc. Professor, Moscow State (National Research) University of Civil Engineering (Yaroslavskoe shosse 26, Moscow, 129337 Russian Federation).

Kovalchuk O.A. — Cand. Sc. (Eng.), Assoc. Professor, Moscow State (National Research) University of Civil Engineering (Yaroslavskoe shosse 26, Moscow, 129337 Russian Federation).

Linnik E.P. — Cand. Sc. (Eng.), Assoc. Professor, V.I. Vernadsky Crimean Federal University (Academician Vernadskogo prospekt 4, Simferopol, Republic of Crimea, 295007 Russian Federation).

Linnik I.I. — Cand. Sc. (Eng.), Assoc. Professor, V.I. Vernadsky Crimean Federal University (Academician Vernadskogo prospekt 4, Simferopol, Republic of Crimea, 295007 Russian Federation).

Please cite this article in English as:

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

Orlov V.N., Kovalchuk O.A., Linnik E.P., Linnik I.I. Research into a Class of Third-Order Nonlinear Differential Equations in the Domain of Analyticity. Vestn. Mosk. Gos. Tekh. Univ. im. N.E. Baumana, Estestv. Nauki [Herald of the Bauman Moscow State Tech. Univ., Nat. Sci.], 2018, no. 4, pp. 24-35 (in Russ.). DOI: 10.18698/1812-3368-2018-4-24-35

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