← 2015 Paper 2

UPSC 2015 Maths Optional Paper 2 Q2c — Step-by-Step Solution

20 marks · Section A

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

Question

Find all possible Taylor’s and Laurent’s series expansions of the function f(z)=2z3z23z+2f(z)=\dfrac{2z-3}{z^2-3z+2} about the point z=0z=0.

Technique

Partial fractions to separate the two singularities; then in each region of the z|z|-plane (bounded by the singularities), expand each piece as a power series (Taylor, in zz) or a Laurent series (in 1/z1/z) depending on which converges in that annulus.

Solution

Step 1 — Partial fractions

z23z+2=(z1)(z2)z^2-3z+2=(z-1)(z-2). Decompose:

2z3(z1)(z2)=Az1+Bz2.\dfrac{2z-3}{(z-1)(z-2)}=\dfrac{A}{z-1}+\dfrac{B}{z-2}.

2z3=A(z2)+B(z1)2z-3=A(z-2)+B(z-1).

f(z)=1z1+1z2.f(z)=\dfrac{1}{z-1}+\dfrac{1}{z-2}.

Step 2 — Singularities

Simple poles at z=1z=1 and z=2z=2. About z=0z=0, the relevant radii are z=1|z|=1 and z=2|z|=2, dividing the plane into three regions:

Step 3 — Region 1: z<1|z|<1 (Taylor)

In this disc, z<1|z|<1 and z/2<1/2<1|z/2|<1/2<1. Use geometric series:

1z1=11z=n=0zn.\dfrac{1}{z-1}=-\dfrac{1}{1-z}=-\sum_{n=0}^\infty z^n. 1z2=12z=1211z/2=12n=0(z/2)n=n=0zn2n+1.\dfrac{1}{z-2}=-\dfrac{1}{2-z}=-\dfrac{1}{2}\cdot\dfrac{1}{1-z/2}=-\dfrac{1}{2}\sum_{n=0}^\infty(z/2)^n=-\sum_{n=0}^\infty\dfrac{z^n}{2^{n+1}}.

Sum:

f(z)=n=0znn=0zn2n+1=n=0 ⁣(1+12n+1)zn.f(z)=-\sum_{n=0}^\infty z^n-\sum_{n=0}^\infty\dfrac{z^n}{2^{n+1}}=-\sum_{n=0}^\infty\!\left(1+\dfrac{1}{2^{n+1}}\right)z^n.   f(z)=n=0 ⁣(1+12n+1)zn,    z<1.  \boxed{\;f(z)=-\sum_{n=0}^\infty\!\left(1+\dfrac{1}{2^{n+1}}\right)z^n,\;\;|z|<1.\;}

Step 4 — Region 2: 1<z<21<|z|<2 (Laurent)

Here 1/z<1|1/z|<1 (so expand 1/(z1)1/(z-1) in negative powers) and z/2<1|z/2|<1 (so expand 1/(z2)1/(z-2) in positive powers as before).

1z1=1z(11/z)=1zn=01zn=n=01zn+1=n=11zn.\dfrac{1}{z-1}=\dfrac{1}{z(1-1/z)}=\dfrac{1}{z}\sum_{n=0}^\infty\dfrac{1}{z^n}=\sum_{n=0}^\infty\dfrac{1}{z^{n+1}}=\sum_{n=1}^\infty\dfrac{1}{z^n}. 1z2=n=0zn2n+1(from Region 1).\dfrac{1}{z-2}=-\sum_{n=0}^\infty\dfrac{z^n}{2^{n+1}}\quad(\text{from Region 1}).

Sum:

f(z)=n=11znn=0zn2n+1.f(z)=\sum_{n=1}^\infty\dfrac{1}{z^n}-\sum_{n=0}^\infty\dfrac{z^n}{2^{n+1}}.   f(z)=n=11znn=0zn2n+1,    1<z<2.  \boxed{\;f(z)=\sum_{n=1}^\infty\dfrac{1}{z^n}-\sum_{n=0}^\infty\dfrac{z^n}{2^{n+1}},\;\;1<|z|<2.\;}

Step 5 — Region 3: z>2|z|>2 (Laurent)

Here both 1/z<1|1/z|<1 and 2/z<1|2/z|<1. Expand both in negative powers:

1z1=n=11zn(as in Region 2).\dfrac{1}{z-1}=\sum_{n=1}^\infty\dfrac{1}{z^n}\quad(\text{as in Region 2}). 1z2=1z(12/z)=1zn=0(2/z)n=n=02nzn+1=n=12n1zn.\dfrac{1}{z-2}=\dfrac{1}{z(1-2/z)}=\dfrac{1}{z}\sum_{n=0}^\infty(2/z)^n=\sum_{n=0}^\infty\dfrac{2^n}{z^{n+1}}=\sum_{n=1}^\infty\dfrac{2^{n-1}}{z^n}.

Sum:

f(z)=n=11+2n1zn.f(z)=\sum_{n=1}^\infty\dfrac{1+2^{n-1}}{z^n}.

Answer

  f(z)=n=11+2n1zn,    z>2.  \boxed{\;f(z)=\sum_{n=1}^\infty\dfrac{1+2^{n-1}}{z^n},\;\;|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.