Abstract
In this paper we study global properties of the Wigner caustic of parameterized closed planar curves. We find new results on its geometry and singular points. In particular, we consider the Wigner caustic of rosettes, i.e. regular closed parameterized curves with non-vanishing curvature. We present a decomposition of a curve into parallel arcs to describe smooth branches of the Wigner caustic. By this construction we can find the number of smooth branches, the rotation number, the number of inflexion points and the parity of the number of cusp singularities of each branch. We also study the global properties of the Wigner caustic on shell (the branch of the Wigner caustic connecting two inflexion points of a curve). We apply our results to whorls—the important object to study the dynamics of a quantum particle in the optical lattice potential.
Similar content being viewed by others
1 Introduction
In 1932 Eugene Wigner introduced the celebrated Wigner function to study quantum corrections to classical statistical mechanics ([31]).This function relates the wavefunction that appears in Schrödinger’s equation to a probability distribution in phase space. The Wigner function of a pure state is defined in the following way
where \((p,q)\in {\mathbb {R}}^2\) are momentum and position, and \(\psi \in L^2_{{\mathbb {C}}}({\mathbb {R}})\) is the wavefunction. In [1] Berry studied the semiclassical limit of Wigner’s phase-space representation of quantum states. He proved that for 1-dimensional systems, that correspond to smooth (Lagrangian) curves M in the phase space \(({\mathbb {R}}^2, \omega =\mathrm{d}p \wedge \mathrm{d}q)\), the semiclassical limit of the Wigner function of the classical correspondence \(M\) of a pure quantum state takes on high values at points in a neighborhood of \(M\) and also in a neighborhood of a singular closed curve, which is called the Wigner caustic of \(M\) or the Wigner catastrophe (see [1, 4, 10, 23] for details). Geometrically the Wigner caustic of a planar curve M is the locus of midpoints of chords connecting points on \(M\) with parallel tangent lines ([1, 10, 11, 23]). It is also the caustic of a certain Lagrangian map defined in the following way (see [10, 11, 23] for details).
For the canonical symplectic form \(\displaystyle \omega =\mathrm{d}p\wedge \mathrm{d}q\) on \({\mathbb {R}}^2\) the map \(\flat : T{\mathbb {R}}^{2}\ni v\mapsto \omega (v, \cdot )\in T^*{\mathbb {R}}^{2}\) is an isomorphism between the bundles \(T{\mathbb {R}}^{2}\) and \(T^*{\mathbb {R}}^{2}\). Then \(\displaystyle \dot{\omega }=\flat ^*\mathrm{d}\alpha =\mathrm{d}\dot{p}\wedge \mathrm{d}q+\mathrm{d}p\wedge \mathrm{d}\dot{q}\) is a symplectic form on \(T{\mathbb {R}}^{2}\), where \(\alpha \) is the canonical Liouville 1-form on \(T^*{\mathbb {R}}^2\). The linear diffeomorphism \(\Phi _{\frac{1}{2}}:{\mathbb {R}}^{2}\times {\mathbb {R}}^{2}\rightarrow T{\mathbb {R}}^2={\mathbb {R}}^{2}\times {\mathbb {R}}^{2},\)
pulls the symplectic form \(\dot{\omega }\) on \(T{\mathbb {R}}^{2}\) back to the canonical symplectic \(\frac{1}{2}(\pi _+^*\omega -\pi _-^*\omega )\) on the product \({\mathbb {R}}^{2}\times {\mathbb {R}}^{2}\), where \(\pi _+, \pi _-:{\mathbb {R}}^{2}\times {\mathbb {R}}^{2}\rightarrow {\mathbb {R}}^{2}\) are the projections on the first and on the second component, respectively. If M is a smooth regular planar curve then M is an immersed Lagrangian submanifold of \((R^2, \omega )\). Hence \(\Phi _{\frac{1}{2}}(M\times M)\) is an immersed Lagrangian submanifold of \((T{\mathbb {R}}^{2}, \dot{\omega })\). Let \(\pi _1, \pi _2:T{\mathbb {R}}^2={\mathbb {R}}^{2}\times {\mathbb {R}}^{2} \rightarrow {\mathbb {R}}^{2}\) be the projections on the first and on the second component, respectively. Then \(\pi _1\) and \(\pi _2\) define Lagrangian fibre bundles with the symplectic structure \(\dot{\omega }\). Then the caustic of the Lagrangian map (the set of its critical values) \(\pi _1\circ \Phi _{\frac{1}{2}}\big |_{M\times M}\) is the Wigner caustic [5, 6, 10, 11, 23]. On the other hand the Lagrangian map \(\pi _2\circ \Phi _{\frac{1}{2}}\big |_{M\times M}\) is the secant map of M [13]. If M is (locally) described as
then the generating family of the Lagrangian submanifold \(\Phi _{\frac{1}{2}}(M\times M)\) has the following form
The front of the Legendrian submanifold of the contact manifold \((T{{\mathbb {R}}}^2\times {\mathbb {R}}, \mathrm{d}z+\flat ^{*}\alpha )\) generated by F is a singular 2-dimensional improper affine sphere, where z is a coordinate on \({\mathbb {R}}\). The caustic of this front is composed of the curve M and its Wigner caustic. Hence the geometry of the Wigner caustics provides information on singularities of improper affine spheres. In Fig. 1 we present a non-convex planar curve with its Wigner caustic and in Fig. 2 we show the improper affine sphere generated by M in the construction described above (see [5, 6] for details).
In [8] (see also [2,3,4]) the dynamics of a quantum particle in the optical lattice potential was investigated. The authors analyze the evolution of the Wigner function. The function undergoes a number of catastrophic changes. For a semiclassical approximation the Wigner caustic consists of the rainbow diagram (the original curve M) and a locus of midpoints of chords joining points on the rainbow diagram with parallel tangent lines. But the catastrophe set of the exact Wigner function, in addition, contains a locus of midpoints of chords joining points on neighboring rainbow diagrams with parallel tangents. Hence the Wigner caustic of the curve M should be investigated not only locally but globally too. It turns out that its global geometry is very important for understanding the quantum-classical correspondence breakdown. It allows to extract important information without using simplifying approximations.
Singularities of the Wigner caustic for ovals occur exactly from antipodal pairs (the tangent lines at the two points are parallel and the curvatures are equal). The well-known Blaschke-Süss theorem states that there are at least three pairs of antipodal points on an oval ([22, 26]). The absolute value of the oriented area of the Wigner caustic gives the exact relation between the perimeter and the area of the region bounded by closed regular curves of constant width and improves the classical isoperimetric inequality for convex curves ([34, 35, 37,38,39]). Furthermore this oriented area improves the isoperimetric defect in the reverse isoperimetric inequality ([7]). Recently the properties of the middle hedgehog, which is a generalization of the Wigner caustic for non-smooth convex curves, were studied in [29, 30]. The Wigner caustic in the literature regarding hedgehogs is known also as a projective hedgehog (see [27, 28] and the literature cited therein). The Wigner caustic could be generalized to obtain an affine \(\lambda \)-equidistant, which is the locus of points of the above chords which divide the chord segments between base points with a fixed ratio \(\lambda \). The singular points of affine equidistants create the Centre Symmetry Set, the natural generalization of the center of symmetry, which is widely studied in [11, 16, 18, 20, 24]. The geometry of an affine extended wave front, i.e. the set \(\displaystyle \bigcup {\lambda \in [0,1]}\{\lambda \}\times E_{\lambda }(M)\), where \(E_{\lambda }(M)\) is an affine \(\lambda \)-equidistant of a manifold M, was studied in [11, 15].
Local properties of singularities of the Wigner caustic and affine equidistants were studied in many papers [5, 9,10,11,12, 19, 23, 25]. In this paper we study global properties of the Wigner caustic of a generic planar closed curve. In [1] Berry proved that if \(M\) is a convex curve, then generically the Wigner caustic is a parametrized connected curve with an odd number of cusp singularities and this number is not smaller than 3. It is not true in general for any closed planar curve. If \(M\) is a parametrized closed curve with self-intersections or inflexion points then the Wigner caustic has at least two branches (smoothly parametrized components). We present a decomposition of a curve into parallel arcs and thanks to this decomposition we are able to describe the geometry of branches of the Wigner caustic. In general the geometry of the Wigner caustic of a regular closed curve is quite complicated (see Fig. 3).
In Sect. 2 we briefly sketch some of the known results on the Wigner caustic and affine equidistants.
Section 3 contains the algorithm to describe branches of the Wigner caustic and affine equidistants of any generic regular parameterized closed curve. Subsection 3.1 provides an example of an application of this algorithm to a particular curve.
In the beginning of Sect. 4 we present global propositions on the number of cusps and inflexion points of the Wigner caustic. We show that the procedure based on a decomposition presented in Sect. 3 can be applied to obtain the number of branches of the Wigner caustic, the number of inflexion points and the parity of the number of cusp singularities of each branch. After that we study global properties of the Wigner caustic on shell, i.e. the branch of the Wigner caustic which connects two inflexion points of a curve. We present the results on the parity of the number of cusp points of the branches of the Wigner caustic on shell. We also prove that each such branch has even number of inflexion points and there are even number of inflexion points on a path of the original curve between the endpoints of this branch.
In Sect. 5 we use the decomposition introduced in Sect. 3 to study the geometry of the Wigner caustic of generic regular closed parameterized curves with non-vanishing curvature and of some generic regular closed parameterized curves with two inflexion points. Finally, in Sect. 6 we study the Wigner caustic of whorls.
All the pictures of the Wigner caustic in this manuscript were made in the application created by the second author [36] and in Mathematica [32].
2 Preliminaries
Let \(M\) be a smooth parameterized curve in the affine plane \({\mathbb {R}}^2\), i.e. the image of the \(C^{\infty }\) smooth map from an interval to \({\mathbb {R}}^2\). A smooth curve is closed if it is the image of a \(C^{\infty }\) smooth map from \(S^1\) to \({\mathbb {R}}^2\). A smooth curve is regular if its velocity does not vanish. A regular curve is simple if it has no self-intersection points. A regular simple closed curve is convex if its signed curvature has a constant sign. Let \((s_1,s_2)\ni s\mapsto f(s)\in {\mathbb {R}}^2\) be a parameterization of \(M\). A point \(f(s_0)\) is a \(C^k\) regular point of \(M\) for \(k=1, 2, \ldots \) or \(k=\infty \) if there exists \(\varepsilon >0\) such that \(f\big ((s_0-\varepsilon , s_0+\varepsilon )\big )\) is a \(C^k\) smooth 1-dimensional manifold. A point \(f(s_0)\) is a singular point if it is not \(C^k\) regular for any \(k>0\). A curve is singular if it has at least one singular point. A singular point p is called a cusp if \(M\) is locally diffeomorphic at p to a curve \((-1,1)\ni t\mapsto (t^2,t^3)\in {\mathbb {R}}^2\) at 0. A point \(f(s_0)\) is a cusp of M if and only if \(f'(s_0)=0\) and the vectors \(f''(s_0)\) and \(f'''(s_0)\) are linearly independent. A point \(f(s_0)\) is an inflexion point of \(M\) if its signed curvature changes sign. An inflexion point \(f(s_0)\) is non-degenerate (or ordinary) if \(\det \big (f'(s_0),f'''(s_0)\big )\ne 0\) which means that the order of contact of \(M\) with the tangent line to \(M\) at \(f(s_0)\) is equal to 2. If the curvature vanishes at \(f(s_0)\) but does not change sign, then this point is called an undulation point.
Remark 2.1
Let \((a,b)\ni s\mapsto f(s)\in {\mathbb {R}}^2\) be a parameterization of \(M\), then the order of contact of \(M\) with the tangent line to \(M\) at \(p=f(t)\) is k if and only if
Definition 2.2
A pair of points \(a,b\in M\) (\(a\ne b\)) is called a parallel pair if the tangent lines to \(M\) at a and b are parallel.
Definition 2.3
A chord passing through a pair \(a,b\in M\), is the line:
Let A be a subset of \({\mathbb {R}}^2\), then \(\text{ cl }{A}\) denotes the closure of A.
Definition 2.4
The Wigner caustic of \(M\) is the following set
Remark 2.5
The Wigner caustic of \(M\) is an example of an affine \(\lambda \)-equidistant set of \(M\),
where \(\lambda =\frac{1}{2}\). Definition 2.4 is different from definitions in papers [5, 10,11,12, 18, 19, 25, 33, 37, 38]. The closure in the definition is needed to include inflexion points of \(M\) in \({\text {E}}_{\lambda }(M)\). For details see Remark 2.18.
Note that, for any given \(\lambda \in {\mathbb {R}}\), we have \({\text {E}}_{\lambda }(M)={\text {E}}_{1-\lambda }(M)\). Thus, the case \(\lambda =\frac{1}{2}\) is special. In particular we have \({\text {E}}_0(M)={\text {E}}_1(M)=M\) if \(M\) is closed.
Definition 2.6
The Centre Symmetry Set of \(M\), denoted by \({\text {CSS}}(M)\), is the envelope of all chords passing through parallel pairs of \(M\).
Bitangent lines of \(M\) are parts of \({\text {CSS}}(M)\) ([11, 16]). If \(M\) is a generic convex curve, then \({\text {CSS}}(M)\), the Wigner caustic and \({\text {E}}_{\lambda }(M)\) for a generic \(\lambda \) are smooth closed curves with at most cusp singularities ([1, 16, 20, 24]), cusp singularities of all \({\text {E}}_{\lambda }(M)\) are on regular parts of \({\text {CSS}}(M)\) ([20]), the number of cusps of \({\text {CSS}}(M)\) and \({\text {E}}_{\frac{1}{2}}(M)\) is odd and not smaller than 3 ([1, 16], see also [22]), the number of cusps of \({\text {CSS}}(M)\) is not smaller than the number of cusps of \({\text {E}}_{\frac{1}{2}}(M)\) ([11]).
Let us denote by \(\kappa _{M}(p)\) the signed curvature of a smooth regular curve \(M\) at p. Let a, b be a parallel pair of \(M\). Assume that \(\kappa _{M}(b)\ne 0\). Let us fix local arc length parameterizations of \(M\) nearby the points a, b by \(f:(s_0,s_1)\rightarrow {\mathbb {R}}^2\) and by \(g:(t_0,t_1)\rightarrow {\mathbb {R}}^2\), respectively. Let us assume that the parameterizations at a and b are in opposite directions, i.e. the velocities at a, b are opposite. Then there exists a function \(t:(s_0,s_1)\rightarrow (t_0,t_1)\) such that
It is easy to see that by the implicit function theorem the function t is smooth and
Then by
we will denote a local natural parameterization of the Wigner caustic. Whenever we will write about singular points of the Wigner caustic we will denote these points as the singular points of the parameterization given by (2.4).
By direct calculations we get the following lemma.
Lemma 2.7
Let \(M\) be a regular curve. Let a, b be a parallel pair of \(M\), such that \(M\) is parameterized at a and b in opposite directions and \(\kappa _{M}(b)\ne 0\). Let \(p=\frac{a+b}{2}\) be a regular point of \({\text {E}}_{\frac{1}{2}}(M)\). Then
-
(i)
the tangent line to \({\text {E}}_{\frac{1}{2}}(M)\) at p is parallel to the tangent lines to \(M\) at a and b.
-
(ii)
the curvature of \({\text {E}}_{\frac{1}{2}}(M)\) at p is equal to
$$\begin{aligned} \kappa _{{\text {E}}_{\frac{1}{2}}(M)}(p)=\frac{2\kappa _{M}(a)| \kappa _{M}(b)|}{\left| \kappa _{M}(b)-\kappa _{M}(a)\right| }. \end{aligned}$$
Lemma 2.7(ii) implies the following propositions.
Proposition 2.8
[20] Let a, b be a parallel pair of a regular curve \(M\), such that \(M\) is parameterized at a and b in opposite directions and one of a and b is not an inflexion point. Then the point \(\frac{a+b}{2}\) is a singular point of \({\text {E}}_{\frac{1}{2}}(M)\) if and only if \(\kappa _{M}(a)=\kappa _{M}(b)\).
Proposition 2.9
Let a, b be a parallel pair of a regular closed curve \(M\). Then \(\frac{a+b}{2}\) is an inflexion point of \({\text {E}}_{\frac{1}{2}}(M)\) if and only if one of the points a, b is an inflexion point of \(M\).
Let \(\tau _{p}\) denote the translation by a vector \(p\in {\mathbb {R}}^2\).
Definition 2.10
A curve \(M\) is curved to the same side at a and b (resp. curved to different sides), where a, b is a parallel pair of \(M\), if the center of curvature of \(M\) at a and the center of curvature of \(\tau _{a-b}(M)\) at \(a=\tau _{a-b}(b)\) lie on the same side (resp. on the different sides) of the tangent line to \(M\) at a.
We illustrate above definition in Fig. 4.
Corollary 2.11
If \(M\) is curved to the same side at a parallel pair a, b, then \(\frac{a+b}{2}\) is a regular point of the Wigner caustic of \(M\).
Proof
Let us locally parameterize \(M\) at a and b in opposite directions. Then by Proposition 2.8 a point \(\frac{a+b}{2}\) is a singular point of \({\text {E}}_{\frac{1}{2}}(M)\) if and only if
The right hand side of (2.5) is positive, then \(\kappa _{M}(a)\) and \(\kappa _{M}(b)\) have the same sign, therefore \(M\) is curved to different sides at a and b. \(\square \)
We denote by \(C^{\infty }(S^1,{\mathbb {R}}^2)\) the set of \(C^{\infty }\) mappings from \(S^1\) to \({\mathbb {R}}^2\), i.e. the set of smooth closed parameterized planar curves, and by \(\cdot \) the dot product in \({\mathbb {R}}^2\).
Remark 2.12
Let \(f(s_1),f(s_2)\) be a parallel pair of \(f\in C^{\infty }(S^1,{\mathbb {R}}^2)\). A singular point \(\frac{f(s_1)+f(s_2)}{2}\) of the Wigner caustic of f (that is a point for which \(\kappa _f(s_1)=\kappa _f(s_2)\) and \(f'(s_1)\cdot f'(s_2)<0\)) is a cusp if and only if \(\kappa _f'(s_1)\ne \kappa _f'(s_2)\), where \(\kappa _f\) denotes the signed curvature of f with respect to the parameterization of f, and \(\kappa _f'\) denotes the derivative of the curvature with the respect to the arc length parameter ([10]).
Theorem 2.13
Let \({\mathcal {G}}\) be the subset of \(C^{\infty }(S^1,{\mathbb {R}}^2)\) such that each curve f in \({\mathcal {G}}\) satisfies the following conditions:
-
(i)
f is a regular curve with only non-degenerate inflexion points and no undulation points,
-
(ii)
f has only transverse self-crossings,
-
(iii)
if \(f(s_1),f(s_2)\) is a parallel pair of f, then \(f(s_1)\) or \(f(s_2)\) is not an inflexion point,
-
(iv)
if \(f(s_1),f(s_2)\) is a parallel pair of f, the points \(f(s_1),f(s_2)\) are not inflexion points of f, the dot product \(f'(s_1)\cdot f'(s_2)\) is negative (respectively positive), and \(\kappa _f(s_1)=\kappa _f(s_2)\) (respectively \(\kappa _f(s_1)=-\kappa _f(s_2)\)), then \(\kappa _f'(s_1)\ne \kappa _f'(s_2)\), where \(\kappa '\) denote the derivative of the curvature with respect to the arc length parameter.
Then \({\mathcal {G}}\) is a generic subset of \(C^{\infty }(S^1,{\mathbb {R}}^2)\) with Whitney \(C^{\infty }\) topology and the Wigner caustic of \(f\in {\mathcal {G}}\) is the finite union of smooth curves with at most cusp singularities.
Proof
Since the intersection of two generic subsets is still a generic subset, it is enough to show that properties from each point are generic. The set of smooth regular closed curves is an open and dense subset of \(C^{\infty }(S^1,{\mathbb {R}}^2)\) because the set of 1-jets of smooth non-regular closed curves is a smooth submanifold of \(J^1(S^1,{\mathbb {R}}^2)\) of codimension 2. Let \(f:S^1\rightarrow {\mathbb {R}}^2\) be smooth and regular. Having only non-degenerate inflexion points and no undulation points is equivalent to the following property:
Condition (2.6) means that the map \(j^3f:S^1\rightarrow J^3(S^1,{\mathbb {R}}^2)\) is transversal to the following submanifold of \(J^3(S^1,{\mathbb {R}}^2)\):
By the Thom Transversality Theorem (e.g. see Theorem 4.9 in [21]) Property (i) is generic.
To prove genericity of the conditions (ii–iv) we will use the Thom Transversality Theorem for multijets (e.g. see Theorem 4.13 in [21] for details). We denote by \(J^k_s(S^1,{\mathbb {R}}^2)\) the s-fold k-jet bundle and by \((S^1)^{(2)}\) the set \(\left( S^1\times S^1\right) \setminus \{(s,s)\ |\ s\in S^1\}\).
Genericity of (ii) follows from transversality of \(j^1_2f:(S^1)^{(2)}\rightarrow J^1_2(S^1,{\mathbb {R}}^2)\) to the following submanifold of \(J^1_2(S^1,{\mathbb {R}}^2)\):
Transversality means that if \(f(s_1)=f(s_2)\) for \(s_1\ne s_2\), then \(\det (f'(s_1),f'(s_2))\ne 0\). Therefore, Condition (ii) is generic.
Genericity of Property (iii) follows from transversality of the second multijet \(j^2_2f:(S^1)^{(2)}\rightarrow J^2_2(S^1,{\mathbb {R}}^2)\) to the submanifold
This means that if \(\det \big (f'(s_1),f'(s_2)\big )=0\) for \(s_1\ne s_2\), then \(\kappa _f^2(s_1)+\kappa _f^2(s_2)\ne 0\). Hence, Property (iii) is generic.
Now we assume that f satisfies (iii). Genericity of Property (iv) for \(f'(s_1)\cdot f'(s_2)<0\) follows from the transversality of \(j^3_2f:(S^1)^{(2)}\rightarrow J^3_2(S^1,{\mathbb {R}}^2)\) to the submanifold
By direct calculations one can show that this means that if \(j^3_2f(s_1,s_2)\in W\), then \(\kappa '_f(s_1)\ne \kappa _f'(s_2)\), which is equivalent to the condition for a cusp singularity in a singular point of the Wigner caustic (see Remark 2.12). The proof for the case \(f'(s_1)\cdot f'(s_2)>0\) is similar. \(\square \)
From now one, when we will talk about generic curves, we will mean a curve from the set \({\mathcal {G}}\). Furthermore, genericity of f implies the following geometric properties of f.
Proposition 2.14
[13] If \(f\in C^{\infty }(S^1, {\mathbb {R}}^2)\) has only non-degenerate inflexion points and has no undulation points, then the number of inflexion points of f and the rotation number of f are finite.
Definition 2.15
The tangent line of \({\text {E}}_{\frac{1}{2}}(M)\) at a cusp point p is the limit of a sequence of 1-dimensional vector spaces \(T_{q_n}M\) in \({\mathbb {R}}P^1\) for any sequence \(q_n\) of regular points of \({\text {E}}_{\frac{1}{2}}(M)\) converging to p.
This definition does not depend on the choice of a converging sequence of regular points. By Lemma 2.7(i) we can see that the tangent line to \({\text {E}}_{\frac{1}{2}}(M)\) at the cusp point \(\frac{a+b}{2}\) is parallel to tangent lines to \(M\) at a and b.
Remark 2.16
If \(M\) is an oval, then we have well defined the continuous normal vector field on the double covering \(M\) of \({\text {E}}_{\frac{1}{2}}(M)\), \(M\ni a\mapsto \frac{a+b}{2}\in {\text {E}}_{\frac{1}{2}}(M)\) by taking the normal vector to \(M\) compatible with the parameterization of M at the point a, and defining this vector as a normal vector to the Wigner caustic at \(\frac{a+b}{2}\).
Let us notice that the continuous normal vector field to \({\text {E}}_{\frac{1}{2}}(M)\) at regular and cusp points is perpendicular to the tangent line to \({\text {E}}_{\frac{1}{2}}(M)\). Using this fact and the above definition we define the rotation number in the following way.
Definition 2.17
The rotation number of the Wigner caustic of a generic curve \(M\) is the rotation number of the continuous normal vector field of the Wigner caustic.
Remark 2.18
Let p be an inflexion point of \(M\). Then the \({\text {CSS}}(M)\) is tangent to this inflexion point and has an endpoint there. The set \({\text {E}}_{\lambda }(M)\) for \(\lambda \ne \frac{1}{2}\) has an inflexion point at p (as the limit point) and is tangent to \(M\) at p. The Wigner caustic is tangent to \(M\) at p too and it has an endpoint there. The Wigner caustic and the Centre Symmetry Set approach p from opposite sides ([1, 10, 16, 19]). This branch of the Wigner caustic is studied in Sect. 4.
If \(M\) is a generic regular closed curve then \({\text {E}}_{\frac{1}{2}}(M)\) is a union of smooth parametrized curves. Each of these curves we will call a smooth branch of the Wigner caustic of \(M\). In Fig. 5 we illustrate a non-convex curve \(M\), \({\text {E}}_{\frac{1}{2}}(M)\), and different smooth branches of \({\text {E}}_{\frac{1}{2}}(M)\).
3 A decomposition of a curve into parallel arcs
In this section we assume that \(M\) is a generic regular closed curve. We will present a decomposition of M into parallel arcs which will help us to study the geometry of the smooth branches of the Wigner caustic of \(M\).
Definition 3.1
Let \(S^1\ni s\mapsto f(s)\in {\mathbb {R}}^2\) be a parameterization of a smooth closed curve \(M\), such that f(0) is not an inflexion point. A function \(\varphi _{M}:S^1\rightarrow [0,\pi ]\) is called an angle function of \(M\) if \(\varphi _{M}(s)\) is the oriented angle between \(f'(s)\) and \(f'(0)\) modulo \(\pi \). We identify the set \([0,\pi ]\) modulo \(\pi \) with \(S^1\).
Definition 3.2
A point \(\varphi \) in \(S^1\) is a local extremum of \(\varphi _{M}\) if there exists s in \(S^1\) such that \(\varphi _{M}(s)=\varphi \), \(\varphi '_{M}(s)=0\), \(\varphi ''_{M}(s)\ne 0\). The local extremum \(\varphi \) of \(\varphi _{M}\) is a local maximum (resp. minimum) if \(\varphi ''_{M}(s)<0\) (resp. \(\varphi ''_{M}>0\)). We denote by \({\mathcal {M}}(\varphi _{M})\) the set of local extrema of \(\varphi _{M}\).
The angle function has the following properties.
Proposition 3.3
Let \(M\) be a generic regular closed curve. Let f be the arc length parameterization of \(M\) and let \(\varphi _{M}\) be the angle function of \(M\). Then
-
(i)
\(f(s_1), f(s_2)\) is a parallel pair of \(M\) if and only if \(\varphi _{M}(s_1)=\varphi _{M}(s_2)\),
-
(ii)
\(\varphi _{M}'(s)\) is equal to the signed curvature of \(M\) with respect to the parameterization of \(M\),
-
(iii)
\(M\) has an inflexion point at \(f(s_0)\) if and only if \(\varphi _{M}(s_0)\) is a local extremum.
-
(iv)
if \(\varphi _{M}(s_1), \varphi _{M}(s_2)\) are local extrema and there is no extremum on \(\varphi _{M}\big ((s_1,s_2)\big )\), then one of extrema \(\varphi _{M}(s_1), \varphi _{M}(s_2)\) is a local maximum and the other one is a local minimum.
Lemma 3.4
Let \(\varphi _{M}\) be the angle function of a generic regular closed curve \(M\). Then the function \(\varphi _{M}\) has an even number of local extrema, i.e. \(M\) has an even number of inflexion points .
Proof
It is a consequence of the fact that the number of local extrema of a generic smooth function from \(S^1\) to \(S^1\) is even. \(\square \)
Let \(\varphi _{M}\) be the angle function of \(M\).
Definition 3.5
The sequence of local extrema is the following sequence \((\varphi _0, \varphi _1, \ldots , \varphi _{2n-1})\) where \(\{\varphi _0, \varphi _1, \ldots , \varphi _{2n-1}\}={\mathcal {M}}(\varphi _{M})\) and the order is compatible with the orientation of \(S^1=\varphi _{M}(S^1)\).
Definition 3.6
The sequence of division points \({\mathcal {S}}_{M}\) is the following sequence \((s_0, s_1, \ldots , s_{k-1})\), where \(\{s_0, s_1, \ldots , s_{k-1}\}=\varphi _{M}^{-1}\left( {\mathcal {M}}(\varphi _{M}) \right) \) if \({\mathcal {M}}(\varphi _{M})\) is not empty, otherwise \(\{s_0, s_1, \ldots , s_{k-1}\}=\varphi _{M}^{-1}\left( \varphi _{M} (0)\right) \), and the order of \({\mathcal {S}}_{M}\) is compatible with the orientation of \(M\).
Let \(M\) have inflexion points. If \(s_k\) belongs to the sequence of division points, then \(f(s_k)\) is an inflexion point or a point which is parallel to an inflexion point.
In the case when \(M\) has no inflexion points the sequence of division points consists of 0 and points \(s_k\) such that \(f(0), f(s_k)\) are parallel pairs.
In Fig. 6 we illustrate an example of a closed regular curve \(M\), the angle function \(\varphi _{M}\) and the sequence of division points. Let us notice that the images of points in the sequence of division points divide the curve M into arcs. Some of these arcs (say \({\mathcal {A}}_1\) and \({\mathcal {A}}_2\)) have the property that for any point \(a_i\in {\mathcal {A}}_i\) there exists a point \(a_j\in {\mathcal {A}}_j\) such that \(a_i, a_j\) is a parallel pair for \(i\ne j\in \{1,2\}\). Such arcs we will call parallel arcs. The set of arcs splits into subsets such that any two arcs in the same subset are parallel (see Definition 3.9).
Proposition 3.7
If \(M\) is a generic regular closed curve and \(a\in M\) is an inflexion point then the number of points \(b\in M\), such that \(b\ne a\) and a, b is a parallel pair, is even.
Proof
There are no inflexion points \(b\in M\) such that a, b is a parallel pair and the point a is not a self-intersection point of M, since the curve M is generic. The inflexion points of M correspond to local extrema of the angle function \(\varphi _{M}\). We divide the graph of the angle function \(\varphi _{M}\) into continuous paths of the form
Let \(\alpha \) belong to \((0,\pi )\). First we assume that \(\alpha \) is not equal to a local extremum of a path \({\mathcal {P}}\). Then a line \(\varphi =\alpha \) intersects the path \({\mathcal {P}}\) an even number of times if \({\mathcal {P}}\) is a path from 0 to 0 or from \(\pi \) to \(\pi \), since both the beginning and the end of \({\mathcal {P}}\) are on the same side of the line (see Fig. 7i). This line intersects \({\mathcal {P}}\) an odd number of times if \({\mathcal {P}}\) is a path from 0 to \(\pi \) or from \(\pi \) to 0, since the beginning and the end of \({\mathcal {P}}\) are on different sides of the line (see Fig. 7ii).
Now we assume that \(\alpha \) is equal to a local extremum of \({\mathcal {P}}\). In this case the line \(\varphi =\alpha \) intersects a path \({\mathcal {P}}\) an odd number of times if \({\mathcal {P}}\) is a path from 0 to 0 or from \(\pi \) to \(\pi \) (see Fig. 7iii) and this line intersects \({\mathcal {P}}\) an even number of times if \({\mathcal {P}}\) is a path from 0 to \(\pi \) or from \(\pi \) to 0 (see Fig. 7iv), since by a small local vertical perturbation around the extremum point we obtain the previous cases and the numbers of intersection points have a difference \(\pm 1\) (see Fig. 8).
Let us note that a path from 0 to 0 or from \(\pi \) to \(\pi \) corresponds to an arc of a curve with the rotation number equalling 0 and a path from 0 to \(\pi \) or from \(\pi \) to 0 corresponds to an arc of a curve with the rotation number equalling \(\pm \frac{1}{2}\). Since the rotation number of \(M\) is an integer, the number of paths from 0 to \(\pi \) or from \(\pi \) to 0 in the graph of \(\varphi _{M}\) is even. Each path of this type intersects every horizontal line \(\varphi =\alpha \) at least once. Thus the number of intersections of \(\varphi _{M}\) and the line \(\varphi =\varphi _{M}(f^{-1}(a))\) is odd. But the number of points \(b\ne a\) such that a, b is a parallel pair is one less than the number of intersection points of the graph of \(\varphi _{M}\) and the line \(\varphi =\varphi _{M}(f^{-1}(a))\). \(\square \)
The number of inflexion points of a generic regular closed curve is even. Thus by Proposition 3.7 we have the following corollary.
Corollary 3.8
If \(M\) is a generic regular closed curve then \(\#{\mathcal {S}}_M\) is even.
We recall that in this section we assume that \(M\) is a generic regular closed curve and let \(\#{\mathcal {S}}_{M}=2m\).
The functions \({\mathbbm {m}}_{2m}, {\mathbb {M}}_{2m}:\{0,1,\ldots ,2m-1\}^2 \rightarrow \{0,1,\ldots ,2m-1\}\) are analogs of the minimum and the maximum functions modulo 2m, respectively. Namely,
We denote by \((s_{2m-1},s_0)\) an interval \((s_{2m-1}, L_{M}+s_0)\), where \(L_{M}\) is the length of M.
In the following definition indexes i in \(\varphi _i\) are computed modulo 2n, indexes \(j, j+1\) in \(\underline{{p_{j}}\frown {p_{j+1}}}\) and \(\underline{{p_{j+1}}\frown {p_{j}}}\) are computed modulo 2m.
Definition 3.9
If \({\mathcal {M}}(\varphi _{M})=\{\varphi _0, \varphi _1, \ldots , \varphi _{2n-1}\}\), then for every \(i\in \{0, 1, \ldots , 2n-1\}\), a set of parallel arcs \(\Phi _i\) is the following set
where \(p_k=f(s_k)\) and \(\underline{{p_k}\frown {p_l}} =f\left( \big [s_{{\mathbbm {m}}_{2m}(k, l)}, s_{{\mathbb {M}}_{2m}(k, l)}\big ]\right) \).
If \({\mathcal {M}}(\varphi _{M})\) is empty then we define only one set of parallel arcs as follows:
The set of parallel arcs has the following property.
Proposition 3.10
Let \(f:S^1\rightarrow {\mathbb {R}}^2\) be the arc length parameterization of \(M\). For every two arcs \(\underline{{p_{k}}\frown {p_{l}}}\), \(\underline{{p_{k'}}\frown {p_{l'}}}\) in \(\Phi _i\) the well defined map
where the pair p, P(p) is a parallel pair of \(M\), is a diffeomorphism.
Definition 3.11
Let \(\underline{{p_{k_1}}\frown {p_{k_2}}}\), \(\underline{{p_{l_1}}\frown {p_{l_2}}}\) belong to the same set of parallel arcs, then \(\begin{array}{ccc} p_{k_1} &{}\frown &{}p_{k_2} \\ \hline p_{l_1} &{}\frown &{}p_{l_2} \\ \hline \end{array}\) denotes the following set (the arc)
In addition \(\begin{array}{ccccc} p_{k_1} &{}\frown &{}\ldots &{}\frown &{} p_{k_n}\\ \hline p_{l_1} &{}\frown &{}\ldots &{}\frown &{} p_{l_n}\\ \hline \end{array}\) denotes \(\displaystyle \bigcup {i=1}{n-1}\begin{array}{ccc} p_{k_i} &{}\frown &{}p_{k_{i+1}} \\ \hline p_{l_i} &{}\frown &{}p_{l_{i+1}} \\ \hline \end{array}\). We will call this set a glueing scheme.
Remark 3.12
If \(\underline{{p_k}\frown {p_l}}\) belongs to a set of parallel arcs, then there are neither inflexion points nor points with tangent lines parallel to tangent lines at inflexion points of \(M\) in \(\underline{{p_k}\frown {p_l}}\setminus \{p_k, p_l\}\).
Definition 3.13
The \(\frac{1}{2}\)-point map ([11]) is the map
Let \({\mathcal {A}}_1=\underline{{p_{k_1}}\frown {p_{k_2}}}\) and \({\mathcal {A}}_2=\underline{{p_{l_1}}\frown {p_{l_2}}}\) be two arcs of \(M\) which belong to the same set of parallel arcs. It is easy to see that \({\text {E}}_{\frac{1}{2}}\Big ({\mathcal {A}}_1\cup {\mathcal {A}}_2\Big )\) consists of one arc \(\begin{array}{ccc} p_{k_1} &{}\frown &{}p_{k_2} \\ \hline p_{l_1} &{}\frown &{}p_{l_2} \\ \hline \end{array}\) under \(\pi _{\frac{1}{2}}\) (see Fig. 9). From this observation we get the following proposition.
Proposition 3.14
The Wigner caustic \({\text {E}}_{\frac{1}{2}}(M)\) is the image of the union of \(\displaystyle \sum {i}{\#\Phi _i\atopwithdelims ()2}\) different arcs under the \(\frac{1}{2}\)-point map \(\pi _{\frac{1}{2}}\).
Proposition 3.15
Let \(M\) be a generic regular closed curve which is not convex. If a glueing scheme is of the form \(\begin{array}{ccc} p_{k_1} &{}\frown &{}p_{k_2} \\ \hline p_{l_1} &{}\frown &{}p_{l_2} \\ \hline \end{array}\), then this scheme can be prolonged in a unique way to \(\begin{array}{ccccc} p_{k_1} &{}\frown &{}p_{k_2} &{}\frown &{}p_{k_3}\\ \hline p_{l_1} &{}\frown &{}p_{l_2} &{}\frown &{}p_{l_3}\\ \hline \end{array}\) such that \((k_1,l_1)\ne (k_3,l_3)\).
Proof
Let us consider
Let \({\mathcal {A}}_1=\underline{{p_{k_1}}\frown {p_{k_2}}} \setminus \{p_{k_1}, p_{k_2}\}\), \({\mathcal {A}}_2 =\underline{{p_{l_1}}\frown {p_{l_2}}}\setminus \{p_{l_1},p_{l_2}\}\). By Remark 3.12\({\mathcal {A}}_1\) and \({\mathcal {A}}_2\) must be curved to the same side or in the opposite sides at any parallel pair in \({\mathcal {A}}_1\cup {\mathcal {A}}_2\) (see Fig. 10i–ii). Let us consider the case in Fig. 10i, the other case is similar. Then (3.1) can be prolonged in the following two ways.
-
(1)
Neither \(p_{k_2}\) nor \(p_{l_2}\) is an inflexion point of \(M\). Then (3.1) can be prolonged to \(\begin{array}{ccccc} p_{k_1} &{}\frown &{}p_{k_2}&{}\frown &{}p_{k_3} \\ \hline p_{l_1} &{}\frown &{}p_{l_2}&{}\frown &{}p_{l_3} \\ \hline \end{array}\), where \(k_1\ne k_3\) and \(l_1\ne l_3\) (see Fig. 10iii).
-
(2)
One of points \(p_{k_2}\), \(p_{l_2}\) is an inflexion point of \(M\). Let us assume that this is \(p_{k_2}\). Then (3.1) can be prolonged to \(\begin{array}{ccccc} p_{k_1} &{}\frown &{}p_{k_2}&{}\frown &{}p_{k_3} \\ \hline p_{l_1} &{}\frown &{}p_{l_2}&{}\frown &{}p_{l_1} \\ \hline \end{array}\), where \(k_1\ne k_3\) (see Fig. 10iv).
Since \(M\) is generic, at least one of the points \(p_{k_2}\), \(p_{l_2}\) is not an inflexion point of \(M\). \(\square \)
Remark 3.16
To avoid repetition in the union in Definition 3.11 we assume that no pair \(\begin{array}{c} p_k \\ \hline p_l \\ \hline \end{array}\) except the beginning and the end can appear twice in the glueing scheme. Furthermore, if the pair \(\begin{array}{c}p_k \\ \hline p_l \\ \hline \end{array}\) is in the glueing scheme than the pair \(\begin{array}{c} p_l \\ \hline p_k \\ \hline \end{array}\) does not appear unless they are the beginning and the end of the scheme.
The image of a glueing scheme under the \(\frac{1}{2}\)-point map \(\pi _{\frac{1}{2}}\) represents parts of branches of the Wigner caustic. If we equip the set of all possible glueing schemes with the inclusion relation, then this set is partially ordered.
There is only finite number of arcs from which we can construct branches of \({\text {E}}_{\frac{1}{2}}(M)\). Therefore we can define a maximal glueing scheme.
Definition 3.17
A maximal glueing scheme is a glueing scheme which is a maximal element of the set of all glueing schemes equipped with the inclusion relation.
Remark 3.18
If \(M\) is a generic regular convex curve, then the set of parallel arcs is equal to \(\Phi _0=\{\underline{{p_0}\frown {p_1}}, \underline{{p_1}\frown {p_0}}\}\). Then the only maximal glueing scheme is \(\begin{array}{ccc} p_0&{}\frown &{} p_1\\ \hline p_1&{}\frown &{} p_0\\ \hline \end{array}\)
Proposition 3.19
The set of all glueing schemes equipped with the inclusion relation is the disjoint union of totally ordered sets.
Proof
It follows from uniqueness of the prolongation of the glueing scheme (see Proposition 3.15). \(\square \)
Lemma 3.20
Let \(f:S^1\mapsto {\mathbb {R}}^2\) be the arc length parameterization of \(M\). Then
-
(i)
for every two different arcs \(\underline{{p_{k_1}}\frown {p_{k_2}}}\), \(\underline{{p_{l_1}}\frown {p_{l_2}}}\) in \(\Phi _i\) there exists exactly one maximal glueing scheme containing \(\begin{array}{ccc} p_{k_1} &{}\frown &{}p_{k_2} \\ \hline p_{l_1} &{}\frown &{}p_{l_2} \\ \hline \end{array}\) or \(\begin{array}{ccc} p_{k_2} &{}\frown &{}p_{k_1} \\ \hline p_{l_2} &{}\frown &{}p_{l_1} \\ \hline \end{array}\) or \(\begin{array}{ccc} p_{l_1} &{}\frown &{}p_{l_2} \\ \hline p_{k_1} &{}\frown &{}p_{k_2} \\ \hline \end{array}\) or \(\begin{array}{ccc} p_{l_2} &{}\frown &{}p_{l_1} \\ \hline p_{k_2} &{}\frown &{}p_{k_1} \\ \hline \end{array}\).
-
(ii)
every maximal glueing scheme is in the following form \(\begin{array}{ccccc} p_k &{}\frown &{}\ldots &{}\frown &{}p_{k'} \\ \hline p_l &{}\frown &{}\ldots &{}\frown &{}p_{l'} \\ \hline \end{array}\), where \(\{p_k, p_l\}=\{p_{k'},p_{l'}\}\) whenever \(p_k\ne p_l\) and \(p_{k'}\ne p_{l'}\).
-
(iii)
if \(p_k\) is an inflexion point of \(M\), then there exists a maximal glueing scheme which is in the form
$$\begin{aligned} \begin{array}{ccccccccc} p_k &{}\frown &{}p_{k_1}&{}\frown &{}\ldots &{}\frown &{}p_{k_n}&{}\frown &{}p_l \\ \hline p_k &{}\frown &{}p_{l_1}&{}\frown &{}\ldots &{}\frown &{}p_{l_n}&{}\frown &{}p_l \\ \hline \end{array}, \end{aligned}$$where \(p_l\) is a different inflexion point of \(M\) and \(p_{k_i}\ne p_{l_i}\) for \(i=1, 2, \ldots , n\).
Proof
(i) is a consequence of the uniqueness of the prolongation of a glueing scheme (see Proposition 3.15).
The proof of (ii) follows from (i) and the fact that the following equalities hold: \(\begin{array}{ccc} p_{k_1} &{}\frown &{}p_{k_2} \\ \hline p_{l_1} &{}\frown &{}p_{l_2} \\ \hline \end{array}=\begin{array}{ccc} p_{k_2} &{}\frown &{}p_{k_1} \\ \hline p_{l_2} &{}\frown &{}p_{l_1} \\ \hline \end{array}\) and \(\begin{array}{ccc} p_{k_1} &{}\frown &{}p_{k_2} \\ \hline p_{l_1} &{}\frown &{}p_{l_2} \\ \hline \end{array}=\begin{array}{ccc} p_{l_1} &{}\frown &{}p_{l_2} \\ \hline p_{k_1} &{}\frown &{}p_{k_2} \\ \hline \end{array}\).
To prove (iii) let us prolong \(\begin{array}{ccc} p_{k} &{}\frown &{}p_{k_1} \\ \hline p_{k} &{}\frown &{}p_{l_1} \\ \hline \end{array}\) to the maximal glueing scheme \({\mathcal {G}}\). Any point \(p_l\) in the sequence of division points \({\mathcal {S}}_{M}\) belongs to exactly two arcs in all sets of parallel arcs. Then by (ii) this maximal glueing scheme is in the following form
If (3.2) would contain some other inflexion point \(p_r\) in the middle, then (3.2) would contain the following part:
which is impossible by (i). \(\square \)
Theorem 3.21
The image of every maximal glueing scheme of \(M\) under the \(\frac{1}{2}\)-point map \(\pi _{\frac{1}{2}}\) is a branch of the Wigner caustic of \(M\) and all branches of the Wigner caustic can be obtained in this way.
Proof
Let \(f:S^1\rightarrow {\mathbb {R}}^2\) be the arc length parameterization of \(M\).
It is easy to see that
and then
where \(\sqcup \) denotes the disjoint union. Then by Proposition 3.10 we obtain that
Since \(\displaystyle {\text {E}}_{\frac{1}{2}} \left( \underline{{p_{k}}\frown {p_{l}}}\cup \underline{{p_{k'}}\frown {p_{l'}}}\right) =\pi _{\frac{1}{2}}\left( \begin{array}{ccc} p_{k} &{}\frown &{}p_{l} \\ \hline p_{k'} &{}\frown &{}p_{l'} \\ \hline \end{array}\right) =\pi _{\frac{1}{2}}\left( \begin{array}{ccc} p_{k'} &{}\frown &{}p_{l'} \\ \hline p_{k} &{}\frown &{}p_{l} \\ \hline \end{array}\right) \) and every arc \(\begin{array}{ccc} p_{k} &{}\frown &{}p_{l} \\ \hline p_{k'} &{}\frown &{}p_{l'} \\ \hline \end{array}\) is in exactly one maximal glueing scheme, then every branch of the Wigner caustic is the image of a maximal glueing scheme under the \(\frac{1}{2}\)-point map \(\pi _{\frac{1}{2}}\). \(\square \)
As a summary of this section we present an algorithm to find all maximal glueing schemes.
Algorithm 1
(Finding all maximal glueing schemes of a generic regular closed curve \(M\) parametrized by \(f:S^1\rightarrow {\mathbb {R}}^2\))
-
(1)
Find the set of local extrema of the angle function \(\varphi _{M}\) of \(M\) (see Definition 3.1 and Definition 3.2).
-
(2)
Find the sequence of local extrema (see Definition 3.5).
-
(3)
Find the sequence of division points (see Definition 3.6).
-
(4)
Find the sets of parallel arcs \(\Phi _i\) (see Definition 3.9).
-
(5)
Create the following set
$$\begin{aligned} \Lambda&:=\Big \{\big \{\underline{{p_{k_1}}\frown {p_{l_1}}}, \underline{{p_{k_2}}\frown {p_{l_2}}}\big \}: \underline{{p_{k_1}}\frown {p_{l_1}}} \ne \underline{{p_{k_2}}\frown {p_{l_2}}}, \\&\qquad \quad \exists _i\ \big (\underline{{p_{k_1}}\frown {p_{l_1}}} \in \Phi _i\wedge \underline{{p_{k_2}}\frown {p_{l_2}}}\in \Phi _i\big ) \vee \big (\underline{{p_{l_1}}\frown {p_{k_1}}}\in \Phi _i\wedge \underline{{p_{l_2}}\frown {p_{k_2}}}\in \Phi _i\big )\Big \}. \end{aligned}$$ -
(6)
If there exists a number k such that \(p_k\) is an inflexion point of \(M\) and there exists the set of arcs \(\left\{ \underline{{p_{k}}\frown {p_{l_1}}}, \underline{{p_k}\frown {p_{l_2}}}\right\} \) or \(\left\{ \underline{{p_{l_1}}\frown {p_k}}, \underline{{p_{l_2}}\frown {p_k}}\right\} \) in \(\Lambda \), create a glueing scheme \(\begin{array}{ccc} p_k &{} \frown &{} p_{l_1} \\ \hline p_k &{}\frown &{}p_{l_2} \\ \hline \end{array}\), remove the used set of arcs from \(\Lambda \) and go to step (7). Otherwise go to step (8).
-
(7)
If the created glueing scheme is of the form \(\begin{array}{ccc} \ldots &{}\frown &{} p_{k_1} \\ \hline \ldots &{}\frown &{}p_{l_1}\\ \hline \end{array}\) and there exists the set of arcs \(\left\{ \underline{{p_{k_1}}\frown {p_{k_2}}}, \underline{{p_{l_1}}\frown {p_{l_2}}}\right\} \) or \(\left\{ \underline{{p_{k_2}}\frown {p_{k_1}}}, \underline{{p_{l_2}}\frown {p_{l_1}}}\right\} \) in \(\Lambda \), then prolong the scheme to the following scheme \(\begin{array}{ccccc} \ldots &{}\frown &{} p_{k_1} &{}\frown &{}p_{k_2} \\ \hline \ldots &{}\frown &{} p_{l_1} &{}\frown &{}p_{l_2} \\ \hline \end{array}\), remove the used set of arcs from \(\Lambda \) and go to step (7), otherwise the considered glueing scheme is a maximal glueing scheme and then go to step (6).
-
(8)
If \(\Lambda \) is empty, then all maximal glueing schemes for \({\text {E}}_{\frac{1}{2}}(M)\) were created, otherwise find any set of arcs \(\left\{ \underline{{p_{k_1}}\frown {p_{l_1}}}, \underline{{p_{k_2}}\frown {p_{l_2}}}\right\} \) in \(\Lambda \), create a glueing scheme \(\begin{array}{ccc} p_{k_1} &{} \frown &{} p_{l_1} \\ \hline p_{k_2} &{}\frown &{}p_{l_2} \\ \hline \end{array}\), remove the used set of arcs from \(\Lambda \) and go to step (7).
3.1 An example of construction of branches of the Wigner caustic
Let \(M\) be a curve illustrated in Fig. 6. Then the sets of parallel arcs are as follows
Then there exist two maximal glueing schemes of \(M\):
By Proposition 4.3 the number of cusps of the branch which correspond to (3.4) is odd. By Corollary 4.4 in the glueing scheme (3.4) there are two parallel pairs containing an inflexion point of \(M\) – the pairs:
Therefore this branch of the Wigner caustic has exactly two inflexion points—see Fig. 11ii. The same conclusion holds for the glueing scheme (3.5) and the branch in Fig. 11i. In this case we exclude the first and the last parallel pair.
4 The geometry of the Wigner caustic of regular curves
In this section we start with propositions on numbers of inflexion points and cusp singularities of the Wigner caustic which follows from properties of maximal glueing schemes introduced in Sect. 3.
Proposition 4.1
Let \(M\) be a generic regular closed curve. If \(M\) has 2n inflexion points then there exist exactly n smooth branches of \({\text {E}}_{\frac{1}{2}}(M)\) connecting pairs of inflexion points on \(M\) and every inflexion point of \(M\) is the end of exactly one branch of \({\text {E}}_{\frac{1}{2}}(M)\). Other branches of \({\text {E}}_{\frac{1}{2}}(M)\) are closed curves.
Proof
It is a consequence of Lemma 3.20 and Theorem 3.21. \(\square \)
Lemma 4.2
Let \(C\) be a closed smooth curve with at most cusp singularities. If the rotation number of \(C\) is an integer, then the number of cusps of \(C\) is even and if the rotation number of \(C\) is a half-integer, then the number of \(C\) is odd.
Proof
A continuous normal vector field to the germ of a curve with a cusp singularity is directed outside the cusp on one of two connected regular components and is directed inside the cusp on the other component as it is illustrated in Fig. 12. That observation ends the proof. \(\square \)
Proposition 4.3
Let \(M\) be a generic regular closed curve. Let \(\mathbbm {n}_{M}\) be a unit continuous normal vector field to \(M\). Let \(C\) be a smooth branch of \({\text {E}}_{\frac{1}{2}}(M)\) which does not connect inflexion points. Then the number of cusps of \(C\) is odd if and only if the maximal glueing scheme of \(C\) is in the following form \(\begin{array}{ccccc} p_k &{}\frown &{} \ldots &{}\frown &{} p_l \\ \hline p_l &{}\frown &{} \ldots &{}\frown &{} p_k \\ \hline \end{array}\) and \(\mathbbm {n}_{M}(p_l)=-\mathbbm {n}_{M}(p_k)\).
Proof
If the normal vectors to \(M\) at \(p_{k}\) and \(p_{l}\) are opposite, then the rotation number of \(C\) is equal to \(\frac{r}{2}\), where r is an odd integer. By Lemma 4.2 the number of cusps in \(C\) is odd. Otherwise the rotation number of \(C\) is an integer, therefore the number of cusps of \(C\) is even.
By Proposition 2.9, Corollary 3.8 and Proposition 4.1 we get the following corollaries on inflexion points of branches of the Wigner caustic of \(M\).
Corollary 4.4
Let \(M\) be a generic regular closed curve. Let \(C\) be a smooth branch of the Wigner caustic of \(M\). Then the number of inflexion points of \(C\) is equal to the number of parallel pairs containing an inflexion point of \(M\) in the maximal glueing scheme for \(C\) unless they are the beginning or the end of the maximal glueing scheme which connects the inflexion points of \(M\).
Corollary 4.5
Let \(M\) be a generic regular closed curve. Let \(2n>0\) be the number of inflexion points of \(M\) and let \(\#{\mathcal {S}}_{M}=2m\). Then \({\text {E}}_{\frac{1}{2}}(M)\) has \(2m-2n\) inflexion points.
Now we study the properties of the Wigner caustic on shell, i.e. the branch of the Wigner caustic connecting two inflexion points, see Fig. 11i. We are interested in the parity of the number of cusps and the parity of the number of inflexion points on this branch.
Theorem 4.6
Let \(M\) be a generic regular closed curve. Let \(S^1\ni s\mapsto f(s)\in {\mathbb {R}}^2\) be a parameterization of \(M\), let \(f(t_1)\), \(f(t_2)\) be inflexion points of \(M\) and let \(C\) be a branch of the Wigner caustic of \(M\) which connects \(f(t_1)\) and \(f(t_2)\). Then the number of cusps of \(C\) is odd if and only if exactly one of the inflexion points \(f(t_1), f(t_2)\) is a singular point of the curve \(C\cup f\big ([t_1,t_2]\big )\).
Proof
By genericity of \(M\) the points \(f(t_1)\) and \(f(t_2)\) are ordinary inflexion points of \(M\).
By Corollary 4.8. in [10] we know that the germ of the Wigner caustic at an inflexion point of a generic curve \(M\) together with \(M\) are locally diffeomorphic to the following germ at (0, 0):
Let \(N=C\cup f\big ([t_1,t_2]\big )\). Then N is a closed curve. The germ of N at \(f(t_i)\) for \(i=1,2\) is locally diffeomorphic to one of the following germs at (0, 0):
In other points N has at most cusp singularities.
Note that the point (0, 0) is a singular point of the germ of type (4.1) and the point (0, 0) is a \(C^1\)-regular point of the germ of type (4.2) (see Fig. 13).
Let \(M\ni p\mapsto \mathbbm {n}_{M}(p)\in S^2\) be a continuous normal vector field to \(M\). Let us assume that the maximal glueing scheme for C has the following form
where \(k_1=l_1, k_n=l_n\). Without loss of generality we can assume that \(k_1<k_n\). Let us define a normal vector field \(\mathbbm {n}_{N}\) to N as follows:
-
\(\mathbbm {n}_{N}(p)=\mathbbm {n}_{M}(p)\) for \(p\in f\big ([t_1,t_2]\big )\),
-
\(\mathbbm {n}_{N}(p)=\mathbbm {n}_{M}(a)\) for \(p\in C\), where \(p=\frac{a+b}{2}\), a, b is a parallel pair of \(M\) such that there exists \(i\in \{1, 2, \ldots , n-1\}\) such that
$$\begin{aligned} a\in \underline{{p_{k_i}}\frown {p_{k_{i+1}}}}, b\in \underline{{p_{l_i}}\frown {p_{l_{i+1}}}}. \end{aligned}$$
The vector field \(\mathbbm {n}_{N}\) is a continuous unit normal field to N. The normal vector field around the points of type (4.1) and (4.2) is described in Fig. 13. Thus by the same argument as in the proof of Lemma 4.2 we can get that the total number of cusps and singularities of type (4.1) in N is even, so the number of cusps of C is odd if and only if exactly one of the inflexion points \(f(t_1), f(t_2)\) is of type (4.1). \(\square \)
In Fig. 5iii there is exactly one point of type (4.1), in Fig. 11i there is an even number of points of type (4.1).
Proposition 4.7
Let \(M\) be a regular curve. Let \((a,b)\ni s\mapsto f(s)\in {\mathbb {R}}^2\) be a parameterization of \(M\) and let \(f(s_0)\) be an ordinary inflexion point of \(M\). Let t be a smooth function-germ on \({\mathbb {R}}\) at \(s_0\) such that f(s), f(t(s)) is a parallel pair and \(\displaystyle \lim _{s\rightarrow s_0}t(s)=s_0\). Let \(\kappa _{M}(s)\) be the curvature of \(M\) at a point f(s). Then
Furthermore let C be a branch of the Wigner caustic which ends in \(f(s_0)\). If
then \(C\cup f\big ([s_0,b)\big )\) at \(f(s_0)\) is of type (4.1) if
and \(C\cup f\big ([s_0,b)\big )\) at \(f(s_0)\) is of type (4.2) if
Proof
Without loss of generality we may assume that locally
where \(\displaystyle F(s)=as^3+G(s)\), \(a\ne 0\) and \(s_0=0\), where \(G(s)\in m_1^4\), where \(m_n\) is the maximal ideal of smooth function-germs \({\mathbb {R}}^n\rightarrow {\mathbb {R}}\) vanishing at 0. Let us notice that (s, F(s)), (t, F(t)) is a parallel pair of \(M\) nearby f(0) if and only if \(s\ne t\) and
This is equivalent to
where \(H\in m_2^2\) and let \(P(s,t)=3as+3at+H(s,t)\). Let \(t:({\mathbb {R}},0)\rightarrow ({\mathbb {R}},0)\) be a function-germ at 0 such that
By the implicit function theorem the function-germ t is well defined, because \(\displaystyle \frac{\partial P}{\partial t}(0,0)=3a\ne 0\). By (4.8) we get that
It implies that
Since \(F'(s)=F'(t(s))\), then for \(s\ne 0\)
The condition (4.4) means that \(F^{(4)}(0)\ne 0\). It implies that \(M\) is not locally centrally symmetric around \(f(s_0)=(0,0)\).
The branch of the Wigner caustic which contains f(0) has the following parameterization
Therefore
Since \(C\cup f\big ([t_1, t_2]\big )\) at \(f(t_1)\) can be only of type (4.1) or (4.2), then \(C\cup f\big ([t_1,t_2]\big )\) at \(f(t_1)\) is of type (4.1) if and only if \(x_{\frac{1}{2}}'(s)f'(s)<0\) whenever \(s\rightarrow t_1^-\), therefore by (4.13) we get that \(1+t'(s)<0\). By (4.10) we get that \(t''(s)>0\) and by (4.11) we finish the proof. \(\square \)
Remark 4.8
Under the assumptions of Theorem 4.7 if locally \(f(s)=(s,F(s))\) then
Theorem 4.9
Let \(M\) be a generic regular closed curve. Let \(S^1\ni s\mapsto f(s)\in {\mathbb {R}}^2\) be a parameterization of \(M\), let \(f(s_1)\), \(f(s_2)\) be inflexion points of \(M\) and let \(C\) be a branch of the Wigner caustic of \(M\) which connects \(f(s_1)\) and \(f(s_2)\). Then the number of cusps of \(C\) is odd if and only if
where \(\kappa _{M}(s)\) denotes the curvature of \(M\) at f(s), the pairs \(f(s), f(t_1(s))\) and \(f(s), f(t_2(s))\) are parallel pairs such that \(t_i(s)\rightarrow s_i\) whenever \(s\rightarrow s_i\) and \(s<t_i(s)\) for the left-hand side neighborhood of \(s_i\) for \(i=1,2\).
Proof
By genericity of \(M\) we get that \(f(s_1)\) and \(f(s_2)\) are ordinary inflexion points. Then the theorem is a consequence of Theorem 4.6 and Proposition 4.7. \(\square \)
Now we study inflexion points on the Wigner caustic on shell.
Theorem 4.10
Let \(M\) be a generic regular closed curve. Let \(S^1\ni s\mapsto f(s)\in {\mathbb {R}}^2\) be a parameterization of \(M\) and let \(C\) be a branch of the Wigner caustic which connects two inflexion points \(f(t_1)\) and \(f(t_2)\) of \(M\). Then the number of inflexion points of \(C\) and the number of inflexion points of the arc \(f\big ((t_1,t_2)\big )\) are even.
Proof
Let \(\varphi _{M}:S^1\rightarrow S^1\) be the angle function of \(M\). By the genericity of \(M\) all local extrema of \(\varphi _{M}\) are different. Let
be the following continuous functions:
where continuous functions \(s_1, s_2:[0,T]\rightarrow S_1\) satisfy \(\varphi _{M}\big (s_1(t)\big )=\varphi _{M}\big (s_2(t)\big )\) and \(s_1(t)\ne s_2(t)\) for \(t\in (0,T)\).
Since \(f(t_1)\) is an inflexion point then \(\varphi _{M}(t_1)\) is a local extremum. Without loss of generality we assume that \(\varphi _{M}(t_1)\) is a local minimum. To prove that the number of inflexion points in \(f\big ((t_1,t_2)\big )\) is even it is enough to show that \(\varphi _{M}(t_2)\) is a local maximum.
The numbers of local maxima and local minima of \(\varphi _{M}\) are equal. Thus the difference between the number of local maxima and local minima of \(\varphi _{M}\Big |_{S^1-\{t_1\}}\) is one. For small \(\varepsilon >0\) the arcs \(\psi _1\big |_{[0,\varepsilon ]}\) and \(\psi _2\big |_{[0,\varepsilon ]}\) define the opposite orientations of the graph of \(\varphi _{M}\) and \(\varphi _{M}\circ s_i\big |_{[0,\varepsilon ]}\) increases. Let \(\varphi _{M}\big (s_i(\tilde{t})\big )\) for \(i=1\) or \(i=2\) be a local extremum of \(\varphi _{M}\) such that there are no extrema on \(\varphi _{M}\big (s_1(0,\tilde{t})\big )\) and \(\varphi _{M}\big (s_2(0,\tilde{t})\big )\). Since \(\varphi _{M}(t_1)\) is a local minimum then \(\varphi _{M}(s_i(\tilde{t}))\) is a local maximum and \(\psi _j(\tilde{t}-\varepsilon , \tilde{t}+\varepsilon )\) for \(j\ne i\) changes the orientation in \(\tilde{t}\) (see Fig. 15).
The numbers of local maxima and local minima of \(\varphi _{M}\Big |_{S^1-[t_1,\tilde{t}]}\) are equal but the arcs \(\psi _1\Big |_{[\tilde{t},\tilde{t}+\varepsilon ]}\) and \(\psi _2\Big |_{[\tilde{t},\tilde{t}+\varepsilon ]}\) define the same orientation of \(\text{ graph }\big (\varphi _{M}\big )\). Since the function \(\varphi _{M}\Big |_{[\tilde{t},\tilde{t}+\varepsilon ]}\) increases then the next extremum is a local minimum. The number of local minima decreases by 1 and the orientations are opposite after crossing the minimum. Thus the defined orientations are opposite if and only if the difference between the number of local maxima and local minima to cross is one. Since for small \(\varepsilon >0\) the arcs \(\psi _1\big |_{[T-\varepsilon ,T]}\) and \(\psi _2\big |_{[T-\varepsilon ,T]}\) define the opposite orientations of the graph of \(\varphi _{M}\), then \(\varphi _{M}(t_2)\) must be a local maximum.
A point \(\frac{1}{2}(a+b)\) is an inflexion point of \(C\) if and only if one of the points of the parallel pair a, b is an inflexion point of \(M\). The number of inflexion points of \(C\) is equal to the sum of the number of changes of the orientations of \(\psi _1\) and \(\psi _2\) because \(\psi _i(\tilde{t}-\varepsilon , \tilde{t}+\varepsilon )\) changes the orientation in \(\tilde{t}\) if and only if \(\varphi _{M}(s_i(\tilde{t}))\) is a local extremum. Since \(\varphi _{M}(t_1)\) is a minimum and \(\varphi _{M}(t_2)\) is a maximum, then the total number of changes of the orientations is even.
In Fig. 16 we illustrate a closed curve \(M\) and branches of the Wigner caustic between inflexion points of \(M\). In Fig. 17 we illustrate a closed curve \(M\) such that the branch of the Wigner caustic which connects two inflexion points of \(M\) has no inflexion points.
Lemma 4.11
Let \(C\) be a smooth closed curve with at most cusp singularities. Then the number of inflexion points of \(C\) is even.
Proof
If \(C\) is regular, i.e. has no cusp singularities, then by Lemma 3.4 we get that \(C\) has an even number of inflexion points. If \(C\) has cusp singularities, then we change \(C\) nearby each cusp in the way illustrated in Fig. 18 creating two more inflexion points. After this transformation of \(C\) we obtain a regular closed curve \(\widetilde{C}\) such that the parity of the numbers of inflexion points of \(\widetilde{C}\) and C are equal. Therefore the number of inflexion points of \(C\) is even.
Proposition 4.12
Let \(M\) be a generic regular closed curve. Then the number of inflexion points of each smooth branch of the Wigner caustic of \(M\) is even.
Proof
Let us notice that all branches of \({\text {E}}_{\frac{1}{2}}(M)\) except the branches of the Wigner caustic which connect two inflexion points of \(M\) are closed curves. So the result for these branches follows from Lemma 4.11. Otherwise it follows from Theorem 4.10.
5 The Wigner caustic of closed curves with at most 2 inflexion points
In this section we study the geometry of the Wigner caustic of closed regular curves with non-vanishing curvature (rosettes) and of closed regular curves with exactly two inflexion points.
Definition 5.1
A smooth curve \(\gamma : (s_1,s_2)\rightarrow {\mathbb {R}}^2\) is called a loop if it is a simple curve with non-vanishing curvature such that \(\displaystyle \lim {s\rightarrow s_1^+}\gamma (s)=\lim {s\rightarrow s_2^-}\gamma (s)\). A loop \(\gamma \) is called convex if the absolute value of its rotation number is not greater than 1, otherwise it is called non-convex.
We illustrate examples of loops in Fig. 19.
Theorem 5.2
([14]) The Wigner caustic of a loop has a singular point.
Theorem 5.3
Let \(C_{n}\) be a generic regular closed parameterized curve with non-vanishing curvature with rotation number equal to n. Then
-
(i)
the number of smooth branches of \({\text {E}}_{\frac{1}{2}}(C_n)\) is equal to n,
-
(ii)
at least \(\displaystyle \left\lfloor \frac{n}{2}\right\rfloor \) branches of \({\text {E}}_{\frac{1}{2}}(C_n)\) are regular closed parameterized curves with non-vanishing curvature,
-
(iii)
\(n-1\) branches of \({\text {E}}_{\frac{1}{2}}(C_n)\) have a rotation number equal to n and one branch has a rotation number equal to \(\frac{n}{2}\),
-
(iv)
every smooth branch of \({\text {E}}_{\frac{1}{2}}(C_n)\) has an even number of cusps if n is even,
-
(v)
exactly one branch of \({\text {E}}_{\frac{1}{2}}(C_n)\) has an odd number of cusps if n is odd,
-
(vi)
cusps of \({\text {E}}_{\frac{1}{2}}(C_n)\) created from loops of \(C_n\) are in the same smooth branch of \({\text {E}}_{\frac{1}{2}}(C_n)\),
-
(vii)
the total number of cusps of \({\text {E}}_{\frac{1}{2}}(C_n)\) is not smaller than 2,
Proof
Since the rotation number of \(C_n\) is n, for any point a in \(C_n\) there exist exactly \(2n-1\) points \(b\ne a\) such that a, b is a parallel pair of \(C_n\). Thus the set of parallel arcs has the following form
Let \({\text {E}}_{\frac{1}{2},k}(C_n)\) be a smooth branch of \({\text {E}}_{\frac{1}{2}}(C_n)\). We can create the following maximal glueing schemes.
-
A maximal glueing scheme of \({\text {E}}_{\frac{1}{2},k}(C_n)\) for \(k\in \{1,2,\ldots ,n-1\}\):
$$\begin{aligned} \begin{array}{ccccccccccccc} p_0 &{}\frown &{} p_1 &{}\frown &{} p_2 &{}\frown &{} \ldots &{}\frown &{} p_{2n-2} &{}\frown &{} p_{2n-1} &{}\frown &{} p_0 \\ \hline p_k &{}\frown &{} p_{k+1} &{}\frown &{} p_{k+2} &{}\frown &{} \ldots &{}\frown &{} p_{k-2} &{}\frown &{} p_{k-1} &{}\frown &{} p_k \\ \hline \end{array}. \end{aligned}$$ -
A maximal glueing scheme of \({\text {E}}_{\frac{1}{2},n}(C_n)\):
$$\begin{aligned} \begin{array}{ccccccccccc} p_0 &{}\frown &{} p_1 &{}\frown &{} p_2 &{}\frown &{} \ldots &{}\frown &{} p_{n-1} &{}\frown &{} p_n \\ \hline p_n &{}\frown &{} p_{n+1} &{}\frown &{} p_{n+2} &{}\frown &{} \ldots &{}\frown &{} p_{2n-1} &{}\frown &{} p_0 \\ \hline \end{array}. \end{aligned}$$
The total number of arcs of the glueing schemes for the Wigner caustic presented above is \(n(2n-1)\). By Proposition 3.14 the total number of different arcs of the Wigner caustic is equal to the same number. Thus there are no more maximal glueing schemes for the Wigner caustic of \(C_n\).
If \((a_0, a_1, \ldots , a_{2n-1})\) is a sequence of points in \(C_n\) with the order compatible with the orientation of \(C_n\) such that \(a_i, a_j\) is a parallel pair, then \(C_n\) is curved to the same side at \(a_i\) and \(a_j\) if and only if \(i-j\) is even. Thus branches \({\text {E}}_{\frac{1}{2},2}(C_n), {\text {E}}_{\frac{1}{2},4}(C_n), \ldots , {\text {E}}_{\frac{1}{2},2\cdot \left\lfloor \frac{n}{2}\right\rfloor }(C_n)\) are created from parallel pairs a, b in \(C_n\) such that \(C_n\) is curved to the same side at a and b and all the other branches of the Wigner caustic of \(C_n\) are created from parallel pairs a, b in \(C_n\) such that \(C_n\) is curved to different sides at a and b. By Corollaries 2.11 and 4.5 branches \({\text {E}}_{\frac{1}{2},2}(C_n), {\text {E}}_{\frac{1}{2},4}(C_n), \ldots , {\text {E}}_{\frac{1}{2},2\cdot \left\lfloor \frac{n}{2}\right\rfloor }(C_n)\) are regular closed parameterized curves with non-vanishing curvature.
By Proposition 4.3 the branch \({\text {E}}_{\frac{1}{2},n}(C_n)\) is the only branch of the Wigner caustic of \(C_n\) which has an odd number of cusps if n is odd.
We can see that the part of the Wigner caustic created from loops of \(C_n\) are all in \({\text {E}}_{\frac{1}{2}, 1}(C_n)\). Every \(C_n\) for \(n>1\) has at least one loop, so \({\text {E}}_{\frac{1}{2}, 1}(C_n)\) has at least one cusp, but because \({\text {E}}_{\frac{1}{2}, 1}(C_n)\) has an even number of cusps, then \({\text {E}}_{\frac{1}{2}, 1}(C_n)\) has at least two cusps. \(\square \)
In Fig. 20i we illustrate a curve of the type \(C_4\) and \({\text {E}}_{\frac{1}{2}}(C_4)\). In Fig. 20iii–vi we illustrate different smooth branches of \({\text {E}}_{\frac{1}{2}}(C_4)\).
Theorem 5.4
Let \(W_n\) be a generic closed curve with the rotation number n. Let \(W_n\) have exactly two inflexion points such that one of the arcs of \(W_n\) connecting inflexion points is an embedded curve with the absolute value of the rotation number smaller than \(\frac{1}{2}\). Then
-
(i)
the number of smooth branches of \({\text {E}}_{\frac{1}{2}}(W_n)\) is equal to \(n+1\),
-
(ii)
\(n-1\) branches of \({\text {E}}_{\frac{1}{2}}(W_n)\) have a rotation number equal to n and one branch has a rotation number equal to \(\frac{n}{2}\),
-
(iii)
\(n-1\) branches of \({\text {E}}_{\frac{1}{2}}(W_n)\) have four inflexion points and two branches have two inflexion points,
-
(iv)
every smooth branch of \({\text {E}}_{\frac{1}{2}}(W_n)\), except a branch connecting inflexion points of \(W_n\), has an even number of cusps if n is even,
-
(v)
exactly one smooth branch of \({\text {E}}_{\frac{1}{2}}(W_n)\), except a branch connecting inflexion points of \(W_n\), has an odd number of cusps if n is odd,
-
(vi)
cusps of \({\text {E}}_{\frac{1}{2}}(W_n)\) created from convex loops of \(W_n\) are in the same smooth branch of \({\text {E}}_{\frac{1}{2}}(W_n)\).
Proof
One can notice that the graph of the angle function \(\varphi _{W_n}\) has the form presented in Fig. 21. For that parameterization we get that \(f(s_0)\) and \(f(s_1)\) corresponds to inflexion points of \(W_{n}\) and the sets of the parallel arcs are as follows:
We proceed in the same way like in the proof of Theorem 5.3. \(\square \)
An example of a curve \(W_1\) and its Wigner caustic are illustrated in Fig. 11.
6 The Wigner caustic of whorls
In [3] waves with vacuum wavenumber k, travelling in the \(\xi \) direction, incident normally on a medium that varies periodically and weakly in the \(\eta \) direction were studied. This problem describes the diffraction of light by ultrasound and diffraction of beams of atoms by beams of light and dynamics of a quantum particle in an optical lattice potential ([8]).
In natural dimensionless variables \(y=\frac{1}{2}q\eta \), \(x=q\sqrt{\frac{n_1}{n_0}}\xi \) (for details see [3]) the rays regarded as curves \(\eta (\xi )\) are described in the following way:
where \(0\leqslant x<\infty \) and \(-\frac{\pi }{2}\leqslant t\leqslant \frac{\pi }{2}\), K(m) is the elliptic function, \(\mathrm{sn}(n|m)\) and \(\mathrm{cn}(n|m)\) are Jacobi’s elliptic sine and Jacobi’s cosine functions, respectively. In Fig. 22 we illustrate a surface parameterized by
For fixed values of x in (6.1) we obtain so-called whorls ([3]) or rainbow diagrams ([8])—see Fig. 23.
Catastrophic manifolds of the semiclassical Wigner catastrophes are formed by the Wigner caustic of a fixed whorl and by the whorl by itself ([8]). It is worth mentioning that by its construction ([3]), whorls are \(\pi \)-periodic in the y-value (see Fig. 24).
We illustrate the Wigner caustic of the periodic whorl from Fig. 24 in Fig. 25. Notice that every center of symmetry of the \(\pi \)-whorl belongs to the Wigner caustic.
Now, we explain why the Wigner caustic of the whorl for \(x=\pi \) has singular points. We apply a result on existence of singular points of the Wigner caustic ([14]).
Proposition 6.1
(Proposition 3.7 in [14]) Let \({\mathcal {F}}_0\) and \({\mathcal {F}}_1\) be embedded regular curves with endpoints p, \(q_0\) and p, \(q_1\), respectively. Let \(\ell _0\) be the line through \(q_1\) parallel to \(T_p{\mathcal {F}}_0\) and let \(\ell _1\) be the line through \(q_0\) parallel to \(T_p{\mathcal {F}}_1\). Let \(c=\ell _0\cap \ell _1\), \(b_0=\ell _0\cap T_p{\mathcal {F}}_1\), \(b_1=\ell _1\cap T_p{\mathcal {F}}_0\). Let us assume that
-
(i)
the line \(T_p{\mathcal {F}}_0\) is parallel to \(T_{q_1}{\mathcal {F}}_1\), and the line \(T_{q_0}{\mathcal {F}}_0\) is parallel to \(T_p{\mathcal {F}}_1\),
-
(ii)
the curvature of \({\mathcal {F}}_i\) for \(i=0,1\) does not vanish at any point,
-
(iii)
absolute values of rotation numbers of \({\mathcal {F}}_0\) and \({\mathcal {F}}_1\) are the same and smaller than \(\frac{1}{2}\),
-
(iv)
for every point \(a_i\) in \({\mathcal {F}}_i\) there is exactly one point \(a_j\) in \({\mathcal {F}}_j\) such that \(a_i,a_j\) is a parallel pair for \(i\ne j\),
-
(v)
\({\mathcal {F}}_0\), \({\mathcal {F}}_1\) are curved to different sides at every parallel pair \(a_0,a_1\) such that \(a_i\in {\mathcal {F}}_i\) for \(i=0,1\).
Let \(\rho _{\mathrm{max}}\) (respectively \(\rho _{\mathrm{min}}\)) be the maximum (respectively the minimum) of the set \(\displaystyle \left\{ \frac{c-b_1}{q_1-b_1}, \frac{c-b_0}{q_0-b_0}\right\} \). If \(\rho _{\mathrm{max}}<1\) or \(\rho _{\mathrm{min}}>1\), then the Wigner caustic of \({\mathcal {F}}_0\cup {\mathcal {F}}_1\) has a singular point.
In Fig. 26 we present a \(\pi \)-whorl with tangent lines for parameters: \(t=-0.125\), \(t\approx -1.40562\), \(t=-0.4\), \(t\approx -1.4511\), together with parallel arcs with endpoints at these points. In Fig. 27 we illustrate translated parallel arcs from Fig. 26, which fulfil assumptions of Proposition 6.1. Therefore, the Wigner caustic created from parallel arcs in Fig. 26 has a singular point. This method can be applied for other whorls, too.
Furthermore, notice that the tangent lines to the \(\pi \)-whorl at the points \(a_0=(0,0)\), \(a=(0,1)\), \(b=(0,-1)\) are horizontal, and \(a_0\) is an inflexion point of the \(\pi \)-whorl. Hence, by Proposition 2.9 the points \(\frac{a_0+a}{2}=(0, 0.5)\) and \(\frac{a_0+b}{2}=(0, -0.5)\) are inflexion points of the Wigner caustic of the \(\pi \)-whorl. These points are nearby singular points of the Wigner caustic of the \(\pi \)-whorl.
For more figures of the whorls and its Wigner caustics see [8].
Data Availability Statement
We do not generate any data for or from this research.
References
Berry, M.V.: Semi-classical mechanics in phase space: a study of Wigners function. Philos. Trans. R. Soc. Lond. A 287, 237–271 (1977)
Berry, M.V., Balazs, N.L.: Evolution of semiclassical quantum states in phase space. J. Phys. A Math. Gen. 12, 625–642 (1979)
Berry, M.V., ODell, D.H.J.: Ergodicity in wave-wave diffraction. J. Phys. A Math. Gen. 32, 3571–3582 (1999)
Berry, M.V., Wright, F.J.: Phase-space projection identities for diffraction catastrophes. J. Phys. A Math. Gen. 13, 149–160 (1980)
Craizer, M., Domitrz, W., Rios, P.D.M.: Even dimensional improper affine spheres. J. Math. Anal. Appl. 421, 1803–1826 (2015)
Craizer, M., Domitrz, W., Rios, P.D.M.: Singular improper affine spheres from a given Lagrangian submanifold. Adv. Math. 374, 107326 (2020)
Cufi, J., Gallego, E., Reventós, A.: A note on hurwitzs inequality. J. Math. Anal. Appl. 458, 436–451 (2018)
Ćosić, M., Petrović, S., Bellucci, S.: On the phase-space catastrophes in dynamics of the quantum particle in an optical lattice potential. Chaos 30, 103107 (2020)
Domitrz, W., Janeczko, S., Rios, P.D.M., Ruas, M.A.S.: Singularities of Affine Equidistants: extrinsic geometry of surfaces in 4-space. Bull. Braz. Math. Soc. 47(4), 1155–1179 (2016)
Domitrz, W., Manoel, M., Rios, P.D.M.: The Wigner caustic on shell and singularities of odd functions. J. Geom. Phys. 71, 58–72 (2013)
Domitrz, W., Rios, P.D.M.: Singularities of Equidistants and global centre symmetry sets of Lagrangian submanifolds. Geom. Dedicata 169, 361–382 (2014)
Domitrz, W., Rios, P.D.M., Ruas, M.A.S.: Singularities of affine equidistants: projections and contacts. J. Singul. 10, 67–81 (2014)
Domitrz, W., Romero Fuster, M.C., Zwierzyński, M.: The geometry of the secant caustic of a planar curve. Differ. J. Appl. 78, 101797 (2021)
Domitrz, W., Zwierzyński, M.: Singular points the Wigner caustic and affine equidistants of planar curves. Bull. Braz. Math. Soc. New Series 51, 11–26 (2020)
Domitrz, W., Zwierzyński, M.: The Gauss-Bonnet theorem for coherent tangent bundles over surfaces with boundary and its applications. J. Geom. Anal. 30, 3243–3274 (2020)
Giblin, P.J., Holtom, P.A.: The centre symmetry set, geometry and topology of caustics, vol. 50, pp. 91-105. Banach Center Publications, Warsaw (1999)
Giblin, P.J., Kimia, B.B.: Local forms and transitions of the medial axis. In: Siddiqi, K., Pizer, S. (eds.) Medial Representations: Mathematics, Algorithms and Applications. Springer, Berlin (2008)
Giblin, P.J., Reeve, G.M.: Centre symmetry sets of families of plane curves. Demonstr Math 48, 167–192 (2015)
Giblin, P.J., Warder, J.P., Zakalyukin, V.M.: Bifurcations of affine equidistants. Proc. Steklov Inst. Math. 267, 57–75 (2009)
Giblin, P.J., Zakalyukin, V.M.: Singularities of centre symmetry sets. Proc. London Math. Soc. (3) 90, 132–166 (2005)
Golubitsky, M., Guillemin, V.: Stable Mappings and Their Singularities. Springer, Berlin (1974)
Góźdź, S.: An antipodal set of a periodic function. J. Math. Anal. App. 148, 11–21 (1990)
Ozorio de Almeida, A.M., Hannay, J.: Geometry of two dimensional tori in phase space: projections. Sect. Wigner Funct. Annal. Phys. 138, 115–154 (1982)
Janeczko, S.: Bifurcations of the center of symmetry. Geom. Dedicata 60, 9–16 (1996)
Janeczko, S., Jelonek, Z., Ruas, M.A.S.: Symmetry defect of algebraic varieties. Asian J. Math. 18(3), 525–544 (2014)
Laugwitz, D.: Differential and Riemannian Geometry. Academic Press, New York/ London (1965)
Martinez-Maure, Y.: New notion of index for hedgehogs of \({\mathbb{R}}^3\) and applications, rigidity and related topics in geometry. Eur. J. Combin. 31, 1037–1049 (2010)
Martinez-Maure, Y.: Uniqueness results for the Minkowski problem extended to hedgehogs. Central Eur. J. Math. 10, 440–450 (2012)
Schneider, R.: Reflections of Planar Convex Bodies, Convexity and Discrete Geometry Including Graph Theory, 69–76. Springer (2016)
Schneider, R.: The Middle Hedgehog of a Planar Convex Body, Beitrage zur Algebra und Geometrie, https://doi.org/10.1007/s13366-016-0315-5
Wigner, E.: On the quantum correction for thermodynamic equilibrium. Phys. Rev. 40(5), 749–759 (1932). https://doi.org/10.1103/physrev.40.749
Wolfram Research, Inc.: Mathematica, Version 9.0
Zakalyukin, V.M.: Envelopes of families of wave fronts and control theory. Proc. Steklov Math. Inst. 209, 133–142 (1995)
Zhang, D.: A mixed symmetric chernoff type inequality and its stability properties. J. Geom. Anal. 31(5), 5418–5436 (2021)
Zhang, D.: The lower bounds of the mixed isoperimetric deficit. Bull. Malays. Math. Sci. Soc. 44, 2863–2872 (2021)
Zwierzyński, M.: The Global Centre Symmetry Set for Curves and Surfaces, MSc thesis (in Polish), (2013)
Zwierzyński, M.: The improved isoperimetric inequality and the Wigner caustic of planar ovals. J. Math. Anal. Appl 442(2), 726–739 (2016)
Zwierzyński, M.: The Constant Width Measure Set, the Spherical Measure Set and Isoperimetric Equalities for Planar Ovals, arXiv:1605.02930
Zwierzyński, M.: Isoperimetric equalities for rosettes. Int. J. Math. 31(5), 2050041 (2020)
Acknowledgements
The authors benefitted from the hospitality of the Faculty of Mathematics of the University of Valencia during the preparation of this manuscript. Special thanks to their host, M. Carmen Romero Fuster, for suggesting the subject of this paper and many useful comments. The authors also thank Zbigniew Szafraniec for fruitful discussions and suggestions.
Author information
Authors and Affiliations
Corresponding author
Ethics declarations
Conflict of interests
The authors declare that there is no conflict of interests.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The work of W. Domitrz and M. Zwierzyński was partially supported by NCN grant no. DEC-2013/11/B/ST1/03080.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Domitrz, W., Zwierzyński, M. The geometry of the Wigner caustic and a decomposition of a curve into parallel arcs. Anal.Math.Phys. 12, 7 (2022). https://doi.org/10.1007/s13324-021-00617-x
Received:
Revised:
Accepted:
Published:
DOI: https://doi.org/10.1007/s13324-021-00617-x