底に関する指数函数
![](http://upload.wikimedia.org/wikipedia/commons/thumb/0/08/Exponentials%282%29.svg/330px-Exponentials%282%29.svg.png)
実解析における底 a の指数函数(しすうかんすう、英: exponential of base a)expa は、実数 x を実数 ax へ写す函数である。これが実函数として意味を持つのは a が真に正の実数であるときに限る。これは自然数全体で定義された n を an へ写す函数の、実数全体を定義域とする拡張である。したがってこれを、幾何数列の連続版と見ることができる。自然指数函数と自然対数函数を用いれば、 と書くことができる。a を底とする指数函数を、1 において値 a をとり、和を積に変換する、ℝ 上で定義された唯一の連続函数として定義することもできる。a ≠ 1 に対し、底 a の対数函数の逆函数であり、その意味でこれらを逆対数函数(真数函数)と呼ぶこともある。a = e のとき、自然指数・自然対数に対応する。自然指数函数は、自身の導函数に比例し、0 において値 1 をとる唯一の ℝ 上の可微分函数である。
これらは母集団の大きさに比例する増大率を持つ物理的・生物学的現象のモデルとして用いることができる。
より一般に、適当なスカラー倍 N⋅ax も含めた意味で指数函数と呼ぶ場合もあるが、本項ではそのような意味では用いない。
冪乗から指数函数へ
狭義正の実数 a を考える。1 以上の整数 a に対して、an を a をそれ自身 n 個掛けたもの と定義するのは容易い。さらに および と定める。性質 が成り立つことを見るのは容易い。
このような構成は、指数函数的成長または指数函数的減衰と呼ばれる現象に極めて自然に対応する。
- 例 1: 人口が10年ごとに30%増える場面を想像しよう。1900年における人口が N のとき、1910年, 1920年, …… の人口は簡単に N × 1.3, N × 1.32, …… と計算でき、n 10年後には N × 1.3n となる。1890年, 1880年, …… の人口さえも計算できて N × 1.3−1, N × 1.3−2, …… となる。
- 例 2: 炭素14は放射性崩壊の半減期 T = 5 730 年を持つ(つまり、T 年ごとに放射性粒子の数が半分になる)。ある時点で測った放射性粒子の数が N ならば、n 周期後には放射性粒子の数は N × (1/2)n しかない。
考えたい問題は、2つの測定時点 (人口に対する10年期や粒子数に対する半減期) の「間」における人口や放射性粒子の数を決定すること、したがって「整数の間の穴を埋める」方法を知ることである。そのような試みは n-乗根によって成すことができる。つまり、人口が10年で 1.3倍になるとき、1年ごとに何倍になるかを決定しようと思うならば、その倍率は q10 = 1.3 を満たす実数 q, すなわち q = 10√1.3 (これを 1.31/10 とも書く) である。
非整数 (有理数) r の冪乗 (有理数乗冪) ar は、 および という「穴埋め」を行えば任意の有理数に対しては定義できる。
実数 x に対する ax の定義には連続性に関する議論を用いる。すなわち、x に限りなく近い有理数 p/q をとって、ax の値は ap/q の極限と定めるのである。
このような ax が何であるべきかという直観的アイデアの登場は非常に早く、冪記法の登場と同時期の17世紀には知られていた[注釈 1]が、x ↦ ax が
- 函数であること
- 恒等式 ax + y = ax⋅ay が満たされる、すなわち和が積へ写ること
- 連続であること
- 対数函数(これは積を和に写す)の逆函数であること
- 微分可能であり、かつ導函数が原函数に比例すること
などが認識されるには次の18世紀半ばを待たねばならなかった。
定義
指数函数の定義の仕方には複数の観点が考えられ、和を積に写すという代数的性質によるもの、導函数に比例するという微分の性質に基づくもの、指数函数と対数函数の関係に基づくものなどが挙げられる。
代数的性質による
- 定義 1.
- 実指数函数とは R から R への恒等的に零でない函数で、少なくとも一点において連続、かつ和を積に写す: つまり
を満足する任意の函数をいう。そのような函数 f は至る所連続かつ狭義正値であって、任意の実数 a > 0 に対して f(1) = a でただ一つ定まる f は底 a に対する指数函数 expa と呼ぶ。
言い換えれば、これら函数は (R, +) から (R×
+ , ×) への群準同型であり、また指数函数全体の成す集合は R×
+ に f ↦ f(1) を通じて全単射である。関係式 は函数の正値性を保証する。函数方程式から、一点において函数が非零ならば任意の点で非零となることも保証される。
さて、前節で述べたような仕方で、任意の a > 0 に対し、有理数上で定義された函数 f で上記の函数方程式を満足し、1 において値 a をとる函数の存在と一意性が保証される。
連続性の証明 —と、ℚ の ℝ における稠密性により— 上記の函数方程式を満足し、1 において値 a を取り、少なくとも一点で連続な函数の一意性が保証される。その存在性は連続性による延長(フランス語版)から得られる:
有理数の全体で定義された函数 x ↦ ax が単調なること、および数列a1/2n が 1 に収斂することは容易にわかる。したがって上記の函数方程式により、この函数が ℚ 上コーシー連続(フランス語版)となることが示され、連続性により ℝ へ延長する。連続性および稠密性により、この ℝ への延長はもとの函数方程式を満足する。
ここで、定数函数 1(これは a = 1 に対応する)を除いたこれらすべての函数 f : ℝ → ]0, +∞[ が全単射であることに注意を与えることができる。したがってこれらは、(R, +) から (R×
+ , ×) への群同型を与える。
それにより、f が微分可能で微分方程式 を満足することを示せる:
後述のように、函数 gk: x ↦ exp(kx) は g'k = kgk, gk(0) = 1 を満足し、かつ和を積に写す。k = exp−1(a) に対し gk(1) = a だから、一意性により gk = f を得る。
和を積に写す連続函数が微分可能でなければならないことを見るために、連続函数は原始函数を持つという事実を用いる[1]。f の原始函数の一つを F とすれば、 と書けて、これはまた とも書ける。函数 f は真に正値であるから、F は狭義単調増大で、したがって F(1) – F(0) は零でない。この二つの等式を比較して と書くことができ、これは f を可微分函数の線型結合として表すものであるから、f は微分可能である。
函数方程式 の両辺を x で微分すれば となるから、x = 0 として を得る。
自然指数・対数函数による
これら函数は連続で、和を積に写し、1 において値 a をとる。
微分方程式による
- 定義 3.
- 指数函数とは以下の微分方程式および初期条件 を適当な k に対して満足する任意の可微分函数を言う。
このような函数に対して、k はその導函数の 0 における値に等しいことに注意する。
k = 1 に対して解 (函数 exp) が存在することのみ知れていれば、任意の k に対する解は明らかに函数 x ↦ exp(kx) で与えられる。それが唯一の解であることが示せる。さらに言えば、この解が和を積に写すこと、したがってそれが a = exp(k) に対する代数的性質による定義と一致することが確かめられる。
対数函数の逆函数
対数函数は、連続で、積を和に写し、a において値 1 をとるから、その逆函数は、連続で、和を積に写し、1 において値 a をとることが分かる。
性質
代数的性質
- 任意の真に正な実数 a, b と任意の実数 x, y に対し: が成り立つ。
- 写像 expa: x ↦ ax は (R, +) から (R×
+ , ×) へのアーベル群の準同型である: - これら準同型 expa の全体は、a ↦ expa を通じて (R×
+ , ×) に群同型: したがって、(R, +) にも同型である(一径数群(フランス語版))。
函数の挙動
底 a の指数函数は R 上無限回微分可能(フランス語版)であり、導函数は を満たす。
指数函数は常に正値であるから、その導函数の符号は ln(a) の符号のみによって決まる。したがって指数函数は、底 a が 1 より真に大きいとき狭義単調増大で、1 より真に小さいときには狭義単調減少、a = 1 のとき定数函数 1 である。
底 a の指数函数の極限は a と 1 との位置関係で決まる:
- a > 1 ならば ;
- a < 1 ならば
指数函数は冪函数に対して +∞ へ飛ばす極限で指数函数のほうが早く発散するという予測可能な挙動を示す:
- 増大度の比較定理(フランス語版)
- 任意の実数 a > 1 および b に対して が成り立つ。
指数函数は対数凸(フランス語版)(したがって凸)かつ対数凹(英語版)である。
注
注釈
出典
- ^ このやり方は多くの函数方程式に適用できる。 Cf.Dominique Hoareau. "Intégrer pour mieux dériver" (PDF). MégaMaths.
{{cite web}}
: Cite webテンプレートでは|access-date=
引数が必須です。 (説明).
関連項目
![ポータル 数学](http://upload.wikimedia.org/wikipedia/commons/thumb/c/c9/Portal.svg/36px-Portal.svg.png)
外部リンク
- proof of growth of exponential function - PlanetMath.(英語)
- Hazewinkel, Michiel, ed. (2001), “Exponential function, real”, Encyclopedia of Mathematics, Springer, ISBN 978-1-55608-010-4, https://www.encyclopediaofmath.org/index.php?title=Exponential_function,_real
- Definition:Power (Algebra)/Real Number at ProofWiki