For a functional $J[y]=\int_{a}^{b}F(t,y,y')dt$, are there any conditions that ensure extrema over the class of piecewise continuously differentiable functions are all in $C^2[a,b]$?
Take the 2minute tour
×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.
I believe that a piecewise smooth extremum would have to satisfy the WeierstrassErdmann corner conditions. If these conditions ensure that the extremum is in fact $C^1$, then it solves the EulerLagrange equations everywhere. At this point one can appeal to the regularity of solutions of ODEs, which can easily get you $C^2$ or even higher smoothness, depending on the regularity of the functional form of the ODE itself. For more generality, look up the sufficient conditions for a strong variational extremum (starting at Weak and Strong Extrema here). 

