The simple poles occur at z=n−α, n∈Z, since the derivative of the sine there is π(−1)n. ThusThere is also a double pole at zero, not included in that list because 0<α<1. Its residue, needed for the next contour calculation, is the derivative of cscπ(z+α) at zero, namely −πcsc(πα)cot(πα).
Resn−αf=π(n−α)2(−1)n.
On the square, ∣z∣≥N. The identity ∣sinπ(x+α+iy)∣2=sin2π(x+α)+sinh2πy bounds the sine away from zero on the vertical sides because x=±N; on horizontal sides it grows exponentially. Therefore the whole contour integral is O(N−1) or smaller and vanishes. The residue theorem then giveswhich proves n∈Z∑(−1)n/(n−α)2=π2cscπαcotπα. Absolute convergence justifies the limiting residue sum.
0=2πi[−πcscπαcotπα+∑n∈Zπ(n−α)2(−1)n],
Separate the n=0 term and pair n with −n. For small α,Compare the constant and quadratic coefficients with the supplied expansion after subtracting α−2. It follows thatThe paired expansion is uniformly summable on any sufficiently small closed interval of α, so coefficient comparison is legitimate.
(n−α)2(−1)n+(n+α)2(−1)n=n22(−1)n+n46α2(−1)n+O(α4/n6).
n≥1∑n2(−1)n=−12π2,n≥1∑n4(−1)n=−7207π4.
A conformal map preserves local oriented angles and has a nonzero local scale factor. For an orientation-preserving complex map this is equivalent to holomorphy with f′(z)=0 at the point concerned. Infinitesimal figures are rotated and uniformly scaled there, but finite shapes need not be preserved: derivative magnitude and direction can vary across a region. Antiholomorphic maps preserve unoriented angles while reversing orientation; the convention being used must be stated.
For real x=−1, w=1−2/(x+1) is real. Its finite image is the entire real axis except w=1, which is approached only as x→±∞. The point x=−1 maps to infinity. On the extended complex plane the extended real axis maps onto itself, with z=∞ mapping to one.
The identity w−1=−2/(z+1) gives ∣w−1∣=2/r on ∣z+1∣=r. Thus the image circle has center one and radius 2/r. Points strictly inside the original circle satisfy ∣w−1∣>2/r; the center itself maps to infinity. The interior therefore becomes the exterior together with infinity on the Riemann sphere, rather than the interior of the image circle. This inversion is a useful warning against assuming conformality preserves global inside/outside assignments.
For z=eiθ, w=itan(θ/2), which is purely imaginary; z=−1 supplies the point at infinity. Conversely, the inverse map is z=(1+w)/(1−w). Requiring ∣w∣=1 is equivalent to ∣z−1∣=∣z+1∣, hence Rez=0, including the appropriate infinite point in the extended-plane formulation. The unit circle and imaginary axis are exchanged, but the real axis is not.
Set z=eiθ. The integral becomesThe roots are z=(−3±2)/(2−i), only z+=−1/(2−i) lying inside. The derivative of the quadratic at z+ is two, so the residue is 1/(2i). Consequently ∫02πdθ/(3+2cosθ+sinθ)=π. The denominator is positive since 3>5, so no principal-value qualification is required.
∮∣z∣=1i[(1−i/2)z2+3z+(1+i/2)]dz.
Cauchy's theorem says that a holomorphic function integrates to zero around a closed contour homologous to zero in its domain. Thus deforming one contour into another without crossing a singularity preserves the integral. More generally for a meromorphic f, the exact condition isEqual winding numbers about every singularity are sufficient. They are not necessary for one particular function because residues can cancel; even arbitrary contours have equal integrals for f=0. A topological deformation criterion must not be confused with a necessary condition for accidental equality.
a∑[nΓ(a)−nΓ′(a)]Resaf=0.
The finite singularities are square-root branch points at z=±1. Choose the cut between them and the branch f(z)∼z at infinity. The two banks then have values +i1−x2 above and −i1−x2 below. A counterclockwise loop around the cut traverses its upper bank right-to-left, so its integral is −2iI, where I is the required real integral. At large radius,Therefore I=π/2. Infinity is not another square-root branch point: this branch has an ordinary pole there on its sheet. Small detours about the finite endpoints vanish as their radius to power 3/2.
f(z)=z−2z1+O(z−3),∮f(z)dz=−πi.
Ancestors (9)
- 2016
- Past exam of the short options paper shared by Prelims and Parts A and B of the physics course of the University of Oxford
- Short options paper shared by Prelims and Parts A and B of the physics course of the University of Oxford
- Physics course of the University of Oxford
- Undergraduate course of the University of Oxford
- Course of the University of Oxford
- University of Oxford
- List of universities
- Home
Discussion (0)
New discussionThere are no discussions about this article yet.
Articles by others on the same topic (0)
There are currently no matching articles.