§ 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.