この記事は英語版の対応するページ
を翻訳することにより充実させることができます。(2024年5月)翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。実解析における指数関数(しすうかんすう、英: exponential function)は、冪乗における指数 (exponent) を変数として、その定義域を主に実数の全体へ拡張して定義される初等超越関数の一種である。対数の逆関数であるため、逆対数 (anti-logarithm, inverse logarithm) と呼ばれることもある[1][注釈 1]。自然科学において、指数関数は量の増加度に関する数学的な記述を与えるものとして用いられる(指数関数的成長や指数関数的減衰の項を参照)。
一般に、a > 0 かつ a ≠ 1 なる定数 a に関して、(主に実数の上を亙る)変数 x を ax へ送る関数は、「a を底とする指数関数」と呼ばれる。「指数関数」との名称は、与えられた底に関して冪指数を変数とする関数であることを示唆するものであり、冪指数を固定して底を独立変数とする冪函数とは対照的である。
しばしば、より狭義の関数を意図して単に「指数関数」と呼ぶこともある。そのような標準的な (the) 指数関数(あるいはより明示的に「自然指数関数」)[注釈 2]はネイピア数 e (= 2.718281828…) を底とする関数 x ? ex である。これを exp x のようにも書く。この関数は、導関数が自分自身に一致するなど、他の指数関数と比べて著しく特異な性質を持つ。底 e を他の底 a に取り換えるには自然対数 ln x を用いて、等式 a x = e x ⋅ ln a {\displaystyle a^{x}=e^{x\cdot \ln a}}
を適用すればよいから、以下本項では主に自然指数関数について記述し、多くの場合「指数関数」は自然指数関数の意味で用いる。
歴史と概観赤線(―)は指数関数を表わす。黒い横線(―)は指数関数の曲線が緑の縦線(―)に交わる点を示している。緑の縦線を一定間隔で配置すると、黒の横線の間隔は急激に広がっていくことが分かる。
ある量の変化(増大または減少)率がその量の現在値に比例するというような状況において、指数関数は生じてくる(指数関数的増大または指数関数的減少)。
そのような例として、連続的複利計算があり、実はヤコブ・ベルヌーイが (Bernoulli 1683)[3] においてこのような複利計算から今日 e と書かれる数(ネイピア数) lim n → ∞ ( 1 + 1 n ) n {\displaystyle \lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}}
を導いている。後の1697年にヨハン・ベルヌーイが指数関数の解析学を研究している[3]。元本 1 に対して年 x の割合で金利を得る複利を考えると、得られる利息は毎月現在値に x/12 だから、総額は毎月 (1+x/12) 倍となり一年で (1+x/12)12 となる。あるいは、毎日金利を得るものとすれば (1+x/365)365 である。さらに間隔を短くして年間に金利を得る回数を限りなく増やした極限として、指数関数の定義 exp ( x ) = lim n → ∞ ( 1 + x n ) n {\displaystyle \exp(x)=\lim _{n\to \infty }\left(1+{\frac {x}{n}}\right)^{n}}
を与えた最初の人はオイラーである[4]。これは数ある指数関数の特徴付けの一つであり、ほかにも冪級数や微分方程式を用いた定義などがある。
どの定義に従ったとしても、指数関数は以下の基本的な関係(指数法則) exp ( x + y ) = exp ( x ) ⋅ exp ( y ) {\displaystyle \exp(x+y)=\exp(x)\cdot \exp(y)}
を満たすから、指数関数を e の冪乗とみなし、ex と書くこともある。
指数関数の変化率、即ち導関数は指数関数自身に一致する。より一般に、変化率が自分自身と(そのものではなく)比例するという性質を持つ関数は、指数関数を用いて表すことができる。関数のこのような性質は指数関数的増加や指数関数的減少と呼ばれる。
指数関数は複素平面上の整関数に拡張される。オイラーの公式は指数関数の純虚数における値と三角関数を関係付ける。同様に、指数関数は行列変数やより一般のバナッハ環に値を取る変数などに対しても定義される。あるいはリー代数における指数写像に一般化される。 指数関数 exp a ( x ) := a x ( a > 0 , a ≠ 1 ) {\displaystyle \exp _{a}(x):=a^{x}\ (a>0,\ a\neq 1)} は次の性質を持つ:
性質
a > 1 {\displaystyle a>1} のとき狭義増加: s > t ⇒ a s > a t . {\displaystyle s>t\Rightarrow a^{s}>a^{t}.}
0 < a < 1 {\displaystyle 0<a<1} のとき狭義減少: s > t ⇒ a s < a t . {\displaystyle s>t\Rightarrow a^{s}<a^{t}.}
exp a : R → ( 0 , ∞ ) {\displaystyle \exp _{a}\colon \mathbb {R} \to (0,\infty )} は各 a {\displaystyle a} に対し全単射. よって exp a {\displaystyle \exp _{a}} は各 a {\displaystyle a} に対し可逆で, exp a − 1 = log a . {\displaystyle \exp _{a}^{-1}=\log _{a}.}
( a x ) ′ = a x log a . {\displaystyle (a^{x})'=a^{x}\log a.} 特に ( a x ) ′ 。 x = 0 = 1 {\displaystyle (a^{x})'|_{x=0}=1} となる a {\displaystyle a} を e {\displaystyle e} と書くと, ( e x ) ′ = e x . {\displaystyle (e^{x})'=e^{x}.}
a > 1 {\displaystyle a>1} のとき 0 < x < 1 ln a {\displaystyle 0<x<{\tfrac {1}{\ln a}}} ならば 1 + x ln a < a x < 1 1 − x ln a . {\displaystyle 1+x\ln a<a^{x}<{\tfrac {1}{1-x\ln a}}.} 特に a = e {\displaystyle a=e} のとき 0 < x < 1 {\displaystyle 0<x<1} ならば 1 + x < e x < 1 1 − x . {\displaystyle 1+x<e^{x}<{\tfrac {1}{1-x}}.}