当前位置:文档之家› 五维空间中半线性波动方程整体解的存在性定理(英文)

五维空间中半线性波动方程整体解的存在性定理(英文)

五维空间中半线性波动方程整体解的存在性定理(英文)
五维空间中半线性波动方程整体解的存在性定理(英文)

解的存在唯一性定理证明

解的存在唯一性定理 利用逐次逼近法,来证明微分方程的初值问题的解存在与唯一性定理。 一、【存在、唯一性定理叙述】 如果方程的右端函数在闭矩形区域上满足如下条件: (1)、在上连续; (2)、在上关于变量满足利普希茨条件,即存在常数,使对于上任何一点和有以下不等式:。 则初值问题在区间上存在唯一解, 其中

二、【证明】 逐步迫近法: 微分方程等价于积分方程。 取,定义 可证明的满足积分方程。 通过逐步迫近法可证明解的存在唯一性。 命 题 1:先证积分方程与微分方程等价: 设是微分方程定义于区间上满足初值条件 的解,则是积分方程定义于区间上的连续解。反之亦然。 证: 因是微分方程的解,有 两边从到取定积分,得: 代入初值条件得: 即是积分方程定义于区间上的连续解。 反之,则有 微分得: 且当时有。即是微分方程定义于区间上满足初值条件的解。 现取,代入积分方程的右端,所得函数用表示,则,再将代入积分方程的右端,所得函数用表示,则,以上称为1次近似, 称为2次近似。以此类推得到次近似。 从而构造逐步迫近函数序列为: 命 题 2:对所有,函数序列在上有定义、连续且满足不等式 证:当时, 。显然在上有定义、连续且有 ,即命题2当时成立。 由数学归纳法,设命题2当时成立,则对有: 知在上有定义、连续且有 命题2当时也成立。 由数学归纳法原理得命题2对所有均成立。 命 题 3:函数序列在上一致收敛。

证:只须考虑级数-----(*) 在上一致收敛。 因其部分和为:,因, 设对成立。 则当时有 即对所有,在成立 。 其右端组成正项收敛级数 由魏氏判别法,级数(*)在上一致收敛。即在上一致收敛。命题3得证。 现设 则在上有定义、连续且 命 题 4: 是积分方程在上的连续解。 证: 由利普希茨条件 及在上一致收敛于,知函数序列在上一致收敛于。 于是即 是积分方程在上的连续解。 命题5:设是积分方程在上的另一连续解。则。 证: 现证也是序列在上的一致收敛极限函数。由, , 得: , 。 设,则 。由数学归纳法,对所有,有 。 因此,对所有,在有成立。但当时。故在上的一致收敛于。由极限的唯一性,得。

解的存在唯一性

解的存在唯一性定理证明及其研究 专业名称:数学与数学应用 组长:赵亚平 组员:刘粉娟、王蓓、孙翠莲 指导老师:岳宗敏

解的存在唯一性定理证明及其研究 摘要 线性微分方程是常微分课本中的重要组成部分,线性微分方程组解的存在唯一性是最重要,也是不可或缺的一部分,通过课本所学知识运用逐步逼近法以及压缩映射原理分别对一阶,高阶线性微分方程组解的存在唯一性进行的详细的论述证明。对于线性方程组解的情况,主要是通过对增广矩阵进行初等行变换,了解其秩的情况,在运用克莱默法则,从而得出其解的存在唯一性的情况。 关键词:解的存在唯一性 线性微分方程组 线性方程组 (一)一阶微分方程的解的存在唯一性定理与逐步逼近法 存在唯一性定理 考虑初值问题 ),(y x f dx dy = 00)(y x y = (1) 其中f(x,y)在矩形区域R : b y y a x x ≤-≤-||,||00 (2) 上连续,并且对y 满足Lipschits 条件:即存在常数L>0(L 为利普

希茨常数),使不等式 |||),(),(|2121y y L y x f y x f -≤- 对所有R y x y x ∈),(),,(21都成立,则初值问题(1)在区间h x x ≤-||0上解存在且唯一,这里 |),(|max ),, min(),(y x f M M b a h R y x ∈== 证明思路: 1.初值问题(1)的解存在等价于求积分方程 ?+=x x dy y x f y y 0),(0 (3) 的连续解。 2.构造(3)所得解函数序列{)(x n ?},任取一连续函数)(0x ?, b y x ≤-|)(|00?代入(3)右端的y ,得 …… 2,1,))(,()(0 01=+=?+n dx x x f y x x x n n ?? 3.函数序列{)(x n ?}在|,|00h x h x +-上一致收敛到)(x ?。这里为 )(x n ?=dx x x f y n x x n ))(,(lim 1-00 ??∞ →+ dx x x f y x x f y x x x x n ??+ =+=∞ →0 ))(,()) (,(lim 01-n 0?? 4.)(x ?为(3)的连续解且唯一。首先在区间],[00h x x +是讨论,在错误!未找到引用源。上类似。 证明过程: 命题1 :初值问题(1)等价于积分方程

线性方程组的求解与应用开题报告

设计题目线性方程组理论及其应用 学生姓名陈彦语学号1111124123 专 业 数学与应用数 学(师范类) 一、课题的目的意义: 高等代数教材中只给出了运用克拉默法则(Cramer's Rule)和利用增广矩阵进行初等行变换求解线性方程组的方法,本文将更加系统的阐述求解线性方程组的几类方法,并进一步讨论线性方程组在许多领域中的应用。 线性代数是代数学的一个重要组成部分,广泛应用于现代科学的许多分支,其核心问题之一就是线性方程组的求解问题。线性方程组的求解是数值计算领域十分活跃的研究课题之一,大量的科学技术问题,最终往往归结为解线性方程组。因为计算机只能“线性”地求解问题,所以所有问题在计算机处理前都要线性化。可以说,线性方程组的求解在现代科学领域占有重要地位。 二、近几年来研究现状: 目前关于线性方程组的数值解法一般有两大类,一类是直接方法,另一类是迭代方法。直接方法最基本的是高斯消元法及其变形,这种方法是解低阶稠密矩阵方程组的有效方法,近十几年来直接法在求解具有较大型稀疏矩阵方程组方面取得了较大进展。迭代法就是用某种迭代过程去逐步逼近线性方程组的精确解,迭代法具有的优点是:需要计算机的存储单位较少、程序设计简单、原始系数矩阵在计算过程中始终不变,但存在收敛性和收敛速度的问题。迭代法是解大型稀疏矩阵方程组的重要方法,当前对迭代算法的研究已经较为成熟,但如何使之适合新体系模型,以获得更好的性能加速还有待进一步研究。 。三、设计方案的可行性分析和预期目标: 可行性分析:本文主要以查找资料,在现有知识水平上,对求解线性方程组的一般方法进行总结归纳,并根据对数学软件的学习,在借鉴前人对计算机编程科学性研究的基础上,给出利用matlab软件求解几类常见线性方程组的方法。通过广泛收集线性方程组应用方向的文献和书籍,并多次向导师请教,最终以具体实例来说明线性方程组在许多领域的应用,并实现线性方程组的求解过程。 预期目标:通过撰写论文,能让我从一个更高的角度来审视高等代数,对其中的线性方程组部分有一个更加深刻的理解和认识,锻炼自己的发散性思维和缜密的思考能力,培养自己利用所学知识解决实际问题的能力,从而达到对所学知识的融会贯通。

第三章 解线性方程组的直接方法

习题 3.1 1. 求下列方阵的秩: (1)??? ?? ??--340313021201;(2)????? ??----174034301320;(3)??????? ? ?---------12433023221453334 311 ;(4)??????? ??------34732038234202173132. 2. 求下列方阵的逆矩阵: (1) ?? ? ?? ? ?323513123; (2) ????? ?? ??-----1210232112201023. 3. 解下列矩阵方程 (1) 设 ???? ? ??--=????? ??--=1322 31,113122214B A ,求X 使B AX =; (2) 设 ??? ? ??-=? ???? ??---=132 321,433312120B A ,求X 使B XA =; (3) ?? ??? ??-=????? ??-=????? ??-=112510324, 123011113,1120111111C B A ,求X 使C AXB =. 4. 求下列行列式 (1)? ? ? ??? ??????71 1 0251020214214 ;(2)????????????-260523211213 141 2;(3)?? ? ???????---ef cf bf de cd bd ae ac ab ; (4) ????????????---d c b a 100110011001. 5. 判断下列线性方程组解的情况,如果有唯一解,则求出解. ???????=+++-=----=+-+=+++;01123,2532,242,5)1(432143214 3214321x x x x x x x x x x x x x x x x ? ? ???????=+=++=++=++=+;15,065,065,065,165)2(545434323212 1x x x x x x x x x x x x x (3) ? ?? ??=-++=-+-=-+-;3222, 2353, 132432143214321x x x x x x x x x x x x (4) ?????=---=--+=+++.034,0222,022432143214321x x x x x x x x x x x x 习题 3.2 1. 用回代法解上三角形线性方程组 (1)??? ????==+-=-+=++;63,3,6333,8484443432321x x x x x x x x x (2)?? ???? ?-=-=+--=+--=-+.63,1032,92,9244343242 1x x x x x x x x x 2. 用回代法解下三角形线性方程组

二阶线性微分方程解的结构

二阶线性微分方程解的结构

————————————————————————————————作者: ————————————————————————————————日期: ?

附录A 线性常微分方程 本课程的研究内容与常微分方程理论有非常密切的联系,因此在本附录里,我们将对线性常微分方程的知识——包括解的存在性、解的结构和求解方法做一些回顾和总结。 把包含未知函数和它的j 阶导数()j y (的方程称为常微分方程。线性常微分方程的标准形式 ()(1)110()()'()()n n n y p x y p x y p x y f x --++++= (A.1) 其中n 称为方程的阶数,()j p x 和()f x 是给定的函数。可微函数()y y x =在区间 I 上满足方程(A.1),则称其为常微分方程(A.1)在 I 上的一个解。,()f x 称为方程(A.1)的自由项,当自由项()0f x ≡时方程(A.1)称为是齐次方程,否则称为非齐次方程。一般来说常微分方程的解是不唯一的,我们将方程的全部解构成的集合称为解集合,解集合中全部元素的一个通项表达式称为方程的通解,而某个给定的解称为方程的特解。 在本附录里,我们重点介绍一阶和二阶常微分方程的相关知识。 A.1 一阶线性常微分方程 一阶线性常微分方程表示为 '()()y p x y f x x I +=∈,. (A.2) 当()0f x ≡,方程退化为 '()0y p x y +=, (A.3) 假设()y x 不恒等于零,则上式等价于

'()y p x y =- 而()'ln 'y y y =,从而(A.3)的通解为 ()d ()p x x y x Ce -?= ( A.4) 对于非齐次一阶线性常微分方程(A .2),在其两端同乘以函数()d p x x e ? ()d ()d ()d '()()p x x p x x p x x e y p x e y e f x ???+= 注意到上面等式的左端 ()d ()d ()d ''()p x x p x x p x x e y p x e y e y ?????+= ??? ‘ 因此有 ()d ()d '()p x x p x x e y e f x ????= ??? ‘ 两端积分 ()d ()d ()d p x x p x x e y C e f x x ??=+?‘ 其中C 是任意常数。进一步有 ()d ()d ()d p x x p x x y e C e f x x -????=+ ??? ?‘ 综上有如下结论 定理A.1 假设()()p x f x I 和在上连续,则一阶线性非齐次常微分方程(A.1)的通解具有如下形式 ()d ()d ()d ()()d p x x p x x p x x y x Ce e e f x x --???=+?‘ (A.5)

Picard存在和唯一性定理

Picard存在和唯一性定理 本节利用逐次逼近法,来证明微分方程 (2.1) 的初值问题 (2.2) 的解的存在与唯一性定理. 定理 2.2(存在与唯一性定理)如果方程(2.1)的右端函数在闭矩形域 上满足如下条件: (1) 在R上连续; (2) 在R上关于变量y满足李普希兹(Lipschitz)条件,即存在常数N,使对于R上任何一 对点和有不等式: 则初值问题(2.2)在区间上存在唯一解 其中 在证明定理之前,我们先对定理的条件与结论作些说明: 1. 在实际应用时,李普希兹条件的检验是比较费事的.然而,我们能够用一个较强的, 但却易于验证的条件来代替它.即如果函数在闭矩形域R上关于y的偏导数 存在并有界,.则李普希兹条件成立,事实上,由拉格朗日中值定理有 其中满足,从而.如果在R上连续,它在R上当然就满足李普希兹条件.(这也是当年Cauchy证明的结果) 2.可以证明,如果偏导数在R上存在但是无界,则Lipschitz条件一定不满足,

但是Lipschitz 条件满足,偏导数不一定存在,如(,)||f x y y 。 3.现对定理中的数h 0做些解释.从几何直观上,初值问题(2.2)可能呈现如图2-5所示的情况. 这 时,过点 的积 图 2-5 分曲线 当 或 时,其中 , ,到 达R 的上边界 或下边界 .于是,当 时,曲线 便可能没有定义.由此可见,初值问题(2.2)的解未必在整个区间 上存在. 由于定理假定 在R 上连续,从而存在 于是,如果从点 引两条斜率分别等于M 和-M 的直线,则积分曲线 (如果存在的话)必被限制在图2-6的带阴影的两个区域内,因此,只要我们取 则过点 的积分曲线 (如果存在的话)当x 在区间上变化时,必位于R 之 中. 图 2-6

二阶线性微分方程解的结构

附录A 线性常微分方程 本课程的研究内容与常微分方程理论有非常密切的联系,因此在本附录里,我们将对线性常微分方程的知识——包括解的存在性、解的结构和求解方法做一些回顾和总结。 把包含未知函数和它的j 阶导数()j y (的方程称为常微分方程。线性常微分方程的标准形式 ()(1)110()()'()()n n n y p x y p x y p x y f x --++++=L (A.1) 其中n 称为方程的阶数,()j p x 和()f x 是给定的函数。可微函数()y y x =在区间 I 上满足方程(A.1),则称其为常微分方程(A.1)在 I 上的一个解。,()f x 称为方程(A.1)的自由项,当自由项()0f x ≡时方程(A.1)称为是齐次方程,否则称为非齐次方程。一般来说常微分方程的解是不唯一的,我们将方程的全部解构成的集合称为解集合,解集合中全部元素的一个通项表达式称为方程的通解,而某个给定的解称为方程的特解。 在本附录里,我们重点介绍一阶和二阶常微分方程的相关知识。 A.1 一阶线性常微分方程 一阶线性常微分方程表示为 '()()y p x y f x x I +=∈,. (A.2) 当()0f x ≡,方程退化为 '()0y p x y +=, (A.3) 假设()y x 不恒等于零,则上式等价于 而()'ln 'y y y =,从而(A.3)的通解为 ()d ()p x x y x Ce -?= ( A.4) 对于非齐次一阶线性常微分方程(A.2),在其两端同乘以函数()d p x x e ?

注意到上面等式的左端 因此有 两端积分 其中C 是任意常数。进一步有 综上有如下结论 定理A.1 假设()()p x f x I 和在上连续,则一阶线性非齐次常微分方程(A.1)的通解具有如下形式 ()d ()d ()d ()()d p x x p x x p x x y x Ce e e f x x --? ??=+?‘ (A.5) 其中C 是任意常数。 观察(A.4)式和(A.5)式,我们发现一阶线性非齐次常微分方程(A.1)的解等于 一阶线性齐次常微分方程( A.2)的通解()d p x x Ce -?加上函数()d ()d *()()d p x x p x x y x e e f x x -??=?。容易验证,*()y x 是方程(A.1)的一个特解。这符合线性方程解的结构规律。 例1 求解一阶常微分方程 解 此时()2()1p x f x =-=,,由(A.5)式,解为 其中C 是任意常数。 A.2 二阶线性常微分方程 将具有以下形式的方程 "()'()()y p x y q x y f x x I ++=∈,, (A.6) 称为二阶线性常微分方程,其中(),(),()p x q x f x 都是变量x 的已知连续函数。称 "()'()0y p x y q x y x I ++=∈,, (A.7) 为与(A.6)相伴的齐次方程. A .2.1 二阶线性微分方程解的结构 首先讨论齐次方程(A.7)解的结构。

(完整word版)线性方程组的平方根解法

浅析线性方程组的平方根解法 在求解线性方程组时,直接解法有顺序高斯消元法、列主元高斯消元法、全主元高斯消元法、高斯约当消元法、消元形式的追赶法、LU 分解法、矩阵形式的追赶法,当我们遇到对称正定线性方程组时,我们就要用到平方根法(对称LLT 分解法)来求解,为了熟悉和熟练运用平方根法求解线性方程组,下面对运用平方根法求解线性方程组进行解析。 一、运用平方根法求解线性方程组涉及到的定理及定义 我们在运用平方根法求解线性方程组时,要判定线性方程组Ax=b 的系数矩阵A 是否是对称正定矩阵,那么我们就要了解正定矩阵的性质和如下定理及定义: 1、由线性代数知,正定矩阵具有如下性质: 1) 正定矩阵A 是非奇异的 2) 正定矩阵A 的任一主子矩阵也必为正定矩阵 3) 正定矩阵A 的主对角元素均为正数 4) 正定矩阵 A 的特征值均大于零 5) 正定矩阵A 的行列式必为正数 定义一 线性方程组Ax=b 的系数矩阵A 是对称正定矩阵,那么Ax=b 是对称正定线性方程组。 定义二 如果方阵A 满足A=AT ,那么A 是对称阵。 2.1.4 平方根法和改进的平方根法 如果A 是n 阶对称矩阵,由定理2还可得如下分解定理: 定理2 若A 为n 阶对称矩阵,且A 的各阶顺序主子式都不为零,则A 可惟一分解为:A =LDLT ,其中L 为单位下三角阵,D 为对角阵。 证明 因为A 的各阶顺序主子式都不为零,所以A 可惟一分解为:A =LU 因为 ,所以可将 U 分解为: ??????? ??=nn u u u U 2211?????? ? ?? ?? 11122211112 u u u u u u n nn n 1DU = 其中 D 为对角矩阵,U1为单位上三角阵.于是:A =LDU1=L(DU1) 因为A 为对称矩阵,所以,A =AT =U1TDTLT =U1T(DLT),由 A 的 LU 分解的惟一性即得:L =U1T ,即U1=LT ,故A =LDLT 。 工程技术中的许多实际问题所归结出的线性方程组,其系数矩阵常有对称正定性,对于具有此类特殊性质的系数矩阵,利用矩阵的三角分解法求解是一种较好的有效方法,这就是对称正定矩阵方程组的平方根法及改进的平方根法,这种方法目前在计算机上已被广泛应用。 定理3 对称矩阵A 为正定的充分必要条件是A 的各阶顺序主子式大于零。 2 对称正定矩阵的三角分解 定理 (Cholesky 分解)设A 为n 阶对称正定矩阵,则存在惟一的主对角线元素都

二阶线性微分方程解的结构

附录A 线性常微分方程 本课程的研究内容与常微分方程理论有非常密切的联系,因此在本附录里,我们将对线性常微分方程的知识——包括解的存在性、解的结构和求解方法做一些回顾和总结。 把包含未知函数和它的j 阶导数()j y (的方程称为常微分方程。线性常微分方程的标准形式 ()(1)110()()'()()n n n y p x y p x y p x y f x --++++= (A.1) 其中n 称为方程的阶数,()j p x 和()f x 是给定的函数。可微函数()y y x =在区间 I 上满足方程(A.1),则称其为常微分方程(A.1)在 I 上的一个解。,()f x 称为方程(A.1)的自由项,当自由项()0f x ≡时方程(A.1)称为是齐次方程,否则称为非齐次方程。一般来说常微分方程的解是不唯一的,我们将方程的全部解构成的集合称为解集合,解集合中全部元素的一个通项表达式称为方程的通解,而某个给定的解称为方程的特解。 在本附录里,我们重点介绍一阶和二阶常微分方程的相关知识。 A.1 一阶线性常微分方程 一阶线性常微分方程表示为 '()()y p x y f x x I +=∈,. (A.2) 当()0f x ≡,方程退化为 '()0y p x y +=, (A.3) 假设()y x 不恒等于零,则上式等价于 '()y p x y =-

而()'ln 'y y y =,从而(A.3)的通解为 ()d ()p x x y x Ce -?= ( A.4) 对于非齐次一阶线性常微分方程(A.2),在其两端同乘以函数()d p x x e ? ()d ()d ()d '()()p x x p x x p x x e y p x e y e f x ???+= 注意到上面等式的左端 ()d ()d ()d ''()p x x p x x p x x e y p x e y e y ?????+= ??? ‘ 因此有 ()d ()d '()p x x p x x e y e f x ????= ??? ‘ 两端积分 ()d ()d ()d p x x p x x e y C e f x x ??=+?‘ 其中C 是任意常数。进一步有 ()d ()d ()d p x x p x x y e C e f x x -??? ?=+ ??? ?‘ 综上有如下结论 定理A.1 假设()()p x f x I 和在上连续,则一阶线性非齐次常微分方程(A.1)的通解具有如下形式 ()d ()d ()d ()()d p x x p x x p x x y x Ce e e f x x --???=+?‘ (A.5) 其中C 是任意常数。 观察(A.4)式和(A.5)式,我们发现一阶线性非齐次常微分方程(A.1) 的解等于一阶线性齐次常微分方程(A.2)的通解()d p x x Ce -?加上函数

[整理]一阶微分方程解的存在定理.

第三章 一阶微分方程解的存在定理 [教学目标] 1. 理解解的存在唯一性定理的条件、结论及证明思路,掌握逐次逼近法,熟练近似解的误差估计式。 2. 了解解的延拓定理及延拓条件。 3. 理解解对初值的连续性、可微性定理的条件和结论。 [教学重难点] 解的存在唯一性定理的证明,解对初值的连续性、可微性定理的证明。 [教学方法] 讲授,实践。 [教学时间] 12学时 [教学内容] 解的存在唯一性定理的条件、结论及证明思路,解的延拓概念及延拓条件,解对初值的连续性、可微性定理及其证明。 [考核目标] 1.理解解的存在唯一性定理的条件、结论,能用逐次逼近法解简单的问题。 2.熟练近似解的误差估计式,解对初值的连续性及可微性公式。 3.利用解的存在唯一性定理、解的延拓定理及延拓条件能证明有关方程的某些性质。 §1 解的存在性唯一性定理和逐步逼近法 微分方程来源于生产实践际,研究微分方程的目的就在于掌握它所反映的客观规律,能动解释所出现的各种现象并预测未来的可能情况。在第二章介绍了一阶微分方程初等解法的几种类型,但是,大量的一阶方程一般是不能用初等解法求出其通解。而实际问题中所需要的往往是要求满足某种初始条件的解。因此初值问题的研究就显得十分重要,从前面我们也了解到初值问题的解不一定是唯一的。他必须满足一定的条件才能保证初值问题解的存在性与唯一性,而讨论初值问题解的存在性与唯一性在常微分方程占有很重要的地位,是近代常微分方程定性理论,稳定性理论以及其他理论的基础。 例如方程 dy dx =过点(0,0)的解就是不唯一,易知0y =是方程过(0,0)的解,此外,容易验证,2 y x =或更一般地,函数 2 0 0() c<1x c y x c x ≤≤?=?-≤? 都是方程过点(0,0)而且定义在区间01x ≤≤上的解,其中c 是满足01c <<的任一数。 解的存在唯一性定理能够很好地解释上述问题,它明确地肯定了方程的解在一定条件下的存在性 和唯一性。另外,由于能得到精确解的微分方程为数不多,微分方程的近似解法具有重要的意义,而解的存在唯一性是进行近似计算的前提,如果解本身不存在,而近似求解就失去意义;如果存在不唯一,不能确定所求的是哪个解。而解的存在唯一性定理保证了所求解的存在性和唯一性。 1.存在性与唯一性定理: (1)显式一阶微分方程 ),(y x f dx dy = (3.1) 这里),(y x f 是在矩形域:00:||,||R x x a y y b -≤-≤ (3.2)

解线性方程组

解线性方程组的直接法 对方程AX b = , 矩阵A 的维数是m n ?,b 为一给定的m 维向量.则有(1) m n = 恰定方程,寻求精确解;(2) m n >超定方程, 寻求最小二乘解;(3) m n <欠定方程,寻求基本解, 其中至多有m 个非零元素.针对不同的况,MATLAB 将采用不同的算法来求解. 一、超定方程组 当m n >时, 方程组个数比未知数多, 上式为一超定方程组.一般而言, 满足方程AX b =的解将不存在, 方程没有精确解, 在MATLAB 中, 利用左除命令 \X A b =来寻求它的最小二乘解, 即使2 AX b -最小.还可以用广义逆来求, 即 ()*X pinv A b =, 所得的解不一定满足AX b =,X 只是最小二乘意义上的解.左除的方法是建立在奇异值分解基础之上, 由此获得的解最可靠;广义逆法是建立在对原超定方程直接进行householder 变换的基础上,其算法可靠性稍逊于奇异值分解, 但速度快. 二、欠定方程组 当m n <时, 未知数比方程个数多, 上式为一欠定方程组.这时, 满足方程AX b = 的解有无穷多个,MATLAB 只给出其中一个基本解\X A b =, 要得到它的通解,可用函数null 来实现 三、恰定方程组 恰定方程组由n 个未知数, n 个方程构成, 对AX b =在线性代数教科书中, 最常用的方程解法有: (1)利用cramer 公式求解法; (2)利用矩阵求逆解法, 即1X A b -=; (3)利用gauss 消去法; (4)利用LU 分解法求解. 一般来说, 对于维数不高、条件数不大的矩阵, 上面4 种解法所得的结果差别不大.前两种解法的真正意义是在其理论上, 而不是实际的数值计算.而Gauss 消去法, 其本质上利用LU 分解,在MATLAB 中, 出于对算法稳定性的考虑, 行列式及逆矩阵的计算大都在LU 分解的基础上进行.因此, 在MATLAB 中, 求解这类方程组时可直接采用表达式: \X A b =. (LU 分解)若n 阶矩阵A 可逆且顺序主子式不为零, 则A 可以分解为一个单位下三角阵L 和一个上三角阵U 的积A LU =, 并且这种分解是唯一的.由于AX LUX b ==记UX Z =, 则LZ b =, 从而由LZ b =求得\Z L b =, 再由UX Z =求\X U Z =,\(\)X U L b =MATLAB 中, 用[,]()L U lu A =函数求得L ,U , 再用\(\)X U L b =求得解.如果矩阵A 是对称正定矩阵, 可采用Cholesky 分解法, 矩阵Cholesky 分解定理为: 如果A 是对称正定矩阵, 则(至少)存在一个实的下三角矩阵L 使得T A LL =此外, 我们可以限定矩阵L 的对角元素全部为正, 那么, 对应的分解T A LL =是唯一的.在MATLAB 中, 用()L chol A =函数求得L , 再用\('\)X L L b =求得解.Guass 法(LU 分解)和cholesky 法的基础都是把线性方程组的矩阵分解为下三角矩阵和上三角矩阵的乘积, 但对于对称正定矩阵的情形, cholesky 比Gauss 法更加简便.我们也可以使用Householder 法则把矩阵分解为正交矩阵Q 和上三角矩阵R 的乘积, 称为QR 因子分解法.

线性方程组解的判定与解的结构

***学院数学分析课程论文 线性方程组解的判定与解的结构 院系数学与统计学院 专业数学与应用数学(师范) 姓名******* 年级 2009级 学号200906034*** 指导教师 ** 2011年6月

线性方程组解的判定与解的结构 姓名****** (重庆三峡学院数学与计算机科学学院09级数本?班) 摘 要:线性方程组是否有解,用系数矩阵和增广矩阵的秩来刻画.在方程组有解且有 多个解的情况下,解的结构就是了解解与解之间的关系. 关键词:矩阵; 秩; 线性方程组; 解 引言 通过系数矩阵和增广矩阵的秩是否相同来给出判定线性方程组的解的判别条件.在了解了线性方程组的判别条件之后,我们进一步讨论解的结构.对于齐次线性方程组,解的线性组合还是方程组的解.在线性方程组有无穷个解时可用有限多个解表示出来.另外以下还涉及到线性方程组通解的表达方式. 1 基本性质 下面我们分析一个线性方程组的问题,导出线性方程组有解的判别条件. 对于线性方程组 1111221121122222 1122n n n n s s sn n s a x a x a x b a x a x a x b a x a x a x b ++???+=??++???+=???????++???+=? (1) 引入向量 112111s αααα??????=?????????,122222s αααα??????=?????????,…12n n n sn αααα??????=????????? ,12s b b b β?? ?? ??=??????? ?? 方程(1)可以表示为 1122n n x x x αααβ++???+= 性质 线性方程组⑴有解的充分必要条件为向量β可以表成向量组α1,α2,…,αn 的线性组合. 定理1 线性方程组⑴有解的充分必要条件为它的系数矩阵

一阶线性微分方程解的存在唯一性证明

一阶线形微分方程)()(x q y x p dx dy +=解的存在唯一性定理的证明 摘要:从分析方法入手,来证明满足初值条件下一阶线形微分方程解的存在唯一性定理的证明.引言:我们学习了能用初等解法的一阶方程的若干类型,但同时知道大量的一阶方程是不能用初等解法求出它的通解,而实际问题中所需要的往往是要求满足某种初始条件的解,因此对初值问题的研究被提到重要地位,自然要问:初值问题的解是否存在?如果存在是否唯一? 首先,我们令f(x,y)=p(x)y+q(x) 这里f(x,y)是在矩形域 R:b y y a x x ≤-≤-00,上的连续函数. 函数f(x,y)称为在R 上关于y 满足利普希兹条件,如果存在常数L>0使不等式 2121),(),(y y L y x f y x f -≤- 对于所有的R y x y x ∈),(),,(21 都成立,L 称为 利普希兹常数 下面我们给出一阶线形微分方程)()(x q y x p dx dy +=(1)解的存在唯一性定理: 如果f(x,y)=p(x)y+q(x)在R 上连续且关于y 满足利普希兹 条件,则方程(1)存在唯一的解)(x y ?=,定义于区间h x x ≤-0上,连续且满足初始条件: 00)(y x =? 这里 ), min(M b a h = ),(max y x f M = R y x ∈),( 我们采用皮卡的逐步逼近法来证明这个定理,为了简单起见, 只就区间h x x x +≤≤00来讨论,对于00x x h x ≤≤-的讨论完全一样. 现在简单叙述一下运用逐步逼近法证明定理的主要思想,首

先证明求微分方程的初值问题的解等价于求积分方程 []?++=x x dx x q y x p y y 0)()(0的连续解这里我们用f(x,y)=p(x)y+q(x)来替 代,因此也就等价于求积分方程 ?+=x x dx y x f y y 0 ),(0 的连续解,然后 去证明积分方程的解的存在唯一性. 任取一个连续函数)(0x ? 代入上面的积分方程右端的y 就得 到函数 dx x x f y x x x ))(,()(0 001?+≡?? 显然)(1x ?也是连续解,如果)(1x ?≡)(0x ?那么)(0x ?就是积分方 程的解.否则,我们又把)(1x ?代入积分方程右端的y 得到 dx x x f y x x x ))(,()(0 102?+≡?? 如果 ≡)(2x ?)(1x ?,那么)(1x ?就是积分方程的解,否则我们继 续这个步骤.一般地做函数 dx x x f y x x x n n ))(,()(0 10?-+≡?? (2) 这样就得到连续函数序列 )(0x ? ,)(1x ?…)(x n ?… 如果≡+)(1x n ?)(x n ?那么)(x n ?就是积分方程的解,如果始终不发生这种情况,我们可以证明上面的函数序列有一个极限函数)(x ?即 )()(lim x x n n ??=∞ → 存在因此对(2)取极限就得到 dx x x f y x x x n n n n ))(,(lim )(lim 0 10?-∞→∞ →+=?? =dx x x f y x x n n ))(,(lim 0 10?-∞ →+? =dx x x f y x x ))(,(0 0?+? 即 dx x x f y x x x ))(,()(0 0?+≡??

唯一性定理

唯一性定理 蒋文佼(080320124)宋宝璋(080320125)夏世宇 (080320126) 李宝平 (080320127) 章文显 (080320129) 常 悦 (080320130) 1、试用唯一性定理证明:封闭导体壳内部的电场不受壳外电荷(包括壳外表面)的影响。 证:导体壳无论是用电势还是用总电量给定,壳的内外一般存在着四部分电荷。 如图所示,壳内外的电荷分布分别为 ρ 和 ρe ,壳内、外表面 1 S 、2S 上各自的面电荷分布为 σ 和 σe 。壳内外的场是这四 部分电荷共同激发的。 根据定理,首先写出壳内空间电势应满足的条件: (一) 2 ρ?ε ?=- ,ρ 为壳内电荷分布。 (二)壳内表面1S 上的边界条件是:2S 上的总电量 1 s dS q σ=-? (1) 其中 V q dV ρ=? 是壳内的总电量,V 是壳内区域的体积。在壳层 内作一高斯面 0S 后(如图中虚线所示),用高斯定理很容易证明(1) 成立。 因此在给定 ρ 布后, 1S 上边界条件也已经给定为 q - , 和导体壳本身是有电势还是用总电量给定无关。 根据唯一性定理,满足(一)、(二)的 ? 就是解。由于(一) e

和(二)与壳外的 ρe 和 σρ 的电势并不唯一,可以差一个常数。当然当壳用电势 0φ 给定时,1S 上的边界条件就是 1 0|S ?φ= 。所以壳内不但电场唯一,而且电势也是唯一。 2.如图,有一电势为0φ的导体球壳,球心有一点电荷q ,球壳内外半径分别为2R 和1R 。试用唯一性定理: (一)判断0 R φ是否球壳外空间的电势分布。 (二)求球壳内空间的电势分布 解:(一)首先必须找出球内外电势应满足的条件,他们是: (a )2 0??= (b )球壳外表面1S 上的边界条件,1 0s ?=φ (c )无穷远边界条件,0R →∞?→ 若R φ 是解,根据唯一性定理,它必须满足以上三个条件。下面来 检验: 2 2 0010R R φ? =φ?= (0),R ≠ 方程已满足。 0,0,R R φ→∞→ 满足(c )。 S1的半径是R1代入 0R φ 后, 00 R φ≠φ 所以它不满足1S 上的边界条 件,它不是球壳外空间的界,下面求正确的解。由上述可知,函数 A R 同时满足方程和无穷远边界条件。A 为待定常数,可由(b )定出。在面1S 上 0,A R φ=

阶线性微分方程解的结构

阶线性微分方程解的结 构 公司内部编号:(GOOD-TMMT-MMUT-UUPTY-UUYY-DTTI-

附录A 线性常微分方程 本课程的研究内容与常微分方程理论有非常密切的联系,因此在本附录里,我们将对线性常微分方程的知识——包括解的存在性、解的结构和求解方法做一些回顾和总结。 把包含未知函数和它的j 阶导数()j y (的方程称为常微分方程。线性常微分方 程的标准形式 ()(1)110()()'()()n n n y p x y p x y p x y f x --++++= () 其中n 称为方程的阶数,()j p x 和()f x 是给定的函数。可微函数()y y x =在区间 I 上满足方程(),则称其为常微分方程()在 I 上的一个解。,()f x 称为方程()的自由项,当自由项()0f x ≡时方程()称为是齐次方程,否则称为非齐次方程。一般来说常微分方程的解是不唯一的,我们将方程的全部解构成的集合称为解集合,解集合中全部元素的一个通项表达式称为方程的通解,而某个给定的解称为方程的特解。 在本附录里,我们重点介绍一阶和二阶常微分方程的相关知识。 一阶线性常微分方程 一阶线性常微分方程表示为 '()()y p x y f x x I +=∈,. () 当()0f x ≡,方程退化为 '()0y p x y +=, ()

假设()y x 不恒等于零,则上式等价于 而()'ln 'y y y =,从而()的通解为 ()d ()p x x y x Ce -?= ( ) 对于非齐次一阶线性常微分方程(),在其两端同乘以函数()d p x x e ? 注意到上面等式的左端 因此有 两端积分 其中C 是任意常数。进一步有 综上有如下结论 定理 假设()()p x f x I 和在上连续,则一阶线性非齐次常微分方程()的通解具有如下形式 ()d ()d ()d ()()d p x x p x x p x x y x Ce e e f x x --???=+?‘ () 其中C 是任意常数。 观察()式和()式,我们发现一阶线性非齐次常微分方程()的解等于一阶线性齐次常微分方程()的通解()d p x x Ce -?加上函数 ()d ()d *()()d p x x p x x y x e e f x x -??=? 。容易验证,*()y x 是方程()的一个特解。这符合线性方程解的结构规律。 例1 求解一阶常微分方程

(完整版)解线性方程组的消元法及其应用

解线性方程组的消元法及其应用 (朱立平 曲小刚) ● 教学目标与要求 通过本节的学习,使学生熟练掌握一种求解方程组的比较简便且实用的方法—高斯消元法,并能够熟练应用消元法将矩阵化为阶梯形矩阵和求矩阵的逆矩阵. ● 教学重点与难点 教学重点:解线性方程组的高斯消元法,利用消元法求逆矩阵. 教学难点:高斯消元法,利用消元法求逆矩阵. ● 教学方法与建议 先向学生说明由于运算量的庞大,克莱姆法则在实际应用中是很麻烦的,然后通过解具体的方程组,让学生自己归纳出在解方程组的时候需要做的三种变换,从而引出解高阶方程组比较简便的一种方法—高斯消元法,其三种变换的实质就是对增广矩阵的初等行变换,最后介绍利用消元法可以将矩阵化为阶梯形矩阵以及求矩阵的逆。 ● 教学过程设计 1.问题的提出 由前面第二章的知识,我们知道当方程组的解唯一的时候,可以利用克莱姆法则求出方程组的解,但随着方程组阶数的增高,需要计算的行列式的阶数和个数也增多,从而运算量也越来越大,因此在实际求解中该方法是很麻烦的. 引例 解线性方程组 ??? ??=+-=+=++132724524321 21321x x x x x x x x )3()2()1( 解 (1)???→??)2()1(?????=+-=++=+13245247 232132121x x x x x x x x )3()2()1(????→?+-?+-?) 3()2()1()2()4()1(?????-=+-=+=+133524567232 3221x x x x x x )3()2()1(

????→?+-?)3()65 ()2(??????? =--=+=+76 724567233221x x x x x )3()2()1( 用回代的方法求出解即可. 问题:观察解此方程组的过程,我们总共作了三种变换:(1)交换方程次序,(2)以不等于零的数乘某个方程,(3)一个方程加上另一个方程的k 倍.那么对于高阶方程组来说,是否也可以考虑用此方法. 2.矩阵的初等变换 定义1 阶梯形矩阵是指每一非零行第一个非零元素前的零元素个数随行序数的增加而增加的矩阵. 定义2 下面的三种变换统称为矩阵的初等行变换: i. 互换矩阵的两行(例如第i 行与第j 行,记作j i r r ?), ii. 用数0≠k 乘矩阵的某行的所有元素(例如第i 行乘k ,记作i kr ), iii. 把矩阵某行的所有元素的k 倍加到另一行的对应元素上去(例如第j 行的k 倍加到第i 行上,记作j i kr r +). 同理可以定义矩阵的初等列变换. 定义 3 如果矩阵A 经过有限次初等变换变为矩阵B ,则称矩阵A 与B 等价,记作 A ~ B . 注:任意一个矩阵总可以经过初等变换化为阶梯形矩阵. 3. 高斯消元法 对于一般的n 阶线性方程组 ?????? ?=++=+++=+++n n nn n n n n n n b x a x a x a b x a x a x a b x a x a x a ΛΛΛΛΛΛΛΛΛΛΛΛΛΛΛ22112 22221211 1212111 )()2()1(n (3.1) 若系数行列式0det ≠A ,即方程组有唯一解,则其消元过程如下: 第一步,设方程(1)中1x 的系数01≠l a 将方程)(l 与(1)对调,使对调后的第一个方程1x 的系数不为零.作)1(11 1 a a i i - ),3,2(n i Λ=,得到同解方程组 ?? ? ????=++=++=+++)1()1(2)1(2) 1(2 )1(22)1(22)0(1)0(12)0(121)0(11n n nn n n n n n b x a x a b x a x a b x a x a x a ΛΛΛΛΛΛΛΛΛΛΛΛΛ (3.2) 第二步,设0) 1(22≠a ,保留第二个方程,消去它以下方程中的含2x 的项,得

相关主题
文本预览
相关文档 最新文档