马知恩周义仓编常微分方程定性与稳定性方法部分习题参考解答.pdfVIP

马知恩周义仓编常微分⽅程定性与稳定性⽅法部分习题参考解 答 第⼀章 基本定理 设有 $$\bex \frac{\rd \bbx}{\rd t}=\bbf (t,\bbx),\quad \bbx (t_0)=\bbx^0,\quad (t_0,\bbx^0)\in \bbR\times \bbR^n. \eex$$ 试证: 若 $\bbf\in C^ (G)$, 则在 $(t_0,\bbx^0)$ 的领域内, 此 Cauchy 问题的解存在惟⼀. 证明: 由 $f\in C^ (G)$ 蕴含 $f\in C(G)$ 且在 $G$ 内适合 Lipschitz 条件知有结论. 2试讨论下列⽅程解的存在区间: ( ) $\dps{\frac{\rd y}{\rd x}=\frac{ }{x^2+y^2}}$; (2) $\dps{\frac{\rd y}{\rd x}=y (y- )}$. 解答: ( ) 由 $\dps{\frac{\rd x}{\rd y}=x^2+y^2}$ 的解的存在区间有限知 $y$ 有界, ⽽由解的延 拓定理, 原⽅程解的存在区间为 $\bbR$. (2) 直接求解有 $\dps{y=\frac{ }{ -\frac{y_0- }{y_0}e^x}}$, ⽽ a.当 $0\leq y_0\leq $ 时, 原⽅程解的存在区间为 $\bbR$; b.当 $y_00$ 时, 原⽅程解的存在区间为 $\dps{\sex{\ln\frac{y_0}{y_0- },\infty}}$; c.当 $y_0 $ 时, 原⽅程解的存在区间为 $\dps{\sex{-\infty,\ln\frac{y_0}{y_0- }}}$. 3 设有⼀阶微分⽅程式 $$\bex \frac{\rd x}{\rd t}=(t-x)e^{tx^2}. \eex$$ 试证: 过任⼀点 $(t_0,x_0)\in\bbR^2$ 的右⾏解的存在区间 均为 $[t_0,+\infty)$. 证明: 由 $$\bex \frac{\rd x}{\rd t}=(t-x)e^{tx^2}=\left\{\ba{ll} 0,xt,\\ 0,xt \ea\right. \eex$$ 知解在 $\sed{xt}$ 内递减, 在 $\sed{xt}$ 内递增. 当 $x_0t_0$ 时, 在 $$\bex \sed{(t,x);t\in\bbR, t_0xx_0} \eex$$ 内应⽤解的延伸定理知解定与 $\sed{x=t}$ 相交, 之后解递增, 在 $$\bex \sed{(t,x);t\in\bbR,xt} \eex$$ 内应⽤延伸定理及⽐较定理即知结论. 4设有⼀阶⽅程 $\dps{\frac{\rd x}{\rd t}=f (x)}$, 若 $f\in C(-\infty,+\infty)$, 且当 $x\neq 0$ 时有 $xf (x)0$. 求证过 $\forall\ (t_0,x_0)\in\bbR^2$, Cauchy 问题的右⾏解均在 $[t_0,+\infty)$ 上存在, 且 $\dps{\lim_{t\to+\infty}x (t)=0}$. 证明: 由题意, $$\bex f (x)\left\{\ba{ll} 0,x0,\\ 0,x0. \ea\right. \eex$$ ⽽由 $f$ 的连续性, $f (0)=0$. 于是当 $x_0=0$ 时, 由解的唯⼀性知 $x=0$. 当 $x_00$ 时, 在 $$\bex \sed{(t,x);t\in\bbR,0xx_0} \eex$$ 内应⽤延伸定理及惟⼀性定理知 $x (t)$ 递减 趋于 $0$. 当 $x_00$ 时, 在 $$\bex \sed{(t,x);t\in\bbR,x_0x0} \eex$$ 内应⽤延伸定理及惟⼀性定理知 $x (t)$ 递增趋于 $0$. 5若 $\bbf (t,\bbx)$ 在全空间 $\bbR\times\bbR^n$ 上连续且对 $\bbx$ 满⾜局部 Lipschitz 条件且 $$\bex \sen{\bbf (t,\bbx)}\leq L(r),\quad r=\sqrt{\sum_{i= }^n