On the infimum of the upper envelope of certain families of functions

Abstract

In this paper, given a topological space $X$, an interval $I\subseteq {\bf R}$ and five continuous functions $φ, ψ, ω:X\to {\bf R}$, $α, β:I\to {\bf R}$, we are interested in the infimum of the function $Φ:X\to ]-\infty,+\infty]$ defined by $$Φ(x)=\sup_{λ\in I}(α(λ)φ(x)+β(λ)ψ(x))+ω(x)\ .$$ Using a recent minimax theorem ([5]), we build a general scheme which provides the exact value of $\inf_XΦ$ for a large class of functions $Φ$. When additional compactness conditions are satisfied, our scheme provides also the existence of (explicitly detected) functions $γ, η:X\to {\bf R}$ such that, for some $\tilde x\in X$, one has $$γ(\tilde x)φ(\tilde x)+η(\tilde x)ψ(\tilde x)+ω(\tilde x)=\inf_{x\in X}(γ(\tilde x)φ(x)+η(\tilde x)ψ(x)+ω(x))\ .$$