Find the form of a second linear independent solution when the two roots of indicial equation are different by a integer
Consider the differential equation $$x^2y''+3(x-x^2)y'-3y=0$$
$(a)$ Find the recurrence equation and first three nonzero terms of the series solution in powers of $$ corresponding to the larger root of the indicial equation.
$(b)$ What would be the form of a second linearly independent solution of this differential equation?
I found the indicial equation to be $r(r-1)+3r-3 = 0$, so the two roots are $r_1=-3$ and $r_2=1$.
And the recurrence relation is $a_n = \dfrac{3(n-1+r)a_{n-1}}{(n+r)(n+r-1)+3(n+r)-3}$
set $r=1$, then $a_n = \dfrac{3na_{n-1}}{(n+3)(n+1)-3}$. And I can figure out first linearly independent solution.
But for $r=-3$,then $a_n = \dfrac{3(n-4)a_{n-1}}{(n-3)(n-1)-3}$, if let $a_0$ be an arbitrary constant, then $a_1 =\dfrac{3(-3)a_0}{(-2)(0)}$, which doesn't work.
Then how do I figure out the second linearly independent solution?
Here is the procedure.
Denote the two roots by $r_1$ and $r_2$, with $r_1 \gt r_2$.
The Method of Frobenius will always generate a solution corresponding to $r_1$, but may generate a solution for the smaller second root $r_2$ of the indicial equation.
If the method fails for $r_2$, then an approach is to keep the recursion solution in terms of $r$ and use it to find the coefficients $a_n$ (for $n \ge 1$), in terms of both $r$ and $a_0$, where $a_0 \ne 0$. For ease, $a_0$ is typically chose to be one.
Using this more general form and the coefficients, the two independent solutions can be written as:
$$y_1(r, x) = x^r \sum_{n=0}^\infty ~ a_n(r)x^n = \sum_{n=0}^\infty ~ a_n(r)x^{n+r} \\y_2(r,x) = \dfrac{\partial}{\partial r}[(r - r_2)y_1(r, x)]~\Bigr|_{r=r_2}$$
You should be able to use this approach and show:
$$y(x) = y_1(x) + y_2(x) = \dfrac{c_1(3x(3x^2 + 3x+ 2) + 2)}{x^3} + \dfrac{c_2e^{3x}}{x^3}$$