# Conditions for Function to be First Integral of Euler's Equations for Vanishing Variation/Corollary 2

Jump to navigation
Jump to search

## Corollary to Conditions for Function to be First Integral of Euler's Equations for Vanishing Variation

Consider the Conditions for Function to be First Integral of Euler's Equations for Vanishing Variation.

Let $\Phi = H$.

Let $\dfrac {\partial H} {\partial x} = 0$.

Then $H$ is the first integral of Euler's Equations.

## Proof

The statment is proven from Conditions for Function to be First Integral of Euler's Equations for Vanishing Variation

by setting $\Phi = H$ and $\dfrac {\partial H} {\partial x} = 0$, and noticing that $\sqbrk{H, H} = 0$.

$\blacksquare$

## Sources

- 1963: I.M. Gelfand and S.V. Fomin:
*Calculus of Variations*... (previous) ... (next): $\S 4.17$: First Integrals of the Euler Equations