泰勒公式-文献翻译_第1页
泰勒公式-文献翻译_第2页
泰勒公式-文献翻译_第3页
泰勒公式-文献翻译_第4页
泰勒公式-文献翻译_第5页
已阅读5页,还剩9页未读 继续免费阅读

下载本文档

版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领

文档简介

1、重 庆 理 工 大 学文 献 翻 译二级学院 数学与统计学院 班 级 学生姓名 学 号 复杂矩阵用泰勒公式的解决方法一个复杂的RR矩阵A中的解决方法R(A)是与A的频谱A空交集的任何域名的解析函数。在任何给定的0A的附近著名的泰勒展开R(A)的修改考虑到R0只有第一大国(A)是线性无关。在这个框架的主要工具给出了多变量多项式查看MATHML源取决于不变V1,V2,.,VRR(A)的(m为最小多项式的程度)。这些功能被用于以代表的R0(A)的随后的权力的系数作为它们的第一米的线性组合。一 简介如在1中,预解R(A)的(I-A)一种非奇异正方形矩阵A(表示单位矩阵)-1所示的希尔伯特同一性的后果是

2、参数的一个解析函数在与A的频谱A因此,空交集的任何域D使用泰勒展开任何固定0D的附近,我们可以在1R(A)的表示公式发现使用R0的一切权力(A)。在这篇文章中,通过使用一些前面的结果回忆说,例如,在2中,我们写下使用R0(A)的权力,只有有限数量的表示公式。这似乎是因为R0的(A)是线性无关的只有第一个权力是自然的。在此框架的主要工具是由多变量多项式给出查看MATHML来源(参见2,3,4,5和6),根据不同的不变量V1,V2,.,vr中的R(A);这里m表示极小多项式的程度。二 权力矩阵和F k,n功能我们还记得在本节一定的成效上表示公式矩阵的权力(见23456和其参考文献)。为简单起见,我

3、们指的是情况下,当基质是非贬损使得M = R。命题2.1。设A是一个矩阵,由U1表示,U2,.,UR A的不变量,并通过其特征多项式(按照惯例u01);那么对于A的非负整数指数的权力下表示公式也是如此:功能Fk,n(u1.ur)该显示为系数(2.1)由递推关系定义 和初始条件:此外,如果A是非奇异(ur0),则式(2.1)仍然保持对于n的负值,只要我们定义FK,n功能对于n的负值如下: 三 泰勒展开式的解决对策我们认为解决方法矩阵R(A)定义如下:注意,有时有标志的公式的变化。 Eq.(3.1),但这个当然不是必须的。这是众所周知的,该预解是一个解析(理性)的在复平面不含A的频谱的每个域D功能

4、,此外它消失在无穷远,以便R的仅奇点(极点)(A)的是A的特征值6事实证明,不变量V1,V2,.,R(A)的VR都与A的方程联作为命题2.1,Eq(3.2)的结果,R(A)的整数幂可以如下表示。定理3.1对于每个且 ,其中是由Eq(3.2)给出。由(A)A的谱半径表示,对于每一个,使得(A)分钟(|,|),希尔伯特的身份也是如此(见1):因此,对于每A,我们有 总的来说所以,对于每一个0D,R(A)可以在泰勒级数扩大这是D.绝对和一致收敛定义其中v()由等式限定。(3.2),我们可以证明下面的定理。定理3.2该解决方法R(A)在任何正规点0邻里的泰勒展开式(3.7)可以写成的形式 因此,我们可

5、以得出一个结果:Tuilun3.1 对于每0A和= 1,2,.,R的级数展开是收敛的。证明:回顾(3.3),我们可以写 因此,考虑到的初始条件(2.3)我们可以写 所以(3.10)成立。级数展开收敛(3.11)是初始扩张(3.7)的收敛琐碎的后果。四 结束语泰勒公式的用途很广泛,它是数学分析中的重要组成部分,它的理论方法已成为研究函数极限和估计误差等方面的不可缺少的工具,它即是微积分中值定理的推广应用,又是运用高阶导数研究函数性态的重要工具之一。特别在计算机的计算能力和解决复杂算式的能力快速发展的今天,因为计算机无法解决太过复杂的函数,数学问题的解决习惯是把未知问题转换成已知问题,把复杂问题转

6、化成多个简单问题,泰勒公式的发展泰勒级数就是这样的计算机可以很好解决的简单函数,一旦把一个函数展开成泰勒级数的形式,就可以交给计算机来解决了,所以泰勒公式在当代早已不可或缺。不单在计算机的各个领域都有着重要的应用,而且泰勒公式解决复杂问题的能力在数学领域的研究方面也有了很大的作用。值得一提的是,解决方法R(A)是用于表示矩阵A其实解析函数,用f表示(Z)的复变函数z的函数,分析含A的谱域作主题元素,并用表示A的特征值显着与多重K,拉格朗日 - 西尔维斯特公式(见4)由下式给出其中是与特征值K相关的投影仪,并通过k乔丹曲线,域的Dk的边界,分离与所有其他特征值固定K,回顾里斯表示的公式,可以得出

7、当K仅已知大约,本投影不能被利用残余定理导出。在这种情况下,有必要整合R(A)中沿k(即可能是Gershgorin圆),利用预解的已知的表示(参见3)或者通过取代R(A)与它的泰勒展开,并假设为初始点任何0K内的Dk。这是最好的公式依赖于相关的稳定性和计算成本。从理论角度,公式(3.7),(3.10)及(4.1)似乎是从稳定性来看等效,因为所有所需要的给定的矩阵A的不变量的知识然而,在我们看来,在情况考虑,式(3.10)似乎是相对于(3.7)比较便宜,因为它需要一个近似r系列的基本功能,而不是无穷级数矩阵。参考文献1I。 Glazman,Y H. Liubitch达马迪安(主编),分析lina

8、ire丹斯莱ESPACES德维finies:曼努埃尔等problmes,Traduit杜齐名俄语,和平号空间站,莫斯科(1972)2M。 Bruschi,体育利玛窦Sulle potenze二UNA矩阵的计算quadrata德拉quale SIA诺托IL polinomio MINIMO Pubbl。 IST。垫。申请。 FAC。 ING。大学。梭哈。罗马,四路,13(1979),页9-183 V.N。线性代数多佛酒吧Faddeeva计算方法。 Inc。,纽约(1959)4 F.R。 Gantmacher矩阵,二卷的理论。 1,2(KA赫希,跨。)切尔西出版公司,纽约(1959)5M。 Bru

9、schi,体育利玛窦Sulle funzioni FK,正荣polinomi迪卢卡斯迪seconda物种generalizzati Pubbl。 IST。垫。申请。 FAC。 ING。大学。梭哈。罗马,四路,14(1979年),第49-586M。 Bruschi,体育利玛窦的显式F(A)SIAM J.数学。肛门。,13(1982),第162-165On Taylors formula for the resolvent of a complex matrixThe resolvent R(A) of a complex rr matrix A is an analytic function i

10、n any domain with empty intersection with the spectrum A of A. The well known Taylor expansion of R(A) in a neighborhood of any given 0A is modified taking into account that only the first powers of R0(A) are linearly independent. The main tool in this framework is given by the multivariable polynom

11、ials View the MathML source depending on the invariants v1,v2,vr of R(A) (m denotes the degree of the minimal polynomial). These functions are used in order to represent the coefficients of the subsequent powers of R0(A) as a linear combination of the first m of them.1. IntroductionAs a consequence

12、of the Hilbert identity in 1, the resolvent R(A)(IA)1 of a nonsingular square matrix A (I denoting the identity matrix) is shown to be an analytic function of the parameter in any domain D with empty intersection with the spectrum A of A. Therefore, by using Taylor expansion in a neighborhood of any

13、 fixed 0D, we can find in 1 a representation formula for R(A) using all powers of R0(A).In this article, by using some preceding results recalled, e.g., in 2, we write down a representation formula using only a finite number of powers of R0(A). This seems to be natural since only the first powers of

14、 R0(A) are linearly independent. The main tool in this framework is given by the multivariable polynomials View the MathML source (see 2, 3, 4, 5 and 6), depending on the invariants v1,v2,vr of R(A); here m denotes the degree of the minimal polynomial.2. Powers of matrices andFk,nfunctionsWe recall

15、in this section some results on representation formulas for powers of matrices (see e.g.2,3,4,5and6and the references therein). For simplicity we refer to the case when the matrix is non derogatory so thatm=r.Proposition2.1.Let A be an complex matrix, and denote by u1,u2,ur the invariants of A ,and

16、byits characteristic polynomial (by convention u01); then for the powers of A with non negative integral exponents the following representation formula holds true:The functionsFk,n(u1.ur)that appear as coefficients in(2.1)are defined by the recurrence relation and initial conditions:Furthermore, ifA

17、is nonsingular(ur0), then formula(2.1)still holds for negative values ofn, provided that we define theFk,nfunction for negative values ofnas follows:3. Taylor expansion of the resolventWe consider the resolvent matrixR(A)defined as follows:Note that sometimes there is a change of sign in Eq.(3.1), b

18、ut this of course is not essential.It is well known that the resolvent is an analytic (rational) function ofin every domainDof the complex plane excluding the spectrum ofA, and furthermore it is vanishing at infinity so the only singular points (poles) ofR(A)are the eigenvalues ofA.In6it is proved t

19、hat the invariantsv1,v2,vrofR(A)are linked with those ofAby the equationsAs a consequence ofProposition2.1, and Eq.(3.2), the integral powers ofR(A)can be represented as follows.Theorem3.1.For every Aand ,where the are given by Eq. (3.2).Denoting by (A) the spectral radius of A, for every , such tha

20、t (A)min(|,|), the Hilbert identity holds true (see 1):Therefore for everyA, we have and in generalso, for every0D,R(A)can be expanded in the Taylor serieswhich is absolutely and uniformly convergent inD.Definingwhere thev()are defined by Eq.(3.2), we can prove the following theorem.Theorem3.2.The T

21、aylor expansion(3.7)of the resolvent R(A)in a neighborhood of any regular point 0 can be written in the formTherefore we can derive as a consequence:Corollary3.1.For every 0A and =1,2,r the series expansionsare convergent.Proof.Recalling(3.3), we can write Therefore, taking into account the initial

22、conditions(2.3)we can write so(3.10)holds true. The convergence of series expansions(3.11)is a trivial consequence of the convergence of the initial expansion(3.7).4. Concluding remarksTaylor formula uses very wide, it is the mathematical analysis of an important part of its theoretical approach has

23、 become an indispensable tool for studying the function and the estimation error limits and other aspects, it is the application that is value theorem of calculus, and It is an important tool to study the use of higher derivative function of the state. Particularly in computing power and the ability

24、 to solve complex computer formula of rapid development of today, because the computer can not be solved too complex function, mathematical problem solving habit is to convert the issue into the unknown known issues, the complex problem into multiple simple issue, Taylor series development of Taylor

25、 formula is simple functions such computers can be solved, once a function of the Taylor series expansion of the form, you can give computers to solve, so Taylor formula in contemporary or had not missing. Not only in all areas of the computer they have important applications, and Taylor Formula abi

26、lity to solve complex problems in mathematics research has also been a great role.It is worth noting that the resolventR(A)is a keynote element for representing analytic functions of a matrixA. In fact, denoting byf(z)a function of the complex variablez, analytic in a domain containing the spectrum

27、ofA, and denoting bythe distinct eigenvalues ofAwith multiplicitiesk, the LagrangeSylvester formula (see4) is given bywhereis the projector associated with the eigenvaluek, andDenoting byka Jordan curve, the boundary of the domainDk, separating a fixedkfrom all other eigenvalues, recalling the Riesz

28、 formula, it follows thatWhenkis only known approximately, this projector cannot be derived by using the residue theorem.In this case it is necessary to integrateR(A)alongk(being possibly a Gershgorin circle), by using the known representation of the resolvent (see3)or by substitutingR(A)with its Ta

29、ylor expansion, and assuming as initial point any0kinsideDk.Which is the best formula depends on the relevant stability and computational cost. From the theoretical point of view, formulas(3.7),(3.10)and(4.1)seem to be equivalent from the stability point of view, since all require knowledge of invariants of the given matrixA. However, in our opinion, in the situation considered, Eq.(3.10)seems to be less expensive with respect to(3.7), since it req

温馨提示

  • 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论