y=2xy = 2^x

指数関数 y=2xy = 2^x のグラフ

y=2xy = 2^x は底を 22 とする指数関数です。xx11 増えるごとに値が 22 倍になる、倍々に増える関数の代表です。

定義域と値域

定義域はすべての実数です。2x2^x は決して 00 にも負にもならないので、値域は y>0y > 0 です。xx が負でも 21=122^{-1} = \dfrac{1}{2}22=142^{-2} = \dfrac{1}{4} のように小さな正の数になります。

増減

導関数は次のようになります。

y=2xln2y' = 2^x \ln 2

ln20.693\ln 2 \approx 0.693 は正の定数で 2x>02^x > 0 なので、yy' はつねに正となり単調に増加します。二階導関数 y=2x(ln2)2y'' = 2^x (\ln 2)^2 も正なので、グラフは全体が下に凸です。増えるほど増え方そのものが速くなる、加速する増加です。

漸近線と極限

xx \to -\infty では 2x02^x \to 0 となり、xx 軸(直線 y=0y = 0)が水平漸近線です。値はつねに正なので、曲線は上側から xx 軸に近づきます。x+x \to +\infty では ++\infty に発散します。

倍々に増える

2x+1=22x2^{x+1} = 2 \cdot 2^x なので、xx11 増えるたびに値がちょうど 22 倍になります。

xx2x2^x
2-20.250.25
0011
1122
553232
101010241024
202010485761048576

1010 増えれば 210=10242^{10} = 1024 倍、およそ 10001000 倍です。最初はおとなしく見えても、やがてどんな多項式よりも速く増えます。xx が十分大きければ 2x2^xx100x^{100} すら追い越します。

特徴的な点

(0,1)(0, 1)(1,2)(1, 2)(2,4)(2, 4)(1,12)\left( -1, \dfrac{1}{2} \right) を通ります。a0=1a^0 = 1 なので、底が何であれ指数関数は必ず (0,1)(0, 1) を通ります。

底による違い

逆関数は log2x\log_2 x です。また 2x=exln22^x = e^{x \ln 2} と書けるので、y=exy = e^x を横方向に縮めた形とも見られます。

増減
a>1a > 1単調に増加y=2xy = 2^x
a=1a = 1つねに 11y=1xy = 1^x
0<a<10 < a < 1単調に減少y=(12)xy = \left( \dfrac{1}{2} \right)^x

(12)x=2x\left( \dfrac{1}{2} \right)^x = 2^{-x} は、このグラフを yy 軸で折り返した減少曲線になります。

応用

倍々に増える現象のモデルです。

  • 細胞は 11 回の分裂で 22 倍になり、nn 回後には 2n2^n 個になる
  • 22 進法では nn ビットで 2n2^n 通りを表せる
  • 放射性崩壊のように半分ずつ減る現象は 2t/T2^{-t/T} と書ける

倍になるまでの時間が一定であることが、指数的な増加の本質です。