On continuous composition operators

Wilhelmina Smajdor

Displaying similar documents to “On continuous composition operators”

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

Nguyen To Nhu (1979)

Colloquium Mathematicae

Similarity:

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

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

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

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.

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.

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

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.

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

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:

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

Spaces of operators and c₀

P. Lewis (2001)

Studia Mathematica

Similarity:

Bessaga and Pełczyński showed that if c₀ embeds in the dual X* of a Banach space X, then ℓ¹ embeds complementably in X, and $ℓ^{\infty}$ embeds as a subspace of X*. In this note the Diestel-Faires theorem and techniques of Kalton are used to show that if X is an infinite-dimensional Banach space, Y is an arbitrary Banach space, and c₀ embeds in L(X,Y), then $ℓ^{\infty}$ embeds in L(X,Y), and ℓ¹ embeds complementably in $X \otimes_{γ} Y *$ . Applications to embeddings of c₀ in various spaces of operators are given.

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:

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.

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$

Compact operators whose adjoints factor through subspaces of $l_{p}$

Deba P. Sinha, Anil K. Karn (2002)

Studia Mathematica

Similarity:

For p ≥ 1, a subset K of a Banach space X is said to be relatively p-compact if $K \subset \sum_{n = 1}^{\infty} α ₙ x ₙ : α ₙ \in B a l l (l_{p^{'}})$ , where p’ = p/(p-1) and $x ₙ \in l_{p}^{s} (X)$ . An operator T ∈ B(X,Y) is said to be p-compact if T(Ball(X)) is relatively p-compact in Y. Similarly, weak p-compactness may be defined by considering $x ₙ \in l_{p}^{w} (X)$ . It is proved that T is (weakly) p-compact if and only if T* factors through a subspace of $l_{p}$ in a particular manner. The normed operator ideals $(K_{p}, κ_{p})$ of p-compact operators and $(W_{p}, ω_{p})$ of weakly p-compact operators, arising from these factorizations,...

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

A note on a class of homeomorphisms between Banach spaces

Piotr Fijałkowski (2005)

Colloquium Mathematicae

Similarity:

This paper deals with homeomorphisms F: X → Y, between Banach spaces X and Y, which are of the form $F (x) : = F ̃ x^{(2 n + 1)}$ where $F ̃ : X^{2 n + 1} \to Y$ is a continuous (2n+1)-linear operator.

On Some Properties of Separately Increasing Functions from [0,1]ⁿ into a Banach Space

Artur Michalak (2014)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We say that a function f from [0,1] to a Banach space X is increasing with respect to E ⊂ X* if x* ∘ f is increasing for every x* ∈ E. A function $f : {[0, 1]}^{m} \to X$ is separately increasing if it is increasing in each variable separately. We show that if X is a Banach space that does not contain any isomorphic copy of c₀ or such that X* is separable, then for every separately increasing function $f : {[0, 1]}^{m} \to X$ with respect to any norming subset there exists a separately increasing function $g : {[0, 1]}^{m} \to ℝ$ such that the sets of...

Some properties and applications of equicompact sets of operators

E. Serrano, C. Piñeiro, J. M. Delgado (2007)

Studia Mathematica

Similarity:

Let X and Y be Banach spaces. A subset M of (X,Y) (the vector space of all compact operators from X into Y endowed with the operator norm) is said to be equicompact if every bounded sequence (xₙ) in X has a subsequence $(x_{k (n)}) ₙ$ such that $(T x_{k (n)}) ₙ$ is uniformly convergent for T ∈ M. We study the relationship between this concept and the notion of uniformly completely continuous set and give some applications. Among other results, we obtain a generalization of the classical Ascoli theorem and a compactness...

Spaces of compact operators on $C (2^{} \times [0, α])$ spaces

Elói Medina Galego (2011)

Colloquium Mathematicae

Similarity:

We classify, up to isomorphism, the spaces of compact operators (E,F), where E and F are the Banach spaces of all continuous functions defined on the compact spaces $2^{} \times [0, α]$ , the topological products of Cantor cubes $2^{}$ and intervals of ordinal numbers [0,α].

Boundedness of sublinear operators in Triebel-Lizorkin spaces via atoms

Liguang Liu, Dachun Yang (2009)

Studia Mathematica

Similarity:

Let s ∈ ℝ, p ∈ (0,1] and q ∈ [p,∞). It is proved that a sublinear operator T uniquely extends to a bounded sublinear operator from the Triebel-Lizorkin space $Ḟ_{p, q}^{s} (ℝ ⁿ)$ to a quasi-Banach space ℬ if and only if sup ${| | T (a) | |}_{ℬ}$ : a is an infinitely differentiable (p,q,s)-atom of $Ḟ_{p, q}^{s} (ℝ ⁿ)$ < ∞, where the (p,q,s)-atom of $Ḟ_{p, q}^{s} (ℝ ⁿ)$ is as defined by Han, Paluszyński and Weiss.

Symmetric products of the Euclidean spaces and the spheres

Naotsugu Chinen (2015)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

By $F_{n} (X)$ , $n \geq 1$ , we denote the $n$ -th symmetric product of a metric space $(X, d)$ as the space of the non-empty finite subsets of $X$ with at most $n$ elements endowed with the Hausdorff metric $d_{H}$ . In this paper we shall describe that every isometry from the $n$ -th symmetric product $F_{n} (X)$ into itself is induced by some isometry from $X$ into itself, where $X$ is either the Euclidean space or the sphere with the usual metrics. Moreover, we study the $n$ -th symmetric product of the Euclidean space up to bi-Lipschitz equivalence...

On the Aronszajn property for integral equations in Banach space

Stanisław Szufla (1989)

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

Similarity:

For the integral equation (1) below we prove the existence on an interval $J=[0,a]$ of a solution $x$ with values in a Banach space $E$ , belonging to the class $L^{p}(J,E)$ , $p>1$ . Further, the set of solutions is shown to be a compact one in the sense of Aronszajn.

2-summing multiplication operators

Dumitru Popa (2013)

Studia Mathematica

Similarity:

Let 1 ≤ p < ∞, $= {(X ₙ)}_{n \in ℕ}$ be a sequence of Banach spaces and $l_{p} ()$ the coresponding vector valued sequence space. Let $= {(X ₙ)}_{n \in ℕ}$ , $= {(Y ₙ)}_{n \in ℕ}$ be two sequences of Banach spaces, $= {(V ₙ)}_{n \in ℕ}$ , Vₙ: Xₙ → Yₙ, a sequence of bounded linear operators and 1 ≤ p,q < ∞. We define the multiplication operator $M_{} : l_{p} () \to l_{q} ()$ by $M_{} ({(x ₙ)}_{n \in ℕ}) : = {(V ₙ (x ₙ))}_{n \in ℕ}$ . We give necessary and sufficient conditions for $M_{}$ to be 2-summing when (p,q) is one of the couples (1,2), (2,1), (2,2), (1,1), (p,1), (p,2), (2,p), (1,p), (p,q); in the last case 1 < p < 2, 1 < q < ∞. ...

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

Essentially Incomparable Banach Spaces of Continuous Functions

Rogério Augusto dos Santos Fajardo (2010)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

We construct, under Axiom ♢, a family ${(C (K_{ξ}))}_{ξ < 2^{(2^{ω})}}$ of indecomposable Banach spaces with few operators such that every operator from $C (K_{ξ})$ into $C (K_{η})$ is weakly compact, for all ξ ≠ η. In particular, these spaces are pairwise essentially incomparable. Assuming no additional set-theoretic axiom, we obtain this result with size $2^{ω}$ instead of $2^{(2^{ω})}$ .

Integral equalities for functions of unbounded spectral operators in Banach spaces

Benedetto Silvestri

Similarity:

The work is dedicated to investigating a limiting procedure for extending “local” integral operator equalities to “global” ones in the sense explained below, and to applying it to obtaining generalizations of the Newton-Leibniz formula for operator-valued functions for a wide class of unbounded operators. The integral equalities considered have the form $g (R_{F}) \int f_{x} (R_{F}) d μ (x) = h (R_{F})$ . (1) They involve functions of the kind $X ∋ x \mapsto f_{x} (R_{F}) \in B (F)$ , where X is a general locally compact space, F runs over a suitable class of Banach subspaces...

Reflexivity and approximate fixed points

Eva Matoušková, Simeon Reich (2003)

Studia Mathematica

Similarity:

A Banach space X is reflexive if and only if every bounded sequence xₙ in X contains a norm attaining subsequence. This means that it contains a subsequence $x_{n_{k}}$ for which $s u p_{f \in S_{X *}} l i m s u p_{k \to \infty} f (x_{n_{k}})$ is attained at some f in the dual unit sphere $S_{X *}$ . A Banach space X is not reflexive if and only if it contains a normalized sequence xₙ with the property that for every $f \in S_{X *}$ , there exists $g \in S_{X *}$ such that $l i m s u p_{n \to \infty} f (x ₙ) < l i m i n f_{n \to \infty} g (x ₙ)$ . Combining this with a result of Shafrir, we conclude that every infinite-dimensional Banach space contains an unbounded...

On some properties of generalized Marcinkiewicz spaces

Evgeniy Pustylnik (2001)

Studia Mathematica

Similarity:

We give a full solution of the following problems concerning the spaces $M_{φ} (X ⃗)$ : (i) to what extent two functions φ and ψ should be different in order to ensure that $M_{φ} (X ⃗) \neq M_{ψ} (X ⃗)$ for any nontrivial Banach couple X⃗; (ii) when an embedding $M_{φ} (X ⃗) ⊊ M_{ψ} (X ⃗)$ can (or cannot) be dense; (iii) which Banach space can be regarded as an $M_{φ} (X ⃗)$ -space for some (unknown beforehand) Banach couple X⃗.

Pisier's inequality revisited

Tuomas Hytönen, Assaf Naor (2013)

Studia Mathematica

Similarity:

Given a Banach space X, for n ∈ ℕ and p ∈ (1,∞) we investigate the smallest constant ∈ (0,∞) for which every n-tuple of functions f₁,...,fₙ: -1,1ⁿ → X satisfies $\int_{- 1, 1 ⁿ} | | \sum_{j = 1}^{n} \partial_{j} f_{j} {(ε) | |}^{p} d μ (ε) \leq^{p} \int_{- 1, 1 ⁿ} \int_{- 1, 1 ⁿ} | | \sum_{j = 1}^{n} δ_{j} Δ f_{j} (ε) {| |}^{p} d μ (ε) d μ (δ)$ , where μ is the uniform probability measure on the discrete hypercube -1,1ⁿ, and ${\partial_{j}}_{j = 1}^{n}$ and $Δ = \sum_{j = 1}^{n} \partial_{j}$ are the hypercube partial derivatives and the hypercube Laplacian, respectively. Denoting this constant by $ⁿ_{p} (X)$ , we show that $ⁿ_{p} (X) \leq \sum_{k = 1}^{n} 1 / k$ for every Banach space (X,||·||). This extends the classical Pisier inequality, which corresponds to the special...

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.

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

Charles E. C Cleaver (1973)

Colloquium Mathematicae

Similarity:

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 (*)...

Ideals in big Lipschitz algebras of analytic functions

Thomas Vils Pedersen (2004)

Studia Mathematica

Similarity:

For 0 < γ ≤ 1, let $Λ ⁺_{γ}$ be the big Lipschitz algebra of functions analytic on the open unit disc which satisfy a Lipschitz condition of order γ on ̅. For a closed set E on the unit circle and an inner function Q, let $J_{γ} (E, Q)$ be the closed ideal in $Λ ⁺_{γ}$ consisting of those functions $f \in Λ ⁺_{γ}$ for which (i) f = 0 on E, (ii) $| f (z) - f (w) | = o (| z - w |^{γ})$ as d(z,E),d(w,E) → 0, (iii) $f / Q \in Λ ⁺_{γ}$ . Also, for a closed ideal I in $Λ ⁺_{γ}$ , let $E_{I}$ = z ∈ : f(z) = 0 for every f ∈ I and let $Q_{I}$ be the greatest common divisor of the inner parts of non-zero functions...

Approximate and $L^{p}$ Peano derivatives of nonintegral order

J. Marshall Ash, Hajrudin Fejzić (2005)

Studia Mathematica

Similarity:

Let n be a nonnegative integer and let u ∈ (n,n+1]. We say that f is u-times Peano bounded in the approximate (resp. $L^{p}$ , 1 ≤ p ≤ ∞) sense at $x \in ℝ^{m}$ if there are numbers $f_{α} (x)$ , |α| ≤ n, such that $f (x + h) - \sum_{| α | \leq n} f_{α} (x) h^{α} / α!$ is $O (h^{u})$ in the approximate (resp. $L^{p}$ ) sense as h → 0. Suppose f is u-times Peano bounded in either the approximate or $L^{p}$ sense at each point of a bounded measurable set E. Then for every ε > 0 there is a perfect set Π ⊂ E and a smooth function g such that the Lebesgue measure of E∖Π is less than ε and...