欧拉方程

变系数的线性微分方程，一般来说都是不容易求解的。但是有些特殊的变系数线性微分方程，则可以通过变量代换化为常系数微分方程，因而容易求解，欧拉方程就是其中一类。

形如
$$x^n{y}^{(n)}+p_1{x}^{n-1}{y}^{(n-1)}+\cdot \cdot \cdot +p_{n-1}x{y}^{\prime }+p_{n}y=f(x)\text{\hspace{1em}(1)}$$
的方程（其中$p_1,p_2,\cdot \cdot \cdot ,p_n$为常数），叫做欧拉方程。

作变换$x=e^t$或$t=lnx$，将自变量x换成t（如果$x<0$，那么作变换为$x=-e^t$或$t=ln(-x)$，所得结果与$x>0$内的结果相类似。
$$\begin{gathered} \frac{dy}{dx}=\frac{dy}{dt}\cdot \frac{dt}{dx}=\frac{1}{x}\frac{dy}{dt} \\ \frac{d^{2}y}{d{x}^2}=\frac{1}{x^2}(\frac{d^{2}y}{d{t}^2}-\frac{dy}{dt}) \\ \frac{d^{3}y}{d{x}^3}=\frac{1}{x^3}(\frac{d^{3}y}{d{t}^3}-3\frac{d^{2}y}{d{t}^2}+2\frac{dy}{dt}) \end{gathered}$$
如果采用记号D表示对t求导的运算$\frac{d}{dt}$，那么上述计算结果可以写成
$$\begin{gathered} x{y}^{\prime }=Dy \\ {x}^2{y}^{\prime \prime }=D(D-1)y \\ {x}^3{y}^{\prime \prime \prime }=D(D-1)(D-2)y \end{gathered}$$
一般地，有
$$x^k{y}^{(k)}=D(D-1)\cdot \cdot \cdot (D-k+1)y$$
把它代入欧拉方程（1），便得一个以t为自变量的常系数线性微分方程。在求出这个方程的解后，把$t$换成$lnx$，即得原方程的解。

例：求欧拉方程$x^3{y}^{\prime \prime \prime }+x^2{y}^{\prime \prime }-4x{y}^{\prime }=3x^2$的通解。

解：作变换$x=e^t$或$t=lnx$，原方程化为
$$D(D-1)(D-2)y+D(D-1)y-4Dy=3e^{2t}$$
即
$$D^{3}y-2D^{2}y-3Dy=3e^{2t}$$
或
$$\frac{d^{3}y}{d{t}^3}-2\frac{d^{2}y}{d{t}^2}-3\frac{dy}{dt}=3e^{2t}\text{\hspace{1em}(2)}$$
方程（2）所对应的齐次方程为
$$\frac{d^{3}y}{d{t}^3}-2\frac{d^{2}y}{d{t}^2}-3\frac{dy}{dt}=0\text{\hspace{1em}(3)}$$
其特征方程为
$$r^3-2r^2-3r=0$$
它有三个根:$r_1=0,r_2=-1,r_3=3$。于是方程（2）的通解为
$$Y=C_1+C_2{e}^{-t}+C_3{e}^{3t}=C_1+\frac{C_2}{x}+C_3{x}^3$$
根据常系数非齐次线性微分方程解法知，特解的形式为
$$y^{\ast }=b{e}^{2t}=b{x}^2$$
代入原方程，求得$b=-\frac{1}{2}$，即
$$y^{\ast }=-\frac{x^2}{2}$$
于是，所给欧拉方程的通解为
$$y=C_1+\frac{C_2}{x}+C_3{x}^3-\frac{1}{2}{x}^2$$