§ 13. Некоторые дополнения к теореме Рауса—Гурвица. Критерий устойчивости Льенара и Шипара

Пусть дан многочлен с вещественными коэффициентами

.

Тогда условия Рауса—Гурвица, необходимые и достаточные для того, чтобы все корни многочлена имели отрицательные действительные части, записываются в виде неравенств

                                            (81)

где

– определитель Гурвица -го порядка

Если условия (81) выполнены, то многочлен  представляется в виде произведения  на множители вида , и потому все коэффициенты многочлена  положительны:

В отличие от условий (81) условия (82) являются необходимыми, но отнюдь не достаточными для расположения всех корней  в левой полуплоскости .

Однако при выполнении условий (82) неравенства (81) уже но являются независимыми. Так, например, при  условия Рауса-Гурвица приводятся к одному неравенству , при – к двум:  при – к двум: .

Это обстоятельство было исследовано французскими математиками Льенаром и Шипаром и дало возможность им в 1914 г. установить критерий устойчивости, отличный от критерия Рауса-Гурвица.

Теорема 11 (Критерий Льенара и Шипара). Необходимые и достаточные условия для того, чтобы вещественный многочлен  имел все корни с отрицательными вещественными частями, могут быть записаны в любом из следующих четырех видов:

Из теоремы 11 вытекает, что для вещественного многочлена, у которого все коэффициенты (или даже только часть  или ) положительны, детерминантные неравенства Гурвица (81) не являются независимыми, а именно: из положительности определителей Гурвица нечетного порядка следует положительность определителей Гурвица четного порядка и наоборот.

Условия 1) были получены Льенаром и Шипаром в работе [135] при помощи специальных квадратичных форм. Мы дадим более простой вывод условии 1) [а также условий 2), 3), 4)], опирающийся на теорему 10 § 11 и теорию индексов Коган, получив эти условия как частный случай значительно более общей теоремы, к изложению которой мы и переходим.

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

.

Если  четно, , то

;

если же  нечетно, , то

.

Тогда условия  (соответственно ) можно заменить более общими условиями:  [соответственно] не меняет знака при .

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

Теорема 12. Если для вещественного многочлена

выполняется условие:  [или ] не меняет знака при и последний определитель Гурвица , то число  корней многочлена, расположенных в правой полуплоскости, определяется по формулам

			(83)
не меняет знака при
не меняет знака при

где

                              (83’)

Доказательство. Снова введем обозначение

                                             (84)

Рассмотрим в соответствии с таблицей (83) четыре случая:

1) ;  не меняет знака при . Тогда

,

и потому из очевидного равенства

следует:

.

Но тогда из (73'), (74) и (84) находим:

.

Аналогично из формул (73), (75) и (84) следует:

.

2) ; не меняет знака при . В этом случае

и, следовательно, пользуясь обозначениями (83'), найдем:

.             (85)

Заменяя функции, стоящие под знаком индекса, их обратными величинами, мы в силу 5° (см. стр. 505) получим:

.

Но это в силу (73'), (74) и (84) дает:

.

Аналогично из (73’), (75) и (84) находим:

.

3) , не меняет знака при .

В этом случае, как и в предыдущем, имеет место формула (85). Из равенств (73"), (74), (78), (84) и (85) легко получаем:

4) , не меняет знака при

Из равенств ,  заключаем:

.

Обращая функции, стоящие под знаком индекса, получаем:

.

Но тогда формулы (73''), (77) и (84) дают:

.

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

Из этой теоремы как частный случай получается теорема 11.

Следствие из теоремы 12. Если вещественный многочлен  имеет положительные коэффициенты

и , то число  корней этого многочлена, расположенных в правой полуплоскости , определяется формулой

.

Замечание. Если , но в последней формуле или в формулах (83) некоторые из промежуточных определителей Гурвица равны нулю, то формулы остаются верными, но при вычислении величин  и  следует руководствоваться правилом, изложенным в замечании 1 на стр. 507.

Если же , , то, отбрасывая в формулах (83) определители , мы определим по этим формулам число  «неособых» корней , расположенных в правой полуплоскости , если соответствующий из многочленов  и , получающихся из  и  после деления на их наибольший общий делитель , удовлетворяет условиям теоремы 12.