An inequality for mixed Monge-Ampère measures (Q1014223): Difference between revisions

Let \(\mu\) be a positive measure on a domain \(\Omega\subseteq\mathbb C^n\) not charging pluripolar sets. Let \(u_1,\dots,u_n\) be plurisubharmonic functions on \(\Omega\) (not necessarily continuous or bounded) with well-defined Monge-Ampère operator, and \(f_1,\dots,f_n\) nonnegative \(\mu\)-integrable functions on \(\Omega\). Then the author proves that \((dd^c u_j)^n\geq f_j\,d\mu\) for \(j=1,\dots,n\) implies \(dd^c u_1\wedge dd^cu_2\wedge\cdots\wedge dd^c u_n\geq(f_1f_2 \cdots f_n)^{1/n}\,d\mu\). If furthermore \(u_1,\dots, u_n\) are bounded, the positive measure \(\mu\) can be arbitrary (see also [\textit{S. Kołodziej}, Indiana Univ. Math. J. 52, No.~3, 667--686 (2003; Zbl 1039.32050)], where a similar result is obtained for bounded plurisubharmonic functions and assuming that \(\mu\) is the Lebesgue measure); but the author also provides an example in \(\mathbb C^2\) showing that for unbounded plurisubharmonic functions the hypothesis on~\(\mu\) is necessary. Finally, the author also deduces a similar result in the setting of compact Kähler manifolds.