矩阵函数的性质及其在微分方程组中的应用
- 格式:doc
- 大小:265.00 KB
- 文档页数:10
线性代数在微分方程中的应用线性代数是数学的一个分支,主要研究向量空间和线性映射等概念。
它通过矩阵和向量的运算来描述和解决各种数学问题。
在微分方程中,线性代数的应用发挥着重要的作用。
本文将探讨线性代数在微分方程中的具体应用。
1. 线性代数与齐次线性微分方程齐次线性微分方程是指形式为y'' + p(x)y' + q(x)y = 0的微分方程,其中p(x)和q(x)是已知的函数。
利用线性代数的概念和技巧,可以通过矩阵和向量的方法解决这类微分方程。
首先,将齐次线性微分方程转化为矩阵形式。
假设y(x)是方程的解,可以构造一个向量函数Y(x) = (y(x), y'(x))^T,其中y'(x)是y(x)的导数。
将Y(x)代入方程,得到一个关于Y(x)的矩阵方程Y''(x) + P(x)Y'(x) +Q(x)Y(x) = 0,其中P(x)和Q(x)是由p(x)和q(x)构成的矩阵。
接下来,考虑特征值问题。
对于矩阵方程,可以找到一个特征值λ和对应的特征向量V,满足矩阵方程的特征值问题(A - λI)V = 0,其中A是由P(x)和Q(x)构成的矩阵,I是单位矩阵。
最后,利用特征值和特征向量构建齐次线性微分方程的解。
通过求解特征值问题,可以得到特征值λ1和λ2,以及对应的特征向量V1和V2。
齐次线性微分方程的通解可以表示为y(x) = c1y1(x) + c2y2(x),其中c1和c2是常数,y1(x)和y2(x)分别是由特征向量V1和V2构成的解函数。
2. 线性代数与非齐次线性微分方程非齐次线性微分方程是指形式为y'' + p(x)y' + q(x)y = r(x)的微分方程,其中r(x)是已知的函数。
通过线性代数的方法,可以利用特解和齐次解的线性组合来求解非齐次线性微分方程。
首先,找到非齐次线性微分方程的特解。
通过试探法,假设非齐次线性微分方程的特解为y(x) = u(x)v(x),其中u(x)是待定函数,v(x)是齐次线性微分方程的解函数,通过求导和代入方程,可以得到u(x)的表达式。
矩阵微分方程第九讲 矩阵微分方程一、矩阵的微分和积分1. 矩阵导数定义:若矩阵ij m n A(t)(a (t))⨯=的每一个元素a (t)ij 是变量t 的可微函数,则称A(t)可微,其导数定义为ij m n da dA A (t)()dt dt⨯'==由此出发,函数可以定义高阶导数,类似地,又可以定义偏导数。
2. 矩阵导数性质:若A(t),B(t)是两个可进行相应运算的可微矩阵,则(1)d dA dB[A(t)B(t)]dt dt dt ±=±(2)d dA dB[A(t)B(t)]B Adt dt dt=+ (3)d da dA [a(t)A(t)]A adt dt dt =+ (4)()()()()tAtA tA d de Ae e A cos tA Asin tA dtdt===- ()()()dsin tA Acos tA dt=(A 与t 无关) 此处仅对tAtA tA d (e )Ae e A dt==加以证明 证明:tA 2233223d d 111(e )(1tA t A t A )A tA t A dt dt 2!3!2!=++++=+++22tA 1A(1tA t A )Ae 2!=+++=又22tA 1(1tA t A )A e A 2!=+++=3. 矩阵积分定义:若矩阵A(t)(a (t))m n ij =⨯的每个元素ij a (t)都是区间01[t ,t ]上的可积函数,则称A(t)在区间01[t ,t ]上可积,并定义A(t)在01[t ,t ]上的积分为1100ij t t A(t)dt a (t)dt t t m n ⎛⎫=⎰⎰ ⎪⎝⎭⨯4. 矩阵积分性质(1)111000t t t t t t [A(t)B(t)]dt A(t)dt B(t)dt ±=±⎰⎰⎰(2)11110000t t t t t t t t [A(t)B]dt A(t)dt B,[AB(t)]dt A B(t)dt ⎛⎫⎛⎫== ⎪ ⎪ ⎪ ⎪⎝⎭⎝⎭⎰⎰⎰⎰(3)t baadA(t )dt A(t),A (t)dt A(b)A(a)dt '''==-⎰⎰二、 一阶线性齐次常系数常微分方程组 设有一阶线性齐次常系数常微分方程组11111221n n 22112222n n n n11n22nn n dx a x (t)a x (t)a x (t)dt dx a x (t)a x (t)a x (t)dtdx a x (t)a x (t)a x (t)dt⎧=+++⎪⎪⎪=+++⎪⎨⎪⎪⎪=+++⎪⎩ 式中t 是自变量,i i x x (t)=是t 的一元函数(i 1,2,,n),=ij a (i,j 1,2,,n)=是常系数。
线性微分方程组的解法线性微分方程组是由多个关于未知函数及其导数的线性方程组成的,可以用矩阵形式来表示。
解这类方程组的方法有很多种,例如矩阵法、特征方程法等。
下面将介绍线性微分方程组的解法。
一、线性微分方程组的矩阵法考虑一个n个未知函数的线性微分方程组:$\frac{d}{dt}\mathbf{y}=A\mathbf{y}$其中$\mathbf{y}=\begin{pmatrix}y_1 \\ y_2 \\ \vdots \\ y_n\end{pmatrix}$,A是一个$n \times n$的矩阵。
解法:1. 将线性微分方程组写成矩阵形式:$\frac{d}{dt}\mathbf{y}=A\mathbf{y}$2. 求出矩阵A的特征值和特征向量。
设特征值为$\lambda$,对应的特征向量为$\mathbf{v}$。
3. 根据特征值和特征向量,构造矩阵的对角形式:$D=\begin{pmatrix}\lambda_1 & 0 & \cdots & 0\\ 0 & \lambda_2 &\cdots & 0\\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots &\lambda_n \end{pmatrix}$4. 求出初值条件的向量$\mathbf{c}$,使得$\mathbf{y}(t=0) =\mathbf{c}$。
5. 利用变量分离法求出解向量$\mathbf{y}$:$\mathbf{y}=e^{At}\mathbf{c}$其中$e^{At}$表示矩阵的指数函数,它可以通过特征值和特征向量来计算,即:$e^{At}=P e^{Dt}P^{-1}$其中P是一个由特征向量组成的矩阵,$P^{-1}$是P的逆矩阵,$e^{Dt}$是一个由特征值构成的对角矩阵的指数函数:$e^{Dt}=\begin{pmatrix}e^{\lambda_1 t} & 0 & \cdots & 0\\ 0 &e^{\lambda_2 t} & \cdots & 0\\ \vdots & \vdots & \ddots & \vdots \\ 0 & 0 & \cdots & e^{\lambda_n t} \end{pmatrix}$6. 将解向量$\mathbf{y}$代入初值条件$\mathbf{y}(t=0) =\mathbf{c}$,求出常数向量$\mathbf{c}$的值。
单元雅可比矩阵的行列式下载温馨提示:该文档是我店铺精心编制而成,希望大家下载以后,能够帮助大家解决实际的问题。
文档下载后可定制随意修改,请根据实际需要进行相应的调整和使用,谢谢!并且,本店铺为大家提供各种各样类型的实用资料,如教育随笔、日记赏析、句子摘抄、古诗大全、经典美文、话题作文、工作总结、词语解析、文案摘录、其他资料等等,如想了解不同资料格式和写法,敬请关注!Download tips: This document is carefully compiled by the editor. I hope that after you download them, they can help you solve practical problems. The document can be customized and modified after downloading, please adjust and use it according to actual needs, thank you!In addition, our shop provides you with various types of practical materials, such as educational essays, diary appreciation, sentence excerpts, ancient poems, classic articles, topic composition, work summary, word parsing, copy excerpts, other materials and so on, want to know different data formats and writing methods, please pay attention!单元雅可比矩阵是线性代数中一个重要的概念,它在数学和工程领域都有广泛的应用。
矩阵系数函数一、矩阵系数函数的定义矩阵系数函数是指定义在矩阵上的一类特殊函数,它们具有与矩阵相乘的性质。
矩阵系数函数在数学、工程学和物理学等领域有着广泛的应用。
矩阵系数函数通常用于描述矩阵与向量之间的线性关系,以及矩阵之间的乘积运算。
二、矩阵系数函数的性质矩阵系数函数具有以下性质:1.线性性质:矩阵系数函数与矩阵的线性运算相容,即满足分配律和结合律。
2.乘法性质:当两个矩阵相乘时,矩阵系数函数满足相应的乘法性质。
3.对称性质:当矩阵是对称的时,矩阵系数函数也具有对称性质。
4.微分性质:矩阵系数函数在某些条件下具有微分性质,即它们的导数和偏导数满足一定的关系。
5.唯一性:对于给定的矩阵和向量,与其相关的矩阵系数函数是唯一的。
三、矩阵系数函数的应用矩阵系数函数在许多领域都有应用,以下是几个常见的应用实例:1.控制系统:在控制系统的分析和设计中,矩阵系数函数用于描述系统的状态方程和输出方程,以及系统的稳定性、可控性和可观测性等性质。
2.线性代数方程组:在求解线性代数方程组时,矩阵系数函数用于描述方程组中的系数矩阵和常数项向量,以及它们之间的关系。
3.数值分析:在数值分析中,矩阵系数函数用于描述数值算法中的系数矩阵和向量,如线性方程组的迭代解法和数值积分等。
4.工程学:在工程学中,矩阵系数函数用于描述结构分析、流体动力学、振动分析等领域的物理现象和数学模型。
5.量子力学:在量子力学中,矩阵系数函数用于描述量子态和测量过程,以及它们之间的概率关系。
四、总结与展望矩阵系数函数作为数学和工程学中的重要概念,已经得到了广泛的研究和应用。
在未来,随着科学技术的不断发展,矩阵系数函数的应用领域将会更加广泛和深入。
特别是在大数据处理、人工智能和机器学习等领域,矩阵系数函数将会有更多的应用场景和挑战。
此外,随着数学和其他学科的交叉融合,新的矩阵系数函数和性质将会不断涌现,为解决实际问题提供更多的方法和工具。
因此,我们需要进一步深入研究矩阵系数函数的性质和应用,以期在未来的科学研究和工程技术领域取得更多的成果和突破。
微分方程组的基解矩阵理论说明1. 引言1.1 概述微分方程组是数学中研究自然现象和物理现象的重要工具,它描述了变量之间的变化率以及它们与时间或空间的关系。
在科学和工程领域,微分方程组被广泛应用于预测、建模和优化等问题的求解中。
其中,微分方程组的基解矩阵作为一个核心概念,扮演着重要的角色。
1.2 文章结构本文将对微分方程组的基解矩阵进行深入探讨,并介绍其性质、求解方法以及应用及意义等方面的内容。
具体结构如下:第2部分:微分方程组的基本概念该部分将介绍微分方程组的定义,以及基本解和通解这两个重要概念,并引入基解矩阵这一主题。
第3部分:基解矩阵的性质与求解方法在此部分中,我们将讨论基解矩阵存在性与唯一性的问题,并探究基解矩阵与常系数微分方程组之间的关系。
同时,我们也会介绍一些求解基解矩阵的常见方法和步骤。
第4部分:微分方程组基解矩阵的应用及意义该部分将探讨基解矩阵在初始值问题求解方法和非齐次线性微分方程组中的特殊情况下的应用。
同时,我们也会对理论说明与实际应用之间的联系和差异进行讨论。
第5部分:结论与展望最后一部分将总结本文主要观点和发现,并对未来研究的方向和前景进行展望。
1.3 目的本文旨在全面深入地介绍微分方程组的基解矩阵,明确其定义以及相关概念,并深入探讨其性质、求解方法以及应用及意义。
通过本文的阐述,读者可以更好地理解微分方程组中基解矩阵这一重要概念的作用和应用,为进一步开展相关研究提供有益指导。
2. 微分方程组的基本概念:2.1 微分方程组的定义:微分方程组是由多个未知函数及其导数构成的一组方程。
通常形式为:\[ \begin{cases}F_1(x, y_1, y_2, ..., y_n, y_{n+1}) = 0 \\F_2(x, y_1, y_2, ..., y_n, y_{n+1}) = 0 \\... \\F_n(x, y_1, y_2, ..., y_n, y_{n+1}) = 0\end{cases}\]其中,\( x \) 是自变量,\(y_1, y_2, ..., y_n\) 是未知函数,\(y_{n+1}\) 是关于\(x\) 的已知函数。
矩阵论线性空间定义:本质是个集合,满足一定条件卜•的集合。
首先定义了加法运算(满足加法的交换结合律),在这个集合中能找到零元素,与负元素;然后定义数乘运算(数域上的元素与集合当中的元素相乘),并且满足数乘的分配,结合律(集合中的兀素能否进行乘法运算并没有定义)。
最后指出,这些运算都是封闭的,运算的结果与集合中的九素唯一对应。
称这样的一个集合为线性空间。
注总:运算结果与集介中的元素对应。
例如0*a=0 (此零非彼零,不是数域里的零,而是线性空间当中的零,即集合当中的零元素<很可能不是零〉)核空间:矩阵A对应于齐次线性方程组Ax=O的解空间。
子空间:线性空间对应集合的一个子集,并且也满足线性空间的定义的一个子集。
其中,冬空间,与线性空间本身构成平凡子空间,还存在的其他子空河构成非平凡子空间。
矩阵A的核空间就是他的•个子空间,相当于对矩阵A构成的空间中的尤素进行了限定。
矩阵A的列向量的线性组介构成了矩阵A的值域空间(其中的基为最人无关组的个数)。
注意:子空间交,与子空间的和任然为子空间,但子空间的并集不一定再是子空间。
属于两个子空间的线性无关的两个基的并基构成新的元素,但是这个元素不在属于原来的两个子空间的任意一个。
子空间中的几个等价定义:(1)直和定义为VI与V2的交空间只包含零元素(不一定是数字零),构成零子空间(2)直和空间中的元素表达式唯一。
(3)VI的基于V2的基直接构成直和空间的基。
(4)和空间的维度等于VI巧V2维度的和。
线性映射性质:(1)VI的零元素经过线性映射变为V2的零元素(2 )线性相关组经过线性映射之后任然为线性相关(3)线性无关组经过单射线性映射后任然为线性无关同构:两个线性空间之间存在一个一一对应的线性变换,则称这两个矩阵是同构的。
相应的线性变换称为同构映射。
任一线性空间都能够找到一个数域向量与其同构,这个向最就是坐标。
线性变换T的秩,线性映射的坐标表示:T表示线性空间到线性空间的映射,在貝体的基底下(两个线性空间基都确定的情况),可以由一个矩阵A表示T,为V到V '的线性映射。
线性代数在微分方程中的应用微分方程是数学中重要的研究对象之一,广泛应用于自然科学、工程技术等领域。
而线性代数,作为一门与向量、矩阵相关的学科,具有丰富的工具和方法,对微分方程的研究与应用具有重要的作用。
本文将探讨线性代数在微分方程中的应用。
一、矩阵与线性微分方程线性微分方程是指具有以下形式的微分方程:$$\frac{{d^n y}}{{dt^n}} + a_{n-1} \frac{{d^{n-1} y}}{{dt^{(n-1)}}} + \ldots + a_1 \frac{{dy}}{{dt}} + a_0 y = 0$$其中,$y$ 是未知函数,$a_0, a_1, \ldots, a_{n-1}$ 是给定的常数。
我们可以将线性微分方程表示为矩阵的形式:$$\frac{{d^n \mathbf{y}}}{{dt^n}} + \mathbf{A}_{n-1} \frac{{d^{n-1} \mathbf{y}}}{{dt^{(n-1)}}} + \ldots + \mathbf{A}_1\frac{{d\mathbf{y}}}{{dt}} + \mathbf{A}_0 \mathbf{y} = \mathbf{0}$$其中,$\mathbf{y}(t)$ 是一个向量函数,$\mathbf{A}_0,\mathbf{A}_1, \ldots, \mathbf{A}_{n-1}$ 是矩阵。
二、特征值与特征向量在微分方程中的应用特征值与特征向量是矩阵中的重要概念,它们在微分方程的研究中起到了关键的作用。
考虑一个 $n$ 阶线性微分方程,我们可以将其转化为如下形式:$$\frac{{d^n \mathbf{y}}}{{dt^n}} = \lambda \mathbf{y}$$其中,$\mathbf{y}(t)$ 是一个向量函数,$\lambda$ 是特征值。
这个转化过程可以通过特征值与特征向量的求解来实现。
§7矩阵函数的性质及其在微分方程组中的应用1.矩阵函数的性质: 设n n C B A ⨯∈. 1.A e Ae e dtd At At At⋅== proof : 由 ()∑∑⋅==∞=m m m m AtA t m At m e!1!1对任何t 收敛。
因而可以逐项求导。
()∑∞=--=∴01!11m m m At A t m e dt d ()()⎪⎪⎭⎫ ⎝⎛-⋅=∑∞=-11!11m m At m A ()⎪⎪⎭⎫ ⎝⎛⋅=∑k At k A !1Ate A ⋅= ()()()A e A At m A A t m At m m m m m ⋅=⋅⎪⎪⎭⎫ ⎝⎛-=⋅-=∑∑∞=∞=---01111!11!11 可见,A 与At e 使可以交换的,由此可得到如下n 个性质2.设BA AB =,则 ①.At At Be B e =⋅ ②.B A A B B A e e e e e +=⋅=⋅③.()()AA A AA AB A B A B A BA B A B A BA cos sin 22sin sin cos 2cos sin cos cos sin sin sin sin cos cos cos 22=-=⇒+=+-=+=proof :①,由m m BA B A BA AB =⇒=而∑∑∞=∞==⎪⎭⎫⎝⎛=00!1!1m m m m m m AtB A t m B t A m B e()∑∑∞=∞=⋅==00!1!1m mm m m At m B BA t m At e B ⋅=②令()Bt At B A e e e t C --+⋅⋅=)( 由于()0=t C dtd)(t C ∴为常数矩阵 因而E e e e C C t C =-⋅===000)0()1()(当1=t 时,E e e e B A B A =⋅⋅--+ …………………. (@)特别地 A B -= 有E e e e A A =⋅⋅-0∴ 有 ()A Ae e --=1∴同理有()B Be e --=1代入(@)式 因而有B A B A e e e ⋅=+ 3.利用绝对收敛级数的性质,可得 ①A i A e iA sin cos +=()()iA iAiA iAe e iA e e A ---=+=⇒21sin 21cos ②()()A A A A sin sin cos cos -=-=-4.E A A =+22cos sin()()A E A AE A cos 2cos sin 2sin ππ+=+A E i A e e =+π2二.矩阵函数再微分方程组中的应用—常用于线性监测系统中 1. 一阶线性常导数其次方程组的通解 AZ dtdZ = 其中()Tn n n x x x X C A ,,,21 =∈⨯ 则有()K e t X At ⋅= 其中()Tn k k k K ,,,21 =1eg 解方程:⎪⎪⎪⎩⎪⎪⎪⎨⎧+=+-=+-=313212211234xx dtdx x x dtdxx x dt dx解:原方程变为矩阵形式AX dt dX = ⎪⎪⎪⎭⎫⎝⎛--=201034011A ()Tx x x X 321,,=由()()212--=-λλλA E 得⎪⎪⎪⎭⎫ ⎝⎛=→100110002J A1200000-⎪⎪⎪⎭⎫⎝⎛=∴P e e e e P e t tt t At⎪⎪⎪⎭⎫ ⎝⎛⎪⎪⎪⎭⎫ ⎝⎛=∴-3211200000)(k k k P e e e e P t X t tt t2. 一阶线性常导数微分方程的定解问题:1Th :一阶线性常数微分方程组的定解问题:()()⎪⎩⎪⎨⎧==Tn x x x Z AZdt dZ)0(,),0(),0(210 有唯一解)0(X e X At ⋅=proof :实际上,由AZ dtdz=的通解为K e t Z At ⋅=)( 将初值)0(X 代入,得)0(X k =)0(Z e X At =∴由1Th 可的定解问题()⎪⎩⎪⎨⎧==Tn t x t x t x t X AZ dt dZ)(,),(),()(002010的唯一解为()()00)(t X e T X t t A ⋅=-2eg 求定解问题:()()⎪⎩⎪⎨⎧==Tx Axdt dx1,00,⎪⎪⎭⎫ ⎝⎛--=1221A 的解解:由0=-A E λ 得i x 32,1±=对应的特征向量记为:Ti ⎪⎪⎭⎫ ⎝⎛+=231,1α ⎪⎪⎭⎫⎝⎛-=231,1i β 则,于是矩阵:⎪⎪⎭⎫ ⎝⎛-+=23123111i iP13300--⋅⎪⎪⎭⎫ ⎝⎛⋅=∴P e e P eit itAt⎪⎪⎪⎪⎭⎫⎝⎛+=⎪⎪⎭⎫ ⎝⎛=t t t e t X At 3sin 313cos 3sin 3210)(3.一阶常导数齐次方程组地定解问题:()t F Ax dtdx=- 两边同乘以At e -得:()()t F e x e dtd At At--= 从0t 到t 上积分得:()()ττd F e t x e t x e tt AE At At ⎰---=-000)(()()()()τττd F e t x e t x tt t A t t A ⎰--+=∴000)(3eg .求:非齐次微分方程组的解:()()⎪⎩⎪⎨⎧=+=Tx t F AX dt dx1,0)0( 其中⎪⎪⎭⎫ ⎝⎛-=3553A ()⎪⎪⎭⎫ ⎝⎛=-0t e t F解:由i A E 5302,1±=⇒=-λλ对应特征向量为:⎪⎪⎭⎫⎝⎛=i 1α ⎪⎪⎭⎫ ⎝⎛=1i β 得可逆矩阵⎪⎪⎭⎫ ⎝⎛=11i i P ⎪⎪⎭⎫ ⎝⎛--=-11211i i P ()()ti i Ate t t t t P e e P e3153535cos 5sin 5sin 5cos 00⎪⎪⎭⎫ ⎝⎛-=⎪⎪⎭⎫ ⎝⎛=∴--+ ()⎰⎪⎪⎭⎫ ⎝⎛+⎪⎪⎭⎫ ⎝⎛=--t t A Atd e e e t x 0010)(τττ τd e t t t t t t t t e t t e tt t t40335sin 5cos 5cos 5sin 5sin 5sin 5cos 5cos 5cos 5sin -⎰⎪⎪⎭⎫ ⎝⎛+-++⎪⎪⎭⎫ ⎝⎛=注:关于线性系统的能控性与能观测性,同学们根据需要自己学习。
第三部分 矩阵特征值的估计§1.特征值界的估计引理1.n 阶复矩阵A ,酉相似于一个上(或下)三角矩阵,且三角矩阵的对角线元素是A 的特征值。
即存在一个酉矩阵U 和三角矩阵T ,使TAU U T =引理2.设nn n n ij Ca A ⨯⨯∈=)(,则∑∑====n i nj FijHAa AA tr 1122)(Proof :设n n ij H b AA B ⨯==)(则∑∑===++==nj jn n nj j j a a a a a a a a a b 121111212111111111∑∑====nj jn j j j a a a b 12212222∑∑====nj ijn j ij ij ii a a a b 121∑∑∑======ni nj ij ni ii Ha b B tr AA tr 1121)()(引理3.A 为正规矩阵⇔A 酉相似于对角矩阵。
(注:正规矩阵:A A A A H H ⋅=⋅)即存在酉矩阵U 使),,,(21n H diag AU U λλλ =Th 1.设A 为n 阶矩阵,n λλλ,,,21 为其特征值,则:⇔=≤∑∑∑===ni n i nj FijiAa 111222λA 为正规矩阵,等号成立。
Proof:由引理1.存在酉阵U ,使T AU U H =(三角阵)——① 对①两边取共轭转置:U A U AU U T H H H H H ==)(——② ①⨯②H H H H T T U A U AU U ⋅=⋅)()(H H H T T U AA U ⋅=⇒(为酉阵))()()(H H H H T T tr AA tr U AA U tr ⋅==⇒即∑∑∑∑∑∑=======≥=n i nj ni ni i iiijn i nj ijt t a 1111222112λ设nn CA ⨯∈令2,2HH A A C A A B -=+=,则A=B+C:其中B为Hermit阵(即HB )实BC 为反Hermit 阵(即H C C -=)虚注:引入B ,C 的目的是为了研究A 的特征值的实部和虚部的估计。
Th 2.设A ,B ,C 如上所设,i λ为A 的特征值,则有:Proof :由T AU U H =, *T U A U H H =2222HH HH H H HHT TU A A U CU U T TU A A UBU U -=-=⇒+=+=⇒ ∑∑∑∑∑∑======≤≤+=+=ni ijji ni ni nj ijiiii ni ni ii i b n b t t 12,2111221122max 22)Re(λλλij i iji b n b n max )Re(max )Re(222⋅≤⇒≤⇒λλ同理可证:其它两个注:该定理对A 特征值进行了界的估计,以及特征值的实部和虚部都有了界的估计,下面给出对A 特征值虚部估计更精确的一个定理。
其中ij c k max =,ij c 为上述C 的第i 行第j 列元素Proof :eg 1.设⎪⎪⎪⎭⎫ ⎝⎛-=5.06.07.07.08.0112.01A则⎪⎪⎪⎭⎫⎝⎛--=+=5.065.015.065.08.06.015.06.01)(21HA AB ⎪⎪⎪⎭⎫ ⎝⎛---=-=005.085.005.004.085.04.00)(21H A A C3max 3=⨯≤ij i a λ 3max 3)Re(=⨯≤ij i b λ55.285.03max 3)(=⨯=⨯≤ij i m c I λ由Th 3. 55.285.03max 223)(<⨯=⨯≤ij i m c I λ 易见,Th 3.比Th 2.中③要精确。
据上述定理可得如下推论:推论1:实对称矩阵的特征值令为实数。
推论2:Hermit 矩阵的特征值令为实数。
推论3:反Hermit 矩阵的特征值令为虚数或零。
Proof 1:A 为实对称,则A A A TH==,则02=-=HA A C 即0=ij c 由Th 2 0max )(=⋅≤ij i m c n I λ 即0)(=i m I λi λ∴为实数Proof 2:A 为H —阵,则A A H-=,则02=-=HA A C ,即0=ij c i λ∴为实数Proof 3: A 为反H —阵,则A A H-=,设i λ为特征值,02=+=HA AB 0=∴ij b 由Th 2. 0max )Re(=⋅≤ij i b n λ 0)Re(=i λ 即i λ为纯虚数或零。