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_{y'} y' y - f \frac {y} {\paren {1 + y'^2}^{\frac 3 2} } = 0$

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


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

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


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

Find Euler's equation:

Example 1
Suppose that:


 * $J \sqbrk y = \int_1^2 \frac {\sqrt {1+y'^2} } {x} \rd x$

with the following boundary conditions:


 * $\map y 1 = 0$


 * $\map y 2 = 1$

Then the smooth minimzer of $J$ is a circle of the following form:


 * $\paren {y - 2}^2 + x^2 = 5$

Proof
$J$ is of the form


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

Then we can use the "no y theorem":


 * $F_y = C$

i.e.


 * $\frac {y'} {x \sqrt {1 + y'^2} } = C$

or


 * $y' = \frac {C x} {\sqrt {1 - C^2 x^2} }$

The integral is equal to


 * $y = \frac {\sqrt {1 - C^2 x^2} } C + C_1$

or


 * $\paren {y - C_1}^2 + x^2 = C^{-2}$

From the conditions $\map y 1 = 0$, $\map y 2 = 1$ we find that


 * $C = \frac 1 {\sqrt 5}$


 * $C_1 = 2$

Minimal surface of revolution
Among all the curves joining two given points $\paren {x_0, y_0}$ and $\paren {x_1, y_1}$ find the one which generates the surface of minimal area when rotated around $x$ axis.

Proof
The area is:


 * $A \sqbrk y = \int_{x_0}^{x_1} y \sqrt {1 + y'^2} \rd x$

Integrand does not dependend on $x$.

Use "no x theorem":


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

i.e.


 * $y \sqrt {1 + y'^2} - \frac {y y'^2} {\sqrt {1 + y'^2} } = C$

or


 * $y = C \sqrt{1 + y'^2}$

so that


 * $y' = \sqrt {\frac {y^2 - C^2} {C^2} }$

Separation of variables:

$\rd x = \frac {C \rd y} {\sqrt {y^2 - C^2} }$

i.e.


 * $x + C_1 = C \ln {\frac {y + \sqrt {y^2 - C^2} } {C} }$

so that


 * $y = C \cosh {\frac {x + C_1} {C} }$

Calculate the area.

Say, when smooth solution is not a minimiser anymore.

Example 3

 * $J \sqbrk = \int_a^b \paren {x - y}^2$

is minimized by


 * $\map y x = x$

Proof
Euler' equation:


 * $F_y = 0$

i.e.


 * $2 \paren {x - y} = 0$.

Least area spanned by a contour

 * $J \sqbrk z = \int \int_R \sqrt {1 + z_x^2 + z_y^2} \rd x \rd y$

Euler's equation:


 * $r \paren {1 + q^2} - 2 s p q + t \paren {1 + p^2} = 0$