Related papers: On Fr\'echet differentiability of Lipschitz maps b…

We show that any non-zero Banach space with a separable dual contains a totally disconnected, closed and bounded subset S of Hausdorff dimension 1 such that every Lipschitz function on the space is Fr\'echet differentiable somewhere in S.

We prove that for every function $f:X\to Y$, where $X$ is a separable Banach space and $Y$ is a Banach space with RNP, there exists a set $A\in\tilde\mcA$ such that $f$ is Gateaux differentiable at all $x\in S(f)\setminus A$, where $S(f)$…

We investigate the differentiability properties of real-valued quasiconvex functions f defined on a separable Banach space X. Continuity is only assumed to hold at the points of a dense subset. If so, this subset is automatically residual.…

This paper contributes to the generalization of Rademacher's differentiability result for Lipschitz functions when the domain is infinite dimensional and has nonabelian group structure. We introduce the notion of metric scalable groups…

Let $X_1, \dots, X_n$ be Banach spaces and $f$ a real function on $X=X_1 \times\dots \times X_n$. Let $A_f$ be the set of all points $x \in X$ at which $f$ is partially Fr\' echet differentiable but is not Fr\' echet differentiable. Our…

Let X be a complex Banach space, in this work we characterize the property of Frechet differentiability for the dual space of X. In the following, we show that if the dual space of X is Gateaux differentiable, then the dual space of Lp(X)…

Let $X$ be a separable Banach space, $Y$ a Banach space and $f: X \to Y$ a mapping. We prove that there exists a $\sigma$-directionally porous set $A\subset X$ such that if $x\in X \setminus A$, $f$ is Lipschitz at $x$, and $f$ is G\^ateaux…

Rademacher theorem states that every Lipschitz function on the Euclidean space is differentiable almost everywhere, where "almost everywhere" refers to the Lebesgue measure. In this paper we prove a differentiability result of similar type,…

It is well known that in $R^n$ , G{\^a}teaux (hence Fr{\'e}chet) differ-entiability of a convex continuous function at some point is equivalent to the existence of the partial derivatives at this point. We prove that this result extends…

It is known that if a twice differentiable function has a Lipschitz continuous Hessian, then its gradients satisfy a Jensen-type inequality. In particular, this inequality is Hessian-free in the sense that the Hessian does not actually…

We conjecture that whenever $M$ is a metric space of density at most continuum, then the space of Lipschitz functions is $w^*$-separable. We prove the conjecture for several classes of metric spaces including all the Banach spaces with a…

Let $X$ be a Banach space and $\Gamma \subseteq X^*$ a total linear subspace. We study the concept of $\Gamma$-integrability for $X$-valued functions $f$ defined on a complete probability space, i.e. an analogue of Pettis integrability by…

We show that no matter what subset of a normed space is given, a typical 1-Lipschitz mapping into a Banach space is non-differentiable at a typical point of the set in a very strong sense: the derivative ratio approximates, on arbitrary…

We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is…

The main result: for every sequence $\{\omega_m\}_{m=1}^\infty$ of positive numbers ($\omega_m>0)$ there exists an isometric embedding $F:[0,1]\to L_1[0,1]$ which is nowhere differentiable, but for each $t\in [0,1]$ the image $F_t$ is…

We combine Kirchheim's metric differentials with Cheeger charts in order to establish a non-embeddability principle for any collection $\mathcal C$ of Banach (or metric) spaces: if a metric measure space $X$ bi-Lipschitz embeds in some…

Let $f$ be a Lipschitz map from a subset $A$ of a stratified group to a Banach homogeneous group. We show that directional derivatives of $f$ act as homogeneous homomorphisms at density points of $A$ outside a $\sigma$-porous set. At…

In our note we show the very close connection between the existence of a Finite Dimensional Decomposition (FDD for short) for a separable Banach space $X$ and the existence of a Lipschitz retraction of $X$ onto a small (in a certain precise…

We set up a descriptive set-theoretic framework to study Lipschitz-free spaces and use the reduction argument of Bossard to prove several results. We prove two universality results: if a separable Banach space is isomorphically universal…

We show that, given a Banach space $X$, the Lipschitz-free space over $X$, denoted by $\mathcal{F}(X)$, is isomorphic to $(\sum_{n=1}^\infty \mathcal{F}(X))_{\ell_1}$. Some applications are presented, including a non-linear version of…