We survey recent results on the structure of the range of the derivative of a smooth real valued function f defined on a real Banach space X and of a smooth mapping F between two real Banach spaces X and Y. We recall some necessary conditions and some sufficient conditions on a subset A of L(X,Y) for the existence of a Fréchet-differentiable mapping F from X into Y so that F'(X) = A. Whenever F is only assumed Gâteaux-differentiable, new phenomena appear: we discuss the existence of a mapping F...

A subset of ${ℝ}^d$ is called a universal differentiability set if it contains a point of differentiability of every Lipschitz function $f:{ℝ}^d\to ℝ$. We show that any universal differentiability set contains a ‘kernel’ in which the points of differentiability of each Lipschitz function are dense. We further prove that no universal differentiability set may be decomposed as a countable union of relatively closed, non-universal differentiability sets.

We study a class of functions which contains both convex functions and differentiable functions whose derivatives are locally Lipschitzian or Hölderian. This class is a subclass of the class of approximately convex functions. It enjoys refined properties. We also introduce a class of sets whose associated distance functions are of that type. We discuss the properties of the metric projections on such sets under some assumptions on the geometry of the Banach spaces in which they are embedded. We...

In this paper, we offer a new stability concept, practical Ulam-Hyers-Rassias stability, for nonlinear equations in Banach spaces, which consists in a restriction of Ulam-Hyers-Rassias stability to bounded subsets. We derive some interesting sufficient conditions on practical Ulam-Hyers-Rassias stability from a nonlinear functional analysis point of view. Our method is based on solving nonlinear equations via homotopy method together with Bihari inequality result. Then we consider nonlinear equations...

We study the structure of Lipschitz and Hölder-type spaces and their preduals on general metric spaces, and give applications to the uniform structure of Banach spaces. In particular we resolve a problem of Weaver who asks wether if M is a compact metric space and 0 < α < 1, it is always true the space of Hölder continuous functions of class α is isomorphic to l∞. We show that, on the contrary, if M is a compact convex subset of a Hilbert space this isomorphism holds if and only if...

Given a compact manifold $N^n$, an integer $k\in {\mathbb{N}}_{*}$ and an exponent $1\le p<\infty$, we prove that the class $C^{\infty }({\overline{Q}}^m;N^n)$ of smooth maps on the cube with values into $N^n$ is dense with respect to the strong topology in the Sobolev space $W^{k,p}(Q^m;N^n)$ when the homotopy group ${\pi }_{\lfloor kp\rfloor }\left(N^n\right)$ of order $\lfloor kp\rfloor$ is trivial. We also prove density of maps that are smooth except for a set of dimension $m-\lfloor kp\rfloor -1$, without any restriction on the homotopy group of $N^n$.