2003/1/6開設
恒等式(エルミート型)の発見

面白い恒等式を見つけました。
エルミート微分方程式の3種類の表現の解を見つけるまでの途中で、じつは一連の興味ある恒等式を見つけていました。
次のものです。
いまE=e^(x^2)とおくと、(∫Eは∫Edxの略、∫は、0-->x を積分範囲とする定積分です。eは自然対数の底。)

E - 2x∫E + 2∫∫E=1

∫E - 2x∫∫E + 4∫∫∫E=x

∫∫E - 2x∫∫∫E + 6∫∫∫∫E=(x^2)/2!

∫∫∫E - 2x∫∫∫∫E + 8∫∫∫∫∫E=(x^3)/3!

∫∫∫∫E - 2x∫∫∫∫∫E + 10∫∫∫∫∫∫E=(X^4)/4!
   ・
   ・
はじめここまで導いていて私は、これで満足していました。これらは非常に美しい。
また形がエルミート微分方程式の類似となっている点も興味深い。

さて、上は、先日の恒等式と同じように、微分の方にも拡張できることがわかったのです。
上を逆に書いてみましょう。
  ・
  ・
∫∫∫∫E - 2x∫∫∫∫∫E + 10∫∫∫∫∫∫E=(X^4)/4!

∫∫∫E - 2x∫∫∫∫E + 8∫∫∫∫∫E=(x^3)/3!

∫∫E - 2x∫∫∫E + 6∫∫∫∫E=(x^2)/2!

∫E - 2x∫∫E + 4∫∫∫E=x

 E - 2x∫E + 2∫∫E=1

 先日と同じ類推から、∫の地上?の世界だけではなく、微分の地下の世界にも沈み込んでいるのではないか?との
予想がたちます。そして、やはり、面白い結果が出ました。
なんと、地下の世界では、次のようになりました。Dは微分です。

 D(E) - 2x・E + 0∫E=0

 DD(E) - 2x・D(E) - 2E=0

 DDD(E) - 2x・DD(E) - 4D(E)=0

 DDDD(E) - 2x・DDD(E) - 6DD(E)=0
   ・
   ・
とこんな風に成り立つのです。とても、自明とは思えません。今度は、右辺が全部0となっているから不思議です。
まとめて書けば、次のようになります。

[ 恒等式(エルミート型) ]
  ・
  ・
∫∫∫∫E - 2x∫∫∫∫∫E + 10∫∫∫∫∫∫E=(X^4)/4!

∫∫∫E - 2x∫∫∫∫E + 8∫∫∫∫∫E=(x^3)/3!

∫∫E - 2x∫∫∫E + 6∫∫∫∫E=(x^2)/2!

∫E - 2x∫∫E + 4∫∫∫E=x

 E - 2x∫E + 2∫∫E=1

 D(E) - 2x・E + 0∫E=0

 DD(E) - 2x・D(E) - 2E=0

 DDD(E) - 2x・DD(E) - 4D(E)=0

 DDDD(E) - 2x・DDD(E) - 6DD(E)=0

 DDDDD(E) - 2x・DDDD(E) - 8DDD(E)=0
   ・
   ・


これを、恒等式[エルミート型]とでも名付けます。
私は、眺めているだけで十分です。e^(x^2)は、一体どこまで美しいのでしょうか。

追記
 この一連の恒等式の上半分の積分部分の証明は、E - 2x∫E + 2∫∫E=1を積分して部分積分を実行する作業を
繰り返していけば次々に出てきます。また下半分の微分部分の証明は E - 2x∫E + 2∫∫E=1をひたすら微分して
いけば自動的に出てきます。証明は全く簡単ですが、式自体の美しさが際立っています。




追加2003/8/26    <恒等式の類似 e^(-x^2)型の発見>

  e^(x^2)の式が見つかれば、「では、e^(-x^2)ではどうなるだろう?類似の式を見つけたい」とずっと思っていました。
 そして、ついに、次の一連の式を見つけました。
 F=e^(-x^2)とおくと、

[恒等式の類似 e^(-x^2)型]
  ・
  ・
∫∫∫∫F + 2x∫∫∫∫∫F - 10∫∫∫∫∫∫F=(X^4)/4!

∫∫∫F + 2x∫∫∫∫F - 8∫∫∫∫∫F=(x^3)/3!

∫∫F + 2x∫∫∫F - 6∫∫∫∫F=(x^2)/2!

∫F + 2x∫∫F - 4∫∫∫F=x

 F + 2x∫F - 2∫∫F=1

 D(F) + 2x・F - 0∫F=0

 DD(F) + 2x・D(F) + 2F=0

 DDD(F) + 2x・DD(F) + 4D(F)=0

 DDDD(F) + 2x・DDD(F) + 6DD(F)=0

 DDDDD(F) + 2x・DDDD(F) + 8DDD(F)=0
   ・
   ・

 なんと美しいことでしょう。そして、上記の恒等式(エルミート型)となんと対称的なことでしょう!
 e^(x^-2)に関しても恒等式(エルミート型)の類似が成り立つことがわかったのです。

 さらに、驚くべきことに、”移動の規則”はe^(x^2)と完全に同じものが成り立つことが判明しました。
 e^(-x^2)でも”移動の規則”が成り立つで記しました。

追記
 この一連の恒等式の上半分の積分部分の証明は、 F + 2x∫F - 2∫∫F=1を積分して部分積分を実行する作業を
繰り返していけば次々に出てきます。また下半分の微分部分の証明は、F + 2x∫F - 2∫∫F=1をひたすら微分してい
けば自動的に出てきます。証明は全く簡単ですが、式自体の美しさが際立っています。





恒等式(交換型)の発見

数学の研究へ







    知ってしまう不幸

 「知ってしまう不幸」ということをご存知か?
 むかしむかし新幹線はなかった
 みな新幹線を知らないのだから 東京から大阪まで歩くことができた(状況A)
 不平不満をもらすものなど一人もいない

 あるとき新幹線が出現した
 みな新幹線という存在を知った
 東京から大阪まで歩かなければならなくなった(状況B)
 不便だ!不幸だ!不満をもらすものが続出した

 ちょっとまて
 AとBは物理的に同じではないか
 なのにBは不満続出 Aは平和そのもの
 どちらが幸福?

 むかしむかしケイタイはなかった
 みなケイタイという存在を知らなかった(状況C)
 知らないのだから なくても平気だった

 あるときケイタイが出現した
 みながケイタイの味を知った
 あるときケイタイがつかえない日がやってきた(状況D)
 みなが叫んだ 不安だ!不便だ!イライラする!

 よくみよ
 CとDは物理的に同じではないか
 知っているか 知らないか それだけの差
 Cは平和そのもの Dは不安でたまらない

 CとDは同じではないのか
 知ることがほんとうに幸福?

 よく考えよ
 AとBは同じ CとDは同じだ
 なのに一方だけが不安と恐怖にかられている

 知っているか 知らないか それだけの差
 
 精神というまーるい果実を食い漁っている魔物がいる
 ソレガ シホンシュギ ダ
 骨抜きにされてもまだ気付かない・・
                                  M.S.