Question

Find the general solution of the given differential equation on$\left(0,\infty \right)$

$x^2{y}^{\text{'}\text{'}}+\left(x^2-2y\right)y=0$

Short answer

The general solution of the given differential equation using the Forbinous Method is

$y=x^{\frac{1}{2}}\left[C_1{J}_{\frac{3}{2}}\left(x\right)+C_2{J}_{-\frac{3}{2}}\left(x\right)\right]$

Step-by-step solution

Definition of Forbinous method for differential equations.

The Forbinous method is a method for finding an infinite series solution to a second-order ordinary differential equation with and near the regular singular point.

We have the differential equation $x^2{y}^{\text{'}\text{'}}+\left(x^2-2y\right)y=0$.Divide the equation by x²

$$\begin{gathered} y^{\text{'}\text{'}}+\frac{x^2-2}{x^2}y=0 \\ {y}^{\text{'}\text{'}}+1-\frac{2}{x^2}y=0 \end{gathered}$$

Which has a regular singular point at x = 0 and has the form

$y^{\text{'}\text{'}}+\frac{1-2a}{x}{y}^{\text{'}}+\left(b^2{c}^2{x}^{2c-2}+\frac{a^2-p^2{c}^2}{x^2}\right)y=0\to \left(1\right)$

Assuming the form of the general solution

Our aim is to find the general solution for the given differential equation. We can use Forbinous Method to solve this differential equation.

Assume the solution, according to Forbinous, to be in the form,

$y=\sum _{n=0}^{\infty }{c}_n{x}^{n+r}$

Using Bessel Function of First Kind and Second Kind

you would end up with two roots, which is and . Then you can find the two series solution for each case, based on the recurrence relation. Then you will identify the solution to have the form of Bessel Function of First Kind with a little modification and the series solutions are,

$$\begin{gathered} y_1=x^a{J}_p\left(b{x}^c\right) \\ {y}_2=x^a{J}_{-p}\left(b{x}^c\right) \end{gathered}$$

And you will find that the two solutions are linearly independent for integer. For , we can obtain another solution, which is linearly independent with , using Bessel Function of Second Kind, which is,

$$\begin{gathered} y_3=x^a{Y}_b\left(b{x}^c\right) \\ =x^a\frac{\cos p\pi J_p\left(b{x}^c\right)-J_{-p}\left(b{x}^c\right)}{\sin p\pi }\to \left(3\right) \end{gathered}$$

Generalized equation of the differential equation

Regarding the given differential equation, by comparing we have,

$$\begin{gathered} 1-2a=0\to a=\frac{1}{2} \\ 2c-2=0\to c=1 \\ {b}^2{c}^2=1\to b=1 \\ {a}^2-p^2{c}^2=-2\to p=\frac{3}{2} \end{gathered}$$

The general solution equation is,

$$\begin{gathered} y=x^a\left[c_1{J}_p\left(b{x}^c\right)+c_2{Y}_p\left(b{x}^c\right)\right] \\ y=x^{\frac{1}{2}}\left[c_1{J}_{\frac{3}{2}}\left(x\right)+c_2{Y}_{\frac{3}{2}}\left(x\right)\right] \end{gathered}$$

Since is not an integer, we can replace Y_p with J_-p

$y=x^{\frac{1}{2}}\left[c_1{J}_{\frac{3}{2}}\left(x\right)+c_2{J}_{-\frac{3}{2}}\left(x\right)\right]$

Where are arbitrary constants.

Therefore the general solution of the given differential equation is

$y=x^{\frac{1}{2}}\left[c_1{J}_{\frac{3}{2}}\left(x\right)+c_2{J}_{-\frac{3}{2}}\left(x\right)\right]$