← 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 8× in 14 yrs · Read the full method →

Question

Find all possible Taylor’s and Laurent’s series expansions of the function f(z)=2z−3z2−3z+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

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

2z−3(z−1)(z−2)=Az−1+Bz−2.\dfrac{2z-3}{(z-1)(z-2)}=\dfrac{A}{z-1}+\dfrac{B}{z-2}.

2z−3=A(z−2)+B(z−1)2z-3=A(z-2)+B(z-1).

f(z)=1z−1+1z−2.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:

1z−1=−11−z=−∑n=0∞zn.\dfrac{1}{z-1}=-\dfrac{1}{1-z}=-\sum_{n=0}^\infty z^n. 1z−2=−12−z=−12⋅11−z/2=−12∑n=0∞(z/2)n=−∑n=0∞zn2n+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=0∞zn−∑n=0∞zn2n+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/(z−1)1/(z-1) in negative powers) and ∣z/2∣<1|z/2|<1 (so expand 1/(z−2)1/(z-2) in positive powers as before).

1z−1=1z(1−1/z)=1z∑n=0∞1zn=∑n=0∞1zn+1=∑n=1∞1zn.\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}. 1z−2=−∑n=0∞zn2n+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=1∞1zn−∑n=0∞zn2n+1.f(z)=\sum_{n=1}^\infty\dfrac{1}{z^n}-\sum_{n=0}^\infty\dfrac{z^n}{2^{n+1}}.   f(z)=∑n=1∞1zn−∑n=0∞zn2n+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:

1z−1=∑n=1∞1zn(as in Region 2).\dfrac{1}{z-1}=\sum_{n=1}^\infty\dfrac{1}{z^n}\quad(\text{as in Region 2}). 1z−2=1z(1−2/z)=1z∑n=0∞(2/z)n=∑n=0∞2nzn+1=∑n=1∞2n−1zn.\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=1∞1+2n−1zn.f(z)=\sum_{n=1}^\infty\dfrac{1+2^{n-1}}{z^n}.

Answer

  f(z)=∑n=1∞1+2n−1zn,    ∣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 — 14 years, mapped. Get the take-away PDF free.