非线性微分方程求解咨询：x''=x²初值问题求解方法

你的方法完全可行！这是求解这类自治二阶非线性微分方程的标准降阶技巧，问题出在你计算积分常数时犯了一个小错误，导致后续陷入了不必要的积分困境。咱们一步步把这个解完整推出来：

步骤1：降阶替换的正确性验证 #

你做的替换$y = x'$（即$\frac{dx}{dt}=y$），然后利用链式法则将二阶导数转化为$x'' = y \frac{dy}{dx}$，这个推导是完全正确的：
$$\frac{d^2x}{dt2} = \frac{dy}{dt} = \frac{dy}{dx} \cdot \frac{dx}{dt} = y \frac{dy}{dx}$$
代入原方程后得到$y \frac{dy}{dx} = x^2$，这一步没问题。

步骤2：正确计算积分常数 #

对$y dy = x^2 dx$两边积分：
$$\int y dy = \int x^2 dx$$
得到：
$$\frac{1}{2}y^2 = \frac{1}{3}x^3 + C$$
现在代入初值条件：当$t=0$时，$x(0)=\sqrt[3]{3}$，$x'(0)=\sqrt{2}$（即此时$y=\sqrt{2}$）。代入计算常数$C$：
$$\frac{1}{2}(\sqrt{2})^2 = \frac{1}{3}(\sqrt[3]{3})^3 + C$$
左边计算得$1$，右边计算得$\frac{1}{3} \times 3 + C = 1 + C$，因此$1=1+C$，解得$C=0$。

所以正确的$y(x)$关系是：
$$y^2 = \frac{2}{3}x^3$$
结合初值$x'(0)=\sqrt{2}>0$，取正号：
$$\frac{dx}{dt} = \sqrt{\frac{2}{3}} x^{3/2}$$
你之前得到$y=\sqrt{1-x^3}$是因为常数$C$计算错误，这才导致后续积分无法进行。

步骤3：求解一阶可分离变量微分方程 #

现在处理$\frac{dx}{dt} = \sqrt{\frac{2}{3}} x^{3/2}$，分离变量得：
$$x^{-3/2} dx = \sqrt{\frac{2}{3}} dt$$
两边积分：
$$\int x^{-3/2} dx = \int \sqrt{\frac{2}{3}} dt$$
左边积分结果为$-2x^{-1/2} + C_1$，右边为$\sqrt{\frac{2}{3}}t + C_2$，合并常数项后：
$$-2x^{-1/2} = \sqrt{\frac{2}{3}}t + K$$
再次代入初值$t=0$，$x=\sqrt[3]{3}$：
$$-2(\sqrt[3]{3})^{-1/2} = K$$
化简$(\sqrt[3]{3})^{-1/2}=3{-1/6}$，所以$K=-2 \cdot 3^{-1/6}$。

步骤4：整理得到$x(t)$的表达式 #

将$K$代入式子后整理：
$$-2x^{-1/2} = \sqrt{\frac{2}{3}}t - 2 \cdot 3^{-1/6}$$
两边除以$-2$：
$$x^{-1/2} = 3^{-1/6} - \frac{1}{2}\sqrt{\frac{2}{3}}t$$
注意到$\frac{1}{2}\sqrt{\frac{2}{3}} = \frac{1}{\sqrt{6}}$，因此式子可简化为：
$$x^{-1/2} = 3^{-1/6} - \frac{t}{\sqrt{6}}$$
最后两边取倒数并平方，得到$x(t)$的显式解：
$$x(t) = \left( 3^{-1/6} - \frac{t}{\sqrt{6}} \right)^{-2}$$

如果想要更直观的形式，可以将$3^{-1/6}$转化为$\frac{\sqrt[3]{3}}{\sqrt{6}}$，代入后得到：
$$x(t) = \left( \frac{\sqrt[3]{3} - t}{\sqrt{6}} \right)^{-2} = \left( \frac{\sqrt{6}}{\sqrt[3]{3} - t} \right)^2$$

解的有效定义域 #

由于分母不能为零且$x(t)$需保持正数，所以：
$$3^{-1/6} - \frac{t}{\sqrt{6}} > 0 \implies t < \sqrt{6} \cdot 3^{-1/6} = \sqrt{2} \cdot \sqrt[3]{3}$$
即解在$t \in [0, \sqrt{2}\sqrt[3]{3})$区间内有效。

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