6
$\begingroup$

Doing a normal Taylor expansion of $\arccos(1-x)$ around $x=0$ to two terms by taking derivatives doesn't work because of division by zero.

I've put this into wolfram alpha: http://www.wolframalpha.com/input/?i=taylor+series+arccos%281-x%29. It's nice but I need to show that I can do it myself. This isn't an analysis class so I have never seen square roots in a series expansion before.

I found this in my search: Some approximations for $\arccos(1/(1+x))$ but I need the expansion to two terms.

  • 1
    "Taylor series about $x=0$" means a series in nonnegative integer powers of $x$. This isn't. It is still a series expansion, just not a Taylor series. And that explains why the derivative formulas for Taylor series don't work here.2019-03-04

4 Answers 4

7

Start from the derivative of the function

$\frac{1}{\sqrt{x}\sqrt{2-x}}= \frac{1}{\sqrt{2x}}\frac{1}{\sqrt{1-x/2}} = \frac{1}{\sqrt{2x}}(1+\frac{1}{4}x+\frac{3}{32}x^2+\dots )=\dots\,. $

Now, integrate the above series to get your Taylor series.

6

Let $y=f(x)=\arccos(1-x)$. Then $1-x=\cos y=1-\frac{y^2}2+\frac{y^4}{24}+O(y^6),$ so $x=\frac{y^2}2-\frac{y^4}{24}+O(y^6).$ Now clearly there is no actual Taylor series for $y$ about $x=0$ because $f'(0)$ does not exist. However, a generalized power series solution can be written down, known variously as the Frobenius method or the asymptotic expansion of $y=f(x)$ near $x=0$. Solving this equation formally:

$2x=y^2\left(1-\frac{y^2}{12}+O(y^4)\right)\Rightarrow y=\sqrt{2x}\left(1-\frac{y^2}{12}+O(y^4)\right)^{-1/2}$

Since $0, $\frac{y^2}{12}\ll1$ so that we can use the binomial theorem $(1+x)^p=1+px+\cdots$ to get the next-leading order term:

$y=\sqrt{2x}+\sqrt{2x}\frac{y^2}{24}+O(y^4)=\sqrt{2x}+\frac{\sqrt{2x}}{24}\left(\sqrt{2x}+\frac{\sqrt{2x}}{24}y^2+O(y^4)\right)^2+O(y^4)$ $=\sqrt{2x}+\frac{(2x)^{3/2}}{24}\left(1+\frac{1}{12}y^2+O(y^4)\right)+O(y^4)=\sqrt{2x}+\frac{(2x)^{3/2}}{24}+\frac{(2x)^{3/2}}{24\cdot 12}y^2+O(x^{3/2}y^4)+O(y^4)$

Now, since $y=O(\sqrt x)$ (which follows from the leading order term), we can simplify all that to get $y=\sqrt{2x}+\frac{(2x)^{3/2}}{24}+O(x^2).$

1

The same problem happens if you try to expand $\sqrt x$ as a Taylor series. The vertical slope kills you, because polynomials can't do that. The solution is what Alpha does-divide out the "singular part", which in your case is $ \sqrt x.\ \ \frac {\arccos (1-x)}{\sqrt x}$ is nicely behaved at the origin and can give you a Taylor series.

  • 1
    When I try to take the derivative of $\frac {\arccos(1-x)}{\sqrt x}$ I get $\frac{ \frac {-\sqrt x}{\sqrt{2x-x^2}} + \frac {\arccos(1-x) }{2 \sqrt {x}^3}}{x}$ = $-\frac{1}{\sqrt{2x^2-x^3}} $ which is still bad at $x=0$. Is it just that my algebra is wrong?2012-12-11