丁玖《重访指数函数》.doc

重访指数函数 丁玖 数学中最有名、最重要的函数莫过于指数函数了，物理、化学、生物等自然科学领域无处不见指数函数的踪影。从中学起我们就开始学习指数函数，并了解了它们的种种初等性质，如定义域、值域及单调性。到了大学我们又回到指数函数，知道了怎样求它们的导数和积分，也会运用它们来求解有关生物种群指数增长或放射物质指数衰减的问题。既然指数函数及其反函数——对数函数的应用如此之广，在高中的代数课上，我们不知学了多少与它们有关的知识，也不知做了多少道习题，对求解各种各样的指数函数题我们似乎都能得心应手。 但是，我们对指数函数真的已了解得十分透切吗？请不要忘记，在我们读书或应用时碰到指数函数的场所，面临的几乎都是所谓的“静态问题”，即某个指数函数一旦给出，它就动也不想动了，导致函数或其导数的赋值仅仅一次性完成或寥寥几次运算就可大功告成。 然而我们却是生活在动态的大千世界之中，数学也不例外。“动力系统”这门学科研究的就是任何随时间变当时间向无穷时终态如果只取整数时间……，涉及之量的“随时而变”就是其子学科“离散动力系统”所要探讨的，它通常等价于逐次迭代将定义域映射到自身之内的一个函数。 现在，我们可以带着动态的心理，重访一回多年的老朋友指数函数。比如说，我们问一问下面这个问题：给定一个底为正数a的指数函数y = f(x) = ax，从任一初始点x0 出发，逐次迭代这个函数，得到一个由所有迭代点组成的无穷数列 x0, x1, x2, ……，这些数最终会趋向于一个称之为“极限”的固定数吗？作为一个特例，我们就把底a取为迭代的初始点，那么这个称为“由a产生的迭代指数”数列是： a的a次方，a的a的a次方，a的a的a的a次方，……。(IE) 伟大的瑞士数学家欧拉1778年第一次研究了该数列的收敛性问题，而与此密切相关的方程xy = yx求解问题则早其50年前，由比他大7岁的亲密战友、传奇式瑞士数学家家族中的第二代杰出数学家丹尼尔 ? 伯努利提出。后者于1728年6月29日写信给以“哥德巴赫猜想”为世人所知的德国数学家哥德巴赫，信的结尾是： “我解决了一个有趣的问题：找到不相等的数x和y使得xy = yx。该方程仅有一组整数解x = 2 及y = 4，但却有无穷多个有理数解。” 如果你猜想上述迭代指数的数列 (IE) 会收敛到一个极限数，就请你想一想它为什么收敛？如果你借助于计算器对不同的底a做一些实验，或许能帮助你猜测。基于试验的合理猜测往往是发现真理的第一步。但是严格无误的证明才是最终成功的必备程序。我们这一科普短篇的目的在于帮你思考求解这一“指数函数动力学”的问题。 在开始我们的探索之旅前，我们首先记起关于指数函数的一个基本事实：它是一个处处连续（甚至无穷次处处可微）、其值处处为正的好函数。其次，学过初等微积分中的函数值数列简单极限理论的人都会明白下面这个命题： 如果定义在实数轴上的一个连续函数f的迭代点数列{xn}收敛到一个极限值x*，则x*一定是f的一个不动点，即f(x*) = x*。 只要在关于自然数n的恒等式xn+1 = f(xn) 的两边求n趋向于无穷大时的极限，并运用连续函数的极限性质，就证明了上述命题。不动点在几何上有个显然的意义：它是函数f的图像和笛卡儿xy-直角坐标系的对角线y = x之交点的坐标。因而求出函数的所有不动点在几何上就等价于找到它的图像和对角线的所有交点。 我们知道，当初始点取为函数的一个不动点x* 时，则所有跟随的迭代点都是同一个点x*。但是当初始点x0选为在x*的近旁但却不等于x*时，情形又是如何呢？即，起始于x0的迭代点数列最终是否趋向于x*，还是远离它，或是其最终的性态无法知晓？如果我们所关心的迭代函数是像指数函数这样的可微函数，微分学中最重要的“拉格朗日中值定理”就有了大有用武之地。其结论是：如果函数f在不动点x*的导数值之绝对值小于1，则对于x*近旁的所有初始点x0，迭代点数列{xn}收敛到x*；如果函数f在不动点x*的导数值之绝对值大于1，则对于x*近旁与它相异的所有初始点x0，迭代点数列{xn}不收敛到x*；如果函数f在不动点x*的导数值之绝对值等于1，则我们无计可施，没有一般性的结论，只能是“具体问题具体分析”，就像微积分中级数收敛判别定理中那些无法判别结果的例外情况一样。 如果我们计数时间条x-轴x*邻近的初始点x0起步，沿着线数图点处对角线这个点个点x1x*的导数值之绝对值小于1，则上述的几何画图显示x1比x0更靠近x*，若这个绝对值大于1，则x1比x0更远离x*。这个事实的严格证明就是拉格朗日中值定理的直接应用