自然常数,符号
e,为数学中一个
常数,是一个
无限不循环小数,且为
超越数,其值约为2.718281828459045。它是
自然对数函数的
底数。有时称它为
欧拉数(Euler number),以
瑞士数学家
欧拉命名;也有个较鲜见的名字——纳皮尔常数,以纪念
苏格兰数学家
约翰·纳皮尔(John Napier)引进
对数。它就像
圆周率π和
虚数单位i,是
数学中最重要的常数之一。
起源
e,作为数学
常数,它的其中一个定义是,其数值约为(小数点后100位):e = 2.71828 18284 59045 23536 02874 71352 66249 77572 47093 69995 95749 66967 62772 40766 30353 54759 45713 82178 52516 64274 ……。
在1690年,莱布尼茨在信中第一次提到常数e。在论文中第一次提到常数e,是
约翰·纳皮尔(John Napier)于1618年出版的
对数著作附录中的一张表。但他没有记录这常数,只有由它为底计算出的一张
自然对数列表,通常认为是由
威廉·奥特雷德(William Oughtred )制作。第一次把e看为常数的是雅各布·伯努利(Jacob Bernoulli)。欧拉也听说了这一常数,所以在27岁时,用发表论文的方式将e“保送”到
微积分。
已知的第一次用到常数e,是莱布尼茨于1690年和1691年给惠更斯的通信,以b表示。1727年
欧拉开始用e来表示这常数;而e第一次在出版物用到,是1736年
欧拉的《力学》(Mechanica)。虽然以后也有研究者用字母c表示,但e较常用,终于成为标准。
用e表示的原因不明,但可能因为e是“指数”(
exponential)一词的首字母。另一看法则称a,b,c和d有其他经常用途,e则是第一个可用字母。还有一种可能是,字母“e”是指欧拉的名字“Euler”的首字母。
以e为底的
指数函数的重要方面在于它的函数与其导数相等。e是无理数和
超越数(见
林德曼-魏尔斯特拉斯定理,Lindemann-Weierstrass)。这是第一个获证的超越数,而非故意构造的(比较
刘维尔数);由
夏尔·埃尔米特(Charles Hermite)于1873年证明。
其实,超越数主要只有自然常数(e)和圆周率(π)。自然常数的知名度比圆周率低很多,原因是圆周率更容易在实际生活中遇到,而自然常数在日常生活中不常用。
融合e,π的
欧拉恒等式,也是超越数e的数学价值的最高体现。
自然常数一般为公式中
乘方的
底数和
对数的底。为什么会这样,主要取决于它的来历。
法语中的
序数词,数字与“E”组成,例如:Première,21e为Vingt-première。
自然常数的来法比圆周率简单多了。它就是当时函数值的极限。
即:。
同时,它也等于。注意,,也。
自然常数经常在公式中作为
对数的底。比如,对
指数函数和对数函数求导时,就要使用自然常数。函数的导数为。函数的导数为。
因为e=2.7182818284...,极为接近
循环小数2.71828(1828循环),那就把循环小数化为分数,所以可以用表示为e最接近的
有理数约率,
精确度高达99.9999999%(小数点后7个9) 。
收敛性证明
即序列单调上升;一方面,尝试证明。即要证,由均值不等式得
又明显有,
另一方面,尝试证明
由于
所以
两边分别取倒数得
另外形式
证法1
令,已知
则已知收敛于,即
即
所以,,不妨设,则有
即,有
又易知对固定的和 ,有
所以,对此给定,当 时,有
即,当 时,有,即
即
证毕.
注:由该证法可以看出,对任意
正数序列,若存在一个
收敛数列,使得
则收敛,且极限为
证法2
欲证,即要证
另一方面,又有
则有
故有
证毕。
计算方法
已知函数f(x)=x存在任意阶的导数。将其在点0处进行
泰勒展开,有
取Peano形式的余项
令上式,有
故有
即得
限制精度
但是在应用中需要的是的具有某位精度的数值,比如说要求的
小数点前2000位的准确数值。此时Peano余项不够用了。换一个余项,例如——Lagrange余项:
其中。将与代入,得
所以
故只要令,求解出满足这个不等式的任意一个n,然后按照这个n计算
便得的小数点后t位的准确数值。
应用
自然常数e在科学上有广泛应用。以下举几例:
e对于自然数的特殊意义
所有大于2的2n形式的偶数存在以e为中心的共轭奇数组,每一组的和均为2n,而且至少存在一组是共轭
素数。
素数定理
自然常数也和
质数分布有关。有某个
自然数a,则比它小的质数就大约有个。在a较小时,结果不太正确。但是随着a的增大,这个定理会越来越精确。这个定理叫
素数定理,由高斯发现。
完全率
设
完全图内的路径总数为W,
哈密顿路总数为h,则,此规律更证明了e并非故意构造的,e甚至也可以称呼为是一个完全率。与圆周率有一定的类似性,好像极限完全图就是图论中的圆形,哈密顿路就是直径似的,自然常数的含义是极限完全图里的路径总数和哈密顿路总数之比。
双曲函数
双曲函数是自然常数价值的重要体现。它可以解决很多问题。如:
1、阻力落体
在空气中由静止开始下落的小石块既受重力的作用又受到阻力的作用。设小石块的质量为,速度为,
重力加速度为,所受
空气阻力假定与成
正比,
阻尼系数为。设初始时刻小石块静止。求其小石块
运动速度与时间的关系。
解:
依标准变换方式,设
代入(1)式,再作化简,有
(3)式的通解是
其中,和是任意常数。
这等价于
因此,容易定出
将(7)式代入(4)式,再将(4)式代入(2)式,就可得
可以作一下定性的分析。小石块初始时刻静止。因此,随着时间增加,开始时小石块速度较小,小石块所受的阻力影响较小,此时,小石块与不受阻力的
自由落体运动情况相类似,小石块
加速度几乎是常数。反映在图1中,起始段和的关系是直线。当小石块速度很大时,重力相对于阻力来说可以忽略,阻力快速增加到很大的数值,导致小石块的速度几乎不再增加。此时,小石块加速度接近零,几乎不随时间而变化。一段时间后,相不多是一平行于轴的直线。
2、粒子运动
一
电荷量为、
静质量为的粒子从原点出发,在一
均匀电场中运动,沿
轴方向,粒子的
初速度沿轴方向,试证明此粒子的轨迹为
式中是粒子出发时动量的值,是它出发时的能量。
解:
带有
电荷量的粒子在
电磁场E和B中的
相对论性的运动方程为
式中v是粒子的速度,p是粒子的动量
本题运动方程的分量表示式为
解之,有
粒子的能量为
因
积分得
又由(7)式得
积分得
或
在(10)式和(13)式中消去,有
(14)式可以写成
讨论:
当时,保留前 2 项,得
(18)式是
抛物线轨迹。《普通物理学》教材用经典
牛顿力学求解,普遍会给有这个结果。这表示,非
相对论确是相对论在时的极限。或者说,(18)式成立的条件是,这也是牛顿力学的适用范围。