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

Готовые билеты

.pdf
Скачиваний:
6
Добавлен:
17.05.2024
Размер:
3.03 Mб
Скачать

Вопрос 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

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

это и есть ОСЛОДУ с непр. коэфф.

В процессе док-ва построена такая система для которой данный набор функции является ФСР системы.