A priori estimates for complex Hessian equations (Q2509676)

The authors prove some a priori estimates, existence and stability theorems for the weak solutions of the complex Hessian equations. The following theorems are the main results of the paper. * Let \(0<m<n\), \(p<n/(n-m)\), and let \(\varOmega\) be an open subset of the unit Euclidean ball \(B\subset\mathbb C^n\). Let \(\omega\) be a Kähler form in a neighborhood of \(\overline\varOmega\) and let \(V:=\omega^n\). Then there exists a constant \(C(p)>0\) such that for every \(K\subset\subset\varOmega\) we have \(V(K)\leq C(p)\text{cap}^p_m(K,\varOmega)\), where \[ \text{cap}_m(K,\varOmega):=\sup\{\int_K(dd^cu)^\wedge\omega^{n-m}: u\in\mathcal{SH}_m(\omega,\overline\Omega),\; 0\leq u\leq 1\}, \] \(\mathcal{SH}_m(\omega,\overline\varOmega):=\mathcal{SH}_m(\omega,\varOmega)\cap\mathcal C(\overline\varOmega)\), and \(\mathcal{SH}_m(\omega,\varOmega)\) stands for the set of all \(m\)-\(\omega\)-subharmonic functions * Let \(\varOmega\subset\mathbb C^n\) be a smooth relatively compact \((m-1)\)-pseudoconvex domain, \(\omega=\beta:=dd^c\|z\|^2\). Then for any \(q>n/m\), \(f\in L^q(\varOmega,dV)\), and \(\varphi\in\mathcal C(\partial\Omega)\), there exists a \(u\in\mathcal{SH}_m(\omega,\overline\varOmega)\) such that \((dd^cu)^m\wedge\beta^{n-m}=f\beta^n\) and \(u=\varphi\) on \(\partial\varOmega\). For smooth positive \(f\) the result has been proved in by \textit{S.-Y.~Li} [Asian J. Math. 8, No. 1, 87--106 (2004; Zbl 1068.32024)]. * Let \((X,\omega)\) be a compact Kähler manifold, \(q>n/m\), \(f\in L^q(dV)\). Then there exists a unique \(u\in\mathcal{SH}_m(X,\omega)\) such that \((\omega+dd^cu)^m\wedge\omega^{n-m}=f\omega^n\) and \(\max u=0\). * Let \(\varOmega\subset\mathbb C^n\) be a domain, \(n\geq2\), \(p>n(m-1)\), \(u\in W^{2,p}(\varOmega)\). Assume that \(u\) is \(m\)-subharmonic and \(\sigma_m(u_{z_j\overline z_k})=\psi>0\) with \(\psi\in\mathcal C^{1,1}(\Omega)\), where \(\sigma_m(u_{z_j\overline z_k})(x):=S_m(\lambda_1(x),\dots,\lambda_n(x))\), \(S_m\) is the \(m\)-th standard symmetric function, and \(\lambda_1(x),\dots,\lambda_n(x)\) are eigenvalues of the matrix \([u_{z_j\overline z_k}(x)]_{j,k=1,\dots,n}\). Then for any \(\varOmega'\subset\subset\varOmega\) we have \(\sup_{\varOmega'}\varDelta u\leq C\), where the constant \(C\) depends only on \(n\), \(m\), \(p\), \(\text{dist}(\varOmega',\partial\varOmega)\), \(\inf_\varOmega\psi\), \(\sup_\varOmega\psi\), \(\|\psi\|_{\mathcal C^{1,1}(\varOmega)}\), and \(\|\varDelta\|_{L^p(\varOmega)}\).