奇解与包络分析.ppt

由C-判别式 解方程组： 由于： 几何意义:包络线 为求它的解, 令 得 经化简,得 例5. 克莱罗(Clairaut)方程的求解 这是y已解出的一阶微分方程. 如果 则得到 于是, Clairaut方程的通解为: 如果 它与等式 联立, 则得到Clairaut方程的以p为参数的解: 或 其中c为参数. 消去参数p便得方程的一个解. 结果: Clairaut方程 的通解 是一直线族, 此直线族的包络 或 是Clairaut方程的奇积分曲线, 所对应的解是奇解. 如果令 则 因此, 求得此解的过程正好与从通解中求包络的手续一样. 易验证, 此参数曲线恰为通解的包络 例5.1: 求解方程 解: 这是Clairaut方程, 因而它有通解: 其中 因为 所以 从 中消去参数c, 得到原方程的奇解: x y O 如图: 故, 此方程的通解是直线族: 而奇解是通解的包络: 例6 求一曲线,使在其上每一点的切线截割坐标 轴而成的直角三角形的面积都等于2. x y o A(a,0) B(0,b) 解 设所求的曲在(x,y)点切线方程为 这是Clairaut方程, 其通解为 其中 为任意常数. 显然, 此直线族中的每一条直线截割 坐标轴而成的直角三角形的面积都等于2. 它与x和y坐标轴的交点分别为 由题意得 直线族及其包络线 利用Maple可以得到这个方程的解曲线如下: 注意:y=3x和y=-3x是非常特殊的解, 其它解与这两条直线相切. restart: with(plots): for j from -5 to -1 do plot(j*x^2/2+9/2/j,x=-3..3,y=-10..10): y[j]:=%: end do: for j from 1 to 5 do plot(j*x^2/2+9/2/j,x=-3..3,y=-10..10): y[j]:=%: end do: plot(3*x, x=-3..3,y=-10..10, color=black): yy:=%: plot(-3*x, x=-3..3,y=-10..10, color=black): yyy:=%: display(y[1],y[2],y[3],y[4],y[5],y[-1],y[-2],y[-3],y[-4],y[-5],yy,yyy); 本节要点：　　1.奇解的定义。　　2.不存在奇解的判别方法。　　（1）全平面上解唯一 　　（2）不满足解唯一的区域上没有方程的解 　　3.求奇解的包络线求法。　　　 满足C—判别式。　　　在非蜕化条件下，从C —判别式解出的曲线 习题：P109， 1(2,3),2 2.4 奇解与包络 2.4.1 奇解 2.4.2 不存在奇解的判别法 2.4.3 包络线及奇解的求法 利用通解和特解可以构造解： 从图形可以看到，有无数 条积分曲线过初始点。 解： 容易看到 y=0是解，并且满足给定的初始条件 例 得通解 由 2.4.1 奇解 x y 如何判定给定方程奇解的存在 性和不存在性？ 如何求奇解？ 问题的提出： 本节主要讨论一阶隐式方程 和一阶显式方程 的解唯一性受到破坏的情形，显然这样的解只 能存在于方程不满足解的存在唯一性定理条件的 区域内。对于方程(1.9)，由定理2.2，这样的 区域可用 一般来说，若能解出几个显式方程 那么对每一个方程，应用定理2.2即可。其次对于方程(1.8)，如果函数F(x,y,y‘) 对所有变量连续且有连续偏导数，并且在 的邻域内有 一阶隐式微分方程 成立，那么应用数学分析中的隐函数定理，可解得 其中函数f(x,y)是连续的且有连续偏导数，特别有 这样一来，对方程(1.8)初值解的存在唯一性 定理的条件也就清楚了。因此，我们可以就 方程(1.8)或(1.9)给出奇解的定义。 定义2.3 如果方程存在某一解，在它所对应的积分曲线上每点处，解的唯一性都被破坏，则称此解为微分方程的奇解。奇解对应的积分曲线称为奇积分曲线 x y 2.4.2 不存在奇解的判别法 假设方程(1.9)的右端函数 在区域 上有定义，如果 在D上连续且 在D上有界(或连续)，那么由本章定理2.2，方程的 任一解是唯一的，从而在D内一定不存在奇解。 有定义的区域D内成立，那么奇解只能存在于不满足解的存在唯一性定理条件的区域上.进一步如果再能表明在这样的区域上不存在方程的解，那么我们也可以断定该方程无奇解。 如果存在唯一性定理条件不是在整个 2.4.3 包络线及奇解的求法 例如 单参数曲线族： （其中R是常数，c是参数）表示圆心为（c,0）而半径等于R的一族圆. 如图 R 从图形可见,此曲线族的包络显然为: x y 注:并不是每个曲线族都有包络. 例如: