Genericity and existence of a minimum for scalar integral functionals

Abstract

This paper is concerned with the existence of a minimum in a Sobolev space for the functional

$$F_g (x): = \int_0^T {g(x(t)){\text{ }}dt + \int_0^T {h(x'(t)){\text{ }}dt,{\text{ }}x(0) = a,{\text{ }}x(T) = b,} }$$

wherea,b are real numbers,g is a continuous map, andh is lower semicontinuous, satisfying adequate growth conditions.

As shown by Cellina and Mariconda, there exists a dense subset of the space of continuous functions bounded below such that, forg in this subset, the above functional attains its minimum no matter whichh is used. This subset contains in particular the monotone maps, as shown by Marcellini, and the concave maps, as shown by Cellina and Colombo.

Our aim is twofold: first to show that this subset, although dense, is meager in the sense of the Baire category; and second to show that it contains a class of functions which we call concave-monotone, because it generalizes both the classes of concave and of monotone functions.