Let (A_0,A_1) and (B_0,B_1) be Banach couples such that A_0 is contained in A_1 and (B_0,B_1) satisfies Arne Persson's approximation condition (H). Let T:A_1 --> B_1 be a possibly nonlinear Lipschitz mapping which also maps A_0 into B_0 and satisfies the following quantitative compactnesss condition:
Ta \in ||a||_{A_0} K for each a \in A_0, where K is a fixed compact subset of B_0. We show that T maps the real interpolation space (A_0,A_1)_{θ,p} compactly into its counterpart (B_0,B_1)_{θ,p} for each θ\in (0,1) and p \in [1,\infty].
We study the relationship between exact interpolation spaces for positive, linear operators, for order preserving, Lipschitz continuous operators, and for positive Gagliardo-Peetre operators, and exact partially $K$-monotone spaces in interpolation couples of compatible Banach lattices. By general Banach lattice theory we recover a characterisation of exact interpolation spaces for order preserving, Lipschitz continuous operators in the couple $(L^1,L^\infty )$ due to Bénilan and Crandall.
Let (A_0,A_1) and (B_0,B_1) be Banach couples with A_0 contained in A_1 and B_0 contained in B_1. Let T:A_1 --> B_1 be a possibly nonlinear operator which is a compact Lipschitz map of A_j into B_j for j=0,1. It is known that T maps the Lions-Peetre space (A_0,A_1)_θ,q boundedly into (B_0,B_1)_θ,q for each θin (0,1) and each q in [1,\infty), and that this map is also compact if if T is linear. We present examples which show that in general the map T:(A_0,A_1)_θ,q --> (B_0,B_1)_θ,q is not compact.
We give a complete description of homomorphisms between two Banach algebras of Lipschitz functions with values in continuous functions. We also characterize the compactness of those homomorphisms.
Let $X$ be a pointed compact metric space. Assuming that $\mathrm{lip}_0(X)$ has the uniform separation property, we prove that every weakly compact composition operator on spaces of Lipschitz functions $\mathrm{Lip}_0(X)$ and $\mathrm{lip}_0(X)$ is compact.
This note corrects a gap and improves results in an earlier paper by the first named author. More precisely, it is shown that on weakly compactly generated Banach spaces X which admit a C^{p} smooth norm, one can uniformly approximate uniformly continuous functions f:X->R by Lipschitz, C^{p} smooth functions. Moreover, there is a constant C>1 so that any L-Lipschitz function f:X->R can be uniformly approximated by CL-Lipschitz, C^{p} smooth functions. This provides a `Lipschitz version' of the classical approximation results of Godefroy, Troyanski, Whitfield and Zizler.
Any Lipschitz map $f : M \to N$ between two pointed metric spaces may be extended in a unique way to a bounded linear operator $\widehat{f} : \mathcal F(M) \to \mathcal F(N)$ between their corresponding Lipschitz-free spaces. In this paper, we give a necessary and sufficient condition for $\widehat{f}$ to be compact in terms of metric conditions on $f$. This extends a result by A. Jiménez-Vargas and M. Villegas-Vallecillos in the case of non-separable and unbounded metric spaces. After studying the behavior of weakly convergent sequences made of finitely supported elements in Lipschitz-free sp…
We prove the result stated in the title. This provides a first example of an infinite-dimensional Banach space whose Lipschitz free space is isomorphic to the free space of a compact set.
Let $M$ be a compact subset of a superreflexive Banach space. We prove that the Lipschitz-free space $\mathcal{F}(M)$, the predual of the Banach space of Lipschitz functions on $M$, has the Pełczyński's property ($V^\ast$). As a consequence, the Lipschitz-free space $\mathcal{F}(M)$ is weakly sequentially complete.
Bernstein-Nikolskii inequalities and Riesz interpolation formula are established for eigenfunctions of Laplace operators and polynomials on compact homogeneous manifolds.
We investigate the stability of compactness of bilinear operators acting on the product of interpolation of Banach spaces. We develop a general framework for such results and our method applies to abstract methods of interpolation in the senseof Aronszajn and Gagliardo. A key step is to show an one-sided bilinear interpolation theorem on compactness for bilinear operators on couples satisfying an approximation property. We show applications to general cases, including Peetre's method and the general real interpolation methods.
We prove that all extreme points of the unit ball of a Lipschitz-free space over a compact metric space have finite support. Combined with previous results, this completely characterizes extreme points and implies that all of them are also extreme points in the bidual ball. For the proof, we develop some properties of an integral representation of functionals on Lipschitz spaces originally due to K. de Leeuw.
We prove an abstract theorem on keeping the compactness property of a linear operator after interpolation in Banach spaces. No analytical presentation of operators, spaces and interpolation functor is required. We use only some little-known properties of compact sets and various facts about bases and basic sequences (with detailed references to the monograph "Bases in Banach spaces", Vol. I-II by I.M. Singer). Therefore the results are applicable to arbitrary spaces and any interpolation functor, including the complex method. The "two-sided" compactness is also mentioned at the end of this pap…
We prove that for any separable Banach space $X$, there exists a compact metric space which is homeomorphic to the Cantor space and whose Lipschitz-free space contains a complemented subspace isomorphic to $X$. As a consequence we give an example of a compact metric space which is homeomorphic to the Cantor space and whose Lipschitz-free space fails the approximation property and we prove that there exists an uncountable family of topologically equivalent distances on the Cantor space whose free spaces are pairwise non isomorphic. We also prove that the free space over a countable compact metr…
We prove a general principle satisfied by weakly precompact sets of Lipschitz-free spaces. By this principle, certain infinite dimensional phenomena in Lipschitz-free spaces over general metric spaces may be reduced to the same phenomena in free spaces over their compact subsets. As easy consequences we derive several new and some known results. The main new results are: $\mathcal F(X)$ is weakly sequentially complete for every superreflexive Banach space $X$, and $\mathcal F(M)$ has the Schur property and the approximation property for every scattered complete metric space $M$.
The following result was announced in the earlier version(s) of this paper: On weakly compactly generated Banach spaces which admit a Lipschitz, C^{p} smooth bump function, one can uniformly approximate uniformly continuous, bounded, real-valued functions by Lipschitz, C^{p} smooth functions. Unfortunately, there is a gap in the proof which renders the proof in its present form incorrect
We study extension theorems for Lipschitz-type operators acting on metric spaces and with values on spaces of integrable functions. Pointwise domination is not a natural feature of such spaces, and so almost everywhere inequalities and other measure-theoretic notions are introduced.%more appropriate. Thus, we adapt the classical definition of Lipschitz map to the context of spaces of integrable functions by introducing such elements. We analyze Lipschitz type inequalities in two fundamental cases. The first concerns a.e. pointwise inequalities, while the second considers dominations involving …
The behavior of bilinear operators acting on interpolation of Banach spaces for the $ρ$ method in relation to the compactness is analyzed. Similar results of Lions-Peetre, Hayakawa and Person's compactness theorems are obtained for the bilinear case and the $ρ$ method.
In our note we show the very close connection between the existence of a Finite Dimensional Decomposition (FDD for short) for a separable Banach space $X$ and the existence of a Lipschitz retraction of $X$ onto a small (in a certain precise sense) generating convex and compact subset $K$ of $X$. In one direction, if $X$ admits an FDD then we construct a Lipschitz retraction onto a small generating convex and compact set $K$. On the other hand, we prove that if $X$ admits a small generating compact Lipschitz retract then $X$ has the $π$-property. We note that it is still unknown if the $π$-prop…
We characterise the Banach spaces $X$ which are $L_1$-predual as those for which every Lipschitz compact mapping $f:N\longrightarrow X$ admits, for every $\varepsilon>0$ and every $M$ containing $N$, a Lipschitz (compact) extension $F:M\longrightarrow X$ so that $\Vert F\Vert\leq (1+\varepsilon)\Vert f\Vert$. Some consequences are derived about $L_1$-preduals and about Lipschitz-free spaces.
In this article, we characterize the bounded and the compact multiplication operators between distinct iterated logarithmic Lipschitz spaces, and between the Lipschitz space and an iterated logarithmic Lipschitz space of an infinite tree. In addition, we provide operator norm estimates and show that there are no isometries among such operators. %We obtain a new characterization of the bounded multiplication operators acting on an iterated logarithmic Lipschitz space and the compact multiplication operators between the weighted Lipschitz space and the Lipschitz space.
The family of harmonic Hilbert spaces is a natural enlargement of those classical $L^{2}$-Sobolev space on $\R^d$ which consist of continuous functions. In the present paper we demonstrate that the use of basic results from the theory of Wiener amalgam spaces allows to establish fundamental properties of harmonic Hilbert spaces even if they are defined over an arbitrary locally compact abelian group $\G$. Even for $\G = \R^{d}$ this new approach improves previously known results. In this paper we present results on minimal norm interpolators over lattices and show that the infinite minimal nor…
Let $X$ be a Banach space and let $C$ be a closed convex bounded subset of $X$. It is proved that $C$ is weakly compact if, and only if, $C$ has the {it generic} fixed point property ($\mathcal{G}$-FPP) for the class of $L$-bi-Lipschitz affine mappings for every $L>1$. It is also proved that if $X$ has Pełczyński's property $(u)$, then either $C$ is weakly compact, contains an $\ell_1$-sequence or a $\mathrm{c}_0$-summing basic sequence. In this case, weak compactness of $C$ is equivalent to the $\mathcal{G}$-FPP for the strengthened class of affine mappings that are uniformly bi-Lipschitz. We…
We devise a fairly general method for estimating the size of quotients between algebras of functions on a locally compact group. This method is based on the concept of interpolation sets and unifies the approaches followed by many authors to obtain particular cases. Among the applications we find, we obtain that the quotients WAP(G)/B(G) (G being a locally compact group in the class [IN] or a nilpotent locally compact group) and CB(G)/LUC(G) (G being any non-compact non-discrete locally compact group) contain a linearly isometric copy of \ell_\infty(κ(G)) where κ(G) is the compact covering num…
Interpolation Theory gives techniques for constructing spaces from two initial Banach spaces. We provide several conditions under which the restriction of a holomorphic map $f:X_0+X_1 \rightarrow Y_0+Y_1$ to the interpolated spaces (using some specific interpolation methods), where $f_{|X_0}:X_0 \rightarrow Y_0$ is compact, is also compact and holomorphic.
We introduce $B_w^u$-function spaces which unify Lebesgue, Morrey-Campanato, Lipschitz, $B^p$, CMO, local Morrey-type spaces, etc., and investigate the interpolation property of $B_w^u$-function spaces. We also apply it to the boundedness of linear and sublinear operators, for example, the Hardy-Littlewood maximal and fractional maximal operators, singular and fractional integral operators with rough kernel, the Littlewood-Paley operator, Marcinkiewicz operator, and so on.
We prove that the Lipschitz free space over a certain type of discrete metric space has the Radon-Nikodým property. We also show that the Lipschitz free space over a complete, locally compact metric space has the Schur or approximation property whenever the Lipschitz free space over each compact subset also has this property.
Let $ X=(X_0,X_1)$ and $ Y=(Y_0,Y_1)$ be Banach couples and suppose $T: X\to Y$ is a linear operator such that $T:X_0\to Y_0$ is compact. We consider the question whether the operator $T:[X_0,X_1]_θ\to [Y_0,Y_1]_θ$ is compact and show a positive answer under a variety of conditions. For example it suffices that $X_0$ be a UMD-space or that $X_0$ is reflexive and there is a Banach space so that $X_0=[W,X_1]_α$ for some $0<α<1.$
In this paper we show that if $(y_n)$ is a seminormalized sequence in a Banach space which does not have any weakly convergent subsequence, then it contains a wide-$(s)$ subsequence $(x_n)$ which admits an equivalent convex basic sequence. This fact is used to characterize weak-compactness of bounded, closed convex sets in terms of the generic fixed point property ($\mathcal{G}$-$FPP$) for the class of affine bi-Lipschitz maps. This result generalizes a theorem by Benavides, Japón Pineda and Prus previously proved for the class of continuous maps. We also introduce a relaxation of this notion …
In this work we provide a characterization of distinct type of (linear and non-linear) maps between Banach spaces in terms of the differentiability of certain class of Lipschitz functions. Our results are stated in an abstract bornological and non-linear framework. Restricted to the linear case, we can apply our results to compact, weakly-compact, limited and completely continuous linear operators. Moreover, our results yield a characterization of Gelfand-Phillips spaces and recover some known result of Schur spaces and reflexive spaces concerning the differentiability of real-valued Lipschitz…
If $M$ is a compact smooth manifold and $X$ is a compact metric space, the Sobolev space $W^{1,p}(M,X)$ is defined through an isometric embedding of $X$ into a Banach space. We prove that the answer to the question whether Lipschitz mappings ${\rm Lip}\,(M,X)$ are dense in $W^{1,p}(M,X)$ may depend on the isometric embedding of the target.
On Weak Compactness and Uniform Regularity in Lipschitz free Spaces
Instituto Universitario de Matemática Pura y Aplicada, Universitat Politècnica de València（瓦伦西亚理工大学纯数学与应用数学大学研究所）；Univ Gustave Eiffel, Univ Paris Est Creteil, CNRS, LAMA UMR8050（巴黎东克雷泰伊大学、古斯塔夫·埃菲尔大学、法国国家科学研究中心LAMA实验室）；Université Marie et Louis Pasteur, CNRS, LmB (UMR 6623)（玛丽和路易斯·巴斯德大学、法国国家科学研究中心LmB实验室）；University of Tartu, Institute of Mathematics and Statistics（塔尔图大学数学与统计学院）；University of Innsbruck, Department of Mathematics（因斯布鲁克大学数学系）
This is the fourth of a series of papers surveying some small part of the remarkable work of our friend and colleague Nigel Kalton. We have written it as part of a tribute to his memory. It contains almost no new results. This time we discuss Nigel's partial solutions (obtained jointly with one of us) of the problem of whether the complex method of interpolation preserves the compactness of operators. This problem is now 51 years old and still lacks a complete solution. We also survey some other partial solutions of this problem, obtained before and after the above mentioned joint work. We are…
We study the interpolation and extrapolation properties of strictly singular operators between different $L_p$ spaces. To this end, the structure of strictly singular non-compact operators between $L_p-L_q$ spaces is analyzed. Among other things, we clarify the relation between strict singularity and the $L$-characteristic set of an operator. In particular, Krasnoselskii's interpolation theorem for compact operators is extended to the class of strictly singular operators.
In this paper we extend classical Titchmarsh theorems on the Fourier transform of Hölder-Lipschitz functions to the setting of compact homogeneous manifolds. As an application, we derive a Fourier multiplier theorem for $L^2$-Hölder-Lipschitz spaces on compact Lie groups. We also derive conditions and a characterisation for Dini-Lipschitz classes on compact homogeneous manifolds in terms of the behaviour of their Fourier coefficients.
Suppose that (A_0,A_1) and (B_0,B_1) are Banach couples, and that T is a linear operator which maps A_0 compactly into B_0 and A_1 boundedly (or even compactly) into B_1. Does this imply that T maps [A_0,A_1]_s to [B_0,B_1]_s compactly for 0<s<1 ? (Here, as usual, [A_0,A_1]_s denotes the complex interpolation space of Alberto Calderon.) This question has been open for 44 years. Affirmative answers are known for it in many special cases. We answer it affirmatively in the case where (A_0,A_1) is arbitrary and (B_0,B_1) is a couple of Banach lattices having absolutely continuous norms or the Fato…
We obtain a refinement of a selection principle for $(\mathcal{K}, λ)$-wide-$(s)$ sequences in Banach spaces due to Rosenthal. This result is then used to show that if $C$ is a bounded, non-weakly compact, closed convex subset of a Banach space $X$, then there exists a Hausdorff vector topology $τ$ on $X$ which is weaker than the weak topology, a closed, convex $τ$-compact subset $K$ of $C$ and an affine bi-Lipschitz map $T: K\to K$ without fixed points.
We prove that in a Euclidean space of dimension at least two, there exists a compact set of Lebesgue measure zero such that any real-valued Lipschitz function defined on the space is differentiable at some point in the set. Such a set is constructed explicitly.
We characterize the relatively compact subsets of $L^1\left(\| m \| \right),$ the quasi-Banach function space associated to the semivariation of a given vector measure $m$ showing that the strong connection between compactness, uniform absolute continuity, uniform integrability, almost order boundedness and L-weak compactness that appears in the classic setting of Lebesgue spaces remains almost invariant in this new context of the Choquet integration. Also we present a de la Vallée-Poussin type theorem in the context of these spaces $L^1\left(\|m\|\right)$ that allows us to locate each compact…
Suppose that the linear operator $T$ maps $X_0$ compactly to $Y_0$ and also maps $X_1$ boundedly to $Y_1$. We deal once again with the 51 year old question of whether $T$ also always maps the complex interpolation space $[X_0,X_1]_θ$ compactly to $[Y_0,Y_1]_θ$. This is a short preliminary version of our promised technical sequel to our earlier paper arXiv:1410.4527 on this topic. It contains the following two small new partial results: (i) The answer to the above question is yes, in the particular case where $Y_0$ is a UMD-space. (ii) The answer to the above question is yes for given spaces $X…
We study the weighted composition operators between the Lipschitz space and the space of bounded functions on the set of vertices of an infinite tree. We characterized the boundedness, the compactness, and the boundedness from below of weighted composition operators. We also determine the isometric weighted composition operators.
For complete metric spaces $X$ and $Y$, a description of linear biseparating maps between spaces of vector-valued Lipschitz functions defined on $X$ and $Y$ is provided. In particular it is proved that $X$ and $Y$ are bi-Lipschitz homeomorphic, and the automatic continuity of such maps is derived in some cases. Besides, these results are used to characterize the separating bijections between scalar-valued Lipschitz function spaces when $Y$ is compact.
We study Lipschitz-free spaces over compact and uniformly discrete metric spaces enjoying certain high regularity properties - having group structure with left-invariant metric. Using methods of harmonic analysis we show that, given a compact metrizable group $G$ equipped with an arbitrary compatible left-invariant metric $d$, the Lipschitz-free space over $G$, $\mathcal{F}(G,d)$, satisfies the metric approximation property. We show also that, given a finitely generated group $G$, with its word metric $d$, from a class of groups admitting a certain special type of combing, which includes all h…
Let \(X\) be a compact metric space and \(E\) be a Banach space. \(\lip (X, E)\) denotes the Banach space of all \(E\)-valued little Lipschitz functions on \(X\). We show that \(\lip (X, E)^{**}\) is isometrically isomorphic to Banach space of \(E^{**}\)-valued Lipschitz functions \(\Lip(X, E^{**})\) under several conditions. Moreover, we describe the isometric isomorphism from \(\lip (X, E)^{**}\) to \(\Lip (X, E^{**})\).
We study the stability behavior of the Bishop-Phelps-Bollobás property for Lipschitz maps (Lip-BPB property). This property is a Lipschitz version of the classical Bishop-Phelps-Bollobás property and deals with the possibility of approximating a Lipschitz map that almost attains its (Lipschitz) norm at a pair of distinct points by a Lipschitz map attaining its norm at a pair of distinct points (relatively) very closed to the previous one. We first study the stability of this property under the (metric) sum of the domain spaces. Next, we study when it is possible to pass the Lip-BPB property fr…
We consider a functional calculus for compact operators, acting on the singular values rather than the spectrum, which appears frequently in applied mathematics. Necessary and sufficient conditions for this singular value functional calculus to be Lipschitz-continuous with respect to the Hilbert-Schmidt norm are given. We also provide sharp constants.
Composition operators for holomorphic Lipschitz functions
Universidad de San Andrés（圣安德烈斯大学）；CONICET（阿根廷国家科学研究委员会）；Universidad de Zaragoza（萨拉戈萨大学）；Universite Marie et Louis Pasteur, CNRS, LmB (UMR 6623)（玛丽和路易·巴斯德大学，法国国家科学研究中心，LmB实验室）
We compute uniform rates of metastability for the Ishikawa iteration of a Lipschitz pseudo-contractive self-mapping of a compact convex subset of a Hilbert space. This extraction is an instance of the proof mining program that aims to apply tools from mathematical logic in order to extract the hidden quantitative content of mathematical proofs. We prove our main result by applying methods developed by Kohlenbach, the first author and Nicolae for obtaining quantitative versions of strong convergence results for generalized Fejér monotone sequences in compact subsets of metric spaces.
We characterize compact metric spaces whose locally flat Lipschitz functions separate points uniformly as exactly those that are purely 1-unrectifiable, resolving a problem of Weaver. We subsequently use this geometric characterization to answer several questions in Lipschitz analysis. Notably, it follows that the Lipschitz-free space $\mathcal{F}(M)$ over a compact metric space $M$ is a dual space if and only if $M$ is purely 1-unrectifiable. Furthermore, we establish a compact determinacy principle for the Radon-Nikodým property (RNP) and deduce that, for any complete metric space $M$, pure …
We show, as our main theorem, that if a Lipschitz map from a compact Riemannian manifold $M$ to a connected compact Riemannian manifold $N$, where $\dim M \geq \dim N$, has no singular points on $M$ in the sense of F.H. Clarke, then the map admits a smooth approximation via Ehresmann fibrations. We also show the Reeb sphere theorem for Lipschitz functions, i.e., if a closed Riemannian manifold admits a Lipschitz function with exactly two singular points in the sense of Clarke, then the manifold is homeomorphic to the sphere.
In this paper we discuss the convergence of distances associated to converging structures of Lipschitz vector fields and continuously varying norms on a smooth manifold. We prove that, under a mild controllability assumption on the limit vector-fields structure, the distances associated to equi-Lipschitz vector-fields structures that converge uniformly on compact subsets, and to norms that converge uniformly on compact subsets, converge locally uniformly to the limit Carnot-Carathéodory distance. In the case in which the limit distance is boundedly compact, we show that the convergence of the …
