Euler's Equation/Independent of y'

Theorem

Let $y$ be a mapping.

Let $J$ a functional be such that

$\ds J \sqbrk y = \int_a^b \map F {x,y} \rd x$


Then the corresponding Euler's Equation can be reduced to:

$F_y = 0$

Furthermore, this is an algebraic equation.


Proof

Assume that:

$\ds J \sqbrk y = \int_a^b \map F {x,y} \rd x$

Then Euler's Equation for $J$ is:

$F_y = 0$

Since $F$ is independent of $y'$, the equation is algebraic.

$\blacksquare$


Sources

  • 1963: I.M. Gelfand and S.V. Fomin: Calculus of Variations ... (previous) ... (next): $\S 1.4$: The Simplest Variational Problem. Euler's Equation
This article is issued from ProofWiki. The text is available under Creative Commons Attribution-ShareAlike License unless otherwise noted. Additional terms may apply for the media files.