博士研究生入学考试常微分方程试题（含详细参考答案）

博士研究生入学考试常微分方程试题（含详细参考答案）考试时长：120分钟满分：100分适用专业：数学、应用数学、力学、控制科学等相关专业博士入学复试一、选择题（本大题共5小题，每小题3分，共15分）1.下列方程中，属于一阶非线性常微分方程的是（）A.\(y'+2xy=e^x\)B.\(y''+y=0\)C.\((y')^2+xy=1\)D.\(xy'+y=\sinx\)2.方程\(\frac{dy}{dx}=2\sqrt{y}\)的解的唯一性失效的点是（）A.\(y=0\)B.\(y=1\)C.\(x=0\)D.\(x=1\)3.二阶常系数齐次线性微分方程\(y''-2y'+y=0\)的通解为（）A.\(y=C_1e^x+C_2e^{-x}\)B.\(y=(C_1+C_2x)e^x\)C.\(y=C_1\cosx+C_2\sinx\)D.\(y=C_1e^x+C_2xe^{-x}\)4.若函数组\(y_1(x),y_2(x)\)在区间\(I\)上线性无关，则其朗斯基行列式\(W(x)\)在\(I\)上（）A.恒为0B.恒不为0C.可以为0D.无固定规律5.方程组\(\begin{cases}x'=x+y\\y'=-x+y\end{cases}\)的奇点类型为（）A.结点B.鞍点C.焦点D.中心二、简答题（本大题共3小题，每小题5分，共15分）1.简述皮卡存在唯一性定理的核心内容及适用条件。2.说明非齐次线性微分方程通解的结构，并解释各部分含义。3.简述常微分方程奇点的稳定性定义（李雅普诺夫稳定性）。三、计算题（本大题共4小题，每小题10分，共40分）1.求解一阶微分方程：\((x^2+y^2)dx-2xydy=0\)。2.求解二阶常系数非齐次线性微分方程：\(y''+3y'+2y=xe^{-x}\)。3.用常数变易法求解方程：\(y''+y=\tanx\)。4.求解线性微分方程组：\(\begin{cases}x_1'=2x_1+x_2\\x_2'=x_1+2x_2\end{cases}\)。四、证明题（本大题共2小题，每小题15分，共30分）1.设\(y_1(x),y_2(x)\)是二阶齐次线性微分方程\(y''+P(x)y'+Q(x)y=0\)在区间\(I\)上的两个解，证明：其朗斯基行列式满足阿贝尔公式\(W(x)=W(x_0)e^{-\int_{x_0}^xP(t)dt}\)，并据此说明解组线性相关性与朗斯基行列式的关系。2.考虑一维微分方程\(\frac{dx}{dt}=x(1-x)(x-2)\)，分析该方程的所有平衡点，判断各平衡点的稳定性，并绘制相轨线示意图，结合稳定性理论说明结论依据。详细参考答案一、选择题答案及解析1.答案：C解析：线性微分方程要求未知函数及其各阶导数均为一次形式，无乘积、幂次项。A、D为一阶线性方程，B为二阶线性方程，C中含有\((y')^2\)二次项，属于一阶非线性微分方程。2.答案：A解析：方程改写为\(y'=2\sqrt{y}\)，右端函数\(f(x,y)=2\sqrt{y}\)，偏导数\(f_y=\frac{1}{\sqrt{y}}\)在\(y=0\)处无界、不连续，不满足皮卡唯一性条件，解的唯一性失效；其余点均满足局部李普希茨条件，解唯一。3.答案：B解析：特征方程为\(r^2-2r+1=0\)，解得二重特征根\(r=1\)，根据常系数齐次线性方程解的结构，二重实根对应的通解为\(y=(C_1+C_2x)e^x\)。4.答案：B解析：二阶齐次线性微分方程的解组在区间上线性无关的充要条件是朗斯基行列式在区间上恒不为0；若线性相关，则朗斯基行列式恒为0。5.答案：C解析：系数矩阵\(A=\begin{pmatrix}1&1\\-1&1\end{pmatrix}\)，特征方程\(|\lambdaE-A|=(\lambda-1)^2+1=0\)，解得共轭复根\(\lambda=1\pmi\)，实部大于0，奇点为不稳定焦点。二、简答题参考答案1.皮卡存在唯一性定理对于初值问题\(\begin{cases}y'=f(x,y)\\y(x_0)=y_0\end{cases}\)，若在矩形区域\(D:|x-x_0|\leqa,|y-y_0|\leqb\)内，函数\(f(x,y)\)连续，且关于\(y\)满足局部李普希茨条件（存在常数\(L>0\)，使得\(|f(x,y_1)-f(x,y_2)|\leqL|y_1-y_2|\)），则该初值问题在区间\(|x-x_0|\leqh\)（\(h=\min\{a,\frac{b}{M}\},M=\max\limits_D|f(x,y)|\)）内存在唯一的连续可微解。2.非齐次线性微分方程通解结构n阶非齐次线性微分方程的通解可表示为：齐次方程通解+非齐次方程一个特解，即\(y=Y(x)+y^*(x)\)。其中\(Y(x)\)是对应齐次线性微分方程的通解，包含n个相互独立的任意常数，体现方程解的通性；\(y^*(x)\)是非齐次方程的一个任意特解，满足非齐次方程的非齐次项约束，体现方程解的特殊性。3.李雅普诺夫稳定性定义设\(x_0\)是微分方程组\(\dot{x}=f(x)\)的平衡点，若对任意给定的\(\varepsilon>0\)，总存在\(\delta=\delta(\varepsilon)>0\)，使得当初始扰动满足\(\Vertx(0)-x_0\Vert<\delta\)时，对所有\(t\geq0\)，均有\(\Vertx(t)-x_0\Vert<\varepsilon\)，则称该平衡点是稳定的；若在此基础上还满足\(\lim\limits_{t\to+\infty}x(t)=x_0\)，则称平衡点渐近稳定；否则为不稳定。三、计算题详细解答1.求解\((x^2+y^2)dx-2xydy=0\)解：整理方程得\(\frac{dy}{dx}=\frac{x^2+y^2}{2xy}=\frac{x}{2y}+\frac{y}{2x}\)，该方程为一阶齐次微分方程。令\(u=\frac{y}{x}\)，即\(y=ux\)，求导得\(\frac{dy}{dx}=u+x\frac{du}{dx}\)，代入方程：\(u+x\frac{du}{dx}=\frac{1}{2u}+\frac{u}{2}\)化简得：\(x\frac{du}{dx}=\frac{1-u^2}{2u}\)，分离变量：\(\frac{2u}{1-u^2}du=\frac{dx}{x}\)两边积分：\(-\ln|1-u^2|=\ln|x|+C_1\)，整理得\(1-u^2=\frac{C}{x}\)（\(C=\pme^{-C_1}\)为任意常数）回代\(u=\frac{y}{x}\)：\(1-\frac{y^2}{x^2}=\frac{C}{x}\)，通解为\(\boldsymbol{x^2-y^2=Cx}\)。2.求解\(y''+3y'+2y=xe^{-x}\)解：第一步，求解对应齐次方程\(y''+3y'+2y=0\)特征方程：\(r^2+3r+2=0\)，解得特征根\(r_1=-1,r_2=-2\)齐次通解：\(Y=C_1e^{-x}+C_2e^{-2x}\)第二步，求非齐次特解。非齐次项为\(xe^{-x}\)，\(\lambda=-1\)是单特征根，设特解形式：\(y^*=x(ax+b)e^{-x}=(ax^2+bx)e^{-x}\)求导：\(y^{*'}=[2ax+b-ax^2-bx]e^{-x}\)，\(y^{*''}=[ax^2+(b-4a)x+2a-b]e^{-x}\)代入原方程，消去\(e^{-x}\)并整理：\(2ax+(2a+b)=x\)比较系数得：\(2a=1,2a+b=0\)，解得\(a=\frac{1}{2},b=-1\)特解：\(y^*=\left(\frac{1}{2}x^2-x\right)e^{-x}\)原方程通解：\(\boldsymbol{y=C_1e^{-x}+C_2e^{-2x}+\left(\frac{1}{2}x^2-x\right)e^{-x}}\)。3.常数变易法求解\(y''+y=\tanx\)解：对应齐次方程\(y''+y=0\)的通解为\(Y=C_1\cosx+C_2\sinx\)变易常数，设非齐次方程特解\(y^*=C_1(x)\cosx+C_2(x)\sinx\)，满足方程组：\(\begin{cases}C_1'(x)\cosx+C_2'(x)\sinx=0\\-C_1'(x)\sinx+C_2'(x)\cosx=\tanx\end{cases}\)求解方程组：由第一式得\(C_2'(x)=-C_1'(x)\frac{\cosx}{\sinx}\)，代入第二式化简得：\(C_1'(x)=-\sinx\)，\(C_2'(x)=\frac{\sin^2x}{\cosx}=\secx-\cosx\)积分得：\(C_1(x)=\cosx+C\)，\(C_2(x)=\ln|\secx+\tanx|-\sinx+C\)取特解（舍去常数）：\(y^*=\cos^2x+\sinx(\ln|\secx+\tanx|-\sinx)\)化简：\(y^*=\cos2x+\sinx\ln|\secx+\tanx|\)原方程通解：\(\boldsymbol{y=C_1\cosx+C_2\sinx+\sinx\ln|\secx+\tanx|-\cosx}\)。4.求解微分方程组\(\begin{cases}x_1'=2x_1+x_2\\x_2'=x_1+2x_2\end{cases}\)解：系数矩阵\(A=\begin{pmatrix}2&1\\1&2\end{pmatrix}\)特征方程：\(|\lambdaE-A|=(\lambda-2)^2-1=0\)，解得特征根\(\lambda_1=3,\lambda_2=1\)当\(\lambda_1=3\)时，求解\((A-3E)\boldsymbol{\xi}=0\)，得特征向量\(\boldsymbol{\xi}_1=\begin{pmatrix}1\\1\end{pmatrix}\)当\(\lambda_2=1\)时，求解\((A-E)\boldsymbol{\xi}=0\)，得特征向量\(\boldsymbol{\xi}_2=\begin{pmatrix}1\\-1\end{pmatrix}\)方程组通解：\(\boldsymbol{\begin{cases}x_1=C_1e^{3x}+C_2e^{x}\\x_2=C_1e^{3x}-C_2e^{x}\end{cases}}\)（\(C_1,C_2\)为任意常数）四、证明题详细解答1.阿贝尔公式证明及解组相关性分析证明：设二阶齐次线性方程\(y''+P(x)y'+Q(x)y=0\)的两个解为\(y_1(x),y_2(x)\)，朗斯基行列式：\(W(x)=\begin{vmatrix}y_1&y_2\\y_1'&y_2'\end{vmatrix}=y_1y_2'-y_2y_1'\)对\(x\)求导：\(W'(x)=y_1'y_2'+y_1y_2''-y_2'y_1'-y_2y_1''=y_1y_2''-y_2y_1''\)由方程得\(y_1''=-P(x)y_1'-Q(x)y_1\)，\(y_2''=-P(x)y_2'-Q(x)y_2\)，代入上式：\(W'(x)=y_1[-Py_2'-Qy_2]-y_2[-Py_1'-Qy_1]=-P(x)(y_1y_2'-y_2y_1')=-P(x)W(x)\)得到一阶微分方程\(W'(x)+P(x)W(x)=0\)，分离变量积分：\(\int_{W(x_0)}^{W(x)}\frac{dW}{W}=-\int_{x_0}^xP(t)dt\)，即\(\ln\frac{W(x)}{W(x_0)}=-\int_{x_0}^xP(t)dt\)整理得阿贝尔公式：\(W(x)=W(x_0)e^{-\int_{x_0}^xP(t)dt}\)。相关性结论：由指数函数恒正可知，\(W(x)\)在区间上要么恒为0，要么恒不为0。因此：（1）若存在\(x_0\inI\)使得\(W(x_0)=0\)，则\(W(x)\equiv0\)，解组\(y_1,y_2\)线性相关；（2）若存在\(x_0\inI\)使得\(W(x_0)\neq0\)，则\(W(x)\neq0\)恒成立，解组\(y_1,y_2\)线性无关。2.平衡点稳定性分析解：令右端函数\(f(x)=x(1-x)(x-