天然對數

天然對數
Graph of part of the natural logarithm function.
自然對數函數的一部分圖。隨著X的增加,該函數慢慢生長至正無窮大,並且隨著X接近0(與X的任何功率定律相比,“慢慢”)慢慢變為負無窮大。
一般信息
一般定義
發明的動機分析證明
應用領域純粹和應用數學
域,代號和圖像
領域
CODOMAIN
圖像
特定值
值在 +∞+∞
e1
特定功能
漸近線
1
衍生物
抗動力

數字的自然對數是其對數學常數e數,這是一個非理性先驗數的對數2.718 281 828 459X的自然對數通常以LN XLog E X的形式寫成,或者有時(如果基本E是隱式),則只需log x即可。有時會添加括號,以清晰,給出LN( xlog Exlog( x 。當與對數的論點不是單個符號以防止歧義時,這是尤其是這樣。

X的自然對數是E必須將E提高到等於X力量。例如, LN 7.52.0149 ... ,因為E 2.0149 ... = 7.5e本身的自然對數1 ,因為e 1 = e ,而自然對數為0 ,因為e 0 = 1

可以為任何正實數A定義自然對數,為曲線y = 1/ x下的面積從1a (當0 < a <1時該區域為負)。該定義的簡單性在許多其他涉及自然對數的公式中匹配,導致“自然”一詞。然後可以擴展自然對數的定義,以給出負數和所有非零複數數字的對數值,儘管這會導致多值函數:有關更多信息,請參見複雜對數

自然對數函數如果被視為正真實變量的實現函數,則是指數函數逆函數,導致身份:

像所有對數一樣,自然對數地圖乘以正數的繁殖加法:

對數可以針對除1以外的任何正鹼基,不僅是e。但是,其他鹼基中的對數僅因自然對數的恆定乘數而有所不同,並且可以用後者定義。

對數可用於求解未知作為其他數量的指數的方程。例如,對數用於解決指數衰減問題中的半衰期,衰減常數或未知時間。它們在數學和科學學科的許多分支中都很重要,並用於解決涉及復雜興趣的問題。

歷史

自然對數的概念是在1649年之前由Gregoire de Saint-VincentAlphonse Antonio de Sarasa制定的。他們的工作涉及雙曲線二次= 1 ,通過確定雙曲線扇區的面積。他們的解決方案生成了必要的“雙曲對數”函數,該功能具有與天然對數相關的屬性。

尼古拉斯·梅卡托(Nicholas Mercator)在他的作品《對數》( Googarithmotechnia)中提到了自然對數,該對數於1668年出版,儘管數學老師約翰·斯佩德爾(John Speidell)已經編制了一張表格,說明了1619年實際上是自然對數的表。對於基礎e ,但這並不完全正確,因為並發症,值以整數表示。

符號慣例

符號ln xlog e x都明確指的是x的自然對數,而沒有顯式底座的log x也可能是指自然對數。這種用法在數學中很常見,以及一些科學環境以及許多編程語言。但是,在其他某些情況下,例如化學log x可以用來表示共同的(基本10)對數。它也可以指計算機科學的背景下的二進制(基本2)對數,尤其是在時間複雜性的背景下。

定義

自然對數可以以幾種等效的方式定義。

指數倒數

最一般的定義是相反的函數,因此。因為對於任何實際輸入是積極的且可逆的,所以對於任何正x,此定義的定義都很好。對於復數,不可逆轉,因此多值函數也是如此。因此,為了做出適當的單輸出功能,我們需要將其限制在通常用的特定主體分支中。作為逆函數,可以通過反轉通常的定義來定義:

這樣做會產生:
因此,該定義從根源的主要分支中得出了自己的主要分支。

積分定義

1a ,曲線fx )= 1/ x下的陰影區域的面積為ln a 。如果A小於1 ,則該面積為負。
雙曲線下的區域滿足對數規則。這裡ast表示ST之間的雙曲線下的區域。

正值A的自然對數可以定義為在x = 1x = a之間方程y = 1/ x雙曲線圖下的區域。這是不可或缺的

如果A進入,則該區域的面積為負,對數為負。

此函數是一個對數,因為它滿足對數的基本乘法屬性:

可以通過將定義LN AB的積分分配為兩個部分,然後在第二部分中將可變替換x = (so so dx = a dt )進行分配,可以證明這一點:

用基本的話來說,這只是在水平方向和垂直方向上縮放1/ a 。在此轉換下,區域不會改變,但是AAB之間的區域被重新配置。由於函數A /( AX等於函數1 / X ,因此所得區域精確地為LN b

然後可以將數字E定義為唯一的實際數字A ,使得ln a = 1

自然對數也具有不可分割的積分錶示,可以通過Fubini定理得出如下:

特性

自然對數具有以下數學屬性:

證明

該聲明是正確的,我們現在向所有人展示,這是通過微積分基本定理完成的證明。因此,我們想證明

(請注意,我們尚未證明此陳述是正確的。)如果這是正確的,那麼通過將中間語句乘以正數和減法,我們將獲得

由於左側為負或零,因此此語句在很大程度上是正確的。因為這仍然是正確的,因為左側的兩個因素都小於1(回想一下)。因此,最後一個陳述是真實的,通過以相反順序重複我們的步驟,我們發現

對全部 。這完成了證明。

另一種證據是在給定條件下觀察到這一點。這可以通過規範不平等來證明,例如。進行對數並使用完成證明。

衍生物

自然對數的衍生物作為正真實的實現函數,由

如何確定自然對數的衍生物取決於它的定義方式。如果自然對數定義為積分

然後,衍生物立即遵循微積分基本定理的第一部分。

另一方面,如果自然對數定義為(自然)指數函數的倒數,則可以使用對數的屬性和指數函數的定義來找到衍生物(對於x > 0 )。

從數字的定義來指數函數可以定義為

在哪裡

然後可以從第一原則中找到衍生物。

另外,我們有:

因此,與其逆函數不同,函數的常數不會改變差異。

系列

LN(1 + X的Taylor多項式僅在-1 < x≤1的範圍內提供準確的近似值。除了一些x > 1之外,較高程度的泰勒多項式近似近似

由於自然對數在0處不確定,因此與許多其他基本功能不同,本身沒有麥克勞蛋白系列。取而代之的是,一個人在其他點上尋找泰勒的擴展。例如,如果那樣

這是泰勒(Taylor)系列的大約1.。變量的變化產生了Mercator系列:

有效和

萊昂哈德·歐拉(Leonhard Euler),忽略了,儘管如此,該系列將諧波系列等於自然對數;也就是說,無窮大的對數。如今,更正式的是,可以證明在n處截斷的諧波序列接近n的對數,當n很大時,差異會融合到Euler -Mascheroni常數。

該圖是LN(1 + X,其某些泰勒多項式左右。這些近似僅在-1 < x≤1區域中收斂到該函數。在該區域之外,較高的泰勒多項式將函數的近似值變為差異

積極整數n的一個有用的特殊情況是:

如果那樣

現在,佔據積極的整數n,我們得到了:

如果那樣

自從
我們到達
再次將替代用於積極整數n,我們得到了:

到目前為止,這是此處描述的系列中最快的融合。

天然對數也可以表示為無限的產品:

可能有兩個例子:

通過這種身份,我們可以輕鬆地得到:

例如:

整合的自然對數

自然對數允許簡單地整合形式的函數:g(x)的抗動力。由於鏈條規則和以下事實,情況就是這樣:

換句話說,當整合不包括的真實行的間隔時,

其中c是一個任意集成常數

同樣,當積分在一個間隔之上時,

例如,考慮不包括無限位置的時間間隔的積分:

可以使用零件的集成來整合自然對數:

讓:

然後:

有效的計算

對於x> 1的其中,x的值越接近1,其泰勒級數的收斂速度越快。以1為中心。可以利用與對數相關的身份來利用這一點:

通過參考數值表並執行上述操作,在計算器之前使用此類技術。

天然對數10

自然對數為10,大約等於2.302 585 09 ,例如在科學符號中表示的自然對數的計算中起作用,因為曼蒂薩(Mantissa)乘以10:10:

這意味著,可以使用相對較小的數組的對數有效地計算出非常大或非常小的數字的對數[1,10)

高精準度

為了用許多精度計算自然對數,泰勒系列方法不有效,因為收斂速度很慢。尤其是如果X接近1,一個很好的選擇是使用Halley的方法或Newton的方法將指數函數倒置,因為指數函數的系列系列更快地收斂。為了找到使用Halley的方法給出Y的價值,或等效地使用Newton的方法給出,迭代簡化為

具有立方收斂到的。

高精度計算的另一個替代方案是公式

其中m表示算術幾何平均值為1和4/ s ,而
使用m選擇,以便獲得精確的精確度。 (出於大多數目的,對於M的8值就足夠了。)實際上,如果使用此方法,則可以使用自然對數的牛頓反轉來有效地計算指數函數。 (常數和π可以使用幾個已知快速融合序列中的任何一個預先計算到所需的精度。)或者,可以使用以下公式:

在哪裡

Jacobi Theta函數

根據威廉·卡漢(William Kahan)的提案,並在1979年首次在休惠特(Hewlett-Packard) HP-41C計算器中實施(僅顯示為“ LN1”下),某些計算器,操作系統(例如Berkeley Unix 4.3BSD ),計算機,計算機代數係統和編程語言(例如, C99 )提供了一個特殊的天然對數加1函數,替代命名為lnp1log1p ,以通過傳遞接近零的參數x的函數log1p( x ,返回值ln(1+ x ,而不是將接近1的值傳遞給返回ln( y的函數。函數log1p避免在浮點算術中,絕對項1的近來取消,第二項從天然對數的泰勒膨脹中獲得。這使參數,結果和中間步驟都保持在接近零的位置,可以將它們最準確地表示為浮點數。

除了基本E外, IEEE 754-2008標準還為二進制十進制對數附近1附近的對數函數定義了相似的對數函數: log 2 (1 + xlog 10 (1 + x

同樣存在類似的逆函數,名為“ ExpM1 ”,“ ExpM”或“ EXP1M”,所有這些都具有ExpM1( X )= Exp( x )-1的含義。

根據反屈曲切線的身份,

在無法實現log1p( x的系統上,給出X的小值的高精度值。

計算複雜性

使用算術幾何平均值(對於上述兩種方法)計算自然對數的計算複雜性是。在這裡,n是要評估自然對數的精度的數字,而m(n)是乘以兩個n位數的計算複雜性。

繼續分數

儘管沒有簡單的持續分數可用,但仍有一些概括的持續分數包括:

這些持續的分數(尤其是最後一小部分)迅速地匯總了接近1的值。但是,可以通過反复添加較小數量的較小數量的自然對數可以輕鬆地計算出較大數字的對數,並且具有類似的快速收斂。

例如,由於2 = 1.25 3 ×1.024,因此2的天然對數可以計算為:

此外,由於10 = 1.25 10 ×1.024 3 ,即使是10的天然對數也可以類似地計算為:

自然對數的倒數也可以通過這種方式寫入:

例如:

複雜的對數

指數函數可以擴展到一個函數,該函數可為任何任意的複數z提供一個複雜的數字作為E Z ;只需將無限序列與x = Z複合體一起使用。可以倒入該指數函數以形成一個複雜的對數,該對數表現出普通對數的大多數屬性。涉及兩個困難:沒有X具有E X = 0 ;事實證明E 2Iπ = 1 = E 0 。由於乘法屬性仍然適用於復雜的指數函數,因此對於所有復雜的Z和整數kE Z = E Z + 2kiπ

因此,對數不能為整個複雜平面定義,即使如此,它也是多價 - 任何復雜的對數都可以通過隨意添加2iπ的任何整數倍數來更改為“等效”對數。複雜的對數只能在切割平面上單一值。例如,ln i = / 25Iπ / 2-3Iπ / 2等;儘管i 4 = 1,4 ln i可以定義為2Iπ ,或10iπ-6iπ ,依此類推。

也可以看看