User:Julius

Current focus

 * Build the bulk knowledge on calculus of variations based on Gelfand's Calculus of Variations, then recheck with a couple other books and slowly improve proofs.


 * So I just noticed that vector notation is being used in Gelfand's for higher dimensional functionals. This implies rewriting all multivariable functionals. Implement this gradually.

Lemmas and theorems for Bernstein's Theorem on Unique Extrema (1978)
Raw material

Euler's equation/Independent of y
Let J be such that


 * $J \sqbrk y = \int_a^b \map F {x,y'}$

Then the corresponding Euler equation can be reduced to:


 * $F_{y'} = C$

where $C$ is an arbitrary constant.

Proof
Assume that:


 * $J \sqbrk y = \int_a^b \map F {x,y'}$

Euler's equation for $J$ is:


 * $\dfrac \d {\d x} F_{y'} = 0$

Integration yields:


 * $F_{y'} = C$

Euler's equation/Independent of x
Let J be such that


 * $J \sqbrk y = \int_a^b \map F {x,y'}$

Then the corresponding Euler equation can be reduced to:


 * $F - y' F_{y'} = C$

where $C$ is an arbitrary constant.

Proof
Assume that:


 * $J \sqbrk y = \int_a^b \map F {y,y'}$

Then:

Multiply this equation by $y'$.

Then:

Integration yields the desired result.

Euler's equation/Independent of y'
Let J be such that


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

Then the corresponding Euler equation can be reduced to:


 * $F_y = 0$

Furthermore, this is an algebraic equation.

Proof
Assume that:


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

Then Euler's equation for $J$ is:


 * $F_y = 0$

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

Euler's equation/Integrated WRT length element
Assume that:


 * $J \sqbrk y = \int_a^b \map f {x,y,y'} \rd s$

where


 * $s = \sqrt {1 + y'^2} \rd x$

Then Euler's equation can be reduced to:


 * $f_y - f_x y - f \frac {y''} {1+y'^2} = 0$

Proof
Substitution of $\rd s$ into $J$ results in the following functional:


 * $J \sqbrk y = \int_a^b \map f {x, y} \sqrt {1 + y'^2} \rd x$

We can consider this as a functional with the following effective $F$:


 * $F = \map f {x, y} \sqrt {1 + y'^2}$

Find Euler's equation: