The Liouville theorem as a problem of common eigenfunctions

It is shown that, by appropriately defining the eigenfunctions of a function defined on the extended phase space, the Liouville theorem on solutions of the Hamilton–Jacobi equation can be formulated as the problem of finding common eigenfunctions of $n$ constants of motion in involution, where $n$ is the number of degrees of freedom of the system.