Teorema de Ehrenfest - Ehrenfest theorem

O teorema de Ehrenfest , em homenagem a Paul Ehrenfest , um físico teórico austríaco da Universidade de Leiden , relaciona a derivada temporal dos valores esperados dos operadores de posição e momento x e p ao valor esperado da força em uma partícula massiva se movendo em um potencial escalar ,

O teorema de Ehrenfest é um caso especial de uma relação mais geral entre a expectativa de qualquer operador mecânico quântico e a expectativa do comutador desse operador com o hamiltoniano do sistema

onde A é um operador de mecânica quântica e Um é o valor esperado . Este teorema mais geral não foi realmente derivado por Ehrenfest (é devido a Werner Heisenberg ).

É mais aparente na imagem de Heisenberg da mecânica quântica, onde é apenas o valor esperado da equação de movimento de Heisenberg. Ele fornece suporte matemático para o princípio da correspondência .

A razão é que o teorema de Ehrenfest está intimamente relacionado com o teorema de Liouville de mecânica hamiltoniana , que envolve o suporte de Poisson em vez de um comutador. A regra prática de Dirac sugere que as afirmações na mecânica quântica que contêm um comutador correspondem às afirmações na mecânica clássica onde o comutador é suplantado por um colchete de Poisson multiplicado por . Isso faz com que os valores de expectativa do operador obedeçam às equações clássicas de movimento correspondentes, desde que o hamiltoniano seja no máximo quadrático nas coordenadas e momentos. Caso contrário, as equações de evolução ainda podem se manter aproximadamente , desde que as flutuações sejam pequenas.

Relação com a Física Clássica

Embora, à primeira vista, possa parecer que o teorema de Ehrenfest está dizendo que os valores esperados da mecânica quântica obedecem às equações clássicas de movimento de Newton, este não é realmente o caso. Se o par satisfizesse a segunda lei de Newton, o lado direito da segunda equação teria que ser

que normalmente não é o mesmo que

Se, por exemplo, o potencial é cúbico (ou seja, proporcional a ), então é quadrático (proporcional a ). Isso significa que, no caso da segunda lei de Newton, o lado direito estaria na forma de , enquanto no teorema de Ehrenfest ele estaria na forma de . A diferença entre essas duas quantidades é o quadrado da incerteza em e, portanto, não é zero.

Uma exceção ocorre no caso em que as equações clássicas de movimento são lineares, ou seja, quando são quadráticas e são lineares. Nesse caso especial, e concordo. Assim, para o caso de um oscilador harmônico quântico, a posição esperada e o momento esperado seguem exatamente as trajetórias clássicas.

Para sistemas gerais, se a função de onda estiver altamente concentrada em torno de um ponto , então e será quase a mesma, já que ambos serão aproximadamente iguais a . Nesse caso, a posição esperada e o momento esperado seguirão aproximadamente as trajetórias clássicas, pelo menos enquanto a função de onda permanecer localizada na posição.

Derivação na imagem de Schrödinger

Suponha que algum sistema esteja atualmente em um estado quântico Φ . Se quisermos saber a derivada instantânea no tempo do valor esperado de A , isto é, por definição

onde estamos integrando todo o espaço. Se aplicarmos a equação de Schrödinger , descobrimos que

Ao tomar o conjugado complexo, encontramos

Observe H = H , porque o hamiltoniano é hermitiano . Colocando isso na equação acima, temos

Freqüentemente (mas nem sempre) o operador A é independente do tempo, de modo que sua derivada é zero e podemos ignorar o último termo.

Derivação na imagem de Heisenberg

Na imagem de Heisenberg , a derivação é trivial. A imagem de Heisenberg transfere a dependência do sistema para o tempo para os operadores, em vez dos vetores de estado. Começando com a equação de movimento de Heisenberg

podemos derivar o teorema de Ehrenfest simplesmente projetando a equação de Heisenberg da direita e da esquerda, ou tomando o valor esperado, então

Podemos puxar o d / dt fora do primeiro termo, uma vez que os vetores de estado não são mais dependentes do tempo na imagem de Heisenberg. Portanto,

Exemplo geral

Os valores esperados do teorema, entretanto, são exatamente os mesmos na imagem de Schrödinger . Para o exemplo muito geral de uma partícula massiva se movendo em um potencial , o hamiltoniano é simplesmente

onde x é a posição da partícula.

Suponha que quiséssemos saber a mudança instantânea na expectativa do momento p . Usando o teorema de Ehrenfest, temos

já que o operador p comuta consigo mesmo e não tem dependência do tempo. Expandindo o lado direito, substituindo p por - , obtemos

Depois de aplicar a regra do produto no segundo período, temos

Conforme explicado na introdução, este resultado não significa que o par satisfaça a segunda lei de Newton , porque o lado direito da fórmula é em vez de . No entanto, como explicado na introdução, para estados altamente localizados no espaço, a posição e o momento esperados seguirão aproximadamente as trajetórias clássicas, o que pode ser entendido como uma instância do princípio da correspondência .

Da mesma forma, podemos obter a mudança instantânea no valor da expectativa da posição.

Na verdade, esse resultado está de acordo com a equação clássica.

Derivação da equação de Schrödinger a partir dos teoremas de Ehrenfest

Foi estabelecido acima que os teoremas de Ehrenfest são consequências da equação de Schrödinger . No entanto, o inverso também é verdadeiro: a equação de Schrödinger pode ser inferida a partir dos teoremas de Ehrenfest. Nós começamos de

A aplicação da regra do produto leva a

Aqui, aplique o teorema de Stone , usando Ĥ para denotar o gerador quântico da tradução do tempo. O próximo passo é mostrar que este é o mesmo que o operador hamiltoniano usado na mecânica quântica. O teorema de Stone implica

onde ħ foi introduzido como uma constante de normalização para a dimensionalidade do equilíbrio. Uma vez que essas identidades devem ser válidas para qualquer estado inicial, a média pode ser descartada e o sistema de equações do comutador para Ĥ são derivados:

Assumindo que os observáveis ​​da coordenada e do momento obedecem à relação de comutação canônica [ x̂, p̂ ] = . Definindo , as equações do comutador podem ser convertidas em equações diferenciais

cuja solução é o familiar hamiltoniano quântico

Donde, a equação de Schrödinger foi derivada dos teoremas de Ehrenfest, assumindo a relação de comutação canônica entre a coordenada e o momento. Se alguém assume que a coordenada e o momento comutam, o mesmo método computacional leva à mecânica clássica de Koopman-von Neumann , que é a formulação espacial de Hilbert da mecânica clássica . Portanto, esta derivação, bem como a derivação da mecânica de Koopman-von Neumann , mostra que a diferença essencial entre a mecânica quântica e a clássica se reduz ao valor do comutador [ x̂, p̂ ] .

As implicações do teorema de Ehrenfest para sistemas com dinâmica classicamente caótica são discutidas no artigo da Scholarpedia Ehrenfest tempo e caos . Devido à instabilidade exponencial das trajetórias clássicas, o tempo de Ehrenfest, no qual há uma correspondência completa entre a evolução quântica e clássica, mostra-se logaritmicamente curto, sendo proporcional a um logaritmo do número quântico típico. Para o caso de dinâmica integrável, esta escala de tempo é muito maior, sendo proporcional a uma certa potência do número quântico.

Notas

Referências

  • Hall, Brian C. (2013), Quantum Theory for Mathematicians , Graduate Texts in Mathematics, 267 , Springer, ISBN   978-1461471158