On harmonic Hilbert spaces on compact abelian groups

TL;DR

This paper investigates harmonic Hilbert spaces on compact abelian groups, establishing conditions under which these spaces form Banach algebras and analyzing their spectral properties, with applications to function approximation.

Contribution

It introduces the concept of RKHSs associated with subconvolutive functions, providing criteria for these spaces to be symmetric Banach $^*$-algebras and exploring their spectral characteristics.

Findings

Sufficient conditions for RKHAs to be symmetric Banach $^*$-algebras.

Conditions under which RKHAs share the spectrum with $C^*$-algebras of continuous functions.

Embedding relationships between RKHAs and Fourier--Wermer algebras.

Abstract

Harmonic Hilbert spaces on locally compact abelian groups are reproducing kernel Hilbert spaces (RKHSs) of continuous functions constructed by Fourier transform of weighted $L^2$ spaces on the dual group. It is known that for suitably chosen subadditive weights, every such space is a Banach algebra with respect to pointwise multiplication of functions. In this paper, we study RKHSs associated with subconvolutive functions on the dual group. Sufficient conditions are established for these spaces to be symmetric Banach $^*$-algebras with respect to pointwise multiplication and complex conjugation of functions (here referred to as RKHAs). In addition, we study aspects of the spectra and state spaces of RKHAs. Sufficient conditions are established for an RKHA on a compact abelian group $G$ to have the same spectrum as the $C^*$-algebra of continuous functions on $G$. We also consider one-parameter families of RKHSs associated with semigroups of self-adjoint Markov operators on $L^2(G)$, and show that in this setting subconvolutivity is a necessary and sufficient condition for these spaces to have RKHA structure. Finally, we establish embedding relationships between RKHAs and a class of Fourier--Wermer algebras that includes spaces of dominating mixed smoothness used in high-dimensional function approximation.