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...

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:

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.

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....

Two applications of smoothness in C(K) spaces

Matías Raja (2014)

Studia Mathematica

Similarity:

A simple observation about embeddings of smooth Banach spaces into C(K) spaces allows us to construct a parametrization of the separable Banach spaces using closed subsets of the interval [0,1]. The same idea is applied to the study of the isometric embedding of $ℓ_{p}$ spaces into certain C(K) spaces with the additional condition that the functions of the image must be Lipschitz with respect to a fixed finer metric on K. The feasibility of that kind of embeddings is related to Szlenk indices. ...

Nonlinear mappings preserving at least one eigenvalue

Constantin Costara, Dušan Repovš (2010)

Studia Mathematica

Similarity:

We prove that if F is a Lipschitz map from the set of all complex n × n matrices into itself with F(0) = 0 such that given any x and y we know that F(x) - F(y) and x-y have at least one common eigenvalue, then either $F (x) = u x u^{- 1}$ or $F (x) = u x^{t} u^{- 1}$ for all x, for some invertible n × n matrix u. We arrive at the same conclusion by supposing F to be of class ¹ on a domain in ℳₙ containing the null matrix, instead of Lipschitz. We also prove that if F is of class ¹ on a domain containing the null matrix satisfying...

Filippov Lemma for matrix fourth order differential inclusions

Grzegorz Bartuzel, Andrzej Fryszkowski (2014)

Banach Center Publications

Similarity:

In the paper we give an analogue of the Filippov Lemma for the fourth order differential inclusions y = y”” - (A² + B²)y” + A²B²y ∈ F(t,y), (*) with the initial conditions y(0) = y’(0) = y”(0) = y”’(0) = 0, (**) where the matrices $A, B \in ℝ^{d \times d}$ are commutative and the multifunction $F : [0, 1] \times ℝ^{d} ⇝ c l (ℝ^{d})$ is Lipschitz continuous in y with a t-independent constant l < ||A||²||B||². Main theorem. Assume that $F : [0, 1] \times ℝ^{d} ⇝ c l (ℝ^{d}) i s m e a s u r a b l e i n t a n d i n t e g r a b l y b o u n d e d . L e t$ y₀ ∈ W4,1 $b e a n a r b i t r a r y f u n c t i o n s a t i s f y i n g (* *) a n d s u c h t h a t$ $d_{H} (y ₀ (t), F (t, y ₀ (t))) \leq p ₀ (t)$ a.e. in [0,1], where p₀ ∈ L¹[0,1]. Then there exists a solution y ∈ W4,1 of (*)...

Operator Lipschitz functions on Banach spaces

Jan Rozendaal, Fedor Sukochev, Anna Tomskova (2016)

Studia Mathematica

Similarity:

Let X, Y be Banach spaces and let (X,Y) be the space of bounded linear operators from X to Y. We develop the theory of double operator integrals on (X,Y) and apply this theory to obtain commutator estimates of the form $| | f (B) S - {S f (A) | |}_{(X, Y)} \leq c o n s t | | B S - {S A | |}_{(X, Y)}$ for a large class of functions f, where A ∈ (X), B ∈ (Y) are scalar type operators and S ∈ (X,Y). In particular, we establish this estimate for f(t): = |t| and for diagonalizable operators on $X = ℓ_{p}$ and $Y = ℓ_{q}$ for p < q. We also study the estimate above in the setting of Banach...

Generalized gradients for locally Lipschitz integral functionals on non- $L^{p}$ -type spaces of measurable functions

Hôǹg Thái Nguyêñ, Dariusz Pączka (2008)

Banach Center Publications

Similarity:

Let (Ω,μ) be a measure space, E be an arbitrary separable Banach space, $E *_{ω *}$ be the dual equipped with the weak* topology, and g:Ω × E → ℝ be a Carathéodory function which is Lipschitz continuous on each ball of E for almost all s ∈ Ω. Put $G (x) : = \int_{Ω} g (s, x (s)) d μ (s)$ . Consider the integral functional G defined on some non- $L^{p}$ -type Banach space X of measurable functions x: Ω → E. We present several general theorems on sufficient conditions under which any element γ ∈ X* of Clarke’s generalized gradient (multivalued...

Local analysis of a cubically convergent method for variational inclusions

Steeve Burnet, Alain Pietrus (2011)

Applicationes Mathematicae

Similarity:

This paper deals with variational inclusions of the form 0 ∈ φ(x) + F(x) where φ is a single-valued function admitting a second order Fréchet derivative and F is a set-valued map from $ℝ^{q}$ to the closed subsets of $ℝ^{q}$ . When a solution z̅ of the previous inclusion satisfies some semistability properties, we obtain local superquadratic or cubic convergent sequences.

James boundaries and σ-fragmented selectors

B. Cascales, M. Muñoz, J. Orihuela (2008)

Studia Mathematica

Similarity:

We study the boundary structure for w*-compact subsets of dual Banach spaces. To be more precise, for a Banach space X, 0 < ϵ < 1 and a subset T of the dual space X* such that ⋃ B(t,ϵ): t ∈ T contains a James boundary for $B_{X *}$ we study different kinds of conditions on T, besides T being countable, which ensure that $X * = {\bar{s p a n T}}^{| | \cdot | |}$ . (SP) We analyze two different non-separable cases where the equality (SP) holds: (a) if $J : X \to 2^{B_{X *}}$ is the duality mapping and there exists a σ-fragmented map f: X → X* such that...

An extension of Mazur's theorem on Gateaux differentiability to the class of strongly α (·)-paraconvex functions

S. Rolewicz (2006)

Studia Mathematica

Similarity:

Let (X,||·||) be a separable real Banach space. Let f be a real-valued strongly α(·)-paraconvex function defined on an open convex subset Ω ⊂ X, i.e. such that $f (t x + (1 - t) y) \leq t f (x) + (1 - t) f (y) + m i n [t, (1 - t)] α (| | x - y | |)$ . Then there is a dense $G_{δ}$ -set $A_{G} \subset Ω$ such that f is Gateaux differentiable at every point of $A_{G}$ .