第三代及微积分张景中.docVIP

第三代的微积分 张景中 1. 何谓第三代的微积分 由牛顿和莱布尼兹创建的微积分，是第一代的微积分。第一代微积分，是说不清楚的微积分。创建者说不清楚，使用微积分解决问题的数学家也说不清楚。微积分的原理虽然说不清楚，其应用仍然在蓬蓬勃勃地发展。微积分就这样在说不清楚的情形下向前发展了130多年。 由柯西和维尔斯特拉斯等，建立了严谨的极限理论，巩固了微积分的基础，这是第二代的微积分。第二代的微积分是说清楚了的，但是由于概念和推理繁琐迂回，对于绝大多数学习高等数学的学生来说，是听不明白的微积分。微积分就这样在多数学习者听不明白的情形下，又发展了170多年，直到今天。 第三代的微积分，是正在创建发展的新一代的微积分。人们希望微积分不但严谨，而且直观易懂，简易明快。让学习者用较少的时和精力就能够明白其原理，不但知其然而且知其所以然。不但数学家说得清楚，而且非数学专业的多数学子也能听得明白。 第一代微积分和第二代微积分，在具体计算方法上基本相同。不同的是对原理的说明，前者说不清楚，后者说清楚了。 第三代微积分和前两代微积分，在具体计算方法上也没有不同。不同的仍是对原理的说明。 几十年来，国内外都有人从事第三代微积分的研究以至教学实践。这方面的努力，已经有了显著的成效。在我国，林群院士是这个方向的倡导者，他在近十年间在此方向做了大量的工作[1][2][3]。 2. 导数定义的改革 微积分最基本最重要的概念是导数。第一代微积分说不清楚，主要就是导数的概念说不清楚。第二代微积分听不明白，主要是从导数的概念推导函数的性质听不明白。学过高等数学的同学都会用“导数正则函数增”的定理解题，但很少有人知道其中的道理。还有泰勒公式，微积分基本定理，多数人知其然不知其所以然。 所以，人们改革微积分，首先从导数概念入手。 在上世纪40年代，有人提出了区间上一致可导的概念[6]： 定义1(一致可导的定义) 设函数和都在区间上有定义，如果对于上任意的和，一致地有 (1) 则称在区间上一致可导，并称是的导函数, 简称为的导数，记作 或 ,或 . 可以证明，一致可导等价于连续可导，即的导数存在并且在上连续。但直接采用定义1，给推理带来了方便。 一致可导的定义，仍然依赖于极限概念。能不能不用极限来定义导数呢？林群指出[2]，采用“一致微商”的定义可以大大简化微积分基本定理的论证。在2005年11月在上海的一次全国性教学研讨会上，他进一步阐述了微积分改革的思想；在2006年5月12-14日在西安举行的“中国高等教育学会教育数学专业委员会学术研讨会”上，他又作了题为“新版微积分”的大会报告，在报告中明确提出了作为函数导数初等定义的“一致性不等式”，为微积分的初等化指出了一条新路，其详细的推导论证见[3]。 林群用一致不等式定义导数的方法，畧加形式化后就是 定义2 (用一致不等式定义导数)设函数F在[a,b]上有定义。如果有一个在[a,b]上有定义的函数f和正数M, 和一个在（0,b-a]上正值递减无界的函数D(x)，使得对[a,b]上任意的 x 和 x+h ,有下列不等式： （2） 则称F在[a,b]上一致可导，并且称f(x)是F(x)的导数, 记作F’(x)= f(x). 将(2)用传统的记号表示，无非就是 （2*） 此处是时的无穷小。而用不等式(2)可以避免无穷小。 可以证明，定义2和定义1是等价的。但是采用定义2就避免了极限概念，可以显著地简化推理，提前让学生掌握微积分的核心知识。 在定义2中取D(x)=1/x，得到所谓强可导或李普西兹可导的定义。 定义3 (强可导的定义) [3][4][5]设函数在上有定义.如果存在一个定义在上的函数和正数,使得对上的任意点和,(这里可正可负) 成立不等式 (3) 则称函数在上强可导(或李普西兹可导),并称是的导数，记做 或 ,或 . 容易证明，强可导函数的导数差商有界，即满足李普西兹条件。这是国外有人把它叫做李普西兹可导的由来。 命题1 (强可导函数的导函数差商有界)设在上强可导, ()，则存在使得对任意,有 . 证明 记，由强可导定义可知有使对任意,有 于是有 两端约去，即得所要的结论。 对于非数学专业多数学生，考虑强可导函数类已经够用。有关