Abstract
We construct the extension of the curvilinear summation for bounded Borel measurable sets to the \(L_p\) space for multiple power parameter \(\bar{\alpha }=(\alpha _1, \ldots , \alpha _{n+1})\) when \(p>0\). Based on this \(L_{p,\bar{\alpha }}\)-curvilinear summation for sets and the concept of compression of sets, the \(L_{p,\bar{\alpha }}\)-curvilinear-Brunn–Minkowski inequality for bounded Borel measurable sets and its normalized version are established. Furthermore, by utilizing the hypo-graphs for functions, we enact a brand new proof of \(L_{p,\bar{\alpha }}\) Borell–Brascamp–Lieb inequality, as well as its normalized version, for functions containing the special case of the \(L_{p}\) Borell–Brascamp–Lieb inequality through the \(L_{p,\bar{\alpha }}\)-curvilinear-Brunn–Minkowski inequality for sets. Moreover, we propose the multiple power \(L_{p,\bar{\alpha }}\)-supremal-convolution for two functions together with its properties. Last but not least, we introduce the definition of the surface area originated from the variation formula of measure in terms of the \(L_{p,\bar{\alpha }}\)-curvilinear summation for sets as well as \(L_{p,\bar{\alpha }}\)-supremal-convolution for functions together with their corresponding Minkowski type inequalities and isoperimetric inequalities for \(p\ge 1,\) etc.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
By \(\mathbb {R}^n\) we denote the n-dimensional Euclidean space with its usual inner product \(\langle \cdot , \cdot \rangle \) and Euclidean norm \(\Vert \cdot \Vert \). For a measurable set \(A \subset \mathbb {R}^n\), we denote by \(V_n(A)\), the volume (Lebesgue measure) of the set A. By \(\chi _A\) we denote the characteristic function of A. For a subspace \(H\in G_{n, k}\) (the k-dimensional Grassmannian manifold on \(\mathbb {R}^{n}\) equipped with the Haar probability measure \(\nu _{n,k}\)), its orthogonal complement \(H^{\perp }\in G_{n, n-k}\) for \(k\in \{0,1,\ldots ,n\}.\)
Denote for \(a, b\ge 0\), \(\alpha \in [-\infty , \infty ]\) and \(t\in [0,1]\), the \(\alpha \)-mean of a, b as
if \(ab>0\), and \(M_{\alpha }^{t}(a,b)=0\) if \(ab=0.\) For Borel subsets \(A,B \subset \mathbb {R}^n\) and \(t \in (0,1)\), the Minkowski convex combination of A and B is the vector summation
The famous Brunn–Minkowski inequality in \(\mathbb {R}^n\) asserts that for any measurable sets A and B such that \((1-t) A+t B\) is measurable,
with equality if and only if A and B are homothetic. Moreover, Minkowski’s first inequality associated to the variation for the volume in terms of the Minkowski summation for convex bodies \(A, B\in \mathcal {K}_{(o)}^n\) (convex, compact subsets in \(\mathbb {R}^n\) with the origin o in their interiors) states that
where \(S(A,\cdot )\) stands for the surface area measure for A, and \(h_{B}(u) = \max _{y \in B} \langle u,y \rangle \) for \(u\in S^{n-1}\) denotes the support function of B defined on \(S^{n-1}\).
For a comprehensive study of the Brunn–Minkowski inequality and its myriad applications, see the books [2, 29, 53] and the survey [24], etc. The recent years have witnessed various directions of generalization for the Brunn–Minkowski theory, particularly, the extension of the Brunn–Minkowski theory to the field of general measures [6, 8, 19, 22, 25, 28, 30, 32,33,34, 39, 42, 44, 58, 59] and functional space [1, 4, 7, 14, 17, 18, 27, 45,46,47,48], etc.
Recall that a non-negative Borel measure \(\mu \) on \(\mathbb {R}^n\) is \(\alpha \)-concave for \(\alpha \in [-\infty ,\infty ]\) if for each \(t \in (0,1)\) and all pairs of Borel sets \(A,B \subset \mathbb {R}^n\),
whenever \(\mu (A)\mu (B) > 0\), and the averages on the right-hand side are denoted as zero otherwise. The case \(\alpha = 0\) is known as a \(\log \)-concave measure, and the case \(\alpha = - \infty \) is the so-called quasi-concave measure. The definition of \(\alpha \)-concave function \(f :\mathbb {R}^n \rightarrow \mathbb {R}_+=[0,\infty )\) is defined in a similar way for \(\alpha \in [-\infty , \infty ]\).
The commonly exploited bridge connecting functional analysis with convex geometry is the use of typical sets uniquely determined by the functions, for example, the super-level of functions, Ball’s body defined by functions [2], revolution bodies for functions [3, 27, 49], or graphs (Epigraph or Subgraph [50]) of functions, etc. In this paper, we focus on the hypo-graph of a function \(f:\mathbb {R}^n\ \rightarrow \mathbb {R}_+\), the area between the curve \(y=f(x)\) and the x-axis,
Obviously if f is compactly supported, \(\text {hyp}(f)\) is a bounded set in \(\mathbb {R}^{n+1}.\)
For general sets in \(\mathbb {R}^{n+1}\), particularly, bounded Borel sets \(A,B \subset \mathbb {R}^n \times \mathbb {R}_+\), Uhrin proposed the definition of the curvilinear convex combination of A and B in [59], for \(t \in (0,1)\), and \(\alpha \in (-\infty ,\infty )\),
for \( \alpha \ne 0\), and where \(M_{\alpha }^t(a,b)\) for the cases \(\alpha = 0,\pm \infty \) are interpreted via continuity as \(a^{1-t}b^t\), \(\max \{a,b\}\), and \(\min \{a,b\}\), respectively. When \(\alpha = 1\), it recovers the usual Minkowski convex combination in \(\mathbb {R}^n \times \mathbb {R}_+\).
To prove the curvilinear extension of the Brunn–Minkowski-Lusternik inequality for general bounded Borel measurable sets, Uhrin [57] utilized the concept of compression (which was originally introduced by Blaschke [5, 15], and called shaking) for a set \(A \subset \mathbb {R}^n \times \mathbb {R}_+\) of positive measure, its shaking
where \( V_A(z)= V_1(A \cap (\mathbb {R}_+ + z)), A \cap (\mathbb {R}_+ + z) \ne \emptyset , z\in \mathbb {R}^n. \)
In another way, the compression process of a set can be viewed as taking the hypo-graph of set segment function defined on \(\mathbb {R}^n\). Based on the definitions of curvilinear summation and compression for sets in \(\mathbb {R}^{n+1}\), Uhrin in [59] established, a Brunn–Minkowski type inequality for sets in \(\mathbb {R}^{n+1}\): for any bounded Borel subsets \(A,B \subset \mathbb {R}^n \times \mathbb {R}_+\) each having finite positive volume satisfying \( A = \tilde{A}\), \(B=\tilde{B}, \) \(\alpha \in (-\infty ,\infty )\) and \(t \in (0,1)\), one has
It is obvious that this significant inequality recovers the classic Brunn–Minkowski inequality in \(\mathbb {R}^{n+1}\) when \(\alpha =1\).
The connection between the compression of \((n+1)\)-dimensional set and the hypo-graph of a function defined on \(\mathbb {R}^n\) has the further relationships below. If the hypo-graphs of functions \(f: \text {supp} f \rightarrow \mathbb {R}\) and \(g: \text {supp} g \rightarrow \mathbb {R}\), with \(\text {supp} f, \text {supp} g\) being bounded Borel sets, then by (1.2), for any \(z \in \mathbb {R}^n\), one can obtain that
Particularly, by choosing \(f = \chi _K\) and \(g = \chi _L\) for any bounded Borel sets \(K,L \subset \mathbb {R}^n\), equation (1.7) takes the form
Noting also that \(\widetilde{\text {hyp}(f)} = \text {hyp}(f)\) and \(\widetilde{\text {hyp}(g)} = \text {hyp}(g)\), integrating (1.7) for \(z\in \mathbb {R}^n\), and applying (1.6), one obtain the Borell–Brascamp–Lieb inequality [8, 14] for \(\alpha \ge -\frac{1}{n}\) and [21, Lemma 3.3] for \(\alpha <-1/n\). Let \(\alpha \in (-\infty , \infty )\), \(t \in (0,1)\), and \(f,g,h :\mathbb {R}^n \rightarrow \mathbb {R}_+\) be a triple of integrable functions (with finite support) satisfying the condition
for all \(x,y \in \mathbb {R}^n\) such that \(f(x)g(y)>0\). Then
Thus far we observed that the Brunn–Minkowski theory for sets in \(\mathbb {R}^n\) is a special case for the curvilinear-Brunn–Minkowski theory in \(\mathbb {R}^{n+1}\), which further leads to the Borell–Brascamp–Lieb inequality for functions in \(\mathbb {R}^n\). Moreover, various other extensions of the classical Brunn–Minkowski theory have been developed in recent years, for instance, in [23, 53], Firey’s generalization of the Minkowski combination—the \(L_p\)-Minkowski convex combination. To recall this notion, let \(p \in [1,\infty )\) and \(t \in [0,1]\). Then, for any convex bodies \(K,L \subset \mathcal {K}_{(o)}^n\), and \(t \in (0,1)\), the \(L_p\)-Minkowski combination of K and L with respect to coefficients \(\alpha , \beta >0\), \(\alpha \cdot _p K +_p \beta \cdot _p L\in \mathcal {K}_{(o)}^n\) is the convex body whose support function satisfies
Equivalently, it can be reinterpreted by quasilinearization method [40] applying the \(L_p\) coefficients \((C_{p,\lambda ,t}, D_{p,\lambda , t})\), i.e.,
where
What’s more, in [37] Lutwak, Yang, and Zhang generalized the definition (1.11) to the collection of all Borel measurable subsets of \(\mathbb {R}^n\), which coincides with the definition proposed by Firey if the sets involved are convex bodies containing the origin in their interiors for \(p\ge 1\). Given non-empty Borel measurable subsets A and B of \(\mathbb {R}^n\), and \(t \in (0,1)\),
together with the extended \(L_p\)-Brunn–Minkowski inequality for non-empty measurable sets, i.e.,
Additionally, the \(L_p \) Minkowski first inequality associated to the variation for the volume in terms of \(L_p\) Minkowski summation for \(A,B\in \mathcal {K}_{(o)}^n\) when \(p\ge 1\) states that
On the other hand, if \(p\in [0,1)\), in [11] Böröczky, Lutwak, Yang, and Zhang posed the corresponding \(L_p\) summation as the associated Aleksandrov body
for any convex bodies \(A, B \subset \mathcal {K}^n_{(o)}\), and any \(t \in (0,1)\). The definitions (1.11) and (1.14) agree on the range \(1\le p \le \infty \). Moreover, the local \(L_p\)-Brunn–Minkowski inequality for \(p\in [0,1)\) can be seen in [16, 43, 51], etc. For more advances of the \(L_p\)-Brunn–Minkowski theory see also [9,10,11,12,13, 19, 26, 31, 35,36,37,38, 41, 46, 52, 54, 55, 61,62,63], etc.
In view of the \(L_p\) summation for sets, we notice that the \(L_p\) extension of Brunn–Minkowski theory has a close relationship with the \(L_p\) coefficients (\(C_{p,\lambda , t}, D_{p,\lambda , t}\)). Recall in [49, 50], the \(L_p\) mean for numbers (or sets) with \(L_p\) coefficients below. Let \(p\ge 1,\) \(p^{-1}+q^{-1}=1\), \(\alpha \in [-\infty ,\infty ]\), and \(t,\lambda \in (0,1)\),
if \(ab >0\) and \(M_{p,\alpha }^{(t,\lambda )}(a,b) = 0\) otherwise. With the \(L_p\) mean with \(L_p\) coefficients in hand, the authors in [49, 50] further established a functional counterpart of the \(L_p\) summation as well as its corresponding \(L_p\) version of the Borell–Brascamp–Lieb inequality (1.10). The \(L_p\) Borell–Brascamp–Lieb inequality for functions states that if \(p \ge 1\), \(p^{-1} + q^{-1}=1,\) \(t \in (0,1)\), \(\alpha \in (-\infty , \infty )\), a triple of bounded integrable functions \(f,g,h :\mathbb {R}^n \rightarrow \mathbb {R}_+\) satisfies the condition
for all \(x,y \in \mathbb {R}^n\) such that \(f(x)g(y) >0\) and all \(\lambda \in (0,1)\), then
Choosing \(p=1\) condition (1.15) and inequality (1.16) return to the classical Borell–Brascamp–Lieb inequality in [8, 14], each of which has found countless applications in various fields of mathematics [24]. Based on the condition for this inequality, the \(L_{p,s}\)-supremal convolution for two functions \(f,g:\mathbb {R}^n\rightarrow \mathbb {R}_{+}\) and \(s\in [-\infty ,\infty ]\), \(f\oplus _{p,s}g:\mathbb {R}^n \rightarrow \mathbb {R}_+\) in [49, 50] was defined as
Moreover, in [49, 50] various corresponding Brunn–Minkowski inequality and isoperimetric were established.
In this paper, we aim to construct the framework of \(L_p\) theory for curvilinear summation for sets in \(\mathbb {R}^{n+1}\), based on which we further establish the corresponding \(L_p\) Brunn–Minkowski type inequalities for sets. Together with this geometric inequality and the hypo-graph for functions, we present a brand new proof of the \(L_p\) Borell–Brascamp–Lieb type inequality for functions, etc. In another way, we introduce the vector power parameter and provide the multiple version of the definition of the \(L_p\) curvilinear summation for sets and its corresponding applications including \(L_p\) concavity definitions for measures. The variation formula for the measure and corresponding Minkowski type inequalities and isoperimetric inequalities with respect to multiple \(L_p\) curvilinear summation for sets and \(L_p\) supremal convolutions for functions are also established.
More in detail, we introduce in Sect. 2 various extensions of multiple \(L_p\)-curvilinear combinations for sets containing Uhrin’s classical curvilinear summation for sets as special case. Let \(A,B \subset (\mathbb {R}_+)^{n+1}\) be bounded Borel sets, \(t \in (0,1)\), and power vector \(\bar{\alpha } = (\alpha _1,\ldots ,\alpha _{n+1})\), with \(\alpha _i \in [-\infty , \infty ]\) for all \(i=1,\ldots ,n+1\). For \(p \ge 1\), we define the \(L_{p,\bar{\alpha }}\)-curvilinear summation for A and B as
While for \(0<p<1\), we define the corresponding \(L_{p,\bar{\alpha }}\)-curvilinear summation for A and B with replacing \(\bigcup _{0< \lambda < 1}\) by \(\bigcap _{0< \lambda < 1}\) above. We also define the \(L_{p,\bar{\alpha }}\)-quasi-curvilinear summation for A and B when \(p\ge 0\) in a similar way with different coefficients (See details in Sect. 2) for different cases of p. Moreover, the monotone properties with respect to special parameter power for \(L_{p,\bar{\alpha }}\)-curvilinear summation are also introduced.
In Sect. 3 we present a detailed proof for the \(L_{p,\bar{\alpha }}\)-curvilinear-Brunn–Minkowski inequality by induction on dimension following the ideas of Uhrin [59]. The proof relied on the monotone properties under compression operator for \(L_{p,\bar{\alpha }}\)-curvilinear summation for sets with special power parameter.
Theorem 1.1
Let \(p \ge 1\), \(t \in (0,1)\), and \(\bar{\alpha } = (\alpha _1,\ldots ,\alpha _{n+1})\) with \(\alpha _i \in (0,1]\) for each \(i =1,\ldots ,n\). Suppose that \(A,B \subset (\mathbb {R}_+)^{n+1}\) are bounded Borel sets of positive measure. Then the following inequality holds:
where \( \gamma =\left( \sum _{i=1}^{n+1}\alpha _i^{-1}\right) ^{-1}. \)
When \(p=1\) and \(\bar{\alpha }=(1,\ldots ,1, \alpha )\), it recovers the curvilinear-Brunn–Minkowski inequality for sets by Uhrin [59]. Additionally, in Sect. 3.2 we further present a normalized version of this \(L_{p,\bar{\alpha }}\)-curvilinear-Brunn–Minkowski inequality in certain circumstance.
In Sect. 4, based on the relation of hypo-graph of functions in \(\mathbb {R}^{n}\) with sets in \(\mathbb {R}^{n+1}\) and the \(L_p\)-curvilinear-Brunn–Minkowski type inequality in Sect. 3, we establish the \(L_{p,\bar{\alpha }}\)-Borell–Brascamp–Lieb inequality for functions, a multiple version of the \(L_p\) Borell–Brascamp–Lieb inequality. While in [49, 50] the traditional proofs of Borell–Brascamp–Lieb type inequality encompass the revolution bodies for functions, mass transportation and classic Borell–Brascamp–Lieb inequality, we present a totally different multiple version using geometric inequalities for sets which further connects the Brunn–Minkowski theory in convex geometric analysis and functional analysis thereof. The multiple \(L_p\) Borell–Brascamp–Lieb inequality states in the following theorem.
Theorem 1.2
Let \(p \ge 1\), \(p^{-1} + q^{-1} = 1\), \(t \in (0,1)\), \(\bar{\alpha }=(\alpha _1,\ldots , \alpha _{n+1})\), \(\alpha _i \in (0,1]\) for all \(i =1,\ldots ,n\). Suppose that \(f,g,h:(\mathbb {R}_+)^n \rightarrow \mathbb {R}_+\) are a triple of bounded integrable functions having bounded support that satisfy the condition
for all \(x=(x_1,\ldots , x_n), y=(y_1,\ldots , y_n) \in (\mathbb {R}_+)^n\) such that \(f(x)g(y) > 0\) and for all \(\lambda \in (0,1)\). Then the following inequality holds:
where \( \gamma =\left( \sum _{i=1}^{n+1}\alpha _i^{-1}\right) ^{-1}. \)
Similarly, we establish a normalized version of the multiple \(L_{p,\bar{\alpha }}\)-Borell–Brascamp–Lieb inequality in Sect. 4.2. Furthermore, we present in Sect. 4.3 a normalized \(L_{p,\bar{\alpha }}\)-curvilinear-Brunn–Minkowski inequality for sets in terms of measures.
In Sect. 5, we focus on the variation formula of the multiple summations for sets defined on Sect. 2 firstly and establish their corresponding geometric and functional inequalities. More in detail, in Sect. 5.1, the \(L_{p,\bar{\alpha }}\)-\(\mu \)-surface area in terms of the \(L_{p,\bar{\alpha }}\)-curvilinear summation for sets is defined below. Let \(\mu \) be a Borel measure on \(\mathbb {R}^{n+1}\), \(p \ge 1\), and \(\bar{\alpha } \in [0, \infty ]^{n+1}\). We define the \(L_{p,\bar{\alpha }}\)-\(\mu \)-surface area of a \(\mu \)-integrable set A with respect to a \(\mu \)-integrable set B by
with the following \(L_p\)-Minkowski’s first inequality. Let \(p \in [1,\infty )\), \(\bar{\alpha }=(1,\ldots ,1,\alpha ) \in [0, \infty ]^{n+1}\), and \(F :\mathbb {R}_+\rightarrow \mathbb {R}\) be a differentiable invertible function. Let \(\mu \) be a Borel measure on \(\mathbb {R}^n\), and assume that \(\mu \) is F(t)-concave of any two non-negative bounded \(\mu \)-integrable sets \(A,B\subset \mathbb {R}^{n+1}\) in terms of the \(L_{p,\bar{\alpha }}\)-curvilinear summation. Then the following inequality holds:
In particular, when \(\mu (A) = \mu (B)\), we obtain the following isoperimetric type inequality:
In Sect. 5.2, based on the \(L_{p,\bar{\alpha }}\) Borell–Brascamp–Lieb inequality for functions above, we introduce the \(L_{p, \bar{\alpha }}\) supremal-convolution of \(f, g:\mathbb {R}^n\rightarrow \mathbb {R}_+\) as
which goes back to the corresponding \(L_{p,\bar{\alpha }}\)-supremal-convolution when choosing appropriate parameter \(\bar{\alpha }=(1,\ldots , 1, \frac{1}{s})\) in (1.17). Moreover, we give the functional counterpart in a similar method for \(L_{p,\bar{\alpha }}\)-\(\mu \)-surface area in terms of functions. That is, let \(\mu \) be a Borel measure on \(\mathbb {R}^n\), \(p \ge 1\), and \(\bar{\alpha } \in [0, \infty ]^{n+1}\). We define the \(L_{p,\bar{\alpha }}\)-\(\mu \)-surface area of a \(\mu \)-integrable function \(f :\mathbb {R}^n \rightarrow \mathbb {R}_+\) with respect to a \(\mu \)-integrable function g by
The \(L_p\) functional counterparts of \(L_p\) Minkowski’s first inequality for \( \mathbb {S}_{\mu ,p,\bar{\alpha }}(f,g)\) and \(L_p\)-isoperimetric type inequalities are also established accordingly.
2 \(L_p\)-curvilinear Minkowski Convex Combinations
In this section, we introduce the \(L_p\)-curvilinear summation for sets using the \(L_p\) coefficients with two parameters to give the \(L_p\)-curvilinear summation with vector powers. Particularly, we introduce the case for \(p\ge 1\) which is a natural generalization of Uhrin’s curvilinear summation for sets. Moreover, the case for \(0<p<1\) is also proposed below the proof of which is much more delicate for the Brunn–Minkowski type inequalities.
Definition 2.1
Let \(A,B \subset (\mathbb {R}_+)^{n+1}\) be bounded Borel sets, \(t, \lambda \in (0,1)\), and power vector \(\bar{\alpha } = (\alpha _1,\ldots ,\alpha _{n+1})\) with \(\alpha _i \in [-\infty , \infty ]\) for all \(i=1,\ldots ,n+1\).
-
(i)
For \(p \ge 1\), we define the \(L_{p,\bar{\alpha }}\)-curvilinear summation for A and B as
$$\begin{aligned}{} & {} (1-t) \otimes _{p,\bar{\alpha }} A \oplus _{p,\bar{\alpha }} t \otimes _{p,\bar{\alpha }} B\\{} & {} \quad :=\bigcup _{0< \lambda < 1} \left\{ \left( M_{p,\alpha _1}^{(t,\lambda )}(x_1,y_1),\ldots , M_{p,\alpha _{n+1}}^{(t,\lambda )}(x_{n+1},y_{n+1})\right) : (x_1,\ldots ,x_{n+1}) \in A,\right. \\{} & {} \qquad \left. (y_1,\ldots ,y_{n+1}) \in B\right\} , n \ge 0. \end{aligned}$$For \(0<p<1\), we define the corresponding \(L_{p,\bar{\alpha }}\)-curvilinear summation for A and B replacing \(\bigcup _{0< \lambda < 1}\) by \(\bigcap _{0< \lambda < 1}\) above.
-
(ii)
For \(p\ge 1\), we define the \(L_{p,\bar{\alpha }}\)-quasi-curvilinear summation for A and B as
$$\begin{aligned}{} & {} (1-t) \otimes ^{p,\bar{\alpha }} A \oplus ^{p,\bar{\alpha }} t \otimes ^{p,\bar{\alpha }} B\nonumber \\{} & {} \quad := \bigcup _{0< \lambda < 1} \left\{ \left( \min \left\{ \left[ C_{p,\lambda ,t}\right] ^{\frac{1}{\alpha _1}}x_1,\left[ D_{p,\lambda ,t}\right] ^{\frac{1}{\alpha _1}}y_1 \right\} ,\ldots ,\right. \right. \nonumber \\{} & {} \qquad \left. \left. \min \left\{ \left[ C_{p,\lambda ,t}\right] ^{\frac{1}{\alpha _{n+1}}}x_{n+1},\left[ D_{p,\lambda ,t}\right] ^{\frac{1}{\alpha _{n+1}}}y_{n+1} \right\} \right) \right\} , n\ge 0, \end{aligned}$$(2.1)where \((x_1,\ldots ,x_{n+1}) \in A\) and \((y_1,\ldots ,y_{n+1}) \in B\).
For \(0<p<1\), we define the corresponding \(L_{p,\bar{\alpha }}\)-quasi-curvilinear summation for A and B replacing \(\bigcup _{0< \lambda < 1}\) by \(\bigcap _{0< \lambda < 1}\) above.
In particular, without the coefficient t, we have
where \((x_1,\ldots ,x_{n+1}) \in A\) and \( (y_1,\ldots ,y_{n+1}) \in B.\) More generally, the \(L_p\) coefficients \((C_{p,\lambda , t}, D_{p,\lambda ,t})\) will be replaced accordingly as \(((1-\lambda )^{1/q},\lambda ^{1/q})\) in a similar way for the operations \(+^{p,\bar{\alpha }}\) and \(\times ^{p,\bar{\alpha }}\) for all \(p>0.\) On the other hand, for the power parameter, if \(\bar{\alpha } = (1,\ldots ,1,\alpha )\), we call the above definition the \(L_{p, \alpha }\)-curvilinear Minkowski convex combination of A and B. More in detail,
and the \(L_{p,\alpha }\)-quasi curvilinear Minkowski convex combination of A and B for \(\alpha \ne 0\) has a similar definition accordingly.
Furthermore, if \(p=1\), it recovers the classical (\(L_{1,\alpha }\)) curvilinear summation and (\(L_{1,\alpha }\)) quasi-curvilinear summation in (1.4). If \( \bar{\alpha }=(1,\ldots ,1,1)\), it goes back to the \(L_p\) Minkowski summation for \(A, B\subset \mathbb {R}^{n+1}\), i.e., \((1-t)\cdot _p A+_p t\cdot _p B\) in (1.12).
Next we verify the monotone properties of the \(L_{p,{\alpha }}\)-quasi curvilinear Minkowski summation in terms of the power \(\alpha \).
Proposition 2.2
Let \(t \in (0,1)\), and let \(A,B \subset \mathbb {R}^n \times \mathbb {R}_+\) be non-empty bounded Borel measurable sets, with \(V_{n+1}(A),V_{n+1}B) > 0\). Then the following statements hold.
-
(1)
(Increasing on power) If \(A = \tilde{A}\) and \(B = \tilde{B}\), the inclusion
$$\begin{aligned} (1-t) \times _{p,\alpha } A +_{p,\alpha } t \times _{p,\alpha } B \supset (1-t) \times _{p,\beta } A +_{p,\beta } t \times _{p,\beta } B \end{aligned}$$holds for \(p \ge 1\), whenever \(- \infty \le \beta < \alpha \le +\infty \);
-
(2)
(Increasing on power) If \(A = \tilde{A}\), \(B = \tilde{B}\), and in addition, \(A,B \subset (\mathbb {R}_+)^{n+1}\), then
$$\begin{aligned} (1-t) \times ^{p,\alpha } A +^{p,\alpha } t \times ^{p,\alpha } B \supset (1-t) \times ^{p,\beta } A +^{p,\beta } t \times ^{p,\beta } B \end{aligned}$$holds for \(p \ge 1\) whenever \(- \infty \le \beta < \alpha \le +\infty \).
-
(3)
(Decreasing on power) If \(A = \tilde{A}\), \(B = \tilde{B}\), and in addition, \(A,B \subset (\mathbb {R}_+)^{n+1}\), then
$$\begin{aligned} (1-t) \times ^{p,\alpha } A +^{p,\alpha } t \times ^{p,\alpha } B \subset (1-t) \times ^{p,\beta } A +^{p,\beta } t \times ^{p,\beta } B \end{aligned}$$holds for \(0<p<1\) whenever \(- \infty \le \beta < \alpha \le +\infty \).
Proof
-
(1)
Choose any point \((z,r) \in (1-t) \times _{p,\beta } A +_{p,\beta } t \times _{p,\beta } B\) with \(- \infty \le \beta < \alpha \le +\infty \). Then by (2.2), there exist \((x,a) \in A\), \((y,b) \in B\), and some \(\lambda , t \in (0,1)\), such that
$$\begin{aligned} (z,r) = \left( C_{p,\lambda ,t}x + D_{p,\lambda ,t}y, M_{p,\beta }^{(t,\lambda )}(a,b) \right) . \end{aligned}$$It is easy to check that (for \(\alpha , \beta \ne 0, \pm \infty \)),
$$\begin{aligned} M_{p,\alpha }^{(t,\lambda )}(a,b)&= \left( C_{p,\lambda ,t}a^{\alpha } + D_{p,\lambda ,t}b^{\alpha } \right) ^{1/\alpha } = (M_{\lambda })^{1/\alpha }((1-\theta _{\lambda })a^{\alpha } +\theta _{\lambda }b^{\alpha })^{\frac{1}{\alpha }}\\&\ge (M_{\lambda })^{1/\beta }((1-\theta _{\lambda })a^{\beta } +\theta _{\lambda }b^{\beta })^{\frac{1}{\beta }}\\&= M_{p,\beta }^{(t,\lambda )}(a,b), \end{aligned}$$where we have used Hölder’s inequality [49] \(M_{\lambda }\le 1\) when \(p\ge 1\) for
$$\begin{aligned} M_{\lambda }: =C_{p,\lambda ,t} + D_{p,\lambda ,t} \quad \text {and} \quad \theta _{\lambda }:=D_{p,\lambda ,t}/M_{\lambda }. \end{aligned}$$This, together with the fact that \(A = \tilde{A}\) and \(B = \tilde{B}\), yields the desired result. The extremal cases \(\alpha , \beta = 0, \pm \infty \) follow similarly.
-
(2)
As for any \(0<\lambda <1\), \(0<t<1\), we have \(C_{p,\lambda ,t}\le 1\) and \(D_{p,\lambda , t}\le 1\) for \(p\ge 1\). Further since \(\beta <\alpha \), one can easily check that \( C_{p,\lambda ,t}^{\frac{1}{\alpha }}> C_{p,\lambda ,t}^{\frac{1}{\beta }} \) and \( D_{p,\lambda ,t}^{\frac{1}{\alpha }}> D_{p,\lambda ,t}^{\frac{1}{\beta }}\). Therefore the inclusion relation stays true for the \(+^{p,\alpha }\) and \(\times ^{p,\alpha }\) when \(p\ge 1\).
-
(3)
For \(0<p<1\), \(C_{p,\lambda ,t}\ge 1\) and \(D_{p,\lambda , t}\ge 1\), thus the reverse inclusion relation holds.
\(\square \)
Remark 2.3
The inclusion or its inverse form is not applicable for the case of \(+_{p,\alpha }\) and \(\times _{p,\alpha }\) when \(0<p<1\).
Utilizing the method of mathematical induction on the number of power parameter, naturally we obtain the following corollary about the monotone properties of the \(L_{p,\bar{\alpha }}\)-curvilinear summation (\(+_{p, \bar{\alpha }}, \times _{p,\bar{\alpha }}\)) and \(L_{p,\bar{\alpha }}\)-curvilinear summation (\(+^{p, \bar{\alpha }}, \times ^{p,\bar{\alpha }}\)) below.
Corollary 2.4
Let \(t \in (0,1)\), and let \(A,B \subset \mathbb {R}^n \times \mathbb {R}_+\) be non-empty bounded Borel measurable sets, with \(V_{n+1}(A),V_{n+1}B) > 0\). Then the following statements hold.
-
(1)
(Increasing on power) If \(A = \tilde{A}\), \(B = \tilde{B}\), \(\bar{\alpha }=(\alpha _1,\ldots ,\alpha _{n+1})\) and \(\bar{\beta }=(\beta _1,\ldots ,\beta _{n+1})\), the inclusion
$$\begin{aligned} (1-t) \times _{p,\bar{\alpha }} A +_{p,\bar{\alpha }} t \times _{p,\bar{\alpha }} B \supset (1-t) \times _{p,\bar{\beta }} A +_{p,\bar{\beta } } t \times _{p,\bar{\beta }} B \end{aligned}$$holds for \(p \ge 1\), whenever \(- \infty \le \beta _i \le \alpha _i \le +\infty \) for all \(1\le i\le n+1\);
-
(2)
(Increasing on power) If \(A = \tilde{A}\), \(B = \tilde{B}\), \(\bar{\alpha }=(\alpha _1,\ldots ,\alpha _{n+1})\), \(\bar{\beta }=(\beta _1,\ldots ,\beta _{n+1})\), and in addition, \(A,B \subset (\mathbb {R}_+)^{n+1}\), then
$$\begin{aligned} (1-t) \times ^{p,\bar{\alpha }} A +^{p,\bar{\alpha }} t \times ^{p,\bar{\alpha }} B \supset (1-t) \times ^{p,\bar{\beta }} A +^{p,\bar{\beta }} t \times ^{p,\bar{\beta }} B \end{aligned}$$holds for \(p \ge 1\) whenever \(- \infty \le \beta _i \le \alpha _i \le +\infty \) for all \(1\le i\le n+1\).
-
(3)
(Decreasing on power) If \(A = \tilde{A}\), \(B = \tilde{B}\), \(\bar{\alpha }=(\alpha _1,\ldots ,\alpha _{n+1})\), \(\bar{\beta }=(\beta _1,\ldots ,\beta _{n+1})\), and in addition, \(A,B \subset (\mathbb {R}_+)^{n+1}\),
$$\begin{aligned} (1-t) \times ^{p,\bar{\alpha }} A +^{p,\bar{\alpha }} t \times ^{p,\bar{\alpha }} B \subset (1-t) \times ^{p,\bar{\beta }} A +^{p,\bar{\beta }} t \times ^{p,\bar{\beta }} B \end{aligned}$$holds for \(0<p<1\) whenever \(- \infty \le \beta _i \le \alpha _i \le +\infty \) for all \(1\le i\le n+1\).
3 \(L_{p}\)-Curvilinear-Brunn–Minkowski Type Inequalities
Following the concepts we proposed in Sect. 2, i.e., the \(L_{p,\bar{\alpha }}\)-curvilinear summation (\(+_{p, \bar{\alpha }}, \times _{p,\bar{\alpha }}\)) and \(L_{p,\bar{\alpha }}\)-curvilinear summation (\(+^{p, \bar{\alpha }}, \times ^{p,\bar{\alpha }}\)), we aim to establish a \(L_p\)-curvilinear-Brunn–Minkowski type inequality for sets for \(p\ge 1\). In Sect. 3.1, we prove the multiple \(L_{p,\bar{\alpha }}\)-curvilinear-Brunn–Minkowski inequality by mathematical induction based on the properties of compression of \(L_{p,\alpha }\)-curvilinear summation. We also present a normalized version of \(L_{p,\bar{\alpha }}\)-curvilinear-Brunn–Minkowski inequality in Sect. 3.2.
3.1 Proof of \(L_{p,\bar{\alpha }}\)-Curvilinear-Brunn–Minkowski Inequality for Sets
Firstly, we show the 1-dimensional Brunn–Minkowski type inequality in terms of the \(L_{p,\alpha }\)-curvilinear summation for sets.
Lemma 3.1
Let \(p \ge 1\), \(t \in (0,1)\), and \(\alpha \in (-\infty ,1]\). Let sets \(K,L \subset \mathbb {R}_+\) be of the form
where all of the intervals in the unions in K and L have mutually disjoint interiors and \(m, n \in \mathbb {N}\) (the set of natural numbers). Then
Proof
Let us consider the case \(\alpha \ne 0, - \infty \). The proof follows by induction on the integer \(N=m+n\).
Step 1: Assume that \(m=n=1\) (\(N=2\)), in which case \(K = [a,b]\) and \(L = [c,d]\) for some appropriately chosen \(0\le a<b,\ 0\le c<d\). It is easy to check using the definition of \(L_{p,\alpha }\)-curvilinear summation for 1-dimension in (2.2) that
For each fixed \(\lambda \in (0,1)\), letting
we obtain by Minkowski’s inequality that
This further implies that
verifying the (3.1) inequality for the case \(m=n=1\).
Step 2: Let \(N > 2\) be an integer, and assume the inequality (3.1) holds for the case \(N -1\). Let \(k,l > 0\), and set
With assumptions placed on K and L, the sets \(K_1\), \(K_2\) and \(L_1\), \(L_2\), are mutually almost disjoint, and we see that \( V_1(K) = V_1(K_1 \cup K_2) = V_1(K_1)+ V_1(K_2) \) and \( V_1(L) = V_1(L_1 \cup L_2) = V_1(L_1)+ V_1(L_2). \)
Denote \(k_1,k_2,\) and \(l_1,l_2\), the number of intervals in \(K_1,K_2\), and \(L_1,L_2\), respectively. Without loss of generality, we chose k, l satisfying conditions below:
and
We obtain by definition of \(L_{p,\alpha }\)-curvilinear summation for sets in (2.2) that
where the final union is an almost disjoint union. Further applying the inductive step, we observe by (3.2) that
For each fixed \(\lambda \in (0,1)\), we notice using the assumptions placed on k, l, we may write
It follows from (3.3) and (3.4), together with the extreme point of the function \(f(\lambda ) = [(1-\lambda )^{\frac{1}{q}}r + \lambda ^{\frac{1}{q}}s]^{\frac{1}{\alpha }}\) with \(r,s >0\), on (0, 1) depending on the choice of \(\alpha \le 1\) [49, 50] that (3.1) holds for \(N>2.\) Therefore based on Steps 1 and 2, we obtain the desired result. \(\square \)
Recall the definition of compression for a bounded Borel set \(\tilde{A} \subset \mathbb {R}^n \times \mathbb {R}_+\),
It is easy to check that the compression operator is volume invariant, \(V_{n+1}(A) = V_{n+1}(\tilde{A})\). In the following, we first further analyze another monotone properties under compression operation \(A \mapsto \tilde{A}\) in terms of power parameters, particularly, for the \(L_{p,\alpha }\)-curvilinear summation for sets, i.e., the case when \(\bar{\alpha } = (1,\ldots ,1,\alpha )\), \(+_{p,\alpha }, +^{p,\alpha }\), etc. Then based on this property, we will present the detailed proof of \(L_{p,\alpha }\)-curvilinear-Brunn–Minkowski inequality for sets in \((n+1)\)-dimensional setting.
Theorem 3.2
Let \(p \ge 1\), \(t \in (0,1)\), and \(\alpha \in [-\infty ,1]\). Let \(K,L \subset \mathbb {R}^n \times \mathbb {R}_+\) be bounded Borel sets such that \(V_{n+1}(K), V_{n+1}(L) > 0\). Then
Proof
Based on the definition for compression in (3.5), for any set \(C \subset \mathbb {R}^n \times \mathbb {R}_+\), denote the segment projection on \(\mathbb {R}^n\) as
Firstly, we verify the statement for sets \(A,B \subset \mathbb {R}^n \times \mathbb {R}_+\) of the form
where the unions are almost disjoint, and \(A_m, B_l\) are rectangular boxes with sides parallel to the coordinate axes. More precisely, we can write
for appropriate choices of constants \(a_{im}<c_{im}\), \(b_{il}<d_{il}\) and \(a,b,c,d \ge 0\).
Applying Fubini’s theorem, the volume of any \((n+1)\)-dimensional set can be interpreted as the integral with respect to the segment function, i.e.,
Based on these two identities, it suffices to show the inequality related to the segment functions
holds for almost every \(z \in \mathbb {R}^n\).
Observe by definition of \(L_{p,\alpha }\) curvilinear summation in (2.1) that
Analogously, its compression version has the following expression
for some \(\bar{x},\bar{y} \in \mathbb {R}^n\).
The fact that \( \widetilde{A(x)} = \tilde{A}(x),\) and \(\widetilde{B(y)}= \tilde{B}(y), \) together with the representations (3.6), (3.7), and Lemma 3.1, yields
All in all, we see that
as desired. \(\square \)
Next we will need the following Hölder type inequalities for the generalized averages with \(L_p\) coefficients to prove the \(L_{p,\alpha }\)-curvilinear-Brunn–Minkowski inequality. Let \(p \ge 1\), \(p^{-1}+q^{-1}=1\), \(t, \lambda \in (0,1)\), and \(a,b, c,d \ge 0\). Then
where \(\gamma = (\alpha \beta )/(\alpha + \beta )\). Here we give a brief proof of this inequality as follows. Assume that \(\alpha + \beta \ge 0\), and \(\alpha , \beta \ne 0\). The case for \(\alpha +\beta \ge 0\) comes from [50]. We now handle the case when \(\alpha + \beta , \alpha \cdot \beta < 0\). Assume that
and set
Then proving (3.8) amounts to establishing the inequality
for \(x\cdot y \ge 1\), \(\alpha + \beta , \alpha \cdot \beta <0\), which origins from [59, Page 296], as desired.
Based on the monotone properties of compression for \(L_p\)-curvilinear summations above, next we present the high dimensional \(L_{p,\alpha }\)-curvilinear-Brunn–Minkowski inequality, which extends both the classical curvilinear-Brunn–Minkowski inequality by Uhrin [57] and the \(L_p\)-Brunn–Minkowski inequality for non-convex sets proved by Lutwak, Yang, and Zhang [37]. The proof is processed through approximation, which is also a typical method used in the proof for the Brunn–Minkowski inequality (see [56]).
Theorem 3.3
Let \(p \ge 1\), \(\frac{1}{p} + \frac{1}{q}=1\), \(t \in (0,1)\), and \(\alpha \in (-\infty ,\infty )\). Suppose that \(A,B \subset \mathbb {R}^n \times \mathbb {R}_+\) are bounded Borel sets of positive measure such that \( A = \tilde{A}, B= \tilde{B}. \) Then the following inequality holds:
where \(\gamma =\frac{\alpha }{1+n\alpha }\).
Proof
To begin with, we consider the box-type sets A and B with the form
where the \(A_m\), \(B_l \subset \mathbb {R}^n\) are rectangular boxes with sides parallel to the coordinates axes, and the union are almost disjoint when \(\alpha \ge -\frac{1}{n}\). The proof is similar to the 1-dimensional case by induction on \(N=M+L\) in two steps below.
Step 1: Assume that \(N=2 \ (M=L=1)\). Then A and B are of the form
Notice that
For each \(\lambda \in (0,1)\), by applying Fubini’s theorem and the Brunn–Minkowski inequality in \(\mathbb {R}^n\) (1.1), we obtain
with \(\beta = \frac{1}{n}\).
Therefore, we have
with \(\beta = \frac{1}{n}\). Applying the Hölder type inequality (3.8) with the above choice of \(\beta = \frac{1}{n}\) yields the result in this case.
Step 2: Assume that we have established the result in the case \(M+L< N\) for some \(N >2\). Let \(\bar{H}\) be a coordinate hyperplane in \(\mathbb {R}^n\) and set \(H = \bar{H} \times \mathbb {R}_+\). We cut A and B by translates \(H+x\) and \(H+y\) for some \(x,y \in \mathbb {R}^n\). Denote by \((H + x)^{-}\), \((H+x)^+\) the closed half-spaces of \(\mathbb {R}^n \times \mathbb {R}_+\) determined by x, and similarly define \((H+y)^-\) and \((H+y)^+\). Consider the sets
Notice that
where the unions are almost disjoint. Denote by \(m_1,m_2\) and \(l_1,l_2\) the numbers of rectangular boxes comprising \(A_1,A_2\) and \(B_1,B_2\), respectively. We can select \(\bar{H}\), x and y in such a way that
and
Notice
where the last union is almost disjoint.
By taking volumes, and using the inductive hypothesis, we see that
where \(\gamma =\frac{\alpha }{1+n\alpha }\).
For each \(\lambda \in (0,1)\), the assumptions on \(m_i,l_i\), \(i=1,2\) yield, for \(\alpha \ge -\frac{1}{n}\),
With the maximal point for \(0<\lambda <1\), we obtain the inequality for \(\alpha \ge -\frac{1}{n}\) in (3.9).
A similar argument works for the case \(\alpha < -\frac{1}{n}\). This completes the proof for sets which are comprised of unions of almost disjoint rectangular boxes in \(\mathbb {R}^n\) and an interval in \(\mathbb {R}_+\). To complete the proof, we use standard density considerations (see, for example, [56, 59]). \(\square \)
Combining Theorems 3.2 and 3.3, we obtain the following corollary, which shows that, Theorem 3.3 is indeed a sharper form of the \(L_p\)-Brunn–Minkowski inequality for sets before compression.
Corollary 3.4
Let \(p \ge 1\), \(p^{-1}+q^{-1} = 1\), \(t \in (0,1)\), and \(-\frac{1}{n} \le \alpha \le 1\). Then, for any pair of bounded Borel sets \(A,B \subset \mathbb {R}^n \times \mathbb {R}_+\), each of positive volume, one has
where \(\gamma = \frac{\alpha }{1+n\alpha }\).
Naturally, by repeating the above Theorem with respect to the multiple power parameters for \(L_{p,\alpha }\)-curvilinear-Brunn–Minkowski inequality, we obtain the following theorem in terms of the \(L_{p,\bar{\alpha }}\)-curvilinear-Brunn–Minkowski inequality for sets with the vector power \(\bar{\alpha } = (\alpha _1,\ldots ,\alpha _{n+1})\).
Theorem 3.5
Let \(p \ge 1\), \(t \in (0,1)\), and \(\bar{\alpha } = (\alpha _1,\ldots ,\alpha _{n+1})\) with \(\alpha _i \in (0,1]\) for each \(i =1,\ldots ,n\). Suppose that \(A,B \subset (\mathbb {R}_+)^{n+1}\) are bounded Borel sets of positive measures. Then the following inequality holds:
where \( \gamma =\left( \sum _{i=1}^{n+1}\alpha _i^{-1}\right) ^{-1}. \)
Remark 3.6
If \(\bar{\alpha }=(1,\ldots ,1)\), the \(L_{p,\bar{\alpha }}\)-curvilinear summation recovers the \(L_p\) Minkowski summation by Lutwak, Yang and Zhang [37] and the above \(L_{p,\bar{\alpha }}\)-curvilinear-Brunn–Minkowski inequality goes back to the \(L_p\) Brunn–Minkowski inequality for sets.
3.2 Normalized \(L_p\)-Curvilinear-Brunn–Minkowski Inequalities
In the following we will examine the normalized version of the \(L_{p,\bar{\alpha }}\)-curvilinear-Brunn–Minkowski inequality in previous Subsection.
Although all results in this section may be formulated for general bounded Borel sets in \(\mathbb {R}^n \times \mathbb {R}_+\), due to standard density considerations, it suffices to establish all results for compact \(F_{\sigma }\)-sets. To this end, we assume that \(A,B \subset \mathbb {R}^n \times \mathbb {R}_+\) of the form
where \(\bar{A}_m, \bar{B}_m \subset \mathbb {R}^n\) and \(A_m, B_m \subset \mathbb {R}_+\) are compact sets for all m, l. Moreover, we have the following identities by definitions of \(L_{p,\alpha }\) operations
where \(\mathbb {Q}\) denotes the set of all rational numbers. It is not difficult to see that each \(C_{p,\lambda ,t} \times _{\alpha }(\bar{A}_m \times A_m) +_{\alpha } D_{p,\lambda ,t}\times _{\alpha } (\bar{B}_l \times B_l)\) and each \(C_{p,\lambda ,t} \times ^{\alpha }(\bar{A}_m \times A_m) +^{\alpha } D_{p,\lambda ,t}\times ^{\alpha } (\bar{B}_l \times B_l)\) are compact sets, and consequently, \((1-t) \times _{p,\alpha } A +_{p,\alpha } t \times _{p,\alpha } B\) and \((1-t) \times ^{p,\alpha } A +^{p,\alpha } t \times ^{p,\alpha } B\) are bounded \(F_{\sigma }\)-subsets of \(\mathbb {R}^n \times \mathbb {R}_+\).
Next we consider the generalized section function and the corresponding compression. Let \(\bar{H} = H \times \mathbb {R}_+\) for \(H \subset G_{n,k}\) when \(k\in \{0,1,\ldots , n\}\). Fix any bounded Borel measurable subset \(A \subset \mathbb {R}^n \times \mathbb {R}_+\), and the generalized segment function with respect to H on \(H^{\perp },\) \(V_{A,H} :H^{\perp }\rightarrow \mathbb {R}_+\) is defined by
When \(k =0\), \(H=\{o\}\), and \(H^{\perp }= \mathbb {R}^n\), \(V_{A,H}(\cdot )\) recovers \(V_A(\cdot )\), the classical segment function. It is easy to see that the function \(V_{A,H}\) is integrable and bounded.
Denote the optimal norm \(\Vert V_{A,H}\Vert _{\infty }\), normalized super-level set \(C_r(V_{A,H})\) for \(V_{A,H}\), and the normalized compression \(A_H\), correspondingly as
When \(k=0\), we denote the above as \(\Vert V_{A_0}\Vert \), \(C_r(V_{A_0})\) and \(A_0\), respectively.
Proposition 3.7
Let \(p \ge 1\), \(p^{-1}+q^{-1}=1\), \(t \in (0,1)\), and \(\alpha \in (-\infty ,\infty )\). Then, for any bounded \(F_{\sigma }\)-sets \(A,B \subset \mathbb {R}^n \times \mathbb {R}_+\) of positive volume,
Proof
All of the sets \(A_0,B_0, C_r(V_{A_0})\), and \(C_r(V_{B_0})\) are \(F_{\sigma }\)-sets, and \(A_0, B_0\) satisfy the compression condition
Let \(z \in \mathbb {R}^n\) be such that \([(1-t) \times _{p,-\infty } A_0 +_{p,-\infty } t \times _{p,-\infty } B_0] \cap (\mathbb {R}_+ \cap z) \ne \emptyset \). Then we see that
By taking volumes, we see that, for each such \(z \in \mathbb {R}^n\),
which implies the inclusion relationship
Fubini’s theorem together with the inclusion (3.11) yields
Finally, utilizing the monotone properties in Proposition 2.2 (1), we have
completing the proof. \(\square \)
Next we will obtain the following normalized \(L_{p,\bar{\alpha }}\)-curvilinear-Brunn–Minkowski inequality for sets when \(\bar{\alpha }=(1,\ldots ,1,\alpha )\).
Theorem 3.8
Let \(p \ge 1\), \(p^{-1} + q^{-1} =1\), and \(t \in (0,1)\). Suppose that \(A,B \subset \mathbb {R}^n \times \mathbb {R}_+\) are bounded \(F_{\sigma }\)-sets having positive volume such that \(A = \tilde{A}\) and \(B = \tilde{B}\). Then, for any \(\alpha \in (-\infty ,\infty )\),
Proof
As in the proof of Proposition 3.7 we have used the fact that \(A = \tilde{A}, B = \tilde{B}\), we see that, for each \(z \in \mathbb {R}^n\) such that \( [(1-t) \times _{p,\alpha } A +_{p,\alpha } t \times _{p,\alpha } B] \cap (\mathbb {R}_+ + z) \ne \emptyset , \) and
Further taking volumes, we conclude that for each fixed \(z \in \mathbb {R}^n\),
Applying the inequality (3.8) with \(\beta = -\alpha \), we conclude the relation between the segment function for \(L_{p,\alpha }\)-curvilinear summation for sets and the normalized segment function for \(L_{p,\alpha }\)-curvilinear summation below, i.e.,
Integrating this inequality for all \(z\in \mathbb {R}^n\) and using Fubini’s theorem, we obtain
by Proposition 3.7, completing the proof. \(\square \)
Moreover, we extend the normalized above \(L_{p,\alpha }\)-curvilinear-Brunn–Minkowski inequality to more general space with power parameters \(\bar{\alpha }=(1,\ldots ,1,\alpha )\).
Theorem 3.9
Let \(p \ge 1\), \(p^{-1}+q^{-1}=1\), \(t \in (0,1)\), and let \(A,B \subset \mathbb {R}^n \times \mathbb {R}_+\) be bounded \(F_{\sigma }\)-sets of positive volume such that \(A = \tilde{A}\) and \(B = \tilde{B}\). Let \(H \subset G_{n,k}\) for \(k\in \{0,\ldots ,n\}\), and let \(\Vert V_{A,H}\Vert _{\infty }, \Vert V_{B,H}\Vert _{\infty }\) and \(C_r(V_{A,H})\), \(C_r(V_{B,H})\) be defined as in (3.10). Then, for any \(\alpha , \beta \in (-\infty ,\infty )\) with \(\alpha + \beta \ge 0\), we obtain
where \(\delta = (\alpha ^{-1} + \beta ^{-1} + k)^{-1}\).
Proof
Using similar arguments in Theorem 3.8, we can write
where
Applying (3.8) to \(\Phi \), we see that
where \(\gamma = \frac{\alpha \beta }{\alpha + \beta }\).
Write \(z = (z_1,z_2) \in H \times H^{\perp }= \mathbb {R}^n\). Therefore based on (3.12), we obtain
where we have
For each fixed v, w consider the following normalized compression in (3.10)
Notice that \(C_H(v) = \widetilde{C_H(v)}\) and \(D_H(w) = \widetilde{D_H(w)}\), and so, akin to the proof of Theorem 3.8, using Fubini’s theorem, we have that
By applying Theorem 3.9 to the last quantity appearing in (3.13), we see that
where \(\delta = (\alpha ^{-1} + \beta ^{-1} + k)^{-1}.\)
Notice that
Finally, noting that \(\widetilde{A_H} = A_H\) and \(\widetilde{B_H} = B_H\), similar tactics as before yield the following identities
where
Putting everything together, by integrating these inequalities over \(H^{\perp }\), and using Fubini’s theorem appropriately, we conclude the proof. \(\square \)
4 Generalized \(L_{p,\bar{\alpha }}\)-Borell–Brascamp–Lieb Inequality
In [49, 50], the authors proved the \(L_p\) Borell–Brascamp–Lieb inequality using the methods of mass transportation, revolution bodies and the classic Borell–Brascamp–Lieb inequality, etc. In this section, we extend the \(L_p\) Borell–Brascamp–Lieb inequality for functions to multiple power \(L_{p,\bar{\alpha }}\) by applying the \(L_{p,\alpha }\) curvilinear-Brunn–Minkowski inequality Sect. 4.1 (Theorem 3.3) to hypo-graphs of functions. Based on this inequality, we establish a normalized version of \(L_{p,\alpha }\) Borell–Brascamp–Lieb inequality for functions and a normalized \(L_{p,\alpha }\) curvilinear-Brunn–Minkowski inequality for sets in terms of measure in Sects. 4.2 and 4.3, respectively.
4.1 New Proof of Multiple \(L_{p}\)-Borell–Brascamp–Lieb Inequality for Functions
Recall the \(L_p\) (\(L_{p,\alpha }\)) Borell–Brascamp–Lieb inequality for functions in [49, 50] below.
Theorem 4.1
Let \(p \ge 1\), \(p^{-1} + q^{-1} = 1\), \(t \in (0,1)\), and \(\alpha \in [-\infty ,+\infty ]\). Suppose that \(f,g,h :\mathbb {R}^n \rightarrow \mathbb {R}_+\) are a triple of integrable functions that satisfy the condition
for all \(x,y \in \mathbb {R}^n\) such that \(f(x)g(y)>0\) and for every \(t, \lambda \in (0,1)\). Then the following integral inequality holds:
where \(\gamma = \frac{\alpha }{1+n\alpha }\).
Proof
As f and g are integrable functions, we may assume without loss of generality that f, g are bounded functions supported on a bounded set. For a bounded integrable function \(m :\mathbb {R}^n \rightarrow \mathbb {R}_+\) with bounded support, consider its hypo-graph
which is a bounded Borel set. It is easy to check that
Observe, for suitable choices of \(z \in \mathbb {R}^n\), we have
where \(x\in supp(f)\) and \(y\in supp(g)\). In particular, the above implies that
Due to the assumption (4.1), this shows that
Consequently, we employ the \(L_{p,\alpha }\)-curvilinear-Brunn–Minkowski inequality for sets, i.e., Theorem 3.3 to the sets \(\text {hyp}(f)\) and \(\text {hyp}(g)\) to obtain
where \(\gamma = \frac{\alpha }{1+n\alpha }\), completing the proof. \(\square \)
Repeating the proof of Theorem 4.1, similar to the process in Theorem 3.3 and Theorem 3.5, we obtain the following generalization and strengthening of Uhrin’s curvilinear Prékopa-Leindler inequality in [57]—the \(L_{p,\bar{\alpha }}\)-Borell–Brascamp–Lieb inequality.
Theorem 4.2
Let \(p \ge 1\), \(p^{-1} + q^{-1} = 1\), \(t \in (0,1)\), and \(\bar{\alpha }=(\alpha _1,\ldots , \alpha _{n+1})\) with \(\alpha _i \in [0,1]\) for all \(i =1,\ldots ,n\). Suppose that \(f,g,h:(\mathbb {R}_+)^n \rightarrow \mathbb {R}_+\) are a triple of bounded integrable functions having bounded support that satisfy the condition
for all \(x=(x_1,\ldots , x_n), y=(y_1,\ldots , y_n) \in (\mathbb {R}_+)^n\) with \(f(x)g(y)=f(x_1,\ldots , x_n)g(y_1,\ldots , y_n) > 0\), and for all \(\lambda \in (0,1)\). Then the following inequality holds:
where \( \gamma =\left( \sum _{i=1}^{n+1}\alpha _i^{-1}\right) ^{-1}. \)
4.2 Normalized \(L_p\)-Borell–Brascamp–Lieb Type Inequality
The main focus of this subsection is the following normalized version of the \(L_{p,\bar{\alpha }}\) Borell–Brascamp–Lieb inequality to more general space in previous Subsection.
Let \(H \subset G_{n,k}\) be a linear subspace for \(k\in \{0,1,\ldots ,n\}\) and denote by \(H^{\perp }\) its orthogonal complement in \(\mathbb {R}^n\). For a integrable function \(h :\mathbb {R}^n \rightarrow \mathbb {R}_+\), Fubini’s theorem implies that
Theorem 4.3
Let \(p \ge 1\), \(p^{-1}+q^{-1}=1\), \(t \in (0,1)\), and \(\alpha , \beta \in [-\infty , \infty ]\) be such that \(\alpha + \beta \ge 0\). Let \(H\in G_{n,k}\), \(k \in \{1,\ldots ,n\}\). Let \(f,g,h :\mathbb {R}^n \rightarrow \mathbb {R}_+\) be a triple of integrable functions, and assume that the hypo-graphs \(A = \text {hyp}(f)\) and \(B = \text {hyp}(g)\) are bounded \(F_{\sigma }\)-sets in \(\mathbb {R}^n\). Assume that f, g, h satisfy the condition
for all \(x,y \in \mathbb {R}^n\) such that \(f(x)g(y) > 0\) and all \(\lambda \in (0,1)\). Consider the norms of marginal functions of f, g with respect to \(H\in G_{n,k}\) where \(k\in \{0,1,\ldots , n\},\)
Then the following inequality holds:
where the suprema are taken over all ways to write appropriately selected \(w \in H^{\perp }\) in the form \( w= C_{p,\lambda ,t}u + D_{p,\lambda ,t}v\), and where \(\delta =(\alpha ^{-1}+\beta ^{-1} +k)^{-1}\).
Proof
The goal of the proof is to invoke Theorem 3.9 at the right moment. As we have seen before in the proof of Theorem 4.1,
and the same with g and h. Additionally, for \(z \in \mathbb {R}^n\), we have
Integrating (4.5) over \(z\in \mathbb {R}^n\) and taking into account the condition (4.6), we obtain
The definitions in equation (3.10) yield
and
where
with \(A = \text {hyp}(f)\) and \(B = \text {hyp}(g)\). Finally, by applying Theorem 3.9, we conclude the proof. \(\square \)
When \(k=n,\) we obtain the normalized \(L_p\)-Borell–Brascamp–Lieb inequality as follows.
Corollary 4.4
Let \(p \ge 1\), \(p^{-1}+q^{-1}=1\), \(t \in (0,1)\), and \(\alpha , \beta \in [-\infty , \infty ]\) be such that \(\alpha + \beta \ge 0\). Let \(f,g,h :\mathbb {R}^n \rightarrow \mathbb {R}_+\) be a triple of integrable functions, and assume that the hypo-graphs \(A = \text {hyp}(f)\) and \(B = \text {hyp}(g)\) are bounded \(F_{\sigma }\)-sets in \(\mathbb {R}^n\). Assume that f, g, h satisfy the condition
for all \(x,y \in \mathbb {R}^n\) such that \(f(x)g(y) > 0\) and all \(\lambda \in (0,1)\). Then the following inequality holds:
where the suprema are taken over all ways to write appropriately selected \(w \in H^{\perp }\) in the form \( w= C_{p,\lambda ,t}u + D_{p,\lambda ,t}v\), and where \(\omega =(\alpha ^{-1}+\beta ^{-1} +n)^{-1}\).
4.3 Normalized \(L_p\)-Curvilinear-Brunn–Minkowski Inequality for Measures
In this Subsection, we further consider the form for normalized \(L_{p,\alpha }\)-curvilinear-Brunn–Minkowski inequality for sets in terms of measure. Before stating our next results, we introduce some preliminary notions. Let \(\mu \) be a measure on \(\mathbb {R}^n\) having a bounded density \(\phi :\mathbb {R}^n \rightarrow \mathbb {R}_+\), and let \(A \subset \mathbb {R}^n\) be a compact set of positive \(\mu \) measure, and \(H\in G_{n,k}\) for some \(0\le k \le n\). Consider the function \( \mu _{A,H}(u) = \mu (A \cap (H-u)), \ u \in H^{\perp }, \) and set
We consider the normalized super-level sets of \(\mu _{A,H}\) given for \(r\in [0,1]\)
In particular, using Fubini’s theorem, we see that
Theorem 4.5
Let \(p \ge 1\), \(p^{-1} + q^{-1} = 1\), \(t \in (0,1)\), and \(\alpha ,\beta \in (-\infty ,+\infty )\), with \(\alpha +\beta \ge 0\), and \(H\in G_{n,k}\) for \(k\in \{0,\ldots ,n\}\). Let \(\mu \) be a measure on \(\mathbb {R}^n\) given by \(d\mu (x) = \phi (x) dx\), where \(\phi :\mathbb {R}^n \rightarrow \mathbb {R}_+\) is a bounded \(\alpha \)-concave function whose support contains the origin. For any compact sets \(A,B \subset \mathbb {R}^n\), each having positive \(\mu \)-measure, one has
where the suprema are taken over all \(\lambda \in (0,1)\) and all ways to write \(w = C_{p,\lambda ,t}u + D_{p,\lambda ,t}v\) with \(u,v \in H^{\perp }\), and where \(\delta =(\alpha ^{-1}+\beta ^{-1} +k)^{-1}\).
Proof
Let \(\phi :\mathbb {R}^n \rightarrow \mathbb {R}_+\) be the density of the measure \(\mu \). Consider the functions \(f = \phi \chi _A\), \(g = \phi \chi _B\), and \(h = \phi \chi _{(1-t) \cdot _p A+_p t \cdot _p B}.\) Then, for \(\lambda , t\in (0,1)\), using Hölder’s inequality together with the \(\alpha \)-concavity of \(\phi \) and the fact that the support of \(\phi \) contains the origin, we may write that
holds for any \(x\in A, y\in B\), and so the triple f, g, h satisfy the assumptions (4.6) of Theorem 4.3.
Moreover, we see that
and also that, for each \(u \in H^{\perp }\), the marginal \(I(f,u) = \mu (A \cap (H - u)) = \mu _{A,H}(u)\). Similarly, \(\Vert g\Vert _H = m_{B,H}\), and for any \(v \in H^{\perp }\), we have \(I(g,u) =\mu (B \cap (H - v)) = \mu _{B,H}(v)\).
Suppose that \(\beta \in (-\infty ,\infty )\) is such that \(\alpha +\beta \ge 0\). By applying inequality (4.7) to the triple f, g, h, we obtain
where the suprema are taken over all \(\lambda \in (0,1)\) and over all ways to write appropriately selected \(w \in H^{\perp }\) in the form \( w= C_{p,\lambda ,t}u + D_{p,\lambda ,t}v\) where \(\delta =(\alpha ^{-1}+\beta ^{-1} +k)^{-1}\).
For the case when \(\frac{\alpha \beta }{\alpha + \beta } \ge - \frac{1}{k}\), we claim that
Indeed, if we consider the function \(M :H^{\perp }\rightarrow \mathbb {R}_+\) defined by
then it is not difficult to see that
Therefore, for any \(\beta \) such that \(\alpha +\beta \ge 0\) and \(\frac{\alpha \beta }{\alpha + \beta } \ge - \frac{1}{k}\), using the inequality (4.10) together with Fubini’s theorem and the above inclusion, we obtain
which verifies Theorem 4.5 in the case that \(\alpha +\beta \ge 0\) and \(\frac{\alpha \beta }{\alpha + \beta } \ge - \frac{1}{k}\). The case for \(\frac{\alpha \beta }{\alpha + \beta }<- \frac{1}{k}\) can be proved in a similar way as in Theorem 4.3. \(\square \)
By choosing \(k = n\) in Theorem 4.5, the right-hand side of inequality (4.9) satisfies
Therefore, using the identity (4.8), we obtain the following corollary.
Corollary 4.6
Let \(p \ge 1\), \(p^{-1} + q^{-1} = 1\), \(t \in (0,1)\), and \(H\in G_{n,k}\) for some \(k\in \{0,\ldots ,n\}\). Let \(\alpha ,\beta \in (-\infty ,\infty )\) be such that \(\alpha + \beta \ge 0\) and \(\alpha \beta /(\alpha +\beta ) \ge -1/k\). Let \(\mu \) be a measure on \(\mathbb {R}^n\) whose density is a bounded \(\alpha \)-concave function whose support contains the origin. For any compact sets \(A,B \subset \mathbb {R}^n\), each having positive \(\mu \)-measure, one has
In particular, choosing \(p=1\), we obtain
5 \(L_{p, \bar{\alpha }}\)-Minkowski First Type and Isoperimetric Inequalities for Measures
Recall the definition for \(L_p\) mixed volume for convex bodies in (1.13) derived from the variation formula for volume (Lebesgue measure) in terms of the \(L_p\) Minkowski summation for convex bodies. In Sect. 5.1, we will define the surface area for measures with respect to the multiple \(L_p\) curvilinear summation for Borel sets. Additionally, we will examine the corresponding \(L_p\) versions of the Minkowski’s first inequality and isoperimetric inequality, etc. Based on the \(L_{p,\bar{\alpha }}\) Borell–Brascamp–Lieb inequality, we further propose the definition of multiple supremal-convolution for functions together with the \(L_p\) Minkowski’s first inequality and isoperimetric inequality with respect to this new convolution definition.
5.1 \(L_{p, \bar{\alpha }}\)-Minkowski First Type and Isoperimetric Inequalities for Sets
Firstly, we pose the concept of F-concavity with respect to the \(L_{p, \bar{\alpha }}\) curvilinear summation for sets defined in Sect. 2.
Definition 5.1
Let \(p \in [1,\infty )\), \(\bar{\alpha }=(\alpha _1,\ldots ,\alpha _{n+1})\in [0,\infty ]^{n+1}\), and \(F :\mathbb {R}_+ \rightarrow \mathbb {R}\) be an invertible differentiable function. We say that a measure \(\mu \) on \(\mathbb {R}^{n+1}\) is F(t)-concave with respect to the \(L_{p,\bar{\alpha }}\)-curvilinear summation of bounded Borel sets \(A, B\subset \mathbb {R}^{n+1}\) and any \(t \in [0,1]\), if
Particularly, if \(\bar{\alpha }=(1,\ldots , 1, \alpha )\) in \((n+1)\)-dimensional space, we call the measure \(\mu \) above is F(t)-concave with respect to the \(L_{p,\alpha }\)-curvilinear summation of bounded Borel sets A, B. Furthermore, when \(\alpha =1\), it recovers the definition for [60] F(t)-concave of \(L_p\) Minkowski summation for sets in \(\mathbb {R}^{n+1}\). Inspired by the works in [18, 27, 49], we introduce the surface area extension of \(L_{p,\bar{\alpha }}\)-curvilinear summation for measures below.
Definition 5.2
Let \(\mu \) be a Borel measure on \(\mathbb {R}^{n+1}\), \(p \ge 1\), and \(\bar{\alpha }=(\alpha _1,\ldots ,\alpha _{n+1})\in [0,\infty ]^{n+1}\). We define the \(L_{p,\bar{\alpha }}\)-\(\mu \)-surface area of a \(\mu \)-integrable set A with respect to a \(\mu \)-integrable set B by
If \(\mu \) is the Lebesgue measure on \(\mathbb {R}^{n+1}\), we will simply denote it as \(S_{p,\bar{\alpha }}\).
Next we will establish the \(L_p\)-Minkowski’s first inequality in terms of the \(L_{p,\bar{\alpha }}\)-\(\mu \)-surface area for \(p\ge 1\) below.
Theorem 5.3
Let \(p \in [1,\infty )\), \(\bar{\alpha }=(\alpha _1,\ldots ,\alpha _{n+1})\in [0,\infty ]^{n+1}\) and \(F :\mathbb {R}_+\rightarrow \mathbb {R}\) be a differentiable invertible function. Let \(\mu \) be a Borel measure on \(\mathbb {R}^{n+1}\), and assume that \(\mu \) is F(t)-concave of \(L_{p,\bar{\alpha }}\)-curvilinear summation for any two \(\mu \)-measurable sets \(A,B\subset \mathbb {R}^{n+1}\). Then the following inequality holds:
When \(\mu (A) = \mu (B)\), the following isoperimetric type inequality holds:
Proof
Consider first that \(\alpha _i \ne 0, +\infty \) for all \(1\le i\le n+1\). It follows from (5.1) and the assumption for measure \(\mu \) being F(t)-concave of \(L_{p,\bar{\alpha }}\)-curvilinear summation for any two \(\mu \)-measurable sets, for any \(\varepsilon >0\) sufficiently small, that
For convenience, we denote the following function with parameter \(\varepsilon \) as
It is easy to check that the equality in (5.3) holds true when \(\varepsilon = 0,\) i.e., \(Q_{F,\mu ,s,p}(0) = \mu (A)\). Furthermore, we obtain the relation between the \(L_{p,\bar{\alpha }}\)-\(\mu \)-surface area and the function \(Q_{F,\mu ,s,p}\),
Observe that
Therefore, it follows from (5.3) that
as desired.
The proofs when \(\alpha _i=0, \infty \) follow in similar procedures and thus they are omitted. \(\square \)
In particular, we obtain a natural corollary of Theorem 5.3 for Lebesgue measure \(\mu =V_{n+1}(\cdot ),\) then the \(L_p\) surface area with respect to the \(L_{p,\bar{\alpha }}\)-curvilinear summation has the following form,
Moreover, we have its corresponding Minkowski’s type inequality and isoperimetric inequality accordingly by Theorem 3.5.
Corollary 5.4
Let \(p \in [1,\infty )\) and \(\bar{\alpha }=(\alpha _1,\ldots ,\alpha _{n+1})\in (0,1]^{n+1}\). Then, for any bounded measurable sets \(A, B\subset \mathbb {R}^{n+1}\), one has
where \(\gamma =\left( \sum _{i=1}^{n+1}\alpha _i^{-1}\right) ^{-1}.\) In particular, when \(V_{n+1}(A) = V_{n+1}(B)>0\), we obtain the following isoperimetric type inequality:
Following the ideas in [49, 50], except for the case that the measure \(\mu \) can be F(t)-concave of \(L_{p,\bar{\alpha }}\)-curvilinear summation for any two \(\mu \)-measurable sets, we propose the composite of the function F and measure \(\mu \)—\(F\circ \mu \) in terms of the \(L_{p,\bar{\alpha }}\)-curvilinear summation: given a measure \(\mu \) on \(\mathbb {R}^n\) which is F(t)-concave in terms of bounded \(A,B \subset \mathbb {R}^n\), we define the \(L_p\)-\(\mu \)-surface area of the set A with respect to the set B—\(\mathbb {V}_{p,F}^{\bar{\alpha }, \mu }(A,B)\) as
and denote by
We further need the following concavity property of \(F\circ \mu \) with respect of the \(L_p\)-Minkowski convex combination.
Lemma 5.5
Let \(p \ge 1\), \(F :\mathbb {R}_+ \rightarrow \mathbb {R}\) be a strictly increasing differentiable function and \(\mu \) be a measure on \(\mathbb {R}^n\) that is absolutely continuous with respect to the Lebesgue measure. Suppose that \(F\circ \mu \) is concave with bounded Borel sets in terms of \(L_{p,\bar{\alpha }}\)-curvilinear summation. Then, for any bounded Borel sets A, B, the maps
are concave on \([0,\infty ).\)
Proof
Let \(t \in [0,1]\) and \(\varepsilon _1,\varepsilon _2 \ge 0\). Therefore, by definition of \(L_p\)-curvilinear summation,
It follows from the fact \(F\circ \mu \) is concave with respect to bounded sets in terms of \(L_{p,\bar{\alpha }}\)-curvilinear summation that
as desired. The proof of the second inequality assertion follows in similar lines. \(\square \)
Together with the definition of \(L_p\)-\(\mu \)-surface area (5.4), (5.5) and Lemma 5.5, we are now prepared to establish the following isoperimetric type inequality.
Theorem 5.6
Let \(p \ge 1\), \(F :\mathbb {R}_+ \rightarrow \mathbb {R}\) be a strictly increasing differentiable function and \(\mu \) be a measure on \(\mathbb {R}^n\) that is absolutely continuous with respect to the Lebesgue measure. Suppose that \(\mu \) is F(t)-concave with respect to bounded Borel sets. Then for any bounded Borel sets A, B, one has
with equality if and only if \(A=B\).
Proof
Denote the function \(f :[0,1] \rightarrow \mathbb {R}_+\) as
As \(F\circ \mu \) is concave with respect the \(L_{p,\bar{\alpha }}\)-curvilinear summation for bounded Borel sets, the functions f is concave and such that \(f(0) = f(1) =0,\) and the right-derivative of f at \(t=0\) exists satisfying
with equality if and only if \(f(t) = 0\) for all \(t \in [0,1]\).
We only need to compute the right derivative at 0 of \(\mu ((1-t)\times _{p,\bar{\alpha }} A +_{p,\bar{\alpha }} t \times _{p,\bar{\alpha }} B)\) since
Setting \(g(r,s)=\mu (r \times _{p,\bar{\alpha }}(A+_{p,\bar{\alpha }} s \times _{p,\bar{\alpha }} B))\), we obtain
and then
It follows from the fact \(\frac{d^+}{dt}|_{t=0}f(t) \ge 0\) and the equality case of \(\frac{d^+}{dt}|_{t=0}f(t) = 0\) the desired inequality holds true. \(\square \)
5.2 \(L_{p, \bar{\alpha }}\) Supremal-Convolution and Corresponding Inequalities for Functions
Based on the condition for \(L_{p,\bar{\alpha }}\) Borell–Brascamp–Lieb inequality (4.2), similar to the definition of \(L_{p,s}\) supremal-convolution (1.17) originated from the classic Borell–Brascamp–Lieb inequality, we define a generalized version of supremal-convolution for multiple power parameters in \(L_p\) case below.
Definition 5.7
Let \(p \ge 1\), \(p^{-1} + q^{-1} = 1\), \(t \in (0,1)\), and \(\bar{\alpha }=(\alpha _1,\ldots , \alpha _{n+1})\) with \(\alpha _i \in [-\infty ,\infty ]\) for all \(i =1,\ldots ,n+1\). Suppose that \(f,g:(\mathbb {R}_+)^n \rightarrow \mathbb {R}_+\) are a triple of bounded integrable functions having bounded support. We define the \(L_{p, \bar{\alpha }}\) supremal-convolution of f and g as
If \(\alpha _i=1\) for \(1\le i\le n\) and \(\alpha _{n+1}=\frac{1}{s}\), it recovers the definition of \(L_{p,\bar{\alpha }}\)-supremal-convolution in [49].
By the definitions of \(L_{p,\bar{\alpha }}\)-supremal-convolution, we conclude that with the same conditions for \(\bar{\alpha }\), \(\gamma \), f and g in Theorem 4.2, one has the following Brunn–Minkowski type inequality
Next, similar to the definition of surface area defined in the above subsection in terms of \(L_{p, \bar{\alpha }}\)-curvilinear summation for sets with respect to measures, we will give the surface area for functions with respect to the \(L_{p,\bar{\alpha }}\)–supremal convolution for functions in this section accordingly, which is also a natural multiple generalization in [49].
We also have a F-concavity in terms of the integral of \(L_{p,\bar{\alpha }}\)–supremal convolution for measures similar to Definition 5.1.
Definition 5.8
Let \(p \in [1,\infty )\), \(\bar{\alpha }=(\alpha _1,\ldots ,\alpha _{n+1})\in [0,\infty ]^{n+1}\), and \(F :\mathbb {R}_+ \rightarrow \mathbb {R}\) be an invertible differentiable function. We say that a measure \(\mu \) on \(\mathbb {R}^n\) is F(t)-concave with respect to the \(L_{p,\bar{\alpha }}\)–supremal convolution of functions belonging to some class \(\mathcal {A}\) of bounded non-negative \(\mu \)-integrable functions if, for any members f, g belonging to \(\mathcal {A}\) and any \(t \in [0,1]\), one has that
Further we pose the following definition of the surface area extension for \(L_{p,\bar{\alpha }}\)–supremal convolution with measures.
Definition 5.9
Let \(\mu \) be a Borel measure on \(\mathbb {R}^n\), \(p \ge 1\), and \(\bar{\alpha }=(\alpha _1,\ldots ,\alpha _{n+1})\in [0,\infty ]^{n+1}\). We define the \(L_p\)-\(\mu \)-surface area of a \(\mu \)-integrable function \(f :\mathbb {R}^n \rightarrow \mathbb {R}_+\) with respect to a \(\mu \)-integrable function g by
If \(\mu \) is the Lebesgue measure on \(\mathbb {R}^n\), we will simply denote it as \(\mathbb {S}_{p,\bar{\alpha }}\).
The \(L_p\)-Minkowski’s first inequality below for \(L_{p,\bar{\alpha }}\) supremal-convolution, which is generalization of \(L_p\)-Minkowski’s first inequality in terms of \(L_{p,s}\) supremal-convolution for functions in [49].
Theorem 5.10
Let \(p \in [1,\infty )\), \(\bar{\alpha }=(\alpha _1,\ldots ,\alpha _{n+1})\in [0,\infty ]^{n+1}\), and \(F :\mathbb {R}_+\rightarrow \mathbb {R}\) be a differentiable invertible function. Let \(\mu \) be a Borel measure on \(\mathbb {R}^n\), and assume that \(\mu \) is F(t)-concave with respect to some class, \(\mathcal {A}\), of non-negative bounded \(\mu \)-integrable functions and the \(L_{p,\bar{\alpha }}\)–supremal convolution. Then the following inequality holds for any members f, g of the class \(\mathcal {A}\):
In particular, when \(\int _{\mathbb {R}^n} f d\mu = \int _{\mathbb {R}^n} g d\mu \), we obtain the following isoperimetric type inequality:
In particular, we obtain a natural corollary of Theorem 5.3 for Lebesgue measure \(\mu \).
Corollary 5.11
Let \(p \in [1,\infty )\), \(\bar{\alpha }=(\alpha _1,\ldots ,\alpha _{n+1})\in (0,1]^{n+1}\). Then, for any bounded integrable functions \(f,g :\mathbb {R}^n \rightarrow \mathbb {R}_+\), one has
where \(\gamma =\left( \sum _{i=1}^{n+1}\alpha _i^{-1}\right) ^{-1}.\) In particular, when \(\int _{\mathbb {R}^n} f(x) dx = \int _{\mathbb {R}^n} g(x) dx>0\), we obtain the following isoperimetric type inequality:
Remark 5.12
The definition of \(F\circ \mu \) concavity with respect to the \(L_{p,\bar{\alpha }}\)-supermal-convolution can also be defined accordingly with similar variation formulas exist for functions in (5.4) and has similar inequalities in Theorem 5.6, and thus omitted.
Data Availability
Data sharing is not applicable to this article: no data sets were generated or examined as a result of this study.
Change history
29 May 2024
A Correction to this paper has been published: https://doi.org/10.1007/s12220-024-01699-2
References
Artstein-Avidan, S., Florentin, D.I., Segal, A.: Functional Brunn–Minkowski inequalities induced by polarity. Adv. Math. 364, 107006 (2020)
Artstein-Avidan, S., Giannopoulos, A., Milman, V.D.: Asymptotic Geometric Analysis. Part I. American Mathematical Society, Providence (2015)
Artstein-Avidan, S., Klartag, B., Milman, V.D.: The Santaló point of a function, and a functional form os the Santaló inequality. Mathematika 51, 33–48 (2004)
Ball, K.: Logarithmically concave functions and sections of convex sets in \({\mathbb{R} }^{n}\). Studia Math. 88, 69–84 (1988)
Blaschke, W.: Über affine Geometrie XI: Lösung des Vierpunktproblems von Sylvester aus der Theorie der geometrischen Wahrscheinlichkeiten. Leipziger Berichte 69, 436–453 (1917)
Bobkov, S.: Convex bodies and norms associated to convex measures. Prob. Theory Relat. 147, 303–332 (2010)
Bobkov, S., Colesanti, A., Fragala, I: Quermassintegrals of quasi-concave functions and generalized Prékopa–Leindler inequalities. Manuscr. Math. 3, 131–169 (2014)
Borell, C.: Convex set functions in d-space. Per. Math. Hung. 6, 111–136 (1975)
Böröczky, K.J., Hegedűs, P., Zhu, G.: On the discrete logarithmic Minkowski problem. Int. Math. Res. Not. 2015, 1807–1838 (2016)
Böröczky, K.J., Lutwak, E., Yang, D., Zhang, G.: The log-Brunn–Minkowski inequality. Adv. Math. 231, 1974–1997 (2012)
Böröczky, K.J., Lutwak, E., Yang, D., Zhang, G.: The logarithmic Minkowski Problem. J. Am. Math. Soc. 26, 831–852 (2013)
Böröczky, K.J., Lutwak, E., Yang, D., Zhang, G.: Affine images of isotropic measures. J. Differ. Geom. 99, 407–442 (2015)
Böröczky, K.J., Trinh, H.T.: The planar \(L_p\)-Minkowski problem for \(0< p< 1\). Adv. Appl. Math. 87, 58–81 (2017)
Brascamp, H.J., Lieb, E.H.: 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. Funct. Anal. 22, 366–389 (1976)
Campi, S., Colesanti, A., Gronchi, P.: Shaking compact sets. Beiträge zur Algebra Geom. 42, 123–136 (2001)
Chen, S., Huang, Y., Li, Q., Liu, J.: \(L_p\)-Brunn-Minkowski inequality for \(p\in (1-\frac{c}{n^{\frac{3}{2}}},1)\). Adv. Math. 368, 107166 (2020)
Colesanti, A.: Log-Concave Functions, Convexity and Concentration, pp. 487–524. Springer, New York, NY (2017)
Colesanti, A., Fragalà, I.: The first variation of the total mass of \(log\)-concave functions and related inequalities. Adv. Math. 244, 708–749 (2013)
Colesanti, A., Livshyts, G., Marsiglietti, A.: On the stability of Brunn–Minkowski type inequalities. J. Funct. Anal. 273, 1120–1139 (2017)
Cordero-Erausquin, D., Fradelizi, M., Maurey, B.: The (B)-conjecture for the Gaussian measure of dilates of symmetric convex sets and related problems. J. Funct. Anal. 214, 410–427 (2004)
Dancs, S., Uhrin, B.: On a class of integral inequalities and their measure-theoretic consequences. J. Math. Anal. Appl. 74, 388–400 (1980)
Eskenazis, A., Moschidis, G.: The dimensional Brunn–Minkowski inequality in Guass space. J. Funct. Anal. 280, 108914 (2021)
Firey, W.J.: \(p\)-Means of convex bodies. Math. Scand. 10, 17–24 (1962)
Gardner, R.: The Brunn–Minkowski inequality. Bull. Am. Math. Soc. 39, 355–405 (2002)
Gardner, R., Zvavitch, A.: Gaussian Brunn–Minkowski-type inequalities. Trans. Am. Math. Soc. 360, 5333–5353 (2010)
Kolesnikov, A.V., Livshyts, G.V.: On the Local version of the Log-Brunn-Minkowski conjecture and some new related geometric inequalities. Int. Math. Res. Not. (in press)
Klartag, B.: Marginals of geometric inequalities. Geom. Funct. Anal. 2007, 133–166 (2007)
Klartag, B., Milman, V.D.: Geometry of log-concave functions and measures. Geom. Dedicata 112, 169–182 (2005)
Koldobsky, A.: Fourier Analysis in Convex Geometry. Math. Surveys and Monographs, AMS, Providence RI (2005)
Kolesnikov, A., Livshyts, G.: On the Gardner–Zvavitch conjecture: symmetry in the inequalities of Brunn–Minkowski type. Adv. Math. 384, 107689 (2021)
Kolesnikov, A., Milman, E.: Local \(L_p\)-Brunn-Minkowski inequalities for \(p<1\). Memo. of AMS (in press)
Leindler, L.: On a certain converse of Hölder’s inequality. II. Acta Sci. Math. (Szeged) 33, 217–223 (1972)
Livshyts, G.: An extension of Minkowski theorem and its applications to questions about projections for measures. Adv. Math. 356, 106–803 (2019)
Livshyts, G., Marsiglietti, A., Nayar, P., Zvavitch, A.: On the Brunn–Minkowski inequality for general measures with applications to new isoperimetric-type inequalities. Trans. Am. Math. Soc. 369, 8725–8742 (2017)
Lutwak, E.: The Brunn–Minkowski-Firey theory I: Mixed volumes and the Minkowski problem. J. Differ. Geom. 38, 131–150 (1993)
Lutwak, E.: The Brunn–Minkowski–Firey Theory II. Adv. Math. 118, 244–294 (1996)
Lutwak, E., Yang, D., Zhang, G.: The Brunn–Minkowski–Firey inequality for non-convex sets. Adv. Appl. Math. 48, 407–413 (2019)
Marsiglietti, A.: A note on an \(L_p\)-Brunn–Minkowski inequality for convex measures in the unconditional case. Pac. J. Math. 277, 187–200 (2015)
Marsiglietti, A.: On the improvement of concavity of convex measures. Proc. Am. Math. Soc. 144, 775–786 (2016)
Mitrinović, D.S., Pećaric, J., Fink, A.M.: Classical and New Inequalities in Analysis, vol. 61. Springer Science & Business Media, New York (2013)
Nayar, P., Tkocz, T.: A note on a Brunn–Minkowski inequality for the Gaussian measure. Proc. Am. Math. Soc. 141, 4027–4030 (2013)
Prékopa, A.: logarithmic concave measures with applications to stochastic programming. Acta Sci. Math. (Szeged) 32, 301–316 (1971)
Putterman, E.: Equivalence of the local and global versions of the \( L^p \)-Brunn–Minkowski inequality. J. Funct. Anal. 280, 108956 (2021)
Ritoré, M., Yepes Nicolás, J.: Brunn–Minkowski inequalities in product metric measure spaces. Adv. Math. 325, 824–863 (2018)
Rossi, A., Salani, P.: Stability for a strengthened Borell–Brascamp–Lieb inequality. Appl. Anal. 98, 1773–1784 (2019)
Rotem, L.: A letter: The log-Brunn-Minkowski inequality for complex bodies, http://www.tau.ac.il/~liranro1/papers/complexletter.pdf
Rotem, L.: Support functions and mean width for \(\alpha \)-concave functions. Adv. Math. 243, 168–186 (2013)
Rotem, L.: Surface area measures of log-concave functions. J. Anal. Math. 147, 373–400 (2022)
Roysdon, M., Xing, S.: On \(L_p\)-Brunn-Minkowski type and \(L_p\)-isoperimetric type inequalities for general measures. Trans. Am. Math. Soc. 374, 5003–5036 (2021)
Roysdon, M., Xing, S.: On the framework of summation for functions. J. Funct. Anal. 285, 110150 (2023)
Saraglou, C.: Remarks on the conjectured log-Brunn–Minkowski inequality. Geom. Dedicata 177, 353–365 (2015)
Saraglou, C.: More on logarithmic sums of convex bodies. Mathematika 62, 818–841 (2016)
Schneider, R.: Convex Bodies: The Brunn–Minkowski Theory. Encyclopedia of Mathematics and its Applications, vol. 151. Cambridge University Press, Cambridge (2014)
Stancu, A.: The logarithmic Minkowski inequality for non-symmetric convex bodies. Adv. Math. 73, 43–58 (2016)
Stancu, A., Vikram, S.: A flow approach to the fractional Minkowski problem. Geom. Dedicata 191, 137–151 (2017)
Stein, E.M., Shakarchi, R.: Real Analysis: Measure Theory, Integration, and Hilbert Spaces. Princeton University Press, Princeton (2009)
Uhrin, B.: Some remarks about the convolution of unimodal functions. Ann. Prob. 12, 640–645 (1984)
Uhrin, B.: Extensions and sharpenings of Brunn–Minkowski and Bonnesen inequalities. Coll. Math. Soc. János Bolyai 48, 551–571 (1985)
Uhrin, B.: Curvilinear extensions of the Brunn–Minkowski–Lusternik inequality. Adv. Math. 109, 288–312 (1994)
Wu, D.: A generalization of \(L_p\)-Brunn–Minkowski inequalities and \(L_p\)-Minkowski problems for measures. Adv. Appl. Math. 89, 156–183 (2017)
Xi, D., Leng, G.: Dar’s conjecture and the log-Brunn–Minkowski inequality. J. Differ. Geom. 103, 145–189 (2016)
Yang, D., Zhang, G.: The \(\log \)-Brunn–Minkowski inequality in \(\mathbb{R} ^3\). Proc. Am. Math. Soc. 147, 4465–4475 (2019)
Zhu, G.: The \(L_p\) Minkowski problem for polytopes for \(0< p< 1\). J. Funct. Anal. 269, 1070–1094 (2015)
Acknowledgements
This research was partially supported by the Zuckerman STEM Leadership Program. This material is based upon work supported by the National Science Foundation under Grant No. DMS-1929284 while the authors was in residence at the Institute for Computational and Experimental Research in Mathematics in Providence, RI, during the Harmonic Analysis and Convexity program.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
The original online version of this article was revised: The authors affiliation numbering has been corrected.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Roysdon, M., Xing, S. On Multiple \(L_p\)-Curvilinear-Brunn–Minkowski Inequalities. J Geom Anal 34, 222 (2024). https://doi.org/10.1007/s12220-024-01657-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s12220-024-01657-y
Keywords
- Brunn–Minkowski inequalities
- \(L_{p, \bar{\alpha }}\)-curvilinear-Brunn–Minkowski inequality
- \(L_{p, \bar{\alpha }}\) Borell–Brascamp–Lieb inequality
- \(L_{p, \bar{\alpha }}\)-curvilinear summation
- \(L_{p, \bar{\alpha }}\)-supremal-convolution