積と微分とデルタ関数
この記事は 明日話したくなる数学豆知識アドベントカレンダー の 16日目の記事です。(15日目:ペンローズ・タイル )
先日ステップ関数の微分というタイトルでデルタ関数について書いた.デルタ関数は関数ではなく,数学的には超関数として定義されるという話であった.今日は超関数の積について書こう.
関数の掛け算で悩む人はいないだろうが,実は超関数では一般的に積が定義できない.このことを考えるため,交換律,結合律を満たす積が定義されているとしよう.は原点以外で0であるため,
となっていてほしい.すると,
となって矛盾する.
しかしこれでは納得がいかない.今の話ではが厄介者である.そこで超関数の空間としての逆元を含まないものを考えよう.これで上のような矛盾は発生しないはずである.ただ,を含まないにしても連続関数は含んでいるものとする.
だがこれはこれで別の問題が発生する.超関数の嬉しい性質として不連続であろうが何回でも微分できるというものがあるが,これがまた厄介ごとを生むのである.微分演算子が定義されており,積の微分則:
が成り立っているとする.このとき,
である.ここで,は連続関数であるとしよう.すると,
となるので,
となる.が超関数に含まれているので,その高階微分であるも超関数に含まれなくてはならない.しかし,上式よりである.は除いたはずなので矛盾してしまう.
この矛盾は連続関数と微分則によって導かれたものであるから,本当にを空間から排除するためにはこれらを諦めなくてはならない.積とデルタを取れば微分が失われ,積と微分を取ればデルタが失われ,デルタと微分を取れば積が失われる.
以上の話はローラン・シュワルツの論文"Sur l'impossibilité de la multiplication des distributions"で示されたものである.フランス語はさっぱりわからないが重要な部分は数式なので,GoogleとExciteすればだいたいの内容は理解できる.いい時代に生まれたものだ.