フルヴィッツの定理 
2次方程式の理論で、「解の分離」という問題がある。「2つの解がともに正」とか「2つの
解がともに負」、「2つの解は異符号」、「2つの解はともに3より大きい」「1つの解は2より
大きく、残りの解は−1より小さい」 ・・・ など、いろいろとバリエーションが考えられる。
これまで、「解の分離」問題は解の存在範囲を確定するための問題という意識しかなく、
そのさらなる応用には、あまり関心を払わずにいた。この「解の分離」問題のうち、「解(ま
たは解の実数部)がともに負」という場合が力学系、制御系の安定性の判別に利用される
ことを最近知り、とても興味を持った。
このページでは、「解の分離」問題とその応用についてまとめようと思う。
例1 1次方程式 x+a=0 の解が負であるための必要十分条件は、 a>0 である。
例2 2次方程式 x2+ax+b=0 の解(または解の実数部)がともに負であるための必
要十分条件は、
a>0 かつ b>0
である。
実際に、判別式 D=a2−4b≧0 のときは、−a/2<0 、b>0 より、a>0、b>0
D=a2−4b<0 のときは、解の実数部=−a/2<0 より、a>0 で、また、
4b>a2>0 より、b>0
逆に、 a>0 かつ b>0 のとき、解(または解の実数部)はともに負になる。
例3 3次方程式の解がともに負の場合を考える。例えば、「−1、−2、−3」を解に持つ
3次方程式は、
(x+1)(x+2)(x+3)=0 より、 x3+6x2+11x+6=0
となる。
例1、例2を踏まえて、例3の具体的な場合から、
3次方程式 x3+ax2+bx+c=0 の解(または解の実数部)がともに負であるため
の必要十分条件は、
a>0 かつ b>0 かつ c>0
であることが予想される。
しかしながら、この予想は正しくない。
実際に、例えば、3次方程式 x3+x2+x+1=0 の解は、−1、±i で、解(または解の
実数部)がともに負になることはない。
しかしながら、上記の条件は解(または解の実数部)がともに負であるための必要条件
となり得る。すなわち、係数に負のものがあれば、その3次方程式は、解(または解の実
数部)がともに負であるとは言えない。
必要条件であることは、次のフルヴィッツの定理(Hurwitz’sTheorem)から分
かる。
フルヴィッツの定理(Hurwitz’sTheorem)
n次方程式 xn+a1xn-1+a2xn-2+・・・+an-2x2+an-1x+an=0 の解(または
解の実数部)がともに負であるための必要十分条件は、 Dk>0 (k=1、2、・・・、n)
である。
ここで、Dk は、n次方程式の係数から作られる次の行列

の左上隅からk行k列までをとって作った小行列式である。
(ただし、上記の行列において、 am=0 (m>n) とするものとする。)
この定理によれば、
3次方程式 x3+ax2+bx+c=0 の解(または解の実数部)がともに負であるた
めの必要十分条件は、
D1=a>0 、 D2=ab−c>0 、 D3=abc−c2>0
となる。
このとき、「a>0 かつ b>0 かつ c>0」が、必要条件であることは次のように示され
る。
D3=abc−c2=(ab−c)c>0 で、D2=ab−c>0 より、 c>0
このとき、 D2=ab−c>0 より ab>c>0 で、D1=a>0 なので、b>0
よって、 a>0 かつ b>0 かつ c>0 が成り立つ。
ところで、冒頭で述べた「制御系の安定性の判別に利用される」ことについて少し概観し
てみよう。私自身、制御系のことを専門的に学んだことがないので、もしかしたら舌足らず
の説明にしかならないかもしれない。そこはご容赦願いたい。
制御系の理論は、工学部の電気工学科や機械工学科の2年次位で学ぶようだ。ラプラ
ス変換や逆ラプラス変換の応用にもなっていると思う。
入力から出力に至る制御系において、瞬時的な外乱を与えて時間の経過とともに制御
系が再び平衡状態に落ち着くとき、その制御系は安定であるという。
ここで、入力と出力のラプラス変換(初期値は0)の比として、伝達関数が定義され、その
特性方程式の解を、s1、s2、・・・、sn とすると、伝達関数のインパルス応答は、eskt の
線形結合で表される。
したがって、解 s1、s2、・・・、sn の中に一つでも正のものがあると、時間 t → ∞ に対
して、その項は無限大に発散し、インパルス応答は、0 にならない。
よって、制御系が安定であるためには、特性方程式の解は全て負でなければならない。
(コメント) 理論の詳細は浅学の身で不確かであるが、フルヴィッツの定理がどのような
意味を持っているのか、分かったような気分にさせてくれた。
制御系の理論を学んだ方で高校生でも分かるように説明していただける方は
いらっしゃらないだろうか?是非メールをお願いします。
以下、工事中