We study the class of functions $f$ on $\mathbb{R}$ satisfying a Lipschitz estimate in the Schatten ideal $\mathcal{L}_p$ for $0 < p \leq 1$. The corresponding problem with $p\geq 1$ has been extensively studied, but the quasi-Banach range $0 < p < 1$ is by comparison poorly understood. Using techniques from wavelet analysis, we prove that Lipschitz functions belonging to the homogeneous Besov class $\dot{B}^{\frac{1}{p}}_{\frac{p}{1-p},p}(\mathbb{R})$ obey the estimate $$
\|f(A)-f(B)\|_{p} \leq C_{p}(\|f'\|_{L_{\infty}(\mathbb{R})}+\|f\|_{\dot{B}^{\frac{1}{p}}_{\frac{p}{1-p},p}(\mathbb{R})})\|A-B\|_{p} $$ for all bounded self-adjoint operators $A$ and $B$ with $A-B\in \mathcal{L}_p$. In the case $p=1$, our methods recover and provide a new perspective on a result of Peller that $f \in \dot{B}^1_{\infty,1}$ is sufficient for a function to be Lipschitz in $\mathcal{L}_1$. We also provide related Hölder-type estimates, extending results of Aleksandrov and Peller. In addition, we prove the surprising fact that non-constant periodic functions on $\mathbb{R}$ are not Lipschitz in $\mathcal{L}_p$ for any $0 < p < 1$. This gives counterexamples to a 1991 conjecture of Peller that $f \in \dot{B}^{1/p}_{\infty,p}(\mathbb{R})$ is sufficient for $f$ to be Lipschitz in $\mathcal{L}_p$.
This paper resolves a number of conjectures in the perturbation theory of linear operators. Namely, we prove that every Lipschitz function is operator Lipschitz in the Schatten-von Neumann ideals $S^α$, $1 < α< \infty$. The negative result for $S^α$, $α= 1, \infty$ was earlier established by Yu. Farforovskaya in 1972.
Suppose that f is a Lipschitz function on the real numbers with Lipschitz constant smaller or equal to 1. Let A be a bounded self-adjoint operator on a Hilbert space H. Let 1<p<infinity and suppose that x in B(H) is an operator such that the commutator [A, x] is contained in the Schatten class S_p. It is proved by the last two authors, that then also [f(A), x] is contained in S_p and there exists a constant C_p independent of x and f such that || [f(A), x] ||_p <= C_p || [A,x] ||_p. The main result of this paper is to give a sharp estimate for C_p in terms of p. Namely, we show that C_p ~ p^2/…
In this paper we introduce the concept of von Neumann-Schatten Bessel multipliers and obtain some of their characterizations. Finally, special attention is devoted to the study of invertible Hilbert--Schmidt frame multipliers. These results are not only of interest in their own right, but also they pave the way for obtaining some new results for diagonalization of matrices in finite dimensional setting as well as for dual $g$-frames. In particular, we show that a $g$-frame is uniquely determined by the set of its $g$-frames.
We establish continuity and Schatten-von Neumann properties for matrix operators with matrices satisfying mixed quasi-norm estimates. These considerations also include the case when the Lebesgue and Schatten parameters are allowed to stay between $0$ and $1$. We use the results to deduce continuity and Schatten-von Neumann properties for pseudo-differential operators with symbols in a broad class of modulation spaces.
Let $H$ and $H'$ be a complex Hilbert spaces. For $p\in(1, \infty)\backslash\{2\}$ we consider the Banach space $C_p(H)$ of all $p$-Schatten von Neumann operators, whose unit sphere is denoted by $S(C_p(H))$. We prove that every surjective isometry $Δ: S(C_p(H))\to S(C_p(H'))$ can be extended to a complex linear or to a conjugate linear surjective isometry $T:C_p(H)\to C_p(H')$.
In this paper, we study the boundedness of the Hilbert transformation in Lorentz function spaces, thereby complementing classical results of Boyd. We also characterize the optimal range of a triangular truncation operator in Schatten-Lorentz ideals. These results further entail sharp commutator estimates and applications to operator Lipschitz functions in Schatten-Lorentz ideals.
Time-frequency analysis have played a crucial role in the development of localization operators in the last twenty years. We present its applications to the study of boundedness and Schatten Class property for such operators. In particular, new sufficient conditions for such operators to belong to the Schatten-von Neumann Class $S_p$, $0<p<1$, are exhibited. As a byproduct, sharp continuity results for the Wigner distribution are also presented.
Amenability of any of the algebras described in the title is known to force them to be finite-dimensional. The analogous problems for \emph{approximate} amenability have been open for some years now. In this article we give a complete solution for the first two classes, using a new criterion for showing that certain Banach algebras without bounded approximate identities cannot be approximately amenable. The method also provides a unified approach to existing non-approximate amenability results, and is applied to the study of certain commutative Segal algebras. Using different techniques, we pr…
We extend Feichtinger's minimality property on smallest non-trivial time-frequency shift invariant Banach spaces, to the quasi-Banach case. Analogous properties are deduced for certain matrix classes. We use these results to prove that $\operatorname{Op}(a)$ is a Schatten-$q$ operator from $M^\infty$ to $M^p$ and $r$-nuclear operator from $M^\infty$ to $M^r$ when $a\in M^r$ for suitable $p$, $q$ and $r$ in $(0,\infty ]$.
We present some properties of orthogonality and relate them with support disjoint and norm inequalities in p Schatten ideals. In addition, we investigate the problem of characterization of norm parallelism for bounded linear operators. We consider the characterization of norm parallelism problem in p Schatten ideals and locally uniformly convex spaces. Later on, we study the case when an operator is norm parallel to the identity operator. Finally, we give some equivalence assertions about the norm parallelism of compact operators. Some applications and generalizations are discussed for certain…
We prove that, for each Banach space $X$ which is isomorphic to its hyperplanes, the Lipschitz-free spaces over $X$ and over its sphere are isomorphic.
We study perturbations of functions $f(A,B)$ of noncommuting self-adjoint operators $A$ and $B$ that can be defined in terms of double operator integrals. We prove that if $f$ belongs to the Besov class $B_{\be,1}^1(\R^2)$, then we have the following Lipschitz type estimate in the Schatten--von Neumann norm $\bS_p$, $1\le p\le2$ norm: $\|f(A_1,B_1)-f(A_2,B_2)\|_{\bS_p}\le\const(\|A_1-A_2\|_{\bS_p}+\|B_1-B_2\|_{\bS_p})$. However, the condition $f\in B_{\be,1}^1(\R^2)$ does not imply the Lipschitz type estimate in $\bS_p$ with $p>2$. The main tool is Schatten--von Neumann norm estimates for trip…
We provide some new consequences on the Lipschitz numerical radius and index which were introduced recently. More precisely, we give some renorming results on the Lipschitz numerical index, introduce a concept of Lipschitz numerical radius attaining functions in order to show that the denseness fails for an arbitrary Banach space, and study a Lipschitz version of Daugavet centers. Furthermore, we discuss the Lipschitz numerical index of vector-valued function spaces, absolute sums of Banach spaces, the Köthe-Bochner spaces, and Banach spaces which contain a dense union of increasing family of …
We show that on separable Banach spaces admitting a separating polynomial, any uniformly continuous, bounded, real-valued function can be uniformly approximated by Lipschitz, analytic maps on bounded sets.
In this paper we give some results about the approximation of a Lipschitz function on a Banach space by means of $Δ$-convex functions. In particular, we prove that the density of $Δ$-convex functions in the set of Lipschitz functions for the topology of uniform convergence on bounded sets characterizes the superreflexivity of the Banach space. We also show that Lipschitz functions on superreflexive Banach spaces are uniform limits on the whole space of $Δ$-convex functions.
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 numerical radius of Lipschitz operators on Banach spaces via the Lipschitz numerical index, which is an analogue of the numerical index in Banach space theory. We give a characterization of the numerical radius and obtain a necessary and sufficient condition for Banach spaces to have Lipschitz numerical index 1. As an application, we show that real lush spaces and $C$-rich subspaces have Lipschitz numerical index 1. Moreover, using the G$\hat{a}$teaux differentiability of Lipschitz operators, we characterize the Lipschitz numerical index of separable Banach spaces with the RNP. Fi…
In this note, we extend to the setting of quasi-reflexive spaces a classical result of N. Kalton and L. Randrianarivony on the coarse Lipschitz structure of reflexive and asymptotically uniformly smooth Banach spaces. As an application, we show for instance, that for $1\le q<p$, a $q$-asymptotically uniformly convex Banach space does not coarse Lipschitz embed into a $p$-asymptotically uniformly smooth quasi-reflexive Banach space. This extends a recent result of B.M. Braga.
We study the structure of the space of coarse Lipschitz maps between Banach spaces. In particular we introduce the notion of norm attaining coarse Lipschitz maps. We extend to the case of norm attaining coarse Lipschitz equivalences, a result of G. Godefroy on Lipschitz equivalences. This leads us to include the non separable versions of classical results on the stability of the existence of asymptotically uniformly smooth norms under Lipschitz or coarse Lipschitz equivalences.
The aim of this note is to study octahedrality in vector valued Lipschitz-free Banach spaces on a metric space under topological hypotheses on it. As a consequence, we get that the space of Lipschitz functions on a metric space valued in a dual Banach space satisfies the weak-star strong diameter two property, under natural topological hipothesess on the metric space. Also, we show an example proving that these hypotheses are optimal.
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.
We present an overview to the approximation property, paying especial attention to the recent results relating the approximation property to ideals of linear operators and Lipschitz ideals. We complete the paper with some new results on approximation of Lipschitz mappings and their relation to linear operator ideals.
The aim of this note is study the topology generated by Lipschitz slices in the unit sphere of a Banach space. We prove that the above topology agrees with the weak topology in the unit sphere and, as a consequence, we obtain Lipschitz characterizations of classical linear topics in Banach spaces, as Radon-Nikodym property, convex point of continuity property and strong regularity, which shows that the above classical linear properties only depend on the natural uniformity in the Banach space given by the metric and the linear structure.
We establish a relation between Lipschitz operator ideals and linear operator ideals, which fits in the framework of Galois connection between lattices. We use this relationship to give a criterion which allow us to recognize when a Banach Lipschitz operator ideal is of composition type or not. Also, we introduce the concept of minimal Banach Lipschitz operator ideal, which have analogous properties to minimal Banach operator ideals. Also we characterize minimal Banach Lipschitz operator ideals which are of composition type and present examples which are not of this class.
In the present note we give two explicit constructions (based on a retractional argument) of a Schauder basis for the Lipschitz free space $\mathcal{F}(N)$, over certain uniformly discrete metric spaces $N$. The first one applies to every net $N$ in a finite dimensional Banach space, leading to the basis constant independent of the dimension. The second one applies to grids in Banach spaces with an FDD. As a corollary, we obtain a retractional Schauder basis for the Lipschitz free space $\mathcal{F}(N)$ over a net $N$ in every Banach space $X$ with a Schauder basis containing a copy of $c_0$, …
In the present paper we introduce and study the Lipschitz retractional structure of metric spaces. This topic was motivated by the analogous projectional structure of Banach spaces, a topic that has been thoroughly investigated. The more general metric setting fits well with the currently active theory of Lipschitz free spaces and spaces of Lipschitz functions. Among our applications we show that the Lipschitz free space $\mathcal{F}(X)$ is a Plichko space whenever $X$ is a Plichko Banach space. Our main results include two examples of metric spaces. The first one $M$ contains two points $\{0,…
In this paper, we study the coarse Lipschitz geometry of Banach spaces with several asymptotic properties. Specifically, we look at asymptotically uniformly smoothness and convexity, and several distinct Banach-Saks-like properties. Among other results, we characterize the Banach spaces which are either coarsely or uniformly homeomorphic to $T^{p_1}\oplus \ldots \oplus T^{p_n}$, where each $T^{p_j}$ denotes the $p_j$-convexification of the Tsirelson space, for $p_1,\ldots,p_n\in (1,\ldots, \infty)$, and $2\not\in\{p_1,\ldots ,p_n\}$. We obtain applications to the coarse Lipschitz geometry of t…
Properties of Lipschitz and d.c. surfaces of finite codimension in a Banach space, and properties of generated $σ$-ideals are studied. These $σ$-ideals naturally appear in the differentiation theory and in the abstract approximation theory. Using these properties, we improve an unpublished result of M. Heisler which gives an alternative proof of a result of D. Preiss on singular points of convex functions.
Let $X$, $Y$ be Banach spaces and let $\mathcal{L}(X,Y)$ be the space of bounded linear operators from $X$ to $Y$. We develop the theory of double operator integrals on $\mathcal{L}(X,Y)$ and apply this theory to obtain commutator estimates of the form $\|f(B)S-Sf(A)\|_{\mathcal{L}(X,Y)}\leq \textrm{const} \|BS-SA\|_{\mathcal{L}(X,Y)}$ for a large class of functions $f$, where $A\in\mathcal{L}(X)$, $B\in \mathcal{L}(Y)$ are scalar type operators and $S\in \mathcal{L}(X,Y)$. In particular, we establish this estimate for $f(t):=|t|$ and for diagonalizable operators on $X=\ell_{p}$ and $Y=\ell_{q…
In this erratum, we recover the results from an earlier paper of the author's which contained a gap. Specifically, we prove that if X is a Banach space with an unconditional basis and admits a C^{p}-smooth, Lipschitz bump function, and Y is a convex subset of X, then any uniformly continuous function f: Y->R can be uniformly approximated by Lipschitz, C^{p}-smooth functions K:X->R. Also, if Z is any Banach space and f:X->Z is L-Lipschitz, then the approximates K:X->Z can be chosen CL-Lipschitz and C^{p}-smooth, for some constant C depending only on X.
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 …
We classify several notions of norm attaining Lipschitz maps which were introduced previously, and present the relations among them in order to verify proper inclusions. We also analyze some results for the sets of Lipschitz maps satisfying each of these properties to be dense or not in $\Lip(X,Y)$. For instance, we characterize a Banach space $Y$ with the Radon-Nikodým property in terms of the denseness of norm attaining Lipschitz maps with values in $Y$. Further, we introduce a property called the local directional Bishop-Phelps-Bollobás property for Lipschitz compact maps, which extends the…
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
The notions of $p$-convexity and $q$-concavity are mostly known because of their importance as a tool in the study of isomorphic properties of Banach lattices, but they also play a role in several results involving linear maps between Banach spaces and Banach lattices. In this paper we introduce Lipschitz versions of these concepts, dealing with maps between metric spaces and Banach lattices, and start by proving nonlinear versions of two well-known factorization theorems through $L_p$ spaces due to Maurey/Nikishin and Krivine. We also show that a Lipschitz map from a metric space into a Banac…
We study the global invertibility of non-smooth, locally Lipschitz maps between infinite-dimensional Banach spaces, using a kind of Palais-Smale condition. To this end, we consider the Chang version of the weighted Palais-Smale condition for locally Lipschitz functionals in terms of the Clarke subdifferential, as well as the notion of pseudo-Jacobians in the infinite-dimensional setting, which are the analog of the pseudo-Jacobian matrices defined by Jeyakumar and Luc. Using these notions, we derive our results about existence and uniqueness of solution for nonlinear equations. In particular, …
Let $X$ be a separable Banach space with a separating polynomial. We show that there exists $C\geq 1$ (depending only on $X$) such that for every Lipschitz function $f:X\rightarrow\mathbb{R}$, and every $ε>0$, there exists a Lipschitz, real analytic function $g:X\rightarrow\mathbb{R}$ such that $|f(x)-g(x)|\leq ε$ and $\textrm{Lip}(g)\leq C\textrm{Lip}(f)$. This result is new even in the case when $X$ is a Hilbert space. Furthermore, in the Hilbertian case we also show that $C$ can be assumed to be any number greater than 1.
We prove an abstract interpolation theorem which interpolates the (r,2)-summing and (s,2)-mixing norm of a fixed operator in the image and the range space. Combined with interpolation formulas for spaces of operators we obtain as an application the original Bennett-Carl inequalities for identities acting between Minkowski spaces l_u as well as their analogues for Schatten classes S_u. Furthermore, our techniques motivate a study of Bennett-Carl inequalities within a more general setting of symmetric Banach sequence spaces and unitary ideals.
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 study projectional skeletons and the Plichko property in Lipschitz-free spaces, relating these concepts to the geometry of the underlying metric space. Specifically, we identify a metric property that characterizes the Plichko property witnessed by Dirac measures in the associated Lipschitz-free space. We also show that the Lipschitz-free space of all $\mathbb{R}$-trees has the Plichko property witnessed by molecules, and define the concept of retractional trees to generalize this result to a bigger class of metric spaces. Finally, we show that no separable subspace of $\ell_\infty$ contain…
We show that the dual of every infinite-dimensional Lipschitz-free Banach space contains an isometric copy of $\ell_\infty$ and that it is often the case that a Lipschitz-free Banach space contains a $1$-complemented subspace isometric to $\ell_1$. Even though we do not know whether the latter is true for every infinite-dimensional Lipschitz-free Banach space, we show that the space is never rotund. Further, in the last section we survey the relations between "isometric embedding of~$\ell_\infty$ into the dual" and "containing as good copy of~$\ell_1$ as possible" in a general Banach space.
Let $f$ be a Lipschitz map from a subset $A$ of a stratified group to a Banach homogeneous group. We show that directional derivatives of $f$ act as homogeneous homomorphisms at density points of $A$ outside a $σ$-porous set. At density points of $A$ we establish a pointwise characterization of differentiability in terms of directional derivatives. We use these new results to obtain an alternate proof of almost everywhere differentiability of Lipschitz maps from subsets of stratified groups to Banach homogeneous groups satisfying a suitably weakened Radon-Nikodym property. As a consequence we …
We develop a systematic approach to the study of duality for ideals of Lipschitz maps from a metric space to a Banach space, inspired by the classical theory that relates ideals of operators and tensor norms for Banach spaces, by using the Lipschitz tensor products previously introduced by the same authors. We first study spaces of Lipschitz maps, from a metric space to a dual Banach space, that can be represented canonically as the dual of a Lipschitz tensor product endowed with a Lipschitz cross-norm. We show that several known examples of ideals of Lipschitz maps (Lipschitz maps, Lipschitz …
Let us consider a Banach space $X$ with the property that every real-valued Lipschitz function $f$ can be uniformly approximated by a Lipschitz, $C^1$-smooth function $g$ with $\Lip(g)\le C \Lip(f)$ (with $C$ depending only on the space $X$). This is the case for a Banach space $X$ bi-Lipschitz homeomorphic to a subset of $c_0(Γ)$, for some set $Γ$, such that the coordinate functions of the homeomorphism are $C^1$-smooth. Then, we prove that for every closed subspace $Y\subset X$ and every $C^1$-smooth (Lipschitz) function $f:Y\to\Real$, there is a $C^1$-smooth (Lipschitz, respectively) extens…
The Banach space $\mathcal{P}({}^2X)$ of $2$-homogeneous polynomials on the Banach space $X$ can be naturally embedded in the Banach space ${{\rm Lip}_0}(B_X)$ of real-valued Lipschitz functions on $B_X$ that vanish at $0$. We investigate whether $\mathcal{P}({}^2X)$ is a complemented subspace of ${{\rm Lip}_0}(B_X)$. This line of research can be considered as a polynomial counterpart to a classical result by Joram Lindenstrauss, asserting that $\mathcal{P}({}^1X)=X^*$ is complemented in ${{\rm Lip}_0}(B_X)$ for every Banach space $X$. Our main result asserts that $\mathcal{P}({}^2X)$ is not c…
