Abstract
The complex symmetric linear combinations of composition operators on the McCarthy–Bergman spaces of Dirichlet series are completely characterized. The normality and self-adjointness of complex symmetric linear combinations of composition operators on such spaces are also characterized. Some images are given in order to find some interesting phenomena of \({\mathcal {J}}\)-symmetric such combinations.
Similar content being viewed by others
1 Introduction
As usual, let \({\mathbb N}\) be the set of natural numbers, H a separable complex Hilbert space and \({\mathcal {B}}(H)\) the set of all bounded linear operators on H. For an operator \(T\in {\mathcal {B}}(H)\), let \(T^*\) denote the adjoint operator of T.
In this section, we need to introduce some definitions. One of the definitions is the complex symmetric operators. It is widely recognized that numerous analytical problems necessitate extensive research on non-Hermitian operators. Among these problems, complex symmetric operators have emerged as particularly crucial in both theoretic and application aspects (see [16]).
Definition 1.1
A mapping \(T:H\rightarrow H\) is said to be anti-linear (also conjugate-linear), if it satisfies
for all \(\alpha , \beta \in {\mathbb C}\) and \(x, y\in H\).
Definition 1.2
An anti-linear mapping \(C:H\rightarrow H\) is said to be a conjugation if it satisfies the following conditions:
-
(a)
involutive: \(C^2=I_d\), where \(I_d\) is an identity operator;
-
(b)
isometric: \(\Vert C(x)\Vert =\Vert x\Vert \), for all \(x\in H\).
Following [17, Lemma 1], we see that for any conjugation C, there exists an orthonormal basis \(\{e_{n}\}_{n=1}^{\infty }\) for H satisfying \(Ce_{n}=e_{n}\) for all \(n\in {\mathbb N}\). Actually, there are many conjugations on some holomorphic function spaces. For example, the common conjugation of complex numbers \(({\mathcal {J}}f)(z)=\overline{f(\bar{z})}\) and more general conjugation \({\mathcal {J}}_{\mu ,\sigma }\), which will be defined on McCarthy–Bergman spaces of Dirichlet series later.
Based on Definition 1.2, we give the following definition.
Definition 1.3
Let C be a conjugation on H. An operator \(T\in {\mathcal {B}}(H)\) is said to be complex symmetric with C if \(T=CT^*C\).
Significantly, if an operator \(T\in {\mathcal {B}}(H)\) is complex symmetric, then it can be represented as a symmetric matrix relative to some orthonormal basis of H (see [17, Proposition 2]). For this reason, the complex symmetric operators can be considered as an extension of symmetric matrices. As expected, with the continuous people’s studies, the class of complex symmetric operators has become increasingly diverse. The class includes all normal operators, Hankel operators (matrices), operators that are algebraic of order two, finite Toeplitz matrices, all (truncated or compressed) Toeplitz operators, and some Volterra integration operators. The investigations of this operator were carried out by Garcia, Putinar, and Wogen in [17,18,19,20]. Many studies for the operator have been conducted on holomorphic function spaces (see [13, 14, 23, 25,26,27, 32]).
In the next time, we would like to provide the research motivations of this paper. With the basic questions such as boundedness and compactness settled, more attention has been paid to the study of the topological structure of the (weighted) composition operators in the operator norm topology. In this research background, Shapiro and Sundberg in [30] posed a question on whether two composition operators belong to the same connected component, when their difference is compact. Motivated by this question, people started to investigate compact differences, or more generally linear combinations of composition operators; see for example [5, 7,8,9, 22]. In the study of the compactness of linear combinations of composition operators, people indeed found some interesting phenomena. For example, the compactness of linear combinations \(\sum _{j=1}^N \lambda _j C_{\varphi _j}\), for finitely many distinct linear fractional maps \(\varphi _j\) and nonzero complex numbers \(\lambda _j\), implies that each composition operator \(C_{\varphi _j}\) is compact on the Hardy space \(H^2\left( {\mathbb {B}}_n\right) \) over the unit ball (see [10]). Most recently, Xu et al. in [31] characterized complex symmetry of linear combinations of composition operators on the Fock space and proved that the bounded operator \(\sum _{j=1}^N \lambda _j C_{\varphi _j}\) is \({\mathcal {J}}\)-symmetric if and only if each \(C_{\varphi _j}\) is \({\mathcal {J}}\)-symmetric.
Motivated by the above-mentioned interesting studies, a very natural thing is to study complex symmetry of linear combinations of composition operators on some other holomorphic function spaces. Here, we shall extend such problem from classical spaces to the McCarthy–Bergman spaces of Dirichlet series. Actually, in this work, we give a complete characterization of complex symmetry for linear combinations of composition operators on the McCarthy-Bergman spaces of Dirichlet series. We also characterize the normal and self-adjoint complex symmetric linear combinations of composition operators on such spaces. At the same time, some images are given in order to find some interesting phenomena of \({\mathcal {J}}\)-symmetric such combinations. These results well demonstrate the innovation of the work. Our work can be regarded as a good continuous study of the composition operators on the McCarthy–Bergman spaces of Dirichlet series.
2 Preliminaries
Let \({\mathbb {C}}_\theta \) denote the half-plane of complex numbers \(s=\sigma +i t\) with \(\sigma >\theta \), that is, \({\mathbb {C}}_\theta =\{s \in {\mathbb {C}}: {\text {Re}} s>\theta \}\). For \(a\le 0\), the McCarthy–Bergman space \({\mathcal {A}}_a\) of Dirichlet series is defined by (see [21])
\({\mathcal {A}}_a\) is a Hilbert space with the inner product
where \(f(s)=\sum \nolimits _{n=1}^\infty \frac{a_n}{n^s}\) and \(g(s)=\sum \nolimits _{n=1}^\infty \frac{b_n}{n^s}\in {\mathcal {A}}_a\). If \(a=0\), \({\mathcal {A}}_a\) is reduced to the Hardy space \({\mathcal {H}}^2\) of Dirichlet series with square summable coefficients. One can see [6] for more information on the space. The reproducing kernel \(K_{w, a}\) of \({\mathcal {A}}_a\) at a point \(w\in {\mathbb {C}}_{1/2}\) is given by
By the Cauchy-Schwarz inequality, \({\mathcal {A}}_a\) is a space of analytic functions in \({\mathbb {C}}_{1/2}\).
Let \(\varphi \) be an analytic self-map of the half-plane \({\mathbb {C}}_{1/2}\). The composition operator induced by \(\varphi \) on \({\mathcal {A}}_{a}\) is defined as
It is clear that \(f\circ \varphi \) is an analytic function in \({\mathbb {C}}_{1/2}\) for any \(f \in {\mathcal {A}}_a\). Composition operators on \({\mathcal {A}}_a\) (or other spaces of Dirichlet series) have been extensively studied in recent years (see [1,2,3,4, 12, 15, 24, 28]). Among these studies, the following result obtained in [4, 24] characterizes the bounded composition operators on \({\mathcal {A}}_{a}\). For the convenience, if \(\varphi \) satisfies Theorem A, then it is called a \(c_0\)-symbol.
Theorem A
Let \(a\le 0\) and \(\varphi \) be an analytic self-map of \({\mathbb {C}}_{1/2}\). Then the operator \(C_{\varphi }\) is bounded on \({\mathcal {A}}_{a}\) if and only if
where \(c_0\) is a nonnegative integer and \(\psi \) is a Dirichlet series that converges in \({\mathbb {C}}_\theta \) for some \(\theta >0\) and has the following mapping properties:
-
(a)
If \(c_0=0\), then \(\psi \left( {\mathbb {C}}_0\right) \subset {\mathbb {C}}_{1/2}\).
-
(b)
If \(c_0\ge 1\), then either \(\psi \equiv 0\) or \(\psi \left( {\mathbb {C}}_0\right) \subset {\mathbb {C}}_0\).
3 Complex Symmetry of Linear Combinations of Composition Operators
In this section, we characterize the linear combinations of composition operators on \({\mathcal {A}}_{a}\) which are \({\mathcal {J}}\)-symmetric with respect to the conjugation
By the similar method of Lemma 3.1 in [29]. We have the folowing result on \(\mathcal {A}_{a}\).
Lemma 3.1
Let \(\varphi (s)=c_0 s+\sum \nolimits _{k=1}^{\infty }c_k k^{-s}\) be a \(c_0\)-symbol. Then the following statements hold:
-
(i)
If \(c_0=0\), then \(C_{\varphi }^*1=1+\sum \nolimits _{n=2}^{\infty }n^{-\overline{c}_1}n^{-s}(\log n)^{-a}\).
-
(ii)
If \(c_0 \ge 1\), then \(C_{\varphi }^* 1=1\).
Let
be two \(c_{0}\)-symbols and \(\varphi _1 \ne \varphi _2\). Let \(\lambda _1\) and \(\lambda _2\) be two nonzero complex numbers. The linear combination of composition operators on \({\mathcal {A}}_a\) is defined as
Note that if one of \(\lambda _1\) and \(\lambda _2\) is equal to zero, then \(\mathfrak {S}_{2}\) returns to the case of a single composition operator, which has been studied on \(\mathcal {A}_0\) (see [32]) and the results are also applicable to the general spaces \(\mathcal {A}_{a}\). For this reason, we assume that \(\lambda _1\) and \(\lambda _2\) are nonzero.
One of the aims of this section is to characterize \({\mathcal {J}}\)-symmetric operator \(\mathfrak {S}_{2}\) on \({\mathcal {A}}_a\). For this problem we obtain the following result.
Theorem 3.1
Let \(a\le 0\). Then the operator \(\mathfrak {S}_{2}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\) if and only if \(\varphi _{1}(s)=s+c_{1}^{(1)}\) and \(\varphi _{2}(s)=s+c_{1}^{(2)}\) with \({\text {Re}} c_{1}^{(1)}\ge 0\) and \({\text {Re}} c_{1}^{(2)}\ge 0\).
Proof
Since \(\varphi _1\) and \(\varphi _2\) are \(c_0\)-symbols, both \(C_{\varphi _{1}}\) and \(C_{\varphi _{2}}\) are bounded on \({\mathcal {A}}_a\), which means that \(\mathfrak {S}_{2}\) is bounded on \({\mathcal {A}}_a\). Now, suppose that \(\mathfrak {S}_{2}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\). Since \(\varphi _{1}\) and \(\varphi _{2}\) are \(c_0\)-symbols, there exist the following four possible cases:
- (i):
-
\(c_{0}^{(1)}=0\) and \(c_{0}^{(2)}=0\);
- (ii):
-
\(c_{0}^{(1)}=0\) and \(c_{0}^{(2)}\ge 1\);
- (iii):
-
\(c_0^{(1)}\ge 1\) and \(c_0^{(2)}=0\);
- (iv):
-
\(c_0^{(1)}\ge 1\) and \(c_0^{(2)}\ge 1\).
It is easy to see that above four cases can be reduced to the following two cases:
- (a):
-
\(c_{0}^{(1)}=0\) or \(c_{0}^{(2)}=0\);
- (b):
-
\(c_{0}^{(1)}\ge 1\) and \(c_{0}^{(2)}\ge 1\).
Case (a). Assume that \(c_{0}^{(1)}=0\) or \(c_{0}^{(2)}=0\). From Definition 1.3, it follows that \(\mathfrak {S}_{2}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\) if and only if
From (3.1) and \(1\in {\mathcal {A}}_a\), we obtain
From the fact \({\mathcal {J}}1=1\) and (3.2), we have
By Lemma 3.1 (i) and since \(c_{0}^{(1)}=0\) or \(c_{0}^{(2)}=0\), we see that the left side of (3.3) is a nonconstant function but the right side of (3.3) is a constant. This is a contradiction, which shows that this case does not happen.
Case (b). Assume that \(c_{0}^{(1)}\ge 1\) and \(c_{0}^{(2)}\ge 1\). First, from an elementary calculation we see that for \(f,g\in {\mathcal {A}}_a\), it follows that
Since \({\mathcal {J}}\left( n^{-s}\right) =n^{-s}\) for all \(n \in {\mathbb N}\), from (3.1) and (3.4) we have
for each \(m, n\in {\mathbb N}\), which shows that the matrix of the operator \(\mathfrak {S}_{2}\) in the base \(\{n^{-s}\}_{n=1}^\infty \) is symmetric. We also know that in the base \(\{n^{-s}\}_{n=1}^\infty \), \(\{\mathfrak {S}_{2}n^{-s}\}_{n=1}^\infty \) can be expressed as
Since \(\mathfrak {S}_{2}1=\lambda _{1}+\lambda _{2}\), from some calculations we see that the matrix in (3.6) is equal to
So far, it has shown that the matrix in (3.7) is symmetric. On the other hand, we have
Interestingly, Sect. 3 in [15] shows that the Dirichlet series of \((\lambda _{1}C_{\varphi _{1}}+\lambda _{2}C_{\varphi _{2}})n^{-s}\) can be obtained by expanding the brackets in (3.8). From this and (3.7), we obtain \(a_{m, n}=0\) for all \(n>m\ge 2\). Since the matrix in (3.7) is symmetric, we obtain \(a_{m, n}=0\) for all \(2\le n <m\). This implies that the matrix is a diagonal matrix
Since \(\lambda _{1}\) and \(\lambda _{2}\) are two nonzero complex numbers, from (3.9) we obtain \(c_k^{(1)}=c_k^{(2)}=0\) for all \(k\ge 2\). From this and (3.8), it follows that
for all \(n\ge 2\). Since \(c_{0}^{(1)}\ge 1\) and \(c_{0}^{(2)}\ge 1\), we will divide into the following subcases to discuss.
Subcase (1). If \(c_{0}^{(1)}=1\) and \(c_{0}^{(2)}=1\), then from (3.10) we have
for all \(n\ge 2\). From (3.9) and (3.11), it follows that
for all \(n\ge 2\). Thus, we obtain \(\varphi _{1}(s)=s+c_1^{(1)}\) and \(\varphi _{2}(s)=s+c_1^{(2)}\). Moreover, from Theorem A, we have \({\text {Re}} c_{1}^{(1)}\ge 0\) and \({\text {Re}} c_{1}^{(2)}\ge 0\).
Subcase (2). If \(c_{0}^{(1)}=1\) and \(c_{0}^{(2)}>1\), or \(c_{0}^{(1)}>1\) and \(c_{0}^{(2)}=1\), then from (3.10) we have
or
for all \(n\ge 2\). Since \(\lambda _{1}\) and \(\lambda _{2}\) are nonzero complex numbers, \(\lambda _{1}n^{-c_{1}^{(1)}}\ne 0\) and \(\lambda _{2}n^{-c_{1}^{(2)}}\ne 0\) for all \(n\ge 2\). From these facts, we see that \(\mathfrak {S}_{2}n^{-s}\ne a_{n,n}n^{-s}\) for all \(n\ge 2\), which shows that this subcase does not happen.
Subcase (3). If \(c_{0}^{(1)}>1\) and \(c_{0}^{(2)}>1\), then from (3.10) we have
for all \(n\ge 2\). Moreover, we see that
Also, we see that if \(\mathfrak {S}_{2}n^{-s}= a_{n,n}n^{-s}\) for all \(n\ge 2\), then the coefficient \(a_{n,n}\) should be equal to zero. Thus, the coefficients of \(n^{-c_{0}^{(1)}s}\) and \(n^{-c_{0}^{(2)}s}\) in (3.14) must be one of the following two cases:
or
for all \(n\ge 2\). But, since \(\lambda _{1}\) and \(\lambda _{2}\) are nonzero, (3.15) is clearly not true. So, (3.16) holds for all \(n\ge 2\). However, if (3.16) holds for all \(n\ge 2\), then from (3.14) it follows that \(\lambda _{1}+\lambda _{2}=0\) and \(c_{1}^{(1)}=c_{1}^{(2)}\). This shows that \(\varphi _1=\varphi _2\), which is a contradiction since \(\varphi _1\ne \varphi _2\).
Combining these cases, we have proven that if the operator \(\mathfrak {S}_{2}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\), then \(\varphi _{1}(s)=s+c_{1}^{(1)}\) and \(\varphi _{2}(s)=s+c_{1}^{(2)}\) with \({\text {Re}} c_{1}^{(1)}\ge 0\) and \({\text {Re}} c_{1}^{(2)}\ge 0\).
Conversely, assume that \(\varphi _{1}(s)=s+c_{1}^{(1)}\) and \(\varphi _{2}(s)=s+c_{1}^{(2)}\) with \({\text {Re}} c_{1}^{(1)}\ge 0\) and \({\text {Re}} c_{1}^{(2)}\ge 0\). Since span\(\{K_{w,a}:w\in {\mathbb {C}}_{1/2}\}\) is dense in \({\mathcal {A}}_a\) and it is obvious that \({\mathcal {J}}K_{w,a}=K_{\overline{w},a}\), we obtain
for all \(w,s\in {\mathbb {C}}_{1/2}\). Using the fact \(C_{\varphi }^{*}K_{w,a}=K_{\varphi (w),a}\), we have
for all \(w,s\in {\mathbb {C}}_{1/2}\). Hence, from (3.17) and (3.18) we see that \(\mathfrak {S}_{2}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\) if and only if
From the assumptions, we see that (3.19) holds by using a tedious computation. This shows that the operator \(\mathfrak {S}_{2}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\). From this, the desired conclusion follows. \(\square \)
Next, we give some examples.
Example 3.1
-
(a)
Let \(c_{1}^{(1)}=1+2i\) and \(c_{1}^{(2)}=3+4i\). Define \(\mathfrak {S}_{2}^{(1)}=C_{s+c_{1}^{(1)}}+C_{s+c_{1}^{(2)}}\) and \(\mathfrak {S}_{2}^{(2)}=C_{s+c_{1}^{(1)}}-C_{s+c_{1}^{(2)}}\). By Theorem 3.1, \(\mathfrak {S}_{2}^{(1)}\) and \(\mathfrak {S}_{2}^{(2)}\) are \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\).
-
(b)
Let \(c_{1}^{(1)}=1+2i\) and \(c_{1}^{(2)}=3+4i\). Define \(\mathfrak {S}_{2}^{(3)}=C_{3s+c_{1}^{(1)}}+C_{2s+c_{1}^{(2)}}\) and \(\mathfrak {S}_{2}^{(4)}=C_{s+c_{1}^{(1)}+2^{-s}}+C_{s+c_{1}^{(2)}+2^{-s}}\). Also, from Theorem 3.1 we see that \(\mathfrak {S}_{2}^{(3)}\) and \(\mathfrak {S}_{2}^{(4)}\) are not \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\).
In order to find some interesting phenomena of \({\mathcal {J}}\)-symmetric operators, we give the images of ranges for functions \(\mathfrak {S}_{2}^{(1)}3^{-s}\), \(\mathfrak {S}_{2}^{(2)}3^{-s}\), \(\mathfrak {S}_{2}^{(3)}3^{-s}\) and \(\mathfrak {S}_{2}^{(4)}3^{-s}\), respectively (Figs. 1, 2).
From these images, one can easily find that there indeed exist some distinct differences between \({\mathcal {J}}\)-symmetric and non \({\mathcal {J}}\)-symmetric operators \(\mathfrak {S}_2\) on \({\mathcal {A}}_a\).
Theoretically speaking, there may be many conjugations on \({\mathcal {A}}_a\). However, contrary to expectations, we have the following result, which shows that the complex symmetry of the composition operator on \({\mathcal {A}}_a\) is independent of the conjugations. By reading Theorem 2.5 in [32] and Theorem 3.1, we can easily give the proof and so we omit it.
Lemma 3.2
Let \(a\le 0\) and \(\varphi (s)=c_0s+\sum \nolimits _{k=1}^{\infty } c_k k^{-s}\) be a non-constant \(c_0\)-symbol. Then the following statements are equivalent:
-
(a)
\(C_{\varphi }\) is complex symmetric on \({\mathcal {A}}_a\).
-
(b)
\(C_{\varphi }\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\).
-
(c)
\(\varphi (s)=s+c_{1}\) with \(\Re c_{1}\ge 0\).
From Theorem 3.1 and Lemma 3.2, we have the next result.
Corollary 3.1
Let \(a\le 0\) and \(\varphi _{j}\) be a non-constant \(c_{0}\)-symbol. Then the following statements are equivalent:
-
(a)
\(\mathfrak {S}_{2}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\).
-
(b)
\(C_{\varphi _{j}}\) is complex symmetric on \({\mathcal {A}}_a\) for each \(j\in \{1, 2\}\).
-
(c)
\(C_{\varphi _{j}}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\) for each \(j\in \{1, 2\}\).
-
(d)
\(\varphi _{1}(s)=s+c_{1}^{(1)}\) and \(\varphi _{2}(s)=s+c_{1}^{(2)}\) with \({\text {Re}} c_{1}^{(1)}\ge 0\) and \({\text {Re}} c_{1}^{(2)}\ge 0\).
Remark 3.1
Let \(|\mu |=1\) and \(\{\sigma _{n}\}\) be a sequence of real numbers. From [33], we obtain the following conjugation on \({\mathcal {A}}_a\)
for any \(f(s)=\sum _{n=1}^{\infty }a_{n}n^{-s}\in {\mathcal {A}}_a\). From Corollary 3.1, we obtain that \(\mathfrak {S}_{2}\) is \({\mathcal {J}}_{\mu ,\sigma }\)-symmetric on \({\mathcal {A}}_a\) if and only if \(\varphi _{1}(s)=s+c_{1}^{(1)}\) and \(\varphi _{2}(s)=s+c_{1}^{(2)}\) with \({\text {Re}} c_{1}^{(1)}\ge 0\) and \({\text {Re}} c_{1}^{(2)}\ge 0\). This corollary is very theoretical significance.
Now, we extend \(\mathfrak {S}_{2}\) to the more complicated case. To this end, let
be \(c_{0}\)-symbols and \(\varphi _i \ne \varphi _k\) whenever \(i \ne k\) for \(i, k \in \{1,2, \ldots , N\}\). Define
as the linear combination of the operators \(C_{\varphi _j}\) on \({\mathcal {A}}_a\), where \(\lambda _1, \ldots , \lambda _N \in {\mathbb {C}}\backslash \{0\}\). Since each operator \(C_{\varphi _j}\) is bounded on \({\mathcal {A}}_a\), the operator \(\mathfrak {S}_{N}\) is also bounded on \({\mathcal {A}}_a\).
Theorem 3.2
Let \(a\le 0\). Then the operator \(\mathfrak {S}_{N}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\) if and only if \(\varphi _{j}(s)=s+c_{1}^{(j)}\) with \({\text {Re}} c_{1}^{(j)}\ge 0\) for each \(j\in \{1,2,\ldots ,N\}\).
Proof
Suppose that the operator \(\mathfrak {S}_{N}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\). From this and the fact \(1\in {\mathcal {A}}_a\), we have
Similarly, we divide into two cases to consider:
- (i):
-
There is at least a zero in \(c_{0}^{(1)}\), \(c_{0}^{(2)},\ldots \), \(c_{0}^{(N)}\);
- (ii):
-
\(c_{0}^{(1)}\ge 1\), \(c_{0}^{(2)}\ge 1,\ldots \), and \(c_{0}^{(N)}\ge 1\).
Case (i). Assume that there is at least a zero in \(c_{0}^{(1)}\), \(c_{0}^{(2)},\ldots \), \(c_{0}^{(N)}\). From the fact \({\mathcal {J}}1=1\) and (3.20), we have
From Lemma 3.1, we see that this case is obviously incorrect.
Case (ii). Assume that \(c_{0}^{(1)}\ge 1\), \(c_{0}^{(2)}\ge 1,\ldots \), and \(c_{0}^{(N)}\ge 1\). Since \({\mathcal {J}}\left( n^{-s}\right) =n^{-s}\) for all \(n \ge 1\), from (3.20) and (3.4) we have
for each \(m, n \ge 1\). Then, there is a symmetric matrix of the operator \(\mathfrak {S}_{N}\) with respect to the base \(\{n^{-s}\}_{n=1}^\infty \). On the other hand, since \(\mathfrak {S}_{N}1=\lambda _{1}+\lambda _{2}+\ldots +\lambda _{N}\), the matrix of the operator \(\mathfrak {S}_{N}\) in this base is
But, we also have
By expanding the brackets in (3.24), we obtain \(a_{m, n}=0\) for all \(n>m\ge 2\). Since the matrix (3.23) is symmetric by the previous argument, we obtain \(a_{m, n}=0\) for all \(2\le n<m\). This implies that the matrix (3.23) is a diagonal matrix
Then, we have \(c_k^{(1)}=c_k^{(2)}=\ldots =c_k^{(N)}=0\) for all \(k\ge 2\). By this and (3.24), we have
for all \(n\ge 2\). Similar to the proof of Theorem 3.1, here we also will divide into the following subcases:
Subcase (1). Assume that \(c_{0}^{(1)}=c_{0}^{(2)}=\cdots =c_{0}^{(N)}=1\). Then from (3.26) we have
for all \(n\ge 2\). From (3.25) and (3.27), it follows that \(a_{n,n}=\lambda _{1}n^{-c_1^{(1)}}+\lambda _{2}n^{-c_1^{(2)}}+\cdots +\lambda _{N}n^{c_1^{(N)}}\) for all \(n\ge 2\). Thus, we obtain that \(\mathfrak {S}_{N}\) is \({\mathcal {J}}\)-symmetric such that \(\varphi _{1}(s)=s+c_1^{(1)}\), \(\varphi _{2}(s)=s+c_1^{(2)}\) \(,\ldots \), \(\varphi _{N}(s)=s+c_1^{(N)}\). Moreover, from Theorem A, we have \({\text {Re}} c_{1}^{(1)}\ge 0\), \({\text {Re}} c_{1}^{(2)}\ge 0\) \(,\ldots \), \({\text {Re}} c_{1}^{(N)}\ge 0\).
Subcase (2). Assume that there is only one \(c_{0}^{(j)}>1\) and \(c_{0}^{(i)}=1\), where \(j\in \{1,2,\ldots ,N\}\) and \(i\in \{1,2,\ldots ,N\}\setminus \{j\}\). From (3.26), we have
for all \(n\ge 2\). Since \(\lambda _{1}, \lambda _{2},\ldots , \lambda _{N} \in {\mathbb {C}}{\setminus }{\{0\}}\), and \(\lambda _{j}n^{-c_{1}^{(j)}}\ne 0\) for all \(n\ge 2\) and \(j\in \{1,2,\ldots ,N\}\), then we have that \(\mathfrak {S}_{N}n^{-s}\ne a_{n,n}n^{-s}\) for all \(n\ge 2\). Clearly, this case does not happen.
Subcase (3). Assume that \(c_{0}^{(j)}>1\) and \(j\in \Lambda \), where \(\Lambda \) contains at least two or more elements of \(\{1,2,\ldots ,N\}\). Then from (3.26) we have
for all \(n\ge 2\). Moreover, we know that
for every \(j\in \Lambda \). We see that if \(\mathfrak {S}_{N}n^{-s}= a_{n,n}n^{-s}\) for all \(n\ge 2\), then \(a_{n,n}=0\). But, because \(\lambda _{1},\lambda _{2},\ldots , \lambda _{N}\in {\mathbb {C}}{\setminus }{\{0\}}\) and \(\lambda _{j}n^{-c_{1}^{(j)}}\ne 0\) for all \(n\ge 2\) and \(j\in \{1,2,\ldots ,N\}\), from (3.29) we have that \(c_{0}^{(i)}=c_{0}^{(j)}>1\) for each \(i,j\in \Lambda \) and
for all \(n\ge 2\). This shows that
and \(c_{1}^{(i)}=c_{1}^{(j)}\) for each \(i,j\in \Lambda \). From this, it follows that \(\varphi _i=\varphi _j\) for each \(i,j\in \{1,2,\ldots ,N\}\), which is a contradiction.
Combining the above discussions, we prove that if the operator \(\mathfrak {S}_{N}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\), then \(\varphi _{j}(s)=s+c_{1}^{(j)}\) with \({\text {Re}} c_{1}^{(j)}\ge 0\) for each \(j\in \{1,2,\ldots ,N\}\).
Conversely, assume that \(\varphi _{j}(s)=s+c_{1}^{(j)}\) with \({\text {Re}} c_{1}^{(j)}\ge 0\), where \(j\in \{1,2,\ldots ,N\}\). By Lemma 3.2, each \(C_{\varphi _{j}}\), \(j\in \{1,2,\ldots ,N\}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\). This shows that the operator \(\mathfrak {S}_{N}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\), and we complete the proof. \(\square \)
By Lemma 3.2 and Theorem 3.2, the following result is true.
Corollary 3.2
Let \(a\le 0\) and \(\varphi _j\) be a non-constant \(c_0\)-symbol. Then the following statements are equivalent:
-
(a)
\(\mathfrak {S}_{N}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\).
-
(b)
\(C_{\varphi _{j}}\) is complex symmetric on \({\mathcal {A}}_a\) for all \(j\in \{1,2,\ldots ,N\}\).
-
(c)
\(C_{\varphi _{j}}\) is \({\mathcal {J}}\)-symmetric on \({\mathcal {A}}_a\) for all \(j\in \{1,2,\ldots ,N\}\).
-
(d)
\(\varphi _{j}(s)=s+c_{1}^{(j)}\) with \({\text {Re}} c_{1}^{(j)}\ge 0\), for all \(j \in \{1,2,\ldots ,N\}\).
Finally, we present some applications of \({\mathcal {J}}\)-symmetric linear combinations of composition operators. Recall that each complex symmetric composition operator is normal on \({\mathcal {A}}_a\) (see Theorem B in [32]) and this result is also applicable to \({\mathcal {A}}_a\).
Lemma 3.3
Let \(a\le 0\) and \(\varphi \) be a non-constant \(c_{0}\)-symbol. Then the operator \(C_{\varphi }\) is complex symmetric on \({\mathcal {A}}_a\) if and only if \(C_{\varphi }\) is normal on \({\mathcal {A}}_a\).
Theorem 3.3
Let \(a\le 0\) and \(\varphi _{j}\) be a non-constant \(c_{0}\)-symbol. Then the operator \(\mathfrak {S}_{N}\) is complex symmetric on \({\mathcal {A}}_a\) if and only if each \(C_{\varphi _j}\) is normal on \({\mathcal {A}}_a\) for each \(j\in \{1,2, \ldots , N\}\). Furthermore, \(\mathfrak {S}_{N}\) is also normal on \({\mathcal {A}}_a\).
Proof
The proof is easily obtained from Corollary 3.2 and Lemma 3.3, so we omit it. \(\square \)
Next, we characterize the self-adjoint composition operators.
Lemma 3.4
Let \(a\le 0\). Then the operator \(C_{\varphi }\) is self-adjoint on \({\mathcal {A}}_a\) if and only if \(\varphi (s)=s+c\), where c is a nonnegative real number.
Proof
Assume that the operator \(C_{\varphi }\) is self-adjoint on \({\mathcal {A}}_a\). Since \(C_{\varphi }\) is self-adjoint on \({\mathcal {A}}_a\), it is normal. From Lemma 3.2, we have that \(\varphi (s)=s+c_{1}\), where \(\Re c_{1}\ge 0\). Then, on \({\mathcal {A}}_a\) it follows that \(C_{\varphi }^*=C_{\widetilde{\varphi }}\), where \(\widetilde{\varphi }(s)=s+\bar{c}_{1}\) and \(\bar{c}_{1}\) is the complex conjugation of \(c_{1}\). Since \(n^{-s}\in {\mathcal {A}}_a\) for each \(n\in {\mathbb {N}}\), we have
which implies that \(n^{-c_{1}}=n^{-\bar{c}_{1}}\). From this and Lemma 4.2 in [11], we obtain \(c_{1}=\bar{c}_{1}\), that is, \(c_{1}\) is a nonnegative real number. The converse is trivial. The proof is complete. \(\square \)
Let \(\varphi _{1}\ne \varphi _{2}\). The next result is about the difference \(\mathfrak {D}_{2}=C_{\varphi _{1}}-C_{\varphi _{2}}\) on \({\mathcal {A}}_a\).
Theorem 3.4
Let \(a\le 0\). Then \(\mathfrak {D}_{2}\) is self-adjoint on \({\mathcal {A}}_a\) if and only if both \(C_{\varphi _1}\) and \(C_{\varphi _2}\) are self-adjoint on \({\mathcal {A}}_a\).
Proof
Assume that \(\mathfrak {D}_{2}\) is self-adjoint on \({\mathcal {A}}_a\). Obviously, \(\mathfrak {D}_{2}\) is normal on \({\mathcal {A}}_a\). By Theorem 3.3, \(\varphi _{1}(s)=s+c_{1}^{(1)}\) and \(\varphi _{2}(s)=s+c_{1}^{(2)}\). From the proof of Lemma 3.4, we have
where \(\widetilde{\varphi }_{1}(s)=s+\bar{c}_{1}^{(1)}\) and \(\widetilde{\varphi }_{2}(s)=s+\bar{c}_{1}^{(2)}\). That is,
Let \(c_{1}^{(1)}=\sigma _{1}+it_{1}\) and \(c_{1}^{(2)}=\sigma _{2}+it_{2}\). Replacing them by the expression of (3.30), we obtain
From (3.31), we obtain
By taking the natural logarithm in (3.32), we have
From (3.33), we have
Assume that \(\sigma _{1}\ne \sigma _{2}\). Then, from (3.34) we have
If \(t_{1}\) or \(t_{2}\) does not equal zero in (3.35), then \(\log 3/ \log 2 \in {\mathbb {Q}}\). However, this is not true. So, both \(t_{1}\) and \(t_{2}\) must be equal to zero. As a result of this, from Lemma 3.4 it follows that both \(C_{\varphi _1}\) and \(C_{\varphi _2}\) are self-adjoint on \({\mathcal {A}}_a\). The reverse is obvious. The proof is finished. \(\square \)
Remark 3.2
If we define the operator \({\mathcal {S}}_{2}=aC_{\varphi _{1}}+bC_{\varphi _{2}}\), then the operator \(\mathfrak {D}_{2}\) is obtained by choosing \(a=1\) and \(b=-1\). At this moment, a and b are two special real numbers. Similarly, we can prove that if a and b are general real numbers, then the operator \({\mathcal {S}}_{2}\) is self-adjoint on \({\mathcal {A}}_a\) if and only if both \(C_{\varphi _1}\) and \(C_{\varphi _2}\) are self-adjoint on \({\mathcal {A}}_a\).
References
Bayart, F.: Hardy spaces of Dirichlet series and their composition operators. Monatsh. Math. 136, 203–236 (2002)
Bayart, F.: Compact composition operators on a Hilbert space of Dirichlet series. Ill. J. Math. 47, 725–743 (2003)
Bailleul, M.: Composition operators on weighted Bergman spaces of Dirichlet series. J. Math. Anal. Appl. 426, 340–363 (2015)
Bailleul, M., Brevig, O.F.: Composition operators on Bohr-Bergman spaces of Dirichlet series. Ann. Acad. Sci. Fenn. Math. 41(1), 129–142 (2016)
Cho, H., Choe, B., Koo, H.: Linear combinations of composition operators on the Fock-Sobolev spaces. Potential Anal. 41, 1223–1246 (2014)
Hedenmalm, H., Lindqvist, P., Seip, K.: A Hilbert space of Dirichlet series and systems of dilated functions in \(L^{2}(0,1)\). Duke Math. J. 86, 1–37 (1997)
Choe, B., Koo, H., Park, I.: Compact differences of composition operators over polydisks. Integr. Equ. Oper. Theory 73, 57–91 (2012)
Choe, B., Koo, H., Wang, M.: Compact double differences of composition operators on the Bergman spaces. J. Funct. Anal. 272, 2273–2307 (2017)
Choe, B., Koo, H., Wang, M.: Compact linear combination of composition operators on Bergman spaces. J. Funct. Anal. 278(5), 108393 (2020)
Choe, B., Koo, H., Wang, M.: Compact linear combinations of composition operators induced by linear fractional maps. Math. Z. 280, 807–824 (2015)
Contreras, M.D., Gómez-Cabello, C., Rodríguez-Piazza, L.: Semigroups of composition operators on Hardy spaces of Dirichlet series. J. Funct. Anal. 285, 110089 (2023)
Finet, C., Queffélec, H., Volberg, A.: Compactness of composition operators on a Hilbert space of Dirichlet series. J. Funct. Anal. 211, 271–287 (2004)
Fatehi, M.: Complex symmetric weighted composition operators. Complex Var. Elliptic Equ. 64, 710–720 (2019)
Gupta, A., Malhotra, A.: Complex symmetric weighted composition operators on the space \(H_1^2(\mathbb{D} )\). Complex Var. Elliptic Equ. 65, 1488–1500 (2020)
Gordon, J., Hedenmalm, H.: The composition operators on the space of Dirichlet series with square summable coefficients. Mich. Math. J. 46, 313–329 (1999)
Garcia, S.R., Prodan, E., Putinar, M.: Mathematical and physical aspects of complex symmetric operators. J. Phys., A 47, 353001 (2014)
Garcia, S.R., Putinar, M.: Complex symmetric operators and applications. Trans. Am. Math. Soc. 358, 1285–1315 (2006)
Garcia, S.R., Putinar, M.: Complex symmetric operators and applications, II. Trans. Am. Math. Soc. 359, 3913–3931 (2007)
Garcia, S.R., Wogen, W.: Complex symmetric partial isometries. J. Funct. Anal. 257, 1251–1260 (2009)
Garcia, S.R., Wogen, W.: Some new classes of complex symmetric operators. Trans. Am. Math. Soc. 362, 6065–6077 (2010)
McCarthy, J.E.: Hilbert spaces of Dirichlet series and their multipliers. Trans. Am. Math. Soc. 356, 881–893 (2004)
Moorhouse, J.: Compact dfferences of composition operators. J. Funct. Anal. 219(1), 70–92 (2005)
Jung, S., Kim, Y., Ko, E., Lee, J.: Complex symmetric weighted composition operators on \(H^2(\mathbb{D} )\). J. Funct. Anal. 267, 323–351 (2014)
Kouroupis, A., Perfekt, K.M.: Composition operators on weighted Hilbert spaces of Dirichlet series. J. Lond. Math. Soc. (to appear)
Lim, R., Khoi, L.: Complex symmetric weighted composition operators on \(H_\gamma (\mathbb{D} )\). J. Math. Anal. Appl. 464, 101–118 (2018)
Narayan, S., Sievewright, D., Thompson, D.: Complex symmetric composition operators on \(H^2\). J. Math. Anal. Appl. 443, 625–630 (2016)
Narayan, S., Sievewright, D., Tjani, M.: Complex symmetric composition operators on weighted Hardy spaces. Proc. Am. Math. Soc. 148, 2117–2127 (2020)
Queffélec, H., Seip, K.: Approximation numbers of composition operators on the H2 space of Dirichlet series. J. Funct. Anal. 268, 1612–1648 (2015)
Wang, M., Yao, X.: Invariant subspaces of composition operators on a Hilbert space of Dirichlet series. Ann. Funct. Anal. 6, 179–190 (2015)
Shapiro, J.H., Sundberg, C.: Isolation amongst the composition operators. Pac. J. Math. 145(1), 117–152 (1990)
Xu, Z.Y., Yang, Z.C., Zhou, Z.H.: Complex symmetry of linear combinations of composition operators on the Fock space. Arch. Math. 119, 401–412 (2022)
Yao, X.: Complex symmetric composition operators on a Hilbert space of Dirichlet series. J. Math. Anal. Appl. 452, 1413–1419 (2017)
Yao, X.: Complex symmetric weighted composition operators on a Hilbert space of Dirichlet series. Oper. Matrices 15(4), 1597–1606 (2021)
Acknowledgements
This study was supported by Sichuan Science and Technology Program (2022ZYD0010).
Author information
Authors and Affiliations
Contributions
CH wrote the main manuscript text, ZJ wrote the partial manuscript and carefully revised the manuscript. All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Conflict of interest
The authors declare no competing interests.
Additional information
Communicated by Mihai Putinar.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
This article is part of the topical collection “Reproducing kernel spaces and applications” edited by Daniel Alpay.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons licence, and indicate if changes were made. The images or other third party material in this article are included in the article's Creative Commons licence, unless indicated otherwise in a credit line to the material. If material is not included in the article's Creative Commons licence and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this licence, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Huang, Cs., Jiang, Zj. Complex Symmetry of Linear Combinations of Composition Operators on the McCarthy–Bergman Space of Dirichlet Series. Complex Anal. Oper. Theory 18, 56 (2024). https://doi.org/10.1007/s11785-024-01489-2
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s11785-024-01489-2