第三代的微积分张景中

第三代的微积分张景中 第三代的微积分 张景中 1. 何谓第三代的微积分 由牛顿和莱布尼兹创建的微积分，是第一代的微积分。第一代微积分，是说不清楚的微积分。创建者说不清楚，使用微积分解决问 题 快递公司问题件快递公司问题件货款处理关于圆的周长面积重点题型关于解方程组的题及答案关于南海问题 的数学家也说不清楚。微积分的原理虽然说不清楚，其应用仍然在蓬蓬勃勃地发展。微积分就这样在说不清楚的情形下向前发展了130多年。 由柯西和维尔斯特拉斯等，建立了严谨的极限理论，巩固了微积分的基础，这是第二代的微积分。第二代的微积分是说清楚了的，但是由于概念和推理繁琐迂回，对于绝大多数学习高等数学的学生来说，是听不明白的微积分。微积分就这样在多数学习者听不明白的情形下，又发展了170多年，直到今天。 第三代的微积分，是正在创建发展的新一代的微积分。人们希望微积分不但严谨，而且直观易懂，简易明快。让学习者用较少的时和精力就能够明白其原理，不但知其然而且知其所以然。不但数学家说得清楚，而且非数学专业的多数学子也能听得明白。 第一代微积分和第二代微积分，在具体计算方法上基本相同。不同的是对原理的说明，前者说不清楚，后者说清楚了。 第三代微积分和前两代微积分，在具体计算方法上也没有不同。不同的仍是对原理的说明。 几十年来，国内外都有人从事第三代微积分的研究以至教学实践。这方面的努力，已经有了显著的成效。在我国，林群院士是这个 方向的倡导者，他在近十年间在此方向做了大量的工作[1][2][3]。 2. 导数定义的改革 微积分最基本最重要的概念是导数。第一代微积分说不清楚，主要就是导数的概念说不清楚。第二代微积分听不明白，主要是从导数的概念推导函数的性质听不明白。学过高等数学的同学都会用“导数正则函数增”的定理解题，但很少有人知道其中的道理。还有泰勒公式，微积分基本定理，多数人知其然不知其所以然。 所以，人们改革微积分，首先从导数概念入手。 在上世纪40年代，有人提出了区间上一致可导的概念[6]: Fx()fx()[,]ab 定义1(一致可导的定义) 设函数和都在区间上有 [,]ab定义，如果对于上任意的和，一致地有 xh，x FxhFx()()，, (1) lim(),fxh,0h Fx()[,]abfx()Fx()则称在区间上一致可导，并称是的导函数, 简称为 dy,,Fx()Fxfx()(),yfx,()的导数，记作 或 ,或 . ,fx()dx Fx() 可以证明，一致可导等价于连续可导，即的导数存在并且在[,]ab上连续。但直接采用定义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 ,有下列不等式: |(||)(()()())|||DhFxhFxfxhMh，,,? (2) 则称F在[a,b]上一致可导，并且称f(x)是F(x)的导数, 记作F’(x)= f(x). 将(2)用传统的记号 表 关于同志近三年现实表现材料材料类招标技术评分表图表与交易pdf视力表打印pdf用图表说话 pdf 示，无非就是 |()()()||()|FxhFxfxhMhh，,,,?, (2*) ,()h此处是时的无穷小。而用不等式(2)可以避免无穷小。 h,0 可以证明，定义2和定义1是等价的。但是采用定义2就避免了极限概念，可以显著地简化推理，提前让学生掌握微积分的核心知识。 在定义2中取D(x)=1/x，得到所谓强可导或李普西兹可导的定义。 yFx,() 定义3 (强可导的定义) [3][4][5]设函数在I上有定义.如果 fx()MII存在一个定义在上的函数和正数,使得对上的任意点和xxh，,(这里h可正可负) 成立不等式 2|()()()|FxhFxfxhMh，,,, (3) yFx,()fx()Fx()I则称函数在上强可导(或李普西兹可导),并称是的导 dy,,Fxfx()(),yfx,()数，记做 或 ,或 . ,fx()dx 容易证明，强可导函数的导数差商有界，即满足李普西兹条件。这是国外有人把它叫做李普西兹可导的由来。 Fx() 命题1 (强可导函数的导函数差商有界)设在上强可导, I,Fxfx()(),M,0, ()，则存在使得对任意uvI,,,有 xI, |()()|||fufvMuv,,, . M,0,uvI,,证明 记，由强可导定义可知有使对任意,有 huv,, 2,|()()()|FuFvfvhMh,,,,,2 |()()()()|FvFufuhMh,,,,,, 于是有 |(()())||(()()())(()()()())|fufvhFuFvfvhFvFufvh,,,,，,,, 2,,,，,,,,|(()()())||(()()()())|2FuFvfvhFvFufvhMh ||h 两端约去，即得所要的结论。 对于非数学专业多数学生，考虑强可导函数类已经够用。有关强可导的推理要简单得多，并且从本质上已经包含了微积分的要义，有必要时容易推广到更一般的可导函数类。基于定义2和定义3，容易建立不依赖于极限的微积分学[4][5]。 3.甲函数与乙函数 容易看出来，定义2和定义3虽然不提极限或无穷小，但本质上的思想源于极限或无穷小。最近发现，有一条本质上不同于极限或无穷小的道路通向微积分[7]。 为了说明这种新的思想方法，我们考虑一个经典 案例 全员育人导师制案例信息技术应用案例心得信息技术教学案例综合实践活动案例我余额宝案例 。 SSt,() 例1 用表示直线上运动物体在时刻所走过的路程，t VVt,()[,]uv表示它在时刻的瞬时速度，则它在时间区间上的平均速度t [,]uv的大小，应当在上的某两个时刻的瞬时速度之间. [,]uvp也就是说，有上的和q，使得下面的不等式成立: SuSv()(), (4) VpVq()()??uv, St()Vt()上式可用语言表达为“函数的差商是的中间值”。 考虑平均速度和瞬时速度的关系，有两种思路。经典的牛顿-莱布尼兹思路，是让平均速度取极限获得瞬时速度，同时就产生一些难以理解的概念。我们的思路却来自平凡得多的道理:若非匀速运动，则瞬时速度有时候大于平均速度，有时候小于平均速度。 从这个例子，抽象出下面的定义。 Fx()fx() 定义4 设函数和都在区间上有定义，若对的任意子II [,]uv[,]uv区间，总有上的和，使有不等式 pq FuFv()(), (5) fpfq()()??uv, Fx()fx()fx()Fx()成立，则称是在区间I上的甲函数，是在区间I上的乙函数。 从乙函数定义立刻推出 gx()0,fxC(),命题2 (i)函数是常数函数的乙函数. gxk(),fxkxb(),，(ii)函数是一次函数的乙函数. gx()fx()II 命题3 设在区间上函数是的乙函数。在的任意子区 [,]uvgx()fx()gx()fx()gx()间上，若为正则递增;若为负则递减;若为 fx()gx()fxkxc(),，0则为常数;若为非零常数则，其中是一个常kc数。 可见乙函数可以用来研究函数的增减性，这比现在用导数的道理要浅显明白得多。 下面先对几个简单的函数尝试推出其乙函数。 2gxx()2, 例2 函数是在上的乙函数. (,),,，,fxx(), 2证明 对任意，的差商为 fxx(),uv, 22fvfuvu()(),, (6) ,,，uvvuvu,, 2guuuvvgv()22(),,，,,gxx()2,不等式表明，是的乙函fxx(), 数。 23函数是在上的乙函数. 例3 (,),,，,gxx()3,fxx(), 证明 对任意， uv, 33fvfuvu()(),,22 ,,，，uuvv (7) vuvu,, 2222uuvv，，当时，显然在和之间;当uv,0uv,0gvv()3,guu()3, 222g(0)0,max{(),()}gvguuuvv，，时，显然在和之间。这表明，gxx()3, 3是的乙函数。 fxx(), 1gx(), 例4 在上，函数是的乙函数. fxx(),(0,)，, 2x 证明 对0,,uv有 fvfuvu()()1,, (8) ,,vuvu,,vu， 1111gx(),gvgu()(),,,,不等式表明，是fxx(), 2x22vuvu， 的乙函数。 ,11 例5 在上，函数是的乙函数. (0,)，,gx(),fx(),2xx 证明 由于 11,fvfu()()1,,vu (9) ,,vuvuuv,, ,,,111gx()fx()不等式表明，是的乙函数。略加gugv()(),,,,22uuvv 讨论就知道此结论在上也成立。 (,0),, 通过上面估计差商获取乙函数的几个例子，我们发现，所获得的乙函数竟然就是微积分中的导数，而这里没有使用任何涉及极限或无穷小的运算～这个发现是不平凡的。包括牛顿在内的一些卓越的数学家，曾经致力于试图不用无穷小或极限来建立微积分，都没有成功。而这里用平凡简单的想法求出了函数的导数，实现了微积分中最重要的一个基本运算～这鼓励我们沿着“乙函数”的线索更深地挖掘。 4.乙函数和导数的关系 对乙函数加上一些条件，容易证明它就是导数。 fx()Fx()fx() 命题4若在I上是的乙函数，且在I上满足李普西 MI兹条件即差商有界，则有正数使对上的任意两点和uh，，和任u suuh,，[,]suhu,，[,]意的(或)有 2 (10) |()()()|FuhFufshMh，,,, Fx()fx()Fx()也就是说，若有一个满足李普西兹条件的乙函数，则必 fx()是强可导的，且其导数为。 [,]uuh，I证明 由乙函数的意义，对上的任意两点和uh，，有(或u [,]uhu，)上的两点p和，使得 q FuhFu()()，, (i) fpfq()(),,h fs()将(i)的各项同减得 FuhFu()()，, (ii) fpfsfsfqfs()()()()(),,,,,h fx()Ipuh，注意到、q和都在和之间，又因为在上差商有界，故su 有正数M使得 |()()|||||fqfsMqsMh,,,,, , (iii) |()()|||||fpfsMpsMh,,,,, 结合(ii)和(iii)得到所要的结论。证毕。 上述证明的思路是直观而简单的:由于乙函数满足李普西兹条 [,]uvMuv||,件，它在上的任意两值之差的绝对值都不超过;而甲函 [,]uv数的差商被乙函数在上的两个值夹在中间，所以这差商和乙函数 [,]uvMuv||,在上的任一值的差的绝对值也不超过，这实际上就是要证明的结论。 [,]uv当乙函数差商有界时，只要足够小，甲函数在上的差hvu,, [,]uv商和乙函数在上的函数值就能非常接近，要多么接近就可以多么接近。也就是说，当时间段足够小的时候，平均速度和瞬时速度的差可以要多么小就多么小。这样，从乙函数概念出发也就可以导出极限的思想了。 下面的命题，完成了“乙函数差商有界”和“强可导”的等价性的论证。 ,Fx()Fxfx()(),I 命题5 (估值定理)设在上强可导, (xI,)，则 [,]uv[,]uvI对的任意子区间，有中的点p和，使得 q FvFu()(), (11) fpfq()()??vu, fx()Fx()I成立。也就是说，是在上的乙函数。 xuv,[,]Fx()，的差商 证明 若对于所有 FxFu()(), xu, [,][,]rsuv,为常数，则结论显然。如不然，必有使得 FvFuFsFr()()()(),, . (i) ,,,d0vusr,, xuv,[,]xhuv，,[,]由强可导定义可知有正数M使对一切和有 FxhFx()()，, (ii) |()|||,fxMh?h Msr(),sr,[,]rs取正整数，将等分为段，记，则段中必有h,n,nnnd [,]pph，一段使得不等式 FphFpFsFr()()()()，,, (iii) ?hsr, Msr(),成立。由(ii)、(i)和(iii),以及即得到 Mhd,n,d FphFpFsFrFvFu()()()()()()，,,, (iv) fpMhd()?，,，,hsrvu,, GxFx()(),,Gxfx'()(),,Gx()为了证明结论的另一半，可设,则.对应用 quv,[,]上面得到的结论，可知有满足 GvGuFvFu()()(()()),,, , ,,fq()?vuvu,, FvFu()(),即满足.命题证毕. ?fq()vu, 上面这个命题的作用相当于传统微积分的拉格朗日中值定理。是微积分的一个基本工具。上述证明直接从定义推出结论，比[4][5][7][8]中更直接更简明，系在本文中首次发表。直观上看其思 [,]uv路是清楚地:先取的子区间把要估计的界降低一些，再把这子区间加细用导数值逼近小区间差商以达到目的。证明中强可导的条件容易减弱为一致可导。 有了估值定理，微分学的一系列命题不难推出。 5.不用极限建立微积分基本定理 牛顿和拉格朗日曾经试图不用极限也不用无穷小来建立微积分， 结果没有成功。近些年来国外有人重提这个问题[9]，但没有严谨的论证。林群在[3]中，基于定义2和定义3，实现了不用极限或无穷小建立微分学的任务。笔者在[10]中提出了不用极限或无穷小建立积分概念并推出微积分基本定理的方法。在[5][7][8]中，大同小异地采用了[10]中的策略。 fx()fx() 给了区间上的函数，对应于中任意两点， 在IIuv,[,]uvSuv(,)Suv(,)上的曲边梯形的代数面积，可以看成二元函数的值。 [,]uv应当满足两个条件。一个条件是面积的可加性:上的面积加上[,]vw[,]uw[,]uv上的面积，等于上的面积;第2个条件是，上的面积和 [,]uvfx()[,]uv区间的长度之比，应当是在上的平均值。根据面积的这些直观的性质，抽象出下面的定义。 fx()定义5 (积分系统和定积分) 设在区间I上有定义;如果有 Suv(,)(,)uIvI,,一个二元函数 ，满足 SuvSvwSuw(,)(,)(,)，,I (i)可加性:对上任意的uvw,,有 ; [,]uv (ii)中值性:对I上任意的，在上必有两点和使pquv, fpvuSuvfqvu()()(,)()(),,,,得 ; Suv(,)fx()I则称是在上的一个积分系统。 fx()Suv(,)fx()II如果在上有唯一的积分系统，则称在(的子区 [,]uvSuv(,)fx()[,]uv间)上可积，并称数值是在上的定积分，记作 vfx()Suvfxdx(,)(),。表达式中的叫做被积函数，叫做积分变量，x,u uv,和分别叫做积分的下限和上限。用不同于的其他字母(如)来tuv Suv(,)代替时，数值不变。 x 根据定义直接验证，可得下面的定理。 Suv(,)fx()命题6 设是在上的一个积分系统，是上的一个IIc FxScx()(,),fx()Fx()点，令，则在上是的乙函数;反过来，若在上IIfx()Fx()SuvFvFu(,)()(),,Suv(,)fx()是的乙函数，令，则是在上的I一个积分系统。 现在可以轻松地得到一个重要的结论了。 Fx()Fxfx'()(),命题7 (微积分基本定理)设在上强可导，。令I SuvFvFu(,)()(),,Suv(,)fx()，则是在上的唯一积分系统，从而有 I v (12) fxdxFvFu()()(),,,u 这个等式就是著名的牛顿,莱布尼兹公式。 Fxfx'()(),Fx()证明 由命题5,是的乙函数。由命题6推出SuvFvFu(,)()(),,fx()是在I上的积分系统。 Suv(,)fx()下面证明是在I上的唯一积分系统。 Ruv(,)fx()II设也是在上的积分系统。取上任一定点，令cGxRcx()(,),fx()Gx()，则由命题6，在I上是的乙函数;又由命题1 fx()Gx()II可知在上差商有界，于是由命题4推出在上强可导，且Gxfx'()(),. (()())GxFx,FuGuFvGv()()()(),,,I由导数为0，在上为常数，故有 RuvGvGuFvFuSuv(,)()()()()(,),,,,, Suv(,)fx()I这证明了是在上的唯一积分系统，由定义知道定积分记 SuvFvFu(,)()(),,号合理，从而由得等式(12)，证毕。 Fx()fx()实际上，微积分基本定理从一开始就蕴含在“的差商是的中值”这个基本思路之中。也就是说，甲函数和乙函数的概念，实质上就已经给出了牛顿,莱布尼兹公式公式。本节的定义和推导，不过是数学形式的严谨化而已。 这样，我们既没有用黎曼和的概念，也不借助于实数理论、极限理论或无穷小的定义和性质，就推出了微积分的基本定理。 关于求导法则，三角函数、指数函数和对数函数的求导，泰勒公式的证明等细节，可参看[3][4][5][7]. 6 结语 综上，微积分的理论可以大大简化。 使用甲函数和乙函数的策略，做到了“微分不微，积分不积，推理简化，模型统一”。 最后一句指，原来微分学和积分学分别是两个数学模型:微分的牛顿模型和积分的黎曼模型，现在成为一个模型了。 研究表明，在引进实数理论和极限理论之前，就能够严谨地推出一系列微积分的基本定理和计算公式。第3代的微积分理论框架，已经基本形成。 在中高等数学课程中，要求学生会用微积分方法解决一些实际问题。这些应用的理论依据主要是两条，一条是导数正则函数增，一条是微积分基本定理。这两条在现在的高中教材中都是不能证明的，甚至在大学里非数学专业的高等数学教材中也是不要求完整证明的。对如此重要的定理学生只能知其然而不知其所以然，这是高等数学教学 中长期未能解决的难题。 但愿本文的方法能够化解这个难题。这不仅是数学问题，更是教学实践才能作出最终回答的问题。 当然,极限毕竟是要学的.学了些微积分的基础知识再学极限,也许更容易理解.因为例子更丰富,更现成了. 微积分入门教学难是被广泛关注的问题.愿第三代微积分的出现有助于解决这个难题。 参考文献 [1]林 群，《画中漫游微积分》[M]，南宁:广西师范大学出版社，1999. [2]林 群，《微分方程与三角测量》[M]，北京:清华大学出版社，2005年4月. [3] 林 群， 《A Rigorous Calculus to Avoid Notions and Proofs》[M]，Singapore,World Scientific Press,2006. [4] 张景中，微积分学的初等化，《华中师范大学学报(自然科学版)》,2006年12月，475,484. [5] 鲁东大学函数论研究室，高等数学新讲， 上册 三年级上册必备古诗语文八年级上册教案下载人教社三年级上册数学 pdf四年级上册口算下载三年级数学教材上册pdf ，北京，科学出版社，2008. [6] Ljusternik L, Sobolev., Elements of Functional Analysis,Moscow,1965. [7] 张景中，不用极限怎样讲微积分，《数学通报》，2008.8月 [8]张景中、冯勇，微积分基础的新视角, 中国科学A辑:数学 2009, 39(2) 247-256. [9] J.C.Sparks, 《Calculus Without Limit》, Author House, 2005. [10] 张景中，定积分的公理化定义方法, 《广州大学学报》，2007(第6期)-12月，1-5. 小学常用歇后语 1.八仙过海--------各显神通 2.不入虎穴--------焉得虎子 3.蚕豆开花--------黑心 4.车到山前--------必有路 5.打破砂锅--------问到底 6.和尚打伞--------无法无天 7.虎落平阳--------被犬欺 8.画蛇添足--------多此一举 9.箭在弦上--------不得不发 10.井底青蛙--------目光短浅 11.大海捞针--------没处寻 12.竹篮打水--------一场空 13.打开天窗--------说亮话 14.船到桥头--------自会直 15.飞蛾扑火-----自取灭亡 16.百米赛跑--------分秒必争 17.拔苗助长-----急于求成 18.仇人相见--------分外眼红 19.芝麻开花----节节高 20.新官上任--------三把火 21.瞎子点灯--------白费蜡 22.兔子尾巴--------长不了 23.偷鸡不成----蚀把米 24.王婆卖瓜--------自卖自夸 25.老虎屁股---- 摸不得 26.老虎拉车--------谁敢 27.老鼠过街-----人人喊打 28.麻雀虽小--------五脏俱全 29.墙上茅草----随风两边倒 30.三十六计--------走为上计 31.塞翁失马----焉知祸福 32.壶中无酒--------难留客 33.丈二和尚----摸不着头脑 34.有借有还--------再借不难 35.猫哭耗子---假慈悲 36.铰子破皮--------露了馅 37.扁担挑水---一心挂了两头 38.对牛弹琴--------白费劲 39.八仙聚会--------神聊 40.霸王敬酒--------不干也得干 41.板上订钉--------跑不了 42.背鼓上门--------讨打 43.草把做灯-----粗心(芯) 44.竹笋出土--------节节高 45.菜刀切豆腐----两面光 46.钉头碰钉子--------硬碰硬 47.高山上敲鼓--四面闻名(鸣) 48.铁打的公鸡-----一毛不拔 49.关公走麦城----骄必败 50.狗咬吕洞宾--------不识好人心 51.鸡蛋碰石头----不自量力 52.姜太公钓鱼--------愿者上钩 53.脚踏西瓜皮--滑到哪里是哪里 54.孔夫子搬家--------净是书 55.老鼠钻风箱-----两头受气 56.留得青山在--------不怕没柴烧 57.门缝里看人---把人看扁了 58.泥菩萨过河--------自身难保 59.泼出去的水----收不回 60.骑驴看唱本--------走着瞧 61.千里送鹅毛--礼轻情意重 62.肉包子打狗--------有去无回 63.山中无老虎---猴子称大王 64.司马昭之心--------路人皆知 65.外甥打灯笼---照旧(舅) 66.王八吃年糕--------铁了心 67.王小二过年---一年不如一年 68.小葱拌豆腐-----一清二白 69.小和尚念经----有口无心 70.周瑜打黄盖--------两厢情愿 71.赶鸭子上架----吃力不讨好 72.擀面杖吹火----- -一窍不通 73.瞎子戴眼镜----装饰 74.猴子捞月亮--------空忙一场 75.秀才遇到兵----有理讲不清 76.三个臭皮匠--------顶个诸葛亮 77.黄牛追兔子---有劲使不上 78.和尚训道士--------管得宽 79.过年娶媳妇----双喜临门 80.聋子见哑巴--------不闻不问 六字短语 81.铜钣上钉铆钉---一是一，二是二 82.里弄里扛竹竿---直来直去 83.苦水里泡黄连----苦上加苦 84.驴唇不对马嘴----答非所问 85.猪鼻子里插葱-----装象 86.只许州官放火---不许百姓点灯 87.猪八戒照镜子--里外不是人 88.放风筝断了线-----没指望了 89.池塘里的风波-----大不了 90.关门掩着耗子-----急(挤)死 91.顶风顶水划船----硬撑 92.东北的二人转--------一唱一和 93.东洋人戴高帽----假充大个 94.到火神庙求雨--------找错了门 95.鲁班门前耍斧----有眼无珠 96.老太太吃汤圆--------囫囵 吞 97.出太阳下暴雨---假情(晴) 98.挂羊头卖狗肉--------虚情假意 99.担着胡子过河----谦虚过度 100.唱歌不看曲本--------离谱