Enrique Augusto Tiran Calderoli (00276132)
Bósons são partículas de spin inteiro e possuem funções de onda simétricas. Tais partículas obedecem às estatísticas de Bose-Einstein, de forma que a existência de múltiplas partículas (deste tipo) indistinguíveis em um mesmo estado quântico é possível.
Condensado de Bose Einstein e Equação de Schrödinger Não-Linear
Para temperaturas muito próximas de zero absoluto, uma parte considerável de um sistema de muitos bósons vai se encontrar no seu estado de menor energia, ou seja, no mesmo estado de menor energia. A acumulação de bósons neste estado fundamental é chamada de condensado de Bose-Einstein. Um dos fatos mais interessantes do ponto de vista experimental deste tipo de condensado é que fenômenos quânticos se tornam visíveis macroscopicamente. No caso de temperaturas ultrafrias (em concordância com a maioria dos experimentos envolvendo átomos alcalinos), a dinâmica do estado de partículas condensadas pode ser modelada por meio da equação de Schrödinger não-linear. Neste caso o condensado é descrito por uma única função de onda , e é interpretado como a densidade de partícula, e consequentemente o número total de átomos é dado por:
A energia associada a este estado do condensado para bósons no estado fundamental é, de acordo com a teoria de campo médio, igual a
A minimização desta energia no que diz respeito a variações infinitesimais de , com um número total de átomos constante, obtém-se a seguinte equação de Schrödinger não-linear
Método Numérico
A equação de Schrödinger dependente do tempo pode ser escrita em notação de operadores como
onde H representa o operador Hamiltoniano do sistema. Como H é um operador linear, uma possível discretização da equação acima é dada por
Esta forma é conhecida como uma forma explícita no tempo, uma vez que o valor futuro de depende exclusivamente do valor atual de . Em notação matricial, o desenvolvimento algébrico da expressão acima fornece
onde é o vetor coluna com os valores de no tempo n, e é a matriz identidade. Outra forma possível de discretização é a discretização implícita no tempo, dada por
em que o valor futuro de depende tanto dos valores atual e futuro de . É possível mostrar que a forma matricial que corresponde à equação acima é dada por
O método de Crank-Nicolson, por sua vez, consiste em tomar a média dos esquemas explícito e implícito, de forma que
Tal método, além de possuir alta acurácia, é incondicionalmente estável na integração de muitas equações diferenciais parciais. Tomando a versão matricial da equação de Schrödinger discretizada por Crank-Nicolson, obtém-se
ou ainda, por manipulação algébrica,
Isolando o termo na expressão acima, encontra-se
Implementação e Código
A integração da equação de Schrödinger pelo método de Crank-Nicolson
pode ser reescrita na seguinte forma
Definindo , a equação acima pode ser expressa como
Portanto, a evolução dinâmica do sistema pode ser avaliada separando o processo em duas partes. Primeiramente, o sistema linear
é resolvido para o vetor e, em sequência, os valores da função de onda são atualizados de acordo com
Uma matriz tridiagonal possui a seguinte forma
ou seja, apenas os termos da diagonal principal e os termos imediatamente acima ou abaixo são não-nulos. Ela pode ser armazenada de forma mais compacta no formato
onde os elementos denotados por um asterisco não são utilizados.
Consequentemente, o sistema linear pode ser resolvido pelo método de eliminação Gaussiana, também conhecido como algoritmo de Thomas neste caso. O procedimento é dividido em duas partes: por primeiro, a eliminação progressiva é realizada, que consiste em determinar equações lineares equivalentes que independam de . Neste passo, as equações recursivas para os novos elementos da diagonal principal e do vetor são
e
com e . Na etapa seguinte, em que ocorre a chamada substituição regressiva, a última equação é resolvida para obter , e este resultado é inserido na equação anterior, gerando uma relação recursiva da forma
Como a matriz é tridiagonal, o sistema linear pode ser resolvido com o uso do algoritmo de Thomas para obter e, em sequência, é utilizado para obter .
O código abaixo foi implementado para integrar numericamente duas equações de Schrödinger não-lineares acopladas, que foram discretizadas sobre uma rede unidimensional da seguinte forma
e
que representam a evolução dinâmica de dois condensados de Bose-Einstein nesta mesma rede. O último termo de ambas as equações denota o acoplamento do sistema.
Para esta integração numérica, foram utilizados sítios, para um período total de 50 “segundos” e um passo de tempo de “segundos”, onde as unidades de tempo possuem aspas pois são adimensionais .
CÓDIGO
== Aplicações==