Intereting Posts

Understanding positive definite kernel
Is Lagrange's theorem the most basic result in finite group theory?
Taking fractions $S^{-1}$ commutes with taking intersection
Multiplication Table with a frame and picture of equal sum
How do I tell if matrices are similar?
How to integrate $\int \frac{e^x dx}{1\,+\,e^{2x}}$
Two questions with respect to the determinants
Logical Conditional Truth Table Rationale
Is $22/7$ equal to the $\pi$ constant?
Every section of a measurable set is measurable? (in the product sigma-algebra)
In a complex vector space, $\langle Tx,x \rangle=0 \implies T = 0$
First-order logic advantage over second-order logic
$k$-space tensor integral in statistical physics
How would you describe calculus in simple terms?
Bijection between closed uncountable subset of $\Bbb R$ and $\Bbb R$.

I’m trying to evaluate the integral $$ I =\int_{-1}^{1}\frac{\sqrt{1-x^{2}}}{1+x^{2}} \, dx $$ by using a dumbbell/dogbone contour, but I’m having difficulty determining the residue at infinity.

I started by defining $\sqrt{1-z^{2}}=\sqrt{(1-z)(1+z)} $ so that it is a well-defined function if the line segment $[-1,1]$ is omitted.

Similar to an example on Wikipedia, I choose the branches where $0 < \arg(1-z) \le 2 \pi$ and $-\pi < \arg(1+z) \le \pi$.

- Does $i^i$ and $i^{1\over e}$ have more than one root in $$
- Contour integral of $\int_0^{2\pi} \frac{1}{A - cos \theta} d\theta$
- Image of the Riemann-sphere
- Vanishing of Taylor series coefficient
- $f,\overline f$ are both analytic in a domain $\Omega$ then $f$ is constant?
- Complex Zeros of $z^2e^z-z$

Then I integrated $ f(z) = \frac{\sqrt{1-z^{2}}}{1+z^{2}}$ **clockwise** around a dumbbell contour.

Just above the branch cut, $\arg(1-z) = 2 \pi$ and $\arg(1+z) = 0$.

And just below the branch cut, $\arg(1-z) = 0$ and $\arg(1+z) = 0$.

So the integral evaluates to $-I$ both above the cut and below the cut.

Since the integrand is meromorphic outside the contour, I get

$$ – 2I = 2\pi i \left( \operatorname{Res}[f,i]+ \operatorname{Res}[f,-i] + \operatorname{Res}[f,\infty] \right),$$ where

$$\begin{align} \operatorname{Res}[f,i] &=\lim_{z\to i }\frac{\sqrt{|1-z|e^{i\arg(1-z)}\ |1+z|e^{i\arg(1+z)}}}{z+i} =\frac{\sqrt{\sqrt{2}e^{\frac{7\pi i}{4}}\sqrt{2}e^{\frac{\pi i}{4}}}}{2i} \\ &=\frac{\sqrt{2}e^{\pi i}}{2i}=-\frac{\sqrt{2}}{2i}, \end{align}$$

$$ \begin{align}\operatorname{Res}[f,-i] &=\lim_{z\to-i }\frac{\sqrt{|1-z|e^{i\arg(1-z)}\ |1+z|e^{i\arg(1+z)}}}{z-i}=\frac{\sqrt{\sqrt{2}e^{\frac{\pi i}{4}}\sqrt{2}e^{\frac{-\pi i}{4}}}}{-2i} \\ &=\frac{\sqrt{2}e^{ 0\pi i}}{-2i}=-\frac{\sqrt{2}}{2i}, \end{align}$$ and

$$ \begin{align}\operatorname{Res}[f,\infty] &=\operatorname{Res}\left[-\frac{1}{z^{2}}f\left(\frac{1}{z}\right), 0 \right]= \operatorname{Res}\left[-\frac{\sqrt{z^2-1}}{z(1+z^{2})},0\right]\\ &=-\lim_{z\to 0}\frac{\sqrt{z^2-1}}{1+z^{2}} = -(-1)^{\frac{1}{2}}. \end{align}$$

But what is $(-1)^{\frac{1}{2}}$?

I assume it must be $i$, but I don’t know how to argue that it can’t be $-i$.

**EDIT**:

There is also the issue that Ted Shifrin mentioned of assuming that $\sqrt{z^{2}}=z$.

- Relationship Between Ratio Test and Power Series Radius of Convergence
- $e^{1/z}$ and Laurent expansion
- Hard integral that standard CAS get totally wrong
- Proving the set $\mathcal H$ of Möbius transformations is a group under composition and finding a transformation that satisfies certain conditions
- Inversion of Laplace transform $F(s)=\log(\frac{s+1}{s})$ (Bromwich integral)
- Residue of two functions
- Behavior of holomorphic functions on the boundary of the unit disk
- Approximate spectral decomposition
- Generalised Integral $I_n=\displaystyle \int_0^{\pi/2} \frac{x^n}{\sin ^n x} \ \mathrm{d}x, \quad n\in \mathbb{Z}^+.$
- Show that this piecewise function is differentiable at $0$

Comment converted (and expanded) into an answer per request.

Instead of confused about what $\arg(−1)$ is, go back to original integral and observe for given choice of argument, $\arg\sqrt{1-x^2} = \frac{\pi}{2}$ for $x > 1$ on real axis. As a result, $\displaystyle\;\frac{\sqrt{1-z^2}}{1+z^2} \sim \frac{i}{z}$ for large $z$.

Deform the clockwise dumbbell contour “continuously” to a clockwise circular contour at infinity. In the middle of process, one pickup two extra counterclockwise circular contours at poles ($\pm i$) of the integrand.

The contribution from the clockwsie circular contour at infinity is controlled by the large $z$ behavior of the integrand. It equals to $$(-2\pi i)i = 2\pi$$

Since $\arg\sqrt{1-z^2}$ is negative on positive imaginary axis and positive on negative imaginary axis, contribution from the two counterclockwise circular contours around the poles is

$$(2\pi i)\left(\frac{-\sqrt{2}}{2i} + \frac{\sqrt{2}}{-2i}\right) = -2\pi\sqrt{2}$$

This leads to

$$-2I = -2\pi\sqrt{2} + 2\pi \quad\implies\quad I = \pi(\sqrt{2}-1)$$

You really don’t want to break the square root up; it’s not about separate branch cuts, but about a single branch cut for the square root of the quadratic. Presumably, you want the branch of $g(z)=\sqrt{1-z^2}$ with $g(i)=+\sqrt2$. When you then compute the residue of $f$ at $\infty$, you have to interpret the residue at $0$ of

$$\sqrt{1-\big(\frac1u\big)^2} = \frac{\sqrt{u^2-1}}{\sqrt{u^2}},$$

and one has to check that the ambiguities in the two square roots cancel out.

- Trick to find multiples mentally
- Mathematicians shocked(?) to find pattern in prime numbers
- Triangular Factorials
- Finding integer solutions for $6x+15y+20z=1$
- Chinese Remainder Theorem Explanation
- Relating $\operatorname{lcm}$ and $\gcd$
- Considering the linear system $Y'=AY$
- What's the quickest way to solve $3^i \equiv 1 \mod 28$
- Injectivity is a local property
- Does the given matrix have a square root?
- Let A be a non-empty set, and p an equivalence relation on A . Let a , b be an element of A . Prove that = is equivalent to apb
- Calculate $\int_0^{1}\frac{x^{-1 – x}\,\,\,\left(1 – x\right)^{x – 2}}{\mathrm{B}(1 – x\,, \,x)}\,\mathrm{d}x$
- Existence Proofs
- Why it is sufficient to show $|f'(z)-1|<1$?
- Proving $f(x) = 0$ everywhere