## Abstract

The purpose of this paper is to prove that if on a commutative hypergroup an exponential monomial has the property that the linear subspace of all sine functions in its variety is one dimensional, then this exponential monomial is a linear combination of generalized moment functions.

## 1 Introduction

A *hypergroup* is a locally compact Hausdorff space *X* equipped with an involution and a convolution operation defined on the space of all bounded complex regular measures on *X*. For the formal definition, historical background and basic facts about hypergroups we refer to [1]. In this paper *X* denotes a locally compact hypergroup with identity element *o*, involution , and convolution \(*\). In fact, the quadruple is what we should call a hypergroup, but for the sake of simplicity we shall call *X* a hypergroup. In this paper we shall consider commutative hypergroups only, hence we always suppose that *X* is a locally compact commutative hypergroup.

Given *x* in *X* we denote the point mass with support the singleton \(\{x\}\) by \(\delta _x\) which is a probability measure on *X*, and so is \(\delta _x*\delta _y\) whenever *x*, *y* are in *X*. For a continuous function \(h:X\rightarrow \mathbb {C}\) the integral

will be denoted by \(h(x*y)\). Clearly, \(h(x*y)\) is the mathematical expectation of the random variable *h* on the probability space \((X,\mathcal B, \delta _x*\delta _y)\), \(\mathcal B\) being the \(\sigma \)-algebra of all Borel subsets of *X*. Given *y* in *X* the function \(x\mapsto h(x*y)\) is the *translate* of *h* by *y*. A comprehensive monograph on the subject is [3].

A set of continuous complex valued functions on *X* is called *translation invariant*, if it contains all translates of its elements. A linear translation invariant subspace of all continuous complex valued functions is called a *variety*, if it is closed with respect to uniform convergence on compact sets. The smallest variety containing the given function *h* is called the *variety of h*, and is denoted by \(\tau (h)\). Clearly, it is the intersection of all varieties including *h*. A continuous complex valued function is called an *exponential polynomial*, if its variety is finite dimensional. The simplest nonzero exponential polynomial is the one having one dimensional variety: it consists of all constant multiples of a nonzero continuous function. If we normalize that function by taking 1 at *o* then we have the concept of an exponential. Recall that *m* is an *exponential* on *X* if it is a non-identically zero continuous complex-valued function satisfying \(m(x*y)=m(x) m(y)\) for each *x*, *y* in *X* and *s* is an *m-sine function* on *X* if it is a continuous complex-valued function fulfilling \(s(x*y)=s(x)m(y)+m(x)s(y)\) for each *x*, *y* in *X*.

By the commutativity of the hypergroup every nonzero finite dimensional variety contains an exponential. In accordance with [4], an exponential polynomial is called an *m-exponential monomial* if its variety contains only the exponential *m*. Clearly, *m* is an *m*-exponential monomial. We define the *degree* of exponential monomials as follows. Exponential monomials having one dimensional variety have degree 0, and the degree of an exponential monomial \(\varphi \) is \(n\ge 1\), if the degree of the exponential monomial \(x\mapsto \varphi (x*y)-m(y)\varphi (x)\) is \(n-1\). For instance, nonzero *m*-sine functions have degree 1.

For any nonnegative integer *N* the continuous function \(\varphi :X \rightarrow \mathbb {C}\) is called a *generalized moment function of order N*, if there exist complex valued continuous functions \(\varphi _k:X \rightarrow \mathbb {C}\) such that \(\varphi _N=\varphi \) and

holds for all \(k=0,1,\dots , N\) and for all *x*, *y* in *X*. We say that the functions \((\varphi _k)_{k\in \left\{ 0,1,\dots ,N \right\} }\) form a *generalized moment function sequence of order N*. For the sake of simplicity, in this paper we shall omit the adjective “generalized” and we refer to moment functions and moment function sequences. We note that in [2], a more general concept of moment function sequences was introduced.

Observe that \(\varphi _0\) is an exponential on the hypergroup *X*. In this case we say that \(\varphi _0\) *generates the given moment function sequence of order N*, and that the moment functions in this sequence *correspond to* \(\varphi _0\). Clearly, a moment function of order 1 corresponding to the exponential *m* is an *m*-sine function. Given the exponential *m*, all *m*-sine functions form a linear space.

Important examples of exponential monomials are provided by the moment functions. Clearly, every moment function corresponding to the exponential *m* is an *m*-exponential monomial. In particular, if the order of a generalized moment function is *N*, then it is an exponential monomial of degree at most *N*.

Exponential monomials are the basic building blocks of spectral synthesis. We say that a variety is *synthesizable* if all exponential monomials in the variety span a dense subspace. We say that *spectral synthesis holds for* a variety if every subvariety of it is synthesisable. If every variety on *X* is synthesisable, then we say that *spectral synthesis holds on X*. Clearly, on every commutative hypergroup, spectral synthesis holds for finite dimensional varieties.

## 2 The main result

The above notions suggest that generalized moment functions may play a fundamental role in the theory of spectral analysis and spectral synthesis on commutative hypergroups. In our former paper [2], we described generalized moment functions on commutative groups using Bell polynomials, even in the higher rank case. In fact, the notion of exponential monomials is not easy to handle, compared to that of generalized moment functions: the functional equations characterizing generalized moment functions are more convenient than those for exponential monomials. Therefore it might be fruitful to know in which situations can exponential monomials be expressed in terms of generalized moment functions. In this work we initiate the study of this problem on commutative hypergroups. The statement below is the first step towards this.

### Theorem 2.1

Let *X* be a commutative hypergroup with identity *o*. Let \(m:X\rightarrow \mathbb {C}\) be an exponential, and \(\varphi :X\rightarrow \mathbb {C}\) an *m*-exponential monomial. If the linear subspace of the variety \(\tau (\varphi )\) of \(\varphi \) consisting of all *m*-sine functions is one dimensional, then \(\tau (\varphi )\) is generated by generalized moment functions.

### Proof

Suppose that \(\varphi _0,\varphi _1,\dots ,\varphi _n\) is a basis of \(\tau (\varphi )\), and \(\varphi _0=m\), \(\varphi _1=s\) is an *m*-sine function, \(\varphi _n=\varphi \), and the degrees of these basis functions are increasing with respect to their subscripts. In other words, we suppose that the mapping \(k\mapsto \mathrm {deg}\varphi _{k}\) is increasing.

Then we can write for \(k=1,2,\dots ,n+1\):

for each *x*, *y* in *X*. As the function \(k\mapsto \deg \varphi _k\) is increasing, it follows that the matrix \(c_{k,i}(y)\) is upper triangular for each *x* (i.e. \(c_{k,i}=0\) for \(k>i\)), and \(c_{i,i}=m\) for \(i=1,2,\dots ,n+1\). Further

and

Hence, by associativity

for each *y*, *z* in *X*. If \(C:X\mapsto \mathbb {C}^{(n+1)(n+1)}\) is the matrix function defined by \(C(x)=\bigl (c_{i,j}(x)\bigr )\), then we have

where *I* is the \((n+1)\times (n+1)\) identity matrix. Since

it follows that \(c_{i,i+1}\) is an *m*-sine function for each \(i=1,2,\dots ,n\).

We prove the statement by induction on the dimension *n* of \(\tau (\varphi )\). First we consider the cases \(n=1,2,3,4\) separately and then we prove the statement by induction on \(n\ge 4\).

For \(n=1\) the statement is trivial, since a one dimensional variety consists of the constant multiples of an exponential, which is a generalized moment function.

For \(n=2\) the statement is obvious, because a two dimensional variety consists of the linear combinations of an exponential *m* and an *m*-sine function, which are generalized moment functions.

For \(n=3\) we have the system of equations

where the *c*’s are continuous complex valued functions in \(\tau (\varphi )\). Clearly, \(c_{2,1}, c_{3,1}, c_{3,2}\) are zero, and we have \(c_{1,1}=c_{2,2}=c_{3,3}=m\). Hence the above system can be written as

If \(C(x)=\bigl (c_{i,j}(x)\bigr )\), then we have \(C(x*y)=C(x)C(y)\), and we can write

It follows that \(c_{1,2}, c_{2,3}\) are *m*-sine functions, hence \(c_{1,2}=\alpha _{1,2}s\), \(c_{2,3}=\alpha _{2,3}s\). Then *C*(*x*) has the following form:

As the first row of *C* generates \(\tau (\varphi )\), \(m, c_{1,2}, c_{1,3}\) are linearly independent. It follows that \(\alpha _{1,2}\ne 0\). By the equation for \(\varphi _1(x*y)\) above, it follows \(c_{2,3}=s\), hence \(\alpha _{2,3}=1\ne 0\). We have

and we conclude that \(c_{1,1}, \frac{1}{\alpha _{1,2}}c_{1,2}, \frac{2}{\alpha _{1,2} \alpha _{2,3}}c_{1,3}\) form a generalized moment function sequence. This proves our statement for \(n=3\).

Now we prove the statement for \(n=4\). In that case the above notation will be modified as

and

where the *c*’s are continuous complex valued functions in \(\tau (\varphi )\). Here again, the functions in the first row generate \(\tau (\varphi )\), hence they are linearly independent. Consequently, \(\alpha _{1,2}\ne 0\). On the other hand,

hence \(\alpha _{2,3}\ne 0\): otherwise \(c_{1,3}\) is an *m*-sine function, a constant multiple of *s*, which contradicts the linear independence of the functions in the first row. Finally, the equation for \(\varphi _1(x*y)\) gives that \(\alpha _{3,4}\ne 0\). We conclude that the functions

form a generalized moment function sequence, which proves our statement for \(n=4\).

Suppose that the statement has been proved if the dimension is not greater than \(n\ge 4\), and now we prove it for dimension \(n+1\). Our previous notation in this general situation takes the form

and

From the fact that the functions in the first row generate \(\tau (\varphi )\) we infer that they are linearly independent. The case of dimension *n* can be applied for the variety spanned by \(\varphi _0,\varphi _1,\dots ,\varphi _{n-1}\) to deduce that \(\alpha _{1,2}, \alpha _{2,3},\dots ,\alpha _{n-1,n}\) are different from zero. Finally, the equation for \(\varphi _1(x*y)\) above shows that

that is

which implies \(\alpha _{n,n+1}=1\ne 0\). Consequently, all the \(\alpha \)’s are nonzero. Then we let \(f_0=m\) and for \(k=1,2,\dots ,n\)

We show that \(f_0,f_1,\dots ,f_n\) form a generalized moment function sequence of order *X*. We have

Continuing this process we arrive at

which proves the statement. \(\square \)

One may ask how restrictive is the condition that the sine functions in a variety form a one dimensional linear space. Of course, this requirement is quite restrictive, but still there are large, important classes of commutative hypergroups having this property. This condition means a kind of “one-dimensionality”‘ of the hypergroup. These classes include all polynomial hypergroups in one variable, Sturm–Liouville hypergroups, etc., where, in fact, every finite dimensional variety has this property. For instance, on polynomial hypergroups we can apply our result as follows.

### Corollary 2.2

Let *X* be a polynomial hypergroup associated with the sequence of polynomials \(\bigl (P_n\bigr )_{n\in \mathbb {N}}\). Then every complex valued function on \(\mathbb {N}\) (i.e. every complex sequence) is the pointwise limit of linear combinations of generalized moment functions on *X*.

### Proof

By Theorem 6.7. in [3], spectral synthesis holds on every polynomial hypergroup. This means that, in every variety the exponential polynomials span a dense subspace. If \(f:\mathbb {N}\rightarrow \mathbb {C}\) is any function, then we can apply this result for the variety \(\tau (f)\) of *f*. Consequently, to prove our statement it is enough to show that for each exponential *m* on *X*, all *m*-sine functions form a one dimensional linear space. Let *m* be an exponential on *X*. By Theorem 2.2. in [3], there exists a complex number \(\lambda \) such that \(m(n)=P_n(\lambda )\) holds for each *n* in \(\mathbb {N}\). On the other hand, by Theorem 2.5. in [3], every *m*-sine function *s* on *X* has the form \(s(n)=c P'_n(\lambda )\) with some complex number *c*. It follows that all *m*-sine functions form a one dimensional linear space, hence by Theorem 2.1, our statement follows. \(\square \)

The following result can be obtained on Sturm–Liouville hypergroups. Here \(\mathbb {R}_0\) denotes the set of nonnegative reals.

### Corollary 2.3

Let \(X=(\mathbb {R}_0,A)\) be the Sturm–Liouville hypergroup associated with the Sturm–Liouville function \(A:\mathbb {R}_0\rightarrow \mathbb {R}\). Let *V* be a synthesizable variety on *X*. Then every function in *V* is the uniform limit on compact sets of linear combinations of generalized moment functions on *X*.

### Proof

Applying a similar argument to that in the previous theorem it is enough to show that for each exponential on *X*, the linear space of all *m*-sine functions in the variety of an arbitrary *m*-exponential monomial is one-dimensional.

By Theorem 4.2. in [3], the function \(m:\mathbb {R}_0\rightarrow \mathbb {C}\) is an exponential if and only if it is twice continuously differentiable and there exists a complex number \(\lambda \) such that

holds for \(x>0\), further \(m(0)=1\), \(m'(0)=0\). Suppose that *m* satisfies (2.2). Then, by Theorem 4.5. in [3], the function \(s:\mathbb {R}_0\rightarrow \mathbb {C}\) is an *m*-sine function if and only if it is twice continuously differentiable and there exists a complex number *c* such that

holds for \(x>0\), further \(s(0)=0\), \(s'(0)=0\). Let \(s_0\) be the unique twice continuously differentiable function satisfying

for \(x>0\), and \(s_0(0)=0\), \(s_0'(0)=0\). It is known that this problem has a unique solution, hence \(s_0\) is unique. On the other hand, if *s* is any *m*-sine function, then there is a unique *c* such that *s* satisfies the problem (2.3). However, \(c s_0\) also satisfies (2.3), hence we infer \(s=c s_0\), and the proof is complete. \(\square \)

## References

Bloom, W.R., Heyer, H.: Harmonic Analysis of Probability Measures on Hypergroups, de Gruyter Studies in Mathematics, vol. 20. Walter de Gruyter & Co., Berlin (1995)

Fechner, Ż., Gselmann, E., Székelyhidi, L.: Moment Functions on Groups. arXiv:2010.00208 [math.CA] (2020)

Székelyhidi, L.: Functional Equations on Hypergroups. World Scientific Publishing Co. Pte. Ltd., London (2012)

Székelyhidi, L.: Exponential polynomials on commutative hypergroups. Arch. Math. (Basel)

**101**(4), 341–347 (2013)

## Author information

### Authors and Affiliations

### Corresponding author

## Additional information

*Dedicated to the 80th birthday of Professor Ludwig Reich.*

### Publisher's Note

Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.

Project no. K134191 supporting E. Gselmann and L. Székelyhidi, has been implemented by the support provided from the National Research, Development and Innovation Fund of Hungary, financed under the K_20 funding scheme. The research of E. Gselmann has partially been carried out with the help of the project 2019-2.1.11-TÉT-2019-00049, which has been implemented by the support provided from the National Research, Development and Innovation Fund of Hungary.

## 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

Fechner, Ż., Gselmann, E. & Székelyhidi, L. Moment functions and exponential monomials on commutative hypergroups.
*Aequat. Math.* **95**, 1281–1290 (2021). https://doi.org/10.1007/s00010-021-00827-5

Received:

Revised:

Accepted:

Published:

Issue Date:

DOI: https://doi.org/10.1007/s00010-021-00827-5

### Keywords

- Moment function
- Moment sequence
- Generalized exponential polynomial
- Spectral analysis and synthesis
- Varieties