Continuity of optimal transport maps and convexity of injectivity domains on small deformations of 𝕊2

Given a compact Riemannian manifold, we study the regularity of the optimal transport map between two probability measures with cost given by the squared Riemannian distance. Our strategy is to define a new form of the so‐called Ma‐Trudinger‐Wang condition and to show that this condition, together with the strict convexity on the nonfocal domains, implies the continuity of the optimal transport map. Moreover, our new condition, again combined with the strict convexity of the nonfocal domains, allows us to prove that all injectivity domains are strictly convex too. These results apply, for instance, on any small C⁴‐deformation of the 2‐sphere. © 2009 Wiley Periodicals, Inc.     

Gamma–closure of some classes of nonstandard convex integrands

Within the framework of the theory of Γ-convergence for convex functionals with nonstandard coercivity and growth conditions, we study the inheritance of some properties (for example, strict convexity, differentiablility, and Δ₂-property) of integrands under taking the Γ-closure. We focus on power integrands |ξ| ^p(x) with variable exponents. The results obtained are also of interest in the case of the Γ-convergence theory for standard functionals. Bibliography: 15 titles.     

Convexity of solutions and estimates for fully nonlinear elliptic equations

The starting point of this work is a paper by Alvarez, Lasry and Lions (1997) concerning the convexity and the partial convexity of solutions of fully nonlinear degenerate elliptic equations. We extend their results in two directions. First, we deal with possibly sublinear (but epi-pointed) solutions instead of 1-coercive ones; secondly, the partial convexity of C² solutions is extended to the class of continuous viscosity solutions. A third contribution of this paper concerns C^1,1 estimates for convex viscosity solutions of strictly elliptic nonlinear equations. To finish with, all the tools and techniques introduced here permit us to give a new proof of the Alexandroff estimate obtained by Trudinger (1988) and Caffarelli (1989).     

Convexity of Images of Convex Sets under Smooth Maps

The article presents sufficient conditions for convexity of images of convex sets under smooth mappings of finite-dimensional spaces of the same dimensions. Applications of the results to nonlinear programming are discussed. Efficient convexity tests are derived for images of Lebesgue sets of convex functions under C ^{1, 1} maps.     

Quantum stochastic convolution cocycles III

Every Markov-regular quantum Lévy process on a multiplier C ^*-bialgebra is shown to be equivalent to one governed by a quantum stochastic differential equation, and the generating functionals of norm-continuous convolution semigroups on a multiplier C ^*-bialgebra are then completely characterised. These results are achieved by extending the theory of quantum Lévy processes on a compact quantum group, and more generally quantum stochastic convolution cocycles on a C ^*-bialgebra, to locally compact quantum groups and multiplier C ^*-bialgebras. Strict extension results obtained by Kustermans, together with automatic strictness properties developed here, are exploited to obtain existence and uniqueness for coalgebraic quantum stochastic differential equations in this setting. Then, working in the universal enveloping von Neumann bialgebra, we characterise the stochastic generators of Markov-regular, *-homomorphic (respectively completely positive and contractive), quantum stochastic convolution cocycles.     

Admissible slopes for monotone and convex interpolation

Summary In many applications, interpolation of experimental data exhibiting some geometric property such as nonnegativity, monotonicity or convexity is unacceptable unless the interpolant reflects these characteristics. This paper identifies admissible slopes at data points of variousC ¹ interpolants which ensure a desirable shape. We discuss this question, in turn for the following function classes commonly used for shape preserving interpolations: monotone polynomials,C ¹ monotone piecewise polynomials, convex polynomials, parametric cubic curves and rational functions.     

Second-order epi-derivatives of integral functionals

Epi-derivatives have many applications in optimization as approached through nonsmooth analysis. In particular, second-order epi-derivatives can be used to obtain optimality conditions and carry out sensitivity analysis. Therefore the existence of second-order epi-derivatives for various classes of functions is a topic of considerable interest. A broad class of composite functions on ⁿ called fully amenable functions (which include general penalty functions composed withC ² mappings, possibly under a constraint qualification) are now known to be twice epi-differentiable. Integral functionals appear widely in problems in infinite-dimensional optimization, yet to date, only integral functionals defined by convex integrands have been shown to be twice epi-differentiable, provided that the integrands are twice epi-differentiable. Here it is shown that integral functionals are twice epi-differentiable even without convexity, provided only that their defining integrands are twice epi-differentiable and satisfy a uniform lower boundedness condition. In particular, integral functionals defined by fully amenable integrands are twice epi-differentiable under mild conditions on the behavior of the integrands.This work was supported in part by the National Science Foundation under grant DMS-9200303.     

Pre-dual of the Function Algebra A ?��(D) and Representation of Functions in Dirichlet Series

In this paper we describe, via the Laplace transformation of analytic functionals, a pre-dual to the function algebra A ^−∞(D) (D being either a bounded C ²-smooth convex domain in ${\mathbb{C}^N (N > 1)}${\mathbb{C}^N (N > 1)} , or a bounded convex domain in \mathbbC{\mathbb{C}}) as a space of entire functions with certain growth. A possibility of representation of functions from the pre-dual space in a form of Dirichlet series with frequencies from D, is also studied.     

Definition and properties of a particular notion of convexity

In an attempt to develop a general theory of nonlinear equations with exactly three solutions in general Hilbert spaces, we have noticed that a particular notion of convexity plays a key role. This paper is devoted to the study of some of its basic properties and we show how it generalizes homogeneous convex functionals on the one hand and some special convex functions of one real variable on the other hand. The important case of functionals associated with Nemytskii's operators is treated as an example.     

Two shape preserving lagrangeC 2-interpolants

Summary We present a LagrangeC ²-interpolant to scattered convex data which preserves convexity. We also present a LagrangeC ²-interpolant to uniformly spaced monotone data sites which preserves monotonicity. In both cases no further conditions are required on the data values. These interpolants are explicitely described and local. Error isO(h ³) when the function to be interpolated isC ³.     

SHAPEI PRESERVING PIECEWISE CUBIC INTERPOLATION

This paper presents a C^1-interpolation which preserves convexity to scattered convex data. The interpolant is local and explicitly described. The interpolating function si(x) is C^2 on each interval (xi, xi 1). Error will be O(h^2) when the function to he interpolated is C^3.     

Origin and evolution of the Palais–Smale condition in critical point theory

In 1963–64, Palais and Smale have introduced a compactness condition, namely condition (C), on real functions of class C ¹ defined on a Riemannian manifold modeled upon a Hilbert space, in order to extend Morse theory to this frame and study nonlinear partial differential equations. This condition and some of its variants have been essential in the development of critical point theory on Banach spaces or Banach manifolds, and are referred as Palais–Smale-type conditions. The paper describes their evolution.     

A weak condition for the convexity of tensor-product Bézier and B-spline surfaces

A sufficient condition for a tensor-product Bézier surface to be convex is presented. The condition does not require that the control surface itself is convex, which is known to be a very restrictive property anyway. The convexity condition is generalised toC ¹ tensor-product B-spline surfaces.     

Cyclic Hypomonotonicity,Cyclic Submonotonicity,and Integration

Rockafellar has shown that the subdifferentials of convex functions are always cyclically monotone operators. Moreover, maximal cyclically monotone operators are necessarily operators of this type, since one can construct explicitly a convex function, which turns out to be unique up to a constant, whose subdifferential gives back the operator. This result is a cornerstone in convex analysis and relates tightly convexity and monotonicity. In this paper, we establish analogous robust results that relate weak convexity notions to corresponding notions of weak monotonicity, provided one deals with locally Lipschitz functions and locally bounded operators. In particular, the subdifferentials of locally Lipschitz functions that are directionally hypomonotone [respectively, directionally submonotone] enjoy also an additional cyclic strengthening of this notion and in fact are maximal under this new property. Moreover, every maximal cyclically hypomonotone [respectively, maximal cyclically submonotone] operator is always the Clarke subdifferential of some directionally weakly convex [respectively, directionally approximately convex] locally Lipschitz function, unique up to a constant, which in finite dimentions is a lower C² function [respectively, a lower C¹ function].     

Quadratic Interpolation on Spheres

Riemannian quadratics are C ¹ curves on Riemannian manifolds, obtained by performing the quadratic recursive deCastlejeau algorithm in a Riemannian setting. They are of interest for interpolation problems in Riemannian manifolds, such as trajectory-planning for rigid body motion. Some interpolation properties of Riemannian quadratics are analysed when the ambient manifold is a sphere or projective space, with the usual Riemannian metrics.     

Various characterizations of convex fuzzy games

This note enlarges the literature on convex fuzzy games with new characterizing properties of such games besides the increasing average marginal return property, namely: the monotonicity of the first partial derivatives, the directional convexity and forC ²-functions the non-negativity of the second order partial derivatives.     

A note on the differentiability of conjugate functions

For a proper, lower semicontinuous and convex function f with Legendre–Fenchel conjugate f ^*, it is well-known that differentiability properties of f ^* are equivalent to strict convexity properties of f. In this note a result of this kind is obtained without a convexity assumption on f.     

Complément de Schur et sous-différentiel du second ordre d'une fonction convexe

Summary The Schur complement relative to the linear mappingA of a functionf is denotedAf and defined as the image off underA. In this paper we give some estimates for the second-order differential ofAf whenf is either a partially quadratic convex function or aC ² convex function with a nonsingular second-order differential. We then consider an arbitrary convex functionf and study the second-order differentiability ofAf in a more general sense.