Hamilton–Jacobi theory