《常微分方程》习题(2024)

加$\star$$\star$题选作

第二周

1. 假设条件(H)成立，即$f$$f$为区间$J_x$$J_x$上的连续函数，$g$$g$为$J_y$$J_y$上的连续函数，并且$(x_0,y_0)\in J_x\times J_y$$(x_0,y_0)\in J_x\times J_y$。设$y_0\in J_y$$y_0\in J_y$为内点并且$g(y_0)\ne 0$$g(y_0)\not=0$，其中$J_y$$J_y$为一区间（所谓内点是指，存在$y_0$$y_0$的一个开邻域包含于$J_y$$J_y$）。证明存在$x_0$$x_0$的邻域（可能为单边邻域），使得初值问题

   $$y^{\prime }=f(x)g(y),y(x_0)=y_0,$$

   在该邻域中具有唯一解。从而可以通过分离变量法解出该方程。

2. 解方程并画出方程解的草图：

第四周

1. 解方程$y^{\prime }=\frac{2y(y-1)}{x(2-y)}$$y'=\frac{2y(y-1)}{x(2-y)}$，确定其通解。

2. 解以下常微分方程： a. $y^{\prime }+y\sin x=\sin 2x$$y'+y\sin x=\sin 2x$，$y(0)=y_0$$y(0)=y_0$； b. $y^{\prime }=x^{4}y+x^4{y}^4$$y'=x^4y+x^4y^4$，$y(0)=y_0$$y(0)=y_0$； c. $y^{\prime }=\frac{2x+y+1}{x+2y+2}$$y'=\frac{2x+y+1}{x+2y+2}$，$y(0)=y_0$$y(0)=y_0$。

3. 设$f:(0,1]\to \mathbb{R}$$f:(0,1]\to\mathbb{R}$连续，并考虑方程

试问$f$$f$在何种条件下可以保证上述方程所有解满足以下性质：a) $\underset{x\to 0^{+}}{lim}y(x)=0$$\lim_{x\to0^+}y(x)=0$；b) $\underset{x\to 0^{+}}{lim}\frac{y(x)}{x}=0$$\lim_{x\to0^+}\frac{y(x)}x=0$？

4. 对方程

考虑上面同样的问题，此时仅考虑满足$0<y(x)⩽1/e$$0<y(x)\leqslant 1/e$的解。

5. （*）考虑Bernoulli方程。

   (1) $\alpha \in \mathbb{Z}$$\alpha\in\mathbb{Z}$，此时$y<0$$y<0$是允许的。试对$\alpha$$\alpha$分别为奇数和偶数讨论Bernoulli方程的解。

   (2) 证明若$\alpha ⩾2$$\alpha\geqslant2$，$\alpha \in \mathbb{N}$$\alpha\in\mathbb{N}$，若$y(x)\not\equiv 0$$y(x)\not\equiv0$为Bernoulli方程在区间$J$$J$上的解，则$y$$y$在$J$$J$上无零点。

6. 解方程

   a. $y^{\prime }-y^2-2xy=2$$y'-y^2-2xy=2$.

   b. $y^{\prime }+\frac{y}{1+x}+(1+x)y^4=0$$y'+\frac{y}{1+x}+(1+x)y^4=0$，$y(0)=-2$$y(0)=-2$.

   c. $(x+\frac{1}{\sqrt{y^2-x^2}})dx+(1-\frac{x}{y\sqrt{y^2-x^2}})dy=0$$\big(x+\frac{1}{\sqrt{y^2-x^2}}\big)dx+\big(1-\frac{x}{y\sqrt{y^2-x^2}}\big)dy=0$.

第六周

1. 设$E\subset {\mathbb{R}}^n$$E\subset\mathbb{R}^n$，$f:E\to \mathbb{R}$$f:E\to\mathbb{R}$一致连续。证明存在$f$$f$从$E$$E$到$\bar{E}$$\overline{E}$的唯一连续扩张，即存在唯一的连续函数$g:\bar{E}\to \mathbb{R}$$g:\overline{E}\to\mathbb{R}$使得$g{|}_E=f$$g\vert_E=f$。

2. 讨论下面方程$y^{\prime }=|y{|}^{\alpha }$$y'=|y|^{\alpha}$，$\alpha >0$$\alpha>0$满足初值条件$y(0)=0$$y(0)=0$的解的唯一性。

3. 设连续函数$f(x,y)$$f(x,y)$关于$y$$y$是递减的，证明在$x_0$$x_0$的右端方程初值问题

   $$\{\begin{array}{l}{y}^{\prime }=f(x,y),\\ y(x_0)=y_0,\end{array}$$

   存咋唯一局部解。请同时讨论左端的情形。

4. 运用$C(J)$$C(J)$上的另一个范数

   $$\parallel y{\parallel }_1=\underset{x\in J}{max}|y(x)|e^{-\alpha |x-x_0|}$$

   给出Cauchy-Lipschitz定理的新证明。（注意这个证明不需要解的延拓。）

5. $\star$$\star$ 设算子$T:C(J)\to C(J)$$T:C(J)\to C(J)$如下定义：

   $$(Ty)(x)=y_0+{\int }_{x_0}^{x}f(t,y(t)),y\in C(J),$$

   其中$J=[x_0,x_0+a]$$J=[x_0,x_0+a]$，$y_0\in \mathbb{R}$$y_0\in\mathbb{R}$。证明若$f(x,y)$$f(x,y)$连续，算子$T$$T$为连续紧算子，即 (1) 任给$\{y_n\}$$\{y_n\}$依范数$\parallel \cdot {\parallel }_0$$\|\cdot\|_0$收敛于$y$$y$，$\{T{y}_n\}$$\{Ty_n\}$依范数$\parallel \cdot {\parallel }_0$$\|\cdot\|_0$收敛于$Ty$$Ty$; (2) 若$D\subset C(J)$$D\subset C(J)$为有界集，$T(D)\subset C(J)$$T(D)\subset C(J)$为相对紧集。并由此利用Schauder不动点定理证明初值问题

   $$\{\begin{array}{ll}{y}^{\prime }=f(x,y),& x\in J,\\ y(x_0)=y_0,\end{array}$$

   至少存在一个解。

6. 设$r_0,\dots ,r_N⩾0$$r_0,\ldots,r_N\geqslant0$，${\delta }_0,\dots ,{\delta }_{N-1}⩾0$$\delta_0,\ldots,\delta_{N-1}\geqslant0$，${\mathrm{\Delta }}_0,\dots ,{\mathrm{\Delta }}_{N-1}⩾0$$\Delta_0,\ldots,\Delta_{N-1}\geqslant0$且$r_0=0$$r_0=0$。证明如果$r_{i+1}⩽(1+{\delta }_i)r_i+{\mathrm{\Delta }}_i,$$r_{i+1}\leqslant(1+\delta_i)r_i+\Delta_i,$则

   $$r_N⩽e^{\sum _{i=0}^{N-1}{\delta }_i}\cdot \sum _{i=0}^{N-1}{\mathrm{\Delta }}_i.$$

7. 考虑初值问题

   $$\{\begin{array}{ll}{y}^{\prime }(x)=\frac{3}{2}{y}^{\frac{1}{3}},& x\in [0,1],\\ y(0)=0.\end{array}$$

   证明上述方程有三个形如$y(x)=\alpha x^{\beta }$$y(x)=\alpha x^{\beta}$的经典解，但只有一个Euler解。

8. $\star$$\star$ 利用Peano定理的证明思想给出下面的时滞微分方程解存在性的证明。设$J=[x_0,x_0+a]$$J=[x_0,x_0+a]$，$\tau (x)\in C(J)$$\tau(x)\in C(J)$，$0⩽\tau (x)⩽b$$0\leqslant \tau(x)\leqslant b$。考虑方程

   $$\{\begin{array}{ll}{y}^{\prime }(x)=f(x,y(x-\tau (x))),& x\in J\\ y(x)=\varphi (x),& x\in J_{-}=[x_0-b,x_0].\end{array}$$

   假设$f$$f$在$S=J\times \mathbb{R}$$S=J\times\mathbb{R}$上连续。证明 a. 若$\tau (x)>0$$\tau(x)>0$，$x\in J$$x\in J$，则上述方程存在唯一解； b. 若$f$$f$在$S$$S$上关于$y$$y$满足Lipschitz条件，则方程存在唯一解且该解可由相应的逐次迭代得到。 c. 若$f$$f$在$S$$S$上有界，则方程至少有一个解。