2010/03/28 by Cristina Giannotti, Giannotti, Cristina, Andrea Spiro +1
Mathematics · #Classical Analysis and ODEs (math.CA) #Differential Geometry (math.DG) #FOS: Mathematics #math.CA #math.DG
paper · pdf · doi:10.48550/arxiv.1003.5386
23 pages, 3 figures; this is a revised version, with minor changes in definitions and adjustments in the proofs of Lemma 3.3 and Theorem 5.1; accepted for publication in Israel Journal of Mathematics
arxiv created 2010/12/21 · arxiv updated 2015/03/13
Let S be a complete surface of constant curvature K = + 1 or -1, i.e. the sphere S2 or the Lobachevskij plane L2, and D a bounded convex subset of S. If S = S2, assume also diameter (D) < pi/2. It is proved that the length of any steepest descent curve of a quasi-convex function in D is less than or equal to the perimeter of D. This upper bound is actually proved for the class of G-curves, a family of curves that naturally includes all steepest descent curves. In case S = S2, it is also proved the existence of G-curves, whose length is equal to the perimeter of their convex hull, showing that the above estimate is indeed optimal. The results generalize theorems by Manselli and Pucci on steepest descent curves in the Euclidean plane.