2

3重根の判別式② 考察・前編

52
0

この記事は3本立てとなっております。
①はこちら
③はこちら


 前回立てた方針を元に考察していきます。まずは方針2から。

f(x),f(x),f(x)が共通根を持つことを利用する

 多項式f(x)が2重根を持つことは、f(x),f(x)が共通根を持つことと同値でした。同様に、

多項式f(x)C[x]が3重根を持つことは、f(x),f(x),f(x)が共通根を持つことと同値。

が成り立ちます。証明は2重根の場合と同様なので省略します。
 3つの多項式が共通根を持つための条件については 英語版 Wikipedia のこちらの記事 に記載があったので、それを参考に考察してみます。なお、このリンク先を読まなくても、以降の内容を読むぶんには問題ありません。また、もし他に良い判別方法をご存じであれば、ご教示いただければ幸いです。

 Aを可換環とし(可換環を知らない方は下の補足を参照)、2つの多項式f,gA[x] に対し、その終結式をRx(f,g)で表すことにします。


可換環を知らない場合

f,gが単なるC係数多項式の場合だけでなく、x2+t1x+t2のように係数に文字を含む場合も扱いたい、というためだけにこのような書き方をしています。なので、係数に文字を含む場合もある、ということだけ注意していただければ大丈夫です。


 この記事では、終結式については以下の性質のみ知っていれば十分です。定義やより詳しい性質が知りたい方は、例えば こちら を参照して下さい。

Aを可換環とする。2つの多項式f,gA[x]に対し、
(1) f,gC係数なら「f,gが共通根を持つ Rx(f,g)=0」が成り立つ。
(2) Rx(f,g)は、f,gの係数についての整数係数多項式である。

 さて、3つの多項式f,g,hC[x]に対してはどのように考えれば良いでしょうか。まず、次が成り立ちます。

3つの多項式f,g,hC[x]に対し、
f,g,h が共通根を持つ  任意の複素数 u,v に対して f と ug+vh が共通根を持つ 

は明らか。
を示す。任意の正の整数kに対し、fg+khは共通根を持つ。その共通根を1つ選び、akとおく。akfの根であるから、akとしてあり得る値は有限個である。したがって、数列a1,a2,には同じものが2回現れる。
 ak=al=a(kl)とおく。このとき
f(a)=g(a)+kh(a)=g(a)+lh(a)=0
である。ここで
g(a)+kh(a)=0
g(a)+lh(a)=0
を連立方程式と見なして解けば、g(a)=h(a)=0を得る。したがって、af,g,hの共通根である。

 u,vを変数と見なせば、多項式f,g,hC[x]に対してRx(f,ug+vh)u,vC係数多項式となります。このことと命題2を用いて、以下が得られます。

u,vを変数とする。3つの多項式f,g,hC[x]に対し、Rx(f,ug+vh)=i,jRijuivj(RijC)
とおいたとき、
f,g,h が共通根を持つ Rij=0(i,j)

()f,g,hが共通根を持つとすると、命題2より、任意の複素数u0,v0に対してRx(f,u0g+v0h)=0となる。すなわち、多項式i,jRijuivjは、u,vにいかなる複素数を代入しても0になる。これが成り立つのは、Rij=0(i,j)の時のみである。
() Rij=0(i,j)が成り立つとする。このときRx(f,ug+vh)=0であるから、任意の複素数u0,v0に対してRx(f,u0g+v0h)=0となる。したがって、命題2よりf,g,hは共通根を持つ。

 この結果をf,f,fに適用します。以下の系においては、f,fxについての(偏)微分を表すこととします。

t1,,tn,u,vを変数とし、f(x)=xn+t1xn1++tnとおく。Rx(f,uf+vf)t1,,tn,u,vの多項式であるので
Rx(f,uf+vf)=i,jRij(t1,,tn)uivj(Rij(t1,,tn)C[t1,,tn])
と表せる。このとき、任意のs1,,snCに対して
xn+s1xn1++sn が3重根を持つ Rij(s1,,sn)=0(i,j)
が成り立つ。

s=(s1,,sn)Cnに対し、fs=xn+s1xn1++snとおく。等式
Rx(f,uf+vf)=i,jRij(t1,,tn)uivj
の両辺にt1=s1,,tn=snを代入すると
Rx(fs,ufs+vfs)=i,jRij(s1,,sn)uivj
となるから、あとは定理3を適用すれば良い。

 これはまさに、前回の記事における「問題2」の解答が Yes であることを意味しています。したがって、前回に記事における「問題3」、「問題4」の答えも Yes となります。

n次多項式の3重根判別式の十分な組は存在する。

X3(n)はアフィン代数的集合である。

 更に言うと、定理3 系 におけるRijは整数係数です。

f,uf+vfはともに、t1,,tn,u,v,xについての整数係数多項式である。終結式の性質から、Rx(f,uf+vf)t1,,tn,u,vについての整数係数多項式となる。

したがって、

n次多項式の3重根判別式の十分な組であって、それぞれが整数係数であるものが存在する。

などと言えます。

 というわけで、当初の問題の解答が得られました。しかしこの方針では、得られた3重根判別式がどのようなものなのか、具体的なことはほとんど分かりません。気になる方は、コンピューターなどで実際に計算してみて下さい。ちなみに、上ではRx(f,uf+vf)としましたが、Rx(f,uf+vf)Rx(f,uf+vf)でも同様です。Rx(f,uf+vf)は他より行列のサイズが小さくなるので、これを使うと良いかもしれません。

 方針2による考察は以上となります。続いて方針3による考察に入ります。

通常の判別式の類似を探す

 多項式f(x)=a(xa1)(xan)C[x]に対し、通常の重根(2重根)についての判別式は、D(f)=i<j(aiaj)2
と定義されるものでした。この定義式は、
(1) D(f)a1,,anの対称式である。
(2) D(f)=0であることとa1,,anのうち2つが等しいことが同値
ということが一目で分かる、素晴らしい式です。

 3重根についても同じような式が見つからないでしょうか。すなわち、多項式D1,,DkC[a1,,an]で、
(1) D1,,Dka1,,anの対称式である。
(2) D1==Dk=0であることとa1,,anのうち3つが等しいことが同値
ということが一目で分かるようなものはあるでしょうか。自分なりに考えてみましたが、

  • D1,,Dka1,,anの対称式である。
  • a1,,anのうち3つが等しいならばD1==Dk=0

までは良くても、

  • D1==Dk=0ならばa1,,anのうち3つが等しい

が一目で分かるような式を見つけるのは難しいというのが現状です。とりあえず、分かったことを書きます。
 もしよければ、みなさんも探してみて、難易度を体感して下さい(筆者が気づいていない簡単な答えがあるかもしれませんし)。

準備

 記号、用語を少し整備します。以下で定義されるの記号、用語は筆者独自のものです。
 a1,,anについてのC係数対称式全体の集合をC[a1,,an]symで表すことにします。

D3sym(n)={DC[a1,,an]sym | 複素数 z1,,zn のうち3つが等しいならば D(z1,,zn)=0}

と定めます。D3sym(n)C[a1,,an]symのイデアルになります (詳しい方向けに言うと、斉次イデアルになります)。D3sym(n)n次多項式の3重根判別イデアルと呼ぶことにします。また、D3sym(n)の元もn次多項式の3重根判別式と呼ぶことにします。必要があれば違う用語を作ります。

n次多項式の3重根判別式の組{D1,,Dk}D3sym(n)十分であるとは、任意のz1,,znCに対し
z1,,zn のうち3つが等しい Di(z1,,zn)=0(i=1,,k)
が成り立つことを言う。

 ここまでは定義を厳密にするためにa1,,anz1,,znを使い分けましたが、以降はあまり区別せずに記述したいと思います。必要なら直します。

 では、見つかった3重根判別式を紹介していきます。以下ではその都度nを固定するので、「n次多項式の」は省略する場合があります。

n=3の場合

 早速見ていきましょう。

D0=(a1a2)2+(a1a3)2+(a2a3)2
D1=a3(a1a2)2+a2(a1a3)2+a1(a2a3)2
は3重根判別式である。

 どうでしょうか。対称式であること、a1=a2=a3のとき0になることがすぐに分かりますね。これらは以下のように容易に一般化されます。

kを非負整数としたとき、
Dk=a3k(a1a2)2+a2k(a1a3)2+a1k(a2a3)2
は3重根判別式である。

 以下、「n=3の場合」の中では、Dkは上記の多項式を表すとします。この形以外にも例えば
(a1+a2)(a1a2)2+(a1+a3)(a1a3)2+(a2+a3)(a2a3)2
というものもあり、さらに以下のように一般化することができます。

g(a1,a2,a3)C[a1,a2,a3]を、a1,a2について対称な多項式とする。このとき
g(a1,a2,a3)(a1a2)2+g(a1,a3,a2)(a1a3)2+g(a2,a3,a1)(a2a3)2
は3重根判別式である。

 実は、3次多項式の3重根判別式はすべて命題9の形で表されます。証明は長くなるので割愛します。別に記事を書くかもしれません。

 ちなみに、ある3重根判別式が命題9の形で表されるとき、gは一意ではありません(これ伏線です)。

g(a1,a2,a3)=(a1a3)(a2a3)として命題9の3重根判別式を考えると、
(a1a3)(a2a3)(a1a2)2+(a1a2)(a3a2)(a1a3)2+(a2a1)(a3a1)(a2a3)2
=(a1a2)(a1a3)(a2a3){(a1a2)(a1a3)+(a2a3)}=0

 また、
(a1a2)(a1a3)+(a2a1)(a2a3)+(a3a1)(a3a2)
という3重根判別式もあります。一見して命題9の形をしていないように見えますが、計算してみると12D0に等しいことが分かります。

 さて、3重根判別式が沢山見つかったわけですが、十分な組を作ることは出来るでしょうか。結論から述べます。  

{D0,D1}は3重根判別式の十分な組である。

 まず
b=(a1+a2+a3),c=a1a2+a1a3+a2a3,d=a1a2a3
とおく。なお、これは前回の記事の「3次の場合」の節に合わせた記号である。このとき
D0=2a12+2a22+2a322a1a22a1a32a2a3=2b26c=2(b23c),
D1=a12a2+a1a22+a12a3+a1a32+a22a3+a2a326a1a2a3=bc+9d=9dbc
であるから、前回の記事の「3次の場合の補足」の結果から、
D0=D1=0x3+bx2+cx+d は3重根を持つ a1=a2=a3
を得る。

 一応証明はできましたが、通常の判別式のように式の形を活かした証明はないものでしょうか。そのように考えた結果、以下の証明も得られました。

{D0,D1,D2}は3重根判別式の十分な組である。

D0=D1=D2=0とすると、
(a1a2)2+(a1a3)2+(a2a3)2=0
a3(a1a2)2+a2(a1a3)2+a1(a2a3)2=0
a32(a1a2)2+a22(a1a3)2+a12(a2a3)2=0
より
(111a3a2a1a32a22a12)((a1a2)2(a1a3)2(a2a3)2)=(000)
である。もしa1,a2,a3どの2つも異なるならば、Vandermonde 行列式の性質から(111a3a2a1a32a22a12)は正則であるから
(a1a2)2=(a1a3)2=(a2a3)2=0
となり、a1=a2=a3が得られるが、a1,a2,a3がどの2つも異なるとしていたことに矛盾。よって、a1,a2,a3のうち少なくとも2つは等しい。対称性よりa1=a2としてよい。このときD0=0より
2(a1a3)2=0
となり、a1=a3を得る。

 一目で分かる、とまではいきませんでしたが、比較的自然な式変形のみで証明できた、と言えるのではないでしょうか。しかし、D2という余分な式が現れています。これについては、以下の補題で解消できます。

3D22(a1+a2+a3)D1+(a1a2+a1a3+a2a3)D0=0

例1 のg(a1,a2,a3)を変形すると
(a1a3)(a2a3)=a32(a1+a2)a3+a1a2=a32(a1+a2)a3+(a1a2+a1a3+a2a3)a1a3a2a3=a322(a1+a2)a3+(a1a2+a1a3+a2a3)=a322(a1+a2+a3)a3+2a32+(a1a2+a1a3+a2a3)=3a322(a1+a2+a3)a3+(a1a2+a1a3+a2a3)
となり、例1の結果と合わせて補題を得る。

したがって、D0=D1=0ならばD2=0となるので、{D0,D1}が十分であることが示されます。

 さらに{D0,D1}は、ある意味で"最小限の"十分な組であると言えます。

3次多項式の3重根判別式で2次以下のものは、D0の定数倍しかない。

2次以下のa1,a2,a3の対称式は、c1,c2,c3,c4Cを用いて
D(a1,a2,a3)=c1(a12+a22+a32)+c2(a1a2+a1a3+a2a3)+c3(a1+a2+a3)+c4
と表せる。a1=a2=a3=aとすると
D(a,a,a)=3(c1+c2)a2+3c3a+c4
となる。これが任意のaC0になるには、
c1+c2=c3=c4=0
が成り立つことが必要十分。このとき
D(a1,a2,a3)=c1(a12+a22+a32a1a2a1a3a2a3)=c12D0
となる。

 したがって、できるだけ低い次数の3重根判別式で十分な組を作ろうと思ったら、まずD0をとり、次に3次式をとるしかないわけです。ちなみにD0だけだと、ω=1+32として
D0(1+ω,1,0)=ω2+(1+ω)2+12=2(ω2+ω+1)=0
となってしまうので、{D0}は十分な組にはなりません。

 さて、n=3の場合の議論は以上としますが、D3sym(3)について、もういくつか分かっていることがあります。先ほど述べた

  • 3次多項式の3重根判別式は全て命題9の形で表せる。

の他に、

  • D3sym(3)D0,D1で(イデアルとして)生成される。

ということも分かっています。これらについては別に記事を書くかもしれません。

  3重根の判別式③ 考察・後編  に続きます。

投稿日:20231220
更新日:20231220
OptHub AI Competition

この記事を高評価した人

高評価したユーザはいません

この記事に送られたバッジ

バッジはありません。
バッチを贈って投稿者を応援しよう

バッチを贈ると投稿者に現金やAmazonのギフトカードが還元されます。

投稿者

koumei
koumei
18
2670
(2023/11/30)別名義を使ってましたが、OMCでの名義に揃えました。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. f(x),f(x),f(x)が共通根を持つことを利用する
  2. 通常の判別式の類似を探す
  3. 準備
  4. n=3の場合