← 2022 Paper 2

UPSC 2022 Maths Optional Paper 2 Q1d — Step-by-Step Solution

10 marks · Section A

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

Question

Expand f(z)=1(z1)2(z3)f(z)=\dfrac{1}{(z-1)^2(z-3)} in Laurent series valid for (i) 0<z1<20<|z-1|<2 and (ii) 0<z3<20<|z-3|<2.

Technique

Partial fractions; expand each term as a Laurent (negative powers from singularity) or Taylor (positive powers, geometric series) in the appropriate region.

Solution

Setup. Singularities at z=1z=1 (double pole) and z=3z=3 (simple pole). The regions specified are around each singularity.

Step 1 — Partial fractions

1(z1)2(z3)=Az1+B(z1)2+Cz3\dfrac{1}{(z-1)^2(z-3)}=\dfrac{A}{z-1}+\dfrac{B}{(z-1)^2}+\dfrac{C}{z-3}.

1=A(z1)(z3)+B(z3)+C(z1)21=A(z-1)(z-3)+B(z-3)+C(z-1)^2.

So f(z)=1/4z11/2(z1)2+1/4z3f(z)=-\dfrac{1/4}{z-1}-\dfrac{1/2}{(z-1)^2}+\dfrac{1/4}{z-3}.

Step 2 — Region (i): 0<z1<20<|z-1|<2

Let w=z1w=z-1, so 0<w<20<|w|<2. Substitute z=w+1z=w+1, z3=w2z-3=w-2.

f=1/4w1/2w2+1/4w2f=-\dfrac{1/4}{w}-\dfrac{1/2}{w^2}+\dfrac{1/4}{w-2}.

The first two terms are already in Laurent form in ww. The third: 1/4w2=1/42w=1/81w/2=18n=0(w/2)n=n=0wn2n+3\dfrac{1/4}{w-2}=-\dfrac{1/4}{2-w}=-\dfrac{1/8}{1-w/2}=-\dfrac{1}{8}\sum_{n=0}^\infty(w/2)^n=-\sum_{n=0}^\infty\dfrac{w^n}{2^{n+3}}.

(Valid for w/2<1|w/2|<1, i.e. w<2|w|<2 ✓.)

Combine (replacing w=z1w=z-1):

  f(z)=1/2(z1)21/4z1n=0(z1)n2n+3,0<z1<2.  \boxed{\;f(z)=-\dfrac{1/2}{(z-1)^2}-\dfrac{1/4}{z-1}-\sum_{n=0}^\infty\dfrac{(z-1)^n}{2^{n+3}},\quad 0<|z-1|<2.\;}

Step 3 — Region (ii): 0<z3<20<|z-3|<2

Let w=z3w=z-3, so 0<w<20<|w|<2. Substitute z=w+3z=w+3, z1=w+2z-1=w+2.

f=1/4w+21/2(w+2)2+1/4wf=-\dfrac{1/4}{w+2}-\dfrac{1/2}{(w+2)^2}+\dfrac{1/4}{w}.

The third term is already in Laurent form. The first two need expansion in ww around 00 (so as positive powers of ww, valid for w<2|w|<2).

1/4w+2=1/81+w/2=18n=0(w/2)n=18n=0(1)nwn2n=n=0(1)nwn2n+3\dfrac{1/4}{w+2}=\dfrac{1/8}{1+w/2}=\dfrac{1}{8}\sum_{n=0}^\infty(-w/2)^n=\dfrac{1}{8}\sum_{n=0}^\infty\dfrac{(-1)^n w^n}{2^n}=\sum_{n=0}^\infty\dfrac{(-1)^n w^n}{2^{n+3}}.

1/2(w+2)2=12141(1+w/2)2=18n=0(1)n(n+1)wn2n=n=0(1)n(n+1)wn2n+3\dfrac{1/2}{(w+2)^2}=\dfrac{1}{2}\cdot\dfrac{1}{4}\cdot\dfrac{1}{(1+w/2)^2}=\dfrac{1}{8}\sum_{n=0}^\infty(-1)^n(n+1)\dfrac{w^n}{2^n}=\sum_{n=0}^\infty\dfrac{(-1)^n(n+1)w^n}{2^{n+3}}.

(Using 1(1u)2=n=0(n+1)un\dfrac{1}{(1-u)^2}=\sum_{n=0}^\infty(n+1)u^n, so 1(1+u)2=(1)n(n+1)un\dfrac{1}{(1+u)^2}=\sum(-1)^n(n+1)u^n.)

Combine:

f=1/4wn=0(1)nwn2n+3n=0(1)n(n+1)wn2n+3f=\dfrac{1/4}{w}-\sum_{n=0}^\infty\dfrac{(-1)^n w^n}{2^{n+3}}-\sum_{n=0}^\infty\dfrac{(-1)^n(n+1)w^n}{2^{n+3}}

=1/4wn=0(1)n(n+2)wn2n+3=\dfrac{1/4}{w}-\sum_{n=0}^\infty\dfrac{(-1)^n(n+2)w^n}{2^{n+3}}.

In terms of z3z-3:

Answer

  f(z)=1/4z3n=0(1)n(n+2)2n+3(z3)n,0<z3<2.  \boxed{\;f(z)=\dfrac{1/4}{z-3}-\sum_{n=0}^\infty\dfrac{(-1)^n(n+2)}{2^{n+3}}(z-3)^n,\quad 0<|z-3|<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.