第一章 基本定理
1设有 $$\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^1(G)$, 则在 $(t_0,\bbx^0)$ 的领域内, 此 Cauchy 问题的解存在惟一.
证明: 由 $f\in C^1(G)$ 蕴含 $f\in C(G)$ 且在 $G$ 内适合 Lipschitz 条件知有结论.
2试讨论下列方程解的存在区间:
(1) $\dps{\frac{\rd y}{\rd x}=\frac{1}{x^2+y^2}}$;
(2) $\dps{\frac{\rd y}{\rd x}=y(y-1)}$.
解答:
(1) 由 $\dps{\frac{\rd x}{\rd y}=x^2+y^2}$ 的解的存在区间有限知 $y$ 有界, 而由解的延
拓定理, 原方程解的存在区间为 $\bbR$.
(2) 直接求解有 $\dps{y=\frac{1}{1-\frac{y_0-1}{y_0}e^x}}$, 而
a.当 $0\leq y_0\leq 1$ 时, 原方程解的存在区间为 $\bbR$;
b.当 $y_0<0$ 时, 原方程解的存在区间为 $\dps{\sex{\ln\frac{y_0}{y_0-1},\infty}}$;
c.当 $y_0>1$ 时, 原方程解的存在区间为 $\dps{\sex{-\infty,\ln\frac{y_0}{y_0-1}}}$.
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,&x>t,\\ >0,&x<t \ea\right. \eex$$ 知解在 $\sed{x>t}$ 内递减, 在 $\sed{x<t}$ 内递增. 当 $x_0>t_0$ 时, 在 $$\bex \sed{(t,x);t\in\bbR, t_0<x<x_0} \eex$$ 内应用解的延伸定理知解定与 $\sed{x=t}$ 相交, 之后解递增, 在 $$\bex \sed{(t,x);t\in\bbR,x<t} \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}$.