Table of Contents
Fetching ...

Extending quasiconvex functions from uniformly convex sets

Carlo Alberto De Bernardi, Libor Veselý

Abstract

Let $X$ be a normed space of a finite dimension at least two, and $C\subsetneq X$ a closed convex set with nonempty interior. We are interested in extending Lipschitz quasiconvex functions on $C$ to quasiconvex functions on $X$. We show that, unlike what holds for convex functions, in general one cannot obtain Lipschitz extensions (except for trivial cases). If we require just uniformly continuous or continuous extensions, such extendability properties for $C$ are shown to be characterized by some geometric properties of $C$.

Extending quasiconvex functions from uniformly convex sets

Abstract

Let be a normed space of a finite dimension at least two, and a closed convex set with nonempty interior. We are interested in extending Lipschitz quasiconvex functions on to quasiconvex functions on . We show that, unlike what holds for convex functions, in general one cannot obtain Lipschitz extensions (except for trivial cases). If we require just uniformly continuous or continuous extensions, such extendability properties for are shown to be characterized by some geometric properties of .
Paper Structure (9 sections, 27 theorems, 65 equations, 2 figures)

This paper contains 9 sections, 27 theorems, 65 equations, 2 figures.

Key Result

Theorem 1.1

Let $C\subset X$ be an arbitrary nonempty convex set, and let $f\colon C\to\mathbb{R}$ be a convex function which is $L$-Lipschitz (that is, Lipschitz with a Lipschitz constant $L\ge0$). Then the formula $F(x)=\inf_{u\in C}\bigl\{ f(u)+L\|x-u\| \bigr\}$ defines an $L$-Lipschitz convex extension of $

Figures (2)

  • Figure 1: Construction of the function $\widetilde{f}$
  • Figure 2: Construction of the sets $D_k$

Theorems & Definitions (61)

  • Theorem 1.1
  • Theorem 1.2
  • Definition 2.2
  • proof
  • Theorem 3.1
  • proof
  • Theorem 3.2
  • proof
  • Theorem 4.1
  • proof : Proof of Theorem \ref{['no_ucQC']}
  • ...and 51 more