茶年 · 中文维基百科

指数函数

Wikipedia · 2026-07-28 维基百科 👁 4 阅读

{{Redirect|Exp|複雜度-{zh-cn:类; zh-tw:類別;}-|EXPTIME|遊戲術語|经验值}}
。]]

指数函数（）是形式為b^x的數學函数，其中b是底數（或稱基數，），而x是指數（）。

現今指數函數通常特指以\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年研究了指數函數的微積分。。設年中時段數可為無限，則有如下最初由歐拉提出的指數函數定義：

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

指數函數有基本的指數恆等式，
:\exp(x + y) = \exp(x) \cdot \exp(y)

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

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

形式定义
指数函数e^x可以用各种等价的方式定义。特别是它可以定义为幂级数：

e^x = \sum_{n = 0}^{\infty}{\frac{x^n}{n!}} = 1 + x + {x^2 \over 2!} + {x^3 \over 3!} + {x^4 \over 4!} + \cdots,

其中n!表示n的阶乘，或序列的极限：

e^x = \lim_{n \to \infty} \left( 1 + {x \over n} \right)^n.
在这些定义中，x可以是任何实数、复数和巴拿赫代数的元素。

給定非負實數x。定義

t_n=\left(1+\frac{x}{n}\right)^n,\ s_n = \sum_{k=0}^n\frac{x^k}{k!}.

根據二項式定理，

\begin{align}
t_n &= \sum_{k = 0}^n \binom{n}{k} \frac{x^k}{n^k} = \sum_{k = 0}^n \frac{n!}{k!(n - k)!} \frac{x^k}{n^k} \\[8pt]
&= 1 + x + \frac{x^2(n - 1)}{2! \cdot n} + \sum_{k = 3}^n \frac{x^k}{k!} \frac{n(n - 1) \cdots [n - (k - 1)]}{n^k} \\[8pt]
&= 1 + x + \frac{x^2}{2!}\left(1 - \frac{1}{n}\right) + \cdots + \frac{x^n}{n!}\left(1 - \frac{1}{n}\right)\left(1 - \frac{2}{n}\right) \cdots \left(1 - \frac{n - 1}{n}\right) \\
&\le s_n.
\end{align}

因此 \limsup_{n\to\infty}t_n \le \limsup_{n\to\infty}s_n。

可證明當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^{x y} = \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時，因此有:

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

导数和微分方程
指数函数在数学和科学中的重要性主要源于它的导函数的性质。特别是
: {d \over dx} e^x = e^x

就是说， e^x是它自己的导函数。这可以用泰勒级数证明：
:
\begin{align}
\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{align}

对于常数 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 = 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\,}}}}

在複平面上
。在本動畫中， z=\frac{i\pi}{3}而 n選取從1增到100的各種值。 (1+\frac{z}{n})^n的計算顯示為在複平面上 n次乘法的組合效果。隨著 n變大，這些點趨近於複平面單位圓，覆及 \frac{\pi}{3}弧度的角度。]]
如同在實數情況下，在複平面的指數函數可以用多種等價方式定義。比如冪級數形式的:
: 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 \ne 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 \ne e^{z w}，而是 (e^z)^w = e^{(z + 2\pi i n) w}\, 多值於整數n 之上。

指数函数把在複平面上任何直线映射到在複平面中以原点为中心的对数螺线。要注意两个特殊情况：当最初的线平行于实轴的时候，结果的螺线永不遮盖（close in on）自身；当最初的线平行于虚轴的时候，结果的螺线是某个半径的圆。

Image:ExponentialAbs_real_SVG.svg| z = Re(ex+iy)
Image:ExponentialAbs_image_SVG.svg| z = Im(ex+iy)
Image:ExponentialAbs_SVG.svg| z = |ex+iy|

矩阵和巴拿赫代数
上面给出的指数函数的定义可以用于所有巴拿赫代数，特别是对于方块矩阵（在这种情况函数叫做矩阵指数）。在这种情况下我们有
: \ 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^{t A}
这里的A是这个代数的固定元素而t是任何实数。这个函数有重要的性质
: \ f(s + t) = f(s) f(t)
: \ f(0) = 1
: \ f'(t) = A f(t)

在李代数上
从李代数到李群的“指数映射”有着上述性质。事实上因为R是带有乘法的所有正实数的李群的李代数，实数参数的常规指数函数是李代数下的特殊情况。类似的，因为所有方块实数矩阵的李代数M (n, R)属于所有正可逆方块矩阵的李群，方块矩阵的指数函数是李代数指数映射的特殊情况。

註釋與引用
证明
外部链接
*
*

参见
*
*指数增长、指數衰減
*自然對數
*幂与幂定律
*迭代冪次
*古德温 - 斯塔顿积分

#E (数学常数) #指数 #基本特殊函数 #解析函数 #特殊超几何函数

评论 (0)

  • 还没有评论，来抢沙发吧。