御覧のページは本家サイトと同一の管理人によって運営されるミラーサイトです。

汎関数微分

とりあえずは無難な内容をこちらへまとめてみた。

[前の記事へ]  [解析力学の目次へ]  [次の記事へ]


実は変分法と同じ内容

 ここでは「汎関数微分」を物理から離れて説明しようと思う。  前にも話したが、汎関数微分というのは、 第 3 部の「ベルヌーイの問題提起」のところで説明したのと論理的には同じ内容である。  しかしそうは言われても、 じっくり考えてみないとどこまでが同じなのかなかなか気付けないものだ。

 普通の微分があらゆる分野のあらゆる場面に使われているように、 汎関数微分も色んな場面で利用されている。  最速降下線問題に限って使うような話ではないわけだ。

 特定の具体例に縛られて思考を狭めてしまうことが無いように、 論理の要点だけをもう少し抽象的にまとめ直しておこうと思うのである。  抽象的にとは言っても、難し過ぎることにはならないだろうから安心して欲しい。  厳密な話をするつもりもないので、過度の期待はしないでもらいたい。

 要するに私自身が何となく納得が行かず、もやもやしたものを感じ、 それを晴らす為にあちこちで調べまくった結果をまとめておこうというわけである。


汎関数

 では説明を始めよう。  ある関数 を使った次のような計算で決められる値 があるとする。

 ここで の関数として表されているが、 それが で積分されている為、 はもう の関数ではなくなっている。  これが単なる積分ではなく、定積分であることが大切である。  では は何の関数かと言えば、 関数 の形を変更することで値が変わるのだから、 関数 の関数だと言えないだろうか。  このような値 を「汎関数」と呼ぶ。  汎関数は必ずしも積分で表されるものだとは限らないのだが、 とりあえずこれが一番分かり易い例であるからこうしておこう。

  の汎関数であることを表すのに という記法が良く使われる。  普通の関数は の中に変数を書くが、汎関数の場合は の中に 関数を示す記号を書くのである。

 汎関数というのは、単に関数の中に関数が含まれているような、 「合成関数」とはまるで意味が違うことが分かってもらえるだろうか。  大雑把に言えば、関数全体の形によって一つの値が決まるのが汎関数なのである。  いや、この表現には正確ではない部分があるのだが、 どこがまずいかに気付く時が来るまでは、この考え方をしておけばいいと思う。  その方が本質部分をすっきり理解できそうだ。

 例えば、こんな面白い見方がある。  現代数学というのは集合論のやり方で議論されることが多く、 関数についても、集合を使ったちょっと変わったやり方で定義されていたりする。  つまり、通常の関数というのは、数値の集合の元の一つを、 別の集合の元である一つの値へと対応させるルールであるという見方をするのである。  要するに、値の集合が二つあって、一方から他方への写像を与えるのが関数だと言うわけだ。  同様に、関数の集合と値の集合の二つを考え、前者から後者への写像が汎関数だという見方が出来る。  さらには、関数の集合から別の関数の集合へと対応させる写像もあり、これは作用素であるという具合に分類ができるらしい。  作用素というのは、物理では「演算子」と呼ばれており、量子力学で良く出てくるやつだ。  ああ、なるほど、私は数学の知識にはまるで疎いが、そういうことが言えている気がする。

 汎関数と普通の関数の違いは、 ただ変数の個数が無限か有限かというだけだという見方も出来る。  なぜなら、関数 に代入する の値はどんな値でも無限にある中から選べるのであり、 その の値の一つ一つに対応して の値が決まることになっている。  関数というのは無限個の数値の集合体だと言えよう。  その無限にある の値の全てが、 の値を決定するのに使われていると見なせるから、 は変数の数が無限個であるような関数だと言えるではないか。


汎関数微分の考え方

 関数 の形に大きな変更を加えたならば、 には当然大きな変化が起こるだろう。  逆に にほんの少しの変更 しか加えないならば、 には小さな変化 しか起こらないに違いない。  両者の変化の度合いには比例に似た関係があるようにも思える。  しかしそれはちゃんと数学的に扱えるようなものだろうか。   とは記号は似ていてもまるで意味が違うではないか。

 それでもこれは普通の微分計算に良く似た話だとも言える。  変数を無限小だけ変化させたときに、関数の値がやはり無限小だけ変化する。  その両者の変化の比が、 その変化を無限小にした極限で一定値に落ち着くことを計算したのが普通の微分なのだった。  では汎関数についてはどうだろう。

 「関数 を無限小だけ変化させる」とは言っても、 その変化のさせ方には色々あって、 普通の微分ほど簡単には議論できないようにも思える。  まぁ、心配するよりも試しにやってみたら良いだろう。

 あぁ?  何だこれは?   をわずかに変化させたときの の変化は、 変化させた量 を積分したら求められるということだ。  考えてみればごくごく当たり前の結果が導かれてしまっただけではないか。  私はもう少し面白い結果になることを期待したのだった。  仕方がないので話をもう少し複雑にしてみよう。

 関数 が、もっと別の関数 を含む形で 出来上がっているとしてみたらどうだろうか。

 しかしこれでも大して面白くはならない。   をわずかに変更して にしたとする。  その時、 がどうなるかと言えば、 これは汎関数微分ではなく普通の微分である。  何を言っているのか少々ややこしく感じているかもしれないから、 丁寧に話しておこう。

 今は を変化させることを考えているのではないので のことを忘れよう。   に変化させたとき、 となるが、 の関係はどうなっているかを問うているに過ぎない。  その が今は話の流れ上、 という記号で表されているというだけだ。

 これを (2) 式に代入すれば、次のようになる。

  の関数になっている可能性があるから、勝手に積分の外には出せない。  これ以上面白い変形は出来そうにないから、これはこのままにして、 次の話題に移ろう。

 実はもう少し複雑な事を考えたいのだ。  上では、 を含む関数であるとしてみたが、 はこの他に をも含んでいるとしたらどうだろうか。  要するに、 という 3 種類の独立した変数を 含むような関数であると考えてみるのである。

 ここから式はどんどん複雑になるが、論理は非常に単純であるから、 式を読む面倒臭さに負けないようにして欲しい。

 関数 に変化したと考えると、 の方は

と変化するであろう。  つまり、 だけ増えたのである。  これは がどれだけ変化するかという意味でもあるので、 という表記をしてもいいであろう。  要するに微分記号 と変分記号 は順番を入れ替えても問題ないことが言える。

 さて、この変化により にはどんな影響があるかと言うと、 が変化した影響と が変化した影響が両方あるから、

と書けることになる。  この式について、幾つかコメントしておこう。   は変数として直接 をも含む関数ではあるが、 今は の変化のみを考えていて の変化は考えていないので式には現れない。  式がやたらとややこしく見えるだろうが、 というのはひとかたまりの記号だと思って欲しい。  何か別の一つのアルファベットで表してもいいくらいなのだが、 それよりは読者にはこの状況に少しずつ慣れてもらった方がいいと思うのである。  この程度の書き方は他の教科書でも普通に行われているからだ。

 この式をやはり (2) 式に代入してみることにする。

 なかなかややこしい形になってしまったが、 積分の中の第 2 項の は、 部分積分を使うことによって、ただの に直せそうだ。  第 2 項だけを取り出して計算すると次のようになる。

 ここで、2 行目の第 1 項が 3 行目では消されているが、 これはそうなるように であるという仮定を 今突然に入れることにしたからである。  理路整然とした教科書を書きたい人は、 こういうことは予め仮定しておいた方がいいかも知れない。

 この結果を合わせてみると は、

となり、積分の中身を でまとめる事が出来たことになる。  さて、なぜ でまとめることにこだわるのだろうか。  ここが大事なのである。

 今こそ、汎関数微分の定義を紹介するとしよう。

という形式で書ける時、 にあたる部分を と書いて、 これを汎関数 による汎関数微分と呼ぶのである。

 第 3 部の「ベルヌーイの問題提起」のところで説明したのと 全く同じことをそのまま繰り返しただけであることにお気付きかも知れない。  私も説明していて、どんどん話が似てくるので、やめてしまおうかと思ったくらいだ。  まったく無駄な事をしてしまったものだ。  しかし具体例を離れた事で、純粋に論理の方へ集中できたのではないだろうか?  それに、この後、まだまだ付け加えたい事が山ほどあるのだ。

 今出てきた汎関数微分の定義と (2) 式とをちょっと比較してもらいたい。  (2) 式は「まったく簡単すぎて面白くない」と話したものだったが、 つまり、これは、

であることを表しているのではないか。  これも汎関数微分の一種であったのだが、 確かに簡単すぎて面白くない例だったということだ。

 それにしてもこの定義が意味するところは一体何なのだろうか。  ちょっと考えてみよう。


汎関数微分の定義の意図

 上で色々と試す中で、 の間の関係については偏微分を使って表すことが出来ていた。  では の間の関係は同じ具合に表せないものだろうか。  私はずっとそれが気になって仕方なかった。  汎関数微分の記号が という割り算のような形になっていることから、 普通の微分と似たような論理が使えることを期待してしまうのである。

 しかし、初めの方で書いたように、 とは記号の形式は同じでも、 意味がかなり違うのだった。  それなのになぜ汎関数微分は割り算の形式で表記されるのだろう。  単に「普通の微分」と考えが似ていることから、同じような記号を採用しただけだろうか。  微分と同じようなチェーンルールみたいなことは出来ないのだろうか。  ええと、言いたいことがうまく伝わっているか心配だ。  つまり、こんな具合に・・・。

 (注:この式は単なる妄想)
 そんな漠然としたモヤモヤ感を幾日も抱えていたわけだが・・・。

 この解説記事を分かり易いものにしようと格闘している内に、ある日突然に気が付いた。  あ、なぁーんだ!  汎関数微分の定義というのは、 自分の疑問への答え、そのものになっているじゃないか!  汎関数微分の定義は、これだった。

 この式は、上に書いた妄想の式と比べてやると、 ただ積分がついているかどうかだけの違いしかない。  この定義式こそが、私が欲しかった の間の関係式だったのである。

 しかし積分が入って来る理由が理解しがたくて気持ち悪く思う人もいるだろう。  この定義式の意味をもう少しすっきりさせてみよう。  これはむしろ、偏微分の論理に近いと言える。

  個の変数 (つまり )を持つ 多変数関数 を考えよう。  この場合には、その全微分は、

と書けるのだった。  では、この変数 が連続的に無限に存在していたら、どう書いたらいいだろう。  有限個の和の記号 の代わりに積分を使うのではなかろうか。  上の式では添え字 を使っているが、 その代わりに連続的な変化を表す添え字として変数 を使ってやれば、

となるのであり、汎関数微分の定義そのものである。  このような、偏微分との類似性は何と美しい事だろうか。  汎関数とはまさに、変数が無限個である関数としての意味を持つのであった。


もう少し複雑なことにチャレンジ

 これよりさらに進んで、 「もし の 2 階微分も含んでいたら?」などという 状況設定を考えることも出来る。  そういう計算が必要になった時には、 これまでと同じような調子でじっくり考えてもらえば何とかなるであろう。  ここでは具体的にはやらないで、興味のある読者にお任せしようと思う。

 少しだけ書いておくと、部分積分を繰り返してやればいいのである。  その時には、 の微分 が出てきて、 という仮定を追加することも必要になるだろう。

 話が長くなってきたのでここで一区切りしたいと思う。  本当は他にも書いておいた方が良いかと迷っていることがあるのだが、 残りは次回に回すことにしよう。  先へ進むのに必要な内容はすでにここまでに詰め込んであるはずなので、 以上の説明で満足できてしまった人は、次の話を読み飛ばしてもらっても問題ないだろう。


[前の記事へ]  [解析力学の目次へ]  [次の記事へ]