《学位论文-—逼近法的相关研究数学.doc》由会员分享,可在线阅读,更多相关《学位论文-—逼近法的相关研究数学.doc(17页珍藏版)》请在taowenge.com淘文阁网|工程机械CAD图纸|机械工程制图|CAD装配图下载|SolidWorks_CaTia_CAD_UG_PROE_设计图分享下载上搜索。
1、 本科毕业论文题目: 逼近法的相关研究 学院: 数学与计算机科学学院 班级: 数学与应用数学2007级5班 姓名: 晁燕萍 指导教师: 许芝卉 职 称: 副教授 完成日期: 2011 年 5 月 20 日逼近法的相关研究摘 要:逼近法是在各个学科中应用极广泛的分析论证方法,本文就逼近法中最重要的几种方法加以论述,即二分逼近法、逐次逼近法和逐步逼近法,主要结合实例,介绍其分析论证的思想与方法.逼近法的应用和用法是非常广泛而多样的,最简明直观的是二分逼近法,它和实数连续性的配合运用,是分析论证微积分学中许多重要定理和基础问题的有力工具. 逐次逼近法在各学科中也有广泛应用,本文就泛函分析中不动点的有
2、关知识加以说明,此外,介绍了逐步逼近法在微分方程及其初等数论中的重要应用.关键词:逼近; 二分逼近; 逐次逼近; 逐步逼近 目 录 引言1 二分逼近法1 二分逼近法的典型证明方式1 二分逼近法在数学分析中的应用2 逐次逼近法以及在泛函分析中的应用3 逐步逼近法4 逐步逼近法在微分方程中的应用5 一次同余式组的逐步逼近解法8 用剩余定理求解的方法9 逐步逼近法10 两种解法计算量的比较12参考文献13 引言 逼近法是数学分析中贯穿全局的基本方法,它遵循着这样一个简朴实用的原则,以简御繁,以“已知”去研讨“未知”.作为一个分析论证方法,它是这个原则的具体化、数量化.譬如,任一个无理数,都可用有理数
3、去无限逼近它,使误差可以到任意小.又如,数列以A为极限,其意即为用去逐步逼近常数A.再如,从几何上看定积分,曲边梯形的面积是通过一系列阶梯形逼近计算而得到的.可见,数学的研讨分析中普遍地渗透着逼近法的思想.不只如此,在泛函分析、微分方程和初等数论中也有非常广泛的应用, .以下主要就二分逼近法、逐次逼近法和逐步逼近法在不同学科中的应用加以论述. 二分逼近法 二分逼近法的典型证明方式 二分逼近法在定理或问题分析论证中的思想是:欲找一个具有某一性质的实数,则可以从一个具有相应性质的闭区间出发,逐次二等分,得到一个始终保持的闭区间列,以这些闭区间的两个端点值分别形成左右两个夹逼数列,将具有性质的实数“
4、夹逼”出来,而实数的连续性则确保了此数的存在,使这种逼近不至于“逼”空.现将二分逼近法典型证明方式说明于下1)确定一个闭区间使其具有某一性质.(由性质决定)2)逐次二等分得到闭区间列,则所有的闭区间都具有性质,且 (亦可写成:)从而得到左右夹逼数列与满足: 3)由实数的连续性得到实数,属于所有的闭区间,使满足:具有性质.这是由于属于所有的闭区间,被与左右夹逼,不妨形 象的表示为: 因而, 的任意小的邻域内都包含(m足够大),于是具有,故具有性质.是唯一的.事实上,若不唯一,设,且满足 ,则对任何m, ,得到,而,故,即唯一. 二分逼近法在数学分析中的应用例1 设在上连续的单调递增函数满足:,则
5、存在,使.证明 令,将二等分,分点为,若,则命题结论成立.若,则取, 若,则取.逐次二等分区间,一般的对于区间,若,则命题结论成立;否则,若,则取,若,则取.从而得到两个夹逼数列与满足: 且 于是可知存在实数,使,由于单增,所以,即: 令上述证明中,所求的数具有的性质:,而构造的闭区间具有性质,则确定为,从而得到夹逼数列将“逼出”.在不同问题的论证中性质与相应的是具体的,在不同的情况下,必须紧扣实际加以明确,这是正确应用二分逼近法成功论证的关键.二分逼近法是微积分学中许多基本定理证明的重要工具,是逼近法的最简明的形式之一,然而,逼近法的应用却更为广泛,在泛函分析,微分方程等数学分支中也都是一种
6、有效的论证方法.下面通过介绍另一种逼近法来进一步体会这种方法的思想. 逐次逼近法以及在泛函分析中的应用逐次逼近法,是从一个粗糙的近似解出发,使用某个固定公式逐次加工,使之逐步精确化以得到满足精度要求的近似解.例2 在完备度量空间中,压缩映射必有唯一不动点.证明 设是完备的度量空间,:XX是压缩映射,即对于任意,不等式 成立,其中是满足不等式的常数.先证映射有不动点.构造X中的序列.任取,并令 ,我们证明是中的基本点列,事实上, 一般地,可以证明 于是,对自然数n与,由广义三角不等式得 对任何给定的,只有n充分大,则因而是柯西序列.又因是完备的,柯西序列是收敛的,即存在,使,再由于是压缩映射,必
7、为连续映射,于是.在中,令,得到即是不动点.再证唯一性.若不唯一,设不动点,则,于是存在使则必有,故,则有唯一的不动点.上述证明中,为找出不动点,我们利用压缩映射在完备空间中构造了一个柯西序列去逼近极限点,并证明极限点即为不动点,从而完成了将不动点“逼出”的过程. 逐步逼近法逐步逼近法也是逼近法中较为重要的一种论证方法,在各学科中都有广泛的应用.诸如在论证常微分方程解的存在唯一性定理、二项分布的一种新的计算方法、以及在初等数论中关于一次同余式组的解法都起到非常重要的作用.此外,逐步逼近法在破解技术难题-袁隆平科技创新方面起到了举足轻重的作用. 逐步逼近法在微分方程中的应用在微分方程研究中,对于
8、一阶或高阶的,显或隐的方程组的等各类方程,能求得精确解得并不多,因而方程的近似解又十分重要的实际意义的,而解的存在和唯一则是求近似解的前提和理论基础,且论证方法还提供了如何求近似解的途径.我们不妨以一阶微分方程解的存在唯一性定理的证明再次体会逼近法的思想.由于定理证明过程较长,我们以突出逼近法思想为重点来简叙其过程.1) 现在先简单叙述一下运用逐步逼近法证明定理的主要思想.首先证明求微分方程的初值问题的解等价于求积分方程的连续解,再证明积分方程的解的存在唯一性. 任取一个连续函数代入上面积分方程右端的,就得到函数显然也是连续函数,如果=,那么就是积分方程的解,否则,我们又把代入积分方程右端的,
9、得到如果=,那么就是积分方程的解,否则,我们继续这个步骤,一般地,作函数 这样就得到连续函数序列如果,那么就是积分方程的解.如果始终不发生这种情况,我们可以证明上面的函数序列有一个极限函数,即存在,因而对式取极限时,就得到 ,即,这就是说,是积分方程的解.这种一步一步地求出方程的解的方法就称为逐步逼近法.2)一阶微分方程解的存在唯一性定理:设在上连续且满足利普希茨条件,则方程 存在唯一解,定义于区间上,连续且满足初始条件 这里证明 在区间上构造一个连续的函数序列以代入方程得 则 是的且满足条件的解再以代入方程得 则 是的且满足条件的解一般地,继续这一步骤得到 是方程 的且满足条件的解,从而得到
10、函数序列,可以证明该序列存在极限函数,从而有: 是的且满足条件的解. 虽然我们对定理证明只给给予一个简单的叙述,但还是可以体会出逼近法思想在证明中所发挥的关键作用,然而逼近法的作用不仅仅是证明,它还提供了求近似解的途径.以下通过几个实例来体会逼近法在近似计算中的应用.例3 用皮卡逼近法求微分方程过点的解.解 这里 代入 可得,把代入可得,故,由逐步逼近法是微分方程,过点的解.例4 用皮卡逼近法求微分方程过点的解解 这里 代入 可得由数学归纳法可得:显然 的n项部分和函数为,可得幂级数的和函数是在上 由逐步逼近法有 是微分方程,过点的解.例5 对于无法用初等积分法求通解的黎卡提方程,我们可用逼近
11、法求出满足初始条件的近似解.解 随着求解次数的增加,近似解与真正解将越来越接近,因此在允许误差范围内可求出令人满意的解. 上面我们结合不同数学分支中的实例,来体会逼近法的思想,尽管构造逼近序列的元素与方法各不相同,但其指导思想却是共同的,那就是用“已知的”、“简”的序列去逼近“未知的”“繁”的,从而达到我们的认识目的.正确领会逼近的思想,提高以逼近思想为指导的分析论证能力,将有助于我们深化对数学知识的认识,也将有助于我们提高数学分析运用能力和解决问题的能力. 一次同余式组的逐步逼近解法用剩余定理求解一次同余式组是一种传统的方法,其缺点是兼容性差,计算量大.笔者将工程实践中的逐步逼近法引入传统的
12、代数理论中,从而使一次同余式组的求解过程的兼容性大大增强,即一次同余式组增加几个条件时只需增加少量计算,而不必像对待一个新问题那样从头算起.设为两两互质的正整数,为整数.即求一次同余式组 的通解.它的最小正整数解,定义为一次同余式组的解. 用剩余定理求解的方法令由于两两互质,故与也互质,故存在2个正整数和,满足 故从而有 于是 对于任意整数l有 此为式的通解.若 为通解中的最小正整数解则为式的解,若同余式组增加了第个式子,则上述计算过程都需要重复计算,计算量较大. 逐步逼近法 逐步逼近解法的构思设想一次同余式组 为k个条件,称 为第个条件.显然,对于任意整数, 满足第1个条件 逐步逼近法的构思
13、是,选择适当的整数,使式在满足第1个条件的同时满足第2个条件.如果存在一个整数使式同时满足第1,第2个条件,则进一步假设 对于任意整数,显然式同时满足第1,第2个条件,只要适当选择整数,使之再满足第3个条件,如此一步一步逼近,直至选择适当,使 满足所有k个条件,则通解为 式中为任意整数.是如果为最小整数解,则为解. 逐步逼近解法的理论证明定理 对于同余式组,一定存在k-1个整数,使 能同时满足k个条件 证 用数学归纳法证明.对于任意整数, 显然能满足第1个条件.现在来证明只要适当选择,式就能满足第个条件.由于互质,则存在2个整数,使,于是 取 (因为 ,所以可以选).显然为整数,则 能同时满足
14、第1,第2个条件.先假设已存在k-2个,使同时满足第1,2,k-1个条件.因为与互质,则存在2个整数和,满足 故 只要选择,显然为整数,则 显然式满足第k个条件,故存在一个整数使式在满足第1,2,k-1,个条件的同时,满足第k个条件,从而定理得证.由上证明,存在着k-1个整数,使,满足同余式组,即是同余式组(1)的通解,式中为任意实数;若 是的最小正整数解,则为解. 两种解法计算量的比较 用剩余定理求解的计算量1) 计算有k次乘法运算,计算又有k次运算;2) 需用辗转相除法确定k个;3) 计算的计算量比较大,然后再求出 方能得到解. 用逐步逼近法求解的计算量1) 计算有k-2次乘法运算;2)
15、需用辗转相除法确定k-1个;3) 的计算量不大,往往此时x即为所求的解. 参考文献:1东北师范大学数学系,常微分方程M.北京:高等教育出版社,1998.2刘玉琏,傅沛仁.数学分析讲义M.北京:高等教育出版社,1996.3孟世才.常微分方程中解的存在唯一性定理教学初探J.重庆教育学院学报,2001,14(3):37-38.4周晓农.逼近法的涵义及应用J.金筑大学学报综合版,2000(2): 116-120.5杨恩浩.关于微分方程解的唯一性的注记J.数学进展,1965, 8(2):184-186.6朱顺荣.完备度量空间与紧度量空间上的不动点定理J.南京理工大学学报,1998, 23(4):366-
16、369.7余宁旺,滕学锋.一次同余式组的逐步逼近解法J.北京农业工程大学学报,1992,4(12):28-32.8王迪吉,张维娟.关于一次同余式的解法J.新疆师范大学学报(自然科学版),2007,26(4):42-45.9刘晓卫,王书琴.剩余定理及一次同余式组J.哈尔滨师范大学自然科学学报,2002,18(2):26-30.10Fisher B.Related fixed points on two metric spaces.Math Sem Notes,Kobe University2002,10:17-26.11Fisher B.A fixed point theorem for con
17、pact meteic spaces.Publ Math Debrecen,1978,25:193-194.12 Kamke E.,Differentialgleichungen reeler Funktionen,Springer-verlag.Leipzig,1930. Approximation method of related researchAbstract: Approximation method is extensively applied in all disciplines. The thesis discusses three most important method
18、s of the approximation methods ,that is, half approximation method、successive approximation and gradual approximation. This paper based on examples, introduces relative methods of analytic demonstration. The application of approximation method is very broad and diverse. The half approximation method
19、 is the most concise and intuitive. Used together with real continuity, half approximation method can become a powerful tool of analyzing many important theorems and basic problems in calculus. This paper describes uniqueness theorems of analytic functions of fixed point in functional analysis, and embodies the thought of gradual application of gradual approximation in differential equation and elementary theory.Keywords: approximation; half approximation; successive approximation; gradual approximation14