指数関数

指数関数とは、累乗の概念を自然数より広い範囲に拡張し、指数を変数にした関数である。

概要

正の数aから始めて、a×a×a×…のように、aを次々にa倍した数を書き並べるとしよう。n個目に書かれているのはaⁿとなるね。それはnが増えるにつれて、a>1ならどんどん大きくなり、a = 1なら1のまま、a<1なら0に向かって小さくなっていく。そこで、掛け算の回数、つまり指数は必ず自然数になるが、指数を自然数に限定しなくてもこの関係が成り立つのでは?と考える。そこから出てくるのが指数関数につながるわけだ。

指数の拡張

一般のxについて、指数法則が成り立ち、かつ概要に書いた大小関係が成り立つようにa^xを定める。

a⁰

指数法則により、a⁰a = a⁰a¹ = a⁰⁺¹ = a¹ = a
a≠0より、両辺をaで割って、a⁰ = 1

ちなみにこれは、大小関係を除けばa<0のときにも成り立つ。0⁰は定義されないが、便宜的に1とすることがある。

a^-n

nを自然数とする。
指数法則により、aⁿa^-n = a^n-n = a⁰ = 1
aⁿ≠0より、両辺をaⁿで割って、a^-n = 1/aⁿ

ちなみにこれは、大小関係を除けばa<0のときにも成り立つ。0^-nは定義されないが、便宜的に∞とすることがある。

a^m/n

m,nを整数とし、n>0とする。
指数法則により、(a^1/n)ⁿ = a^n/n = a¹ = a
よって、a^1/nは、aのn乗根である。その中で正の実数となるものが必ず唯一つ存在する。大小関係を保つのはその正の実数値のみである。
指数法則により、a^m/n = (a ^m)^1/n = ⁿ√a^m

ちなみにこれは、a<0のときは成り立たない。負の数の偶数乗根は実数の範囲に存在しないからである。0のn乗根は0しかないので、0^1/n = 0が成り立ち、m>0のとき、0^m/n = 0である。m≦0のときは0⁰,0^-n同様定義されない。

a^x

以上ではa^xはxが有理数の場合のみ定義されている。有理数で定義された演算が全ての実数で定義され、しかも連続である、という保証は一般にはない。そこで実数の連続性（完備性とも言う）を担保にa^xの連続性を確認する。これは以下の手順にε-δ論法を適用することで示すことができる。

xを一般の実数としたとき、これに限りなく近づく有理数列x(n)を考える。それを指数とする数列a^x(n)を作れば、それはある値Aに限りなく近づく。その極限Aをあらためてa^xとすることで全てのxで定義でき、しかも連続であることが言える。

ちなみに、x>0のとき、0^x = 0である。なぜなら、xに十分近い有理数は正の値をとり、それを指数とするとすべて0になるからである。

指数関数

指数を実数まで拡張できたので、実数を定義域とする関数a^xを定義できる。ここで、aを底という。a = 1のときは定数関数となるため、除外して考えることが多い。グラフは必ず(0,1)を通り、下に凸な曲線となる。a>1なら単調増加、a<1なら単調減少である。xを0から遠ざけると、一方は0に近づき、他方はものすごい勢いで大きくなる。その増え方は、xが0より遠ざかるごとに勢いを増し、いかなる多項式関数をも凌駕する。x軸が漸近線である。

e^x

指数関数の中でも特に重要なのが、ネイピア数を底とするものである。単に「指数関数」といった場合にこれを指すこともある。exp(x)とも書く。この関数は、微分しても変化しない。つまり、(e^x)' = e^xが成り立つ。これは非常に有用性が高く、様々な分野で応用されている。また、この関数は後述するオイラーの公式にも登場する。
exp(x)=e^xはテイラー展開を通す事で、一見するとxに代入することができなさそうな行列や演算子などにも応用することができる。

オイラーの公式

指数関数と三角関数を虚数単位によって結びつけた式。

簡単に確認する方法の例を挙げる。
e^xとcosx、sinxをテイラー展開してみる。

e^x=1+x/1!+x²/2!＋x³/3!＋x⁴/4!＋x⁵/5!＋　…
cosx=1ｰx²/2!＋x⁴/4!-x⁶/6!＋　…
sinx=x/1!-x³/3!＋x⁵/5!-　…

ここで1+x/1+x²/2!＋x³/3!＋x⁴/4!＋x⁵/5!＋　…　のxにixを代入してみると、

e^ix=1+ix/1!-x²/2!-ix³/3!＋x⁴/4!＋ix⁵/5!-x⁶/6!-　…
　=(1ｰx²/2!＋x⁴/4!-x⁶/6!＋　…)+i(x/1!-x³/3!＋x⁵/5!-　…)
　=cosx+isinx

以上から、

e^ix = cosx+isinx

これにより、eの虚数乗を定義することができる。
x=πのときに、かの有名な等式e^iπ+1=0を得る。

複素関数としての指数関数

底がeの場合

底がeのとき、指数を複素数まで拡張することができる。オイラーの公式と指数法則を用いて、

e^x+iy = e^xe^iy = e^x(cosy+isiny)

と表せる。ちなみに、ここでのx,yは実数である必要はない。x,yをu+ivの形に直して再度等式に当てはめればよいからだ。

底がaの場合

※xの自然対数をlogxと表す。

まず、a^xをe^tの形で表す。e^t = a^xとすると、t = log(a^x) = xlog(a)なので、a^x = e^xlog(a)が成り立つ。あとは底がeの場合と同様。ちなみに、ここでのaはa>0に限らず、0でない複素数であればよい。複素数の自然対数の求め方は、対数の項目を参照。複素数の自然対数は複数の値をとるので、a^xもまた然り。

関連項目

• 数学
• 関数
• 三角関数
• 対数関数
• 言ったら加速してしまうシリーズ

関連動画