Choose the principal logarithm, so L(z)=Log(1−z) has branch cut [1,∞). Near zero its Taylor series givesThus zero is a simple pole of residue one, and one is a logarithmic branch point. The function is holomorphic on C∖({0}∪[1,∞)) with this branch. Infinity is also a branch point in the extended-plane description; the function's decay there along the cut plane does not make it a single-valued holomorphic function through infinity.
L(z)=−z−2z2−3z3+O(z4),z3L(z)2=z1+1+O(z).
Use the positive orientation shown in the source: the upper bank runs outwards and the lower bank returns towards one. On those banks the logarithm branch has values ℓ−iπ and ℓ+iπ, respectively, with ℓ=log(x−1). Their squared difference is −4iπℓ. The residue theorem therefore givesand henceThe large-circle contribution is O(R−2log2R) and the small circle about one contributes O(ε∣logε∣2), both tending to zero. These estimates justify replacing the closed contour integral by its two cut-bank integrals.
2πi=lim∮Γz3L(z)2dz=−4πi∫1∞x3log(x−1)dx,
∫1∞x3log(x−1)dx=−21.
Take g(z)=L(z)3/z3 on the same logarithm branch. At zero, L(z)3=−z3+O(z4), so the apparent singularity is removable and the closed contour integral is zero. The bank difference isThe circular contributions vanish by the previous estimates with the third power of the logarithm. ConsequentlyThe last integral is 1/2, givingIncreasing the logarithm power has converted the desired real integral into a jump across a branch cut, while removing the pole inside the contour.
(ℓ−iπ)3−(ℓ+iπ)3=−6iπℓ2+2iπ3.
0=−6iπ∫1∞x3log2(x−1)dx+2iπ3∫1∞x3dx.
∫1∞x3log2(x−1)dx=6π2.
Ancestors (10)
- S1
- 2015
- 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.