解析学における指数関数（しすうかんすう、）は、冪乗における冪指数 () を変数として、その定義域を主に実数の全体へ拡張して定義される初等超越関数の一種である。対数関数の逆関数であるため、逆対数 () と呼ばれることもある。自然科学において、指数関数は量の増加度に関する数学的な記述を与えるものとして用いられる（を参照）。一般に、 かつ なる定数 に関して、（主に実数の上を亙る）変数 を へ送る関数は、「」と呼ばれる。「指数関数」との名称は、与えられた底に関して冪指数を変数とする関数であることを示唆するものであり、冪指数を固定して底を独立変数とする () とは対照的である。しばしば、より狭義の関数を意図して単に「指数関数」と呼ぶこともある。そのような標準的な (the) 指数関数（あるいはより明示的に「自然指数関数」）はネイピア数 を底とする関数 である。これを のようにも書く。この関数は、導関数が自分自身に一致するなど、他の指数関数と比べて著しい性質を持つ。底 を他の底 に取り換えるには自然対数 を用いて、等式を適用すればよいから、以下本項では主に自然指数関数について記述し、多くの場合「指数関数」は自然指数関数の意味で用いる。ある量の変化（増大または減少）率がその量の現在値に比例するというような状況において、指数関数は生じてくる（指数関数的増大または指数関数的減少）。そのような例として、連続的複利計算があり、実はヤコブ・ベルヌイが においてこのような複利計算から今日 と書かれる数を導いている。後の1697年にヨハン・ベルヌイが指数関数の解析学を研究している。元本 に対して年 の割合で金利を得る複利を考えると、得られる利息は毎月現在値に だから、総額は毎月 倍となり一年で となる。あるいは、毎日金利を得るものとすれば である。さらに間隔を短くして年間に金利を得る回数を限りなく増やした極限として、指数関数の定義 を与えた最初の人はオイラーである。これは数ある指数関数の特徴付けの一つであり、ほかにも冪級数や微分方程式を用いた定義などがある。何れの定義に従ったとしても、指数関数は指数法則と呼ばれる基本的な関係式を満たすから、指数関数を冪乗の記法を以って と書くこともある。指数関数の変化率、即ち導関数は指数関数自身に一致する。より一般に、変化率が自分自身と（そのものではなく）比例するという性質を持つ関数は、指数関数を用いて表すことができる。関数のこのような性質は指数関数的増加や指数関数的減少と呼ばれる。指数関数は複素数平面上の整関数に拡張される。オイラーの公式は指数関数の純虚数における値と三角関数を関係付ける。同様に、指数関数は行列変数やより一般のバナハ環に値を取る変数などに対しても定義される。あるいはリー理論における指数写像に一般化される。指数関数 を一意的に定義するための特徴付けは、同値な方法がいくつも知られている。中でも以下の冪級数で定義するのが典型的である。これは他の方法で指数関数を定義した場合に導くことのできる、指数関数のテイラー級数そのものである。あまり典型的ではないが、自然対数関数の逆関数という意味で、指数関数 を方程式の解 と定めることもできる。あるいはまた、以下の極限によっても同じものが定まる。底がネイピア数 である指数関数 の導関数は 自身となる。解析学においてはこの性質を満たす関数として指数関数を定義する。つまり、指数関数 とは、を満たす関数のことである。この関数は代数的な定義で示される性質を満たし、両者は一致することが示される。一般の指数関数 の導関数は自然対数 を用いて、合成関数の微分公式より、複素数の実数乗、つまり、実数 を変数とする指数関数 は、 と表したときの が純虚数でも実数でもないとき、対数螺旋をなす。二重指数関数とは、 の形で表現される関数のことである。テイラー級数による定義において、変数をそのまま複素数とすることによりガウス平面 上で複素指数関数が定められるのと同様に、-進数を変数とすることにより、-進数の全体 上の関数として -進指数関数が定義される。上記のテイラー展開の に任意の正方行列 を代入することにより、行列の指数関数 が定義される。とくに、 が 次の実一般線型群 のリー環 すなわち 次の実正方行列全体を亘るとすれば、この指数関数はリー環からリー群への指数写像の一つの例を与える。

出典:wikipedia