Dejar
y
Sean dos operadores hermitianos. Dejar
ser otro operador tal que
. ¿Qué podemos decir acerca de los valores propios de
? ¿Serán reales/imaginarios/complejos? Lo que hice fue buscar ejemplos. Los siguientes fueron ejemplos (en representación matricial) que busqué:
y
para obtener una matriz hermitiana y así valores propios reales.
A continuación probé:
y
para obtener la matriz anti-hermitiana y, por lo tanto, los valores propios imaginarios.
¿Hay una forma más concreta de solucionar esto? ¿Podemos tener un número complejo general como valores propios para el producto de las matrices hermitianas?
En general, podemos decir que tendrá valores propios reales, imaginarios y complejos (complejos de la forma dónde y como se muestra en los comentarios de Mark y la respuesta de Qmechanic). Por ejemplo, si
Sin embargo, una cosa que podemos decir es que si y conmutar entonces siempre tendrá valores propios reales , ya que los valores propios de todos los operadores hermitianos son reales.
Así que si
TL; DR: Suponiendo que son autoadjuntos, el producto no necesita ser diagonalizable. Y si es diagonalizable, los autovalores no necesitan ser reales o imaginarios.
Ejemplo 1: no es diagonalizable:
Ejemplo 2: tiene valores propios complejos:
qmecanico
Quillo
Michael Seifert