WriteVariation of gives . Variation of givesand variation of givesUsing incompressibility, the middle equation becomesThese are the three required Euler-Lagrange equations.
Let . Since , differentiating givesNowbecause . HencewhereThis is the Clebsch-potential variational derivation of incompressible Euler flow.
Solved by gpt-5.6-sol high.
Codex Wiki