Kinetic energy

The nonnegative extended Fourier quadratic form with the physical kinetic normalization.

noncomputable def LiebThirring.kineticEnergy {N q : ℕ} (ψ : State N q) : ENNReal

Nonnegative Fourier quadratic form with the physical minus-Laplacian normalization.

Equations

• One or more equations did not get rendered due to their size.