Abstract
We attempt to provide a description of the geometric theory of log-concave functions. We present the main aspects of this theory: operations between log-concave functions; duality; inequalities including the Prékopa-Leindler inequality and the functional form of Blaschke-Santaló inequality and its converse; functional versions of area measure and mixed volumes; valuations on log-concave functions.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
D. Alonso-Gutierrez, B. González, C. H. Jiménez, R. Villa, Rogers-Shephard inequality for log-concave functions, preprint (2015).
S. Artstein-Avidan, K. Einhorn, D.Y. Florentin, Y. Ostrover, On Godbersen’s conjecture, Geom. Dedicata 178 (2015), 337–350.
S. Artstein-Avidan, B. Klartag, V. Milman, The Santaló point of a function, and a functional form of the Santaló inequality, Mathematika 51 (2004), 33–48.
S. Artstein-Avidan, B. Klartag, C. Shütt, E. Werner, Functional affine-isoperimetry and an inverse logarithmic Sobolev inequality, J. Funct. Anal. 262 (2012), no. 9, 4181–4204.
S. Artstein-Avidan, V. Milman, A characterization of the concept of duality, Electron. Res. Announc. Math. Sci. 14 (2007), 42–59.
S. Artstein-Avidan, V. Milman, The concept of duality in convex analysis, and the characterization of the Legendre transform, Ann. of Math. 169 (2009), 661–674.
S. Artstein-Avidan, V. Milman, Hidden structures in the class of convex functions and a new duality transform, J. Eur. Math. Soc. 13 (2011), 975–1004.
K. Ball, PhD Thesis, University of Cambridge (1988).
F. Barthe, On a reverse form of the Brascamp-Lieb inequality, Invent. Math. 134 (1998), 335–361.
S. Bobkov, A. Colesanti, I. Fragalá, Quermassintegrals of quasi-concave functions and generalized Prékopa-Leindler inequalities, Manuscripta Math. (2013), 1–39 (electronic version).
S. Bobkov, M. Ledoux, From Brunn-Minkowski to sharp Sobolev inequalities, Ann. Mat. Pura Appl. 187 (2008), 369–384.
S. Bobkov, M. Ledoux, From Brunn-Minkowski to Brascamp-Lieb and to logarithmic Sobolev inequalities, Geom. Funct. Anal. 10 (2000), 1028–1052.
F. Bolley, I. Gentil, A. Guillin, Dimensional improvements of the logarithmic Sobolev, Talagrand and Brascamp-Lieb inequalities, preprint.
C. Borell, Convex measures on locally convex spaces, Ark. Mat. 12 (1974), 239–252.
C. Borell, Convex set functions in d-space, Period. Math. Hungar. 6 (1975), 111–136.
J. Bourgain, V. Milman, New volume ratio properties for convex symmetric bodies in \(\mathbb{R}^{n}\), Invent. Math. 88 (1987), 319–340.
H. J. Brascamp and E. H. Lieb, On extensions of the Brunn-Minkowski and Prékopa-Leindler theorems, including inequalities for log-concave functions and with an application to the diffusion equation, J. Functional Analysis, 22 (4) (1976), 366–389.
L. Cavallina, A. Colesanti, Monotone valuations on the space of convex functions, Anal. Geom. Metr. Spaces 3 (2015), 167–211.
U. Caglar, M. Fradelizi, O. Guédon, J. Lehec, C. Schütt, E. Werner, Functional versions of the L p -affine surface area and entropy inequalities, to appear in Int. Math. Res. Not.
U. Caglar, E. Werner, Divergence for s-concave and log-concave functions, Adv. Math. 257 (2014), 219–247.
U. Caglar, E. Werner, Mixed f-divergence and inequalities for log-concave functions, to appear on Proc. London Math. Soc.
U. Caglar, D. Ye, Orlicz affine isoperimetric inequalities for functions, preprint.
A. Colesanti, Functional inequalities related to the Rogers-Shephard inequality, Mathematika 53 (2006), 81–101.
A. Colesanti, From the Brunn-Minkowski inequality to a class of Poincaré-type inequalities, Commun. Contemp. Math. 10 (2008), 765–772.
A. Colesanti and I. Fragalà, The first variation of the total mass of log-concave functions and related inequalities, Adv. Math. 244 (2013), 708–749.
A. Colesanti, N. Lombardi, Valuations on the space of quasi-concave functions, in B. Klartag, E. Milman (Eds.), Geometric Aspects of Functional Analysis, Lecture Notes in Mathematics 2169, Springer, Berlin, 2017.
D. Cordero-Erausquin, B. Klartag, Moment measures, J. Functional Analysis 268 (2015), 3834–3866.
S. Dubuc, Critères de convexité et inégalités intégrales, Ann. Inst. Fourier (Grenoble) 27 (1977), 135–165.
M. Fradelizi, Y. Gordon, M. Meyer, S. Reisner, On the case of equality for an inverse Santaló functional inequality, Adv. Geom. 10 (2010), 621–630.
M. Fradelizi, M. Meyer, Some functional forms of Blaschke-Santaló inequality. Math. Z. 256 (2007), 379–395.
M. Fradelizi, M. Meyer, Increasing functions and inverse Santaló inequality for unconditional functions, Positivity 12 (2008), 407–420.
M. Fradelizi, M. Meyer, Some functional inverse Santaló inequalities. Adv. Math. 218 (2008), 1430–1452.
M. Fradelizi, M. Meyer, Functional inequalities related to Mahler’s conjecture, Monatsh. Math. 159 (2010), 13–25.
R. J. Gardner, The Brunn-Minkowski inequality, Bull. Amer. Math. Soc. 39 (2002), 355–405.
H. Hadwiger, Vorlesungen über Inhalt, Oberfläche und Isoperimetrie, Springer-Verlag, Berlin-Göttingen-Heidelberg, 1957.
D. Klain, A short proof of Hadwiger’s characterization theorem, Mathematika 42 (1995), 329–339.
D. Klain, G. Rota, Introduction to geometric probability, Cambridge University Press, New York, 1997.
B. Klartag and V. D. Milman. Geometry of log-concave functions and measures, Geom. Dedicata 112 (2005), 169–182.
M. Ledoux, The concentration of measure phenomenon, Math. Surveys Monogr., vol. 89, Amer. Math. Soc., 2005.
J. Lehec, A direct proof of the functional Santaló inequality, C. R. Acad. Sci. Paris, Ser. 347 (2009), 55–58.
J. Lehec, Partitions and functional Santaló inequalities, Arch. Math. (Basel) 92 (2009), 89–94.
L. Leindler, On certain converse of Hölder’s inequality II, Acta Math. Sci. (Szeged) 33 (1972), 217–223.
M. Ludwig, Valuations on function spaces, Adv. Geom. 11 (2011), 745–756.
P. McMullen, Valuations and Euler type relations on certain classes of convex polytopes, Proc. London Math. Soc. 35 (1977), 113–135.
V. Milman, Geometrization of probability. In: Geometry and Dynamics of Groups and Spaces, Progr. Math. 265, M. Kapranov et al. (eds.), Birkhäuser, 647–667 (2008).
V. Milman, L. Rotem, Mixed integrals and related inequalities, J. Funct. Analysis 264 (2013), 570–604.
V. Milman, L. Rotem, α-concave functions and a functional extension of mixed volumes, Electr. Res. Announcements Math. Sci. 20 (2013), 1–11.
A. Prékopa, Logarithmic concave measures with application to stochastic programming, Acta Sci. Math. (Szeged) 32 (1971), 301–315.
A. Prékopa, On logarithmic concave measures and functions, Acta Sci. Math. (Szeged) 34 (1975), 335–343.
C. A. Rogers, G. C. Shephard, The difference body of a convex body, Arch. Math. 8 (1957), 220–233.
R. T. Rockafellar, Convex Analysis. Princeton University Press, Princeton, New Jersey, 1970.
L. Rotem, PhD Thesis, University of Tel Aviv (2011).
L. Rotem, On the mean width of log-concave functions, in: B. Klartag, S. Mendelson, V. Milman (Eds.), Geometric Aspects of Functional Analysis, Vol. 2050, Springer, Berlin, 2012, 355–372.
D. Ryabogin, A. Zvavitch, Analytic methods in convex geometry, IMPAN lecture notes, 2 (2014), 89–183.
R. Schneider, Convex Bodies: The Brunn-Minkowski Theory. Second expanded edition. Cambridge University Press, Cambridge, 2014.
Acknowledgements
The author would like to thank the anonymous referee for the careful reading of the paper and his/her corrections and valuable suggestions.
This research was partially supported by G.N.A.M.P.A (INdAM) and by the FIR project 2013: Geometrical and qualitative aspects of PDE’s.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Appendices
Appendix A. Basic Notions of Convex Geometry
This part of the paper contains some notions and constructions of convex geometry that are directly invoked throughout this paper. Our main reference text on the theory of convex bodies is the monograph [55].
A.1 Convex Bodies and Their Dimension
We denote by \(\mathcal{K}^{n}\) the class of convex bodies, i.e. compact convex subsets of \(\mathbb{R}^{n}\).
Given a convex body K its dimension is the largest integer k ∈ { 0, …, n} such that there exists a k-dimensional hyperplane of \(\mathbb{R}^{n}\) containing K. In particular, if K has non-empty interior, then its dimension is n. The relative interior of K is the set of points x ∈ K such that there exists a k-dimensional ball centered at x included in K, where k is the dimension of K. If the dimension of K is n, then the relative interior coincides with usual interior.
A.2 Minkowski Addition
The Minkowski linear combination of \(K,L \in \mathcal{K}^{n}\) with coefficients α, β ≥ 0 is
It is easy to check that this is still a convex body.
A.3 Support Function
The support function of a convex body K is defined as:
This is a 1-homogeneous convex function in \(\mathbb{R}^{n}\). Vice versa, to each 1-homogeneous convex function h we may assign a unique convex body K such that h = h K . Support functions and Minkowski additions interact in a very simple way; indeed, for every K and L in \(\mathcal{K}^{n}\) and α, β ≥ 0 we have
A.4 Hausdorff Metric
\(\mathcal{K}^{n}\) can be naturally equipped with a metric: the Hausdorff metric d H . One way to define d H is as the \(L^{\infty }(\mathbb{S}^{n-1})\) distance of support functions, restricted to the unit sphere:
Hausdorff metric has many useful properties; in particular, we note that \(\mathcal{K}^{n}\) is a locally compact space with respect to d H .
A.5 Intrinsic Volumes
An easy way to define intrinsic volumes of convex bodies is through the Steiner formula. Let K be a convex body and let B n denote the closed unit ball of \(\mathbb{R}^{n}\). For ε > 0 the set
is called the parallel set of K and denoted by K ε . The Steiner formula asserts that the volume of K ε is a polynomial in ε. The coefficients of this polynomial are, up to dimensional constants, the intrinsic volumes V 0(K), …, V n (K) of K:
Here κ j denotes the j-dimensional volume of the unit ball in \(\mathbb{R}^{j}\), for every \(j \in \mathbb{N}\). Among the very basic properties of intrinsic volumes, we mention that: V 0 is constantly 1 for every K; V n is the volume; V n−1 is (n − 1)-dimensional Hausdorff measure of the boundary (only for those bodies with non-empty interior). Moreover, intrinsic volumes are continuous with respect to Hausdorff metric, rigid motion invariant, monotone, and homogeneous with respect to dilations (V i is i-homogeneous). Finally, each intrinsic volume is a valuation
for every K and L in \(\mathcal{K}^{n}\), such that \(K \cup L \in \mathcal{K}^{n}\). Hadwiger’s theorem claims that every rigid motion invariant and continuous valuation can be written as the linear combination of intrinsic volumes.
A.6 Mixed Volumes
The Steiner formula is just an example of the polynomiality of the volume of linear combinations of convex bodies. A more general version of it leads to the notions of mixed volumes. Let \(m \in \mathbb{N}\) and K 1, …, K m be convex bodies; given λ 1, …, λ m ≥ 0, the volume of the convex body λ 1 K 1 + … +λ m K m is a homogeneous polynomial of degree n in the variables λ i ’s, and its coefficients are the mixed volumes of the involved bodies. The following more precise statement is a part of Theorem 5.16 in [55]. There exists a function \(V \,:\, (\mathcal{K}^{n})^{n} \rightarrow \mathbb{R}_{+}\), the mixed volume, such that
for every K 1, …, K m ∈ K n and λ 1, …, λ m ≥ 0. Hence a mixed volume is a function of n convex bodies. Mixed volumes have a number of interesting properties. In particular they are non-negative, symmetric, and continuous; moreover, they are linear and monotone with respect to each entry.
A.7 The Polar Body
The polar of a convex body K, having the origin as an interior point, is the set
This is again a convex body, with the origin in its interior, and (K ∘)∘ = K.
Rights and permissions
Copyright information
© 2017 Springer Science+Business Media LLC
About this paper
Cite this paper
Colesanti, A. (2017). Log-Concave Functions. In: Carlen, E., Madiman, M., Werner, E. (eds) Convexity and Concentration. The IMA Volumes in Mathematics and its Applications, vol 161. Springer, New York, NY. https://doi.org/10.1007/978-1-4939-7005-6_15
Download citation
DOI: https://doi.org/10.1007/978-1-4939-7005-6_15
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-1-4939-7004-9
Online ISBN: 978-1-4939-7005-6
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)