Готовые билеты
.pdf
Вопрос 11
А) Простейшее уравнение n-го порядка
( ) = ( ), где ( ) (< , >). Проинтегр. по x ( 0 < , >): ( −1) = ∫ (ξ1) ξ1 + 1
0
|
|
|
|
ξ2 |
ξ1 |
|
ξ1 + 1 |
( |
− 0 |
) |
+ 2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||
( −2) = ∫ ξ2 ∫ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||
|
|
0 |
|
ξ03 ( |
|
)ξ2 |
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
|
) |
2 |
|
|
|
|
|
|
|
|
( |
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
( −3) = ∫ ξ3 |
|
∫ ξ2 |
∫ |
ξ1 |
|
ξ1 + 1 |
|
− 0 |
|
|
+ 2 |
− 0 |
+ 3 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
2 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||
|
|
0 |
|
|
|
0 |
|
|
0 ( |
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
Через некоторое количество шагов |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
|
|
ξ |
|
|
|
|
|
ξ2 |
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||
( ) = ∫ ξ ∫ ξ −1 ... ∫ ξ1 |
ξ1 + −1 |
|
− 0 |
= |
|
( −11)! |
∫ ( − ξ) (ξ) ξ + −1 |
− 0 |
|
(11) |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
0 |
0 |
|
1 |
|
− 0 −10 ( |
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||
−1( − 0)= |
|
|
(( −1)!) |
|
+ … + −2( − 0)+ −1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Док-во: БАЗА. = 1 |
|
∫ (ξ1) ξ1 = |
0!1 |
|
∫ ( − ξ)0 (ξ) ξ (верно) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
0 |
|
|
|
|
ξ |
|
0 |
|
|
ξ2 |
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
ШАГ. Верно для = , т.е. ∫ ξ ∫ ξ −1 |
|
|
... ∫ |
ξ1 |
ξ1 = |
( −11)! |
∫ ( − ξ) −1 (ξ) ξ. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||
Тогда |
ξ +1 |
|
|
ξ2 |
|
|
) |
|
0 |
|
|
|
0 |
|
|
|
|
|
|
|
0 |
|
|
( |
|
|
|
|
|
|
|
|
) |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
ξ +1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||
∫ ξ +1 |
∫ |
ξ ... ∫ ξ1 |
ξ1 = |
|
|
( −11)! |
∫ ξ +1 |
|
∫ |
|
|
ξ +1 |
− ξ |
−1 (ξ) ξ = |
( −11)! |
∫ ξ∫ |
|
ξ +1 − ξ |
−1 (ξ) ξ +1 = |
( −11)! |
∫ |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
0 |
0 |
|
|
0 |
( |
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
0 |
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
ξ |
( |
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|||||||||||||||
, т.е. формула верна и для = + 1 утверждение верно. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
Док-во: БАЗА = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
= 0 −верно . |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
1 ' = ( ) ( ) = ∫ (ξ) ξ + 0, т.е. 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
−1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
− − 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
ШАГ. Верно для = , т.е. −1 = |
∑ |
|
|
|
|
|
|
((−1)!) |
. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||
Тогда |
|
− ξ− 0 |
−1 |
|
|
~ |
|
|
|
|
|
|
=1 |
|
|
|
|
( |
|
|
|
|
|
|
|
|
) |
−1 |
|
|
|
|
~ |
|
|
− |
|
|
ξ− 0 |
|
|
|
|
|
~ |
|
|
|
|
− |
− 0 |
|
! |
~ |
− 0 |
0 |
|
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
− |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
= ∫ ∑ |
((−1)!) |
|
ξ + = |
∑ |
( −1)! |
|
∫ |
ξ − 0 |
|
|
|
ξ + = ∑ |
( −1)! |
* |
( |
) |
|
| 0 |
|
+ = ∑ |
|
|
(( )! |
) |
|
+ |
( |
0! |
) |
= |
||||||||||||||||||||||||||||||||||||||||||||||
0 =1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
||||||||||||||||
|
|
формула верна и для = + 1 утверждение верно # |
|
|
|
|
|
|
|
|
, и−1его− решение− 0 |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Такимверно,образомто есть |
, простейшее1 |
уравнение−1 |
n-го порядка− −1 |
всегда− 0 −1 |
интегрируется1 ( |
в квадратурах−1) |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
имеет вид ( ) = |
|
( −1)! |
∫ ( − ξ) |
|
|
(ξ) ξ + ∑ |
|
|
|
|
|
( (−1)! |
) |
|
= |
( −1)! |
∫ ( − ξ) |
|
(ξ) ξ + |
|
∑ |
(( )! |
) |
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
=0 |
|
|
|
|
|
|
|
|
|
||||||||
Б) Уравнения, допускающие понижения порядка
а) ( , ( ), ( +1), …, ( ))= 0, подстановкой ( ) = ( )( ) ур-ие пониж. на k ед. ( , , ', …, ( − ))= 0.
Допустим, что решение = φ( , 1, …, − ). Тогда полученный промежуточный интеграл
( ) = φ( , 1, …, − )
б) ( , ',.., ( ))= 0 . Порядок ур-ия можно понизить на ед. заменой ( , ( )) → ( , ( )), где = ' .' = ,
'' |
|
|
' |
|
|
|
|
|
|
|
' |
''' |
|
'' |
|
' |
|
|
|
|
' |
|
|
|
' |
2 |
2 |
'' |
|||||
|
= |
|
|
= |
|
=−1 |
|
* |
|
= |
* , |
= |
|
= |
|
* |
= |
|
* * |
|
= |
|
+ |
. |
|||||||||
|
= φ |
( , |
) |
, …, |
−1 |
ур-ие |
→ ~ , ,.., ( −1) |
=( 0) =( |
ω( , )1, …, (−1) ) |
= ω((, )1, …, −1) |
|||||||||||||||||||||||
|
|
|
|
|
( ) |
|
|
|
|
|
( |
|
( )) |
|
|
|
|
|
|
|
( ) |
|
|
|
α |
|
|
|
|
( ) |
|
||
ПорядокВ) ( , (, ур',..-ия, можно)= 0 ,понизить)где −однна.едпо. заменой, ',.., ( , ,т.е(. )) →> (0 , (( ),), где, ',..(, ) |
=)=' |
. |
( , , ',.., |
). |
|
||||||||||||||||||||||||||||
' = ( ) * ( ) '' = '( ) * ( ) + ( ) * '( ) = '( ) * ( ) + 2 ( ) = ' |
+ 2 |
) |
( )…… |
|
|
|
|
||||||||||||||||||||||||||
Док-во: ( ) = φ( , ', …, ( −1))* ( ); БАЗА для = 1, 2 |
−верно(см.выше( |
) |
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
ШАГ индукции. Верно для = , докажем что оно также верно для |
|
|
, ', …, ( −1) |
'( ) = ψ |
, ', …, ( −1), |
|||||||||||||||||||||||
= + 1 ( ) = φ , ', …, ( −1) |
( ) ( +1) = φ' |
, ', …, ( −1) |
( ) + φ |
|||||||||||||||||||||||||
верно , то есть' |
утверждение( ) ( |
справедливо) ' 2 |
|
'( |
|
( −1) |
) |
α |
~ |
|
( |
|
( −1) |
|
) |
( |
|
|||||||||||
, , ,.., |
) |
= , , , + |
) |
, …, φ , , …, |
)) |
|
|
, ,.., |
|
|
= 0 −уравнение (n-1) |
|||||||||||||||||
= |
|
|
||||||||||||||||||||||||||
порядка( |
|
|
( |
( ) |
|
|
( |
|
|
|
( −1)( |
|
|
|
|
( |
|
|
|
|
( −1)) |
|
|
|
||||
|
|
(( −1) |
|
|
) |
|
|
|
( |
|
|
|
) |
|
|
|
|
|
( |
, ,.., |
|
) |
= 0 имеет первый |
|||||
Г) Допустим, что , ,.., |
|
|
= ( , ,.., |
|
, тогда уравнение |
|
|
|||||||||||||||||||||
интеграл ( , ,.., |
|
)= С1. Порядок снижается на 1. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||
Вопрос 12.
(1) { 1' = 11( ) 1 |
Линейные нормальные системы. |
||||
+ … + 1 ( ) + 1( ) ... ' |
= 1( ) 1 + … + ( ) + ( ) |
||||
= |
1, |
, = |
1, |
( ), ( ) опр. и непр. на < |
, > |
Опр. (1) наз. линейной нормальной(СЛОДУ) системой ОДУ 1-го порядка (сама система имеет порядок n)
. |
( |
|
) |
( ) ↓ |
= |
( |
1( ) |
... ( ) |
) |
|
( |
11( ) ... 1 ( ) ... |
1( ) ... ( ) |
) |
(1)→(2) ' ↓ |
|||||
↓ = |
1( ) ... |
( ) , |
|
; ( ) = |
|
|
||||||||||||||
Опр. Если ( ) ↓ |
≡ 0 |
↓ |
(т.е. = |
1, |
( )≡0 на < , >), то СЛОДУ (1) (или (2)) наз. однор., иначе – |
|||||||||||||||
неоднор. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Опр. ЗК для СЛОДУ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( ) ([ , ]), то на всем |
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||
(3){ ' |
↓ = ( ) ↓ |
+ |
( ) ↓ |
( 0) ↓ |
|
= 0 ↓ |
− н |
Если , = 1, ( ), |
||||||||||||
|
[ , ] при любом наборе начальных данных ! |
|||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
||||||||||
решение ЗК (3) на всем [ , ]
Теор.(ТСЕ для СЛОДУ) (б/д)
(1) |
{ 1' |
= 1 |
|
, 1, … |
|
... ' |
= |
, 1, … |
Нормальные системы |
1, …, − |
|
( |
) |
) |
t – нез. пер., < , > 1( ) ... ( ) −неизв. ф-ии; |
||||||||
|
|
|
+1 |
|
|
( |
|
|
|||
зад. Ф-ии на Ω |
|
|
|
|
|
|
|
||||
Опр. Система ОДУ (1) наз. норм. с-мой ОДУ 1-го порядка(НСОДУ) с n неизв. ф-ми. Само число n наз. порядком с-мы.
ур-ие n-го порядка, разреш. отн. ст.произв.: ( ) = , , ', …, ( −1) |
(2) можно свести к нормальной |
||||||||||||||||||||||||||||||
системе следующим образом( −1): |
|
|
|
( |
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Пусть = 1, ' = 2, …, |
|
|
= , тогда получим нормальную систему, равносильную уравнению (2) : |
||||||||||||||||||||||||||||
' |
|
' |
|
|
' |
|
|
|
' |
|
|
|
1) |
< , > , φ1( ), …, φ ( ) Ω |
|||||||||||||||||
{ 1 = 2 2 |
= 3 |
... −1 = = ( , 1 |
... ) (3) |
2) |
= |
1, |
φ` ≡ |
( |
|
, φ1( ), …, φ () ) на всем |
|||||||||||||||||||||
Опр. Частным решением НСОДУ (1) называется |
|
< , > |
|
|
|
|
( |
|
|
|
|
|
|
) |
|||||||||||||||||
совокупность дифференцируемых на < , > |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
функций |
|
φ1( ), …, φ ( ) |
|
: |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
Опр. Сов-ть{ всех частных}реш. НСОДУ (1) обр. общее реш. Общее реш. с-мы n-го порядка зависит от n произв. |
|||||||||||||||||||||||||||||||
пост. |
|
|
( |
|
) |
|
→ |
( |
|
) |
→ |
|
( |
|
( |
|
|
|
→ ) |
|
|
|
( |
|
|
|
)) |
|
|||
( ) |
↓ = |
... ( ) |
, |
( ) = |
|
( , ) ↓ |
= |
1 |
|
|
|
... |
|
, 1,.., |
(1)→(4) ' ↓ |
||||||||||||||||
|
1( ) |
|
|
|
1( ), …, ( ) ; |
|
|
, 1,.., |
|
|
|||||||||||||||||||||
Частное решение (4) это вектор столбец φ( ) ↓ |
(или вектор строка φ( ): < , >: |
|
|
|
|||||||||||||||||||||||||||
|
|
→ |
|
Ω 2) φ'( ) ↓ |
|
|
|
→ |
|
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
|
|
|
) |
|
|
|
|
1) , φ( ) |
|
|
≡ ( , φ( )) ↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||
Опр(. |
{ |
|
|
|
}+1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
, φ1( ), …, φ ( ) |
пробег. нек. |
|||||||||
|
φ1( ),) …, φ ( ) −к.-либо реш. НСОДУ(1). t пробег. знач. на < , >, т. |
|
|
||||||||||||||||||||||||||||
траекторию в Ω . Она наз. интегральной кривой НСОДУ (1)
Опр. n-мерное пр-во пер. ( 1,.., ) наз. фазовым пр-вом, а проекцию инт. кривой на фаз. пр-во наз. фазовой
|
|
|
|
|
траекторией. |
|
|
|
|
|
φ1( ), …, φ ( ) |
: φ1 |
( |
0 |
) |
= 10 |
… φ |
( |
0 |
) |
= 0 |
(где |
||||||||
|
|
|
|
|
Опр. Задача нахождения НСОДУ(1) |
|||||||||||||||||||||||||
|
|
|
|
|
10 |
, … |
0 |
|
|
|
|
|
|
|
{ |
|
|
} |
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
−набор нач. данных) наз. ЗК для НСОДУ (1) : |
|
|
|
|
|
|
|
|
|
|
|||||||||||||
|
|
|
|
|
{ ' |
↓ |
|
= |
→ |
↓ |
0 |
|
↓ = 0 ↓ |
(5) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
, |
) |
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||
Теор.(ТСЕ) |
|
|
|
( 0, |
0 |
0( |
|
|
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
1 |
... )− внутр. т. Ω |
|
0, 10, …, 0 |
) |
= П Ω |
|
|
|
|
|
|
|
|
|
|
||||||||||||
Пусть |
0, 10, …, 0 |
− внутренняя точка Ω и в некоторой |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||
П = { |
( − 0 |
| |
≤ 0), |
||| 1 −→ 10||| |
≤ 1, …, ||| − 0||| ≤ } выполняется( |
, что |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||
1) |
= |
1, |
( , ') (П) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||
∂
2) = 1, , = 1, ∂ (П) Тогда > 0 : в ( 0) = {| − 0|≤ } ! решение ЗК (5)
|
|
|
|
|
|
|
|
|
Замеч. Если ↓ = φ(1)( ) ↓ −реш. ЗК (5) на |
( |
0 |
) |
, а ↓ |
= φ(2)( ) ↓ −реш. ЗК (5) на нек. D, то |
|||
φ(1)( ) ↓ ≡ φ(2)( ) ↓ на |
( 0) |
|
|
|
|
|||
Вопрос 13 |
−ОСЛОДУ |
( ↓ ) = 0 ↓ |
|
|||
' ↓ = ( ) ↓ |
|
|||||
|
|
|
|
< , > ф-ий (коэфф. с-мы). |
|
|
( ) = ( ( )) −матрица непр. на |
|
|||||
Опр. С-ма столбцов наз. 1 ↓ |
, …, ↓ |
ЛЗ, если нетрив. набор λ1, …, λ |
|
|||
λ1 1 ↓ +, …, + λ ↓ |
= θ |
↓ |
(1). Если же (1) возможно только при λ1, …, λ = 0, то с-ма столбцов ЛНЗ. |
|||
Опр. С-ма строк называется 1 |
|
→ |
→ |
→ → |
||
... |
ЛЗ, если нетрив. набор λ1, …, λ λ1 1 +, |
…, + λ = θ (2). Если же |
||||
(2) возможно только при λ1, …, λ = 0, то с-ма строк ЛНЗ.
Достаточные условия о ЛЗ и ЛНЗ: |
|
|
|
|
|
1. |
Система столбцов, содержащая нулевой столбец, линейно зависимая |
|
↓ |
= θ ↓ |
, |
# ЛЗ и ЛНЗ сохр. при нумерации столбцов, поэтому БОО можно считать что 1 |
|||||
тогда 1 * 1 ↓ + 0 * 2 ↓ + … + 0 * ↓ = θ ↓ =>это НТЛК =>ЛЗ # |
|
|
|
||
2. |
Система столбцов, содержащая ЛЗ подсистему, ЛЗ |
|
λ ≠0 |
|
|
# БОО считаем 1, …, линейно зависимая подсистема, λ1, …, λ : λ1 + … + |
↓ θ = θ ↓ это |
||||
λ1 1 ↓ + … + λ ↓ = θ ↓ => λ1 1 ↓ + … + λ ↓ θ + 0 * |+1| |
↓ + …| |
+| 0 * |
|||
НТЛК => это ЛЗ# |
|
|
|
|
|
3. |
Любая подсистема ЛНЗ системы столбцов является ЛНЗ |
|
|
|
|
# Из предположения, что подсистема ЛЗ => система является ЛЗ, но по условию система столбцов является ЛНЗ => противоречие, значит подсистема ЛНЗ #
(Аналогично для системы строк) |
|
|
один из них является линейной комбинацией остальных. |
|||||||
Т. (Критерий ЛЗ) Система столбцов является ЛЗ |
|
|||||||||
Док-во: |
- ЛЗ система столбцов, НТЛК λ1 1 ↓ + … + λ ↓ |
= θ ↓ , БОО λ1≠0 |
||||||||
1 |
↓ , …, ↓ |
|||||||||
|
|
λ2 |
|
λ |
|
|
+ … + α ↓ , т.е. 1 |
↓ - ЛК остальных |
||
1 ↓ |
=− |
λ1 |
* 2 |
↓ − … − |
λ1 |
* ↓ |
= α1 2 ↓ |
|||
Пусть один из столбцов ЛК остальных БОО считаем 1 ↓ = λ2 2 ↓ , …, + λ ↓ Тогда |
||||||||||
1 * 1 |
↓ − λ2 * 2 ↓ − … − λ ↓ |
= θ ↓ - это НТЛК=> 1 ↓ , …, |
↓ линейно зависимая система |
|||||||
Вопрос 14. |
−ОСЛОДУ ( ) = |
( |
|
|
Однородные СЛОДУ. |
|
|||
(1) ' ↓ = ( ) ↓ |
( ) |
−матрица непр. на< , > ф-ий (коэфф. системы). В ЛП |
|||||||
|
|
|
(1) |
) |
... |
( ) |
↓ −наз. ЛЗ, если нетрив. набор α1 |
... α : (2) |
|
столбцов функций (высоты h) столбцы |
|
↓ |
|
||||||
α1 (1)( ) + … |
+ α ( )( )≡0 |
на < , >. Если тождество (2) выполняется только при α1 = … = α = 0, то |
|||
система (1)( ) |
↓ ... ( )( ) |
↓ |
ЛНЗ |
|
|
Свойства решений ОСЛОДУ |
|
|
|||
1) |
(Тривиальность) ОСЛОДУ (1) всегда обладает решением φ( ) ↓ ≡ 0 ↓ Док-во: очевидно |
||||
2) |
(Линейность) ↓ |
= φ(1)( ) ↓ |
и ↓ = φ(2)( ) ↓ − нек. реш. (1) |
||
α, β |
↓ = αφ(1)( ) ↓ + |
βφ(2)( ) ↓ |
также явл. реш. (1) |
||
Док-во: Введем в ЛП столбцов-ф-ий оператор L: ( ↓ |
) = ' ↓ − ( ) |
↓ |
(1) → (3) |
( ↓ ) = 0 ↓ . |
' |
|
|
|||||||||||
φ(1)( ) ↓ |
и φ(2)( ) ↓ |
−реш., т.е. |
|
= 0 ↓ |
|
αφ(1)( ) ↓ |
+ βφ(2)( ) ↓ |
|
= αφ(1)( ) ↓ |
+ βφ(2)( ) ↓ |
|
− |
α |
|||||
|
φ(1)( ) ↓ |
) |
= 0 ↓ , |
|
φ(2)( ) ↓ |
) |
) |
) |
|
|||||||||
. ( |
|
|
( |
|
|
( |
|
|
|
( |
|
|
( |
|
||||
Док-но: L – ЛО, любая ЛК реш. также является решением.
Замеч. Из 1) и 2) следует, что сов-сть всевозм. реш. ОСЛОДУ (1) образует ЛП, которое обозначим
3)(О нуле решения) φ( ) ↓ −реш. (1) или (3) с непр. коэфф.
( (< , >)), * < , > : φ( *) ↓ = 0 ↓
φ( ) ↓ |
≡ 0 ↓ |
на < , > . Док-во: ЗК для (1) { ' ↓ |
= ( ) ↓ |
( *) ↓ |
= |
0 |
↓ |
; ( ) ↓ = 0 ↓ - ее |
реш., ↓ |
= φ( ) ↓ |
- тоже ее реш. По ТСЕ на всем < , |
> ! реш. ЗК φ( ) |
↓ |
|
≡ 0 |
↓ |
|
4)(О ЛЗ) φ(1)( ) ↓ , …φ( +1)( ) ↓ −реш. (1) (или (3)) эта система реш. – ЛЗ
Док-во: = 0 < , >. При фикс. 0 с-ма – набор из ( + 1) столбца высоты . Разм-ть ЛП столбцов чисел
высоты |
= с-ма φ(1) 0 |
) |
↓ , …φ( +1) 0 |
)0 |
↓ |
|
− ЛЗ нетрив. |
|
|
|
|
|
|
||||||||||||||||||||||
α |
1 |
... α |
+1 |
|
1 |
|
(1) |
|
0 |
|
↓ |
( |
+ α |
+1 |
φ |
( +1)( |
|
|
↓ |
= 0 |
↓ |
(4). |
|
|
|
|
|
|
|||||||
|
|
|
: α φ |
(1)( |
|
) |
+ … |
|
|
|
|
( |
|
) |
|
|
0 |
) |
|
|
|||||||||||||||
( ) ↓ |
= |
1 |
|
|
|
|
+ … |
+ α |
+1 |
φ |
( +1) |
|
|
|
|
−ЛК реш. (1) явл. реш. (2), |
|
↓ = 0 ↓ |
в |
||||||||||||||||
α |
φ ( ) ↓ |
|
|
|
|
( ) |
↓ ; ( ) ↓ |
|
|||||||||||||||||||||||||||
соответствии с (4). |
|
|
|
= ( ) ↓ |
0 |
) |
↓ |
= 0 |
↓ |
|
( |
|
|
|
|
||||||||||||||||||||
( ) ↓ |
- реш. ЗК { ' ↓ |
, но эта ЗК также обладает реш. φ( ) ↓ ≡0. |
|
||||||||||||||||||||||||||||||||
По ТСЕ получаем |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
≡ 0 ↓ на |
< , >, т. е. φ(1)( ) |
|
↓ , …, φ( +1)( ) ↓ − Л |
|||||||||||||
( ) ↓ |
≡ |
0 ↓ |
α1φ(1)( ) ↓ |
+ … + α +1φ( +1)( ) ↓ |
|
||||||||||||||||||||||||||||||
5)(О ЛНЗ) ОСЛОДУ (1) (или (3)) с непрерывными коэффициентами обладает n ЛНЗ решениями
Док-во: 1 |
↓ |
= (1 0 ... 0 ), |
2 ↓ |
= (0 1 |
... |
0 )… ↓ = (0 ... 1 ... 0 )… |
↓ = (0 0 |
... 1 ) ; n штук ЗК : |
||||
= |
1, |
|
{ ' |
↓ = ( ) ↓ |
0 |
↓ = |
↓ где 0 < , >. φ(1)( ) ↓ , …, φ( )( ) ↓ |
−реш. этих ЗК. |
||||
Предп., эта с-ма реш. ЛЗ нетрив( ) . набор α1 ... α : |
|
|
|
|||||||||
(5) α1φ(1)( ) ↓ + … + α φ( )( ) ↓ |
≡ 0 ↓ |
|
на < , >. (5) д.б. вып. при = 0 |
|
|
|||||||
α1φ(1) 0 |
)... |
↓ |
+ … + α φ( ) 0 ↓ |
= 0 ↓ |
т.е. α1 1 ↓ + … + α ↓ = 0 ↓ |
т.е. α1 ... α = 0 ↓ т.е. |
||||||
{α1 = (0 |
|
α = 0 . Противор( ). тому, что набор α1 ... α −нетрив. Оно вызвано из предположения( ) |
что |
|||||||||
φ(1)( ) |
↓ , …, φ( )( ) ↓ −ЛЗ |
эта система ЛНЗ на < , >. |
|
|
|
|||||||
Сл. Из 4 и 5 получаем, что dim = (отсюда любой базис содержит ровно элементов)
Вопрос 15.
(1)' ↓ = ( ) ↓ −ОСЛОДУ
(2)( ↓ ) = 0 ↓
Сов-сть всевозм. реш. ОСЛОДУ (1) образует ЛП, которое обозначим , dim =
Опр. Любой базис в наз. фундаментальной системой решений (ФСР) ОСЛОДУ (1) (или(3)). Т.е. ФСР это упорядоченный набор из n ЛНЗ решений ОСЛОДУ (и всякое решение может быть передано как ЛК элементов
этого набора) |
|
|
{ |
|
} |
|
Т. (Об общем решении ОСЛОДУ) |
|
φ(1)( ) ↓ , …, φ( )( ) ↓ |
назовем ФСР ОСЛОДУ, С1 ... С − |
|||
о.о ↓ = С1φ(1)( ) ↓ |
+ … + С φ( )( ) ↓ , где |
|||||
произвольные постоянные |
|
|
|
|||
Док-во: |
, …, φ( ) ↓ −базис, то любое решение является ЛК |
|||||
. Поскольку φ(1) ↓ |
||||||
С1 ... С : ( ) = С1φ(1) |
↓ + … + С φ( ) ↓ , |
↓ |
+ … + С φ( ) ↓ является решением. |
|||
. Из свойства линейности любая ЛК С1φ(1) |
||||||
Вопрос 16. |
|
|
|
|
|
|
|
|
|
|
|
|
|
−ОСЛОДУ |
|
(3) |
( ↓ ) = 0 ↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||
(1) ' |
|
|
↓ |
|
|
= ( ) ↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
Пусть (1)( ) |
↓ |
|
|
... ( )( ) |
↓ |
|
|
|
|
|
Матрица решений и определитель Вронского. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
−произв. реш. (1) (или (3)). Запишем их по столбцам в матрицу |
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
( ) = |
|
|
(1)( ) |
|
↓ ... ( )( ) |
|
↓ |
|
|
ОСЛОДУ(1)(1). |
|
|
|
|
( ) |
|
|
|
|
|
|
|
|
|
|
|
|
(1) |
|
|
|
|
|
|
|
|
|
|
|
|
( ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||
Опр. (() наз(1) |
. матрицей( )решений) |
|
|
|
|
|
↓ |
|
= ( ) |
( ) |
|
|
↓ |
... |
( ) ↓ |
) |
= ( ) ( ) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
'( ) = |
|
|
|
|
|
'( ) |
↓ |
|
|
... |
|
|
|
|
'( ) |
↓ |
= |
( ) |
|
|
↓ … ( ) |
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
матрица( |
реш. формально тоже)удовлетворяет( |
ОСЛОДУ (1),)т(1).е. '( )(= ( ()) |
( ) |
↓ |
|
|
|
, где |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Опр. Матрица реш., постр. на ФСР ОСЛОДУ (1), т.е. Ф( ) = |
|
φ |
|
|
( ) |
|
↓ |
, …, φ |
|
|
|
( ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
φ(1)( ) ↓ |
, …, φ( )( ) |
|
↓ − произв. ФСР ОСЛОДУ (1), наз. фундаментальной( |
матрицей) |
решений (ФМР) |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
{Опр. (1)... ( ) = |
det }( ) . ( ) наз. определителем Вронского (вронскианом) с-мы решений |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(1)( ) |
|
|
↓ ... ( )( ) |
↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
... ( )( ) |
↓ |
, т.е. не |
||||||||||||||||||||||||||||||
Замеч. Опр-ль Вронского можно рассм. для с-мы n столбцов ф-ий высоты n (1)( ) ↓ |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
обязательно для решений ОСЛОДУ. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||
Свойства МР и ОВ. |
|
|
↓ |
|
|
|
... ( )( ) ↓ |
−ЛЗ на < , > с-мы столбцов ф-ий высоты n (не обяз. реш. ОСЛОДУ) |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
1) |
|
|
|
|
|
|
|
(О ЛЗ) (1)( ) |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(1)... ( )( )≡0 на < , > |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ … + α ( )( ) |
|
|
↓ |
|
≡ 0 |
|
↓ |
на < , >. При фикс. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Док-во: с-ма ЛЗ нетрив. набор α1 ... α : (6)α1 (1)( ) ↓ |
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
< , > |
|
(6) предст. собой ОСЛАУ отн. α1 ... α . < , > у нее имеется нетрив. реш. < , > |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
опр-ль этой с-мы =0. Но опр-ль этой ОСЛАУ это (1)... ( )( ) ( ) = |
|
0 |
< , >, т.е. ( )≡0 |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
2) |
|
|
|
|
|
|
|
(О ЛЗ) (1)( ) |
↓ |
|
|
|
... ( )( ) ↓ |
−с-ма реш. ОСЛОДУ (1) с непр. коэфф. и 0 < , > : |
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(1)... ( ) |
( |
0 |
) |
= 0 (1)( ) ↓ |
... ( )( ) ↓ |
|
−ЛЗ на < , > ( соот (1)... ( )( )≡0 на < , >) |
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(1) |
0 |
|
↓ |
|
+ … + α |
( ) |
|
0 |
|
↓ |
|
= 0 |
↓ |
, |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
Док-во: ОСЛАУ отн. α1 ... α : α1 |
|
|
|
0 |
|
( () |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
{ |
1(1) |
|
|
0 1 |
+ … + |
1( ) |
|
|
0 |
|
|
α |
|
= 0 ... |
( |
()1) |
|
|
α |
1 |
+ … + |
|
|
0) |
α |
|
= 0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
|
|
( |
|
|
|
|
) |
|
|
|
|
|
|
|
(1) |
... |
( ) |
|
|
( |
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
( |
|
) |
|
|
|
|
|
|
|
|
|
* |
( |
|
) |
* |
|
~ |
↓ |
|
|
|
|
|
* |
|
|
|
(1) |
↓ |
|
|
|
|
|
|
|
|
|
|
* |
|
|
( ) |
↓ |
- ЛК реш. |
|||||||||||||||
Её опр-ль - |
|
|
|
|
0 |
|
= 0 нетрив. реш. Пусть это α1 ... |
α . |
|
( ) = α1 |
|
|
|
|
|
|
+ … + α |
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
~ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
реш) |
., причем реш. ЗК { ' |
|
↓ |
|
= ( ) ↓ |
|
|
( |
0 |
) |
↓ |
|
= 0 |
|
↓ |
|
. Эта ЗК облад. трив. реш. по |
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ОСЛОДУ(1), т.е. тоже( |
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
ТСЕ |
|
|
↓ ( )≡0 на < , >. |
↓ |
≡ 0 |
↓ |
|
на < , > , то α1* |
|
... α* −нетрив. набор |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
α1* (1) |
|
↓ |
|
+ … + α* ( ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
(1)( ) |
|
↓ |
|
... ( )( ) |
|
↓ |
|
|
|
− ЛЗ (1)... ( )( )≡0 на < , > |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
то это св-во не обяз. выполняется. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Замеч. Если (1)( ) |
↓ |
|
|
... ( )( ) ↓ |
не явл. реш. ОСЛОДУ (1) с непр. коэфф., |
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
3) |
|
|
|
= |
(Об общ. реш.) Ф( ) = |
φ(1)( ) |
↓ , …, φ( )( ) ↓ |
) |
−ФМР для ОСЛОДУ (1) |
. . |
↓ = Ф( ) ↓ , где |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
↓ |
|
|
|
|
( |
1 |
... |
|
|
|
) |
− столбец произв( |
. пост. |
|
|
|
|
( |
(1) |
|
|
|
|
|
|
|
|
|
( ) |
|
|
|
|
)( |
|
|
1 |
|
|
|
|
|
|
|
|
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
. . |
|
|
|
|
|
|
|
1 |
|
(1) |
|
|
|
|
|
|
|
|
|
|
|
( ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
0 |
|
|
|
|
|
|
|
|
||||||||||||||||||||||
Док-во: |
|
|
|
↓ |
|
= С φ |
|
|
|
|
|
|
↓ |
|
|
+ … + С φ |
|
|
↓ |
|
= |
φ ( ) ↓ |
, …, φ |
|
|
( ) |
|
↓ |
|
|
|
|
|
|
|
|
0 |
|
|
= |
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
... |
|
) |
|
Ф( ) ↓ |
имеет решение |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
4) |
|
|
|
|
|
|
|
(О ЗК) Ф(t) – ФМР ОСЛОДУ (1) с непр. коэфф. ЗК |
{ ' |
↓ |
|
= ( ) ↓ |
|
|
|
|
|
↓ |
= |
|
|
↓ |
|
|
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
( ) ↓ |
|
|
|
= Ф( )Ф−1 0 |
|
0 ↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||
Док-во: . . |
↓ |
|
= Ф( |
( )) ↓ |
|
. Решению ЗК соотв. конкр. набор произв. пост. Найдем его. |
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
0 |
) |
|
↓ = Ф |
|
0 |
) |
↓ = 0 ↓ |
|
|
|
|
(1) |
|
|
|
|
|
|
|
|
|
( ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
0 |
|
|
|
|
|
|
|
|
|
|
|
|
|
−1 |
|
|
|
0 |
|
|
0 |
|
|||||||||||||||||||||||||||||||||
( |
|
|
|
|
|
|
|
( |
|
0 |
) |
( |
|
|
|
|
(1) |
|
|
|
( ) |
( |
0 |
) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
) |
|
|
|
|
|
|
|
|
|
|
|
( |
|
|
) |
|
|
|||||||||||||||||||||||||
ЗК есть |
|
|
|
= φ |
|
...φ |
|
|
|
|
|
|
|
φ |
|
|
↓ |
|
+ … + φ |
|
|
|
↓ |
|
−ЛНЗ) Ф |
|
|
|
↓ = Ф |
|
|
|
|
|
|
|
↓ реш. |
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
det Ф |
|
|
|
|
|
|
|
≠0(т.к. |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
= Ф( ) ↓ |
|
= Ф( )Ф−1( 0) 0 ↓ |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||||||||||||||||||
5) |
|
|
Если φ(1)( ) ↓ , …, φ( )( ) |
|
↓ |
−ФСР ОСЛОДУ ' |
|
↓ |
= ( ) ↓ , то ( ) = |
|
0 |
) |
exp |
|
|
|
|
|
||||||||||||||||||||||||
|
|
|
|
∫ (τ) τ , |
|
|
||||||||||||||||||||||||||||||||||||
где ( ) = φ(1)...φ( )( ) |
( ) = |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( |
|
|
|
0 |
|
|
|
|
|||||||||||
∑ ( ) −след матрицы A(t) |
|
|
|
|
|
|
|
|
|
|
|
' ↓( |
= ( ) )↓ . |
|
||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
=1 |
|
↓ |
= |
|
(1) |
(1) |
, |
φ |
(2) |
|
|
(2) |
(2) |
|
|
|
|
|
|
|
||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
(1) |
|
|
|
|
|
|
|
|
|
|
||||||||||||||||||||
Док-во: Докажем для n=2. Пусть φ( )' |
|
φ1( ) |
φ2 |
|
( ) |
↓ ( =)' φ1 |
φ2 |
( )−ФСР ОСЛОДУ( ) |
|
|||||||||||||||||||||||||||||||||
Тогда k=1,2(1) |
получим(2) (1) |
, что(2) |
(10){φ(1) |
1(2) |
= 11(2)( ()φ(1)1 |
+ 12)( )φ2 |
|
φ2 |
=( |
21( )φ1) |
+ 22( )φ2 |
|
|
|
|
|
|
|||||||||||||||||||||||||
|
|
|
| |
φ1 |
φ2 |
φ2 |
| |
|
φ2 |
|
− φ1 |
φ2 |
|
'. Тогда |
|
|
|
|
|
|
|
|
|
|
|
|
|
' |
|
|
|
|
|
|
|
|
||||||
( ) = |φ1 |
|
| = φ1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||
|
|
|
| |
|
|
|
| |
|
|
|
|
|
|
|
|
|
| |
|
|
|
|
|
|
|
| |
|
| (1) |
|
|
|
|
(2)' | |
|
|
| |
|
|
|
||||
|
|
(1)' |
(2) |
(1) |
(2)' |
|
(2)' |
|
(1) |
|
|
(2) |
(1) |
|
(1)' |
(2)' |
|
(1) |
(2) |
|
|
(2) |
(1) |
|
|
|
(1) |
|
||||||||||||||
|
|
= φ1 φ2 |
+ φ1 |
φ2 |
|
|
− φ1 |
φ2 |
− φ1 |
φ2 |
|
= |φ1 |
|
φ1 |
|
φ2 |
φ2 |
| + |φ1 |
|
φ1 |
φ2 |
φ2 | = (10) = | 11( )φ1 |
|
+ |
||||||||||||||||||
удовлетворяет ОДУ |
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
(0 |
|
|
| |
) |
| |
|
|
|
|
|
|
| |
|
|
| |
|
(0 |
|||||||
( ) |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
( ) |
|
|
|
|
|
|
( ) |
|
|||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
= ( ) * ( ) |
|
|
|
= ( ) |
( ) = * ∫ (τ) τ |
|
0 |
|
= |
* 1 ( ) = 0 |
|
exp |
∫ |
|||||||||||||||||||||||||||
Вопрос 17 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
Построение ОСЛОДУ по заданной ФСР |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||||||||||||||
Теор. Пусть φ(1)( ) |
↓ |
, …, φ( )( ) ↓ |
−с-ма непр. дифф. ф-ий на < , >. Тогда ОСЛОДУ с непр. на < , > |
|
|
||||||||||||||||||||||||||||||||||||||||||||
коэфф., для |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
к-ой данный набор ф-ий явл. ФСР на < , > сущ. φ(1)...φ( )( )≠0 на < , > |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
Док-во: . Если φ(1)( ) |
↓ , …, φ( )( ) |
|
↓ |
|
−ФСР нек. ОСЛОДУ на |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
< , >, |
то φ(1)( ) |
|
↓ , …, φ( )( ) ↓ |
|
− ЛНЗ на < , > φ(1)...φ( )( )≠0 < , > |
|
|
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||||||||||||||
. Пусть φ(1)...φ( )( )≠0 на |
< , >.Рассм. ОСЛОДУ |
| |
(1) |
|
( ) |
|
|
|
|
(1) |
( ) |
|
|
|
(1)' |
|
|
( )' |
' |
|
| |
|
|
|
| |
||||||||||||||||||||||||
| |
|
(1) |
|
( ) |
1 ... |
|
|
(1) |
( ) |
|
(1)' |
|
|
( )' |
' |
| |
|
|
1 ... |
|
|
|
|
|
|
|
|
|
|||||||||||||||||||||
{|φ1 ... φ1 |
φ |
... φ |
|
φ1 |
|
... φ1 |
1 |
| = 0 |φ1 ... φ1 |
|
φ |
... φ |
|
φ2 ... |
φ2 |
2 |
| = 0 …… | |
|||||||||||||||||||||||||||||||||
| |
|
|
|
|
|
|
|
|
|
|
|
↓ |
, …, φ( )( ) |
|
|
| |
| |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| |
|
|
|
| |
|||||
Каждый из столбцов φ(1)( ) |
↓ удовлетворяет этой ОСЛОДУ. Раскроем теперь все определители |
|
|
||||||||||||||||||||||||||||||||||||||||||||||
по последнему столбцу, получим : |
|
|
|
' |
|
|
|
|
(2) |
|
|
|
(2) |
|
|
|
|
|
|
(2) |
|
|
' |
|
|
|
|
|
|
|
|
||||||||||||||||||
{ |
|
* |
(1) |
+ |
|
* |
(1) |
+ … + |
|
* |
(1) |
+ |
* ( ) = 0 |
|
+ |
|
* |
+ … + |
|
* |
+ |
* ( ) = |
0 …… |
|
* |
||||||||||||||||||||||||
1 |
1 |
1 |
2 |
|
|
|
1 |
1 |
* (1) |
|
1 |
2 |
|
|
2 |
1 |
|||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
(1) |
|
|
|
|
( ) |
|
|
|
|
|
( ) |
|
|
||||||||||||||||
Т.к. φ(1)...φ( )( )≠0 на |
< , >, то получаем (11) { 1' =− |
1 − … − |
|
... ' |
=− |
1 |
− … − |
|
|
|
|
||||||||||||||||||||||||||||||||||||||
|
1 |
|
|
|
|||||||||||||||||||||||||||||||||||||||||||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
это и есть ОСЛОДУ с непр. коэфф.
В процессе док-ва построена такая система для которой данный набор функции является ФСР системы.
