指数関数

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