Skip to content
Part CCSIR NET December 2023residue-of-exp-over-power

Residue of exp over power

For an integer k, consider the contour integral Ik=∫∣z∣=1I_{k} = \int_{|z|=1} eᶻ/zᵏ dz. Which of the following statements are true?

  1. A.Ik=0I_{k} = 0 for every integer k.
  2. B.Ik≠0I_{k} \ne 0 if k ≥ 1.✓ Correct
  3. C.|IkI_{k}| ≤ |IkI_{k}₊1_{1}| for every integer k.
  4. D.limk→∞lim_{k\to\infty} |IkI_{k}| =∞= \infty.

The idea, in plain words

A contour integral around the origin picks out exactly one coefficient of the series, the one just below the power in the denominator. Positive powers reach into the series and pull out a shrinking factorial term; non-positive powers reach past the start of the series and find nothing.

Solution

Ik=2πi⋅(I_{k} = 2\pi{}i \cdot (coefficient of zk−1z^{k-1} in eᶻ)=2πi/(k−1)) = 2\pi{}i/(k-1)! for k ≥ 1 and 0 for k ≤ 0.

These values decrease to 0

so (3) and (4) fail.

Why each option is right or wrong

Checked against 5 symbolic computations
  • A.Wrong

    False.

    Ik=0I_{k} = 0 only for k ≤ 0, where eᶻ/zᵏ is entire and Cauchy's theorem applies.

    For k ≥ 1 there is a pole at the origin: the residue is the coefficient of zk−1z^{k-1} in the expansion of eᶻ, namely 1/(k−1)!

    so Ik=2πi/(k−1)!≠0I_{k} = 2\pi{}i/(k-1)! \ne 0.

    SymPy gives |I1I_{1}| =2π= 2\pi.

  • B.Correct

    True.

    Ik=2πi⋅I_{k} = 2\pi{}i \cdot Resz=0(eRes_{z=0}(eᶻ/zk)=2πi⋅[/z^{k}) = 2\pi{}i \cdot [coefficient of zk−1z^{k-1} in eᶻ]=2πi/(k−1)] = 2\pi{}i/(k-1)!

    which is never zero for k ≥ 1 since factorials are finite.

    The trigger: for eᶻ/zᵏ the residue is just one Taylor coefficient — read it off rather than differentiating k − 1 times.

  • False.

    The moduli are 2π/(k−1)2\pi/(k-1)!

    which decrease once the factorial starts biting.

    SymPy gives |I2I_{2}| =2π= 2\pi and |I3I_{3}| =π= \pi

    so |I2I_{2}| > |I3I_{3}| and the claimed inequality fails at k = 2.

    The first two values being equal (|I1I_{1}| = |I2I_{2}| =2π= 2\pi

    since 0! = 1! = 1) is what makes the sequence look non-decreasing at a glance.

  • False — the moduli tend to 0, not infinity.

    SymPy confirms lim⁡2π/Γ(k)=0\lim 2\pi/\Gamma(k) = 0 as k→∞k \to \infty: the factorial in the denominator dominates everything.

    The values run 2π,2π,π,π/32\pi, 2\pi, \pi, \pi/3, and shrink from there.

2 of these 3 wrong options correspond to a named reasoning error — the same errors recur across subjects.

The trap it tests

Execution slip

The idea was right. The computation was not.

Drill statements like this

Related counterexample: ∮γ f = 0 implies f is holomorphic inside γ

More on this topic

The chapter behind this: Residue theorem — the five standard patterns — free to read

From Singularities and Residues › Residue theorem and standard contour integrals

Last revised . Found a mistake? Tell us — corrections are the fastest thing we act on.

ShareWhatsAppTelegram