底に関する指数函数

実解析における底 a}} の指数函数expind は、実数 x}} を実数 aexp へ写す函数である。これが実函数として意味を持つのは a}} が真に正の実数であるときに限る。これは自然数全体で定義された n}} を aexp へ写す函数の、実数全体を定義域とする拡張である。したがってこれを、幾何数列の連続版と見ることができる。自然指数函数と自然対数函数を用いれば、 と書くことができる。a}} を底とする指数函数を、1}} において値 a}} をとり、和を積に変換する、ℝ}} 上で定義された唯一の連続函数として定義することもできる。//a// ≠ 1}} に対し、底 a}} の対数函数の逆函数であり、その意味でこれらを真数と呼ぶこともある。1=//a// = //[[ネイピア数 のとき、自然指数・自然対数に対応する。自然指数函数は、自身の導函数に比例し、0}} において値 1}} をとる唯一の ℝ}} 上の可微分函数である。//これらは母集団の大きさに比例する増大率を持つ物理的・生物学的現象のモデルとして用いることができる。

より一般に、適当なスカラー倍 //N⋅aexp も含めた意味で指数函数と呼ぶ場合もあるが、本項ではそのような意味では用いない。//

1. 冪乗から指数函数へ
------------

狭義正の実数 a}} を考える。1}} 以上の整数 a}} に対して、aexp を a}} をそれ自身 n}} 個掛けたもの と定義するのは容易い。さらに および と定める。性質 が成り立つことを見るのは容易い。 非整数  //r//}} の冪乗  //a//exp は、 および という「穴埋め」を行えば任意の有理数に対しては定義できる。

実数 x}} に対する aexp の定義には連続性に関する議論を用いる。すなわち、x}} に限りなく近い有理数 p/q}} をとって、aexp の値は aexp の極限と定めるのである。

このような aexp が何であるべきかという直観的アイデアの登場は非常に早く、冪記法の登場と同時期の17世紀には知られていた[[ゴットフリート・ライプニッツが、//x// mapsto}} //aexp が//

函数であること
恒等式 1=//a//exp が満たされる、すなわち和が積へ写ること
連続であること
対数函数の逆函数であること
微分可能であり、かつ導函数が原函数に比例することなどが認識されるには次の18世紀半ばを待たねばならなかった。

2. 定義
-----

指数函数の定義の仕方には複数の観点が考えられ、和を積に写すという代数的性質によるもの、導函数に比例するという微分の性質に基づくもの、指数函数と対数函数の関係に基づくものなどが挙げられる。

2.1. 代数的性質による
-------------

定義 1.: 実指数函数とは R}} から R}} への恒等的に零でない函数で、少なくとも一点において連続、かつ和を積に写す: つまりを満足する任意の函数をいう。そのような函数 f}} は至る所連続かつ狭義正値であって、任意の実数 //a// > 0}} に対して 1=//f// = //a//}} でただ一つ定まる f}} は底 a}} に対する指数函数 expind と呼ぶ。

言い換えれば、これら函数は }} から }} を通じて全単射である。関係式 は函数の正値性を保証する。函数方程式から、一点において函数が非零ならば任意の点で非零となることも保証される。

さて、前節で述べたような仕方で、任意の //a// > 0}} に対し、有理数上で定義された函数 f}} で上記の函数方程式を満足し、1}} において値 a}} をとる函数の存在と一意性が保証される。

連続性の証明 —と、ℚ}} の ℝ}} における稠密性により— 上記の函数方程式を満足し、1}} において値 a}} を取り、少なくとも一点で連続な函数の一意性が保証される。その存在性は連続性による延長から得られる:

ここで、定数函数 1}}を除いたこれらすべての函数 //f// : ℝ → ]0, +∞[}} が全単射であることに注意を与えることができる。したがってこれらは、}} から (Rsubsup への群同型を与える。

それにより、f}} が微分可能で微分方程式 を満足することを示せる: title=方法 1.

2.2. 自然指数・対数函数による
-----------------

定義 2.: 真に正の実数 a}} に対し、底 a}} に関する指数函数とは、ℝ}} 上定義された函数 を言う。ここに //x// ↦ //eexp は自然指数で ln}} は自然対数函数である。//これら函数は連続で、和を積に写し、1}} において値 a}} をとる。

2.3. 微分方程式による
-------------

定義 3.: 指数函数とは以下の微分方程式および初期条件 を適当な k}} に対して満足する任意の可微分函数を言う。このような函数に対して、k}} はその導函数の 0}} における値に等しいことに注意する。

1=//k// = 1}} に対して解  が存在することのみ知れていれば、任意の k}} に対する解は明らかに函数 //x// mapsto}} exp}} で与えられる。それが唯一の解であることが示せる。さらに言えば、この解が和を積に写すこと、したがってそれが 1=//a// = exp}} に対する代数的性質による定義と一致することが確かめられる。

2.4. 対数函数の逆函数
-------------

定義 4.: //a// ≠ 1}} は真に正の実数とすると、底 a}} に対する対数函数 logind は全単射である。底 a}} に対する指数函数 expind とは、その逆函数を言う:対数函数は、連続で、積を和に写し、a}} において値 1}} をとるから、その逆函数は、連続で、和を積に写し、1}} において値 a}} をとることが分かる。

3. 性質
-----

3.1. 代数的性質
----------

任意の真に正な実数 a, b}} と任意の実数 x, y}} に対し: が成り立つ。
写像 expind は }} から (Rsubsup へのアーベル群の準同型である:
これら準同型 expind の全体は、//a// ↦ expind を通じて }} にも同型である。

3.2. 函数の挙動
----------

底 a}} の指数函数は R}} 上正則性のクラスであり、導函数は を満たす。

指数函数は常に正値であるから、その導函数の符号は ln}} の符号のみによって決まる。したがって指数函数は、底 a}} が 1}} より真に大きいとき狭義単調増大で、1}} より真に小さいときには狭義単調減少、1=//a// = 1}} のとき定数函数 1}} である。

底 a}} の指数函数の極限は a}} と 1}} との位置関係で決まる:

//a// > 1}} ならば ;
//a// < 1}} ならば 指数函数は冪函数に対して +∞}} へ飛ばす極限で指数函数のほうが早く発散するという予測可能な挙動を示す:

増大度の比較定理: 任意の実数 //a// > 1}} および //b//}} に対して が成り立つ。指数函数は対数凸函数かつ対数凹函数である。

4. 注
----

4.1. 注釈
-------

4.2. 出典
-------

5. 関連項目
-------

6. 外部リンク
--------