1

ライプニッツの定理は二項定理から証明できる。

100
0

はじめに読んで欲しい

この記事は初心者が書いています。間違っているところや不十分な解説などがあるかもしれません。見つけた際は優しく、易しく教えて欲しいです。大目に、或いは暖かい目で見て頂けるとうれしいです。
また、この記事の内容は こちら を参考にしました。
この記事では、開区間Iや開領域U2上のC級関数がなすℝ代数をC(I)C(U)と書いたり、k加群Nの自己準同型環をEndk(N)と書きます。二項係数は(nk)と表します。

二項定理とライプニッツの定理と補題

二項定理とライプニッツの定理
二項定理

Aを環としたとき、x,yAが可換(xy=yx)なら任意の非負整数nに対して(x+y)n=k=0n(nk)xkynk

ライプニッツの定理

f,gC(I)なら任意の非負整数nに対して(ddx)n(f(x)g(x))=k=0n(nk)(ddx)kf(x)(ddx)nkg(x)

k乗のところとか二項係数とか見ると、やっぱり似ていますね。どちらとも帰納法を用いて似たように証明できますが、ここではその証明は書きません。 高校数学の美しい物語さん などを見るといいかもです(環じゃないですが証明は同様です)。

シュワルツの定理

U2を開領域としたときF(y,z)C(U)に対しいしてyzF(y,z)=zyF(y,z)

ここではこの証明は書きません。証明は 数学の景色さん などが分かりやすかったです(こっちの方が一般的に示されてます)。
さてシュワルツの定理は環の言葉を使うとこうも言えます。

シュワルツの定理の言い換え

x,yEnd(C(U))と考えたとき、x,yが可換(つまりxy=yx)である。

こう言う言い換えをする意味は、微分というのを環の元として二項定理を適用したいからです。可換なのでうれしいです。
さてもう一つ、必要なことを用意します。これはちゃんと証明します。

Iを開区間とったとき、F(y,z)C(I×I)にたいして
ddxF(x,x)=yF(x,x)+zF(x,x)=(y+z)F(x,x)

yzはそれぞれFの第一成分での偏微分と第二成分での偏微分を表しています。変数の書き方がキモいですが、誰かいい書き方知りませんか。

直接示す。任意にxIをとったとき、Iが開区間であるから十分小さくhを取ればx+hIとなる。
ddxF(x,x)=limh0F(x+h,x+h)F(x,x)h=limh0F(x+h,x+h)F(x+h,x)+F(x+h,x)F(x,x)h=limh0F(x+h,x+h)F(x+h,x)h+F(x+h,x)F(x,x)h=yF(x,x)+zF(x,x)=(y+z)F(x,x)
よって命題は示された。

証明の仕方が積の微分公式のに似ています。ここではy=x,z=xとしていますはが、y=φ(x),z=ψ(x)とおいた時もそんな風なものがな成り立ち、これを二変数関数の合成関数の微分公式と言うそうです。
この補題もまた言い換えます。

補題3のいい換え

Iを開区間としたとき、Δ:C(I×I)C(I):F(y,z)F(x,x)というℝ線形写像を考えるとき、ddxΔ=Δ(y+z)

ここで出てくるΔとはIからI×Iへの対角写像とfC(I×I)の合成です。このΔを使って証明ライプニッツの定理を証明します。

ライプニッツの定理の証明と一般化

ではいよいよライプニッツの定理について証明しましょう。もう一度定理を書いておきます。

ライプニッツの定理(再度)

f,gC(I)なら任意の非負整数nに対して(ddx)n(f(x)g(x))=k=0n(nk)(ddx)kf(x)(ddx)nkg(x)

ライプニッツの定理

f,gC(I)に対して、F(y,z)=f(y)g(z)と定義する。すると補題2より、
(ddx)n(f(x)g(x))=(ddx)nΔF(y,z)=Δ(y+z)nF(y,z)
が言える。シュワルツの定理よりyzEnd(C(I))の元として可換であり、よって(y+z)nは二項定理で展開できる。
Δ(y+z)nF(y,z)=Δ(k=0n(nk)(y)k(z)nk)F(y,z)=Δ(k=0n(nk)(y)k(z)nkF(y,z))=k=0n(nk)(ddx)kf(x)(ddx)nkg(x)
よって命題は示された。

書いてみると呆気無けないですね。呆気無いのでもう少し一般化してみます。

微分の一般化

kを可換環として、k加群NΔ:NkNNというk加群の準同型が定まっているとする。
このときk加群の準同型D:NNが微分であるとは、任意のa,bNに対してD(Δ(ab))=Δ(D(a)b)+Δ(aD(b))が成り立つことをいう。

Δ:NkNNとはNに入る積を表しているので、ab=Δ(ab)とかけばD(ab)=D(a)b+aD(b)と書けます。これはC(I)でも見た、積の微分公式と同じ形です。
ただC(I)と違うのは、Nに入るこの積は分配律(双線形性)のみ満たしていて、結合性や可換性、単位性も仮定されないことにあります。
この定義からすぐに、補題3の言い換えのような事実が言えます。

一般化した微分の言い換え

D:NNが微分であるなら、DΔ=Δ(DidN+idND)

テンソル積は底にある空間の直積に対応すると思います。NC(I)に対応していて、NkNC(I×I)に対応(同型ではない)していて、DidNidNDはそれぞれ第一成分での偏微分と第二成分での偏微分に対応しています。テンソル積は積であると同時に多変数化でもあったわけです。そうすると、補題3で証明方法が積の微分公式の証明に似ていたことにも納得ができるような気がします。
また、DidN,idNDEndk(NkN)と見た時、これはちゃんと可換になってくれます。よってここでも二項定理を考えることができます。
では、この一般化した微分の上でライプニッツの定理を証明します。

一般化した微分のライプニッツの定理

a,bNなら任意の非負整数nに対してDn(ab)=k=0n(nk)Dk(a)Dnk(b)

一般化した微分のライプニッツの定理

先程の議論に沿って証明する。
Dn(ab)=Dn(Δ(ab))=Δ(DidN+idND)n(ab)=Δ(k=0n(nk)(DidN)k(idND)nk)(ab)=k=0n(nk)Dk(a)Dnk(b)
よって命題は示された。

証明できました。
ここで重要なのはDidN,idNDが可換ということなので、例えば微分Dckという重さをつけて、D(ab)=D(a)b+caD(b)という式が成り立つとした時にも似たような公式が成り立ちます。これをどう使うかは知りません。二項定理自体も nakanoさん の記事などを参考に一般化できますが、これを使えば面白い結果が出でてくるんでしょうか。
これとは逆の試みで、ライプニッツの定理から二項定理を導こうってことが Wikipediaの二項定理 に書いてありました。指数関数を用いて証明する内容ですが、指数関係の性質とかネイピア数の定義とかに二項定理って必要じゃないのかなって思います。いや、循環論法とか気にするような場面じゃないのかな。

おわりに

ここまで読んでくれてありがとうございました。間違いなどがあったら教えてくださいっ。

投稿日:2024126
OptHub AI Competition

この記事を高評価した人

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

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

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

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

投稿者

数学が人並みに好きです。人並みです。独学でやってるので間違いが多いかもしれません。

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. はじめに読んで欲しい
  2. 二項定理とライプニッツの定理と補題
  3. ライプニッツの定理の証明と一般化
  4. おわりに