卷面标题为“2022–2023 学年第二学期常微分方程考题”。源文件没有官方答案;下列折叠内容均按题面独立推导。
一、填空题(24 分)
1. 饱和定义区间
方程
y′=1+y2+x2y(y−2),y(x0)=1
的解 y=φ(x) 的饱和定义区间是什么?
查看答案
右端在整个 R2 上光滑,而且作为 y 的函数增长有界,不会造成有限时刻爆炸。故饱和定义区间为
(−∞,+∞).
2. Laplace 变换
已知 L[f(t)]=1/(s2+1),求 L[tetf(t)]。
查看答案
先平移再使用乘 t 的求导性质:
L[tetf(t)]=−dsd(s−1)2+11=[(s−1)2+1]22(s−1).
3. 恰当方程
求 (y+x)dx+xdy=0 的通解。
查看答案
左端正是 d(xy+x2/2),故
xy+2x2=C.
4. 曲线族的包络
曲线族 y=Cx+C2 是否有包络?若有,写出表达式。
查看答案
联立 y−Cx−C2=0 与 −x−2C=0,消去 C=−x/2,得
y=−4x2.
5. 积分因子
为
(4x2+6xy+3y2)dx+(2x2+3xy)dy=0
写出一个积分因子和通解。
查看答案
乘以 μ=x 后成为恰当方程。势函数可取
x4+2x3y+23x2y2,
将等式两边同乘 2 并重新记常数,通解可写为
x2(2x2+4xy+3y2)=C.
二、解微分方程(40 分)
1. x1+(y′)2=2y′
查看答案
平方并结合原式的符号条件,
y′=4−x2x,∣x∣<2.
所以
y=−4−x2+C.
2. x2y′′+xy′−4y=x
查看答案
Euler 方程的指标根为 m=±2。一次项特解取 −x/3,故
y=C1x2+C2x−2−3x.
3. xy′′′−y′′=(y′′′)2+1
查看答案
令 p=y′′、q=p′=y′′′,则
p=xq−q2−1.
一般分支 q=C 给出
y=6Cx3−2C2+1x2+C1x+C2.
包络分支 x=2q 给出
y=48x4−2x2+C1x+C2.
4. xy′−y=x
查看答案
(xy)′=x1,
所以
y=xln∣x∣+Cx.
5. (4y−3x)y′=2x+3y+5
查看答案
平移
X=x+1720,Y=y+1715,
方程化为 (4Y−3X)dY−(2X+3Y)dX=0,这是恰当方程。因此
−X2−3XY+2Y2=C.
三、线性方程(15 分)
求
{y′′′−2y′′−3y′=e−x,y(1)=y′(1)=y′′(1)=0
的解。
查看答案
令 s=x−1。齐次特征根为 0,3,−1,且右端与 −1 共振。代入三个初值后可写成
y=e−1[−31+481e3s+165e−s+41se−s].
四、非齐次方程组(12 分)
求
{x′=3x+y+1,y′=−4x−2y
的通解。
查看答案
平衡点为 (−1,2)。平移后特征值为 2,−1,故
xy=−1+C1e2t+C2e−t,=2−C1e2t−4C2e−t.
五、比较定理(9 分)
设 f(x,y),F(x,y) 在区域内连续并关于 y 满足局部 Lipschitz 条件,且 f(x,y)<F(x,y)。两方程
y′=f(x,y),y′=F(x,y)
从同一点 (x0,y0) 出发的解分别为 φ,Φ。证明 x>x0 时 φ(x)<Φ(x)。
查看答案
两解在 x0 处相等,而
Φ′(x0)−φ′(x0)=F(x0,y0)−f(x0,y0)>0.
若之后存在第一次重新相交时刻 x1,则在 x1 有 Φ=φ 且从左侧看差值由正降到零,应满足 Φ′(x1)−φ′(x1)≤0;但严格不等式又给出该差值大于零,矛盾。因此不可能重新相交。