Matrix perturbation theory deals with the asymptotic expansion of eigenvalues and eigenvectors of a linear operator when a small perturbation is applied. The operator is expressed as $ X = X_0 + \varepsilon X_1 + \varepsilon^2 X_2 + \cdots $, where $ \varepsilon $ is a small parameter and $ X_i $ are matrices defined in a fixed basis. The goal is to find the eigenvalues and eigenvectors of $ X $ in terms of $ \varepsilon $.
When $ X_0 $ has distinct eigenvalues, the eigenvalues and eigenvectors of $ X $ can be expanded in a series of $ \varepsilon $. However, when eigenvalues coincide, the problem becomes more complex, requiring the splitting of eigenvalues. Additionally, if $ X_0 $ has Jordan cells, the expansion involves fractional powers of $ \varepsilon $.
A key approach is to find an operator $ C(\varepsilon) $ such that the matrix of $ C^{-1}XC $ is in Jordan form. Assuming $ C $ has the form $ C = E + \varepsilon C_1 + \varepsilon^2 C_2 + \cdots $, the matrix $ M = C^{-1}XC $ can be expanded in terms of $ \varepsilon $. The matrix $ X_0 $ is assumed to be in Jordan form.
The operator $ C $ is expressed as $ C = e^S $, where $ S = \varepsilon S_1 + \varepsilon^2 S_2 + \cdots $, and the matrices of $ S_j $ do not depend on $ \varepsilon $. This form of $ S $ is useful for analyzing the perturbation.
The theory involves finding the corrections to eigenvalues and eigenvectors through a series expansion. When eigenvalues are distinct, the corrections can be determined through arithmetic operations. However, when eigenvalues coincide, the problem becomes transcendental, requiring the splitting of eigenvalues. The use of $ C $ allows for the transformation of $ X $ into Jordan form, which is essential for understanding the behavior of the operator under perturbations.Matrix perturbation theory deals with the asymptotic expansion of eigenvalues and eigenvectors of a linear operator when a small perturbation is applied. The operator is expressed as $ X = X_0 + \varepsilon X_1 + \varepsilon^2 X_2 + \cdots $, where $ \varepsilon $ is a small parameter and $ X_i $ are matrices defined in a fixed basis. The goal is to find the eigenvalues and eigenvectors of $ X $ in terms of $ \varepsilon $.
When $ X_0 $ has distinct eigenvalues, the eigenvalues and eigenvectors of $ X $ can be expanded in a series of $ \varepsilon $. However, when eigenvalues coincide, the problem becomes more complex, requiring the splitting of eigenvalues. Additionally, if $ X_0 $ has Jordan cells, the expansion involves fractional powers of $ \varepsilon $.
A key approach is to find an operator $ C(\varepsilon) $ such that the matrix of $ C^{-1}XC $ is in Jordan form. Assuming $ C $ has the form $ C = E + \varepsilon C_1 + \varepsilon^2 C_2 + \cdots $, the matrix $ M = C^{-1}XC $ can be expanded in terms of $ \varepsilon $. The matrix $ X_0 $ is assumed to be in Jordan form.
The operator $ C $ is expressed as $ C = e^S $, where $ S = \varepsilon S_1 + \varepsilon^2 S_2 + \cdots $, and the matrices of $ S_j $ do not depend on $ \varepsilon $. This form of $ S $ is useful for analyzing the perturbation.
The theory involves finding the corrections to eigenvalues and eigenvectors through a series expansion. When eigenvalues are distinct, the corrections can be determined through arithmetic operations. However, when eigenvalues coincide, the problem becomes transcendental, requiring the splitting of eigenvalues. The use of $ C $ allows for the transformation of $ X $ into Jordan form, which is essential for understanding the behavior of the operator under perturbations.