Teorema di Schur-Horn

In matematica, in particolare in algebra lineare, il teorema di Schur-Horn caratterizza la diagonale di una matrice hermitiana con autovalori dati.

Premessa

Si definisce un preordine su R n {\displaystyle \mathbb {R} ^{n}} . Siano x = ( x 1 , , x n ) T {\displaystyle \mathbf {x} =(x_{1},\dots ,x_{n})^{T}} e y = ( y 1 , , y n ) T R n {\displaystyle \mathbf {y} =(y_{1},\dots ,y_{n})^{T}\in \mathbb {R} ^{n}} , dico che x y {\displaystyle \mathbf {x} \succeq \mathbf {y} } se, supponendo che:

x i 1 x i n {\displaystyle x_{i_{1}}\leq \dots \leq x_{i_{n}}} e y j 1 y j n {\displaystyle y_{j_{1}}\leq \dots \leq y_{j_{n}}}

Si ha:

x i 1 y j 1 {\displaystyle x_{i_{1}}\geq y_{j_{1}}}
x i 1 + x i 2 y j 1 + y j 2 {\displaystyle x_{i_{1}}+x_{i_{2}}\geq y_{j_{1}}+y_{j_{2}}}
{\displaystyle \dots }
k = 1 n x i k k = 1 n y j k {\displaystyle \sum _{k=1}^{n}x_{i_{k}}\geq \sum _{k=1}^{n}y_{j_{k}}} .

Enunciato

Siano d = ( d 1 , , d n ) T {\displaystyle \mathbf {d} =(d_{1},\dots ,d_{n})^{T}} e v = ( λ 1 , , λ n ) T R n {\displaystyle \mathbf {v} =(\lambda _{1},\dots ,\lambda _{n})^{T}\in \mathbb {R} ^{n}} tali che d v {\displaystyle \mathbf {d} \succeq \mathbf {v} } . Allora valgono i seguenti due fatti equivalenti:

  • Esiste una matrice reale simmetrica A {\displaystyle A} con diagonale d {\displaystyle \mathbf {d} } e autovalori v {\displaystyle \mathbf {v} } ;
  • Esiste una matrice reale ortogonale Q {\displaystyle Q} tale che, detta Λ {\displaystyle \Lambda } la matrice diagonale di autovalori v {\displaystyle \mathbf {v} } , Q Λ Q T {\displaystyle Q\Lambda Q^{T}} ha come diagonale d {\displaystyle \mathbf {d} } .

Bibliografia

  • (EN) Horn, A. "Doubly Stochastic Matrices and the Diagonal of a Rotation Matrix." Amer. J. Math. 76, 620-630, 1954.
  • (EN) Lieb, E. H. "Variational Principle for Many-Fermion Systems." Phys. Rev. Lett. 46, 457-459, 1981.

Voci correlate

Collegamenti esterni

  • (EN) Eric W. Weisstein, Teorema di Schur-Horn, su MathWorld, Wolfram Research. Modifica su Wikidata
  Portale Matematica: accedi alle voci di Wikipedia che trattano di Matematica