数学において、指数関数は、急速に成長する関数の一つである。より正確には、関数 exp ( x ) = e x {\exp(x)=e^{x}}である。{\displaystyle \exp(x)=e^{x}}ここで、eはオイラー定数であり、約2.71828の無理数である。 指数関数は実数全体で定義され、実数 x に対して常に正の値をとる（e^x > 0）。

定義（いくつかの見方）

  • 指数関数の標準的な定義は exp(x)=e^x。ここで e は極限 e = lim_{n→∞} (1+1/n)^n によって定義される正の定数。
  • 冪としての定義：実数 a>0 に対して a^x は、自然対数 ln を用いて a^x = e^{x\ln a} と定義できる。特に a=e のときが自然な指数関数である。
  • 級数による定義：任意の実数 x に対して次の冪級数で定義できる。exp(x)=∑_{n=0}^\infty x^n/n!。この級数は収束半径が無限大のため、すべての実数（さらに複素数）で定義される。
  • 微分方程式としての定義：y'=y、かつ y(0)=1 を満たす唯一の関数が exp(x) である。

基本的な性質

  • 指数法則：exp(a+b)=exp(a)exp(b)。これから exp(0)=1、exp(-x)=1/exp(x) などが従う。
  • 導関数と積分：d/dx exp(x)=exp(x)、∫exp(x)dx=exp(x)+C。つまり指数関数は自分自身を微分・積分する特別な関数である。
  • 単調性と凸性：exp(x) は単調増加であり、二階導関数が正なので凸関数である。
  • 極限：lim_{x→-∞} exp(x)=0、lim_{x→+∞} exp(x)=+∞。また lim_{x→0} (exp(x)-1)/x = 1。
  • 複素解析的性質：exp(x) の級数定義から、実数だけでなく複素数全体に一意に解析接続できる（全関数 = entire）。

級数展開と計算例

級数展開：exp(x)=∑_{n=0}^\infty x^n/n! = 1 + x + x^2/2! + x^3/3! + …。この級数は任意の実数 x で高速に収束するため、数値計算によく用いられる。

簡単な値の例：exp(0)=1、exp(1)=e ≈ 2.71828、exp(-1)=1/e ≈ 0.367879。

逆関数（自然対数 ln）

指数関数の逆関数は自然対数 ln(x) であり、定義域は x>0。関係式は ln(e^x)=x（すべての実 x）および e^{\ln y}=y（y>0）。微分は d/dx ln(x)=1/x となる。

底の変換と一般の指数関数

任意の正の底 a (a>0) に対する指数関数 a^x は、先に述べたように a^x = e^{x\ln a} と表せる。これにより微分や積分、極限の計算は自然対数を用いて扱える。

応用例

  • 連続複利：元金を年利 r で連続複利で運用したとき、t 年後の金額は A(t)=A_0 e^{rt} となる。
  • 人口増加モデル（単純な指数成長）：非制限な環境下での個体数は N(t)=N_0 e^{kt}（k>0）で表される。
  • 放射性崩壊や冷却などの指数減衰：量は時間とともに e^{-λt} の形で減少する（λ>0）。
  • 常微分方程式：y'=ky の一般解は y(t)=Ce^{kt}。多くの物理・工学・生物学モデルで現れる基本解である。
  • 信号処理や確率論：ガウス分布の定義や確率過程にも e^{x} が現れる。

複素数への拡張とオイラーの公式

複素数 z に対しても exp(z)=∑_{n=0}^\infty z^n/n! により定義され、オイラーの公式 exp(iθ)=cos θ + i sin θ が成り立つ。特に exp(iπ) + 1 = 0 は数学の美しい恒等式の一つである。

まとめ（注意点と指針）

  • 指数関数は級数・極限・微分方程式など複数の等価な定義を持ち、解析学や応用数学で中心的役割を果たす。
  • 計算上は exp(x) の級数や数値ライブラリの関数を用いるのが一般的で、底の変換 a^x = e^{x\ln a} に注意すると扱いやすい。
  • 指数成長は非常に速いため、現実問題に適用する際は資源制約や非線形効果（例：ロジスティック方程式）を考慮する必要がある。