2
$\begingroup$

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]$?

$\endgroup$

1 Answer 1

3
$\begingroup$

I believe that a piecewise smooth extremum would have to satisfy the Weierstrass-Erdmann corner conditions. If these conditions ensure that the extremum is in fact $C^1$, then it solves the Euler-Lagrange 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).

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .