Gabriel's Horn

Gabriel's horn (also called Torricelli's trumpet) is a particular geometric figure that has infinite surface area but finite volume. The name refers to the Christian tradition that identifies 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.

3D illustration of Gabriel's horn.

Mathematical definition

Graph of

y={1}/{x}

.

Gabriel's horn is formed by taking the graph of

y={\frac {1}{x}},

with the domain $x\geq 1$ 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).

The value $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 does gradually draw nearer to $π$ as $a$ increases. 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 a paradox. 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.

Another approach is to treat the horn as a stack of disks with diminishing radii. The sum of the radii produces a harmonic series that goes to infinity. However, the correct calculation is the sum of their squares. Every disk has a radius $r = .mw-parser-output .sr-only{border:0;clip:rect(0,0,0,0);height:1px;margin:-1px;overflow:hidden;padding:0;position:absolute;width:1px;white-space:nowrap} 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]

There is a similar phenomenon which applies to lengths and areas in the plane. The area between the curves $1 / x 2$ and $-1 / x 2$ from 1 to infinity is finite, but the lengths of the two curves are clearly infinite.

Painter's paradox

Since the horn has finite volume but infinite surface area, there is an apparent paradox that the horn could be filled with a finite quantity of paint and yet that paint would not be sufficient to coat its inner surface. The paradox is resolved by realizing that a finite amount of paint can in fact coat an infinite surface area — it simply needs to get thinner at a fast enough rate (much like the series 1/2^N gets smaller fast enough that its sum is finite). In the case where the horn is filled with paint, this thinning is accomplished by the increasing reduction in diameter of the throat of the horn.

Converse

The converse of Gabriel's horn—a surface of revolution that has a finite surface area but an infinite volume—cannot occur when revolving a continuous function on a closed set:

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, 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, 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.

External links

Torricelli's trumpet at PlanetMath
Weisstein, Eric W. "Gabriel's Horn". MathWorld.
"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. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.

[1] Havil, Julian (2007). Nonplussed!: mathematical proof of implausible ideas. Princeton University Press. pp. 82–91. ISBN 0-691-12056-0.

Calculus
Precalculus	Binomial theorem Concave function Continuous function Factorial Finite difference Free variables and bound variables Graph of a function Linear function Radian Rolle's theorem Secant Slope Tangent
Limits	Indeterminate form Limit of a function One-sided limit Limit of a sequence Order of approximation (ε, δ)-definition of limit
Differential calculus	Derivative Differential Differential equation Differential operator Mean value theorem Notation Leibniz's notation Newton's notation Rules of differentiation linearity Power Sum Chain L'Hôpital's Product General Leibniz's rule Quotient Other techniques Implicit differentiation Inverse functions and differentiation Logarithmic derivative Related rates Stationary points First derivative test Second derivative test Extreme value theorem Maxima and minima Further applications Newton's method Taylor's theorem
Integral calculus	Antiderivative Arc length Basic properties Constant of integration Differentiation under the integral sign Fundamental theorem of calculus Differentiating under the integral sign Integration by parts Integration by substitution trigonometric Euler Weierstrass Partial fractions in integration Quadratic integral Trapezoidal rule Volumes Washer method Shell method
Vector calculus	Derivatives Curl Directional derivative Divergence Gradient Laplacian Basic theorems Line integrals Green's Stokes' Gauss'
Multivariable calculus	Divergence theorem Geometric Hessian matrix Jacobian matrix and determinant Lagrange multiplier Line integral Matrix Multiple integral Partial derivative Surface integral Volume integral Advanced topics Differential forms Exterior derivative Generalized Stokes' Theorem Tensor calculus
Sequences and series	Arithmetico–geometric sequence Types of series Alternating Binomial Fourier Geometric Harmonic Infinite Power Maclaurin Taylor Telescoping Tests of convergence Abel's Alternating series Cauchy condensation Direct comparison Dirichlet's Integral Limit comparison Ratio Root Term
Special functions and numbers	Bernoulli numbers e (mathematical constant) Exponential function Natural logarithm Stirling's approximation
History of calculus	Adequality Brook Taylor Colin Maclaurin Generality of algebra Gottfried Wilhelm Leibniz Infinitesimal Infinitesimal calculus Isaac Newton Fluxion Law of Continuity Leonhard Euler Method of Fluxions The Method of Mechanical Theorems
Lists	Differentiation rules List of integrals of exponential functions List of integrals of hyperbolic functions List of integrals of inverse hyperbolic functions List of integrals of inverse trigonometric functions List of integrals of irrational functions List of integrals of logarithmic functions List of integrals of rational functions List of integrals of trigonometric functions Secant Secant cubed List of limits Lists of integrals
Miscellaneous topics	Differential geometry curvature of curves of surfaces Euler–Maclaurin formula Gabriel's Horn Integration Bee Proof that 22/7 exceeds π Regiomontanus' angle maximization problem Steinmetz solid