Minimal multi-convex projections

Grzegorz Lewicki ; Michael Prophet

Studia Mathematica, Tome 178 (2007), p. 99-124 / Harvested from The Polish Digital Mathematics Library

Résumé

We say that a function from $X = C^{L}[0,1]$ is k-convex (for k ≤ L) if its kth derivative is nonnegative. Let P denote a projection from X onto V = Πₙ ⊂ X, where Πₙ denotes the space of algebraic polynomials of degree less than or equal to n. If we want P to leave invariant the cone of k-convex functions (k ≤ n), we find that such a demand is impossible to fulfill for nearly every k. Indeed, only for k = n-1 and k = n does such a projection exist. So let us consider instead a more general “shape” to preserve. Let σ = ( σ₀, σ₁, ..., σₙ) be an (n + 1)-tuple with $σ_{i} ∈ {0, 1}$; we say f ∈ X is multi-convex if $f^{(i)} ≥ 0$ for i such that $σ_{i} = 1$. We characterize those σ for which there exists a projection onto V preserving the multi-convex shape. For those shapes able to be preserved via a projection, we construct (in all but one case) a minimal norm multi-convex preserving projection. Out of necessity, we include some results concerning the geometrical structure of $C^{L}[0,1]$.

Détail

Publié le : 2007-01-01

Zbl 1120.46010

EUDML-ID : urn:eudml:doc:284903