常微分方程 试题

124–25 年英才班期末试题 (严军)

1.

船行水上, 初速度为 , 水的阻力为 . 问船何时停? 总路程为多少?

2.

设连续函数 在区间 上有界, 求证: 方程在区间 内有且仅有一个有界解, 并求出这个有界解. 并进而证明: 当 是以 为周期的周期函数时, 这个有界解同时也是以 为周期的周期函数.

3.

为关于 的连续可微函数, 已知 , 求证:

4.

, , 则如下方程: 的解渐近稳定.

(提示: 考虑 Lyapunov 函数 .)

5.

求解偏微分方程 的解.

6.

求波方程的特征值和对应的特征函数.

223–24 年英才班期末试题 (严军)

1.

(10 分) 设 为关于 的连续可微函数, 已知 , 求证:

2.

(15 分) 设 为一元 维实向量值连续函数, 且其 Wronsky 行列式 恒不等于 . 求证: 存在一个 的矩阵值函数 , 使得关于 维连续可微的向量值函数 的常微分方程的一组基本解为 .

3.

(15 分) 设 , 上的恒正函数, 则方程的任何解都有零点.

4.

(15 分) 设 , , 则如下方程: 的解全局渐近稳定.

(提示: 考虑 Lyapunov 函数 .)

5.

(15 分) 设 在区间 上连续, , 求证: 方程的最大存在区间为 .

6.

(15 分) 求波方程的特征值和对应的特征函数.

7.

(15 分) 设 上的单连通区域, , 且 为恒正函数, . 求证: 方程的解没有闭轨.

322–23 年英才班期末试题 (严军)

1.

(10 分) 设连续函数 在区间 上有界, 求证: 方程在区间 内有且仅有一个有界解, 并求出这个有界解. 并进而证明: 当 是以 为周期的周期函数时, 这个有界解同时也是以 为周期的周期函数.

2.

(10 分) 求证: 齐次方程 有如下积分因子:

3.

(20 分) 设 可微, , 且有常数 使得: 证明: .

4.

(30 分) (1) 画出单摆方程的相图并判断讨论不动点的稳定性.

(2) 判断耗散的单摆方程奇点的稳定性.

5.

(20 分) 设 上连续, 求证: 满足初值条件 的任意两个解都是线性相关的.

420–21 年英才班期末试题 (袁小平)

1.

(10 分) 举例说明 Picard 存在唯一性定理中 Lipschitz 条件不可去.

2.

(10 分) 解方程

3.

(10 分) 求 的幂级数解.

4.

(10 分) 证明 Hamilton 系统的极小值点为 Lyapunov 稳定的但不为渐近稳定的.

5.

(10 分) 对自治系统 的解 , 记 . 令 为其 极限集. 若 为有界集, 证明: 为非空闭集.

6.

(15 分) 证明系统有稳定的极限环.

7.

(15 分) 证明边值问题的特征值均为正实数且有可列个, 记它们为 . 证明 .

8.

(20 分) 证明 的周期解 (非平衡点) 不可能为 Lyapunov 渐近稳定的.

523–24 年期中测验试卷 (林伟)

一、 计算题 (本大题满分 40 分) 本大题共有 4 题, 每题满分 10 分.

1.

求解微分方程 .

解. 先求通解, 原方程的特征方程为 , 有特征根 , 因此原方程的实值通解为再求特解, , 得: 转化得:由性质 4 得:从而有取实部得: 也即原方程的解为

2.

试找到所有可能的 , 使得微分方程 存在非平凡解.

解. 原方程的特征方程可写为 , 其解为 , 我们分三种情况讨论:

(1) 当 时, 方程的通解可写为: 要使其满足边界条件, 需要满足: 由于 , 只有当 , 所以此情况没有非平凡解;

(2) 当 时, 方程的通解可写为: 此种情况为满足边界条件也只能有 , 无非平凡解;

(3) 当 时, 方程的通解可写为: , 再由 可知, 为了使 , 我们必须有: .

综上所述, 的取值为: .

3.

求解初值问题:

解. 事实上, 不难验证是上述齐次线性微分方程组 上的两个解; 而且它们的朗斯基行列式 处的值为故通解为这代表相应齐次线性微分方程组有一个基解矩阵容易求出利用公式, 就得到所求初值问题的解为

4.

求解齐次线性方程组

解. 矩阵的 Jordan 标准型为: , 对应的特征向量可取为对于二重特征根 , 可以算出因此, 方程 有两个线性无关的解为把它们分别代入, 并注意 , 就可得到以上结果不唯一, 只要符合广义特征向量要求即可, 由此我们可得到一个基解矩阵其中 为任意常数列向量. 这个通解也可以改写成下面更清晰的形式其中 是任意常数.

二、 解答题 (本大题满分 60 分) 本大题共有 4 题, 解答下列各题并写出必要的步骤.

5. (本小题满分 10 分) 本题共有 2 个小题, 第 1 个小题满分 5 分, 第 2 个小题满分 4 分.

考虑自治系统 ,

(1)

若矩阵 是正定的, 也就是对于任意非零向量 都有 , 证明 是一种范数 (注意, 正定矩阵不一定是对称矩阵) ;

(2)

若矩阵 是严格对角占优的, 也就是 , 求出方程组的所有常值解.

解.

(1)

(i) 正定性 (1 分) : 可由 的正定性直接推出;

(ii) 齐次性 (1 分) : ;

(iii) 三角不等式: 我们需要说明, 对于任意 (1 分) .

为对称正定矩阵时 (1 分) , 可考虑采用谱分解或 Cholesky 分解等方法证明. 设 是下三角矩阵, 则 , 可推出 , 所以三角不等式得证;

不是对称阵时 (1 分) , 由于由于 是对称正定矩阵, 所以此种情况也满足三角不等式.

(2)

证明严格对角占优矩阵非异即可 (例如戈式圆盘定理证明特征值严格位于虚轴右侧, 或直接证明 仅有 解, 都是常规的高等代数方法) .

6. (本题满分 16 分) 本题共有 3 个小题, 第 1 个小题满分 4 分, 第 2 个小题满分 4 分, 第 3 个小题满分 6 分.

解的存在唯一定理是常微分方程中最基本的定理, 其最古典的证明中运用了逐次逼近法等数学思想. 现考虑矩形区域 上的柯西问题 , 假设定理保证了微分方程在 上解的存在唯一,

(1)

叙述定理中 应在矩形区域 上满足的条件, 进一步验证当 时是否在包含 的矩阵区域上满足该条件, 讨论此时微分方程的解是否存在唯一;

(2)

若给定矩形区域 , 定理保证了微分方程在 上的解存在唯一, 当 时, 是否能推得 ? 请给出证明或举出反例;

(3)

运用逐次逼近法证明 的解在 时存在唯一.

解.

(1)

应在矩形区域 上连续 (1 分) 且对 满足 Lipschitz 条件 (1 分) .

时, 在包含 的矩阵区域上不满足 Lipschitz 条件 (1 分) , 因为可以验证不存在这样的 Lipschitz 常数 (1 分) .

但是, 原方程的解是存在唯一的 (1 分) , 可以由分离变量法求得原方程的解: (1 分) . (事实上是因为该方程满足 Osgood 条件, 因此存在唯一, 也可以通过分离变量法说明, 但因会漏解, 故严谨性略有不足. )

(2)

不能推得 (2 分) , 可以举出如下反例 (2 分) (反例合理即可) :

考虑 , 考虑矩形区域 和矩形区域 , 我们易求得此时 , 但 .

(3)

证明: (原试卷中误将 写成 , 只要作答了相应部分都给分. )

存在性 (3 分) : 我们可以发现, 在定义域均为连续有界函数, 即构造序列我们发现: 依此类推, 考虑级数 , 因为所以 一致收敛. 所以对迭代序列两侧取极限, 可保证解的存在性.

唯一性 (3 分) : 设 是微分方程两个不同的解, 我们有: 由此我们有不断在积分号内迭代, 可得由此可推得 , 从而唯一性得证.

7. (本题满分 16 分) 本题共有 3 个小题, 第 1 个小题满分 4 分, 第 2 个小题满分 6 分, 第 3 个小题满分 6 分.

已知光滑映射 满足 为三阶单位矩阵, 这里 上的正交矩阵组成的集合. 若一个在 中运动质点轨迹满足 , 其中 中的常值向量.

(1)

证明质点的运动轨迹满足线性微分方程 , 且系数矩阵 是反对称阵.

(2)

若 (1) 中的系数矩阵 , 证明该质点在 中绕一根过原点的定轴旋转, 即存在非零向量 , 使得 (a) 质点运动速度 垂直, (b) 关于 不变.

(3)

若 (1) 中 , 试确定光滑映射 .

解.

(1)

由于 是正交矩阵, 对于任意 , 我们由正交矩阵的性质有: , 两边对 求导有: 于是, 求导得 , 由此得所以所以 为反对称矩阵.

(2)

(a) 设, , 的任意性可知解得 , 此时 关于 垂直.

(b) 下面验证 (a) 中的 关于 不变, 等价于说明 求导数为 . 因为 , 所以 .

(3)

由矩阵指数求解可得 , 满足初值条件 , 则 . 所以

8. (本题满分 18 分) 本题共有 4 个小题, 第 1 小题满分 5 分, 第 2 小题满分 4 分, 第 3 小题满分 4 分, 第 4 小题满分 5 分.

考虑 维线性周期常微分方程: , 其中 上以 为周期的连续矩阵值函数.

(1)

设上述方程的一个基本解方阵为 , 证明存在一个可逆的常数矩阵 , 使得 恒成立.

(2)

的特征值为 , 则称这 个值为原方程的 Floquet 特征值. 请证明上述定义是良定的, 也即一个线性周期常微分方程的 Floquet 特征值与基本解方阵的选取无关.

(3)

证明: 对于任意一个 Floquet 特征值 , 存在原方程的一个解 , 使得 , 并以此分析原方程的 Floquet 特征值两两不同的情况下所有解都有界的充要条件.

(4)

对于一个非线性的自治系统 , , 假设其有 -周期解 . 考虑周期解 的摄动 , 且 满足 . 那么 满足系统的变分方程 , 其中 为原系统的 Jacobi 矩阵, 请证明此线性方程有一个 Floquet 特征值为 .

证明.

(1)

先考虑 , 记为 , 则有因此 依然为原方程的一个基解矩阵, 由基解矩阵性质知, 存在一个可逆的常数矩阵 , 使得 恒成立.

(2)

假设原方程的另一基解矩阵为 , 则存在可逆常矩阵 使得 , 从而由 (1) 知存在可逆常数矩阵 , 使得 , 那么有: 也即 相似, 自然拥有相同的特征值. 这代表 Floquet 特征值的定义是良定的.

(3)

对应于特征值 的特征向量, 考虑原方程的解 , 我们有由此即知, 若 Floquet 特征值两两不同, 那么原方程所有解有界的充要条件是 ( 也得全分) .

(4)

对于摄动 , 代回原方程有忽略高阶项的意义下, 满足线性周期常微分方程 .

注意到当 时 (线性 ODE 的求解仅与 “方向” 相关, 在这个解上除以一个足够大的数即可使得 成立) , 有下式成立: 这代表周期解 为该 (变分/线性) 方程的解, 从而这个方程有一个 Floquet 特征值为 , 证毕.

623–24 年平时测验试卷 (林伟)

一、 解下列各微分方程 (组) (本大题满分 60 分) 本大题共有 6 题, 每题满分 10 分.

1.

, 其中 .

2.

, 其中 .

3.

4.

.

5.

.

6.

. [答案未必表示为 的显式形式.]

二、 解答题 (本大题满分 40 分) 本大题共有 3 题, 解答下列各题并写出必要的步骤.

7.

(本题满分 12 分) 本题共有 2 个小题, 第 1 小题满分 6 分, 第 2 小题满分 6 分.

是以 为周期的连续函数, 考虑以下非齐次线性方程: (1) 证明: 若这个方程有解 , 且满足 , 则 是以 为周期的周期函数;

(2) 试给出一个使 (1) 中的周期解 唯一存在的充分条件, 并说明理由.

8.

(本题满分 14 分) 本题共有 2 个小题, 第 1 小题满分 6 分, 第 2 小题满分 8 分.

考虑微分方程 , 其中 , 上的连续函数, 试证明:

(1) 当 , 且 有界时, 微分方程一切解 均在 上有界;

(2) 当 , 且 时, 微分方程一切解 均有 .

9.

(本题满分 14 分) 本题共有 3 个小题, 第 1 小题满分 4 分, 第 2 小题满分 4 分, 第 3 小题满分 6 分.

微分方程的具体形式通常反映了系统的结构特征. 例如, 单变量一阶线性常微分方程 与系统结构有如下对应关系,

(i)

;

(ii)

;

(iii)

.

这样的关系可以自然地推广至由多变量线性常微分方程组描述的系统. 现考虑方程组(1) 证明: 若方程组的一切解 均满足 , 则系统必有 “” 结构;

(2) 证明: 若方程组除零解外的一切解在 均无界, 则系统必有 “” 结构;

(3) 画出所有能使方程组存在非常值周期解的系统结构, 并说明理由.

722–23 年期末考试试卷 (林伟)

考生注意:

1.

这份试卷共 9 道试题, 满分 100 分, 共 8 页. 考试时间: 2022 年 12 月 28 日 8:30~10:30.

2.

请在自备的纸张上, 依次写清题号 (阿拉伯数字) 并答题. 考试结束后, 请扫描答卷并上传 “姓名+学号+学院.pdf” 文件.

3.

线上考试, 请考生依旧秉持诚实守信宗旨, 谨守考试纪律, 摒弃考试作弊. 学生如有违反学校考试纪律的行为, 将按《复旦大学学生纪律处分条例》规定予以严肃处理.

4.

本课程学期总评分 (满分 100 分) 由平时成绩 (满分 50 分, 包含期中, 作业以及小论文成绩) 与本试卷成绩的 组合计算 (方案 A) ; 若考生确实仅选择计算本试卷成绩的 与小论文成绩 (满分 10 分) 作为学期总评分 (方案 B) , 请在答卷最开始注明 “选择方案 B”.

一、 填空题 (本大题满分 27 分) 本大题共有 3 题, 将答案直接写在题后的横线上或者绘制在对应的坐标系中, 每题满分 9 分.

1.

考虑矩阵值函数: . 当上述矩阵值函数二维自治系统 基本解方阵时, 分别计算 , 的值, 并求二次型 的具体形式, 使其沿着上述自治系统的全导数 (以上的 表示 中的向量 -范数或由该向量范数诱导的矩阵范数) : .

2.

设常数 中至少有两个不为 , 且 在一定的区域中为足够光滑的函数. 若方程组 存在形如 的首次积分, 则该微分方程奇点 的类型是: .

3.

考虑极坐标 下的平面系统: , 其中 为参数. 试在对应的欧氏坐标系 中, 分别绘制参数 三种情形下系统轨线的大致图形 :

二、 辨析题 (本大题满分 17 分) 本大题共有 2 题, 每题都给出了若干个结论, 分别判断这些结论是否正确, 正确的在结论前的方括号内打 “”, 否则打 “”, 同时根据每题的要求完成证明或说理.

4.

(本题满分 8 分) 是向量场充分光滑的 维自治系统 一特解.

, 那么上述系统的任何一个解的最大存在区间是 ;

若存在满足 的数列 , 成立 , 那么 为上述系统的奇点或周期轨道上的点;

是非平凡周期解, 则该解一定不是 Lyapunov 意义下渐近吸引的;

若 Jacobian 矩阵 所有的特征值在 上都小于 , 则上述系统的解 在 Lyapunov 意义下是渐近稳定的.

在以上结论中, 任意选择一个你认为正确的结论, 证明之.

[证明]

5.

(本题满分 9 分) 考虑二阶微分方程 , 其中 上的连续函数, 上充分光滑的二元函数.

存在上述函数 , 使得上述方程任意两个不同的解在平面 上对应的轨线于有限时刻相交, 相交也不重合;

存在上述函数 , 使得 都为上述方程的解;

对于任意给定的上述函数 , 以上方程一切解的最大存在区间为 ;

, 存在上述函数 , 使得上述方程的任意一解关于初值在 上是连续依赖的;

, 存在这样的 使得上述微分方程的零解是渐近稳定的.

在以上结论中, 任意选择一个你认为错误的结论, 说明错误的理由.

[理由]

三、 解答题 (本大题满分 56 分) 本大题共有 4 题, 解答下列各题须写明推理过程.

6.

(本题满分 8 分)

叙述并证明: 自治系统的零解在 Lyapunov 意义下是渐近稳定的判定定理.

(6) [叙述定理]

(6) [证明]

7.

(本题满分 21 分) 本题共有 3 个小题, 第 1 小题满分 10 分, 第 2 小题满分 6 分, 第 3 小题满分 5 分.

上充分光滑的函数, 考虑含有不全为零的参数 的平面系统:

(1)

试用压缩映象原理证明: 对于给定的 , 存在 , 使得以上系统满足条件 的解在 上存在;

(2)

, 证明: 上述系统在相平面中没有闭轨线;

(3)

且原点 孤立的极小值点, 证明: 原点 对应的零解在 Lyapunov 意义下是稳定的.

(7-1) [证明]

(7-2) [证明]

(7-3) [证明]

8.

(本题满分 20 分) 本题共有 3 个小题, 第 1 小题满分 7 分, 第 2 小题满分 5 分, 第 3 小题满分 8 分.

考虑如下二维平面自治系统: 其中, 参数 均大于零.

(1)

求上述系统在相平面 中坐标轴上及第一象限内的奇点, 并确定奇点类型;

(2)

证明: 系统在第一象限内出发的轨线永远停留在第一象限中;

(3)

表示蝗虫数量, 表示益鸟数量. 如果对于蝗虫使用杀虫剂, 同时这个杀虫剂对于益鸟也有同样的抑制作用. 若视这样的抑制作用为对于参数 的扰动, 试讨论蝗虫、益鸟在一个周期内平均数量如何分别与这样的扰动连续依赖.

(8-1) [解]

(8-2) [证明]

9.

(本题满分 7 分)

设常数 , 且实值函数 满足: 其中区间 . 若 中的可导处成立: 试确定参数 的范围使得 .

(9) [解]

813–14 年期末考试试卷 (林伟)

考生注意:

1.

这份试卷共 8 道试题, 满分 100 分, 共 8 页.

2.

考试时间: 2014 年 1 月 16 日 13:00~15:00.

3.

请将每张试卷装订线内的学号、姓名及专业填写清楚.

4.

学期总评分 (满分 100 分) 由平时成绩 (满分 50 分) 与本试卷成绩的 组合计算.

一、 填空题 (本大题满分 14 分) 本大题共有 2 题, 将答案直接写在题后的横线上, 每题满分 7 分.

1.

设参数 , 而平面自治系统 具有一个连续的首次积分 , 且其一次近似系统的系数矩阵行列式不等于零. 那么该系统的奇点 的类型是 .

2.

设参数 , 阶矩阵 满足: , 其中 为线性无关的向量. 则微分方程组 的任意一解在 Lyapunov 意义下的稳定性是 .

二、 辨析题 (本大题满分 24 分) 本大题共有 2 题, 每题都给出了五个结论, 分别判断这些结论是否正确, 正确的在结论前的方括号内打 “”, 否则打 “”, 同时根据要求完成说理或证明, 每题满分 12 分.

3.

考虑 阶微分方程 , 其中实值函数 上连续.

该方程的任意一解的存在区间均为 ;

该方程至多有 个线性无关的解;

, 是周期为 的函数, 则该方程有且仅有一个周期为 的周期解.

, 且该方程有惟一的满足条件 的解, 则该方程对应的齐次方程满足条件 的只有零解;

, 则该方程的零解在 Lyapunov 意义下可以是渐近稳定的;

在以上结论中, 任意选择一个你认为错误的结论, 说明错误的理由.

[理由]

4.

考虑右端在区域 上具有连续可微的向量场的 维自治系统 .

系统 任意一解的最大存在区间为 ;

若维数 , 则该系统可以有非平凡的周期解;

记上述系统从 出发的解为 , 则对于充分小的任意 成立 ;

是上述系统的零解, 且对于初始时刻 , 该解是 Lyapunov 意义下稳定的, 则对于任意其它的初始时刻 , 该解亦是 Lyapunov 意义下稳定的;

是上述系统的奇点, 并且一次近似线性系统 的零解在 Lyapunov 意义下是不稳定的, 则奇点 在 Lyapunov 意义下是不稳定的.

在以上结论中, 任意选择一个你认为正确的结论, 证明之.

[证明]

三、 解答题 (本大题满分 62 分) 本大题共有 4 题, 解答下列各题须写明推理过程.

5. (本题满分 10 分) 从以下两个小题中选择一个完成.

(1)

叙述并证明: 自治系统的零解在 Lyapunov 意义下渐近稳定的判定定理.

(2)

叙述并证明: 平面自治系统同宿轨不存在的 Bendixson 判定定理 (其中, 同宿轨指相平面中从奇点出发又回到该奇点的奇异闭轨线).

(5) [叙述定理]

(5) [证明]

6. (本题满分 25 分) 本题共有 3 个小题, 第 1 小题满分 12 分, 第 2 小题满分 7 分, 第 3 小题满分 6 分.

考虑以 为参数的平面系统

(1)

利用压缩映象原理证明: 存在 , 上述系统满足初值条件 的解在区间 上存在且惟一;

(2)

, 则上述系统的解是否关于参数 连续依赖? 论证你的结论;

(3)

, 分别绘制当 时, 上述系统在相平面上轨线的大致图形.

(6-1) [证明]

(6-2) [结论与论证]

(6-3) [作图]

7. (本题满分 20 分) 本题共有 3 个小题, 第 1 小题满分 7 分, 第 2 小题满分 7 分, 第 3 小题满分 6 分.

是定义在 上无穷次可微的二元函数, 考虑如下平面系统:

(1)

若设 , 试确定非零参数 满足的条件, 使得系统 的零解在 Lyapunov 意义下是不稳定的;

(2)

是函数 孤立的极小值点, 证明: 系统 的零解是 Lyapunov 意义下稳定的;

(3)

证明: 系统 任意的平衡点对应的解都不是 Lyapunov 意义下渐近稳定的.

(7-1) [解]

(7-2) [证明]

8. (本题满分 7 分)

若连续函数 , 考虑平面系统: . 试证明: 存在 使得 .

(8) [证明]

912–13 年期末考试试卷 (林伟)

考生注意:

1.

这份试卷共 8 道试题, 满分 100 分, 共 8 页.

2.

考试时间: 2013 年 1 月 18 日 8:30~10:30.

3.

请将每张试卷装订线内的学号、姓名及专业填写清楚.

4.

学期总评分 (满分 100 分) 由平时成绩 (满分 50 分) 与本试卷成绩的 组合计算.

一、 填空题 (本大题满分 14 分) 本大题共有 2 题, 将答案直接写在题后的横线上, 每题满分 7 分.

1.

设参数 , 阶矩阵 满足: , 其中 为线性无关的向量. 则微分方程组 的任意一解在 Lyapunov 意义下的稳定性是 .

2.

设参数 , 平面自治系统 具有连续的首次积分 , 且其一次近似系统的系数矩阵行列式不等于零. 那么该系统的奇点 的类型是 .

二、 辨析题 (本大题满分 24 分) 本大题共有 2 题, 每题都给出了五个结论, 分别判断这些结论是否正确, 正确的在结论前的方括号内打 “”, 否则打 “”, 同时根据要求完成说理或证明, 每题满分 12 分.

3.

考虑 阶微分方程 , 其中实值函数 上连续.

该方程的任意一解的存在区间均为 ;

该方程至多有 个线性无关的解;

, 且该方程有惟一的满足条件 的解, 则该方程对应的齐次方程满足条件 的只有零解;

, 则该方程的零解在 Lyapunov 意义可以是渐近稳定的;

, 是周期为 的函数, 则该方程有且仅有一个周期为 的周期解.

在以上结论中, 任意选择一个你认为错误的结论, 说明错误的理由.

[理由]

4.

考虑右端在 上具有连续可微的向量场的 维自治系统 .

系统 任意一解的最大存在区间为 ;

若维数 , 则该系统可以有非平凡的周期解;

, 则 是系统的奇点;

是上述系统的奇点, 并且线性系统 的零解在 Lyapunov 意义下是不稳定的, 则奇点 在 Lyapunov 意义下是不稳定的;

若上述系统具有稳定的极限圈, 则该极限圈对应的解在 Lyapunov 意义下是渐近稳定的.

在以上结论中, 任意选择一个你认为正确的结论, 证明之.

[证明]

三、 解答题 (本大题满分 62 分) 本大题共有 4 题, 解答下列各题须写明推理过程.

5.

(本题满分 11 分) 从以下两个小题中选择一个完成.

(1)

叙述并证明: 自治系统的零解在 Lyapunov 意义下渐近稳定的判定定理.

(2)

叙述并证明: 平面自治系统闭轨线不存在的 Bendixson 判别法.

6.

(本题满分 24 分) 本题共有 3 个小题, 第 1 小题满分 12 分, 第 2 小题满分 6 分, 第 3 小题满分 6 分.

考虑以 为参数的平面系统

(1)

利用压缩映象原理证明: 存在 , 上述系统满足初值条件 的解在区间 上存在且惟一;

(2)

, 则上述系统的解是否关于参数 连续依赖? 论证你的结论;

(3)

, 分别绘制当 时, 上述系统在相平面上轨线的大致图形.

(6-1) [证明]

(6-2) [结论与论证]

(6-3) [作图]

7.

(本题满分 19 分) 本题共有 3 个小题, 第 1 小题满分 5 分, 第 2 小题满分 5 分, 第 3 小题满分 9 分.

二元函数 , 考虑以 为参数的平面系统:

(1)

如果 ( 为任意正常数) 是方程组 的一个首次积分, 试确定 的值;

(2)

, 证明: 在相平面中不存在系统 的闭轨线;

(3)

, 试利用 李雅普诺夫直接方法 确定系统 的零解的稳定性.

(7-1) [解]

(7-2) [证明]

(7-3) [解]

8.

(本题满分 8 分)

若连续函数 , 考虑平面系统: . 试证明: 存在 使得 .

(8) [解]