Base Eigenspace continuamente, dependendo dos parâmetros

8

Eu tenho uma matriz hermitiana que depende de dois parâmetros, digamos e . Quando diagonalizá-lo em dois pontos próximos e , recebo dois autovalores próximos ( e ) e dois espaços ( e ) correspondentes da mesma dimensão. x y ( x 1 , y 1 ) ( x 2 , y 2 ) ε 1 ε 2 S 1 S 2Hxy(x1,y1)(x2,y2)ε1ε2S1S2

Observe que eles não são autovalores da mesma matriz. Existem duas matrizes diferentes: e . H 2 = H ( x 2 , y 2 )H1=H(x1,y1)H2=H(x2,y2)

Eu tenho uma malha de pontos e quero encontrar o valor próprio e o espaço próprio em qualquer ponto usando interpolação. O problema é que, como as matrizes são diagonalizadas numericamente, as bases de e são completamente independentes. Mesmo que e estejam muito próximos, os vetores base podem ter componentes muito diferentes.S 1 S 2 ( x 1 , y 1 ) ( x 2 , y 2 )(xi,yi)S1S2(x1,y1)(x2,y2)

Para interpolação, preciso de uma base que dependa e continuamente, ou seja, quanto mais próximos os espaços e mais próximos devem estar os vetores de base.y S 1 S 2xyS1S2

Se e são planícies no espaço euclidiano tridimensional, uma boa maneira de selecionar uma base em S2 é girar a base de S1 em torno da linha que é a interseção das planícies. Existe algo análogo a isso no espaço multidimensional complexo?S 2S1S2

Maksim Zholudev
fonte

Respostas:

7

Para simplificar, suponha que haja apenas um parâmetro vez dos dois.t

Para que você possa ter espaços próprios contínuos, é necessário assumir que os valores próprios associados não se cruzam quase. (Para quase cruzar valores próprios, pode muito bem acontecer que os espaços próprios sejam essencialmente trocados, embora as curvas de valores próprios não se toquem. Isso ocorre regularmente em problemas de valores próprios simétricos e simétricos e é chamado de fenômeno de travessias evitadas.)

Se o espaço próprio de para o autovalor contínuo for o espaço de coluna de quando , será necessário assumir um formato com fixo funções (por exemplo, splines B) e sendo um dos , e depois ajustam as matrizes de coeficientes e (espaço livre de baixa dimensão transforma na equação aproximada Esse é um problema linear de mínimos quadrados fácil de resolver.H(t)λ(t)Qkt=tkQ(t)=Q0+jΦj(t)ZjΦj(t)Q0QkZjYkQkYkjΦj(tk)ZjQ0

Com 2 parâmetros, substitua os splines B pelas funções de forma do FEM. Seu problema de mínimos quadrados agora pode se tornar grande e truques adicionais adequados são necessários para tornar o problema solucionável se a solução direta for inviável.

Arnold Neumaier
fonte
Obrigado pela resposta! Nem tudo está claro para mim. 1) depende de ? Se não, por que existe uma soma? 2) é uma transformação linear dentro do espaço próprio ? ΦjYkQk
Maksim Zholudev
Corrigi o índice ausente das funções básicas. Sim, altera a base dentro do ésimo espaço. kYkk
Arnold Neumaier