特殊関数とは、数学解析、関数解析、幾何学、物理学、その他の応用分野において重要であるため、多かれ少なかれ確立された名称と表記法を持つ特定の数学関数のことである。
この用語は合意によって定義されるため、一般的な正式な定義は存在しないが、数学関数のリストには、一般的に特別な関数として認められている関数が含まれている。
多くの特殊関数は、微分方程式の解や初等関数の積分として現れます。そのため、積分表[ 1 ]には通常、特殊関数の説明が含まれており、特殊関数表[ 2 ]には最も重要な積分、少なくとも特殊関数の積分表現が含まれています。微分方程式の対称性は物理学と数学の両方にとって不可欠であるため、特殊関数の理論は、リー群とリー代数の理論、および数理物理学の特定のトピックと密接に関連しています。
記号計算エンジンは通常、特殊関数の大部分を認識する。
確立された国際表記を持つ関数は、サイン()、コサイン()、指数関数()、および誤差関数(または)
特殊な関数には、いくつかの表記法があります。
添え字は、引数(通常は整数)を示すためによく用いられます。まれに、セミコロン(;)やバックスラッシュ(\)が引数の区切り文字として使われることもあります。これは、アルゴリズム言語への変換を混乱させる可能性があります。
上付き文字は、べき乗(指数)だけでなく、関数の他の修飾も示す場合があります。例(特に三角関数と双曲線関数の場合)は次のとおりです。
ほとんどの特殊関数は複素変数の関数として考えられます。これらは解析的であり、特異点や切断点が記述され、微分および積分表現が既知であり、テイラー級数や漸近級数への展開が可能です。さらに、他の特殊関数との関係が存在する場合もあり、複雑な特殊関数をより単純な関数で表現できることがあります。評価にはさまざまな表現が使用できますが、関数を評価する最も簡単な方法は、テイラー級数に展開することです。ただし、このような表現は収束が遅い場合や、全く収束しない場合があります。アルゴリズム言語では、通常、有理近似が使用されますが、複素引数の場合にはうまく機能しない可能性があります。
三角関数と指数関数は18世紀までに体系化され統一されたが、特殊関数の完全かつ統一的な理論の探求は19世紀以降も続いている。1800年から1900年にかけての特殊関数理論の頂点は楕円関数の理論であり、 TanneryとMolkの著作[ 3 ]のように、実質的に完全な論文では、解析関数理論(複素解析に基づく)の手法を用いて、この理論の基本的な恒等式をすべて詳述した。世紀末には、球面調和関数についても非常に詳細な議論がなされた。
純粋数学者は、既知の特殊関数を可能な限り多く単一の原理から導出する包括的な理論を追求したが、長い間、特殊関数は応用数学の領域であった。物理科学や工学への応用が、関数の相対的な重要性を決定づけた。電子計算機が登場する以前は、特殊関数の重要性は、おなじみの対数表のように、すぐに参照できる拡張された値の表を苦労して計算することによって確認されていた。(バベッジの差分機関は、そのような表を計算しようとする試みであった。)この目的のために、主な手法は以下のとおりである。
より理論的な問題としては、漸近解析、複素平面における解析接続とモノドロミー、対称性の原理、その他の構造方程式などが挙げられる。
20世紀には、特殊関数理論への関心が何度か高まりました。古典的なWhittakerとWatsonの教科書(1902年)[ 4 ]は、複素解析を用いて理論を統一しようと試みました。GN Watsonの著書『A Treatise on the Theory of Bessel Functions』は、漸近結果を含む重要なタイプの関数について、可能な限り技術を推し進めました。
後にアーサー・エルデリーの編集のもとで行われたベイトマン原稿プロジェクトは、百科事典的な内容を目指したもので、電子計算が主流になり始め、表作成が主要な課題ではなくなった時期に実施された。
直交多項式の現代理論は、明確ではあるが限定された範囲を持つ。フェリックス・クラインが天文学と数理物理学において重要であると指摘した超幾何級数[ 5 ]は、後に概念的な整理を必要とする複雑な理論となった。リー群表現は球面関数の直接的な一般化を与え、1950年以降、古典理論の相当部分がリー群の観点から再構築された。さらに、代数的組み合わせ論の研究も、この理論の古い部分への関心を再び高めた。イアン・G・マクドナルドの予想は、特殊関数の風味を持つ大規模で活発な新しい分野を開拓するのに役立った。差分方程式は、特殊関数の源として微分方程式と並んでその地位を占めるようになった。
数論においては、特定のディリクレ級数やモジュラー形式など、特定の特殊関数が伝統的に研究されてきた。特殊関数論のほぼすべての側面がそこに反映されているだけでなく、奇怪な密造酒理論から生まれたような新しい側面もいくつか含まれている。
正定値行列の空間には、いくつかの特殊関数の類似物が定義されており、その中にはアトレ・セルバーグに遡るべき関数[ 6 ]、多変数ガンマ関数[ 7 ]、およびベッセル関数の類[ 8 ]などがある。