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

книги / Обыкновенные дифференциальные уравнения

..pdf
Скачиваний:
1
Добавлен:
12.11.2023
Размер:
2.7 Mб
Скачать

δ2

δ

Рис. 6.7

Следовательно, решение x = 0, y = 0

не является устойчивым, а тем

более асимптотически устойчивым при t →+∞

(рис. 6.7).

6.4.Устойчивость линейной дифференциальной системы

спостоянной матрицей

Рассмотрим систему

 

d x = Ax ,

(6.31)

dt

где A =[ajk ] – постоянная (n × 1) – матрица. Положим

x = eAt u,

тогда, учитывая свойства экспоненциала матрицы (прил. 2), будем иметь

 

d x

e At

d u

+ Ae At

 

= Ae At

 

,

 

 

u

u

 

 

dt

 

 

 

 

dt

 

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

e At

d u

= 0.

(6.32)

 

 

 

 

 

 

 

 

 

dt

 

 

 

 

 

 

Поскольку d et e A t = e tS p A ≠ 0 , то матрица e A t неособенная. Поэтому из (6.32) получаем

d u = 0 dt

и, следовательно,

u=c,

где c – постоянная (n × 1)-матрица

Таким образом, общее решение системы (6.31) с постоянной матрицей

A есть

 

 

 

 

 

 

 

= eAt

 

.

 

 

 

(t0 ) =

 

 

x

c

(6.33)

Пусть

 

 

0 . Из формулы (6.33) имеем

 

x

x

 

141

 

 

 

x0 = eAt0 c ,

т.е.

c =eAt0 x0 ,

и, значит,

 

 

 

=eA(tt0 )

 

0 .

 

 

x

x

(6.34)

Пусть λ 1,,λ m ( m n ) – собственные значения матрицы

A , отвечающие

различным клеткам Жордана, и e1,,em – соответствующие им порядки

клеток Жордана. Обозначим через S неособенную матрицу, приводящую матрицу A к жордановой форме:

A = S1diag[J1(λ 1),, Jm (λ m )]S ,

где J p (λ p )

( p = 1,, m )

– соответствующие клетки Жордана (прил. 1).

 

 

 

 

Тогда на основании свойств экспоненциала (см. прил. 2) из формулы

(6.34) получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(t) = S 1diag[exp(t t0 )J1(λ 1),,exp(tt0 )Jm (λ

 

 

 

 

 

 

где

 

 

x

m )]S x(t0 ) ,

 

(6.35)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ

p

(tt

)

 

 

(t t

0

)

 

( p)

(t t

0

)2

 

( p)

 

 

(t t

0

)ep 1

 

( p)

 

exp[(t t

0

)J

p

(λ

p

)]= e

 

0

 

[E +

 

 

 

I

1

+

 

 

I

2

+

…+

 

 

 

 

I

ep

1

],

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ep

1!

 

 

 

 

2!

 

 

 

 

 

 

(ep 1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где I (j p) ( j =1,,ep 1)

 

– соответствующие единичные косые ряды.

 

 

 

 

 

 

Теорема 6. Линейная однородная система (6.31) с постоянной матрицей

A устойчива

тогда

и

только

тогда,

когда

все

 

характеристические

корни

λ j= λ j (A) матрицы A обладают неположительными вещественными частями

Reλ j (A)0 ( j = 1,, n ) ,

причем характеристические корни, имеющие нулевые вещественные части, допускают лишь простые элементарные делители (т.е. соответствующие клетки Жордана сводятся к одному элементу).

Доказательство.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1. Докажем сначала достаточность условий теоремы.

 

 

 

корни

Пусть

j

j

iβ

j

( j

=

1,

, p ) –

все

характеристические

 

 

 

λ = α +

 

 

 

 

 

 

 

 

 

 

 

матрицы A

с

отрицательными

вещественными

частями

α j , отвечающие

различным клеткам Жордана, и

λ k= iγ k (k =1,,q)

все характеристические

корни матрицы

A с вещественными частями, причем

p + q = m

общее

число клеток Жордана в нормальной форме матрицы

A . Тогда

в силу

формулы (6.35) любое решение системы (6.31) имеет вид

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

 

 

 

q

 

 

 

 

 

 

 

 

 

(t) = eα

it (cosβ jt+ isinβ jt)

 

j (t+)

(cosγ

k+t isinγ

 

 

 

 

 

x

P

kt)ck ,

(6.36)

 

 

 

 

j=1

 

 

 

 

 

 

 

 

 

k=1

 

 

 

 

 

 

 

142

где P j (t ) – некоторые полиномиальные вектор-функции, степень которых

ниже кратности корня λ j , и ck – постоянные вектор-столбцы. Поскольку

α j< 0,

eα it

 

 

0 при t →+∞ .

 

Pj (t )

Кроме того,

 

 

 

 

 

 

 

 

 

cos γ kt + isin γ kt

 

=1.

 

 

 

 

Поэтому из формулы

 

вытекает, что каждое решение

 

(t)

(6.36)

x

ограниченно на полуоси t0 t<∞ .

Следовательно, на основании теоремы 4 система (6.31) устойчива. 2. Докажем теперь необходимость условий теоремы.

Пусть система (6.31) устойчива. Покажем сначала, что все характе-

ристические корни λ j

 

 

матрицы A имеют неположительные вещественные

части. Действительно,

 

 

предположим,

 

что

найдется собственное значение

λ s=σ+ τi матрицы A такое, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Reλ s=σ> 0.

 

 

 

 

Тогда, как известно, система (6.31) имеет нетривиальное решение вида

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= eλ

st

 

,

 

 

 

 

 

 

 

 

 

 

ξ

c

 

 

 

 

 

0. Отсюда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

eλ st

 

 

 

 

 

 

 

 

 

 

 

= eσ t

 

 

 

 

 

→ ∞

при t →∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ

c

c

и, таким образом, решение не ограниченно, что противоречит устойчивости системы. Поэтому

 

 

Reλ j

0 ( j = 1,, n ) .

(6.37)

Покажем теперь,

что каждый

характеристический корень λ j с

нулевой

вещественной частью Reλ j=

0 имеет простые элементарные делители.

 

Действительно, предположим, что матрица A приведена к жордановой

форме

 

 

 

 

где

det S ≠ 0 ,

A = S1diag[J1(λ 1),, Jm (λ m )]S ,

 

причем

некоторому характеристическому

корню

λ s= i s (Reλ s= 0)

соответствует клетка Жордана

 

143

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

λ s

1

 

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

λ

 

 

0

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Js (λ s )=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

0

 

 

 

λ

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

типа es × ee , где es >1. Тогда

 

 

0

 

 

 

 

 

 

 

 

 

 

λ s

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

θ (t)=

S1diag[0,,etJs (λ s ) ,,0]S

 

 

 

 

 

 

 

 

(6.38)

будет являться матричным решением системы (30), так как

 

θ (t)=

S1diag[0,, Js (λ s )etJs (λ s ) ,,0]S=

 

S1diag[J1λ( 1),, Jλs ( s ),, Jλm (

m×)]S

 

 

 

 

 

 

 

× S1diag[0,,etJs (λ s ) ,,0]S=

 

 

 

 

 

 

Aθ

 

(t).

 

 

 

 

 

 

 

 

 

Из формулы (6.38) получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

diag[0,,etJs (λ s ) ,,0] = Sθ (t)S1.

 

 

 

 

 

 

 

 

 

 

Отсюда, оценивая по норме, будем иметь

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

diag[0,, etJ s ( λ s ) ,, 0]

 

 

 

=

 

etJ s (λ s )

 

 

 

 

 

S

 

 

θ

 

 

(t )

 

 

 

S 1

 

.

(6.39)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

t

 

 

 

 

 

 

 

tes 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

 

 

 

 

 

(es

 

 

1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

tes 2

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

etJs (λ s ) = eλ

st 0 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

(es

 

2)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

то, воспользовавшись, например, первой нормой при t

0 , получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

es 1

 

 

 

 

 

 

 

 

es 1

 

 

 

 

 

 

 

 

etJs (λ s )

 

= eσ t 1+

t

+…+

t

 

 

 

 

 

>

t

 

 

,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где

σ= Reλ =

0.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1!

 

 

 

 

 

 

 

 

 

(es 1)!

(es 1)!

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Из неравенства

(6.39)

выводим

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

θ (t)

 

 

etJs (λ s )

 

 

 

 

>

 

 

 

 

tes 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

S

 

 

 

S 1

 

 

 

 

 

(e 1)!

 

S

 

 

 

 

 

 

 

S 1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

s

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

при t

0 .

 

 

 

 

 

 

 

 

θ (t)

 

 

 

→ ∞

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Таким образом,

 

 

 

 

 

 

 

 

 

 

при t

 

, что невозможно для устойчивой

 

 

 

 

 

 

 

 

 

 

системы.

Теорема доказана.

Замечание. Устойчивая линейная однородная система с постоянной матрицей A равномерно устойчива относительно начального момента

t0 (∞ +∞,

) .

144

Действительно, поскольку решения устойчивой линейной системы ограничены, имеем

e At c при t ≥ 0.

Пусть x(t) – произвольное решение нашей системы. Тогда

x(t) = e(tt0 ) A x(t0 )

и, следовательно, при t t0 получаем

 

 

 

 

 

 

 

 

 

(t)

 

 

e(tt0 ) A

 

 

 

 

(t )

 

c

 

 

 

(t )< ε ,

 

 

 

 

 

 

 

 

 

x

x

x

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

0

 

 

если

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ε

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

<

 

 

= δ ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

x(t0 )

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

c

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

причем

число

δ

не зависит

 

от начального момента t0 .

Таким

образом,

тривиальное решение

 

 

равномерно устойчиво при t →∞

 

x

0

, а значит, и все

решения этой системы также равномерно устойчивы при t →∞

(теорема 2).

Теорема

7.

Линейная

 

однородная

 

дифференциальная

система (6.31)

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

когда

все характеристические корни

 

λ j= λ j (A) матрицы A

имеют

отрицательные вещественные части, т.е.

Reλ j (A)< 0 (j =1,,n).

Доказательство.

1. Докажем сначала достаточность условия теоремы. Пусть λ 1,…λ, m (mn) – все характеристические корни матрицы А, отвечающие различным клеткам Жордана, причем

Reλ j< 0 ( j =1,,m).

(6.40)

Изформулы(6.35) вытекает, чтокаждоерешениесистемы(6.31) имеетвид

m

x(t) = eλ it Pj (t) ,

j=1

где P j (t ) – полиномиальные матрицы. Отсюда на основании условия (6.40) получаем

lim x(t) = 0

t→+∞

и, следовательно, в силу теоремы 5 система (30) асимптотически устойчива.

2. Докажем теперь необходимость условия (39). Пусть система (6.31) асимптотически устойчива. Тогда эта система асимптотически устойчива по Ляпунову, при t →∞ и, следовательно, на основании теоремы 6 имеем

Reλ j0 ( j = 1,, m) .

(6.41)

145

 

 

Допустим, что

найдется

хотя

бы

один характеристический корень

λ s= i s (1≤ s

m) такой, что

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Reλ s= 0.

Тогда система (6.31) имеет решение вида

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= eλ st

 

 

 

(cosµ st+

i sinµ s t)

 

,

 

 

 

 

 

 

 

 

 

 

ξ

c

 

 

c

где

 

 

ненулевой вектор столбец

 

 

Поэтому

c

.

 

 

 

 

 

 

 

 

-

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

=

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ξ

 

 

c

 

0

 

 

и,

значит,

 

 

→/

 

 

при t →∞

 

 

 

 

что

противоречит асимптотической

ξ

0

 

 

,

 

устойчивости системы (6.31). Следовательно,

Reλ j< 0 ( j =1,, m) .

Теорема доказана полностью.

Замечание. Таким образом, чтобы доказать асимптотическую устойчивость линейной однородной системы (6.31), достаточно убедиться,

что все корни λ 1,…λ, n ее характеристического уравнения

det(A−λ E)= 0

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

сотрицательными вещественными частями.

6.5.Условия отрицательности действительных частей корней алгебраического уравнения

Критерий Гурвица

 

 

Рассмотрим полином

 

 

 

(n1),

 

f (z) = a + a z +

+ a zn

(6.42)

 

0

1

n

 

 

 

где z = x + iy – комплексное

число и

a0,a1,,an

– действительные или

комплексные коэффициенты.

 

 

 

 

 

 

Определение. Полином

f(z)

степени

n 1

называется

полиномом

Гурвица, если все его корни (нули) z1, z2,, zn обладают отрицательными вещественными частями

Rezj <0 (j =1,,n),

т.е. все корни z j расположены в левой комплексной полуплоскости.

В дальнейшем мы будем предполагать, что коэффициенты a0,a1,,an полинома f (z) действительны, причем

146

a0 > 0 , an ≠ 0.

(6.43)

Такой, очевидно, не имеющий нулевых корней полином для краткости будем называть стандартным полиномом степени n (n ≥ 1).

Установим простое необходимое условие для полинома Гурвица. Теорема. Если стандартный полином является полиномом Гурвица, то

все его коэффициенты положительны.

Доказательство. Пусть

( j =1,, p)

zj = −α j± iβ j

являются комплекснми корнями (β j

0) полинома Гурвица f(z) (1) и

zk =−γ k (k =1,,q)

являются действительными корнями этого полинома. В силу определения полинома Гурвица имеем

α j> 0, γ k >0.

(6.44)

Обозначим через σ j ( j =1,, p) кратность корня

zj = −α j+ iβ j ;

поскольку коэффициенты полинома (6.42) действительны, то сопряженный

корень

 

j = −α

jiβ j

 

имеет ту

 

 

же

 

 

 

кратность

 

σ j . Пусть

 

кратность

z

 

 

 

 

 

 

 

 

действительного корня

γ

k

(k

= …

 

есть

 

k

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1,

,q)

 

 

 

 

 

 

s .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Очевидно,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

p

 

 

 

 

 

 

q

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2σ j+

 

sk = n.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j=1

 

 

 

 

 

k =1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Пользуясь

известным

разложением

полинома

 

f (z)

 

на

 

линейные

множители, имеем следующее:

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

σ

 

 

 

 

 

 

 

 

σ

 

q

 

 

 

 

 

 

 

 

 

 

 

f (z) a

 

(z+ α − β i

 

)

j

+(zα + β

i

 

j

+ (γz

 

)

sk

,

 

 

 

 

 

 

j

 

 

j

)

 

k

 

 

 

 

 

 

 

 

n

 

 

j

 

 

 

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k=1

 

 

 

 

 

 

 

 

 

или

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

 

 

 

 

 

 

 

 

 

σ

 

 

 

 

 

 

σ

 

q

 

 

 

 

 

 

 

f (z) a

 

2

 

2α

 

+z α

2

 

 

 

 

2

 

 

j

+ β

 

 

i

 

j

+ γ(z

 

 

 

)

sk

. (6.45)

 

(z +

j

+ β

 

 

 

 

j

)

+(αz

j

 

j

)

 

 

 

k

 

 

 

n

 

 

 

 

 

j

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

j=1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

k =1

 

 

переменной z

Сравнивая

коэффициенты

при

 

одинаковых

 

степенях

 

в правой и левой частях тождества (6.45), получаем, что все коэффициенты полинома f (z) имеют одинаковые знаки. А поскольку в силу условия (6.43)

a0 >0, то

 

a1 >0, a2 >0, …, an >0.

(6.46)

Теорема доказана.

Замечание. Легко показать, что для стандартного полинома второй степени

147

f (z) = a0 + a1z + a2 z2

условие теоремы является достаточным, т.е. если

a0 >0, a1 >0, a2 >0,

то этот полином будет полиномом Гурвица.

Для стандартного полинома степени выше второй из положительности его коэффициентов в общем случае не вытекает, что этот полином есть полином Гурвица.

Пример 4. Полином

f (z) = 30 + 4z + z2 + z3

имеет лишь положительные коэффициенты, но не является полиномом

Гурвица, так как его корни есть z1 = −3, z2 =1+3i , z3 =13i .

Обозначим для краткости через Hn (n = 1, 2,…) совокупность всех стандартных полиномов Гурвица степени n, и пусть

H = H n

n =1

есть множество всех стандартных полиномов Гурвица.

Для вывода необходимых и достаточных условий для отношения f ( z ) H введем понятие присоединенных полиномов.

Определение. Полином

F ( z ) = Sf ( z ) ,

где

F ( z ) = (1 + α z ) f ( z ) + f ( z ) …(α > 0),

будем называть присоединенным к полиному f ( z ) .

Лемма 1. Полином, присоединенный к стандартному полиному Гурвица, есть стандартный полином Гурвица, т.е. если

f (z) Hn , то F(z) = Sf (z) Hn+1.

Доказательство. Рассмотрим полином

 

Ф (z) = (1+ α z) f (z)+ f (z),

(6.47)

где действительный параметр проходит отрезок 0 ≤

≤ 1 , причем

Ф1(z) = I(z).

 

Покажем, что корни z j ( ) ( j = 1, 2,, n + 1)

полинома Ф (z) при

[0, 1] расположены в левой полуплоскости Re z < 0 , т.е. полином Ф (z)

есть полином Гурвица.

Действительно, прежде всего, полагая

f (z) = a0 + a1z +…+ an zn ,

где

a0 >0, a1 >0, , an > 0,

148

будем иметь

 

 

 

 

 

 

 

Ф

 

(z) = b (µ) +b ( µ)z +… +b ( µ)zn + αa

 

zn+1 ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

0

 

 

 

 

 

1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

n

 

 

 

 

n

 

 

 

где bν ( ) ( ν = 0 ,1, 2 ,, n )

– линейные функции параметра .

 

 

 

Отсюда, учитывая, что α an> 0 , получаем

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Ф (z)

 

> 0 при

 

 

 

z

 

R , [0, 1] ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

где R достаточно велико и не зависит от .

 

 

 

 

 

 

 

 

 

 

Следовательно, корни

 

z j (µ) заключены внутри достаточно большого

конечного круга

 

z

 

< R

 

 

(рис. 6.7)

 

и, значит, являются ограниченными

 

 

 

 

 

непрерывными функциями параметра µ. При µ = 0

полином

Ф ( z) имеет

корни, лежащие в левой полуплоскости, т.е.

 

 

 

 

 

 

 

 

 

 

Пусть теперь

 

при

 

 

 

 

 

 

 

 

 

Ф0 (z) Hn+1 .

полином Фˆ ( z)

не

является

 

 

некотором

 

µ

[0,1]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

полиномом Гурвица. Тогда по меньшей мере одна из кривых

z j = z j (µ)

покинет левую полуплоскость и,

следовательно, при некотором значении

пересечет отрезок

 

 

 

мнимой

 

оси

[Ri, Ri] . Иными

словами,

при

ˆ

 

 

 

 

µ (0,1]

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

полином Фˆ ( z) имеет мнимый корень β i , т.е.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Фˆ (β i) (1+ α β i) f (β i) + µf (−β i) = 0

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Отсюда

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1 + α β i

 

f (β

 

i)

= µ

 

f (−β i)

.

 

 

 

 

 

 

(6.48)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку значения полинома

f (z) с действительными коэффициентами

в сопряженных точках

z

и

 

 

 

 

 

 

комплексно сопряжены

т е

 

 

 

z

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

, . .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

= f (z) ,

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (z)

 

 

 

 

 

 

 

 

 

то, учитывая, что коэффициенты полинома

f (z)

действительны и что

полином f (z) есть полином Гурвица, будем иметь

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

f (−β i)

 

=

f (

β i

)

=

 

f (β i)

 

=

 

f (β i)

 

0 .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Сокращая равенство (6.48)

на равные,

отличные от нуля величины

 

f (β i)

 

и

 

f (−β i)

 

, получим

 

 

 

 

 

 

 

 

1 + α β i

 

= µ

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

ˆ ,

 

 

 

 

 

 

 

 

 

т.е.

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

1+ α

 

β

= µ .

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

2 2

 

ˆ 2

 

 

 

 

 

 

 

 

(6.49)

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

Поскольку

Ф (0) = (1 + )a0 0,

то β ≠ 0 и поэтому равенство (6.49) невозможно при ˆ [0,1]. Итак,

149

F(z) = Ф1(z) Hn+1 .

Лемма 2. Для всякого стандартного полинома Гурвица степени n +1 существует стандартный полином Гурвица степени n (n 1) , по отношению

к которому данный полином является присоединенным, т.е. если F(z) Hn+1 ,

то существуют α >

0 и f (z) Hn такие, что

 

 

 

 

 

 

 

F (z) = Sf (z) (1+ α z) f (z+)

 

f( z).

 

(6.50)

Доказательство. Из функционального уравнения (6.50) имеем

 

 

 

F (z) = (1 − α z) f ( z)+

f (z).

 

 

(6.51)

Исключая f (z) из уравнений (6.51) и (6.50), получим

 

 

 

 

α 2 z 2 f ( z)= − (1− α

z)F ( z+)

F( z).

 

(6.52)

Пусть

 

 

 

 

 

 

 

 

 

 

 

и

 

F (z) = A0 + A1z + …+ An+1z n+1

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

 

F (z) = A0 A1 z + …+ (1)n+1 An+1 z n+1 ,

 

 

где Ak > 0 (k = 0, 1, , n +1).

 

 

 

 

 

 

 

 

Если выбрать

 

 

 

 

 

 

 

 

 

 

α =

2 A1

>

0 ,

 

 

 

 

(6.53)

 

 

 

 

 

 

 

 

 

 

A0

 

 

 

 

 

 

то функция

f (z) , определяемая

формулой

(6.52),

очевидно,

будет

полиномом n -й степени. Легко проверить, что

 

 

 

 

 

 

 

Sf (z) = F (z) .

 

 

 

 

 

Докажем, что f (z) Hn . Рассмотрим полином

 

 

 

Фµ( z) = −(1 − α z)F ( z)+ F (z) ≡ − (1) A0 + (1 ) A1 z +

 

+[α A1(1− µ) A2 ]z 2 + …+ {α An1[1

µ(1)n ]An }z n +

(6.54)

 

 

+{α A [1− µ (1)n+1 ]A

}zn+1+ α

A

z n+2

,

 

 

 

n

 

n+1

 

 

n+1

 

 

 

где постоянная α

определяется по формуле (6.53) и параметр пробегает

отрезок [0, 1].

Корни этого полинома

z j

= z j ( )

( j = 1, 2,, n + 2) являются

ограниченными непрерывными функциями параметра на отрезке [0, 1].

При µ= 0 один из корней zn+2 =

1

находится

в правой

полуплоскости

α

Re z > 0, а все остальные корни zj

 

в левой

Re z < 0. Такое

( ( j < n + 2) ) –

расположение корней сохраняется при [0, 1). Действительно, если бы один из корней z j перешел из одной полуплоскости в другую, то кривая z j = z j ( ) должна была бы пересечь мнимую ось и при некотором ˆ (0,1) полином

Фµ( z) имел бы мнимый корень β i, т.е.

ˆ

150

Соседние файлы в папке книги