I'm trying to figure out if there is a better way to teach the following Taylor series problem. I can do the problem myself, but my solution doesn't seem very nice!
Let's say I want to find the first $n$ terms (small $n$ - say 3 or 4) in the Taylor series for
$$ f(z) = \frac{1}{1+z^2} $$
around $z_0 = 2$ (or more generally around any $z_0\neq 0$, to make it interesting!) Obviously, two methods that come to mind are 1) computing the derivatives $f^{(n)}(z_0)$, which quickly turns into a bit of a mess, and 2) making a change of variables $w = z-z_0$, then computing the power series expansion for
$$ g(w) = \frac{1}{1+(w+z_0)^2} $$ and trying to simplify it, which also turns into a bit of a mess. Neither approach seems particularly rapid or elegant. Any thoughts?
$\endgroup$ 63 Answers
$\begingroup$Let $g(w) = \sum_{n=0}^{\infty} a_n w^n$.
Then $(w^2+4w+5) \; g(w) = 1$ implies $$\begin{align} 5 a_0 &= 1 \\ 4 a_0 + 5 a_1 &= 0 \\ a_0 + 4 a_1 + 5 a_2 &= 0 \\ a_1 + 4 a_2 + 5 a_3 &= 0 \\ \text{etc.} \end{align}$$
which you can then solve for the $a_n$'s in a stepwise fashion.
$\endgroup$ 4 $\begingroup$Here is one way to find the first few terms for $z_0=2$, using your idea of letting $w=z-2$:
$\displaystyle\frac{1}{1+z^2}=\frac{1}{1+(w+2)^2}=\frac{1}{5+w^2+4w}=\frac{\frac{1}{5}}{1-(-\frac{w^2+4w}{5})}$
$\displaystyle\frac{1}{5}\left(1-\frac{w^2+4w}{5}+\frac{(w^2+4w)^2}{5^2}-\frac{(w^2+4w)^3}{5^3}+\cdots\right)$
$\displaystyle=\frac{1}{5}\left(1-\frac{w^2+4w}{5}+\frac{w^2(w+4)^2}{25}-\frac{w^3(w+4)^3}{125}+\cdots\right)$
$\displaystyle=\frac{1}{5}-\frac{4}{25}w+\frac{11}{125}w^2-\frac{24}{625}w^3+\cdots$
$\endgroup$ 1 $\begingroup$For this particular problem, try a different substitution: $x=z^2$.
Then $$ \frac1{1+x} = \sum (-1)^nx^n$$ so $$ \frac1{1+z^2} = \sum (-1)^nz^{2n}$$
The probelm of finding a closed form is not always easy. If you can find a closed form for the coefficient of $z^k$ in $$ \frac{1}{(1-z)(1-z^2)(1-z^3)(1-z^4)\cdots} $$ tell me about it so I can steal your result, publish it, and become famous. (LOL - this will be a closed form for the partition number of $k$)
$\endgroup$ 4
