{"id":109,"date":"2010-04-03T08:44:35","date_gmt":"2010-04-03T12:44:35","guid":{"rendered":"http:\/\/blogs.williams.edu\/Morgan\/?p=109"},"modified":"2025-03-27T06:52:31","modified_gmt":"2025-03-27T11:52:31","slug":"the-log-convex-density-conjecture","status":"publish","type":"post","link":"https:\/\/sites.williams.edu\/Morgan\/2010\/04\/03\/the-log-convex-density-conjecture\/","title":{"rendered":"The Log-Convex Density Conjecture"},"content":{"rendered":"

Announcement: proof posted<\/a> 19 November 2013 by Gregory R. Chambers,<\/em><\/strong> student of\u00a0<\/em>Regina Rotman and Alex Nabutovsky at Toronto.<\/em>\u00a0<\/em><\/strong>By spherical symmetrization the problem reduces to planar curves, which he studies very intelligently in great detail. The main idea is that if the generating curve is not a circle about the origin, then from its maximum (on the axis of symmetry) it spirals inward and it eventually turns through 2\u03c0 before returning to the axis, contradiction. See his 30-second video<\/a>. “Proof of the Log-Convex Density Conjecture,”\u00a0J. Eur. Math. Soc. 21 (2019), 2301\u20132332.<\/p>\n

Update August 2, 2022.\u00a0arXiv:2208.00195<\/a>. “Approaching the isoperimetric problem in H^m_\u2102 via the hyperbolic log-convex density conjecture” by\u00a0Lauro Silini. Abstract:\u00a0We prove that geodesic balls centered at some base point are isoperimetric in the real hyperbolic space H^n_\u211d endowed with a smooth, radial, strictly log-convex density on the volume and perimeter. This is an analogue of the result by G. R. Chambers for log-convex densities on \u211d^n. As an application we prove that in the complex and quaterionic hyperbolic spaces, geodesic balls are isoperimetric in a class of sets enjoying a suitable notion of radial symmetry.\u00a0<\/em>The hyperbolic plane case was proved by Igor McGillivray:\u00a0arXiv:1712.07690<\/a>, “A weighted isoperimetric inequality on the hyperbolic plane.”<\/p>\n

Ken Brakke’s Log-Convex Density Conjecture\u00a0[Rosales\u00a0et al.<\/em> Conj. 3.12]<\/a> says that in Euclidean space with radial log-convex density f(r)<\/em>, balls about the origin are isoperimetric.<\/p>\n

A density is just a positive continuous function used to weight volume and perimeter. Log convexity just means that log f<\/em> is convex. Balls isoperimetric means that any other region of the same weighted volume has no less weighted perimeter.<\/p>\n

Log convexity is necessary because it is equivalent to stability. The question is whether it is sufficient.<\/p>\n

After the trivial, borderline case of Euclidean space with unit density, the second example was density f(r)<\/em> = exp(r<\/em>2<\/em><\/sup>) [Borell; see Rosales et al<\/em>.<\/a>]<\/a>, proved by Steiner symmetrization, since exp(r<\/em>2<\/em><\/sup>)\u00a0is a product as well as rotationally symmetric.<\/p>\n

The third example was exp(r<\/em>p<\/em><\/sup>)\u00a0for p<\/em> \u2265 2 in R<\/strong>2 <\/sup>[Maurmann-Morgan]<\/a>, by comparison with certain classical surfaces of revolution. The cases 1\u2264 p<\/em> < 2 remain conjectural. (Corrected on this blog from p<\/em> \u2265 1 thanks to Ping Ngai Chung, Miguel Fernandez, Niralee Shah, and Luis Sordo.)<\/p>\n

The fourth example was large balls in\u00a0R<\/strong>n<\/sup> with uniformly log convex density\u00a0(Kolesnikov-Zhdanov,<\/a>\u00a0generalized by Howe<\/a>), by the Divergence Theorem.<\/p>\n

The fifth example was small balls in\u00a0\u00a0R<\/strong>n<\/sup>\u00a0with uniformly log-convex density or density C2<\/sup>\u00a0close to\u00a0exp(r<\/em>2<\/em><\/sup>) by asymptotic analysis. A. Figalli and F. Maggi, On the isoperimetric problem for radial log-convex densities, preprint (2012).<\/p>\n

In addition there are results for densities xn<\/sub>k<\/sup><\/em>\u00a0exp(r<\/em>2<\/em><\/sup>) in a halfspace and x<\/em>1<\/sub>k<\/em>1<\/sub><\/sup>…xn<\/sub>kn<\/sub><\/sup><\/em> exp(r<\/em>2<\/em><\/sup>) in an orthant by studying constant-generalized-curvature curves in the plane and induction by Engelstein et al. [2009<\/a>] and by Brock, Chiacchio, and Mercaldo [2011<\/a>, 2012<\/a>]. More recently there are more general results in convex cones for densities f<\/em>\u00a0 homogeneous of degree k<\/em>\u00a0with\u00a0f1\/k<\/sup>\u00a0concave\u00a0such as x<\/em>1<\/sub>k<\/em>1<\/sub><\/sup>…xn<\/sub>kn<\/sub><\/sup><\/em>\u00a0or\u00a0\u221ax + \u221ay but not r<\/em>p\u00a0<\/em><\/sup>\u00a0via a comparison mapping of constant weighted divergence by\u00a0Cabr\u00e9, Ros-Oton, and Serra<\/a>\u00a0(arXiv<\/a>\u00a02012, see an alternative argument for integer homogeneity by Milman below, arXiv<\/a>\u00a02013, video<\/a>) and\u00a0by stability analysis by\u00a0Ca\u00f1ete and Rosales<\/a>\u00a0(arXiv<\/a>\u00a02013), who also treat negative k<\/em>. Third, Milman and Rotem (arXiv <\/a>2013) observed that such results follow from the Borell-Brascamp-Lieb generalization of Brunn-Minkowski and from new, similar inequalities. Cabr\u00e9 et al. remark that:<\/p>\n

After announcing our result and proof…, we have been told that optimal\u00a0transportation techniques…could also be used to proof weighted isoperimetric\u00a0inequalities in certain cones. C. Villani pointed out that this is mentioned in the\u00a0Bibliographical Notes to Chapter 21 of his book [Optimal Transport, Old And New, Springer, 2009]. A. Figalli showed it to us with\u00a0a computation when the cone is a halfspace {xn<\/sub><\/em>\u00a0> 0} equipped with the weight xn<\/sub><\/em>\u03b1<\/sup>.<\/p>\n

There are a number of interesting examples where the log-convexity hypothesis fails, balls about the origin are unstable, and other isoperimetric regions are known.<\/p>\n

In the famous example of Gauss space, isoperimetric regions are half-spaces (see my Geometric Measure Theory<\/a> book, Chap. 18).<\/p>\n

In the plane or space with density\u00a0rp<\/sup><\/em>, p<\/em> > 0, isoperimetric regions are balls with the origin on the boundary [Dahlberg et al.<\/em><\/a>, Tammen et al.<\/a>]. On the line with density\u00a0rp<\/sup><\/em>, p<\/em> > 0, double bubbles are two intervals meeting at the origin [Huang et al.<\/a>].<\/p>\n

In the halfplane {y<\/em>>0} with density y<\/em>k<\/em><\/sup> (k<\/em>>0), isoperimetric regions are half-discs about points on the x<\/em>-axis [Maderna and Salsa, Applicable Anal. 12, 1981].<\/p>\n

In R<\/strong>n<\/sup> with density |x<\/em>n<\/em><\/sub>|k<\/em><\/sup>exp(-r<\/em>2<\/sup>), isoperimetric regions are halfspaces [Brock, Chiacchio, and Mercaldo, J. Math. Anal. Appl. 348, 2008].<\/p>\n

When rephrased to state that all balls about the origin are isoperimetric if stable, the conjecture naturally generalizes to perimeter density, volume density, or both (different densities on volume and perimeter). Examples are provided by Betta et al.<\/em><\/a>\u00a0[B], D\u00edaz et al.<\/em><\/a>\u00a0[D, Prop. 4.21], Howe<\/a>\u00a0[H], Alvino et al. [A1, A2, A3], Di Giosia et al. [DH], and Brock and Chiacchio [BC]. Actually [June 22, 2010], stability of balls about the origin is not quite enough; you need to require smoothness or at least log-convexity of the density at the origin. For example, in the plane with density\u00a0r<\/em>-2<\/sup>, isoperimetric regions do not exist, and in the plane with density exp(r<\/em>2<\/sup>-2r<\/em>+2), isoperimetric regions for small volume are approximately round balls about the minimum density at r<\/em> = 1. For perimeter density g(r)<\/em> on\u00a0R<\/strong>n+1<\/sup>, the stability condition for balls about the origin is (n\/r<\/em>)g<\/em>‘ + g<\/em>” \u2265 0 for r<\/em>>0; one should further assume that the inequality holds in some sense at 0. The situation is simpler for area density, where the stability condition (area density nonincreasing) trivially implies that balls about the origin are isoperimetric. (These stability conditions follow from the second variation formulae<\/a>.)<\/p>\n

Regularity (12 January 2020)<\/strong>. For regularity of isoperimetric sets, see Pratelli and Saracco [PS] and references therein.<\/p>\n

[A1] A. Alvino, F. Brock, F. Chiacchio, A. Mercaldo, M.R. Posteraro, Some isoperimetric inequalities on R^N with respect to weights |x|^\\alpha, arXiv.org<\/a> (2016).<\/p>\n

[A2]\u00a0Angelo Alvino, Friedemann Brock, Francesco Chiacchio, Anna Mercaldo, Maria Rosaria Posteraro,\u00a0On weighted isoperimetric inequalities with non-radial densities, arXiv.org<\/a> (2018).<\/p>\n

[A3]\u00a0Angelo Alvino, Friedemann Brock, Francesco Chiacchio, Anna Mercaldo, Maria Rosaria Posteraro,\u00a0The isoperimetric problem for a class of non-radial weights and applications, arXiv.org<\/a> (2018).<\/p>\n

[B]\u00a0M. F. Betta, F. Brock, A Mercaldo, and M. R. Posteraro, A weighted isoperimetric\u00a0inequality and applications to symmetrization, J. Inequal. Applns. 4 (1999), 215\u2013240.<\/p>\n

[BC] Friedemann Brock, Francesco Chiacchio, Some weighted isoperimetric problems on R^N+ with stable half balls have no solutions, arXiv.org<\/a> (2019).<\/p>\n

[D]\u00a0Alexander D\u00edaz, Nate Harman, Sean Howe, David Thompson, Isoperimetric problems in sectors with density, Adv. Geom.\u00a012 (2012), 589\u2013619;\u00a0arXiv.org<\/a>\u00a0(2010).<\/p>\n

[DH] Leonardo Di Giosia, Jahangir Habib, Lea Kenigsberg, Dylanger Pittman, Weitao Zhu, Balls Isoperimetric in R^n with Volume and Perimeter Densities r^m and r^k, arXiv.org<\/a> (2019).<\/p>\n

[H]\u00a0Sean Howe, The Log-Convex Density Conjecture and vertical surface area in warped products, Adv. Geom. 15 (2015),\u00a0455\u2013468;\u00a0arXiv.org<\/a> (2011).<\/p>\n

[PS] Aldo Pratelli and Giorgio Saracco, The \u03b5 – \u03b5^\u03b2 property in the isoperimetric problem with double density, and the regularity of isoperimetric sets, Advanced Nonlinear Studies, February, 2020.<\/p>\n

Note added 11 February 2011.<\/strong> Manuel Ritor\u00e9 suggests such a generalization to any rotationally symmetric manifold with density: if spheres about the origin are stationary and strictly stable, they are the only stable stationary surfaces, and therefore isoperimetric regions, if they exist, are balls or annular regions (of course e.g. for Euclidean space with increasing density they would be balls). [False, see note of 24 September 2016 below.]<\/p>\n

Note that for the plane with density 1\/r2<\/sup>, circles are strictly stable but minimizers don’t exist (go off to infinity). Morgan, Hutchings, and Howards [MHH, \u00a73.4] give an example of a Riemannian plane of revolution for which annuli occur as isoperimetric regions.<\/p>\n

[MHH] Frank Morgan, Michael Hutchings, and Hugh Howards, The isoperimetric problem on surfaces of revolution of decreasing Gauss curvature, Trans. Amer. Math. Soc 352 (2000), 4889-4909.<\/p>\n

Note added 18 February 2011, revised 12 June 2011<\/strong>. Li et al<\/em>. [L, Prop. 9.2 (later renumbered 6.2)] note that a smooth density on R<\/strong>n<\/em><\/sup> is radial if and only if spheres about the origin are stationary for given volume. If one allows the density to be singular at the origin, the same argument shows that the density is a product of a function f<\/em>(r<\/em>) of r<\/em> and a function of \u0398\u00a0(\u0398 in unit sphere), although the stability condition now becomes more complicated, as Antonio Ca\u00f1ete observed, correcting a mistake I made when I first posted this note.
\n[L] \u00a0Yifei Li, Michael Mara, Isamar Rosa Plata, and Elena Wikner, Tiling with penalties and isoperimetry with density, Geometry Group report, Williams College, 2010.<\/p>\n

Note added 14 May 2010<\/strong>.\u00a0Steiner and Schwarz symmetrization fail for non-product densities f on\u00a0R<\/strong>n<\/em><\/sup>, i.e., for all radial densities except C exp(a<\/em>r<\/em>2<\/em><\/sup>). For example, the counterexample to horizontal Steiner symmetrization in\u00a0R<\/strong>2<\/sup> is a thin isosceles trapezoid with very steep sides. Since the perimeter of the top and bottom remain invariant under symmetrization, it suffices to consider the sides. We will take it to be infinitesimally thin and just compare the infinitesimal contributions to perimeter: f{sec}\\theta at the ends of an interval from (a,y) to (b,y) compared to the symmetrized interval from (-c,y) to (c,y). Each is constrained to have the same rate of change of weighted length as y changes:<\/p>\n

(f(a,y)+f(b,y))tan{\\theta}_0+\\int\\limits_a^b({\\partial}f\/{\\partial}y)dx<\/p>\n

= 2f(c,y) tan\\theta+\\int\\limits_{-c}^c({\\partial}f\/{\\partial}y)dx.<\/p>\n

If g = log f, these integrals equal the integrals of<\/p>\n

({\\partial}g\/{\\partial}y)(fdx),<\/p>\n

which can be arranged to be unequal unless<\/p>\n

{\\partial}^2g\/{\\partial}x{\\partial}y = 0,<\/p>\n

which would make f a product density. By sloping the trapezoids one way or the other, we obtain that the tangents satisfy<\/p>\n

At_0-B t\\geq 0, \u00a0i.e., \u00a0t_0-Ct =-\\epsilon<0,<\/p>\n

whereas Steiner symmetrization says that the secants satisfy<\/p>\n

As_0-B s\\geq 0, \u00a0i.e., \u00a0s_0\\geq Cs.<\/p>\n

Plugging that into the first inequality yields<\/p>\n

\\sqrt{C^2s^2-1}+\\epsilon \\leq C\\sqrt{s^2-1},<\/p>\n

which fails for s large (as you can see by squaring both sides).<\/p>\n

Note added 2 June 2010.<\/strong> That symmetrization fails for non-product densities was proved by:<\/p>\n

M. Francesca Betta, Friedemann Brock, Anna Mercaldo, and M. Rosaria Posteraro, Weighted isoperimetric inequalities on\u00a0R<\/strong>n<\/sup> and applications to rearrangements, Math. Nachr. 281, No. 4, 466\u2013498 (2008), Theorem 3.10.<\/p>\n

Date: Fri, 7 Dec 2012
\nFrom: Emanuel Milman<\/a>
\n…It occurred to me\u00a0that the Cabre-et-al. result [without uniqueness] actually follows from the original result of Lions-Pacella in the non-weighted case when a (alpha) is an integer…. The reason is that one may consider the following convex cone (by 1-homogeneity and concavity of w1\/a<\/sup>) in R<\/strong>n+a<\/sup>:<\/p>\n

Ce<\/sub> := {(x,y) : x is in \u2211, y is in R<\/strong>a<\/sup>, |y| \u2264 ew1\/a<\/sup>} .<\/p>\n

Now equip this convex cone with Lebesgue measure. Note that the projection onto the base cone \u2211 pushes forward Lebesgue measure onto the measure cea<\/sup>w, and the isoperimetric minimizers (as a family) on this space are identical to the ones on the rescaled space with density w, in which we are interested. Also, the projection is a 1-Lipschitz map w.r.t. the Euclidean structures on R<\/strong>n+a<\/sup> and R<\/strong>n<\/sup>. Consequently, the isoperimetric behaviour can only be better (further away from zero) on the base space. Now by the Lion-Pacella result, we know that the minimizers on the big cone are Euclidean balls. However, these are not the preimages of any set on the base cone \u2211 under the projection, so the argument is still not finished. This is where the parameter e comes in: Taking the limit as e->0, it is easy to verify that the ratio between volumes and also between perimeters of the Euclidean minimizer in the big cone Ce<\/sub> and its approximation by a circumscribing and inscribed lift of a Euclidean ball in \u2211, are all (1 + o(e)). (This takes about 4 lines to justify, so I omit it here, but it is clear that it should be the case – the maximal vertical angle of the big cone goes to 0 linearly in e). So although there are various factors like ea<\/sup> present, they all cancel out, and the lower bound on the perimeter that we get by applying Lions-Pacella on Ce<\/sub> and scaling by ea<\/sup>,\u00a0converges to the asserted lower bound by Cabre-et-al. Basically,\u00a0the Euclidean minimizer in Ce<\/sub> just degenerates into the asserted Euclidean minimizer in \u2211…. Such constructions… are more or less standard in the field of convexity (although it took me a while to incorporate e and make the reduction work), but perhaps this reduction step could also be useful in similar situations (one could try to apply it to the numerous list of results you have in your blog on the log-convexity conjecture).
\nRemark<\/em>.\u00a0If you normalize the big cone in your argument with constant density, then I guess you can use a limit argument instead of your approximation argument.–FM<\/p>\n

Note added 24\/26 September\u00a02016, Granada.\u00a0<\/strong>The natural generalization of the Log-convex density conjecture described above in the note of 11 February 2011 is false, as shown by the following counterexample. In the counterexample, even though all circles about the origin are strictly stable, the Gauss curvature at some radius rises above its starting value, so that small circles about the origin cannot be isoperimetric.<\/p>\n

We’ll describe a smooth surface of revolution with polar coordinates r, \u03b8\u00a0and metric<\/p>\n

ds^2 = dr^2+f^2 d\\theta^2.<\/p>\n

Let H=f'^2-ff". Then H(0) = 1 and the circle about the origin is stable if and only if H(r)\\le 1. The Gauss curvature G = -f"\/f and<\/p>\n

H' = f'f" - ff''' and G' = H'\/f^2 (see [EMMP, Sect. 6]).<\/p>\n

In particular, H<\/em> and G<\/em> increase or decrease together, G<\/em> more slowly when f<\/em> is large.<\/p>\n

Now from the origin start like a sphere of Gauss curvature .1, initially decreasing a tiny bit so that H<\/em> is slightly less than 1. When\u00a0f<\/em> is about 10 (approximately a hemisphere), let G<\/em> decrease\u00a0by a larger but still small amount\u00a0\u03b4. Since f>>1 for most of the decrease, H<\/em> decreases much more than G<\/em>. Next, when\u00a0f<\/em> is about say 1\/4\u00a0(closer to a whole sphere), increase G<\/em> to .11. Since f < 1, H<\/em> increases more slowly than G<\/em>, so stays below its original value of 1.\u00a0Finally, to make sure that f<\/em> does not go to 0, let G<\/em> and H<\/em> decrease a lot. So even though H<\/em> stays less than 1 and all circles about the origin are strictly stable, small circles where the Gauss curvature is .11 have less perimeter than ones about the origin of the same area.<\/p>\n

If instead of a plane you want a sphere, just reflect across the minimum of f<\/em> for a C^2 example, which you can smooth to a C^\\infty example.<\/p>\n

[EMMP]\u00a0Max Engelstein, Anthony Marcuccio, Quinn Maurmann, and Taryn Pritchard, Isoperimetric problems on the sphere and on surfaces with density, New York J. Math. 15 (2009), 97\u2013123. http:\/\/www.emis.de\/journals\/NYJM\/j\/2009\/15-5.html<\/a><\/p>\n

Frank Morgan, Isoperimetric\u00a0symmetry\u00a0breaking: a counterexample to a generalized form of the log-convex density conjecture,\u00a0Anal. Geom. Metr. Spaces\u00a04 (2016), 314-316.<\/p>\n

Gwynne and Cox<\/a> consider density r<\/em>p<\/em><\/sup>+a, which is log convex if r<\/em>p<\/em><\/sup> \u2264 a(p \u2212 1).<\/p>\n","protected":false},"excerpt":{"rendered":"

Announcement: proof posted 19 November 2013 by Gregory R. Chambers, student of\u00a0Regina Rotman and Alex Nabutovsky at Toronto.\u00a0By spherical symmetrization the problem reduces to planar curves, which he studies very intelligently in great detail. The main idea is that if the generating curve is not a circle about the origin, then from its maximum (on […]<\/p>\n","protected":false},"author":269,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"_acf_changed":false,"footnotes":""},"categories":[14043],"tags":[],"class_list":["post-109","post","type-post","status-publish","format-standard","hentry","category-math"],"acf":[],"_links":{"self":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/posts\/109","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/users\/269"}],"replies":[{"embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/comments?post=109"}],"version-history":[{"count":62,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/posts\/109\/revisions"}],"predecessor-version":[{"id":3879,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/posts\/109\/revisions\/3879"}],"wp:attachment":[{"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/media?parent=109"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/categories?post=109"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/sites.williams.edu\/Morgan\/wp-json\/wp\/v2\/tags?post=109"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}