Multipliers on homogeneous Banach spaces with respect to Jacobi polynomials

A bounded linear operator is called multiplier with respect to Jacobi polynomials if and only if it commutes with all Jacobi translation operators on $[-1,1]$ . Multipliers on homogeneous Banach spaces on $[-1,1]$ determined by the Jacobi translation operator are introduced and studied. First we prove four equivalent characterizations of a multiplier for an arbitrary homogeneous Banach spaces $B$ on $[-1,1]$ . One of them implies the existence of an algebra isomorphism from the set of all multipliers on $B$ into the set of all pseudomeasures. Further, we study multipliers on specific examples of homogeneous Banach spaces on $[-1,1]$ . Amongst others, multipliers on the Wiener algebra, on the Beurling space and on Sobolev spaces are analyzed. We obtain that the multiplier spaces of the Wiener algebra, the Beurling space and of all Sobolev spaces are isometric isomorphic to each other. Furthermore, these multiplier spaces are all isometric isomorphic to the set of all pseudomeasures.     

On a conjecture of Rapoport and Zink

In their book, Rapoport and Zink constructed rigid analytic period spaces ${\mathcal {F}}^{wa}$ for Fontaine’s filtered isocrystals, and period morphisms from PEL moduli spaces of p-divisible groups to some of these period spaces. They conjectured the existence of an étale bijective morphism ${\mathcal {F}}^{a}\to {\mathcal {F}}^{wa}$ of rigid analytic spaces and of a universal local system of ? _p -vector spaces on  ${\mathcal {F}}^{a}$ . Such a local system would give rise to a tower of étale covering spaces $\breve {{\mathcal {E}}}_{{\widetilde {K}}}$ of ${\mathcal {F}}^{a}$ , equipped with a Hecke-action, and an action of the automorphism group J(? _p ) of the isocrystal with extra structure. For Hodge-Tate weights n?1 and n we construct in this article an intrinsic Berkovich open subspace ${\mathcal {F}}^{0}$ of ${\mathcal {F}}^{wa}$ and the universal local system on ${\mathcal {F}}^{0}$ . We show that only in exceptional cases ${\mathcal {F}}^{0}$ equals all of ${\mathcal {F}}^{wa}$ and when the Shimura group is $\operatorname {GL}_{n}$ we determine all these cases. We conjecture that the rigid-analytic space associated with ${\mathcal {F}}^{0}$ is the maximal possible ${\mathcal {F}}^{a}$ , and that ${\mathcal {F}}^{0}$ is connected. We give evidence for these conjectures. For those period spaces possessing PEL period morphisms, we show that ${\mathcal {F}}^{0}$ equals the image of the period morphism. Then our local system is the rational Tate module of the universal p-divisible group and carries a J(? _p )-linearization. We construct the tower $\breve {{\mathcal {E}}}_{{\widetilde {K}}}$ of étale covering spaces, and we show that it is canonically isomorphic in a Hecke and J(? _p )-equivariant way to the tower constructed by Rapoport and Zink using the universal p-divisible group.     

Extreme points of the set of Banach limits

Let ${\mathbb{N}}$ be the set of all natural numbers and ${\ell_\infty=\ell_\infty (\mathbb{N})}$ be the Banach space of all bounded sequences x = (x ₁, x ₂ . . .) with the norm $$\|x\|_{\infty}=\sup_{n\in\mathbb{N}}|x_n|,$$ and let ${\ell_\infty^*}$ be its Banach dual. Let ${\mathfrak{B} \subset \ell_\infty^*}$ be the set of all normalised positive translation invariant functionals (Banach limits) on ? _∞ and let ${ext(\mathfrak{B})}$ be the set of all extreme points of ${\mathfrak{B}}$ . We prove that an arbitrary sequence (B _j ) _{j ≥ 1}, of distinct points from the set ${ext(\mathfrak{B})}$ is 1-equivalent to the unit vector basis of the space ? ₁ of all summable sequences. We also study Cesáro-invariant Banach limits. In particular, we prove that the norm closed convex hull of ${ext(\mathfrak{B})}$ does not contain a Cesáro-invariant Banach limit.     

On Total Incomparability of Mixed Tsirelson Spaces

We give criteria of total incomparability for certain classes of mixed Tsirelson spaces. We show that spaces of the form $T\left[ {\left( {\mathcal{M}_k ,\theta _k } \right)_{k = 1}^l } \right]$ with index $i\left( {\mathcal{M}_k } \right)$ finite are either c ₀ or $\ell _p $ saturated for some p and we characterize when any two spaces of such a form are totally incomparable in terms of the index $i\left( {\mathcal{M}_k } \right)$ and the parameter θ _k . Also, we give sufficient conditions of total incomparability for a particular class of spaces of the form $T\left[ {\left( {\mathcal{A}_k ,\theta _k } \right)_{k = 1}^\infty } \right]$ in terms of the asymptotic behaviour of the sequence $\left\| {\sum\limits_{j = 1}^n {e_i } } \right\|$ where (e _i is the canonical basis.     

Estimates in Beurling-Helson type theorems: Multidimensional case

We consider the spaces A _p ( $\mathbb{T}^m $ ) of functions f on the m-dimensional torus $\mathbb{T}^m $ such that the sequence of Fourier coefficients $\hat f = \{ \hat f(k),k \in \mathbb{Z}^m \} $ belongs to l ^p (? ^m ), 1 ≤ p < 2. The norm on A _p ( $\mathbb{T}^m $ ) is defined by $\left\| f \right\|_{A_p (\mathbb{T}^m )} = \left\| {\hat f} \right\|_{l^p (\mathbb{Z}^m )} $ . We study the rate of growth of the norms $\left\| {e^{i\lambda \phi } } \right\|_{A_p (\mathbb{T}^m )} $ as |λ| → ∞, λ ∈ ?, for C ¹-smooth real functions φ on $\mathbb{T}^m $ (the one-dimensional case was investigated by the author earlier). The lower estimates that we obtain have direct analogs for the spaces A _p (? ^m ).     

Characterization of Banach valued BMO functions and UMD Banach spaces by using Bessel convolutions

In this paper we consider the space ${{{BMO}_o(\mathbb{R}, X)}}$ of bounded mean oscillations and odd functions on ${{\mathbb{R}}}$ taking values in a UMD Banach space X. The functions in ${{{BMO}_o(\mathbb{R}, X)}}$ are characterized by Carleson type conditions involving Bessel convolutions and γ-radonifying norms. Also we prove that the UMD Banach spaces are the unique Banach spaces for which certain γ-radonifying Carleson inequalities for Bessel–Poisson integrals of ${{{BMO}_o(\mathbb{R}, X)}}$ functions hold.     

Absolute convergence of double Walsh?CFourier series and related results

We consider the double Walsh orthonormal system $$\{w_m(x)w_n(y):\, m,n \in \mathbb{N}\}$$ on the unit square $\mathbb{I}^{2}$ , where {w _m (x)} is the ordinary Walsh system on the unit interval $\mathbb{I}:=[0,1)$ in the Paley enumeration. Our aim is to give sufficient conditions for the absolute convergence of the double Walsh?CFourier series of a function $f \in L^{p}(\mathbb{I}^{2})$ for some 1<p?Q2. More generally, we give best possible sufficient conditions for the finiteness of the double series $$\sum_{m=1}^{\infty}\ \sum_{n=1}^{\infty} a_{mn} {|\hat{f}(m,n)|}^r,$$ where {a _mn } is a given double sequence of nonnegative real numbers satisfying a mild assumption and 0<r<2. These sufficient conditions are formulated in terms of (either global or local) dyadic moduli of continuity of?f.     

The polynomial multidimensional Szemerédi Theorem along shifted primes

If $\vec q_1 ,...,\vec q_m $ : ? → ? ^? are polynomials with zero constant terms and E ? ? ^? has positive upper Banach density, then we show that the set E ∩ (E ? $\vec q_1 $ (p ? 1)) ∩ … ∩ (E ? $\vec q_m $ (p ? 1)) is nonempty for some prime p. We also prove mean convergence for the associated averages along the prime numbers, conditional to analogous convergence results along the full integers. This generalizes earlier results of the authors, of Wooley and Ziegler, and of Bergelson, Leibman and Ziegler.     

Generalized Lax-Milgram theorem in Banach spaces and its application to the elliptic system of boundary value problems

We generalize the well-known Lax-Milgram theorem on the Hilbert space to that on the Banach space. Suppose that ${a(\cdot, \cdot)}$ is a continuous bilinear form on the product ${X\times Y}$ of Banach spaces X and Y, where Y is reflexive. If null spaces N _X and N _Y associated with ${a(\cdot, \cdot)}$ have complements in X and in Y, respectively, and if ${a(\cdot, \cdot)}$ satisfies certain variational inequalities both in X and in Y, then for every ${F \in N_Y^{\perp}}$ , i.e., ${F \in Y^{\ast}}$ with ${F(\phi) = 0}$ for all ${\phi \in N_Y}$ , there exists at least one ${u \in X}$ such that ${a(u, \varphi) = F(\varphi)}$ holds for all ${\varphi \in Y}$ with ${\|u\|_X \le C\|F\|_{Y^{\ast}}}$ . We apply our result to several existence theorems of L ^r -solutions to the elliptic system of boundary value problems appearing in the fluid mechanics.     

The Isometric Extension of an Into Mapping from the Unit Sphere S（t（2）^∞） to S（L^1（μ））

This is the first paper to consider the isometric extension problem of an into-mapping between the unit spheres of two different types of spaces. We prove that, under some conditions, an into-isometric mapping from the unit sphere S（t（2）^∞） to S（L^1（μ） can be （real） linearly isometrically extended.     

New criteria for boundedness and compactness of weighted composition operators mapping into the Bloch space

Let ψ and φ be analytic functions on the open unit disk $\mathbb{D}$ with φ( $\mathbb{D}$ ) ? $\mathbb{D}$ . We give new characterizations of the bounded and compact weighted composition operators W _ψ,? from the Hardy spaces H ^p , 1 ≤ p ≤ ∞, the Bloch space B, the weighted Bergman spaces A _α ^p , α > ? 1,1 ≤ p < ∞, and the Dirichlet space $\mathcal{D}$ to the Bloch space in terms of boundedness (respectively, convergence to 0) of the Bloch norms of W _ψ,? f for suitable collections of functions f in the respective spaces. We also obtain characterizations of boundedness for H ¹ as well as of compactness for H ^p , 1 ≤ p < ∞, and $\mathcal{D}$ purely in terms of the symbols ψ and φ.     

A-Systems, Independent Functions, and Sets Bounded in Spaces of Measurable Functions

Let $U \subset L_o ([0,1],\mathcal{M},m)$ be a set of Lebesgue measurable functions. Suppose also that two seminormed spaces of real number sequences are given: $\mathcal{A}$ and $\mathcal{B}$ . We study $\left( {\mathcal{A},\mathcal{B}} \right)$ -sets U defined by the classes $\mathcal{A}$ and $\mathcal{B}$ as follows: $\forall a = (a_n ) \in \mathcal{A}, \forall (f_n (t)) \in u^\mathbb{N} $ (or for sequences similar to $(f_n (t))$ ) $\exists E = E(a) \subset [0,1], mE = 1$ such that $\{ a_n f_n (t)\} 1_E (t)\} \in \mathcal{B}, t \in [0,1]$ . We consider three versions of the definition of $\left( {\mathcal{A},\mathcal{B}} \right)$ -sets, one of which is based on functions independent in the probability sense. The case ${\mathcal{B}}=l_\infty$ is studied in detail. It is shown that $({\mathcal{A}},l_\infty)$ -independent sets are sets bounded or order bounded in some well-known function spaces (L _p , L _p,q , etc.) constructed with respect to the Lebesgue measure. A characterization of such sets in terms of seminormed spaces of number sequences is given. The (l ₁,c _°)- and $(\mathcal{A},l_1 )$ -sets were studied by E. M. Nikishin.     

Composition Operators on Spaces of Fractional Cauchy Transforms

For ?? > 0, the Banach space ${\mathcal{F}_{\alpha}}$ is defined as the collection of functions f which can be represented as integral transforms of an appropriate kernel against a Borel measure defined on the unit circle T. Let ?? be an analytic self-map of the unit disc D. The map ?? induces a composition operator on ${\mathcal{F}_{\alpha}}$ if ${C_{\Phi}(f) = f \circ \Phi \in \mathcal{F}_{\alpha}}$ for any function ${f \in \mathcal{F}_{\alpha}}$ . Various conditions on ?? are given, sufficient to imply that C _?? is bounded on ${\mathcal{F}_{\alpha}}$ , in the case 0 < ?? < 1. Several of the conditions involve ???? and the theory of multipliers of the space ${\mathcal{F}_{\alpha}}$ . Relations are found between the behavior of C _?? and the membership of ?? in the Dirichlet spaces. Conditions given in terms of the generalized Nevanlinna counting function are shown to imply that ?? induces a bounded composition operator on ${\mathcal{F}_{\alpha}}$ , in the case 1/2 ?? ?? < 1. For such ??, examples are constructed such that ${\| \Phi \|_{\infty} = 1}$ and ${C_{\Phi}: \mathcal{F}_{\alpha} \rightarrow \mathcal{F}_{\alpha}}$ is bounded.     

Boundedness and Compactness of Pseudodifferential Operators with Non-Regular Symbols on Weighted Lebesgue Spaces

Applying the boundedness on weighted Lebesgue spaces of the maximal singular integral operator S _* related to the Carleson?CHunt theorem on almost everywhere convergence, we study the boundedness and compactness of pseudodifferential operators a(x, D) with non-regular symbols in ${L^\infty(\mathbb{R}, V(\mathbb{R})), PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ and ${\Lambda_\gamma(\mathbb{R}, V_d(\mathbb{R}))}$ on the weighted Lebesgue spaces ${L^p(\mathbb{R},w)}$ , with 1?< p <? ?? and ${w\in A_p(\mathbb{R})}$ . The Banach algebras ${L^\infty(\mathbb{R}, V(\mathbb{R}))}$ and ${PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ consist, respectively, of all bounded measurable or piecewise continuous ${V(\mathbb{R})}$ -valued functions on ${\mathbb{R}}$ where ${V(\mathbb{R})}$ is the Banach algebra of all functions on ${\mathbb{R}}$ of bounded total variation, and the Banach algebra ${\Lambda_\gamma(\mathbb{R}, V_d(\mathbb{R}))}$ consists of all Lipschitz ${V_d(\mathbb{R})}$ -valued functions of exponent ${\gamma \in (0,1]}$ on ${\mathbb{R}}$ where ${V_d(\mathbb{R})}$ is the Banach algebra of all functions on ${\mathbb{R}}$ of bounded variation on dyadic shells. Finally, for the Banach algebra ${\mathfrak{A}_{p,w}}$ generated by all pseudodifferential operators a(x, D) with symbols ${a(x, \lambda) \in PC(\overline{\mathbb{R}}, V(\mathbb{R}))}$ on the space ${L^p(\mathbb{R}, w)}$ , we construct a non-commutative Fredholm symbol calculus and give a Fredholm criterion for the operators ${A \in \mathfrak{A}_{p,w}}$ .     

Independent families in Boolean algebras with some separation properties

We prove that any Boolean algebra with the subsequential completeness property contains an independent family of size ${\mathfrak{c}}$ , the size of the continuum. This improves a result of Argyros from the 1980s, which asserted the existence of an uncountable independent family. In fact, we prove it for a bigger class of Boolean algebras satisfying much weaker properties. It follows that the Stone space ${K_\mathcal{A}}$ of all such Boolean algebras ${\mathcal{A}}$ contains a copy of the ?ech–Stone compactification of the integers ${\beta\mathbb{N}}$ and the Banach space ${C(K_\mathcal{A})}$ has l _∞ as a quotient. Connections with the Grothendieck property in Banach spaces are discussed.     

The Essential Norm of a Generalized Composition Operator Between Bloch-Type Spaces and Q K Type Spaces

Let ?? be an analytic self-map of the unit disk ${\rm \mathbb{D},H(\rm \mathbb{D})}$ the space of analytic functions on ${{\rm \mathbb{D}}}$ and ${g \in H(\rm \mathbb{D})}$ . We define a linear operator as follows $$C_\varphi^gf(z)=\int\limits_0^zf'(\varphi(w))g(w)\, {\rm d}w, $$ on ${ H(\rm \mathbb{D})}$ . In this paper, estimates for the essential norm of the generalized composition operator between Bloch-type spaces and Q _K type spaces are obtained.     

Besov–Lipschitz and Mean Besov–Lipschitz Spaces of Holomorphic Functions on the Unit Ball

We give several characterizations of holomorphic mean Besov–Lipschitz spaces on the unit ball in ${\mathbb C^N} $ and appropriate Besov–Lipschitz spaces and prove the equivalences between them. Equivalent norms on the mean Besov–Lipschitz spaces involve different types of L ^p -moduli of continuity, while in characterizations of Hardy–Sobolev spaces we use not only the radial derivative but also the gradient. The characterization in terms of the best approximation by polynomials is also given.     

Geometrical properties of Banach spaces generated by sublinear operators

We solve a problem posed by Mastylo (Math Japon 36(1), 85–92, 1991) proving that every “non-trivial” subspace of a Banach space X generated by some positive sublinear operator and an L _p -space with 1 ≤  p < ∞ contains, for any ${\varepsilon > 0}$ , an ${(1 + \varepsilon)}$ -copy of l _p which is ${(1 + \varepsilon)}$ -complemented in X.     

Characterization of Tangent Cones of Noncollapsed Limits with Lower Ricci Bounds and Applications

Consider a limit space ${(M_\alpha,g_\alpha,p_\alpha)\stackrel{GH}{\rightarrow} (Y,d_Y,p)}$ , where the ${M_\alpha^n}$ have a lower Ricci curvature bound and are volume noncollapsed. The tangent cones of Y at a point ${p\in Y}$ are known to be metric cones C(X), however they need not be unique. Let ${\overline\Omega_{Y,p}\subseteq\mathcal{M}_{GH}}$ be the closed subset of compact metric spaces X which arise as cross sections for the tangents cones of Y at p. In this paper we study the properties of ${\overline\Omega_{Y,p}}$ . In particular, we give necessary and sufficient conditions for an open smooth family ${\Omega\equiv (X,g_s)}$ of closed manifolds to satisfy ${\overline\Omega =\overline\Omega_{Y,p}}$ for some limit Y and point ${p\in Y}$ as above, where ${\overline\Omega}$ is the closure of Ω in the set of metric spaces equipped with the Gromov–Hausdorff topology. We use this characterization to construct examples which exhibit fundamentally new behaviors. The first application is to construct limit spaces (Y ⁿ , d _Y , p) with n ≥ 3 such that at p there exists for every 0 ≤ k ≤ n?2 a tangent cone at p of the form , where X ^n-k-1 is a smooth manifold not isometric to the standard sphere. In particular, this is the first example which shows that a stratification of a limit space Y based on the Euclidean behavior of tangent cones is not possible or even well defined. It is also the first example of a three dimensional limit space with nonunique tangent cones. The second application is to construct a limit space (Y ⁵ , d _Y , p), such that at p the tangent cones are not only not unique, but not homeomorphic. Specifically, some tangent cones are homeomorphic to cones over while others are homeomorphic to cones over .