Gabriel's Horn

3D illustration of Gabriel's horn.

Gabriel's horn (also called Torricelli's trumpet) is a geometric figure which has infinite surface area but finite volume. The name refers to the tradition identifying the Archangel Gabriel as the angel who blows the horn to announce Judgment Day, associating the divine, or infinite, with the finite. The properties of this figure were first studied by Italian physicist and mathematician Evangelista Torricelli in the 17th century.

Mathematical definition

Graph of

x\mapsto {\tfrac {1}{x}}

Gabriel's horn is formed by taking the graph of

x\mapsto {\frac {1}{x}},

with the domain $x > 1$ (thus avoiding the asymptote at $x = 0$ ) and rotating it in three dimensions about the $x$ -axis. The discovery was made using Cavalieri's principle before the invention of calculus, but today calculus can be used to calculate the volume and surface area of the horn between $x = 1$ and $x = a$ , where $a > 1$ . Using integration (see Solid of revolution and Surface of revolution for details), it is possible to find the volume $V$ and the surface area $A$ :

V=\pi \int \limits _{1}^{a}\left({\frac {1}{x}}\right)^{2}\mathrm {d} x=\pi \left(1-{\frac {1}{a}}\right)

A=2\pi \int \limits _{1}^{a}{\frac {1}{x}}{\sqrt {1+\left(-{\frac {1}{x^{2}}}\right)^{2}}}\mathrm {d} x>2\pi \int \limits _{1}^{a}{\frac {\mathrm {d} x}{x}}=2\pi \ln(a).

$a$ can be as large as required, but it can be seen from the equation that the volume of the part of the horn between $x = 1$ and $x = a$ will never exceed $π$ ; however, it will get closer and closer to $π$ as $a$ becomes larger. Mathematically, the volume approaches $π$ as $a$ approaches infinity. Using the limit notation of calculus:

\lim _{a\to \infty }V=\lim _{a\to \infty }\pi \left(1-{\frac {1}{a}}\right)=\pi \cdot \lim _{a\to \infty }\left(1-{\frac {1}{a}}\right)=\pi .

The surface area formula above gives a lower bound for the area as 2 $π$ times the natural logarithm of $a$ . There is no upper bound for the natural logarithm of $a$ as $a$ approaches infinity. That means, in this case, that the horn has an infinite surface area. That is to say;

\lim _{a\to \infty }A\geq \lim _{a\to \infty }2\pi \ln(a)=\infty .

Apparent paradox

When the properties of Gabriel's horn were discovered, the fact that the rotation of an infinitely large section of the $xy$ -plane about the $x$ -axis generates an object of finite volume was considered paradoxical.

Actually, while the section lying in the $xy$ -plane has an infinite area, any other section parallel to it has a finite area. Thus the volume, being calculated from the 'weighted sum' of sections, is finite.

A perhaps more convincing approach is to treat the horn as a stack of disks with diminishing radii. As their shape is identical, one is tempted to calculate just the sum of radii, which produces the harmonic series that goes to infinity. A more careful consideration shows that one should calculate the sum of their squares. Every disk has a radius $r = 1 / x$ and an area $π r 2$ or $π / x 2$ . The series $1 / x$ diverges but $1 / x 2$ converges. In general, for any real $ε > 0$ , $1 / x 1+ ε$ converges.

The apparent paradox formed part of a dispute over the nature of infinity involving many of the key thinkers of the time including Thomas Hobbes, John Wallis and Galileo Galilei.^[1]

Painter's paradox

Since the horn has finite volume but infinite surface area, it seems that it could be filled with a finite quantity of paint, and yet that paint would not be sufficient to coat its inner surface – an apparent paradox. In fact, in a theoretical mathematical sense, a finite amount of paint can coat an infinite area, provided the thickness of the coat becomes vanishingly small "quickly enough" to compensate for the ever-expanding area, which in this case is forced to happen to an inner-surface coat as the horn narrows. However, to coat the outer surface of the horn with a constant thickness of paint, no matter how thin, would require an infinite amount of paint.^[2]

Of course, in reality, paint is not infinitely divisible, and at some point the horn would become too narrow for even one molecule to pass. But the horn too is made up of molecules and so its surface is not a continuous smooth curve, and so the whole argument falls away when we bring the horn into the realm of physical space, which is made up of discrete particles and distances. We talk therefore of an ideal paint in a world where limits do smoothly tend to zero well below atomic and quantum sizes: the world of the continuous space of mathematics.

Converse

The converse phenomenon of Gabriel's horn – a surface of revolution that has a finite surface area but an infinite volume – cannot occur:

Theorem

Let $f : [1,\infty) \to [0,\infty)$ be a continuously differentiable function. Write $S$ for the solid of revolution of the graph $y = f (x)$ about the $x$ -axis. If the surface area of $S$ is finite, then so is the volume.

Proof

Since the lateral surface area $A$ is finite, note the limit superior:

{\begin{aligned}\lim _{t\to \infty }\sup _{x\geq t}f(x)^{2}~-~f(1)^{2}&=\limsup _{t\to \infty }\int \limits _{1}^{t}\left(f(x)^{2}\right)'\mathrm {d} x\\&\leq \int \limits _{1}^{\infty }\left|\left(f(x)^{2}\right)'\right|\mathrm {d} x=\int \limits _{1}^{\infty }2f(x)\left|f'(x)\right|\mathrm {d} x\\&\leq \int \limits _{1}^{\infty }2f(x){\sqrt {1+f'(x)^{2}}}\mathrm {d} x={\frac {A}{\pi }}\\&<\infty .\end{aligned}}

Therefore, there exists a $t 0$ such that the supremum $sup{f (x) | x \geq t 0$ } is finite. Hence,

M = sup{f (x) | x \geq 1

} must be finite since

f

is a continuous function, which implies that

f

is bounded on the interval

[1,\infty)

Finally, note that the volume:

{\begin{aligned}V&=\int \limits _{1}^{\infty }f(x)\cdot \pi f(x)\mathrm {d} x\\&\leq \int \limits _{1}^{\infty }{\frac {M}{2}}\cdot 2\pi f(x)\mathrm {d} x\\&\leq {\frac {M}{2}}\cdot \int \limits _{1}^{\infty }2\pi f(x){\sqrt {1+f'(x)^{2}}}\mathrm {d} x={\frac {M}{2}}\cdot A.\end{aligned}}

Therefore: if the area $A$ is finite, then the volume $V$ must also be finite.

References

↑ Havil, Julian (2007). Nonplussed!: mathematical proof of implausible ideas. Princeton University Press. pp. 82–91. ISBN 0-691-12056-0.
↑ Clegg, Brian (2003). Infinity: The Quest to Think the Unthinkable. Robinson (Constable & Robinson Ltd). pp. 239–242. ISBN 978-1-84119-650-3.

External links

"Gabriel's Horn" by John Snyder, the Wolfram Demonstrations Project, 2007.
Gabriel's Horn: An Understanding of a Solid with Finite Volume and Infinite Surface Area by Jean S. Joseph.

This article is issued from Wikipedia - version of the 11/15/2016. The text is available under the Creative Commons Attribution/Share Alike but additional terms may apply for the media files.