1

多項式関数の根における微分係数と第2次微分係数についての等式

41
0

 以前、
  [1] ある恒等式と部分分数分解/koumei
  [2] 多項式関数の根における微分係数についての等式の別証/koumei
において、以下の等式を証明しました。Kは任意の体とします(よく分からなければ、Kは実数全体の集合R, または複素数全体の集合Cだと思って下さい)。

 a1,,anKを相異なる2個以上の元とし、f(x)=(xa1)(xan)とおく。このとき
i=1n1f(ai)=0
が成り立つ。

また、
   [3] 「ある恒等式と部分分数分解」で得られた等式の応用/koumei
   [4] OMCE005(E)に自分が見つけた公式を使ってみる/koumei
において、より一般化した等式を示しました。

 さて、最近ふと考えました。2階微分でも同じような等式ってあるのかなと。
 これまでの手法が応用できないかと考えた結果、 [2] で扱った逆関数を用いる方法が使えそうだと思ったので、やってみました。あまり綺麗な結果にはなりませんでしたが、一応等式は得られたのでとりあえず書いておきます。

本題

 以下ではK=Cの場合を考えます。まず、逆関数の2階微分を計算しておきます。

 (どうせ多項式関数とその逆関数しか扱わないので、細かい仮定は置いておいて)
関数y=f(x)の逆関数をx=g(y)とおくと、
g(y)=f(x)(f(x))3
が成り立つ。

g(y)=1f(x)
の両辺をxで微分して、
g(y)y=f(x)(f(x))2
y=f(x)であるから
g(y)=f(x)(f(x))3

 さて、ここからは、 [2] と同じ手法を使います。細かい議論は元の記事をご覧下さい。

 a1,,anCを相異なる2個以上の複素数とし、f(x)=(xa1)(xan)とします。f(x)は各x=aiのまわりで逆関数を持ちます。それをgi(y)とします。
 t0に近い複素数とすると、f(gi(t))=tが成り立ちます。したがって、方程式 f(x)=t の解は
x=g1(t),,gn(t)
です。解と係数の関係から、g1(t)++gn(t)f(x)tn1次の係数の1倍ですが、これはtによりません。したがって、関数g1(y)++gn(y)y=0のまわりで定数関数であることが分かります。h(y)=g1(y)++gn(y)とおきます。

 以前の記事では、h(0)=0を用いて等式を導きました。しかしよく考えてみると、hは何回微分しても0になります。というわけで、hの代わりにhを用いれば、2階微分に関する等式が得られると期待できます。さっそくやってみましょう!
0=h(0)=g1(0)++gn(0)=f(a1)(f(a1))3f(an)(f(an))3

 したがって、

a1,,anCを相異なる2個以上の複素数とし、f(x)=(xa1)(xan)とおく。このとき
i=1nf(ai)(f(ai))3=0
が成り立つ。

 とりあえず等式は得られましたが……なんじゃこりゃ?

一般化

 もうちょっと遊んでみます。 [2] では、g1,,gnn1次以下の基本対称式が定数関数であることを用いて一般化が得られました。今回も同様にすることもできそうですが、もう少し手間を減らす方法が見つかりました。
 まず、対称式の性質から次が言えます。

φ(λ1,,λn)を高々n1次のC係数対称式とするとき、φ(g1(y),,gn(y))は定数関数である。特に、1kn1とするとき
g1(y)k++gn(y)k
は定数関数である。

 という訳で、g1(y)k++gn(y)kyについての2階微分が0であることを利用して、等式を作ってみます。まず
0=(i=1ngi(y)k)=i=1nkgi(y)k1gi(y)
両辺をkで割ってもう1度微分すると、
0=(i=1ngi(y)k1gi(y))=i=1n((k1)gi(y)k2(gi(y))2+gi(y)k1gi(y))
y=0とすれば、gi(0)=aiであることに注意して
0=i=1n((k1)gi(0)k2(gi(0))2+gi(0)k1gi(0))=i=1n((k1)aik21(f(ai))2+aik1(f(ai)(f(ai))3))=i=1n((k1)aik2(f(ai))2aik1f(ai)(f(ai))3)
よって、以下の等式が得られます。

a1,,anCを相異なる2個以上の複素数とし、f(x)=(xa1)(xan)とおく。また、1kn1とする。このとき
i=1naik1f(ai)(f(ai))3=(k1)i=1naik2(f(ai))2
が成り立つ。

ただし、aiがなんであれai0=1とし、k=1のときは右辺は0であると約束します。
 これまたよく分からん等式ですね……。

終わりに

 なにはともあれ、命題1の2階微分バージョンを見つけたい、という当初の目標は一応達成できたと思うことにします(Cの場合しか証明できていませんが)。
 また、上に書いた通り、hは何回微分しても0になるので、同様の方法でさらに謎の等式を量産することができます。

 どういう意味があるのかは分かりませんが、少なくとも間違ってはいないはずです。ひょっとしたら、いつかどこかで役に立つかもしれません。
 ではまた

投稿日:2024915
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

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

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中