The eigenvalue problem for the complex Monge-Ampère operator (Q6057164)

Let \(\mathcal E^0(\Omega)\) be the set of all bounded plurisubharmonic functions \(\varphi\) on \(\Omega\) with boundary values zero such that \(\int_\Omega(dd^c\varphi)^n<+\infty\). Define \(\mathcal E^1(\Omega)\) to be the set of all \(u\in\mathcal{PSH}(\Omega)\) such that there exists a decreasing sequence \((u_j)_{j=1}^\infty\subset\mathcal E^0(\Omega)\) satisfying \(u=\lim_{j\to+\infty}u_j\) in \(\Omega\) and \(\sup_j\int_\Omega(-u_j)(dd^cu_j)^n<+\infty\). The main results of the paper are the following two theorems: \begin{itemize} \item[\(\bullet\)] There exists a \(\lambda_1=\lambda_1(\Omega,f)>0\) and a function \(u_1\in\mathcal{PSH}(\Omega)\cap\mathcal C^\infty(\Omega)\cap\mathcal C^{1,1}(\Omega)\) with \(\|u\|_{\mathcal C^0(\overline\Omega)}=1\) such that the pair \((\lambda_1,u_1)\) is a unique solution to the following eigenvalue problem: \(\lambda>0\) and \(u\in\mathcal{PSH}(\Omega)\cap\mathcal C^0(\overline\Omega)\cap\mathcal C^2(\Omega)\), \((dd^cu)^n=(-\lambda u))^nf^n\omega^n\) in \(\Omega\), \(u=0\) on \(\partial\Omega\), \(\|u\|_{\mathcal C^0(\overline\Omega)}=1\), where \(\omega:=dd^c|z|^2\) is the standard Kähler form on \(\mathbb C^n\). \item[\(\bullet\)] Let \((\lambda_1,u_1)\) be the normalized solution of the eigenvalue problem. Then \[\lambda_1^n=\frac{\int_\Omega(-u_1)(dd^cu_1)^n}{\int_\Omega(-u_1)^{n+1}d\nu_f}=\inf\left\{\frac{\int_\Omega(-\varphi)(dd^c\varphi)^n}{\int_\Omega(-\varphi)^{n+1}d\nu_f}:\varphi\in\mathcal E^1(\Omega),\varphi\neq0\right\}.\] \end{itemize}