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)$ is the set of points where $f$ is pointwise-Lipschitz. This improves a result of Bongiorno. As a corollary, we obtain that every $K$-monotone function on a separable Banach space is Hadamard differentiable outside of a set belonging to $\tilde\mcC$; this improves a result due to Borwein and Wang. Another corollary is that if $X$ is Asplund, $f:X\to\R$ cone monotone, $g:X\to\R$ continuous convex, then there exists a point in $X$, where $f$ is Hadamard differentiable and $g$ is Frechet differentiable.
Let $(Ω, \mathcal{M}, μ)$ be a measure space. In this paper we establish the set of Gâteaux differentiability for the usual norm of $L^{1}(Ω, μ)$ and the corresponding derivative formulae at each point in this set.
It is well known that in $R^n$ , G{â}teaux (hence Fr{é}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 naturally to certain infinite dimensional vector spaces, in particular to Banach spaces having a Schauder basis.
This paper deals with the extension of a classical theorem by R. Phelps on the Gâteaux differentiability of Lipschitz functions on separable Banach spaces to the non-separable case. The extension of the theorem is not possible for general non-separable Banach spaces, as shown by Larman. Therefore, we will work on some important non-separable spaces. We consider a norm of the non-separable space $\ell^{\infty}(\mathbb{R})$, showing that it complies with the aforementioned theorem thesis. We also consider other examples as $L^{\infty}(\mathbb{R})$ and $NBV[a,b]$, showing in all cases their sets …
We consider convex series of molecules in Lipschitz-free spaces, i.e. elements of the form $μ=\sum_n λ_n \frac{δ_{x_n}-δ_{y_n}}{d(x_n,y_n)}$ such that $\|μ\|=\sum_n |λ_n |$. We characterise these elements in terms of geometric conditions on the points $x_n$, $y_n$ of the underlying metric space, and determine when they are points of Gâteaux differentiability of the norm. In particular, we show that Gâteaux and Fréchet differentiability are equivalent for finitely supported elements of Lipschitz-free spaces over uniformly discrete and bounded metric spaces, and that their tensor products with G…
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 which are our infinite-dimensional analogues of Carnot groups. The groups in which we will mostly be interested are the ones that admit a dense increasing sequence of (finite-dimensional) Carnot subgroups. In fact, in each of these spaces we show that every Lipschitz function has a point of Gâteaux differentiability. We provide examples and criteria for when suc…
A well-known open question is whether every countable collection of Lipschitz functions on a Banach space X with separable dual has a common point of Frechet differentiability. We show that the answer is positive for some infinite-dimensional X. Previously, even for collections consisting of two functions this has been known for finite-dimensional X only (although for one function the answer is known to be affirmative in full generality). Our aims are achieved by introducing a new class of null sets in Banach spaces (called $Γ$-null sets), whose definition involves both the notions of category…
We study the relationships between Gateaux, weak Hadamard and Frechet differentiability and their bornologies for Lipschitz and for convex functions. In particular, Frechet and weak Hadamard differentiabily coincide for all Lipschitz functions if and only if the space is reflexive (an earlier paper of the first two authors shows that these two notions of differentiability coincide for continuous convex functions if and only if the space does not contain a copy of $\ell_1$). We also examine when Gateaux and weak Hadamard differentiability coincide for continuous convex functions. For instance, …
In this paper, we study a part of approximation theory that presents the conditions under which a \Ceby\sev set in a Banach space is convex. To do so, we use Gateaux differentiability of the distance function.
We establish the following results on higher order $\mathcal{S}^p$-differentiability, $1<p<\infty$, of the operator function arising from a continuous scalar function $f$ and self-adjoint operators defined on a fixed separable Hilbert space: (i) $f$ is $n$ times continuously Fréchet $\mathcal{S}^p$-differentiable at every bounded self-adjoint operator if and only if $f\in C^n(\mathbb{R})$; (ii) if $f',\ldots,f^{(n-1)}\in C_b(\mathbb{R})$ and $f^{(n)}\in C_0(\mathbb{R})$, then $f$ is $n$ times continuously Fréchet $\mathcal{S}^p$-differentiable at every self-adjoint operator; (iii) if $f',\ldot…
Let X be a real uniformly convex and uniformly smooth Banach space and C a nonempty closed and convex subset of X. Let Pc from X to C denote the (standard) metric projection operator. In this paper, we define the Gateaux directional differentiability of Pc. We investigate some properties of the Gateaux directional differentiability of Pc. In particular, if C is a closed ball or a closed and convex cone (including proper closed subspaces), then, we give the exact representations of the directional derivatives of Pc. Finally, we define the concept of p-q uniformly convex and uniformly smooth Ban…
We characterize the limited operators by differentiability of convex continuous functions. Given Banach spaces $Y$ and $X$ and a linear continuous operator $T: Y \longrightarrow X$, we prove that $T$ is a limited operator if and only if, for every convex continuous function $f: X \longrightarrow \R$ and every point $y\in Y$, $f\circ T$ is Fréchet differentiable at $y\in Y$ whenever $f$ is Gâteaux differentiable at $T(y)\in 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 $σ$-directionally porous set $A\subset X$ such that if $x\in X \setminus A$, $f$ is Lipschitz at $x$, and $f$ is Gâteaux differentiable at $x$, then $f$ is Hadamard differentiable at $x$. If $f$ is Borel measurable (or has the Baire property) and is G\^ ateaux differentiable at all points, then $f$ is Hadamard differentiable at all points except a set which is $σ$-directionally porous set (and so is Aronszajn null, Haar null and $Γ$-null). Consequently, an everywhere G\^ ateaux diff…
Let $K$ be a Hausdorff space and $C_b(K)$ be the Banach algebra of all complex bounded continuous functions on $K$. We study the Gâteaux and Fréchet differentiability of subspaces of $C_b(K)$. Using this, we show that the set of all strong peak functions in a nontrivial separating separable subspace $H$ of $C_b(K)$ is a dense $G_δ$ subset of $H$, if $K$ is compact. This gives a generalized Bishop's theorem, which says that the closure of the set of strong peak point for $H$ is the smallest closed norming subset of $H$. The classical Bishop's theorem was proved for a separating subalgebra $H$ a…
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. Sample results that can be quoted without involving any new concept or nomenclature are as follows: (i) If f is usc or strictly quasiconvex, then f is Hadamard differentiable at the points of a dense subset of X (ii) If f is even, then f is continuous and Gateaux differentiable at the points of a dense subset of X. In (i) or (ii), the dense subset need not b…
For distributions, we build a theory of higher order pointwise differentiability comprising, for order zero, Łojasiewicz's notion of point value. Results include Borel regularity of differentials, higher order rectifiability of the associated jets, a Rademacher-Stepanov type differentiability theorem, and a Lusin type approximation. A substantial part of this development is new also for zeroth order. Moreover, we establish a Poincaré inequality involving the natural norms of negative order of differentiability. As a corollary, we characterise pointwise differentiability in terms of point value…
Let $X$ be a separable Banach space, $Y$ a Banach space and $f: X \to Y$ an arbitrary mapping. Then the following implication holds at each point $x \in X$ except a $σ$-directionally porous set: If the one-sided Hadamard directional derivative $f'_{H+}(x,u)$ exists in all directions $u$ from a set $S_x \subset X$ whose linear span is dense in $X$, then $f$ is Hadamard differentiable at $x$. This theorem improves and generalizes a recent result of A.D. Ioffe, in which the linear span of $S_x$ equals $X$ and $Y = \R$. An analogous theorem, in which $f$ is pointwise Lipschitz, and which deals wit…
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 $σ$-porous set. At density points of $A$ we establish a pointwise characterization of differentiability in terms of directional derivatives. We use these new results to obtain an alternate proof of almost everywhere differentiability of Lipschitz maps from subsets of stratified groups to Banach homogeneous groups satisfying a suitably weakened Radon-Nikodym property. As a consequence we …
We discuss removability problems concerning differentiability and pointwise Lipschitz conditions for functions of a real variable. We prove that, in each of the settings under consideration, a set is removable if and only if it has no perfect subsets.
Best approximation (BA) is an interesting field in functional analysis that has attracted a lot of attention from many researchers for a very long period of time up-to-date. Of greatest consideration is the characterization of the Chebyshev set (CS) which is a subset of a normed linear space (NLS) which contains unique BAs. However, a fundamental question remains unsolved to-date regarding the convexity of the CS in infinite NLS known as the CS problem. The question which has not been answered is: Is every CS in a NLS convex?. This question has not got any solution including the simplest form …
We show that there is an operator space notion of Lipschitz embeddability between operator spaces which is strictly weaker than its linear counterpart but which is still strong enough to impose linear restrictions on operator space structures. This shows that there is a nontrivial theory of nonlinear geometry for operator spaces and it answers a question in [BCD21]. For that, we introduce the operator space version of Lipschitz-free Banach spaces and prove several properties of it. In particular, we show that separable operator spaces satisfy a sort of isometric Lipschitz-lifting property in t…
Recently Gigli developed a Sobolev calculus on non-smooth spaces using module theory. In this paper it is shown that his theory fits nicely into the theory of differentiability spaces initiated by Cheeger, Keith and others. A relaxation procedure for $L^p$-valued subadditive functionals is presented and a relationship between the module generated by a functional and the one generated by its relaxation is given. In the framework of differentiability spaces, which includes so called PI- and $RCD(K,N)$-spaces, the Lipschitz module is pointwise finite dimensional. A general renorming theorem toget…
We introduce and study spaces of multivariate functions of bounded variation generalizing the classical Jordan and Wiener spaces. Multivariate generalizations of the Jordan space were given by several prominent researchers but each of them preserved only some special properties of the space used further in few selected applications. Unlike this the multivariate generalization of the Jordan space presented in this paper preserves all known and reveals some previously unknown properties of the space. These, in turn, are special cases of the basic properties of the introduced spaces proved in the…
