「超関数」の版間の差分
同名の記事が存在するので誘導を設置 |
m編集の要約なし |
||
1行目: | 1行目: | ||
{{see also|超函数}} |
{{see also|超函数}} |
||
''' |
'''一般化された関数'''、あるいは'''超関数'''(ちょうかんすう、{{lang-en-short|generalized function}})とは、[[関数]]を一般化した概念である。通常は[[シュワルツの超関数]] {{en|(distribution)}} か[[佐藤の超関数]] {{en|(hyperfunction)}} のいずれかを指す。 |
||
超関数は、[[連続関数]]に対する[[微分]]の概念を拡張し、[[偏微分方程式]]の解空間を拡げた。[[物理]]や[[工学]]で扱われる |
超関数は、[[連続関数]]に対する[[微分]]の概念を拡張し、[[偏微分方程式]]の解空間を拡げた。超関数は[[不連続関数]]の構成において特に有用であり、[[物理]]や[[工学]]で扱われる離散的な問題においては、[[ディラックのデルタ関数|デルタ関数]]のような超関数を解とするような[[微分方程式]]が導かれるため重要である。たとえば[[点電荷]]のような電荷分布はディラックのデルタ関数を用いて表現される。 |
||
超関数の起源は[[演算子法]]に見ることができるが、直接的には、[[セルゲイ・ソボレフ]]や[[ローラン・シュワルツ]]らの仕事がその始まりである。 |
|||
[[1935年]]に[[セルゲイ・ソボレフ]] (Sergei Sobolev) が、[[部分積分]]を形式的に用いて、微分方程式の解の拡張をしたのをはじめ、何人かの数学者によって[[微分]]の拡張が行われ始め、[[1940年]]代末には[[ローラン・シュワルツ]]がこれらを超関数の理論としてまとめた。そして1960年前後に[[佐藤幹夫 (数学者)|佐藤幹夫]]がまったく別の見地に立って超関数の理論を組み立てた。 |
|||
[[1935年]]にソボレフが、[[部分積分]]を形式的に用いて、微分方程式の解の拡張をしたのをはじめ、何人かの数学者によって微分の拡張が行われ始め、[[1940年代]]末にはシュワルツがこれらを超関数の理論としてまとめた。1958年に[[佐藤幹夫 (数学者)|佐藤幹夫]]が[[層コホモロジー]]の理論を応用して、シュワルツらとは別の見地に立った超関数論を組み立てた。超関数論に重要な影響を与えたのは、[[偏微分方程式]]や[[群の表現]]の理論などからの技術的な要請であった。 |
|||
== 概要 == |
== 概要 == |
||
「超関数」の導入は、[[ディラックのデルタ関数]]のような通常の関数の概念では許されない「関数」をもそれを「超関数」として扱うことで通常の関数と統一的に扱うことを可能にし、不連続関数の「微分」や偏微分方程式の「弱い解」などに合理的根拠を与えるなど、解析演算の自由度を著しく高めた。 |
「超関数」の導入は、[[ディラックのデルタ関数]]のような通常の関数の概念では許されない「関数」をもそれを「超関数」として扱うことで通常の関数と統一的に扱うことを可能にし、不連続関数の「微分」や偏微分方程式の「弱い解」などに合理的根拠を与えるなど、解析演算の自由度を著しく高めた。 |
||
実際に超関数を用いるには、まず通常の関数に対応する要素をもち、かつさらに広い要素にも対処できる |
実際に超関数を用いるには、まず通常の関数に対応する要素をもち、かつさらに広い要素にも対処できる一つの数学的表現を定め、それを超関数と定義する。そして例えば関数を微分するなどの[[演算]]も対応する超関数の表現に対する操作として定義し直す。こうして例えば[[ヘヴィサイドの階段関数]]では、それを超関数に読み替えたものを微分すると通常の関数とは解釈出来ない表現が得られる。それが[[ディラックのデルタ関数]]という名の超関数である。 |
||
超関数論では、通常の関数の演算に対応する超関数の表現の操作を定め、超関数の計算規則をつくる。と同時に主な超関数に対して微分や[[フーリエ変換]]といった演算を施した結果を求め、それを公式集としてまとめておく |
超関数論では、通常の関数の演算に対応する超関数の表現の操作を定め、超関数の計算規則をつくる。と同時に主な超関数に対して微分や[[フーリエ変換]]といった演算を施した結果を求め、それを公式集としてまとめておく(これらの計算規則や公式は数学的に厳密な表現に対する操作で定義され、実行されているので、数学的な正当性が保証されていることに注意)。すると超関数の計算は、計算規則に則り、公式集の助けを借りて、機械的に行うことが出来て、それを超関数と意識する必要もなくなる。かくして通常の関数に対応する超関数では普通の関数記号 {{math|''f''(''x'')}} を使ってそのまま演算を実行でき、結果が普通の関数でなくなればディラックのデルタ関数のような超関数の記号が現れる。 |
||
こうして超関数を用いることにより、不連続関数の微分、デルタ関数、アダマールの発散積分の有限部分、緩増加関数のフーリエ変換など、従来の数学の枠内には納まらない演算まで自由に扱うことが出来るようになった。 |
こうして超関数を用いることにより、不連続関数の微分、デルタ関数、アダマールの発散積分の有限部分、緩増加関数のフーリエ変換など、従来の数学の枠内には納まらない演算まで自由に扱うことが出来るようになった。 |
||
「超関数」は上記の性質を満たすように定義されていれば何でも使えるので、その定義の仕方は |
「超関数」は上記の性質を満たすように定義されていれば何でも使えるので、その定義の仕方は一通りではない。通常はこの言葉で代表的な 2 つの定義方法である、[[シュワルツの超関数]]か[[佐藤の超関数]]かのいずれかを指す。 |
||
== 名称 == |
== 名称 == |
||
「超関数」という言葉自体は日本でつくられた数学用語である。これはシュワルツの著書を訳出するとき、原著では |
「超関数」という言葉自体は日本でつくられた数学用語である。これはシュワルツの著書を訳出するとき、原著では {{en|"distribution"}}(分布)とあった名称を、関数概念を拡張したものの名前であるという実体を取り入れて訳者が「超函数」と意訳したことに始まる<ref>しかし、訳者の岩村自身はこの訳語にためらいがあったようで、訳書のまえがきで「後者 {{en|(distribution)}} は原語のままで流通することが望ましい」と記している。</ref>。英語文献において、一般の超関数を指すときは {{en|generalized function}}(一般化された関数)というが、特にシュワルツや佐藤の超関数を指す場合には、シュワルツの超関数は {{en|"distribution"}} と呼ばれ、佐藤の超関数は {{en|"hyperfunction"}}(超関数)と呼ばれる。{{en|hyperfunction}} という呼称は原論文で用いられる用語であり、佐藤の超関数に対する呼称はこれに倣っている。 |
||
== シュワルツの超関数 == |
== シュワルツの超関数 == |
||
{{main|シュワルツ超函数}} |
|||
シュワルツの超関数は、[[台_(数学)#コンパクト台付きの函数|コンパクトな台]]をもつ無限回微分可能な関数を試験関数として、そのような試験関数全体のなす関数空間上の連続線型汎関数として定義される。こうして超関数は、その微分可能性が試験関数の微分可能性に移されて常に成り立つことになるなど、極めて良好な性質を持つことになる。詳細は[[シュワルツの超関数]]を参照。 |
|||
シュワルツの超関数は、[[台_(数学)#コンパクト台付きの函数|コンパクトな台]]をもつ無限回微分可能な関数を試験関数として、そのような試験関数全体のなす関数空間上の連続線型汎関数として定義される。こうして超関数は、その微分可能性が試験関数の微分可能性に移されて常に成り立つことになるなど、極めて良好な性質を持つことになる。 |
|||
一方、その変種として超関数を通常の関数の列の極限として定義して、シュワルツの超関数理論に則って理論体系を作り上げる方法がある。この方法によると、一部数学的厳密性の証明を棚上げにしてではあるが、超関数の非常に解りやすく使い易い理論体系が作られる |
一方、その変種として超関数を通常の関数の列の極限として定義して、シュワルツの超関数理論に則って理論体系を作り上げる方法がある。この方法によると、一部数学的厳密性の証明を棚上げにしてではあるが、超関数の非常に解りやすく使い易い理論体系が作られる<ref>[[#フーリエ解析と超関数|ライトヒル『フーリエ解析と超関数』]]。</ref>。 |
||
== 佐藤の超関数 == |
== 佐藤の超関数 == |
||
{{main|佐藤超函数}} |
|||
シュワルツ理論の成功に刺激され、[[佐藤幹夫 (数学者)|佐藤幹夫]]は'''[[佐藤の超関数]]''' {{lang|en|(''hyperfunction'')}} のアイデアを導き出した。佐藤の超関数は[[正則関数]]の抽象的境界値として定義される。具体的に云えば、複素平面の上半平面で[[正則]]な関数 ''F<sub>+</sub>(z)'' と下半平面で正則な関数 ''F<sub>-</sub>(z)'' との実軸上での差、''{F<sub>+</sub>(z) - F<sub>-</sub>(z)}<sub>z=x</sub>'' として定義される。 |
|||
シュワルツ理論の成功に刺激され、[[佐藤幹夫 (数学者)|佐藤幹夫]]は'''[[佐藤の超関数]]''' {{lang|en|(''hyperfunction'')}} のアイデアを導き出した。佐藤の超関数は[[正則関数]]の抽象的境界値として定義される。具体的に云えば、複素平面の上半平面で[[正則]]な関数 {{math|''F''<sub>+</sub>(''z'')}} と下半平面で正則な関数 {{math|''F''<sub>−</sub>(''z'')}} との実軸上での差、{{math|(''F''<sub>+</sub>(''z'') − ''F''<sub>−</sub>(''z'')){{!}}<sub>Im''z'' {{=}} 0</sub>}} として定義される。 |
|||
厳密な理論は、多変数複素関数の成す[[層 (数学)|層]]係数のコホモロジー理論を用いて、代数的手法によって展開される。こうした代数的手法の解析学への導入は、今日、[[D加群]]等に代表される[[代数解析学]]や、余接バンドル上で {{lang|en|microfunction}} や {{lang|en|microdifferential operator}} 等を用いる[[超局所解析|超局所解析学]]をもたらした。 |
厳密な理論は、多変数複素関数の成す[[層 (数学)|層]]係数のコホモロジー理論を用いて、代数的手法によって展開される。こうした代数的手法の解析学への導入は、今日、[[D加群]]等に代表される[[代数解析学]]や、余接バンドル上で {{lang|en|microfunction}} や {{lang|en|microdifferential operator}} 等を用いる[[超局所解析|超局所解析学]]をもたらした。 |
||
また、物理学における[[ファインマン積分]]のような形式的方法を厳密な数学の理論へと変えることができたのである |
また、物理学における[[ファインマン積分]]のような形式的方法を厳密な数学の理論へと変えることができたのである。 |
||
== 参考文献 == |
|||
*{{Cite book|和書|author=今井功|authorlink=今井功 (物理学者)|year=1981|month=5|title=応用超関数論|volume=Ⅰ|publisher=サイエンス社|isbn=978-4-7819-0215-9}} - 「佐藤の超関数」にもとづく体系化。 |
|||
*{{Cite book|和書|author=今井功|authorlink=今井功 (物理学者)|year=1981|month=5|title=応用超関数論|volume=Ⅱ|publisher=サイエンス社|isbn=978-4-7819-0216-6}} |
|||
*{{Cite book|和書|author=垣田高夫|authorlink=垣田高夫|year=1985|month=8|title=シュワルツ超関数入門|series=日評数学選書|publisher=日本評論社|isbn=4-535-60112-7}} |
|||
**{{Cite book|和書|author=垣田高夫|authorlink=垣田高夫|year=1999|month=10|title=シュワルツ超関数入門|edition=新装版|publisher=日本評論社|isbn=4-535-60126-7}} |
|||
*{{Cite book|last=Schwartz|first=Laurent|origyear=1950|date=1997-10-21|title=Thèorie des distributions|edition=Nouveau tirage|publisher=Hermann & C<sup>ie</sup>|location=Paris|isbn=2705655514}}({{Cite book|和書|author=L・シュワルツ|authorlink=ローラン・シュワルツ|others=[[岩村聯]]、[[石垣春夫]]、[[鈴木文夫]]訳|origyear=1953|date=1971-09-30|title=超函数の理論|edition=原書第3版|publisher=岩波書店|isbn=4-00-005661-1}}) |
|||
*{{Cite book|last=Lighthill|first=M. J.|others=Cambridge et. al.|date=1958-01-01|title=Introduction to Fourier Analysis and Generalized Functions|series=Cambridge Monographs on Mechanics|edition=Paperback|publisher=Cambridge University Press|isbn=0-521-09128-4}}({{Cite book|和書|author=M・J・ライトヒル|authorlink=M・J・ライトヒル|others=[[高見頴郎]]訳|year=1975|title=フーリエ解析と超関数|publisher=ダイヤモンド社}}) - 超関数を関数列の極限として定義する手法で解説。 |
|||
== 脚注 == |
== 脚注 == |
||
{{reflist}} |
{{reflist}} |
||
== 参考文献 == |
|||
{{div col|small=yes}} |
|||
*{{Cite book|和書 |
|||
|first=功 |
|||
|last=今井 |
|||
|authorlink=今井功 (物理学者) |
|||
|date=1981-05 |
|||
|title=応用超関数論 |
|||
|volume=1 |
|||
|publisher=サイエンス社 |
|||
|isbn=978-4-7819-0215-9 |
|||
|ref = 応用超関数論1}} |
|||
*{{Cite book|和書 |
|||
|first=功 |
|||
|last=今井 |
|||
|authorlink=今井功 (物理学者) |
|||
|date=1981-05 |
|||
|title=応用超関数論 |
|||
|volume=2 |
|||
|publisher=サイエンス社 |
|||
|isbn=978-4-7819-0216-6 |
|||
|ref=応用超関数論2}} |
|||
*{{Cite book|和書 |
|||
|first=高夫 |
|||
|last=垣田 |
|||
|authorlink=垣田高夫 |
|||
|date=1985-08 |
|||
|title=シュワルツ超関数入門 |
|||
|series=日評数学選書 |
|||
|publisher=日本評論社 |
|||
|isbn=4-535-60112-7 |
|||
|ref=シュワルツ超関数入門初版}} |
|||
**{{Cite book|和書 |
|||
|first=高夫 |
|||
|last=垣田 |
|||
|authorlink=垣田高夫 |
|||
|date=1999-10 |
|||
|title=シュワルツ超関数入門 |
|||
|edition=新装版 |
|||
|publisher=日本評論社 |
|||
|isbn=4-535-60126-7 |
|||
|ref=シュワルツ超関数入門新装版}} |
|||
*{{Cite book |
|||
|last=Schwartz |
|||
|first=Laurent |
|||
|authorlink=ローラン・シュワルツ |
|||
|origdate=1950 |
|||
|date=1997-10-21 |
|||
|title=Thèorie des distributions |
|||
|edition=Nouveau tirage |
|||
|publisher=Hermann & C<sup>ie</sup> |
|||
|location=Paris |
|||
|isbn=2705655514 |
|||
|ref=harv}} |
|||
**{{Cite book|和書 |
|||
|first=L. |
|||
|last=シュワルツ |
|||
|authorlink=ローラン・シュワルツ |
|||
|others=[[岩村聯]]、[[石垣春夫]]、[[鈴木文夫]]訳 |
|||
|origdate=1953 |
|||
|date=1971-09-30 |
|||
|title=超函数の理論 |
|||
|edition=原書第3版 |
|||
|publisher=岩波書店 |
|||
|isbn=4-00-005661-1 |
|||
|ref=超函数の理論}} |
|||
*{{Cite book |
|||
|last=Lighthill |
|||
|first=M. J. |
|||
|authorlink=:en:James Lighthill |
|||
|others=Cambridge et. al. |
|||
|date=1958-01-01 |
|||
|title=Introduction to Fourier Analysis and Generalized Functions |
|||
|series=Cambridge Monographs on Mechanics |
|||
|edition=Paperback |
|||
|publisher=Cambridge University Press |
|||
|isbn=0-521-09128-4 |
|||
|ref=harv}} |
|||
** {{Cite book|和書 |
|||
|first=M.J. |
|||
|last=ライトヒル |
|||
|authorlink=ジェームス・ライトヒル |
|||
|others=[[高見頴郎]]訳 |
|||
|date=1975 |
|||
|title=フーリエ解析と超関数 |
|||
|publisher=ダイヤモンド社 |
|||
|ref=フーリエ解析と超関数}} - 超関数を関数列の極限として定義する手法で解説。 |
|||
* {{cite journal |
|||
|first=L. |
|||
|last=Schwartz |
|||
|title=Sur l'impossibilité de la multiplication des distributions |
|||
|journal=Comptes Rendus de L'Academie des Sciences |
|||
|location=Paris |
|||
|volume=239 |
|||
|date=1954 |
|||
|pages=847-848 |
|||
|ref=harv}} |
|||
*{{Citation |
|||
|last1=Gel'fand |
|||
|first1=I. M. |
|||
|last2=Shilov |
|||
|first2=G. E. |
|||
|title=Generalized functions. Vol. I: Properties and operations |
|||
|origdate=1958 |
|||
|url=http://books.google.com/books?id=QoWBSgAACAAJ |
|||
|publisher=[[:en:Academic Press|Academic Press]] |
|||
|location=Boston, MA |
|||
|others=Translated by Eugene Saletan |
|||
|isbn=978-0-12-279501-5 |
|||
|date=1964 |
|||
|mr=0166596}} |
|||
*{{Citation |
|||
|last1=Gel'fand |
|||
|first1=I. M. |
|||
|last2=Shilov |
|||
|first2=G. E. |
|||
|title=Generalized functions. Vol. 2. Spaces of fundamental and generalized functions |
|||
|origdate=1958 |
|||
|url=http://books.google.com/books?id=9mEPAQAAMAAJ |
|||
|publisher=Academic Press |
|||
|location=Boston, MA |
|||
|others=Translated by Morris D. Friedman, Amiel Feinstein, and Christian P. Peltzer |
|||
|isbn=978-0-12-279502-2 |
|||
|date=1968 |
|||
|mr=0230128}} |
|||
*{{Citation |
|||
|last1=Gel'fand |
|||
|first1=I. M. |
|||
|last2=Shilov |
|||
|first2=G. E. |
|||
|title=Generalized functions. Vol. 3: Theory of differential equations |
|||
|origdate=1958 |
|||
|publisher=Academic Press |
|||
|location=Boston, MA |
|||
|others=Translated by Meinhard E. Mayer |
|||
|date=1967 |
|||
|mr=0217416}} |
|||
*{{Citation |
|||
|last1=Gel'fand |
|||
|first1=I. M. |
|||
|last2=Vilenkin |
|||
|first2=N. Ya. |
|||
|title=Generalized functions. Vol. 4: Applications of harmonic analysis |
|||
|origdate=1961 |
|||
|url=http://books.google.com/books?id=dd35YQEACAAJ |
|||
|publisher=Academic Press |
|||
|location=Boston, MA |
|||
|others=Translated by Amiel Feinstein |
|||
|isbn=978-0-12-279504-6 |
|||
|date=1964 |
|||
|mr=0173945}} |
|||
*{{Citation |
|||
|last1=Gel'fand |
|||
|first1=I. M. |
|||
|last2=Graev |
|||
|first2=M. I. |
|||
|last3=Vilenkin |
|||
|first3=N. Ya. |
|||
|title=Generalized functions. Vol. 5: Integral geometry and representation theory |
|||
|origdate=1962 |
|||
|publisher=Academic Press |
|||
|location=Boston, MA |
|||
|series=Translated from the Russian by Eugene Saletan |
|||
|isbn=978-0-12-279505-3 |
|||
|date=1966 |
|||
|mr=0207913}} |
|||
* {{cite book |
|||
|first=L. |
|||
|last=Hörmander |
|||
|authorlink=ラース・ヘルマンダー |
|||
|title=The Analysis of Linear Partial Differential Operators |
|||
|publisher=Springer Verlag |
|||
|date=1983}} |
|||
* {{cite book |
|||
|first=A. S. |
|||
|last=Demidov |
|||
|title=Generalized Functions in Mathematical Physics: Main Ideas and Concepts |
|||
|publisher=Nova Science Publishers |
|||
|location=Huntington |
|||
|date=2001 |
|||
|others= With an addition by [[:en:Yuri Vladimirovich Egorov|Yu. V. Egorov]]}} |
|||
* {{cite book |
|||
|first=M. |
|||
|last=Oberguggenberger |
|||
|title=Multiplication of distributions and applications to partial differential equations |
|||
|publisher=Longman |
|||
|location=Harlow |
|||
|date=1992}} |
|||
* {{cite journal |
|||
|first=M. |
|||
|last=Oberguggenberger |
|||
|title=Generalized functions in nonlinear models - a survey |
|||
|journal=Nonlinear Analysis |
|||
|volume=47 |
|||
|issue=8 |
|||
|date=2001 |
|||
|pages=5029-5040 |
|||
|url=http://techmath.uibk.ac.at/mathematik/publikationen |
|||
|ref=harv}} |
|||
* {{cite book |
|||
|first=J.-F. |
|||
|last=Colombeau |
|||
|authorlink=ジャン・フランソワ・コロンボ |
|||
|title=New Generalized Functions and Multiplication of Distributions |
|||
|publisher=North Holland |
|||
|date=1983 |
|||
|ref=harv}} |
|||
* {{cite book |
|||
|first1=M. |
|||
|last1=Grosser |
|||
|first2=M. |
|||
|last2=Kunzinger |
|||
|first3= M. |
|||
|last3=Oberguggenberger |
|||
|first4=R. |
|||
|last4=Steinbauer |
|||
|title=Geometric theory of generalized functions with applications to general relativity |
|||
|publisher=Kluwer Academic Publishers |
|||
|date=2001}} |
|||
* {{cite book |
|||
|first=H. |
|||
|last=Kleinert |
|||
|authorlink=ハーゲン・クライネルト |
|||
|title=Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets |
|||
|edition=4th |
|||
|publisher=World Scientific |
|||
|location=Singapore |
|||
|date=2006 |
|||
|url=http://www.physik.fu-berlin.de/~kleinert/b5 |
|||
|chapter=Ch.11}} |
|||
*{{cite journal |
|||
| title = A contribution to the theory of generalized functions |
|||
| first = Yu. V. |
|||
| last = Egorov |
|||
| journal = Russ. Math. Surveys (Uspekhi Mat. Nauk) |
|||
| volume = 45 |
|||
| issue = 5 |
|||
| pages = 1–49 |
|||
| date = 1990 |
|||
| doi = 10.1070/RM1990v045n05ABEH002683 |
|||
| ref = harv |
|||
}} |
|||
*{{cite journal |
|||
| title = Rules for integrals over products of distributions from coordinate independence of path integrals |
|||
| first1 = H. |
|||
| last1 = Kleinert |
|||
| authorlink1 = ハーゲン・クライネルト |
|||
| first2 = A. |
|||
| last2 = Chervyakov |
|||
| journal = Europ. Phys. J. |
|||
| volume = C 19 |
|||
| issue = 4 |
|||
| pages = 743–747 |
|||
| date = 2001 |
|||
| doi = 10.1007/s100520100600 |
|||
| url = http://www.physik.fu-berlin.de/~kleinert/kleiner_re303/wardepl.pdf|format=PDF |
|||
| bibcode = 2001EPJC...19..743K |
|||
| ref = harv}} |
|||
*{{cite journal |
|||
| title = Coordinate Independence of Quantum-Mechanical Path Integrals |
|||
| first1 = H. |
|||
| last1 = Kleinert |
|||
| first2 = A. |
|||
| last2 = Chervyakov |
|||
| journal = Phys. Lett. |
|||
| volume = A 269 |
|||
| issue = |
|||
| page = 63 |
|||
| year = 2000 |
|||
| doi = 10.1016/S0375-9601(00)00475-8 |
|||
| url = http://www.physik.fu-berlin.de/~kleinert/305/klch2.pdf |
|||
|format = PDF |
|||
|ref = harv}} |
|||
* {{cite journal |
|||
|first = Yu.M. |
|||
|last = Shirokov |
|||
|title = Algebra of one-dimensional generalized functions |
|||
|journal = Theoretical and Mathematical Physics |
|||
|volume = 39 |
|||
|pages = 291-301 |
|||
|year = 1978 |
|||
|url = http://en.wikisource.org/wiki/Algebra_of_generalized_functions_%28Shirokov%29 |
|||
|ref = harv}} |
|||
*{{cite journal |
|||
|first1=O.G. |
|||
|last1=Goryaga |
|||
|first2=Yu.M. |
|||
|last2=Shirokov |
|||
|title=Energy levels of an oscillator with singular concentrated potential |
|||
|journal=Theoretical and Mathematical Physics |
|||
|year=1981 |
|||
|volume=46 |
|||
|pages=321–324 |
|||
|url=http://www.springerlink.com/content/k2164755540243kw/ |
|||
|doi=10.1007/BF01032729 |
|||
|issue=3 |
|||
|ref=harv}} |
|||
*{{cite journal |
|||
|first=G.K. |
|||
|last=Tolokonnikov |
|||
|title=Differential rings used in Shirokov algebras |
|||
|journal=Theoretical and Mathematical Physics |
|||
|volume=53 |
|||
|issue= 1 |
|||
|year=1982 |
|||
|doi=10.1007/BF01014789 |
|||
|pages=952–954 |
|||
|bibcode=1982TMP....53..952T |
|||
|ref=harv}} |
|||
{{div col end}} |
|||
== 関連項目 == |
== 関連項目 == |
||
* [[シュワルツの超関数]] |
* [[シュワルツの超関数]] |
||
* [[シュワルツ超函数]] |
|||
* [[佐藤の超関数]] |
* [[佐藤の超関数]] |
||
* [[ |
* [[ディラックのデルタ関数]] |
||
* [[ |
* [[部分積分]] |
||
* [[微分方程式]] |
* [[微分方程式]] |
||
* [[部分積分]] |
|||
* [[ディラックのデルタ関数]] |
|||
{{DEFAULTSORT:ちようかんすう}} |
{{DEFAULTSORT:ちようかんすう}} |
2015年1月3日 (土) 10:50時点における版
一般化された関数、あるいは超関数(ちょうかんすう、英: generalized function)とは、関数を一般化した概念である。通常はシュワルツの超関数 (distribution) か佐藤の超関数 (hyperfunction) のいずれかを指す。
超関数は、連続関数に対する微分の概念を拡張し、偏微分方程式の解空間を拡げた。超関数は不連続関数の構成において特に有用であり、物理や工学で扱われる離散的な問題においては、デルタ関数のような超関数を解とするような微分方程式が導かれるため重要である。たとえば点電荷のような電荷分布はディラックのデルタ関数を用いて表現される。
超関数の起源は演算子法に見ることができるが、直接的には、セルゲイ・ソボレフやローラン・シュワルツらの仕事がその始まりである。 1935年にソボレフが、部分積分を形式的に用いて、微分方程式の解の拡張をしたのをはじめ、何人かの数学者によって微分の拡張が行われ始め、1940年代末にはシュワルツがこれらを超関数の理論としてまとめた。1958年に佐藤幹夫が層コホモロジーの理論を応用して、シュワルツらとは別の見地に立った超関数論を組み立てた。超関数論に重要な影響を与えたのは、偏微分方程式や群の表現の理論などからの技術的な要請であった。
概要
「超関数」の導入は、ディラックのデルタ関数のような通常の関数の概念では許されない「関数」をもそれを「超関数」として扱うことで通常の関数と統一的に扱うことを可能にし、不連続関数の「微分」や偏微分方程式の「弱い解」などに合理的根拠を与えるなど、解析演算の自由度を著しく高めた。
実際に超関数を用いるには、まず通常の関数に対応する要素をもち、かつさらに広い要素にも対処できる一つの数学的表現を定め、それを超関数と定義する。そして例えば関数を微分するなどの演算も対応する超関数の表現に対する操作として定義し直す。こうして例えばヘヴィサイドの階段関数では、それを超関数に読み替えたものを微分すると通常の関数とは解釈出来ない表現が得られる。それがディラックのデルタ関数という名の超関数である。
超関数論では、通常の関数の演算に対応する超関数の表現の操作を定め、超関数の計算規則をつくる。と同時に主な超関数に対して微分やフーリエ変換といった演算を施した結果を求め、それを公式集としてまとめておく(これらの計算規則や公式は数学的に厳密な表現に対する操作で定義され、実行されているので、数学的な正当性が保証されていることに注意)。すると超関数の計算は、計算規則に則り、公式集の助けを借りて、機械的に行うことが出来て、それを超関数と意識する必要もなくなる。かくして通常の関数に対応する超関数では普通の関数記号 f(x) を使ってそのまま演算を実行でき、結果が普通の関数でなくなればディラックのデルタ関数のような超関数の記号が現れる。
こうして超関数を用いることにより、不連続関数の微分、デルタ関数、アダマールの発散積分の有限部分、緩増加関数のフーリエ変換など、従来の数学の枠内には納まらない演算まで自由に扱うことが出来るようになった。
「超関数」は上記の性質を満たすように定義されていれば何でも使えるので、その定義の仕方は一通りではない。通常はこの言葉で代表的な 2 つの定義方法である、シュワルツの超関数か佐藤の超関数かのいずれかを指す。
名称
「超関数」という言葉自体は日本でつくられた数学用語である。これはシュワルツの著書を訳出するとき、原著では "distribution"(分布)とあった名称を、関数概念を拡張したものの名前であるという実体を取り入れて訳者が「超函数」と意訳したことに始まる[1]。英語文献において、一般の超関数を指すときは generalized function(一般化された関数)というが、特にシュワルツや佐藤の超関数を指す場合には、シュワルツの超関数は "distribution" と呼ばれ、佐藤の超関数は "hyperfunction"(超関数)と呼ばれる。hyperfunction という呼称は原論文で用いられる用語であり、佐藤の超関数に対する呼称はこれに倣っている。
シュワルツの超関数
シュワルツの超関数は、コンパクトな台をもつ無限回微分可能な関数を試験関数として、そのような試験関数全体のなす関数空間上の連続線型汎関数として定義される。こうして超関数は、その微分可能性が試験関数の微分可能性に移されて常に成り立つことになるなど、極めて良好な性質を持つことになる。
一方、その変種として超関数を通常の関数の列の極限として定義して、シュワルツの超関数理論に則って理論体系を作り上げる方法がある。この方法によると、一部数学的厳密性の証明を棚上げにしてではあるが、超関数の非常に解りやすく使い易い理論体系が作られる[2]。
佐藤の超関数
シュワルツ理論の成功に刺激され、佐藤幹夫は佐藤の超関数 (hyperfunction) のアイデアを導き出した。佐藤の超関数は正則関数の抽象的境界値として定義される。具体的に云えば、複素平面の上半平面で正則な関数 F+(z) と下半平面で正則な関数 F−(z) との実軸上での差、(F+(z) − F−(z))|Imz = 0 として定義される。
厳密な理論は、多変数複素関数の成す層係数のコホモロジー理論を用いて、代数的手法によって展開される。こうした代数的手法の解析学への導入は、今日、D加群等に代表される代数解析学や、余接バンドル上で microfunction や microdifferential operator 等を用いる超局所解析学をもたらした。 また、物理学におけるファインマン積分のような形式的方法を厳密な数学の理論へと変えることができたのである。
脚注
- ^ しかし、訳者の岩村自身はこの訳語にためらいがあったようで、訳書のまえがきで「後者 (distribution) は原語のままで流通することが望ましい」と記している。
- ^ ライトヒル『フーリエ解析と超関数』。
参考文献
- 今井, 功『応用超関数論』 1巻、サイエンス社、1981年5月。ISBN 978-4-7819-0215-9。
- 今井, 功『応用超関数論』 2巻、サイエンス社、1981年5月。ISBN 978-4-7819-0216-6。
- 垣田, 高夫『シュワルツ超関数入門』日本評論社〈日評数学選書〉、1985年8月。ISBN 4-535-60112-7。
- 垣田, 高夫『シュワルツ超関数入門』(新装版)日本評論社、1999年10月。ISBN 4-535-60126-7。
- Schwartz, Laurent (1997-10-21) [1950]. Thèorie des distributions (Nouveau tirage ed.). Paris: Hermann & Cie. ISBN 2705655514
- Lighthill, M. J. (1958-01-01). Introduction to Fourier Analysis and Generalized Functions. Cambridge Monographs on Mechanics. Cambridge et. al. (Paperback ed.). Cambridge University Press. ISBN 0-521-09128-4
- ライトヒル, M.J.『フーリエ解析と超関数』高見頴郎訳、ダイヤモンド社、1975年。 - 超関数を関数列の極限として定義する手法で解説。
- Schwartz, L. (1954). “Sur l'impossibilité de la multiplication des distributions”. Comptes Rendus de L'Academie des Sciences (Paris) 239: 847-848.
- Gel'fand, I. M.; Shilov, G. E. (1964), Generalized functions. Vol. I: Properties and operations, Translated by Eugene Saletan, Boston, MA: Academic Press, ISBN 978-0-12-279501-5, MR0166596
- Gel'fand, I. M.; Shilov, G. E. (1968), Generalized functions. Vol. 2. Spaces of fundamental and generalized functions, Translated by Morris D. Friedman, Amiel Feinstein, and Christian P. Peltzer, Boston, MA: Academic Press, ISBN 978-0-12-279502-2, MR0230128
- Gel'fand, I. M.; Shilov, G. E. (1967), Generalized functions. Vol. 3: Theory of differential equations, Translated by Meinhard E. Mayer, Boston, MA: Academic Press, MR0217416
- Gel'fand, I. M.; Vilenkin, N. Ya. (1964), Generalized functions. Vol. 4: Applications of harmonic analysis, Translated by Amiel Feinstein, Boston, MA: Academic Press, ISBN 978-0-12-279504-6, MR0173945
- Gel'fand, I. M.; Graev, M. I.; Vilenkin, N. Ya. (1966), Generalized functions. Vol. 5: Integral geometry and representation theory, Translated from the Russian by Eugene Saletan, Boston, MA: Academic Press, ISBN 978-0-12-279505-3, MR0207913
- Hörmander, L. (1983). The Analysis of Linear Partial Differential Operators. Springer Verlag
- Demidov, A. S. (2001). Generalized Functions in Mathematical Physics: Main Ideas and Concepts. With an addition by Yu. V. Egorov. Huntington: Nova Science Publishers
- Oberguggenberger, M. (1992). Multiplication of distributions and applications to partial differential equations. Harlow: Longman
- Oberguggenberger, M. (2001). “Generalized functions in nonlinear models - a survey”. Nonlinear Analysis 47 (8): 5029-5040 .
- Colombeau, J.-F. (1983). New Generalized Functions and Multiplication of Distributions. North Holland
- Grosser, M.; Kunzinger, M.; Oberguggenberger, M.; Steinbauer, R. (2001). Geometric theory of generalized functions with applications to general relativity. Kluwer Academic Publishers
- Kleinert, H. (2006). “Ch.11”. Path Integrals in Quantum Mechanics, Statistics, Polymer Physics, and Financial Markets (4th ed.). Singapore: World Scientific
- Egorov, Yu. V. (1990). “A contribution to the theory of generalized functions”. Russ. Math. Surveys (Uspekhi Mat. Nauk) 45 (5): 1–49. doi:10.1070/RM1990v045n05ABEH002683.
- Kleinert, H.; Chervyakov, A. (2001). “Rules for integrals over products of distributions from coordinate independence of path integrals” (PDF). Europ. Phys. J. C 19 (4): 743–747. Bibcode: 2001EPJC...19..743K. doi:10.1007/s100520100600 .
- Kleinert, H.; Chervyakov, A. (2000). “Coordinate Independence of Quantum-Mechanical Path Integrals” (PDF). Phys. Lett. A 269: 63. doi:10.1016/S0375-9601(00)00475-8 .
- Shirokov, Yu.M. (1978). “Algebra of one-dimensional generalized functions”. Theoretical and Mathematical Physics 39: 291-301 .
- Goryaga, O.G.; Shirokov, Yu.M. (1981). “Energy levels of an oscillator with singular concentrated potential”. Theoretical and Mathematical Physics 46 (3): 321–324. doi:10.1007/BF01032729 .
- Tolokonnikov, G.K. (1982). “Differential rings used in Shirokov algebras”. Theoretical and Mathematical Physics 53 (1): 952–954. Bibcode: 1982TMP....53..952T. doi:10.1007/BF01014789.