Sistemas Dinâmicos e Álgebra Linear
Este é mais um post na linha de “como eu gostaria de ter sido apresentado à”. O tema de hoje é Algebra Linear. Este é um dos cursos que muitos alunos acham excessivamente abstrato, e portanto, inútil. De fato, eu tive um pouco desta sensação quando eu fiz o curso. A verdade está muito distante disso.
Suponha que nós temos um sistema de equações (lineares), e este sistema evolui ao longo do tempo. Ele pode ser descrito como , onde é o vetor de interesse e é a matriz que governa como as variáveis se relacionam. Também precisamos de uma condição inicial . Veja que calcular o valor do sistema no tempo é equivalente a fazer , onde , vezes.
Já encontramos uma situação similar a essa em um post anterior, no qual eu falei de Autoregressão vetorial (VAR). Lá, estavamos interessados em recuperar a matriz A, e o nosso sistema tinha um choque aleatório . Nosso interesse hoje é saber quando o sistema é estável. Ser estável quer dizer que o sistema não explode, como é o caso do exemplo abaixo:
Um sistema não explosivo vai voltar a um estado de “repouso” do sistema. Veja que isso soa familiar: nós esperamos que a economia saia do equilíbrio mas volte a ele (ou a um novo equilíbrio). Como podemos saber se um sistema dinâmico linear é explosivo ou não?
A resposta são os autovalores da matriz - na verdade, apenas o maior deles (em módulo). A ideia aqui é que a matriz possa ser decomposta em seus autovalores e autovetores. Seja uma matriz que tem na diagonal os autovalores e fora dela zero; e uma matriz que tem os autovetores. Então, . Mais ainda, , onde é equivalente a elevar cada entrada da diagonal a . Mostrar isso é fácil. Pense no caso . Se a decomposição por autovalor vale, , onde a última igualdade eu só usei o fato que , onde é a matriz identidade. Logo, toda a dinâmica do sistema é governada pelos autovalores!
Para provar o ponto, eis os autovalores da matriz A do exemplo anterior:
## eigen() decomposition
## $values
## [1] 1.4 0.1
##
## $vectors
## [,1] [,2]
## [1,] 0.7592566 -0.7071068
## [2,] 0.6507914 0.7071068
O maior deles é 1,4. Qualquer autovalor maior que 1 gera um comportamento explosivo, já que elevar ele a números cada vez maiores gera números maiores. Um autovalor menor que 1 gera um sistema bem comportado, já que conforme elevamos ele a números maiores ele vai diminuindo. Para ilustrar o ponto, vou gerar um sistema estacionário:
## eigen() decomposition
## $values
## [1] 0.5772002 -0.2772002
##
## $vectors
## [,1] [,2]
## [1,] 0.8736212 0.3481078
## [2,] 0.4866066 0.9374545
Veja que, nesse caso, o sistema converge para o vetor (0,0). Com o maior autovalor menor que 1, isso é sempre verdade. Apesar disso parecer excessivamente rigído, podemos sempre pensar que o vetor representa desvios do equilíbrio e o equilíbrio é basicamente o que a gente quiser. Talvez um caso mais fascinante é quando nós temos o maior autovalor igual a 1. O autovetor associado vai ser o equilíbrio do sistema. Neste caso, o autovetor é um ponto fixo do sistema também - um tema que o Pedro falou um pouco sobre aqui. O exemplo abaixo ilustra isso, onde a linha verde representa o equilíbrio:
## eigen() decomposition
## $values
## [1] 1.0 0.4
##
## $vectors
## [,1] [,2]
## [1,] 0.7071068 -0.4472136
## [2,] 0.7071068 0.8944272
Como um autovetor vezes um escalar é também um autovetor, eu escolhi o autovetor que somando os componentes, é igual 1. Isso permite interpretar o autovetor como a probabilidade (incondicional), em equilíbrio, de cair em qualquer um dos dois estados.
Veja que a matriz , que governa a evolução do sistema, é tal que cada linha soma 1. Isso nos permite interpretar cada entrada como a probabilidade de migrar do estado se estamos no estado . Cada mudança de estado no sistema depende exclusivamente de qual era o estado anterior do sistema (matematicamente, ): este tipo de processo recebe o nome de Cadeia de Markov. Um AR(1) é um exemplo de um processo de Markov também.
Autovalores são importantes para entender como sistemas dinâmicos se comportam, e dão uma excelente ilustração de uma aplicação de Algebra Linear em economia.