3
$\begingroup$

How can I find the indicial equation of $x(x-1)y''+3y'-2y=0$? I tried the method of Frobenius but I keep getting lost in the algebra. Is there any other way to get the indicial equation?

$\endgroup$
2
  • $\begingroup$ $y''+\dfrac{3}{x(x-1)}y'-\dfrac{2}{x(x-1)}y=0$ then $p(x)=\dfrac{3}{x(x-1)}$ and $q(x)=-\dfrac{2}{x(x-1)}$. $\endgroup$
    – Nosrati
    Oct 29, 2017 at 4:05
  • $\begingroup$ Could you give me a little more? I got that far but I'm doing the algebra for the Frobenius method and I simply can't get it to work. $\endgroup$
    – John Smith
    Oct 29, 2017 at 4:07

1 Answer 1

13
$\begingroup$

$y''+\dfrac{3}{x(x-1)}y'-\dfrac{2}{x(x-1)}y=0$ then $p(x)=\dfrac{3}{x(x-1)}$ and $q(x)=-\dfrac{2}{x(x-1)}$. The equation has two regular singular points $x=0$ and $x=1$. For $x=0$ we see $$p_0=\lim_{x\to0}xp(x)=\lim_{x\to0}\dfrac{3}{x-1}=-3$$ and $$q_0=\lim_{x\to0}x^2q(x)=\lim_{x\to0}\dfrac{-2x}{x-1}=0$$ then the indicial equation is $r(r-1)+p_0r+q_0=0$ or $r^2-4r=0$ shows $r=0$ and $r=4$. In this case $4-0\in\mathbb{Z}$ so $r=4$ gives a solution and let $y=x^4(a_0+a_1x+a_2x^2+\cdots)$ to find the answer. Do like this with point $x=1$.

$\endgroup$
3
  • $\begingroup$ Hey man thanks so much. Your wonderful explanation really saved me!!!! $\endgroup$
    – John Smith
    Oct 29, 2017 at 4:31
  • 2
    $\begingroup$ Why do we use x and x^2? What's the motivation for that? Why not some other expression? $\endgroup$
    – T A O
    Mar 8, 2022 at 16:54
  • $\begingroup$ @TAO from the top of en.wikipedia.org/wiki/Frobenius_method: "...[the ODE] will not be solvable with regular power series methods if either $p(z)/z$ or $q(z)/z^2$ are not analytic at $z = 0$. The Frobenius method enables one to create a power series solution to such a differential equation, provided that $p(z)$ and $q(z)$ are themselves analytic at 0 or, being analytic elsewhere, both their limits at 0 exist (and are finite)." (assuming a regular singular point at $z=0$). Check the article and links within for details on the reasoning why, but this is the logic behind the limit check. $\endgroup$
    – Zxv
    Aug 11 at 3:42

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .