自然対数

実解析において実数の自然対数（しぜんたいすう、）は、超越数であるネイピア数を底とする対数を言う。の自然対数をや、より一般にあるいは単に（底を省略して）などと書く—。通常の函数の記法に則って引数を指示する丸括弧を明示的に付けて、やなどのように書いてもよい。

本稿では、特に断りが無い限り、の自然対数をで表すものとする。

定義により、の自然対数とは冪が自身に一致するような冪指数のことに他ならない。例えば、となることは、となることを理由とする。特にの自然対数はであり、の自然対数はである。

自然対数は、任意の正数に対して逆数函数のからまでの間のグラフの下にある面積（のときは面積にマイナス記号をつけた値）として定義することもできる。この定義の単純さは自然対数を含む多くの公式によく馴染むことから、「自然」の語が冠されているのである。自然対数のこの定義は、負数や任意の非零複素数に対しても拡張することができる（ただし、それは多価函数を導く。複素対数函数の項を参照）。

実変数実数値の函数と見た自然対数函数は自然指数函数の逆函数であり、それは二つの恒等式との成立を意味する。

他の任意の対数がそうであるように、自然対数は

なる意味で乗法を加法へ写す。これにより自然対数函数は正の実数の乗法群から実数の加法群への写像として群の準同型になる。

以外にも、任意の正数に対して、それを底とする対数を定義することができるが、そのような対数は自然対数の定数倍として得ることができる（例えば二進対数は自然対数の倍である）し、通常はそうして自然対数から定義される。対数は未知の量がほかの適当な量の冪と見なされる問題を解く際に有用で、例えば指数函数的減衰問題における減衰定数としての半減期を求めるときなどに利用できる。このように対数は、数学や自然科学の多くの分野において重要であり、また金融経済において複利を含む問題にも利用できる。

リンデマン–ヴァイアシュトラスの定理により、でない任意の（正の）代数的数に対してその自然対数は超越数となる。

自然対数表式逆函数導函数原始函数

歴史

自然対数の概念が表立って現れるのは、1649年より以前にとによるの成した業績においてであり、その中にはの面積を決定することによる直交双曲線の求積が含まれている。それら解法は、こんにち自然対数に結び付けられる性質を満足する「双曲対数」函数の必要から生じたものである。

自然対数への初期の言及はニコラス・メルカトルが1668年に著わした自身の著書 Logarithmotechnia（「対数の方法」）にあるが、既に1619年には数学教師のが事実上の自然対数表を編纂している。

記法の慣習記法 "" および "" は何れも紛れなくの自然対数を表しているが、底を明示しない記法 "" もまた自然対数を表すのに用いられることがある。このような記号の使い方は数学では広く用いられ、一部の自然科学の文脈やさまざまなプログラミング言語でも用いられる。ただし、別の文脈では "" が常用対数（底の対数）を表すのに用いられる。

符号位置記号UnicodeJIS X 0213文字参照名称

「自然」の意味

直観的には、常用の記数法が底の位取りであるため、を底とする「常用対数」がよほど「自然」に感じられるかもしれない。だが、数学的に見ればは何ら著しい特徴を持つ数ではなく、を用いるのは文化的な理由（典型的には両手の指の数が10本あること）からだ。文化的な理由ではほかにも 5, 8, 12, 20, 60 などに基づく命数法がしばしば用いられる。

自然対数が「自然」であるというのは、数学において自然に生じ、よく見かけるということを根拠とするものである。例えば対数函数の微分の問題, を考えるとき、底がに等しいならば、この導函数は単にとなり、における微分係数はに等しくなる。

別な意味で底の対数が最も自然と思わせる理由として、単純な積分やテイラー級数でそれが極めて容易に定義できること（それは他の対数ではできない）が挙げられる。この自然さの更なる意味は、微分積分学の中では見えてこないが、例えば自然対数を含む単純な級数が様々存在することによって知ることができる。とニコラス・メルカトルがそれを「自然対数」() と呼んだのは、ニュートンとライプニッツが微分積分学を繰り広げるよりも、何十年か先んじる。

定義

自然対数はの面積として定義される。それは具体的には定積分として

と定めるということである。

この函数は対数の基本性質を満足するという意味において対数である。これは、を定義する積分を2つに分割し、次に変数置換 (つまり ) を行うことによって、

と示すことができる。

定数はを満足する正数として定義される。

自然指数函数が先に（具体的には無限級数として）定義されている場合には、自然対数を自然指数函数の逆函数として定義することもできる。すなわちはを満足する函数である。実数全体で定義された自然指数函数の値域は正数全体の集合に一致し、また自然指数函数は狭義単調増大（ゆえに一対一）であるから、はこの方法で任意の正数に対して矛盾なく定まる。

一般化複素数の対数

複素数の対数においては、下記のようにやが用いられることが多い。この項では、こちらを使用することとする。

でない複素数を極座標表示して

と書けたとする。対数関数は指数関数の逆関数なので

ということになるが、このの選び方は一通りではなく、の整数倍だけ異なる値を選ぶことができる。したがって、複素数の対数関数は多価正則関数である。

定義域を制限することによって、その定義域の上では正則な一価関数となるようにの選び方を定めることができる。定義域はを含まない単連結領域ならどれでもよいが、よく使われるのは複素平面からと負の実数を除いた領域であり、変数の偏角をの範囲にとる。このとき、によって正則な一価関数が得られる。この関数を対数関数の主値と呼び、

と書く。

複素対数関数は、実数での対数関数が満たす恒等式を満たすとは限らないので注意が必要である。例えば、やは一般には成り立たない。

バナッハ環における対数関数

を満たすに対して、テイラー展開

が可能である。この級数展開も、1668年にメルカトルによって見出されたものである。

すべての固有値の絶対値がより小さい正方行列が与えられたとき、このテイラー展開の変数にを代入することにより、行列の対数が定義される。ここで、はと同じサイズの単位行列である。これをさらに一般化して、和や積の構造と両立するノルムを持った完備な空間であるバナッハ環において、ノルムがより小さい元に対し、上の式によっての対数が定義できる。このとき、指数関数によるの像は可逆元になっている。

脚注

注釈

出典

Źródło i licencja