arxiv: v2 [math.dg] 7 May 2016

Transcription

1 THE IMPROVED ISOPERIMETRIC INEQUALITY AND THE WIGNER CAUSTIC OF PLANAR OVALS arxiv: v [math.dg] 7 May 16 MICHA L ZWIERZYŃSKI Abstract. The classical isoperimetric inequality in the Euclidean plane R states that for a simple closed curve M of the length L M, enclosing a region of the area A M, one gets L M 4πA M. In this paper we present the improved isoperimetric inequality, which states that if M is a closed regular simple convex curve, then L M 4πA M + 8π ÃE 1 (M), where ÃE 1 (M) is an oriented area of the Wigner caustic of M, and the equality holds if and only if M is a curve of constant width. Furthermore we also present a stability property of the improved isoperimetric inequality (near equality implies curve nearly of constant width). The Wigner caustic is an example of an affine λ-equidistant (for λ = 1 ) and the improved isoperimetric inequality is a consequence of certain bounds of oriented areas of affine equidistants. 1. Introduction The classical isoperimetric inequality in the Euclidean plane R states that: Theorem 1.1. (Isoperimetric inequality) Let M be a simple closed curve of the length L M, enclosing a region of the area A M, then (1.1) L M 4πA M, and the equality (1.1) holds if and only if M is a circle. This fact was already known in ancient Greece. The first mathematical proof was given in the nineteenth century by Steiner [5]. After that, there have been many new proofs, generalizations, and applications of this famous theorem, see for instance [3, 1, 16, 19,, 1, 3, 5], and the literature therein. In 19 Hurtwiz [19] and later Gao [1] showed the reverse isoperimetric inequality. Theorem 1.. (Reverse isoperimetric inequality) Let K be a stricly convex domain whose support function p has the property that p exists and is absolutely continuous, and let à denote the oriented area of the evolute of the boundary curve of K. 1 Mathematics Subject Classification. 5A38, 5A4, 58K7. Key words and phrases. affine equidistants, convex curve, Wigner caustic, constant width, isoperimetric inequality, singularities. The work of M. Zwierzyński was partially supported by NCN grant no. DEC- 13/11/B/ST1/38. 1

2 MICHA L ZWIERZYŃSKI Let L K be the perimeter of K and A K be the area of K. Then (1.) L M 4πA M + π Ã, Equality holds if and only if p() = a + a 1 cos + b 1 sin + a cos + b sin. In this paper we present bounds of oriented areas of affine equidistants and thanks to it we will prove the improved isoperimetric inequality, which states that if M is a closed regular simple convex curve, then L M 4πA M + 8π, ÃE 1 (M) where ÃE 1 (M) is an oriented area of the Wigner caustic of M, and the equality holds if and only if M is a curve of constant width. This is very interesting that the absolute value of the oriented area of the Wigner caustic improves the classical isoperimetric inequality and also gives the exact link between the area and the length of constant width curves. The family of affine λ - equidistants arises as the counterpart of parallels or offsets in Euclidean geometry. An affine equidistant for us is the set of points of chords connecting points on M where tangent lines to M are parallel, which divide the chord segments between the base points with a fixed ratio λ, also called the affine time. When in affine λ-equidistants the ratio λ is equal to 1 then this set is also known as the Wigner caustic. The Wigner caustic of a smooth convex closed curve on affine symplectic plane was first introduced by Berry, in his celebrated 1977 paper [1] on the semiclassical limit of Wigner s phase-space representation of quantum states. They are many papers considering affine equidistants, see for instance [4, 5, 6, 7, 8, 9, 13, 14,, 6], and the literature therein. The Wigner caustic is also known as the area evolute, see [4, 13].. Geometric quantities, affine equidistants and Fourier series Let M be a smooth planar curve, i.e. 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 closed curve is convex if its signed curvature has a constant sign. An oval is a smooth closed convex curve which is simple, i.e. it has no selfintersections. In our case it is enough to consider C - smooth curves. Definition.1. A pair a, b M (a b) is called the parallel pair if tangent lines to M at points a, b are parallel. Definition.. A chord passing through a pair a, b M is the line: l(a, b) = { λa + (1 λ)b λ R }. Definition.3. An affine λ-equidistant is the following set. E λ (M) = { λa + (1 λ)b a, b is a parallel pair of M }. The set E 1 (M) will be called the Wigner caustic of M. Note that, for any given λ R we have an equality E λ (M) = E 1 λ (M). Thus, the case λ = 1 is special. In particular we have also equalities E (M) = E 1 (M) = M.

3 THE IMPROVED ISOPERIMETRIC INEQUALITY AND THE WIGNER CAUSTIC 3 It is well known that if M is a generic oval, then E λ (M) are smooth closed curves with cusp singularities only [1, 15], the number of cusps of E 1 (M) is odd and not smaller than 3 [1, 13] and the number of cusps of E λ (M) for a generic value of λ 1 is even [9]. Definition.4. An oval is said to have constant width if the distance between every pair of parallel tangent lines is constant. This constant is called the width of the curve. Figure 1. An oval M and (i) E 1 (M), (ii) E 5 (M). Let us recall some basic facts about plane ovals which will be used later. The details can be found in the classical literature [16, 18]. Let M be a positively oriented oval. Take a point O inside M as the origin of our frame. Let p be the oriented perpendicular distance from O to the tangent line at a point on M, and the oriented angle from the positive x 1 -axis to this perpendicular ray. Clearly, p is a single-valued periodic function of with period π and the parameterization of M in terms of and p() is as follows (.1) γ() = ( γ 1 (), γ () ) = ( p() cos p () sin, p() sin + p () cos ). The couple (, p() ) is usually called the polar tangential coordinate on M, and p() its Minkowski s support function. Then, the curvature κ of M is in the following form (.) κ() = d ds = 1 p() + p () >, or equivalently, the radius of a curvature ρ of M is given by ρ() = ds d = p() + p (). Let L M and A M be the length of M and the area it bounds, respectively. Then one can get that π π (.3) L M = ds = ρ()d = p()d, M

4 4 MICHA L ZWIERZYŃSKI and (.4) A M = 1 = 1 M π p()ds p() [p() + p ()] d = 1 π [ p () p () ] d. (.3) and (.4) are known as Cauchy s formula and Blaschke s formula, respectively. Since the Minkowski support function of M is smooth bounded and π periodic, its Fourier series is in the form ( (.5) p() = a + an cos n + b n sin n ). n=1 Differentiation of (.5) with respect to gives (.6) p () = n ( a n sin n + b n cos n ). n=1 By (.5), (.6) and the Parseval equality one can express L M and A M in terms of Fourier coefficients of p() in the following way. (.7) (.8) L M = πa. A M = πa π (n 1)(a n + b n). n= One can notice that γ(), γ( + π) is a parallel pair of M, hence γ λ - the parameterization of E λ (M) is as follows (.9) γ λ () = ( γ λ,1 (), γ λ, () ) = λγ() + (1 λ)γ( + π) = (P λ () cos P λ sin, P λ () sin + P λ() cos ), where P λ () = λp() (1 λ)p( + π), [, π]. Furthermore if λ = 1, then the map M γ() γ 1 () E 1 (M) for [, π] is the double covering of the Wigner caustic of M. 3. Oriented areas of equidistants and the improved isoperimetric inequality Let L Eλ (M), ÃE λ (M) denote the length of E λ (M) and the oriented area of E λ (M), respectively. Similarly like in [9] we can show the following proposition. Proposition 3.1. [9] Let M be an oval. Then (i) if λ 1, then L E λ (M) ( λ + 1 λ ) L M. ( In particular if λ, 1 ) ( ) 1, 1, then L Eλ (M) L M. (ii) L E 1 (M) L M.

5 THE IMPROVED ISOPERIMETRIC INEQUALITY AND THE WIGNER CAUSTIC 5 Proof. The parameterization of M and E λ (M) is like in (.1) and (.9), respectively. Then L Eλ (M) = = π π λ π γ λ() d λγ () + (1 λ)γ ( + π) d γ () d + 1 λ = ( λ + 1 λ ) L M. π γ ( + π) d If λ = 1, then the map M γ() γ 1 () E 1 (M) for [, π] is the double covering of the Wigner caustic of M. Thus L E 1 (M) L M. Theorem 3.. Let M be a positively oriented oval of the length L M, enclosing the region of the area A M. Let ÃE λ (M) denote an oriented area of E λ (M). Then ( (i) if λ, 1 ) ( ) 1, 1, then (3.1) A M λ(1 λ) L M π ÃE λ (M) (λ 1) A M. (ii) if λ = 1, then (3.) A M L M 4π ÃE 1 (M). (iii) if λ (, ) (1, ), then (3.3) (λ 1) A M ÃE λ (M) A M λ(1 λ) L M. π (iv) for all λ, 1, 1 M is a curve of constant width if and only if (3.4) Ã Eλ (M) = A M λ(1 λ) L M. π (v) M is a curve of constant width if and only if (3.5) ÃE 1 (M) = A M L M 4π.

6 6 MICHA L ZWIERZYŃSKI Proof. Let (.9) be the parameterization of E λ (M). Then the oriented area of E λ (M) is equal to à Eλ (M) = 1 γ λ,1 dγ λ, γ λ, dγ λ,1 E λ (M) = 1 π [ (P λ () cos P λ() sin ) (P λ () + P λ ()) cos ] + (P λ () sin + P λ cos ) (P λ () + P λ ()) sin d = 1 π [ ] P λ() + P λ ()P λ () d = 1 π [ ] P λ() P λ () d = 1 π = λ 1 [ (λp() (1 λ)p( + π) ) ( λp () (1 λ)p ( + π) ) ] d π λ(1 λ) 1 [ p () p () ] d + (1 λ) 1 π = ( λ λ + 1 ) A M λ(1 λ) 1 π π [p()p( + π) p ()p ( + π)] d π [ p ( + π) p ( + π) ] d [p()p( + π) p ()p ( + π)] d. Let Ψ M = 1 [p()p( + π) p ()p ( + π)] d, then the oriented area of E λ (M) is in the following form. (3.6) à Eλ (M) = (λ λ + 1)A M λ(1 λ)ψ M. Let us find formula for Ψ M in terms of coefficients of Fourier series of the Minkowski support function p(). By (.5) and (.6) there are also equalities: p( + π) = a + ( 1) n( a n cos(n) + b n sin(n) ), p ( + π) = n=1 ( 1) n n ( a n sin(n) + b n cos(n) ), n=1 Ψ M = πa π (3.7) ( 1) n (n 1)(a n + b n). n= Then bounds of Ψ M are as follows. πa π (n 1)(a n + b n) Ψ M πa + π (3.8) (n 1)(a n + b n). n= By (.7) and (.8) one can rewrite (3.8) as n= (3.9) A M Ψ M L M π A M

7 THE IMPROVED ISOPERIMETRIC INEQUALITY AND THE WIGNER CAUSTIC 7 Then using (3.9) to (3.6) and because the map M γ() γ 1 () E 1 (M) for [, π] is the double covering of the Wigner caustic of M, one can obtain (3.1), (3.), (3.3). To prove (3.4) and (3.5) let us notice that M is a curve of constant width if and only if coefficients a n, b n for n 1 in the Fourier series of p() are all equal to zero [1, 16], and then the formula (3.7) of Ψ M is as follows: Ψ M = πa π ( 1) n (n 1)(a n + b n) = πa + π n= = πa A M n=,n is odd (n 1)(a n + b n) = L M π A M. A simple consequence of the above theorem is the following remark and also the main result, the improved isoperimetric inequality for planar ovals. Remark 3.3. Let M be an positively oriented oval. Then Theorem 3. gives us that ÃE 1 (M), which leads to the fact that the Wigner caustic of M has a reversed orientation against that of the original curve M. Theorem 3.4. (The improved isoperimetric inequality) If M is an oval of the length L M, enclosing a region of the area A M, then (3.1) L M 4πA M + 8π ÃE 1 (M), where ÃE 1 (M) is an oriented area of the Wigner caustic of M, and equality (3.1) holds if and only if M is a curve of constant width. Remark 3.5. The improved isoperimetric inequality becomes isoperimetric inequality if and only if ÃE 1 (M) =, that means when M has the center of symmetry. Theorem 3.6. (Barbier s Theorem)[] Let M be a curve of constant width w. Then the length of M is equal to πw. By Barbier s Theorem and Theorem 3.4 one can get the following corollary. Corollary 3.7. Let M be an oval of constant width w, enclosing region with the area A M. Then A M = πw 4 Ã E 1 (M), where ÃE 1 (M) is an oriented area of the Wigner caustic of M. One can check that curve M for which p() = cos (see Fig. ) is an oval of constant width w =, enclosing the area A M = 117π, and a signed area of the Wigner caustic of M is equal to ÃE 1 (M) = π.

8 8 MICHA L ZWIERZYŃSKI Figure. An oval M 3 of constant width and the Wigner caustic of M 3. The Minkowski support function of M 3 is p 3 () = cos In Proposition 3.8 we present explicitly curves for which the Wigner caustic has ecactly n + 1 cusps (this number must be odd and not smaller than 3 - [1, 13]). M 7 and E 1 (M 7) are shown in Fig. 3. Proposition 3.8. Let n be a positive integer. Let M n+1 be a curve for which p n+1 () = cos [ (n + 1) ] + (n + 1) + is its Minkowski support function. Then M is an oval of constant width and E 1 (M n+1) has exactly n + 1 cusps. Proof. M is singular if and only if p n+1 () + p n+1() =, but one can check that is impossible. M is curve of constant width, because p n+1 () + p n+1 ( + π) is constant for all values of. The cusp of the Wigner caustic of an oval appears when curvatures of the original curve at points in parallel pair are equal [1]. One can check that equation κ() = κ( + π), where [, π] holds if and only if = π + kπ for k {, 1,,..., n}. 4n + Figure 3. An oval M 7 of constant width and E 1 (M 7). The Minkowski support function of M 7 is p 7 () = cos

9 THE IMPROVED ISOPERIMETRIC INEQUALITY AND THE WIGNER CAUSTIC 9 4. The stability of the improved isoperimetric inequality A bounded convex subset in R n is said to be an n dimensional convex body if it is closed and has interior points. Let C n denote the set of all n dimensional convex bodies. There are many important inequalities in convex geometry and differential geometry, such as the isoperimetric inequality, the Brunn Minkowski inequality, Aleksandrov Fenchel inequality. The stability property of them are of great interest in geometric analysis, see [11, 17, 19, 1, 4] and the literature therein. An inequality in convex geometry can be written as (4.1) Φ(K), where Φ : C n R is a real-valued function and (4.1) holds for all K C n. Let CΦ n be a subset of C n for which equality in (4.1) holds. For example, if n =, and like in previous sections let L K denote the length of the boundary of K, let A K denote the area enclosed by K (i.e. the area of K), Φ(K) = L K 4πA K. Then inequality Φ(K) is then the classical isoperimetric inequality in R. In this case CΦ is a set of disks. In this section we will study stability properties associated with (4.1). We ask if K must by close to a member of CΦ n whenever Φ(K) is close to zero. Let d : C n C n R denoted in some sense the deviation between two convex bodies. d should satisfy two following conditions: (i) d(k, L) for all K, L C n, (ii) d(k, L) = if and only if K = L. If Φ, CΦ n and d are given, then the stability problem associated with (4.1) is as follows. Find positive constants c, α such that for each K C n, there exists N CΦ n such that (4.) Φ(K) cg α (K, N). From this point let us assume that n = and by Theorem 3.4 let Φ(K) = L (4.3) K 4πA K 8π. ÃE 1 (M) From Theorem 3.4 one can see that CΦ consists of bodies of constant width. Let us recall two d measure functions. Let K and N be two convex bodies with respective support functions p K and p N. Usually to measure the deviation between K and N one can use the Hausdorff distance, (4.4) d (K, N) = max p K () p N (). Another such measure is the measure that corresponds to the L -metric in the function space. It is defined by (4.5) d (K, N) = ( π p K () p N () d It is obvious that d (K, N) = (or d (K, N) = ) if and only of K = N. ) 1.

10 1 MICHA L ZWIERZYŃSKI Lemma 4.1. Let c k, d k R for k {1,,..., n}. Then n ( max ck cos k + d k sin k ) n ( max ck cos k + d k sin k ). k=1,k is odd k=1 Proof. Let n ( f odd () = ck cos k + d k sin k ), k=1,k is odd n f even () = k=1,k is even f() = f odd () + f even (). ( ck cos k + d k sin k ), One can see that f odd is bounded, π-periodic and f odd () = f odd (+π). Let be an argument for which f odd ( ) = max f odd (), then f odd ( + π) = min f odd () = f odd ( ). Because f even is π-periodic, then f even ( ) = f even ( + π). One can see that: If f even ( ), then max f() f( ) = f( ) f odd ( ) = max If f even ( ) <, then max f odd (). f() f( + π) = f( + π) f odd ( + π) = max f odd (). Definition 4.. Let p M be the Minkowski support function of a positively oriented oval M of length L M. Then (4.6) p WM () = L M π + p M () p M ( + π) will be the support function of a curve W M which will be called the Wigner caustic type curve associated with M. Proposition 4.3. Let W M be the Wigner caustic type curve associated with an oval M. Then W M has following properties: (i) W M is an oval of constant width, (ii) L WM = L M, (iii) E 1 (W M ) = E 1 (M), (iv) A WM A M and the equality holds if and only if M is a curve of constant width, (v) W M = M if and only if M is a curve of constant width. Proof. By (4.6), to prove that W M we will show ρ WM () >. By (.5) and (.) the radius of a curvature of W M is equal to (4.7) (4.8) ρ WM () = p WM () + p W M () = a + ( n + 1)(a n cos n + b n sin n) n=1,n is odd

11 THE IMPROVED ISOPERIMETRIC INEQUALITY AND THE WIGNER CAUSTIC 11 Because ρ M () = a + ( n + 1)(a n cos n + b n sin n) >, then also by n=1 (4.8) inequality ρ WM > holds. This is a consequence of that the range of ( n + 1)(a n cos n + b n sin n) is a subset of the range of n is odd ( n + 1)(a n cos n + b n sin n) - see Lemma 4.1. n To check that W M is a curve of constant width let us notice that p WM () + p WM ( + π) is a constant. By (.3) one can get π π ( LM L WM = p WM ()d = π + p ) M () p M ( + π) d = L M. By (.9) the support function of the Wigner caustic of M is p() p( + π). One can check that also this is the support function of the Wigner caustic of W M. Then using the improved isoperimetric inequality it is easy to show that A WM A M and the equality holds if and only if M is a curve of constant width. Theorem 4.4. Let K be strictly convex domain of area A K and perimeter L K and let ÃE 1 ( K) denote the oriented area of the Wigner caustic of K. Let W K denote the convex body for which W K is the Wigner caustic type curve associated with K. Then L (4.9) K 4πA K 8π 4π d (K, W K ), ÃE 1 ( K) where equality holds if and only if K is a curve of constant width. Proof. Because of (.5), (.6), (.3), (.4), the support functions p K and p WK have the following Fourier series: (4.1) p K () = a + (a n cos n + b n sin n), p WK () = a + n=1 (a n cos n + b n sin n). n=1,n is odd Also one can get the Fourier series of Φ (see (4.3)): (4.11) Φ(K) = L K 4πA K 8π ÃE 1 (M) = π (n 1)(a n + b n). n=,n is even One can check that a n cos n + b n sin n a n + b n and then by (4.4) and Hölder s inequality:

12 1 MICHA L ZWIERZYŃSKI d (K, W K ) = max = max max = p K () p WK () (a n cos n + b n sin n) n=,n is even ( ) a n cos n + b n sin n n=,n is even n=,n is even n=,n is even 1 Φ(K) π. 1 n 1 n 1 a n + b n 1 n 1 n=,n is even (n 1)(a n + b n) And the equality holds if and only if a m = b m = for all m N, so K is a curve of constant width. Theorem 4.5. Under the same assumptions of Theorem 4.4, one gets L (4.1) K 4πA K 8π 6πd (K, W K ), ÃE 1 ( K) where equality holds if and only if K is a curve of constant width, or the Minkowski support function of K is in the form p K () = a + a cos + b sin + (a n cos n + b n sin n). Proof. Because of (4.1) and (4.11) d (K, W K ) = = = π π π n=1,n is odd p K () p WK () d (a n cos n + b n sin ) d n=,n is even (a n + b n) n=,n is even 1 6π π = 1 6π Φ(K). n=,n is even (n 1)(a n + b n) And the equality holds if and only if a m = b m = for all m N, so K is a curve of constant width, or p K () = a + a cos + b sin + (a n cos n + b n sin n). n=1,n is odd

13 THE IMPROVED ISOPERIMETRIC INEQUALITY AND THE WIGNER CAUSTIC 13 Let us consider the convex body K for which (4.13) is its Minkowski support function see Fig. 4. We will check how close the right hand sides in the stability inequalities (4.9) and (4.1) are to be optimal. (4.13) p K () = 1 + cos 1 3 sin 3 1 cos 4. 4 Figure 4. A convex body K for which p K () = 1 + cos 1 3 sin cos 4 is its Minkowski support function, the Wigner caustic type curve associated with K (the dashed one) and the Wigner caustic of K. Then (4.14) (4.15) p WK () = 1 1 sin 3, 3 p E 1 ( K)() = 1 sin 3. 3 One can check that (4.16) (4.17) (4.18) (4.19) L K = π, A K = π, Ã E 1 ( K) = π 9, L K 4πA K 8π = 5.875π, ÃE 1 ( K)

14 14 MICHA L ZWIERZYŃSKI (4.) (4.1) 4π d (K, W K ) = 4π (max cos 1 ) 4 cos 4 =.5π, π ( 6πd (K, W K ) = 6π cos 1 ) 4 cos 4 d = 4.375π. Then by (4.19), (4.) the stability inequality (4.9) in Theorem 4.4 is in the following form: (4.) 5.875π.5π, and by (4.19), (4.1) the stability inequality (4.1) in Theorem 4.5 is in the following form: (4.3) 5.875π 4.375π. Acknowledgements The author would like to thank Professor Wojciech Domitrz for the helpful discussions. References [1] Berry, M.V.: Semi-classical mechanics in phase space: a study of Wigner s function, Philos. Trans. R. Soc. Lond. A 87, (1977). [] Barbier, E. (186): Note sur le probleme de l aiguille et le jeu du joint couvert (PDF), Journal de mathématiques pures et appliquées, e série (in French) 5: See in particular pp [3] Chavel, I.: Isoperimetric Inequalities. Differential Geometric and Analytic Perspectives. Cambridge University Press, 1. [4] Craizer, M.: Iterates of Involutes of Constant Width Curves in the Mikowski Plane, Beiträge zur Algebra und Geometrie, 55(), , 14. [5] Craizer, M., Domitrz, W., Rios, P. de M.: Even Dimensional Improper Affine Spheres, J. Math. Anal. Appl. 41 (15), pp [6] Domitrz, W., Manoel, M., Rios, P. de M.: The Wigner caustic on shell and singularities of odd functions, Journal of Geometry and Physics 71(13), pp [7] Domitrz, W., Rios, P. de M.: Singularities of equidistants and Global Centre Symmetry sets of Lagrangian submanifolds, Geom. Dedicata 169 (14), pp [8] Domitrz, W., Rios, P. de M., Ruas, M. A. S.: Singularities of affine equidistants: projections and contacts, J. Singul. 1 (14), [9] Domitrz, W., Zwierzyński, M.: The geometry of the Wigner caustic and affine equidistants of planar curves, preprint. [1] Fisher, J. C.: Curves of Constant Width from a Linear Viewpoint, Mathematics Magazine Vol. 6, No. 3 (Jun., 1987), pp [11] Fuglede, B.: Stability in the isoperimetric problem, Bull. London Math. Soc. 18 (1986), [1] Gao, X.: A Note on the Reverse Isoperimetric Inequality. Results. Math. 59 (11), 83 9 [13] Giblin, P.J.: Affinely invariant symmetry sets. Geometry and Topology of Caustics, Banach Center Publications, vol.8 (8), p [14] Giblin, P.J., Warder, J.P., Zakalyukin, V.M.: Bifurcations of affine equidistants, Proceedings of the Steklov Institute of Mathematics 67 (9), [15] Giblin P.J, Zakalyukin, V.M: Singularities of Centre Symmetry Sets. Proc. London Math. Soc. (3) 9 (5), [16] Groemer, H.: Geometric applications of Fourier series and spherical harmonics, Encyclopedia of Mathematics and its Applications, vol. 61. Cambridge University Press, Cambridge (1996) [17] Groemer, H.: Stability properties of geometric inequalities, in: P.M. Gruber, J.M. Wills (Eds.), Handbook of Convex Geometry, North Holland, 1993, pp

15 THE IMPROVED ISOPERIMETRIC INEQUALITY AND THE WIGNER CAUSTIC 15 [18] Hsiung, C. C.: A First Course in Differential Geometry. Pure Appl. Math., Wiley, New York [19] Hurwitz, A.: Sur quelque applications geometriques des series Fourier, Ann. Sci. Ecole Normal Sup. (3) 19 (19) [] Lawlor, G.: A new area-maximization proof for the circle. Math. Intell. (1998), 9 31 [1] Pan, S.L.; Xu, H.: Stability of a reverse isoperimetric inequality. J. Math. Anal. Appl. 35 (9), no. 1, [] Reeve, G. M., Zakalyukin, V. M.: Singularities of the Minkowski set and affine equidistants for a curve and a surface. Topology Appl. 159 (1), no., [3] Schender, R.: Convex Bodies: The Brunn-Minkowski Theory, Cambridge, 13. [4] Schneider, R.: A stability estimate for the Aleksandrov Fenchel inequality, wich an application to mean curvature, Manuscripta Math. 69 (199) [5] Steiner, J.: Sur le maximum et le minimum des figures dans le plan, sur la sphére, et dans l espace en général, I and II. J. Reine Angew. Math. (Crelle) 4 (184), and [6] Zakalyukin, V.M.: Envelopes of families of wave fronts and control theory, Proc. Steklov Math. Inst. 9 (1995), Warsaw University of Technology, Faculty of Mathematics and Information Science, Plac Politechniki 1, -661 Warsaw, Poland, address: zwierzynskim@mini.pw.edu.pl