第10章 指数関数の微分
Derivatives of Exponential Functions
10.1 自然対数の底 $e$
指数関数の微分を学ぶ前に、数学で最も重要な定数の一つである $e$ を導入する。
または、同等の定義として:
$$e = \lim_{h \to 0} (1 + h)^{1/h}$$$e \approx 2.71828...$(無理数)
$e = \lim_{h \to 0}(1+h)^{1/h}$ の両辺の対数をとると:
$$\ln e = \lim_{h \to 0} \frac{\ln(1+h)}{h} = 1$$$t = e^h - 1$ とおくと、$h = \ln(1+t)$ で、$h \to 0$ のとき $t \to 0$ である。
$$\lim_{h \to 0} \frac{e^h - 1}{h} = \lim_{t \to 0} \frac{t}{\ln(1+t)} = \frac{1}{\lim_{t \to 0}\frac{\ln(1+t)}{t}} = \frac{1}{1} = 1$$10.2 $e^x$ の微分
$e^x$ は「自分自身が導関数」という特別な関数である。
微分の定義から:
$$\frac{d}{dx}e^x = \lim_{h \to 0} \frac{e^{x+h} - e^x}{h}$$Step 1:指数法則を使って $e^{x+h} = e^x \cdot e^h$ と分解する。
$$= \lim_{h \to 0} \frac{e^x \cdot e^h - e^x}{h}$$Step 2:$e^x$ を括り出する。
$$= \lim_{h \to 0} e^x \cdot \frac{e^h - 1}{h}$$Step 3:$e^x$ は $h$ に依存しないので、極限の外に出せる。
$$= e^x \cdot \lim_{h \to 0} \frac{e^h - 1}{h}$$Step 4:基本極限公式 $\displaystyle \lim_{h \to 0} \frac{e^h - 1}{h} = 1$ を使いる。
$$= e^x \cdot 1 = e^x$$$e^x$ は「微分しても変わらない」唯一の関数です(定数倍を除く)。
つまり、$f'(x) = f(x)$ を満たす関数は $f(x) = Ce^x$ の形しかない。
10.3 $a^x$ の微分($a > 0$)
$a > 0$, $a \neq 1$ のとき:
$$\frac{d}{dx}a^x = a^x \ln a$$$a^x$ を $e$ を使って書き換える。
Step 1:$a = e^{\ln a}$ なので:
$$a^x = (e^{\ln a})^x = e^{x \ln a}$$Step 2:連鎖律を適用する。$u = x \ln a$ とおくと:
$$\frac{d}{dx}a^x = \frac{d}{dx}e^{x \ln a} = e^{x \ln a} \cdot \frac{d}{dx}(x \ln a)$$Step 3:$\ln a$ は定数なので:
$$= e^{x \ln a} \cdot \ln a$$Step 4:$e^{x \ln a} = a^x$ に戻する。
$$= a^x \ln a$$連鎖律を使いる。$u = 2x$ とおくと:
$$\frac{d}{dx}3^{2x} = 3^{2x} \ln 3 \cdot 2 = 2 \cdot 3^{2x} \ln 3$$10.4 連鎖律との組み合わせ
$g(x) = -x^2$, $g'(x) = -2x$ より:
$$\frac{d}{dx}e^{-x^2} = e^{-x^2} \cdot (-2x) = -2xe^{-x^2}$$(これはガウス関数の微分として重要)
10.5 積・商との組み合わせ
積の公式を使う:
$$\frac{d}{dx}(xe^x) = 1 \cdot e^x + x \cdot e^x = e^x(1 + x) = (1+x)e^x$$積の公式を使う:
$$\frac{d}{dx}(x^2 e^{-x}) = 2x \cdot e^{-x} + x^2 \cdot (-e^{-x})$$ $$= e^{-x}(2x - x^2) = x(2-x)e^{-x}$$商の公式を使う:
$$\frac{d}{dx}\frac{e^x}{x} = \frac{e^x \cdot x - e^x \cdot 1}{x^2} = \frac{e^x(x-1)}{x^2}$$10.6 指数関数の微分公式まとめ
| 関数 | 導関数 |
|---|---|
| $e^x$ | $e^x$ |
| $e^{g(x)}$ | $e^{g(x)} \cdot g'(x)$ |
| $a^x$($a > 0$) | $a^x \ln a$ |
| $a^{g(x)}$ | $a^{g(x)} \ln a \cdot g'(x)$ |
練習問題
次の関数を微分せよ。
- $e^{5x}$
- $e^{-2x}$
- $e^{x^3}$
- $3^x$
次の関数を微分せよ。
- $x^3 e^x$
- $e^x \sin x$
- $\dfrac{e^x}{x^2}$
- $e^{x^2 + 2x}$
$f(x) = xe^{-x}$ について:
- $f'(x)$ を求めよ。
- $f'(x) = 0$ となる $x$ を求めよ。
- $f(x)$ の極値を求めよ。
解答を見る
練習1の解答
- $5e^{5x}$
- $-2e^{-2x}$
- $e^{x^3} \cdot 3x^2 = 3x^2 e^{x^3}$
- $3^x \ln 3$
練習2の解答
- $3x^2 e^x + x^3 e^x = x^2(3+x)e^x$
- $e^x \sin x + e^x \cos x = e^x(\sin x + \cos x)$
- $\dfrac{e^x \cdot x^2 - e^x \cdot 2x}{x^4} = \dfrac{e^x(x-2)}{x^3}$
- $e^{x^2+2x} \cdot (2x+2) = 2(x+1)e^{x^2+2x}$
練習3の解答
- $f'(x) = 1 \cdot e^{-x} + x \cdot (-e^{-x}) = e^{-x}(1-x) = (1-x)e^{-x}$
- $f'(x) = 0 \Leftrightarrow 1-x = 0 \Leftrightarrow x = 1$
- $x < 1$ で $f'(x) > 0$(増加)、$x > 1$ で $f'(x) < 0$(減少)
よって $x = 1$ で極大
極大値:$f(1) = 1 \cdot e^{-1} = \frac{1}{e}$