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 iħ . 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 - iħ ∇ , 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̂ ] = iħ . 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