Schwarz lantern

From HandWiki
Revision as of 22:34, 6 February 2024 by Dennis Ross (talk | contribs) (update)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Short description: Near-cylindrical polyhedron with large area


Schwarz lantern on display in the German Museum of Technology, Berlin

In mathematics, the Schwarz lantern is a polyhedral approximation to a cylinder, used as a pathological example of the difficulty of defining the area of a smooth (curved) surface as the limit of the areas of polyhedra. It is formed by stacked rings of isosceles triangles, arranged within each ring in the same pattern as an antiprism. The resulting shape can be folded from paper, and is named after mathematician Hermann Schwarz and for its resemblance to a cylindrical paper lantern.[1] It is also known as Schwarz's boot,[2] Schwarz's polyhedron,[3] or the Chinese lantern.[4]

As Schwarz showed, for the surface area of a polyhedron to converge to the surface area of a curved surface, it is not sufficient to simply increase the number of rings and the number of isosceles triangles per ring. Depending on the relation of the number of rings to the number of triangles per ring, the area of the lantern can converge to the area of the cylinder, to a limit arbitrarily larger than the area of the cylinder, or to infinity—in other words, the area can diverge. The Schwarz lantern demonstrates that sampling a curved surface by close-together points and connecting them by small triangles is inadequate to ensure an accurate approximation of area, in contrast to the accurate approximation of arc length by inscribed polygonal chains.

The phenomenon that closely sampled points can lead to inaccurate approximations of area has been called the Schwarz paradox.[5][6] The Schwarz lantern is an instructive example in calculus and highlights the need for care when choosing a triangulation for applications in computer graphics and the finite element method.

History and motivation

The staircase paradox: polygonal chains of length [math]\displaystyle{ 2 }[/math] converge in distance to a diagonal segment of length [math]\displaystyle{ \sqrt 2 }[/math], without converging to the same length.

Archimedes approximated the circumference of circles by the lengths of inscribed or circumscribed regular polygons.[7][8] More generally, the length of any smooth or rectifiable curve can be defined as the supremum of the lengths of polygonal chains inscribed in them.[1] However, for this to work correctly, the vertices of the polygonal chains must lie on the given curve, rather than merely near it. Otherwise, in a counterexample sometimes known as the staircase paradox, polygonal chains of vertical and horizontal line segments of total length [math]\displaystyle{ 2 }[/math] can lie arbitrarily close to a diagonal line segment of length [math]\displaystyle{ \sqrt 2 }[/math], converging in distance to the diagonal segment but not converging to the same length. The Schwarz lantern provides a counterexample for surface area rather than length,[9] and shows that for area, requiring vertices to lie on the approximated surface is not enough to ensure an accurate approximation.[1]

Hermann Schwarz

German mathematician Hermann Schwarz (1843–1921) devised his construction in the late 19th century[lower-alpha 1] as a counterexample to the erroneous definition in J. A. Serret's 1868 book Cours de calcul differentiel et integral,[12] which incorrectly states that:

Soit une portion de surface courbe terminée par un contour [math]\displaystyle{ C }[/math]; nous nommerons aire de cette surface la limite [math]\displaystyle{ S }[/math] vers laquelle tend l'aire d'une surface polyédrale inscrite formée de faces triangulaires et terminee par un contour polygonal [math]\displaystyle{ \Gamma }[/math] ayant pour limite le contour [math]\displaystyle{ C }[/math].

Il faut démontrer que la limite [math]\displaystyle{ S }[/math] existe et qu'elle est indépendante de la loi suivant laquelle décroissent les faces de la surface polyedrale inscrite.

Let a portion of curved surface be bounded by a contour [math]\displaystyle{ C }[/math]; we will define the area of this surface to be the limit [math]\displaystyle{ S }[/math] tended towards by the area of an inscribed polyhedral surface formed from triangular faces and bounded by a polygonal contour [math]\displaystyle{ \Gamma }[/math] whose limit is the contour [math]\displaystyle{ C }[/math].

It must be shown that the limit [math]\displaystyle{ S }[/math] exists and that it is independent of the law according to which the faces of the inscribed polyhedral surface shrink.

Independently of Schwarz, Giuseppe Peano found the same counterexample.[10] At the time, Peano was a student of Angelo Genocchi, who, from communication with Schwarz, already knew about the difficulty of defining surface area. Genocchi informed Charles Hermite, who had been using Serret's erroneous definition in his course. Hermite asked Schwarz for details, revised his course, and published the example in the second edition of his lecture notes (1883).[11] The original note from Schwarz to Hermite was not published until the second edition of Schwarz's collected works in 1890.[13][14]

An instructive example of the value of careful definitions in calculus,[5] the Schwarz lantern also highlights the need for care in choosing a triangulation for applications in computer graphics and for the finite element method for scientific and engineering simulations.[6][15] In computer graphics, scenes are often described by triangulated surfaces, and accurate rendering of the illumination of those surfaces depends on the direction of the surface normals. A poor choice of triangulation, as in the Schwarz lantern, can produce an accordion-like surface whose normals are far from the normals of the approximated surface, and the closely-spaced sharp folds of this surface can also cause problems with aliasing.[6]

The failure of Schwarz lanterns to converge to the cylinder's area only happens when they include highly obtuse triangles, with angles close to 180°. In restricted classes of Schwarz lanterns using angles bounded away from 180°, the area converges to the same area as the cylinder as the number of triangles grows to infinity. The finite element method, in its most basic form, approximates a smooth function (often, the solution to a physical simulation problem in science or engineering) by a piecewise-linear function on a triangulation. The Schwarz lantern's example shows that, even for simple functions such as the height of a cylinder above a plane through its axis, and even when the function values are calculated accurately at the triangulation vertices, a triangulation with angles close to 180° can produce highly inaccurate simulation results. This motivates mesh generation methods for which all angles are bounded away from 180°, such as nonobtuse meshes.[15]

Construction

Antiprism based on a regular 17-gon. Omitting the two 17-gon faces produces a Schwarz lantern with parameters [math]\displaystyle{ m=1 }[/math] and [math]\displaystyle{ n=17 }[/math]. Other Schwarz lanterns with [math]\displaystyle{ n=17 }[/math] can be obtained by stacking [math]\displaystyle{ m }[/math] copies of this antiprism.

The discrete polyhedral approximation considered by Schwarz can be described by two parameters: [math]\displaystyle{ m }[/math], the number of rings of triangles in the Schwarz lantern; and [math]\displaystyle{ n }[/math], half of the number of triangles per ring.[16][lower-alpha 2] For a single ring ([math]\displaystyle{ m=1 }[/math]), the resulting surface consists of the triangular faces of an antiprism of order [math]\displaystyle{ n }[/math]. For larger values of [math]\displaystyle{ m }[/math], the Schwarz lantern is formed by stacking [math]\displaystyle{ m }[/math] of these antiprisms.[6] To construct a Schwarz lantern that approximates a given right circular cylinder, the cylinder is sliced by parallel planes into [math]\displaystyle{ m }[/math] congruent cylindrical rings. These rings have [math]\displaystyle{ m+1 }[/math] circular boundaries—two at the ends of the given cylinder, and [math]\displaystyle{ m-1 }[/math] more where it was sliced. In each circle, [math]\displaystyle{ n }[/math] vertices of the Schwarz lantern are spaced equally, forming a regular polygon. These polygons are rotated by an angle of [math]\displaystyle{ \pi/n }[/math] from one circle to the next, so that each edge from a regular polygon and the nearest vertex on the next circle form the base and apex of an isosceles triangle. These triangles meet edge-to-edge to form the Schwarz lantern, a polyhedral surface that is topologically equivalent to the cylinder.[16]

Origami crease pattern for a Schwarz lantern with [math]\displaystyle{ m=16 }[/math] and [math]\displaystyle{ n=4 }[/math]
Detail of a boot from the painting Saint Florian (1473) by Francesco del Cossa, showing Yoshimura buckling

Ignoring top and bottom vertices, each vertex touches two apex angles and four base angles of congruent isosceles triangles, just as it would in a tessellation of the plane by triangles of the same shape. As a consequence, the Schwarz lantern can be folded from a flat piece of paper, with this tessellation as its crease pattern.[18] This crease pattern has been called the Yoshimura pattern,[19] after the work of Y. Yoshimura on the Yoshimura buckling pattern of cylindrical surfaces under axial compression, which can be similar in shape to the Schwarz lantern.[20]

Area

The area of the Schwarz lantern, for any cylinder and any particular choice of the parameters [math]\displaystyle{ m }[/math] and [math]\displaystyle{ n }[/math], can be calculated by a straightforward application of trigonometry. A cylinder of radius [math]\displaystyle{ r }[/math] and length [math]\displaystyle{ \ell }[/math] has area [math]\displaystyle{ 2\pi r\ell }[/math]. For a Schwarz lantern with parameters [math]\displaystyle{ m }[/math] and [math]\displaystyle{ n }[/math], each band is a shorter cylinder of length [math]\displaystyle{ \ell/m }[/math], approximated by [math]\displaystyle{ 2n }[/math] isosceles triangles. The length of the base of each triangle can be found from the formula for the edge length of a regular [math]\displaystyle{ n }[/math]-gon, namely[16] [math]\displaystyle{ 2r\sin\frac{\pi}{n}. }[/math] The height [math]\displaystyle{ h }[/math] of each triangle can be found by applying the Pythagorean theorem to a right triangle formed by the apex of the triangle, the midpoint of the base, and the midpoint of the arc of the circle bounded by the endpoints of the base. The two sides of this right triangle are the length [math]\displaystyle{ \ell/m }[/math] of the cylindrical band, and the sagitta of the arc,[lower-alpha 3] giving the formula[16] [math]\displaystyle{ h^2 = \left(\frac{\ell}{m}\right)^2+\left(r\left(1-\cos\frac{\pi}{n}\right)\right)^2. }[/math] Combining the formula for the area of each triangle from its base and height, and the total number [math]\displaystyle{ 2mn }[/math] of the triangles, gives the Schwarz lantern a total area of[16] [math]\displaystyle{ A(m,n)=2mn\left(r\sin\frac{\pi}{n}\right) \sqrt{\left(\frac{\ell}{m}\right)^2+r^2\left(1-\cos\frac{\pi}{n}\right)^2}. }[/math]

Limits

Animation of Schwarz-lantern convergence (or lack thereof) for various relations between its two parameters

The Schwarz lanterns, for large values of both parameters, converge uniformly to the cylinder that they approximate.[21] However, because there are two free parameters [math]\displaystyle{ m }[/math] and [math]\displaystyle{ n }[/math], the limiting area of the Schwarz lantern, as both [math]\displaystyle{ m }[/math] and [math]\displaystyle{ n }[/math] become arbitrarily large, can be evaluated in different orders, with different results. If [math]\displaystyle{ m }[/math] is fixed while [math]\displaystyle{ n }[/math] grows, and the resulting limit is then evaluated for arbitrarily large choices of [math]\displaystyle{ m }[/math], one obtains[16] [math]\displaystyle{ \lim_{m\to\infty} \lim_{n\to\infty} A(m,n)=2\pi r\ell, }[/math] the correct area for the cylinder. In this case, the inner limit already converges to the same value, and the outer limit is superfluous. Geometrically, substituting each cylindrical band by a band of very sharp isosceles triangles accurately approximates its area.[16]

On the other hand, reversing the ordering of the limits gives[16] [math]\displaystyle{ \lim_{n\to\infty} \lim_{m\to\infty} A(m,n)=\infty. }[/math] In this case, for a fixed choice of [math]\displaystyle{ n }[/math], as [math]\displaystyle{ m }[/math] grows and the length [math]\displaystyle{ \ell/m }[/math] of each cylindrical band becomes arbitrarily small, each corresponding band of isosceles triangles becomes nearly planar. Each triangle approaches the triangle formed by two consecutive edges of a regular [math]\displaystyle{ 2n }[/math]-gon, and the area of the whole band of triangles approaches [math]\displaystyle{ 2n }[/math] times the area of one of these planar triangles, a finite number. However, the number [math]\displaystyle{ m }[/math] of these bands grows arbitrarily large; because the lantern's area grows in approximate proportion to [math]\displaystyle{ m }[/math], it also becomes arbitrarily large.[16]

It is also possible to fix a functional relation between [math]\displaystyle{ m }[/math] and [math]\displaystyle{ n }[/math], and to examine the limit as both parameters grow large simultaneously, maintaining this relation. Different choices of this relation can lead to either of the two behaviors described above, convergence to the correct area or divergence to infinity. For instance, setting [math]\displaystyle{ m=cn }[/math] (for an arbitrary constant [math]\displaystyle{ c }[/math]) and taking the limit for large [math]\displaystyle{ n }[/math] leads to convergence to the correct area, while setting [math]\displaystyle{ m=cn^3 }[/math] leads to divergence. A third type of limiting behavior is obtained by setting [math]\displaystyle{ m=cn^2 }[/math]. For this choice, [math]\displaystyle{ \lim_{n\to\infty} A(cn^2,n)= 2\pi r\sqrt{\ell^2+\frac{r^2\pi^4c^2}{4}}. }[/math] In this case, the area of the Schwarz lantern, parameterized in this way, converges, but to a larger value than the area of the cylinder. Any desired larger area can be obtained by making an appropriate choice of the constant [math]\displaystyle{ c }[/math].[16]

See also

  • Kaleidocycle, a chain of tetrahedra linked edge-to-edge like a degenerate Schwarz lantern with [math]\displaystyle{ n=2 }[/math]
  • Runge's phenomenon, another example of failure of convergence

Notes

  1. ↑ (Gandon Perrin) place the timing more precisely as the early 1890s,[10] but this is contradicted by Hermite's use of this example in 1883. (Kennedy 1980) dates Schwarz's communication to Genocchi on this topic to 1880, and Peano's rediscovery to 1882.[11]
  2. ↑ Other sources may use different parameterizations; for instance, (Dubrovsky 1991) uses [math]\displaystyle{ k }[/math] instead of [math]\displaystyle{ m }[/math] to denote the number of cylinders.[17]
  3. ↑ The sagitta of a circular arc is the distance from the midpoint of the arc to the midpoint of its chord.

References

  1. ↑ 1.0 1.1 1.2 Makarov, Boris; Podkorytov, Anatolii (2013). "Section 8.2.4". Real analysis: measures, integrals and applications. Universitext. Berlin: Springer-Verlag. pp. 415–416. doi:10.1007/978-1-4471-5122-7. ISBN 978-1-4471-5121-0. 
  2. ↑ Bernshtein, D. (March–April 1991). "Toy store: Latin triangles and fashionable footwear". Quantum: The Magazine of Math and Science 1 (4): 64. https://static.nsta.org/pdfs/QuantumV1N4.pdf. 
  3. ↑ Wells, David (1991). "Schwarz's polyhedron". The Penguin Dictionary of Curious and Interesting Geometry. New York: Penguin Books. pp. 225–226. ISBN 978-0-14-011813-1. 
  4. ↑ Geometry I. Universitext. Berlin: Springer-Verlag. 1987. pp. 263–264. doi:10.1007/978-3-540-93815-6. ISBN 978-3-540-11658-5. 
  5. ↑ 5.0 5.1 Atneosen, Gail H. (March 1972). "The Schwarz paradox: An interesting problem for the first-year calculus student". The Mathematics Teacher 65 (3): 281–284. doi:10.5951/MT.65.3.0281. 
  6. ↑ 6.0 6.1 6.2 6.3 "The perils of problematic parameterization". IEEE Computer Graphics and Applications 17 (5): 78–83. 1997. doi:10.1109/38.610212. 
  7. ↑ Traub, Gilbert (1984). The Development of the Mathematical Analysis of Curve Length from Archimedes to Lebesgue (Doctoral dissertation). New York University. p. 470. ProQuest 303305072. 
  8. ↑ Brodie, Scott E. (1980). "Archimedes' axioms for arc-length and area". Mathematics Magazine 53 (1): 36–39. doi:10.1080/0025570X.1980.11976824. 
  9. ↑ "Note to page 7". Tomorrow's Math: Unsolved Problems for the Amateur. Oxford University Press. 1962. pp. 155–161. 
  10. ↑ 10.0 10.1 Gandon, Sébastien; Perrin, Yvette (2009). "Le problème de la définition de l'aire d'une surface gauche: Peano et Lebesgue" (in fr). Archive for History of Exact Sciences 63 (6): 665–704. doi:10.1007/s00407-009-0051-4. https://halshs.archives-ouvertes.fr/halshs-00296580/file/AHES-GANPER.pdf. 
  11. ↑ 11.0 11.1 Peano: Life and works of Giuseppe Peano. Studies in the History of Modern Science. 4. Dordrecht & Boston: D. Reidel Publishing Co.. 1980. pp. 9–10. ISBN 90-277-1067-8. https://books.google.com/books?id=J_WPBAAAQBAJ&pg=PA9. 
  12. ↑ (in fr) Cours de calcul différentiel et intégral, Tome second: Calcul intégral. Paris: Gauthier-Villars. 1868. p. 296. https://books.google.com/books?id=4SSfW4MTXXgC&pg=PA296. 
  13. ↑ "Sur une définition erronée de l'aire d'une surface courbe" (in fr). Gesammelte Mathematische Abhandlungen von H. A. Schwarz. Verlag von Julius Springer. 1890. pp. 309–311. https://archive.org/details/gesammeltemathem02schwuoft/page/308. 
  14. ↑ Archibald, Thomas (2002). "Charles Hermite and German mathematics in France". Mathematics unbound: the evolution of an international mathematical research community, 1800–1945. Papers from the International Symposium held at the University of Virginia, Charlottesville, VA, May 27–29, 1999. History of Mathematics. 23. Providence, Rhode Island: American Mathematical Society. pp. 123–137.  See footnote 60, p. 135.
  15. ↑ 15.0 15.1 Bern, M.; Mitchell, S.; Ruppert, J. (1995). "Linear-size nonobtuse triangulation of polygons". Discrete & Computational Geometry 14 (4): 411–428. doi:10.1007/BF02570715. 
  16. ↑ 16.0 16.1 16.2 16.3 16.4 16.5 16.6 16.7 16.8 16.9 "Surface area and the cylinder area paradox". The Two-Year College Mathematics Journal 8 (4): 207–211. September 1977. doi:10.2307/3026930. https://www.maa.org/programs/maa-awards/writing-awards/surface-area-and-the-cylinder-area-paradox. 
  17. ↑ Dubrovsky, Vladimir (March–April 1991). "In search of a definition of surface area". Quantum: The Magazine of Math and Science 1 (4): 6–9. https://static.nsta.org/pdfs/QuantumV1N4.pdf. 
  18. ↑ Lamb, Evelyn (November 30, 2013). "Counterexamples in origami". Scientific American. https://blogs.scientificamerican.com/roots-of-unity/counterexamples-in-origami/. 
  19. ↑ "Symmetry: Art and Science, 8th Congress and Exhibition of ISIS". Gmünd. 2010. 
  20. ↑ Yoshimura, Yoshimaru (July 1955), On the mechanism of buckling of a circular cylindrical shell under axial compression, Technical Memorandum 1390, National Advisory Committee for Aeronautics, https://ntrs.nasa.gov/citations/19930093840 
  21. ↑ Polthier, Konrad (2005). "Computational aspects of discrete minimal surfaces". Global theory of minimal surfaces: Proceedings of the Clay Mathematical Institute Summer School held in Berkeley, CA, June 25 – July 27, 2001. Clay Mathematics Proceedings. 2. Providence, Rhode Island: American Mathematical Society. pp. 65–111. doi:10.1016/j.cagd.2005.06.010. http://page.mi.fu-berlin.de/polthier/articles/msriClay/msriClay.pdf. 

External links



Retrieved from "https://handwiki.org/wiki/index.php?title=Schwarz_lantern&oldid=3384966"