La derivación formal del cálculo variacional en mecánica cuántica: el proceso de construir un funcional del valor esperado dependiente de una función de prueba (o conjunto de parámetros), aplicar condiciones de estacionariedad bajo variaciones admisibles (incluyendo la normalización mediante un multiplicador de Lagrange) y obtener las ecuaciones de Euler–Lagrange o las ecuaciones operacionales equivalentes que determinan los parámetros o funciones óptimos.

Principio

Principio de estacionariedad del funcional de energía: la función de onda del estado fundamental correcta hace que el valor esperado del Hamiltoniano sea estacionario (generalmente un mínimo) respecto a las variaciones admisibles del estado de prueba, sujeto a restricciones que aseguren la auto-adjunción y la normalización.

Demostración

Derivar las ecuaciones de Hartree–Fock escribiendo la energía total como funcional de orbitales mono-electrónicos, introducir multiplicadores de Lagrange para imponer la ortonormalidad de los orbitales, variar el funcional respecto a los conjugados de los orbitales y obtener las ecuaciones de campo auto-consistentes como condiciones de estacionariedad.

Aplicación incorrecta

Variar un funcional sin imponer normalización u ortogonalidad, o variar fuera del espacio de funciones admisibles (cuadrado-integrables, compatibles con las condiciones de contorno), lo que produce términos de contorno espurios o valores propios no físicos.

Consecuencia

Una derivación correcta produce ecuaciones operacionales o condiciones sobre parámetros cuyas soluciones proporcionan estados optimizados variacionalmente y garantizan propiedades como la cota superior para la energía del estado fundamental y la dependencia previsible de la energía estimada respecto a la elección del espacio de prueba.

Inversión

En lugar de derivar ecuaciones operacionales a partir de un funcional, partir de ecuaciones operacionales supuestas e intentar inferir un funcional variacional correspondiente; la inversión puede fallar o ser no única y por tanto no sustituye a la derivación variacional directa.

Límite

Se aplica cuando el Hamiltoniano es auto-adjunto en el dominio elegido y los estados de prueba satisfacen las condiciones de contorno e integrabilidad requeridas; excluye la aplicación directa a problemas con dinámica no hermitiana o donde las contribuciones de contorno no puedan anularse sin restricciones adicionales.

Tensión semántica

Existe tensión entre la derivación variacional (funcional primero, imponiendo estacionariedad) y enfoques analíticos alternativos como la teoría de perturbaciones o diagonalización directa; estos métodos pueden dar ecuaciones similares pero difieren en hipótesis y garantías (p. ej., cota superior variacional vs. serie perturbativa).

Síntesis

El paso de derivación es el puente formal entre el principio variacional (energía como funcional del estado) y ecuaciones concretas de optimización: imponiendo variaciones admisibles y restricciones se obtienen ecuaciones auto-consistentes cuyas soluciones son las mejores aproximaciones disponibles dentro del espacio de prueba.