Добавил:
Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Дифференциальные уравнения. Устойчивость решений. Элементы теории устойчивости решений. Учебное пособие

.pdf
Скачиваний:
0
Добавлен:
12.08.2026
Размер:
748 Кб
Скачать

№ 3606 М И Н И С Т Е РС Т В О Н АУ К И И В ЫС Ш Е ГО О Б РА З О ВА Н И Я РФ

ФЕДЕРАЛЬНОЕ ГОСУДАРСТВЕННОЕ АВТОНОМНОЕ ОБРАЗОВАТЕЛЬНОЕ УЧРЕЖДЕНИЕ ВЫСШЕГО ОБРАЗОВАНИЯ

«НАЦИОНАЛЬНЫЙ ИССЛЕДОВАТЕЛЬСКИЙ ТЕХНОЛОГИЧЕСКИЙ УНИВЕРСИТЕТ «МИСиС»

ИНСТИТУТ БАЗОВОГО ОБРАЗОВАНИЯ

Кафедра математики

Е.В. Твердохлебова

ДИФФЕРЕНЦИАЛЬНЫЕ УРАВНЕНИЯ. УСТОЙЧИВОСТЬ РЕШЕНИЙ

Элементы теории устойчивости решений

Учебное пособие

Рекомендовано редакционно-издательским советом университета

Москва 2020

УДК 517 Т26

Р е ц е н з е н т д-р физ.-мат. наук, проф. Б.Ф. Мельников

(Российский государственный социальный университет)

Твердохлебова Е.В.

Т26 Дифференциальные уравнения. Устойчивость решений. Элементы теории устойчивости решений: учеб. пособие / Е.В. Твердохлебова. – М. : Изд. Дом НИТУ «МИСиС», 2020. – 96 с.

ISBN 978-5-907226-90-6

В учебном пособии рассмотрено понятие устойчивости по Ляпунову, простейшие типы точек покоя, устойчивость по первому приближению, метод изоклин и функции Ляпунова и Четаева, а также устойчивость линейных систем и уравнений с постоянными коэффициентами. Зависимость решений от параметров и начальных условий рассматривается в объеме дифференцируемой зависимости от параметра и метода малого параметра для уравнений и систем второго порядка. Рассмотрена краевая задача Штурма–Лиувилля и функция Грина.

Учебное пособие содержит необходимые теоретические материалы, решения основных типов задач и задания для самоподготовки по основным разделам курса.

Пособие предназначено для студентов специальностей 01.03.04 (прикладная математика), 09.03.03 (прикладная информатика), 09.03.01 (информатика и вычислительная техника), 09.03.02 (информационные системы и технологии).

УДК 517

 

Е.В. Твердохлебова, 2020

ISBN 978-5-907226-90-6

НИТУ «МИСиС», 2020

ОГЛАВЛЕНИЕ

 

Введение...........................................................................

4

1. Основные понятия и определения......................................

5

1.1. Устойчивость по Ляпунову..........................................

6

1.2. Простейшие типы точек покоя....................................

9

1.3. Устойчивость по первому приближению.....................

15

1.4. Метод изоклин........................................................

28

1.5. Функция Ляпунова и функция Четаева......................

33

1.6. Устойчивость линейных систем и уравнений

 

с постоянными коэффициентами.....................................

42

2. Зависимость решений от параметров

 

и начальных условий........................................................

49

2.1 Дифференцируемая зависимость от параметра..............

49

2.2. Метод малого параметра...........................................

71

3. Граничные (краевые) задачи...........................................

85

3.1. Постановка задачи...................................................

85

3.2. Задача Штурма–Лиувилля.......................................

87

3.3. Функция Грина.......................................................

89

Заключение.....................................................................

94

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

95

3

ВВЕДЕНИЕ

В данном учебном пособии рассматриваются вопросы устойчивости решений дифференциальных уравнений и систем дифференциальных уравнений.

Это пособие предназначено для самостоятельного повторения и усвоения материала, который предлагается на занятиях в аудитории. Изложение материала в данном пособии соответствует последовательности преподавания его в аудитории.

Каждый раздел сопровождается теоретическими сведениями

вобъеме, необходимом для понимания рассматриваемых алгортитмов.

Практических заданий в задачнике больше, чем на занятиях

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

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

1. ОСНОВНЫЕ ПОНЯТИЯ И ОПРЕДЕЛЕНИЯ

Рассмотрим обыкновенное дифференциальное уравнение порядка n, разрешенное относительно старшей производной:

x(n) = f(t, x, x′, x′′, ..., x(n – 1)) = 0,

с неизвестной функцией x(t), где t – время.

Если функция f имеет непрерывные частные производные по всем аргументам, то справедлива теорема существования и единственности решения задачи Коши. При этом решение x(t), удовлетворяющее совокупности условий

x(t0) = x0, x′(t0) = x0,1, , x(n – 1) (t0) = x0, n – 1,

существует и единственно.

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

При этом всякое уравнение n-го порядка может быть приведено к дифференциальному уравнению первого порядка в n-мерном пространстве введением новых функций: y1 = x,

y2 = x′(t), …, yn = x(n – 1)(t). Тогда получим систему:

y1=x′(t);y2=x′′(t);

y3=x′′′(t);

y ′ =f(t, y , y , ,y ).

n 1 2 n

 

y

 

 

 

1

 

 

Введем в рассмотрение вектор

Y = y2

 

и запишем систему

 

 

 

 

уравнений в векторном виде:

 

 

 

y

 

 

n

Y′ = F(t, Y).

F называют векторным полем системы.

5

Получено уравнение первого порядка в n-мерном пространстве. Рассмотрим вопрос об устойчивости решения для уравнений первого порядка.

1.1. Устойчивость по Ляпунову

Рассмотрим дифференциальное уравнение первого порядка в пространстве R1. Пусть решением задачи Коши

y′(x) = F(x, y), y(x0) = y0

является функция y0(x).

Определение устойчивости (по Ляпунову).

Решение y(x) уравнения называется устойчивым при x → ∞, если

ε(δ) >0: y0 (x0 ) −y(x0 ) <δ y0 (x) −y(x) <ε .

Это означает, что все решения y(x), находящиеся в достаточно малой δ-окрестности решения y0(x) при x = x0, не покидают достаточно малую ε-окрестность этого решения при сколь угодно возрастающем x.

Решение y(x) называется асимптотически устойчивым при x → ∞, если

y (x ) −y(x )

 

lim

 

y (x) −y(x)

 

=0 .

 

 

 

0 0

0

 

 

x→∞

 

0

 

 

 

 

 

 

Это означает, что все решения, находящиеся в достаточно малой δ-окрестности решения y0(x) при x = x0, стремятся приблизиться сколь угодно близко к этому решению при бесконечно возрастающем x.

Изучить устойчивость решения задачи Коши, пользуясь

определением.

 

 

 

 

 

 

Пример 1.1.

2(t +2)x′=4x(t +2)ctg

 

2t +

π

x,

x(0) =1.

 

 

 

 

 

 

4

 

 

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

 

1

 

 

 

π

 

 

x′=x

 

4(t +2)ctg

 

2t +

 

−1

,

2(t +2)

 

 

 

 

4

 

 

6

 

 

dx

 

 

 

 

 

 

 

 

р

 

 

 

1

 

 

 

 

 

 

=

 

2ctg

 

2t

+

 

 

 

 

 

 

 

dt ,

 

 

x

 

 

2(t +2)

 

 

 

 

 

 

 

 

 

4

 

 

 

 

 

откуда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x

 

=ln

 

 

2t +

 

р

 

1

 

t +2

 

+lnC ,

 

 

 

 

 

 

 

 

 

 

 

 

ln

 

 

sin

 

 

 

 

 

 

 

ln

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

4

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2t +

 

р

C

 

sin

 

 

 

 

 

 

 

 

x =

 

 

 

 

4

 

,

 

 

 

 

 

 

 

 

 

 

t +

2

 

 

 

 

 

 

 

 

 

Решим задачу Коши:

sin р C x(0) = 4

2

t > −2 .

=1 ,

12 C =1 C =2 ,

 

 

2t +

р

2

 

sin

 

 

 

 

 

 

x (t) =

 

 

 

4

 

.

 

 

 

 

 

 

0

 

 

t +2

 

 

 

 

 

 

 

 

 

Рассмотрим произвольное решение x(t), достаточно близкое к x0(t) в бесконечно малой окрестности точки t = 0, т.е. решение, для которого выполняется:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin

 

 

 

π

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 +

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

x(t) −x (t)

 

 

 

=

 

C −2

 

 

 

 

 

 

 

 

 

 

4

 

=

 

 

C −2

 

<δ ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

t=0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 +2

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пусть t → + ∞.

 

 

 

 

 

 

 

 

 

C −2

 

<2δ.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2t +

р

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

sin

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

lim

 

x(t)

x

 

(t)

 

=

 

C −2

 

lim

 

 

 

 

 

 

 

 

 

 

 

4

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t→∞

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t→∞

 

 

 

 

t +2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

р

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

C −2

limsin 2t +

 

 

 

 

 

 

 

 

 

 

=0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

→∞

 

 

 

 

4

 

 

 

 

t +

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

7

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

Ответ: решение асимптотически устойчиво.

Пример 1.2. 2(3t +1)x′=x, x(1) =2 .

Решение. Найдем общее решение, применив алгоритм интегрирования уравнений с разделяющимися переменными:

 

 

 

 

dx

=

 

 

 

dt

,

 

 

 

 

 

 

 

 

2(3t +1)

 

 

 

 

 

 

x

 

 

 

ln

 

x

 

=

1

ln

 

3t +1

 

+lnC ,

 

 

 

 

 

 

 

 

 

 

 

6

 

 

 

 

 

 

 

 

 

1

.

 

 

 

 

 

 

 

 

 

 

 

 

x(t) =C 6

3t +1, t ≥ −

3

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Задача Коши:

x(1) =C 63 1+1 =C 32 = −2,

C = −

2

,

 

 

3 2

 

 

 

x0 (t) = − 322 63t +1 .

Рассмотрим произвольное решение x(t), достаточно близкое к x0(t) при t = 1:

x(t) −x0 (t)t=1 = C + 322 63 1+1 <δ ,

C +

2

 

<

δ

.

 

 

 

 

 

3 2

3 2

 

 

 

 

 

Пусть t → + ∞:

 

 

 

 

2

 

 

lim

x(t) −x (t)

=

C +

 

lim 6

3t +1

=∞ .

 

 

t→∞

0

 

3 2

 

t→∞

 

 

 

Ответ: решение неустойчиво.

8

Самостоятельно:

 

 

 

 

1)

2tx′=x +4xt ctg2t,

 

π

=1;

x

 

 

 

 

 

 

 

4

 

2)

2x′=

x

−6x tg3t, x(0) =1 ;

 

 

2

 

 

 

 

 

 

2tx′=4xt ctg2t x,

 

р

=1.

3)

x

 

 

 

 

 

 

 

 

4

 

Ответы: 1) неустойчиво; 2) неустойчиво; 3) асимптотически устойчиво.

1.2. Простейшие типы точек покоя

Рассмотрим частный случай системы Y′= F(t, Y), в частности, случай автономной линейной системы в пространстве R2.

Рассмотрим систему двух однородных дифференциальных уравнений с постоянными коэффициентами и невырожденной матрицей коэффициентов:

x

=a11 x +a12y,

 

a a

 

 

 

 

 

 

 

∆ =

11

12

≠0,

aij −const .

 

=a21x +a2ny,

a21

a22

y

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Система с неизвестными функциями x(t) и y(t) называется автономной, так как не содержит явно переменной t.

В матричной форме система имеет вид: Y = A Y ,

x(t)

,

Y

x

(t)

,

a11

a12

 

где Y(t) =

 

(t) =

 

A =

 

.

y(t)

 

 

y(t)

 

a21

a22

Решением системы является пара функций x(t) и y(t), где x(t), y(t) являются производными по времени.

Нулевое решение x = 0, y = 0 удовлетворяет системе дифференциальных уравнений. Рассмотрим расположение траекторий по отношению к нулевой точке.

x(t)

Решение этой системы задает на плоскости кривую,

y(t)

вдоль которой движется точка, занимая в каждый момент вре-

9

мени t

положение (x, y). При этом вектор Y

x

(t)

задает

(t) =

 

 

 

y(t)

 

поле скоростей, причем при каждом значении переменной t

вектор скорости

x

(t)

направлен по касательной к траектории

 

 

 

y(t)

 

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

Точка

x

 

называется стационарной или особой точкой,

0

 

 

y0

 

 

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

В стационарной точке векторного поля должно выполняться:

a

11

x +a

12

y =0;

 

 

 

 

21x +a2ny =0.

a

 

 

 

 

 

При ненулевом определителе матрицы коэффициентов

a11

a12

≠0

a

a

 

21

22

 

эта система имеет единственное нулевое решение x = 0, y = 0. Поэтому речь идет именно о нулевой точке покоя или нулевом равновесии.

Мы рассмотрим поведение множества решений системы однородных линейных дифференциальных уравнений по отношению

кнулевому равновесию.

Вразделе 2.8.3 пособия 3457 было показано, что множество решений системы однородных линейных дифференциальных уравнений имеет вид

x(t)

=C1

α1

 

k t

+C2

α2

 

k t

,

 

 

 

β1

 

e 1

 

β2

 

e 2

y(t)

 

 

 

 

 

 

 

 

 

где k1, k2 – собственные числа матрицы А;

10

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]