Conditions for C^1 Smooth Solution of Euler's Equation to have Second Derivative

Theorem
Suppose $y=y\left(x\right)$ has a continous first derivative and satisfies Euler's equation

$\displaystyle F_y-\frac{\mathrm{d}{}}{\mathrm{d}{x}}F_{y'}=0$

Suppose $F\left(x, y, y'\right)$ has continuous first and second derivatives with respect to all its arguments.

Then $y(x)$ has continuous second derivatives wherever

$\displaystyle F_{y'y'}\left[x, y\left(x\right), y\left(x\right)'\right]\ne 0$

Proof
Consider the difference

Overbar indicates that derivatives are evaluated along certain intermediate curves.

Divide $\displaystyle \Delta F_{y'}$ by $\Delta x$ and consider the limit $\Delta x\to 0$:

$\displaystyle \lim_{\Delta x\to 0} \frac{ \Delta F_{y'} }{ \Delta x }=\lim_{\Delta x\to 0} \left(\overline{F}_{y' x}+\frac{ \Delta y }{ \Delta x }\overline{F}_{y'y}+\frac{ \Delta y' }{ \Delta x }\overline{F}_{y'y'}\right)$

The whole limit exists, and through Euler's equation, is equal to $F_y$.

Second derivatives of $F$ and $y$ exist by assumption.