We study mean ergodic composition operators on infinite dimensional spaces of holomorphic functions of different types when defined on the unit ball of a Banach or a Hilbert space: that of all holomorphic functions, that of holomorphic functions of bounded type and that of bounded holomorphic functions. Several examples in the different settings are given.
We prove that a non ergodic Banach space must be near Hilbert. In particular, $\ell_p$ ($2<p<\infty$) is ergodic. This reinforces the conjecture that $\ell_2$ is the only non ergodic Banach space. As an application of our criterion for ergodicity, we prove that there is no separable Banach space which is complementably universal for the class of all subspaces of $\ell_p$, for $1\leq p <2$. This solves a question left open by W. B. Johnson and A. Szankowski in 1976.
We show that the duals of Banach algebras of scalar-valued bounded holomorphic functions on the open unit ball $B_E$ of a Banach space $E$ lack weak$^*$-strongly exposed points. Consequently, we obtain that some Banach algebras of holomorphic functions on an arbitrary Banach space have the Daugavet property which extends the observation of P. Wojtaszczyk. Moreover, we present a new denseness result by proving that the set of norm-attaining vector-valued holomorphic functions on the open unit ball of a dual Banach space is dense provided that its predual space has the metric $π$-property. Besid…
We present versions of ergodic theorems for $L_1$--$L_\infty$ contractions in Banach--Kantorovich $L_p$-lattices associated with the Maharam measure taking values in the algebra of measurable functions.
It is known that Dobrushin's ergodicity coefficient is one of the effective tools in the investigations of limiting behavior of Markov processes. Several interesting properties of the ergodicity coefficient of a positive mapping defined on ordered Banach space with a base have been studied. In this paper, we consider uniformly mean ergodic and asymptotically stable Markov operators on ordered Banach spaces. In terms of the ergodicity coefficient, we prove uniform mean ergodicity criterion in terms of the ergodicity coefficient. Moreover, we develop the perturbation theory for uniformly asympto…
We show that any Banach space contains a continuum of non isomorphic subspaces or a minimal subspace. We define an ergodic Banach space $X$ as a space such that $E_0$ Borel reduces to isomorphism on the set of subspaces of $X$, and show that every Banach space is either ergodic or contains a subspace with an unconditional basis $ which is complementably universal for the family of its block-subspaces. We also use our methods to get uniformity results; for example, in combination with a result of B. Maurey, V. Milman and N. Tomczak-Jaegermann, we show that an unconditional basis of a Banach spa…
Let $A$ be the generator of a $C_0$-semigroup $T$ on a Banach space of analytic functions on the open unit disc. If $T$ consists of composition operators, then there exists a holomorphic function $G:{\mathbb D}\to{\mathbb C}$ such that $Af=Gf'$ with maximal domain. The aim of the paper is the study of the reciprocal implication.
We consider weighted banach spaces of holomorphic functions on the upper half plane that are determined by $ \|f\|=\sup_{y>0,-\infty<x<\infty}p(y)|f(x+iy)|<\infty $ for a very large class of weight functions p. We completely solve the problem whether such banach spaces are trivial or not by giving necessary and sufficient conditions stated in terms of some simple properties of the weight function. Further, we investigate the behaviour at infinity of some functions that belong to some of the banach spaces under consideration.
Let $\mathcal{A}$ be a Banach algebra of bounded holomorphic functions on the open unit ball $B_X$ of a complex Banach space $X$. Considering the Gelfand transform image $\widehat{\mathcal{A}}$ of the Banach algebra $\mathcal{A}$, which is a uniform algebra on the spectrum of $\mathcal{A}$, we obtain an explicit description of the Shilov boundary for $\widehat{\mathcal{A}}$ for classical Banach spaces $X$ in the case where $\mathcal{A}$ is a certain Banach algebra, for instance, $\mathcal{A}_\infty (B_X)$, $\mathcal{A}_u (B_X)$ or $\mathcal{A}_{wu} (B_X)$. Some possible application of our resu…
We study the relations between boundaries for algebras of holomorphic functions on Banach spaces and complex convexity of their balls. In addition, we show that the Shilov boundary for algebras of holomorphic functions on an order continuous sequence space $X$ is the unit sphere $S_X$ if $X$ is locally c-convex. In particular, it is shown that the unit sphere of the Orlicz-Lorentz sequence space $λ_{ϕ, w}$ is the Shilov boundary for algebras of holomorphic functions on $λ_{ϕ, w}$ if $ϕ$ satisfies the $δ_2$-condition.
In this article, we show that the predual $\mathcal{G}_w(U)$ of the weighted space of holomorphic functions has the $\mathcal{I}$- approximation property if and only if $E$ has the $\mathcal{I}$- approximation property, where $\mathcal{I}$ is a suitably chosen operator ideal, and $\it{w}$ is a radial weight defined on a balanced open subset U of a Banach space $E$.
We consider a large class of operator means and prove that a number of ergodic theorems, as well as growth estimates known for particular cases, continue to hold in the general context under fairly mild regularity conditions. The methods developed in the paper not only yield a new approach based on a general point of view, but also lead to results that are new, even in the context of the classical Cesaro means.
We characterize Banach spaces with polynomial numerical index 1 when they have the Radon-Nikodým property. The holomorphic numerical index is introduced and the characterization of the Banach space with holomorphic numerical index 1 is obtained when it has the Radon-Nikodým property.
In this work we study the vector-valued Hardy spaces H p (D; F) (1 \leq p \leq \infty) and their relationship with RNP, ARNP and the UMDP properties. By following the approach of Taylor in the scalar-valued case, we prove that, when F and F have the ARNP property, then H p (D; F) and H q (D; F) are canonically topologically isomorphic (for p, q \in (1, \infty) conjugate indices) if and only if F has the UMDP.
Let $E$ and $F$ be complex Banach spaces, $U$ be an open subset of $E$ and $1\leq p\leq\infty$. We introduce and study the notion of a Cohen strongly $p$-summing holomorphic mapping from $U$ to $F$, a holomorphic version of a strongly $p$-summing linear operator. For such mappings, we establish both Pietsch domination/factorization theorems and analyse their linearizations from $\mathcal{G}^\infty(U)$ (the canonical predual of $\mathcal{H}^\infty(U)$) and their transpositions on $\mathcal{H}^\infty(U)$. Concerning the space $\mathcal{D}_p^{\mathcal{H}^\infty}(U,F)$ formed by such mappings and …
In the first part we show that a vector-valued almost separably valued function $f$ is holomorphic (harmonic) if and only if it is dominated by an $L^1_\mathrm{loc}$ function and there exists a separating set $W\subset X'$ such that $\langle f,x'\rangle$ is holomorphic (harmonic) for all $x'\in W$. This improves a known result which requires $f$ to be locally bounded. In the second part we consider classical results in the $L^p$ theory for elliptic differential operators of second order. In the vector-valued setting these results are shown to be equivalent to the UMD property.
We study some fundamental properties of semicocycles over semigroups of self-mappings of a domain in a Banach space. We prove that any semicocycle over a jointly continuous semigroup is itself jointly continuous. For semicocycles over semigroups which have generator, we establish a sufficient condition for differentiablity with respect to the time variable, and hence for the semicocycle to satisfy a linear evolution problem, giving rise to the notion of `generator' of a semicocycle. Bounds on the growth of a semicocycle with respect to the time variable are given in terms of this generator. Sp…
We show that some previous results concerning the boundedness of differentiation and integration operators on weighted spaces given by radial weights in the unit disk or the complex plane might fail without some natural additional conditions. In view of this we develop a new elementary approach which is essentially different from the previous one and can be applied for weights and domains of general types. We also establish a new characterization of some popular classes of radial weights.
In the present paper we prove weighted ergodic theorems and multiparameter weighted ergodic theorems for positive contractions acting on $L_p(\hat{\nabla},\hatμ)$. Our main tool is the use of methods of measurable bundles of Banach-Kantorovich lattices.
Related to the concept of $p$-compact operator with $p\in [1,\infty]$ introduced by Sinha and Karn, this paper deals with the space $\mathcal{H}^\infty_{\mathcal{K}_p}(U,F)$ of all Banach-valued holomorphic mappings on an open subset $U$ of a complex Banach space $E$ whose ranges are relatively $p$-compact subsets of $F$. We characterize such holomorphic mappings as those whose Mujica's linearisations on the canonical predual of $\mathcal{H}^\infty(U)$ are $p$-compact operators. This fact allows us to make a complete study of them. We show that $\mathcal{H}^\infty_{\mathcal{K}_p}$ is a surject…
The paper studies semi-almost periodic holomorphic functions on a polydisk which have, in a sense, the weakest possible discontinuities on the boundary torus. The basic result used in the proofs is an extension of the classical Bohr approximation theorem for almost periodic holomorphic functions on a strip to the case of Banach-valued almost periodic holomorphic functions.
We introduce the notion of numerical (strong) peak function and investigate the denseness of the norm and numerical peak functions on complex Banach spaces. Let $A_b(B_X:X)$ be the Banach space of all bounded continuous functions $f$ on the unit ball $B_X$ of a Banach space $X$ and their restrictions $f|_{B_X^\circ}$ to the open unit ball are holomorphic. In finite dimensional spaces, we show that the intersection of the set of all norm peak functions and the set of all numerical peak functions is a dense $G_δ$ subset of $A_b(B_X:X)$. We also prove that if $X$ is a smooth Banach space with the…
A class of maps in a complex Banach space is studied, which includes both unbounded linear operators and nonlinear holomorphic maps. The defining property, which we call {\sl pseudo-contractivity}, is introduced by means of the Abel averages of such maps. We show that the studied maps are dissipative in the spirit of the classical Lumer-Phillips theorem. For pseudo-contractive holomorphic maps, we establish the power convergence of the Abel averages to holomorphic retractions.
We completely characterize the mean ergodic composition operators on $H^\infty(\mathbb{B}_n)$. In particular, we show that a composition operator acting on this space is mean ergodic if and only if it is uniformly mean ergodic.
Given a symbol $φ,$ i.e., a holomorphic endomorphism of the unit disc, we consider the composition operator $C_φ(f)=f\circφ$ defined on the Banach spaces of holomorphic functions $A(\mathbb{D})$ and $H^{\infty}(\mathbb{D})$. We obtain different conditions on the symbol $φ$ which characterize when the composition operator is mean ergodic and uniformly mean ergodic in the corresponding spaces. These conditions are related to the asymptotic behaviour of the iterates of the symbol. As an appendix, we deal with some particular case in the setting of weighted Banach spaces of holomorphic functions.
R.M. Aron et al. proved that the Cluster Value Theorem in the infinite dimensional Banach space setting holds for the Banach algebra $\mathcal{H}^\infty (B_{c_0})$. On the other hand, B.J. Cole and T.W. Gamelin showed that $\mathcal{H}^\infty (\ell_2 \cap B_{c_0})$ is isometrically isomorphic to $\mathcal{H}^\infty (B_{c_0})$ in the sense of an algebra. Motivated by this work, we are interested in a class of open subsets $U$ of a Banach space $X$ for which $\mathcal{H}^\infty (U)$ is isometrically isomorphic to $\mathcal{H}^\infty (B_{c_0})$. We prove that there exist polydisk type domains $U$…
Some theorems on convex functions are proved and an application of these theorems in the theory of weighted Banach spaces of holomorphic functions is investigated, too. We prove that $H_v(G)$ and $H_{v_0}(G)$ are exactly the same spaces as $H_w(G)$ and $H_{w_0}(G)$ where $w$ is the smallest log-concave majorant of $v$. This investigation is based on the theory of convex functions and some specific properties of the weighted banach spaces of holomorphic functions under considaration and we do not use the theory of associated weights.
We investigate certain envelopes of open sets in dual Banach spaces which are related to extending holomorphic functions. We give a variety of examples of absolutely convex sets showing that the extension is in many cases not possible. We also establish connections to the study of iterated weak* sequential closures of convex sets in the dual of separable spaces.
In this article, we study the multi-dimensional Bohr radii of holomorphic functions defined on the Banach sequence spaces with values in the Banach spaces. For the case of finite dimensional Banach spaces, we exhibit the exact asymptotic growth of the Bohr radius. To achieve our goal in the finite case, we use $\ell_{p'}$-summability of certain coefficients of a given polynomial in terms of its uniform norm on $\ell_p^n$. The infinite case is handled using the techniques developed in recent years from the work of Defant, Maestre and Schwarting. We crucially use several properties of the symmet…
We extract quantitative information (specifically, a rate of metastability in the sense of Terence Tao) from a proof due to Kazuo Kobayasi and Isao Miyadera, which shows strong convergence for Cesàro means of nonexpansive maps on Banach spaces.
We prove that weakly unconditionally Cauchy (w.u.C.) series and unconditionally converging (u.c.) series are preserved under the action of polynomials or holomorphic functions on Banach spaces, with natural restrictions in the latter case. Thus it is natural to introduce the unconditionally converging polynomials, defined as polynomials taking w.u.C. series into u.c.\ series, and analogously, the unconditionally converging holomorphic functions. We show that most of the classes of polynomials which have been considered in the literature consist of unconditionally converging polynomials. Then w…
We provide explicit examples of positive and power-bounded operators on $c_0$ and $\ell^\infty$ which are mean ergodic but not weakly almost periodic. As a consequence we prove that a countably order complete Banach lattice on which every positive and power-bounded mean ergodic operator is weakly almost periodic is necessarily a KB-space. This answers several open questions from the literature. Finally, we prove that if $T$ is a positive mean ergodic operator with zero fixed space on an arbitrary Banach lattice, then so is every power of $T$.
We study, to certain Banach spaces $X$, families of weighted composition operators. Notably, we show that if this family form a strongly continuous semigroup, then its infinitesimal generator ($Γ, D(Γ)$) is given by $Γf = gf+Gf^\prime$ with $D(Γ) = \{ f\in X \ | \ gf+Gf^\prime\in X \}$ where $g, G$ are holomorphic functions. Moreover, our second maim result is to study the reciprocal implication. That is if $(Γ, D(Γ))$, define like above, generate a strongly continuous semigroup, then this one is a family of weighted composition operators.
Let $X$ be a Banach holomorphic function space on the unit disk. A linear polynomial approximation scheme for $X$ is a sequence of bounded linear operators $T_n:X\to X$ with the property that, for each $f\in X$, the functions $T_n(f)$ are polynomials converging to $f$ in the norm of the space. We completely characterize those spaces $X$ that admit a linear polynomial approximation scheme. In particular, we show that it is NOT sufficient merely that polynomials be dense in $X$.
In this paper, we give a geometric characterization of mean ergodic convergence in the Calkin algebras for Banach spaces that have the bounded compact approximation property.
For a complex Banach space $X$ with open unit ball $B_X,$ consider the Banach algebras $\mathcal H^\infty(B_X)$ of bounded scalar-valued holomorphic functions and the subalgebra $\mathcal A_u(B_X)$ of uniformly continuous functions on $B_X.$ Denoting either algebra by $\mathcal A,$ we study the Gleason parts of the set of scalar-valued homomorphisms $\mathcal M(\mathcal A)$ on $\mathcal A.$ Following remarks on the general situation, we focus on the case $X = c_0.$
Given $\u$ a multiplicative sequence of polynomial ideals, we consider the associated algebra of holomorphic functions of bounded type, $H_{b\u}(E)$. We prove that, under very natural conditions verified by many usual classes of polynomials, the spectrum $M_{b\u}(E)$ of this algebra "behaves" like the classical case of $M_{b}(E)$ (the spectrum of $H_b(E)$, the algebra of bounded type holomorphic functions). More precisely, we prove that $M_{b\u}(E)$ can be endowed with a structure of Riemann domain over $E"$ and that the extension of each $f\in H_{b\u}(E)$ to the spectrum is an $\u$-holomorphi…
The authors lay the foundations for the study of normal families of holomorphic functions and mappings on an infinite-dimensional normed linear space. Characterizations of normal families, in terms of value distribution, spherical derivatives, and other geometric properties are derived. Montel-type theorems are established. A number of different topologies on spaces of holomorphic mappings are considered. Theorems about normal families are formulated and proved in the language of these various topologies. Normal functions are also introduced. Characterizations in terms of automorphisms and als…
In this paper we consider generalized square function norms of holomorphic functions with values in a Banach space. One of the main results is a characterization of embeddings of the form \[L^p(X)\subseteq γ(X) \subseteq L^q(X),\] in terms of the type $p$ and cotype $q$ for the Banach space $X$. As an application we prove $L^p$-estimates for vector-valued Littlewood-Paley-Stein $g$-functions and derive an embedding result for real and complex interpolation spaces under type and cotype conditions.
We characterize the holomorphic mappings $f$ between complex Banach spaces that may be written in the form $f=T\circ g$, where $g$ is another holomorphic mapping and $T$ belongs to a closed surjective operator ideal.
The relation $xy-yx=h(y)$, where $h$ is a holomorphic function, occurs naturally in the definitions of some quantum groups. To attach a rigorous meaning to the right-hand side of this equality, we assume that $x$ and $y$ are elements of a Banach algebra (or of an Arens--Michael algebra). We prove that the universal algebra generated by a commutation relation of this kind can be represented explicitly as an analytic Ore extension. An analysis of the structure of the algebra shows that the set of holomorphic functions of $y$ degenerates, but at each zero of $h$, some local algebra of power serie…
We study several notions of boundedness for operators. It is known that any power bounded operator is absolutely Cesàro bounded and strong Kreiss bounded (in particular, uniformly Kreiss bounded). The converses do not hold in general. In this note, we give examples of topologically mixing absolutely Cesàro bounded operators on $\ell^p(\mathbb{N})$, $1\le p < \infty$, which are not power bounded, and provide examples of uniformly Kreiss bounded operators which are not absolutely Cesàro bounded. These results complement very limited number of known examples (see \cite{Shi} and \cite{AS}). In \ci…
Let $\mathcal H$ be an infinite-dimensional Hilbert space, and let $\mathcal B(\mathcal H)$ ($\mathcal K(\mathcal H)$) be the $C^*$-algebra of bounded (respectively, compact) linear operators in $\mathcal H$. Let $(E,\|\cdot\|_E)$ be a fully symmetric sequence space. If $\{s_n(x)\}_{n=1}^\infty$ are the singular values of $x\in\mathcal K(\mathcal H)$, let $\mathcal C_E=\{x\in\mathcal K(\mathcal H): \{s_n(x)\}\in E\}$ with $\|x\|_{\mathcal C_E}=\|\{s_n(x)\}\|_E$, $x\in\mathcal C_E$, be the Banach ideal of compact operators generated by $E$. We show that the averages $A_n(T)(x)=\frac1{n+1}\sum\l…
It is known that the Dobrushin's ergodicity coefficient is one of the effective tools to study a behavior of non-homogeneous Markov chains. In the present paper, we define such an ergodicity coefficient of a positive mapping defined on ordered Banach space with a base (OBSB), and study its properties. In terms of this coefficient we prove the equivalence uniform and weak ergodicities of homogeneous Markov chains. This extends earlier results obtained in case of von Neumann algebras. Such a result allowed to establish a category theorem for uniformly ergodic Markov operators. We find necessary …
We explore a duality between von-Neumann's mean ergodic theorem in von-Neumann algebra and Birkhoff's mean ergodic theorem in the pre-dual Banach space of von-Neumann algebras. Besides improving known mean ergodic theorems on von-Neumann algebras, we prove Birkhoff's mean ergodic theorem for any locally compact second countable amenable group action on the pre-dual Banach space.
Under certain hypotheses on the Banach space $X$, we prove that the set of analytic functions in $\mathcal{A}_u(X)$ (the algebra of all holomorphic and uniformly continuous functions in the ball of $X$) whose Aron-Berner extensions attain their norms, is dense in $\mathcal{A}_u(X)$. The result holds also for functions with values in a dual space or in a Banach space with the so-called property $(β)$. For this, we establish first a Lindenstrauss type theorem for continuous polynomials. We also present some counterexamples for the Bishop-Phelps theorem in the analytic and polynomial cases where …
Let $B(Ω)$ be the Banach space of holomorphic functions on a bounded connected domain $Ω$ in $\mathbb C^n$, which contains the ring of polynomials on $Ω$. In this paper, we first establish a criterion for $B(Ω)$ to be reflexive via evaluation functions on $B(Ω)$, that is, $B(Ω)$ is reflexive if and only if the evaluation functions span the dual spaces $(B(Ω))^{*} $. Moreover, under suitable assumptions on $Ω$ and $B(Ω)$, we establish a characterization of the composition operator $C_φ$ to be a Fredholm operator on $B(Ω)$ via the property of the holomorphic self-map $φ:Ω\toΩ$. Our new approach …
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 prove a local version of Gowers' Ramsey-type theorem [Ann. Math. 156 (2002)], as well as local versions both of the Banach space first dichotomy (the "unconditional/HI" dichotomy) of Gowers [Ann. Math. 156 (2002)] and of the third dichotomy (the "minimal/tight" dichotomy) due to Ferenczi-Rosendal [J. Funct. Anal. 257 (2009)]. This means that we obtain versions of these dichotomies restricted to certain families of subspaces called D-families, of which several concrete examples are given. As a main example, non-Hilbertian spaces form D-families; therefore versions of the above properties for…
In this work, we prove the existence and uniqueness of $μ$-pseudo almost automorphic solutions for some class of semilinear nonautonomous evolution equations of the form: $ u'(t)=A(t)u(t)+f(t,u(t)),\; t\in\mathbb{R} $ where $ (A(t))_{t\in \mathbb{R}} $ is a family of closed densely defined operators acting on a Banach space $X$ that generates a strongly continuous evolution family which has an exponential dichotomy on $\mathbb{R}$. The nonlinear term $f: \mathbb{R} \times X \longrightarrow X$ is just $μ$-pseudo almost automorphic in Stepanov sense in $t$ and Lipshitzian with respect to the sec…
We study the spectrum $M_b(U)$ of the algebra of bounded type holomorphic functions on a complete Reinhardt domain in a symmetrically regular Banach space $E$ as an analytic manifold over the bidual of the space. In the case that $U$ is the unit ball of $\ell_p$, $1<p<\infty$, we prove that each connected component of $M_b(B_{\ell_p})$ naturally identifies with a ball of a certain radius. We also provide estimates for this radius and in many natural cases we have the precise value. As a consequence, we obtain that for connected components different from that of evaluations, these radii are str…