I'm currently taking a course in mathemathical tools, where we are covering complex analysis (Note that this course is not very rigorous and we cover complex analysis in only 4 lectures). The Laurent series have been introduced as:
Laurent series$$ \begin{array}{l} f(z)=\sum_{n=-\infty}^{\infty} a_{n}\left(z-z_{0}\right)^{n} \\ a_{n}=\frac{1}{2 \pi i} \oint_{C} \frac{f\left(z^{\prime}\right) d z^{\prime}}{\left(z^{\prime}-z_{0}\right)^{n+1}} \end{array} $$
However, I noticed that the above integral isn't used in the solutions to any of the problems regarding laurent series. So I'm trying to understand why we can avoid using it. What I understood so far, is that the difference between the Taylor and Laurent series, is that the Laurent series also contains negative powers. Where it's not possible to expand a Taylor series around a point $z_0$ where f is not analytically, the opposite applies for the Laurent series. In the case we expand f around a point where f is analytically, the Laurent series and Taylor expansion will be the same. If that is the correct understanding, please help me understand the solution to the following problem:
Find the Laurent series for $f(z)=(1-z)e^{1/z}$ about $z=0$
What I thought should be my approach is using the formula above solving the contour integral, since $f(z)$ is non-analytically at $z=0$. However, the solution uses directly that $e^{1/z}=\sum_{n=0}^{\infty} \frac{z^{-n}}{n !}$. So here comes my first question:
- Why is the Laurent series of $e^{1/z}=\sum_{n=0}^{\infty} \frac{z^{-n}}{n !}$.
It seems to me, that they have just substituted $z \rightarrow 1/z$ in the Taylor series for $e^z$. But $e^{1/z}$ is not analytic at $z=0$, so the Taylor expansion around that point shouldn't exist? And if that is not the Taylor series, how do we know it's the Laurent series?
After this they multiply the two expressions together: $(z-1) e^{1 / z}=(z-1) \sum_{n=0}^{\infty} \frac{z^{-n}}{n !}=z-\sum_{n=1}^{\infty}\left(\frac{n}{n+1}\right) \frac{z^{-n}}{n !}$
- Is that because $z-1$ is a polynomial and thus is analytically around $z=0$ and is it's own Taylor series and Laurent series. So we can just find the Laurent series of each factor and multiply them together to find the final Laurent series?
Fx: Consider $h(z)=f(z)g(z)$, if we want to find the Laurent series around $z=z_0$. If the Laurent series of f(z) around $z_0$ is $\sum_{n=-\infty}^{\infty} a_{n}\left(z-z_{0}\right)^{n}$ and of $g(z)$ is $\sum_{n=-\infty}^{\infty} b_{n}\left(z-z_{0}\right)^{n}$. Is the Laurent series of $h(z)$ then: $h(z)=(\sum_{n=-\infty}^{\infty} a_{n}\left(z-z_{0}\right)^{n}) (\sum_{n=-\infty}^{\infty} b_{n}\left(z-z_{0}\right)^{n})$?