指数函数 指数函数（）是形式为formula_1的数学函数，其中formula_2是底数（或称基数，-- ），而formula_3是指数（-- 现今指数函数通常特指以formula_4为底数的指数函数（即formula_5），为数学中重要的函数，也可写作formula_6。这里的formula_4是数学常数，也就是自然对数函数的底数，近似值为formula_8，又称为欧拉数。 作为实数变量formula_3的函数，formula_10的图像总是正的（在formula_3轴之上）并递增（从左向右看），它不触及formula_3轴，尽管它可以任意程度的靠近它，即formula_3轴是这个图像的水平渐近线。一般的说，变量formula_3可以是任何实数或复数，甚至是完全不同种类的数学对象。它的反函数是定义在所有正数formula_3上的自然对数formula_16。 本文集中于带有底数为欧拉数formula_4的指数函数。有时，特别是在科学中，术语指数函数更一般性的用于形如formula_18的函数，这里的formula_2称为底数，是不等于formula_20的任何正实数。 概要. 最简单的说，指数函数按恒定速率翻倍。例如细菌培养时细菌总数（近似的）每三个小时翻倍，和汽车的价值每年减少10%都可以被表示为一个指数。特别是复利，事实上就是它导致了雅各布·伯努利在1683年介入了现在叫做formula_21的数： formula_22 后来约翰·伯努利在1697年研究了指数函数的微积分。 设1份借贷有formula_3利率，逐月复利话，则每月增加当前值的formula_24倍，每月总值都要乘以formula_25，一年的总值为formula_26，逐日复利的话，就是formula_27。设年中时段数可为无限，则有如下最初由欧拉提出的指数函数定义： formula_28 指数函数有基本的指数恒等式， formula_29 这是它写为formula_30的原因。 在雅各布·伯努利之前，约翰·纳皮尔在1614年以及约斯特·比尔吉在6年后，分别发表了独立编制的对数表，当时通过对接近1的底数的大量乘幂运算，来找到指定范围和精度的对数和所对应的真数，当时还没出现有理数幂的概念，直到1742年威廉·琼斯才发表了现在的幂指数概念。按后世的观点，约翰·纳皮尔的底数0.999999910000000相当接近formula_31，而约斯特·比尔吉的底数1.000110000相当接近自然对数的底数formula_21。实际上不需要做开高次方这种艰难运算，约翰·纳皮尔用了20年时间进行相当于数百万次乘法的计算，建议纳皮尔改用10为底数未果，他用自己的方法于1624年部份完成了常用对数表的编制。 形式定义. 指数函数formula_30可以用各种等价的方式定义。特别是它可以定义为幂级数： formula_34 或序列的极限： formula_35 在这些定义中，formula_36表示formula_37的阶乘，而formula_3可以是任何实数、复数、和巴拿赫代数的元素。 设formula_39是确定的非负实数。定义 formula_40 据二项式定理， formula_41 （设formula_42得到最终的不等式）故此 formula_43 可证明当formula_37趋于无限大时上述二定义等价。这些定义的进一步解释和它们的等价性的证明，参见文章。 性质. 从指数函数的定义： formula_45 可得出它有幂运算的“指数定律”： formula_46 formula_47 formula_48 formula_49 formula_50 它们对所有实数"formula_3"与formula_52都是有效的。 因为在指数函数的定义中formula_3是实数，可以使用自然对数，把更一般的指数函数，即正实数的实数幂函数定义为 formula_54 定义于所有的formula_55，和所有的实数"formula_3"。它叫做“底数为formula_2的指数函数”。从而拓展了通过乘方和方根运算定义的正实数的有理数幂函数： formula_58 而方根运算可通过自然对数和指数函数来表示（单位根） formula_59 介入数formula_60的根本动机，特别是在微积分中，是通过指数函数和对数来进行导数和积分运算。 一般指数函数formula_61有极限形式的导数: formula_62 最右端的极限无关于变量"formula_3"：它依赖于底数formula_2而是常量。根据求导的链式法则： formula_65 当这个底数是formula_60时，这个常量等于1，因此有: formula_67 导数和微分方程. 指数函数在数学和科学中的重要性主要源于它的导数的性质。特别是 formula_68 就是说，formula_69是它自己的导数。这可以用泰勒级数证明： formula_70 对于常数formula_71的形如formula_72的函数是唯一有这个性质的函数（这得出自皮卡-林德洛夫定理）。其他等价说法有： 事实上，很多不同的方程引发指数函数，包括薛定谔方程和拉普拉斯方程和简单谐波运动的方程。 对于有其他底数的指数函数： formula_76 所以任何指数函数都是它自己导数的常数倍。 如果一个变量的增长或衰减速率是与它的大小成比例的，比如在无限制情况下的人口增长、复利和放射性衰变，则这个变量可以写为常数倍的时间的指数函数。 进一步的，对任何可微函数formula_77，我们可以通过链式法则找到： formula_78. "e""x"的连分数. 通过欧拉连分数公式得到"formula_69"的连分数： formula_80 formula_81的广义连分数收敛更快速: formula_82 或者，替换formula_83: formula_84 有特殊情况formula_85: formula_86 在复平面上. 如同在实数情况下，在复平面的指数函数可以用多种等价方式定义。比如幂级数形式的: formula_87 或者序列的极限： formula_88 它带有虚数周期formula_89，它可以写为 formula_90 这里的formula_91和formula_92是实数值。参见欧拉公式，这个公式把指数函数和三角函数与指数函数联系起来。 在考虑定义在复平面上的函数的时候，指数函数拥有重要的性质 对于所有的formula_98和formula_99。 它是周期的全纯函数。我们看到除了多项式的所有初等函数都以某种方式起源于指数函数。 扩展自然对数到复平面上的多值函数formula_100，我们可以接着定义更一般性的指数函数： formula_101 对于所有复数formula_98和formula_99，这也是多值函数，即使是在formula_98为实数的情况下。前面关于正实数情况下的指数乘积规则在多值函数情况下必须改为: formula_105，而是 formula_106 多值于整数"n" 之上。 指数函数把在复平面上任何直线映射到在复平面中以原点为中心的对数螺线。要注意两个特殊情况：当最初的线平行于实轴的时候，结果的螺线永不遮盖（close in on）自身；当最初的线平行于虚轴的时候，结果的螺线是某个半径的圆。 矩阵和巴拿赫代数. 上面给出的指数函数的定义可以用于所有巴拿赫代数，特别是对于方块矩阵（在这种情况函数叫做矩阵指数）。在这种情况下我们有 formula_107 formula_108 formula_109与formula_110是互倒的 formula_109在点formula_112的导数是从formula_113到formula_114的线性映射。 在非交换巴拿赫代数的上下文中，比如矩阵代数或在巴拿赫空间或希尔伯特空间上的算子，指数函数经常被认做实数参数的函数： formula_115 这里的"A"是这个代数的固定元素而"t"是任何实数。这个函数有重要的性质 formula_116 formula_117 formula_118 在李代数上. 从李代数到李群的“指数映射”有着上述性质。事实上因为R是带有乘法的所有正实数的李群的李代数，实数参数的常规指数函数是李代数下的特殊情况。类似的，因为所有方块实数矩阵的李代数M ("n", R)属于所有正可逆方块矩阵的李群，方块矩阵的指数函数是李代数指数映射的特殊情况。