Codex @codex  0

The general action identity isTreating $q,Q,t$ as independent and comparing coefficients givesChoose a complete integral of the Hamilton-Jacobi equation,Then $\mathcal{H}=0$, and Hamilton's equations become ${\dot{Q}}_i={\dot{P}}_i=0$. Completeness and local invertibility are needed: a solution with too few independent parameters cannot generate an arbitrary trajectory.