Скачиваний:
0
Добавлен:
12.02.2026
Размер:
1.17 Mб
Скачать

ОСЛОДУ ( 21о ) , тогда в силу 1o Wy (t) 0 на a, b , в том числе и при t t0 , т.е.

Wy (t0 ) 0 .

Достаточность. Пусть существует t0 a, b , для которого Wy (t0 ) 0 , тогда по формуле Лиувилля ( 31 ) Wy (t) 0 для любого t a, b , а это означает, что столбцы

n

 

y j (t) j 1

образуют линейно зависимую систему на a, b .

( 3o ): Необходимость. Доказательство проведем от противного. Предположим, что

n

 

 

y j (t) j 1

 

 

– линейно независимая система решений ОСЛОДУ ( 21о ) , но существует

 

 

n

t0 a, b , для которого Wy (t0 ) 0 .

Тогда в силу свойства 2o система y j (t) j 1

должна быть линейно зависимой – противоречие.

Достаточность. Доказательство проведем от противного. Пусть Wy (t) 0 для любого

 

n

 

t a, b ,

но решения y j (t) j 1

образуют линейно зависимую систему на a, b .

Тогда в силу свойства 2o существует t0 a, b , для которого Wy (t0 ) 0 противоречие.

( 4o ): Доказательство проведем от противного. Предположим существует t1 a, b такое,

что Wy (t1 ) 0 ,

и в то же время существует t0 a, b , для которого Wy (t0 ) 0 .

Тогда

 

n

 

 

 

по свойству 2o

система решений y j (t) j 1

будет линейно зависимой на

a, b , а в силу

свойства 1o Wy (t) 0 на a, b – противоречие.

 

#

§ 6. Неоднородные системы линейных ОДУ .

6.1. Общее решение неоднородной системы линейных ОДУ.

Рассмотрим неоднородную систему вида:

 

 

dy (t )

A(t ) y

(t ) f

 

(t ) ,

t a, b ,

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f

(t)

 

 

 

 

 

 

n

 

 

 

 

 

1

 

 

 

ai j , fi C a, b

 

 

где

, f

 

(t)

 

,

для любых i, j 1, n

A(t ) aij (t ) i , j 1

 

 

. . .

 

 

 

 

 

 

 

 

 

fn (t)

 

 

 

 

Которой соответствует однородная система линейных ОДУ первого порядка:

 

dy (t )

A(t ) y (t ) ,

t a, b .

 

 

 

dt

 

 

 

 

n

 

Теорема 6.1. Пусть y j (t) j 1

 

ФСР системы ( 21о ) .

Тогда общее решение неоднородной системы ( 21 ) вычисляется по формуле:

(21 )

.

( 21о )

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

y

он (t) C j

y j

 

(t) y

чн (t)

,

 

 

 

 

 

 

 

 

(32 )

 

 

 

j 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где C j произвольные постоянные из

для любого

j 1, n ;

или кратко:

 

y

он

(t) y

 

оо (t) y

чн (t)

,

t a, b .

 

 

 

(33 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

#Пусть y оо (t) есть общее решение однородной системы ( 21о ), а y чн (t )

некоторое частное решение неоднородной системы ( 21 ) . Рассмотрим вектор функцию u (t) y оо (t) y чн (t) .

1) Вычислим

u

(t) A(t)u (t) y

(t) y

(t) A(t) y

(t) A(t) y

(t) 0 f

 

(t) f

 

(t) ,

 

 

oo

чн

оо

чн

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

это означает, что u

(t )

 

 

 

 

и j 1, n .

является решением системы ( 21 ) при любых C j

 

 

 

 

 

 

 

 

 

 

 

 

2)

Для произвольного частного решения y (t)

системы ( 21 ) рассмотрим равенство

 

 

 

 

 

 

 

n

 

 

 

 

 

y

(t) y

оо (t) y

чн (t)

или

y

(t) y чн (t)

C j y j

 

(t) . (*)

 

 

 

 

 

 

 

 

 

 

j 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Равенство (*) представляет из себя разложение элемента y (t) y чн (t) из H по базису

n

 

 

y j (t) j 1

пространства H . Следовательно, существуют единственные коэффициенты

n

 

 

C j j 1 этого разложения.

 

Итак, в силу доказанных пунктов 1),2) вектор-функция u (t )

является общим

 

 

#

решением неоднородной системы ( 21 ) .

6.2.Нахождение частного решения неоднородной системы методом вариации постоянных.

Теорема 6.2. Пусть Y(t ) фундаментальная матрица однородной системы ( 21о ). Тогда частное решение системы ( 21 ) имеет вид:

t

y чн (t) Y(t) Y-1 ( ) f ( )d , для любого t a, b (34 )

t0

илюбого фиксированного t0 a, b .

# Пусть Y(t ) фундаментальная матрица однородной системы ( 21о ). Тогда в силу

формулы ( 28 )

y оо (t) Y(t)С .

 

 

 

 

 

 

 

 

 

 

 

 

Будем искать частное решение неоднородной системы ( 21 ) в следующем виде:

y (t) Y(t)q (t) ,

где q (t) – неизвестная вектор-функция .

 

 

 

 

 

 

Найдем y

(t) Y (t)q (t) Y(t)q (t) , а в силу свойства 1o теоремы 5.3 получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y (t) A(t) Y(t)q

(t) Y(t)q (t)

(*) . Подставив (*) и y (t) Y(t)q

(t) в систему ( 21 ),

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

приводим ее к равенству A(t) Y(t)q (t) Y(t)q (t) A(t) Y(t)q

 

(t) f

 

(t) , тогда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Y(t)q (t)

f

 

(t) , а в силу свойства 3o теоремы 5.3

q (t ) Y-1

(t) f

 

(t ) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Интегрируя последнее равенство, получаем q (t) t

Y-1 ( ) f ( )d

(**) для любых

 

 

 

 

 

 

 

 

 

 

 

 

t0

 

 

 

 

 

 

 

t, t0 a, b

. Используя равенство (**) находим частное решение системы ( 21 ) в виде:

y чн (t) Y(t) t

Y-1 ( ) f ( )d ,

 

для любого t a, b .

 

 

 

 

 

#

 

 

t0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

Следствие 6.1. Пусть y j (t) j 1

 

 

 

 

 

 

 

 

 

 

 

ФСР системы ( 21о ) .

 

 

 

 

 

 

Тогда справедливы следующие формулы:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y он (t) Y(t)С

Y(t) Y

-1

( ) f ( )d ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(35 )

 

 

 

 

 

 

 

 

 

t0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где Y(t ) фундаментальная матрица однородной системы ( 21о ) ;

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

y он (t) Y(t) Y

-1

(t0 ) y (t0 )

Y(t) Y

-1

( ) f ( )d ;

 

 

 

или

 

 

 

 

 

 

 

 

(36 )

 

 

 

 

 

 

 

 

 

 

 

t0

 

 

 

 

 

 

 

 

t

или y он (t) K(t, t0 ) y (t0 ) K(t, ) f ( )d , (37 )

t0

где K(t, ) матрица Коши.

# Формула ( 35 ) следует из формул ( 34 ), ( 33 ) и ( 28 ) . Формула ( 36 ) следует из формулы ( 35 ) с учетом формулы ( 29 ) .

 

 

 

#

Формула ( 37

) следует из формул ( 36 ) и ( 30 ) .

6.3. Системы линейных ОДУ над множеством комплексных чисел.

Рассмотрим неоднородную систему

 

w

(t) A(t)w

 

(t) f

 

(t) ,

 

 

 

 

 

 

 

 

(21*)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где w

(t) u (t) i v (t) ,

f

 

(t) (t) i

 

(t) ,

A a

 

n

,

 

 

 

 

 

 

 

 

 

 

j k j,k 1

 

a j k (t) j k (t) i j k (t) , здесь uj (t),vj (t), j (t), j (t), j k (t), j k (t) – вещественные

 

 

 

 

 

 

 

 

 

функции действительной переменной t для любых

j, k 1, n .

 

При этом функции j , j , j k , j k C a, b

 

 

 

 

 

 

j, k 1, n .

 

 

 

 

 

 

 

 

 

Зафиксируем любое k 1, n ,

 

тогда (21*) можно записать в виде:

 

 

 

 

n

 

 

 

 

 

w

 

a

 

(t)w

(t)

 

k

 

k j

 

j

 

 

 

 

 

j 1

 

 

 

 

 

u

(t) i v

(t)

n

 

 

 

 

k

 

 

k

 

 

k j

 

 

 

 

 

 

j 1

 

fk (t) или после подстановки

(t ) i

k j

(t ) u

(t ) i v

(t )

 

(t ) i

.

 

j

j

 

k

 

k

Два комплексных числа равны, если равны их действительные и мнимые части:

u

 

n

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

(t )

 

 

k j

(t)u

(t)

 

 

k j

(t)v

(t)

k

(t) ,

 

 

k

 

 

j

 

 

j

 

 

 

 

 

 

 

 

 

j 1

 

 

 

 

j 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 1, n

(21)

 

 

 

n

 

 

 

 

n

 

 

 

 

 

 

 

v

(t)

 

 

k j

(t)u

(t)

 

 

k j

(t)v

(t)

k

(t)

 

 

k

 

 

j

 

 

j

 

 

 

 

 

 

 

 

 

j 1

 

 

 

 

j 1

 

 

 

 

 

 

 

 

 

 

 

Итак, получена неоднородная система 2n уравнений с 2n неизвестными функциями

u

(t), v (t) n

.

 

 

k

k

k 1

 

 

 

Тогда все результаты, полученные ранее, переносятся на систему ( 21 ) .

Следствие 6.2. Пусть

w (t) u (t) i v (t) комплеснозначная функция

вещественной переменной t , которая является решением системы:

 

 

 

w (t) A(t)w (t) ,

(21*0 )

 

 

 

 

 

 

где A(t ) вещественная матрица.

 

Тогда вектор-функции

u (t) Re[w (t)]

и v (t) Im[w (t)]

являются решениями системы ( 21*0 ) .

 

#Утверждение следствия следует из формул ( 21 ), т.к. k j (t) 0 , k (t ) 0 и

 

 

 

 

#

k (t ) 0

для любых j, k 1, n на a, b .

§ 7. Системы линейных ОДУ с постоянными коэффициентами.

Рассмотрим неоднородную систему вида:

 

 

 

y

(t) A y

(t) f

 

(t) ,

t a, b ,

 

 

 

 

 

 

 

 

 

(41 )

 

 

 

 

 

 

 

 

 

 

 

где

A a

n

является, вообще говоря, комплексная матрица, а y (t) ,

f

 

(t)

 

 

j k j,k 1

 

 

 

 

 

 

 

комплекснозначные вектор-функции.

7.1.Построение ФСР для однородной системы линейных ОДУ с постоянными коэффициентами.

Рассмотрим однородную систему вида:

y (t) A y (t) ,

где y

(t) u

(t) i v (t) ,

A a

n

 

i

 

 

 

 

 

j k j,k 1

j k

 

j k

(410 )

n

j,k 1

.

 

 

 

 

 

 

 

 

 

 

 

 

Решение однородной системы ( 410 ) существует и определено на . Будем искать

его в виде

y (t ) h e t ,

т.е. найдем вектор h

n и число

, причем h

0 .

 

 

 

 

 

 

 

 

 

 

 

 

Подставив

y

(t ) h e

t

 

 

h e

t

A h e

t

или A h h

 

в систему ( 410 ), получим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при h 0 .

 

 

 

 

 

 

 

 

 

 

Вывод 7.1. Для того чтобы вектор-функция

y

(t ) h

e t была решением системы (

 

 

 

 

 

 

 

 

 

 

 

 

410 ) необходимо и достаточно, чтобы число было бы собственным числом матрицы

A , а

вектор h собственным вектором, соответствующим этому собственному числу.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим различные случаи построения ФСР однородной системы ( 410 ).

Случай 1

(Все собственные числа матрицы A – простые вещественные, т.е. их

алгебраическая кратность равна 1)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

собственные числа, а hj j 1

 

 

 

Теорема 7.1.

 

Пусть j j 1

соответствующие им

собственные векторы матрицы A , причем j

k при j k

 

 

 

для любых j, k 1, n .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

y j (t ) hj e

j t

j 1 .

Тогда ФСР системы ( 410 ) будет иметь вид

 

 

# Для любого

 

 

 

 

 

 

(t ) hj

 

e j t является решением системы

j 1, n вектор-функция

 

y j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( 410 ) (см. Вывод).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим систему y j (t) j 1

и построим вронскиан при t 0

W (0) det

h

, ..., h

 

 

0 , поскольку

 

 

 

при

j k . Тогда в силу свойств 4o и 3o

y

1

 

n

 

 

 

 

j

 

 

 

k

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y j (t) j 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

#

теоремы 5.5

ФСР системы ( 410 ).

 

 

 

 

 

 

 

Случай 2 (Собственные числа матрицы A кратные, но матрица A диагонализируема,

т.е. геометрическая кратность каждого собственного числа равна алгебраической или

 

 

 

 

n

существует базис пространства

n , состоящий из собственных векторов hj j 1

матрицы A .)

 

 

 

 

Теорема 7.2. Пусть A диагонализируемая матрица или алгебраическая кратность

всех ее собственных чисел j n

совпадает с их геометрической кратностью , т.е.

j 1

 

 

 

 

 

 

n

 

существует линейно независимая система hj j 1

, состоящая из собственных векторов

матрицы A .

 

 

 

 

Тогда вектор-функции y j (t ) hj e

j t

 

 

 

образуют ФСР однородной системы ( 410 ).

#Доказательство этой теоремы проводится аналогично доказательству теоремы 7.1,

n

 

 

 

 

 

 

 

 

т.к. hj j 1

является базисом пространства

n .

 

 

 

#

Случай 3

(Матрица A не диагонализируемая, т.е. существует собственное число

p , у которого геометрическая кратность < алгебраической).

В линейной алгебре было приведено

 

 

 

 

 

Определение 7.1. Вектор

hp 1

называется присоединенным вектором к

 

 

 

 

 

 

 

 

 

собственному вектору hp , соответствующему собственному числу p матрицы A ,

если выполнено следующее равенство (A pE)hp 1

hp

 

.

 

 

 

 

 

 

 

 

Утверждение 7.1. (Теорема Жордана)

 

 

 

 

 

Для любой матрицы A a

n

 

i

n

существует базис пространства

 

 

j k j,k 1

j k

 

j k j,k 1

 

 

n , состоящий из собственных и присоединенных векторов этой матрицы, причем собственному числу p с алгебраической кратностью k соответствует k линейно

независимых векторов (например, один собственный вектор hp

 

и k 1 присоединенных

 

 

 

 

 

 

 

 

 

 

 

 

 

векторов hp 1

 

, … , hp k 1

 

, удовлетворяющих следующим уравнениям:

 

 

 

 

 

 

 

 

 

 

 

 

(A

 

E)h

p

0 ,

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

.

 

(*)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(A pE)hp j

 

hp j 1

 

,

j 1, k 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

# Без доказательства.

#

Теорема 7.3. Пусть матрица A имеет собственное число p

алгебраической

кратности k и геометрической кратности 1 ( p p 1 ... p k 1 ).

Тогда собственному числу p соответствует k линейно независимых решений однородной системы ( 410 ) вида:

 

t j

 

 

 

t j 1

 

 

 

 

 

t

 

 

 

 

j t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y

p j (t )

 

 

hp

 

 

 

hp 1

 

...

 

 

 

hp j 1

hp j

 

e

 

, j 0, k 1 ,

(42 )

 

 

 

 

 

 

 

j !

 

 

( j 1)!

 

 

 

1!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k 1

 

 

 

 

 

 

 

 

 

где hp собственный вектор, а hp j j 1

присоединенные векторы матрицы A .

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

При этом решения yq (t) q 1

, построенные таким образом для всех собственных

чисел q , образуют ФСР однородной системы ( 410 ) .

#Пусть p собственное число матрицы A алгебраической кратности k , и hp

собственный вектор, соответствующий этому собственному числу, а hp 1 , ..., hp k 1

присоединенные векторы к hp .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(t)

t j

 

 

 

 

 

 

 

 

 

 

 

t j 1

 

 

 

 

 

 

...

 

t

 

 

 

 

 

 

 

hp j

 

 

 

 

 

 

 

 

 

 

 

 

 

Обозначим

 

z p j

 

hp

 

 

 

 

 

 

hp 1

 

 

 

hp j 1

 

 

, j 0, k 1 .

 

 

 

 

j !

 

 

 

 

 

 

 

 

 

 

 

1!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( j 1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Очевидно, что

 

d

z p j

 

(t ) z p j 1

 

 

 

(t ) .

(**)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Рассмотрим вектор-функцию

 

y

p j

 

(t) z

p j

 

(t) e j t и найдем ее производную по t :

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d

 

yp j

 

(t)

d

z p j

 

 

(t) e j t z p j

 

 

 

(t) je j t

z p j 1

 

 

 

(t) e j t

z p j

 

(t) je j t ,

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

для любого

j 0, k 1 , а произведение

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

A y p j (t ) A z p j (t ) e j t

 

 

t

j

 

 

 

 

 

 

 

 

 

 

 

t j 1

 

A hp 1 ...

t

 

 

 

 

 

A hp j e j t

 

 

 

 

 

 

 

A hp

 

 

 

 

 

 

 

 

A hp j 1

 

 

 

 

 

 

 

 

 

 

1!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j !

 

 

 

 

 

 

 

 

 

 

 

( j 1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

j

 

 

 

 

 

 

 

 

 

 

 

t j 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

]в силу равенств (*)[

 

 

 

php

 

 

 

 

 

 

 

 

 

 

 

 

 

 

( php 1

 

hp

 

) ...

 

 

 

( php j 1

hp j 2

 

)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j !

 

 

 

 

 

 

 

( j 1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

) e j t p z p j

 

 

 

(t) e j t z p j 1

 

(t) e j t ,

 

 

 

 

 

 

( php j

 

hp j 1

 

 

 

 

для любого

j 0, k 1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

d

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно,

 

 

y p j (t) A y p j (t) ,

для любого

 

j 0, k 1 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Итак,

 

yp j

 

(t), ..., yp k 1

 

(t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

решения однородной системы ( 410 ), соответствующие

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

собственному числу p .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Аналогично строятся остальные решения ys (t)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

однородной системы ( 410 ),

 

 

 

 

 

соответствующие другим собственным числам s . По теореме Жордана все собственные

и присоединенные векторы hq n

образуют базис пространства

n .

 

 

 

 

 

q 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Тогда полученные решения однородной системы ( 410 ) образуют линейно независимую

систему yq

 

n

, поскольку при t 0 вронскиан Wy (0) det h1

, ..., hn

0 .

 

 

q 1

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

Итак, вектор-функции yq (t ) q 1

 

 

 

 

#

образуют ФСР однородной системы ( 410 ) .

Замечание 7.1. В ходе доказательства теорема 7.3 для построения ФСР однородной

 

 

k

 

 

 

системы ( 410 ) нам нужны были вектор-многочлены z p j (t ) j 0 .

При j 0 z p (t) hp , где hp собственный вектор, соответствующий собственному

числу p . Чтобы найти z p 1

 

(t) надо проинтегрировать (см. формулу (**))

 

 

вектор-многочлен z p (t) по t

и взять в качестве постоянного вектора присоединенный

вектор hp 1 . И так далее.

 

 

 

 

 

 

 

 

Замечание 7.2. На практике часто решения системы ( 410 ) , соответствующие

собственному числу p с алгебраической кратностью k и геометрической 1, ищутся

 

 

(t) (С1

t k 1 С2

 

t k 2 ... Сk 1

 

t Сk

 

)e pt

 

 

 

 

 

 

в виде

y

 

 

 

, где С j

 

,

j 1, k неизвестные

 

 

 

 

 

 

 

 

 

 

 

 

постоянные векторы, координаты которых находятся при подстановке в систему ( 410 ) этой вектор-функции и сравнении коэффициентов при одинаковых степенях t .

Замечание 7.3. В случае, когда алгебраическая кратность собственного числа p

равна k , а геометрическая равна l k , то решение будем искать в виде:

y (t) (С1 t k l С2 t k l 1 ... Сk l 1 t Сk l )e pt .

7.2.Выделение вещественных решений для однородной системы линейных ОДУ с вещественными коэффициентами.

Пусть в однородной системе

 

 

 

y

(t) A y (t) ,

 

(430 )

 

 

 

 

 

 

 

матрица

A a

n

является вещественной с постоянными элементами a

 

 

 

 

j k j,k 1

 

 

j k

 

для любых j, k 1, n .

Замечание 7.4. Если характеристическое уравнение det(A E) 0 с вещественной

матрицей A имеет корень i , то комплексно сопряженное число i также будет корнем этого уравнения.

Теорема 7.4. Пусть i комплексное собственное число вещественной матрицы A и y (t) – соответствующее ему комплекснозначное решение однородной

системы (430 ) .

Тогда комплексно сопряженная вектор-функция y (t) является комплекснозначным

решением системы (430 ) , соответствующим собственному числу i . Более того u (t) Re[ y (t)] и v (t) Im[ y (t )] являются линейно независимыми

вещественными решениями однородной системы (430 ) .

# Если 0 комплексное собственное число матрицы A , то в силу замечания 7.4

0 также является собственным числом матрицы A . Более того, пусть h0

собственный вектор, а h0 1 , ..., h0 k 1 – присоединенные векторы матрицы A ,

соответствующие собственному числу 0 . Тогда собственный вектор h0 должен удовлетворять однородной системе (A 0Е)h0 0 или (A 0Е)h0 0 , а в силу того, что матрица A вещественная, получим (A 0Е)h0 0 . Это означает, что h0

является собственным вектором матрицы A , соответствующим собственному числу 0 .

Аналогично для присоединенных векторов: из равенства (A 0Е)h0 1 h0 следует равенство (A 0Е)h0 1 h0 . И так далее. Наконец, из равенства

(A 0Е)h0 k 1 h0 k 2 следует равенство (A 0Е)h0 k 1 h0 k 2 . Это означает, что h0 1 , ..., h0 k 1 – присоединенные векторы матрицы A , соответствующие собственному числу 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Теперь предположим, что y (t) есть решение однородной системы (430 ) ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

соответствующее собственному числу 0 ,

т.е.

 

y

(t) A y

(t) 0

 

, тогда справедливо

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

следующее равенство y

(t) A y (t) 0

или

 

y

(t) A y

(t) 0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Следовательно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

y (t) также является решением системы (430 ) .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку решение однородной системы (430 ) , соответствующее собственному числу

0 , представляется в следующем виде

y (t ) Рm (t )e 0t , где Рm (t) – вектор-многочлен

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(t )e 0t

 

 

 

 

 

 

 

 

степени m , то вектор-функция вида y (t ) Рm

 

является решением однородной

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 , а так как собственные числа

системы (430 ) , соответствующим собственному числу

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0 и 0

 

различные, т.е.

0 0 , то решения y

 

(t) и

y (t) будут линейно

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

независимыми.

Следовательно, будут линейно независимыми и вектор-функции

 

 

1

y (t)

 

(t)

Re[ y (t)] и

v (t)

 

1

y

 

 

(t)

Im[ y (t )] ,

u (t)

 

y

 

(t) y

 

 

 

 

 

 

2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2i

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

которые являются решениями однородной системы (430 ) (как линейная комбинация

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

#

решений однородной системы (430 ) ).

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Вывод 7.2. Для того, чтобы найти вещественные решения однородной системы (430 )

с постоянными коэффициентами, необходимо одним из методов, указанных в теоремах

7.1, 7.2, 7.3 , построить ФСР однородной системы (430 ) , вообще говоря, комплекснозначную. Затем в комплексно сопряженных решениях отделить действительные и мнимые части, получив тем самым n линейно независимых вещественных решений однородной системы (430 ) .

7.3. Решение неоднородных систем линейных ОДУ с постоянными коэффициентами.

Рассмотрим неоднородную систему вида:

 

 

 

 

 

y

(t) A y (t) f

 

(t) ,

 

 

 

 

 

 

 

 

 

 

 

(43 )

 

 

 

 

 

 

 

 

 

 

 

 

где матрица

A a

n

, в общем случае, с комплексными элементами, а вектор-

 

 

 

 

j k j,k 1

 

 

 

 

 

 

 

функция f

 

(t) комплекснозначная, т.е.

f

 

(t) (t) i

 

(t) ,

j , j C a, b

 

 

 

 

 

 

 

 

 

 

для любого

j 1, n .

 

 

 

 

 

 

 

Как было доказано в теореме 6.1 общее решение неоднородной системы ( 43 ) имеет

вид:

y

он

(t) y

оо

(t) y

чн (t) ,

t a, b

(см. формулу ( 33 )) .

 

 

 

 

 

 

 

 

 

Предположим, что найдено общее вещественное решение y оо (t) однородной

системы (430 ) одним из способов, описанных в пунктах 7.1 и 7.2. Рассмотрим теперь способы нахождения частного решения системы ( 43 ).

I. Частное решение y чн (t ) неоднородной системы ( 43 ) может быть найдено методом вариации постоянных, описанном в пункте 6.2.

II. Рассмотрим еще один метод, часто применяемый на практике, – метод подбора частного решения системы ( 43 ) по виду вектор-функции f (t) .

Пусть неоднородность системы ( 43 ) имеет вид:

f (t) ( p0 p1 t ... pm t

m

 

t

 

 

 

 

 

 

 

)e

 

 

 

,

 

 

(44 )

где p j – заданные комплексные векторы ,

 

j 1, m ; а a ib .

 

Тогда частное решение неоднородной системы ( 43 ) предлагается искать в виде:

y (t) (q0 q1 t ... qm l t

m l

 

 

t

 

 

 

 

 

 

)e

 

,

 

 

(45 )

где q j – комплексные векторы с неизвестными координатами, j 1, m l ;

а

0, если не совпадает с собственным числом матрицы A ,

. (46)

l

 

 

 

 

 

 

 

 

 

k, если есть собственное число матрицы A алгебраической кратности k

 

Замечание 7.5. Если вектор-функция f (t)

 

есть некоторая линейная комбинация

вектор-многочленов, умноженных на экспоненты с разными , то частное решение y чн (t ) надо искать в виде суммы комбинаций вида ( 45 ), своих для каждого .

Замечание 7.6. Если f (t) есть вещественная вектор-функция, полученная из ( 44 )

как ее действительная или мнимая часть, то вещественное решение может быть получено из ( 45 ) выделением соответственно действительной и мнимой частей равенства ( 45 ).

Соседние файлы в папке Ещё лекции