这道题求微分方程的通解，一定要写成②的形式么？①那种不行么？为什么？_百度知道
这道题求微分方程的通解，一定要写成②的形式么？①那种不行么？为什么？
我有更好的答案
可以啊，但是你不觉得第一个很复杂吗，解出C1还要带回式子重新算，有个三角就够复杂了还有绝对值跟对数下面这个看上去就很清爽不是吗，解起来也更方便，
采纳率：4%
1中x，y不等于k派，2中x，y为任意值。
微分方程的解的形式不唯一
①再化简一步，就变成②了
这两种形式都可以还是只能用②？
都是可以的
其他1条回答
为您推荐：
其他类似问题
微分方程的相关知识
换一换
回答问题，赢新手礼包
个人、企业类
违法有害信息,请在下方选择后提交
色情、暴力
我们会通过消息、邮箱等方式尽快将举报结果通知您。【图文】常微分方程1.2 解的存在唯一性_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
常微分方程1.2 解的存在唯一性
&&常微分方程及其应用--方法、理论、建模、计算机
周义仓、靳祯、秦军林编
科学出版社
登录百度文库，专享文档复制特权，财富值每天免费拿！
你可能喜欢今天看啥 热点：
应该是第三个吧由y1=sin(x)可知y1为此方程的特解所以x^2 e^2x为方程的通解将第三个合并同类项可以得出 C1 x^2 + C2 e^2x + sinx 这个形式
查看原帖&&
回楼上,此方程是二阶方程,其通解必有两个任意常数,楼主写出的三个通解中,任意常数的个数不是1就是3,所以不对。你这么合并之后,只含有两个常数c1' 和 c2',是对的,但问题是楼主的第三种写法含有三个任意常数,是不能合并的。建议看看课本中关于通解的概念。
查看原帖&&
要是选择题 我就选第三个 呵呵
查看原帖&&
回楼上,我写的C1 x^2 + C2 e^2x + sinx 这个形式和楼主的第三个形式是两码事哦,不一样的
查看原帖&&
任意常数的个数是不能通过合并而减少的
查看原帖&&
楼上的帮看下 ^_^C1 x^2 + C2 e^2x + C3 (x^2 + e^2x ) +sinx=(C1+C3)x^2+(C2+C3)e^2x+sin(x)令C1+C3=C1' C2+C3=C2'
查看原帖&&
考研网是中国最大的考研交流平台，为考研人提供一站式考研资讯服务。
y=3+C/x过程如下：方程的齐次方程：x*dy/dx+y=0;化为：dy/y=-dx/x;得ln|y|=-ln|x|+C;得齐次方程的解为：y=C/x;然后设原方程的通解为：y=h(x)/x;对上式两边积分得：dy/dx=h'(x)/x-h(x)/x^2;将上式代入你的原来的微分方程中，得：h'(x)=3;所以可得：h(x)=3x=C;将上式代入通解y=h(x)/x中，得y=3+C/x;这就是他的通解
y=3+C/x过程如下：方程的齐次方程：x*dy/dx+y=0;化为：dy/y=-dx/x;得ln|y|=-ln|x|+C;得齐次方程的解为：y=C/x;然后设原方程的通解为：y=h(x)/x;对上式两边积分得：dy/dx=h'(x)/x-h(x)/x^2;将上式代入你的原来的微分方程中，得：h'(x)=3;所以可得：h(x)=3x=C;将上式代入通解y=h(x)/x中，得y=3+C/x;这就是他的通解
是微分方程吧！　如果在一个微分方程中出现的未知函数只含一个自变量，这个方程就叫做常微分方程，也可以简单地叫做微分方程。　　一般地说，n 阶微分方程的解含有 n个任意常数。也就是说，微分方程的解中含有任意常数的个数和方程的阶数数相同，这种解叫做微分方程的通解。通解构成一个函数族。　　如果根据实际问题要求出其中满足某种指定条件的解来，那么求这种解的问题叫做定解问题，对于一个常微分方程的满足定解条件的解叫做特解。对于高阶微分方程可以引入新的未知函数，把它化为多个一阶微分方程组。　　常微分方程的特点　　常微分方程的概念、解法、和其它理论很多，比如，方程和方程组的种类及解法、解的存在性和唯一性、奇解、定性理论等等。下面就方程解的有关几点简述一下，以了解常微分方程的特点。　　求通解在历史上曾作为微分方程的主要目标，一旦求出通解的表达式，就容易从中得到问题所需要的特解。也可以由通解的表达式，了解对某些参数的依赖情况，便于参数取值适宜，使它对应的解具有所需要的性能，还有助于进行关于解的其他研究。　　后来的发展表明，能够求出通解的情况不多，在实际应用中所需要的多是求满足某种指定条件的特解。当然，通解是有助于研究解的属性的，但是人们已把研究重点转移到定解问题上来。　　一个常微分方程是不是有特解呢？如果有，又有几个呢？这是微分方程论中一个基本的问题，数学家把它归纳成基本定理，叫做存在和唯一性定理。因为如果没有解，而我们要去求解，那是没有意义的；如果有解而又不是唯一的，那又不好确定。因此，存在和唯一性定理对于微分方程的求解是十分重要的。　　大部分的常微分方程求不出十分精确的解，而只能得到近似解。当然，这个近似解的精确程度是比较高的。另外还应该指出，用来描述物理过程的微分方程，以及由试验测定的初始条件也是近似的，这种近似之间的影响和变化还必须在理论上加以解决。　　现在，常微分方程在很多学科领域内有着重要的应用，自动控制、各种电子学装置的设计、弹道的计算、飞机和导弹飞行的稳定性的研究、化学反应过程稳定性的研究等。这些问题都可以化为求常微分方程的解，或者化为研究解的性质的问题。应该说，应用常微分方程理论已经取得了很大的成就，但是，它的现有理论也还远远不能满足需要，还有待于进一步的发展，使这门学科的理论更加完善。
暂无相关文章
相关搜索：
相关阅读：
相关频道：
电脑知识最近更新2013)期末常微分试卷兼答案_百度文库
两大类热门资源免费畅读
续费一年阅读会员，立省24元！
2013)期末常微分试卷兼答案
&&期末试卷兼答案,复习好帮手
阅读已结束，下载本文需要
想免费下载本文？
定制HR最喜欢的简历
下载文档到电脑，同时保存到云知识，更方便管理
还剩2页未读，继续阅读
定制HR最喜欢的简历
你可能喜欢赞助商链接
当前位置： >>
2013年上海交大工程学院常微分方程考研讲义
第一章绪论[教学目标] 1． 理解常微分方程及其解的概念，能判别方程的阶数、线性与非线性。 2． 掌握将实际问题建立成常微分方程模型的一般步骤。 3． 理解积分曲线和方向场的概念。 [教学重难点] 重点微分方程的基本概念，难点是积分曲线和方向场。 [教学方法] 讲授，实践。 [教学时间] 4 学时 [教学内容] 常微分方程（偏微分方程）的概念，微分方程的阶，隐式方程，显式方程，线性（非线性） 常微分方程；常微分方程的通解，特解，隐式解，初值问题，定解问题，积分曲线和方向场；建立常微分 方程模型的具体方法。 [考核目标] 常微分方程及其解的概念，会建立常微分方程模型。§1 微分方程模型1、微分方程的产生和发展 常微分方程有着深刻而生动的实际背景，它从生产实践与科学技术中产生，又成为现代科学技术分 析问题与解决问题的强有力工具。 该课程是与微积分一起成长起来的学科， 学习泛函分析、 是 数理方程、 微分几何的必要准备， 本身也在工程力学、 流体力学、 天体力学、 电路振荡分析、 工业自动控制以及化学、 生物、经济等领域有广泛的应用。 300 多年前，Newton 与 Leibniz 奠定微积分基本思想的同时,就正式提出了微分方程的概念. 17 世纪末到 18 世纪，常微分方程研究的中心问题是如何求出通解的表达式. 19 世纪末到 20 世纪处,主要研究解的定性理论与稳定性问题. 20 世纪进入新的阶段,定性上升到理论,进一步发展分为解析法、几何方法、数值方法. 解析方法:是把微分方程的解看作是依靠这个方程来定义的自变量的函数. 几何方法:(或定性方法)把微分方程的解看作是充满平面或空间或其局部的曲线族. 数值方法:求微分方程满足一定初始条件(或边界)条件的解的近似值的各种方法. 微分方程差不多是和微积分同时先后产生的，苏格兰数学家耐普尔创立对数的时候，就讨论过微分方 程的近似解。牛顿在建立微积分的同时，对简单的微分方程用级数来求解。后来瑞士数学家雅各布?贝努 利、欧拉、法国数学家克雷洛、达朗贝尔、拉格朗日等人又不断地研究和丰富了微分方程的理论。 常微分方程的形成与发展是和力学、天文学、物理学，以及其他科学技术的发展密切相关的。数学的 其他分支的新发展，如复变函数、李群、组合拓扑学等，都对常微分方程的发展产生了深刻的影响，当前 计算机的发展更是为常微分方程的应用及理论研究提供了非常有力的工具。 牛顿研究天体力学和机械力学的时候，利用了微分方程这个工具，从理论上得到了行星运动规律。后 来，法国天文学家勒维烈和英国天文学家亚当斯使用微分方程各自计算出那时尚未发现的海王星的位置。 这些都使数学家更加深信微分方程在认识自然、改造自然方面的巨大力量。 微分方程的理论逐步完善的时候，利用它就可以精确地表述事物变化所遵循的基本规律，只要列出相 应的微分方程，有了解方程的方法。微分方程也就成了最有生命力的数学分支。 2、微分方程模型 微分方程是数学联系实际问题的重要渠道之一,将实际问题建立成微分方程模型最初并不是数学家 做的,而是由化学家、生物学家和社会学家完成的。实际问题的信息抽象、 简化数学模型求解数学模型解答 答解 释验证实际问题例1物体冷却过程的数学模型将某物体放置于空气中，在时刻 t ? 0 时，测得它的温度为 u0 ? 150 ℃，10 分钟后测得温度为u1 ? 100 ℃.确定物体的温度与时间的关系,并计算 20 分钟后物体的温度.假定空气的温度保持为 ua ? 24 ℃.解 设物体在时刻 t 的温度为 u ? u(t ) ,由牛顿(Neweon)冷却定律可得du ? ?k (u ? ua ) dt(k ? 0, u ? ua )(1.1)这是关于未知函数 u 的一阶微分方程,利用微积分的知识将(1.1)改为du ? ?kdt u ? ua两边积分,得到?(1.2)? ln(u ? ua ) ? ?kt ? c? c 为任意常数(1.3)令 ec ? c ,进而 u ? ua ? ce?kt 根据初始条件, 当 t ? 0 时, 于是u ? u0 ,得常数 c ? u0 ? ua (1.4)u ? ua ? (u0 ? ua )e?kt再根据条件 t ? 10 分钟时, u ? u1 ,得到u1 ? ua ? (u0 ? ua )e?10kk?1 u0 ? ua ln 10 u1 ? ua将 u0 ? 150, u1 ? 100, ua ? 24 代入上式,得到k?1 150 ? 24 1 ln ? ln1.66 ? 0.051 10 100 ? 24 10(1.5)?0.051t 从而, u ? 24 ? 126e由方程(1.5)得知,当 t ? 20 分钟时,物体的温度 u2 ? 70 ℃,而且当 t ??? 时, u ? 24 ℃. 温度与时间的关系也可通过图形表示出来.如图(1.1). 可解释为：经过一段时间后，物体的温度和空气的 温度将会没有什么差别了.事实上，经过 2 小时后，物体的温度已变为 24℃，与空气的温度已相当接近.法 律破案判断尸体的死亡时间就是用这一冷却过程的函数关系来判断的.例 2 动力学问题 物体由高空下落,除受重力作用外,还受到空气阻力的作用,空气的阻力可看作与速度的平方成正比, 试确定物体下落过程所满足的关系式. 解 设物体质量为 m ，空气阻力系数为 k ，又设在时刻 t 物体的下落速度为 v ,于是在时刻 t 物体所受 的合外力为 F ? mg ? kv2 ,建立坐标系,取向下方向为正方向,根据牛顿第二定律得到关系式mdv ? mg ? kv 2 dt(1.6)而且, 满足初始条件 t ? 0 时, v ? 0 (1.7) 例 3 电力学问题 在如图(1.2)所示的 R ? L ? C 电路,它包括电感 L 、电阻 R 和电容 C .设 R 、 L 、 C 均为常数,电源e(t ) 是时间 t 的已知函数,建立当开关 K 合上后,电流 I 应满足的微分方程.dI Q 、 RI 和 ，其中 Q 为电量，由基尔霍 dt C（1.8）解经过电感 L 、电阻 R 和电容 C 的电压降分别为： L夫第二定律得到e(t ) ? L因为 I ?dI Q ? RI ? dt CdQ ，于是有 dtd 2 I R dI I 1 de(t ) ? ? ? 2 dt L dt LC L dt这就是电流 I 应满足的微分方程.如果 e(t ) =常熟，得到（1.9）d 2 I R dI I ? ? ?0 2 dt L dt LC如果又有 R ? 0 ，则得到（1.10）d 2I I ? ?0 2 dt LC（1.11）例 4 人口模型 英国人口统计学家马尔萨斯 （Malthus） 1798 年提出了闻名于世的 Malthus 人口模型的基本假设是： 在 在人口自然增长的过程中，净相对增长率（单位时间内人口的净增长数与人口总数之比）是常数，记此常 数为 r （生命系数）. 在 t 到 t ? ?t 这段时间内人口数量 N ? N (t ) 的增长量为N (t ? ?t ) ? N (t ) ? rN (t )?t （ ?t ? 1, r ?于是 N (t ) 满足微分方程N (t ? ?t ) ? N (t ) ） N (t )dN ? rN dt将上式改写为（1.12）dN ? rdt N于是变量 N 和 t 被“分离” ，两边积分得? ln N ? rt ? cN ? certc 其中 c ? e 为任意常数.（因为 N ? 0 也是方程（1.17）的解. ?（1.13）如果设初始条件为t ? t0 时, N (t ) ? N0代入上式可得 c ? N0e? rt0（1.14），.即方程（1.17）满足初值条件（1.19）的解为N (t ) ? N0er (t ?t0 )（1.15）如果 r ? 0 ， 上式说明人口总数 N (t ) 将按指数规律无限增长.将时间 t 以 1 年或 10 年离散化， 那么可以说， 人口数是以 er 为公比的等比数列增加的. 当人口总数不大时， 生存空间、 资源等极充裕， 人口总数指数的增长是可能的.但当人口总数非常大时， 指数增长的线性模型则不能反映这样一个事实；环境所提供的条件只能供养一定数量的人口生活，所以 Malthus 模型在 N (t ) 很大时是不合理的. 荷兰生物学家 Verhulst 引入常数 N m （环境最大容纳量）表示自然资源和环境条件所容纳的最大人口 数，并假设净相对增长率为 r ? 1 ?? ?N (t ) ? ? ，即净相对增长率随 N (t ) 的增加而减少，当 N (t ) ? Nm 时，净 Nm ?增长率 ? 0 . 按此假定，人口增长的方程应改为? dN N ? ? r ?1 ? ?N dt ? Nm ?（1.16）rN 2 N 相比很大时， 这就是 Logistic 模型.当 N m 与 与 rN 相比可以忽略， 则模型变为 Malthus 模型； N m 但 Nm与 N 相比不是很大时，rN 2 这一项就不能忽略，人口增长的速度要缓慢下来.我们用 Logistic 模型.来预测 Nm地球未来人数，某些人口学家估计人口自然增长率为 r ? 0.029, 而统计得世界人口在 1960 年为 29.8 亿，增长率为 1.85%，由 Logistic 模型.（1.21） ，有 0.0185 ? 0.029 ? ?1 ?? ?29.8 ?108 ? 8 ? ，可得 Nm ? 82.3?10 ， Nm ?即世界人口容量 82.3 亿，以（1.21）式右端为二项多项式，以 N ? 增加；当 N ?Nm N 为顶点，当 N ? m 时人口增长率 2 2Nm N 8 时人口增长率减少，即人口增长到 m ? 41.15 ?10 时增长率将逐渐减少.这与人口在 2 220 世纪 70 年代为 40 亿左右时增长率最大的统计结果相符. 小结：从以上的讨论可以看出，将实际问题转化为数学模型这一事实，这正是许多应用数学工作者和 工程应用模拟方法解决物理或工程问题的理论根据.以上我们只举出了常微分方程的一些简单的实例,其实 在自然科学和技术科学的其它领域中，都提出了大量的微分方程问题.所以说，社会的生产实践是微分方程 理论取之不尽的基本源泉.此外， 常微分方程与数学的其它分支的关系也是非常密切的， 它们往往互相联系、 互相促进.例如，几何学就是常微分方程理论的丰富的源泉之一和有力工具. 考虑到常微分方程是一门与实 际联系比较密切的数学基础课程，我们自然应该注意它的实际背景与应用；.而作为一门数学基础课程，我 们又应该把重点放在应用数学方法研究微分方程本身的问题上.因此，在学习中，不应该忽视课程中所列举 的实际例子以及有关的习题，并从中注意培养解决实际问题的初步能力.但是，按照课程的要求，我们要把 主要精力集中到弄清常微分方程的一些基本理论和掌握各种类型方程的求解方法这两方面来，这是本课程 的重点，也是我们解决实际问题的必要工具.而解决的过程为： （1）建立方程;（2）求解方程;（3）分析问 题.关键的是第一步，即对所研究问题，根据已知定律公式以及某些等量关系列出微分方程和相应的初始 条件.如果指出了由微分方程所确定的未知函数的求法，那么未知量间的关系便找到了.寻求微分方程所确 定的未知函数是微分方程理论的基本问题.§2基本概念1、常微分方程和偏微分方程 微分方程：将自变量、未知函数以及它的导数联系起来的关系式. 常微分方程： 只含一个自变量的微分方程. 偏微分方程：自变量的个数为两个或两个以上的微分方程. 方程d2y dy ? b ? cy ? f (t ) 2 dt dt（1.17）dy ? dy ? ? ? ?t ? y ? 0 dt ? dt ?d2y g ? sin y ? 0 dt 2 l是常微分方程的例子， y 是未知函数，仅含一个自变量 t . 方程2（1.18）（1.19）? 2T ? 2T ? 2T ? ? ?0 ?x 2 ?y 2 ?z 2? 2T ? 2T ?4 2 ?x 2 ?t（1.20）（1.21）是偏微分方程的例子， T 是未知函数， x, y, z , t 是自变量. 微分方程的阶数：微分方程中出现的最高阶导数的阶数. 例如，方程（1.17）（1.19）是二阶的常微分方程，而方程（1.20）（1.21）是二阶的偏微分方程. 、 、 一般的 n 阶微分方程具有形式F ( x, y,dy dny ,? , )?0 dx dx n（1.22）这里 F ( x, y,dy dny dny dny dy ,? , ) 是x、y 、 、?、 的已知函数，而且一定含有 ；y dx dx dx n dx n dx n是未知函数， x 是自变量. 2、线性和非线性 如果微分方程对于未知函数及它的各阶导数的有理整式的整体而言是一次的，称为线性微分方程， 否则是非线性微分方程.如：d2y dy ?y ?t 2 dt dt是非线性微分方程，而（1.17）是一个二阶的线性微分方程. 一般的 n 阶线性微分方程具有形式（1.23）dny d n ?1 y dy ? a1 ( x) n ?1 ? ? ? an?1 ( x) ? an ( x) y ? f ( x) n dx dx dx这里 a1 ( x), a2 ( x),?, an ( x), f ( x) 是 3、解和隐式解（1.24）x 的已知函数.微分方程的解：满足微分方程的函数称为微分方程的解.即若函数 y ? ? ( x ) 代入式（1.22）中，使 其成为恒等式，称 y ? ? ( x) 为方程（1.22）的解.d2y ? ? 2 y ? 0 的解 例如容易验证 y ? cos ? x 是方程 2 dx如果关系式 ?( x, y) ? 0 决定的隐函数 y ? ? ( x ) 为方程（1.22）的解，称 ?( x, y) ? 0 是 方程（1.22）的隐式解.例如，一阶微分方程dy x ?? dx y有解 y ?1 ? x 2 和 y ? ? 1 ? x 2 ；而关系式 x 2 ? y 2 ? 1是方程的隐式解.4、通解和特解 通解： 具有 n 个独立的任意常数 c1 , c2 ,?, cn 的解 y ? ? ( x, c1 , c2 ,?, cn ) 称为方程 （1.22） 的通解. 注：所谓函数 y ? ? ( x, c1 , c2 ,?, cn ) 含有 n 个独立常数，是指存在 ( x, c1 , c2 ,?, cn ) 的某一邻域，使得行列式?? ?c1 ?? ? ?c1 ? ?? ( n ?1) ?c1其中 ?(k )?? ?c2 ?? ? ?c2 ? ?? ( n ?1) ?c2? ??? ?cn ?? ? ?cn ? ?? ( n ?1) ?cn?0?? k? ? k . ?x特解：方程满足特定条件的解. 定解问题：求方程满足定解条件的求解问题.定解条件分为初始条件和边界条件，相应的定解问题分 为初值问题和边值问题. 一般地，初值问题为? F ( x, y, y?,? , y ( n ) ) ? 0 ? ? (1) ( n ?1) ( ( x0 ) ? y0n ?1) ? y ( x0 ) ? y0 , y?( x0 ) ? y0 ,? , y ?特解可以通过初始条件限制，从通解中确定任意常数而得到,如例 1 中，含有一个任意常数 c 的解u ? ua ? ce?kt就是一阶方程（1.1）的通解；而u ? ua ? (u0 ? ua )e?kt就是满足初始条件t ? 0, u ? u0的特解. 5、积分曲线和方向场 一阶微分方程dy ? f ( x, y ) dx（1.25）的解 y ? ? ( x) 是 xy 平面上的一条曲线， 将它称为微分方程的积分曲线； 而方程 （1.20） 的通解 y ? ? ( x, c) 对应于 xy 平面上的一族曲线，称为方程的积分曲线族；满足初始条件 y( x0 ) ? y0 的特解就是通过点( x0 , y0 ) 的一条积分曲线.方程 （1.25） 的积分曲线上每一点 ( x, y ) 的切线斜率 积分曲线的每一点 ( x, y ) 及这点上的切线斜率dy 刚好等于函数 f ( x, y) 在这点的值， 也就是说， dxdy 恒满足方程（1.25） ；反之，如果一条曲线上每点的切线 dx斜率刚好等于函数 f ( x, y) 在这点的值，则这一条曲线就是方程（1.25）的积分曲线.设函数 f ( x, y) 的定义域为 D ，在 D 内每一点 ( x, y ) 处， 画上一小线段，使其斜率恰好为 f ( x, y) ， 将这种带有小线段的区域 D 称为由方程（1.25）所规定的方向场. 在方向场中，方向相同的点的几何轨迹称为等斜线.微分方程（1.25）的等斜线方程为f ( x, y) ? k例 5 解 等斜线.（1.26）dy ? 2x dx积分曲线族是 y ? x2 ? c ， y? ? 2 x ? 0 ，即 x ? 0 是极值线， y? ? 2 x ? k(k ? 0, ?1,?) 是例 6（习题 7）微分方程 4 x2 y '2 ? y 2 ? xy3 ，证明其积分曲线关于坐标原点 (0, 0) 成中心对称的曲线， 也是微分方程的积分曲线. 证 设 L : y ? f ( x), x ?[a, b] 是微分方程的一条积分曲线，则满足4x2 [ f ' (x 2 ? f2 x? ) x 3f )] ((x ?x ),a b ] [ ,(1.27)而 L 关于 (0, 0) 成中心对称曲线 L' : y ? ? f (? x) ? F ( x), x ?[?b, ?a], ? x ?[a, b] ， 所以有 F '( x) ? f '(? x) , x ?[?b, ?a] 当 x ?[?b, ?a] , ? x ? [a, b] ,由(1.27)式可知4(? x)2[ f '(? x)]2 ? f 2 (? x) ? ? xf 3 (? x)即 4 x2 [ F '( x)]2 ? F 2 ( x) ? xF 3 ( x) 所以 F ( x) 满足微分方程，故 F ( x) 为微分方程的积分曲线.并且相对于 L 关于原点 (0, 0) 成中心对称曲线.第二章、一阶微分方程的初等解法[教学目标] 1. 理解变量分离方程以及可化为变量分离方程的类型（齐次方程） ，熟练掌握变量分离方程的解法。 2. 理解一阶线性微分方程的类型，熟练掌握常数变易法及伯努力方程的求解。 3. 理解恰当方程的类型，掌握恰当方程的解法及简单积分因子的求法。 4. 理解一阶隐式方程的可积类型，掌握隐式方程的参数解法。 [教学重难点] 重点是一阶微分方程的各类初等解法 ，难点是积分因子的求法以及隐式方程的解法。 [教学方法] 讲授，实践。 [教学时间] 14 学时 [教学内容] 变量分离方程，齐次方程以及可化为变量分离方程类型，一阶线性微分方程及其常数变易法， 伯努利方程，恰当方程及其积分因子法，隐式方程。 [考核目标] 1.一阶微分方程的初等解法：变量分离法、一阶线性微分方程的常数变易法、恰当方程与积分因子法、一 阶隐方程的参数解法。 2.会建立一阶微分方程并能求解。§11、 变量分离方程1) 变量分离方程 形如变量分离方程与变量变换dy ? f ( x) g ( y ) dx(或 M1 ( x) N1 ( y)dx ? M 2 ( x) N2 ( y)dy ? 0 )（2.1）的方程，称为变量分离方程，其中函数 f ( x ) 和 g ( y ) 分别是 x, y 的连续函数. 2) 求解方法 如果 g ( y) ? 0 ，方程(2.1)可化为，dy ? f ( x)dx g ( y)这样变量就分离开了,两边积分,得到? g ( y) ? ? f ( x)dx ? c把dy（2.2）? g ( y) , ? f ( x)dx 分别理解为 ? ( y) , f ( x) 的某一个原函数.容易验证由（2.2）所确定的隐函数 y ? ? ( x, c) 满足方程（2.1）.因而（2.2）是（2.1）的通解. 如果存在 y0 使 g ( y0 ) ? 0 ，可知 y ? y0 也是（2.1）的解.可能它不包含在方程的通解（2.2）中，必须dy1予以补上. 3) 例题例 1 求解方程 解dy x ?? dx y将变量分离，得到ydy ? ? xdx两边积分，即得y2 x2 c ?? ? 2 2 2因而，通解为x2 ? y 2 ? c或解出显式形式这里的 c 是任意的正常数.y ? ? c ? x2例 2 解方程dy ? y 2 cos x dx并求满足初始条件：当 x ? 0 时. y ? 1 的特解. 解 将变量分离，得到dy ? cos xdx y2两边积分，即得?因而，通解为1 ? sin x ? c y1 sin x ? cy??这里的 c 是任意的常数.此外，方程还有解 y ? 0 . 为确定所求的特解，以 x ? 0 . y ? 1 代入通解中确定常数 c ，得到 因而，所求的特解为c ? ?1y?例 3 求方程1 1 ? sin x（2.3）dy ? P( x) y dx的通解，其中 P ( x) 是 x 的连续函数. 解 将变量分离，得到dy ? P( x)dx y两边积分，即得? ln y ? ? P ( x )dx ? c? 这里的 c 是任意常数.由对数的定义，即有y ? e?即? P ( x ) dx ? cy ? ?ec ?e ??P ( x ) dx令 ?e ? c ，得到? cy ? ce ?P ( x ) dx（2.4）此外， y ? 0 也是（2.3）的解.如果在（2.4）中允许 c ? 0 ，则 y ? 0 也就包括在（2.4）中，因而， （2.3） 的通解为（2.4） ，其中 c 是任意常数. 注: 1.常数 c 的选取保证(2.2)式有意义. 2. 搪瓷反应釜、方程的通解不一定是方程的全部解,有些通搪瓷搅拌器解包含了方程的所有解，有些 通解不能包含方程的所有解.此时，还应求出不含在通解中的其它解, 即将遗漏的搪瓷搅拌器解要弥补上. 搪瓷反应釜、搪玻璃反应罐、搪瓷搅拌器 ( 具体参照 www.tangboli.com.cn 的解释) 3.微分方程的通解表示的是一族曲线，而特解表示的是满足特定条件 y( x0 ) ? y0 的一个解，表示的是 一条过点 ( x0 , y0 ) 的曲线.2、可化为变量分离方程的类型1）.形如dy ? y? ? g? ? dx ?x?的方程，称为齐次方程，这里的 g (u ) 是 u 的连续函数.（2.5）另外,)对于方程dy M ( x, y ) ? dx N ( x, y )其中函数 M ( x, y ) 和 N ( x, y) 都是 x 和 y 的 m 次齐次函数，即对 t ? 0 有M (tx, ty) ? t m M ( x, y)事实上，取 t ?N( t x t y , ) ?mt N ,x )y (1 ，则方程可改写成形如(2.5)的方程. xy y x m M (1, ) M (1, ) dy x ? x ? y y dx x m N (1, ) N (1, ) x x)对方程dy ? f ( x, y ) dx其中右端函数 f ( x, y) 是 x 和 y 的零次齐次函数，即对 t ? 0 有f (tx, ty) ? f ( x, y)则方程也可改写成形如(2.5)的方程dy y ? f (1, ) dx x对齐次方程（2.5）利用变量替换可化为变量分离方程再求解. 令u ? 即 y ? ux ，于是y x（2.6）dy du ?x ?u dx dx将（2.6）（2.7）代入（2.5） 、 ，则原方程变为（2.7）x整理后，得到du ? u ? g (u ) dx du g (u ) ? u ? dx x（2.8）方程（2.8）是一个可分离变量方程，按照变量分离法求解，然后将所求的解代回原变量，所得的解便是原 方程（2.5）的解.dy y y ? ? tg dx x x y dy du ?x ? u 代入，则原方程变为 解 这是齐次方程，以 ? u , x dx dx du x ? u ? u ? tgu dx例 4 求解方程 即du tgu ? dx x分离变量，即有（2.9）ctgudu ?两边积分，得到dx x? ln sin u ? ln x ? c? 这里的 c 是任意的常数，整理后，得到sin u ? cx（2.10） 此外，方程（2.9）还有解 tgu ? 0 ,即 sin u ? 0 . 如果（2.10）中允许 c ? 0 ，则 sin u ?0 就包含在（2.10）中，这就是说，方程（2.9）的通解为（2.10）. 代回原来的变量，得到原方程的通解为sin例 5 求解方程 x 解 将方程改写为y ? cx x ( x ? 0).dy ? 2 xy ? y dxdy y y ?2 ? dx x x这是齐次方程，以( x ? 0)y dy du ? u, ?x ? u 代入，则原方程变为 x dx dx du x ?2 u dx（2.11）分离变量，得到du dx ? x 2 u两边积分，得到（2.11）的通解u ? ln(? x) ? c即u ? [ln(? x) ? c]2(ln(? x) ? c ? 0)(2.12)这里的 c 是任意常数.此外， （2.11）还有解 u ? 0 注意，此解不包括在通解（2.12）中. 代回原来的变量，即得原方程的通解y ? x l n? x ) c ] [ ( ? 2原方程的通解还可表为( l? x ? ) ? 及解 y ? 0 . n( c 0)? x[ln(? x) ? c]2 , ln(? x) ? c ? 0, y?? ?0,它定义于整个负半轴上. 注：1.对于齐次方程y dy ? y? ? g ? ? 的求解方法关键的一步是令 u ? 后，解出 y ? ux ，再对两边求关 x dx ?x?于 x 的导数得dy du ?u?x ，再将其代入齐次方程使方程变为关于 u , x 的可分离方程. dx dx2.齐次方程也可以通过变换 v ?x 而化为变量分离方程.这时 x ? vy ，再对两边求关于 y 的导数得 y?x? dx dx dv ? v ? y ，将其代入齐次方程 ? f ? ? 使方程变为 v , y 的可分离方程 dy dy dy ? y?小结：这一讲我们主要讲解了一阶微分方程的可分离变量法和齐次方程的dy ? y? ? g ? ? 形状的解法.而 dx ?x?这一齐次方程通过变量替换任然可化为可分离方程，因而，一定要熟练掌握可分离方程的解法. 2）形如dy a1 x ? b1 y ? c1 ? dx a2 x ? b2 y ? c2的方程经变量变换化为变量分离方程，这里的 a1 , a2 , b1, b2 , c1, c2 均为常数. 分三种情况来讨论 （1） c1 ? c2 ? 0 情形. 这时方程（2.13）属齐次方程，有（2.13）dy a1 x ? b1 y ? y? ? ? g? ? dx a2 x ? b2 y ?x?此时，令 u ?y ，即可化为变量可分离方程. x（2）a1 a2b1 a b ? 0 ，即 1 ? 1 的情形. b2 a2 b2设a1 b1 ? ? k ，则方程可写成 a2 b2 dy k (a2 x ? b2 y ) ? c1 ? ? f (a2 x ? b2 y ) dx (a2 x ? b2 y ) ? c2令 a2 x ? b2 y ? u ，则方程化为du ? a2 ? b2 f (u ) dx这是一变量分离方程. （3）a1b1a2 b2? 0及c1 , c2 不全为零的情形.这时方程（2.13）右端的分子、分母都是 x, y 的一次式，因此? a1 x ? b1 y ? c1 ? 0 ? ?a2 x ? b2 y ? c2 ? 0代表 xy 平面上两条相交的直线，设交点为 (? , ? ) .（2.14）显然，? ? 0 或 ? ? 0 ， 否则必有 c1 ? c2 ? 0 ， 这正是情形 （只需进行坐标平移， （1） 将坐标原点 (0, 0) 移至 (? , ? ) 就行了，若令?X ? x ?? ? ?Y ? y ? ?则（2.14）化为（2.15）? a1 X ? b1Y ? 0 ? ? a2 X ? b2 y ? 0从而（2.13）变为dY a1 X ? b1Y ?Y ? ? ? g? ? dX a2 X ? b2Y ?X?因此，得到这种情形求解的一般步骤如下： (1)解联立代数方程（2.14） ，设其解为 x ? ? , y ? ? ； (2)作变换（2.15）将方程化为齐次方程（2.16） ； (3)再经变换 u ?（2.16）Y 将（2.16）化为变量分离方程； X(4)求解上述变量分离方程，最后代回原变量可得原方程（2.13）的解. 上述解题的方法和步骤也适用于比方程（2.13）更一般的方程类型? a x? b y dy 1 ? ?f? 1 dx ? a2 x ? b 2y ? c此外，诸如1? c ? 2 ?dy f (ax ? by ? c ) dxy( xy)dx ? xg ( xy)dy ? 0x2dy ? f ( xy ) dxdy ? y? ? xf ? 2 ? dx ?x ?以及M ( x, y)( xdx ? ydy) ? N ( x, y)( xdy ? ydx) ? 0（其中 M , N 为 x, y 的齐次函数，次数可以不相同）等一些方程类型，均可通过适当的变量变换化为变量 分离方程. 例6 求解方程dy x y1 ? ? ? dx x y3 ? ?解 解方程组（2.17）?x ? y ?1 ? 0 ? ?x ? y ? 3 ? 0得 x ? 1, y ? 2.令??x ? X ?1 ?y ? Y ? 2dY X ? Y ? dX X ? Y代入方程（2.17） ，则有 （2.18）再令u?则（2.18）化为Y X即Y ? uXdX 1? u ? du X 1 ? 2u ? u 2两边积分，得? ln X 2 ? ? ln u 2 ? 2u ? 1 ? c因此X 2 (u 2 ? 2u ?1) ? ?ec记 ?e ? c1 , 并代回原变量，就得? c?Y 2 ? 2 XY ? X 2 ? c1 ( y ? 2)2 ? 2( x ?1)( y ? 2) ? ( x ?1)2 ? c1此外，易验证u 2 ? 2u ? 1 ? 0即Y 2 ? 2 XY ? X 2 ? 0也就是（2.18）的解.因此方程（2.17）的通解为y 2 ? 2 xy ? x2 ? 6 y ? 2 x ? c其中 c 为任意的常数.3、 应用举例例 7 电容器的充电和放电如图（2.1）所示的 R ? C 电路，开始时电容 C 上没有电荷，电容两端的电 压为零.把开关 K 合上“1”后，电池 E 就对电容 C 充电，电容 C 两端的电压 uC 逐渐升高，经过相当时间 后，电容充电完毕，再把开关 K 合上“2” ，这时电容就开始放电过程，现在要求找出充、放电过程中，电 容 C 两端的电压 uC 随时间 t 的变化规律. 解 对于充电过程，由闭合回路的基尔霍夫第二定理，uc ? R I? E对于电容 C 充电时，电容上的电量 Q 逐渐增多，根据 Q ? CuC ，得到（2.19）I?du dQ d ? (CuC ) ? C C dt dt dt（2.20）将（2.20）代入（2.19） ，得到 uc 满足的微分方程RCduc ? uc ? E dt（2.21）这里 R 、 C 、 E 都是常数.方程（2.21）属于变量分离方程.将（2.21）分离变量，得到duC dt ?? uC ? E RC两边积分，得到ln uC ? E ? ?即1 t ? c1 RC? 1 t RCuC ? E ? ?ec1 e这里 c2 ? ?ec1 为任意常数.? c2e?1 t RC将初始条件： t ? 0 时， uC ? 0 代入，得到 c2 ? ? E . 所以uC ? E (1 ? e?1 t RC)（2.22）这就是 R ? C 电路充电过程中电容 C 两端的电压的变化规律.由（2.22）知道，电压 uC 从零开始逐渐 增大，且当 t ??? 时，uC ? E ，在电工学中，通常称 ? ? RC 为时间常数，当 t ? 3? 时，uC ? 0.95E ， 就是说，经过 3? 的时间后，电容 C 上的电压已达到外加电压的 95%.实用上，通常认为这时电容 C 的充电 过程已基本结束.易见充电结果 uC ? E . 对于放电过程的讨论，可以类似地进行. 例8 探照灯反射镜面的形状 在制造探照灯的反射镜面时，总是要求将点光源射出的光线平行地射出去，以保证照灯有良好的方向 性，试求反射镜面的几何形状. 解 取光源所在处为坐标原点，而 x 轴平行于光的反射方向，设所求曲面由曲线? y ? f ( x) ? ?z ? 0（2.23）绕 x 轴旋转而成，则求反射镜面的问题归结为求 xy 平面上的曲线 y ? f ( x) 的问题,仅考虑 y ? 0 的部分,过 曲线 y ? f ( x) 上任一点 M ( x, y ) 作切线 NT ，则由光的反射定律：入射角等于反射角，容易推知?1 ? ?2从而OM ? ON注意到dy MP ? tg? 2 ? dx NP及 OP ? x, MP ? y, OM ?x2 ? y 2就得到函数 y ? f ( x) 所应满足的微分方程式dy y ? dx x ? x2 ? y 2这是齐次方程.由 2.12 知引入新变量 u ?（2.24）x 可将它化为变量分离方程.再经直接积分即可求得方程的解. y x dx dv 而化为变量分离方程也可由 x ? yv 得 代 ?v? y y dy dy对于方齐次方程 （2.24） 也可以通过变换 v ? 入（2.24）得到v? y于是dv ? v ? sgn y ? 1 ? v 2 dydy dv ? sgn y ? y 1 ? v2积分（2.25）并代回原来变量，经化简整理，最后得（2.25）y 2 ? c(c ? 2 x)其中 c 为任意常数. （2.26）就是所求的平面曲线，它是抛物线，因此，反射镜面的形状为旋转抛物面（2.26）y 2 ? z 2 ? c(c ? 2x)（2.27）小结: 本节我们主要讨论了一阶可分离微分方程和齐次微分方程的求解问题.将各种类型的求解步骤 记清楚的同时要注意对解的讨论.§2 线性方程与常数变易法1、一阶线性微分方程a( x)在 a( x) ? 0 的区间上可以写成dy ? b( x ) y ? c ( x ) ? 0 dxdy ? P( x) y ? Q( x) dx（2.28）对于 a( x) 有零点的情形分别在 a( x) ? 0 的相应区间上讨论.这里假设 P( x), Q( x) 在考虑的区间上是 x 的连续函数. 若 Q( x) ? 0 ， （2.28）变为dy ? P( x) y dx称为一阶齐线性方程. 若 Q( x) ? 0 ， （2.28）称为一阶非齐线性方程.（2.3）2、常数变易法（2.3）是变量分离方程，已在例 3 中求得它的通解为y ? ce ?P ( x ) dx（2.4）这里 c 是任意的常数. 下面讨论一阶非齐线性方程（2.28）的求解方法. 方程(2.3)与方程(2.28)两者既有联系又有区别,设想它们的解也有一定的联系,在(2.4)中 c 恒为常 数时,它不可能是(2.28)的解,要使(2.28)具有形如(2.4)的解,c 不再是常数,将是 x 的待定函数 c( x) ,为此令（2.29）y ? c ( x )e ?两边微分，得到P ( x ) dxP ( x ) dx dy dc( x) ? P ( x ) dx ? e ? c ( x ) P ( x )e ? dx dx（2.30）将（2.29）（2.30）代入（2.28） 、 ，得到P ( x ) dx P ( x ) dx dc( x) ? P ( x ) dx e ? c ( x ) P ( x )e ? ? P ( x )c ( x )e ? ? Q( x) dx即? P ( x ) dx dc( x) ? Q ( x )e ? dx积分后得到? P ( x ) dx ? c ( x ) ? ? Q( x ) e ? dx ? c（2.31）? 这里 c 是任意的常数..将（2.31）代入（2.29） ，得到y ? e? ? Q( x)e ? ? P ( x ) dx dx ? c ? ?? ?? ? ? P ( x ) dx P ( x ) dx ? ? P ( x ) dx ? =ce ? ? e? Q ( x )e dxP ( x ) dx（2.32）?这就是方程（2.28）的通解. 这种将常数变易为待定函数的方法， 通常称为常数变易法.实际上常数变易法也是一种变量变换的方法. 通过变换（2.29）可将方程（2.28）化为变量分离方程. 注: 非齐线性方程的通解是它对应的齐线性方程的通解与它的某个特解之和. 例1 解 求方程 ( x ? 1) 将方程改写为dy ? ny ? e x ( x ? 1) n ?1 的通解，这里的 n 为常数. dxdy n ? y ? e x ( x ? 1) n dx x ? 1先求对应的齐次方程（2.33）dy n ? y?0 dx x ? 1的通解，得y ? c( x ? 1)n令 微分之，得到y ? c( x)( x ? 1)ndy dc( x) ? ( x ? 1) n ? n( x ? 1)c( x) dx dx（2.34）（2.35）以（2.34）（2.35）代入（2.33） 、 ，再积分，得? c( x) ? e x ? c将其代入公式（2.34） ，即得原方程的通解? y ? ( x ? 1)n (ex ? c)? 这里 c 是任意的常数.例 2 求方程 解dy y 的通解. ? dx 2 x ? y 2原方程改写为dx 2 ? x? y dy y把 x 看作未知函数， y 看作自变量，这样，对于 x 及 先求齐线性方程（2.36）dx 来说，方程（2.36）就是一个线性方程了. dydx 2 ? x dy y的通解为x ? cy 2令 x ? c( y) y 2 ,于是（2.37）dx dc( y ) 2 ? y ? 2c( y ) y dy dy代入（2.36） ，得到? c( y) ? ? ln y ? c从而，原方程的通解为? x ? y 2 (c ? ln y )? 这里 c 是任意的常数,另外 y ? 0 也是方程的解.特别的，初值问题? dy ? ? P ( x ) y ? Q( x ) ? dx ? y( x0 ) ? y0 ?的解为? ? y =ce x0xP (? ) d??e?x0 P (? ) d?x?x?x0Q ( s )e?x0 P (? ) d?sds例 3 试证 （1）一阶非齐线性方程（2.28）的任两解之差必为相应的齐线性方程（2.3）之解； （2 ）若 y ? y ( x) 是（ 2.3）的非零解，而 y ? ? ( x) 是 （2.28）的解，则（ 2.28）的通解可表 为 yy ? cy( x) ? ?( x) ，其中 c 为任意常数. y（3）方程（2.3）任一解的常数倍或两解之和（或差）仍是方程（2.3）的解. 证 （1）设 y1 , y2 是非齐线性方程的两个不同的解，则应满足方程使dy1 ? py1 ? Q ( x) (1) dx dy2 ? py2 ? Q ( x) (2) dx（1）―（2）有d ( y1 ? y2 ) ? p ( y1 ? y2 ) dx说明非齐线性方程任意两个解的差 y1 ? y2 是对应的齐次线性方程的解. （2）因为d (cy ( x) ? ? ( x)) y dy( x) d ? ( x) y ?c ? ? p((cy ) ? p ? ? Q( x) ? p(cy ? ? ) ? Q( x) y y dx dx dx故结论成立. （3）因为 故结论成立.d ( y1 ? y2 ) d ( y1 ? y2 ) d (cy ) ? p(cy ), ? p( y1 ? y2 ), ? p( y1 ? y2 ) dx dx dx3、Bernoulli 方程形如dy ? P ( x) y ? Q( x) y n dx（ n ? 0,1 ）（2.38）的方程，称为伯努利（ Bernoulli ）方程，这里 P( x), Q( x) 为 x 连续函数.利用变量变换可将伯努利方程化为线性方程来求解.事实上，对于 y ? 0 ，用 y ? n 乘（2.38）两边，得到y?n引入变量变换dy ? y1? n P ( x) ? Q ( x) dx（2.39）z ? y1?n从而（2.40）dz dy ? (1 ? n) y ? n dx dx将（2.40） 、2.41）代入（2.39） ，得到（2.41）dz ? (1 ? n) P( x) z ? (1 ? n)Q( x) dx当 n ? 0 时，方程还有解 y ? 0 . 例 4 求方程 解（2.42）这是线性方程，用上面介绍的方法求得它的通解，然后再代回原来的变量，便得到（2.38）的通解.此外，dy y ? 6 ? xy 2 的通解 dx x这是 n ? 2 时的伯努利方程，令 z ? y ?1 ,得dz dy ? ? y ?2 dx dx代入原方程得到dz 6 ?? z?x dx x这是线性方程，求得它的通解为z?代回原来的变量 y ，得到c x2 ? x6 81 c x2 ? ? y x6 8或者x 6 x8 ? ?c y 8这是原方程的通解. 此外，方程还有解 y ? 0 .例 5 求方程 解dy 1 ? 的解 dx xy ? x3 y 3将方程改写为dx ? yx ? y 3 x3 dy这是一个自变量为 y ，因变量为 x 的伯努利方程.解法同上.dy e y ? 3x 例 6 求方程 的通解 ? dx x2y 这个方程只要做一个变换，令 u ? e ,du dy ? ey ，原方程改写为 dx dx du 3 x 1 ? 2 u ? 2 u2 dx x x便是伯努利方程. 小结;这次主要讨论了一阶线性微分方程的解法.其核心思想是常数变易法.即将非齐线性方程对应的齐 线性方程解的常数变易为待定函数，使其变易后的解函数代入非齐次线性方程，求出待定函数 c( x) ，求出 非齐次方程的解.我们还讨论了伯努利方程，求解过程为，先变换，将原方程化为非齐线性方程，再求解.§31、恰当方程的定义 将一阶微分方程恰当方程与积分因子dy ? f ( x, y ) dx写成微分的形式f ( x, y)dx ? dy ? 0把 x, y 平等看待，对称形式的一阶微分方程的一般式为M ( x, y)dx ? N ( x, y)dy ? 0假设 M ( x, y), N ( x, y) 在某区域 G 内是 x, y 的连续函数，而且具有连续的一阶偏导数. 如果存在可微函数 u ( x, y ) ,使得（2.43）du ? M ( x, y)dx ? N ( x, y)dy即(2.44)?u ? M ( x, y ), ?x?u ? N ( x, y) ?y(2.45)则称方程(2.43)为恰当方程,或称全微分方程. 在上述情形,方程(2.43)可写成 du ( x, y ) ? 0 ,于是u( x, y) ? C就是方程(2.43)的隐式通解,这里 C 是任意常数(应使函数有意义). 2、 恰当方程的判定准则 定理 1 设 M ( x, y), N ( x, y) 在某区域 G 内连续可微,则方程(2.43)是恰当方程的充要条件是?M ?N ? , ?y ?x( x, y) ? G(2.46)而且当(2.46)成立时,相应的原函数可取为u( x, y) ? ? M (s, y0 )ds ? ? N ( x, t )dtx0 y0xy(2.47)或者也可取为u( x, y) ? ? N ( x0 , t )dt ? ? M (s, y)dsy0 x0yx(2.48)其中 ( x0 , y0 ) ? G 是任意取定的一点. 证明 先证必要性.因为(2.43)是恰当方程,则有可微函数 u ( x, y ) 满足(2.45),又知 M ( x, y), N ( x, y) 是连续可微的,从而有?M ? 2u ? 2u ?N ? ? ? ?y ?y?x ?x?y ?x下面证明定理的充分性,即由条件(2.46),寻找函数 u ( x, y ) ,使其适合方程(2.45).从(2.47)可知?u ? N ( x, y ) ?y?u ? y ? M ( x, y0 ) ? ? N ( x, t )dt ?x ?x y0 =M ( x, y0 ) ? ? N x ( x, t )dty0 y y=M ( x, y0 ) ? ? M y ( x, t )dt ? M ( x, y )y0即(2.45)成立,同理也可从(2.48)推出(2.45). 例 1. 解方程x2 1 xydx ? ( ? )dy ? 0 2 y解 这里 M ? xy , N =((2.49)x2 1 ? ) ,则 M y ? x ? Nx ,所以(2.49)是恰当方程. f (t ) 是深圳 ktv 维向量函数， 2 y要求它的深圳每一个分量都存在拉普拉斯变换。深圳 KTV 招聘 (热招网址 www.syechang.com )其次，我 们来建立下面的定理 12，它保证了对常系数线性微分 KTV 方程（组）施行拉普拉斯变换的可能性。 因为 N 于 y ? 0 处无意义,所以应分别在 y ? 0 和 y ? 0 区域上应用定理 2.3,可按任意一条途径去求相应的 原函数 u ( x, y ) . 先选取 ( x0 , y0 ) ? (0,1) ,代入公式(2.47)有u ? ? xdx ? ? (0 1xyx2 1 x2 ? )dy ? y ? ln y 2 y 2再选取 ( x0 , y0 ) ? (0, ?1) ,代入公式(2.47)有u ? ? (? x)dx ? ? (0 ?1xyx2 1 x2 ? )dy ? y ? ln(? y) 2 y 2可见不论 y ? 0 和 y ? 0 ,都有u?x2 y ? ln | y | 2故方程的通解为x2 y ? ln | y |? C . 23、恰当方程的解法 上述定理已给出恰当方程的解法,下面给出恰当方程的另两种常用解法. 解法 1. 已经验证方程为恰当方程,从 ux ? M ( x, y) 出发,有u ( x, y) ? ? M ( x, y)dx ? ? ( y ) ?其中 ? ( y ) 为待定函数,再利用 u y ? N ( x, y) ,有x2 y ? ? ( y) 2(2.50)x2 x2 1 ? ? ?( y) ? ? 2 2 y于是有从而 ? ?( y ) ?1 y? ( y) ? ln | y |只需要求出一个 u ( x, y ) ,因而省略了积分常数.把它代入(2.50)便得方程的通解为u?x2 y ? ln | y |? C 2解法 2. 分项组合的方法 对(2.49)式重新组合变为( xydx ?x2 1 dy) ? dy ? 0 2 y于是d(x2 y ) ? d ln | y |? 0 2 x2 y ? ln | y |? C 2从而得到方程的通解为 4、积分因子的定义及判别 对于微分形式的微分方程M ( x, y)dx ? N ( x, y)dy ? 0如果方程（2.43）不是恰当方程，而存在连续可微的函数 ? ? ? ( x, y) ? 0 ，使得（2.43）? M ( x, y)dx ? ? N ( x, y)dy ? 0为一恰当方程，即存在函数 v( x, y ) ，使(2.51)? M ( x, y)dx ? ? N ( x, y)dy ? dv则称 ? ( x, y) 是方程（2.43）的积分因子.此时 v( x, y) ? C 是(2.51)的通解，因而也就是（2.43）的通解. 如果函数 M ( x, y), N ( x , y )和 ? ( x, y) 都是连续可微的,则由恰当方程的判别准则知道, ? ( x, y) 为 (2.43)积分因子的充要条件是?? M ?? N ? ?y ?x即N?? ?? ?M ?N ?M ?( ? )? ?x ?y ?y ?x(2.52)5、积分因子的求法 方程(2.52)的非零解总是存在的，但这是一个以 ? 为未知函数的一阶线性偏微分方程，求解很困难， 我们只求某些特殊情形的积分因子. 定理 2 有形如 ? 设 M ? M ( x, y), N ? N ( x, y) 和 ?? ? ( x, y) 在某区域内都是连续可微的，则方程（2.43）? ? (? ( x, y)) 的积分因子的充要条件是：函数M y ( x, y) ? N x ( x, y) N ( x, y)?x ( x, y) ? M ( x, y)? y ( x, y)（2.53）仅是 ? ( x, 则函数y ) 的函数， ud 此外， （2.53） 如果 仅是 ? ( x, y ) 的函数 f ? f (? ( x, y)) ， G ( ) ? ?f ( ) u 而 u? ? eG (? ( x, y ))（2.54），就是方程（2.43）的积分因子. 证明 因为如果方程（2.43）有积分因子 ? ? ? (? ) ，则由（2.52）进一步知d? ?? ?? ?M ?N (N ?M )?( ? )? d? ?x ?y ?y ?x即d??由 ? ? ? (? ) 可知左端是 ? 的函数，可见右端 于是，有?M y ? Nx N?x ? M? yd? M y ? Nx N?x ? M? yM y ? Nx N? x ? M ? y也是 ? 的函数，即? f (? ) ，d??? f (? )d? ，从而 ? ? e ?f (? ) d ?? e G (? )反之，如果（2.53）仅是 ? 的函数，即 因为M y ? Nx N?x ? M? y? f (? ) ，则函数（2.54）是方程（2.52）的解.事实上，N?? ?? ?M ? ( N? x ? M ? y ) f (? )eG (? ) ? ( M y ? N x ) ? ?x ?y因此函数（2.54）的确是方程（2.43）的积分因子. 为了方便应用这个定理，我们就若干特殊情形列简表如下：类型 条件 积分因子? ( x)M y ? Nx N? f ( x)e? e?f ( x ) dx? ( y)例 解 2. 解 这里M y ? Nx ?Mf ( y )dy? f ( y)?(x y )? ?M y ? Nx?1 ?1?x N ? ? y M x y??1?? f (x y )??f ( u )du e? |( y 2 ? 3xy ? 1)dx ? ( xy ? x2u ? x? y ?? (? ( x, y))M y ? Nx N? x ? M ? y? f (? ( x, y ))e?f ( u )du|u ?? ( x , y )M ? y2 ? 3xy ? 1, N ? xy ? x2 ,注意M y ? Nx ? y ? x所以方程不是恰当的,但是M y ? Nx N它仅是依赖与 x ，因此有积分因子1?1 x? ? e? x ? xdx给方程两边乘以因子 ? ? x 得到( xy 2 ? 3x2 y ? x)dx ? ( x2 y ? x3 )dy ? 0从而可得到隐式通解u?例 3.1 2 2 1 x y ? x3 y ? x 2 ? C 2 2解方程 ( xy ? y 2 )dx ? ( xy ? y ? 1)dy ? 0解这里 M ? xy ? y 2 , N ? xy ? y ? 1 方程不是恰当的.但是M y ? Nx ?M它有仅依赖于 y 的积分因子??1 y? ?e1 得到 y?? y dy1?1 y1 ( x ? y )dx ? ( x ? 1 ? )dy ? 0 y1 2 x ? xy ? y ? ln | y |? C 2方程两边乘以积分因子 ? ? 从而可得到隐式通解u?另外，还有特解 y ? 0 .它是用积分因子乘方程时丢失的解. 例 4. 解 解方程( y 2 ? 2x2 y) d ? ( x? x y3x d y0 ) ?这里 M ? y 2 ? 2x2 y, N ? xy ? x3 ，不是恰当方程.设想方程有积分因子 ? ? ? ( x? y ? ) ，其中 ? ，? 是待定实数.于是1 y ? x2 1 1 ? ? ? ? ? ? ? ?1 ?1 ? ? 2 ?x N ? ? y M x y (? ? ? ) y ? (? ? 2? ) x x y x y ?只须取 ? ? 3, ? ? 2 .由上述简表知原方程有积分因子M y ? Nx? ? x3 y 2从而容易求得其通解为：1 u ? x4 y 4 ? x6 y3 ? C 3六、积分因子的其他求法 以例 4 为例，方程的积分因子也可以这样来求：把原方程改写为如下两组和的形式：( y 2dx ? xydx) ? (2x2 ydx ? x3dy) ? 0前一组有积分因子 ?1 ?1 ，并且 y 1 2 ( y dx ? xydy ) ? d ( xy ) y后一组有积分因子 ? 2 ?1 ，并且 x 1 (2 x 2 ydx ? x3dy ) ? d ( x 2 y ) x设想原方程有积分因子??1 1 ( xy )? ? ( x 2 y ) ? y x其中 ? ， ? 是待定实数.容易看出只须 ? ? 3, ? ? 2 ，上述函数确实是积分因子，其实就是上面找到一个. 例 5. 解方程M1 ( x)M 2 ( y)dx ? N1 ( x) N2 ( y)dy ? 0其中 M 1 ， M 2 ， N1 ， N 2 均为连续函数. 解 这里 M ? M1 ( x)M 2 ( y) ，N ? N1 ( x) N2 ( y) .写成微商形式就形式上方程是变量可分离方程， 若有 y0使 得 M 2 ( y0 ) ? 0 ， 则 y ? y0 是 此 方 程 的 解 ； 若 有 x0 使 得 N1 ( x0 ) ? 0 ， 则 x ? x0 是 此 方 程 的 解 ； 若M 2 ( y) N1 ( x) ? 0 ，则有积分因子??并且通解为1 M 2 ( y ) N1 ( x)u??例 6、试用积分因子法解线性方程（2.28）. 解 将（2.28）改写为微分方程M 1 ( x) N ( y) dx ? ? 2 dy N1 ( x) M 2 ( y)[ P( x) y ? Q( x)]dx ? dy ? 0这里 M ? P( x) y ? Q( x), N ? ?1 ，而（2.55）?M ?N ? ?y ?x ? ? P( x) N则线性方程只有与 x 有关的积分因子? P ( x ) dx ? ?e ? ? P ( x ) dx 方程（2.55）两边乘以 ? ? e ? ，得 ? P ( x ) dx ? P ( x ) dx ? P ( x ) dxx P ( x )e ? ydx ? e ? dy ? Q( x)e ? dx ? 0（2.56）（2.56）为恰当方程，又分项分组法? P ( x ) dx ? P ( x ) dx d ( ye ? ) ? Q ( x )e ? dx ? 0因此方程的通解为? P ( x ) dx ? P ( x ) dx ye ? ? ? Q( x)e ? dx ? c即y ? e?P ( x ) dx? P ( x ) dx [? Q( x)e ? dx ? c]与前面所求得的结果一样. 注： 积分因子一般不容易求得可以先从求特殊形状的积分因子开始， 或者通过观察法进行 “分项分组” 法求得积分因子.§41、一阶隐方程一阶隐方程与参数表示一阶隐式微分方程的一般形式可表示为:F ( x, y, y?) ? 0如果能解出 y? ? f ( x, y ) ,则可化为显式形式,根据前面的知识求解. 例如方程2 ( y? ) ? (x? y )?y ?x y ,可化为 y? ? x 或 y? ? y ? 0但难以从方程中解出 y? ,或即使解出 y? ,而其形式比较复杂,则宜采用引进参数的方法求解.一般隐式方程分为以下四种类型: 1) y ? f ( x, y?) 2) x ? f ( y, y?) 3) F ( x, y?) ? 0 4) F ( y, y?) ? 02、求解方法Ⅰ）可以解出 y （或） x 的方程 1) 讨论形如y ? f ( x, y?)的方程的解法，假设函数 f ( x, y?) 有连续的偏导数,引进参数 y? ? p ,则方程(2.57)变为（2.57）y ? f ( x, p)将(2.58) 的两边对 x 求导数,得到(2.58)p??f ?f dp ? ?x ?y dx(2.59)方程(2.59)是关于 x, p 的一阶微分方程,而且属于显式形式. 若求得(2.59)的通解形式为 p ? ? ( x, c) ,将其代入(2.58),于是得到(2.57)通解为y ? f ( x, ? ( x, c))若求得(2.59)的通解形式为 x ? ? ( p, c) ,于是得到(2.57)的参数形式的通解为? x ? ? ( p, c ) ? ? y ? f (? ( p, c), p)其中 p 为参数,c 是任意常数.若求得(2.59)的通解形式为 ?( x, p, c) ? 0 ,于是得到(2.57)的参数形式的通解为??( x, p, c) ? 0 ? ? y ? f ( x, p)其中 p 为参数, 例1 解c 是任意常数.dy 3 dy ) ? 2 x ? y ? 0 的解 dx dx(2.60)求方程 ( 令dy ? p ,于是有 y ? p3 ? 2xp dx p ? 3 p2 dp dp ? 2x ? 2p dx dx两边对 x 求导数,得到即3 p2dp ? 2xdp ? pdx ? 0当 p ? 0 时,上式有积分因子 ? ? p ,从而3 p3dp ? 2xpdp ? p2 dx ? 0由此可知3 p4 ? xp 2 ? c 4得到x?将其代入(2.60),即得c?3 4 p c 3 4 ? 2 ? p2 2 p p 4y ? p3 ?故参数形式的通解为2(c ? 3 p 4 ) 4 p? ?x ? ? ? ?y ? ? ?c 3 2 ? p p2 4 2c 1 3 ? p p 2(p ? 0)当 p ? 0 时,由(2.60)可知 y ? 0 也是方程的解.例2dy 2 dy x 2 ? 的解. 求方程 y ? ( ) ? x dx dx 2解 令x2 dy ? p ,得到 y ? p 2 ? xp ? dx 2(2.61)两边对 x 求导数,得到p?2 p由dp dp ? x ? p? x 或 dx dx(2 p ? x)(dp ? 1) ? 0 dx(2.62)x2 dp ? 1 ? 0 ,解得 p ? x ? c ,于是得到方程的通解为 y ? ? cx ? c 2 dx 2 x2 x ,于是得到方程的一个解为 y ? 2 4由 2 p ? x ? 0 ,解得 p ?(2.63)特解(2.63)与通解(2.62)中的每一条积分曲线均相切,因此称为方程的奇解. 2) 讨论形如x ? f ( y,dy ) dx(2.64)的方程的求解方法,方程(2.64)与方程(2.57)的求解方法完全类似,假定函数 f ( y, y?) 有连续偏导数. 引进参数dy ? p ,则(2.64) 变为 dxx ? f ( y, p )(2.65)将(2.65) 的两边对 y 求导数,得到1 ?f ?f dp ? ? p ?y ?x dy方程(2.66))是关于 y , p 的一阶微分方程,而且属于显式形式.设其通解为(2.66)?( y, p, c) ? 0则(2.64)的通解为??( y, p, c) ? 0 ? ? x ? f ( y, p )Ⅱ）不显含 y （或） x 的方程 3) 讨论形如F ( x, y?) ? 0的方程的解法. 记 p ? y? ?(2.67)dy ,此时 F ( x, p) ? 0 表示的是 xp 平面上的一条曲线,设曲线用参数形式表示为 dxx ? ? (t ) , p ? ? (t )(2.68)由于 dy ? pdx ,进而dy ? ? (t )? ?(t )dt两边积分,得到y ? ?? (t )? ?(t )dt ? c于是得到方程(2.67)参数形式的解为? x ? ? (t ) ? ? ? y ? ?? (t )? ?(t )dt ? c ?c 是任意常数.例3 解 求解方程 x3 ? y?3 ? 3xy? ? 0 令 y? ? p ? tx ,则由方程得3t x? , 1? t3于是 积分得到3t 2 p? 1? t3dy ?9t 2 (1 ? 2t 3 ) dt (1 ? t 3 )3y??故原方程参数形式的通解为：9t 2 (1 ? 2t 3 ) 3 1 ? 4t 3 dt ? c ? ?c (1 ? t 3 )3 2 (1 ? t 3 )23t ? ?x ? 1? t3 ? ? 3 ? y ? 3 1 ? 4t ? c ? 2 (1 ? t 3 )2 ?4) 讨论形如F ( y, y?) ? 0的方程,其解法与方程(2.67)的求解方法类似. 记 p ? y? ?(2.69)dy ,此时 F ( y, p) ? 0 表示的是 yp 平面上的一条曲线,设曲线用参数形式表示为 dxy ? ? (t ) , p ? ? (t )由关系式 dy ? pdx 可知,于是 ? ?(t )d t? ? ( t ) d x p ? 0 时,有dx ?故方程(2.69)的参数形式的通解? ?(t ) dt , ? (t )x??? ?(t ) dt ? c ? (t )? ?(t ) ? dt ? c ?x ? ? ? (t ) ? ? y ? ? (t ) ?c 是任意常数.此外,不难验证,若 F ( y,0) ? 0 有实根 y ? k ,则 y ? k 也是方程的解.例4 解求解方程y 2 (1 ? y?) ? (2 ? y?)2 .令 2 ? y? ? yt ,则有y 2 (1 ? y ') ? y 2t 2由此可以得1 y ' ? 1? t 2 ， y ? ? t t代入 dx ?1 dy ，得到 pdx ? 1 1 1 (? 2 ? 1)dt ? ? 2 dt 2 1? t t t积分,得到 x ?1 ?c t故原方程参数形式的通解为1 ? ?x ? t ? c ? ? ?y ? 1?t ? t ?其中 c 是任意常数.此外, 当 y? ? 0 时原方程变为 y 2 ? 4 ,于是 y ? ?2 也是方程的解.2 例 5 求解方程 x 1 ? y ? ? y ?解2 令 y? ? p ,则有 x 1 ? p ? p ,取 p ? tgt , t ? ( ?? ?p tgt , ) ,则 x ? ? ? sin t 2 2 1 ? p 2 sec t由 dy ? pdx 得到dy ? tgt cos tdt ? sin tdt所以 y ? ? cos t ? c 故原方程参数形式的通解为? x ? sin t ? ? y ? ? cos t ? c其中 c 是任意常数.第三章 一阶微分方程解的存在定理[教学目标] 1. 理解解的存在唯一性定理的条件、结论及证明思路，掌握逐次逼近法，熟练近似解的误差估计式。 2. 了解解的延拓定理及延拓条件。 3. 理解解对初值的连续性、可微性定理的条件和结论。 [教学重难点] 解的存在唯一性定理的证明，解对初值的连续性、可微性定理的证明。 [教学方法] 讲授，实践。 [教学时间] 12 学时 [教学内容] 解的存在唯一性定理的条件、 结论及证明思路， 解的延拓概念及延拓条件， 解对初值的连续性、 可微性定理及其证明。 [考核目标] 1.理解解的存在唯一性定理的条件、结论，能用逐次逼近法解简单的问题。 2.熟练近似解的误差估计式，解对初值的连续性及可微性公式。 3.利用解的存在唯一性定理、解的延拓定理及延拓条件能证明有关方程的某些性质。§1解的存在性唯一性定理和逐步逼近法微分方程来源于生产实践际，研究微分方程的目的就在于掌握它所反映的客观规律，能动解释所出现 的各种现象并预测未来的可能情况。在第二章介绍了一阶微分方程初等解法的几种类型，但是，大量的一 阶方程一般是不能用初等解法求出其通解。而实际问题中所需要的往往是要求满足某种初始条件的解。因 此初值问题的研究就显得十分重要，从前面我们也了解到初值问题的解不一定是唯一的。他必须满足一定 的条件才能保证初值问题解的存在性与唯一性，而讨论初值问题解的存在性与唯一性在常微分方程占有很 重要的地位，是近代常微分方程定性理论，稳定性理论以及其他理论的基础。 例如方程dy ?2 y dx过点 (0, 0) 的解就是不唯一，易知 y ? 0 是方程过 (0, 0) 的解，此外，容易验证， y ? x2 或更一般地，函数?0 y?? 2 ?( x ? c )0? x?c c&x ? 1都是方程过点 (0, 0) 而且定义在区间 0 ? x ? 1 上的解，其中 c 是满足 0 ? c ? 1 的任一数。 解的存在唯一性定理能够很好地解释上述问题，它明确地肯定了方程的解在一定条件下的存在性和 唯一性。另外，由于能得到精确解的微分方程为数不多，微分方程的近似解法具有重要的意义，而解的存 在唯一性是进行近似计算的前提，如果解本身不存在，而近似求解就失去意义；如果存在不唯一，不能确 定所求的是哪个解。而解的存在唯一性定理保证了所求解的存在性和唯一性。1．存在性与唯一性定理： （1）显式一阶微分方程dy ? f ( x, y ) dx这里 f ( x, y) 是在矩形域： R :| x ? x0 |? a,| y ? y0 |? b 上连续。（3.1） （3.2）定理 1： 如果函数 f ( x, y) 满足以下条件： 在 R 上连续： 在 R 上关于变量 y 满足李普希兹 1） 2） （Lipschitz） 条 件 ， 即 存 在 常 数 L ? 0 ， 使 对 于 R 上 任 何 一 对 点 ( x ,y1 )， ( x, y2 ) 均 有 不 等 式 则方程 （3.1） 存在唯一的解 y ? ? ( x) ， 在区间 | x ? x0 |? h 上连续， f ( x, y1 ) ? f ( x, y2 ) ? L y1 ? y2 成立， 而且满足初始条件? ( x0 ) ? y0其中 h ? min(a,（3.3）b ), M ? max f ( x, y ) , L 称为 Lipschitz 常数. x , y?R M思路： 1） 求解初值问题(3.1)的解等价于积分方程y ? y0 ? ? f ( x, y)dxx0x的连续解。 2） 构造近似解函数列 {?n ( x)} 任取一个连续函数 ?0 ( x) ，使得 | ?0 ( x) ? y0 |? b ，替代上述积分方程右端的y ，得到?1 ( x) ? y0 ? ? f ( x, ?0 ( x))dxx0x如果 ?1 ( x) ? ?0 ( x) ，那么 ?0 ( x) 是积分方程的解，否则，又用 ?1 ( x) 替代积分方程右端的 y ，得到?2 ( x) ? y0 ? ? f ( x, ?1 ( x))dxx0x如果 ?2 ( x) ? ?1 ( x) ，那么 ?1 ( x) 是积分方程的解，否则，继续进行，得到?n ( x) ? y0 ? ? f ( x, ?n?1 ( x))dxx0x（3.4）于是得到函数序列 {?n ( x)} . 3） 函数序列 {?n ( x)} 在区间 [ x0 ? h, x0 ? h] 上一致收敛于 ? ( x) ，即lim ?n ( x) ? ? ( x)n ??存在，对(3.4)取极限,得到lim ?n ( x) ? y0 ? lim ? f ( x, ?n ?1 ( x))dxn ?? n ?? x0 xx=y0 ? ? f ( x, ? ( x))dxx0即 ? ( x) ? y0 ??xx0f ( x, ? ( x))dx .4) ? ( x) 是积分方程 y ? y0 ??xx0f ( x, y)dx 在 [ x0 ? h, x0 ? h] 上的连续解.这种一步一步求出方程解的方法――逐步逼近法.在定理的假设条件下,分五个命题来证明定理. 为了讨论方便,只考虑区间 x0 ? x ? x0 ? h ,对于区间 x0 ? h ? x ? x0 的讨论完全类似. 命题 1 设 y ? ? ( x) 是方程(3.1)定义于区间 x0 ? x ? x0 ? h 上,满足初始条件? ( x0 ) ? y0的解,则 y ? ? ( x) 是积分方程（3.3）y ? y0 ? ? f ( x, y)dxx0xx0 ? x ? x0 ? h(3.5)的定义于 x0 ? x ? x0 ? h 上的连续解.反之亦然. 证明 因为 y ? ? ( x) 是方程(3.1)满足 ? ( x0 ) ? y0 的解,于是有d? ( x ) ? f ( x, ? ( x)) dx两边取 x0 到 x 的积分得到? ( x) ? ? ( x0 ) ? ? f ( x, ? ( x))dxx0xx0 ? x ? x0 ? h即有 ? ( x) ? y0 ??xx0f ( x, ? ( x))dxx0 ? x ? x0 ? h所以 y ? ? ( x) 是积分方程 y ? y0 ??xx0f ( x, y)dx 定义在区间 x0 ? x ? x0 ? h 上的连续解.反之,如果 y ? ? ( x) 是积分方程(3.5)上的连续解,则? ( x) ? y0 ? ? f ( x, ? ( x))dxx0xx0 ? x ? x0 ? h（3.6）由于 f ( x, y) 在 R 上连续,从而 f ( x, ? ( x)) 连续,两边对 x 求导,可得d? ( x ) ? f ( x, ? ( x)) dx而且? ( x0 ) ? y0 ,故 y ? ? ( x) 是方程(3.1)定义在区间 x0 ? x ? x0 ? h 上,且满足初始条件 ? ( x0 ) ? y0 的解. 构造 Picard 的逐次逼近函数序列 {?n ( x)} .??0 ( x) ? y0 ? x ? ?n ( x) ? y0 ? ? f (? , ?n ?1 (? ))d? ? x0 ?命题 2x0 ? x ? x0 ? h(n ? 1, 2,?)（3.7）对于所有的 n ， （3.6）中的函数 ?n ( x) 在 x0 ? x ? x0 ? h 上有定义，连续且满足不等式| ?n ( x) ? y0 |? b（3.8）证明用数学归纳法证明 当 n ? 1 时， ?1 ( x) ? y0 ??xx0f (? , y0 )d? ，显然 ?1 ( x) 在 x0 ? x ? x0 ? h 上有定义、连续且有x x x0 x0| ?1 ( x) ? y0 |?| ? f (? , y0 )d? |? ? | f (? , y0 ) | d? ? M ( x ? x0 ) ? Mh ? b即命题成立. 假设 n ? k 命题 2 成立，也就是在 x0 ? x ? x0 ? h 上有定义、连续且满足不等式| ?k ( x) ? y0 |? b当 n ? k ? 1 时，?k ?1 ( x) ? y0 ? ? f (? , ?k (? ))dxx0x由于 f ( x, y) 在 R 上连续,从而 f ( x, ?k ( x)) 在 x0 ? x ? x0 ? h 上连续，于是得知 ?k ?1 ( x) 在 x0 ? x ? x0 ? h 上有定义、连续,而且有| ?k ?1 ( x) ? y0 |? ? | f (? , ?k (? )) | d? ? M ( x ? x0 ) ? Mh ? bx0x即命题 2 对 n ? k ? 1 时也成立.由数学归纳法知对所有的 n 均成立.命题 3n ??函数序列 {?n ( x)} 在 x0 ? x ? x0 ? h 上是一致收敛的.记 lim ? n ( x) ? ? ( x) , x0 ? x ? x0 ? h 证明 构造函数项级数?0 ( x) ? ? [?k ( x) ? ?k ?1 ( x)]k ?1?x0 ? x ? x0 ? h(3.9)它的部分和为Sn ( x) ? ?0 ( x) ? ?[?k ( x) ? ?k ?1 ( x)] ? ?n ( x)k ?1n于是 {?n ( x)} 的一致收敛性与级数(3.9)的一致收敛性等价. 为此，对级数(3.9)的通项进行估计.| ?1 ( x) ? ?0 ( x) |? ? | f (? , ?0 (? )) | d? ? M ( x ? x0 )x0x(3.10)| ?2 ( x) ? ?1 ( x) |? ? | f (? , ?1 (? )) ? f (? , ?0 (? )) | d?x0x由 Lipschitz 条件得知| ? 2 ( x) ? ?1 ( x) |? L ? | ?1 (? ) ? ?0 (? )|dξx0x? L ? M (? ? x0 )d ?x0x?设对于正整数 n ,有不等式ML ( x ? x0 ) 2 2!MLn?1 | ?n ( x) ? ?n?1 ( x) |? ( x ? x0 ) n n!成立,则由 Lipschitz 条件得知,当 x0 ? x ? x0 ? h 时,有| ?n ?1 ( x) ? ? n ( x) |? ? | f (? , ? n (? )) ? f (? , ? n ?1 (? )) | d?x0x? L ? | ?n (? ) ? ? n ?1 (? )|dξx0xMLn x n ?x0 (? ? x0 ) d? n! MLn ? ( x ? x0 ) n ?1 (n+1)! ?于是由数学归纳法可知, 对所有正整数 k ,有| ?k ( x) ? ?k ?1 ( x) |?MLk ?1 MLk ?1 k ( x ? x0 ) k ? h k! k!x0 ? x ? x0 ? h(3.11)由正项级数? MLk ?1?K ?1hk k!的收敛性,利用 Weierstrass 判别法,级数(3.9)在 x0 ? x ? x0 ? h 上一致收敛.因而序列 {?n ( x)} 在 x0 ? x ? x0 ? h 上一致收敛. 设 lim ? n ( x) ? ? ( x) ,则 ? ( x) 也在 x0 ? x ? x0 ? h 上连续,且n ??| ? ( x) ? y0 |? b命题 4 ? ( x) 是积分方程(3.5)的定义在 x0 ? x ? x0 ? h 上的连续解.证明 由 Lipschitz 条件| f ( x, ?n ( x)) ? f ( x, ? ( x)) |? L | ?n ( x) ? ?( x) |以及 {?n (x )}在 x0 ? x ? x0 ? h 上一致收敛于 ? ( x) ,可知 f ( x,?n ( x ))在 x0 ? x ? x0 ? h 上一致收敛于f ( x, ? ( x)) .因此lim ?n ( x) ? y0 ? lim ? f (? , ? n ?1 (? )) d?n ?? n ?? x0 xx=y0 ? ? lim f (? , ?n ?1 (? )) d?x0 n ??即?n ( x) ? y0 ? ? f (? , ? (? ))d?x0x故 ? ( x) 是积分方程(3.5)的定义在 x0 ? x ? x0 ? h 上的连续解.命题 5设 ? ( x) 是 积 分 方 程 (3.5) 的 定 义 在 x0 ? x ? x0 ? h 上 的 一 个 连 续 解 , 则 ? ( x) ? ? ( x) ,x0 ? x ? x0 ? h .证明 设 g ( x) ?| ? ( x) ?? ( x) | ,则 g ( x) 是定义在 x0 ? x ? x0 ? h 的非负连续函数,由于? ( x) ? y0 ? ? f (? , ? (? ))d?x0x? ( x) ? y0 ? ? f (? ,? (? ))d?x0x而且 f ( x, y) 满足 Lipschitz 条件,可得g ( x) ?| ? ( x) ?? ( x) |?| ? [ f (? , ? (? )) ? f (? ,? (? ))]d? |x0x? ? | f (? , ? (? )) ? f (? ,? (? )) | d?x0x? L ? |? (? ) ?? (? ) | d? ? L ? g (? )d?x0 x0xx令 u ( x) ? L?xx0g (? )d? ,则 u ( x) 是 x0 ? x ? x0 ? h 的连续可微函数,且 u( x0 ) ? 0 ,0 ? g ( x) ? u( x) , u?( x) ? Lg ( x) , u?( x) ? Lu( x) , (u?( x) ? Lu( x))e? Lx ? 0 ,即 (u( x)e? Lx )? ? 0 ,于是在 x0 ? x ? x0 ? h 上, u( x)e? Lx ? u( x0 )e 故 g ( x) ? u( x) ? 0 ,即 g ( x) ? 0 , x0 ? x ? x0 ? h ,命题得证.? Lx0?0对定理说明几点:(1)存在唯一性定理中 h ? min(a,b ) 的几何意义. M在矩形域 R 中 f ( x, y) ? M ,故方程过 ( x0 , y0 ) 的积分曲线 y ? ? ( x) 的斜率必介于 ? M 与 M 之间,过点( x0 , y0 ) 分别作斜率为 ? M 与 M 的直线.当M ?b b b 时，即 a ? ,（如图(a)所示） ，解 y ? ? ( x) 在 x0 ? a ? x ? x0 ? a 上有定义；当 M ? 时,即 a M ab ? a ,（如图(b)所示） ，不能保证解在 x0 ? a ? x ? x0 ? a 上有定义，它有可能在区间内就跑到矩形 R 外 M b b ? x ? x0 ? 去，只有当 x0 ? 才能保证解 y ? ? ( x) 在 R 内，故要求解的存在范围是 M M| x ? x0 |? h .(2)、 由于李普希兹条件的检验是比较费事的，而我们能够用一个较强的，但却易于验证的条件来' ' 代替他，即如果函数 f ( x, y) 在矩形域 R 上关于 y 的偏导数 f y ( x, y) 存在并有界，即 f y ( x, y ) ? L ，则李普希兹条件条件成立. 事实上| f ( x, y1 ) ? f ( x, y2 ) |?|?f ( x, y2 ? ? ( y1 ? y2 )) || y1 ? y2 | ?y ? L | y1 ? y2 |'这里 ( x, y1 ),( x, y2 ) ? R,0 ? ? ? 1 . 如果 f y ( x, y) 在 R 上连续，它在 R 上当然满足李普希兹条件.但是,满 足李普希兹条件的函数 f ( x, y) 不一定有偏导数存在.例如函数 f ( x, y ) ?| y | 在任何区域都满足李普希兹 条件,但它在 y ? 0 处没有导数. (3)、设方程(3.1)是线性的,即方程为dy ? P( x) y ? Q( x) dx易知,当 P( x), Q( x) 在区间 [? , ? ] 上连续时,定理 1 的条件就能满足,且对任一初值 ( x0 , y0 ), x0 ?[? , ? ] 所 确定的解在整个区间 [? , ? ] 上有定义、连续. 实际上,对于一般方程(3.1),由初值所确定的解只能定义在 | x ? x0 |? h 上,是因为在构造逐步逼近 函数序列 {?n ( x)} 时,要求它不越出矩形域 R ,此时,右端函数对 y 没有任何限制,只要取M ? max | P( x) y0 ? Q( x) | .x?[? , ? ](4)、Lipschitz 条件 是保证初值问题解惟一的充分条件，而非必要条件. 例如 试证方程dy ?0 ?? dx ? y ln | y |经过 xoy 平面上任一点的解都是唯一的. 证明y=0 y?0y ? 0 时, f ( x, y) ? y ln | y | ,在 y ? 0 上连续, f y?( x, y) ? 1 ? ln | y | 也在 y ? 0 上连续,因此对 x 轴外的任一点 ( x0 , y0 ) ,方程满足 y( x0 ) ? y0 的解都是唯一存在的.又由dy ? y ln | y | dx可得方程的通解为y ? ?ecex,其中y ? ecex为上半平面的通解,y ? ?ecex为下半平面的通解,它们不可能与 y ? 0 相交.注意到 y ? 0 是方程的解,因此对 x 轴上的任一点 ( x0 ,0) ,只有 y ? 0 通过,从而 保证 xoy 平面上任一点的解都是唯一的. 但是| f ( x, y) ? f ( x,0) |?| y ln | y ||?| ln | y ||| y |因为 lim | ln | y ||? ?? ,故不可能存在 L ? 0 ,使得y ?0| f ( x, y) ? f ( x,0) |? L | y |所以方程右端函数在 y ? 0 的任何邻域并不满足 Lipschitz 条件. 此题说明 Lipschitz 条件 是保证初值问题解惟一的充分条件，而非必要条件. 2)考虑一阶隐方程F ( x, y, y?) ? 0(3.12)? ? 由隐函数存在定理,若在 ( x0 , y0 , y0 ) 的某一邻域内 F 连续且 F ( x0 , y0 , y0 ) ? 0 ,而一地表为 x, y 的函数?F ? 0 ,则必可把 y 唯 ?y?y? ? f ( x, y)(3.13)? 并且 f ( x, y) 于 ( x0 , y0 ) 的某一邻域连续,且满足 y0 ? f ( x0 , y0 )如果 F 关于所有变元存在连续的偏导数,则 f ( x, y) 对 x, y 也存在连续的偏导数,并且?f ?F ?F ?? / ?y ?y ?y?(3.14)显然它是有界的,由定理 1 可知,方程(3.13)满足初始条件的 y( x0 ) ? 0 解存在且唯一.从而得到下面的定 理.定理 2? 如果在点 ( x0 , y0 , y0 ) 的某一邻域中:) F ( x, y, y?) 关于所有变元 ( x, y, y?) 连续,且存在连续的偏导数；? ） F ( x0 , y0 , y0 ) ? 0）? ?F ( x0 , y0 , y0 ) ?0 ?y?则方程（3.12）存在唯一的解y ? y( x)满足初始条件| x ? x0 |? h（ h 为足够小的正数）y( x0 ) ? y0 ,? y?( x0 ) ? y0（3.15）1、 近似计算和误差估计求方程近似解的方法――Picard 的逐次逼近法??0 ( x) ? y0 ? x ? ?n ( x) ? y0 ? ? f (? , ?n ?1 (? ))d? ? x0 ?x0 ? x ? x0 ? h对方程的第 n 次近似解 ?n ( x) 和真正解 ? ( x) 在 | x ? x0 |? h 内的误差估计式| ?n ( x) ? ? ( x) |?此式可用数学归纳法证明.MLn n?1 h (n ? 1)!（3.16）| ?0 ( x) ? ? ( x) |? ? | f (? , ? (? )) | d? ? M ( x ? x0 ) ? Mhx0x设有不等式MLn ?1 MLn ?1 n n | ?n ?1 ( x) ? ? ( x) |? ( x ? x0 ) ? h n! n!成立,则| ?n ( x) ? ? ( x) |? ? | f (? , ? n ?1 (? )) ? f (? , ? (? )) | d?x0x? L ? | ?n ?1 (? ) ? ? (? )|dξx0xMLn x n ? ?x0 (? ? x0 ) d? n! MLn MLn n ?1 ? ( x ? x0 )n ?1 ? h (n+1)! (n+1)!例 1 讨论初值问题dy ? x2 ? y2 , dxy(0) ? 0解 的 存 在 唯 一 性 区 间 , 并 求 在 此 区 间 上 与 真 正 解 的 误 差 不 超 过 0.05 的 近 似 解 , 其 中 ,R : ?1 ? x ? 1, ?1 ? y ? 1 .搪瓷反应釜、方程的通解不一定是方程的全部解,有些通搪瓷搅拌器解包含了方程的所有解，有些通解不能包含方程的所有解.此时，还应求出不含在通解中的其它解, 即将遗漏的搪瓷搅 拌器解要弥补上. 搪瓷反应釜、搪玻璃反应罐、搪瓷搅拌器 ( 具体参照 www.tangboli.com.cn 的解释) 解M ? max | f ( x, y |? 2, a ? 1, b ? 1, h ? min{a,( x , y )?R?f b 1 } ? ,由于 | |?| 2 y |? 2 ? L ,根据误差估 M 2 ?y计式(3.16)| ?n ( x) ? ? ( x) |?可知 n ? 3 .于是MLn n?1 1 h ? ? 0.05 (n ? 1)! (n ? 1)!?0 ( x) ? 02 ?1 ( x) ? ? [ x 2 ? ?0 ( x)]dx ? 0 xx3 3x3 x 7 ?2 ( x) ? ? [ x ? ? ( x)]dx ? ? 0 3 63x 2 2 1 2 ?3 ( x) ? ? [ x 2 ? ?2 ( x)]dx ? 0 xx3 x 7 x11 x15 ? ? ? 3 63 1 上,这个解与真正解得误差不超过 0.05. 2?3 ( x) 就是所求的近似解,在区间 ? ? x ?1 2§2解的延拓dy ? f ( x, y ) 的右端函数 f ( x, y) 在 R 上满足解的存在性 dx上节我们学习了解的存在唯一性定理，当? dy ? ? f ( x, y ) 唯一性条件时，初值问题 ? dx 的解在 | x ? x0 |? h 上存在且唯一. 但是，这个定理的结果是局部 ? y 0 ? y ( x0 ) ?的，也就是说解的存在区间是很小的. 可能随着 f ( x, y) 的存在区域的增大，而能肯定的解得存在区间反 而缩小。 例如， 上一节的例 1， 当定义区域变为 R : ?2 ? x ? 2, ?2 ? y ? 2 时，M ? 8, h ? min{2, } ? 解的范围缩小为 | x ? x0 |?2 81 ， 41 . 在实际引用中， 我们也希望解的存在区间能尽量扩大， 下面讨论解的延展概 4念，尽量扩大解的存在区间，把解的存在唯一性定理的结果由局部的变成大范围的.1、饱和解及饱和区间定义 1 对定义在平面区域 G 上的微分方程dy ? f ( x, y ) dx(3.1)设 y ? ? ( x) 是方程(3.1)定义在区间 I1 ? R 上的一个解,如果方程(3.1)还有一个定义在区间 I 2 ? R 上的 另一解 y ? ? ( x) ,且满足 (1) I1 ? I 2 ；但是 I1 ? I 2 （2）当 x ? I1 时， ? ( x) ? ? ( x) 则称 y ? ? ( x), x ? I1 是可延拓的， 并称 y ? ? ( x) 是 y ? ? ( x) 在 I 2 上的延拓.否则如果不存在满足上述条件的解 y ? ? ( x) ,则称 y ? ? ( x), x ? I1 是方程(3.1)的不可延拓解或饱和解,此时把不可延拓解的区间 I1 称 为一个饱和区间.2、局部李普希兹条件定义 2 若函数 f ( x, y) 在区域 G 内连续，且对 G 内每一点 P ，都存在以 P 点为中心，完全含在 G 内的闭矩形域 Rp ，使得在 Rp 上 f ( x, y) 关于 y 满足李普希兹条件（对于不同的点，闭矩形域 Rp 的大小和李 普希兹常数 L 可能不同） ，则称 f ( x, y) 在 G 上关于 y 满足局部李普希兹条件.dy ? f ( x, y ) 的右端函数 f ( x, y) 在（有界或无界）区域 G ? R 2 上连 dx dy ? f ( x, y ) 以 ( x0 , y0 ) 为初 续，且在关于 y 满足局部李普希兹条件，则对任意一点 ( x0 , y0 ) ? G ，方程 dx定理 3 （延拓定理）如果方程 值的解 ? (x) 均可以向左右延展，直到点 ( x, ? ( x)) 任意接近区域 G 的边界. 以向 x 增大的一方来说，如果 y ? ? ( x) 只能延拓到区间上，则当 x ? m 时， ( x, ? ( x)) 趋于区域 G 的 边界。 证明?( x0 , y0 ) ? G ，由解的存在唯一性定理，初值问题? dy ? ? f ( x, y ) ? dx ? y 0 ? y ( x0 ) ?存在唯一的解 y ? ? ( x) ，解的存在唯一区间为 | x ? x0 |? h0 .取 x1 ? x0 ? h0 ,（1）y1 ? ? ( x1 ) ,以 ( x1 , y1 ) 为中心作一小矩形 R1 ? G ,则初值问题? dy ? ? f ( x, y ) ? dx ? y1 ? y ( x1 ) ?存在唯一的解 y ? ? ( x) ，解的存在唯一区间为 | x ? x1 |? h1 . 因为(2)? ( x1 ) ? ? ( x1 ) ,有唯一性定理,在两区间的重叠部分应有 ? ( x) ? ? ( x) ,即当 x1 ? h1 ? x ? x1 时? ( x) ? ? ( x) .定义函数?? ( x), x0 ? h0 ? x ? x0 ? h0 ? ? ( x) ? ? ?? ( x), x0 ? h0 ? x ? x0 ? h0 ? h1则 y ? ? ? ( x) 是方程(3.1)满足(1)(或(2)) 的,在 [ x0 ? h0 , x1 ? h1 ] 上有定义的唯一的解.这样,把方程(3.1) 满足(1)的解 y ? ? ( x) 在定义区间上向右延伸了一段.即把解 y ? ? ? ( x) 看作方程(3.1)的解 y ? ? ( x) 在定义 区 间 | x ? x0 |? h0 的 向 右 延 拓 , 延 拓 到 更 大 区 间 x0 ? h0 ? x ? x0 ? h0 ? h1 . 同 样 的 方 法 , 也 可 把 解y ? ? ( x) 向左延拓.这种将曲线向左右延拓的办法可继续进行下去,最后将得到一个解 y ? ? ( x ) ,不能再向左右延拓了.这个解称为方程(3.1)的饱和解. 推论 1 对定义在平面区域 G 上的初值问题~? dy ? ? f ( x, y ) ? dx ? y 0 ? y ( x0 ) ?其中 ( x0 , y0 ) ? G若 f ( x, y) 在区域 G 内连续且关于 y 满足局部 Lipschtiz 条件,则它的任一非饱和解均可延拓为饱和解. 推论 2 设 y ? ? ( x ) 是初值问题~? dy ? ? f ( x, y ) ? dx ? y 0 ? y ( x0 ) ?其中 ( x0 , y0 ) ? G的一个饱和解，则该饱和解的饱和区间 I 一定是开区间. 证明 若饱和区间 I 不是开区间,不妨设 I ? (? , ? ] ,则 ( ? , ? ( ? )) ? G ,这样解 y ? ? ( x ) 还可以向右延拓,~ ~ ~从 而 y ? ? ( x ) 是 非 饱 和 解 , 矛 盾 . 对 I ? [? , ? ) 时 , 同 样 讨 论 , 即 x ? ? ? ( 或 x ? ? ? ) 时 ,( x, ? ( x)) ? ?G .推论 3 如果 G 是无界区域,在上面解的延拓定理的条件下,方程(3.1)通过 ( x0 , y0 ) 点的解 y ? ? ( x) 可以延 拓,以向 x 增大(减小)一方的延拓来说,有以下两种情况: (1) 解 y ? ? ( x) 可以延拓到区间 [ x0 , ??) (或 (??, x0 ] )； (2) 解 y ? ? ( x) 只可延拓到区间 [ x0 , m) (或 (m, x0 ] )， 其中为有限数， 则当 x ? m 时， 或者 y ? ? ( x) 无界,或者点 ( x, ? ( x)) ? ?G .例 1 讨论方程dy y 2 ? 1 ? 分别通过点 (0, 0) 和点 (ln 2, ?3) 的解的存在区间. dx 2 y2 ?1 在整个 xy 平面上满足解的存在唯一性定理及解的延拓定理的条 2解此方程右端函数 f ( x, y ) ?件.易知方程的通解为1 ? ce x y? 1 ? ce x故通过点 (0, 0) 的解为 y ? (1 ? e x ) /(1 ? e x ) ,这个解的存在区间为 ??? x ? ?? ；通过点 (ln 2, ?3) 的解为 y ? (1 ? e x ) /(1 ? e x ) ,这个解的存在区间为 0 ? x ? ?? (如图所示).注意, 过点 (ln 2, ?3) 的解为 y ? (1 ? e x ) /(1 ? e x ) 向右方可以延拓到?? ,但向左方只能延拓到 0 ,因为当 x ? 0? 时, y ? ?? .例 2 讨论方程 解dy ? 1 ? ln x 过 (1, 0) 点的解的存在区间. dx方程右端函数 f ( x, y) ? 1 ? ln x 在右半平面 x ? 0 上满足解的存在唯一性定理及解的延拓定理的条件.区域 G (右半平面)是无界开域， y 轴是它的边界. 易知问题的解为 y ? x ln x ,它于区间 0 ? x ? ?? 上有定义、连续且当 x ? 0 时, y ? 0 ,即所求问题的 解向右方可以延拓到 ?? ,但向左方只能延拓到 0 ,且当 x ? 0 时积分曲线上的点 ( x, y ) 趋向于区域 G 的边 界上的点. 例 3 考虑方程dy ? ( y 2 ? a 2 ) f ( x, y ) ,假设 f ( x, y) 和 f y' ( x, y) 在 xoy 平面上连续，试证明：对于任 dx意 x0 及 y0 ? a ，方程满足 y( x0 ) ? y0 的解都在 (??,??) 上存在. 证明 根据题设,易知方程右端函数在整个 xoy 平面上满足解的存在唯一性定理及解的延拓定理的条件 . 又 y ? ? a 为 方 程 在 (??, ??) 上 的 解 , 由 延 拓 定 理 可 知 , 对 ?x0 ,| y0 |? a , 满 足 y( x0 ) ? y0 的 解y ? y ( x) 应当无限远离原点,但是,由解的唯一性, y ? y ( x) 又不能穿过直线 y ? ? a ,故只能向两侧延拓,而无限远离原点,从而解应在 (??, ??) 存在. 注: 如果函数 f ( x, y) 于整个 xoy 平面上定义、连续和有界,同时存在关于 y 的一阶连续偏导数,则方 程(3.1)的任一解均可以延拓到区间 ??? x ? ?? . 练习 试证对任意 x0 ， y0 ，方程 在.dy x2 满足初始条件 y( x0 ) ? y0 的解都在 (??,??) 上存 ? 2 dx x ? y 2 ? 1§3解对初值的连续性和可微性定理? dy ? ? f ( x, y ) 在 初 值 问 题 ? dx 中 我 们 都 是 把 初 值 ( x0 , y0 ) 看 成 是 固 定 的 数值 ， 然 后 再 去 讨 论 方程 ? y 0 ? y ( x0 ) ?dy ? f ( x, y ) 经过点 ( x0 , y0 ) 的解.但是假如 ( x0 , y0 ) 变动，则相应初值问题的解也随之变动，也就是说初 dx值问题的解不仅依赖于自变量 x ,还依赖于初值 ( x0 , y0 ) .例如： f ( x, y) ? y 时,方程 y ' ? y 的解是y ? ce x ,将初始条件 y( x0 ) ? y0 带入,可得 y ? y0 e x? x0 .很显然它是自变量 x 和初始条件 ( x0 , y0 ) 的函数.? dy ? ? f ( x, y ) 因此将对初值问题 ? dx 的解记为 y ? ? ( x, x0 , y0 ) ,它满足 y0 ? ? ( x0 , x0 , y0 ) . ? y 0 ? y ( x0 ) ?当初值发生变化时，对应的解是如何变化的？当初始值微小变动时，方程解的变化是否也很小呢？为 此就要讨论解对初值的一些性质. 1、解关于初值的对称性 设方程(3.1)满足初始条件 y( x0 ) ? y0 的解是唯一的,记为 y ? ? ( x, x0 , y0 ) ,则在此关系式中, ( x, y ) 与 ( x0 , y0 ) 可以调换其相对位置.即在解的存在范围内成立关系式y0 ? ? ( x0 , x, y)证明 在方程(3.1)满足初始条件 y( x0 ) ? y0 的解的存在区间内任取一点 x1 ,显然 y1 ? ? ( x1 , x0 , y0 ) ,则 由解的唯一性知,过点 ( x1 , y1 ) 的解与过点 ( x0 , y0 ) 的解是同一条积分曲线,即此解也可写为y ? ? ( x, x1, y1 )并且,有 y0 ? ? ( x0 , x1 , y1 ) .又由 ( x1 , y1 ) 是积分曲线上的任一点,因此关系式 y0 ? ? ( x0 , x, y) 对该积分曲线 上的任意点均成立. 2、 解对初值的连续依赖性 由于实际问题中初始条件一般是由实验 测量得到的，肯定存在误差. 有的时候误差比较大，有的时 候误差比较小，在实际应用中我们当然希望误差较小，也就是说当 ( x0 , y0 ) 变动很小的时候，相应的方程 的解也只有微小的变动，这就是解对初值的连续依赖性所要研究的问题：在讨论这个问题之前，我们先来 看一个引理： 引理：如果函数 f ( x, y) 于某域 D 内连续，且关于 y 满足 Lipschtiz 条件（Lipschtiz 常数为 L ） ，则对 方程（3.1）的任意两个解 ? ( x) 及? ( x) ，在它们公共存在的区间内成立着不等式| ? ( x) ?? ( x) |?| ?( x0 ) ?? ( x0 ) | eL|x?x0 |其中 x0 为所考虑区域内的某一值.（3.17）证明设 ? ( x) , ? ( x) 于区间 a ? x ? b 上均有定义,令V ( x) ? [? ( x) ?? ( x)]2 , a ? x ? b则V ?( x) ? 2[? ( x) ?? ( x)][ f ( x, ? ) ? f ( x,? )]于是V ?( x) ?| V ?( x) |? 2 | ? ( x) ?? ( x) || f ( x, ? ) ? f ( x,? ) |? 2LV ( x)V ?( x)e?2 Lx ? 2LV ( x)e?2 Lx ? 0从而d (V ( x)e?2 Lx ) ? 0 dx所以,对 ?x0 ?[a, b] ,有V ( x) ? V ( x0 )e2 L( x? x0 ) , x0 ? x ? b对于区间 a ? x ? x0 ,令 ? x ? t ,并记 ? x0 ? t0 ,则方程(3.1)变为dy ? ? f (?t , y ) dx而且已知它有解 y ? ? (?t ) 和 y ? ? (?t ) . 类似可得 V ( x) ? V ( x0 )e 因此,2 L ( x0 ? x ), a ? x ? x0V ( x) ? V ( x0 )e2 L|x? x0 | , a ? x ? b, a ? x0 ? b两边开平方即得(3.17). 利用此引理我们可以证明解对初值的连续依赖性： 解对初值的连续依赖定理 假设 f ( x, y) 在区域 G 内连续，且关于 y 满足局部李普希兹条件，如果 ( x0 , y0 ) ? G ，初值问题? dy ? ? f ( x, y ) 有 解 y ? ? ( x, x0 , y0 ) ， 它 于 区 间 a ? x ? b 上 有 定 义 ( a ? x0 ? b ), 则 对 任 意 ? ? 0 ， ? dx ? y 0 ? y ( x0 ) ??? ? ? (? , a, b) ? 0 ， 使 得 当 ( x0 ? x0 )2 ? ( y0 ? y0 )2 ? ? 2 时 , 方 程 (3.1) 满 足 条 件 y( x0 ) ? y0 的 解y ? ? ( x, x0 , y0 ) 在区间 a ? x ? b 上也有定义，并且有?( x, x0 , y0 ) ? ?( x, x0 , y0 ) ? ? , a ? x ? b .证明 记积分曲线段 S : y ? ? ( x, x0 , y0 ) ? ? ( x), a ? x ? b 是 xy 平面上一个有界闭集. 第一步:找区域 D ,使 S ? D ,而且 f ( x, y) 在 D 上关于 y 满足 Lipschitz 条件.由已知条件,对 ?( x, y) ? S ,存在以它为中心的开圆 C, C ? G ,使 f ( x, y) 在其内关于 y 满足 Lipschitz 条件.因此,根据有限覆盖定理,可以找到有限个具有这种性质的圆 Ci (i ? 1, 2,?, N ) (不同的 Ci ,其半径 ri? 和 Lipschitz 常数 Li 的大小可能不同),它们的全体覆盖了整个积分曲线段 S ,令 G ?? ? C ,则 S ? G ? G ,i i ?1N? 对 ?? ? 0 ,记 ? ? d (?G, S ),? ? min(? , ? 2), L ? max(L1,?LN ) ,则以 S 上的点为中心,以 ? 为半径的圆? 的全体及其边界构成包含 S 的有界闭域 D ? G ? G ,且 f ( x, y) 在 D 上关于 y 满足 Lipschitz 条件,Lipschitz 常数为 L . 第 二 步 : 证 明 ?? ? ? (? a b , ? ) ? ? ?( ， 使 得 当 ( x0 ? x0 )2 ? ( y0 ? y0 )2 ? ? 2 时 , 解 , 0 )y ? ? ( x) ? ? ( x, x0 , y0 ) 在区间 a ? x ? b 上也有定义.由于 D 是一个有界闭域,且 f ( x, y) 在其内关于 y 满足 Lipschitz 条件,由解的延拓定理可知, 解y ? ? ( x) ? ? ( x, x0 , y0 ) 必能延拓到区域 D 的边界上.设它在 D 的边界上的点为 (c,? (c)) 和 (d ,? (d )) ,c ? d ,这时必有 c ? a, d ? b .否则设 c ? a, d ? b ,由引理有| ? ( x) ?? ( x) |?| ? ( x0 ) ?? ( x0 ) | eL|x? x0 | , c ? x ? d? L (b?a ) 利用 ? ( x) 的连续性,对 ?1 ? ? e ,必有 ? 2 ? 0 存在,使当 | x ? x0 |? ? 2 时有 | ? ( x) ? ? ( x0 ) |? ?1 ,取1 2? ? min(?1, ? 2 ) ,则当 ( x0 ? x0 )2 ? ( y0 ? y0 )2 ? ? 2 时就有| ? ( x) ?? ( x) |2 ?| ? ( x0 ) ?? ( x0 ) |2 e 2 L| x ? x0 | 1 2 ? (|? ( x0 ) ? ? ( x0 ) | ? | ? ( x0 ) ?? ( x0 ) |) 2 e 2 L| x ? x0 | ? 2(| ? ( x0 ) ? ? ( x0 ) |2 ? | ? ( x0 ) ?? ( x0 ) |2 )e 2 L| x ? x0 | ? 2(?12 ? | y0 ? y0 |2 )e 2 L (b ?a ) ? 4?12 e2 L (b ?a ) ? ? 2 (c ? x ? d )(3.18)于是对一切 x ?[c, d ],| ? ( x) ?? ( x) |? ? 成立,特别地有| ? (c) ?? (c) |? ? , | ? (d ) ?? (d ) |? ?即点 (c,? (c)) 和 (d ,? (d )) 均落在域 D 的内部,这与假设矛盾,故解 y ? ? ( x) 在区间 [ a, b] 上有定义. 第三步 证明 | ? ( x) ?? ( x) |? ? , a ? x ? b . 在不等式（3.18）中将区间 [c, d ] 换成 [ a, b] ，可知当( x0 ? x0 )2 ? ( y0 ? y0 )2 ? ? 2 时，就有?( x, x0 , y0 ) ? ?( x, x0 , y0 ) ? ? ? ? , a ? x ? b .根据方程解对初值的连续依赖定理及解对自变量的连续性有 3、解对初值的连续性定理 若 函 数 f ( x, y) 在 区 域 G 内 连 续 ， 且 关 于 y 满 足 局 部 李 普 希 兹 条 件 , 则 方 程 (3.1) 的 解y ? ? ( x, x0 , y0 ) 作为 x, x0 , y0 的函数在它的存在范围内是连续的.证 明 对 ?( x0 , y0 ) ? G , 方 程 (3.1) 过 ( x0 , y0 ) 的 饱 和 解 y ? ? ( x, x0 , y0 ) 定 义 于? ( x0 , y0 ) ? x ? ? ( x0 , y0 ) 上,令V ? {( x, x0 , y0 ) | ? ( x0 , y0 ) ? x ? ? ( x0 , y0 ),( x0 , y0 ) ? G}下证 y ? ? ( x, x0 , y0 ) 在 V 上连续. 对 ?( x , x0 , y0 ) ?V , ?[a, b] ,使解 y ? ? ( x, x0 , y0 ) 在 [ a, b] 上有定义,其中 x , x0 ?[a, b] . 对 ?? ? 0, ??1 ? 0 ,使得当 ( x0 ? x0 )2 ? ( y0 ? y0 )2 ? ?12 时,? ? ( x, x0 , y0 ) ? ? ( x, x0 , y0 ) ? , a ? x ? b2又 y ? ? ( x, x0 , y0 ) 在 x ? [a, b] 上对 x 连续,故 ?? 2 ? 0 ,使得当 | x ? x |? ? 2 时有? ? ( x , x0 , y0 ) ? ? ( x, x0 , y0 ) ? , x , x ? [a, b]2取 ? ? min(?1 , ? 2 ) ,则只要 ( x ? x)2 ? ( x0 ? x0 )2 ? ( y0 ? y0 )2 ? ? 2 就有? ( x , x0 , y0 ) ? ? ( x, x0 , y0 )?| ? ( x , x0 , y0 ) ? ? ( x , x0 , y0 ) | ? | ? ( x , x0 , y0 ) ? ? ( x, x0 , y0 )