Minimization of semicoercive functions: a generalization of Fichera's existence theorem for the Signorini problem

The existence theorem of Fichera for the minimum problem of semicoercive quadratic functions in a Hilbert space is extended to a more general class of convex and lower semicontinuous functions. For unbounded domains, the behavior at infinity is controlled by a lemma which states that every unbounded sequence with bounded energy has a subsequence whose directions converge to a direction of recession of the function. Thanks to this result, semicoerciveness plus the assumption that the effective domain is boundedly generated, that is, admits a Motzkin decomposition, become sufficient conditions for existence. In particular, for functions with a smooth quadratic part, a generalization of the existence condition given by Fichera's theorem is proved.