Intereting Posts

Boundedness of $L^2$-norms of mixed derivatives of functions from $W^{2,2}(\mathbb{R}^N)$
Local and global logarithms
The ring of germs of functions $C^\infty (M)$
Finding subgroups of a free group with a specific index
Is for every ultrahomogenous structure M the theory Th(M) model complete?
$PGL(n, F)=PSL(n, F)$
Product of two Gaussian PDFs is a Gaussain PDF, but Produt of two Gaussan Variables is not Gaussian
Help solving a limit in two parts $\lim_{t\to 0}\left(\frac{1}{t\sqrt{1+t}}-\frac{1}{t}\right)$
Properties of rad A in rings.
No group of order 36 is simple
How to show that $f'(x)<2f(x)$
Prove the open mapping theorem by using maximum modulus principle
Orthogonal complement of orthogonal complement
Why are $u(z)$ and $u(\bar{z})$ simultaneously harmonic?
Number raised to log expression

For a complex number $\displaystyle z$, How to evaluate

$$\int_0^\infty\frac{\text{d}x}{x^2+(1-z^2x^2)^2}$$

- Finding a non constant solution to $ (x')^2+x^2=9 $
- Integral $\int_0^\infty\sin{(x^4)} dx$
- Integral related to $\sum\limits_{n=1}^\infty\sin^n(x)\cos^n(x)$
- Parallel functions.
- Evaluate $ \int_{0}^{\infty} \frac{1}{x^3+x+1}dx$
- Cauchy's Integral parametric conjugate
- Convergence of power towers
- Prob. 26, Chap. 5 in Baby Rudin: If $\left| f^\prime(x) \right| \leq A \left| f(x) \right|$ on $$, then $f = 0$
- Why is every meromorphic function on $\hat{\mathbb{C}}$ a rational function?
- Can I ever go wrong if I keep thinking of derivatives as ratios?

A related problem. Here is the idea, since the integrand is an even function, then we can write the integral as

$$ \int_0^\infty\frac{\text{d}x}{x^2+(1-z^2x^2)^2}=\frac{1}{2}\int_{-\infty}^{\infty}\frac{\text{d}x}{x^2+(1-z^2x^2)^2}. $$

Expanding the denominator and completing the square, we reach at

$$ \frac{1}{2}\int_{-\infty}^{\infty}\frac{\text{d}x}{x^2+(1-z^2x^2)^2}= \frac{1}{2}\int_{-\infty}^{\infty}\frac{\text{d}x}{(x^2+\alpha^2)^2+\beta^2}, $$

where $\alpha$ and $\beta$ are functions in $z$. Now, recalling the Fourier transform, we can consider the more general integral

$$ \frac{1}{2}\int_{-\infty}^{\infty}\frac{e^{-ixw}\text{d}x}{(x^2+\alpha^2)^2+\beta^2}. $$

I leave it here for you to finish the task.

By the quadratic formula, the denominator of the integrand has roots

$$\begin{align}

r_1,r_2,r_3,r_4 &= \pm\sqrt{\frac{2z^2-1\pm\sqrt{1-4z^2}}{2z^4}}\\

&=\frac{\pm1}{2z^2}\left(i\pm\sqrt{4z^2-1}\right)

\end{align}$$

and since the integrand is an even function,

$$\begin{align}

\int_0^\infty \frac{dx}{x^2+(1-z^2x^2)^2} &= \frac{1}{2}\int_{-\infty}^\infty \frac{dx}{x^2+(1-z^2x^2)^2} \\

&= \frac{1}{2}\int_{-\infty}^\infty \frac{1/z^4}{x^4+(1-2z^2)x^2/z^4+1/z^4} dx \\

&= \frac{1}{2z^4}\int_{-\infty}^\infty f(x) dx

\end{align}$$

where $$f(x) = \frac{1}{(x-r_1)(x-r_2)(x-r_3)(x-r_4)}.$$ Since $f(z)$ is analytic in the upper half complex plane (except for a finite number of poles), and since $f(z)$ vanishes faster than $1/z^2$ for $|z|\rightarrow\infty$, the residue theorem gives $$\frac{1}{2z^4}\int_{-\infty}^\infty f(x)dx = \frac{\pi i}{z^4}\sum\mathrm{res\,\,}f$$ where $\sum\mathrm{res\,\,}f$ is the sum of the residues in the upper-half plane. The trick then is to determine which of the four poles are on the upper half plane. We define the roots as

$$\begin{align}

r_1 &= \frac{1}{2z^2}\left(i+\sqrt{4z^2-1}\right) \\

r_2 &= -r_1 \\

r_3 &= \frac{1}{2z^2}\left(i-\sqrt{4z^2-1}\right) \\

r_4 &= -r_3

\end{align}$$

If $z$ is purely real, then $r_1$ and $r_3$ are in the upper half plane. Thus

$$\begin{align}

\sum\mathrm{res\,\,}f &= \frac{1}{(r_1-r_2)(r_1-r_3)(r_1-r_4)} + \frac{1}{(r_3-r_1)(r_3-r_2)(r_3-r_4)} \\

&= -i\frac{z^4}{2}

\end{align}$$

after much algebra. Therefore we have

$$\begin{align}

\int_0^\infty \frac{dx}{x^2+(1-z^2x^2)^2} &= \frac{\pi i}{z^4}\frac{-iz^4}{2} \\

&= \frac{\pi}{2}

\end{align}$$

which is independent of $z$ (if $z$ is purely real)! In the general case, however, compute the residues of the poles that are in the upper half plane, to be determined by the value of $z$.

- Closed Form for Factorial Sum
- Propositional Calculus and “Lazy evaluation”?
- Show that $p \Rightarrow (\neg(q \land \neg p))$ is a tautology
- Proving all primes are 1 or -1 modulo 6
- Relationship of aspect ratio to the homography matrices between a rectangle and an arbitrary quadrilateral
- Does there exists a continuous surjection from $\mathbb{R}$ to $\mathbb{R}^2$?
- $\mathbb{R}^3$ \ $\mathbb{Q}^3$ is union of disjoint lines. The lines are not in an axis diretion.
- Looking for a simple problem for math demonstration
- Evaluation of $ \sum_{k=0}^n \cos k\theta $
- $(\mathbb{Q},+)$ has no maximal subgroups
- Improper integrals with singularities on the REAL AXIS (Complex Variable)
- How many sequences of $n$ tosses of a coin that do not contain two consecutive heads have tails as the first toss?
- How to solve $ \int_0^{\pi} \sin{2x}\sin{x} dx $?
- When are $((C_2 \times C_2) \rtimes C_3) \rtimes C_2$ and $((C_2 \times C_2) \rtimes C_2) \rtimes C_3$ isomorphic?
- Finite set of zero-divisors implies finite ring