Related papers: G\^ ateaux and Hadamard differentiability via dire…
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 $H$ be a real Hilbert space and $C$ a nonempty closed and convex subset of $H$. Let $P_C: H\rightarrow C$ denote the (standard) metric projection operator. In this paper, we study the G\^ateaux directional differentiability of $P_C$ and…
We show that various functionals related to the supremum of a real function defined on an arbitrary set or a measure space are Hadamard directionally differentiable. We specifically consider the supremum norm, the supremum, the infimum, and…
We show how to modify an argument of D. W. Stroock to show that an additive map from one separable Banach space to another, that is "universally Gaussian measurable", must be continuous (hence linear).
In this note we find $\lambda>1$ and give an explicit construction of a separable Banach space $X$ such that there is no $\lambda$-Lipschitz retraction from $X$ onto any compact convex subset of $X$ whose closed linear span is $X$. This is…
We prove maximum and comparison principles for fractional discrete derivatives in the integers. Regularity results when the space is a mesh of length $h$, and approximation theorems to the continuous fractional derivatives are shown. When…
Suppose that $(X,d,\mu)$ is a metric measure space of finite Hausdorff dimension and that, for every Lipschitz $f \colon X \to \mathbb R$, $\operatorname{Lip}(f,\cdot)$ is dominated by every upper gradient of $f$. We show that $X$ is a…
We establish the following converse of the well-known inverse function theorem. Let $g:U\to V$ and $f:V\to U$ be inverse homeomorphisms between open subsets of Banach spaces. If $g$ is differentiable of class $C^p$ and $f$ if locally…
It is known that a Lipschitz continuous map from the Euclidean domain to a metric space is metrically differentiable almost everywhere. When the metric space is a Banach space dual to separable, the metric differential has its linear…
We propose global surjectivity theorems of differentiable maps based on second order conditions. Using the homotopy continuation method, we demonstrate that, for a $C^2$ differentiable map from a Hilbert space to a finite-dimensional…
An important consequence of the Hahn-Banach Theorem says that on any locally convex Hausdorff topological space $X$, there are sufficiently many continuous linear functionals to separate points of $X$. In the paper, we establish a `local'…
We study the problem of extending any order-preserving Lipschitz function that maps a subset of a partially ordered Hilbert space X into a Hadamard poset Y without increasing its Lipschitz constant and preserving its monotonicity. This sort…
We show that if $X$ is an infinite-dimensional separable Banach space (or more generally a Banach space with an infinite-dimensional separable quotient) then there is a continuous mapping $f\colon X\to X$ such that the autonomous…
Let $\{F_n\}$ be the sequence of the Fej\'er kernels on the unit circle $\mathbb{T}$. The first author recently proved that if $X$ is a separable Banach function space on $\mathbb{T}$ such that the Hardy-Littlewood maximal operator $M$ is…
We prove that whenever a sequence of invertible and bounded operators $(A_m)_{m\in \mathbb{Z}}$ acting on a Banach space $X$ admits an exponential dichotomy and a sequence of differentiable maps $f_m \colon X\to X$, $m\in \mathbb{Z}$, has…
The author (Bull. Math. Anal. App. 6(4)(2014):1-15), introduced a new fractional derivative, \[{}^\rho \mathcal{D}_a^\alpha f (x) = \frac{\rho^{\alpha-n+1}}{\Gamma({n-\alpha})} \, \bigg(x^{1-\rho} \,\frac{d}{dx}\bigg)^n \int^x_a…
We prove the differentiability of Lipschitz maps X-->V, where X is a complete metric measure space satisfying a doubling condition and a Poincar\'e inequality, and V is a Banach space with the Radon Nikodym Property (RNP). The proof depends…
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…
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\^{a}teaux and Fr\'echet differentiability of subspaces of $C_b(K)$. Using this, we show that the set of all…
We prove that the path space of a differentiable manifold is diffeomorphic to a Fr\'echet space, endowing the path space with a linear structure. Furthermore, the base point preserving mapping space consisting of maps from a cube to a…