資料紹介

汎関数微分
とりあえずは無難な内容をこちらへまとめてみた。
実は変分法と同じ内容
　ここでは「汎関数微分」を物理から離れて説明しようと思う。　前にも話したが、汎関数微分というのは、第 3 部の「ベルヌーイの問題提起」のところで説明したのと論理的には同じ内容である。　しかしそうは言われても、じっくり考えてみないとどこまでが同じなのかなかなか気付けないものだ。
　普通の微分があらゆる分野のあらゆる場面に使われるように、汎関数微分も色んな場面で利用されている。　最速降下線問題に限って使うような話ではないわけだ。
　特定の具体例に縛られて思考を狭めてしまうことが無いように、論理の要点だけをもう少し抽象的にまとめ直しておこうと思うのである。　抽象的にとは言っても、難し過ぎることにはならないだろうから安心して欲しい。　厳密な話をするつもりもないので、過度の期待はしないでもらいたい。
　要するに私自身が何となく納得が行かず、もやもやしたものを感じ、それを晴らす為にあちこちで調べまくった結果をまとめておこうというわけである。
汎関数
　では説明を始めよう。　ある関数 F(x) を使った次のような計算で決められる値 I があるとする。
　ここで F は x の関数として表されているが、それが x で積分されている為、I はもう x の関数ではなくなっている。　これが単なる積分ではなく、定積分であることが大切である。　では I は何の関数かと言えば、関数 F の形を変更することで値が変わるのだから、関数 F(x) の関数だと言えないだろうか。　このような値 I を「汎関数」と呼ぶ。　汎関数は必ずしも積分で表されるものだとは限らないのだが、とりあえずこれが一番分かり易い例であるからこうしておこう。
　I が F の汎関数であることを表すのに I [F] という記法が良く使われる。　普通の関数は ( ) の中に変数を書くが、汎関数の場合は [ ] の中に関数を示す記号を書くのである。
　汎関数というのは、単に関数の中に関数が含まれているような、「合成関数」とはまるで意味が違うことが分かってもらえるだろうか。　大雑把に言えば、関数全体の形によって一つの値が決まるのが汎関数なのである。　いや、この表現には正確ではない部分があるのだが、どこがまずいかに気付く時が来るまでは、この考え方をしておけばいいと思う。　その方が本質部分をすっきり理解できそうだ。
　例えば、こんな面白い見方がある。　現代数学というのは集合論のやり方で議論されることが多く、関数についても、集合を使ったちょっと変わったやり方で定義されていたりする。　つまり、通常の関数というのは、数値の集合の元の一つを、別の集合の元である一つの値へと対応させるルールであるという見方をするのである。　要するに、値の集合が二つあって、一方から他方への写像を与えるのが関数だと言うわけだ。　同様に、関数の集合と値の集合の二つを考え、前者から後者への写像が汎関数だという見方が出来る。　さらには、関数の集合から別の関数の集合へと対応させる写像もあり、これは作用素であるという具合に分類ができるらしい。　作用素というのは、物理では「演算子」と呼ばれており、量子力学で良く出てくるやつだ。　ああ、なるほど、私は数学の知識にはまるで疎いが、そういうことが言えている気がする。
　汎関数と普通の関数の違いは、ただ変数の個数が無限か有限かというだけだという見方も出来る。　なぜなら、関数 F(x) に代入する x の値はどんな値でも無限にあ

資料の原本内容

汎関数微分
とりあえずは無難な内容をこちらへまとめてみた。
実は変分法と同じ内容
　ここでは「汎関数微分」を物理から離れて説明しようと思う。　前にも話したが、汎関数微分というのは、第 3 部の「ベルヌーイの問題提起」のところで説明したのと論理的には同じ内容である。　しかしそうは言われても、じっくり考えてみないとどこまでが同じなのかなかなか気付けないものだ。
　普通の微分があらゆる分野のあらゆる場面に使われるように、汎関数微分も色んな場面で利用されている。　最速降下線問題に限って使うような話ではないわけだ。
　特定の具体例に縛られて思考を狭めてしまうことが無いように、論理の要点だけをもう少し抽象的にまとめ直しておこうと思うのである。　抽象的にとは言っても、難し過ぎることにはならないだろうから安心して欲しい。　厳密な話をするつもりもないので、過度の期待はしないでもらいたい。
　要するに私自身が何となく納得が行かず、もやもやしたものを感じ、それを晴らす為にあちこちで調べまくった結果をまとめておこうというわけである。
汎関数
　では説明を始めよう。　ある関数 F(x) を使った次のような計算で決められる値 I があるとする。
　ここで F は x の関数として表されているが、それが x で積分されている為、I はもう x の関数ではなくなっている。　これが単なる積分ではなく、定積分であることが大切である。　では I は何の関数かと言えば、関数 F の形を変更することで値が変わるのだから、関数 F(x) の関数だと言えないだろうか。　このような値 I を「汎関数」と呼ぶ。　汎関数は必ずしも積分で表されるものだとは限らないのだが、とりあえずこれが一番分かり易い例であるからこうしておこう。
　I が F の汎関数であることを表すのに I [F] という記法が良く使われる。　普通の関数は ( ) の中に変数を書くが、汎関数の場合は [ ] の中に関数を示す記号を書くのである。
　汎関数というのは、単に関数の中に関数が含まれているような、「合成関数」とはまるで意味が違うことが分かってもらえるだろうか。　大雑把に言えば、関数全体の形によって一つの値が決まるのが汎関数なのである。　いや、この表現には正確ではない部分があるのだが、どこがまずいかに気付く時が来るまでは、この考え方をしておけばいいと思う。　その方が本質部分をすっきり理解できそうだ。
　例えば、こんな面白い見方がある。　現代数学というのは集合論のやり方で議論されることが多く、関数についても、集合を使ったちょっと変わったやり方で定義されていたりする。　つまり、通常の関数というのは、数値の集合の元の一つを、別の集合の元である一つの値へと対応させるルールであるという見方をするのである。　要するに、値の集合が二つあって、一方から他方への写像を与えるのが関数だと言うわけだ。　同様に、関数の集合と値の集合の二つを考え、前者から後者への写像が汎関数だという見方が出来る。　さらには、関数の集合から別の関数の集合へと対応させる写像もあり、これは作用素であるという具合に分類ができるらしい。　作用素というのは、物理では「演算子」と呼ばれており、量子力学で良く出てくるやつだ。　ああ、なるほど、私は数学の知識にはまるで疎いが、そういうことが言えている気がする。
　汎関数と普通の関数の違いは、ただ変数の個数が無限か有限かというだけだという見方も出来る。　なぜなら、関数 F(x) に代入する x の値はどんな値でも無限にある中から選べるのであり、その x の値の一つ一つに対応して F(x) の値が決まることになっている。　関数というのは無限個の数値の集合体だと言えよう。　その無限にある F(x) の値の全てが、 I の値を決定するのに使われていると見なせるから、 I は変数の数が無限個であるような関数だと言えるではないか。
汎関数微分の考え方
　関数 F(x) の形に大きな変更を加えたならば、I には当然大きな変化が起こるだろう。　逆に F(x) にほんの少しの変更 δF(x) しか加えないならば、 I には小さな変化 δI しか起こらないに違いない。　両者の変化の度合いには比例に似た関係があるようにも思える。　しかしそれはちゃんと数学的に扱えるようなものだろうか。　δI と δF(x) とは記号は似ていてもまるで意味が違うではないか。
　それでもこれは普通の微分計算に良く似た話だとも言える。　変数を無限小だけ変化させたときに、関数の値がやはり無限小だけ変化する。　その両者の変化の比が、その変化を無限小にした極限で一定値に落ち着くことを計算したのが普通の微分なのだった。　では汎関数についてはどうだろう。
　「関数 F(x) を無限小だけ変化させる」とは言っても、その変化のさせ方には色々あって、普通の微分ほど簡単には議論できないようにも思える。　まぁ、心配するよりも試しにやってみたら良いだろう。
　あぁ？　何だこれは？　F(x) をわずかに変化させたときの I の変化は、変化させた量 δF(x) を積分したら求められるということだ。　考えてみればごくごく当たり前の結果が導かれてしまっただけではないか。　私はもう少し面白い結果になることを期待したのだった。　仕方がないので話をもう少し複雑にしてみよう。
　関数 F(x) が、もっと別の関数 f (x) を含む形で出来上がっているとしてみたらどうだろうか。
　しかしこれでも大して面白くはならない。　f (x) をわずかに変更して f (x) + δf (x) にしたとする。　その時、δF(x) がどうなるかと言えば、これは汎関数微分ではなく普通の微分である。　何を言っているのか少々ややこしく感じているかもしれないから、丁寧に話しておこう。
　今は x を変化させることを考えているのではないので x のことを忘れよう。　f を f + df に変化させたとき、F は F + dF となるが、dF と df の関係はどうなっているかを問うているに過ぎない。　その dF や df が今は話の流れ上、δF や δf という記号で表されているというだけだ。
　これを (2) 式に代入すれば、次のようになる。
　∂F/∂f は x の関数になっている可能性があるから、勝手に積分の外には出せない。　これ以上面白い変形は出来そうにないから、これはこのままにして、次の話題に移ろう。
　実はもう少し複雑な事を考えたいのだ。　上では、F(x) は f (x) を含む関数であるとしてみたが、 F(x) はこの他に df/dx をも含んでいるとしたらどうだろうか。　要するに、F(x) は x と f (x) と df (x)/dx という 3 種類の独立した変数を含むような関数であると考えてみるのである。
　ここから式はどんどん複雑になるが、論理は非常に単純であるから、式を読む面倒臭さに負けないようにして欲しい。
　関数 f が f + δf に変化したと考えると、df/dx の方は
と変化するであろう。　つまり、d(δf)/dx だけ増えたのである。　これは df/dx がどれだけ変化するかという意味でもあるので、 δ(df/dx) という表記をしてもいいであろう。　要するに微分記号 d/dx と変分記号 δ は順番を入れ替えても問題ないことが言える。
　さて、この変化により δF にはどんな影響があるかと言うと、 f が変化した影響と df/dx が変化した影響が両方あるから、
と書けることになる。　この式について、幾つかコメントしておこう。　F は変数として直接 x をも含む関数ではあるが、今は f の変化のみを考えていて x の変化は考えていないので式には現れない。　式がやたらとややこしく見えるだろうが、 df/dx というのはひとかたまりの記号だと思って欲しい。　何か別の一つのアルファベットで表してもいいくらいなのだが、それよりは読者にはこの状況に少しずつ慣れてもらった方がいいと思うのである。　この程度の書き方は他の教科書でも普通に行われているからだ。
　この式をやはり (2) 式に代入してみることにする。
　なかなかややこしい形になってしまったが、積分の中の第 2 項の d(δf)/dx は、部分積分を使うことによって、ただの δf に直せそうだ。　第2項だけを取り出して計算すると次のようになる。
　ここで、2 行目の第 1 項が 3 行目では消されているが、これはそうなるように δf (A) = δf (B) = 0 であるという仮定を今突然に入れることにしたからである。　理路整然とした教科書を書きたい人は、こういうことは予め仮定しておいた方がいいかも知れない。
　この結果を合わせてみると δI は、
となり、積分の中身を δf でまとめる事が出来たことになる。　さて、なぜ δf でまとめることにこだわるのだろうか。　ここが大事なのである。
　今こそ、汎関数微分の定義を紹介するとしよう。
という形式で書ける時、X (x) にあたる部分を δI/δf と書いて、これを汎関数 I [f] の f による汎関数微分と呼ぶのである。
　第 3 部の「ベルヌーイの問題提起」のところで説明したのと全く同じことをそのまま繰り返しただけであることにお気付きかも知れない。　私も説明していて、どんどん話が似てくるので、やめてしまおうかと思ったくらいだ。　まったく無駄な事...

コメント0件