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.
Similar content being viewed by others
1 Introduction
The famous Blaschke-Sü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 phase-space 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 non-smooth 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 bi-dimensional 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 Blaschke-Sü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
An affine\(\lambda \)-equidistant is the following set
The Wigner caustic of \({M}\) is \({\text {E}}_{\frac{1}{2}}({M})\).
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})\).
Then
- (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 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 _{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.
Proposition 2.9
(Domitrz and Zwierzyński 2016)
- (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 1-dimensional 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
Let \({M}\) be a generic convex curve. Then for any line l in \(\mathbb {R}^2\)
- (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
Let \({M}\) be a generic convex curve.
- (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
Let \({M}\) be a generic convex curve. If \(\lambda \ne \frac{1}{2}\), then
3 Existence of a Singular Point of an Affine \(\lambda \)-Equidistant
In this section we prove theorems on existence of singularities of affine equidistants and the Wigner caustic. We also present some applications of them.
Definition 3.1
A simple smooth curve \(\gamma : (s_1,s_2)\rightarrow \mathbb {R}^2\) with non-vanishing 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 non-convex.
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 non-convex loops.
Proposition 3.3
Let \(\mathcal {F}_0\), \(\mathcal {F}_1\) be embedded curves with endpoints \(p_0, q_0\) and \(p_1, q_1\), respectively, such that
- (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\).
If \(\rho _{\min }\) (resp. \(\rho _{\max }\)) is the minimum (resp. the maximum) of the set \(\left\{ \frac{\kappa _{\mathcal {F}_1}(p_1)}{\kappa _{\mathcal {F}_0}(p_0)}, \frac{\kappa _{\mathcal {F}_1}(q_1)}{\kappa _{\mathcal {F}_0}(q_0)}\right\} \) then the set \({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\) has a singular point for every \(\lambda \in \left[ \frac{\rho _{\min }}{1+\rho _{\min }}, \frac{\rho _{\max }}{1+\rho _{\max }}\right] \cup \left[ 1-\frac{\rho _{\max }}{1+\rho _{\max }}, 1-\frac{\rho _{\min }}{1+\rho _{\min }}\right] \).
Proof
Since \({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)={\text {E}}_{1-\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\), let us fix \(\lambda \) in \(\left[ \frac{\rho _{\min }}{1+\rho _{\min }}, \frac{\rho _{\max }}{1+\rho _{\max }}\right] \). Let \(g:[t_0,t_1]\rightarrow \mathbb {R}^2, f:[s_0,s_1]\rightarrow \mathbb {R}^2\) be the arc length parameterizations of \(\mathcal {F}_0, \mathcal {F}_1\), respectively. From (ii–iii) we get that for every point \(a_1\) in \(\mathcal {F}_1\) there exists exactly one point \(a_0\) in \(\mathcal {F}_0\) such that \(a_0, a_1\) is a parallel pair. Therefore there exists a function \(t:[s_0,s_1]\rightarrow [t_0,t_1]\) such that
By the implicit function theorem the function t is smooth and \( t^{\prime }(s)=\frac{\kappa _{\mathcal {F}_1}(f(s))}{\kappa _{\mathcal {F}_0}(g(t(s)))}\). Let \(\varrho =\frac{\lambda }{1-\lambda }\). Then \(\varrho \) belongs to \([\rho _{\min }, \rho _{\max }]\). By Darboux Theorem there exists \(s\in [s_0,s_1]\) such that \(t^{\prime }(s)=\varrho \). Then by Proposition 2.5 the set \({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\) has a singular point for \(\lambda =\frac{\varrho }{1+\varrho }\). \(\square \)
Arcs satisfying assumptions of Proposition 3.3 are illustrated in Fig. 6.
By the same argument we get the following result.
Proposition 3.4
Under the assumptions of Proposition 3.3 if we replace (iv) with
(iv)\(\mathcal {F}_0, \mathcal {F}_1\) are curved in the same side at \(p_0, p_1\) and \(q_0, q_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 _{\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
Let \(\mathcal {F}_0\), \(\mathcal {F}_1\) be embedded curves with endpoints \(p_0, q_0\) and \(p_1, q_1\), respectively, such that
- (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.
Then the set \({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\) has a singular point for every \(\lambda \in (0,1)\).
Proposition 3.6
Under the assumptions of Proposition 3.5 if we replace (iv) with
(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.
Then the set \({\text {E}}_{\lambda }(\mathcal {F}_0\cup \mathcal {F}_1)\) has a singular point for every \(\lambda \in (-\infty ,0)\cup (1,\infty )\).
The curvature of a curve at a point is not an affine invariant but the ratio of curvatures at parallel points is an affine invariant. Inflexion points are affine invariants and they are easy to detect. Thus Propositions 3.5 and 3.6 are useful to study singularities of affine \(\lambda \)-equidistants (see Fig. 7). In Fig. 7a and in Fig. 7b we present arcs which satisfy the assumptions of Propositions 3.5 and 3.6, respectively. Notice that \(p_0\) and \(q_1\) are inflexion points. By Proposition 3.5 for all \(\lambda \in (0,1)\) an affine \(\lambda \)-equidistant of a set \(\mathcal {F}_0\cup \mathcal {F}_1\) in Fig. 7a is singular. Similarly, for all \(\lambda \in (-\infty ,0)\cup (1,\infty )\) an affine \(\lambda \)-equidistant of a set \(\mathcal {F}_0\cup \mathcal {F}_1\) in Fig. 7b is singular. Furthermore, in Fig. 7c we present arcs \(\mathcal {F}_1\), \(\mathcal {F}_2\), \(\mathcal {F}_3\), \(\mathcal {F}_4\) of one curve such that:
arcs \(\mathcal {F}_1\), \(\mathcal {F}_4\) and arcs \(\mathcal {F}_2\), \(\mathcal {F}_3\) satisfy the assumptions of Proposition 3.5,
arcs \(\mathcal {F}_1\), \(\mathcal {F}_3\) and arcs \(\mathcal {F}_2\), \(\mathcal {F}_4\) satisfy the assumptions of Proposition 3.6,
therefore for all \(\lambda \ne 0, 1\) an affine \(\lambda \)-equidistant of a set \(\mathcal {F}_1\cup \mathcal {F}_2\cup \mathcal {F}_3\cup \mathcal {F}_4\) is singular. In Fig. 7d we illustrate a curve from Fig. 7c together with an affine \(\frac{1}{5}\)-equidistant of \(\mathcal {F}_1\cup \mathcal {F}_2\cup \mathcal {F}_3\cup \mathcal {F}_4\).
Proposition 3.7
Let \(\mathcal {F}_0\) and \(\mathcal {F}_1\) be embedded regular curves with endpoints \(p, q_0\) and \(p, q_1\), respectively. Let \(l_0\) be the line through \(q_1\) parallel to \(T_{p}\mathcal {F}_0\) and let \(l_1\) be the line through \(q_0\) parallel to \(T_{p}\mathcal {F}_1\). Let \(c=l_0\cap l_1\), \(b_0=l_0\cap T_p\mathcal {F}_1\), \(b_1=l_1\cap T_p\mathcal {F}_0\). Let us assume that
- (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\).
Let \(\rho _{\max }\) (resp. \(\rho _{\min }\)) be the maximum (resp. the minimum) of the set \(\left\{ \frac{c-b_1}{q_1-b_1}, \frac{c-b_0}{q_0-b_0}\right\} .\)
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.
Let \(\ell _i\) be the length of \(\mathcal {F}^{\prime }_i\) for \(i=0,1\). Let \([0,\ell _0]\ni s\mapsto f(s)=\left( f_1(s),f_2(s)\right) \) and \([0,\ell _1]\ni t\rightarrow g(t)=\left( g_1(t),g_2(t)\right) \) be arc length parameterizations of \(\mathcal {F}^{\prime }_0=A(\mathcal {F}_0)\) and \(\mathcal {F}^{\prime }_1=A(\mathcal {F}_1)\), respectively, such that:
- (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]\).
From the implicit function theorem there exists a smooth function \(t:[0,\ell _0]\rightarrow [0,\ell _1]\) such that
It means that f(s), g(t(s)) is a parallel pair.
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]\).
By (3.2) we get that
Let us assume that \( t^{\prime }(s)>\varrho \) for all \(s\in [0,\ell _0]\).
At the first component of (3.3) we have
Then \(g_1(0)>\varrho \) which is impossible, since \(g_1(0)\le \rho _{\max }\) and \(\varrho \in [\rho _{\max }, 1]\).
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
Let \(\mathcal {F}_0\) and \(\mathcal {F}_1\) be embedded regular curves with endpoints \(p, q_0\) and \(p, q_1\), respectively. Let \(l_0\) be the line through \(q_0\) parallel to \(T_{p}\mathcal {F}_0\), \(l_1\) be the line through \(q_1\) parallel to \(T_{p}\mathcal {F}_1\) and \(l_p\) be the line through p parallel to \(T_{q_0}\mathcal {F}_0\). Let \(c=l_0\cap T_{q_1}\mathcal {F}_1\), \(b_0=l_0\cap l_p\) and \(b_1=T_p\mathcal {F}_1\cap T_{q_1}\mathcal {F}_1\). Let us assume that
- (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\).
Let \(\rho _{\max }\) (resp. \(\rho _{\min }\)) be the maximum (resp. the minimum) of the set \(\left\{ \frac{c-b_1}{q_1-b_1}, \frac{c-b_0}{q_0-b_0}\right\} .\)
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
Let \(\mathcal {F}_0\), \(\mathcal {F}_1\) be embedded curves with endpoints \(p, q_0\) and \(p, q_1\), respectively. Let l be the line through p and \(q_1\) and let \(c=l\cap T_{q_0}\mathcal {F}_0\). Let us assume that
- (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\).
Let \(\rho =\left| \frac{q_1-p}{c-p}\right| \). If \(\mathcal {F}_0\), \(\mathcal {F}_1\) are curved in the different sides 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}\cup \mathcal {G})\) has a singular point for \(\lambda \in \left\{ \frac{1}{1+\rho }, \frac{\rho }{1+\rho }\right\} \).
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_0-p_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 non-convex 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 non-convex 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.
References
Arnold, V.I.: Singularities of Caustics and Wave Fronts, vol. 62. Kluwer, South Holland (2001). (Math. and its Appl.)
Berry, M.V.: Semi-classical mechanics in phase space: a study of Wigner’s function. Philos. Trans. R. Soc. Lond. A 287, 237–271 (1977)
Craizer, M., Domitrz, W., de Rios, P.M.: Even dimensional improper affine spheres. J. Math. Anal. Appl. 421, 1803–1826 (2015)
Cufi, J., Gallego, E., Reventós, A.: A note on Hurwitz’s inequality. J. Math. Anal. Appl. 458, 436–451 (2018)
Domitrz, W., Janeczko, S., de Rios, P.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., de Rios, P.M.: The Wigner caustic on shell and singularities of odd functions. J. Geom. Phys. 71, 58–72 (2013)
Domitrz, W., de Rios, P.M.: Singularities of equidistants and global centre symmetry sets of Lagrangian submanifolds. Geom. Dedicata 169, 361–382 (2014)
Domitrz, W., de Rios, P.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. 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 Gauss-Bonnet 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)
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. 90, 132–166 (2005). (3)
Góźdź, S.: An antipodal set of a periodic function. J. Math. Anal. Appl. 148, 11–21 (1990)
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 (1965)
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)
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)
Schneider, R.: The middle hedgehog of a planar convex body. Beitr. Algebra Geom. 58, 235–245 (2017)
Zakalyukin, V.M.: Envelopes of families of wave fronts and control theory. Proc. Steklov Math. Inst. 209, 133–142 (1995)
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
Author information
Authors and Affiliations
Corresponding author
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
This article is published under an open access license. Please check the 'Copyright Information' section either on this page or in the PDF for details of this license and what re-use is permitted. If your intended use exceeds what is permitted by the license or if you are unable to locate the licence and re-use information, please contact the Rights and Permissions team.
About this article
Cite this article
Domitrz, W., Zwierzyński, M. Singular Points of the Wigner Caustic and Affine Equidistants of Planar Curves. Bull Braz Math Soc, New Series 51, 11–26 (2020). https://doi.org/10.1007/s00574-019-00141-4
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00574-019-00141-4