A Short Note on Gage s Isoperimetric Inequality Hong Lu Shengliang Pan Department of Mathematics, East China Normal University, Shanghai, 262, P. R. China email: slpan@math.ecnu.edu.cn December 7, 24 Abstract In this short note we shall first use Minkowski s support function to restate Gage s isoperimetric inequality as an integral inequality about positive periodic function, which can be considered as a mathematical analysis version of Gage s inequality, and then strengthen the inequality in a more isoperimetric form as a conjecture. We are expecting a proof of this conjecture. M athematics Subject Classif ication : 26D15, 52A38, 52A4 Key words convex plane curves, classical isoperimetric inequality, Gage s inequality, Minkowski s support function, integral inequality. 1 Introduction The classical isoperimetric inequality is probably one of the best known results among all global properties about closed plane curves, which states that for a simple This work is supported in part by the National Science Foundation of China (137139), the Shanghai Science and Technology Committee Program and the Shanghai Priority Academic Discipline 1
closed curve Γ (in the Euclidean plane) of length L enclosing a region of area A, one gets that L 2 4πA, (1.1) and the equality holds if and only if Γ is a circle. This inequality was known to the ancient Greeks, mathematical proofs were only given, however, in the 19th century by J. Steiner [18]. There are many proofs, sharpened forms, generalizations, and applications of this inequality, see, e.g., [1], [2], [12], [13], [15], [16], [19], etc., and the literature therein. Usually, various variants of the classical isoperimetric inequality do not involve the integral of curvature of the plane curve. In the 198 s, however, Gage [3] has shown another isoperimetric inequality which involves the integration of the squared curvature, that is, if k is the signed curvature of a closed convex plane curve with length L and enclosing area A, then k 2 ds πl A. (1.2) Gage [3] also presents an example of H. Jacobowitz which shows that inequality (1.2) does not always hold for the bone shaped nonconvex curves. Inequality (1.2) plays an essential role in the studying of the curve-shortening flow in the plane (see [4], [5], [6], [7], and [17]), and is now called by us Gage s inequality. In [8], there are another proof and some generalizations of Gage s inequality. In this short note we will first give a mathematical analysis version of Gage s inequality in terms of the Minkowski support function of a convex closed plane curve, which is an integral inequality about positive periodic function, and then, we shall strengthen Gage s inequality in a more isoperimetric form as a conjecture. Acknowledgement We would like to thank Professors Huitao Feng, Shanwen Hu, Xuecheng Peng, Chunli Shen, Wanghui Yu and Feng Zhou and other colleagues of our geometric inequalities seminar for their comments, help and encouragement. 2 The Polar Tangential Coordinates Let be a C 1 regular and positively oriented closed convex curve in the plane, O be a point inside which is chosen to be the origin of our fixed frame. If p is the oriented perpendicular distance from O to the tangent line Γ at a point ( 1, 2 ) on, and θ is the oriented angle from the positive half of the x 1 axis to this perpendicular ray to Γ, p is a single-valued function of θ and, therefore, is periodic with period 2π, and the equation of Γ can be written in the form x 1 cos θ + x 2 sin θ = p(θ). (2.1) 2
All the tangent lines to form a one parameter family of lines, (2.1) is the equation of this family, θ is the parameter. The curve is then the envelope of this family and, therefore, can be parametrized as { 1 = p(θ) cos θ p (θ) sin θ 2 = p(θ) sin θ + p (2.2) (θ) cos θ, where the prime denotes the derivative with respect to θ. Thus, if θ and p(θ) are given, one can uniquely determine a point ( 1, 2 ) on the curve, and vice versa. (θ, p(θ)) is usually called the polar tangential coordinate of a point ( 1, 2 ) on, and p(θ) the Minkowski support function of. Differentiation of (2.2) with respect to θ gives { 1 = [p(θ) + p (θ)] sin θ 2 = [p(θ) + p (2.3) (θ)] cos θ From the definition of θ, the unit tangential vector field of is given by therefore one has T = ( sin θ, cos θ), p(θ) + p (θ) >. (2.4) Since the inner pointing unit normal vector is given by N = ( cos θ, sin θ), from Frenet formulas, one obtains that the signed curvature k of is given by k = dθ ds. (2.5) If L and A are respectively the length of and the area bounded by, then, observing that p(θ) is a periodic function with period 2π, one gets L = 12 + 22 dθ = [p(θ) + p (θ)]dθ = p(θ)dθ (2.6) which is known as Cauchy s formula, and A = 1/2 1 d 2 2 d 1 = 1/2 p(θ)[p(θ) + p (θ)]dθ (2.7) which is known as Blaschke s formula. Now, in order to express the signed curvature k of in terms of the support function, one needs the additional assumption that is of class C 2 and differentiates (2.3) with respect to θ once more to get k = 1 2 1 2 [ 12 + 2 2 ] = 1 3/2 p(θ) + p (θ) 3 >. (2.8)
3 Restatement of Gage s Isoperimetric Inequality and Some Remarks Since the total curvature of a simple closed and positively oriented plane curve is 2π, that is, kds = 2π, from Cauchy-Schwartz inequality, one gets that k 2 ds 4π2 L. (3.1) Using Gage s inequality (1.2) and the classical isoperimetric inequality (1.1), one finds that for a closed convex plane curve k 2 ds πl A 4π2 L. (3.2) (3.2) implies that Gage s inequality is sharper than the Cauchy-Schwartz inequality for convex closed plane curves. As we know, Gage ([3]) has completed the proof of his inequality by using deep geometric considerations. Now, using (2.4) (2.8), one can restate Gage s inequality in the following manner which can be thought of as a mathematical analysis version of the inequality: p(θ)[p(θ) + p dθ 2π (θ)]dθ p(θ) + p (θ) 2π p(θ)dθ, where p(θ) is a periodic function with period 2π and satisfying p(θ) >, p(θ) + p (θ) >. As an isoperimetric-type inequality, one should require that the equality holds if and only if the curve is a circle, but Gage does not do that. Therefore, one can restate Gage s inequality and strengthen it as the following more isoperimetric form Conjecture. Let p(θ) be a C 2 periodic function with period 2π and p(θ) > and p(θ) + p (θ) >. Then p(θ)[p(θ) + p dθ 2π (θ)]dθ p(θ) + p (θ) 2π p(θ)dθ, (3.3) And moreover, the equality holds if and only if where c is a positive constant. p(θ) + p (θ) = c, (3.4) 4
The statement of this conjecture is motivated by one of the proofs of the classical isoperimetric inequality (1.1) given by Hurwitz [11] in terms of the Fourier series of the support function p(θ). It seems to us that it is very difficult to answer this conjecture. Solving (3.4) yields that p(θ) = a cos θ + b sin θ + c, which implies that the convex curve with p(θ) as its Minkowski support function is a circle with radius c. Thus, Gage s inequality holds for circles, what about the inverse? In all, we are expecting a mathematical analysis proof of this conjecture. Observing that inequality (3.1) can also be written as an analytic inequality dθ 2π p(θ)dθ 4π 2, p(θ) + p (θ) with equality when and only when p(θ) + p (θ) = c (a positive constant). This can easily be seen from the fact that p(θ)dθ = [p(θ) + p (θ)]dθ and the Cauchy- Schwartz inequality. References [1] W. Blaschke, Kreis und kugel, 2nd ed., Gruyter, Berlin, 1956. [2] I. Chavel, Isoperimetric Inequalities, Differential Geometric and Analytic Perspectives, Combridge University Press, 21. [3] M. E. Gage, An isoperimetric inequality with applications to curve shortening, Duke Math. J. 5(1983), 1225-1229. [4] M. E. Gage, Curve shortening makes convex curves circular, Invent. Math., 76(1984), 357-364. [5] M. E. Gage, On an area-preserving evolution equation for plane curves, in Nonlinear Problems in Geometry (D. M. DeTurck edited), Contemp. Math. Vol.51(1986), 51-62. [6] M. E. Gage & R. S. Hamilton, The heat equation shrinking convex plane curves, J. Diff. Geom. 23(1986), 69-96. [7] M. Grayson, The heat equation shrinks embedded plane curve to round points, J. Diff. Geom. 26(1987), 285-314. [8] M. Green & S. Osher, Steiner Polynomials, Wulff flows, and Some new isoperimetric inequalities for convex plane curves, Asian J. Math., 3(1999), 659-676. 5
[9] H. Groemer, Geometric applications of Fourier Series and Spherical Harmonics, Cambridge University Press, 1996. [1] C. C. Hsiung, A First Course in Differential Geometry, Pure & Applied Math., Wiley, New York, 1981. [11] A. Hurwitz, Sur quelques applications géométriques des séries de Fourier, Ann. École Norm., 19(192), 357-48. [12] G. Lawlor, A new area maximization proof for the circle, Mathematical Intelligencer, 2(1999), 29-31. [13] P. Lax, A short path to the shortest path, Amer. Math. Monthly, 12(1995), 158-159. [14] D. S. Mitrinovic, Analytic inequalities, Springer-Verlag, 197. [15] R. Osserman, The isoperimetric inequalities, Bull. Amer. Math. Soc., 84(1978), 1182-1238. [16] R. Osserman, Bonnesen-style isoperimetric inequalities, Amer. Math. Monthly, 86(1979), 1-29. [17] S. L. Pan, On a new curve evolution problem in the plane, in Topology and Geometry: Commemorating SISTAG (A. J. Berrick, M. C. Leung & X. Xu editors), Contemporary Math. Vol.314(21), 29-217. [18] J. Steiner, 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), 24(1842), 93-152 and 189-25. [19] G. Talenti, The standard isoperimetric inequality, in Handbook of Convex Geometry, Vol.A (edited by P. M. Gruber and J. M. Wills), pp.73-123, Amsterdam: North-Halland, 1993. 6