¿Cómo obtener los mismos vectores propios de un valor propio degenerado a medida que la matriz evoluciona ligeramente?

tengo un norte × norte matriz compleja normal simétrica que siempre tiene 2 3 norte valores propios degenerados. ( norte está siempre en forma de 3 k k = 1 , 2 , . . . )

por ejemplo en 6 × 6 caso de que tenga valores propios λ 1 , λ 2 , λ 3 , λ 3 , λ 4 , λ 4 .

Sé que un valor propio degenerado creará un 2 D espacio de vectores propios que se le pueden asociar. Necesito medir la evolución de estos vectores propios ya que la matriz cambia muy levemente en cada paso (con una variable de bucle llamada ω ), que tengo un código de computadora escrito para él. Calcula la siguiente fórmula para autovectores y parcelas τ ω .

F i j ( α , β ) = yo = 1 norte F ( ω , λ yo ) i α | yo yo ¯ | j β yo | yo ¯

τ i j ( ω ) = C ( ω ) α β | F i j ( α , β ) | 2

Dónde i α | y | j β son base de un norte D espacio, yo ¯ | es la notación para vector propio | yo transpuesto (no conjugado), ( i , j ) son índices de 1 a norte , por lo que tendríamos norte 2 valores de τ cambiando como ω cambios. (y τ i j = τ j i )

El problema es que el código de computadora elige uno de los infinitos vectores propios posibles para los valores propios degenerados en cada iteración como ω cambia por lo que el final τ ω parcela tiene ruidos.

La primera imagen es el aspecto que se supone que debe tener el resultado y la segunda indica el problema. Estas no son salidas de alta resolución, pero creo que hacen el trabajo.

ingrese la descripción de la imagen aquí

ingrese la descripción de la imagen aquí

Estos ruidos se desvanecen cuando uso solo los valores propios y vectores no degenerados o cuando uso una aproximación muy mala para hacer que la matriz sea hermitiana. Así que el problema de la degeneración es el caso aquí.

Pregunta: ¿Hay alguna forma de evitar este problema para monitorear el comportamiento de los vectores propios degenerados a medida que la matriz cambia ligeramente?

(Uso LAPACK para calcular los vectores propios si es importante)

Si los elementos de la matriz son funciones analíticas de algún parámetro, entonces los vectores propios son funciones analíticas del paramero.

Respuestas (2)

Suponiendo la multiplicidad k de un valor propio λ i es fijo y conocido, puede representar el k Sin embargo , el espacio propio -dimensional como una línea única 0 en el poder exterior k ( V ) de ti norte -espacio dimensional (cuya potencia tiene dimensión ( norte k ) ). Entonces puedes representar la línea por uno de los dos vectores unitarios que contiene; con suerte, puede controlar cuál se elige de una manera razonable. De esta forma suprimes la arbitrariedad de la elección de una base para el espacio propio.

Para obtener más detalles sobre cómo hacer esto, consulte la incrustación de Plücker y las coordenadas de Grassmann.

(Demasiado largo para un comentario.)

Suponga que puede rastrear los valores propios y la multiplicidad de cada valor propio permanece sin cambios. Es decir, supongamos A ( t ) es una matriz normal que varía continuamente en el tiempo t , y λ ( t ) es uno de sus valores propios que varía continuamente en t y cuya multiplicidad permanece invariable durante una ventana de tiempo. Dejar B y C ser dos matrices, cada una con columnas ortonormales, tales que las columnas de B son los vectores propios unitarios de λ ( t 1 ) y las columnas de C es un conjunto generador para el espacio propio para λ ( t 2 ) en algún momento t 2 cerca de t 1 . Entonces, básicamente, está preguntando cómo encontrar un conjunto de vectores unitarios que abarque el espacio de la columna C y también está cerca de las columnas de B . En otras palabras, necesitas encontrar una matriz unitaria q que minimiza la norma de Frobenius de B C q .

Si este es el caso, la solución al problema clásico de mínimos cuadrados anterior es q = V tu , dónde tu S V es una descomposición en valores singulares del producto de matrices B C . Por lo tanto, puede elegir las columnas de B como los vectores propios para λ ( t 1 ) y las columnas de C q como los vectores propios para λ ( t 2 ) .

Sin embargo, las cosas se ponen más feas si los caminos de los valores propios se cruzan entre sí.

No estoy seguro de si la multiplicidad de cada valor propio permanece sin cambios, estoy más buscando una solución general porque puedo verificar la multiplicidad o el cruce de caminos en matrices pequeñas, pero esta matriz será enorme en cálculos reales ( norte > 3000 )