特殊関数

特殊関数（とくしゅかんすう、）は、何らかの名前や記法が定着している関数であり、解析学、関数解析学、可積分系、物理学、その他の応用分野でよく使われる関数であることが多い。
何が特殊関数であるかのはっきりした定義は存在しないが、しばしば特殊関数として扱われるものには、ガンマ関数、ベータ関数、エアリー関数、ベッセル関数、ゼータ関数、楕円関数、ルジャンドル関数、誤差関数、超幾何関数
、直交多項式 (ラゲール多項式、エルミート多項式が有名) などがある。一般には初等関数の対義語ではなく、ある関数が初等関数であって同時に特殊関数とされる場合もある。
特殊関数の一覧.
特殊関数の多くは、微分方程式の解 (つまり可積分系の厳密解) や初等関数の積分 (誤差関数や楕円積分など) として現れる。したがって、積分法の一覧には特殊関数の記述がよく見られ、特殊関数の一覧には最も重要な積分、すなわちその特殊関数の積分形式の表現が含まれていることが多い。
MATLAB、Maple、Mathematicaなどの科学技術計算・数値解析のための言語は、多くの特殊関数を認識する。ただし、そのようなシステムが常に効率的なアルゴリズムで計算（評価）するとは限らない（特に複素平面の場合）。
特殊関数の記法.
多くの場合、特殊関数には標準的記法があり、関数の名前、添え字（もしあれば）、括弧開き、引数列（コンマで区切る）、括弧閉じの順に記述する。このような記法を使うことで解釈が容易になり、曖昧さを排除できる。国際的に記法が確立している関数としては、sin、cos、exp、erf、erfc などがある。
場合によっては1つの特殊関数が複数の名前を持つこともある。自然対数には Log、log、ln などの記法があり、文脈によって使い分けられる。例えば正接関数は Tan、tan、tg（ロシア語の書籍に多い、例えばを参照）などの記法がある。逆正接関数は atan、arctg、tan−1 などの記法がある。ベッセル関数は "Jn"(x) と記されることが多いが、besselj(n,x) や BesselJ[n,x] も同じ関数を意味している。
引数を示すのに添え字がよく使われる（整数が多い。例えば直交多項式、ベッセル関数など）。まれにセミコロン (;) やバックスラッシュ () を分離文字として使うこともある。このような場合、論理的に解釈する際に曖昧さが生じ、混乱することがある。
肩文字はべき乗を示すだけでなく、関数の修飾を意味することがある。例えば、次のような例がある。
特殊関数の値の評価.
特殊関数は変数が複素数である関数と見なせることが多い。それらは解析的であり、特異点とカットで記述される。微分形式や積分形式が知られており、テイラー級数や漸近展開を持つ。さらに、他の特殊関数との関係が知られている場合には、より簡単な関数の組み合わせで表現できる場合がある。関数値の評価にはこれらの様々な表現を使う。最も単純な方法は、テイラー級数による級数展開を打ち切ったものを（展開の中心付近で）用いることであるが、展開された級数の収束が遅い場合がある。有理関数による近似式を使う場合もある。ある区間の中で多項式の値により関数値を近似する場合には打ち切られたテイラー展開を使うよりも最良近似理論に基づく近似式や打ち切られたチェビシェフ多項式展開を用いる方が良い。また有理関数近似についても最良有理近似式が使われることがある。
参考文献.
和文.
和書.
以下のリストは不完全なものである。これら以外にも楕円関数、超幾何関数、ベッセル関数、ゼータ関数など個別の特殊関数を主に扱って書かれた本も多数ある。