指数函数

定义

指数函数是形式为 $y=a^x$ 的函数，其中 $a$ 是大于 0 且不等于 1 的常数，称为底数，$x$ 为自变量^[1]。它的定义域是全体实数集，值域是大于 0 的实数集，即 $(0,+\infty)$^[2][4]。

这一形式有几点结构限制：$a^x$ 前面的系数必须为 1，自变量只能单独处在指数的位置上，而不能是指数的其他表达式^[1][5]。对底数的限制来自定义域的完整性：若 $a$ 不大于 0，取值区间会出现不连续或函数无意义的情况；若 $a=1$，函数退化为恒等于 1 的常数函数，失去研究价值^[6][5]。

底数为自然常数 $e$（约等于 2.718281828）时，该函数也记作 $\exp(x)$ 或 $e^x$，$e$ 又称欧拉数^[1]。以 $e$ 为底的指数函数与自然对数互为反函数，是微积分中处理指数关系时最常用的形式^[7]。

指数函数是基本初等函数之一，与幂函数、对数函数、三角函数等并列，也是初等函数分类中的基本类型^[8][9]。

原理

指数函数的性质主要由底数决定。当 $a>1$ 时，函数在全体实数上单调递增；当 $0<a<1$ 时则单调递减^[3][1]。无论底数取何值，图像都经过点 $(0,1)$，都在 $x$ 轴上方，且不与 $x$ 轴相交，$x$ 轴是它的水平渐近线^[1][10]。

底数为 $a$ 的指数函数，其导数是 $a^x\ln a$，不定积分为 $a^x/\ln a + C$。当底数取 $e$ 时，导数为 $e^x$，即变化率与被函数值本身相等，这一性质使其成为求解形如 $\frac{dy}{dt}=ky$ 的微分方程的核心工具^[11][12]。

该函数可以通过无穷级数表达。$e^x$ 可展开为 $1+x+\frac{x^2}{2!}+\frac{x^3}{3!}+\cdots$，这也是泰勒级数的一个例子^[13]。对复指数而言，指数函数在复平面上是处处解析的单值周期函数^[3]。

graph TD

A["底数 a"] --> B["a > 1：单调递增"]

A --> C["0 < a < 1：单调递减"]

B --> D["过定点 (0,1)"]

C --> D

D --> E["值域 (0, +∞)"]

发展历程

指数概念早期源于幂运算。17 世纪，笛卡尔在著作中系统引入了形如 $a^n$ 的现代指数记号，为后续发展奠定符号基础；牛顿则在二项式定理研究中把指数从正整数推广到有理数，提出分数指数与负指数^[14]。

牛顿还通过对数级数的反演得到了指数级数，并据此得出自然对数的底 $e$^[15]。泰勒以一般级数展开法给出了求指数函数级数的更便捷方法，并导出 $e^y$ 的导数仍为 $e^y$ 的关系^[15]。

18 世纪，欧拉对指数函数作了系统处理。他在《无穷小分析引论》（1748 年出版）第 7 章中把 $e$ 定义为级数 $1+1/1!+1/2!+1/3!+\cdots$ 的和，得出其值为 2.718281828459...，并用字母 $e$ 表示这一自然对数的底^[13][16]。他随后把指数运算推广到无理数和复数领域，并得到 $e^{ix}=\cos x+i\sin x$，建立了三角函数与指数函数之间的联系^[14]。

欧拉还把对数解释为幂的指数，这在历史上首次以指数形式说明对数^[17]。19 世纪，随着柯西、魏尔斯特拉斯等对实数理论与极限理论的严格化，无理指数幂获得了严格的分析定义，指数函数得以在整个实数轴上严格建立^[14]。

应用

指数函数用于描述变化率与当前数量成正比的过程，即满足 $\frac{dy}{dt}=ky$ 的模型^[18]。当常数 $k>0$ 时称为自然生长律，对应种群增长、细菌繁殖等情形；当 $k<0$ 时称为自然衰变律，对应放射性物质耗散等情形^[12][19]。这一方程的唯一解为 $y(t)=y(0)e^{kt}$，其中 $y(0)$ 为初始值^[20]。

在金融领域，连续复利下账户余额可写成 $A(t)=A_0e^{rt}$，其中 $A_0$ 为本金、$r$ 为利率、$t$ 为年数；该式由复利公式在计息次数趋于无穷时取极限得到^[21][22]。指数增长过程具有恒定的倍增时间，指数衰减过程具有恒定的半衰期，后者可用于碳十四测年等年代测定^[20]。

在计算与信息领域，指数函数可用于刻画算法的计算复杂度，也用于描述复制增殖的生物过程^[23]。物理学中，牛顿冷却定律、电容放电等过程也借助指数模型表达^[18]。

局限

指数函数的定义对底数有严格约束，仅当 $a>0$ 且 $a\neq1$ 时才在实数范围内构成有意义的指数函数^[6]。若底数为负数，在实数范围内许多指数没有定义，例如 $y=(-2)^x$ 在 $x=1/2$ 或 $x=1/4$ 时函数值不存在^[5]。

指数增长模型在现实中通常只适用于特定阶段与条件。以细菌种群为例，模型给出的是连续取值，而实际种群数量只能是整数，解读函数值时必须结合所描述的现象^[24]。环境中资源受限时，种群无法按恒定相对增长率无限扩张，单纯指数模型会偏离实际^[12]。

在理论层面，中学教材通常未给出无理指数幂的严格定义，因而也未能据此给出指数函数单调性的严格证明，这一缺口要由分析学中对实数与极限的严格化来填补。

参见

• 对数函数 —— 指数函数的反函数，定义域与值域恰好互换。

• 幂函数 —— 底数为自变量、指数为常数，与指数函数的变量位置相反。

• 自然常数 e —— 以它为底的指数函数是微积分中最常用的指数函数形式。

• 欧拉公式 —— 把复指数与三角函数联系起来的重要恒等式。

• 微分方程 —— 指数函数是求解变化率正比于自身这类方程的基本解。