Composition Operators and Endomorphisms

If b is an inner function, then composition with b induces an endomorphism, β, of L^￥(\mathbbT){L^\infty({\mathbb{T}})} that leaves H^￥(\mathbbT){H^\infty({\mathbb{T}})} invariant. We investigate the structure of the endomorphisms of B(L²(\mathbbT)){B(L^2({\mathbb{T}}))} and B(H²(\mathbbT)){B(H^2({\mathbb{T}}))} that implement β through the representations of L^￥(\mathbbT){L^\infty({\mathbb{T}})} and H^￥(\mathbbT){H^\infty({\mathbb{T}})} in terms of multiplication operators on L²(\mathbbT){L^2({\mathbb{T}})} and H²(\mathbbT){H^2({\mathbb{T}})} . Our analysis, which is based on work of Rochberg and McDonald, will wind its way through the theory of composition operators on spaces of analytic functions to recent work on Cuntz families of isometries and Hilbert C*-modules.     

Density of the polynomials in Hardy and Bergman spaces of slit domains

It is shown that for any t, 0<t<∞, there is a Jordan arc Γ with endpoints 0 and 1 such that G\{1} í \mathbbD:={z:|z| < 1}\Gamma\setminus\{1\}\subseteq\mathbb{D}:=\{z:|z|<1\} and with the property that the analytic polynomials are dense in the Bergman space \mathbbA^t(\mathbbD\G)\mathbb{A}^{t}(\mathbb{D}\setminus\Gamma) . It is also shown that one can go further in the Hardy space setting and find such a Γ that is in fact the graph of a continuous real-valued function on [0,1], where the polynomials are dense in H^t(\mathbbD\G)H^{t}(\mathbb{D}\setminus\Gamma) ; improving upon a result in an earlier paper.     

Pseudodifferential Operators Approach to Singular Integral Operators in Weighted Variable Exponent Lebesgue Spaces on Carleson Curves

The main results of the paper are: (1) The boundedness of singular integral operators in the variable exponent Lebesgue spaces L ^p(·)(Γ, w) on a class of composed Carleson curves Γ where the weights w have a finite set of oscillating singularities. The proof of this result is based on the boundedness of Mellin pseudodifferential operators on the spaces L^p(·)(\mathbbR ₊,dm){L^{p(\cdot )}(\mathbb{R} _{+},d\mu)} where dμ is an invariant measure on multiplicative group ${\mathbb{R}_{+}=\left\{r\in \mathbb{R}:r >0 \right\}}${\mathbb{R}_{+}=\left\{r\in \mathbb{R}:r >0 \right\}}. (2) Criterion of local invertibility of singular integral operators with piecewise slowly oscillating coefficients acting on L ^p(·)(Γ, w) spaces. We obtain this criterion from the corresponding criteria of local invertibility at the point 0 of Mellin pseudodifferential operators on \mathbbR₊{\mathbb{R}_{+}} and local invertibility of singular integral operators on \mathbbR{\mathbb{R}}. (3) Criterion of Fredholmness of singular integral operators in the variable exponent Lebesgue spaces L ^p(·)(Γ, w) where Γ belongs to a class of composed Carleson curves slowly oscillating at the nodes, and the weight w has a finite set of slowly oscillating singularities.     

Compact Operators that Commute with a Contraction

Let T be a C₀–contraction on a separable Hilbert space. We assume that I_H − T*T is compact. For a function f holomorphic in the unit disk \mathbbD{\mathbb{D}} and continuous on [`(\mathbbD)]\overline{{\mathbb{D}}}, we show that f(T) is compact if and only if f vanishes on s(T)?\mathbbT\sigma(T)\cap{\mathbb{T}}, where σ(T) is the spectrum of T and \mathbbT{\mathbb{T}} the unit circle. If f is just a bounded holomorphic function on \mathbbD{\mathbb{D}}, we prove that f(T) is compact if and only if lim_{n? ￥}||Tⁿf(T)|| = 0\lim\limits_{n\rightarrow \infty}\|T^{n}f(T)\| = 0.     

On the means of Fourier integrals and Bernstein inequality in the two-weighted setting

The norm estimation problem for Cesaro and Abel–Poisson operators acting from L_w^p(\mathbbR){L_{w}^{p}(\mathbb{R})} to L_v^q (\mathbbR){L_{v}^{q} (\mathbb{R})} where 1 < p ≤ q < ∞ was investigated. These results were generalized to the multidimensional case and applied to obtain generalizations of the Bernstein inequality for integral functions of finite degree of one and several variables.     

Generalized Vanishing Mean Oscillation Spaces Associated with Divergence Form Elliptic Operators

Let L be a divergence form elliptic operator with complex bounded measurable coefficients, ω a positive concave function on (0, ∞) of strictly critical lower type p ω ∈(0, 1] and ρ(t) = t ?1/ω ?1(t ?1) for ${t\in (0,\infty).}Let L be a divergence form elliptic operator with complex bounded measurable coefficients, ω a positive concave function on (0, ∞) of strictly critical lower type p ω ∈(0, 1] and ρ(t) = t −1/ω −1(t −1) for t ? (0,￥).{t\in (0,\infty).} In this paper, the authors introduce the generalized VMO spaces VMOr, L(\mathbb Rn){{\mathop{\rm VMO}_ {\rho, L}({\mathbb R}^n)}} associated with L, and characterize them via tent spaces. As applications, the authors show that (VMOr,L (\mathbb Rn))*=Bw,L*(\mathbb Rn){({\rm VMO}_{\rho,L} ({\mathbb R}^n))^\ast=B_{\omega,L^\ast}({\mathbb R}^n)}, where L * denotes the adjoint operator of L in L2(\mathbb Rn){L^2({\mathbb R}^n)} and Bw,L*(\mathbb Rn){B_{\omega,L^\ast}({\mathbb R}^n)} the Banach completion of the Orlicz–Hardy space Hw,L*(\mathbb Rn){H_{\omega,L^\ast}({\mathbb R}^n)}. Notice that ω(t) = t p for all t ? (0,￥){t\in (0,\infty)} and p ? (0,1]{p\in (0,1]} is a typical example of positive concave functions satisfying the assumptions. In particular, when p = 1, then ρ(t) ≡ 1 and (VMO1, L(\mathbb Rn))*=HL*1(\mathbb Rn){({\mathop{\rm VMO}_{1, L}({\mathbb R}^n)})^\ast=H_{L^\ast}^1({\mathbb R}^n)}, where HL*1(\mathbb Rn){H_{L^\ast}^1({\mathbb R}^n)} was the Hardy space introduced by Hofmann and Mayboroda.     

On the Translates of Powers of a Continuous Periodic Function

We characterize the set of real-valued, 2π -periodic, continuous functions f for which the translation invariant subspace V(f) generated by f ⁿ , n≥0, is dense in C(\mathbbT)C(\mathbb{T}). In particular, it follows that if f takes a given value at only one point then V(f) is dense in C(\mathbbT)C(\mathbb{T}).     

Absolutely convergent fourier series. An improvement of the Beurling-Helson theorem

We consider the space A(\mathbbT)A(\mathbb{T}) of all continuous functions f on the circle \mathbbT\mathbb{T} such that the sequence of Fourier coefficients [^(f)] = { [^(f)]( k ), k ? \mathbbZ }\hat f = \left\{ {\hat f\left( k \right), k \in \mathbb{Z}} \right\} belongs to l ¹(ℤ). The norm on A(\mathbbT)A(\mathbb{T}) is defined by || f ||_A(\mathbbT) = || [^(f)] ||_{l¹ (\mathbbZ)}\left\| f \right\|_{A(\mathbb{T})} = \left\| {\hat f} \right\|_{l^1 (\mathbb{Z})}. According to the well-known Beurling-Helson theorem, if f:\mathbbT ? \mathbbT\phi :\mathbb{T} \to \mathbb{T} is a continuous mapping such that || e^inf ||_A(\mathbbT) = O(1)\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = O(1), n ∈ ℤ then φ is linear. It was conjectured by Kahane that the same conclusion about φ is true under the assumption that || e^inf ||_A(\mathbbT) = o( log| n | )\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\log \left| n \right|} \right). We show that if $\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right)$\left\| {e^{in\phi } } \right\|_{A(\mathbb{T})} = o\left( {\left( {{{\log \log \left| n \right|} \mathord{\left/ {\vphantom {{\log \log \left| n \right|} {\log \log \log \left| n \right|}}} \right. \kern-\nulldelimiterspace} {\log \log \log \left| n \right|}}} \right)^{1/12} } \right), then φ is linear.     

Anisotropic Local Hardy Spaces

In this paper we introduce and study the anisotropic local Hardy spaces h_A^p(\mathbbRⁿ)h_{A}^{p}(\mathbb{R}^{n}) 0<p≤1, associated with the expansive matrix A. We obtain an atomic characterization of the distributions in h_A^p(\mathbbRⁿ)h_{A}^{p}(\mathbb{R}^{n}). Also we describe the dual spaces of our local Hardy anisotropic spaces as anisotropic Campanato type spaces.     

Group measure space decomposition of II1 factors and W*-superrigidity

We prove a “unique crossed product decomposition” result for group measure space II₁ factors L ^∞(X)⋊Γ arising from arbitrary free ergodic probability measure preserving (p.m.p.) actions of groups Γ in a fairly large family G\mathcal{G}, which contains all free products of a Kazhdan group and a non-trivial group, as well as certain amalgamated free products over an amenable subgroup. We deduce that if T _n denotes the group of upper triangular matrices in PSL (n,ℤ), then any free, mixing p.m.p. action of G = \operatornamePSL(n,\mathbbZ)*_Tn\operatornamePSL(n,\mathbbZ)\Gamma=\operatorname{PSL}(n,\mathbb{Z})*_{T_{n}}\operatorname{PSL}(n,\mathbb{Z}) is W^∗-superrigid, i.e. any isomorphism between L ^∞(X)⋊Γ and an arbitrary group measure space factor L ^∞(Y)⋊Λ, comes from a conjugacy of the actions. We also prove that for many groups Γ in the family G\mathcal{G}, the Bernoulli actions of Γ are W^∗-superrigid.     

S<Superscript>1</Superscript>-Valued Sobolev maps

We describe the structure of the space W^s,p( \mathbbSⁿ;\mathbbS¹ ) {W^{s,p}}\left( {{\mathbb{S}^n};{\mathbb{S}^1}} \right) , where 0 < s < ∞ and 1 ≤ p < ∞. According to the values of s, p, and n, maps in W^s,p( \mathbbSⁿ;\mathbbS¹ ) {W^{s,p}}\left( {{\mathbb{S}^n};{\mathbb{S}^1}} \right) can either be characterised by their phases or by a couple (singular set, phase).     

Fourier Series with the Continuous Primitive Integral

Fourier series are considered on the one-dimensional torus for the space of periodic distributions that are the distributional derivative of a continuous function. This space of distributions is denoted A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}) and is a Banach space under the Alexiewicz norm, ||f||_\mathbbT=sup_{|I| ￡ 2p}|ò_I f|\|f\|_{\mathbb{T}}=\sup_{|I|\leq2\pi}|\int_{I} f|, the supremum being taken over intervals of length not exceeding 2π. It contains the periodic functions integrable in the sense of Lebesgue and Henstock–Kurzweil. Many of the properties of L ¹ Fourier series continue to hold for this larger space, with the L ¹ norm replaced by the Alexiewicz norm. The Riemann–Lebesgue lemma takes the form [^(f)](n)=o(n)\hat{f}(n)=o(n) as |n|→∞. The convolution is defined for f ? A_c(\mathbbT)f\in{\mathcal{A}}_{c}(\mathbb{T}) and g a periodic function of bounded variation. The convolution commutes with translations and is commutative and associative. There is the estimate ||f*g||_￥ ￡ ||f||_\mathbbT ||g||_BV\|f\ast g\|_{\infty}\leq\|f\|_{\mathbb{T}} \|g\|_{\mathcal{BV}}. For g ? L¹(\mathbbT)g\in L^{1}(\mathbb{T}), ||f*g||_\mathbbT ￡ ||f||_{\mathbb T} ||g||₁\|f\ast g\|_{\mathbb{T}}\leq\|f\|_{\mathbb {T}} \|g\|_{1}. As well, [^(f*g)](n)=[^(f)](n) [^(g)](n)\widehat{f\ast g}(n)=\hat{f}(n) \hat{g}(n). There are versions of the Salem–Zygmund–Rudin–Cohen factorization theorem, Fejér’s lemma and the Parseval equality. The trigonometric polynomials are dense in A_c(\mathbbT){\mathcal{A}}_{c}(\mathbb{T}). The convolution of f with a sequence of summability kernels converges to f in the Alexiewicz norm. Let D _n be the Dirichlet kernel and let f ? L¹(\mathbbT)f\in L^{1}(\mathbb{T}). Then ||D_n*f-f||_\mathbbT?0\|D_{n}\ast f-f\|_{\mathbb{T}}\to0 as n→∞. Fourier coefficients of functions of bounded variation are characterized. The Appendix contains a type of Fubini theorem.     

Generalized stable ranks for commutative Banach algebras

We introduce the notion of generalized E-stable ranks for commutative unital Banach algebras and determine these ranks for the disk-algebra A(\mathbbD){A(\mathbb{D})}, many of its subalgebras, and the algebra H ^∞ of bounded holomorphic functions in the unit disk. Relations to L-sets and separating algebras, notions due to Csordas and Reiter, are given, too. Finally we show that the absolute stable rank of A(\mathbbD){A(\mathbb{D})} and H ^∞ is bigger than 2.     

Optimal Embeddings of Spaces of Generalized Smoothness in the Critical Case

We study necessary and sufficient conditions for embeddings of Besov and Triebel-Lizorkin spaces of generalized smoothness B^(n/p,Y)_p,q(\mathbbRⁿ)B^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}) and F^(n/p,Y)_p,q(\mathbbRⁿ)F^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}), respectively, into generalized H?lder spaces L_￥,r^m(·)( \mathbb Rⁿ)\Lambda_{\infty,r}^{\mu(\cdot)}(\ensuremath {\ensuremath {\mathbb {R}}^{n}}). In particular, we are able to characterize optimal embeddings for this class of spaces provided q>1. These results improve the embedding assertions given by the continuity envelopes of B^(n/p,Y)_p,q(\mathbbRⁿ)B^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}) and F^(n/p,Y)_p,q(\mathbbRⁿ)F^{(n/p,\Psi)}_{p,q}(\mathbb{R}^{n}), which were obtained recently solving an open problem of D.D. Haroske in the classical setting.     

Rectifiability of metric flat chains and fractional masses

We prove that every real flat chain T of finite mass in a complete separable metric space E is rectifiable when \mathbbM^a (T) < + ￥ {\mathbb{M}^\alpha }(T) < + \infty for some α ∈ [0, 1), where \mathbbM^a (T) {\mathbb{M}^\alpha }(T) is the α-mass of T. Bibliography: 12 titles.     

On Transference of Multipliers on Matrix Weighted <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>-Spaces

We consider a periodic matrix weight W defined on ℝ ^d and taking values in the N×N positive-definite matrices. For such weights, we prove transference results between multiplier operators on L _p (ℝ ^d ;W) and L_p(\mathbb T^d;W)L_{p}(\mathbb {T}^{d};W), 1<p<∞, respectively. As a specific application, we study transference results for homogeneous multipliers of degree zero.     

Well-Posedness of Fractional Differential Equations on Vector-Valued Function Spaces

We study the well-posedness of the fractional differential equations with infinite delay (P ₂): D^a u(t)=Au(t)+ò^t_-￥a(t-s)Au(s)ds + f(t), (0 ￡ t ￡ 2p){D^\alpha u(t)=Au(t)+\int^{t}_{-\infty}a(t-s)Au(s)ds + f(t), (0\leq t \leq2\pi)}, where A is a closed operator in a Banach space ${X, \alpha > 0, a\in {L}^1(\mathbb{R}_+)}${X, \alpha > 0, a\in {L}^1(\mathbb{R}_+)} and f is an X-valued function. Under suitable assumptions on the parameter α and the Laplace transform of a, we completely characterize the well-posedness of (P ₂) on Lebesgue-Bochner spaces L^p(\mathbbT, X){L^p(\mathbb{T}, X)} and periodic Besov spaces B _p,q^s(\mathbbT, X){{B} _{p,q}^s(\mathbb{T}, X)} .     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too. This research was made while the author was visiting the Humboldt University in Berlin supported by the Alexander von Humboldt Foundation.     

The maximal (C,α,β) operator on Hp(T×T)

The two-dimensional classical Hardy space H_p(T×T) on the bidisc are introduced, and it is shown that the maximal operator of the (C,α,β) means of a distribution is bounded from the space H_p(T×T) to L_p(T²) (1/(α+1), 1/(β+1)<p≤∞), and is of weak type (H ₁ ^# (T×T), L₁(T²)), where the Hardy space H ₁ ^# (T×T) is defined by the hybrid maximal function. As a consequence we obtain that the (C, α, β) means of a function f∈H ₁ ^# (T×T)⊃LlogL(T ²) convergs a. e. to the function in question. Moreover, we prove that the (C, α, β) means are uniformly bounded on the spaces H_p(T×T) whenever 1/(α+1), 1(β+1)<p<∞. Thus, in case f∈H_p(T×T), the (C, α, β) means convergs to f in H_p(T×T) norm whenever (1/(α+1), 1/(β+1)<p<∞). The same results are proved for the conjugate (C, α, β) means, too.     

Triangular Dirichlet Kernels and Growth of L p Lebesgue Constants

Let P be a polygon in ℤ² and consider the mapping of an L¹(\mathbbT²)L^{1}(\mathbb{T}^{2}) function into the partial sum of its Fourier series determined by the dilate of P by the integer N. If the image space is endowed with the L ^p norm, 1<p<∞, then the operator norm will be given by the L ^p norm of ∑_(m,n)∈NP e ^{2π i(mx+ny)}. The size of this operator norm is shown to be O(N ^2(1−1/p)) when the polygon is a triangle. The estimate is independent of the shape of the triangle. For a k sided polygon the corresponding estimate is O(kN ^2(1−1/p)).