1

Prove that the matrix $\left(\begin{array}{cc} 2+\alpha & -1\\-1&2+\alpha\end{array}\right)$ is positive definite in $\mathbb{C}^2$ for any $\alpha>-1$

89085731
  • 7,614

4 Answers4

4

For simplicity let $\beta = 2 + \alpha$.

$$\left(\begin{array}{cc} 2+\alpha & -1\\-1&2+\alpha\end{array}\right) = \left(\begin{array}{cc} \beta & -1\\-1&\beta\end{array}\right)$$

To find the eigenvalues solve:

$$\left|\begin{array}{cc} \beta - \lambda & -1\\-1&\beta - \lambda\end{array}\right| = (\beta-\lambda)^2 - 1 = 0$$

We find that $\beta - \lambda = 1$ and $\beta - \lambda = -1.$ Substituting our expression for $\beta$ and solving for $\lambda$ we find that:

$$\lambda = 1 + \alpha$$ $$\lambda = 3 + \alpha$$

In order for both of these to be positive, $\alpha$ must be greater than $-1$.

A (Hermititan) matrix is positive definite if both of the eigenvalues are positive.

Brad
  • 5,156
  • 2
  • 19
  • 50
  • I think there needs to be an additional restraint on the trace, which is why I think this only holds in $\mathbb{R^{2\times 2}}$ – Ellya Mar 30 '14 at 20:17
  • @ellya do you mean that $\alpha \in \mathbb{R}$? Otherwise, no idea what you're talking about here. – Ben Grossmann Mar 30 '14 at 20:42
  • I mean this methodology holds only if the matrix has real entries. – Ellya Mar 30 '14 at 20:43
  • I believe it holds whenever the matrix is Hermitian. – Brad Mar 30 '14 at 20:44
  • @ellya this matrix does only have real entries. That fact notwithstanding, where would this methodology fail for a (Hermitian) matrix with complex entries? – Ben Grossmann Mar 30 '14 at 20:44
  • @Brad for your alternate proof, you run into trouble when $x,y$ are non-real. – Ben Grossmann Mar 30 '14 at 20:48
  • Sorry, I meant that it should only hold when everything is real, but i put a proof below, its just I think the assumptions you have are to weak, but by all means show me a link or something. – Ellya Mar 30 '14 at 20:51
1

you just need to show that the leading principal minors are all positive

$2 + \alpha > 0 \Rightarrow \alpha > -2$

Plus the determinant must be positive, so

$(2 + \alpha)^2 - 1 > 0 \Rightarrow \alpha > -1$ (or $\alpha < -3$)

So if $\alpha > -1$ both conditions are satisfied and the matrix is definite positive

Ant
  • 21,098
0

Here the quadratic form is: $(2+\alpha)|x|^2-x\bar{y}-y\bar{x}+(2+\alpha)|y|^2=(1+\alpha)|x|^2 +(1+\alpha)|y|^2+\bar{x}(x-y)+\bar{y}(y-x)=(1+\alpha)|x|^2 +(1+\alpha)|y|^2+(\bar{x}-\bar{y})(x-y)=(1+\alpha)|x|^2 +(1+\alpha)|y|^2+\overline{(x-y)}(x-y)=(1+\alpha)|x|^2 +(1+\alpha)|y|^2+|x-y|^2\ge0$.

(if $\alpha \gt -1$)

Done.

Ellya
  • 11,783
0

I take it as implicit in the phrase "$\alpha > -1$" that $\alpha \in \Bbb R$, i.e., $\alpha$ is real.

Set

$A = \begin{bmatrix} 2+\alpha & -1 \\-1 & 2+\alpha \end{bmatrix}. \tag{0}$

Look at the characteristic polynomial; it is

$\det(\begin{bmatrix} 2+\alpha -\lambda & -1\\-1&2+\alpha\ - \lambda \end{bmatrix}) = \lambda^2 -2(2 + \alpha) + (2 + \alpha)^2 - 1$ $ = \lambda^2 - (2 \alpha + 4) \lambda + (\alpha^2 + 4\alpha + 3), \tag{1}$

and we have by the quadratic formula

$\lambda_+, \lambda_- = \dfrac{1}{2}((2(\alpha + 4) \pm \sqrt{(2 \alpha + 4)^2 - 4(\alpha^2 + 4\alpha + 3)})$ $= ((\alpha + 2) \pm 1) = \alpha + 3, \alpha + 1. \tag{2}$

We next observe that the given matrix $A$ is symmetric; thus there exists a real orthogonal matrix $O$ which brings $A$ into diagonal form, thus

$O^TAO = \begin{bmatrix} \lambda_+ & 0 \\ 0 & \lambda_- \end{bmatrix} = D. \tag{3}$

For any $x = (x_1, x_2)^T \in \Bbb C^2$, we have

$\langle x, O^TAOx \rangle = \langle x, Dx \rangle = x^\dagger Dx = \bar x_1 x_1 \lambda_+ + \bar x_2 x_2 \lambda_-$ $= \bar x_1 x_1 (\alpha + 3) + \bar x_2 x_2 (\alpha + 1); \tag{4}$

it is easy to see that this expression is positive for all $x \in \Bbb C^2$ if and only if $\alpha + 1 > 0$, or $\alpha > -1$. Now choose any $y \in \Bbb C^2$ and set $x = O^Ty$. Then, since $OO^T = O^TO = I$, $y = Ox$ and

$\langle y, Ay \rangle = \langle y, OO^TAOO^T y \rangle = \langle O^Ty, O^TAO(O^Ty) \rangle = \langle x, Dx \rangle > 0\tag{5}$

if and only if $\alpha > -1$, as we have seen. QED.

Hope this helps. Cheerio,

and as always,

Fiat Lux!!!

Robert Lewis
  • 71,180