A positive definite Hermitian Form

Click For Summary
SUMMARY

The discussion centers on determining the conditions for the positive definiteness of the Hermitian form Hc(x) defined as Hc(x) = c*x1t*x1 + 2*x2t*x2 - i*x1t*x2 + i*x2t*x1 + x1t*x3 + x3t*x1 + i*x2t*x3 - i*x3t*x2. The characteristic polynomial derived from the determinant equation leads to the conditions for positive definiteness, specifically requiring the eigenvalues u, v, and w to be greater than zero. The analysis concludes that the condition 3/2 < c < 0 is contradictory, indicating that no value of c can satisfy the positive definiteness requirement.

PREREQUISITES
  • Understanding of Hermitian forms and their properties
  • Familiarity with eigenvalues and characteristic polynomials
  • Knowledge of determinants and their role in linear algebra
  • Basic skills in complex number manipulation
NEXT STEPS
  • Study the properties of positive definite matrices in linear algebra
  • Learn about the spectral theorem for Hermitian matrices
  • Explore methods for solving characteristic polynomials
  • Investigate alternative approaches to analyzing Hermitian forms without computational software
USEFUL FOR

Mathematicians, physicists, and students studying linear algebra or complex analysis, particularly those interested in the properties of Hermitian forms and positive definiteness.

Try hard
Messages
13
Reaction score
0
In this question I let "x1t , x2t, x3t " be the conjugate of x1, x2, x3

The hermitian form
Hc(x) = c*x1t*x1 + 2*x2t*x2 - i*x1t*x2 + i*x2t*x1 + x1t*x3 + x3t*x1
+i*x2t*x3 - i*x3t*x2 (sorry, it`s a bit messy)

For which value of c is Hc ositive definite?

I have tried to find the eignvalue in terms of c by trying to solve the
charactiristic polynomial, but seems too complicate to do, I`ve also tried
to solve by completing the square but not so successful.
So is there any way to solve this without using computer softwares like
maple? Thanks
 
Physics news on Phys.org
The determinant ##\operatorname{det}(H_c-\lambda I)=0## yields (if I didn't make a mistake)
\begin{align*}
0&=(\lambda-u)(\lambda-v)(\lambda-w)\\&=\lambda^3-(u+v+w)\lambda^2+(uv+uw+vw)\lambda-uvw \\
&=\lambda^3-(2+c)\lambda^2+(2c-3)\lambda +c
\end{align*}
For positive definiteness we need ##u,v,w > 0##, i.e. ##uv+uw+vw =2c-3 >0 ## and ##uvw=-c>0##, thus ##\frac{3}{2} < c < 0## which is not possible.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 2 ·
Replies
2
Views
2K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 17 ·
Replies
17
Views
5K
  • · Replies 31 ·
2
Replies
31
Views
4K
  • · Replies 6 ·
Replies
6
Views
2K
  • · Replies 8 ·
Replies
8
Views
3K
Replies
3
Views
3K