Skip to main content
4 of 4
added 130 characters in body
Alexandre Eremenko
  • 91.8k
  • 9
  • 259
  • 429

Edited.

Let $g_0^\prime(x)=|x-1/2|,\; g_0(x)=\int_0^xg_1(t)dt,\; 0\leq x\leq1$. Then $g_0$ has continuus derivative, namely $g_0^\prime$, which is Lipschitz, but the second derivative is discontinuous. Let $L=\{(x,y):y=g_0(x)\}$ be the graph of $g_0$.

Now define $f(x,y)=0$ when $0\leq x\leq 1, y=g_0(x)$ and $$f(x,y)=(\mathrm{dist}(x,y),L)^{-3}+1$$ otherwise. Evidently $f$ is measurable, and $\int_0^1 f(x,g_0(x))dx=0$, while $\int_0^1f(x,g(x))dx>c$ for every $C^2$ function $g$, where $c$ is an absolute constant.

Of course, the last fact requires an accurate proof, but on the other hand, it seems evident. Moreover, one can replace $3$ in the exponent by some larger constant, to make it more evident. The idea is that when the graph of $g$ is too close to $L$, the integral is large.

Alexandre Eremenko
  • 91.8k
  • 9
  • 259
  • 429