In this paper we investigate the following problem: when a bounded analytic function $ϕ$ on the unit disk $\mathbb{D}$, fixing 0, is such that $\{ϕ^n : n = 0, 1, 2, . . . \}$ is orthogonal in $\mathbb{D}$?, and consider the problem of characterizing the univalent, full self-maps of $\mathbb{D}$ in terms of the norm of the composition operator induced. The first problem is analogous to a celebrated question asked by W. Rudin on the Hardy space setting that was answered recently ([3] and [15]). The second problem is analogous to a problem investigated by J. Shapiro in [14] about characterization of inner functions in the setting of $H^2$.
In this paper, we completely characterize the order boundedness of weighted composition operators between different weighted Dirichlet spaces and different derivative Hardy spaces.
As continuation of the study of polynomial approximation and composition operators on Dirichlet spaces of unit disk, which has settled a problem posed by Cima in 1976, the present paper aims to consider the case of the unbounded domains, such as the half-plane. Specifically, we may obtain the rational approximations in the Dirichlet spaces and characterize the composition operators which has dense range on the Dirichlet spaces over the half-plane. Moreover, this paper also considers the relationship between the Dirichlet spaces and Hardy spaces on half-plane.
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.
Boundedness of weighted composition operators $W_{u,φ}$ acting on the classical Dirichlet space $\mathcal{D}$ as $W_{u,φ}f= u\, (f\circ φ)$ is studied in terms of the multiplier space associated to the symbol $φ$, i.e., ${\mathcal{M}(ϕ)}=\{ u \in {\mathcal D}: W_{u,ϕ} \hbox{ is bounded on } {\mathcal D} \}$. A prominent role is played by the multipliers of the Dirichlet space. As a consequence, the spectrum of $W_{u,φ}$ in $\mathcal{D}$ whenever $φ$ is an automorphism of the unit disc is studied, extending a recent work of Hyvärinen, Lindström, Nieminen and Saukko to the context of the Dirichl…
We observe that local embedding problems for certain Hardy and Bergman spaces of Dirichlet series are equivalent to boundedness of a class of composition operators. Following this, we perform a careful study of such composition operators generated by polynomial symbols $φ$ on a scale of Bergman--type Hilbert spaces $\mathcal{D}_α$. We investigate the optimal $β$ such that the composition operator $\mathcal{C}_φ$ maps $\mathcal{D}_α$ boundedly into $\mathcal{D}_β$. We also prove a new embedding theorem for the non-Hilbertian Hardy space $\mathcal H^p$ into a Bergman space in the half-plane and …
We study composition operators on spaces of double Dirichlet series, focusing our interest on the characterization of the composition operators of the space of bounded double Dirichlet series $\HCdos$. We also show how the composition operators of this space of Dirichlet series are related to the composition operators of the corresponding spaces of holomorphic functions. Finally, we give a characterization of the superposition operators in $\HC$ and in the spaces $\mathcal{H}^p$.
We show that the symbol of a bounded composition operator on the Wiener algebra of Dirichlet series does not need to belong to this algebra. Our example even gives an absolutely summing (hence compact) composition operator.
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.
We introduce a mean counting function for Dirichlet series, which plays the same role in the function theory of Hardy spaces of Dirichlet series as the Nevanlinna counting function does in the classical theory. The existence of the mean counting function is related to Jessen and Tornehave's resolution of the Lagrange mean motion problem. We use the mean counting function to describe all compact composition operators with Dirichlet series symbols on the Hardy--Hilbert space of Dirichlet series, thus resolving a problem which has been open since the bounded composition operators were described b…
Here we consider when the difference of two composition operators is compact on the weighted Dirichlet spaces $\mathcal{D}_α$. Specifically we study differences of composition operators on the Dirichlet space $\mathcal{D}$ and $S^2$, the space of analytic functions whose first derivative is in $H^2$, and then use Calderón's complex interpolation to extend the results to the general weighted Dirichlet spaces. As a corollary we consider composition operators induced by linear fractional self-maps of the disk.
We show that a composition operator on weighted Bergman spaces $\mathcal{A}_μ^p$ is invertible if and only if it is Fredholm if and only if it is an isometry.
The spectra of invertible weighted composition operators $uC_φ$ on the Bloch and Dirichlet spaces are studied. In the Bloch case we obtain a complete description of the spectrum when $φ$ is a parabolic or elliptic automorphism of the unit disc. In the case of a hyperbolic automorphism $φ$, exact expressions for the spectral radii of invertible weighted composition operators acting on the Bloch and Dirichlet spaces are derived.
We investigate composition-differentiation operators acting on the Dirichlet space of the unit disk. Specifically, we determine characterizations for bounded, compact, and Hilbert-Schmidt composition-differentiation operators. In addition, for particular classes of inducing maps, we derive an adjoint formula, compute the norm, and identify the spectrum.
The aim of this paper is to study when two composition operators on the Hilbert space of Dirichlet series with square summable coefficients belong to the same component or when their difference is compact. As a corollary we show that if a linear combination of composition operators with polynomial symbols of degree at most 2 is compact, then each composition operator is compact.
We study boundedness and compactness of composition operators on weighted Bergman spaces of Dirichlet series. Particularly, we obtain in some specific cases, upper and lower bounds of the essential norm of these operators and a criterion of compactness on classicals weighted Bergman spaces. Moreover, a sufficient condition of compactness is obtained using the notion of Carleson's measure.
The classical Dirichlet space is a complete Pick space, hence by a theorem of Agler and McCarthy, there exists an embedding $b$ of the unit disc into a $d$-dimensional ball such that composition with $b$ realizes the Dirichlet space as a quotient of the Drury-Arveson space. We show that $d =\infty$ is necessary, even if we only demand that composition with $b$ induces a surjective map between the multiplier algebras.
In this paper, we prove that for every compact set of the unit disk of logarithmic capacity 0, there exists a Schur function both in the disk algebra and in the Dirichlet space such that the associated composition operator is in all Schatten classes (of the Dirichlet space), and for which the set of points whose image touches the unit circle is equal to this compact set. We show that for every bounded composition operator on the Dirichlet space and for every point of the unit circle, the logarithmic capacity of the set of point having this point as image is 0. We show that every compact compos…
In this paper, we study the composition operators on an algebra of Dirichlet series, the analogue of the Wiener algebra of absolutely convergent Taylor series, which we call the Wiener-Dirichlet algebra. We study the connection between the properties of the operator and of its symbol, with special emphasis on the compact, automorphic, or isometric character of this operator. We are led to the intermediate study of algebras of functions of several, or countably many, complex variables.
We study the decay of approximation numbers of compact composition operators on the Dirichlet space. We give upper and lower bounds for these numbers. In particular, we improve on a result of O. El-Fallah, K. Kellay, M. Shabankhah and A. Youssfi, on the set of contact points with the unit circle of a compact symbolic composition operator acting on the Dirichlet space D. We extend their results in two directions: first, the contact only takes place at the point 1. Moreover, the approximation numbers of the operator can be arbitrarily sub-exponentially small.
We study the composition operators on an algebra of Dirichlet series, the analogue of the Wiener algebra of absolutely convergent Taylor series, which we call the Wiener-Dirichlet algebra. The central issue is to understand the connection between the properties of the operator and of its symbol, with special emphasis on the compact, automorphic, or isometric character of this operator. We are led to the intermediate study of algebras of functions of several, or countably many, complex variables.
By a theorem of Bayart, $φ$ generates a bounded composition operator on the Hardy space $\Hp$of Dirichlet series ($1\le p<\infty$) only if $φ(s)=c_0 s+ψ(s)$, where $c_0$ is a nonnegative integer and $ψ$ a Dirichlet series with the following mapping properties: $ψ$ maps the right half-plane into the half-plane $\Real s >1/2$ if $c_0=0$ and is either identically zero or maps the right half-plane into itself if $c_0$ is positive. It is shown that the $n$th approximation numbers of bounded composition operators on $\Hp$ are bounded below by a constant times $r^n$ for some $0<r<1$ when $c_0=0$ and …
In this paper, we investigate when weighted composition operators acting on Dirichlet spaces $\mathcal{D}(\mathbb{B}_{N})$ are complex symmetric with respect to some special conjugations, and provide some characterizations of Hermitian weighted composition operators on $\mathcal{D}(\mathbb{B}_{N})$. Furthermore, we give a sufficient and necessary condition for $J$-symmetric weighted composition operators on Hardy spaces $H^2(\mathbb{B}_{N})$ to be unitary or Hermitian, then some new examples of complex symmetric weighted composition operators on $H^2(\mathbb{B}_{N})$ are obtained. We also disc…
We show that the decay of approximation numbers of compact composition operators on the Dirichlet space $\mathcal{D}$ can be as slow as we wish, which was left open in the cited work. We also prove the optimality of a result of O.~El-Fallah, K.~Kellay, M.~Shabankhah and A.~Youssfi on boundedness on $\mathcal{D}$ of self-maps of the disk all of whose powers are norm-bounded in $\mathcal{D}$.
We consider composition operators in the Dirichlet space of the unit disc in the plane. Various criteria on boundedness, compactness and Hilbert-Schmidt class membership are established. Some of these criteria are shown to be optimal.
By using the Schur test, we give some upper and lower estimates on the norm of a composition operator on $\mathcal{H}^2$, the space of Dirichlet series with square summable coefficients, for the inducing symbol $φ(s)=c_1+c_{q}q^{-s}$ where $q\geq 2$ is a fixed integer. We also give an estimate on the approximation numbers of such an operator.
We investigate the compactness of composition operators on the Hardy space of Dirichlet series induced by a map $φ(s)=c_0s+φ_0(s)$, where $φ_0$ is a Dirichlet polynomial. Our results depend heavily on the characteristic $c_0$ of $φ$ and, when $c_0=0$, on both the degree of $φ_0$ and its local behaviour near a boundary point. We also study the approximation numbers for some of these operators. Our methods involve geometric estimates of Carleson measures and tools from differential geometry.
For $α\in \mathbb{R}$, let $\mathscr{D}_α$ denote the scale of Hilbert spaces consisting of Dirichlet series $f(s) = \sum_{n=1}^\infty a_n n^{-s}$ that satisfy $\sum_{n=1}^\infty |a_n|^2/[d(n)]^α< \infty$. The Gordon--Hedenmalm Theorem on composition operators for $\mathscr{H}^2=\mathscr{D}_0$ is extended to the Bergman case $α>0$. These composition operators are generated by functions of the form $Φ(s) = c_0 s + φ(s)$, where $c_0$ is a nonnegative integer and $φ(s)$ is a Dirichlet series with certain convergence and mapping properties. For the operators with $c_0=0$ a new phenomenon is discov…
A bounded linear operator $T$ acting on a Hilbert space $\mathcal{H}$ is said to be recurrent if for every non-empty open subset $U\subset \mathcal{H}$ there is an integer $n$ such that $T^n (U)\cap U\neq\emptyset$. In this paper, we completely characterize the recurrence of scalar multiples of composition operators, induced by linear fractional self maps of the unit disk, acting on weighted Dirichlet spaces $S_ν$; in particular on the Bergman space, the Hardy space, and the Dirichlet space. Consequently, we complete a previous work of Costakis et al. \cite{costakis} on recurrence of linear fr…
We consider composition operators $\mathscr{C}_φ$ on the Hardy space of Dirichlet series $\mathscr{H}^2$, generated by Dirichlet series symbols $φ$. We prove two different subordination principles for such operators. One concerns affine symbols only, and is based on an arithmetical condition on the coefficients of $φ$. The other concerns general symbols, and is based on a geometrical condition on the boundary values of $φ$. Both principles are strict, in the sense that they characterize the composition operators of maximal norm generated by symbols having given mapping properties. In particula…
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…
By a theorem of Gordon and Hedenmalm, $φ$ generates a bounded composition operator on the Hilbert space $\mathscr{H}^2$ of Dirichlet series $\sum_n b_n n^{-s}$ with square-summable coefficients $b_n$ if and only if $φ(s)=c_0 s+ψ(s)$, where $c_0$ is a nonnegative integer and $ψ$ a Dirichlet series with the following mapping properties: $ψ$ maps the right half-plane into the half-plane $\operatorname{Re} s >1/2$ if $c_0=0$ and is either identically zero or maps the right half-plane into itself if $c_0$ is positive. It is shown that the $n$th approximation numbers of bounded composition operators…
Let $\mathscr{H}^2$ denote the Hilbert space of Dirichlet series with square-summable coefficients. We study composition operators $\mathscr{C}_φ$ on $\mathscr{H}^2$ which are generated by symbols of the form $φ(s) = c_0s + \sum_{n\geq1} c_n n^{-s}$, in the case that $c_0 \geq 1$. If only a subset $\mathbb{P}$ of prime numbers features in the Dirichlet series of $φ$, then the operator $\mathscr{C}_φ$ admits an associated orthogonal decomposition. Under sparseness assumptions on $\mathbb{P}$ we use this to asymptotically estimate the approximation numbers of $\mathscr{C}_φ$. Furthermore, in the…
We present results about spaces of holomorphic functions associated to the classical Dirichlet space. The spaces we consider have roles similar to the roles of $H^{1}$ and $BMO$ in the Hardy space theory and we emphasize those analogies.
We study composition operators on the Hardy space $\mathcal{H}^2$ of Dirichlet series with square summable coefficients. Our main result is a necessary condition, in terms of a Nevanlinna-type counting function, for a certain class of composition operators to be compact on $\mathcal{H}^2$. To do that we extend our notions to a Hardy space $\mathcal{H}_Λ^2$ of generalized Dirichlet series, induced in a natural way by a sequence of Beurling's primes.
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.
Critical Norm Profiles for Finite-Prime Composition Operators on the Hardy Space of Dirichlet Series
National Yang Ming Chiao Tung University（国立阳明交通大学）；Nanjing University of Aeronautics and Astronautics（南京航空航天大学）；Indian Institute of Technology, Kanpur（坎普尔印度理工学院）
We study composition operators on Hardy and Dirichlet spaces belonging to Schatten classes. We give some new examples and analyse the size of contact set of the symbol of such operators.
Some Properties of Products of Linear Fractional Composition Operators on Weighted Dirichlet Spaces
School of Mathematics and Information Science, Guangzhou University（广州大学数学与信息科学学院）；College of Mathematics and Statistics, Chongqing University（重庆大学数学与统计学院）
For any real $β$ let $H^2_β$ be the Hardy-Sobolev space on the unit disc $\mathbb{D}$. $H^2_β$ is a reproducing kernel Hilbert space and its reproducing kernel is bounded when $β>1/2$. In this paper, we characterize that for a non-constant analytic function $φ:\mathbb{D}\to\mathbb{D}$, when the composition operator $C_{φ}$ on $H^{2}_{β}$ is Fredholm. For $1/2<β<1$, we also prove that $C_{φ}$ has dense range in $H_{β}^{2}$ if and only if the polynomials are dense in a certain Dirichlet space of the domain $φ(\mathbb{D})$. It follows that if the range of $C_{φ}$ is dense in $H_{β}^{2}$, then $φ$…
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 characterize the compactness of composition operators; in term of generalized Nevanlinna counting functions, on a large class of Hilbert spaces of analytic functions, which can be viewed between the Bergman and the Dirichlet spaces
We show that every linear functional on the Dirichlet space that is non-zero on nowhere-vanishing functions is necessarily a multiple of a point evaluation. Continuity of the functional is not assumed. As an application, we obtain a characterization of weighted composition operators on the Dirichlet space as being exactly those linear maps that send nowhere-vanishing functions to nowhere-vanishing functions. We also investigate possible extensions to weighted Dirichlet spaces with superharmonic weights. As part of our investigation, we are led to determine which of these spaces contain functio…
We compute the spectra and the essential spectra of bounded linear fractional composition operators acting on the Hardy and weighted Bergman spaces of the upper half-plane. We are also able to extend the results to weighted Dirichlet spaces of the upper half-plane.
We compare the rate of decay of singular numbers of a given composition operator acting on various Hilbert spaces of analytic functions on the unit disk $\D$. We show that for the Hardy and Bergman spaces, our results are sharp. We also give lower and upper estimates of the singular numbers of the composition operator with symbol the ``cusp map'' and the lens maps, acting on weighted Dirichlet spaces.
