The following was a puzzle presented to Marshwood GT students on March 15, 2019. Have fun doing math!
Solve the following integral:
$$\int_{-\infty}^\infty e^{-x^2}dx$$To be clear, you are being asked to find the area under the following curve from \(x=-\infty\) to \(x=+\infty\):
Part 0: Integrals containing limits like \(x=\pm\infty\) are called "improper integrals." When we have an integral from \(x=-\infty\) to \(x=\infty\), we usually split it into two integrals by considering the left-hand side, from \(x=-\infty\) to \(x=0\) and the right-hand side, from \(x=0\) to \(x=\infty\), separately:
$$\int_{-\infty}^\infty e^{-x^2}dx=\int_{-\infty}^0 e^{-x^2}dx+\int_0^\infty e^{-x^2}dx$$Then, to solve each integral, we replace the \(-\infty\) or \(\infty\) with a limit. For example:
$$\int_0^\infty e^{-x^2}dx=\lim_{b\to \infty} \int_0^b e^{-x^2}dx$$In other words, this expression takes the limit of the area under \(y=e^{-x^2}\) from \(x=0\) to \(x=b\) as \(b\) goes to \(+\infty\). This is what I really mean when I say "the area under the curve from \(x=0\) to \(x=\infty\)."
Now, here is an example of an improper integral with another function:
$$\int_{0}^\infty \frac{dx}{1+x^2}=\lim_{b\to \infty} \int_0^b \frac{dx}{1+x^2}=\lim_{b\to\infty} \tan^{-1}(b)-\tan^{-1}(0)=\lim_{b\to\infty} \tan^{-1}(b)=\frac{\pi}{2}$$This is a lot to take in, so make sure you understand these concepts and the example problem before moving on.
Part 0.1: Try to find the indefinite integral, or antiderivative:
$$\int e^{-x^2}dx$$Click here when you give up.
Some antiderivatives are what we call nonelementary, which basically means that there is no way to express these antiderivatives in terms of the algebraic, exponential, logarithmic, and trigonometric functions that you learn about in high school. Therefore, for an AP Calc student, this antiderivative is impossible to solve using the functions you have learned so far!Part 1: Unlike in most AP Calc problems, instead of solving the indefinite integral and then plugging in the limits, we're going to solve this area problem by first solving a volume problem. Consider the volume under the below surface:
$$f(x,y)=e^{-(x^2+y^2)}$$One way to solve for this volume is through cross-sections. Let's look at the cross-section of this surface at \(y=1\):
The integral for this cross-section is \(\int_{-\infty}^\infty e^{-x^2+1}dx\). Now, here's the cross-section at \(y=2\):
Similarly, the integral for this cross-section is \(\int_{-\infty}^\infty e^{-x^2+4}dx\). Based off the above two examples, write the formula for the area of the cross-section at \(y=y_0\).
Part 2: As you likely have learned in your AP Calc class, if a solid has cross section with area \(f(y_0)\) at \(y=y_0\), and the solid goes from \(y=a\) to \(y=b\), then the volume of the solid is:
$$\int_a^b f(y)dy$$Using this knowledge and your answer from Part 1, find a formula for the volume under the surface \(e^{-(x^2+y^2)}\).
Part 3: Using the fact that you can factor constants out of integrals, show that the volume formula found in Part 2 is equivalent to:
$$\int_{-\infty}^\infty e^{-y^2} \left(\int_{-\infty}^\infty e^{-x^2}dx\right)dy=\left(\int_{-\infty}^\infty e^{-x^2}dx\right)^2$$Part 4: At this point, we have shown that the volume under the surface \(e^{-x^2+y^2}\) is numerically equal to the square of the area under the curve \(e^{-x^2}\), which helps us connect our original area problem to the volume problem posed in Part 1. However, if we use cross-sections, we still need to solve the really hard integral \(\int_{-\infty}^\infty e^{-x^2}dx\) before we can find the volume, which doesn't really help us.
Luckily, another way to solve for this volume is through volume of revolutions. If we rotate \(y=e^{-x^2}\) around the y-axis, then we get the surface \(f(x,y)=e^{-(x^2+y^2)}\):
Using shell method, solve for this volume of revolution.
Part 5: Now, from Part 3, we have:
$$V=\left(\int_{-\infty}^\infty e^{-x^2}dx\right)^2$$where \(V\) is the volume under the surface \(e^{-(x^2+y^2)}\). Finally, using your value of \(V\) from Part 4, solve for \(\int_{-\infty}^\infty e^{-x^2}dx\).