← 2018 Paper 2

UPSC 2018 Maths Optional Paper 2 Q4b — Step-by-Step Solution

15 marks · Section A

Laurent's series in an annulus · Complex Analysis · asked 7× in 13 yrs · Read the full method →

Question

Find the Laurent’s series which represent the function 1(1+z2)(z+2)\dfrac{1}{(1+z^2)(z+2)} when

Technique

Partial fractions, then expand each factor as a geometric series in zz (when its singularity radius exceeds z|z|) or in 1/z1/z (when smaller); the three annuli split at the singular radii z=1|z|=1 and z=2|z|=2.

Solution

Step 1 — Partial fractions

The singularities are at z=±iz=\pm i (from 1+z21+z^2, both with z=1|z|=1) and z=2z=-2 (with z=2|z|=2). Decompose

1(1+z2)(z+2)=Az+Bz2+1+Cz+2.\frac{1}{(1+z^2)(z+2)}=\frac{Az+B}{z^2+1}+\frac{C}{z+2}.

Clearing: 1=(Az+B)(z+2)+C(z2+1)1=(Az+B)(z+2)+C(z^2+1). At z=2z=-2: 1=C(5)C=151=C(5)\Rightarrow C=\tfrac15. Matching z2z^2: A+C=0A=15A+C=0\Rightarrow A=-\tfrac15. Matching constants: 2B+C=12B=45B=252B+C=1\Rightarrow 2B=\tfrac45\Rightarrow B=\tfrac25. Thus

1(1+z2)(z+2)=151z+2+152zz2+1.(PF)\boxed{\frac{1}{(1+z^2)(z+2)}=\frac15\cdot\frac{1}{z+2}+\frac15\cdot\frac{2-z}{z^2+1}.}\tag{PF}

The two natural radii are z=1|z|=1 (poles ±i\pm i) and z=2|z|=2 (pole 2-2), giving three annuli.

Step 2 — Region (i): z<1|z|<1 (both factors expanded in powers of zz)

Here z<1<2|z|<1<2, so both 1z+2\dfrac{1}{z+2} and 1z2+1\dfrac{1}{z^2+1} are expanded as ordinary (Taylor) power series.

1z+2=1211+z/2=12n=0(1)nzn2n=n=0(1)n2n+1zn,\frac{1}{z+2}=\frac{1}{2}\cdot\frac{1}{1+z/2}=\frac12\sum_{n=0}^{\infty}(-1)^n\frac{z^n}{2^n}=\sum_{n=0}^{\infty}\frac{(-1)^n}{2^{n+1}}z^n, 1z2+1=n=0(1)nz2n(z<1).\frac{1}{z^2+1}=\sum_{n=0}^{\infty}(-1)^n z^{2n}\quad(|z|<1).

So 2zz2+1=(2z)n=0(1)nz2n\dfrac{2-z}{z^2+1}=(2-z)\displaystyle\sum_{n=0}^{\infty}(-1)^n z^{2n}. Combining via (PF):

  f(z)=15n=0(1)n2n+1zn+15(2z)n=0(1)nz2n(z<1).  \boxed{\;f(z)=\frac15\sum_{n=0}^{\infty}\frac{(-1)^n}{2^{n+1}}z^n+\frac15(2-z)\sum_{n=0}^{\infty}(-1)^n z^{2n}\quad(|z|<1).\;}

This is a pure Taylor series (analytic at 00). Leading terms: f(z)=15[12+2]+=12+f(z)=\tfrac15\big[\tfrac12+2\big]+\cdots=\tfrac12+\cdots — and indeed f(0)=112=12f(0)=\tfrac{1}{1\cdot2}=\tfrac12.

Step 3 — Region (ii): 1<z<21<|z|<2 (1z+2\frac{1}{z+2} in zz; 1z2+1\frac{1}{z^2+1} in 1/z1/z)

Now z<2|z|<2 still, so 1z+2\dfrac{1}{z+2} keeps its power series; but z>1|z|>1 forces the z2+1z^2+1 part into negative powers:

1z2+1=1z211+1/z2=1z2n=0(1)nz2n=n=0(1)nz2n2(z>1).\frac{1}{z^2+1}=\frac{1}{z^2}\cdot\frac{1}{1+1/z^2}=\frac{1}{z^2}\sum_{n=0}^{\infty}(-1)^n z^{-2n}=\sum_{n=0}^{\infty}(-1)^n z^{-2n-2}\quad(|z|>1).

Therefore

  f(z)=15n=0(1)n2n+1zn+15(2z)n=0(1)nz2n2(1<z<2).  \boxed{\;f(z)=\frac15\sum_{n=0}^{\infty}\frac{(-1)^n}{2^{n+1}}z^n+\frac15(2-z)\sum_{n=0}^{\infty}(-1)^n z^{-2n-2}\quad(1<|z|<2).\;}

This genuine Laurent series has both positive powers (from 1/(z+2)1/(z+2)) and negative powers (from 1/(z2+1)1/(z^2+1)).

Step 4 — Region (iii): z>2|z|>2 (both factors in 1/z1/z)

Now z>2>1|z|>2>1, so both factors expand in negative powers:

1z+2=1z11+2/z=1zn=0(1)n2nzn=n=0(1)n2nzn1(z>2),\frac{1}{z+2}=\frac1z\cdot\frac{1}{1+2/z}=\frac1z\sum_{n=0}^{\infty}(-1)^n\frac{2^n}{z^n}=\sum_{n=0}^{\infty}(-1)^n 2^n z^{-n-1}\quad(|z|>2), 1z2+1=n=0(1)nz2n2(z>1z>2).\frac{1}{z^2+1}=\sum_{n=0}^{\infty}(-1)^n z^{-2n-2}\quad(|z|>1\supset|z|>2).

Hence

Answer

  f(z)=15n=0(1)n2nzn1+15(2z)n=0(1)nz2n2(z>2).  \boxed{\;f(z)=\frac15\sum_{n=0}^{\infty}(-1)^n 2^n z^{-n-1}+\frac15(2-z)\sum_{n=0}^{\infty}(-1)^n z^{-2n-2}\quad(|z|>2).\;}
We post more of this — worked solutions, CSAT trap breakdowns, guide chapters — a few times a week on Telegram. Free, no sign-in. Join

This solution is part of the Maths Coverage Map — 13 years, mapped. Get the take-away PDF free.