Equação de Klein-Gordon: mudanças entre as edições

De Física Computacional
Ir para navegação Ir para pesquisar
Sem resumo de edição
Linha 41: Linha 41:


ou, mais usualmente: <math>\psi_i^{n+1}  =  2\psi_i^n  - \psi_i^{n-1}  + \alpha^2 ( \psi_{i+1}^n - 2\psi_i^n + \psi_{i-1}^n) - \beta^2 \psi  </math>
ou, mais usualmente: <math>\psi_i^{n+1}  =  2\psi_i^n  - \psi_i^{n-1}  + \alpha^2 ( \psi_{i+1}^n - 2\psi_i^n + \psi_{i-1}^n) - \beta^2 \psi  </math>
== ESTABILIDADE ta errado, estou testando outras coisas ==
Para analisar a estabilidade do método utilizaremos os Modos de Furrier.
<math> \psi_i^{n+1} = 2\psi_i^n - \psi_i^{n-1} + \alpha^2 \left( \psi_{i+1}^n - 2\psi_i^n + \psi_{i-1}^n \right) - \beta^2 \psi_i^n </math>.
sendo <math>\psi_i^n = A^n e^{i k i \Delta x} </math> o Modo de Furrier.
Substituímos <math>\psi_i^n, \psi_{i+1}^n</math>, e <math>\psi_{i-1}^n </math>na equação:
<math>\psi_{i+1}^n = A^n e^{i k (i+1) \Delta x} = A^n e^{i k i \Delta x} e^{i k \Delta x}</math>
<math>\psi_{i-1}^n = A^n e^{i k (i-1) \Delta x} = A^n e^{i k i \Delta x} e^{-i k \Delta x}</math>
Usamos a identidade <math> e^{i k \Delta x} + e^{-i k \Delta x} = 2 \cos(k \Delta x) </math>:
<math> A^{n+1} = 2A^n - A^{n-1} + \alpha^2 \left[ 2 \cos(k \Delta x) - 2 \right] A^n - \beta^2 A^n </math>
Fatoramos:
<math> A^{n+1} = \left( 2 - 2\alpha^2 - \beta^2 + 2\alpha^2 \cos(k \Delta x) \right) A^n - A^{n-1}. </math>
A relação de recorrência é:
<math> A^{n+1} - \lambda A^n + A^{n-1} = 0 </math>
onde
<math> \lambda = 2 - 2\alpha^2 - \beta^2 + 2\alpha^2 \cos(k \Delta x) </math>.
Definimos <math> \mu= |\frac{A^{n+1}}{A^n} | </math> como sendo o fator de amplificação. Assim, a equação fica <math> \mu A^n=\lambda A^n - A^n \frac{A^{n-1}}{A^n} </math>
Dividindo tudo por <math> A^n </math> : <math> \mu = \lambda - \frac{1}{\mu} </math>
Portanto, a equação característica associada é:
<math> \mu^2 - \lambda \mu + 1 = 0 </math>
onde <math> \mu </math> são as raízes que representam o fator de amplificação <math> \mu= |\frac{A^{n+1}}{A^n} | </math>.
Para que o método seja estável, as raízes <math>\mu</math> devem satisfazer <math>\|\mu| \leq 1</math>. Isso é garantido se o discriminante da equação característica satisfizer:
<math> \lambda^2 - 4 \leq 0 </math>.
Substituímos <math>\lambda </math>:
<math> \left( 2 - 2\alpha^2 - \beta^2 + 2\alpha^2 \cos(k \Delta x) \right)^2 - 4 \leq 0 </math>.
O caso crítico ocorre para o maior valor de <math>cos(k \Delta x)</math>, que é <math>cos(k \Delta x) = 1</math>, e o menor valor, <math>cos(k \Delta x) = -1</math>:
<math>cos(k \Delta x) = 1 </math>:
   
<math>\lambda = 2 - 2\alpha^2 - \beta^2 + 2\alpha^2</math>.
 
Isso simplifica para:
 
<math>  \lambda = 2 - \beta^2 </math>
 
Para estabilidade:
 
<math>  (2 - \beta^2)^2 - 4 \leq 0 </math>.
   
<math>  \beta \geq 0 </math>.
   
Para <math> cos(k \Delta x) = -1</math>:
   
<math>\lambda = 2 - 2\alpha^2 - \beta^2 - 2\alpha^2</math>.
   
<math> \lambda = 2 - 4\alpha^2 - \beta^2 </math>.
 
Ou seja, para que seja estável:
 
<math> (2 - 4\alpha^2 - \beta^2)^2 - 4 \leq 0 </math>.
 
Após expandir:
   
<math> \alpha \geq \frac{\beta}{2} </math>.
   
A condição de estabilidade combinada é:
<math> \alpha \geq \frac{\beta}{2} </math>
e  <math> \beta \geq 0  </math> .
Essas desigualdades controlam os passos de tempo e espaço, garantindo a estabilidade do método.





Edição das 21h29min de 7 de janeiro de 2025

INTRODUÇÃO

A equação de Klein-Gordon é uma das equações fundamentais na teoria quântica relativística. Ela descreve partículas escalares (partículas sem spin, como os mésons, em seu modelo básico) e é uma extensão relativística da equação de Schrödinger, incorporando a relação de energia relativística de Einstein . A equação é nomeada em homenagem a Oskar Klein e Walter Gordon, que a formularam independentemente. De maneira geral, a equação pode ser escrita como:


onde é chamado operador de d'Alambert.

Abrindo a equação, é obtido:

(em uma dimensão)

MÉTODO DAS DIFERENÇAS FINITAS

O método das diferenças finitas é uma técnica numérica amplamente utilizada para resolver EDPs. Ele envolve a discretização das variáveis contínuas (geralmente no tempo ou no espaço), transformando as equações diferenciais em sistemas algébricos que podem ser resolvidos numericamente. Os primeiros passos para utilizar o método é fazer a discretização no tempo e no espaço. Para uma equação no tempo você discretiza o tempo em intervalos criando uma sequência de pontos . Para uma equação no espaço você discretiza o espaço em intervalos criando uma sequência de pontos . Depois de discretizar o espaço e o tempo, as derivadas contínuas são aproximadas por diferenças finitas. Isso envolve substituir as derivadas por aproximações baseadas nos valores de uma função nos pontos discretos:

e para o tempo.

para o espaço.

Na equação de Klein-Gordon, escrevemos desta o método das diferenças finitas:

ou seja:

isso nos leva a equação final:

chamarei e

portanto,

ou, mais usualmente:


CRITÉRIO DE ESTABILIDADE

A Forma Contínua e Eiscretização da equação de Klein-Gordon contínua é:

A forma discreta, usando diferenças finitas centralizadas no tempo e no espaço, é: Aqui, definimos os coeficientes:

Suposição de Solução Harmônica: Substituímos uma solução da forma: onde:

 na equação: 

Simplificação:

Como e , o termo centralizado se torna: Usando , temos: Substituímos isso na equação e cancelamos o fator , que nunca é zero:

Simplificando mais, obtemos:

Equação Característica: Assumimos uma solução da forma e obtemos uma equação quadrática para :

Condição de Estabilidade: Para estabilidade, as raízes de devem satisfazer . Isso leva ao critério:

Conclusão Matemática A condição garante que os termos oscilatórios na solução não crescem exponencialmente. Essa análise também mostra que:

Quanto menor o passo de tempo , mais precisa e estável é a solução. A relação entre os passos de tempo e espaço é crucial: aumentar muito sem ajustar pode levar à instabilidade.

C.C e C.I

Condições iniciais e condições de contorno são fundamentais para a resolução da equação, já que elas ditam o comportamento da função oa longo do tempo e ao longo do espaço, para plotar a evolução temporal, utilizarei as seguintes condilções iniciais e de contorno:

que define um pulso gaussiano como condição inicial.

e que define que, no instante de tempo t=0, a função não possui velocidade inicial, o que implica que o pulso está parado inicialmente e sua evolução se deve pela propagação de flutuações espaciais.

Nesta condição, A é a altura do pulso, é a posição central do pulso e é a largura do pulso.

Utilizarei também as condições de contorno em que e o que garante que a função 'morra' nas pontas.

Utilizando estas condições iniciais e condições de contorno, foi feito um gif que mostra a evolução temporal da equação de Klein-Gordon utilizando o método das diferenças finitas:

Klein 2.gif