Intereting Posts

Can you determine a formula for this problem?
How to evaluate integral using complex analysis
Vector dimension of a set of functions
Software for some universal algebra issues
Limit of $\int_E f(nx) dx$ for a $1$-periodic function $f$ on $$
Why do we accept Kuratowski's definition of ordered pairs?
How to compute SVD (Singular Value Decomposition) of a symmetric matrix
the Levi-Civita connection on a product of Riemannian manifolds
Polynomial rings in an arbitrary set of indeterminates
Is the value of $\pi$ in 2d the same in 3d?
Fun Geometric Series Puzzle
Understanding matrices as linear transformations & Relationship with Gaussian Elimination and Bézout's Identity
Hamiltonian for Geodesic Flow
Find the eigenvalues of a projection operator
Can we found mathematics without evaluation or membership?

There is a well-known trick for integrating $\int_{-\infty}^\infty e^{-x^2}\mathrm dx$, which is to write it as $\sqrt{\int_{-\infty}^\infty e^{-x^2}\mathrm dx\int_{-\infty}^\infty e^{-y^2}\mathrm dy}$, which can then be reexpressed in polar coordinates as an easy integral. Is this trick a one-hit wonder, or are there other cases where this trick works and is also necessary? It seems to depend on the defining property of the exponential function that $f(a+b)=f(a)f(b)$, which would make me think that it would only allow fairly trivial generalizations, e.g., to $\int_{-\infty}^\infty 7^{-x^2}\mathrm dx$ or $\int_{-\infty}^\infty a^{bx^2+cx+d}\mathrm dx$.

Can it be adapted through rotation in the complex plane to do integrals like $\int_{-\infty}^\infty \sin(x^2)\mathrm dx$? Here I find myself confused by trying to simultaneously visualize both the complex plane and the $(x,y)$ plane.

WP http://en.wikipedia.org/wiki/Gaussian_integral discusses integrals that have a similar form and seem to require different methods, but I’d be more interested in integrals that have different forms but can be conquered by the same trick.

- How to determine with certainty that a function has no elementary antiderivative?
- A multiple integral question
- A theorem about Cesàro mean, related to Stolz-Cesàro theorem
- Improper integral: $\int_1^{+\infty}\frac{\mathrm dx}{x(x+1)(x+2)\cdots(x+n)}$
- Calculus Integral from Partial Fractions
- Prove that $f$ continuous and $\int_a^\infty |f(x)|\;dx$ finite imply $\lim\limits_{ x \to \infty } f(x)=0$

The trick involves expanding from 1 dimension to 2. Is there a useful generalization where you expand from $m$ dimensions to $n$?

This is not homework.

- Finding the derivative of $x^x$
- On $\int_0^1\arctan\,_6F_5\left(\frac17,\frac27,\frac37,\frac47,\frac57,\frac67;\,\frac26,\frac36,\frac46,\frac56,\frac76;\frac{n}{6^6}\,x\right)\,dx$
- Single Variable Calculus Reference Recommendations
- Prove that $\sum_{k=2}^{\infty} \frac{k^s}{k^{2s}-1}> \frac{3\sqrt{3}}{2}(\zeta(2s)-1),\space s>1$
- How do I prove that $\int_0^1 \int_0^1 {{2+x^2-y^2}\over {2-x^2-y^2}} \, dx \, dy=2G?$
- “Pseudo-Cauchy” sequences: are they also Cauchy?
- Mean value theorem for the second derivative, when the first derivative is zero at endpoints
- Evaluation of $\int_0^1 \frac{\log^2(1+x)}{x} \ dx$
- Solve this integral:$\int_0^\infty\frac{\arctan x}{x(x^2+1)}\mathrm dx$
- Find the derivative of the inverse of this real function $f(x) = 2x + \cos(x)$

I would like to answer to your question about Fresnel integral as I did this in my undergraduate studies. So, let us consider the integrals

$$S_1=\int_{-\infty}^\infty dx\sin(x^2) \qquad C_1=\int_{-\infty}^\infty dx\cos(x^2).$$

We want to apply the same technique used for Gauss integral in this case and consider the two-dimensional integrals

$$S_2=\int_{-\infty}^\infty\int_{-\infty}^\infty dxdy\sin(x^2+y^2) \qquad C_2=\int_{-\infty}^\infty\int_{-\infty}^\infty dxdy\cos(x^2+y^2).$$

If you go to polar coordinates, these integrals doe not converge. So, we introduce a convergence factor in the following way

$$S_2(\epsilon)=\int_{-\infty}^\infty\int_{-\infty}^\infty dxdy e^{-\epsilon(x^2+y^2)}\sin(x^2+y^2)$$

$$C_2(\epsilon)=\int_{-\infty}^\infty\int_{-\infty}^\infty dxdy e^{-\epsilon(x^2+y^2)}\cos(x^2+y^2).$$

Then one has, moving to polar coordinates,

$$S_2(\epsilon)=2\pi\int_0^\infty \rho d\rho e^{-\epsilon\rho^2}\sin(\rho^2) \qquad C_2(\epsilon)=2\pi\int_0^\infty \rho d\rho e^{-\epsilon\rho^2}\cos(\rho^2)$$

that is

$$S_2(\epsilon)=\pi\int_0^\infty dx e^{-\epsilon x}\sin(x) \qquad C_2(\epsilon)=\pi\int_0^\infty dx e^{-\epsilon x}\cos(x).$$

These integrals are well known and give

$$S_2(\epsilon)=\frac{\pi}{1+\epsilon^2} \qquad C_2(\epsilon)=\frac{\epsilon\pi}{1+\epsilon^2}$$

noting that integration variables are dummy. Now, in this case one can take the limit for $\epsilon\rightarrow 0$ producing

$$S_2=\int_{-\infty}^\infty\int_{-\infty}^\infty dxdy\sin(x^2+y^2)=\pi \qquad C_2=\int_{-\infty}^\infty\int_{-\infty}^\infty dxdy\cos(x^2+y^2)=0$$

By applying simple trigonometric formulas you will get back the value of the Fresnel integrals. But now, as a bonus, you have got the value of these integrals in two dimensions.

Robert Dawson wrote about the limitations of this method in this article in the American Mathematical Monthly.

The distance metric that we use is quadratic in nature. No matter what dimensional $\mathbb{R}^n$ we are working in, the distance between two points is given by $r^2=\sum(\Delta x_i)^2$. It’s the ability to swap out $\sum(\Delta x_i)^2$ with $r^2$ that helps compute $\int_{-\infty}^{\infty}e^{-x^2}\,dx$. No higher dimensional space will make this particular exchange any nicer. So this helps explain why the property you mention ($f(x^2)f(y^2)=f(x^2+y^2)$) is important.

On the other hand, what happens here is an exchange between Cartesian coordinates for $\mathbb{R}^2$ and polar coordinates. So could we do something similar in $\mathbb{R}^3$ with spherical coordinates?

$$\left(\int_{\mathbb{R}}f(x)\,dx\right)^3=\iiint_{\mathbb{R}^3} f(x)f(y)f(z)\,dxdydz=\iiint_{\mathbb{R}^3} F(\rho,\theta,\varphi)\,d\rho d\theta d\varphi$$

If $F$ breaks up as $g(\rho)h(\theta)k(\varphi)$, then you might have a slick way to compute $\int_{\mathbb{R}}f(x)\,dx$.

To answer the question in the first paragraph: Yes the exact same trick works for both $\int_{-\infty}^\infty 7^{-x^2}dx$ and $\int_{-\infty}^\infty a^{bx^2+cx+d}dx$, provided $b<0$. (The second generalizes the first, so we need only consider it). First, complete the square for the quadratic, and write $$bx^2+cx+d=b\left(x^2+\frac{c}{b}x+\frac{d}{b}\right)=b\left(x+\frac{c}{2b}\right)^2-\frac{c}{4b}+d.$$ Then our integral is $$a^{d-\frac{c}{4b}} \int_{-\infty}^\infty e^{\log(a)b\left(x+\frac{c}{2b}\right)^2}dx.$$ Since we are integrating over the real line, we may shift by $\frac{c}{2b}$ and then let $u=\sqrt{-b\log a}x$ (remember, $b<0$) to get $$a^{d-\frac{c}{4b}} \int_{-\infty}^\infty e^{\log(a)bx^2}dx=\frac{a^{d-\frac{c}{4b}}}{\sqrt{-b\log a}} \int_{-\infty}^\infty e^{-u^2}dx$$

$$=\frac{a^{d-\frac{c}{4b}}}{\sqrt{-b\log a}}\sqrt{\pi}.$$

Another example: If

$$I = \int_{-\infty}^{\infty} x^4 e^{-ax^2} dx$$

then

$$I^2 = \int_{-\infty}^{\infty} x^4 e^{-ax^2} dx \ \cdot \int_{-\infty}^{\infty} y^4 e^{-ay^2} dx = \int\int_{\mathbb R^2} (xy)^4 e^{-a(x^2 + y^2)} dx \ dy$$

Moving to polar coordinates,

$$I^2 = \int_0^{2\pi} \int_0^\infty r^8 \cos^4\theta\sin^4\theta e^{-ar^2} r \ dr \ d\theta = \int_0^\infty r^9e^{-ar^2} \ dr \ \cdot \ \int_0^{2\pi} \left(\frac{1}{2}\sin2\theta\right)^4 \ d\theta$$

With substitution $u = r^2$, the first integral is $\frac{4!}{2a^5}$. As $\sin^4 2\theta = \frac{1}{8} ( -4\cos4\theta + \cos 8\theta + 3)$, in the second integral the first two terms vanish over the domain of integration $[0,2\pi]$ and

$$I^2 = \frac{4!}{2a^5} \cdot \frac{1}{2^4} \frac{3}{8} 2\pi = \frac{9\pi}{16a^5}$$

Hence, as $I$ is positive,

$$I = \frac{3\sqrt \pi}{4a^{5/2}}$$

Returning to the OP,

Is this trick a one-hit wonder, or are there other cases where this trick works and is also necessary?

this integral can be evaluated other ways. But I thought it was a nice extension of this method.

- If square waves are square integrable, why doesn't fourier expanding work?
- Show that $f(x)=1/ x$ is continuous at any $c\neq 0$
- Trying to prove (A ∩ B) − C = (A − C) ∩ (B − C)
- How prove this inequality $\sum\limits_{cyc}\frac{x^2}{(2x+y)(2x+z)}\le\frac{1}{3}$
- Fourier transform of $f(x)=\frac{1}{e^x+e^{-x}+2}$
- Cauchy-Riemann equations in polar form.
- Why do we want TWO open sets from the inverse function theorem?
- Euler's Constant: The asymptotic behavior of $\left(\sum\limits_{j=1}^{N} \frac{1}{j}\right) – \log(N)$
- Can a collection of points be recovered from its multiset of distances?
- The motivation of weak topology in the definition of CW complex
- Commutativity of iterated limits
- Sum of nil right ideals
- An example of the spectrum functor
- Prove that subsequence converges to limsup
- Is Morera's theorem the inverse theorem of Goursat's theorem?