arxiv: v3 [math.dg] 19 Jun 2017

Transcription

1 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS OF PLANAR CURVES arxiv: v3 [mathdg] 19 Jun 017 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI Abstract In this paper we study global properties of the Wigner caustic and affine equidistants of parameterized closed planar curves We find new results on their geometry and singular points In particular, we consider these objects for regular closed parameterized curves with non-vanishing curvature We present an algorithm to describe smooth branches of the Wigner caustic and affine equidistants of parameterized planar curves By this algorithm 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) 1 Introduction The origin of this investigation is the paper [] by Berry on the semiclassical limit of Wigner s phase-space representation of quantum states In the semiclassical limit 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 (see [, 5] 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 ([, 5, 6, 17]) It could be generalized to obtain an affine λ equidistant, which is the locus of points of the above chords which divide the chord segments between base points with a fixed ratio λ Singularities of the Wigner caustic for ovals occur exactly from an antipodal pair (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 ([13, 16]) The construction of the Wigner caustic also leads to one of the two constructions of bi dimensional improper affine spheres, which can be generalized to higher even dimensions ([3]) 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 ([, 3]) Recently the properties of the middle hedgehog, which is a generalization of the Wigner caustic for non smooth convex curves, were studied in [18, 19] The singular points of affine equidistants create the Centre Symmetry Set, the natural generalization of the center of symmetry, which is widely studied in [6, 8, 10, 1, 14] 010 Mathematics Subject Classification 53A04, 53A15, 58K05, 81Q0 Key words and phrases semiclassical dynamics, affine equidistants, Wigner caustic, singularities, planar curves The work of W Domitrz and M Zwierzyński was partially supported by NCN grant no DEC- 013/11/B/ST1/

2 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI Local properties of singularities of the Wigner caustic and affine equidistants were studied in many papers [3, 4, 5, 6, 7, 11, 15, 17] In this paper we study global properties of the Wigner caustic of a generic planar closed curve In [] 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) The same holds for affine equidistants We present the algorithm to describe the geometry of branches of the Wigner caustic and affine equidistants of a generic regular closed curve In general the geometry of the Wigner caustic and affine equidistants of a regular closed curve is quite complicated (see Fig 1) Figure 1 (i) A closed regular curve M, (ii) M and E 1 (M), (iii) M and E 03 (M), (iv) M and E 115 (M) In Section 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 λ) of a generic closed convex curve has an even number of cusp singularities In Section 3 theorems on existence of singularities of affine equidistants and the Wigner caustic are proved and some applications are indicated

3 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS 3 Section 4 contains the algorithm to describe branches of the Wigner caustic and affine equidistants of any generic regular parameterized closed curve Subsection 41 provides an example of an application of this algorithm to a particular curve In the beginning of Section 5 we present global propositions on the number of cusps and inflexion points of affine λ equidistants We show that the algorithm presented in Section 4 can be applied to obtain the number of branches of equidistants, 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, ie 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 Finally we show that for a generic closed smooth curve and for generic λ the number of inflexion points on each smooth branch of E λ (M) is even In Section 6 we use the algorithm introduced in Section 4 to study the geometry of the Wigner caustic and affine equidistants of generic regular closed parameterized curves with non-vanishing curvature and of some generic regular closed parameterized curves with two inflexion points All the pictures of affine equidistants in this manuscript were made in the application created by the second author [1] Properties of the Wigner caustic and affine equidistants Let M be a smooth parameterized curve on the affine plane R, ie the image of the C smooth map from an interval to R A smooth curve is closed if it is the image of a C smooth map from S 1 to R 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 ) s f(s) R be a parameterization of M A point f(s 0 ) is a C k regular point of M for k = 1,, or k = if there exists ε > 0 such that f ( (s 0 ε, s 0 + ε) ) 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 Definition 1 A pair of points a, b M (a b) is called a parallel pair if the tangent lines to M at a and b are parallel Definition A chord passing through a pair a, b M, is the line: l(a, b) = { λa + (1 λ)b λ R } Let A be a subset of R, then cla denotes the closure of A Definition 3 An affine λ equidistant is the following set E λ (M) = cl { λa + (1 λ)b a, b is a parallel pair of M } The set E 1 (M) will be called the Wigner caustic of M Remark 4 This definition is different from definitions in papers [3, 5, 6, 7, 10, 11, 15, 0,, 3] The closure in the definition of an affine λ equidistant is needed to include inflexion points of M in E λ (M) For details see Remark 0

4 4 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI Note that, for any given λ R, we have E λ (M) = E 1 λ (M) Thus, the case λ = 1 is special In particular we have E 0(M) = E 1 (M) = M if M is closed Definition 5 The Centre Symmetry Set of M, denoted by CSS(M), is the envelope of all chords passing through parallel pairs of M Bitangent lines of M are parts of CSS(M) ([6, 8]) If M is a generic convex curve, then CSS(M), the Wigner caustic and E λ (M) for a generic λ are smooth closed curves with at most cusp singularities ([, 8, 1, 14]), cusp singularities of all E λ (M) are on regular parts of CSS(M) ([1]), the number of cusps of CSS(M) and E 1 (M) is odd and not smaller than 3 ([, 8], see also [13]), the number of cusps of CSS(M) is not smaller than the number of cusps of E 1 (M) ([6]) We will show that the number of cusps of E λ (M) for a generic λ 1 is even (Theorem 19) Bifurcations of affine λ equidistants were studied in details in [10, 11, 15] Let us denote by κ 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 κ M (a) + κ M (b) 0, then the point κ M (a) a + κ M (b) b belongs to CSS(M) ([8]) κ M (a) + κ M (b) By direct calculations we get the following lemma Lemma 6 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 κ M (b) 0 Let p = λa + (1 λ)b be a regular point of E λ (M) and let q = κ M (a) a + κ M (b) b be κ M (a) + κ M (b) a regular point of CSS(M) Then (i) the tangent line to E λ (M) at p is parallel to the tangent lines to M at a and b (ii) the curvature of E λ (M) at p is equal to κ M (a) κ M (b) κ Eλ (M)(p) = λκ M (b) (1 λ)κ M (a) (iii) the curvature of CSS(M) at q is equal to (κ M (a) + κ M (b)) 3 κ CSS(M) (q) = sgn(κ M (b)) κ M (b)κ M (a) κ M (a)κ M (b) det (a b, t(a)) a b 3, where t(a) is a tangent unit vector field compatible with the orientation of M at a Lemma 6(ii) (iii) implies the following propositions Proposition 7 Let M be a closed convex curve Then the curvatures of E λ (M) and CSS(M) have a constant sign on each regular connected component of E λ (M) and CSS(M), respectively Proposition 8 [1] 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 κ M (b) 0 Then the point λa + (1 λ)b is a singular point of E λ (M) if and only if κ M (a) κ M (b) = λ 1 λ

5 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS 5 Proposition 9 Let a, b be a parallel pair of a generic regular closed curve M and let λ 0, 1 Then λa+(1 λ)b and (1 λ)a+λb are inflexion points of E λ (M) if and only if one of the points a, b is an inflexion point of M Corollary 10 If M is a convex curve, then E λ (M) for λ R and CSS(M) have no inflexion points Let τ p denote the translation by a vector p R Definition 11 A curve M is curved in the same side at a and b (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 τ a b (M) at a = τ 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 examples in Fig Figure (i) A curve curved in the same side at a parallel pair a, b, (ii) a curve curved in the different sides at a parallel pair a, b Corollary 1 (i) If M is curved in the same side at a parallel pair a, b, then λa + (1 λ)b is a C regular point of E λ (M) for λ (0, 1) (ii) If M is curved in the different sides at a parallel pair a, b, then λa + (1 λ)b is a C regular point of E λ (M) for λ (, 0) (1, ) Proof We will prove (i), the proof of (ii) is similar Let us locally parameterize M at a and b in opposite directions Then by Proposition 8 if λa + (1 λ)b is a singular point of E λ (M) for λ (0, 1), then (1) κ M (a) κ M (b) = λ 1 λ The right hand side of (1) is positive, then κ M (a) and κ M (b) have the same sign, therefore M is curved in the different sides at a and b Definition 13 The tangent line of E λ (M) at a cusp point p is the limit of a sequence of 1 dimensional vector spaces T qn M in RP 1 for any sequence q n of regular points of E λ (M) converging to p This definition does not depend on the choice of a converging sequence of regular points By Lemma 6(i) we can see that the tangent line to E λ (M) at the cusp point λa + (1 λ)b is parallel to tangent lines to M at a and b

6 6 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI We can define for λ λa + (1 λ)b in the following way 1 the normal vector field to E λ(m) at the point Definition 14 For λ 1 the normal vector field to E λ(m) at the point λa + (1 λ)b equals to the normal vector field to M at the point a compatible with the parameterization of M Remark 15 If M is convex, then for λ = 1 we have well defined the continuous a + b normal vector field on the double covering M of E 1 (M), M a E 1 (M) Let us notice that the continuous normal vector field to E λ (M) at regular and cusp points is perpendicular to the tangent line to E λ (M) Using this fact and the above definition we define the rotation number in the following way Definition 16 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 6(i) we can easily get the next two propositions Proposition 17 Let M be a generic regular closed curve in R If l is a bitangent line to M at points a, b, then E λ (M) is tangent to l at points λa + (1 λ)b and (1 λ)a + λb If M is a convex curve, then for any line l in R there exist exactly two points a, b 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 18 Let M be a generic convex curve Then for any line l in R (i) there exists exactly one point p in E 1 (M) such that the tangent line to E 1 (M) at p is parallel to l (ii) there exist exactly two different points p 1, p in E λ (M) for λ 1, such that the tangent lines to E λ (M) at p 1 and p are parallel to l (iii) there exists exactly one point p in CSS(M) such that the tangent line to CSS(M) at p is parallel to l ([8]) Theorem 19 Let M be a generic convex curve Then the number of cusps of E λ (M) for a generic λ 1 is even and the number of cusps of E 1 (M) is odd Proof For a generic convex curve M, E 1 (M) has got only cusp singularities and the same statement holds for E λ (M) for a generic λ 1 Without loss of generality we may assume that M is positively oriented Let P : M M maps a point a to the point b a such that a, b is a parallel pair This map is well defined on a convex curve M If f : S 1 R is a parameterization of M, then S 1 s λf(s) + (1 λ)p (f(s)) E λ (M) is a parameterization of E λ (M) for λ 1 and it is a double covering of E 1 (M) The normal vector to E λ (M) at λf(s) + (1 λ)p (f(s)) is the normal vector to M at f(s), so the rotation number of E λ (M) for λ 1 is equal to the rotation number of M, which is 1 for

7 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS 7 positively oriented convex curves, and the rotation number of E 1 (M) is equal to 1 Figure 3 An ordinary cusp singularity with a continuous normal vector field Vectors in upper regular component of a curve are directed outside the cusp, others are directed inside the cusp 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 E λ (M) for λ 1 is 1, the number of cusps of E λ(m) for λ 1 is even and the number of cusps of E 1 (M) is odd because the rotation number of E 1 (M) is equal to 1 The last statement has been proved by Berry in [] using a different method Remark 0 Let p be a inflexion point of M Then CSS(M) is tangent to this inflexion point and has an endpoint there The set E λ (M) for λ 1 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 ([, 5, 8, 11]) This branch of the Wigner caustic is studied in Section 5 In [, 16] 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 1 Let M be a generic convex curve Then the number of cusps of CSS(M) and E 1 (M) is not smaller than 3 Proof The number of cusps of the Wigner caustic is odd (see Theorem 19 or []) 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 E 1 (M) at p c Let d l (a) be the distance between a point a E 1 (M) and l Since d l(p c ) = 0 and every point a E 1 (M) such that a p c is a regular point of E 1 (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 18(i)

8 (ii) If λ 1, δ 1, then CSS(E λ (M)) = CSS(E δ (M)) 8 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI Figure 4 The cusp (p c ), dotted lines are parallel By Proposition 18(iii), the proof for CSS(M) is similar Proposition Let M be a generic convex curve (i) If λ 1, then Eδ (Eλ(M)) = Eδ(1 λ)+λ(1 δ)(m) Proof Let a, b be a parallel pair of M By Theorem 6(i) p = λa + (1 λ)b, q = (1 λ)a + λb is a parallel pair of E λ (M) and by Proposition 18 there are no more points on E λ (M) for which tangent lines at them are parallel to tangent lines at p, q Then r = δp + (1 δ)q is a point of E δ (E λ (M)) and one can get that r = (1 Λ)a + Λb where Λ = δ(1 λ) + λ(1 δ) 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 By Proposition we get the following corollary on reconstruction of the original curve from its affine equidistant and the stability of the Wigner caustic Corollary 3 Let M be a generic convex curve If λ 1, then M = E λ(1 λ) 1(E λ (M)) = E (1 λ)(1 λ) 1(E λ (M)), E 1 (E λ(m)) = E 1 (M) 3 Existence of a singular point of an affine λ equidistant Let κ M (p) be a curvature of a curve M at a point p Theorem 31 Let F 0, 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 F 1 there exists a point a 0 in F 0 such that a 0, a 1 is a parallel pair,

9 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS 9 (iii) κ F1 (p 1 ), κ F1 (q 1 ) and κ F0 (a 0 ) for every a 0 F 0 are positive, (iv) the rotation number of F 0 is smaller than 1, (v) F 0, F 1 are curved in the different sides at p 0, p 1 and q 0, q 1 { If ρ min (resp ρ max ) is the minimum (resp the maximum) of the set κf1 (p 1 ) κ F0 (p 0 ), κ } F 1 (q 1 ) then the set E λ (F 0 F 1 ) has a singular point for every [ κ F0 (q 0 ) ] [ ρmin ρ max λ, 1 ρ max, 1 ρ ] min 1 + ρ min 1 + ρ max 1 + ρ max 1 + ρ min [ ] ρmin ρ max Proof Since E λ (F 0 F 1 ) = E 1 λ (F 0 F 1 ), let us fix λ in, 1 + ρ min 1 + ρ max Let g : [t 0, t 1 ] R, f : [s 0, s 1 ] R be the arc length parameterizations of F 0, F 1, respectively From (ii)-(iii) we get that for every point a 1 in F 1 there exists exactly one point a 0 in F 0 such that a 0, a 1 is a parallel pair Therefore there exists a function t : [s 0, s 1 ] [t 0, t 1 ] such that (31) f (s) = g (t(s)) By the implicit function theorem the function t is smooth and t (s) = κ F 1 (f(s)) κ F0 (g(t(s))) Let ϱ = λ 1 λ Then ϱ belongs to [ρ min, ρ max ] By Darboux Theorem there exists s [s 0, s 1 ] such that t (s) = ϱ Then by Proposition 8 the set E λ (F 0 F 1 ) has a singular point for λ = ϱ 1 + ϱ Arcs satisfying assumptions of Theorem 31 are illustrated in Fig 5 Figure 5 By the same argument we get the following result Proposition 3 Under the assumptions of Theorem 31 if we replace (iv) with (iv) F 0, F 1 are curved in the same side at p 0, p 1 and q 0, q 1, then the set E λ (F 0 F 1 ) has a singular point [ ] ρmin for every λ ρ min 1, ρ max ρ max 1 if ρ min > 1, [ 1 ρ max ρ max 1, 1 ρ ] min ρ min 1

10 10 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI for every λ (, 1 ρ ] [ ) max ρmax ρ max 1 ρ max 1, if ρ min < 1 < ρ max 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 Corollaries 33 and 34 are very useful to study singularities of affine λ equidistants (see Fig 6) Corollary 33 Let F 0, 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 F 1 there exists a point a 0 in F 0 such that a 0, a 1 is a parallel pair, (iii) κ F0 (a) > 0 for every a p 0, κ F0 (p 0 ) = 0, κ F1 (p 1 ) = 0 and κ F1 (q 1 ) > 0, (iv) the rotation number of F 0 is smaller than 1, (v) F 0, 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 E λ (F 0 F 1 ) has a singular point for every λ (0, 1) Corollary 34 Under the assumptions of Corollary 33 if we replace (iv) with (iv) F 0, 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 E λ (F 0 F 1 ) has a singular point for every λ (, 0) (1, ) Figure 6 A curve M with two inflexion points (the dashed line) and E 01 (M) All affine λ equidistants of M for λ 0, 1 are singular (see Corollaries 33 and 34) Theorem 35 Let F 0 and 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 F 0 and let l 1 be the line through q 0 parallel to T p F 1 Let c = l 0 l 1, b 0 = l 0 T p F 1, b 1 = l 1 T p F 0 Let us assume that (i) T p F 0 T q1 F 1 and T q0 F 0 T p F 1, (ii) the curvature of F i for i = 0, 1 does not vanish at any point, (iii) absolute values of rotation numbers of F 0 and F 1 are the same and smaller than 1,

11 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS 11 (iv) for every point a i in F i, there is exactly one point a j in F j such that a i, a j is a parallel pair for i j, (v) F 0, F 1 are curved in the different sides at every parallel pair a 0, a 1 such that a i F i for i = 0, 1 { Let ρ max (resp ρ min ) be the maximum (resp the minimum) of the set c b1, c b } 0 q 1 b 1 q 0 b 0 If[ ρ max < 1 then ] the set E λ (F 0 F 1 ) has a singular point for every ρmax λ ρ max + 1, 1 ρ max + 1 If[ ρ min > 1 then ] the set E λ (F 0 F 1 ) has a singular point for every 1 λ ρ min + 1, ρ min ρ min + 1 In particular, if ρ max < 1 or ρ min > 1 then the Wigner caustic of F 0 F 1 has a singular point Proof Let us consider the case ρ max < 1, the proof of the case ρ min > 1 is similar Since E λ (F 0 F 1 ) = E 1 λ (F 0 F 1 ), to[ finish the proof ] it is enough to show that ρmax E λ (F 0 F 1 ) has a singular point for λ Let us fix λ in the interval [ ρmax 1 + ρ max, 1, 1 1 ] + ρ max Figure 7 We can transform the parallelogram bounded by T p F 0, T q0 F 0, T p F 1, T q1 F 1 to the unit square by an affine transformation A : R R (see Fig ) 7) Since ( any affine ) λ equidistant is affine equivariant, the sets E λ (A(F 0 F 1 ) and A E λ (F 0 F 1 ) coincide Let us consider the coordinate system described in Fig 7(ii) Let l i be the length of F i for i = 0, 1 Let [0, l 0] s f(s) = (f 1 (s), f (s)) and [0, l 1 ] t g(t) = (g 1 (t), g (t)) be arc length parameterizations of F 0 = A(F 0 ) and F 1 = A(F 1 ), respectively, such that: (a) f(0) = g(l 1 ) = (0, 0), g(0) = (g 1 (0), 1), where 0 < g 1 (0) ρ max and f(l 0 ) = (1, f (l 0 )), where 0 < f (l 0 ) ρ max, (b) df df (0) = [1, 0], ds ds (l 0) = [0, 1], dg dt (0) = [ 1, 0], dg dt (l 1) = [0, 1]

12 1 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI From the implicit function theorem there exists a smooth function t : [0, l 0 ] [0, l 1 ] such that (3) df (s) = dg ds dt (t(s)) It means that f(s), g(t(s)) is a parallel pair Let ϱ = λ 1 λ Then ϱ [ρ max, 1] By Proposition 8 the set E λ (F 0 F 1) is κ F singular if 0 (f(s)) κ F 1 (g(t(s))) = ϱ for some s [0, l 0] By (3) we get that t (s) = κ F 0 (f(s)) κ F 1 (g(t(s))) We will show that t (s) = ϱ for some s [0, l 0 ] Let us assume that t (s) ϱ for all s [0, l 0 ] By (3) we get that (33) g(l 1 ) g(0) = l1 0 Let us assume that t (s) > ϱ for all s [0, l 0 ] At the first component of (33) we have g 1 (0) = l0 0 dg l0 dt (t)dt = t (s) dg l0 0 dt (t(s))ds = t (s) df 0 ds (s)ds t (s) df 1 ds (s)ds > l0 0 ϱ df 1 (s)ds = ϱ ds Then g 1 (0) > ϱ which is impossible, since g 1 (0) ρ max and ϱ [ρ max, 1] If we assume that t (s) < ϱ for all s [0, l 0 ], then in a similar way, we get 1 < ϱ, which also is impossible, since ϱ [ρ max, 1] and ρ max > 0 Therefore there exists s [0, l 0 ] such that t (s) = ϱ which ends the proof In the similar way we get the two following propositions Proposition 36 Let F 0 and 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 F 0, l 1 be the line through q 1 parallel to T p F 1 and l p be the line through p parallel to T q0 F 0 Let c = l 0 T q1 F 1, b 0 = l 0 l p and b 1 = T p F 1 T q1 F 1 Let us assume that (i) T p F 0 = T p F 1 and T q0 F 0 T q1 F 1, (ii) the curvature of F i for i = 0, 1 does not vanish at any point, (iii) absolute values of rotation numbers of F 0 and F 1 are the same and smaller than 1, (iv) for every point a i in F i, there is exactly one point a j in F j such that a i, a j is a parallel pair for i j, (v) F 0, F 1 are curved in the same side at every parallel pair a 0, a 1 such that a i F i for i = 0, 1 { Let ρ max (resp ρ min ) be the maximum (resp the minimum) of the set c b1, c b } 0 q 1 b 1 q 0 b 0 If( ρ max < 1 then the set E λ (F 0 F 1 ) has a singular point for every λ, ρ ] [ ) max 1, 1 ρ max 1 ρ max

13 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS 13 If( ρ min > 1 then ] [ the set E λ (F 0 F 1 ) has a singular point for every 1 λ, ρ ) min, 1 ρ min 1 ρ min Figure 8 Arcs satisfying assumptions of Proposition 36 are illustrated in Fig 8 Figure 9 Arcs F 0, F 1, the Wigner caustic of F 0 F 1 and the tangent lines to F 0 and to F 1 (the dashed ones) Proposition 37 Let F 0, 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 T q0 F 0 Let us assume that (i) T p F 0 T q0 F 0 T p F 1 T q1 F 1, (ii) the curvature of F i does not vanish for i = 0, 1, (iii) the absolute value of the rotation number of F i is equal to 1 for i = 0, 1 Let ρ = q 1 p c p If F 0, F 1 are curved in the different sides at every parallel pair a 0,{ a 1 such that a} 0 F 0, a 1 F 1 then the set E λ (F G) has a singular point 1 for λ 1 + ρ, ρ 1 + ρ If ρ 1 and F 0, F 1 are curved in the same side at every parallel pair a 0, a 1 such{ that a 0 F 0 }, a 1 F 1 then the set E λ (F 0 F 1 ) has a singular point for 1 λ ρ 1, ρ ρ 1

14 14 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI Remark 38 Let M be a smooth closed regular curve If there exists p in R and arcs F, G of M such that F, τ p (G) fulfill the assumptions of one of Theorem 35 or Propositions 36, 37, where τ p is the translation by p, then the affine λ equidistant of M has a singular point for λ described in Theorems 35, 36 and 37 Let us notice that curves F 0 and τ p0 p 1 (F 1 ) in Fig 9 satisfy Proposition 37 In that case by Remark 38 the Wigner caustic of F 0 F 1 has a singular point Definition 39 A smooth curve γ : (s 1, s ) R is called a loop if it is a simple curve with non-vanishing curvature such that lim γ(s) = lim γ(s) A loop γ is s s + 1 s s called convex if the absolute value of its rotation number is not greater than 1, otherwise it is called non convex Figure 10 (i) A convex loop L (the dashed line) and E 1 (L), (ii) a non convex loop L (the dashed line) and E 1 (L) We illustrate examples of loops in Fig 10 Corollary 310 The Wigner caustic of a loop has a singular point Proof The statement for convex loops follows from Theorem 35 and the statement for non-convex loops follows from Proposition 37 Figure 11 A smooth regular curves with non vanishing curvature (the dashed lines) and their Wigner caustics Since the curve presented in Fig 11(i) has exactly three convex and three non convex loops, its Wigner caustic has at least 6 singular points by Corollary 310

15 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS 15 The curve presented in Fig 11(ii) has exactly three convex loops 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 37 and get that the Wigner caustic of this curve has at least 3 extra singular points Hence the Wigner caustic of this curve has at least 6 singular points 4 An algorithm to describe smooth branches of affine equidistants If M is a generic regular closed curve then E λ (M) for a fixed λ 0, 1 is a union of smooth parametrized curves Each of these curves we will call a smooth branch of E λ (M) In Fig 1 we illustrate a non-convex curve M, E 1 (M) and different smooth branches of E 1 (M) Figure 1 (i) A non-convex curve M with two inflexion points (the dashed line) and E 1 (M), (ii-vi) M and different smooth branches of E 1 (M) In this section we assume that M is a generic regular closed curve We present an algorithm to describe smooth branches of the Wigner caustic and affine equidistants of M

16 16 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI Definition 41 Let S 1 s f(s) R be a parameterization of a smooth closed curve M, such that f(0) is not an inflexion point A function ϕ M : S 1 [0, π] is called an angle function of M if ϕ M (s) is the oriented angle between f (s) and f (0) modulo π Definition 4 A point ϕ in S 1 is a local extremum of ϕ M if there exists s in S 1 such that ϕ M (s) = ϕ, ϕ M (s) = 0, ϕ M (s) 0 The local extremum ϕ of ϕ M is a local maximum (resp minimum) if ϕ M (s) < 0 (resp ϕ M > 0) We denote by M(ϕ M ) the set of local extrema of ϕ M The angle function has the following properties Proposition 43 Let M be a generic regular closed curve Let f be the arc length parameterization of M and let ϕ M be the angle function of M Then (i) f(s 1 ), f(s ) is a parallel pair of M if and only if ϕ M (s 1 ) = ϕ M (s ), (ii) ϕ 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 ϕ M (s 0 ) is a local extremum ( (iv) if ϕ M (s 1 ), ϕ M (s ) are local extrema and there is no extremum on ϕ M (s1, s ) ), then one of extrema ϕ M (s 1 ), ϕ M (s ) is a local maximum and the other one is a local minimum Figure 13 (i) A closed regular curve M with points f(s i ) and tangent lines to M at these points, (ii) a graph of the angle function ϕ M with ϕ i and s i values Lemma 44 Let ϕ M be the angle function of a generic regular closed curve M Then the function ϕ M has an even number of local extrema, ie 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 Let ϕ M be the angle function of M Definition 45 The sequence of local extrema is the following sequence (ϕ 0, ϕ 1,, ϕ n 1 ) where {ϕ 0, ϕ 1,, ϕ n 1 } = M(ϕ M ) and the order is compatible with the orientation of S 1 = ϕ M (S 1 )

17 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS 17 Definition 46 The sequence of parallel points S M is the following sequence (s 0, s 1,, s k 1 ), where {s 0, s 1,, s k 1 } = ϕ 1 M (M(ϕ M )) if M(ϕ M ) is not empty, otherwise {s 0, s 1,, s k 1 } = ϕ 1 M (ϕ M (0)), and the order of S M is compatible with the orientation of M In Fig 13 we illustrate an example of a closed regular curve M and the angle function ϕ M Proposition 47 If M is a generic regular closed curve and a M is an inflexion point then the number of points b M, such that b a and a, b is a parallel pair, is even Proof There are no inflexion points b 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 ϕ M We divide the graph of the angle function ϕ M into continuous paths of the form { (t, ϕm (t)) t [t 1, t ], ϕ M (t 1 ), ϕ M (t ) {0, π}, t (t 1, t ) ϕ M (t) / {0, π} } Let α belong to (0, π) First we assume that α is not equal to a local extremum of a path P Then a line ϕ = α intersects the path P an even number of times if P is a path from 0 to 0 or from π to π, since both the beginning and the end of P are on the same side of the line (see Fig 14(i)) This line intersects P an odd number of times if P is a path from 0 to π or from π to 0, since the beginning and the end of P are on different sides of the line (see Fig 14(ii)) Figure 14 Now we assume that α is equal to a local extremum of P In this case the line ϕ = α intersects a path P an odd number of times if P is a path from 0 to 0 or from π to π (see Fig 14(iii)) and this line intersects P an even number of times if P is a path from 0 to π or from π to 0 (see Fig 14(iv)), 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 ±1 (see Fig 15) Let us notice that a path from 0 to 0 or from π to π corresponds to an arc of a curve with the rotation number equals 0 and a path from 0 to π or from π to 0

18 18 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI Figure 15 corresponds to an arc of a curve with t he rotation number equals ± 1 Since the rotation number of M is an integer, the number of paths from 0 to π or from π to 0 in the graph of ϕ M is even Each path of this type intersects every horizontal line ϕ = α at least once Thus the number of intersections of ϕ M and the line ϕ = ϕ M (f 1 (a)) is odd But the number of points b a such that a, b is a parallel pair is one less than the number of intersection points of the graph of ϕ M and the line ϕ = ϕ M (f 1 (a)) The number of inflexion points of a generic regular closed curve is even Thus by Proposition 47 we have the following corollary Corollary 48 If M is a generic regular closed curve then #S M is even We recall that in this section we assume that M is a generic regular closed curve and let #S M = m We define { m 1, if {k, l} = {0, m 1}, m m (k, l) : = min(k, l), otherwise, { 0, if {k, l} = {0, m 1}, M m (k, l) : = max(k, l), otherwise We denote by (s m 1, s 0 ) an interval (s m 1, L M + s 0 ), where L M is the length of M In the following definition indexes i in ϕ i are computed modulo n, indexes j, j + 1 in p j p j+1 and p j+1 p j are computed modulo m Definition 49 If M(ϕ M ) = {ϕ 0, ϕ 1,, ϕ n 1 }, then for every i {0, 1,, n 1}, a set of parallel arcs Φ i is the following set { Φ i = p k p l k l = ±1 mod(m), ϕm (s k ) = ϕ i, ϕ M (s l ) = ϕ i+1, ( ϕ M (smm(k,l), s ) } Mm(k,l)) = (ϕ i, ϕ i+1 ), where p k = f(s k ) and p k p l = f ([ sm m(k,l), s Mm(k,l)]) If M(ϕ M ) is empty then we define only one set of parallel arcs as follows: Φ 0 = { p 0 p 1, p 1 p,, p m p m 1, p m 1 p 0 } The set of parallel arcs has the following property Proposition 410 Let f : S 1 R be the arc length parameterization of M For every two arcs p k p l, p k p l in Φ i the well defined map p k p l p P (p) p k p l, where the pair p, P (p) is a parallel pair of M, is a diffeomorphism

19 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS 19 Definition 411 Let p k1 p k, p k p l belong to the same set of parallel arcs, then p k 1 p k denotes the following set (the arc) p l1 p l { cl (a, b) M M a p k1 p k, b p l1 p l, a, b is a parallel pair of M In addition p n 1 k 1 p kn denotes p l1 p ln i=1 this set a glueing scheme for E λ (M) for a fixed value of λ } p ki p ki+1 p li p li+1 We will call Remark 41 If p k p l belongs to a set of parallel arcs, then there are neither inflexion points nor points with parallel tangent lines to tangent lines at inflexion points of M in p k p l \ {p k, p l } Definition 413 For a fixed value of λ R, the λ point map ([6]) is the map π λ : M M R, (a, b) λa + (1 λ)b Let A 1 = p k1 p k and A = p l1 p l be two arcs of M which belong to the same set of parallel arcs It is easy to see that if λ 1 ), then E λ (A 1 A consists p of the image of two different arcs k1 p k and p l 1 p l under the p l1 p l p k1 p k ) λ point map π λ, otherwise E 1 (A 1 A consists of the of one arc p k 1 p k p l1 p l under π λ (see Fig 16) From this observation we get the following proposition Figure 16 Two arcs A 1 and A of M belonging to the same set of parallel arcs and (i) E 1 (A 1 A ), (ii) E (A 1 A 5 ) Proposition 414 If λ 0, 1, 1 then E λ(m) is the image of the union of ( ) #Φi different arcs under the λ point map π λ If λ = 1 then E 1 (M) is the i image of the union of ( ) #Φi different arcs under π λ i

20 0 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI Proposition 415 Let M be a generic regular closed curve which is not convex If a glueing scheme for E λ (M) is of the form p k 1 p k p l1 p l, then this scheme can be prolonged in a unique way to p k 1 p k p k3 p l1 p l p l3 such that (k 1, l 1 ) (k 3, l 3 ) Proof Let us consider Figure 17 (41) p k1 p k p l1 p l Let A 1 = p k1 p k \ {p k1, p k }, A = p l1 p l \ {p l1, p l } By Remark 41 A 1 and A must be curved in the same side or in the opposite sides at any parallel pair in A 1 A (see Fig 17(i ii)) Let us consider the case in Fig 17(i), the other case is similar Then (41) can be prolonged in the following two ways (1) Neither p k nor p l is an inflexion point of M Then (41) can be prolonged to p k1 p k p k3 p l1 p l p l3, where k 1 k 3 and l 1 l 3 (see Fig 17(iii)) () One of points p k, p l is an inflexion point of M Let us assume that this is p l Then (41) can be prolonged to p k 1 p k p l1 p l p k3 p l1, where k 1 k 3 (see Fig 17(iv)) Since M is generic, at least one of the points p k, p l is not an inflexion point of M Remark 416 To avoid repetition in the union in Definition 411 we assume that p k no pair except the beginning and the end can appear twice in the glueing p l scheme For λ = 1 if the pair p k p is in the glueing scheme than the pair l does p l p k not appear unless they are the beginning and the end of the scheme

21 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS 1 The image of a glueing scheme under the λ point map π λ represents parts of branches of E λ (M) for a fixed value of λ 0, 1 If we equip the set of all possible glueing schemes for E λ (M) with the inclusion relation, then this set is partially ordered There is only finite number of arcs from which we can construct branches of E λ (M) Therefore we can define a maximal glueing scheme Definition 417 A maximal glueing scheme for E λ (M) for λ 0, 1 is a glueing scheme which is a maximal element of the set of all glueing schemes for E λ (M) equipped with the inclusion relation Remark 418 If M is a generic regular convex curve, then the set of parallel arcs is equal to Φ 0 = {p 0 p 1, p 1 p 0 } Then the maximal glueing schemes are in the p 0 p 1 following forms: for λ = 1 p 1 p 0 and p 0 p 1 p 0 for λ 0, 1 p 1 p 0 p 1, 1 Proposition 419 The set of all glueing schemes for E λ (M) for λ 0, 1 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 415) Lemma 40 Let f : S 1 R be the arc length parameterization of M Let λ 0, 1 Then (i) for every two different arcs p k1 p k, p l1 p l in Φ i there exists exactly one maximal glueing scheme for E λ (M) containing p k1 p k p l1 p l or p k p k1 for λ 1 p l p l1 and there exists exactly one maximal glueing scheme containing p k1 p k p l1 p l or p k p k1 p l p l1 or p l1 p l p k1 p k or p l p l1 p k p k1 for λ = 1 (ii) every maximal glueing scheme for λ 1 is in the following form p k p k p l p l and every maximal glueing scheme for λ = 1 the following form p k p k p l p l, where {p k, p l } = {p k, p l } is in (iii) if λ 1 and p k is an inflexion point of M, then there exists a maximal glueing scheme for E λ (M) which is in the form p k p k1 p kn p l p ln p l1 p k p k p l1 p ln p l p kn p k1 p k, where p l is a different inflexion point of M and p ki p li for i = 1,,, n

22 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI (iv) if λ = 1 and p k is an inflexion point of M, then there exists a maximal glueing scheme for E 1 (M) which is in the form p k p k1 p kn p l p k p l1 p ln p l, where p l is a different inflexion point of M and p ki p li for i = 1,,, n Proof (i) is a consequence of the uniqueness of the prolongation of a glueing scheme (see Proposition 415) The proof of (ii) follows from (i) and the fact that for any λ we have an identity p k 1 p k = p k p k1 and if λ = 1 we also have an identity p l1 p l p l p l1 p k1 p k = p l 1 p l p l1 p l p k1 p k To prove (iii) let us prolong p k p k1 to the maximal glueing scheme G p k p l1 Any point p l in the sequence of parallel points 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 p k p k1 p l1 p k (4) p k p l1 p k1 p k Since by Proposition 415 both ends of G can only extend in one way, G have to be in one of two following forms: (43) p k p k1 p kn p ln p l1 p k p k p l1 p ln p kn p k1 p k, (44) p k p k1 p kn p l p ln p l1 p k p k p l1 p ln p l p kn p k1 p k Since M contains inflexion points and p kn p ln \ {p kn, p ln } does not contain any inflexion point, an arc cannot be in the form p k n p ln Then G is in the p ln p kn p form (44) Moreover let us notice that G contains kn p l p ln which p ln p l p kn is possible only if p l = p l is an inflexion point of the curve M The maximal glueing p r scheme G does not contain any other part, where p p r is an inflexion point of r p M and p r p k, p l If it does then on the left side of l in (44) there would be a p l p following part r p r p r and by the symmetry of (44) on the right p r p r p r p l p r p r p r side of in (44) there would be a following part which p l p r p r p r is impossible by (i) This ends the proof of (iii) (iv) is a consequence of (i) and (iii)

23 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS 3 Theorem 41 The image of every maximal glueing scheme under the λ point map π λ is a branch of E λ (M) and all branches of E λ (M) can be obtain in this way Proof Let f : S 1 R be the arc length parameterization of M It is easy to see that S 1 = s {s} (sm m(k,l), s Mm(k,l)) s S M i (k,l) Φ i and then M = {f(s)} s S M i (k,l) Φ i f ( ) (sm m(k,l), s Mm(k,l)), where denotes the disjoint union Then by Proposition 410 we obtain that for any λ R (45) E λ (M) = i E λ ( pk p l p k p l ) p k p l,p k p l Φ i p k p l p k p l ( ( ) pk p Since E λ pk p l p k p l = l πλ p k p l p k p l and every arc ) π λ ( pk p l p k p l is in exactly one maximal glueing scheme, then every p k p l branch of affine λ equidistant is the image of a maximal glueing scheme under the λ point map π λ As a summary of this section we present an algorithm to find all maximal glueing schemes for E 1 (M) Algorithm 4 (Finding all maximal glueing schemes for the Wigner caustic of a generic regular closed curve M parametrized by f : S 1 R ) (1) Find the set of local extrema of the angle function ϕ M of M (see Definition 41 and Definition 4) () Find the sequence of local extrema (see Definition 45) (3) Find the sequence of parallel points (see Definition 46) (4) Find the sets of parallel arcs Φ i (see Definition 49) (5) Create the following set Λ := { {pk1 p l1, p k p l } : pk1 p l1 p k p l, i ( pk1 p l1 Φ i p k p l Φ i ) ( pl1 p k1 Φ i p l p k Φ i ) } (6) If there exists a number k such that p k } is an inflexion point of } M and there exists the set of arcs {p k p l1, p k p l or {p l1 p k, p l p k in Λ, create a glueing scheme p k p l1 p k p l, remove the used set of arcs from Λ and go to step (6) Otherwise go to step (7) )

24 4 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI (7) If the created glueing scheme is of the form p k 1 and there exists the p } l1 } set of arcs {p k1 p k, p l1 p l or {p k p k1, p l p l1 in Λ, then prolong the scheme to the following scheme p k 1 p k, remove the used p l1 p l set of arcs from Λ and go to step (6), otherwise the considered glueing scheme is a maximal glueing scheme and then go to step (5) (8) If Λ is empty, then all maximal glueing schemes for E 1 (M) were created, otherwise find any set of arcs } {p k1 p l1, p k p l in Λ, create a glueing scheme p k1 p l1 p k p l, remove the used set of arcs from Λ and go to step (6) If λ 0, 1, 1, then we we can use each set of arcs { p k1 p l1, p k p l } in Λ twice 41 An example of construction of branches of E λ (M) Let M be a curve illustrated in Fig 13 Then the sets of parallel arcs are as follows Φ 0 = { p 0 p 1, p 4 p 5 }, Φ 1 = { p 1 p, p 3 p, p 3 p 4, p 5 p 0 } The maximal glueing schemes for branches of E λ (M) for λ 1 are as follows: (46) p p 1 p p 3 p 4 p 3 p p p 3 p 4 p 3 p p 1 p (47) p 0 p 1 p p 3 p 4 p 5 p 0 p 5 p 0 p 4 p 5 p 0 p 5 p 0 p 1 p p 3 p 4 By Proposition 414 the total number of different arcs of E λ (M) for λ 0, 1 1 ( ) ( ) ( ), 1 is #Φi 4 equal to = + = 14 This is the total number of all arcs of i=0 E λ (M) of the maximal glueing schemes (46) and (47) too Therefore we can not construct more branches of E λ (M) for λ 0, 1, 1 If λ = 1, then there exist two maximal glueing schemes for the Wigner caustic of M: (48) (49) p 0 p 1 p p 3 p 4 p 4 p 5 p 0 p 5 p 0, p p 1 p p 3 p p 3 p 4 p 3 By Proposition 53 the number of cusps of the branch which correspond to (48) is odd By Corollary 54 in the glueing scheme (48) there are two parallel pairs

25 THE GEOMETRY OF THE WIGNER CAUSTIC AND AFFINE EQUIDISTANTS 5 Figure 18 A curve M as in Fig 13 and different branches of E 1 (M) containing an inflexion point of M - the pairs: p p 3 p 0 p 5 Therefore this branch of the Wigner caustic has exactly two inflexion points - see Fig 18(ii) The same conclusion holds for the glueing scheme (49) and the branch in Fig 18(i) In this case we exclude the first and the last parallel pair 5 The geometry of the Wigner caustic and affine equidistants of regular curves In this section we start with propositions on numbers of inflexion points and cusp singularities of affine λ equidistants which follows from properties of maximal glueing schemes introduced in Section 4 Proposition 51 Let M be a generic regular closed curve If M has n inflexion points then (i) there exist exactly n smooth branches of E 1 (M) connecting pairs of inflexion points on M and every inflexion point of M is the end of exactly one branch of E 1 (M) Other branches of E 1 (M) are closed curves, (ii) every branch of E λ (M) for λ 0, 1, 1 is a closed curve and there exist exactly n branches such that each branch passes through two different inflexion points of M and every inflexion point of M is in exactly one such branch Proof It is a consequence of Lemma 40 and Theorem 41 Proposition 5 Let M be a generic regular closed curve Let C be a smooth branch of E λ (M) for a generic value of λ 0, 1, 1 Then the number of cusps of C is even Proof The normal vector field to C at λa + (1 λ)b, where a, b is a parallel pair of M, is defined as n C (λa + (1 λ)b) := n M (a) (see Definition 14), where n M is a unit normal vector field to M Since the maximal glueing scheme for C starts and ends in p k 1 p l1 for some points p k1, p l1, the rotation number of C defined by n C is an integer (see Definition 16) Thus the number of cusps of C is even (see the proof of Theorem 19)

26 6 WOJCIECH DOMITRZ, MICHA L ZWIERZYŃSKI Proposition 53 Let M be a generic regular closed curve Let n M be a unit continuous normal vector field to M Let C be a smooth branch of E 1 (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 p k p l p l p k and n M (p l ) = n M (p k ) Proof We use the same method as in the proof of Proposition 5 If the normal vectors to M at p k and p l are opposite, then the rotation number of C is equal to r, where r is an odd integer Therefore the number of cusps in C is odd (see the proof of Theorem 19) Otherwise the rotation number of C is an integer, therefore the number of cusps of C is even By Proposition 9, Corollary 48 and Proposition 51 we get the following corollaries on inflexion points of branches of affine λ equidistants of M Corollary 54 Let M be a generic regular closed curve Let C be a smooth branch of E λ (M) (λ 0, 1) 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 for λ = 1 Corollary 55 Let M be a generic regular closed curve Let n > 0 be the number of inflexion points of M and let #S M = m Then (i) E 1 (M) has m n inflexion points, (ii) E λ (M) for λ 0, 1, 1 has 4m n inflexion points, (iii) the set of all inflexion points for all E λ (M) is the union of all chords between parallel pairs of M containing inflexion points of M Now we study the properties of the Wigner caustic on shell, ie the branch of the Wigner caustic connecting two inflexion points, see Fig 18(i) We are interested in the parity of the number of cusps and the parity of the number of inflexion points on this branch Definition 56 A point p of a regular curve M is an ordinary inflexion if the order of contact of M with the tangent line to M at p is equal to Remark 57 Let (a, b) s f(s) R 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 [ d i ] [ f df d k+1 ] det (t), dsi ds (t) f df (51) = 0 for i = 1,,, k and det (t), dsk+1 ds (t) 0 Theorem 58 Let M be a generic regular closed curve Let S 1 s f(s) R be a parameterization of M, let f(t 1 ), f(t ) 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 ) Then the number of cusps of C is odd if and only if exactly one of the inflexion points f(t 1 ), f(t ) is a singular point of the curve C f ( [t 1, t ] ) Proof By genericity of M the points f(t 1 ) and f(t ) are ordinary inflexion points of M