scholarly journals Lipschitz functions with unexpectedly large sets of nondifferentiability points

2005 ◽  
Vol 2005 (4) ◽  
pp. 361-373 ◽  
Author(s):  
Marianna Csörnyei ◽  
David Preiss ◽  
Jaroslav Tišer

It is known that everyGδsubsetEof the plane containing a dense set of lines, even if it has measure zero, has the property that every real-valued Lipschitz function onℝ2has a point of differentiability inE. Here we show that the set of points of differentiability of Lipschitz functions inside such sets may be surprisingly tiny: we construct aGδsetE⊂ℝ2containing a dense set of lines for which there is a pair of real-valued Lipschitz functions onℝ2having no common point of differentiability inE, and there is a real-valued Lipschitz function onℝ2whose set of points of differentiability inEis uniformly purely unrectifiable.

2008 ◽  
Vol 8 (1) ◽  
pp. 99-177 ◽  
Author(s):  
Frank Calegari ◽  
Barry Mazur

AbstractLet K be an arbitrary number field, and let ρ : Gal($\math{\bar{K}}$/K) → GL2(E) be a nearly ordinary irreducible geometric Galois representation. In this paper, we study the nearly ordinary deformations of ρ. When K is totally real and ρ is modular, results of Hida imply that the nearly ordinary deformation space associated to ρ contains a Zariski dense set of points corresponding to ‘automorphic’ Galois representations. We conjecture that if K is not totally real, then this is never the case, except in three exceptional cases, corresponding to: (1) ‘base change’, (2) ‘CM’ forms, and (3) ‘even’ representations. The latter case conjecturally can only occur if the image of ρ is finite. Our results come in two flavours. First, we prove a general result for Artin representations, conditional on a strengthening of the Leopoldt Conjecture. Second, when K is an imaginary quadratic field, we prove an unconditional result that implies the existence of ‘many’ positive-dimensional components (of certain deformation spaces) that do not contain infinitely many classical points. Also included are some speculative remarks about ‘p-adic functoriality’, as well as some remarks on how our methods should apply to n-dimensional representations of Gal($\math{\bar{\QQ}}$/ℚ) when n > 2.


Author(s):  
Joram Lindenstrauss ◽  
David Preiss ◽  
Tiˇser Jaroslav

This chapter gives an account of the known genuinely infinite dimensional results proving Fréchet differentiability almost everywhere except for Γ‎-null sets. Γ‎-null sets provide the only notion of negligible sets with which a Fréchet differentiability result is known. Porous sets appear as sets at which Gâteaux derivatives can behave irregularly, and they turn out to be the only obstacle to validity of a Fréchet differentiability result Γ‎-almost everywhere. Furthermore, geometry of the space may (or may not) guarantee that porous sets are Γ‎-null. The chapter also shows that on some infinite dimensional Banach spaces countable collections of real-valued Lipschitz functions, and even of fairly general Lipschitz maps to infinite dimensional spaces, have a common point of Fréchet differentiability.


Author(s):  
Joram Lindenstrauss ◽  
David Preiss ◽  
Tiˇser Jaroslav

This chapter treats results on ε‎-Fréchet differentiability of Lipschitz functions in asymptotically smooth spaces. These results are highly exceptional in the sense that they prove almost Frechet differentiability in some situations when we know that the closed convex hull of all (even almost) Fréchet derivatives may be strictly smaller than the closed convex hull of the Gâteaux derivatives. The chapter first presents a simple proof of an almost differentiability result for Lipschitz functions in asymptotically uniformly smooth spaces before discussing the notion of asymptotic uniform smoothness. It then proves that in an asymptotically smooth Banach space X, any finite set of real-valued Lipschitz functions on X has, for every ε‎ > 0, a common point of ε‎-Fréchet differentiability.


2018 ◽  
Vol 2020 (21) ◽  
pp. 7433-7453
Author(s):  
Dragos Ghioca ◽  
Junyi Xie

Abstract Let $k$ be an algebraically closed field of characteristic $0$, let $N\in{\mathbb{N}}$, let $g:{\mathbb{P}}^1{\longrightarrow } {\mathbb{P}}^1$ be a nonconstant morphism, and let $A:{\mathbb{A}}^N{\longrightarrow } {\mathbb{A}}^N$ be a linear transformation defined over $k({\mathbb{P}}^1)$, that is, for a Zariski-open dense subset $U\subset{\mathbb{P}}^1$, we have that for $x\in U(k)$, the specialization $A(x)$ is an $N$-by-$N$ matrix with entries in $k$. We let $f:{\mathbb{P}}^1\times{\mathbb{A}}^N{\dashrightarrow } {\mathbb{P}}^1\times{\mathbb{A}}^N$ be the rational endomorphism given by $(x,y)\mapsto (\,g(x), A(x)y)$. We prove that if $g$ induces an automorphism of ${\mathbb{A}}^1\subset{\mathbb{P}}^1$, then each irreducible curve $C\subset{\mathbb{A}}^1\times{\mathbb{A}}^N$ that intersects some orbit $\mathcal{O}_f(z)$ in infinitely many points must be periodic under the action of $f$. Furthermore, in the case $g:{\mathbb{P}}^1{\longrightarrow } {\mathbb{P}}^1$ is an endomorphism of degree greater than $1$, then we prove that each irreducible subvariety $Y\subset{\mathbb{P}}^1\times{\mathbb{A}}^N$ intersecting an orbit $\mathcal{O}_f(z)$ in a Zariski dense set of points must be periodic. Our results provide the desired conclusion in the Dynamical Mordell–Lang Conjecture in a couple new instances. Moreover, our results have interesting consequences toward a conjecture of Rubel and toward a generalized Skolem–Mahler–Lech problem proposed by Wibmer in the context of difference equations. In the appendix it is shown that the results can also be used to construct Picard–Vessiot extensions in the ring of sequences.


1957 ◽  
Vol 53 (2) ◽  
pp. 312-317 ◽  
Author(s):  
Trevor J. Mcminn

1. Introduction. Let 0 < λ < 1 and remove from the closed unit interval the open interval of length λ concentric with the unit interval. From each of the two remaining closed intervals of length ½(1 − λ) remove the concentric open interval of length ½λ(1 − λ). From each of the four remaining closed intervals of length ¼λ(1 − λ)2 remove the concentric open interval of length ¼λ(l − λ)2, etc. The remaining set is a perfect non-dense set of Lebesgue measure zero and is the Cantor set for λ = ⅓. Let Tλr be the Cartesian product of this set with the set similar to it obtained by magnifying it by a factor r > 0. Letting L be Carathéodory linear measure (1) and letting G be Gillespie linear square(2), Randolph(3) has established the following relations:


1989 ◽  
Vol 39 (2) ◽  
pp. 233-238 ◽  
Author(s):  
Simon Fitzpatrick

We investigate the circumstances under which the distance function to a closed set in a Banach space having a one-sided directional derivative equal to 1 or −1 implies the existence of nearest points. In reflexive spaces we show that at a dense set of points outside a closed set the distance function has a directional derivative equal to 1.


1993 ◽  
Vol 47 (2) ◽  
pp. 205-212 ◽  
Author(s):  
J.R. Giles ◽  
Scott Sciffer

For a locally Lipschitz function on a separable Banach space the set of points of Gâteaux differentiability is dense but not necessarily residual. However, the set of points where the upper Dini derivative and the Clarke derivative agree is residual. It follows immediately that the set of points of intermediate differentiability is also residual and the set of points where the function is Gâteaux but not strictly differentiable is of the first category.


2019 ◽  
pp. 1-44
Author(s):  
Barry Minemyer

We prove that every proper [Formula: see text]-dimensional length metric space admits an “approximate isometric embedding” into Lorentzian space [Formula: see text]. By an “approximate isometric embedding” we mean an embedding which preserves the energy functional on a prescribed set of geodesics connecting a dense set of points.


1963 ◽  
Vol 3 (2) ◽  
pp. 134-150 ◽  
Author(s):  
J. H. Michael

Let Q denote the closed unit cube in Rn. The elementary area A(f) of a Lipschitz function f on Q is given by the formula.


Sign in / Sign up

Export Citation Format

Share Document