Deping Ye

A flow approach to the Musielak-Orlicz-Gauss image problem

In this paper, the extended Musielak-Orlicz-Gauss image problem is studied. Such a problem aims to characterize the Musielak-Orlicz-Gauss image measure $\widetilde{C}_{G,Ψ,λ}(Ω,\cdot)$ of convex body $Ω$ in $\mathbb{R}^{n+1}$ containing the origin (but the origin is not necessary in its interior). In particular, we provide solutions to the extended Musielak-Orlicz-Gauss image problem based on the study of suitably designed parabolic flows, and by the use of approximation technique (for general measures). Our parabolic flows involve two Musielak-Orlicz functions and hence contain many well-studied curvature flows related to Minkowski type problems as special cases. Our results not only generalize many previously known solutions to the Minkowski type and Gauss image problems, but also provide solutions to those problems in many unsolved cases.

On the $L_p$ Brunn-Minkowski theory and the $L_p$ Minkowski problem for $C$ -coconvex sets

Let $C$ be a pointed closed convex cone in $\mathbb{R}^n$ with vertex at the origin $o$ and having nonempty interior. The set $A\subset C$ is $C$ -coconvex if the volume of $A$ is finite and $A^{\bullet}=C\setminus A$ is a closed convex set. For $0<p<1$ , the $p$ -co-sum of $C$ -coconvex sets is introduced, and the corresponding $L_p$ Brunn-Minkowski inequality for $C$ -coconvex sets is established. We also define the $L_p$ surface area measures, for $0\neq p\in \mathbb{R}$ , of certain $C$ -coconvex sets, which are critical in deriving a variational formula of the volume of the Wulff shape associated with a family of functions obtained from the $p$ -co-sum. This motivates the $L_p$ Minkowski problem aiming to characterize the $L_p$ surface area measures of $C$ -coconvex sets. The existence of solutions to the $L_p$ Minkowski problem for all $0\neq p\in \mathbb{R}$ is established. The $L_p$ Minkowski inequality for $0<p<1$ is proved and is used to obtain the uniqueness of the solutions to the $L_p$ Minkowski problem for $0<p<1$ . For $p=0$ , we introduce $(1-τ)\diamond A_1\oplus_0τ\diamond A_2$ , the log-co-sum of two $C$ -coconvex sets $A_{1}$ and $A_{2}$ with respect to $τ\in(0, 1)$ , and prove the log-Brunn-Minkowski inequality of $C$ -coconvex sets. The log-Minkowski inequality is also obtained and is applied to prove the uniqueness of the solutions to the log-Minkowski problem that characterizes the cone-volume measures of $C$ -coconvex sets. Our result solves an open problem raised by Schneider in [Schneider, Adv. Math., 332 (2018), pp. 199-219].

On the sine polarity and the $L_p$ -sine Blaschke-Santaló inequality

This paper is dedicated to study the sine version of polar bodies and establish the $L_p$ -sine Blaschke-Santaló inequality for the $L_p$ -sine centroid body. The $L_p$ -sine centroid body $Λ_p K$ for a star body $K\subset\mathbb{R}^n$ is a convex body based on the $L_p$ -sine transform, and its associated Blaschke-Santaló inequality provides an upper bound for the volume of $Λ_p^{\circ}K$ , the polar body of $Λ_p K$ , in terms of the volume of $K$ . Thus, this inequality can be viewed as the "sine cousin" of the $L_p$ Blaschke-Santaló inequality established by Lutwak and Zhang. As $p\rightarrow \infty$ , the limit of $Λ_p^{\circ} K$ becomes the sine polar body $K^{\diamond}$ and hence the $L_p$ -sine Blaschke-Santaló inequality reduces to the sine Blaschke-Santaló inequality for the sine polar body. The sine polarity naturally leads to a new class of convex bodies $\mathcal{C}_{e}^n$ , which consists of all origin-symmetric convex bodies generated by the intersection of origin-symmetric closed solid cylinders. Many notions in $\mathcal{C}_{e}^n$ are developed, including the cylindrical support function, the supporting cylinder, the cylindrical Gauss image, and the cylindrical hull. Based on these newly introduced notions, the equality conditions of the sine Blaschke-Santaló inequality are settled.

Ulam floating functions

We extend the notion of Ulam floating sets from convex bodies to Ulam floating functions. We use the Ulam floating functions to derive a new variational formula for the affine surface area of log-concave functions.

preprint2020arXiv

Geometry of log-concave functions: the $L_p$ Asplund sum and the $L_{p}$ Minkowski problem

The aim of this paper is to develop a basic framework of the $L_p$ theory for the geometry of log-concave functions, which can be viewed as a functional "lifting" of the $L_p$ Brunn-Minkowski theory for convex bodies. To fulfill this goal, by combining the $L_p$ Asplund sum of log-concave functions for all $p>1$ and the total mass, we obtain a Prékopa-Leindler type inequality and propose a definition for the first variation of the total mass in the $L_p$ setting. Based on these, we further establish an $L_p$ Minkowski type inequality related to the first variation of the total mass and derive a variational formula which motivates the definition of our $L_p$ surface area measure for log-concave functions. Consequently, the $L_p$ Minkowski problem for log-concave functions, which aims to characterize the $L_p$ surface area measure for log-concave functions, is introduced. The existence of solutions to the $L_p$ Minkowski problem for log-concave functions is obtained for $p>1$ under some mild conditions on the pre-given Borel measures.

Affine isoperimetric inequalities in the functional Orlicz-Brunn-Minkowski theory

In this paper, we develop a basic theory of Orlicz affine and geominimal surface areas for convex and $s$ -concave functions. We prove some basic properties for these newly introduced functional affine invariants and establish related functional affine isoperimetric inequalities as well as functional Santaló type inequalities.

Mixed $f$ -divergence for multiple pairs of measures

In this paper, the concept of the classical $f$ -divergence for a pair of measures is extended to the mixed $f$ -divergence for multiple pairs of measures. The mixed $f$ -divergence provides a way to measure the difference between multiple pairs of (probability) measures. Properties for the mixed $f$ -divergence are established, such as permutation invariance and symmetry in distributions. An Alexandrov-Fenchel type inequality and an isoperimetric inequality for the mixed $f$ -divergence are proved.

Orlicz addition for measures and an optimization problem for the $f$ -divergence

In this paper, the Orlicz addition of measures is proposed and an interpretation of the $f$ -divergence is provided based on a linear Orlicz addition of two measures. Fundamental inequalities, such as, a dual functional Orlicz-Brunn-Minkowski inequality, are established. We also investigate an optimization problem for the $f$ -divergence and establish functional affine isoperimetric inequalities for the dual functional Orlicz affine and geominimal surface areas of measures.

The Orlicz-Petty bodies

This paper is dedicated to the Orlicz-Petty bodies. We first propose the homogeneous Orlicz affine and geominimal surface areas, and establish their basic properties such as homogeneity, affine invariance and affine isoperimetric inequalities. We also prove that the homogeneous geominimal surface areas are continuous, under certain conditions, on the set of convex bodies in terms of the Hausdorff distance. Our proofs rely on the existence of the Orlicz-Petty bodies and the uniform boundedness of the Orlicz-Petty bodies of a convergent sequence of convex bodies. Similar results for the nonhomogeneous Orlicz geominimal surface areas are proved as well.

$L_p$ geominimal surface areas and their inequalities

In this paper, we introduce the $L_p$ geominimal surface area for all $-n\neq p<1$ , which extends the classical geominimal surface area ( $p=1$ ) by Petty and the $L_p$ geominimal surface area by Lutwak ( $p>1$ ). Our extension of the $L_p$ geominimal surface area is motivated by recent work on the extension of the $L_p$ affine surface area -- a fundamental object in (affine) convex geometry. We prove some properties for the $L_p$ geominimal surface area and its related inequalities, such as, the affine isoperimetric inequality and a Santaló style inequality. Cyclic inequalities are established to obtain the monotonicity of the $L_p$ geominimal surface areas. Comparison between the $L_p$ geominimal surface area and the $p$ -surface area is also provided.

Dual Orlicz-Brunn-Minkowski theory: dual Orlicz $L_ϕ$ affine and geominimal surface areas

This paper aims to develop basic theory for the dual Orlicz $L_ϕ$ affine and geominimal surface areas for star bodies, which belong to the recent dual Orlicz-Brunn-Minkowski theory for star bodies. Basic properties for these new affine invariants will be provided. Moreover, related Orlicz affine isoperimetric inequality, cyclic inequality, Santaló style inequality and Alexander-Fenchel type inequality are established.

Dual Orlicz-Brunn-Minkowski theory: Orlicz $φ$ -radial addition, Orlicz $L_ϕ$ -dual mixed volume and related inequalities

This paper develops basic setting for the dual Orlicz-Brunn-Minkowski theory for star bodies. An Orlicz $φ$ -radial addition of two or more star bodies is proposed and related dual Orlicz-Brunn-Minkowski inequality is established. Based on a linear Orlicz $φ$ -radial addition of two star bodies, we derive a formula for the Orlicz $L_ϕ$ -dual mixed volume. Moreover, a dual Orlicz-Minkowski inequality for the Orlicz $L_ϕ$ -dual mixed volume, a dual Orlicz isoperimetric inequality for the Orlicz $L_ϕ$ -dual surface area and a dual Orlicz-Urysohn inequality for the Orlicz $L_ϕ$ -harmonic mean radius are proved.

New Orlicz Affine Isoperimetric Inequalities

The Orlicz-Brunn-Minkowski theory receives considerable attention recently, and many results in the $L_p$ -Brunn-Minkowski theory have been extended to their Orlicz counterparts. The aim of this paper is to develop Orlicz $L_ϕ$ affine and geominimal surface areas for single convex body as well as for multiple convex bodies, which generalize the $L_p$ (mixed) affine and geominimal surface areas -- fundamental concepts in the $L_p$ -Brunn-Minkowski theory. Our extensions are different from the general affine surface areas by Ludwig (in Adv. Math. 224 (2010)). Moreover, our definitions for Orlicz $L_ϕ$ affine and geominimal surface areas reveal that these affine invariants are essentially the infimum/supremum of $V_ϕ(K, L^\circ)$ , the Orlicz $ϕ$ -mixed volume of $K$ and the polar body of $L$ , where $L$ runs over all star bodies and all convex bodies, respectively, with volume of $L$ equal to the volume of the unit Euclidean ball $B_2^n$ . Properties for the Orlicz $L_ϕ$ affine and geominimal surface areas, such as, affine invariance and monotonicity, are proved. Related Orlicz affine isoperimetric inequalities are also established.

On the monotone properties of general affine surface areas under the Steiner symmetrization

In this paper, we prove that, if functions (concave) $ϕ$ and (convex) $ψ$ satisfy certain conditions, the $L_ϕ$ affine surface area is monotone increasing, while the $L_ψ$ affine surface area is monotone decreasing under the Steiner symmetrization. Consequently, we can prove related affine isoperimetric inequalities, under certain conditions on $ϕ$ and $ψ$ , without assuming that the convex body involved has centroid (or the Santaló point) at the origin.