特殊関数のソースを表示

'''特殊関数'''（とくしゅかんすう、{{lang-en-short|special functions}}）は、何らかの名前や記法が定着している[[関数 (数学)|関数]]であり、[[解析学]]、[[関数解析学]]、[[可積分系]]、[[物理学]]、その他の応用分野でよく使われる関数であることが多い<ref name="toki">時弘哲治、工学における特殊関数、[[共立出版]]。</ref>。

何が特殊関数であるかのはっきりした定義は存在しないが<ref name="toki"/>、しばしば特殊関数として扱われるものには、[[ガンマ関数]]、[[ベータ関数]]、[[エアリー関数]]、[[ベッセル関数]]<ref name="watson">Watson, G. N. (1995). A treatise on the theory of Bessel functions. [[:en:Cambridge university press]].</ref><ref name="bessel">平野鉄太郎. (1963). [[ベッセル関数]]入門, 日新出版.</ref>、[[リーマンゼータ函数|ゼータ関数]]<ref>松本耕二. (2005). リーマンのゼータ関数. [[朝倉書店]].</ref><ref>[[荒川恒男]], 伊吹山知義, & 金子昌信. (2001). [[ベルヌーイ数]]とゼータ関数. 牧野書店.</ref>、[[楕円関数]]<ref name="ume">[[梅村浩]]. (2000). [[楕円関数]]論: [[楕円曲線]]の[[解析学]], [[東京大学出版会]].</ref><ref name="toda">[[戸田盛和]]. (2001). [[楕円関数]]入門, [[日本評論社]].</ref>、[[ルジャンドル関数]]、[[誤差関数]]、[[超幾何関数]]<ref name="hara">原岡喜重. (2002). [[超幾何関数]]. [[朝倉書店]].</ref><ref name="kim">木村弘信: [[超幾何関数]]入門——特殊関数への統一的視点からのアプローチ——, [[サイエンス社]], 2007年.</ref><ref>Aomoto, K., Kita, M., Kohno, T., & Iohara, K. (2011). Theory of hypergeometric functions. Tokyo: Springer.</ref>
<ref name="multi">{{Citation | last1=Exton | first1=Harold | title=Multiple hypergeometric functions and applications | url=https://books.google.com/books?id=QwqoAAAAIAAJ | publisher=Ellis Horwood Ltd. | location=Chichester | series=Mathematics and its applications | isbn=978-0-470-15190-7 | mr=0422713 | year=1976}}</ref>
<ref name="int">{{Citation | last1=Exton | first1=Harold | title=Handbook of hypergeometric integrals | url=https://books.google.com/books?id=fUHvAAAAMAAJ | publisher=Ellis Horwood Ltd. | location=Chichester | series=Mathematics and its Applications | isbn=978-0-85312-122-0 | mr=0474684 | year=1978}}</ref>
<ref name="exton">{{Citation | last1=Exton | first1=Harold | title=q-hypergeometric functions and applications | url=https://books.google.com/books?id=3kHvAAAAMAAJ | publisher=Ellis Horwood Ltd. | location=Chichester | series=Ellis Horwood Series: Mathematics and its Applications | isbn=978-0-85312-491-7 | mr=708496 | year=1983}}</ref>、[[直交多項式]]<ref name="ismail">{{cite book | last=Ismail|first=Mourad E. H. | title=Classical and Quantum Orthogonal Polynomials in One Variable | year=2005 | isbn=0-521-78201-5 | url = http://www.cambridge.org/us/catalogue/catalogue.asp?isbn=9780521782012 | publisher=[[:en:Cambridge University Press]]| location=Cambridge}}</ref><ref name="ao">青本和彦: 直交多項式入門, [[数学書房]], 2013 年.</ref><ref name="KS">Koekoek, R., & Swarttouw, R. F. (1996). The Askey-scheme of hypergeometric orthogonal polynomials and its <math>q</math>-analogue. arXiv preprint math/9602214.</ref><ref name="ab1">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, {{ISBN2|9780511979156}}.</ref> ([[ラゲール多項式]]、[[エルミート多項式]]が有名) などがある。一般には[[初等関数]]の対義語ではなく、ある関数が[[初等関数]]であって同時に特殊関数とされる場合もある。

== 特殊関数の一覧 ==
特殊関数の多くは、[[微分方程式]]の解 (つまり[[可積分系]]の厳密解<ref>例えば[[パンルヴェ方程式]]の厳密解はパンルヴェ超越関数 ([[:en:Painleve transcendent]]) という特殊関数になる。</ref>) や[[初等関数]]の[[積分法|積分]] ([[誤差関数]]や[[楕円積分]]<ref name="ume"/><ref name="toda"/>など) として現れる<ref name="toki"/>。したがって、積分法の一覧<ref name="GR">{{cite book | last = Gradshtein | first = Israel Solomonovich | authorlink =  | coauthors = Iosif Moiseevich Ryzhik. | title = Table of integrals, sums, series and products  | publisher = [[:en:Academic press]]}}</ref>には特殊関数の記述がよく見られ、特殊関数の一覧<ref name="IRENE">{{cite book | last = Abramovitz | first = Milton | authorlink =  | coauthors = Irene Stegun | title = Table of mathematical functions}}</ref>には最も重要な積分、すなわちその特殊関数の積分形式の表現が含まれていることが多い。

[[MATLAB]]<ref>[https://jp.mathworks.com/help/matlab/special-functions-1.html MATLABにある特殊関数の一覧]</ref>、[[Maple]]<ref>[https://www.cybernet.co.jp/maple/support/cmd_refer/cmd_refer08_01.html Mapleにある特殊関数の一覧]</ref>、[[Mathematica]]<ref>[http://reference.wolfram.com/mathematica/guide/SpecialFunctions.html Mathematicaにある特殊関数の一覧]</ref>などの科学技術計算・[[数値解析]]のための言語は、多くの特殊関数を認識する。ただし、そのようなシステムが常に効率的な[[アルゴリズム]]で計算（評価）するとは限らない（特に[[複素平面]]の場合）。

== 特殊関数の記法 ==
多くの場合、特殊関数には標準的記法があり、関数の名前<!--（印刷の場合は[[ローマン体]]）-->、添え字（もしあれば）、括弧開き、引数列（コンマで区切る）、括弧閉じの順に記述する。このような記法を使うことで解釈が容易になり、曖昧さを排除できる。国際的に記法が確立している関数としては、sin、cos、exp、erf、erfc などがある<ref name="toki"/><ref name="jimbo">[[神保道夫]]、複素関数入門、[[岩波書店]]。</ref>。

場合によっては1つの特殊関数が複数の名前を持つこともある。[[自然対数]]には Log、log、ln などの記法があり、文脈によって使い分けられる<ref name="toki"/><ref name="jimbo"/>。例えば[[三角関数|正接関数]]は Tan、tan、tg（[[ロシア語]]の書籍に多い<ref>[https://researchmap.jp/joofrkp22-26434/ ロシアでの微積分の用語]、[[Researchmap]]より</ref>、例えば[[:ru:Тригонометрические функции|ロシア語版wikipediaにある三角関数の記事]]を参照）などの記法がある。[[逆三角関数|逆正接関数]]は atan、arctg、tan<sup>−1</sup> などの記法がある。[[ベッセル関数]]は ''J<sub>n</sub>''(x) と記されることが多いが<ref name="toki"/><ref name="watson"/><ref name="bessel"/>、besselj(n,x) や BesselJ[n,x] も同じ関数を意味している。

引数を示すのに添え字がよく使われる（[[整数]]が多い。例えば[[直交多項式]]<ref name="toki"/><ref name="ismail"/><ref name="ao"/><ref name="KS"/><ref name="ab1"/>、[[ベッセル関数]]<ref name="toki"/><ref name="watson"/><ref name="bessel"/>など）。まれにセミコロン (;) やバックスラッシュ ({{Backslash}}) を分離文字として使うこともある。このような場合、論理的に解釈する際に曖昧さが生じ、混乱することがある。

肩文字はべき乗を示すだけでなく、関数の修飾を意味することがある。例えば、次のような例がある<ref name="toki"/>。

* cos<sup>3</sup>(''x'') は (cos(''x''))<sup>3</sup> を意味する。
* cos<sup>2</sup>(''x'') は (cos(''x''))<sup>2</sup> を意味するのが普通で、cos(cos(''x'')) と解釈することは滅多にない。
* cos<sup>−1</sup>(''x'') は [[逆三角関数|arccos(''x'')]] を意味するのが普通で、(cos(''x''))<sup>−1</sup> という意味ではない。この例は上の2つの例とは異なるため、ここで混乱することが多い。

== 特殊関数の値の評価 ==
特殊関数は変数が複素数である関数と見なせることが多い。それらは[[解析関数|解析的]]であり、[[特異点 (数学)|特異点]]と[[分岐点 (数学)#分岐截断|カット]]で記述される<ref name="jimbo"/>。[[微分形式]]や積分形式が知られており、[[テイラー展開|テイラー級数]]や[[漸近展開]]を持つ<ref name="olver">Olver, F. (1997). Asymptotics and special functions. AK Peters/[[:en:CRC Press|CRC Press]].</ref>。さらに、他の特殊関数との関係が知られている場合には、より簡単な関数の組み合わせで表現できる場合がある。関数値の評価にはこれらの様々な表現を使う。最も単純な方法は、[[テイラー級数]]による級数展開を打ち切ったものを（展開の中心付近で）用いることであるが、展開された級数の収束が遅い場合がある<ref>収束が遅いときには[[:en:Series acceleration|収束加速法]]を使うことで収束が早くなる場合がある。</ref>。[[有理関数]]による近似式を使う場合もある。ある区間の中で多項式の値により関数値を近似する場合には打ち切られたテイラー展開を使うよりも最良近似理論に基づく近似式や打ち切られたチェビシェフ多項式展開を用いる方が良い。また有理関数近似についても最良有理近似式が使われることがある。

== 主な研究者 ==
=== 日本 ===
* [[三町勝久]]

=== 海外 ===
* [[ヴォルフガンク・ハーン]]
* [[ミザン・ラーマン]]<ref name="gr"/>
* [[ワリード・アルサラム]]
* [[ムーラッド・イスマイル]]<ref name="ismail"/><ref name="ab1"/><ref name="iz">Ismail, M. E., & Zhang, R. (2017). A review of multivariate orthogonal polynomials. Journal of the Egyptian Mathematical Society, 25(2), 91-110.</ref>
====アメリカ合衆国====
* [[ジョージ・ギャスパー]]<ref name="gr">Gasper and Rahman, [[:en:Basic Hypergeometric Series|Basic Hypergeometric Series]] 2nd Edition, [[:en:Cambridge University Press]].</ref> ([[アスキー＝ギャスパー不等式]]で知られる)
* [[リチャード・アスキー]]<ref name="KS"/><ref name="AAR">Andrews, G. E., Askey, R., & Roy, R. (1999). Special functions. [[:en:Cambridge university press]].</ref><ref name="AW">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</ref><ref>[https://staff.fnwi.uva.nl/t.h.koornwinder/specfun/AskeyBateman.html Askey-Bateman project]</ref> ([[アスキースキーム]]、[[アスキー＝ギャスパー不等式]]で知られる)
* [[ジョージ・アンドリューズ]]<ref name="AAR"/>
====イギリス====
* [[ハロルド・エクストン]]<ref name="multi"/><ref name="int"/><ref name="exton"/>
* [[ルーシー・ジョアン・スレーター]]
* [[フランク・オルバー]]<ref name="olver"/>
* [[エドマンド・テイラー・ホイッテーカー]]
* [[ジョージ・ネビル・ワトソン]]

== 脚注 ==
{{Reflist|2}}

== 参考文献 ==
=== 和書 ===
以下のリストは不完全なものである。これら以外にも楕円関数、超幾何関数、ベッセル関数、ゼータ関数など主に個別の特殊関数だけを扱って書かれた本も多数ある。
* [[犬井鉄郎]]：「特殊函数」、[[岩波書店]] (1962年7月30日)。
* 石津武彦:「特殊関数論」、[[朝倉書店]]（応用数学力学講座4）(1963年)。
* 奥井重彦：「電子通信工学のための 特殊関数とその応用」、森北出版、ISBN 4-627-07460-3 (1997年7月10日)。
* 小野寺嘉孝：「物理のための応用数学」、[[裳華房]] 、ISBN 978-4-78532031-7 (1988年3月10日)。
* 寺沢寛一：「自然科学者のための数学概論」(増訂版)、岩波書店、ISBN 978-4-00-005480-5 (1983年5月18日)。
* 森口・宇田川・一松：「数学公式 III 特殊関数」、岩波書店。
* 金子尚武、松本道男：「特殊関数」、[[培風館]]、ISBN 978-4-56300443-9（1984年5月）。
* H. ホックシタット：「特殊関数：その理・工学への応用」、培風館（1974年6月)。
* 藪下信:「特殊関数とその応用」、森北出版、ISBN 978-4-627-00400-9（1975年12月1日）。
* 戸田盛和：「特殊関数」、朝倉書店、ISBN 978-4-25411356-3（1981年12月）。
* A.П. Прудников、О.И. Маричев、Ю.А. Брычков：「新数学公式集 II 特殊関数」、丸善、ISBN 978-462103682-2（1992年3月）。
* 小松勇作：「特殊函数」（復刊）、朝倉書店（近代数学講座5）、ISBN 978-4-254-11655-7（2004年3月15日）。初版は1967年9月15日。
* 時弘哲治、「工学における特殊関数」、[[共立出版]]、ISBN 978-4-320-01612-5 (2006年6月25日)。
* 蓬田清：「演習形式で学ぶ特殊関数・積分変換入門」、共立出版、ISBN 978-4-320-01829-7（2007年1月）。
* 木村弘信：「超幾何関数入門：特殊関数への統一的視点からのアプローチ」、サイエンス社（2007年5月25日）。
* 一松信：「特殊関数入門」、森北出版、ISBN 978-4-62703829-5 (2008年4月30日)。
* ジョージ ブラウン アルフケン、ハンス J. ウェーバー：「基礎物理数学　第４版Vol.3 特殊関数」、講談社、ISBN 978-4-06153979-2（2001年）.
* 伏見康治、赤井逸：「復刊 直交関数系」、共立出版、ISBN 978-4-320-03478-5（2011年6月10日）。 
* 半揚稔雄：「つかえる特殊関数入門」、日本評論社、ISBN 978-4-535-78850-3 (2018年9月)。
* 数学セミナー編集部(編) :「特殊関数探訪：三角関数からはじめる不思議な世界」、日本評論社、ISBN 978-4-535-79019-3（2024年9月）.

==== 解説記事 ====
* {{cite book|和書|author=大島利雄, 廣惠一希 |url=https://www.ms.u-tokyo.ac.jp/~oshima/paper/spfct2.pdf |format=PDF |title=特殊関数と代数的線型常微分方程式 |publisher=Graduate School of Mathematical Sciences, the University of Tokyo |date=2011 |series=東京大学数理科学レクチャーノート |CRID=1130282271719302400}}
** {{cite book|和書|author=大島利雄 |url=https://www.ms.u-tokyo.ac.jp/publication/lecturenote.html |title=特殊関数と代数的線型常微分方程式,東京大学数理科学レクチャーノート11 |publisher=東京大学数理科学研究科 |date=2011 |CRID=1020282257006758273}}
* {{Cite journal|和書|author=岩崎克則 |date=2011-03 |url=https://hdl.handle.net/2433/170583 |title=特殊関数の問題 : パンルヴェ性をめぐって (複素幾何学の諸問題) |journal=数理解析研究所講究録 |ISSN=1880-2818 |publisher=京都大学数理解析研究所 |volume=1731 |pages=1-13 |hdl=2433/170583 |CRID=1050001335761901440}}
* {{Cite journal|和書|author=木村弘信 |date=1995-08 |url=https://hdl.handle.net/2433/59695 |title=一変数特殊関数再訪(超幾何函数の総合的理解) |journal=数理解析研究所講究録 |ISSN=1880-2818 |publisher=京都大学数理解析研究所 |volume=919 |pages=1-11 |hdl=2433/59695 |CRID=1050282677086252032}}

=== 洋書 ===
* [[:en:Abramowitz and Stegun|Abramowitz and Stegun: ''Handbook of Mathematical Functions with Formulas, Graphs, and Mathematical Tables'']]
* [https://dlmf.nist.gov/ ''NIST Digital Library of Mathematical Functions'']
* [[:en:Bateman Manuscript Project|Bateman Manuscript Project]]
* [https://staff.science.uva.nl/t.h.koornwinder/specfun/AskeyBateman.html Askey–Bateman project]
* {{Citation | last1=Andrews | first1=George E. | last2=Askey | first2=Richard | last3=Roy | first3=Ranjan | title=Special functions | publisher=[[:en:Cambridge University Press]] | series=Encyclopedia of Mathematics and its Applications |id={{MathSciNet | id = 1688958}} | year=1999 | volume=71}}
* 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.
* N. N. Levedev (Translated & Edited by Richard A. Sliverman): ''Special Functions & Their Applications'', Dover, ISBN 978-0-486-60624-8 (1972).# Originally, from Prentice-Hall Inc.(1965).
* Yury A. Brychkov: ''Handbook of Special Functions: Derivatives, Integrals, Series and Other Formulas'', CRC Press, ISBN 978-1-58488-956-4 (2008).
* W. W. Bell: ''Special Functions: for Scientists and Engineers'', Dover, ISBN 978-0-486-43521-3 (2004).
* Josef Saurer: ''Bases of Special Functions and Their Domain of Convergence'', Akademie Verlag, Berlin, ISBN 3-05-501613-0 (1993).

==== 特殊関数と数理物理 ====
* 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]].
* Nico M. Temme: ''Special Functions: An Introduction to the Classical Functions of Mathematical Physics'', Wiley-Interscience, {{ISBN2|978-0-471-11313-3}} (1996).

==== 特殊関数と表現論 ====
* Miller, W. (1968): ''Lie Theory and Special Functions'', [[:en:Academic Press]].
* Vilenkin, N. Ja (1978): ''Special Functions and the Theory of Group Representations''. [[アメリカ数学会|American Mathematical Society]].
* Vilenkin, N. Ja & Klimyk, A. U. (1991): ''Representation of Lie Groups and Special Functions: Volume 1: Simplest Lie Groups, Special Functions and Integral Transforms'', [[:en:Springer Science & Business Media]].
* Vilenkin, N. Ja & Klimyk, A. U. (1993): ''Representation of Lie Groups and Special Functions: Volume 2: Class I Representations, Special Functions, and Integral Transforms'',[[:en:Springer Science & Business Media]].
* Vilenkin, N. Ja & Klimyk, A. U. (1992): ''Representation of Lie Groups and Special Functions: Volume 3: Classical and Quantum Groups and Special Functions'', [[:en:Springer Science & Business Media]].
* Vilenkin, N. Ja & Klimyk, A. U. (1995): ''Representation of Lie Groups and Special Functions: Recent Advances'', [[:en:Springer Science & Business Media]].

==== 関数値の数値計算法の文献 ====
* Shanjie Zhang and Jian-Ming Jin: ''Computation of Special Functions'', Wiley-Interscience, ISBN 978-0-471-11963-0 (1996).
* William J. Thompson: ''Atlas for Computing Mathematical Functions: An Illustrated Guide for Practitioners; With Programs in C and Mathematica'', Wiley-Interscience, ISBN 978-0-471-00260-4 (March, 1997).
* William J. Thompson: ''Atlas for Computing Mathematical Functions: An Illustrated Guide for Practitioners; With Programs in Fortran 90 and Mathematica'', Wiley-Interscience, ISBN 978-0-471-18171-2 (June, 1997).
* Amparo Gil, Javier Segura and Nico M. Temme: ''Numerical Methods for Special Functions'', SIAM, ISBN 978-0-898716-34-4 (2007).
* [https://math.nist.gov/nesf/Sect0/Sect0.html D. W. Lozier and F. W. J. Olver: ''Numerical Evaluation of Special Functions'' (NIST, Web page)]

== 関連項目 ==
* [[関数一覧]]
* [[行列値関数]]
* [[超幾何関数]]
* [[楕円関数]]
* [[直交多項式]]
* [[ガンマ関数]]
* [[ベータ関数]]
* [[エアリー関数]]
* [[ベッセル関数]]
* [[リーマンゼータ函数|ゼータ関数]]
* [[ルジャンドル関数]]
* [[誤差関数]]
* [[ラゲール多項式]]
* [[エルミート多項式]]

== 外部リンク ==
* [http://eqworld.ipmnet.ru/en/auxiliary/aux-specfunc.htm 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
* [https://dlmf.nist.gov/ NIST Digital Library of Mathematical Functions]
* {{PDFlink|[http://www.rs.kagu.tus.ac.jp/katsu_s/class/math2/1208.pdf 特殊関数ってなに？]}}
* {{PDFlink|[http://www.sci.hyogo-u.ac.jp/maths/master/h11/kunimasa.pdf 特殊関数とその応用について]}}
* [https://hugepdf.com/download/monthly-chubu--5adb6d4c1e01c_pdf 吉田年雄：「特殊関数の数値計算法」、中部大学工学部紀要、48巻（2012）。]
* [https://math.nist.gov/opsf/ SIAM Activity Group on Orthogonal Polynomials and Special Functions]
* [http://math-functions-1.watson.jp  特殊関数 グラフィックスライブラリー Graphics Library of Special functions by Souichiro-Ikebe ]

{{Analysis-footer}}
{{Normdaten}}
{{DEFAULTSORT:とくしゆかんすう}}
[[Category:特殊関数|*]]
[[Category:複素解析]]
[[Category:数学に関する記事]]