A strong form of almost differentiability

We present a uniformization of Reeken's macroscopic differentiability (see [5]), discuss its relations to uniform differentiability (see [6]) and classical continuous differentiability, prove the corresponding chain rule, Taylor's theorem, mean value theorem, and inverse mapping theorem. An attempt to compare it with the observability (see [1, 4]) is made too. © 2009 Springer Science+Business Media, Inc.CEOCFCTFEDER/POCT

Randomness and differentiability in higher dimensions

We present two theorems concerned with algorithmic randomness and differentiability of functions of several variables. Firstly, we prove an effective form of the Rademacher's Theorem: we show that computable randomness implies differentiability of computable Lipschitz functions of several variables. Secondly, we show that weak 2-randomness is equivalent to differentiability of computable a.e. differentiable functions of several variables.Comment: 19 page

A note on Hadamard differentiability and differentiability in quadratic mean

We proof that Hadamard differentiability in addition with usual assumptions on the loss function for M estimates implies differentiability in quadratic mean. Thus both concepts are exchangeable. --Hadamard differential,Differentiability in quadratic mean

G\^ ateaux and Hadamard differentiability via directional differentiability

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 $\sigma$-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 with the usual one-sided derivatives and G\^ ateaux differentiability is also proved. It generalizes a result of D. Preiss and the author, in which $f$ is supposed to be Lipschitz