ウィキまとめは誰でも自由に編集できるWikiサービスです

 操作

指数関数

・ このページの最終更新日時 2016年11月24日 (木) 03:06




指数関数」の掲示板 / コメント

底が e である指数関数(グラフの 1 マスは 1

解析学における指数関数(しすうかんすう、: exponential function)は、冪乗における冪指数 (exponent) を変数として、その定義域を主に実数の全体へ拡張して定義される初等超越関数の一種である。対数関数逆関数であるため、逆対数 (anti-logarithm, inverse logarithm) と呼ばれることもある[1][* 1]自然科学において、指数関数は量の増加度に関する数学的な記述を与えるものとして用いられる(指数関数的増加英語版を参照)。

一般に、a > 0 かつ a ≠ 1 なる定数 a に関して、(主に実数の上を亙る)変数 xax へ送る関数は、「a (base) とする指数関数フランス語版」と呼ばれる。「指数関数」との名称は、与えられた底に関して冪指数を変数とする関数であることを示唆するものであり、冪指数を固定して底を独立変数とする冪関数ドイツ語版 (power function) とは対照的である。

しばしば、より狭義の関数を意図して単に「指数関数」と呼ぶこともある。そのような標準的な (the) 指数関数(あるいはより明示的に「自然指数関数」)[* 2]ネイピア数 e (= 2.718281828…) を底とする関数 xex である。これを exp x のようにも書く。この関数は、導関数が自分自身に一致するなど、他の指数関数と比べて著しい性質を持つ。底 e を他の底 a に取り換えるには自然対数 ln x を用いて、等式

a^x = e^{x \cdot \ln a}

を適用すればよいから、以下本項では主に自然指数関数について記述し、多くの場合「指数関数」は自然指数関数の意味で用いる。

歴史と概観[編集]

赤線()は指数関数を表わす。黒い横線()は指数関数の曲線が緑の縦線()に交わる点を示している。緑の縦線を一定間隔で配置すると、黒の横線の間隔は急激に広がっていくことが分かる。

ある量の変化(増大または減少)率がその量の現在値に比例するというような状況において、指数関数は生じてくる(指数関数的増大または指数関数的減少)。

そのような例として、連続的複利計算があり、実はヤコブ・ベルヌイが (Bernoulli 1683)[2] においてこのような複利計算から今日 e と書かれる数

\lim_{n\to\infty}\left(1 + \frac{1}{n}\right)^{n}

を導いている。後の1697年にヨハン・ベルヌイが指数関数の解析学を研究している[2]。元本 1 に対して年 x の割合で金利を得る複利を考えると、得られる利息は毎月現在値に x/12 だから、総額は毎月 (1+x/12) 倍となり一年で (1+x/12)12 となる。あるいは、毎日金利を得るものとすれば (1+x/365)365 である。さらに間隔を短くして年間に金利を得る回数を限りなく増やした極限として、指数関数の定義

\exp(x) = \lim_{n\to\infty}\left(1 + \frac{x}{n}\right)^{n}

を与えた最初の人はオイラーである[3]。これは数ある指数関数の特徴付けの一つであり、ほかにも冪級数微分方程式を用いた定義などがある。

何れの定義に従ったとしても、指数関数は指数法則と呼ばれる基本的な関係式

\exp(x + y) = \exp(x) \cdot \exp(y)

を満たすから、指数関数を冪乗の記法を以って ex と書くこともある。

指数関数の変化率、即ち導関数は指数関数自身に一致する。より一般に、変化率が自分自身と(そのものではなく)比例するという性質を持つ関数は、指数関数を用いて表すことができる。関数のこのような性質は指数関数的増加や指数関数的減少と呼ばれる。

指数関数は複素数平面上の整関数に拡張される。オイラーの公式は指数関数の純虚数における値と三角関数を関係付ける。同様に、指数関数は行列変数やより一般のバナハ環に値を取る変数などに対しても定義される。あるいはリー理論における指数写像に一般化される。

厳密な定義[編集]

指数関数(青線:)と、原点における指数関数のテイラー展開の第 n + 1 項までの和(赤線:)。

指数関数 ex を一意的に定義するための特徴付けは、同値な方法がいくつも知られている。中でも以下の冪級数

e^x = \sum_{n = 0}^{\infty} {x^n \over n!} = 1 + x + {x^2 \over 2!} + {x^3 \over 3!} + {x^4 \over 4!} + \cdots

で定義するのが典型的である[4]。これは他の方法で指数関数を定義した場合に導くことのできる、指数関数のテイラー級数そのものである。

あまり典型的ではないが、自然対数関数の逆関数という意味で、指数関数 ex方程式

x = \int_1^y {dt \over t}

の解 y と定めることもできる。あるいはまた、以下の極限

e^x = \lim_{n \to \infty} \left(1 + \frac{x}{n}\right)^n

によっても同じものが定まる[3]

初等解析学[編集]

底がネイピア数 e である指数関数 ex導関数ex 自身となる。

\frac{d}{dx}e^x = e^x.

解析学においてはこの性質を満たす関数として指数関数を定義する。つまり、指数関数 exp(x) とは、

  1. exp(0) = 1
  2. (d/dx − 1)exp(x) = 0

を満たす関数のことである。この関数は代数的な定義で示される性質を満たし、両者は一致することが示される。

一般の指数関数 ax の導関数は自然対数 ln を用いて、合成関数の微分公式より、

\frac{d}{dx}a^x = \frac{d}{dx}e^{x \ln a} 
= \frac{{d}(x \ln a)}{{d}x}\frac{{d}{e}^{x \ln a}}{{d}(x \ln a)} = (\ln a)a^x

となる。a = e とすれば ln e = 1 なので最初の公式に戻る。

複素指数関数[編集]

複素指数関数 (complex exponential (function)) は、任意の複素数 z に対して

\exp z = \sum^{\infin}_{n=0}\frac{1}{n!}z^n

によって定まる整関数である。

実数の指数関数について成り立つ性質のいくつかは複素指数関数に対してもそのまま成り立つ。

  1. exp(z)·exp(w) = exp(z + w)
  2. (exp z)n = exp(nz), nZ
  3. exp z ≠ 0
  4. d/dzexp z = exp z

x が実数であるとき、i虚数単位として純虚変数の指数関数 exp(ix)

\exp(ix) = \cos x + i\sin x

を満たし(オイラーの公式)、cis(x)英語版 とも書かれる(cis は "cos + i sin" の省略形である)。

任意の複素数 z は、適当な二つの実数 x, y を用いて z = x + iy と表わされるから、複素指数関数は実二変数の関数として

\exp z = \exp x\cdot \operatorname{cis} y = \exp x(\cos y + i\sin y)

と書くこともできる。この関数の(複素多価関数としての)「逆関数」log z

\log z = \int_1^z \frac{dz'}{z'}

を満たす。即ちそれは自然対数である。

一般の複素数 α ≠ 0 を底とし、複素変数 z を指数とする指数関数は、複素変数の対数関数 log z に対して、

\alpha^z = \exp (z\,\log \alpha) = \exp (z\,(\ln |\alpha| + i \arg \alpha))

とおくことにより定義することができる。これは log α の多価性(偏角 arg α の不定性)により一般には多価関数となり、log の主値から αz の主値が定まる。例えば、n を整数として

2^{1/2} = \exp ((1/2)\log2) = \exp ((1/2)(\ln2\,+\,2n\pi i)) = \exp (\ln\sqrt{2}) \exp(n\pi i) = \pm\sqrt{2}

となる。ただし、ez については exp(z log e) のこととは解さず、ez = exp(z) と理解するのが一般的であるようである。

複素変数への拡張は他にも方法があり、マクローリン展開を用いずに微分の自己再帰性と初期条件だけを与えた正則関数を考えても同じ結論を得ることができる。

指数法則等の不成立[編集]

正の実数に対する冪や対数についてのいくつかの恒等式は複素数に対しては成り立たない。複素数の冪や複素数の対数が一価関数として定義されたとしてもだ。例えば:

  • 恒等式 log(bx) = x · log bb が正の実数で x が実数のときにはいつでも成り立つ。しかし、複素数の対数の主枝英語版に対して
     i\pi = \log(-1) = \log\left[(-i)^2\right] \neq 2\log(-i) = 2\left(-\frac{i\pi}{2}\right) = -i\pi
    である。対数のどの分枝が使われているかを考えないと、恒等式の同様な不成立が起こる。(この結果のみを使って)言える最良のことは:
    \log(w^z) \equiv z \cdot \log(w) \pmod{2 \pi i}
    恒等式 log(bx) = x · log blog を多価関数と考えるときでさえ成り立たない。log(wz) の取り得る値は z · log w の取り得る値を部分集合として含む。log(w) の主値を Log(w) とし、m, n を任意の整数とすると、両辺の取り得る値は:
    \begin{align}
            \left\{\log(w^z)\right\} &= \left\{ z \cdot \operatorname{Log}(w) + z \cdot 2 \pi i n + 2 \pi i m \right\} \\
      \left\{z \cdot \log(w)\right\} &= \left\{ z \cdot \operatorname{Log}(w) + z \cdot 2 \pi i n \right\}
    \end{align}
  • 恒等式 (bc)x = bxcx および (b/c)x = bx/cxbc が正の実数で x が実数のときには正しい。しかし主枝を用いた計算によって示されるのは
    1 = ((-1)\times(-1))^\frac{1}{2}   \not = (-1)^\frac{1}{2}(-1)^\frac{1}{2} = -1
    および
    i = (-1)^\frac{1}{2} = \left (\frac{1}{-1}\right )^\frac{1}{2} \not = \frac{1^\frac{1}{2}}{(-1)^\frac{1}{2}} = \frac{1}{i} = -i
    である。一方、x が整数のとき、恒等式はすべての 0 でない複素数に対して成り立つ。
    指数関数を多価関数として考えれば、((−1)×(−1))1/2 の取り得る値は {1, −1} である。恒等式は成り立つが {1} = {((−1)×(−1))1/2} と言うことは間違っている。
  • 恒等式 (ex)y = exy は実数 xy に対して成り立つが、複素数に対してそれが正しいと仮定すると次のパラドックスが生じる。1827年に Clausen英語版によって発見された[5]
    任意の整数 n に対して、
    1. e^{1 + 2 \pi i n} = e^{1} e^{2 \pi i n} = e \cdot 1 = e
    2. \left( e^{1+2\pi i n} \right)^{1 + 2 \pi i n} = e
    3. e^{1 + 4 \pi i n - 4 \pi^{2} n^{2}} = e
    4. e^1 e^{4 \pi i n} e^{-4 \pi^2 n^2} = e
    5. e^{-4 \pi^2 n^2} = 1
    しかしこれは整数 n0 でないとき誤りである。
    理由としてたくさんの問題がある:
    主要な誤りは、2行目から3行目に行くときに指数の順番を変えることで選ばれる主値が変わることだ。
    多価関数の視点から見ると、最初の誤りはもっと早く起きている。一行目で暗に含まれているのは、e は実数である一方 e1+2πin の結果は e + 0i としてよりよく表現される複素数である。2行目の実数に複素数を代入することでベキが複数の値を取り得るようになる。2行目から3行目で指数の順番を変えることはまたいくつの値を結果が取り得るかに影響する。(ez)w = ezw ではなくむしろ (ez)w = e(z + 2πin) w であり整数 n 上多価である。

対数螺旋との関係[編集]

複素数の実数乗、つまり、実数 x を変数とする指数関数 zx は、z = ea + bi と表したときの a + bi が純虚数でも実数でもないとき、対数螺旋

r=\exp(a/b)^\theta

をなす。

一般化[編集]

二重指数関数[編集]

二重指数関数とは、f(x) = abx の形で表現される関数のことである。

p-進指数関数[編集]

テイラー級数による定義において、変数をそのまま複素数とすることによりガウス平面 C 上で複素指数関数が定められるのと同様に、p-進数を変数とすることにより、p-進数の全体 Qp 上の関数として p-進指数関数が定義される。

行列の指数関数[編集]

上記のテイラー展開x に任意の正方行列 X を代入することにより、行列の指数関数 exp X が定義される。

とくに、Xn 次の一般線型群 GL(n, R)リー環 gl(n, R) すなわち n 次の実正方行列全体を亘るとすれば、この指数関数

\exp\colon \mathfrak{gl}(n, \mathbb{R}) \to {GL}(n, \mathbb{R})

はリー環からリー群への指数写像の一つの例を与える。

注釈[編集]

  1. "Inverse Use of a Table of Logarithms; that is, given a logarithm, to find the number corresponding to it, (called its antilogarithm)…" – p. 12 of Converse; Durrell (1911), Plane and spherical trigonometry, C.E. Merrill co. 
  2. 英語exponential functionthe exponential function とを区別することがあるように、ドイツ語では一般の底に関する指数関数を exponentiellen Funktionen(指数の関数)、自然指数関数を Exponentialfunktion のように区別することもある。

出典[編集]

  1. MSDN の Exp 関数の解説
  2. 2.0 2.1 John J O'Connor; Edmund F Robertson. “The number e”. School of Mathematics and Statistics. University of St Andrews, Scotland. 2011年6月13日閲覧。
  3. 3.0 3.1 Eli Maor, e: the Story of a Number, p.156.
  4. Rudin, Walter (1987). Real and complex analysis (3rd ed.). New York: McGraw-Hill. p. 1. ISBN 978-0-07-054234-1. 
  5. Steiner, J., Clausen, T., Abel, N. H. (1827). “Aufgaben und Lehrsätze, erstere aufzulösen, letztere zu beweisen [Problems and propositions, the former to solve, the later to prove]”. Journal für die reine und angewandte Mathematik 2: 286–287. http://gdz.sub.uni-goettingen.de/no_cache/dms/load/img/?IDDOC=270662. </cite>

関連項目[編集]







「指数関数」関連コンテンツ読み込み中...


コメント

記事「指数関数」に関する感想・その他のコメントはこちらで。
記事の編集に関わる議論・質問は「指数関数」の掲示板でお願いします。
comments powered by Disqus