Introduce a Lagrange multiplier for the normalization and varyFor a smooth variation with on , integration by parts givesThe fundamental lemma of the calculus of variations therefore yields the Euler-Lagrange equation
Multiplying by and integrating, while usingthe divergence theorem and on the boundary giveThe normalization is one, so the multiplier equals the stationary value:
Solved by gpt-5.6-sol high.
Codex Wiki