特殊関数
特殊関数（とくしゅかんすう、英: special functions）は、何らかの名前や記法が定着している関数であり、解析学、関数解析学、可積分系、物理学、その他の応用分野でよく使われる関数であることが多い[1]。
何が特殊関数であるかのはっきりした定義は存在しないが[1]、しばしば特殊関数として扱われるものには、ガンマ関数、ベータ関数、エアリー関数、ベッセル関数[2][3]、ゼータ関数[4][5]、楕円関数[6][7]、ルジャンドル関数、誤差関数、超幾何関数[8][9][10] [11] [12] [13]、直交多項式[14][15][16][17] (ラゲール多項式、エルミート多項式が有名) などがある。一般には初等関数の対義語ではなく、ある関数が初等関数であって同時に特殊関数とされる場合もある。
特殊関数の一覧
[編集]特殊関数の多くは、微分方程式の解 (つまり可積分系の厳密解[18]) や初等関数の積分 (誤差関数や楕円積分[6][7]など) として現れる[1]。したがって、積分法の一覧[19]には特殊関数の記述がよく見られ、特殊関数の一覧[20]には最も重要な積分、すなわちその特殊関数の積分形式の表現が含まれていることが多い。
MATLAB[21]、Maple[22]、Mathematica[23]などの科学技術計算・数値解析のための言語は、多くの特殊関数を認識する。ただし、そのようなシステムが常に効率的なアルゴリズムで計算（評価）するとは限らない（特に複素平面の場合）。
特殊関数の記法
[編集]多くの場合、特殊関数には標準的記法があり、関数の名前、添え字（もしあれば）、括弧開き、引数列（コンマで区切る）、括弧閉じの順に記述する。このような記法を使うことで解釈が容易になり、曖昧さを排除できる。国際的に記法が確立している関数としては、sin、cos、exp、erf、erfc などがある[1][24]。
場合によっては1つの特殊関数が複数の名前を持つこともある。自然対数には Log、log、ln などの記法があり、文脈によって使い分けられる[1][24]。例えば正接関数は Tan、tan、tg（ロシア語の書籍に多い[25]、例えばロシア語版wikipediaにある三角関数の記事を参照）などの記法がある。逆正接関数は atan、arctg、tan−1 などの記法がある。ベッセル関数は Jn(x) と記されることが多いが[1][2][3]、besselj(n,x) や BesselJ[n,x] も同じ関数を意味している。
引数を示すのに添え字がよく使われる（整数が多い。例えば直交多項式[1][14][15][16][17]、ベッセル関数[1][2][3]など）。まれにセミコロン (;) やバックスラッシュ (\) を分離文字として使うこともある。このような場合、論理的に解釈する際に曖昧さが生じ、混乱することがある。
肩文字はべき乗を示すだけでなく、関数の修飾を意味することがある。例えば、次のような例がある[1]。
- cos3(x) は (cos(x))3 を意味する。
- cos2(x) は (cos(x))2 を意味するのが普通で、cos(cos(x)) と解釈することは滅多にない。
- cos−1(x) は arccos(x) を意味するのが普通で、(cos(x))−1 という意味ではない。この例は上の2つの例とは異なるため、ここで混乱することが多い。
特殊関数の値の評価
[編集]特殊関数は変数が複素数である関数と見なせることが多い。それらは解析的であり、特異点とカットで記述される[24]。微分形式や積分形式が知られており、テイラー級数や漸近展開を持つ[26]。さらに、他の特殊関数との関係が知られている場合には、より簡単な関数の組み合わせで表現できる場合がある。関数値の評価にはこれらの様々な表現を使う。最も単純な方法は、テイラー級数による級数展開を打ち切ったものを（展開の中心付近で）用いることであるが、展開された級数の収束が遅い場合がある[27]。有理関数による近似式を使う場合もある。ある区間の中で多項式の値により関数値を近似する場合には打ち切られたテイラー展開を使うよりも最良近似理論に基づく近似式や打ち切られたチェビシェフ多項式展開を用いる方が良い。また有理関数近似についても最良有理近似式が使われることがある。
主な研究者
[編集]日本
[編集]海外
[編集]アメリカ合衆国
[編集]- ジョージ・ギャスパー[28] (アスキー＝ギャスパー不等式で知られる)
- リチャード・アスキー[16][30][31][32] (アスキースキーム、アスキー＝ギャスパー不等式で知られる)
- ジョージ・アンドリューズ[30]
イギリス
[編集]脚注
[編集]- ^ a b c d e f g h i 時弘哲治、工学における特殊関数、共立出版。
- ^ a b c Watson, G. N. (1995). A treatise on the theory of Bessel functions. en:Cambridge university press.
- ^ a b c 平野鉄太郎. (1963). ベッセル関数入門, 日新出版.
- ^ 松本耕二. (2005). リーマンのゼータ関数. 朝倉書店.
- ^ 荒川恒男, 伊吹山知義, & 金子昌信. (2001). ベルヌーイ数とゼータ関数. 牧野書店.
- ^ a b 梅村浩. (2000). 楕円関数論: 楕円曲線の解析学, 東京大学出版会.
- ^ a b 戸田盛和. (2001). 楕円関数入門, 日本評論社.
- ^ 原岡喜重. (2002). 超幾何関数. 朝倉書店.
- ^ 木村弘信: 超幾何関数入門——特殊関数への統一的視点からのアプローチ——, サイエンス社, 2007年.
- ^ Aomoto, K., Kita, M., Kohno, T., & Iohara, K. (2011). Theory of hypergeometric functions. Tokyo: Springer.
- ^ a b Exton, Harold (1976), Multiple hypergeometric functions and applications, Mathematics and its applications, Chichester: Ellis Horwood Ltd., ISBN 978-0-470-15190-7, MR0422713
- ^ a b Exton, Harold (1978), Handbook of hypergeometric integrals, Mathematics and its Applications, Chichester: Ellis Horwood Ltd., ISBN 978-0-85312-122-0, MR0474684
- ^ a b Exton, Harold (1983), q-hypergeometric functions and applications, Ellis Horwood Series: Mathematics and its Applications, Chichester: Ellis Horwood Ltd., ISBN 978-0-85312-491-7, MR708496
- ^ a b c Ismail, Mourad E. H. (2005). Classical and Quantum Orthogonal Polynomials in One Variable. Cambridge: en:Cambridge University Press. ISBN 0-521-78201-5
- ^ a b 青本和彦: 直交多項式入門, 数学書房, 2013 年.
- ^ a b c Koekoek, R., & Swarttouw, R. F. (1996). The Askey-scheme of hypergeometric orthogonal polynomials and its -analogue. arXiv preprint math/9602214.
- ^ a b c Encyclopedia of Special Functions: The Askey–Bateman Project, Encyclopedia of Special Functions: The Askey–Bateman Project, Volume 1: Univariate Orthogonal Polynomials, Edited by Mourad E. H. Ismail, University of Central Florida, Published by en:Cambridge University Press, March 2020, ISBN 9780511979156.
- ^ 例えばパンルヴェ方程式の厳密解はパンルヴェ超越関数 (en:Painleve transcendent) という特殊関数になる。
- ^ Gradshtein, Israel Solomonovich; Iosif Moiseevich Ryzhik.. Table of integrals, sums, series and products. en:Academic press
- ^ Abramovitz, Milton; Irene Stegun. Table of mathematical functions
- ^ MATLABにある特殊関数の一覧
- ^ Mapleにある特殊関数の一覧
- ^ Mathematicaにある特殊関数の一覧
- ^ a b c 神保道夫、複素関数入門、岩波書店。
- ^ ロシアでの微積分の用語、Researchmapより
- ^ a b Olver, F. (1997). Asymptotics and special functions. AK Peters/CRC Press.
- ^ 収束が遅いときには収束加速法を使うことで収束が早くなる場合がある。
- ^ a b Gasper and Rahman, Basic Hypergeometric Series 2nd Edition, en:Cambridge University Press.
- ^ Ismail, M. E., & Zhang, R. (2017). A review of multivariate orthogonal polynomials. Journal of the Egyptian Mathematical Society, 25(2), 91-110.
- ^ a b Andrews, G. E., Askey, R., & Roy, R. (1999). Special functions. en:Cambridge university press.
- ^ Askey, Richard; Wilson, James (1985), "Some basic hypergeometric orthogonal polynomials that generalize Jacobi polynomials", Memoirs of the en:American Mathematical Society, 54 (319): iv+55, doi:10.1090/memo/0319, ISBN 978-0-8218-2321-7, ISSN 0065-9266, MR 0783216
- ^ Askey-Bateman project
参考文献
[編集]和文
[編集]和書
[編集]以下のリストは不完全なものである。これら以外にも楕円関数、超幾何関数、ベッセル関数、ゼータ関数など個別の特殊関数を主に扱って書かれた本も多数ある。
- 犬井鉄郎：「特殊函数」、岩波書店。
- 石津武彦:「特殊関数論」、朝倉書店（応用数学力学講座4）（1963年）。
- 小野寺嘉孝：「物理のための応用数学」、裳華房。
- 寺沢寛一：「自然科学者のための数学概論」、岩波書店。
- 森口・宇田川・一松：「数学公式III 特殊関数」、岩波書店。
- 金子尚武・松本道夫：「特殊関数」、 培風館（1984年）。
- H.ホックシタット：「特殊関数―その理・工学への応用」、倍風館（1974年)。
- 藪下信:「特殊関数とその応用」、森北出版、ISBN 978-4-627-00400-9（1975年12月）。
- 戸田盛和：「特殊関数」、朝倉書店（1981年）。
- A.П. Прудников、О.И. Маричев、Ю.А. Брычков：「新数学公式集 II 特殊関数」、丸善、ISBN 978-4621036822（1992年3月）。
- 小松勇作：「特殊函数」（復刊）、朝倉書店、ISBN 978-4-254-11655-7（2004年3月15日）。
- 時弘哲治、「工学における特殊関数」、共立出版、ISBN 978-4-320-01612-5(2006年6月)。
- 蓬田清：「演習形式で学ぶ特殊関数・積分変換入門」、共立出版、ISBN 978-4320018297（2007年1月）。
- 木村弘信：「超幾何関数入門：特殊関数への統一的視点からのアプローチ」、サイエンス社（2007年5月25日）。
- 一松信：「特殊関数入門」、森北出版、ISBN 978-4627038295 (2008年4月30日)。
- ジョージ.ブラウン・アルフケン、ハンス.J・ウェーバー：「基礎物理数学第４版Vol.3 特殊関数」、講談社、ISBN 978-4061539792（2001年）.
- 伏見康治、赤井逸：「復刊 直交関数系」、共立出版、ISBN 978-4320034785（2011年6月10日）。
- 半揚稔雄：「つかえる特殊関数入門」、日本評論社、ISBN 978-4-535-78850-3(2018年9月)。
解説記事
[編集]- 大島利雄, 廣惠一希『特殊関数と代数的線型常微分方程式』（PDF）Graduate School of Mathematical Sciences, the University of Tokyo〈東京大学数理科学レクチャーノート〉、2011年。
- 大島利雄『特殊関数と代数的線型常微分方程式,東京大学数理科学レクチャーノート11』東京大学数理科学研究科、2011年。
- 岩崎克則「特殊関数の問題 : パンルヴェ性をめぐって (複素幾何学の諸問題)」『数理解析研究所講究録』第1731巻、京都大学数理解析研究所、2011年3月、1-13頁、CRID 1050001335761901440、hdl:2433/170583、ISSN 1880-2818。
- 木村弘信「一変数特殊関数再訪(超幾何函数の総合的理解)」『数理解析研究所講究録』第919巻、京都大学数理解析研究所、1995年8月、1-11頁、CRID 1050282677086252032、hdl:2433/59695、ISSN 1880-2818。
洋書
[編集]- Abramowitz and Stegun: Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables
- NIST Digital Library of Mathematical Functions
- Bateman Manuscript Project
- Askey–Bateman project
- Andrews, George E.; Askey, Richard; Roy, Ranjan (1999), Special functions, Encyclopedia of Mathematics and its Applications, 71, en:Cambridge University Press, MR1688958
- Iwasaki, K., Kimura, H., Shimemura, S., & Yoshida, M. (2013). From Gauss to Painlevé: a modern theory of special functions. en:Springer Science & Business Media.
- Olver, F. (1997). Asymptotics and special functions. AK Peters/CRC Press.
- Mathai, A. M., & Haubold, H. J. (2008). Special functions for applied scientists. New York: Springer.
- "Encyclopedia of Special Functions: The Askey-Bateman Project", 3 volume set, Cambridge University Press.
- Vol. I: "Orthogonal Polynomials" (volume editor Mourad Ismail), published September 2020.
- Vol. II: "Multivariable Special Functions" (volume editors Tom H. Koornwinder and Jasper V. Stokman), published October 2020.
- Vol.III: "Hypergeometric and Basic Hypergeometric Functions" (volume editor Mourad Ismail)", in preparation.
特殊関数と数理物理
[編集]- Nikiforov, A. F., & Uvarov, V. B. (1988). Special functions of mathematical physics. Basel: Birkhäuser.
- Magnus, W., Oberhettinger, F., & Soni, R. P. (2013). Formulas and theorems for the special functions of mathematical physics. en:Springer Science & Business Media.
特殊関数と表現論
[編集]- Miller, W. (1968). Lie theory and special functions. en:Academic Press.
- Vilenkin, N. I. (1978). Special functions and the theory of group representations. American Mathematical Society.
- Vilenkin, N. J., & Klimyk, A. U. (2013). Representation of Lie groups and special functions: recent advances. en:Springer Science & Business Media.
- Vilenkin, N. J., & Klimyk, A. U., Representation of Lie groups and special functions: Volume 1: Simplest Lie Groups, Special Functions and Integral Transforms. en:Springer Science & Business Media.
- Vilenkin, N. J., & Klimyk, A. U., Representation of Lie Groups and Special Functions: Volume 2: Class I Representations, Special Functions, and Integral Transforms. en:Springer Science & Business Media.
- Vilenkin, N. J., & Klimyk, A. U., Representation of Lie groups and special functions: Volume 3: Classical and quantum groups and special functions. en:Springer Science & Business Media.
数値計算に関する文献
[編集]- Gil, A., Segura, J., & Temme, N. M. (2007). Numerical methods for special functions. en:Society for industrial and applied mathematics, ISBN 978-0-898716-34-4.
- Jin, J. M., & Jjie, Z. S. (1996). Computation of special functions. Wiley.
関連項目
[編集]外部リンク
[編集]- Special functions at EqWorld: The World of Mathematical Equations.
- Abramowitz, Milton; Stegun, Irene A., eds. (1972), Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables, New York: Dover Publications, ISBN 978-0-486-61272-0
- NIST Digital Library of Mathematical Functions
- 特殊関数ってなに？ (PDF)
- 特殊関数とその応用について (PDF)
- 吉田年雄：「特殊関数の数値計算法」、中部大学工学部紀要、48巻（2012）。
- SIAM Activity Group on Orthogonal Polynomials and Special Functions
- 特殊関数 グラフィックスライブラリー Graphics Library of Special functions
解析学の主要なトピックス | |
|---|---|
 ポータル・ カテゴリ |
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Cover photo is available under {{::mainImage.info.license.name || 'Unknown'}} license.
Credit:
(see original file).
