3
高校数学解説
文献あり

Faà di Brunoの公式の紹介

259
0

こんにちは、Mark6という者です。

この記事では、「Faà di Brunoの公式」という恒等式の紹介をします。個人的には知名度が低いと思うのですが、その割にいろんなところに顔を出し、そのため幾度となく再発見が繰り返される恒等式です。私の周りにもこの恒等式の被害者再発見者が数人います......

R. Kusabaさんのはてなブログ Wikipedia(英語) 名古屋市立大学のpdf など良質かつ詳細な解説があるので、この記事は軽い紹介をするにとどめます。

ここだけは読んで!

k=1nkmk=n
という式に心当たりがありますか?
それは多分Faà di Brunoの公式(で解釈できるもの)です!!!

Faà di Brunoの公式

Faà di Brunoの公式

dndxnf(g(x))
=(i=1n1mi!(i!)mi)n!f(mi)(g(x))i=1n(g(i)(x))mi

ただし一番外のシグマは、k=1nkmk=nを満たす非負整数列(m1,,mn)について和を取る。

もうすこし別の形でも述べておきましょう。ただのちょっとした式変形です。

Faà di Brunoの公式-2

(fg)(n)(x)n!
=i=1n(g(i)(x)i!)mif(mi)(g(x))i=1nmi!

こう見ると、「fgn階微分」を、「fの微分」と「gの微分」で表示する公式、とみることができます。この公式のn=1の場合が連鎖律(fg)(x)=g(x)f(g(x))ですね。これを高階に拡張したのがFaà di Brunoの公式です。

どんなところに顔を出すの?

雑な議論ですが、
f(x)=i=1anxn ,g(x)=i=1bnxn
と級数展開し、さらに
(fg)(x)=i=1cnxn
と級数展開します。そしてFaà di Brunoの公式-2の両辺にx=0を代入すると、左辺はcnそのものであり、右辺はanbnに関する式です。

Faà di Brunoの公式-3

cn=iCnakbi1bik
ただし
Cn:={(i1,,ik)1kn, i1++ik=n}

あとがき

私がこの式を"発見"したときは、さすがに綺麗すぎたので既出を確信したものです。そこから色々探し、最終的にFaà di Brunoの公式という名前に辿り着いたのは「LATEXの形式で数式を打ち込むと類似の数式をネットから探し出してくれる」みたいな数式検索サービスでした。

そういった時間や手間を多少減らせていたら、この記事をMathlogに置いておく意味があったというものです。記事のはじめにもリンクを張っておきましたが、詳細な情報は参考文献を参照ください。

参考文献

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

この記事を高評価した人

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

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

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

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

投稿者

Mark_six
Mark_six
14
1140
数学だけして生きていたいですよね。 わたしはそうです。 あなたはどうですか?

コメント

他の人のコメント

コメントはありません。
読み込み中...
読み込み中
  1. Faà di Brunoの公式
  2. どんなところに顔を出すの?
  3. あとがき
  4. 参考文献