Quasi-Invariance of the Dirichlet series kernels, Analytic symbols and Homogeneous operators
For a scalar matrix a=(am,n)m,n=1∞, the Dirichlet series kernel κa is the double Dirichlet series κa(s,u)=∑m,n=1∞am,nm−sn−uˉ in the variables s and uˉ, which is regularly convergent on some right half-plane Hρ. The analytic symbols An,a=∑m=1∞am,nm−s, n≥1 play a central role in the study of the reproducing kernel Hilbert space Ha associated with the positive semi-definite kernel κa. In particular, they form a total subset of Ha and provide the formula ∑n=1∞⟨f,An,a⟩n−s, s∈Hρ, for f∈Ha. We combine the basic theory of Dirichlet series kernels with the Gelfond-Schneider theorem (Hilbert's seventh problem) to show that any quasi-invariant Dirichlet series kernel κa(s,u) factors as f(s)f(u)ˉ for some Dirichlet series f on Hρ. In particular, there is no quasi-invariant Dirichlet series kernel κa if the dimension of Ha is bigger than one. This is in strict contrast with the case of the unit disc, where non-factorable quasi-invariant kernels exist in abundance. We further discuss the Dirichlet series kernels κa invariant under the group T of translation automorphisms of Hρ and construct a family of densely defined T-homogeneous operators in Ha, whose adjoints are defined only at the zero vector.