- •Канонические и нормальные системы ОДУ. Порядок системы. Сведение системы к одному уравнению и наоборот.
- •Лемма Арцелы (критерий компактности).
- •Ломаные Эйлера и теорема Пеано.
- •Теорема о единственности решения задачи Коши для систем ОДУ. Следствие для ОДУ n-го порядка. Случай линейного уравнения и линейной системы.
- •Лемма о равномерной непрерывности.
- •Непрерывность решения системы ОДУ по начальным данным и параметру.
- •Линейная зависимость и независимость вектор-функций. Определитель Вронского.
- •Фундаментальная система решений (ФСР) для линейной однородной системы ОДУ. Существование ФСР и их взаимосвязь. Общее решение линейной однородной неоднородной системы.
- •Резольвента линейной системы ОДУ и ее свойства.
- •Построение линейной, однородной системы по известной ФСР. Формула Лиувилля.
- •Нахождение частного решения линейной неоднородной системы ОДУ методом вариации постоянных. Формула Коши.
- •Линейные системы с постоянными коэффициентами и методы их решения Случай нормализуемой системы.
- •Линейные системы с постоянными коэффициентами и методы их решения Случай не нормализуемой системы.
- •Нормальные линейные системы с постоянными коэффициентами и методы их решения
- •Устойчивость решения по Ляпунову и асимптотическая устойчивость. Лемма Ляпунова об устойчивости.
- •Лемма Ляпунова об асимптотической устойчивости и ее усиленный вариант.
- •Теорема Ляпунова об асимптотической устойчивости по линейному приближению.
- •Лемма Адамара.
- •Дифференцируемости решения системы ОДУ по начальным данным и параметру.
- •Первые интегралы систем дифференциальных уравнений. Задание общего решения системы с помощью полной системы первых интегралов.
- •Существование полной системы первых интегралов
- •Линейные однородные УрЧП первого порядка. Связь с первыми интегралами соответствующей системы ОДУ. Замечание о квазилинейных уравнениях.
- •Квазилинейные УрЧП первого порядка. Две леммы о характеристиках.
- •Теорема о существовании единственного решения задачи Коши для квазилинейных УрЧП первого порядка в случае пространственных переменных.
- •Оператор Штурма-Лиувилля. Его собственные функции. Лемма о нулевом собственном значении.
Рассмотрим два случая:
Iслучай: (случай нормализуемой системы).
ω≠ 0 , тогда система (1) примет вид:
a11 pq1 y1 +…+ a1n pqn yn = f1(x)−младшие |
производны |
å îò |
y1,…, yn |
|
||||||
an1 pq1 y1 +…+ ann pqn yn = fn (x)−младшие |
производны |
å îò |
y1,…, yn |
|
||||||
Поскольку ω ≠ 0 , то эту систему можно разрешить относительно |
pq1 y1,…, pqn yn , то есть |
|||||||||
|
q1 |
y1 = младшие |
производны |
å îò |
y1,…yn и линейной |
комбинации |
f1,… fn |
|||
p |
|
|
||||||||
|
|
|
|
|
|
|
|
|
|
. |
|
q |
n yn = младшие |
производны |
å îò |
y1,…yn и линейной |
комбинации |
f1,… fn |
|||
p |
|
Эта система каноническая и, следовательно, может быть сведена к нормальной (отсюда название “нормализуемая” система). ( y(n) = f (x, y, y′,…, y(n−1)) – замечание о гладкости решения из прошлого семестра). Так же как и в прошлом семестре в этой системе можно показать, что если f1,…, fn Cm ([a,b]), то y j Cq j +m ([a,b]), в частности, если f1,… fn C∞ ([a,b]), то y j C∞ ([a,b]).
Линейные системы с постоянными коэффициентами и методы их решения Случай не нормализуемой системы.
II случай: ω = 0 (случай не нормализуемой системы).
Заметим, что det L(p)= (p)=ωpN + +младшие степени p. Распишем:
a11 pq1 |
+ ìë.ñò. |
p |
… a1n pqn + ìë.ñò. p |
ω |
|
|
|
|
|
an1 pq1 |
+ ìë.ñò. |
p |
… ann pqn + ìë.ñò. p |
|
столбцы линейно зависимы. Можно считать после перенумерования, что линейно зави-
симы |
|
первые |
k |
столбцов b1ai1 +b2ai2 +…+ |
|
+bk aik = 0 i = |
1,n |
, причем b1 =1, |
|||
b2 |
≠ 0,…,bk ≠ 0 ; |
q1 ≥ q2 ,…,q1 ≥ qk . Сделаем замену неизвестных функций: |
|||||||||
y1 = z1 |
|
|
– можно дифференцировать q1 |
раз |
|||||||
y |
2 |
= z |
2 |
+ b pq1 −q2 |
z |
– можно дифференцировать q |
2 |
раза |
|||
|
|
2 |
1 |
|
|
|
|
|
|||
… |
|
|
+b pq1 −qk z |
|
|
|
|
|
|
||
y |
k |
= z |
k |
– можно дифференцировать q |
k |
раза |
|||||
|
|
k |
1 |
|
|
|
|
|
|||
yk +1 = zk +1 |
|
– можно дифференцировать qk +1 раз |
|||||||||
… |
|
|
|
|
|
|
|
|
|
|
|
yn = zn |
|
|
– можно дифференцировать qn |
раз. |
|||||||
При такой замене гладкость не изменилась. Обратная замена: |
|||||||||||
|
|
|
|
|
|
z |
= y |
|
|
|
|
|
|
|
|
|
|
1 |
1 |
|
|
|
|
|
|
|
|
|
|
z2 = y2 −b2 pq1 −q2 y1 |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= yk −b2 pq1 −q2 z1 |
||||
|
|
|
|
|
|
zk |
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= yn |
|
|
|
|
|
|
|
|
|
|
zn |
|
|
|
|
|
В матричной форме: |
y = Φ(p)z , где |
|
|
|
|
|
20
|
1 |
0 |
… |
… |
… |
… 0 |
|
b2 pq1 −q2 |
1 |
0 |
… … … 0 |
||
Φ(p)= |
… … |
… |
… … … … |
|||
bk pq1 −qk |
0 |
… 1 0 |
… 0 |
|||
|
0 |
|
|
|
1 |
|
|
0 |
… … … … 0 1 |
подставим в систему (1): L(p)y = L(p)Φ(p)z = L (p)z = f (x)
Здесь det L (p)= = det L(p)det Φ(p)= det L(p)= (p).
=1
Определитель не изменился. Покажем, что порядок системы понизился, то есть N < N .
Запишем i-е уравнение новой системы:
li1(p)y1 +…+ lin (p)yn = (ai1 pq1 + ìë.ñò. p)z1 + (ai2 pq2 + ìë.ñò. p)(z2 + b2 pq1 −q2 z1 )+…+
+ (aik pqk + ìë.ñò. p)(zk + bk pq1 −qk z1 )+ li,k +1(p)zk +1 +…+ lin (p)zn = (ai1 + ai2b2 +…+ aikbk )pq1 z1 +
+ (младшие производны е от z1 )+ li2 (p)z2 +…+ lin (p)zn = fi (x),
итак, в новой системе
q < q |
|
|
1 |
1 |
|
q < q |
|
N = q1 +…+ qn < q1 +…+ qn = N , то есть порядок системы понижен. |
2 |
2 |
qn < qn
Если полученная система оказалась нормализуемая, то для этой новой системы гладкость решения обоснована, а тогда она обоснована для решения “старой” системы. Если же новая система также не нормализуема, то повторяем для нее предыдущие рассуждения. Получим систему, в которой (p)= (p)= (p), а N < N . За конечное число
шагов получим нормализуемую систему (если (p)≠ 0 ).
Замечание 1: В общем решении системы (1) произвольных постоянных столько, какова |
|||||||
степень |
|
(p) |
при |
(p)≠ 0 . |
|||
Пример: |
|
|
|
|
|
|
|
x + x + y =1 |
|
x =1 |
нет констант. |
||||
|
0 |
|
|
y = 0 |
|||
x + y = |
|
|
|
|
|||
Замечание 2: Если (p)= 0 , то система может иметь бесконечно много решений, а так |
|||||||
же может не иметь ни одного решения. |
|||||||
Пример: |
|
(t) |
|
|
|
|
|
x + y = |
f |
|
если f (t)≡ 0 , то x может быть любой функцией класса C1 , а |
||||
|
0 |
|
|||||
x + y = |
|
|
|
|
|
|
y = −x + const . Если f (t)≠ 0 , то система не имеет ни одного решения.
Нормальные линейные системы с постоянными коэффициентами и методы их решения
y′ = Ay (1) (рассмотрим только однородные системы)
21
|
|
A = |
a11 |
… a1n |
, aij = const C . |
|
|
||
|
|
|
|
|
|
|
|||
|
|
|
an1 … ann |
|
|
|
|
||
Из алгебры известно, |
что T – |
матрица n ×n , |
detT ≠ 0 , так же, что |
B =T −1 AT имеет |
|||||
жорданову форму: |
|
|
|
|
|
|
|
|
|
|
λ1 |
… … 0 |
|
|
|
… 0 |
|
|
|
|
|
|
|
|
|
||||
|
1 |
|
|
|
|
|
|
|
|
|
0 |
… 1 |
λ1 |
|
|
|
|
|
|
|
|
|
|
λ2 |
… … 0 |
|
|
||
|
|
|
|
1 |
|
|
|
|
|
B = |
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
… 1 |
λ2 |
|
|
|
|
|
|
|
|
|
|
λs … … 0 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
0 |
… |
|
|
|
|
0 … 1 λs |
|
|
Сделаем замену неизвестных |
|
функций y =Tz и подставим |
в систему (1) |
y′ =Tz′ = Ay = ATz , z′ =T −1 ATz = Bz . Система распалась на несколько независимых систем (их стало столько, сколько жордановых клеток в матрице B). Будем исследовать одну клетку, например λ1 , причем пусть ее порядок s1 равен максимальному порядку всех клеток, отвечающих λ1 . Запишем систему для данной клетки:
|
|
|
z′ |
= λ z |
|
|
|
|
|
||
|
|
|
1 |
1 |
|
1 |
|
|
|
|
|
|
|
|
′ |
= z1 |
+ λ1z2 |
|
|
|
|||
|
|
|
z2 |
(2). |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
z′ |
= z |
s1 −1 |
+ λ z |
s1 |
|
|
||
|
|
|
s1 |
|
|
1 |
|
|
|||
z |
= eλ1 x v |
|
|
|
|
|
|
|
|
||
1 |
|
|
1 |
|
|
|
|
|
|
|
|
Положим |
|
|
и подставим в (2): |
|
|
|
|
|
|
|
|
|
λ |
x |
vs1 |
|
|
|
|
|
|
|
|
zs1 |
= e 1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
z1′ = λ1 eλ1 x v1 + eλ1 x v1′ = λ1z1 = λ1 eλ1 x v1 v1′ = 0 |
|
|
||||||
z′2 = λ1 eλ1 x v2 + eλ1 x v2′ = z1 + λ1z2 = eλ1 x v1 |
+ λ1 eλ1 x v2 v2′ = v1 |
,…,v′s |
= vs −1 |
||||||||
|
|
|
|
|
|
|
|
|
|
1 |
1 |
v1 = C1
v2 = C1 x + C 2
v3 = C1 x22 + C 2 x + C 3
x s1 −1
vs1 = C1 (s1 − 1)! + … + C s1
22
|
|
|
|
|
|
0 |
|
|
|
|
|
0 |
|
|
|
|
|
C |
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
C2 |
|
|||||
|
|
|
xs1 −1 |
|
0 |
|
|
xs1 −2 |
|
C |
|
|
|
|
|
|
|
|
||||||
λ x |
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
||||||||
z = e 1 |
|
|
|
|
|
C1 |
|
+ |
|
|
|
C2 |
|
+…+ |
1 Cs |
|
||||||||
|
|
|
|
|
|
|
||||||||||||||||||
|
|
(s1 −1)! |
|
|
(s1 − 2)! |
0 |
|
|
|
|
|
|
1 |
|
||||||||||
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
0 |
|
|
|
|
0 |
|
|
0 |
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
λ x |
|
|
xs1−1 |
|
|
1 |
|
xs1−2 |
|
2 |
|
|
|
|
s |
|
|
|||||
y =Tz = e |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
(s −1)! h |
+ (s − 2)! h |
|
|
+…+1 h |
(3), |
||||||||||||||||||
|
|
|
|
|
|
|
||||||||||||||||||
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
0 |
|
|
|
|
|
|
|
C |
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
C2 |
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
C |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
где h1 =T C1 , h2 |
=T C2 ,…, hs1 |
=T Cs |
. |
|
||||||||||||||||||||
|
|
|
|
|
0 |
|
|
|
|
0 |
|
|
|
|
|
|
01 |
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
0 |
|
|
|
|
|
0 |
|
|
Итак, если матрица T известна, то общее решение системы (1) равно сумме (для всех клеток) выражений типа (3). Обычно матрицу T трудно найти. Для получения общего
решения системы (1) используем формулу (3), где h1,…,hs1 |
– неизвестные n-мерные век- |
||||||||||||||||||||||||||||||||||||||||||||||
торы. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
Подставим y из (3) в (1): |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
′ |
|
|
λ x |
|
xs1 −1 |
1 |
xs1 −2 |
|
2 |
|
|
|
|
|
|
|
|
s |
|
|
|
|
λ x |
|
|
xs1 −2 |
1 |
|
|
xs1 −3 |
2 |
s −1 |
|
|
||||||||||||
y |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|||
= |
λ1e |
(s −1)!h + |
(s |
− 2)!h +… |
+1 h |
|
|
|
|
|
|
|
− 2)!h |
+ (s |
−3)!h +…+ h |
= |
|||||||||||||||||||||||||||||||
|
|
|
|
|
+ e |
|
|
(s |
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
1 |
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
1 |
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
λ x |
|
|
xs1 −1 |
|
|
1 |
|
|
|
xs1 −2 |
|
|
|
|
2 |
|
|
|
|
|
s |
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
= Ay = e |
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
(s −1)! Ah + (s |
− 2)! Ah +…+ |
Ah |
|
|
|
|
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
xs1 −1 |
|
|
|
|
|
|
1 |
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ah = λ1h |
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
|
|
|
|
|
|
|
|
|
|
|
(s |
−1)! : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
s1 −2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|
|
|
x |
|
|
|
|
2 |
|
|
1 |
|
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
: |
|
Ah |
|
|
= h |
|
+ |
λ1h |
|
|
(4). |
|
|
|
|
|
|
|
|
|||||||||
|
|
|
|
|
|
|
|
|
|
(s |
− 2)! |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
s1 |
|
|
|
s1 |
−1 |
|
|
|
|
|
s1 |
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1: |
|
|
|
|
|
|
= h |
+ λ1h |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Ah |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Эта система похожа на систему (2), то есть неизвестных s1 ×n и уравнений так же s1 ×n . В общем решении этой системы r1 свободных неизвестных, где r1 – кратность корня λ1 характеристического уравнения det(A − λE)= 0 . Если число s1 неизвестно, то в системе
(4) можно вместо s1 подставить r1 − m1 +1, где m1 – число линейно независимых собственных векторов, отвечающих собственному значению λ1 . Если же и m1 неизвестно, то в системе (4) вместо s1 можно взять r1 . При этом число свободных неизвестных не изменится и останется равным r1 . Для построения общего решения системы (1) нужно обозначить эти свободные неизвестные через C1,…,Cr1 , затем аналогично рассмотреть остальные корни λ2 ,…,λs кратностей r2 ,…, rs и сложить выражения типа (3) для всех корней.
23