Singular Points of the Wigner Caustic and Affine Equidistants of Planar Curves
 80 Downloads
Abstract
In this paper we study singular points of the Wigner caustic and affine \(\lambda \)equidistants of planar curves based on shapes of these curves. We generalize the Blaschke–Süss theorem on the existence of antipodal pairs of a convex curve.
Keywords
Wigner caustic Affine equidistants Singularities Planar curves Semiclassical dynamicsMathematics Subject Classification
53A04 53A15 58K05 81Q201 Introduction
The famous BlaschkeSüss theorem states that there are at least three pairs of antipodal pairs on an oval (Góźdź 1990; Laugwitz 1965). We recall that a pair of points on an oval is an antipodal pair if the tangent lines are parallel at these points and curvatures are equal. The Wigner caustic is a locus of midpoints of chords connecting points on a curve with parallel tangent lines (Berry 1977; Domitrz et al. 2013; Domitrz and de M Rios 2014; Domitrz and Zwierzyński 2016; Ozorio de Almeida and Hannay 1982). The singular points of the Wigner caustic of an oval come exactly from the antipodal pairs. The Wigner caustic was first considered by Berry in Berry (1977) on the study of Wigner’s phasespace representation of quantum states. Recently many interesting properties of the Wigner caustic were investigated. For instance the typical behavior of convex bodies in \(\mathbb {R}^2\) were studied by Schneider using the middle hedgehog (Schneider 2016, 2017) which is a natural generalization of the Wigner caustic for nonsmooth ovals. Furthermore the absolute value of the oriented area of the Wigner caustic improves the classical isoperimetric inequality for ovals (Zwierzyński 2016a, b) and improves the isoperimetric defect in the reverse isoperimetric inequality (Cufi et al. 2018). Let us also notice the use of this set in the affine geometry. It leads to the construction of bidimensional improper affine spheres (Craizer et al. 2015). The Wigner caustic is an example of an affine \(\lambda \)equidistant, which is the locus of points dividing chords connecting points on \({M}\) with parallel tangent lines in a fixed ratio \(\lambda \) (Domitrz et al. 2014, 2016; Domitrz and Zwierzyński 2016; Zakalyukin 1995).
In this paper we study singular points of Wigner caustic and affine equidistants of a planar curve. We prove theorems on existence of singular points based on the shape of the curve. In particular we find a generalization of the BlaschkeSüss theorem (see Theorem 3.2).
In Sect. 2 we briefly sketch the known results on the Wigner caustic and affine equidistants. Then we proceed with the study of tangent lines and curvatures of affine equidistants and thanks to it we obtain many global results concerning properties of affine equidistants. Among other things we derive a formula for the number of their inflexion points, we prove that it is possible to reconstruct the original convex curve from any affine equidistants except the Wigner caustic and we show that any equidistant, except the Wigner caustic, (for a generic \(\lambda \)) of a generic closed convex curve has an even number of cusp singularities.
In Sect. 3 theorems on existence of singularities of affine equidistants and the Wigner caustic are proved and some applications are indicated.
The methods used in this paper can be also applied to study singular points of the secant caustic (Domitrz et al. 2018).
2 Properties of the Wigner Caustic and Affine Equidistants
A smooth parameterized curve M on the affine plane \(\mathbb {R}^2\) is the image of a \(C^{\infty }\) smooth map \(f: I\rightarrow \mathbb {R}^2\), where I is an open interval in \(\mathbb {R}\). The image of a \(C^{\infty }\) map \(f: S^1\rightarrow \mathbb {R}^2\) is called a smooth closed curve. The map f is called the parameterization of M.
A point \(f(s_0)\) is called a regular point of M if \(f^{\prime }(s_0)\ne 0\), where f is the parameterization of M. If every point of a smooth curve is a regular point, then the curve is called regular. If a point \(f(s_0)\) is not a regular point (i.e. \(f^{\prime }(s_0)=0\)), then we call it a singular point. A curve is called singular if it has a singular point.
A curve with no intersection points is called simple. A regular simple closed curve is a convex curve if its curvature does not vanish.
Definition 2.1
A pair of different points a, b in \({M}\) is called a parallel pair if the lines \(T_aM\) and \(T_bM\) are parallel.
Definition 2.2
Definition 2.3
The Centre Symmetry Set of \({M}\) (\({\text {CSS}}({M})\)) is the envelope of lines joining parallel pairs of \({M}\).
Let us briefly sketch the known results on the geometry of affine \(\lambda \)equidistants and the Centre Symmetry Set (see Fig. 1). Let \({M}\) be a generic convex curve. Then \({\text {CSS}}({M})\), \(E_{\frac{1}{2}}(M)\) and \({\text {E}}_{\lambda }({M})\) for a generic \(\lambda \) are smooth closed curves which can have only cusp singularities (Berry 1977; Giblin and Holtom 1999; Giblin and Zakalyukin 2005; Janeczko 1996). Furthermore regular parts of \({\text {CSS}}({M})\) are formed by cusp singularities of \({\text {E}}_{\lambda }({M})\) (Giblin and Zakalyukin 2005). Both: the number of cusp singularities of \(E_{\frac{1}{2}}(M)\) and the number of cusp singularities of \({\text {CSS}}(M)\), are odd and not smaller than 3 (Berry 1977; Giblin and Holtom 1999; Góźdź 1990) and the number of cusp singularities of \(E_{\frac{1}{2}}(M)\) is not greater than the number of cusp singularities of \({\text {CSS}}(M)\) (Domitrz and de M Rios 2014). We will show that the number of cusps of \({\text {E}}_{\lambda }({M})\) for a generic \(\lambda \ne \frac{1}{2}\) is even (Theorem 2.16). Bifurcations of affine \(\lambda \)equidistants were studied in details in Giblin and Reeve (2015), Giblin et al. (2009), Janeczko et al. (2014). The global geometry of the Wigner caustic and other affine \(\lambda \)equidistants were studied in Domitrz and Zwierzyński (2016). The geometry of an affine extended wave front, i.e. the set \(\bigcup _{\lambda \in [0,1]}\{\lambda \}\times E_{\lambda }(M)\) was studied in Domitrz and Zwierzyński (2018). Let p be a inflexion point of \({M}\). Then \({\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 (Berry 1977; Domitrz et al. 2013; Giblin and Holtom 1999; Giblin et al. 2009). The geometry of this branch of the Wigner caustic, which is called the Wigner caustic on shell, is studied in Domitrz and Zwierzyński (2016).
Let us denote by \(\kappa _{{M}}(p)\) the signed curvature of \({M}\) at p.
If a, b is a parallel pair of \({M}\) such that local parameterizations of \({M}\) nearby points a and b are in opposite directions and \(\kappa _{{M}}(a)+\kappa _{{M}}(b)\ne 0\), then the point \( \frac{\kappa _{{M}}(a)\cdot a+\kappa _{{M}}(b)\cdot b}{\kappa _{{M}}(a)+\kappa _{{M}}(b)}\) belongs to \({\text {CSS}}({M})\) (Giblin and Holtom 1999).
By direct calculations we get the following lemma.
Lemma 2.4
Let \({M}\) be a closed 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=\lambda a+(1\lambda )b\) be a regular point of \({\text {E}}_{\lambda }({M})\) and let \( q=\frac{\kappa _{{M}}(a)\cdot a+\kappa _{{M}}(b)\cdot b}{\kappa _{{M}}(a)+\kappa _{{M}}(b)}\) be a regular point of \({\text {CSS}}({M})\).
 (i)
the tangent line to \({\text {E}}_{\lambda }({M})\) at p is parallel to the tangent lines to \({M}\) at a and b.
 (ii)the curvature of \({\text {E}}_{\lambda }({M})\) at p is equal to$$\begin{aligned} \kappa _{{\text {E}}_{\lambda }({M})}(p)=\frac{\kappa _{{M}}(a)\kappa _{{M}}(b)}{\left \lambda \kappa _{{M}}(b)(1\lambda )\kappa _{{M}}(a)\right }. \end{aligned}$$
 (iii)the curvature of \({\text {CSS}}({M})\) at q is equal to where Open image in new window is a tangent unit vector field compatible with the orientation of \({M}\) at a.
Lemma 2.4(ii–iii) implies the following propositions.
Proposition 2.5
(Giblin and Zakalyukin 2005) Let a, b be a parallel pair of a generic regular curve \({M}\), such that \({M}\) is parameterized at a and b in opposite directions and \(\kappa _{{M}}(b)\ne 0\). Then the point \(\lambda a+(1\lambda )b\) is a singular point of \({\text {E}}_{\lambda }({M})\) if and only if \(\frac{\kappa _{{M}}(a)}{\kappa _{{M}}(b)}=\frac{\lambda }{1\lambda }\).
Proposition 2.6
(Domitrz and Zwierzyński 2016) Let a, b be a parallel pair of a generic regular closed curve \({M}\) and let \(\lambda \ne 0, 1\). Then \(\lambda a+(1\lambda )b\) and \((1\lambda )a+\lambda b\) are inflexion points of \({\text {E}}_{\lambda }({M})\) if and only if one of the points a, b is an inflexion point of \({M}\).
Corollary 2.7
If \({M}\) is a convex curve, then \({\text {E}}_{\lambda }({M})\) for \(\lambda \in \mathbb {R}\) and \({\text {CSS}}({M})\) have no inflexion points.
Let \(\tau _{p}\) denote the translation by a vector \(p\in \mathbb {R}^2\).
Definition 2.8
A curve \({M}\) is curved in the same side ataandb (resp. curved in the 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 _{ab}({M})\) at \(a=\tau _{ab}(b)\) lie on the same side (resp. on the different sides) of the tangent line to \({M}\) at a.
Proposition 2.9
 (i)
If \({M}\) is curved in the same side at a parallel pair a, b, then \(\lambda a+(1\lambda )b\) is a \(C^{\infty }\) regular point of \({\text {E}}_{\lambda }({M})\) for \(\lambda \in (0,1)\).
 (ii)
If \({M}\) is curved in the different sides at a parallel pair a, b, then \(\lambda a+(1\lambda )b\) is a \(C^{\infty }\) regular point of \({\text {E}}_{\lambda }({M})\) for \(\lambda \in (\infty ,0)\cup (1,\infty )\).
Definition 2.10
The tangent line of\({\text {E}}_{\lambda }({M})\)at a cusp pointp is the limit of a sequence of 1dimensional vector spaces \(T_{q_n}{M}\) in \(\mathbb {R}P^1\) for any sequence \(q_n\) of regular points of \({\text {E}}_{\lambda }({M})\) converging to p.
By Lemma 2.4(i) the tangent line to \({\text {E}}_{\lambda }({M})\) at the cusp point \(\lambda a+(1\lambda )b\) is parallel to the tangent lines to \({M}\) at a and b.
Definition 2.11
Let \(\lambda \ne \frac{1}{2}\). The normal vector field to \({\text {E}}_{\lambda }({M})\) at the point \(\lambda a+(1\lambda )b\) is equal to the normal vector field to \({M}\) at the point a.
Remark 2.12
If \({M}\) is convex we have the well defined continuous normal vector field on the double covering \({M}\) of \({\text {E}}_{\frac{1}{2}}({M})\), namely: \({M}\ni a\mapsto \frac{a+b}{2}\in {\text {E}}_{\frac{1}{2}}({M})\).
Let us notice that the continuous normal vector field to \({\text {E}}_{\lambda }({M})\) at regular and cusp points is perpendicular to the tangent line to \({\text {E}}_{\lambda }({M})\). Using this fact and the above definition we define the rotation number in the following way.
Definition 2.13
The rotation number of a smooth curve \({M}\) with well defined continuous normal vector field is the rotation number of this vector field.
Moreover by Lemma 2.4(i) we can easily get the next two propositions.
Proposition 2.14
Let \({M}\) be a generic regular closed curve in \(\mathbb {R}^2\). If l is a bitangent line to \({M}\) at points a, b, then \({\text {E}}_{\lambda }({M})\) is tangent to l at points \(\lambda a+(1\lambda )b\) and \((1\lambda )a+\lambda b\).
If \({M}\) is a convex curve, then for any line l in \(\mathbb {R}^2\) there exist exactly two points \(a,b\in {M}\) in which the tangent lines to \({M}\) at a and b are parallel to l. Also there exists exactly one parallel pair a, b of \({M}\) such that chord passing through a and b is parallel to l. Therefore we get the following proposition.
Proposition 2.15
 (i)
there exists exactly one point p in \( {\text {E}}_{\frac{1}{2}}({M})\) such that the tangent line to \({\text {E}}_{\frac{1}{2}}({M})\) at p is parallel to l.
 (ii)
there exist exactly two different points \(p_1,p_2\) in \({\text {E}}_{\lambda }({M})\) for \(\lambda \ne \frac{1}{2}\), such that the tangent lines to \({\text {E}}_{\lambda }({M})\) at \(p_1\) and \(p_2\) are parallel to l.
 (iii)
there exists exactly one point p in \({\text {CSS}}({M})\) such that the tangent line to \({\text {CSS}}({M})\) at p is parallel to l (Giblin and Holtom 1999).
Theorem 2.16
Let \({M}\) be a generic convex curve. Then the number of cusps of \({\text {E}}_{\lambda }({M})\) for a generic \(\lambda \ne \frac{1}{2}\) is even and the number of cusps of \({\text {E}}_{\frac{1}{2}}({M})\) is odd.
Proof
For a generic convex curve \({M}\), \({\text {E}}_{\frac{1}{2}}({M})\) has got only cusp singularities and the same statement holds for \({\text {E}}_{\lambda }({M})\) for a generic \(\lambda \ne \frac{1}{2}\). Without loss of generality we may assume that \({M}\) is positively oriented.
Let \(P: {M}\rightarrow {M}\) maps a point a to the point \(b\ne a\) such that a, b is a parallel pair. This map is well defined on a convex curve \({M}\). If \(f: S^1\rightarrow \mathbb {R}^2\) is a parameterization of \({M}\), then \(S^1\ni s\mapsto \lambda f(s)+(1\lambda )P(f(s))\in {\text {E}}_{\lambda }({M})\) is a parameterization of \({\text {E}}_{\lambda }({M})\) for \(\lambda \ne \frac{1}{2}\) and it is a double covering of \({\text {E}}_{\frac{1}{2}}({M})\). The normal vector to \({\text {E}}_{\lambda }({M})\) at \(\lambda f(s)+(1\lambda )P(f(s))\) is the normal vector to \({M}\) at f(s), so the rotation number of \({\text {E}}_{\lambda }({M})\) for \(\lambda \ne \frac{1}{2}\) is equal to the rotation number of \({M}\), which is 1 for positively oriented convex curves, and the rotation number of \({\text {E}}_{\frac{1}{2}}({M})\) is equal to \(\frac{1}{2}\).
A continuous normal vector field to the germ of a curve with the cusp singularity is directed outside the cusp on the one of two connected regular components and is directed inside the cusp on the other component as it is illustrated in Fig. 3. Since the rotation number of \({\text {E}}_{\lambda }({M})\) for \(\lambda \ne \frac{1}{2}\) is 1, the number of cusps of \({\text {E}}_{\lambda }({M})\) for \(\lambda \ne \frac{1}{2}\) is even and the number of cusps of \({\text {E}}_{\frac{1}{2}}({M})\) is odd because the rotation number of \({\text {E}}_{\frac{1}{2}}({M})\) is equal to \(\frac{1}{2}\). The last statement has been proved by M. Berry in Berry (1977) using a different method. \(\square \)
In Berry (1977), Laugwitz (1965) it is proved by analytical methods that the number of cusp singularities of the Wigner caustic of a generic convex curve is odd and not smaller than 3. We present an elementary proof of this fact for the Wigner caustic and the Centre Symmetry Set.
Proposition 2.17
Let \({M}\) be a generic convex curve. Then the number of cusps of \({\text {CSS}}({M})\) and \({\text {E}}_{\frac{1}{2}}({M})\) is not smaller than 3.
Proof
The number of cusps of the Wigner caustic is odd (see Theorem 2.16 or Berry 1977). Let us assume that the Wigner caustic has got exactly one cusp. Let \(p_c\) be the cusp point. Let us consider the line l, which is tangent to \({\text {E}}_{\frac{1}{2}}({M})\) at \(p_c\). Let \(d_l(a)\) be the distance between a point \(a\in {\text {E}}_{\frac{1}{2}}({M})\) and l. Since \(d_l(p_c)=0\) and every point \(a\in {\text {E}}_{\frac{1}{2}}({M})\) such that \(a\ne p_c\) is a regular point of \({\text {E}}_{\frac{1}{2}}({M})\), there exists a point \(a_m\) such that \(d_l(a_m)\) is a maximum value of \(d_l\) (see Fig. 4). Then the tangent line to the Wigner caustic at \(a_m\) is parallel to l, which is impossible by Proposition 2.15(i).
By Proposition 2.15(iii), the proof for \({\text {CSS}}({M})\) is similar. \(\square \)
Proposition 2.18
 (i)If \(\lambda \ne \frac{1}{2}\), then$$\begin{aligned} {\text {E}}_{\delta }\left( {\text {E}}_{\lambda }({M})\right) ={\text {E}}_{\delta (1\lambda )+\lambda (1\delta )}({M}). \end{aligned}$$
 (ii)If \(\lambda \ne \frac{1}{2}, \delta \ne \frac{1}{2}\), then$$\begin{aligned} {\text {CSS}}({\text {E}}_{\lambda }({M}))={\text {CSS}}({\text {E}}_{\delta }({M})). \end{aligned}$$
Proof
Let a, b be a parallel pair of \({M}\). By Theorem 2.4(i) \(p=\lambda a+(1\lambda )b\), \(q=(1\lambda )a+\lambda b\) is a parallel pair of \({\text {E}}_{\lambda }({M})\) and by Proposition 2.15 there are no more points on \({\text {E}}_{\lambda }({M})\) for which tangent lines at them are parallel to tangent lines at p, q. Then \(r=\delta p+(1\delta )q\) is a point of \({\text {E}}_{\delta }\left( {\text {E}}_{\lambda }({M})\right) \) and one can get that \(r=(1\Lambda )a+\Lambda b\) where \(\Lambda =\delta (1\lambda )+\lambda (1\delta )\). Any equidistant of \({M}\), except the Wigner caustic, has the same collection of chords joining parallel pairs on them, then the Centre Symmetry Set of any equidistant, as an envelope of these lines, is the same set. \(\square \)
By Proposition 2.18 we get the following corollary on reconstruction of the original curve from its affine equidistant and the stability of the Wigner caustic.
Corollary 2.19
3 Existence of a Singular Point of an Affine \(\lambda \)Equidistant
Definition 3.1
A simple smooth curve \(\gamma : (s_1,s_2)\rightarrow \mathbb {R}^2\) with nonvanishing curvature is called a loop if \(\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 nonconvex.
We illustrate examples of loops in Fig. 5.
Theorem 3.2
The Wigner caustic of a loop has a singular point.
Theorem 3.2 follows from the more general, but technical, propositions: Proposition 3.7 in the case of convex loops and Proposition 3.9 in the case of nonconvex loops.
Proposition 3.3
 (i)
\(p_0, p_1\) and \(q_0, q_1\) are parallel pairs,
 (ii)
for every point \(a_1\) in \(\mathcal {F}_1\) there exists a point \(a_0\) in \(\mathcal {F}_0\) such that \(a_0, a_1\) is a parallel pair,
 (iii)
\(\kappa _{\mathcal {F}_1}(p_1)\), \(\kappa _{\mathcal {F}_1}(q_1)\) and \(\kappa _{\mathcal {F}_0}(a_0)\) for every \(a_0\in \mathcal {F}_0\) are positive,
 (iv)
the rotation number of \(\mathcal {F}_0\) is smaller than \(\frac{1}{2}\),
 (v)
\(\mathcal {F}_0, \mathcal {F}_1\) are curved in the different sides at \(p_0, p_1\) and \(q_0, q_1\).
Proof
Arcs satisfying assumptions of Proposition 3.3 are illustrated in Fig. 6.
By the same argument we get the following result.
Proposition 3.4

(iv)\(\mathcal {F}_0, \mathcal {F}_1\) are curved in the same side at \(p_0, p_1\) and \(q_0, q_1\),

for every \( \lambda \in \left[ \frac{\rho _{\min }}{\rho _{\min }1},\frac{\rho _{\max }}{\rho _{\max }1} \right] \cup \left[ 1\frac{\rho _{\max }}{\rho _{\max }1}, 1\frac{\rho _{\min }}{\rho _{\min }1}\right] \) if \(\rho _{\min }>1\),

for every \( \lambda \in \left( \infty , 1\frac{\rho _{\max }}{\rho _{\max }1}\right] \cup \left[ \frac{\rho _{\max }}{\rho _{\max }1}, \infty \right) \) if \(\rho _{\min }<1<\rho _{\max }\).
Propositions 3.5 and 3.6 are the limiting versions of Propositions 3.3 and 3.4, respectively.
Proposition 3.5
 (i)
\(p_0, p_1\) and \(q_0, q_1\) are parallel pairs,
 (ii)
for every point \(a_1\) in \(\mathcal {F}_1\) there exists a point \(a_0\) in \(\mathcal {F}_0\) such that \(a_0, a_1\) is a parallel pair,
 (iii)
\(\kappa _{\mathcal {F}_0}(a)>0\) for every \(a\ne p_0\), \(\kappa _{\mathcal {F}_0}(p_0)=0\), \(\kappa _{\mathcal {F}_1}(q_1)=0\) and \(\kappa _{\mathcal {F}_1}(p_1)>0\),
 (iv)
the rotation number of \(\mathcal {F}_0\) is smaller than \(\frac{1}{2}\),
 (v)
\(\mathcal {F}_0, \mathcal {F}_1\) are curved in the different sides at parallel pairs \(a_0, a_1\) close to \(p_0, p_1\) and \(q_0, q_1\), respectively.
Proposition 3.6

(iv)\(\mathcal {F}_0, \mathcal {F}_1\) are curved in the same side at parallel pairs \(a_0, a_1\) close to \(p_0, p_1\) and \(q_0, q_1\), respectively.
Proposition 3.7
 (i)
\(T_{p}\mathcal {F}_0 \Vert T_{q_1}\mathcal {F}_1\) and \(T_{q_0}\mathcal {F}_0 \Vert 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 in the different sides at every parallel pair \(a_0, a_1\) such that \(a_i\in \mathcal {F}_i\) for \(i=0,1\).
If \(\rho _{\max }<1\) then the set \({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\) has a singular point for every \(\lambda \in \left[ \frac{\rho _{\max }}{\rho _{\max }+1}, \frac{1}{\rho _{\max }+1}\right] \).
If \(\rho _{\min }>1\) then the set \({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\) has a singular point for every \(\lambda \in \left[ \frac{1}{\rho _{\min }+1}, \frac{\rho _{\min }}{\rho _{\min }+1}\right] \).
In particular, if \(\rho _{\max }<1\) or \(\rho _{\min }>1\) then the Wigner caustic of \(\mathcal {F}_0\cup \mathcal {F}_1\) has a singular point.
Proof
Let us consider the case \(\rho _{\max }<1\), the proof of the case \(\rho _{\min }>1\) is similar.
Since \({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)={\text {E}}_{1\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\), to finish the proof it is enough to show that \({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\) has a singular point for \(\lambda \in \left[ \frac{\rho _{\max }}{1+\rho _{\max }}, \frac{1}{2}\right] \).
Let us fix \(\lambda \) in the interval \(\left[ \frac{\rho _{\max }}{1+\rho _{\max }}, \frac{1}{2}\right] \).
We can transform the parallelogram bounded by \(T_{p}\mathcal {F}_0, T_{q_0}\mathcal {F}_0, T_{p}\mathcal {F}_1, T_{q_1}\mathcal {F}_1\) to the unit square by an affine transformation \(A:\mathbb {R}^2\rightarrow \mathbb {R}^2\) (see Fig. 8). Since any affine \(\lambda \)equidistant is affine equivariant, the sets \({\text {E}}_{\lambda }\Big (A(\mathcal {F}_0\cup \mathcal {F}_1)\Big )\) and \(A\Big ({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\Big )\) coincide. Let us consider the coordinate system described in Fig. 8b.
 (a)
\(f(0)=g(\ell _1)=(0,0)\), \(g(0)=(g_1(0),1)\), where \(0<g_1(0)\leqslant \rho _{\max }\) and \(f(\ell _0)=(1,f_2(\ell _0))\), where \(0<f_2(\ell _0)\leqslant \rho _{\max }\),
 (b)
\(\frac{df}{ds}(0)=[1,0], \frac{df}{ds}(\ell _0)=[0,1], \frac{dg}{dt}(0)=[1,0], \frac{dg}{dt}(\ell _1)=[0,1]\).
Let \(\varrho =\frac{\lambda }{1\lambda }\). Then \(\varrho \in [\rho _{\max }, 1]\). By Proposition 2.5 the set \({\text {E}}_{\lambda }(\mathcal {F}^{\prime }_0\cup \mathcal {F}^{\prime }_1)\) is singular if \(\frac{\kappa _{\mathcal {F}^{\prime }_0}(f(s))}{\kappa _{\mathcal {F}^{\prime }_1}(g(t(s)))}=\varrho \) for some \(s\in [0,\ell _0]\).
By (3.2) we get that \( t^{\prime }(s)=\frac{\kappa _{\mathcal {F}^{\prime }_0}(f(s))}{\kappa _{\mathcal {F}^{\prime }_1}(g(t(s)))}\). We will show that \(t^{\prime }(s)=\varrho \) for some \(s\in [0,\ell _0]\). Let us assume that \(t^{\prime }(s)\ne \varrho \) for all \(s\in [0,\ell _0]\).
If we assume that \( t^{\prime }(s)<\varrho \) for all \(s\in [0,\ell _0]\), then in a similar way, we get \(1<\varrho ^2\), which also is impossible, since \(\varrho \in [\rho _{\max }, 1]\) and \(\rho _{\max }>0\).
Therefore there exists \(s\in [0,\ell _0]\) such that \(t^{\prime }(s)=\varrho \) which ends the proof. \(\square \)
In the similar way we get the two following propositions.
Proposition 3.8
 (i)
\(T_{p}\mathcal {F}_0 = T_{p}\mathcal {F}_1\) and \(T_{q_0}\mathcal {F}_0 \Vert T_{q_1}\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 in the same side at every parallel pair \(a_0, a_1\) such that \(a_i\in \mathcal {F}_i\) for \(i=0,1\).
If \(\rho _{\max }<1\) then the set \({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\) has a singular point for every \(\lambda \in \left( \infty , \frac{\rho _{\max }}{1\rho _{\max }}\right] \cup \left[ \frac{1}{1\rho _{\max }},\infty \right) \).
If \(\rho _{\min }>1\) then the set \({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\) has a singular point for every \(\lambda \in \left( \infty , \frac{1}{1\rho _{\min }}\right] \cup \left[ \frac{\rho _{\min }}{1\rho _{\min }},\infty \right) \).
Arcs satisfying assumptions of Proposition 3.8 are illustrated in Fig. 9.
Proposition 3.9
 (i)
\(T_{p}\mathcal {F}_0\Vert T_{q_0}\mathcal {F}_0\Vert T_{p}\mathcal {F}_1\Vert T_{q_1}\mathcal {F}_1\),
 (ii)
the curvature of \(\mathcal {F}_i\) does not vanish for \(i=0,1\),
 (iii)
the absolute value of the rotation number of \(\mathcal {F}_i\) is equal to \(\frac{1}{2}\) for \(i=0,1\).
If \(\rho \ne 1\) and \(\mathcal {F}_0\), \(\mathcal {F}_1\) are curved in the same side at every parallel pair \(a_0, a_1\) such that \(a_0\in \mathcal {F}_0\), \(a_1\in \mathcal {F}_1\) then the set \({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\) has a singular point for \(\lambda \in \left\{ \frac{1}{\rho 1},\frac{\rho }{\rho 1}\right\} \).
Remark 3.10
Let \({M}\) be a smooth closed regular curve. If there exists p in \(\mathbb {R}^2\) and arcs \(\mathcal {F},\mathcal {G}\) of \({M}\) such that \(\mathcal {F},\tau _p\left( \mathcal {G}\right) \) fulfill the assumptions of one of Propositions 3.7, 3.8 or 3.9, where \(\tau _{p}\) is the translation by p, then the affine \(\lambda \)equidistant of \({M}\) has a singular point for \(\lambda \) described in the above propositions.
Let us notice that curves \(\mathcal {F}_0\) and \(\tau _{p_0p_1}\left( \mathcal {F}_1\right) \) in Fig. 10 satisfy Proposition 3.9. In that case by Remark 3.10 the Wigner caustic of \(\mathcal {F}_0\cup \mathcal {F}_1\) has a singular point.
Since the curve presented in Fig. 11a has exactly three convex and three nonconvex loops (see Fig. 12), its Wigner caustic has at least 6 singular points by Theorem 3.2. The curve presented in Fig. 11b has exactly three convex loops (see 13a) so its Wigner caustic has at least 3 singular points. Despite the fact that this curve has no nonconvex loops we can apply Proposition 3.9 and get that the Wigner caustic of this curve has at least 3 extra singular points (see Fig. 13b). Hence the Wigner caustic of this curve has at least 6 singular points.
Notes
References
 Arnold, V.I.: Singularities of Caustics and Wave Fronts, vol. 62. Kluwer, South Holland (2001). (Math. and its Appl.)Google Scholar
 Berry, M.V.: Semiclassical mechanics in phase space: a study of Wigner’s function. Philos. Trans. R. Soc. Lond. A 287, 237–271 (1977)MathSciNetCrossRefzbMATHGoogle Scholar
 Craizer, M., Domitrz, W., de Rios, P.M.: Even dimensional improper affine spheres. J. Math. Anal. Appl. 421, 1803–1826 (2015)MathSciNetCrossRefzbMATHGoogle Scholar
 Cufi, J., Gallego, E., Reventós, A.: A note on Hurwitz’s inequality. J. Math. Anal. Appl. 458, 436–451 (2018)MathSciNetCrossRefzbMATHGoogle Scholar
 Domitrz, W., Janeczko, S., de Rios, P.M., Ruas, M.A.S.: Singularities of affine equidistants: extrinsic geometry of surfaces in 4space. Bull. Braz. Math. Soc. 47(4), 1155–1179 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
 Domitrz, W., Manoel, M., de Rios, P.M.: The Wigner caustic on shell and singularities of odd functions. J. Geom. Phys. 71, 58–72 (2013)MathSciNetCrossRefzbMATHGoogle Scholar
 Domitrz, W., de Rios, P.M.: Singularities of equidistants and global centre symmetry sets of Lagrangian submanifolds. Geom. Dedicata 169, 361–382 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
 Domitrz, W., de Rios, P.M., Ruas, M.A.S.: Singularities of affine equidistants: projections and contacts. J. Singul. 10, 67–81 (2014)MathSciNetzbMATHGoogle Scholar
 Domitrz, W., Romero Fuster, M.C., Zwierzyński, M.: The geometry of the Secant caustic of a planar curve. arXiv:1803.00084
 Domitrz, W., Zwierzyń ski, M.: The geometry of the Wigner caustic and affine equidistants of planar curves. arXiv:1605.05361v4
 Domitrz, W., Zwierzyński, M.: The GaussBonnet theorem for coherent tangent bundles over surfaces with boundary and its applications. arXiv:1802.05557
 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)zbMATHGoogle Scholar
 Giblin, P.J., Reeve, G.M.: Centre symmetry sets of families of plane curves. Demonstr. Math. 48, 167–192 (2015)MathSciNetzbMATHGoogle Scholar
 Giblin, P.J., Warder, J.P., Zakalyukin, V.M.: Bifurcations of affine equidistants. Proc. Steklov Inst. Math. 267, 57–75 (2009)MathSciNetCrossRefzbMATHGoogle Scholar
 Giblin, P.J., Zakalyukin, V.M.: Singularities of centre symmetry sets. Proc. London Math. Soc. 90, 132–166 (2005). (3)MathSciNetCrossRefzbMATHGoogle Scholar
 Góźdź, S.: An antipodal set of a periodic function. J. Math. Anal. Appl. 148, 11–21 (1990)MathSciNetCrossRefzbMATHGoogle Scholar
 Janeczko, S.: Bifurcations of the center of symmetry. Geom. Dedicata 60, 9–16 (1996)MathSciNetCrossRefzbMATHGoogle Scholar
 Janeczko, S., Jelonek, Z., Ruas, M.A.S.: Symmetry defect of algebraic varieties. Asian J. Math. 18(3), 525–544 (2014)MathSciNetCrossRefzbMATHGoogle Scholar
 Laugwitz, D.: Differential and Riemannian Geometry. Academic Press, New York (1965)zbMATHGoogle Scholar
 Ozorio de Almeida, A.M., Hannay, J.: Geometry of two dimensional Tori in phase space: projections, sections and the Wigner function. Ann. Phys. 138, 115–154 (1982)MathSciNetCrossRefzbMATHGoogle Scholar
 Schneider, R.: Reflections of planar convex bodies. In: Adiprasito, K., Barany, I., Vilcu, C. (eds.) Convexity and Discrete Geometry Including Graph Theory, Mulhouse, France, September 2014, pp. 69–76, Springer, (2016)Google Scholar
 Schneider, R.: The middle hedgehog of a planar convex body. Beitr. Algebra Geom. 58, 235–245 (2017)MathSciNetCrossRefzbMATHGoogle Scholar
 Zakalyukin, V.M.: Envelopes of families of wave fronts and control theory. Proc. Steklov Math. Inst. 209, 133–142 (1995)zbMATHGoogle Scholar
 Zwierzyński, M.: The improved isoperimetric inequality and the Wigner caustic of planar ovals. J. Math. Anal. Appl 442(2), 726–739 (2016)MathSciNetCrossRefzbMATHGoogle Scholar
 Zwierzyński, M.: The Constant Width Measure Set, the Spherical Measure Set and isoperimetric equalities for planar ovals. arXiv:1605.02930
Copyright information
Open AccessThis article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.