Calculate residue of pole with order 5

complex-analysisresidue-calculus

I am trying to evaluate the residue of $\frac{(z^6-1)^2}{z^5(2z^4-5z^2+2)}$ at z=0.

Is there a way to do this without having to do the long derivative calculation?

I know we have the formula $Res(f,0)=\lim_{z\to0}\frac{1}{(5-1)!}\frac{\mathrm{d}^{5-1}f}{\mathrm{d}z^{5-1}}z^5f(z)$. But finding the 5th derivative of this function would take a long time and be pretty messy. My first try was to find the residues at the other poles and at infinity since all the residues must sum to zero, but when I tried to do this the residue at infinity ended up being the same as the residue at zero.

I've also considered finding the Laurent expansion but the Partial Fraction Decomposition is also long.

Best Answer

For practical calculations, I have never used that derivative formula to calculate any residue. What is useful is learning how to perform a limited Laurent expansion. One of the most useful "tricks" is the simple geometric series formula $\frac{1}{1-\zeta}=\sum_{n=0}^{\infty}\zeta^n$ provided $|\zeta|<1$. You should also be slightly comfortable with big Oh notation to keep track of the order of the various terms (I mean this is just an efficient tracker of how many terms you need to actually care about).

So: \begin{align} \frac{(z^6-1)^2}{z^5(2z^4-5z^2+2)}&=\frac{1}{2z^5}\cdot(z^6-1)^2\cdot\frac{1}{1-\left(\frac{5}{2}z^2-z^4\right)} \end{align} Notice how I have the $\frac{1}{z^5}$ term. Since I want the residue (i.e coefficient of $\frac{1}{z}$), I should expand terms atleast up to order $4$, meaning I should keep explicitly terms involving $z^4$; I can ignore $z^5$ or higher terms. The third term is precisely of the form $\frac{1}{1-\zeta}$ I mentioned previously, so we shall use this now: \begin{align} \frac{(z^6-1)^2}{z^5(2z^4-5z^2+2)}&=\frac{1}{2z^5}\cdot \left[1+\mathcal{O}(z^6)\right]\cdot \left[1+\left(\frac{5}{2}z^2-z^4\right)+ \left(\frac{5}{2}z^2-z^4\right)^2+ \mathcal{O}\left(\left(\frac{5}{2}z^2-z^4\right)^3\right)\right]\\ &=\frac{1}{2z^5}\cdot \left[1+\mathcal{O}(z^6)\right]\cdot \left[1+ \left(\frac{5}{2}z^2-z^4\right) + \frac{25z^4}{4}+\mathcal{O}(z^6)+\mathcal{O}(z^6)\right]\\ &=\frac{1}{2z^5}\cdot \left[1+\mathcal{O}(z^6)\right]\cdot \left[1+\frac{5}{2}z^2+\frac{21}{4}z^4+\mathcal{O}(z^6)\right]\\ &=\frac{1}{2z^5}\cdot \left[1+\frac{5}{2}z^2+\frac{21}{4}z^4+\mathcal{O}(z^6)\right] \end{align} I leave the final simplification to you to determine the coefficient of $\frac{1}{z}$, and hence the residue.

Note for example that in the first line, $(z^6-1)^2=z^{12}-2z^6+1$, but I simply shortened this to $1+\mathcal{O}(z^6)$, because that's more than enough (remember we only need to keep track of expansions up to $z^4$ term; anything higher will not contribute to the residue). Similarly, in the second step rather than fully expanding out $\left(\frac{5}{2}z^2-z^4\right)^2$, I write this briefly as $\frac{25}{4}z^4+\mathcal{O}(z^6)$, since that's more than enough. And so on.

Related Question