版权说明:本文档由用户提供并上传,收益归属内容提供方,若内容存在侵权,请进行举报或认领
文档简介
1、线性微分方程的一般理论 摘要:本文描述了线性微分方程的定义,齐次线性微分方程的解的性质与结构,以及非齐次线性微分方程与常数变易法,给读者展示了线性微分方程的一般理论和解法.关键词:齐次线性微分方程; 朗斯基行列式;通解;基本解组;常数变易法 The General Theory of Linear Differential Equation Abstract:In this paper,we describe the definition of a linear differential equation, the properties and structure of the solutio
2、ns of the homogeneous linear differential equation and nonhomogeneous linear differential equation,showing the readers the linear differential equation method of the general theory of reconciliation.KeyWords: Homogeneous linear differential equation;Lang yankees determinant;General solution;Basic se
3、t of solutions;Method of variation constant前言在微分方程的理论中,线性微分方程是很重要的一部分.线性微分方程是研究非齐次线性微分方程的基础,它在物理、力学和工程技术、自然科学中也有着广泛的应用.因此学习线性微分方程的一般理论是非常有用的.1. 引言先讨论如下的阶线性微分方程, (1)其中及都是区间上的连续函数.如果,则方程(1)变为, (2)我们称它为阶齐次线性微分方程,简称齐次线性微分方程,而称一般的方程(1)为阶非齐次线性微分方程,简称非齐次线性微分方程,并且通常把方程(2)叫做对应于方程(1)的齐次线性方程.首先给出方程(!)的解的存在唯一性定
4、理.定理11 如果及都是区间上的连续函数,则对于任一及任意的,方程(1)存在唯一解,定义于区间上,且满足初值条件,. (3)2. 齐次线性微分方程的解的性质与结构首先讨论齐次线性微分方程. (2) 根据“常数可以从微分号下提出来”以及“和的倒数等于倒数之和”的法则,容易得到齐次线性微分方程的解的叠加原理.定理2(叠加原理) 如果,是方程(2)的个解,则它们的线性组合也是(2)的解,这里,是任意常数. 特别地,当时,即方程(2)有解 (4) 它含有个任意常数.考虑定义在区间上的函数,如果存在不全为零的常数,使得恒等式对于所有都成立,我们称这些函数是线性相关的,否则就成这些函数在所给区间上线性无关
5、.有定义在区间上的个可微次的函数,所做成的行列式成为这些函数的朗斯基行列式.定理3 若函数,在区间上线性相关,则在上它们的朗斯基行列式.证明 有假设知,存在一组不全为零的常数,使得, (5)依次对微分此等式,得到 (6)把(6)和(7)看成关于,的齐次线性代数方程组,它的系数行列式,于是由线性代数理论知道,要此方程组存在非零解,则它的系数行列式必须为零,即.定理证毕.定理4 如果方程(2)的解, ,在区间上线性无关,则在这个区间的任何点上都不等于零,即.证明 采用反证法.设有某个使得.考虑关于,的齐次线性代数方程组 (7)其系数行列式,故(7)有非零解,.先在以这组常数构造函数,根据叠加原理,
6、是方程(2)的解.注意到(7),知道这个解满足初值条件, (8)但是显然也是方程(2)的满足初始条件(8)的解.有解的唯一性,即知,即,.因为,不全为零,这就与, ,线性无关的假设矛盾.定理得证.根据定理3和定理4可以知道,由阶齐次线性微分方程(2)的个解构成的朗斯基行列式或者恒等于零,或者在方程的系数为连续的区间内处处不等于零.定理 52 阶齐次线性微分方程(2)一定存在个线性无关的解.证明 线性微分方程(2)存在满足下列初始条件,;,;,的个解,.又因,于是可知这个解在上线性无关.定理63(通解结构定理) 如果, ,是方程(2)的个线性无关的解,则方程(2)的通解可表为 , (9)其中,是
7、任意常数.且通解(9)包括了方程(2)的所有解.推论 方程(2)的线性无关解的最大个数等于.因此可得结论: 阶齐次线性微分方程的所有解构成一个维线性空间.方程(2)的一组个线性无关解称为方程的一个基本解组.显然,基本解组不是唯一的.特别的,当时称其为标准基本解组.3.非齐次线性微分方程与常数变易法考虑阶非齐次线性微分方程, (1)易见方程(2)是它的特殊形式,首先容易验证如下两个简单性质:性质1 如果是方程(1)的解,而是方程(2)的解,则也是方程(1)的解.性质2 方程(1)的任意两个解之差必为方程(2)的解.有如下定理:定理7 设, ,是方程(2)的基本解组,而是方程(1)的某一解,则方程
8、(1)的通解可表为, (10)其中,是任意常数.而且这个通解(10)包括了方程(1)的所有解.证明 根据性质1易知(10)是方程(1)的解,它包含有个任意常数,像定理6的证明过程一样,不难证明这些常数是彼此独立的,因此,它是方程(1)的通解.现设是方程(1)的任一解,则由性质2,是方程(2)的解,根据定理6,必有一组确定的常数,使得,即 这就是说,方程(1)的任一解可以由(10)表出,其中,为相应的确定常数,由于的任意性,这就证明了通解表达式(10)包括方程(1)的所有解.定理证完. 设, ,是方程(2)的基本解组,因而 (11)为(2)的通解,把其中的任意常数看作的待定函数,这(11)变为
9、. (12)将它代入方程(1),就得到,必须满足的一个方程,但待定函数有个,即,为了确定它们,必须再找出个限制条件,在理论上,这些另加的条件可以任意给出,其法无穷,当然以运算上简便为宜,考虑下面的个条件.对微分等式(12)得,令, 得到. 对微分等式(12),并像上面一样做法,令含有函数的部分等于零,我们又得到一个条件 和表达式. 继续上面做法,在最后一次我们得到第个条件. 和表达式 最后,对微分 得到 现将(12), , ,代入(1),并注意到, ,是方程(2)的解,得到 这样,我们得到了含个未知函数的个方程,它们组成一个线性代数方程组,其系数行列式就是,它不等于零,因而方程的解可以唯一确定,设求得,积分得 ,这里是任意常数.将所得的表达式代入(11)即得方程(1)的解.显然,它并且是方程(1)的通解.为了得到方程的一个解,只需给常数以确定的值.例如,当取时,即得解. 从这里可以看出,如果已知对应的齐次线性微分方程的基本解组,那么非齐次线性微分方程的任一解可由求积得到.因此,对于线性微分方程来说,关键是求出齐次线性微分方程的基本解组.例1 求方程的通解,已知它的对应齐次线性微分方程的基本解组为,.解 应用常数变易法,设为齐次方程的解.则,满足
温馨提示
- 1. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
- 2. 本站的文档不包含任何第三方提供的附件图纸等,如果需要附件,请联系上传者。文件的所有权益归上传用户所有。
- 3. 本站RAR压缩包中若带图纸,网页内容里面会有图纸预览,若没有图纸预览就没有图纸。
- 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
- 5. 人人文库网仅提供信息存储空间,仅对用户上传内容的表现方式做保护处理,对用户上传分享的文档内容本身不做任何修改或编辑,并不能对任何下载内容负责。
- 6. 下载文件中如有侵权或不适当内容,请与我们联系,我们立即纠正。
- 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
最新文档
- 天津财经大学《教师职业理念与职业道德规范》2024-2025学年第二学期期末试卷
- 陇南师范高等专科学校《金属凝固原理及技术》2024-2025学年第二学期期末试卷
- 淮南师范学院《V设计》2024-2025学年第二学期期末试卷
- 重庆商务职业学院《嵌入式系统设计B》2024-2025学年第二学期期末试卷
- 四川大学《期货及期权投资实务》2024-2025学年第二学期期末试卷
- 2026重庆荣昌区市场监督管理局招聘1人考试参考题库及答案解析
- 2026安徽合肥一六八玫瑰园南校教育集团临湖学校教师招聘考试参考试题及答案解析
- 2026湖北大学后勤集团绿化环卫中心招聘8人笔试备考题库及答案解析
- 2026福建莆田城厢区顶墩实验学校初中编外教师招聘笔试备考试题及答案解析
- 2026航天中心医院第一批护理招聘24人考试参考题库及答案解析
- 导游基础知识(中职)全套PPT教学课件
- 文化人类学完整版
- GB/T 14692-2008技术制图投影法
- 六年级上册数学试题 - 分数乘除章节测试 苏教版(图片版)无答案
- 瑞幸CMO杨飞:互联网营销的流量池思维PP课件
- 物业服务企业消防培训课件(法律法规)
- 公共营养师考试试题(含答案)
- 罗氏治疗药物监测(TDM)概述及竞争分析课件
- 特种设备作业人员补(换)证申请表
- 四川大学办公用房管理实施细则
- 高中数学必修二 6.2.1 平面向量的加法运算
评论
0/150
提交评论