- •9. Дифференциальные уравнения
- •9.1. Введение
- •9.1.1. Задачи, приводящие к понятию обыкновенного дифференциального уравнения
- •9.1.2. Обыкновенные дифференциальные уравнения первого порядка. Основные понятия
- •9.1.3. Задача Коши. Особые и частные решения
- •9.1.4. Метод изоклин
- •9.2. Уравнения первого порядка, допускающие интегрирование в квадратурах
- •9.2.1. Уравнения с разделяющимися переменными
- •9.2.2. Однородные дифференциальные уравнения
- •9.2.3. Линейные дифференциальные уравнения первого порядка
- •9.2.4. Уравнения в полных дифференциалах
- •9.3. Дифференциальные уравнения высших порядков
- •9.3.1. Основные понятия
- •Определение 3. Уравнение вида
- •9.3.2. Задача Коши для уравнений высших порядков
- •9.3.3. Уравнения, допускающие понижение порядка
- •9.4.1. Линейные однородные уравнения n–ого порядка
- •9.4.2. Линейные неоднородные уравнения n–ого порядка
- •9.4.3. Линейные дифференциальные уравнения n–ого порядка с постоянными коэффициентами
- •9.4.4. Уравнение движения маятника как пример линейного уравнения
- •9.4.5. Метод Лагранжа для линейных неоднородных уравнений
- •9.5. Системы обыкновенных дифференциальных уравнений
- •9.5.1. Матричная запись систем
- •9.5.2. Системы линейных уравнений
решение задачи Коши имеет вид −ctg y = 4x − 4 или
x=1 − ctg4 y .
9.4.Линейные дифференциальные уравнения n–ого
порядка
Определение 1. Линейным дифференциальным уравнением n -ого порядка называется уравнение вида
a0 (x)y(n) + a1 (x)y(n−1) +K+ an (x)y = f (x),
где an (x), an−1 (x),..., a0 (x) и f (x) - непрерывные функции на
промежутке [a,b]; an (x)≠ 0 , x [a,b].
Замечание. Если в рассматриваемой области изменения независимого переменного a0 (x)≠ 0 , то, поделив уравнение на
a0 (x) и обозначив полученные коэффициенты и правую часть вновь a1 (x),K, an (x) , f (x), соответственно будем иметь
y(n) + a1 (x)y(n−1) +K+ an (x)y = f (x).
Таким образом, не умаляя общности можно считать a0 (x)≡1.
Определение 2. Линейное дифференциальное уравнение |
|||||
называется однородным, если |
f (x) ≡ 0 , в противном случае |
||||
неоднородным. |
|
ai (x), (i =1,..., n) |
|
f (x) |
|
Теорема |
1. Если |
функции |
и |
||
непрерывны |
на |
некотором |
множестве X , |
линейное |
дифференциальное уравнение всегда имеет единственное
решение, удовлетворяющее начальным условиям: y(x0 )= y0 , y′(x0 )= y0′,…, y(n−1)(x0 )= y0n−1 .
9.4.1. Линейные однородные уравнения n–ого порядка
Определение 1. Линейным однородным дифференциальным уравнением n - го порядка называется уравнение вида
y(n) + a1 (x)y(n−1) +K+ an (x)y = 0 .
Рассмотрим основные свойства линейных однородных дифференциальных уравнений.
36
Свойство 1. Линейное однородное уравнение всегда имеет решение вида y ≡ 0 .
Доказательство. Проверяется подстановкой y = 0 в исходное уравнение.
Замечание. Решение y = 0 называется нулевым, так как оно
удовлетворяет |
нулевым |
начальным |
|
условиям |
y(x0 )= 0 , |
||||||||||||||
y′(x0 )= 0 , …, |
y(n−1)(x0 )= 0 . Других решений, удовлетворяю- |
||||||||||||||||||
щих нулевым начальным условиям нет. |
|
и y2 (x) |
|
|
|||||||||||||||
Свойство |
2. |
Если |
функции y1 (x) |
– решения |
|||||||||||||||
однородного |
уравнения y(n) + a |
|
(x)y(n−1) |
+K+ a |
n |
(x)y = 0 , |
то |
||||||||||||
|
|
y1 (x)+C2 |
y2 (x) |
1 |
|
|
|
|
|
|
|
|
|||||||
функция y = C1 |
|
тоже решение этого уравнения. |
|||||||||||||||||
Доказательство. |
|
|
Подставим |
|
y = C1 y1 (x)+C2 y2 (x) |
в |
|||||||||||||
левую часть уравнения. Получим |
|
|
|
|
|
|
|
|
|
|
|
||||||||
(C y +C |
2 |
y |
2 |
)(n) |
+ a |
(C y +C |
2 |
y |
2 |
)(n−1) +... + |
|
||||||||
1 |
1 |
|
|
|
1 |
1 |
|
1 |
|
|
|
|
|
|
+an−1 (C1 y1 +C2 y2 )′ + an (C1 y1 +C2 y2 )=
=C1 (y1(n) + a1 y1(n−1) +... + an−1 y1′ + an y1 )+
+C2 (y2(n) + a1 y2(n−1) +... + an−1 y2′ + an y2 ).
Так как функции y1 (x) и y2 (x) являются решениями
уравнения, то обе скобки, а значит и вся левая часть уравнения равны нулю.
Следствие. Линейная комбинация n решений однородного |
||
уравнения |
y = C1 y1 (x)+C2 y2 (x)+K+Cn yn (x) |
является |
решением однородного уравнения.
Определение 2. Решения уравнения y1 (x), y2 (x), …, yn (x) называются линейно независимыми на [a;b], если дляx [a;b] равенство
C1 y1 +C2 y2 +...+Cn yn = 0
37
Выполнено тогда и только тогда, когда все коэффициенты равны нулю, то есть C1 = C2 = ... = Cn = 0 .
Определение 3. Решения уравнения y1(x), y2 (x), …, yn (x) называются линейно зависимыми на [a;b], если существует набор коэффициентов C1,C2 ,...,Cn , не равных нулю
одновременно, такой, что
C1 y1 +C2 y2 +... +Cn yn = 0 ,
для x [a;b].
Замечание. Если среди решений y1(x), y2 (x), …, yn (x)
есть хотя бы одно нулевое, то они линейно зависимы.
Определение 4. Фундаментальной системой решений
линейного дифференциального уравнения n -ого порядка |
||||||||
называются n линейно независимых решений |
|
y1(x), |
y2 (x), |
|||||
…, yn (x) этого уравнения. |
|
|
|
|
|
|
||
Определение 4. Определитель |
|
|
|
|
|
|||
|
|
y1 |
y2 |
... |
yn |
|
|
|
|
|
|
|
|
||||
W = |
|
′ |
′ |
... |
′ |
|
, |
|
|
y1 |
y2 |
yn |
|
|
|||
|
|
... |
... |
... |
... |
|
|
|
|
|
y(n−1) |
y(n−1) |
... y |
(n−1) |
|
|
|
где y1(x), y2 (x), …, |
|
1 |
2 |
n |
|
|
|
|
|
yn (x) |
(n −1) |
раз дифференцируемые |
|||||
функции называется определителем Вронского. |
yn (x) |
|||||||
Теорема 1. Для того, чтобы решения |
y1(x), |
y2 (x), …, |
линейного однородного дифференциального уравнения n - го порядка образовывали фундаментальную систему решений, необходимо и достаточно, чтобы определитель Вронского для этих решений не обращался в ноль хотя бы в одной точке из
области определения уравнения, то есть W (x0 )≠ 0 , где x0 - точка из области определения уравнения.
Доказательство. Необходимость. Пусть функции y1(x), y2 (x), …, yn (x) образуют фундаментальную систему решений однородного линейного уравнения. Тогда функция
38
y = C1 y1 (x)+C2 y2 (x)+ ...+Cn yn (x),
тоже решение этого уравнения по следствию из Свойства 2.
Поставим для этой функции нулевые начальные условия
y(x0 )= 0 , y′(x0 )= 0 ,…, y(n−1)(x0 )= 0
в точке x0 .
Этим начальным условиям соответствует линейная однородная система относительно C1,C2 ,...,Cn .
C1 y1 (x0 )+C2 y2 (x0 )+ ... +Cn yn (x0 )= 0
C1 y1′(x0 )+C2 y2′(x0 )+ ... +Cn yn′ (x0 )= 0
...
C1 y1(n−1)(x0 )+C2 yn(n−1)(x0 )+ ...+Cn yn(n−1)(x0 )= 0
Данная система является линейной однородной системой
алгебраических |
уравнений |
относительно |
неизвестных |
C1 ,C2 ,...,Cn . Так как решения |
y1(x), y2 (x), …, yn (x) образуют |
фундаментальную систему, то они линейно независимы и система уравнений имеет только нулевое решение
C1 = C2 = ... = Cn = 0 . Из этого следует, что определитель системы отличен от нуля. Определитель этой системы является определителем Вронского, то есть W (x0 )≠ 0 .
Достаточность. Пусть определитель системы W (x0 )≠ 0 ,
тогда |
система |
имеет |
только |
нулевое |
решение |
|
C1 = C2 = ... = Cn = 0 , из чего |
следует, |
что |
решения y1(x), |
|||
y2 (x), |
…, yn (x) |
- линейно |
независимы |
и следовательно |
образуют фундаментальную систему решений.
Замечание. Легко доказать, что если W (x0 )≠ 0 , то W (x)≠ 0 для x [a;b].
Теорема 2. (О структуре общего решения однородного линейного дифференциального уравнения).
39