In several complex variables , to determine the pseudoconvexity of a domain in $C^n$ is very important . There are various criterion to decide whether a domain is pseudoconvex . In particular ,if the domain is defined by a $C^\infty$ defining function $\phi>0$ , then 'Levi pseudoconvex ' is equivalent to the following matrix (which is called 'Monge-Ampere matrix')
$$ \begin{pmatrix} -\phi & -\partial\_\bar{k}\phi \\
-\partial\_j\phi & -\partial\_{j\bar{k}}^2\phi \end{pmatrix} $$
have precise one negative eigenvalue and n positive eigenvalues .


So my question is how to prove this ? Anybody knows? Thanks very much!



how to prove the relationship between pseudoconvexity and the monge-ampere matrix?
Since $\phi$ is always nonzero inside $\Omega$ , so this matrix has precise one negative eigenvalue and n positive eigenvalues is equivalent to $-\partial\bar{\partial}log\phi$ is non-negative , but which means that $-log\phi$ is a plurisubharmonic exhaustion function for the domain $\Omega$ , i.e. $\Omega$ is pseudoconvex.


