Formulação matemática da mecânica quântica

Predefinição:Descrição curta Predefinição:Menu lateral ocultável As formulações matemáticas da mecânica quântica são aqueles formalismos matemáticos que permitem uma descrição rigorosa da mecânica quântica. Este formalismo matemático usa principalmente uma parte da análise funcional, especialmente espaços de Hilbert, que são um tipo de espaço linear. Eles se distinguem dos formalismos matemáticos para teorias da física desenvolvidas antes do início dos anos 1900 pelo uso de estruturas matemáticas abstratas, como espaços de Hilbert de dimensão infinita (espaço L² principalmente), e operadores nesses espaços. Em resumo, valores de observáveis físicos como energia e momento não eram mais considerados como valores de funções no espaço de fase, mas como autovalores; mais precisamente como valores espectrais de operadores lineares no espaço de Hilbert.Predefinição:Sfn

Essas formulações da mecânica quântica continuam a ser usadas hoje. No cerne da descrição estão as ideias de estado quântico e observáveis quânticos, que são radicalmente diferentes daquelas usadas em modelos anteriores de realidade física. Enquanto a matemática permite o cálculo de muitas quantidades que podem ser medidas experimentalmente, há um limite teórico definido para valores que podem ser medidos simultaneamente. Essa limitação foi elucidada pela primeira vez por Heisenberg por meio de um experimento mental, e é representada matematicamente no novo formalismo pela não comutatividade de operadores que representam observáveis quânticos.

Antes do desenvolvimento da mecânica quântica como uma teoria separada, a matemática usada na física consistia principalmente em análise matemática formal, começando com cálculo e aumentando em complexidade até a geometria diferencial e equações diferenciais parciais. A teoria da probabilidade foi usada na mecânica estatística. A intuição geométrica desempenhou um papel importante nas duas primeiras e, consequentemente, as teorias da relatividade foram formuladas inteiramente em termos de conceitos geométricos diferenciais. A fenomenologia da física quântica surgiu aproximadamente entre 1895 e 1915, e durante os 10 a 15 anos antes do desenvolvimento da mecânica quântica (por volta de 1925), os físicos continuaram a pensar na teoria quântica dentro dos limites do que hoje é chamado de física clássica e, em particular, dentro das mesmas estruturas matemáticas. O exemplo mais sofisticado disso é a regra de quantização de Sommerfeld, Wilson, e Ishiwara, que foi formulada inteiramente no espaço de fase clássico.

História do formalismo

A "antiga teoria quântica" e a necessidade de uma nova matemática

Predefinição:Artigo principal Na década de 1890, Planck conseguiu derivar o espectro do corpo negro, que mais tarde foi usado para evitar a catástrofe ultravioleta clássica ao fazer a suposição pouco ortodoxa de que, na interação da radiação eletromagnética com a matéria, a energia só poderia ser trocada em unidades discretas que ele chamou de quanta. Planck postulou uma proporcionalidade direta entre a frequência da radiação e o quantum de energia naquela frequência. A constante de proporcionalidade, Predefinição:Math, agora é chamada de constante de Planck em sua homenagem.Predefinição:Carece de fontes

Em 1905, Einstein explicou certas características do efeito fotoelétrico ao assumir que os quanta de energia de Planck eram partículas reais, que mais tarde foram apelidadas de fótons.Predefinição:Carece de fontes

luz na frequência certa

Todos esses desenvolvimentos eram fenomenológicos e desafiavam a física teórica da época. Bohr e Sommerfeld continuaram a modificar a mecânica clássica em uma tentativa de deduzir o modelo de Bohr a partir dos primeiros princípios. Eles propuseram que, de todas as órbitas clássicas fechadas traçadas por um sistema mecânico em seu espaço de fase, apenas aquelas que envolviam uma área que era um múltiplo da constante de Planck eram realmente permitidas. A versão mais sofisticada desse formalismo era a chamada quantização de Sommerfeld, Wilson e Ishiwara. Embora o modelo de Bohr do átomo de hidrogênio pudesse ser explicado dessa forma, o espectro do átomo de hélio (classicamente um problema de três corpos insolúvel) não podia ser previsto. O status matemático da teoria quântica permaneceu incerto por algum tempo.Predefinição:Carece de fontes

Em 1923, de Broglie propôs que a dualidade do par onda e partícula se aplicava não apenas aos fótons, mas aos elétrons e a todos os outros sistemas físicos.Predefinição:Carece de fontes

A situação mudou rapidamente nos anos de 1925–1930, quando fundamentos matemáticos funcionais foram encontrados através do trabalho inovador de Erwin Schrödinger, Werner Heisenberg, Max Born, Pascual Jordan e o trabalho fundamental de John von Neumann, Hermann Weyl e Paul Dirac, e tornou-se possível unificar várias abordagens diferentes em termos de um novo conjunto de ideias. A interpretação física da teoria também foi esclarecida nesses anos após Werner Heisenberg descobrir as relações de incerteza e Niels Bohr introduzir a ideia de complementaridade.Predefinição:Carece de fontes

A "nova teoria quântica"

A mecânica matricial de Werner Heisenberg foi a primeira tentativa bem-sucedida de replicar a quantização observada de espectros atômicos. Mais tarde, no mesmo ano, Schrödinger criou sua mecânica ondulatória. O formalismo de Schrödinger foi considerado mais fácil de entender, visualizar e calcular, pois levou a equações diferenciais, que os físicos já estavam familiarizados com a solução. Em um ano, foi demonstrado que as duas teorias eram equivalentes.Predefinição:Carece de fontes

O próprio Schrödinger inicialmente não entendeu a natureza probabilística fundamental da mecânica quântica, pois pensava que o quadrado absoluto da função de onda de um elétron deveria ser interpretado como a densidade de carga de um objeto espalhado por um volume de espaço estendido, possivelmente infinito. Foi Max Born quem introduziu a interpretação do quadrado absoluto da função de onda como a distribuição de probabilidade da posição de um objeto pontual. A ideia de Born foi logo assumida por Niels Bohr em Copenhague, que então se tornou o "pai" da interpretação de Copenhague da mecânica quântica. A função de onda de Schrödinger pode ser vista como intimamente relacionada à equação de Hamilton e Jacobi clássica. A correspondência com a mecânica clássica era ainda mais explícita, embora um pouco mais formal, na mecânica matricial de Heisenberg. Em seu projeto de tese de doutorado, Paul DiracPredefinição:Sfn descobriu que a equação para os operadores na representação de Heisenberg, como é chamada agora, se traduz de perto em equações clássicas para a dinâmica de certas quantidades no formalismo hamiltoniano da mecânica clássica, quando alguém as expressa por meio de colchetes de Poisson, um procedimento agora conhecido como quantização canônica.Predefinição:Carece de fontes

Já antes de Schrödinger, o jovem bolsista de pós-doutorado Werner Heisenberg inventou sua mecânica matricial, que foi a primeira mecânica quântica correta – o avanço essencial. A formulação da mecânica matricial de Heisenberg foi baseada em álgebras de matrizes infinitas, uma formulação muito radical à luz da matemática da física clássica, embora ele tenha começado a partir da terminologia de índice dos experimentalistas da época, nem mesmo ciente de que seus "esquemas de índice" eram matrizes, como Born logo apontou para ele. De fato, nesses primeiros anos, a álgebra linear não era geralmente popular entre os físicos em sua forma atual.Predefinição:Carece de fontes

Embora o próprio Schrödinger depois de um ano tenha provado a equivalência de sua mecânica ondulatória e da mecânica matricial de Heisenberg, a reconciliação das duas abordagens e sua abstração moderna como movimentos no espaço de Hilbert é geralmente atribuída a Paul Dirac, que escreveu um relato lúcido em seu clássico de 1930 Os Princípios da Mecânica Quântica. Ele é o terceiro, e possivelmente o mais importante, pilar desse campo (logo ele foi o único a ter descoberto uma generalização relativística da teoria). Em seu relato acima mencionado, ele introduziu a notação bra e ket, juntamente com uma formulação abstrata em termos do espaço de Hilbert usado na análise funcional; ele mostrou que as abordagens de Schrödinger e Heisenberg eram duas representações diferentes da mesma teoria, e encontrou uma terceira, mais geral, que representava a dinâmica do sistema. Seu trabalho foi particularmente frutífero em muitos tipos de generalizações do campo.Predefinição:Carece de fontes

A primeira formulação matemática completa dessa abordagem, conhecida como axiomas de Dirac e von Neumann, é geralmente creditada ao livro de John von Neumann de 1932, Fundamentos Matemáticos da Mecânica Quântica, embora Hermann Weyl já tivesse se referido aos espaços de Hilbert (que ele chamou de espaços unitários) em seu artigo e livro clássicos de 1927. Ela foi desenvolvida em paralelo com uma nova abordagem para a teoria espectral matemática baseada em operadores lineares em vez das formas quadráticas que eram a abordagem de David Hilbert uma geração antes. Embora as teorias da mecânica quântica continuem a evoluir até hoje, há uma estrutura básica para a formulação matemática da mecânica quântica que fundamenta a maioria das abordagens e pode ser rastreada até o trabalho matemático de John von Neumann. Em outras palavras, as discussões sobre a interpretação da teoria e extensões a ela são agora conduzidas principalmente com base em suposições compartilhadas sobre os fundamentos matemáticos.Predefinição:Carece de fontes

Desenvolvimentos posteriores

A aplicação da nova teoria quântica ao eletromagnetismo resultou na teoria quântica de campos, que foi desenvolvida a partir de 1930. A teoria quântica de campos impulsionou o desenvolvimento de formulações mais sofisticadas da mecânica quântica, das quais as apresentadas aqui são casos especiais simples.Predefinição:Carece de fontes

• Formulação de Feynman da mecânica quântica
• Formulação de espaço de fase da mecânica quântica e quantização geométrica
• teoria quântica de campos em espaço-tempo curvo
• teoria quântica de campos axiomática, algébrica, e construtiva
• formalismo da álgebra C*
• modelo estatístico generalizado da mecânica quântica

Um tópico relacionado é a relação com a mecânica clássica. Qualquer nova teoria física deve ser reduzida a teorias antigas bem-sucedidas em alguma aproximação. Para a mecânica quântica, isso se traduz na necessidade de estudar o chamado limite clássico da mecânica quântica. Além disso, como Bohr enfatizou, as habilidades cognitivas humanas e a linguagem estão inextricavelmente ligadas ao reino clássico e, portanto, as descrições clássicas são intuitivamente mais acessíveis do que as quânticas. Em particular, a quantização, ou seja, a construção de uma teoria quântica cujo limite clássico é uma teoria clássica dada e conhecida, torna-se uma área importante da física quântica em si mesma.Predefinição:Carece de fontes

Finalmente, alguns dos criadores da teoria quântica (notavelmente Einstein e Schrödinger) estavam descontentes com o que pensavam ser as implicações filosóficas da mecânica quântica. Em particular, Einstein assumiu a posição de que a mecânica quântica deve ser incompleta, o que motivou a pesquisa nas chamadas teorias de variáveis ocultas. A questão das variáveis ​​ocultas tornou-se em parte uma questão experimental com a ajuda da óptica quântica.Predefinição:Carece de fontes

Postulados da mecânica quântica

Um sistema físico é geralmente descrito por três ingredientes básicos: estados; observáveis; e dinâmica (ou lei da evolução temporal) ou, mais geralmente, um grupo de simetrias físicas. Uma descrição clássica pode ser dada de forma bastante direta por um modelo de espaço de fase da mecânica: estados são pontos em um espaço de fase formulado por variedade simplética, observáveis ​​são funções de valor real nele, a evolução temporal é dada por um grupo de um parâmetro de transformações simpléticas do espaço de fase, e simetrias físicas são realizadas por transformações simpléticas. Uma descrição quântica normalmente consiste em um espaço de Hilbert de estados, observáveis ​​são operadores autoadjuntos no espaço de estados, a evolução temporal é dada por um grupo de um parâmetro de transformações unitárias no espaço de Hilbert de estados, e simetrias físicas são realizadas por transformações unitárias. (É possível mapear esta imagem/representação do espaço de Hilbert para uma formulação de espaço de fase, invertivelmente. Veja abaixo.)Predefinição:Carece de fontes

O seguinte resumo da estrutura matemática da mecânica quântica pode ser parcialmente rastreado até os axiomas de Dirac e von Neumann.Predefinição:Sfn

Descrição do estado de um sistema

Cada sistema físico isolado está associado a um espaço de Hilbert complexo separável (topologicamente) Predefinição:Math com produto interno Predefinição:Math.Predefinição:Carece de fontes Predefinição:Caixa de citação Separabilidade é uma hipótese matematicamente conveniente, com a interpretação física de que o estado é determinado exclusivamente por muitas observações contáveis. Estados quânticos podem ser identificados com classes de equivalência em Predefinição:Math, onde dois vetores (de comprimento 1) representam o mesmo estado se eles diferem apenas por um fator de fase:Predefinição:SfnPredefinição:Sfn $$|{\psi }_k⟩\sim |{\psi }_l⟩\iff |{\psi }_k⟩=e^{i\alpha }|{\psi }_l⟩,\alpha \in ℝ$$ Como tal, um estado quântico forma um raio no espaço de Hilbert projetivo, não um vetor.Predefinição:Sfn

Acompanhando o Postulado I está o postulado do sistema composto:Predefinição:Sfn Predefinição:Caixa de citação Na presença de emaranhamento quântico, o estado quântico do sistema composto não pode ser fatorado como um produto tensorial de estados de seus constituintes locais; em vez disso, é expresso como uma soma, ou superposição, de produtos tensoriais de estados de subsistemas componentes. Um subsistema em um sistema composto emaranhado geralmente não pode ser descrito por um vetor de estado (ou um raio), mas sim por um operador de densidade; tal estado quântico é conhecido como um estado misto. O operador de densidade de um estado misto é uma classe de traço, operador autoadjunto que não é negativo (semidefinido positivo) Predefinição:Math normalizado para ser de traço 1. Por sua vez, qualquer operador de densidade de um estado misto pode ser representado como um subsistema de um sistema composto maior em um estado puro (teorema da purificação).Predefinição:Carece de fontes

Na ausência de emaranhamento quântico, o estado quântico do sistema composto é chamado de estado separável. A matriz de densidade de um sistema bipartido em um estado separável pode ser expressa como $\rho =\sum _k{p}_k{\rho }_1^k\otimes {\rho }_2^k$, onde $\sum _k{p}_k=1$. Se houver apenas um único $p_k$ diferente de zero, então o estado pode ser expresso como $\rho ={\rho }_1\otimes {\rho }_2$, e é chamado simplesmente de estado separável ou produto.Predefinição:Carece de fontes

Medição em um sistema

Descrição das grandezas físicas

Observáveis ​​físicos são representados por matrizes Hermitianas em Predefinição:Math. Como esses operadores são Hermitianos, seus autovalores são sempre reais e representam os possíveis resultados/saídas da medição do observável correspondente. Se o espectro do observável for discreto, então os resultados possíveis são quantizados.Predefinição:Carece de fontes Predefinição:Caixa de citação

Resultados da medição

Pela teoria espectral, podemos associar uma medida de probabilidade aos valores de Predefinição:Math em qualquer estado Predefinição:Math. Também podemos mostrar que os valores possíveis do observável Predefinição:Math em qualquer estado devem pertencer ao espectro de Predefinição:Math. O valor esperado (no sentido da teoria da probabilidade) do observável Predefinição:Math para o sistema no estado representado pelo vetor unitário Predefinição:Math ∈ H é $⟨\psi |A|\psi ⟩$. Se representarmos o estado Predefinição:Math na base formada pelos autovetores de Predefinição:Math, então o quadrado do módulo do componente anexado a um dado autovetor é a probabilidade de observar seu autovalor correspondente.Predefinição:Carece de fontes Predefinição:Caixa de citação Para um estado misto Predefinição:Math, o valor esperado de Predefinição:Math no estado Predefinição:Math é $\mathrm{tr}(A\rho )$, e a probabilidade de obter um autovalor $a_n$ em um espectro que não é degenerado, discreto, do observável correspondente $A$ é dada por $\mathbb{P}(a_n)=\mathrm{tr}(|a_n⟩⟨a_n|\rho )=⟨a_n|\rho |a_n⟩$.Predefinição:Carece de fontes

Se o autovalor $a_n$ tem autovetores ortonormais, degenerados, $\{|a_{n1}⟩,|a_{n2}⟩,\dots ,|a_{nm}⟩\}$, então o operador de projeção no autosubespaço pode ser definido como o operador de identidade no autosubespaço: Predefinição:Carece de fontes$$P_n=|a_{n1}⟩⟨a_{n1}|+|a_{n2}⟩⟨a_{n2}|+\dots +|a_{nm}⟩⟨a_{nm}|$$ e então $\mathbb{P}(a_n)=\mathrm{tr}(P_n\rho )$.

Os postulados II.a e II.b são conhecidos coletivamente como a regra de Born da mecânica quântica.Predefinição:Carece de fontes

Efeito da medição no estado

Quando uma medição é realizada, apenas um resultado é obtido (de acordo com algumas interpretações da mecânica quântica). Isso é modelado matematicamente como o processamento de informações adicionais da medição, confinando as probabilidades de uma segunda medição imediata do mesmo observável. No caso de um espectro não degenerado, discreto, duas medições sequenciais do mesmo observável sempre darão o mesmo valor, assumindo que a segunda segue imediatamente a primeira. Portanto, o vetor de estado deve mudar como resultado da medição e colapsar no autosubespaço associado ao autovalor medido.Predefinição:Carece de fontes Predefinição:Caixa de citação Para um estado misto Predefinição:Math, após obter um autovalor $a_n$ em um espectro que não é degenerado, discreto, do observável correspondente $A$, o estado atualizado é dado por ${\rho }^{\prime }=\frac{P_n\rho P_n^{†}}{\mathrm{tr}(P_n\rho P_n^{†})}$. Se o autovalor $a_n$ tem autovetores ortonormais degenerados $\{|a_{n1}⟩,|a_{n2}⟩,\dots ,|a_{nm}⟩\}$, então o operador de projeção no autosubespaço é $P_n=|a_{n1}⟩⟨a_{n1}|+|a_{n2}⟩⟨a_{n2}|+\dots +|a_{nm}⟩⟨a_{nm}|$.Predefinição:Carece de fontes

Os postulados II.c são algumas vezes chamados de "regra de atualização de estado" ou "regra de colapso"; junto com a regra de Born (Postulados II.a e II.b), eles formam uma representação completa de medições e algumas vezes são coletivamente chamados de postulado(s) de medição.Predefinição:Carece de fontes

Observe que as medidas de valor de projeção (PVM) descritas nos postulados de medição podem ser generalizadas para medidas de valor de operador positivo (POVM), que é o tipo mais geral de medição na mecânica quântica. Um POVM pode ser entendido como o efeito em um subsistema componente quando um PVM é executado em um sistema composto maior (teorema de dilatação de Naimark).Predefinição:Carece de fontes

Evolução temporal de um sistema

Embora seja possível derivar a equação de Schrödinger, que descreve como um vetor de estado evolui no tempo, a maioria dos textos afirma a equação como um postulado. Derivações comuns incluem o uso da hipótese de de Broglie ou integrais de caminho.Predefinição:Carece de fontes

De forma equivalente, o postulado da evolução temporal pode ser declarado como:Predefinição:Carece de fontes Predefinição:Caixa de citação Para um sistema fechado em um estado misto Predefinição:Math, a evolução temporal é $\rho (t)=U(t;t_0)\rho (t_0)U^{†}(t;t_0)$Predefinição:Carece de fontes Predefinição:Caixa de citação A evolução de um sistema quântico aberto pode ser descrita por operações quânticas (em um formalismo de soma de operadores) e instrumentos quânticos, e geralmente não precisa ser unitária.Predefinição:Carece de fontes

Outras implicações dos postulados

• Simetrias físicas agem no espaço de Hilbert de estados quânticos unitariamente ou antiunitariamente devido ao teorema de Wigner (supersimetria é outra questão completamente diferente).Predefinição:Carece de fontes
• Operadores de densidade são aqueles que estão no fechamento do casco convexo dos projetores ortogonais unidimensionais. Por outro lado, projetores ortogonais unidimensionais são pontos extremos do conjunto de operadores de densidade. Físicos também chamam projetores ortogonais unidimensionais de estados puros e outros operadores de densidade de estados mistos.Predefinição:Carece de fontes
• Pode-se, neste formalismo, declarar o princípio da incerteza de Heisenberg e prová-lo como um teorema, embora a sequência histórica exata de eventos, a respeito de quem derivou o quê e sob qual estrutura, seja o assunto de investigações históricas fora do escopo deste artigo.Predefinição:Carece de fontes
• Pesquisas recentes mostraramPredefinição:Sfn que o postulado do sistema composto (postulado do produto tensorial) pode ser derivado do postulado de estado (Postulado I) e dos postulados de medição (Postulados II); Além disso, também foi demonstradoPredefinição:Sfn que os postulados de medição (Postulados II) podem ser derivados da "mecânica quântica unitária", que inclui apenas o postulado de estado (Postulado I), o postulado do sistema composto (postulado do produto tensorial) e o postulado da evolução unitária (Postulado III).

Além disso, aos postulados da mecânica quântica também se deve adicionar afirmações básicas sobre as propriedades do spin e o princípio de exclusão de Pauli, veja abaixo.Predefinição:Carece de fontes

Spin

Além de suas outras propriedades, todas as partículas possuem uma grandeza chamada spin, um momento angular intrínseco. Apesar do nome, as partículas não giram literalmente em torno de um eixo, e o spin mecânico quântico não tem correspondência na física clássica. Na representação de posição, uma função de onda sem spin tem posição Predefinição:Math e tempo Predefinição:Math como variáveis ​​contínuas, Predefinição:Math. Para funções de onda de spin, o spin é uma variável discreta adicional: Predefinição:Math, onde Predefinição:Math assume os valores;Predefinição:Carece de fontes $$\sigma =-S\hslash ,-(S-1)\hslash ,\dots ,0,\dots ,+(S-1)\hslash ,+S\hslash$$

Isto é, o estado de uma única partícula com spin Predefinição:Math é representado por um spinor de Predefinição:Math-componente de funções de onda de valor complexo.Predefinição:Carece de fontes

Duas classes de partículas com comportamento muito diferente são bósons que têm spin inteiro (Predefinição:Math), e férmions que possuem spin meio inteiro (Predefinição:Math).Predefinição:Carece de fontes

Postulado de simetrização

Predefinição:Artigo principal Na mecânica quântica, duas partículas podem ser distinguidas uma da outra usando dois métodos. Ao realizar uma medição das propriedades intrínsecas de cada partícula, partículas de diferentes tipos podem ser distinguidas. Caso contrário, se as partículas forem idênticas, suas trajetórias podem ser rastreadas, o que distingue as partículas com base na localidade de cada partícula. Enquanto o segundo método é permitido na mecânica clássica (ou seja, todas as partículas clássicas são tratadas com distinguibilidade), o mesmo não pode ser dito para partículas mecânicas quânticas, uma vez que o processo é inviável devido aos princípios fundamentais da incerteza que governam pequenas escalas. Portanto, o requisito de indistinguibilidade de partículas quânticas é apresentado pelo postulado de simetrização. O postulado é aplicável a um sistema de bósons ou férmions, por exemplo, na previsão dos espectros do átomo de hélio. O postulado, explicado nas seções a seguir, pode ser declarado da seguinte forma:Predefinição:Carece de fontes

Exceções podem ocorrer quando as partículas são restringidas a duas dimensões espaciais onde a existência de partículas conhecidas como anyons é possível, as quais são ditas como tendo um contínuo de propriedades estatísticas abrangendo o intervalo entre férmions e bósons.Predefinição:Sfn A conexão entre o comportamento de partículas idênticas e seu spin é dada pelo teorema de estatística e spin.Predefinição:Carece de fontes Predefinição:Caixa de citação Pode ser demonstrado que duas partículas localizadas em diferentes regiões do espaço ainda podem ser representadas usando uma função de onda simetrizada/antissimetrizada e que o tratamento independente dessas funções de onda dá o mesmo resultado.Predefinição:Sfn Portanto, o postulado de simetrização é aplicável no caso geral de um sistema de partículas idênticas.

Degeneração de troca

Em um sistema de partículas idênticas, seja P conhecido como operador de troca que atua na função de onda como:

$P(\cdots |\psi ⟩|\varphi ⟩\cdots )\equiv \cdots |\varphi ⟩|\psi ⟩\cdots$

Se um sistema físico de partículas idênticas for dado, a função de onda de todas as partículas pode ser bem conhecida a partir da observação, mas estas não podem ser rotuladas para cada partícula. Assim, a função de onda trocada acima representa o mesmo estado físico que o estado original, o que implica que a função de onda não é única. Isso é conhecido como degeneração de troca.Predefinição:Sfn

Mais geralmente, considere uma combinação linear de tais estados, $|\mathrm{\Psi }⟩$. Para a melhor representação do sistema físico, esperamos que este seja um autovetor de P, já que o operador de troca não é esperado para fornecer vetores completamente diferentes no espaço de Hilbert projetivo. Já que $P^2=1$, os possíveis autovalores de P são +1 e −1. Os estados $|\mathrm{\Psi }⟩$ para sistemas de partículas idênticos são representados como simétricos para autovalor +1 ou antisimétricos para autovalor -1, como segue:Predefinição:Carece de fontes

$P|\cdots n_i,n_j\cdots ;S⟩=+|\cdots n_i,n_j\cdots ;S⟩$

$P|\cdots n_i,n_j\cdots ;A⟩=-|\cdots n_i,n_j\cdots ;A⟩$

Princípio de exclusão de Pauli

A propriedade de spin se relaciona com outra propriedade básica referente a sistemas de Predefinição:Math partículas idênticas: o princípio de exclusão de Pauli, que é uma consequência do seguinte comportamento de permutação de uma função de onda de Predefinição:Math-partículas; novamente na representação de posição deve-se postular que para a transposição de quaisquer duas das Predefinição:Math partículas deve-se sempre ter:Predefinição:Carece de fontes

Princípio de Pauli

$\psi (\dots ,{𝐫}_i,{\sigma }_i,\dots ,{𝐫}_j,{\sigma }_j,\dots )=(-1{)}^{2S}\cdot \psi (\dots ,{𝐫}_j,{\sigma }_j,\dots ,{𝐫}_i,{\sigma }_i,\dots )$

ou seja, na transposição dos argumentos de quaisquer duas partículas a função de onda deve reproduzir, além de um prefator Predefinição:Math que é Predefinição:Math para bósons, mas (Predefinição:Math) para férmions. Elétrons são férmions com Predefinição:Math; quanta de luz são bósons com Predefinição:Math.Predefinição:Carece de fontes

Devido à forma da função de onda anti-simetrizada:

${\mathrm{\Psi }}_{n_1\cdots n_N}^{(A)}(x_1,\dots ,x_N)=\frac{1}{\sqrt{N!}}\left|\begin{array}{cccc}{\psi }_{n_1}(x_1)& {\psi }_{n_1}(x_2)& \cdots & {\psi }_{n_1}(x_N)\\ {\psi }_{n_2}(x_1)& {\psi }_{n_2}(x_2)& \cdots & {\psi }_{n_2}(x_N)\\ ⋮& ⋮& \ddots & ⋮\\ {\psi }_{n_N}(x_1)& {\psi }_{n_N}(x_2)& \cdots & {\psi }_{n_N}(x_N)\end{array}\right|$

se a função de onda de cada partícula for completamente determinada por um conjunto de números quânticos, então dois férmions não podem compartilhar o mesmo conjunto de números quânticos, já que a função resultante não pode ser antissimetrizada (ou seja, a fórmula acima dá zero). O mesmo não pode ser dito dos bósons, já que sua função de onda é:Predefinição:Carece de fontes

$|x_1{x}_2\cdots x_N;S⟩=\frac{\prod _j{n}_j!}{N!}\sum _p|x_{p(1)}⟩|x_{p(2)}⟩\cdots |x_{p(N)}⟩$

onde $n_j$ é o número de partículas com a mesma função de onda.Predefinição:Carece de fontes

Exceções ao postulado de simetrização

Na mecânica quântica que não é relativística, todas as partículas são bósons ou férmions; nas teorias quânticas relativísticas, também existem teorias "supersimétricas", onde uma partícula é uma combinação linear de uma parte bosônica e uma parte fermiônica. Somente na dimensão Predefinição:Math é possível construir entidades onde Predefinição:Math é substituído por um número complexo arbitrário com magnitude 1, chamado anyons. Na mecânica quântica relativística, o teorema estatístico de spin pode provar que, sob certo conjunto de suposições, as partículas de spin inteiro são classificadas como bósons e as partículas de meio spin são classificadas como férmions. Anyons que não formam estados simétricos nem antisimétricos são considerados como tendo spin fracionário.Predefinição:Carece de fontes

Embora spin e o princípio de Pauli só possam ser derivados de generalizações relativísticas da mecânica quântica, as propriedades mencionadas nos dois últimos parágrafos pertencem aos postulados básicos já no limite que não é relativístico. Especialmente, muitas propriedades importantes na ciência natural, por exemplo, o sistema periódico da química, são consequências das duas propriedades.Predefinição:Carece de fontes

Estrutura matemática da mecânica quântica

Representações da dinâmica

Predefinição:Lista com marcas Resumo:

Evolução de:	Representação
	Schrödinger (S)	Heisenberg (H)	Interação (I)
Estado ket	$|{\psi }_{\mathrm{S}}(t)⟩=e^{-i{H}_{\mathrm{S}}t/\hslash }|{\psi }_{\mathrm{S}}(0)⟩$	constante	$|{\psi }_{\mathrm{I}}(t)⟩=e^{i{H}_{0,\mathrm{S}}t/\hslash }|{\psi }_{\mathrm{S}}(t)⟩$
Observável	constante	$A_{\mathrm{H}}(t)=e^{i{H}_{\mathrm{S}}t/\hslash }{A}_{\mathrm{S}}{e}^{-i{H}_{\mathrm{S}}t/\hslash }$	$A_{\mathrm{I}}(t)=e^{i{H}_{0,\mathrm{S}}t/\hslash }{A}_{\mathrm{S}}{e}^{-i{H}_{0,\mathrm{S}}t/\hslash }$
Matriz de densidade	${\rho }_{\mathrm{S}}(t)=e^{-i{H}_{\mathrm{S}}t/\hslash }{\rho }_{\mathrm{S}}(0)e^{i{H}_{\mathrm{S}}t/\hslash }$	constante	${\rho }_{\mathrm{I}}(t)=e^{i{H}_{0,\mathrm{S}}t/\hslash }{\rho }_{\mathrm{S}}(t)e^{-i{H}_{0,\mathrm{S}}t/\hslash }$

Representações

A forma original da equação de Schrödinger depende da escolha de uma representação particular das relações de comutação canônicas de Heisenberg. O teorema de Stone e von Neumann determina que todas as representações irredutíveis das relações de comutação de Heisenberg de dimensão finita são unitariamente equivalentes. Uma compreensão sistemática de suas consequências levou à formulação do espaço de fase da mecânica quântica, que funciona no espaço de fase completo em vez do espaço de Hilbert, então com um link mais intuitivo para o limite clássico dele. Esta representação também simplifica as considerações de quantização, a extensão da deformação da mecânica clássica para a quântica.Predefinição:Carece de fontes

O oscilador harmônico quântico é um sistema exatamente solucionável onde as diferentes representações são facilmente comparadas. Lá, além das representações de Heisenberg, ou Schrödinger (posição ou momento), ou espaço de fase, também se encontra a representação de Fock (número) e a representação de Segal e Bargmann (espaço de Fock ou estado coerente) (nomeada em homenagem a Irving Segal e Valentine Bargmann). Todas as quatro são unitariamente equivalentes.Predefinição:Carece de fontes

Tempo como um operador

A estrutura apresentada até agora destaca o tempo como o parâmetro do qual tudo depende. É possível formular a mecânica de tal forma que o tempo se torne ele próprio um observável associado a um operador autoadjunto. No nível clássico, é possível parametrizar arbitrariamente as trajetórias de partículas em termos de um parâmetro não físico Predefinição:Math, e nesse caso o tempo t se torna uma coordenada generalizada adicional do sistema físico. No nível quântico, as traduções em Predefinição:Math seriam geradas por um "Hamiltoniano" Predefinição:Math, onde E é o operador de energia e Predefinição:Math é o Hamiltoniano "comum". No entanto, como s é um parâmetro que não é físico, os estados físicos devem ser deixados invariantes pela "s-evolução", e assim o espaço de estados físicos é o núcleo de Predefinição:Math (isso requer o uso de um espaço de Hilbert manipulado e uma renormalização da norma).Predefinição:Carece de fontes

Isso está relacionado à quantização de sistemas restritos e à quantização de teorias de gauge. Também é possível formular uma teoria quântica de “eventos” onde o tempo se torna um observável.Predefinição:Sfn

Problema de medição

Predefinição:Artigo principal A representação dada nos parágrafos anteriores é suficiente para a descrição de um sistema completamente isolado. No entanto, ela falha em explicar uma das principais diferenças entre a mecânica quântica e a mecânica clássica, isto é, os efeitos da medição.Predefinição:Sfn A descrição de von Neumann da medição quântica de um observável Predefinição:Math, quando o sistema é preparado em um estado puro Predefinição:Math é a seguinte (note, no entanto, que a descrição de von Neumann remonta à década de 1930 e é baseada em experimentos realizados durante esse tempo – mais especificamente o experimento de Compton e Simon; não é aplicável à maioria das medições atuais dentro do domínio quântico):Predefinição:Carece de fontes

• Seja Predefinição:Math com resolução espectral $$A=\int \lambda d{\mathrm{E}}_A(\lambda )$$ onde Predefinição:Math é a resolução da identidade (também chamada de medida do valor de projeção) associada a Predefinição:Math. Então a probabilidade do resultado da medição estar em um intervalo Predefinição:Math de Predefinição:Math é Predefinição:Math. Em outras palavras, a probabilidade é obtida integrando a função característica de Predefinição:Math contra a medida aditiva contável Predefinição:Carece de fontes$$⟨\psi \mid {\mathrm{E}}_A\psi ⟩$$
• Se o valor medido estiver contido em Predefinição:Math, então imediatamente após a medição, o sistema estará no estado (geralmente não normalizado) Predefinição:Math. Se o valor medido não estiver em Predefinição:Math, substitua Predefinição:Math pelo seu complemento para o estado acima.Predefinição:Carece de fontes

Por exemplo, suponha que o espaço de estados seja o espaço de Hilbert complexo Predefinição:Math-dimensional Predefinição:Math e Predefinição:Math seja uma matriz hermitiana com autovalores Predefinição:Math, com autovetores correspondentes Predefinição:Math. A medida de valor de projeção associada a Predefinição:Math, Predefinição:Math, é então Predefinição:Carece de fontes$${\mathrm{E}}_A(B)=|{\psi }_i⟩⟨{\psi }_i|$$ onde Predefinição:Math é um conjunto de Borel contendo apenas o único autovalor Predefinição:Math. Se o sistema for preparado no estado Predefinição:Carece de fontes$$|\psi ⟩$$ Então a probabilidade de uma medição retornar o valor Predefinição:Math pode ser calculada integrando a medida espectral Predefinição:Carece de fontes$$⟨\psi \mid {\mathrm{E}}_A\psi ⟩$$ sobre Predefinição:Math. Isso dá trivialmente $$⟨\psi |{\psi }_i⟩⟨{\psi }_i\mid \psi ⟩=|⟨\psi \mid {\psi }_i⟩{|}^2$$

A propriedade característica do esquema de medição de von Neumann é que repetir a mesma medição dará os mesmos resultados. Isso também é chamado de postulado de projeção.Predefinição:Carece de fontes

Uma formulação mais geral substitui a medida de valor de projeção por uma medida de valor de operador positivo (POVM). Para ilustrar, tome novamente o caso de dimensão finita. Aqui, substituiríamos as projeções de classificação 1 Predefinição:Carece de fontes$$|{\psi }_i⟩⟨{\psi }_i|$$ por um conjunto finito de operadores positivos $$F_i{F}_i^{*}$$ cuja soma ainda é o operador de identidade como antes (a resolução da identidade). Assim como um conjunto de resultados possíveis Predefinição:Math é associado a uma medida de valor de projeção, o mesmo pode ser dito para uma medida de valor de operador positivo (POVM). Suponha que o resultado da medição seja Predefinição:Math. Em vez de entrar em colapso para o estado (que não é normalizado) Predefinição:Carece de fontes$$|{\psi }_i⟩⟨{\psi }_i|\psi ⟩$$ após a medição, o sistema agora estará no estado Predefinição:Carece de fontes$$F_i|\psi ⟩$$

Como os operadores Predefinição:Math não precisam ser projeções mutuamente ortogonais, o postulado de projeção de von Neumann não é mais válido.Predefinição:Carece de fontes

A mesma formulação se aplica a estados mistos gerais.Predefinição:Carece de fontes

Na abordagem de von Neumann, a transformação de estado devido à medição é distinta daquela devido à evolução temporal de várias maneiras. Por exemplo, a evolução temporal é determinística e unitária, enquanto a medição não é determinística e não é unitária. No entanto, como ambos os tipos de transformação de estado levam um estado quântico a outro, essa diferença foi vista por muitos como insatisfatória. O formalismo da medida de valor de operador positivo (POVM) vê a medição como uma entre muitas outras operações quânticas, que são descritas por mapas completamente positivos que não aumentam o traço.Predefinição:Carece de fontes

Em qualquer caso, parece que os problemas acima mencionados só podem ser resolvidos se a evolução temporal incluir não apenas o sistema quântico, mas também, e essencialmente, o aparato de medição clássico (veja acima).Predefinição:Carece de fontes

Lista de ferramentas matemáticas

Parte do folclore do assunto diz respeito ao livro didático de física matemática Métodos de Física Matemática, elaborado por Richard Courant dos cursos da Universidade de Göttingen de David Hilbert. A história é contada (por matemáticos) que os físicos haviam descartado o material como não interessante nas áreas de pesquisa atuais, até o advento da equação de Schrödinger. Naquele ponto, percebeu-se que a matemática da nova mecânica quântica já estava definida nele. Também é dito que Heisenberg havia consultado Hilbert sobre sua mecânica matricial, e Hilbert observou que sua própria experiência com matrizes de dimensão infinita havia derivado de equações diferenciais, conselho que Heisenberg ignorou, perdendo a oportunidade de unificar a teoria como Weyl e Dirac fizeram alguns anos depois. Qualquer que seja a base das anedotas, a matemática da teoria era convencional na época, enquanto a física era radicalmente nova.Predefinição:Carece de fontes

As principais ferramentas incluem:

• álgebra linear: números complexos, autovetores, autovalores
• análise funcional: espaços de Hilbert, operadores lineares, teoria espectral
• equações diferenciais: equações diferenciais parciais, separação de variáveis, equações diferenciais ordinárias, teoria de Sturm e Liouville, autofunções
• análise harmônica: transformadas de Fourier

Ver também

• Simetria na mecânica quântica

Bibliografia

• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar periódico
• Predefinição:Citar livro
• Predefinição:Citar periódico
• Predefinição:Citar periódico
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar periódico
• Predefinição:Citar periódico
• Predefinição:Citar livro

Leitura adicional

• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar periódico
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro
• Predefinição:Citar livro