演算子法
![]() |
演算子法(えんざんしほう)とは、解析学の問題、特に微分方程式を、代数的問題(普通は多項式方程式)に変換して解く方法。オリヴァー・ヘヴィサイドの貢献が特に大きいので「ヘヴィサイドの演算子法」とも呼ばれるが、厳密な理論化はその後の数学者たちにより行われた。
歴史
[編集]関数に対する微分や積分その他の演算の過程を「演算子」(operator。解析学では作用素の語を使うこともある)として表現する発想には長い歴史があり、ゴットフリート・ライプニッツまで遡る。これらの関数に施される演算記号を関数と独立に操作した最初の一人として、数学者でストラスブールの砲兵学校の教授であったルイ・フランソワ・アルボガスト(L. F. A. Arbogast)がいる。この試みは、便利な記法を開発したフランスの数学者セルヴォワ(F-J. Servois)によりさらに発展した。セルヴォワに続きハーグリーブ(Charles Heargrave)、ブール(G. Boole)、ブロンウィン(B. Bownin)、カーマイケル(R. Carmicheal)、ドンキン(B. Doukin)、グレーブス(Graves)、マーフィ(R. Murphy)、スポティスウード(W. Spottiswoode)、シルベスター(Sylvester)といったイギリスの数学者たちが現れた。演算子法の常微分・偏微分方程式への応用に関する論文を最初に著したのはジョージ・ブール(1859年)とロバート・ベル・カーマイケル(R. B. Carmichael)(1855年)である。この方法は1893年、電磁気の研究に関連して物理学者オリヴァー・ヘヴィサイドにより一気に発展した。当時ヘヴィサイドの方法は厳密でなく、彼の研究は数学者により直ちに発展させられることはなかった。なお、ヘヴィサイド自身は演算子法が数学的な厳密性に欠けるとの批判に対し、「私は消化のプロセスを知らないからといって食事をしないわけではない("I do not refuse my dinner simply because I do not understand the process of digestion.")」という有名な言葉を残している。
演算子法は1910年を過ぎてから、バーグ(E. J. Berg)、カーソン(J. R. Carson)およびブッシュの貢献により、電気工学の問題で線形回路の過渡現象の計算に応用され始めた。ヘヴィサイドの演算子法が厳密に数学的理論化されたのは、演算子法をラプラス変換と結び付けたブロムヴィッチ(T. Bromwich)の研究以降のことである(詳しい説明はJeffreys、Carslaw、MacLachlanの各著書を参照)。
ヘヴィサイド演算子法の別の理論化は、1920年代半ばに積分方程式の方法(Carsonなど)またはフーリエ変換(ノーバート・ウィーナーなど)を利用してなされた。
1930年代、これらとは別なやり方で演算子法を展開したのが、ポーランドの数学者ヤン・ミクシンスキーである。彼は代数的な方法を用いて演算子法を数学的に正当化した(ミクシンスキーの演算子法参照)。
原理
[編集]演算子法の中心は、微分を関数に施される演算子(作用素) と捉える点にある。線形微分方程式は、演算子 を変数とする演算子値関数 を未知の関数に施したものが既知の関数に等しいという形に書き直せる。すると、 の逆演算子を既知の関数に施せば解が得られる。
電気回路の理論では、入力に対する応答を求めることが問題となる。線形性により、単位階段関数、すなわち かつ となるような関数 を考えれば十分である。演算子法の応用の最も単純な例は、 を解く問題である。これは、
となる。この例から、 は積分を表し、 は 回反復積分を表すことがわかる。特に、
である。すると
には級数展開を用いた意味付けを行うことができる。つまり
と考えるということである。このことはさらに、部分分数分解を通して、演算子 に関する任意の分数を定義することを可能にし、それを に施したものを計算できる。それ以外の場合でも、もし関数 が
という形の級数展開を持つならば、これは直接に
という意味を持つものと理解できる。
上記のような規則を適用すると、任意の微分方程式を解くことが、純粋に代数的な問題に還元される。
ヘヴィサイドはさらに進んで、 の分数冪を定義し、演算子法と分数階微積分学の関係を確立した。
テイラー展開を用いると、 なる式も得られるから、これにより演算子法を有限差分方程式や電気工学の遅延信号の問題にも適用することができる。
参考文献
[編集]- LF Arbogast, Du calcul des dérivations (Levrault, Strasbourg, 1800).
- Servois Annales de Gergonne 5, 93 (1814).
- Terquem and Gerono, Nouvelles Annales de Mathematiques: journal des candidats aux écoles polytechnique et normale 14 , 83 (1855) [Some historical references on the precursor work till Carmichael].
- G Boole, A treatise on differential equations Chapters 16 and 17 (Mc Millan, 1859).
- RB Carmichael A treatise on the calculus of operations (Longman, 1855).
- O Heaviside Proc. Roy. Soc. (London) 52. 504-529 (1893), 54 105-143 (1894). [Original articles]
- JR Carson, Bull. Amer. Math. Soc. 32, 43 (1926).
- JR Carson Electric Circuit Theory and the Operational Calculus (Mc Graw Hill, 1926).
- N Wiener Math. Ann. 95, 557 (1926).
- H Jeffreys Operational Methods In Mathematical Physics (Cambridge University Press, 1927). also at Internet Archive
- HW March Bull. Amer. Math. Soc. 33, 311 (1927), 33, 492 (1927).
- EJ Berg Heaviside's Operational Calculus (McGrawHill, 1929).
- V Bush, Operational Circuit analysis (J. Wiley & Sons, 1929). with an appendix by N. Wiener.
- HT Davis, The theory of linear operators (Principia Press, Bloomington, 1936).
- NW Mc Lachlan, Modern operational calculus (Macmillan, 1941).
- HS Carslaw, Operational Methods in Applied Mathematics (Oxford University Press, 1941).
- B van der Pol, H Bremmer, Operational calculus (Cambridge University Press, 1950)
- RV Churchill, Operational Mathematics (McGraw-Hill, 1958).
- J Mikusinski, Operational Calculus (Elsevier, Netherlands, 1960).
- ミクシンスキー『演算子法』 上巻、松村英之・松浦重武訳(新版)、裳華房、1985年3月。ISBN 4-7853-1044-8。
- ミクシンスキー『演算子法』 下巻、松村英之・松浦重武訳(新版)、裳華房、1985年3月。ISBN 4-7853-1045-6。
- 吉田耕作『演算子法 一つの超函数論』東京大学出版会〈UP応用数学選書 5〉、1982年2月。ISBN 978-4-13-064065-7。
- Kosaku Yosida (1984). Operational Calculus - A Theory of Hyperfunctions. Applied Mathematical Sciences, Vol. 55. Springer. ISBN 0-387-96047-3
- A.N. Kolmogorov, A.P. Yushkevich , Mathematics of the 19th Century, (Birkhauser ,1992)
- 『19世紀の数学III ―チェビシェフの関数論~差分法―』藤田宏監訳、伊理正夫ほか訳、朝倉書店、2009年11月25日。ISBN 978-4-254-11743-1 。