Exp

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

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

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

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

## 概要

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

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

後來約翰・伯努利在 1697 年研究了指數函數的微積分。

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

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

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

　
: $\exp(x+y)=\exp(x)\cdot \exp(y)$

這是它寫為 $e^{x}$ 的原因。

在雅各布・伯努利之前，約翰・納皮爾在 1614 年以及 Jost Bürgi 在 6 年後，分別發表了獨立編制的對數表，當時通過對接近 1 的底數的大量乘冪運算，來找到指定範圍和精度的對數和所對應的真數，當時還沒出現有理數冪的概念，直到 1742 年 William Jones 才發表了現在的冪指數概念。按後世的觀點，Jost Bürgi 的底數 1.000110000 相當接近自然對數的底數 $e$ ，而約翰・納皮爾的底數 0.999999910000000 相當接近 ${\frac {1}{e}}$ 。實際上不需要做開高次方這種艱難運算，約翰・納皮爾用了 20 年時間進行相當於數百萬次乘法的計算，Henry Briggs 建議納皮爾改用 10 為底數未果，他用自己的方法於 1624 年部份完成了常用對數表的編制。

## 形式定義

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

　
: $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 $

或序列的極限：

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

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

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

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

據二項式定理，

　
: ${\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}}$

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

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

可證明當 $n$ 趨於無限大時上述二定義等價。這些定義的進一步解釋和它們的等價性的證明，參見文章指數函數的特徵描述。

## 性質

從指數函數的定義：

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

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

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

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

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

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

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

它們對所有實數 _$x$_ 與 $y$ 都是有效的。

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

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

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

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

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

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

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

　
: ${\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).$

最右端的極限無關於變數 _$x$_ ：它依賴於底數 $b$ 而是常數。根據求導的連鎖法則：

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

當這個底數是 $e$ 時，這個常數等於 1，因此有:

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

## 導數和微分方程式

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

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

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

　
: ${\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}}$

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

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

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

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

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

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

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

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

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

##  _$e^{x}$_ 的連分數

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

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

 $e^{z}$ 的廣義連分數收斂更快速:

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

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

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

有特殊情況 $z=2$ :

　
: $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 \,}}}}}}}}$

## 在複平面上

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

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

或者序列的極限：

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

它帶有虛數週期 $2\pi i$ ，它可以寫為

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

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

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

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

對於所有的 $z$ 和 $w$ 。

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

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

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

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

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

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

* 在複平面上指數函數（主支）
* * *

## 矩陣和巴拿赫代數

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

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

　
: $\ e^{0}=1$

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

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

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

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

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

　
: $\ f(s+t)=f(s)f(t)$

　
: $\ f(0)=1$

　
: $\ f'(t)=Af(t)$

## 在李代數上

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

## 註釋與引用

### 證明

## 外部連結

* 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 （頁面存檔備份，存於網際網路檔案館）

## 參見

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