Find the general solution of xy'' + 2y' - xy = 0 , given…
Find the general solution of $xy'' + 2y' - xy = 0$, given that $y_1 = \dfrac{e^x}{x}$ is a particular solution.
Explanation of Method
Given $y_1=e^x/x$, reduction of order collapses to $v''+2v'=0$, giving the companion solution $e^{-x}/x$.
Step 1: Verify $y_1$
\[ y_1' = \frac{e^x(x-1)}{x^2}, \qquad y_1'' = \frac{e^x(x^2-2x+2)}{x^3}. \]
\[ xy_1''+2y_1'-xy_1 = e^x\!\left[\frac{x^2-2x+2}{x^2}+\frac{2x-2}{x^2}-1\right] = e^x\!\left[\frac{x^2}{x^2}-1\right] = 0.\ \checkmark \]
Step 2: Substitution $y=y_1v$
\[ y' = \frac{e^x(x-1)}{x^2}v + \frac{e^x}{x}v', \qquad y'' = \frac{e^x(x^2-2x+2)}{x^3}v + \frac{2e^x(x-1)}{x^2}v' + \frac{e^x}{x}v''. \]
Step 3: Reduce the order
Substituting into $xy''+2y'-xy=0$, the coefficient of $v$ reproduces Step 1's identity and vanishes; the coefficient of $v'$ is
\[ e^x\!\left[\frac{2(x-1)}{x}+\frac{2}{x}\right] = 2e^x, \] so the reduced equation is
\[ e^xv''+2e^xv'=0 \implies v''+2v'=0. \]
Step 4: Solve for $w=v'$
\[ w'+2w=0 \implies \frac{dw}{w}=-2\,dx \implies w=Ae^{-2x}. \]
Step 5: Integrate for $v$
\[ v' = Ae^{-2x} \implies v = -\frac{A}{2}e^{-2x}+B. \]
Step 6: General solution
Then $y=\dfrac{e^x}{x}\left(-\dfrac{A}{2}e^{-2x}+B\right)=B\dfrac{e^x}{x}-\dfrac{A}{2}\cdot\dfrac{e^{-x}}{x}$. Renaming $B=C_1$, $-A/2=C_2$:
Step 7: Verify $y_2=\dfrac{e^{-x}}{x}$
\[ y_2' = -\frac{e^{-x}(x+1)}{x^2}, \qquad y_2'' = \frac{e^{-x}(x^2+2x+2)}{x^3}. \]
\[ xy_2''+2y_2'-xy_2 = e^{-x}\!\left[\frac{x^2+2x+2}{x^2}-\frac{2x+2}{x^2}-1\right]=e^{-x}[1-1]=0.\ \checkmark \]
Step 8: Linear independence
\[ W(y_1,y_2) = \frac{e^x}{x}\!\left(-\frac{e^{-x}(x+1)}{x^2}\right) - \frac{e^{-x}}{x}\cdot\frac{e^x(x-1)}{x^2} = -\frac{x+1}{x^3}-\frac{x-1}{x^3} = -\frac{2}{x^2}\neq0, \]
confirming that $y_1,y_2$ form a fundamental system.
Result
Final answer:
\[\boxed{\,y = C_1\,\frac{e^x}{x}+C_2\,\frac{e^{-x}}{x}\,}\]
Remark
Domain. The leading coefficient $x$ vanishes at $x=0$; on any interval avoiding $x=0$, $y_1$ and $y_2$ are defined and independent.