Zindler curve

Last updated January 05, 2024

Figure 2: Examples of Zindler curves with a = 8 (blue), a = 16 (green) and a = 24 (red). Zindler-kurven13.svg — Figure 2: Examples of Zindler curves with a = 8 (blue), a = 16 (green) and a = 24 (red).

A Zindler curve is a simple closed plane curve with the defining property that:

Auerbach proved that a figure bounded by a Zindler curve and with half the density of water will float in water in any position. This gives a negative answer to the bidimensional version of Stanislaw Ulam's problem on floating bodies (Problem 19 of the Scottish Book), which asks if the disk is the only figure of uniform density which will float in water in any position (the original problem asks if the sphere is the only solid having this property in three dimension).

Zindler curves are also connected to the problem of establishing if it is possible to determine the direction of the motion of a bicycle given only the closed rear and front tracks.^[1]

Equivalent definitions

An equivalent definition of a Zindler curve is the following one:

(A) All chords which cut the area into halves have the same length.

These chords are the same, which cut the curve length into halves.

Another definition is based on Zindler carousels of two chairs.^[2] Consider two smooth curves in R² given by λ₁ and λ₂. Suppose that the distance between points λ₁(t) and λ₂(t) are constant for each t ∈ R and that the curve defined by the midpoints between λ₁ and λ₂ is such that its tangent vector at the point t is parallel to the segment from λ₁(t) to λ₂(t) for each t. If the curves λ₁ and λ₂ parametrizes the same smooth closed curve, then this curve is a Zindler curve.

Examples

Consider a fixed real parameter $a$ . For $a>4$ , any of the curves

z(u)=x(u)+iy(u)=e^{2iu}+2e^{-iu}+ae^{iu/2}\;,\ u\in [0,4\pi ]\;,

is a Zindler curve.^[3] For $a\geq 24$ the curve is even convex. The diagram shows curves for $a=8$ (blue), $a=16$ (green) and $a=24$ (red). For $a\geq 8$ the curves are related to a curve of constant width.

Figure 3: Sample curve with a=4 is NOT a Zindler curve, because there are desired chords, which intersects the curve at a third point. Zindler-ku-a-4.svg — Figure 3: Sample curve with a=4 is NOT a Zindler curve, because there are desired chords, which intersects the curve at a third point.

Proof of (L): The derivative of the parametric equation is

z'(u)=i{\Big (}2e^{2iu}-2e^{-iu}+{\frac {a}{2}}e^{iu/2}{\Big )}\;

and

|z'(u)|^{2}=z'(u){\overline {z'(u)}}=\cdots =8+{\frac {a^{2}}{4}}-8\cos 3u\;.

$|z'(u)|$ is $2\pi$ -periodic. Hence for any $u_{0}$ the following equation holds

\int _{u_{0}}^{u_{0}+2\pi }|z'(u)|\,du=\int _{0}^{2\pi }|z'(u)|\,du\;,

which is half the length of the entire curve. The desired chords, which divide the curve into halves are bounded by the points $\;z(u_{0})\;,\;z(u_{0}+2\pi )\;$ for any $u_{0}\in [0,4\pi ]$ . The length of such a chord is $|z(u_{0}+2\pi )-z(u_{0})|=\cdots =|2ae^{iu_{0}/2}|=2a\;,$ hence independent of $u_{0}$ . ∎

For $a=4$ the desired chords meet the curve in an additional point (see Figure 3). Hence only for $a>4$ the sample curves are Zindler curves.

Generalizations

The property defining Zindler curves can also be generalized to chords that cut the perimeter of the curve in a fixed ratio α different from 1/2. In this case, one may consider a chord system (a continuous selection of chords) instead of all chords of the curve. These curves are known as α-Zindler curves,^[4] and are Zindler curves for α = 1/2. This generalization of Zindler curve has the following property related to the floating problem: let γ be a closed smooth curve with a chord system cutting the perimeter in a fixed ratio α. If all the chords of this chord system are in the interior of the region bounded by γ, then γ is a α-Zindler curve if and only if the region bounded by γ is a solid of uniform density ρ that floats in any orientation.^[4]

Notes

↑ Bor, Gil; Levi, Mark; Perline, Ron; Tabachnikov, Sergei (2018). "Tire Tracks and Integrable Curve Evolution". International Mathematics Research Notices. 2020 (9): 2698–2768. arXiv: 1705.06314 . doi: 10.1093/imrn/rny087 .
↑ Bracho, J.; Montejano, L.; Oliveros, D. (2004-12-01). "Carousels, Zindler curves and the floating body problem". Periodica Mathematica Hungarica. 49 (2): 9–23. CiteSeerX 10.1.1.542.926 . doi:10.1007/s10998-004-0519-6. ISSN 0031-5303. S2CID 8229876.
↑ W. Wunderlich: Algebraische Beispiele ebener und räumlicher Zindler-Kurven. Publ. Math. Debrecen 24 (1977), 289–297.(S. 291).
1 2 Bracho, J.; Montejano, L.; Oliveros, D. (2001-07-01). "A Classification Theorem for Zindler Carrousels". Journal of Dynamical and Control Systems. 7 (3): 367–384. doi:10.1023/A:1013099830164. ISSN 1079-2724. S2CID 116492433.

Related Research Articles

Bessel functions, first defined by the mathematician Daniel Bernoulli and then generalized by Friedrich Bessel, are canonical solutions $y (x)$ of Bessel's differential equation

In the mathematical field of algebraic topology, the fundamental group of a topological space is the group of the equivalence classes under homotopy of the loops contained in the space. It records information about the basic shape, or holes, of the topological space. The fundamental group is the first and simplest homotopy group. The fundamental group is a homotopy invariant—topological spaces that are homotopy equivalent have isomorphic fundamental groups. The fundamental group of a topological space $is denoted by .$

In mathematics, the gamma function is one commonly used extension of the factorial function to complex numbers. The gamma function is defined for all complex numbers except the non-positive integers. For every positive integer $n$ ,

In mathematics, the Cauchy integral theorem in complex analysis, named after Augustin-Louis Cauchy, is an important statement about line integrals for holomorphic functions in the complex plane. Essentially, it says that if $is holomorphic in a simply connected domain Ω, then for any simply closed contour in Ω, that contour integral is zero.$

In complex analysis, the residue theorem, sometimes called Cauchy's residue theorem, is a powerful tool to evaluate line integrals of analytic functions over closed curves; it can often be used to compute real integrals and infinite series as well. It generalizes the Cauchy integral theorem and Cauchy's integral formula. The residue theorem should not be confused with special cases of the generalized Stokes' theorem; however, the latter can be used as an ingredient of its proof.

In mathematics, the winding number or winding index of a closed curve in the plane around a given point is an integer representing the total number of times that curve travels counterclockwise around the point, i.e., the curve's number of turns. For certain open plane curves, the number of turns may be non-integer. The winding number depends on the orientation of the curve, and it is negative if the curve travels around the point clockwise.

In mathematics, the beta function, also called the Euler integral of the first kind, is a special function that is closely related to the gamma function and to binomial coefficients. It is defined by the integral

In topology, a covering or covering projection is a surjective map between topological spaces that, intuitively, locally acts like a projection of multiple copies of a space onto itself. In particular, coverings are special types of local homeomorphisms. If $is a covering, is said to be a covering space or cover of, and is said to be the base of the covering, or simply the base . By abuse of terminology, and may sometimes be called covering spaces as well. Since coverings are local homeomorphisms, a covering space is a special kind of étale space.$

In probability theory and statistics, the Rayleigh distribution is a continuous probability distribution for nonnegative-valued random variables. Up to rescaling, it coincides with the chi distribution with two degrees of freedom. The distribution is named after Lord Rayleigh.

In the mathematical field of complex analysis, contour integration is a method of evaluating certain integrals along paths in the complex plane.

In mathematical logic and type theory, the λ-cube is a framework introduced by Henk Barendregt to investigate the different dimensions in which the calculus of constructions is a generalization of the simply typed λ-calculus. Each dimension of the cube corresponds to a new kind of dependency between terms and types. Here, "dependency" refers to the capacity of a term or type to bind a term or type. The respective dimensions of the λ-cube correspond to:

The Voigt profile is a probability distribution given by a convolution of a Cauchy-Lorentz distribution and a Gaussian distribution. It is often used in analyzing data from spectroscopy or diffraction.

In mathematics, the Lerch zeta function, sometimes called the Hurwitz–Lerch zeta function, is a special function that generalizes the Hurwitz zeta function and the polylogarithm. It is named after Czech mathematician Mathias Lerch, who published a paper about the function in 1887.

The Havriliak–Negami relaxation is an empirical modification of the Debye relaxation model in electromagnetism. Unlike the Debye model, the Havriliak–Negami relaxation accounts for the asymmetry and broadness of the dielectric dispersion curve. The model was first used to describe the dielectric relaxation of some polymers, by adding two exponential parameters to the Debye equation:

A theoretical motivation for general relativity, including the motivation for the geodesic equation and the Einstein field equation, can be obtained from special relativity by examining the dynamics of particles in circular orbits about the Earth. A key advantage in examining circular orbits is that it is possible to know the solution of the Einstein Field Equation a priori. This provides a means to inform and verify the formalism.

In mathematics, sine and cosine are trigonometric functions of an angle. The sine and cosine of an acute angle are defined in the context of a right triangle: for the specified angle, its sine is the ratio of the length of the side that is opposite that angle to the length of the longest side of the triangle, and the cosine is the ratio of the length of the adjacent leg to that of the hypotenuse. For an angle $, the sine and cosine functions are denoted simply as and .$

Financial models with long-tailed distributions and volatility clustering have been introduced to overcome problems with the realism of classical financial models. These classical models of financial time series typically assume homoskedasticity and normality cannot explain stylized phenomena such as skewness, heavy tails, and volatility clustering of the empirical asset returns in finance. In 1963, Benoit Mandelbrot first used the stable distribution to model the empirical distributions which have the skewness and heavy-tail property. Since $-stable distributions have infinite -th moments for all, the tempered stable processes have been proposed for overcoming this limitation of the stable distribution.$

We take the functional theoretic algebra C[0, 1] of curves. For each loop γ at 1, and each positive integer n, we define a curve $called n -curve . The n -curves are interesting in two ways.$

Their f-products, sums and differences give rise to many beautiful curves.
Using the n-curves, we can define a transformation of curves, called n-curving.

The multivariate stable distribution is a multivariate probability distribution that is a multivariate generalisation of the univariate stable distribution. The multivariate stable distribution defines linear relations between stable distribution marginals. In the same way as for the univariate case, the distribution is defined in terms of its characteristic function.

The table of chords, created by the Greek astronomer, geometer, and geographer Ptolemy in Egypt during the 2nd century AD, is a trigonometric table in Book I, chapter 11 of Ptolemy's Almagest, a treatise on mathematical astronomy. It is essentially equivalent to a table of values of the sine function. It was the earliest trigonometric table extensive enough for many practical purposes, including those of astronomy. Since the 8th and 9th centuries, the sine and other trigonometric functions have been used in Islamic mathematics and astronomy, reforming the production of sine tables. Khwarizmi and Habash al-Hasib later produced a set of trigonometric tables.

References

Herman Auerbach: Sur un problème de M. Ulam concernant l’équilibre des corps flottants (PDF; 796 kB), Studia Mathematica 7 (1938), 121–142.
K. L. Mampel: Über Zindlerkurven , Journal für reine und angewandte Mathematik 234 (1969), 12–44.
Konrad Zindler: Über konvexe Gebilde. II. Teil, Monatshefte für Mathematik und Physik 31 (1921), 25–56.
H. Martini, S. Wu: On Zindler Curves in Normed Planes, Canadian Mathematical Bulletin 55 (2012), 767–773.
J. Bracho, L. Montejano, D. Oliveros: Carousels, Zindler curves and the floating body problem, Periodica Mathematica Hungarica 49 (2004), 9–23.
P. M. Gruber, J.M. Wills: Convexity and Its Applications, Springer, 1983, ISBN 978-3-0348-5860-1, p. 58.

External links

http://www.thphys.uni-heidelberg.de/~wegner/Fl2mvs/Movies.html - A page by Franz Wegner illustrating some bodies that float in any direction.
https://www.rose-hulman.edu/~finn/research/bicycle/tracks.html - A page by David L. Finn illustrating some pair of curves which is not possible to determine which one is the rear or the front track of a bicycle.

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Bor, Gil; Levi, Mark; Perline, Ron; Tabachnikov, Sergei (2018). "Tire Tracks and Integrable Curve Evolution". International Mathematics Research Notices. 2020 (9): 2698–2768. arXiv: 1705.06314 . doi: 10.1093/imrn/rny087 .

[2] Bracho, J.; Montejano, L.; Oliveros, D. (2004-12-01). "Carousels, Zindler curves and the floating body problem". Periodica Mathematica Hungarica. 49 (2): 9–23. CiteSeerX 10.1.1.542.926 . doi:10.1007/s10998-004-0519-6. ISSN 0031-5303. S2CID 8229876.

[3] W. Wunderlich: Algebraische Beispiele ebener und räumlicher Zindler-Kurven. Publ. Math. Debrecen 24 (1977), 289–297.(S. 291).

[Bracho_2001-4] 1 2 Bracho, J.; Montejano, L.; Oliveros, D. (2001-07-01). "A Classification Theorem for Zindler Carrousels". Journal of Dynamical and Control Systems. 7 (3): 367–384. doi:10.1023/A:1013099830164. ISSN 1079-2724. S2CID 116492433.

[1]

[2]

[3]

[4]