Jacobi's Theorem

Theorem
Let $ \mathbf y= \langle y_i \rangle_{1 \le i \le n}$, $ \boldsymbol \alpha = \langle \alpha_i \rangle_{1 \le i \le n}$, $ \boldsymbol \beta= \langle \beta_i \rangle_{1 \le i \le n}$ be vectors, where $\alpha_i$ and $ \beta_i$ are parameters.

Let $ S= S \left({ x, \mathbf y, \mathbf \alpha } \right)$ be a complete solution of Hamilton-Jacobi equation.

Let the determinant


 * $ \begin{vmatrix} \displaystyle

\frac{ \partial^2 S}{ \partial \alpha_i \partial y_k} \end{vmatrix} \ne 0$

Then


 * $ \displaystyle p_i= \frac{ \partial S}{ \partial y_i}$

and


 * $ \displaystyle y_i= y_i \left({ x, \boldsymbol \alpha, \boldsymbol \beta } \right)$

defined by


 * $ \displaystyle \frac{ \partial S}{ \partial \alpha_i}= \beta_i$

constitute a general solution of the canonical Euler's equations.

Proof 1
Consider the total derivative of $ \displaystyle \frac{ \partial S}{ \partial \alpha_i}$ wrt $x$:

Next, consider the full derivative of $p_i$:

On the other hand, partial derivative of Hamilton-Jacobi equation yields

Comparison of both expressions lead to the conclusion that


 * $ \displaystyle \frac{ \mathrm d p_i}{ \mathrm d x}= - \frac{ \partial H}{ \partial y_i}$

Proof 2

 * $ \displaystyle p_i= \frac{ \partial S}{ \partial y_i}, \quad \beta_i = \frac{ \partial S}{ \partial \alpha_i}, \quad H^*= H+ \frac{ \partial H}{ \partial x}$


 * $ \displaystyle \frac{ \mathrm d \alpha_i}{ \mathrm d x}= 0, \quad \frac{ \mathrm d \beta}{ \mathrm d x}= 0$


 * $ \frac{ \partial S}{ \partial \alpha_i}= \beta_i$


 * $ \displaystyle p_i= \frac{ \partial}{ \partial y_i} S \left({ x, \mathbf y, \boldsymbol \alpha } \right)$


 * $ y_i \left({ x, \boldsymbol \alpha, \boldsymbol \beta } \right)$


 * $ p_i \left({ x, \boldsymbol \alpha, \boldsymbol \beta } \right)$