The Vector and Canonical Components of the Momentum Operator in 3D Euclidean Space Spanned by General Curvilinear Coordinates

Resumo Técnico: Os Componentes Vetoriais e Canônicos do Operador Momento em Espaço Euclidiano 3D Espaçado por Coordenadas Curvilíneas Gerais

Enunciado do Problema
A formulação da mecânica quântica em coordenadas curvilíneas gerais (CCGs) apresenta um desafio pedagógico e técnico significativo, frequentemente ausente de livros didáticos padrão de graduação e pós-graduação. Embora o operador momento em coordenadas cartesianas seja straightforwardmente definido como $\vec{p} = -i\hbar\nabla$, sua decomposição em componentes vetoriais e escalares (canônicos) em sistemas de coordenadas curvas é não trivial. Definições ingênuas de componentes do momento (ex: $-i\hbar\vec{u}_a \partial_a$) falham em satisfazer o requisito de Hermiticidade essencial para observáveis físicos. Além disso, embora o momento canônico em sistemas ortogonais tenha sido derivado anteriormente (notadamente por De Witt), uma abordagem unificada que construa simultaneamente os componentes vetoriais hermitianos e os componentes escalares canônicos, enquanto esclarece a razão física para sua extração, tem sido inexistente.

Metodologia
O artigo propõe uma abordagem "simples, natural e unificada" baseada na identificação do operador momento como massa vezes o operador velocidade ($\vec{p} = m\dot{\vec{r}}$). A derivação procede através dos seguintes passos:

1. Equação de Movimento de Heisenberg: O operador velocidade é calculado aplicando a equação de movimento de Heisenberg, $m\dot{\vec{r}} = \frac{m}{i\hbar}[\vec{r}, H]$, a um Hamiltoniano contendo o Laplaciano expresso na forma de Laplace-Beltrami ($\Delta = \frac{1}{\sqrt{g}}\partial_i(\sqrt{g}g^{ij}\partial_j)$).
2. Identificação da Soma de Valor Zero: O cálculo resulta no operador gradiente padrão mais um termo adicional: $\frac{1}{2\sqrt{g}}\partial_i(\sqrt{g}\vec{u}_i)$. Na somatória sobre todas as coordenadas, este termo desaparece identicamente devido às propriedades do determinante da métrica e dos símbolos de Christoffel, garantindo que o operador momento total permaneça Hermitiano.
3. Distribuição do Termo de Correção: Os autores distribuem este termo de valor zero entre os componentes individuais das coordenadas. Ao adicionar metade deste termo a cada componente vetorial individual, os operadores resultantes tornam-se Hamiltonianos.
4. Simetrização: Os componentes vetoriais hermitianos são expressos em uma forma manifestamente simétrica envolvendo os vetores base e um operador diferencial modificado. Os componentes escalares canônicos são então extraídos contraindo simetricamente estes componentes vetoriais com os respectivos vetores base.

O formalismo é primeiro desenvolvido para coordenadas polares em plano (Seção 2) para garantir a acessibilidade, e então generalizado para o espaço Euclidiano 3D arbitrário com coordenadas curvilíneas gerais (Seção 3).

Resultados Principais
O artigo deriva expressões explícitas para os operadores momento em CCGs:

• Componentes Vetoriais Hermitianos: O componente vetorial hermitiano do momento ao longo da $a$-ésima direção de coordenada é definido como:
  $$\vec{p}^H_a = -i\hbar \left( \vec{u}_a \partial_a + \frac{1}{2\sqrt{g}}\partial_a(\sqrt{g}\vec{u}_a) \right)$$
  onde $\vec{u}_a$ são os vetores base covariantes e $g$ é o determinante do tensor métrico. Esta expressão resolve a não-hermiticidade do operador derivada ingênuo.

• Componentes Escalares Canônicos: O momento canônico conjugado à coordenada $q_a$ é identificado como:
  $$p^H_a = -i\hbar \left( \partial_a + \frac{1}{2\sqrt{g}}\partial_a(\sqrt{g}) \right) = -i\hbar \left( \partial_a + \frac{1}{2}\Gamma^k_{ak} \right)$$
  onde $\Gamma^k_{ak}$ são os símbolos de Christoffel de segunda espécie.

• Formulação Simétrica: O operador momento total e seus componentes são mostrados para satisfazer as relações simétricas:
  $$\vec{p} = \frac{1}{2} (p^H_i \vec{u}^i + \vec{u}^i p^H_i)$$
  $$p^H_a = \frac{1}{2} (\vec{u}_a \cdot \vec{p}^H_a + \vec{p}^H_a \cdot \vec{u}_a)$$
  Isto confirma que os componentes canônicos são obtidos pela projeção simétrica do momento vetorial sobre os vetores base.

Significância e Alegações
O artigo afirma fornecer um recurso único e consistente para estudantes de mecânica quântica que constrói tanto os componentes vetoriais quanto os escalares do momento em CCGs usando uma abordagem unificada. As principais contribuições são:

1. Derivação Intuitiva: O método baseia-se na identificação física do momento com a velocidade, usando a equação de Heisenberg para revelar naturalmente os termos de correção necessários para a Hermiticidade, em vez de depender apenas de restrições algébricas abstratas.
2. Esclarecimento da Abordagem de Leaf: Este trabalho fornece uma razão física para extrair os momentos canônicos via contração simétrica com vetores base, um passo que anteriormente não era esclarecido na literatura (especificamente referenciando o trabalho de Leaf).
3. Acessibilidade Pedagógica: Ao demonstrar primeiro o formalismo em coordenadas polares antes de generalizá-lo para CCGs, o artigo visa tornar a complexa formulação matemática acessível a estudantes com diversos históricos matemáticos.
4. Estrutura Unificada: Apresenta os componentes vetoriais e escalares como partes de uma única derivação coerente, abordando uma lacuna nos livros didáticos padrão onde estes tópicos são frequentemente tratados separadamente ou omitidos.

Os autores observam que, embora os sistemas discutidos (como fios quânticos ou partículas com massa dependente da posição) possam fisicamente residir em espaços não-euclidianos, compreender a formulação em espaço Euclidiano espaçado por CCGs é um prelúdio essencial para esses problemas mais complexos.