コンテンツにスキップ

英文维基 | 中文维基 | 日文维基 | 草榴社区

底に関する指数函数

出典: フリー百科事典『ウィキペディア(Wikipedia)』
Représentation graphique de la fonction exponentielle de base e (en noir), de base 10 (en rouge) et de base 1/2 (en bleu).

実解析における底 a指数函数(しすうかんすう、: exponential of base aexpa は、実数 x を実数 ax へ写す函数である。これが実函数として意味を持つのは a が真に正の実数であるときに限る。これは自然数全体で定義された nan へ写す函数の、実数全体を定義域とする拡張である。したがってこれを、幾何数列の連続版と見ることができる。自然指数函数自然対数函数を用いれば、 と書くことができる。a を底とする指数函数を、1 において値 a をとり、和を積に変換する、 上で定義された唯一の連続函数として定義することもできる。a ≠ 1 に対し、底 a対数函数逆函数であり、その意味でこれらを逆対数函数(真数函数)と呼ぶこともある。a = e のとき、自然指数・自然対数に対応する。自然指数函数は、自身の導函数比例し、0 において値 1 をとる唯一の 上の可微分函数である。

これらは母集団の大きさに比例する増大率を持つ物理的・生物学的現象のモデルとして用いることができる。

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

冪乗から指数函数へ

[編集]

狭義正の実数 a を考える。1 以上の整数 a に対して、ana をそれ自身 n 個掛けたもの と定義するのは容易い。さらに および と定める。性質 が成り立つことを見るのは容易い。

非整数 (有理数) r の冪乗 (有理数乗冪) ar は、 および という「穴埋め」を行えば任意の有理数に対しては定義できる。

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

このような ax が何であるべきかという直観的アイデアの登場は非常に早く、冪記法の登場と同時期の17世紀には知られていた[注釈 1]が、xax

  • 函数であること
  • 恒等式 ax + y = ax⋅ay が満たされる、すなわち和が積へ写ること
  • 連続であること
  • 対数函数(これは積を和に写す)の逆函数であること
  • 微分可能であり、かつ導函数が原函数に比例すること

などが認識されるには次の18世紀半ばを待たねばならなかった。

定義

[編集]

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

代数的性質による

[編集]
定義 1.
実指数函数とは R から R への恒等的に零でない函数で、少なくとも一点において連続、かつ和を積に写す: つまり

を満足する任意の函数をいう。そのような函数 f は至る所連続かつ狭義正値であって、任意の実数 a > 0 に対して f(1) = a でただ一つ定まる fa に対する指数函数 expa と呼ぶ。

言い換えれば、これら函数は (R, +) から (R×
+
 
, ×)
への群準同型であり、また指数函数全体の成す集合は R×
+
 
ff(1) を通じて全単射である。関係式 は函数の正値性を保証する。函数方程式から、一点において函数が非零ならば任意の点で非零となることも保証される。

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

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

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

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

自然指数・対数函数による

[編集]
定義 2.
真に正の実数 a に対し、底 a に関する指数函数とは、 上定義された函数 を言う。ここに xex自然指数ln自然対数函数である。

これら函数は連続で、和を積に写し、1 において値 a をとる。

微分方程式による

[編集]
定義 3.
指数函数とは以下の微分方程式および初期条件 を適当な k に対して満足する任意の可微分函数を言う。

このような函数に対して、k はその導函数の 0 における値に等しいことに注意する。

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

対数函数の逆函数

[編集]
定義 4.
a ≠ 1 は真に正の実数とすると、底 a に対する対数函数 loga: R×
+
 
R
全単射である。底 a に対する指数函数 expa とは、その逆函数を言う:

対数函数は、連続で、積を和に写し、a において値 1 をとるから、その逆函数は、連続で、和を積に写し、1 において値 a をとることが分かる。

性質

[編集]

代数的性質

[編集]
  • 任意の真に正な実数 a, b と任意の実数 x, y に対し: が成り立つ。
  • 写像 expa: xax(R, +) から (R×
    +
     
    , ×)
    へのアーベル群準同型である:
  • これら準同型 expa の全体は、a ↦ expa を通じて (R×
    +
     
    , ×)
    に群同型: したがって、(R, +) にも同型である(一径数群フランス語版)。

函数の挙動

[編集]

a の指数函数は R無限回微分可能フランス語版であり、導函数は を満たす。

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

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

  • a > 1 ならば ;
  • a < 1 ならば

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

増大度の比較定理フランス語版
任意の実数 a > 1 および b に対して が成り立つ。

指数函数は対数凸フランス語版(したがって)かつ対数凹英語版である。

[編集]

注釈

[編集]
  1. ^ ライプニッツは例えば a2 とはどのような値かということを明確にできなくとも、記号 ax を躊躇なく用いた。

出典

[編集]
  1. ^ このやり方は多くの函数方程式に適用できる。 Cf.Dominique Hoareau. "Intégrer pour mieux dériver" (PDF). MégaMaths. {{cite web}}: Cite webテンプレートでは|access-date=引数が必須です。 (説明).

関連項目

[編集]

外部リンク

[編集]