Eigenvalues of complex Hessian and real Hessian

complex-analysiseigenvalues-eigenvectorslinear algebraseveral-complex-variables

Let $f:\mathbb{C}^n\rightarrow \mathbb{R}$ be a smooth function. The complex Hessian is given by
$$\left(\frac{\partial^2f}{\partial z_i\partial \bar{z}_j}\right)_{ij}$$
and the real Hessian by
$$\begin{pmatrix}
\dfrac{\partial^2f}{\partial x_i\partial x_j} & \dfrac{\partial^2f}{\partial x_i \partial y_j}\\
\dfrac{\partial^2f}{\partial x_j\partial y_i} & \dfrac{\partial^2f}{\partial y_i \partial y_j}
\end{pmatrix}.$$

Is it true that any (real) eigenvalue of the complex Hessian is an eigenvalue of the real one? If yes why?

Edit: In light of Giuseppe's comments and checking with $f=|z|^2$ this seems to be straight up wrong. What I am really interested in is to show that if the complex Hessian has $n$ negative (or positive) eigenvalues, so does the real Hessian.

EDIT 2.0: I may have something, I think this is correct:
Denote by $L=\left(\dfrac{\partial f}{\partial z_i\partial \bar{z_j}}\right)$ the Levi matrix of a smooth function $f$, by $H(f)$ its Hessian and by $X\in M_{2n,n}(\mathbb{C})$ the matrix
\begin{equation*}
X=\begin{pmatrix}
Id\\
iId
\end{pmatrix}.
\end{equation*}

We then have
\begin{equation*}
L=\overline{X}^tH(f)X
\end{equation*}

It follows that if $v\in\mathbb{C}^n$ verifies $\bar{v}^tLv = \lambda |v|^2$ for $\lambda\in\mathbb{R}\setminus \{0\}$ then
\begin{eqnarray*}
\overline{(Xv)}^tH(f)(Xv) &=& \bar{v}^tLv \\
&=& \lambda |v|^2\\
&=& \dfrac{\lambda}{2}|Xv|^2
\end{eqnarray*}

We deduce that if $L$ is negative (positive) then $H(f)$ has $n$ negative (positive) eigenvalues.

Best Answer

Think about one dimension. You can write the real Hessian in terms of the $z$ and the $\bar{z}$ as $$ \begin{bmatrix} \frac{\partial^2 f}{\partial z^2} & \frac{\partial^2 f}{\partial z\partial \bar{z}}\\ \frac{\partial^2 f}{\partial z \partial \bar{z}} & \frac{\partial^2 f}{\partial \bar{z}^2} \end{bmatrix} $$ The real hessian in terms of $z$ and $\bar{z}$ is just a change of variables of the form $T^t X T$, there $X$ is the real hessian in terms of $x$ and $y$ as you give it and $T = \begin{bmatrix}1/2&1/2\\ -i/2&i/2\end{bmatrix}$. Note that $T^t$ is not quite the inverse of $T$.

Anyway, suppose the real Hessian is $X = \begin{bmatrix}a& c\\ c& b\end{bmatrix}$. Then the complex Hessian, the upper right (or lower left) corner of the above matrix is $\frac{b+a}{4}$. If the real Hessian is is positive definite, then $a+b > 0$ (trace of $X$). If it is negative definite, then $a+b < 0$. So the complex Hessian "sees" that. But if the real Hessian has mixed eigenvalues, then the complex Hessian might be positive, negative, or even zero.

More generally (in any dimension) you can prove that if the real Hessian is positive definite then the complex Hessian is also. It is not necessarily just the existence of positive eigenvalues, it is also how their eigenspaces interact with the complex structure of $\mathbb{C}^n$. Suppose the real hessian has $k > n$ positive eigenvalues, then the there is a $k$ dimensional real subspace on which the real Hessian is positive definite. That subspace must contain a $k-n$ dimensional complex subspace, and on that subspace the complex Hessian is positive definite. That means that the complex Hessian has at least $k-n$ positive eigenvalues. But it could have more as the above simple example illustrates.

Related Question