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

Resumen Técnico: Los Componentes Vectoriales y Canónicos del Operador de Momento en el Espacio Euclídeo 3D Espaciado por Coordenadas Curvilíneas Generales

Planteamiento del Problema
La formulación de la mecánica cuántica en coordenadas curvilíneas generales (GCC, por sus siglas en inglés) presenta un desafío pedagógico y técnico significativo, a menudo ausente en los libros de texto estándar de pregrado y posgrado. Mientras que el operador de momento en coordenadas cartesianas se define de forma sencilla como $\vec{p} = -i\hbar\nabla$, su descomposición en componentes vectoriales y escalares (canónicas) en sistemas de coordenadas curvas es no trivial. Las definiciones ingenuas de los componentes del momento (por ejemplo, $-i\hbar\vec{u}_a \partial_a$) no logran satisfacer el requisito de hermiticidad esencial para los observables físicos. Además, aunque la existencia de la canónica del momento en sistemas ortogonales ha sido derivada previamente (notablemente por De Witt), ha faltado un enfoque unificado que construya simultáneamente tanto los componentes vectoriales hermíticos como los componentes escalares canónicos, aclarando al mismo tiempo la justificación física para su extracción.

Metodología
El artículo propone un enfoque "simple, natural y unificado" basado en la identificación del operador de momento como la masa por la velocidad del operador ($\vec{p} = m\dot{\vec{r}}$). La derivación procede a través de los siguientes pasos:

1. Ecuación de Movimiento de Heisenberg: El operador de velocidad se calcula aplicando la ecuación de movimiento de Heisenberg, $m\dot{\vec{r}} = \frac{m}{i\hbar}[\vec{r}, H]$, a un Hamiltoniano que contiene el Laplaciano expresado en la forma de Laplace-Beltrami ($\Delta = \frac{1}{\sqrt{g}}\partial_i(\sqrt{g}g^{ij}\partial_j)$).
2. Identificación de la Suma de Valor Cero: El cálculo produce el operador gradiente estándar más un término adicional: $\frac{1}{2\sqrt{g}}\partial_i(\sqrt{g}\vec{u}_i)$. En la sumatoria sobre todas las coordenadas, este término se anula idénticamente debido a las propiedades del determinante de la métrica y los símbolos de Christoffel, asegurando que el operador de momento total permanezca hermítico.
3. Distribución del Término de Corrección: Los autores distribuyen este término de valor cero entre los componentes de las coordenadas individuales. Al añadir la mitad de este término a cada componente vectorial individual, los operadores resultantes se vuelven hermíticos.
4. Simetrización: Los componentes vectoriales hermíticos se expresan en una forma manifiestamente simétrica que involucra los vectores base y un operador diferencial modificado. Los componentes canónicos escalares se extraen contrayendo simétricamente estos componentes vectoriales con los vectores base correspondientes.

El formalismo se desarrolla primero para coordenadas polares en el plano (Sección 2) para asegurar la accesibilidad, y luego se generaliza a un espacio euclídeo 3D con coordenadas curvilíneas generales (Sección 3).

Resultos Clave
El artículo deriva expresiones explícitas para los operadores de momento en GCC:

• Componentes Vectoriales Hermíticos: El componente vectorial hermítico del momento a lo largo de la $a$-ésima dirección de la coordenada se define 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)$$
  donde $\vec{u}_a$ son los vectores base covariantes y $g$ es el determinante del tensor métrico. Esta expresión resuelve la no-hermiticidad del operador derivativo ingenuo.

• Componentes Escalares Canónicas: El momento canónico conjugado a la coordenada $q_a$ se identifica 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)$$
  donde $\Gamma^k_{ak}$ son los símbolos de Christoffel de segunda especie.

• Formulación Simétrica: Se demuestra que el operador de momento total y sus componentes satisfacen las relaciones 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)$$
  Esto confirma que los componentes canónicos se obtienen mediante la proyección simétrica del momento vectorial sobre los vectores base.

Significancia y Reivindicaciones
El artículo afirma proporcionar un recurso único y consistente para los estudiantes de mecánica cuántica que construye tanto los componentes vectoriales como los escalares del momento en GCC utilizando un enfoque unificado. Sus principales contribuciones son:

1. Derivación Intuitiva: El método se basa en la identificación física del momento con la velocidad, utilizando la ecuación de Heisenberg para revelar naturalmente los términos de corrección requeridos para la hermiticidad, en lugar de depender únicamente de restricciones algebraicas abstractas.
2. Clarificación del Enfoque de Leaf: Este trabajo proporciona una justificación física para extraer los momentos canónicos mediante la contracción simétrica con los vectores base, un paso que no había sido aclarado previamente en la literatura (refiriéndose específicamente al trabajo de Leaf).
3. Accesibilidad Pedagógica: Al demostrar primero el formalismo en coordenadas polares antes de generalizarlo a GCC, el artículo busca hacer accesible la compleja formulación matemática a estudiantes con diversos trasfondos matemáticos.
4. Marco Unificado: Presenta los componentes vectoriales y escalares como partes de una única derivación coherente, abordando una brecha en los libros de texto estándar donde estos temas suelen tratarse por separado o se omiten.

Los autores señalan que, si bien los sistemas discutidos (como cables cuánticos o partículas con masa dependiente de la posición) pueden residir físicamente en espacios no euclídeos, comprender la formulación en el espacio euclídeo mediante GCC es un preludio esencial para esos problemas más complejos.