指數函數

指數函數（英語：exponential function）是形式為${\displaystyle b^{x}}$的數學函數，其中${\displaystyle b}$是底數（或稱基數，base），而${\displaystyle x}$是指數（index / exponent）。

「Exp」重新導向至此。關於複雜度類別，請見「EXPTIME」。關於遊戲術語，請見「經驗值」。

指數函數對於${\displaystyle x}$的負數值非常平坦，對於${\displaystyle x}$的正數值迅速攀升，在${\displaystyle x}$等於${\displaystyle 0}$的時候等於${\displaystyle 1}$。它的${\displaystyle y}$值總是等於在這一點上的斜率。

現今指數函數通常特指以${\displaystyle {\mbox{e}}}$為底數的指數函數（即${\displaystyle {\mbox{e}}^{x}}$），為數學中重要的函數，也可寫作${\displaystyle \exp(x)}$。這裡的${\displaystyle {\mbox{e}}}$是數學常數，也就是自然對數函數的底數，近似值為${\displaystyle 2.718281828}$，又稱為歐拉數。

作為實數變量${\displaystyle x}$的函數，${\displaystyle y={\mbox{e}}^{x}}$的圖像總是正的（在${\displaystyle x}$軸之上）並遞增（從左向右看），它不觸及${\displaystyle x}$軸，儘管它可以任意程度的靠近它，即${\displaystyle x}$軸是這個圖像的水平漸近線。一般的說，變量${\displaystyle x}$可以是任何實數或複數，甚至是完全不同種類的數學物件。它的反函數是定義在所有正數${\displaystyle x}$上的自然對數${\displaystyle \ln {x}}$。

本文集中於帶有底數為歐拉數${\displaystyle {\mbox{e}}}$的指數函數。有時，特別是在科學中，術語指數函數更一般性的用於形如${\displaystyle kb^{x}}$的函數，這裡的${\displaystyle b}$稱為底數，是不等於${\displaystyle 1}$的任何正實數。

概要

最簡單的說，指數函數按恆定速率翻倍。例如細菌培養時細菌總數（近似的）每三個小時翻倍，和汽車的價值每年減少10%都可以被表示為一個指數。特別是複利，事實上就是它導致了雅各布·伯努利在1683年介入了現在叫做${\displaystyle e}$的數^[1]：

${\displaystyle \lim _{n\to \infty }\left(1+{\frac {1}{n}}\right)^{n}}$

後來約翰·伯努利在1697年研究了指數函數的微積分。^[1]

設1份借貸有${\displaystyle x}$利率，逐月複利話，則每月增加當前值的${\textstyle {\frac {x}{12}}}$倍，每月總值都要乘以${\textstyle (1+{\frac {x}{12}})}$，一年的總值為${\textstyle (1+{\frac {x}{12}})^{12}}$，逐日複利的話，就是${\textstyle (1+{\frac {x}{365}})^{365}}$^[2]。設年中時段數可為無限，則有如下最初由歐拉提出^[3]的指數函數定義：

${\displaystyle \exp(x)=\lim _{n\to \infty }\left(1+{\frac {x}{n}}\right)^{n}}$

指數函數有基本的指數恆等式，

${\displaystyle \exp(x+y)=\exp(x)\cdot \exp(y)}$

這是它寫為${\displaystyle e^{x}}$的原因^[4]。

在雅各布·伯努利之前，約翰·納皮爾在1614年^[5]以及約斯特·比爾吉在6年後^[6]，分別發表了獨立編制的對數表，當時通過對接近1的底數的大量乘冪運算，來找到指定範圍和精度的對數和所對應的真數，當時還沒出現有理數冪的概念，直到1742年威廉·瓊斯才發表了現在的冪指數概念^[7]。按後世的觀點，約翰·納皮爾的底數0.9999999^10000000相當接近${\textstyle {\frac {1}{e}}}$^[8]，而約斯特·比爾吉的底數1.0001¹⁰⁰⁰⁰相當接近自然對數的底數${\displaystyle e}$。實際上不需要做開高次方這種艱難運算，約翰·納皮爾用了20年時間進行相當於數百萬次乘法的計算，亨利·布里格斯（英語：Henry Briggs (mathematician)）建議納皮爾改用10為底數未果，他用自己的方法^[9]於1624年部份完成了常用對數表的編制。

形式定義

指數函數（藍色），冪級數的前n+1項的和（紅色）。

指數函數${\displaystyle e^{x}}$可以用各種等價的方式定義。特別是它可以定義為冪級數：

${\displaystyle e^{x}=1+\sum _{n=1}^{\infty }{x^{n} \over n!}=1+x+{x^{2} \over 2!}+{x^{3} \over 3!}+{x^{4} \over 4!}+\cdots }$

或序列的極限：

${\displaystyle e^{x}=\lim _{n\to \infty }\left(1+{x \over n}\right)^{n}.}$

在這些定義中，${\displaystyle n!}$表示${\displaystyle n}$的階乘，而${\displaystyle x}$可以是任何實數、複數、和巴拿赫代數的元素。

設${\displaystyle x\geq 0}$是確定的非負實數。定義

${\displaystyle t_{n}=\left(1+{\frac {x}{n}}\right)^{n},\ s_{n}=\sum _{k=0}^{n}{\frac {x^{k}}{k!}}.}$

據二項式定理，

${\displaystyle {\begin{aligned}t_{n}&=\sum _{k=0}^{n}{n \choose k}{\frac {x^{k}}{n^{k}}}=1+x+\sum _{k=2}^{n}{\frac {n(n-1)(n-2)\cdots [n-(k-1)]x^{k}}{k!\,n^{k}}}\\[8pt]&=1+x+{\frac {x^{2}}{2!}}\left(1-{\frac {1}{n}}\right)+{\frac {x^{3}}{3!}}\left(1-{\frac {1}{n}}\right)\left(1-{\frac {2}{n}}\right)+\cdots \\[8pt]&{}\qquad \cdots +{\frac {x^{n}}{n!}}\left(1-{\frac {1}{n}}\right)\cdots \left(1-{\frac {n-1}{n}}\right)\leq s_{n}\end{aligned}}}$

（設${\displaystyle x\geq 0}$得到最終的不等式）故此

${\displaystyle \limsup _{n\to \infty }t_{n}\leq \limsup _{n\to \infty }s_{n}=e^{x}}$

可證明當${\displaystyle n}$趨於無限大時上述二定義等價。這些定義的進一步解釋和它們的等價性的證明，參見文章指數函數的特徵描述（英語：Characterizations of the exponential function）。

性質

${\displaystyle y=b^{x}}$對各種底數b的圖像，分別為綠色的10、紅色的${\displaystyle e}$、藍色的2和青色的${\displaystyle {\frac {1}{2}}}$。

從指數函數的定義：

${\displaystyle e^{x}=\lim _{n\to \infty }\left(1+{\frac {x}{n}}\right)^{n}}$

可得出它有冪運算的「指數定律」：

${\displaystyle \!\,e^{0}=1}$

${\displaystyle \!\,e^{1}=e}$

${\displaystyle \!\,e^{x+y}=e^{x}e^{y}}$

${\displaystyle \!\,e^{xy}=\left(e^{x}\right)^{y}}$

${\displaystyle \!\,e^{-x}={1 \over e^{x}}}$

它們對所有實數${\displaystyle x}$與${\displaystyle y}$都是有效的。

因為在指數函數的定義中${\displaystyle x}$是實數，可以使用自然對數，把更一般的指數函數，即正實數的實數冪函數定義為

${\displaystyle \!\,b^{x}=(e^{\ln b})^{x}=e^{x\ln b}.}$

定義於所有的${\displaystyle b>0}$，和所有的實數${\displaystyle x}$。它叫做「底數為${\displaystyle b}$的指數函數」。從而拓展了通過乘方和方根運算定義的正實數的有理數冪函數：

${\displaystyle b^{\frac {m}{n}}={\sqrt[{n}]{b^{m}}}.}$

而方根運算可通過自然對數和指數函數來表示（單位根）

${\displaystyle {\sqrt[{n}]{x}}=x^{\frac {1}{n}}=e^{\frac {\ln x}{n}}.}$

介入數${\displaystyle e}$的根本動機，特別是在微積分中，是通過指數函數和對數來進行導數和積分運算。^[10] 一般指數函數${\displaystyle y=b^{x}}$有極限形式的導數:

${\displaystyle {\frac {d}{dx}}b^{x}=\lim _{h\to 0}{\frac {b^{x+h}-b^{x}}{h}}=\lim _{h\to 0}{\frac {b^{x}b^{h}-b^{x}}{h}}=b^{x}\left(\lim _{h\to 0}{\frac {b^{h}-1}{h}}\right).}$

最右端的極限無關於變量${\displaystyle x}$：它依賴於底數${\displaystyle b}$而是常數^[11]。根據求導的連鎖法則：

${\displaystyle {\frac {d}{dx}}\left(1+{\frac {x}{n}}\right)^{n}=\left(1+{\frac {x}{n}}\right)^{n-1}.}$

當這個底數是${\displaystyle e}$時^[4]，這個常數等於1^[12]，因此有:

${\displaystyle {\frac {d}{dx}}e^{x}=e^{x}.}$

導數和微分方程式

指數函數的導數等於這個函數的值。從在藍色曲線上任意一點 ${\displaystyle P}$，繪製紅色切線，和高度為 ${\displaystyle h}$ 的垂直豎線，與在 ${\displaystyle x}$ 軸上的底邊 ${\displaystyle b}$ 形成了一個直角三角形。因為在 ${\displaystyle P}$ 上的紅色切線的斜率（導數）等於這個三角形的高度與底邊長度的比，而導數等於這個函數的值，${\displaystyle h}$ 必須等於 ${\displaystyle h}$ 與 ${\displaystyle b}$ 之比。因此底邊 ${\displaystyle b}$ 必須總是 ${\displaystyle 1}$。

指數函數在數學和科學中的重要性主要源於它的導函數的性質。特別是

${\displaystyle {d \over dx}e^{x}=e^{x}}$

就是說，${\displaystyle e^{x}}$是它自己的導函數。這可以用泰勒級數證明：

${\displaystyle {\begin{aligned}{\frac {d}{dx}}e^{x}&={\frac {d}{dx}}\left(1+\sum _{n=1}^{\infty }{\frac {x^{n}}{n!}}\right)=\sum _{n=1}^{\infty }{\frac {nx^{n-1}}{n!}}=\sum _{n=1}^{\infty }{\frac {x^{n-1}}{(n-1)!}}\\[6pt]&=\sum _{k=0}^{\infty }{\frac {x^{k}}{k!}},{\text{ where }}k=n-1\\[6pt]&=e^{x}\end{aligned}}}$

對於常數${\displaystyle K}$的形如${\displaystyle Ke^{x}}$的函數是唯一有這個性質的函數（這得出自皮卡-林德洛夫定理^[13]）。其他等價說法有：

• 函數的圖像的在任何一點上的斜率是這個函數在這一點上的高度。
• 函數在${\displaystyle x}$的增長速率等於在這個函數在${\displaystyle x}$上的值。
• 這個函數是微分方程式${\displaystyle y'=y}$的解。
• exp是泛函導數的不動點。

事實上，很多不同的方程式引發指數函數，包括薛丁格方程式和拉普拉斯方程式和簡單諧波運動的方程式。

對於有其他底數的指數函數：

${\displaystyle {d \over dx}b^{x}=(\ln b)b^{x}}$

所以任何指數函數都是它自己導數的常數倍。

如果一個變量的增長或衰減速率是與它的大小成比例的，比如在無限制情況下的人口增長、複利和放射性衰變，則這個變量可以寫為常數倍的時間的指數函數。

進一步的，對任何可微函數${\displaystyle f(x)}$，我們可以通過連鎖律找到：

${\displaystyle {d \over dx}e^{f(x)}=f'(x)e^{f(x)}}$.

.mw-parser-output .serif{font-family:Times,serif}ex的連分數

通過歐拉連分數公式得到${\displaystyle e^{x}}$的連分數：

${\displaystyle e^{x}=1+{\cfrac {x}{1-{\cfrac {x}{x+2-{\cfrac {2x}{x+3-{\cfrac {3x}{x+4-\ddots }}}}}}}}}$

${\displaystyle e^{z}}$的廣義連分數收斂更快速:^[14]

${\displaystyle e^{z}=1+{\cfrac {2z}{2-z+{\cfrac {z^{2}}{6+{\cfrac {z^{2}}{10+{\cfrac {z^{2}}{14+\ddots }}}}}}}}}$

或者，替換${\displaystyle z={\frac {x}{y}}}$:

${\displaystyle e^{\frac {x}{y}}=1+{\cfrac {2x}{2y-x+{\cfrac {x^{2}}{6y+{\cfrac {x^{2}}{10y+{\cfrac {x^{2}}{14y+\ddots }}}}}}}}}$

有特殊情況${\displaystyle z=2}$:

${\displaystyle e^{2}=1+{\cfrac {4}{0+{\cfrac {2^{2}}{6+{\cfrac {2^{2}}{10+{\cfrac {2^{2}}{14+\ddots \,}}}}}}}}=7+{\cfrac {2}{5+{\cfrac {1}{7+{\cfrac {1}{9+{\cfrac {1}{11+\ddots \,}}}}}}}}}$

在複平面上

指數函數${\displaystyle e^{z}}$可以定義為${\displaystyle (1+{\frac {z}{n}})^{n}}$在${\displaystyle n}$趨於無窮時的極限。在本動畫中，${\displaystyle z={\frac {i\pi }{3}}}$而${\displaystyle n}$選取從1增到100的各種值。${\displaystyle (1+{\frac {z}{n}})^{n}}$的計算顯示為在複平面上${\displaystyle n}$次乘法的組合效果。隨著${\displaystyle n}$變大，這些點趨近於複平面單位圓，覆及${\displaystyle {\frac {\pi }{3}}}$弧度的角度。

如同在實數情況下，在複平面的指數函數可以用多種等價方式定義。比如冪級數形式的:

${\displaystyle e^{z}=\sum _{n=0}^{\infty }{\frac {z^{n}}{n!}}}$

或者序列的極限：

${\displaystyle e^{z}=\lim _{n\rightarrow \infty }\left(1+{\frac {z}{n}}\right)^{n}}$

它帶有虛數週期${\displaystyle 2\pi i}$^{[prove 1]}，它可以寫為

${\displaystyle \!\,e^{a+bi}=e^{a}(\cos b+i\sin b)}$

這裡的${\displaystyle a}$和${\displaystyle b}$是實數值。參見歐拉公式，這個公式把指數函數和三角函數與指數函數聯繫起來。

在考慮定義在複平面上的函數的時候，指數函數擁有重要的性質

• ${\displaystyle \!\,e^{z+w}=e^{z}e^{w}}$
• ${\displaystyle \!\,e^{0}=1}$
• ${\displaystyle \!\,e^{z}\neq 0}$
• ${\displaystyle \!\,{d \over dz}e^{z}=e^{z}}$
• ${\displaystyle \,(e^{z})^{n}=e^{nz},n\in \mathbb {Z} }$

對於所有的${\displaystyle z}$和${\displaystyle w}$。

它是週期的全純函數。我們看到除了多項式的所有初等函數都以某種方式起源於指數函數。

擴展自然對數到復平面上的多值函數${\displaystyle \ln z}$，我們可以接著定義更一般性的指數函數：

${\displaystyle \!\,z^{w}=e^{w\ln z}}$

對於所有複數${\displaystyle z}$和${\displaystyle w}$，這也是多值函數，即使是在${\displaystyle z}$為實數的情況下。前面關於正實數情況下的指數乘積規則在多值函數情況下必須改為:

${\displaystyle (e^{z})^{w}\neq e^{zw}}$，而是 ${\displaystyle (e^{z})^{w}=e^{(z+2\pi in)w}\,}$ 多值於整數n 之上。

指數函數把在複平面上任何直線映射到在複平面中以原點為中心的對數螺線。要注意兩個特殊情況：當最初的線平行於實數軸的時候，結果的螺線永不遮蓋（close in on）自身；當最初的線平行於虛數軸的時候，結果的螺線是某個半徑的圓。

• 在複平面上指數函數（主支）
• 
  z = Re(e^x+iy)
• 
  z = Im(e^x+iy)
• 

矩陣和巴拿赫代數

上面給出的指數函數的定義可以用於所有巴拿赫代數，特別是對於方塊矩陣（在這種情況函數叫做矩陣指數）。在這種情況下我們有

${\displaystyle \ e^{x+y}=e^{x}e^{y}{\mbox{ if }}xy=yx}$

${\displaystyle \ e^{0}=1}$

${\displaystyle \ e^{x}}$與${\displaystyle \ e^{-x}}$是互倒的

${\displaystyle \ e^{x}}$在點${\displaystyle \ x}$的導數是從${\displaystyle \ u}$到${\displaystyle \ ue^{x}}$的線性映射。

在非交換巴拿赫代數的上下文中，比如矩陣代數或在巴拿赫空間或希爾伯特空間上的算子，指數函數經常被認做實數參數的函數：

${\displaystyle \ f(t)=e^{tA}}$

這裡的A是這個代數的固定元素而t是任何實數。這個函數有重要的性質

${\displaystyle \ f(s+t)=f(s)f(t)}$

${\displaystyle \ f(0)=1}$

${\displaystyle \ f'(t)=Af(t)}$

在李代數上

從李代數到李群的「指數映射」有著上述性質。事實上因為R是帶有乘法的所有正實數的李群的李代數，實數參數的常規指數函數是李代數下的特殊情況。類似的，因為所有方塊實數矩陣的李代數M (n, R)屬於所有正可逆方塊矩陣的李群，方塊矩陣的指數函數是李代數指數映射的特殊情況。

註釋與引用

1. John J O'Connor; Edmund F Robertson. The number e. School of Mathematics and Statistics. University of St Andrews, Scotland. [2011-06-13]. （原始內容存檔於2015-09-08）.
2. 假定利率為100%，借期1年本息合為200%，利息平均每月約8.3%。按複利可以只借1個月，1個月未能還款，本息合計為借款，如此1年下來本息合計約為261.3%。如果借貸者能在1個月內歸還，則不需要付1整年的利息，放貸者快速收回資金可以借給他人；拖到1年歸還，放貸者得到比正常放貸1年要高的利息；1年後按複利計算本息快速增長，借貸者可能就還不起了，而放貸者獲得抵押品。甚至可以逐日借款，這樣1年的收益高於261.3%，但增大不多，而借貸者可以更快還清少付利息，e 就是設立更小還款時限增加獲利，能達到的1年極限收益，即約為 271.8%。應區分抵押貸款和高利貸。
3. Eli Maor, e: the Story of a Number, p.156.
4. ${\displaystyle \lim _{n\to \infty }\left(1+{\frac {x}{n}}\right)^{n}=\lim _{n\to \infty }\left(\left(1+{\frac {1}{n}}\right)^{n}\right)^{x}}$
   前者成為定義因其有導數上的重要性質。
5. Ernest William Hobson, John Napier and the invention of logarithms, 1614, Cambridge: The University Press, 1914
6. Boyer, Carl B., 14, section "Jobst Bürgi", A History of Mathematics, New York: John Wiley & Sons, 1991, ISBN 978-0-471-54397-8
7. ${\displaystyle \left(1+{\frac {1}{n}}\right)^{x}=\left(\left(1+{\frac {1}{n}}\right)^{n}\right)^{\frac {x}{n}}}$
   在最初的概念下，底數是接近1的數，而對數是整數；經過簡單變換後，底數變大了，成為接近數學常數e的數，而對數變小了，成為 x/n。
8. 選取接近e的底數b，對數表涉及的b^x為單調增函數，定義域為0到1而值域為1到b；選取接近1/e的底數b，對數表涉及的b^x為單調減函數，定義域為0到∞而值域為1到0。
9. 以${\displaystyle 10^{\frac {1}{2^{54}}}}$這個接近1的數為基礎。
10. Kline, M. (1998) Calculus: An intuitive and physical approach, section 12.3 "The Derived Functions of Logarithmic Functions." （頁面存檔備份，存於網際網路檔案館）, pp. 337 ff, Courier Dover Publications, 1998, ISBN 0-486-40453-6
11. ${\displaystyle {\begin{aligned}\lim _{h\to 0}\left(b^{h}-1\right){\frac {1}{h}}&=\lim _{{\frac {1}{n}}\to 0}\left(b^{\frac {1}{n}}-1\right)n\\&=\lim _{n\rightarrow \infty }n(b^{1/n}-1)\\&=\ln(b).\\\end{aligned}}}$
    這裡的自然對數定義為歐拉提出，是他定義的指數函數的逆函數。
12. ${\displaystyle {\frac {d}{dx}}\left(1+{\frac {x}{n}}\right)^{n}={\frac {n}{n+x}}\left(1+{\frac {x}{n}}\right)^{n}.}$
    這個函數的導數與函數值的比為 n/(n+x)，當n→∞時， n/(n+x)=1，等式兩端就是指數函數的導數和指數函數。
13. 通過${\displaystyle y(t)=e^{t},y(0)=K}$和${\displaystyle f(t,y(t))=y(t)}$。
14. "A.2.2 The exponential function." L. Lorentzen and H. Waadeland, Continued Fractions, Atlantis Studies in Mathematics, page 268.. [2014-03-11]. （原始內容存檔於2021-03-08）.

證明

1. ${\displaystyle e^{i\pi }=\lim _{n\rightarrow \infty }\left(1+{\frac {\pi }{n}}i\right)^{n}}$為${\displaystyle \left(1+{\frac {\pi }{n}}i\right)^{n}}$的極限形式：

   • 
   • 

   • 
     8個三角形
   • 
     16個三角形
   • 
     e^iπ+1=0

   故有歐拉恆等式：${\displaystyle e^{i\pi }+1=0.\,\!}$

外部連結

• Complex exponential function. PlanetMath.
• 埃里克·韋斯坦因. Exponential Function. MathWorld.
• Complex Exponential Function Module by John H. Mathews
• Taylor Series Expansions of Exponential Functions （頁面存檔備份，存於網際網路檔案館） at efunda.com （頁面存檔備份，存於網際網路檔案館）
• Complex exponential interactive graphic （頁面存檔備份，存於網際網路檔案館）

參見

• 指數函數的特徵描述
• 指數增長、指數衰減
• 對數
• 冪與冪定律
• 迭代冪次
• 古德溫 - 斯塔頓積分