← 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 8× in 14 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=0⇒A=−15A+C=0\Rightarrow A=-\tfrac15. Matching constants: 2B+C=1⇒2B=45⇒B=252B+C=1\Rightarrow 2B=\tfrac45\Rightarrow B=\tfrac25. Thus

1(1+z2)(z+2)=15⋅1z+2+15⋅2−zz2+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=12⋅11+z/2=12∑n=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 2−zz2+1=(2−z)∑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)=15∑n=0∞(−1)n2n+1zn+15(2−z)∑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)=11⋅2=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=1z2⋅11+1/z2=1z2∑n=0∞(−1)nz−2n=∑n=0∞(−1)nz−2n−2(∣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)=15∑n=0∞(−1)n2n+1zn+15(2−z)∑n=0∞(−1)nz−2n−2(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=1z⋅11+2/z=1z∑n=0∞(−1)n2nzn=∑n=0∞(−1)n2nz−n−1(∣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)nz−2n−2(∣z∣>1⊃∣z∣>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)=15∑n=0∞(−1)n2nz−n−1+15(2−z)∑n=0∞(−1)nz−2n−2(∣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 — 14 years, mapped. Get the take-away PDF free.