Abstract
By using quasi-Banach techniques as key ingredient we prove Poincaré- and Sobolev- type inequalities for m-subharmonic functions with finite (p, m)-energy. A consequence of the Sobolev type inequality is a partial confirmation of Błocki’s integrability conjecture for m-subharmonic functions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Background
In 1985, Caffarelli, Nirenberg, Spruck introduced the so called real k-Hessian operator, \(S_k\), in bounded domains in \(\mathbb R^n\), \(n\ge 2\), \(1\le k\le n\) [17]. The real k-Hessian operator is a nonlinear partial differential operator acting on what is known as k-admissible functions (also known as k-convex functions). A \({{\mathcal {C}}}^2\)-function u is k-admissible if the following elementary symmetric functions are non-negative
where \(\lambda (D^2u)=(\lambda _1,\dots ,\lambda _n)\) are eigenvalues of the real Hessian matrix \(D^2u=[\frac{\partial ^2u}{\partial x_j\partial x_i}]\). The real k-Hessian operator is then defined by
By these definitions we get that the 1-Hessian operator is the classical Laplace operator defined on 1-admissible functions that are just the subharmonic functions. Furthermore, the n-Hessian operator is the real Monge–Ampère operator defined on n-admissible functions that are the same as the convex functions. Therefore, for \(k=2,\dots , n-1\), the k-Hessian operator can be regarded as a sequence of nonlinear partial differential operators linking the classical Laplace operator to the real Monge–Ampère operator. The natural progression is then to extend the set of k-admissible functions together with the real k-Hessian operator. This was done in the famous trilogy written by Trudinger and Wang [41, 43, 44] (especially [43]).
For \(k=1,..,n\), the k-Hessian integral is formally defined as
When \(k=1\) we see that \(I_1(u)=\int _{\Omega } |D u|^2\) is the Dirichlet energy integral from potential theory that goes back to the work of Gauß, Dirichlet, Riemann, among many others, while for \(k=n\)
is the fundamental integral in the variational theory for the real Monge–Ampère equations (see e.g. [8,9,10,11, 22]). The k-Hessian integral was introduced by Chou [21]. For further information about the k-Hessian integral see e.g. [49].
Now let \(0\le l< k\le n\), and let \(\Omega \subset {{\mathbb {R}}}^n\), \(n\ge 2\), be a smoothly bounded \((k-1)\)-convex domain, and let u be an k-admissible function that vanishes on \(\partial \Omega \). Then there exists a constant \(C(l,k,n,\Omega )\) depending only on n, l, k and \(\Omega \) such that
For \(l=0\) and \(k=1\), we have that inequality (1.1) is
and this can be interpreted as a type of the classical Poincaré inequality and therefore motivates calling (1.1) a Poincaré type inequality for k-Hessian operators. Inequality (1.1) was first proved by Trudinger and Wang [42] (for an alternative proof see [29]).
Under the same requirements on \(\Omega \) and u the Sobolev type inequality that is of our interest states then that there exists a constant \(C(k,n,\Omega )\) depending only on k, n and \(\Omega \) such that:
- (1)
if \(1\le k<\frac{n}{2}\), then
$$\begin{aligned} \Vert u\Vert _{L^{q}}\le C(k,n,\Omega ) \, I_k(u)^{\frac{1}{k+1}}, \quad \text {for} \quad 1\le q\le \frac{n(k+1)}{n-2k}; \end{aligned}$$ - (2)
if \(k=\frac{n}{2}\), then
$$\begin{aligned} \Vert u\Vert _{L^{q}}\le C(k,n,\Omega ) \, I_k(u)^{\frac{1}{k+1}}, \quad \text {for} \quad q<\infty ; \end{aligned}$$ - (3)
if \(\frac{n}{2}<k\le n\), then
$$\begin{aligned} \Vert u\Vert _{L^{\infty }}\le C(k,n,\Omega ) \, I_k(u)^{\frac{1}{k+1}}. \end{aligned}$$
If \(k=1\), then we have
and for \(k=n\),
The Sobolev type inequalities (1)–(3) for n-admissible functions was first proved by Chou [21], while for the general case they were proved by Wang [48] (see also [40]).
Now to the complex setting. Let \(n\ge 2\) and \(1\le m\le n\). Mimicking the real case above we say that a \({{\mathcal {C}}}^2\)-function u defined in a bounded domain in \({{\mathbb {C}}}^n\) is m-subharmonic or m-admissible if the elementary symmetric functions are positive \(\sigma _l(\lambda (u))\ge 0\) for \(l=1,\dots ,m\), where this time \(\lambda (u)=(\lambda _1,\ldots ,\lambda _n)\) are eigenvalues of the complex Hessian matrix \(D_{{{\mathbb {C}}}}^2u=[\frac{\partial ^2u}{\partial z_j\partial {\bar{z}}_k}]\). The complex m-Hessian operator on a \({{\mathcal {C}}}^2\)-function u is then defined by
In the complex case we get that the complex 1-Hessian operator is the classical Laplace operator defined on 1-subharmonic functions that are just the subharmonic functions, while the complex n-Hessian operator is the complex Monge–Ampère operator defined on n-subharmonic functions that is the plurisubharmonic functions. An early encounter of the complex m-Hessian operator is the work of Vinacua [45] from 1986. That work was later published in article form in [46]. The extension of m-subharmonic functions and the complex m-Hessian operator to non-smooth admissible functions was done by Błocki in 2005 [16]. There he also introduced pluripotential methods to the theory of complex Hessian operators. Standard notations and terminology in the real and complex case differ in part, and so instead of \(I_k\) above, we shall use the following notation in the complex case: For \(p>0\), \(p\in {{\mathbb {R}}}\), and \(m=1,\ldots , n\), let
and we call \(e_{p,m}(u)\) for the (p, m)-energy ofu. Thus, for \(k=1\) we have that \(e_{1,1}(u)=I_1(u)\), but notice the difference in the definition of \(e_{0,1}(u)\) compared to \(I_0(u)\). For the early work on the theory of variation for the complex n-Hessian operator see e.g. [12, 13, 20, 26, 27, 31].
To be able to prove the Poincaré- and Sobolev- type inequalities for m-subharmonic functions we need classes of m-subharmonic functions that, in a general sense, vanishes on the boundary and additionally they should have finite (p, m)-energy. Denote these classes with \({{\mathcal {E}}}_{p,m}(\Omega )\) (see Sect. 2 for details).
Our Poincaré type inequality for the complex m-Hessian operator is:
Theorem 4.2
Let \(n\ge 2\), \(1\le l< k\le n\), and \(p\ge 0\). Assume that \(\Omega \) is a bounded \(B_k\)-regular domain in \({{\mathbb {C}}}^n\). Then there exits a constant \(C(p,l,k,n,\Omega )>0\), depending only on p, l, k, n, and \(\Omega \), such that for any \(u\in {{\mathcal {E}}}_{p,k}(\Omega )\) we have
If \(p=0\), \(l=1\), and \(k=n\), then (1.2) becomes
where \((dd^c u)^n\) is the standard notation for the complex Monge–Ampère operator in pluripotential theory. Furthermore, if \(p=1\), \(l=1\), and \(k=n\), then we have that
When \(\Omega \) is assumed to have the stronger convexity property known as strongly k-pseudoconvexity, and \(p=1\), then inequality (1.2) was proved by Hou [29]. In Theorem 4.3 we find the optimal constant in (1.2) for the cases \(p=0\), and \(p=1\), in the case of the unit ball \(\Omega ={{\mathbb {B}}}\).
Our Sobolev type inequality for complex m-Hessian equations is:
Theorem 5.4
Let \(n\ge 2\), \(1\le m\le n\), and \(p\ge 0\). Assume that \(\Omega \) be a bounded m-hyperconvex domain in \({{\mathbb {C}}}^n\). There exists a constant \(C(p,q,m,n,\Omega )>0\), depending only on p, q, m, n, and \(\Omega \) such that for any function \(u\in {{\mathcal {E}}}_{p,m}(\Omega )\), and for \(0<q<\frac{(m+p)n}{n-m}\), we have
For \(p=0\), we have for \(m=1\) and \(m=n\), respectively,
and
Furthermore, for \(p=1\), we have for \(m=1\) and \(m=n\), respectively,
and
For the complex n-Hessian operator with \(p=1\), inequality (1.3) was proved by Berman and Berndtsson in [15] (see also [28]). Later their result was generalized by the authors to the case when p is any positive number, and when \(\Omega \) is a n-hyperconvex domain in \(\mathbb C^n\), or a compact Kähler manifold [3]). The case when \(\Omega \) is assumed to have the stronger convexity assumption of strongly k-pseudoconvexity, and \(p=1\), then inequality (1.3) was proved by Zhou [50].
After proving Theorem 5.4 we give examples that shows that the following inequalities are not in general possible:
It is well known that all n-subharmonic functions are locally in \(L^p\) for any \(p>0\). In general, this fact is no longer valid for m-subharmonic functions. Błocki proved that if u is m-subharmonic function, then \(u\in L^p_{loc}\) for \(p<\frac{n}{n-m}\). Motivated by the real case he then conjectured that any m-subharmonic function is in \(L^p_{loc}\) for \(p<\frac{nm}{n-m}\) [16]). Later, Dinew and Kołodziej partially confirmed this conjecture under the extra assumption that the m-subharmonic functions [24]). For the relation of this conjecture with the so called integrability exponent, and the Lelong number, of m-subharmonic functions see [14]. As an immediate consequence of our Theorem 5.4 is that we get that Błocki’s conjecture is true for functions in the Cegrell class \(\mathcal E_m(\Omega )\) (Corollary 5.8). The inequalities under investigation are very helpful in solving the Dirichlet problem for the complex Hessian type equation, and the solution of those equations can be used for the construction of certain metrics on compact Kähler and Hermitian manifolds (see e.g. [15, 28]). Furthermore, the optimal constant in these inequalities are connected to the isoperimetric inequality and therefore classically to symmetrization of functions (see e.g. [39]).
Both our proofs of Theorem 4.2, and Theorem 5.4, uses the theory of quasi-Banach spaces (Theorem 3.2).
2 Preliminaries
Here we give some necessary background. We start with the definition of m-subharmonic functions and the m-Hessian operator. Let \(\Omega \subset {{\mathbb {C}}}^n\), \(n\ge 2\), be a bounded domain, \(1\le m\le n\), and define \({{\mathbb {C}}}_{(1,1)}\) to be the set of (1, 1)-forms with constant coefficients. With this set
where \(\beta =dd^c|z|^2\) is the canonical Kähler form in \({{\mathbb {C}}}^n\).
Definition 2.1
Let \(n\ge 2\), and \(1\le m\le n\). Assume that \(\Omega \subset {{\mathbb {C}}}^n\) is a bounded domain, and let u be a subharmonic function defined on \(\Omega \). Then we say that u is m-subharmonic if the following inequality holds
in the sense of currents for all \(\alpha _1,\ldots ,\alpha _{m-1}\in \Gamma _m\). With \(\mathcal {SH}_m(\Omega )\) we denote the set of all m-subharmonic functions defined on \(\Omega \).
Let \(\sigma _{k}\) be k-elementary symmetric polynomial of n-variable, i.e.,
It can be proved that a function \(u\in {{\mathcal {C}}}^2(\Omega )\) is m-subharmonic if, and only if,
for all \(k=1,\dots ,m\), and all \(z\in \Omega \). Here, \(\lambda _1(z),\ldots ,\lambda _n(z)\) are the eigenvalues of the complex Hessian matrix \(\left[ \frac{\partial ^2u}{\partial z_j\partial {\bar{z}}_k}(z)\right] \). For \({{\mathcal {C}}}^2\) smooth m-subharmonic function u, the complexm-Hessian operator is defined by
where \(dV_{2n}\) is the Lebesgue measure in \({{\mathbb {C}}}^n\).
To be able to have sufficiently many m-subharmonic functions that vanishes in some sense on the boundary we need some suitable convexity condition on our underlying domain. In this paper we need m-hyperconvexity (Definition 2.2), and \(B_m\)-regularity (Definition 2.3).
Definition 2.2
Let \(n\ge 2\), and \(1\le m\le n\). A bounded domain in \(\Omega \subset {{\mathbb {C}}}^n\) is said to be m-hyperconvex if it admits a non-negative and m-subharmonic exhaustion function, i.e., there exits a m-subharmonic \(\varphi :\Omega \rightarrow [0,\infty )\) such that the closure of the set \(\{z\in \Omega : \varphi (z)<c\}\) is compact in \(\Omega \), for every \(c\in (-\infty , 0)\).
Definition 2.3
Let \(n\ge 2\), and \(1\le m\le n\). A bounded domain in \(\Omega \subset {{\mathbb {C}}}^n\) is said to be \(B_m\)-regular if for every \(f\in {{\mathcal {C}}}(\partial \Omega )\) there exists a m-subharmonic function defined on \(\Omega \) such that \(u=f\) on \(\partial \Omega \).
Remark
- (1)
n-hyperconvex domains are hyperconvex domains from pluripotential theory, while 1-hyperconvex domains are regular domains in potential theory.
- (2)
\(B_n\)-regular domains are B-regular domains from pluripotential theory, while \(B_1\)-regular domains are regular domains in potential theory.
- (3)
Every \(B_m\)-regular domain is m-hyperconvex. On the other hand, the bidisc \({{\mathbb {D}}}\times {{\mathbb {D}}}\) in \({{\mathbb {C}}}^2\) is 2-hyperconvex, but not \(B_2\)-regular while it is both 1-hyperconvex and \(B_1\)-regular.
For proofs, and further information about these convexity notions see [5].
Next, we shall recall the function classes that are of our interest. As said in the introduction we shall use the following notations:
We say that a m-subharmonic function \(\varphi \) defined on a m-hyperconvex domain \(\Omega \) belongs to \(\mathcal E^0_{m}(\Omega )\) if \(\varphi \) is bounded,
and
Definition 2.4
Let \(n\ge 2\), \(1\le m\le n\), and \(p\ge 0\). Assume that \(\Omega \) be a bounded m-hyperconvex domain in \({{\mathbb {C}}}^n\). We say that \(u\in {{{\mathcal {E}}}}_{p,m}(\Omega )\), if u is a m-subharmonic function defined on \(\Omega \) such that there exists a decreasing sequence, \(\{\varphi _{j}\}\), \(\varphi _{j}\in {\mathcal {E}}^0_{m}(\Omega )\), that converges pointwise to u on \(\Omega \), as j tends to \(\infty \), and \(\sup _{j} e_{p,m}(\varphi _j)< \infty \).
In [32, 33], it was proved that for \(u\in {{{\mathcal {E}}}}_{p,m}(\Omega )\) the complex Hessian operator, \({\text {H}}_m(u)\), is well-defined, and
where \(d=\partial +{\bar{\partial }}\), and \(d^c=\sqrt{-1}\big ({\bar{\partial }}-\partial \big )\).
Theorem 2.5 is essential when working with \({{{\mathcal {E}}}}_{p,m}(\Omega )\), \(p>0\).
Theorem 2.5
Let \(n\ge 2\), \(1\le m\le n\), and \(p>0\). Assume that \(\Omega \) be a bounded m-hyperconvex domain in \({{\mathbb {C}}}^n\). For \(u_0,u_1,\ldots , u_m\in {{{\mathcal {E}}}}_{p,m}(\Omega )\) we have
where \(C\ge 1\) depends only on p, m, n and \(\Omega \).
Proof
See e.g. Lu [32, 33], and Nguy\(\tilde{\hat{\text {e}}}\)n [34]. \(\square \)
Remark
3 Quasi-Banach Spaces
In this section we introduce the necessary background of the theory of quasi-Banach spaces to be able to prove Theorem 3.2 which subsequently will be used in both the proof of Theorem 4.2 and Theorem 5.4. Let X be a real vector space. We say that \({{{\mathcal {K}}}}\) is a cone in the vector space X if it is a non-empty subset of X that satisfies:
- (1)
\({{{\mathcal {K}}}}+{{{\mathcal {K}}}}\subseteq {{{\mathcal {K}}}}\),
- (2)
\(\alpha {{{\mathcal {K}}}}\subseteq {{{\mathcal {K}}}}\) for all \(\alpha \ge 0\) , and
- (3)
\({{{\mathcal {K}}}}\cap (-{{{\mathcal {K}}}})=\{0\}\).
It should be noted that in some texts the name proper convex cone is used instead. Furthermore, \(\delta {{{\mathcal {K}}}}={{{\mathcal {K}}}}-{{{\mathcal {K}}}}\) is vector subspace of X. Let us recall the definition of a quasi-norm and a quasi-Banach space.
Definition 3.1
A quasi-norm\(\Vert \cdot \Vert _0\) on a cone \({{{\mathcal {K}}}}\) is a mapping \(\Vert \cdot \Vert _0:{{{\mathcal {K}}}}\rightarrow [0,\infty )\) with the following properties:
- (1)
\(\Vert x\Vert _0=0\) if, and only if, \(x=0\);
- (2)
\(\Vert tx\Vert _0=t\Vert x\Vert _0\) for all \(x\in {{{\mathcal {K}}}}\) and \(t\ge 0\);
- (3)
there exists a constant \(C\ge 1\) such that for all \(x,y\in {{{\mathcal {K}}}}\) we have that
$$\begin{aligned} \Vert x+y\Vert _0\le C(\Vert x\Vert _0+\Vert y\Vert _0)\, . \end{aligned}$$(3.1)
The constant C in (3.1) is often refereed to the modulus of concavity of the quasi-norm \(\Vert \cdot \Vert \). Now one can extend \(\Vert \cdot \Vert _0\) to the vector space \(\delta {{{\mathcal {K}}}}\) by
The classical Aoki-Rolowicz theorem for quasi-Banach spaces ( [7, 37]) states that every quasi-normed space X is q-normable for some \(0<q\le 1\). In other words, X can be endowed with an equivalent quasi-norm \({\left| \left| \left| \cdot \right| \right| \right| }\) that is q-subadditive, and therefore we can define the following metric \(d(x,y)={\left| \left| \left| x-y\right| \right| \right| }^q\) on X. The vector space X is called a quasi-Banach space if it is complete with respect to the metric d induced by the quasi-norm \(\Vert \cdot \Vert \). Note that it follows from the definition of quasi-norm that for any \(x_1,\dots ,x_k\in \delta {{{\mathcal {K}}}}\) holds
The cone \({{{\mathcal {K}}}}\) in a vector space X generates a vector ordering \(\,\succcurlyeq \,\) defined on \(\delta {{{\mathcal {K}}}}\) by letting \(x\,\succcurlyeq \,y\) whenever \(x-y\in {{{\mathcal {K}}}}\).
Theorem 3.2
Let X be a real vector space, \({{{\mathcal {K}}}}\subset X\) a cone, and let \(\Vert \cdot \Vert _0\) be a quasi-norm on \({{{\mathcal {K}}}}\), such that \((\delta {{{\mathcal {K}}}},\Vert \cdot \Vert )\) is a quasi-Banach space, and \({{{\mathcal {K}}}}\) is closed in \(\delta {{{\mathcal {K}}}}\). Assume that \(\Psi :X\rightarrow [0,\infty ]\) is a function that satisfies:
- (a)
\(\Psi \) is homogeneous, i.e. \(\Psi (tx)=t\Psi (x)\), \(t\ge 0\), \(x\in {{{\mathcal {K}}}}\);
- (b)
\(\Psi \) is increasing, i.e. if \(x\,\succcurlyeq \,y\), then \(\Psi (x)\ge \Psi (y)\).
The following conditions are then equivalent:
- (1)
there exists a constant \(B>0\) such that for all \(x\in {{{\mathcal {K}}}}\) holds
$$\begin{aligned} \Psi (x)\le B \Vert x\Vert _0; \end{aligned}$$ - (2)
\(\Psi \) is finite on \({{{\mathcal {K}}}}\).
Proof
The implication (1)\(\Rightarrow \)(2) is clear. To prove the opposite implication (2)\(\Rightarrow \)(1) we shall argue by contradiction. Assume that there does not exists any constant B as above. Therefore, by using homogeneity of \(\Psi \) we can assume that there exists a sequence \(x_j\in {{{\mathcal {K}}}}\) such that
where C is the modulus of concavity of the quasi-norm \(\Vert \cdot \Vert _0\). Let us define
We shall prove that \(\{y_k\}\) is a Cauchy sequence. By (3.2) we have that for \(k>l\)
Therefore, there exists \(y\in \delta {{{\mathcal {K}}}}\) such that \(y_k\rightarrow y\), as \(k\rightarrow \infty \). But since the cone \({{{\mathcal {K}}}}\) is closed we get that \(y\in {{{\mathcal {K}}}}\).
On the other hand, by the same argument as above we get that for any \(m\in {{\mathbb {N}}}\) we have
and therefore by (3.3) and monotonicity of \(\Psi \)
This is impossible by our assumption. \(\square \)
Remark
Note that condition b) in Theorem 3.2 can be replaced by upper semicontinuity of \(\Psi \).
We shall give some examples of Theorem 3.2. Example 3.3, and Example 3.4, shall be used in the proofs of Theorem 4.2, and Theorem 5.4.
Example 3.3
Assume that \(\Omega \) is a bounded m-hyperconvex domain in \({{\mathbb {C}}}^n\). Let \(X=L^1_{loc}(\Omega )\), \({{{\mathcal {K}}}}={{\mathcal {E}}}_{p,k}(\Omega )\), and for \(u\in {{{\mathcal {K}}}}\) let
Then for any \(v\in \delta {{\mathcal {E}}}_{p,k}(\Omega )\) define
It was proved in [1, 34] that \((\delta {{\mathcal {E}}}_{p,k}, \Vert \cdot \Vert )\) is a quasi-Banach space for \(p\ne 1\), and a Banach space for \(p=1\). Furthermore, the cone \({{\mathcal {E}}}_{p,k}(\Omega )\) is closed in \(\delta {{\mathcal {E}}}_{p,k}(\Omega )\).
Let \(\mu \) be a positive Radon measure \(\mu \), and \(p>0\). Then we define
The functional \(\Psi _1\) satisfies conditions a) and b) in Theorem 3.2. This example will be used in our proof of the Sobolev type inequality (Theorem 5.4). In this special case Theorem 3.2 was proved by Cegrell, see [18], and Lu [32, 33].
Inspired by \(\Psi _1\), we define for \(1\le l\le n\) the following:
This functional, \(\Psi _2\), shall be used in the proof of the Poincaré type inequality (Theorem 4.2). \(\square \)
Example 3.4
Let \(\Omega \) be a bounded m-hyperconvex domain in \({{\mathbb {C}}}^n\), \(n\ge 2\). Also, let \(X=L^1_{loc}(\Omega )\), \({{{\mathcal {K}}}}=\mathcal E_{0,k}(\Omega )\), and for \(u\in {{{\mathcal {K}}}}\) set
Then for any \(v\in \delta {{\mathcal {E}}}_{0,k}(\Omega )\) define
It was proved in [19, 34] that \((\delta {{\mathcal {E}}}_{0,k}(\Omega ), \Vert \cdot \Vert )\) is a Banach space. Furthermore, the cone \({{\mathcal {E}}}_{0,k}(\Omega )\) is closed in \(\delta {{\mathcal {E}}}_{0,k}(\Omega )\). In the proof of the Poincaré type inequality (Theorem 4.2) we shall use the following functional (\(1\le l\le n\)):
\(\square \)
Example 3.5
Let \(n\ge 2\), \(p>0\), and \(1\le m\le n\). Furthermore, assume that \(\Omega \) is a bounded m-hyperconvex domain in \({{\mathbb {C}}}^n\), and let \(X=\delta {{\mathcal {M}}}_{p,m}\), where
Let us here recall that the following conditions are equivalent:
- (1)
there exists a unique function \(u\in {{\mathcal {E}}}_{p,m} (\Omega )\) such that \({\text {H}}_m(u)=\mu \);
- (2)
there exists a constant \(C\ge 0\) such that
$$\begin{aligned} \int _{\Omega }(-u)^p\,d\mu \le C \left( e_{p,m}(u)\right) ^{\frac{p}{p+m}} \;\text { for all } u\in {{\mathcal {E}}}_{m}^0(\Omega )\, ; \end{aligned}$$ - (3)
\({{\mathcal {E}}}_{p,m}(\Omega ) \subset L^p(\mu )\).
([6, 18, 33, 34]). For \(\mu \in \delta \mathcal M_{p,m}\) let now \(u^{+}, u^{-}\in {{\mathcal {E}}}_{p,m}(\Omega )\) be the unique m-subharmonic functions such that
Now we can define
Then it was proved in [1, 34] that \((\delta \mathcal M_{p,m}, |\cdot |_{p,m})\) is a quasi-Banach space, and for \(p=1\) a Banach space.
In this space one can consider the following functional: For \(p>0\), and a m-subharmonic function u define
The functional, \(\Psi _4\), satisfies conditions a) and b) in Theorem 3.2. In this special case Theorem 3.2 was proved in [4] in order to characterize \(\mathcal E_{p,k}(\Omega )\)\(\square \)
4 A Poincaré Type Inequality in \(B_k\)-Regular Domains
The aim of this section is to prove the Poincaré type inequality in \(B_k\)-regular domains for k-subharmonic functions. First we need the following lemma.
Lemma 4.1
Let \(n\ge 2\), \(1\le l< k\le n\), and \(p\ge 0\). Furthermore, assume that \(\Omega \) is a bounded \(B_k\)-regular domain in \(\mathbb C^n\). Then \({{\mathcal {E}}}_{p,k}(\Omega )\subset \mathcal E_{p,l}(\Omega )\).
Proof
Let \(u\in {{\mathcal {E}}}^0_{k}(\Omega )\). Since \(\Omega \) is \(B_k\)-regular we know that there exists a negative, smooth, k-subharmonic function \(\varphi \in {{\mathcal {E}}}^0_{k}(\Omega )\) such that \((\varphi (z)-|z|^2)\in \mathcal {SH}_k(\Omega )\). Then define
Then we have
Since \((u+\varphi )\in {{\mathcal {E}}}^0_{k}(\Omega )\) it follows that \({\text {H}}_m(u+\varphi )\) is a finite measure, and therefore \(\mu \) is also finite and \(u\in {{\mathcal {E}}}^0_{l}(\Omega )\). Hence, \({{\mathcal {E}}}^0_{k}(\Omega )\subset {{\mathcal {E}}}^0_{l}(\Omega )\).
Case\(p>0\): Assume that \(u\in {{\mathcal {E}}}_{p,k}(\Omega )\). Then by definition there exists a decreasing sequence \(u_j\in {\mathcal {E}}^0_{k}(\Omega )\) such that
Hence, \(u_j\in {{\mathcal {E}}}^0_{l}(\Omega )\), and by Theorem 2.5 and (4.1) we get
Hence, \(\sup _{j}e_{p,l}(u_j)<\infty \). Thus, \(u\in \mathcal E_{p,l}(\Omega )\).
Case\(p=0\): Assume that \(u\in {{\mathcal {E}}}_{0,k}(\Omega )\). By definition there exists a decreasing sequence \(u_j\in \mathcal E^0_{k}(\Omega )\) such that
Hence, \(u_j\in {{\mathcal {E}}}^0_{l}\) and therefore by [30] and (4.1) we get
This means that \(\sup _{j}e_{0,l}(u_j)<\infty \), so \(u\in \mathcal E_{0,l}(\Omega )\). \(\square \)
Remark
Let \(\Omega ={{\mathbb {D}}}^2\) be the bidisc in \({{\mathbb {C}}}^2\). This domain is 2-hyperconvex, but not \(B_2\)-regular. Let
be defined on \(\Omega \). Then \(u\in {{\mathcal {E}}}_{0,2}(\Omega )\), but it is not in \({{\mathcal {E}}}_{0,1}(\Omega )\) (see [19] for details). Next, define
By straight forward calculations we see that \(v\in \mathcal E_{0,2}(\Omega )\cap {{\mathcal {E}}}_{1,2}(\Omega )\), but it is not in \({{\mathcal {E}}}_{0,1}(\Omega )\cup {{\mathcal {E}}}_{1,1}(\Omega )\).
Now to the proof of the Poincaré type inequality.
Theorem 4.2
Let \(n\ge 2\), \(1\le l< k\le n\), and \(p\ge 0\). Assume that \(\Omega \) is a bounded \(B_k\)-regular domain in \({{\mathbb {C}}}^n\). Then there exits a constant \(C(p,l,k,n,\Omega )>0\), depending only on p, l, k, n, and \(\Omega \), such that for any \(u\in \mathcal E_{p,k}(\Omega )\) we have
Proof
Using the functionals \(\Psi _2\) and \(\Psi _3\) (from Example 3.3 and Example 3.4) the proof follows from Theorem 3.2 and Lemma 4.1. \(\square \)
Next, we shall determine the optimal constant in Theorem 4.2 for the unit ball in \({{\mathbb {C}}}^n\) in the cases \(p=0\) and \(p=1\).
Theorem 4.3
Let \(n\ge 2\), \(1\le l< k\le n\), and \({{\mathbb {B}}}\) be the unit ball in \({{\mathbb {C}}}^n\). The optimal constant \(C(p,l,k,n,{{\mathbb {B}}})\) in Theorem 4.2 is given by:
- (a)
\(\displaystyle {C(0,l,k,n,{{\mathbb {B}}})=\left( 4\pi \right) ^{\frac{n}{l}-\frac{n}{k}}}\)\(\,(p=0)\);
- (b)
\(\displaystyle {C(1,l,k,n,{{\mathbb {B}}})=\left( \frac{(4\pi )^n}{n+1}\right) ^{\frac{1}{l}-\frac{1}{k}}}\)\(\,(p=1)\).
Proof
Case\(p=0\): We shall start proving that there exists a constant \(C>0\) such that for any \(u\in {{\mathcal {E}}}_{0,m}({{\mathbb {B}}})\) it holds
Set \(\beta =dd^c(|z|^2-1)\), and note that \(|z|^2-1\) is an exhaustion function for \({{\mathbb {B}}}\). Then for any \(u\in {{\mathcal {E}}}_{0,m}({\mathbb {B}})\). We get by [30]
and therefore
Thus,
This constant is optimal since we have equality in the Poincrè type inequality for the function \(|z|^2-1\).
Case\(p=1\): As in the case above we shall set \(\beta =dd^c(|z|^2-1)\), and note that \(|z|^2-1\) is an exhaustion function for the unit ball \({{\mathbb {B}}}\). Let \(u\in {{{\mathcal {E}}}}_{p,k}(\mathbb B)\), \(p>0\). Then by using Hölder’s inequality, Theorem 2.5 and integration by parts we get
Hence,
with
From (4.3) it now follows
Therefore, for \(p=1\)
\(\square \)
Remark
In [42], Trudinger and Wang used the real Hessian quotient operator \(\frac{S_k}{S_l}\) to establish the optimal constant in the Poincaré inequality for the real Hessian operator. More precisely, they prove that the optimal constant is attained by the solution \(u_0\) of the equation \(\frac{S_k(u_0)}{S_l(u_0)}=1\). We suspect that this is also the case in the complex setting. With Theorem 4.3 in mind we suspect that the optimal constant is
where \(p>0\) and \(u_0\in {{\mathcal {E}}}_{p,k}(\Omega )\) is the unique negative k-subharmonic function such that \({\text {H}}_k(u_0)={\text {H}}_l(u_0)\). We refer to [25, 38], and reference therein for results concerning such functions in Euclidean spaces as well as on compact manifolds.
5 A Sobolev Type Inequality in m-hyperconvex Domains
Let us first recall the notion of m-capacity. Let \(n\ge 2\), \(1\le m\le n\). For an arbitrary bounded domain \(\Omega \subset {{\mathbb {C}}}^n\), and for any \(K\Subset \Omega \) define
The following lemma was proved by Dinew and Kołodziej [24].
Lemma 5.1
Let \(n\ge 2\), \(1\le m\le n\), and let \(\Omega \subset {{\mathbb {C}}}^n\) be a m-hyperconvex domain. Then for \(1<\alpha <\frac{n}{n-m}\) there exists a constant \(C(\alpha )>0\) such that for any \(K\Subset \Omega \),
We will also need the following two lemmas.
Lemma 5.2
Let \(n\ge 2\), \(1\le m\le n\), \(p\ge 0\), and let \(\Omega \subset {{\mathbb {C}}}^n\) be a m-hyperconvex domain. For \(u\in \mathcal E_{p,m}(\Omega )\), and any \(s>0\), it holds
Proof
By [35, 36] we have for any \(s,t>0\)
Taking \(t=s\) we get
\(\square \)
Lemma 5.3
Let \(n\ge 2\), \(1\le m\le n\), \(p\ge 0\), and assume that \(\Omega \subset {{\mathbb {C}}}^n\) is a m-hyperconvex domain. Then we have that \({{\mathcal {E}}}_{p,m}(\Omega )\subset L^q(\Omega )\), for any \(0<q<\frac{n(m+p)}{n-m}\).
Proof
Assume first that \(u\in {{\mathcal {E}}}^0_{m}(\Omega )\), and let \(p\ge 0\). Let us define
Then by Lemma 5.1, and Lemma 5.2, we get that for \(0<\alpha <\frac{n}{n-m}\)
where \(C_1\) and \(C_2\) are constants not depending on u. For \(q>0\) we then have
where \(C_3\) is a constant not depending on u. From (5.1) we have \(\int _{\Omega }(-u)^q\,dV_{2n}<\infty \) if, and only if,
Next, if we take a function \(u\in {{\mathcal {E}}}_{p,m}(\Omega )\), then there exists a decreasing sequence \(u_j\in {{\mathcal {E}}}^0_{m}(\Omega )\) such that \(u_j\searrow u\) and \(\sup _j e_{p,m}(u)<\infty \). By the first part of the proof there are constants A, B do not depending on \(u_j\) such that
and by passing to the limit we get
\(\square \)
Now we can state and prove the Sobolev type inequality in arbitrary m-hyperconvex domains.
Theorem 5.4
Let \(n\ge 2\), \(1\le m\le n\), and \(p\ge 0\). Assume that \(\Omega \) be a bounded m-hyperconvex domain in \({{\mathbb {C}}}^n\). There exists a constant \(C(p,q,m,n,\Omega )>0\), depending only on p, q, m, n, and \(\Omega \) such that for any function \(u\in {{\mathcal {E}}}_{p,m}(\Omega )\), and for \(0<q<\frac{(m+p)n}{n-m}\), we have
Proof
This follows from Lemma 5.3 and Theorem 3.2. \(\square \)
We now give examples that shows that the following inequalities are not in general possible:
Example 5.5
Consider the following functions defined on the unit ball \({{\mathbb {B}}}\) in \({{\mathbb {C}}}^n\)
Then we have
Hence, if \(\beta >\alpha \frac{p+m}{p}\), then
and
(see [47] for details).
On the other hand, one can check that if \(0<q<\frac{mn}{(n-m)(\beta -\alpha )}\), then
as \(j\rightarrow \infty \). This shows that we can not in general have
\(\square \)
Example 5.6
Similarly as in Example 5.5 consider the following functions defined on the unit ball \({{\mathbb {B}}}\) in \({{\mathbb {C}}}^n\)
Then we have that
and at the same time
Hence, a contradiction is obtained. Thus, we can not in general have
\(\square \)
Example 5.7
Similarly as before we consider the following functions defined on the unit ball \({{\mathbb {B}}}\) in \({{\mathbb {C}}}^n\)
Then we have that \(\Vert u_j\Vert _{L^{\infty }}=-u_j(0)=1\), but at the same time
This shows that we can not in general have
\(\square \)
As an immediate consequence of Theorem 5.4 is that we get that Błocki’s integrability conjecture is true for functions in the Cegrell class \({{\mathcal {E}}}_m(\Omega )\) (Corollary 5.8). Before stating this result let us recalling the definition of \(\mathcal E_m(\Omega )\). Let \(\Omega \) be a bounded m-hyperconvex domain in \({{\mathbb {C}}}^n\). We say that \(u\in {{\mathcal {E}}}_m(\Omega )\) if for any \(\omega \Subset \Omega \) there exists \(u_{\omega }\in \mathcal E_{0,m}(\Omega )\) such that \(u=u_{\omega }\) on \(\omega \).
Corollary 5.8
Let \(n\ge 2\), \(1\le m\le n\), and let \(\Omega \) be a bounded m-hyperconvex domain in \({{\mathbb {C}}}^n\). Then \(\mathcal E_m(\Omega )\subset L^q_{loc}(\Omega )\), for \(0<q<\frac{nm}{n-m}\).
References
Åhag, P., Czyż, R.: Modulability and duality of certain cones in pluripotential theory. J. Math. Anal. Appl. 361(2), 302–321 (2010)
Åhag P., Czyż R.: An inequality for the beta function with application to pluripotential theory. J. Inequal. Appl. Art. ID 901397 (2009)
Åhag, P., Czyż, R.: On the Moser-Trudinger inequality in complex space. J. Math. Anal. Appl. 479(2), 1456–1474 (2019)
Åhag, P., Czyż, R.: An a characterization of \(m\)-subharmonic functions with weak singularities. Ann. Polon. Math. 123(1), 21–29 (2019)
Åhag, P., Czyż, R., Hed, L.: The geometry of \(m\)-hyperconvex domains. J. Geom. Anal. 28(4), 3196–3222 (2018)
Åhag, P., Czyż, R., Phạm, H.H.: Concerning the energy class \({{\cal{E}}}_{p}\) for \(0<p<1\). Ann. Polon. Math. 91(2–3), 119–130 (2007)
Aoki, T.: Locally bounded linear topological spaces. Proc. Imp. Acad. Tokyo 18, 588–594 (1942)
Aubin, T.: Èquations de Monge-Ampère rèelles. J. Funct. Anal. 41(3), 354–377 (1981)
Bakelman, I.J.: A variational problem related to the Monge-Ampère equation. Dokl. Akad. Nauk SSSR 141, 1011–1014 (1961)
Bakelman, I.J.: Geometric Methods of Solution of Elliptic Equations. Monograph, Nauka, Moscow (1965)
Bakelman, I.J.: Variational problems and elliptic Monge–Ampère equations. J. Differ. Geom. 18(4), 669–699 (1983)
Bedford, E., Taylor, B.A.: Variational properties of the complex Monge–Ampère equation. I. Dirichlet principle. Duke Math. J. 45(2), 375–403 (1978)
Bedford, E., Taylor, B.A.: Variational properties of the complex Monge–Ampère equation. II. Intrinsic norms. Am. J. Math. 101(5), 1131–1166 (1979)
Benali, A., Ghiloufi, N.: Lelong numbers of \(m\)-subharmonic functions. J. Math. Anal. Appl. 466(2), 1373–1392 (2018)
Berman R.J., Berndtsson B.: Moser–Trudinger type inequalities for complex Monge–Ampère operators and Aubin’s “Hypothèse Fondamentale”. Manuscript (2011). arXiv:1109.1263v1
Błocki, Z.: Weak solutions to the complex Hessian equation. Ann. Inst. Fourier (Grenoble) 55(5), 1735–1756 (2005)
Caffarelli, L., Nirenberg, L., Spruck, J.: The Dirichlet problem for nonlinear second-order elliptic equations. III. Functions of the eigenvalues of the Hessian. Acta Math. 155(3–4), 261–301 (1985)
Cegrell, U.: Pluricomplex energy. Acta Math. 180(2), 187–217 (1998)
Cegrell, U., Wiklund, J.: A Monge-Ampère norm for delta-plurisubharmonic functions. Math. Scand. 97(2), 201–216 (2005)
Chern S.S., Levine H.I., Nirenberg L.: Intrinsic norms on a complex manifold. 1969 Global Analysis (Papers in Honor of K. Kodaira), pp. 119–139. Univ. Tokyo Press, Tokyo
Chou, K.S.: On symmetrization and Hessian equations. J. Anal. Math. 52, 94–106 (1989)
Chou, K.S.: On a real Monge–Ampère functional. Invent. Math. 101(2), 425–448 (1990)
Czyż, R., Nguy\(\tilde{\hat{\text{e}}}\)n, V.T.: On a constant in the energy estimate. C. R. Math. Acad. Sci. Paris 355(10), 1050–1054 (2017)
Dinew, S., Kołodziej, S.: A priori estimates for complex Hessian equations. Anal. PDE 7(1), 227–244 (2014)
Dinew, S., Do, H.S., Tô, T.D.: A viscosity approach to the Dirichlet problem for degenerate complex Hessian-type equations. Anal. PDE 12(2), 505–535 (2019)
Gaveau, B.: Méthodes de contrôle optimal en analyse complexe; résolution d’équations de Monge–Ampère. C. R. Acad. Sci. Paris Sér. A-B 284(11), A593–A596 (1977)
Gaveau, B.: Méthodes de contrôle optimal en analyse complexe. I. Résolution d’équations de Monge–Ampère. J. Function. Anal. 25(4), 391–411 (1977)
Guedj, V., Kolev, B., Yeganefar, N.: Kähler-Einstein fillings. J. Lond. Math. Soc. (2) 88(3), 737–760 (2013)
Hou, Z.: Convexity of Hessian integrals and Poincaré type inequalities. Proc. Am. Math. Soc. 138(6), 2099–2105 (2010)
Hung, V.V., Phu, N.V.: Hessian measures on \(m\)-polar sets and applications to the complex Hessian equations. Complex Var. Elliptic Equ. 62(8), 1135–1164 (2017)
Kalina, J.: Some remarks on variational properties of inhomogeneous complex Monge–Ampère equation. Bull. Polish Acad. Sci. Math. 31(1–2), 9–14 (1983)
Lu, H.-C.: Complex Hessian equations. Doctoral thesis, University of Toulouse III Paul Sabatier (2012)
Lu, H.-C.: A variational approach to complex Hessian equations in \({{\mathbb{C}}}^n\). J. Math. Anal. Appl. 431(1), 228–259 (2015)
Nguy\(\tilde{\hat{\text{ e }}}\)n, V.T.: On delta \(m\)-subharmonic functions. Ann. Polon. Math. 118(1), 25–49 (2016)
Nguy\(\tilde{\hat{\text{ e }}}\)n, V.T.: On Cegrell classes for \(m\)-subharmonic functions. Doctoral thesis, Jagiellonian University (2018)
Nguy\(\tilde{\hat{\text{ e }}}\)n, V.T.: A characterization of the Cegrell classes and generalized \(m\)-capacities. Ann. Polon. Math. 121(1), 33–43 (2018)
Rolewicz, S.: On a certain class of linear metric spaces. Bull. Acad. Polon. Sci. Cl. III(5), 471–473 (1957)
Székelyhidi, G.: Fully non-linear elliptic equations on compact Hermitian manifolds. J. Differ. Geom. 109(2), 337–378 (2018)
Talenti, G.: Best constant in Sobolev inequality. Ann. Mat. Pura Appl. (4) 110, 353–372 (1976)
Trudinger, N.S.: On new isoperimetric inequalities and symmetrization. J. Reine Angew. Math. 488, 203–220 (1997)
Trudinger, N.S., Wang, X.-J.: Hessian measures. I. Dedicated to Olga Ladyzhenskaya. Topol. Methods Nonlinear Anal. 10(2), 225–239 (1997)
Trudinger, N.S., Wang, X.-J.: A Poincaré type inequality for Hessian integrals. Calc. Var. Partial Differ. Equ. 6(4), 315–328 (1998)
Trudinger, N.S., Wang, X.-J.: Hessian measures, II. Ann. Math. (2) 150(2), 579–604 (1999)
Trudinger, N.S., Wang, X.-J.: Hessian measures. III. J. Funct. Anal. 193(1), 1–23 (2002)
Vinacua A.: Nonlinear Elliptic Equations Written in Terms of Functions of the Eigenvalues of the Complex Hessian. Doctoral thesis, New York University (1986)
Vinacua, A.: Nonlinear elliptic equations and the complex Hessian. Commun. Partial Differ. Equ. 13(12), 1467–1497 (1988)
Wan, D., Wang, W.: Complex Hessian operator and Lelong number for unbounded \(m\)-subharmonic functions. Potential Anal. 44(1), 53–69 (2016)
Wang, X.-J.: A class of fully nonlinear elliptic equations and related functionals. Indiana Univ. Math. J. 43(1), 25–54 (1994)
Wang X.-J.: The \(k\)-Hessian Equation. Geometric Analysis and PDEs, pp. 177–252, Lecture Notes in Math., 1977. Springer, Dordrecht (2009)
Zhou, B.: The Sobolev inequality for complex Hessian equations. Math. Z. 274(1–2), 531–549 (2013)
Acknowledgements
Open access funding provided by Umeå University.
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.
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
Åhag, P., Czyż, R. Poincaré- and Sobolev- Type Inequalities for Complex m-Hessian Equations. Results Math 75, 63 (2020). https://doi.org/10.1007/s00025-020-01189-1
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-020-01189-1
Keywords
- Complex Hessian operator
- m-subharmonic function
- integrability
- Poincaré type inequality
- Sobolev type inequality