A new proof of Fréchet differentiability of Lipschitz functions

Joram Lindenstrauss; David Preiss

Displaying similar documents to “A new proof of Fréchet differentiability of Lipschitz functions”

Biseparating maps on generalized Lipschitz spaces

Denny H. Leung (2010)

Studia Mathematica

Similarity:

Let X, Y be complete metric spaces and E, F be Banach spaces. A bijective linear operator from a space of E-valued functions on X to a space of F-valued functions on Y is said to be biseparating if f and g are disjoint if and only if Tf and Tg are disjoint. We introduce the class of generalized Lipschitz spaces, which includes as special cases the classes of Lipschitz, little Lipschitz and uniformly continuous functions. Linear biseparating maps between generalized Lipschitz spaces are...

A Lipschitz function which is $C^{\infty}$ on a.e. line need not be generically differentiable

Luděk Zajíček (2013)

Colloquium Mathematicae

Similarity:

We construct a Lipschitz function f on X = ℝ ² such that, for each 0 ≠ v ∈ X, the function f is $C^{\infty}$ smooth on a.e. line parallel to v and f is Gâteaux non-differentiable at all points of X except a first category set. Consequently, the same holds if X (with dimX > 1) is an arbitrary Banach space and “a.e.” has any usual “measure sense”. This example gives an answer to a natural question concerning the author’s recent study of linearly essentially smooth functions (which generalize essentially...

On the structure of universal differentiability sets

Michael Dymond (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

A subset of $ℝ^{d}$ is called a universal differentiability set if it contains a point of differentiability of every Lipschitz function $f : ℝ^{d} \to ℝ$ . We show that any universal differentiability set contains a ‘kernel’ in which the points of differentiability of each Lipschitz function are dense. We further prove that no universal differentiability set may be decomposed as a countable union of relatively closed, non-universal differentiability sets.

Double sine series with nonnegative coefficients and Lipschitz classes

Vanda Fülöp (2006)

Colloquium Mathematicae

Similarity:

Denote by $f_{s s} (x, y)$ the sum of a double sine series with nonnegative coefficients. We present necessary and sufficient coefficient conditions in order that $f_{s s}$ belongs to the two-dimensional multiplicative Lipschitz class Lip(α,β) for some 0 < α ≤ 1 and 0 < β ≤ 1. Our theorems are extensions of the corresponding theorems by Boas for single sine series.

Lipschitz and uniform embeddings into $ℓ_{\infty}$

N. J. Kalton (2011)

Fundamenta Mathematicae

Similarity:

We show that there is no uniformly continuous selection of the quotient map $Q : ℓ_{\infty} \to ℓ_{\infty} / c ₀$ relative to the unit ball. We use this to construct an answer to a problem of Benyamini and Lindenstrauss; there is a Banach space X such that there is a no Lipschitz retraction of X** onto X; in fact there is no uniformly continuous retraction from $B_{X * *}$ onto $B_{X}$ .

$P^{λ}$ -spaces and $L^{λ}$ -spaces

Nguyen To Nhu (1979)

Colloquium Mathematicae

Similarity:

Some algebraic and homological properties of Lipschitz algebras and their second duals

F. Abtahi, E. Byabani, A. Rejali (2019)

Archivum Mathematicum

Similarity:

Let $(X, d)$ be a metric space and $α > 0$ . We study homological properties and different types of amenability of Lipschitz algebras ${Lip}_{α} X$ and their second duals. Precisely, we first provide some basic properties of Lipschitz algebras, which are important for metric geometry to know how metric properties are reflected in simple properties of Lipschitz functions. Then we show that all of these properties are equivalent to either uniform discreteness or finiteness of $X$ . Finally, some results concerning...

Lipschitz extensions of convex-valued maps

Alberto Bressan, Agostino Cortesi (1986)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti Lincei. Matematica e Applicazioni

Similarity:

Si dimostra che ogni funzione multivoca lipschitziana con costante di Lipschitz $M$ , definita su un sottoinsieme di uno spazio di Hilbert $H$ a valori compatti e convessi in $\mathbb{R}^{n}$ , può essere estesa su tutto $H$ ad una funzione multivoca lipschitziana con costante minore di 7 nM. In generale, non esistono invece estensioni aventi la stessa costante di Lipschitz $M$ .

On continuous composition operators

Wilhelmina Smajdor (2010)

Annales Polonici Mathematici

Similarity:

Let I ⊂ ℝ be an interval, Y be a normed linear space and Z be a Banach space. We investigate the Banach space Lip₂(I,Z) of all functions ψ: I → Z such that $M_{ψ} : = s u p | | [r, s, t; ψ] | | : r < s < t, r, s, t \in I < \infty$ , where [r,s,t;ψ]:= ((s-r)ψ(t)+(t-s)ψ(r)-(t-r)ψ(s))/((t-r)(t-s)(s-r)). We show that ψ ∈ Lip₂(I,Z) if and only if ψ is differentiable and its derivative ψ’ is Lipschitzian. Suppose the composition operator N generated by h: I × Y → Z, (Nφ)(t):= h(t,φ(t)), maps the set (I,Y) of all affine functions φ: I → Y into Lip₂(I,Z). We prove...

Lipschitz equivalence of graph-directed fractals

Ying Xiong, Lifeng Xi (2009)

Studia Mathematica

Similarity:

This paper studies the geometric structure of graph-directed sets from the point of view of Lipschitz equivalence. It is proved that if ${E_{i}}_{i}$ and ${F_{j}}_{j}$ are dust-like graph-directed sets satisfying the transitivity condition, then $E_{i ₁}$ and $E_{i ₂}$ are Lipschitz equivalent, and $E_{i}$ and $F_{j}$ are quasi-Lipschitz equivalent when they have the same Hausdorff dimension.

On differentiability properties of Lipschitz functions on a Banach space with a Lipschitz uniformly Gâteaux differentiable bump function

Luděk Zajíček (1997)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We improve a theorem of P.G. Georgiev and N.P. Zlateva on Gâteaux differentiability of Lipschitz functions in a Banach space which admits a Lipschitz uniformly Gâteaux differentiable bump function. In particular, our result implies the following theorem: If $d$ is a distance function determined by a closed subset $A$ of a Banach space $X$ with a uniformly Gâteaux differentiable norm, then the set of points of $X ∖ A$ at which $d$ is not Gâteaux differentiable is not only a first category set, but...

On Banach spaces C(K) isomorphic to c₀(Γ)

Witold Marciszewski (2003)

Studia Mathematica

Similarity:

We give a characterization of compact spaces K such that the Banach space C(K) is isomorphic to the space c₀(Γ) for some set Γ. As an application we show that there exists an Eberlein compact space K of weight $ω_{ω}$ and with the third derived set $K^{(3)}$ empty such that the space C(K) is not isomorphic to any c₀(Γ). For this compactum K, the spaces C(K) and $c ₀ (ω_{ω})$ are examples of weakly compactly generated (WCG) Banach spaces which are Lipschitz isomorphic but not isomorphic.

Multiple conjugate functions and multiplicative Lipschitz classes

Ferenc Móricz (2009)

Colloquium Mathematicae

Similarity:

We extend the classical theorems of I. I. Privalov and A. Zygmund from single to multiple conjugate functions in terms of the multiplicative modulus of continuity. A remarkable corollary is that if a function f belongs to the multiplicative Lipschitz class $L i p (α ₁, . . ., α_{N})$ for some $0 < α ₁, . . ., α_{N} < 1$ and its marginal functions satisfy $f (\cdot, x ₂, . . ., x_{N}) \in L i p β ₁, . . ., f (x ₁, . . ., x_{N - 1}, \cdot) \in L i p β_{N}$ for some $0 < β ₁, . . ., β_{N} < 1$ uniformly in the indicated variables $x_{l}$ , 1 ≤ l ≤ N, then $f ̃^{(η ₁, . . ., η_{N})} \in L i p (α ₁, . . ., α_{N})$ for each choice of $(η ₁, . . ., η_{N})$ with $η_{l} = 0$ or 1 for 1 ≤ l ≤ N.

Approximate biflatness and Johnson pseudo-contractibility of some Banach algebras

Amir Sahami, Mohammad R. Omidi, Eghbal Ghaderi, Hamzeh Zangeneh (2020)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study the structure of Lipschitz algebras under the notions of approximate biflatness and Johnson pseudo-contractibility. We show that for a compact metric space $X$ , the Lipschitz algebras ${Lip}_{α} (X)$ and ${lip}_{α} (X)$ are approximately biflat if and only if $X$ is finite, provided that $0 < α < 1$ . We give a necessary and sufficient condition that a vector-valued Lipschitz algebras is Johnson pseudo-contractible. We also show that some triangular Banach algebras are not approximately biflat.

Boundary Value Problems for Higher Order Operators in Lipschitz and $C^{1}$ Domains

Jill Pipher (1992-1993)

Publications mathématiques et informatique de Rennes

Similarity:

Lipschitz extensions of convex-valued maps

Alberto Bressan, Agostino Cortesi (1986)

Atti della Accademia Nazionale dei Lincei. Classe di Scienze Fisiche, Matematiche e Naturali. Rendiconti

Similarity:

Generalized α-variation and Lebesgue equivalence to differentiable functions

Jakub Duda (2009)

Fundamenta Mathematicae

Similarity:

We find conditions on a real function f:[a,b] → ℝ equivalent to being Lebesgue equivalent to an n-times differentiable function (n ≥ 2); a simple solution in the case n = 2 appeared in an earlier paper. For that purpose, we introduce the notions of $C B V G_{1 / n}$ and $S B V G_{1 / n}$ functions, which play analogous rôles for the nth order differentiability to the classical notion of a VBG⁎ function for the first order differentiability, and the classes $C B V_{1 / n}$ and $S B V_{1 / n}$ (introduced by Preiss and Laczkovich) for Cⁿ smoothness....

Solving variational inclusions by a multipoint iteration method under center-Hölder continuity conditions

Catherine Cabuzel, Alain Pietrus (2007)

Applicationes Mathematicae

Similarity:

We prove the existence of a sequence $(x_{k})$ satisfying $0 \in f (x_{k}) + \sum_{i = 1}^{M} a_{i} \nabla f (x_{k} + β_{i} (x_{k + 1} - x_{k})) (x_{k + 1} - x_{k}) + F (x_{k + 1})$ , where f is a function whose second order Fréchet derivative ∇²f satifies a center-Hölder condition and F is a set-valued map from a Banach space X to the subsets of a Banach space Y. We show that the convergence of this method is superquadratic.

A Sufficient Condition for the $C^{2}$ -Rectifiability of the Set of Regular Values (in the Sense of Clarke) of a Lipschitz Map

Silvano Delladio (2008)

Bollettino dell'Unione Matematica Italiana

Similarity:

We prove a result about the rectifiability of class $C^{2}$ of the set of regular values (in the sense of Clarke) of a Lipschitz map $\varphi\colon\mathbb{R}^{n}\rightarrow\mathbb{R}^{N}$ with $n<N$

Interpolation and extension of Lipschitz-Hölder maps on $C_{p}$ spaces

Charles E. C Cleaver (1973)

Colloquium Mathematicae

Similarity:

Lipschitz spaces of holomorphic and pluriharmonic functions on bounded symmetric domains in $C^{N}$ (N>1)

Josephine Mitchell (1981)

Annales Polonici Mathematici

Similarity:

Canonical Banach function spaces generated by Urysohn universal spaces. Measures as Lipschitz maps

Piotr Niemiec (2009)

Studia Mathematica

Similarity:

It is proved (independently of the result of Holmes [Fund. Math. 140 (1992)]) that the dual space of the uniform closure $C F L (_{r})$ of the linear span of the maps x ↦ d(x,a) - d(x,b), where d is the metric of the Urysohn space $_{r}$ of diameter r, is (isometrically if r = +∞) isomorphic to the space $L I P (_{r})$ of equivalence classes of all real-valued Lipschitz maps on $_{r}$ . The space of all signed (real-valued) Borel measures on $_{r}$ is isometrically embedded in the dual space of $C F L (_{r})$ and it is shown that the image...

On the range of the derivative of a real-valued function with bounded support

T. Gaspari (2002)

Studia Mathematica

Similarity:

We study the set f’(X) = f’(x): x ∈ X when f:X → ℝ is a differentiable bump. We first prove that for any C²-smooth bump f: ℝ² → ℝ the range of the derivative of f must be the closure of its interior. Next we show that if X is an infinite-dimensional separable Banach space with a $C^{p}$ -smooth bump b:X → ℝ such that $| | b^{(p)} {| |}_{\infty}$ is finite, then any connected open subset of X* containing 0 is the range of the derivative of a $C^{p}$ -smooth bump. We also study the finite-dimensional case which is quite different....

Fréchet differentiability via partial Fréchet differentiability

Luděk Zajíček (2023)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

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échet differentiable but is not Fréchet differentiable. Our results imply that if $X_{1}, \dots, X_{n - 1}$ are Asplund spaces and $f$ is continuous (respectively Lipschitz) on $X$ , then $A_{f}$ is a first category set (respectively a $σ$ -upper porous set). We also prove that if $X$ , $Y$ are separable Banach spaces and $f : X \to Y$ is a Lipschitz mapping, then there exists a $σ$ -upper porous set $A \subset X$ such that $f$ is Fréchet differentiable...