This paper is based on three hours of lectures given by the first author in the "Focus Program on Analytic Function Spaces and their Applications" July 1 -- December 31, 2021, organized by the Fields Institute for Research in Mathematical Sciences. The goal of this paper is to give an introduction to the properties of discrete and continuous $C_0$-semigroups of (weighted) composition operators on various spaces of analytic functions.
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 $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.
The infinitesimal generator $A$ of a strongly continuous semigroup on a Hilbert space is assumed to satisfy that $B_β:=A-β$ is a sectorial operator of angle less than $\fracπ{2}$ for some $β\geq 0$. If $B_β$ is dissipative in some equivalent scalar product then the Naimark-Arocena Representation Theorem is applied to obtain a Kre\uın space unitary dilation of the semigroup.
If $z\mapsto a_z$ is a holomorphic function with values in the sectorial forms in a Hilbert space, then the associated operator valued function $z\mapsto A_z$ is resolvent holomorphic. We give a proof of this result of Kato, on the basis of the Lax-Milgram lemma. We also show that the $C_0$-semigroups $T_z$ generated by $-A_z$ depend holomorphically on $z$.
The images of Hermite and Laguerre Sobolev spaces under the Hermite and special Hermite semigroups (respectively) are characterised. These are used to characterise the Schwartz class of rapidly decreasing functions. The image of the space of all tempered distributions is also considered and a Paley-Wiener theorem for the windowed Fourier transform is proved.
The concept of boundary values of holomorphic semigroups in a general Banach space is studied. As an application, we consider the Riemann-Liouville semigroup of integration operator in the little Hölder spaces $\rm{lip}_0^α[0,\, 1] , \, 0<α<1$ and prove that it admits a strongly continuous boundary group, which is the group of fractional integration of purely imaginary order. The corresponding result for the $L^p$-spaces ($1<p<\infty$) has been known for some time, the case $p=2$ dating back to the monograph by Hille and Phillips. In the context of $L^p$ spaces, we establish the existence of t…
We identify the semigroups consisting of bounded composition operators on the Hardy spaces $H^p(\U)$ of the upper half-plane. We show that any such semigroup is strongly continuous on $H^p(\U)$ but not uniformly continuous and we identify the infinitesimal generator.
Using functional calculi theory, we obtain several estimates for $\|ψ(A)g(A)\|$, where $ψ$ is a Bernstein function, $g$ is a bounded completely monotone function and $-A$ is the generator of a holomorphic $C_0$-semigroup on a Banach space, bounded on $[0,\infty)$. Such estimates are of value, in particular, in approximation theory of operator semigroups. As a corollary, we obtain a new proof of the fact that $-ψ(A)$ generates a holomorphic semigroup whenever $-A$ does, established recently in [8] by a different approach.
We characterize strong continuity of general operator semigroups on some Lebesgue spaces. In particular, a characterization of strong continuity of weighted composition semigroups on classical Hardy spaces and weighted Bergman spaces with regular weights is given. As applications, our result improves the results of Siskakis, A. G. \cite{AG1} and König, W. \cite{K} and answers a question of Siskakis, A. G. proposed in \cite{AG4}. We also characterize strongly continuous semigroups of weighted composition operators on weighted Bergman spaces in terms of abelian intertwiners of multiplication ope…
Analytic Morrey spaces belong to the class of function spaces which, like BMOA, are defined in terms of the degree of oscillation on the boundary of functions analytic in the unit disc. We consider semigroups of composition operators on these spaces and focus on the question of strong continuity. It is shown that these semigroups behave like on BMOA.
We study the strong continuity of weighted composition semigroups of the form $T_tf=φ_t'\left(f\circφ_t\right)$ in several spaces of analytic functions. First we give a general result on separable spaces and use it to prove that these semigroups are always strongly continuous in the Hardy and Bergman spaces. Then we focus on two non-separable family of spaces, the mixed norm and the weighted Banach spaces. We characterize the maximal subspace in which a semigroup of analytic functions induces a strongly continuous semigroup of weighted composition operators depending on its Denjoy-Wolff point,…
We prove that for any Bernstein function $ψ$ the operator $-ψ(A)$ generates a holomorphic $C_0$-semigroup $(e^{-tψ(A)})_{t \ge 0}$ on a Banach space, whenever $-A$ does. This answers a question posed by Kishimoto and Robinson. Moreover, giving a positive answer to a question by Berg, Boyadzhiev and de Laubenfels, we show that $(e^{-tψ(A)})_{t \ge 0}$ is holomorphic in the holomorphy sector of $(e^{-tA})_{t \ge 0},$ and if $(e^{-tA})_{t \ge 0}$ is sectorially bounded in this sector then $(e^{-tψ(A)})_{t \ge 0}$ has the same property. We also obtain new sufficient conditions on $ψ$ in order that…
This paper provides a complete characterization of quasicontractive groups and analytic $C_0$-semigroups on Hardy and Dirichlet space on the unit disc with a prescribed generator of the form $Af=Gf'$. In the analytic case we also give a complete characterization of immediately compact semigroups. When the analyticity fails, we obtain sufficient conditions for compactness and membership in the trace class. Finally, we analyse the case where the unit disc is replaced by the right-half plane, where the results are drastically different.
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.
Let $ϕ$ and $ψ$ be holomorphic self-maps of the unit polydisc $U^n$ in the $n$-dimensional complex space, and denote by $C_ϕ$ and $C_ψ$ the induced composition operators. This paper gives some simple estimates of the essential norm for the difference of composition operators $C_ϕ-C_ψ$ from Bloch space to bounded holomorphic function space in the unit polydisc. Moreover the compactness of the difference is also characterized.
Applying a linearization theorem due to J. Mujica, we study the ideals of bounded holomorphic mappings $\mathcal{H}^\infty\circ\mathcal{I}$ generated by composition with an operator ideal $\mathcal{I}$. The bounded-holomorphic dual ideal of $\mathcal{I}$ is introduced and its elements are characterized as those that admit a factorization through $\mathcal{I}^\mathrm{dual}$. For complex Banach spaces $E$ and $F$, we also analyze new ideals of bounded holomorphic mappings from an open subset $U\subseteq E$ to $F$ such as $p$-integral holomorphic mappings and $p$-nuclear holomorphic mappings with…
We characterize the semigroups of composition operators that are strongly continuous on the mixed norm spaces $H(p,q,α)$. First, we study the separable spaces $H(p,q,α)$ with $q<\infty,$ that behave as the Hardy and Bergman spaces. In the second part we deal with the spaces $H(p,\infty,α),$ where polynomials are not dense. To undertake this study, we introduce the integral operators, characterize its boundedness and compactness, and use its properties to find the maximal closed linear subspace of $H(p,\infty,α)$ in which the semigroups are strongly continuous. In particular, we obtain that thi…
In this paper, we introduce a general class of weighted spaces of holomorphic Dirichlet series (with real frequencies) analytic in some half-plane and study composition operators on these spaces. In the particular case when the symbol inducing the composition operator is an affine function, we give criteria for boundedness and compactness. We also study the cyclicity property and as a byproduct give a sufficient condition so that the direct sum of the identity plus a weighted forward shift operator on the Hardy space H^2 is cyclic.
We find a lower bound for the essential norm of the difference of two composition operators acting on $H^2(B_N)$ or $A^2_s(B_N)$ ($s>-1$). This result plays an important role in proving a necessary and sufficient condition for the difference of linear fractional composition operators to be compact, which answers a question posed by MacCluer and Weir in 2005.
This paper considers discrete and continuous semigroups of (weighted) composition operators on the Fock space. For discrete semigroups consisting of powers of a single operator, the asymptotic behaviour of the semigroups is analysed. For continuous semigroups and groups, a full classification of possible semigroups is given, and the generator is calculated.
Stability of weighted composition strongly continuous semigroups acting on Lebesgue and Sobolev spaces is studied, without the use of spectral conditions on the generator of the semigroup. Applications to the generalized von Foerster - Lasota semigroup and a comparison with hypercylicity conditions are presented.\
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 well-posedness for an evolution problem associated with the Dirichlet-to-Robin operator for certain Robin boundary data. Moreover, it turns out that the semigroup generated by the Dirichlet-to-Robin operator is closely related to a weighted semigroup of composition operators on an appropriate Banach space of analytic functions.
Avicou, Chalendar and Partington proved that an (unbounded) operator $(Af)=G\cdot f'$ on the classical Hardy space generates a $C_0$ semigroup of composition operators if and only if it generates a quasicontractive semigroup. Here we prove that if such an operator $A$ generates a $C_0$ semigroup, then it is automatically a semigroup of composition operators, so that the condition of quasicontractivity of the semigroup in the cited result is not necessary. Our result applies to a rather general class of Banach spaces of analytic functions in the unit disc.
In this paper we prove a formula describing the infinitesimal generator of a continuous semigroup $(\v_t)$ of holomorphic self-maps of the unit disc with respect to a boundary regular fixed point. The result is based on Alexandrov-Clark measures techniques. In particular we prove that the Alexandrov-Clark measure of $(\v_t)$ at a boundary regular fixed points is differentiable (in the weak$^\ast$-topology) with respect to $t$.
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 …
We generalize a result for the translation $C_0$-semigroup on $L^p(\R_+,μ)$ about the equivalence of being chaotic and satisfying the Frequent Hypercyclicity criterion due to Mangino and Peris to certain weighted composition $C_0$-semigroups. Such $C_0$-semigroups appear in a natural way when dealing with initial value problems for linear first order partial differential operators. We apply our result to the linear von Foerster-Lasota equation arising in mathematical biology. Weighted composition $C_0$-semigroups on Sobolev spaces are also considered.
We give a simple characterization of chaos for weighted composition $C_0$-semigroups on $L^p_ρ(Ω)$ for an open interval $Ω\subseteq\mathbb{R}$. Moreover, we characterize chaos for these classes of $C_0$-semigroups on the closed subspace $W^{1,p}_*(Ω)$ of the Sobolev space $W^{1,p}(Ω)$ for a bounded interval $Ω\subset\mathbb{R}$. These characterizations simplify previously obtained characterization of chaos for these classes of $C_0$-semigroups.
We consider continuous semigroups of analytic functions $\{Φ_t\}_{t\geq0}$ in the so-called Gordon-Hedenmalm class $\mathcal{G}$, that is, the family of analytic functions $Φ:\mathbb C_+\to \mathbb C_+$ giving rise to bounded composition operators in the Hardy space of Dirichlet series $\mathcal{H}^2$. We show that there is a one-to-one correspondence between continuous semigroups $\{Φ_{t}\}_{t\geq0}$ in the class $\mathcal G$ and strongly continuous semigroups of composition operators $\{T_t\}_{t\geq0}$, where $T_t(f)=f\circΦ_t$, $f\in\mathcal{H}^2$. We extend these results for the range $p\i…
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 in a large class of Banach spaces of analytic functions in the unit disc $\mathbb{D}$ an (unbounded) operator $Af=G\cdot f'+g\cdot f$ with $G,\, g$ analytic in $\mathbb{D}$ generates a $C_0$-semigroup of weighted composition operators if and only if it generates a $C_0$-semigroup. Particular instances of such spaces are the classical Hardy spaces. Our result generalizes previous results in this context and it is related to cocycles of flows of analytic functions on Banach spaces. Likewise, for a large class of non-separable Banach spaces $X $ of analytic functions in $\mathbb{D}$…
We discuss the continuity of the composition on several spaces of holomorphic mappings on open subsets of a complex Banach space. On the Fréchet space of the entire mappings that are bounded on bounded sets the composition turns to be even holomorphic. In such space we consider linear subspaces closed under left and right composition. We discuss the relationship of such subspaces with ideals of operators and give several examples of them. We also provide natural examples of spaces of holomorphic mappings where the composition is not continuous.
Let $ E $ be a space of holomorphic functions on the unit ball $ B_X $ of a Banach space $ X.$ In this work, we introduce a Banach structure associated to $ E $ on the linear space $ WE(Y) $ containing $ Y$-valued holomorphic functions on $ B_X $ such that $ w \circ f \in E $ for every $ w \in W, $ a separating subspace of the dual $ Y' $ of a Banach $ Y. $ We establish the relation between the boundedness, the (weak) compactness of the weighted composition operators $ W_{ψ,φ}: f\mapsto ψ\cdot(f \circ φ) $ on $ E $ and $ \widetilde{W}_{ψ,φ}: g\mapsto ψ\cdot(g \circ φ) $ on $ WE(Y)$ via some ch…
For 0 < s < 1, let phi_s(z)=sz+(1-s). We investigate the unital C*-algebra generated by the semigroup {C_{phi_s} : 0 < s < 1} of composition operators acting on the Hardy space of the unit disk. We determine the joint approximate point spectrum of a related collection of operators and show that the quotient of the C*-algebra by its commutator ideal is isomorphic to the direct sum of the complex numbers and the algebra of almost periodic functions on the real line. In addition, we show that the C*-algebra is irreducible.
The main problem considered in this article is the following: if $\mathbf{F}$, $\mathbf{E}$ are normed spaces of continuous functions over topological spaces $X$ and $Y$ respectively, and $ω:Y\to\mathbb{C}$ and $Φ:Y\to X$ are such that the weighted composition operator $W_{Φ,ω}$ is continuous, when can we guarantee that both $Φ$ and $ω$ are continuous? An analogous problem is also considered in the context of spaces of holomorphic functions over (connected) complex manifolds. Additionally, we consider the most basic properties of the weighted composition operators, which only have been proven …
This paper provides a complete characterization of quasicontractive $C_0$-semigroups on Hardy and Dirichlet space with a prescribed generator of the form $Af=Gf'$. We show that such semigroups are semigroups of composition operators and we give simple sufficient and necessary condition on $G$. Our techniques are based on ideas from semigroup theory, such as the use of numerical ranges.
We describe a class of topological vector spaces admitting a mixing uniformly continuous operator group ${T_t}_{t\in\C^n}$ with holomorphic dependence on the parameter $t$. This result covers those existing in the literature. We also describe a class of topological vector spaces admitting no supercyclic strongly continuous operator semigroups ${T_t}_{t\geq 0}$.
Let A be a commutative Banach algebra such that uA = {0} for u $\in$ A \ {0} which possesses dense principal ideals. The purpose of the paper is to give a general framework to define F (--$λ$1$Δ$T 1 ,. .. , --$λ$ k $Δ$T k) where F belongs to a natural class of holomorphic functions defined on suitable open subsets of C k containing the "Arveson spectrum" of (--$λ$1$Δ$T 1 ,. .. , --$λ$ k $Δ$T k), where $Δ$T 1 ,. .. , $Δ$T k are the infinitesimal generators of commuting one-parameter semigroups of multipliers on A belonging to one of the following classes (1) The class of strongly continous semi…
For locally compact Hausdorff spaces $X$ and $Y$, and function algebras $A$ and $B$ on $X$ and $Y$, respectively, surjections $T:A \longrightarrow B$ satisfying norm multiplicative condition $\|Tf\, Tg\|_Y =\|fg\|_X$, $f,g\in A$, with respect to the supremum norms, and those satisfying $\||Tf|+|Tg|\|_Y=\||f|+|g|\|_X$ have been extensively studied. Motivated by this, we consider certain (multiplicative or additive) subsemigroups $A$ and $B$ of $C_0(X)$ and $C_0(Y)$, respectively, and study surjections $T: A \longrightarrow B$ satisfying the norm condition $ρ(Tf, Tg)=ρ(f,g)$, $f,g \in A$, for so…
We characterise continuity of composition operators on weighted spaces of holomorphic functions $H_{v}(B_{X})$, where $B_{X}$ is the open unit ball of a Banach space which is homogeneous, that is, a $JB^{\ast}-$triple.
In this article we apply a recently established transference principle in order to obtain the boundedness of certain functional calculi for semigroup generators. In particular, it is proved that if $-A$ generates a $C_0$-semigroup on a Hilbert space, then for each $τ>0$ the operator $A$ has a bounded calculus for the closed ideal of bounded holomorphic functions on a (sufficiently large) right half-plane that satisfy $f(z)=O(e^{-τ\textrm{Re}(z)})$ as $|z|\rightarrow \infty$. The bound of this calculus grows at most logarithmically as $τ\searrow 0$. As a consequence, $f(A)$ is a bounded operato…
