PlanetMath (more info)
 Math for the people, by the people. Sponsor PlanetMath
Encyclopedia | Requests | Forums | Docs | Wiki | Random | RSS  
Login
create new user
name:
pass:
forget your password?
Main Menu
Owner confidence rating: Very high Entry average rating: No information on entry rating
[parent] using residue theorem near branch point (Example)

Find the value of the improper integral

$\displaystyle \int_0^\infty\!\frac{x^{-k}}{x+1}\,dx \qquad (0 < k < 1)$ (1)

by using the Cauchy residue theorem.

Since $k$ is not an integer, a circuit around the origin changes the argument of $$z^{-k} \;=\; e^{-k\log z} \;=\; e^{-k(\ln|z|+i\arg{z})},$$ by the amount $-2k\pi$ , thus giving to $z^{-k}$ a new value. Consequently the integrand $\displaystyle\frac{z^{-k}}{z+1}$ of (1) has the origin as a branch point. In the annulus between the origin-centered circles $\Gamma$ and $\gamma$ , cut open along the positive real axis, any branch of the integrand is single-valued. Let's take the branch with $0 \leqq \arg{z} \leqq 2\pi$ and suppose $0 < r < 1 < R$ . Then the integrand function is analytic in the cut annulus except at the point $z = -1$ which is a simple pole.


\begin{pspicture}(-4.2,-4)(4.2,4) \rput(-4.2,-4){.} \rput(4.2,4){.} \psaxes[Dx=1... ...-0.25){$-1$} \rput(-0.7,0.7){$\gamma$} \rput(-2.5,2.5){$\Gamma$} \end{pspicture}
By the residue theorem,
$\displaystyle \displaystyle\oint\!\frac{z^{-k}}{z\!+\!1}\,dz \;=\; 2\pi i \operatorname{Res}\!\left(\frac{z^{-k}}{x\!+\!1};\,-1\right),$ (2)

the integral taken around the border of the cut annulus.

One has first $$\operatorname{Res}\!\left(\frac{z^{-k}}{x\!+\!1};\,-1\right) \;=\; \lim_{z\to-1}(z+1)\frac{z^{-k}}{x\!+\!1} \;=\; (-1)^{-k} \;=\; e^{-i\pi k}.$$

The integral (2) is split to four parts, two of them are the integrals around $\Gamma$ and $\gamma$ , and the other two the integrals along the cut on the real axis, in two directions. Using the estimating theorem of contour integral, one obtains $$\left|\int_\Gamma\!\frac{z^{-k}}{z\!+\!1}\,dz\right| \;\leqq\; \frac{R^{-k}}{R\!-\!1}\cdot2\pi R \;=\; \frac{2\pi R^{-k}}{1\!-\!\frac{1}{R}} \;\to\; 0 \quad \mbox{as} \quad R \to \infty,$$ $$\left|\int_\gamma\!\frac{z^{-k}}{z\!+\!1}\,dz\right| \;\leqq\; \frac{r^{-k}}{1\!-\!r}\cdot2\pi r \;=\; \frac{2\pi r^{1-k}}{1\!-\!r} \;\to\; 0 \,\quad \mbox{as} \,\quad r \to 0\!+\!.$$ Thus the two first parts of the integral (2) have the limits 0 as $R \to \infty$ and $r \to 0\!+$ . When one integrates on the real axis from $R$ to $r$ along the ``lower edge'' of the cut, denoting $z = x\!+\!iy$ ($x,\,y \in \mathbb{R}$ ), one has $\arg{z} = 2\pi$ and $$z^{-k} \;=\; e^{-k(\ln{x}+i\cdot2\pi)} \;=\; x^{-k}e^{-2i\pi k},$$ whence $$\int_R^r\!\frac{z^{-k}}{z\!+\!1}\,dz \;=\; e^{-2i\pi k}\int_R^r\!\frac{x^{-k}}{x\!+\!1}\,dx \;=\; -e^{-2i\pi k}\int_r^R\!\frac{x^{-k}}{x\!+\!1}\,dx.$$ But the last written integral equals to the integral gotten as one integrates from $r$ to $R$ along the ``upper edge'' of the cut, because on this path one has $\arg{z} = 0$ and thus $z^{-k} = x^{-k}$ . Accordingly, the sum of the integrals taken along the cut has the value $$\left(1-e^{-2i\pi k}\right)\!\int_r^R \frac{x^{-k}}{x\!+\!1}\,dx.$$ Accordingly, (2) gives the limit equation $$\left(1-e^{-2i\pi k}\right)\!\int_0^\infty\!\frac{x^{-k}}{x\!+\!1}\,dx \;=\; 2i\pi e^{-i\pi k},$$ and this implies moreover $$\int_0^\infty\!\frac{x^{-k}}{x\!+\!1}\,dx \;=\; 2i\pi\frac{e^{-i\pi k}}{1-e^{-2i\pi k}} \;=\; \frac{2i\pi}{e^{i\pi k}\!-\!e^{-i\pi k}}.$$ Thus the Euler formula lastly yields the result

$\displaystyle \int_0^\infty\!\frac{x^{-k}}{x\!+\!1}\,dx \;=\; \frac{\pi}{\sin{\pi k}} \qquad (0 \,<\, k \,<\, 1).$ (3)




"using residue theorem near branch point" is owned by pahio.
(view preamble | get metadata)

View style:

See Also: general power, complex logarithm, example of using residue theorem, Fresnel formulas, example of changing variable


This object's parent.
Log in to rate this entry.
(view current ratings)

Cross-references: implies, equation, sum, path, integrates, limits, estimating theorem of contour integral, integral, simple pole, point, analytic, function, single-valued, branch, real axis, positive, circles, annulus, branch point, integrand, argument, origin, circuit, integer, Cauchy residue theorem, improper integral
There are 3 references to this entry.

This is version 11 of using residue theorem near branch point, born on 2009-01-09, modified 2009-02-20.
Object id is 11480, canonical name is UsingResidueTheoremNearBranchPoint.
Accessed 963 times total.

Classification:
AMS MSC30E20 (Functions of a complex variable :: Miscellaneous topics of analysis in the complex domain :: Integration, integrals of Cauchy type, integral representations of analytic functions)

Pending Errata and Addenda
None.
Discussion
Style: Expand: Order:
forum policy

No messages.

Interact
post | correct | update request | add example | add (any)