Related papers: Chain rule for pointwise Lipschitz mappings

The classical McShane-Whitney extension theorem for Lipschitz functions is refined by showing that for a closed subset of the domain, it remains valid for any interval of the real line. This result is also extended to the setting of locally…

We investigate when the local Lipschitz property of the real-valued function $g(z) = d_Y (f(z),A)$ implies the global Lipschitz property of the mapping $f:X\to Y$ between the metric spaces $(X,d_X)$ and $(Y,d_Y)$. Here, $d_Y(y,A)$ denotes…

We give sufficient conditions for a $ C^1_c $-local diffeomorphism between Fr\'{e}chet spaces to be a global one. We extend the Clarke's theory of generalized gradients to the more general setting of Fr\'{e}chet spaces. As a consequence, we…

In this paper, locally Lipschitz, regular functions are utilized to identify and remove infeasible directions from set-valued maps that define differential inclusions. The resulting reduced set-valued map is point-wise smaller (in the sense…

Let $A$ be Banach algebra over commutative ring $D$. The map $f:A\rightarrow A\ $ is called differentiable in the Gateaux sense, if $$f(x+a)-f(x)=\partial f(x)\circ a+o(a)$$ where the Gateaux derivative $\partial f(x)$ of map $f$ is linear…

We consider Riemann mappings from bounded Lipschitz domains in the plane to a triangle. We show that in this case the Riemann mapping has a linear variational principle: it is the minimizer of the Dirichlet energy over an appropriate affine…

A Path-Complete Lyapunov Function is an algebraic criterion composed of a finite number of functions, called its pieces, and a directed, labeled graph defining Lyapunov inequalities between these pieces. It provides a stability certificate…

We demonstrate the necessity of a Poincar\'e type inequality for those metric measure spaces that satisfy Cheeger's generalization of Rademacher's theorem for all Lipschitz functions taking values in a Banach space with the Radon-Nikodym…

Given a Lipschitz map $f$ from a cube into a metric space, we find several equivalent conditions for $f$ to have a Lipschitz factorization through a metric tree. As an application we prove a recent conjecture of David and Schul. The…

We prove that a typical Lipschitz mapping between any two Banach spaces is non-differentiable at typical points of any given subset of its domain in the most extreme form. This is a new result even for Lipschitz mappings between Euclidean…

The natural forms of the Leibniz rule for the $k$th derivative of a product and of Fa\`a di Bruno's formula for the $k$th derivative of a composition involve the differential operator $\partial^k/\partial x_1 ... \partial x_k$ rather than…

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 show new results of wellposedness for the Cauchy problem for the half wave equation with power-type nonlinear terms. For the purpose, we propose two approaches on the basis of the contraction-mapping argument. One of them relies upon the…

We prove that the regular $n\times n$ square grid of points in the integer lattice $\mathbb{Z}^{2}$ cannot be recovered from an arbitrary $n^{2}$-element subset of $\mathbb{Z}^{2}$ via a mapping with prescribed Lipschitz constant…

We consider a class of non-homogeneous Markov chains, that contains many natural examples. Next, using martingale methods, we establish some deviation and moment inequalities for separately Lipschitz functions of such a chain, under moment…

The nonlinear wave equation $u_{tt}-c(u)(c(u)u_x)_x=0$ determines a flow of conservative solutions taking values in the space $H^1(\mathbb{R})$. However, this flow is not continuous w.r.t. the natural $H^1$ distance. Aim of this paper is to…

Rademacher theorem asserts that Lipschitz continuous functions between Euclidean spaces are differentiable almost everywhere. In this work we extend this result to set-valued maps using an adequate notion of set-valued differentiability…

We investigate the properties of arithmetic differentiation, an attempt to adapt the notion of differentiation to the integers by preserving the Leibniz rule, (ab)' = a'b + ab'. This has proved to be a very rich topic with many different…

We prove that any correspondence (multi-function) mapping a metric space into a Banach space that satisfies a certain pointwise Lipschitz condition, always has a continuous selection that is pointwise Lipschitz on a dense set of its domain.…

Let ${\mathfrak M}=({\mathcal M},\rho)$ be a metric space and let $X$ be a Banach space. Let $F$ be a set-valued mapping from ${\mathcal M}$ into the family ${\mathcal K}_m(X)$ of all compact convex subsets of $X$ of dimension at most $m$.…