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 (Akhiezer)
Proof consists of three parts: existence of only one curve, rectangular bounds and the theorem itself.

A. Suppose there are two integral curves: $y = \phi_1(x)$ and $y = \phi_2(x)$.

Define mapping $\delta : \delta(x) = \phi_2(x) - \phi_1(x)$

Then

$\delta'' = F(x, \phi_2, \phi_2') - F(x, \phi_1, \phi_1') = \delta F_y^* + \delta' F_{y'}^*$

where $F_y^* = F_y(x, \phi_1 + \theta \delta, \phi_1' + \theta \delta')$ and $F_{y'}^* = F_{y'}(x, \phi_1 +\theta \delta, \phi_1'+\theta \delta')$

and $ 0 < \theta < 1$.

If $ \phi_2(x) \ne \phi_1(x) $ then there are two possibilities for $\delta$ vanishing at the ends of $[a,b]$: either $\delta(x)$ is a positive maximum or a negative minimum within $(a,b)$. Denote this point by $\xi$

In the first case at the point $\xi$ we have $\delta''\le 0$, $\delta >0$, $\delta'=0$.

It is not allowed by the condition $F_y^* > k > 0$.

In the second case at the point $\xi$ we have $\delta''\ge 0$, $\delta < 0$, $\delta'=0$, which is impossible for the same reason.

Thus the uniqueness has been proven.

B. Boundedness

If $y''(x) = F(x,y,y')$ over $[a,c]$, and $y(a)=a_1$, $y(c)=c_1$, then

$\left\vert y(x) - \frac{a_1(c-x)+c_1(x-a)}{c-a} \right\vert \le max_{a \le x \le c} \left \vert F(x, \frac{a_1(c-x)+c_1(x-a)}{c-a}, \frac{c_1-a_1}{c-a}) \right \vert$ and $\left \vert y'(x) - \frac{c_1 - a_1}{c - a} \right \vert \le M $

The constant $M$ depends on the rectangle with the base $a \le x \le c$ and the upper bound of the functions $\alpha(x,y)$, $\beta(x,y)$.

Introduce the following equation which is a consequence of $y'' = F$:

$y''(x) = F(x, \frac{a_1(c-x)+c_1(x-a)}{c-a},y'(x))+[y(x)-\frac{a_1(c-x)+c_1(x-a)}{c-a}]F_y(x,\psi,y'(x))$

where $\psi = \frac{a_1(c-x)+c_1(x-a)}{c-a}+\theta[y(x) - \frac{a_1(c-x)+c_1(x-a)}{c-a}]$ with $0 < \theta < 1$

Function $y(x) - \frac{a_1(c-a)+c_1(x-a)}{c-a}$ vanishes at $x=a$ and $x=c$.

Its maximum happens in the interior of $(a,b)$, unless it is identically zero.

At $\xi$, where the maximum is obtained, the function will have either a positive maximum or a negative minimum.

In the first case $y''(\xi) \le 0$, $y'(xi) = \frac{c_1 - a}{c - a}$

which implies $F(\xi, \frac{a_1(c - \xi) + c_1(\xi - a)}{c - a}, \frac{c_1 - a_1}{c - a}) + k[ y(\xi) - \frac{a_1(c-\xi)+c_1(\xi - a)}{c - a}]\le 0$

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