8
$\begingroup$

Let $H$ be a real Hilbert space. The linear operator $A: H\rightarrow H$ is said to be positive definite iff there exists $M>0$ such that $ {\rm (i)} \quad\langle Ax, x\rangle \geq M \|x\|^2, \quad \forall x\in H. $ We have known that when $\text{dim}H<\infty$, the above inequality is equivalent to $ {\rm (ii)}\quad \langle Ax, x\rangle > 0, \quad \forall x\in H\setminus\{0\}. $ I would like to ask why people use (i) but do not use (ii) for the definition of positive definite operator in infinite dimensional space.

Thank you for all helping and comments.

  • 0
    Also, are you sure you have written down the right definition of positive definiteness? It is usually required that $A$ is symmetric. For instance, I would not consider matrices such as \begin{pmatrix} 1 & -1 \\ 1 & 1\end{pmatrix} \qquad\text{or}\qquad \begin{pmatrix} 2 & 0 \\ 2 & 2\end{pmatrix} to be positive definite, because they are not symmetric (and the first one has complex eigenvalues). According to your present definition, both are positive definite.2018-04-10

2 Answers 2

4

If $V$ is finite dimensional, then you can either use i) or ii) for the definition of positive definiteness, although it seems i) is stronger. To see this, apply ii) to the unit ball in $V$, which is compact, hence there is $\delta>0$ such that \begin{equation} \ge\delta \end{equation} for all $x$ on the unit ball, then linearity leads to i). Therefore the two definitions are equivalent for finite dimensional cases.

But i) is indeed stronger than ii) in infinite dimensional spaces.

According to my limited knowledge, the usefulness of positive definiteness lies in the fact that the bilinear form\begin{equation} (x,y)\mapsto \end{equation} is bounded from below uniformly, as in i). (Of course it is bounded from above if you assume $A$ is a bounded linear operator.) This boundedness give very nice results, see the theorem by Lax-Milman, which is not true if you only assume ii), which allows the evil existence like \begin{equation} \to 0. \end{equation}

One illustrating example comes from the existence of weak solutions to second order elliptic PDEs, which are of the form \begin{equation} Lu=-\sum_{i,j}\partial_j (a_{i,j}\partial_i u)+\sum_i \partial_i(b u)+cu, \end{equation} where the coefficients $a_{i,j}$, $b$ and $c$ are smooth functions.

Here we have the notion of ellipticity, which says $(a_{i,j}(x))$ (which is a finite dimensional matrix at each $x$) is positive definite, and uniform ellipticity, which says there is $M>0$ such that $\ge M|y|^2$ for all $x$. The latter notion guarantees the existence of weak solutions. SO again you see bounded from below uniformly is important. (Here uniform in $x$).

  • 0
    Thank you for your detailed instructions and interesting comments.2012-11-01
1

Another reason is the relation between spectrum and numerical range...

For bounded operators: $A\in\mathcal{B}(\mathcal{H}):\quad\sigma(A)\subseteq\overline{\mathcal{W}(A)}$

For normal operators: $N^*N=NN^*:\quad\langle\sigma(N)\rangle=\overline{\mathcal{W}(N)}$

The first case fails: $\mathcal{W}(T)>0\nRightarrow\overline{\mathcal{W}(T)}>0$

The second case works: $\mathcal{W}(T)\geq\varepsilon>0\Rightarrow\overline{\mathcal{W}(T)}>0$

That gives invertibility: $0\notin\sigma(T)\implies T^{-1}\in\mathcal{B}(\mathcal{H})$

But invertibility is important!

  • 0
    Oh thanks for the hint. Corrected!2015-10-04