1

I am working with solution to near regular singular points.

I started with:

$$y_1(x)=x^\frac{1}{2}\left[1-\frac{3}{4}x+\frac{9}{64}x^2-\frac{3}{256}x^3+\cdots\right] $$

Then I squared it:

$$y_1^2(x) = x\left(1-\frac{3}{2}x+\frac{27}{32}x^2-\frac{15}{64}x^3+\cdots\right)$$

Why is the inverse:

$$\frac{1}{x}\left[1+\frac{3}{2}x+\frac{45}{32}x^2+\frac{69}{64}x^3+\cdots\right] \text{ ?}$$

I cannot seem to see how this works out. Any pointers

Jackson Hart
  • 1,600
  • That is no polynomial at all but a power series. Are you studying this or you did confuse things? And what you say is its inverse is not even a power series but rather a Laurent series...or an element of the field of power series. – Timbuc Nov 02 '14 at 03:44
  • I just confused things. Do you know how to take the inverse. I found y^2 and then need to find inverse of y^2 – Jackson Hart Nov 02 '14 at 03:45
  • You first need to define what is this about and where you are working: this stuff is usually studied in advanced calculus, but it could also be part of abstract algebra. And what is $;y^2;$ ? and has this to do with your question? – Timbuc Nov 02 '14 at 03:46
  • I edited question – Jackson Hart Nov 02 '14 at 03:50

1 Answers1

1

If $$y=\sqrt{x} \left(1-\frac{3 x}{4}+\frac{9 x^2}{64}-\frac{3 x^3}{256}+\cdots\right)$$ then effectively $$y^2=x \left(1-\frac{3 x}{2}+\frac{27 x^2}{32}-\frac{15 x^3}{64} +\cdots\right)$$ Now you want to compute $\frac{1}{y^2 }$. You can write $$\frac{x}{y^2 }=\frac{1}{1-\frac{3 x}{2}+\frac{27 x^2}{32}-\frac{15 x^3}{64} +\cdots}$$ and perform the long division. Another way is to consider the rhs as $\frac{1}{1-z}$ and expand it as $$\frac{1}{1-z}=1+z+z^2+z^3+\cdots$$ and reuse $$z=\frac{3 x}{2}-\frac{27 x^2}{32}+\frac{15 x^3}{64}+\cdots$$ to affectively arrive, after substitution and simplifications, to $$\frac{x}{y^2 }=1+\frac{3 x}{2}+\frac{45 x^2}{32}+\frac{69 x^3}{64}+\cdots$$ and finally $$\frac{1}{y^2 }=\frac{1}{x}\Big(1+\frac{3}{2}x+\frac{45}{32}x^2+\frac{69}{64}x^3+\cdots\Big)$$

From a semantic point of view, I shall not call that operation the inverse of a power series (which is something different).