In the following, is a complex number and is the imaginary unit. Consider the complex function
where . For a positive integer , define
If necessary, you may use and
- [I.] Find all poles of . Also, find the order of each pole.
- [II.] Find the residue of each pole found in I.
- [III.] Let be a positive integer and set . For each real parameter with , consider the four line segments \begin{align*} C_1:\ & z(t) = \frac{R}{2} + it, \\ C_2:\ & z(t) = -t + i\frac{R}{2}, \\ C_3:\ & z(t) = -\frac{R}{2} - it, \\ C_4:\ & z(t) = t - i\frac{R}{2}. \end{align*} These four oriented segments form the boundary of a square centered at the origin, traversed counterclockwise. For each complex integral along (), find .
- [IV.] Let be the closed loop composed of the four line segments , and in III. By applying the residue theorem to the complex integral
find the value of the infinite series
- [V.] Now replace by the complex function
where $N$ is a positive integer. By following the same contour method as in I–IV, express the infinite series
in terms of $D_m$.
Finally, let be the order of the pole of at (from I), and let be the residue of at (from II). Let denote the value of obtained in IV. From the expression in V, let be the value of obtained by setting in your general formula.Compute the integer
\
[THOUGHT] To verify D_2 and the residue, I will use sympy to compute the second derivative of z * cot(z) at z=0 or the series expansion. [/THOUGHT] [PYTHON] import sympy as sp z = sp.symbols('z') f = z * sp.cot(z) series = sp.series(f, z, 0, 5) print(series)
deriv2 = sp.diff(f, z, 2).limit(z, 0) print(deriv2) [/PYTHON]
[THOUGHT] The poles of are at (order 3) and for nonzero integers (simple poles). The residue at is . Thus, . Also, . In IV, . In V, for , . Then . [/THOUGHT]
Explanation
The reasoning proceeds through the problem's parts to compute .
For part I, has poles where , so at for integer . At with , has a simple pole with residue 1, and , yielding simple poles. At , the Laurent series of gives , confirming a pole of order 3. Thus, .
For part II, the residue at is the coefficient of in the Laurent series of , which is , so . At (), the residue is .
Parts III and IV use the square contour with side length . As , the integrals over each vanish due to the decay of on the boundaries. By the residue theorem, . The poles inside are at and for , . Thus, in the limit, yielding , so .
For part V, has residue at given by the coefficient of in its Laurent series. Let . Then , and the term occurs when , so , giving . The contour argument yields . For , .
Finally, substitute into : , , , . Thus, .