验证微分方程x² dy/dx=y²−3xy−5x²的解并分析|x|极大时形态

首先，我们重新走一遍变量代换的推导过程，来验证你的解是否正确：

原微分方程为：
x² dy/dx = y² - 3xy - 5x²
初始条件 y(1)=0

步骤1：变量代换与方程转化 #

令 y = vx，则 dy/dx = v + x dv/dx，代入原方程：

x²(v + x dv/dx) = (vx)² - 3x(vx) - 5x²

两边除以 x²（x≠0），化简得：

v + x dv/dx = v² - 3v - 5

整理为可分离变量的形式：

x dv/dx = v² - 4v - 5
dv/(v² - 4v - 5) = dx/x

步骤2：积分求解 #

对左边做部分分式分解：1/(v²-4v-5) = 1/[(v-5)(v+1)] = 1/6 [1/(v-5) - 1/(v+1)]，积分后：

(1/6)ln|v-5| - (1/6)ln|v+1| = ln|x| + C

两边乘6并整理：

ln|(v-5)/(v+1)| = 6ln|x| + 6C
|(v-5)/(v+1)| = e^(6C) |x|^6

令 K = ±e^(6C)，得到：

(v-5)/(v+1) = K x^6

步骤3：代入初始条件确定常数 #

当 x=1 时，y=0，故 v = y/x = 0，代入得：

(0-5)/(0+1) = K*1^6 → K = -5

因此方程变为：

(v-5)/(v+1) = -5x^6

整理得 v 的显式表达式：

v = 5(1 - x^6)/(1 + 5x^6)

代回 v = y/x，最终解为：

y = 5x(1 - x^6)/(1 + 5x^6)

你的解的问题 #

你得到的 (y/x)² - 4(y/x) = 5|x|^{-6} + 5 是不正确的——我们可以把正确的 v 代入左边：
v² - 4v = [5(1-x^6)/(1+5x^6)]² - 4*[5(1-x^6)/(1+5x^6)]，计算后结果并不等于右边的 5|x|^{-6}+5，推测你可能在积分后的常数处理或代数化简步骤中出现了错误。

当|x|极大时的解形态分析 #

当 x→±∞ 时，观察 v = 5(1 - x^6)/(1 + 5x^6)，分子分母的主导项分别是 -5x^6 和 5x^6，因此：

v ≈ 5*(-x^6)/(5x^6) = -1

即 y/x → -1，意味着当 |x| 趋近于无穷大时，解 y(x) 会趋近于直线 y = -x。你可以理解为，在远离原点的区域，原微分方程的解会逼近这条直线，直线的形态就是解在大x时的渐近行为。

内容的提问来源于stack exchange，提问作者Jane