Smoothness properties of the lower semicontinuous quasiconvex envelope (Q606465)

Summary: Assume that \(K\subset\mathbb R^{nm}\) is a convex body with \(o\in \text{int}(K)\) and \(\widetilde{f}: \mathbb R^{nm}\to\mathbb R\) is a Lipschitz resp. \(C^1\)-function. Defining the unbounded function \(f: \mathbb R^{nm}\to\mathbb R\cup\{(+\infty)\}\) through \[ f(v)=\begin{cases} \widetilde{f}(v), &v\in K,\\ (+\infty), &v\in\mathbb R^{nm}\setminus K, \end{cases} \] we provide sufficient conditions in order to guarantee that its lower semicontinuous quasiconvex envelope \[ f^{(qc)}(w)= \sup\bigg\{g(w)\;\bigg|\;\begin{aligned} &g:\mathbb R^{nm}\to\mathbb R\cup\{(+\infty)\} \text{ quasiconvex and }\\ &\text{lower semicontinuous, }g(v)\leq f(v)\;\forall v\in\mathbb R^{nm} \end{aligned} \bigg\} \] is globally Lipschitz continuous on \(K\) or differentiable in \(v\in\text{int}(K)\), respectively. An example shows that the partial derivatives of \(f^{(qc)}\) do not necessarily admit a representation with a ``supporting measure'' for \(f^{(qc)}\) in \(v_0\).