数值导论2外文翻译要点.docx

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
毕业设计(论文)外文资料翻译题目:牛顿法一些变量的收敛性院系名称:理学院专业班级:学生姓名:学号:指导教师:教师职称:起止日期: 2016年03月14日~2016年03月27日地点: 莲花街校区6号楼附 件: 1.外文资料翻译译文;2.外文原文。 指导教师评语: 签名: 2016年3月日5.3牛顿法一些变量的收敛性考虑到系统给定的函数.这样一个函数是可微的如果存在一个n*n的矩阵在这种情况下一个满足雅可比矩阵(见5.1.5))。我们首先注意以下(5.3.1)定理如果存在对于所有,并且存在一个常数γ 所有的.然后对所有的估计成立(回想一下,一组M?是凸如果x,y∈M意味着这条线段段包含在M。)证明。这个函数给出是可微的0≤t≤1,是任意的。在此之前从链式法则:因此当0≤t≤1那么另一方面,因此上述不等式收益率这就完成了证明。我们现在可以表明,牛顿法收敛平方:(5.3.2)定理。 令是一个给定的开集,此外,让是一个凸集,并且令是一个函数,所有的和连续可微的并令的属性存在并满足然后从开始,每个点是定义良好并满足存在并满足,对于所有的从0 h 1,牛顿法至少是成平方收敛。证明(1)因为存在,明确的定义。假设k=和k=1是有效的(c).现在 j=0,1,....k,然后从假设(b)从的定义表明但是,根据定理(5.3.1),(5.3.3) 因此(5.3.4) 从(c)可知最后一个k = 0的不平等是正确的。如果是k≥0正确的,那么这对k + 1是正确的,因为(5.3.3)表明因此。 (2):从(5.3.4)很容易确定,{}是一个柯西序列,因为m≥n(5.3.5) 又因为0<h<1,所有充分大。因此有一个限制包含在关闭之前的这一事实。通过极限(5.3.5)我们获得(3)结果:我们还必须证明的在是零。因为(a)并且因此不等式遵循方程因此由于在是连续的,即,在上是零。 下面有所增强的假设可以表明的在只有一个零:(5.3.6)定理(Newton-Kantorovich)。 考虑到函数和凸集。让在上是连续可微的并且满足条件对于一些。考虑到数量如果且。然后定义序列{}仍在和收敛于独特的零。证明见奥尔特加和Rheinboldt(1970)或Collatz(1968)。5.4修正牛顿法定理(5.3.2)保证牛顿法的收敛性的只有起点迭代选择“足够接近”理想的解决方案下面的例子表明,牛顿法可能会发散例:令是由。然后ξ= 0是一个解。牛顿迭代定义为如果我们这样决定然后序列发散:我们把可以证明修正的牛顿法的全局收敛性的一大类函数称为。修改一个涉及的额外引入的参数和搜索方向的定义序列(5.4.0.1) 通常情况下,并且满足这样的序列,,严格单调递减及收敛到最小值点的。(比较这个和非线性最小二乘数据拟合4.8.4节中提到的问题。) 因为对于所有的x,每一个h中满足的局部最小值点也是全球性的最小值点以及的一个零点。 下一节我们将先考虑几个一般的任意函数极小化方法的收敛性结果。这些结果将被用于5.4.2节研究修正后的牛顿方法的收敛性。 5.4.1最小化方法的收敛性让是欧几里得向量范数及。我们考虑一组各个方向的形成又不能过大锐角的梯度下面的引理显示,x在哪些条件下,一个标量和存在这样的关系。5.4.1.2定理。令是一个有连续导数的函数,所有的在一个领域。假设进一步的,且。还有一个领域及使得所有的,以及。证明。一组一个非空的的一个领域。因为且在上连续。同样一个非空的的一个领域。选择,因此并且如果,,存在,使得由于意味着,由此可见我们考虑以下可微函数的最小化方法。(5.4.1.3)选择数字,,, ,,选择一个起点。(b) 对于所有的选择且在以下给出这种方法的收敛性质:(5.4.1.4)定理是一个函数且满足 紧凑(b)在开集是连续可微的,然后对任意序列定义的方法类型(5.4.1.3):在至少有一个聚点每一个在上的聚点都是的一个驻点证明 (1)序列的定义是它紧跟着单调序列 :。因此, 是紧凑的;因此至少有一个聚点。 (2)假设 是的一个聚点但不是的驻点(5.4.1.5) 不失一般性,令,令,令。根据定理(5.4.1.2)有一个的领域和许多满足(5.4.1.6) 所有的,以及。 由于,连续且因为(5.4.1.5)存在使得所有的, 令,。因为,它满足。因此,从的定义可得因为,,,(5.4.1.6)所以所有的。这意味着,与矛盾。因此是的一个驻点。(5.4.1.3)的步骤(b)被称为行搜索。即使(5.4.1.3)的方法相当一般,它的实际应用是有限的通过这一事实必须精确线搜索。即,为了确定,确切的函数的最小值点在

文档评论(0)

希望之星 + 关注
实名认证
内容提供者

我是一名原创力文库的爱好者!从事自由职业!

1亿VIP精品文档

相关文档