Skip to content
Open Access Published by De Gruyter July 6, 2022

# Spectral synthesis via moment functions on hypergroups

• Żywilla Fechner , Eszter Gselmann and László Székelyhidi
From the journal Forum Mathematicum

## Abstract

In this paper, we continue the discussion about relations between exponential polynomials and generalized moment functions on a commutative hypergroup. We are interested in the following problem: is it true that every finite-dimensional variety is spanned by moment functions? Let m be an exponential on X. In our former paper, we have proved that if the linear space of all m-sine functions in the variety of an m-exponential monomial is (at most) one-dimensional, then this variety is spanned by moment functions generated by m. In this paper, we show that this may happen also in cases where the m-sine functions span a more than one-dimensional subspace in the variety. We recall the notion of a polynomial hypergroup in d variables, describe exponentials on it and give the characterization of the so-called m-sine functions. Next we show that the Fourier algebra of a polynomial hypergroup in d variables is the polynomial ring in d variables. Finally, using the Ehrenpreis–Palamodov Theorem, we show that every exponential polynomial on the polynomial hypergroup in d variables is a linear combination of moment functions contained in its variety.

## 1 Introduction

In our former paper (see [3]), we studied the following problem: given a commutative hypergroup X, is it true that all exponential polynomials are included in the linear span of all generalized moment functions? A more precise formulation of this problem reads as follows: given an exponential monomial corresponding to the exponential m on the commutative hypergroup X, is it true that the (finite-dimensional) variety of this exponential monomial has a basis consisting of generalized moment functions associated with the exponential m? In [3], we proved that a sufficient condition for this is that all m-sine functions in the given variety form a one-dimensional subspace. Of course, the same holds if all m-sine functions in the variety are zero, as in that case every exponential monomial, as well as every generalized moment function in the given variety, is a constant multiple of m. In addition, it was shown in [3] that this sufficient condition holds on polynomial hypergroups in one variable, for example.

A natural question is if the condition that the m-sine functions in the given variety form a linear space of dimension at most one is necessary. The subject of this paper is to study this problem, to give a negative answer and to support the conjecture that, in fact, every exponential monomial is a linear combination of generalized moment functions in its variety. In particular, we show that if X is a polynomial hypergroup in d variables, then every exponential monomial is the linear combination of generalized moment functions; however, there are exponential monomials, whose variety contains more than one linearly independent sine functions if d > 1 .

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 [2]. In this paper, X denotes a commutative hypergroup with identity element o, involution ˇ and convolution * . For each function f on X, we define the function f ˇ by f ˇ ( x ) = f ( x ˇ ) .

Given x in X, we denote the point mass with support the singleton { x } by δ x . The convolution δ x * δ y is a compactly supported probability measure on X, and for each continuous function h : X , the integral

X h ( t ) d ( δ x * δ y ) ( t )

will be denoted by h ( x * y ) . Given y in X, the function x h ( x * y ) is the translate of h by y.

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 τ ( 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. An exponential polynomial is called an exponential monomial if its variety is indecomposable, that is, it is not the sum of two proper subvarieties. The simplest nonzero exponential polynomial is the one having one-dimensional variety: it consists of all constant multiples of a nonzero continuous function. Clearly, it is an exponential monomial. 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. Exponential monomials and polynomials on commutative hypergroups have been introduced and characterized in [11, 7, 9]. In the study of exponential polynomials, the basic tool is the modified difference (see [7]). For a given function f in 𝒞 ( X ) , y in X and an exponential m : X , we define the modified difference

Δ m ; y * f ( x ) = f ( x * y ) - m ( y ) f ( x )

for all x in X. For y 1 , , y N + 1 in X, we define

Δ m ; y 1 , y N + 1 * f ( x ) = Δ m ; y 1 , y N * [ Δ m ; y N + 1 * f ( x ) ]

for all x in X. The following characterization theorem of exponential monomials is proved in [11, Corollary 2.7].

## Theorem 1.

Let X be a commutative hypergroup. The continuous function f : X C is an exponential monomial if and only if τ ( f ) is finite-dimensional and there exists an exponential m and a natural number n such that Δ m ; y 1 , y 2 , , y n + 1 * f = 0 holds for each y 1 , y 2 , , y n + 1 in X.

If f is nonzero, then m is uniquely determined, and f is called an m-exponential monomial, and its degree is the smallest n satisfying the property in Theorem 1. The degree of each exponential function is zero: in fact, every nonzero exponential monomial of degree zero is a constant multiple of an exponential. For exponential monomials of first-degree sine functions, we provide an example: given an exponential m on X, the continuous function s : X is called an m-sine function if

s ( x * y ) = s ( x ) m ( y ) + s ( y ) m ( x )

holds for each x , y in X. If s is nonzero, then m is uniquely determined, and its degree is 1.

Important examples for exponential polynomials are provided by the moment functions. Let X be a commutative hypergroup, r a positive integer, and for each multi-index α in r , let f α : X be a continuous function such that f α 0 for | α | = 0 . We say that ( f α ) α r is a generalized moment sequence of rank r if

(1.1) f α ( x * y ) = β α ( α β ) f β ( x ) f α - β ( y )

holds whenever x , y are in X (see [4]). It is obvious that the variety of f α is finite-dimensional: in fact, every translate of f α is a linear combination of the finitely many functions f β with β α , by equation (1.1). The functions in a generalized moment function sequence are called generalized moment functions. In this paper, we shall omit the “generalized” adjective: we simply use the terms moment function sequence and moment function. The order of f α in the above moment function sequence is defined as | α | . It follows that moment functions are exponential polynomials.

The special case of rank-1 moment sequences leads to the following system of functional equations:

f k ( x * y ) = j = 0 k ( k j ) f j ( x ) f k - j ( y )

for all k = 0 , 1 , , N and for each x , y in X.

Observe that, in every moment function sequence, the unique function f ( 0 , 0 , , 0 ) is an exponential on the hypergroup X. In this case, we say that the exponential m = f ( 0 , 0 , , 0 ) generates the given moment function sequence and that the moment functions in this sequence correspond to m . We may also say that the moment functions in the given moment sequence are m-moment functions. It is also easy to see that, in every moment function sequence, f α with | α | = 1 is an m-sine function on X, where m = f ( 0 , 0 , , 0 ) .

The main result in [4] is that moment sequences of rank r can be described by using Bell polynomials if the underlying hypergroup is an Abelian group. The point is that, in this case, the situation concerning (1.1) can be reduced to the case where the generating exponential is the identically 1 function and the problem reduces to a problem about polynomials of additive functions. Unfortunately, if X is not a group, then such a reduction is not available, in general.

The following result is important.

## Theorem 2.

Let X be a commutative hypergroup. Then the variety of a nonzero moment function contains exactly one exponential: the generating exponential function.

## Proof.

In the moment function sequence in (1.1), we show that the only exponential in the variety of f = f α is m = f ( 0 , 0 , , 0 ) . First we show that f is an m-exponential monomial of degree at most | α | . We prove by induction on N = | α | , and the statement is obviously true for N = 0 . Assuming that the statement holds for | α | N , we prove it for | α | = N + 1 . By equation (1.1), we have

Δ m ; y * f α ( x ) = f α ( x * y ) - m ( y ) f α ( x ) = f α ( x * y ) - f ( 0 , 0 , , 0 ) ( y ) f α ( x ) = β < α ( α β ) f β ( x ) f α - β ( y )

for each x , y in X. The right side, as a function of x, is an exponential monomial of degree at most N = | α | - 1 , corresponding to the exponential m, by the induction hypothesis. It follows that

Δ m ; y 1 , y 2 , , y N + 1 , y * f α ( x ) = Δ m ; y 1 , y 2 , , y N + 1 * [ Δ m ; y * f α ] ( x ) = β < α ( α β ) [ Δ m ; y 1 , , y N + 1 * f β ( x ) ] f α - β ( y ) = 0 ,

which proves our first statement.

To prove that m is the only exponential in the variety of f, we know, from the results in [10], that the annihilator Ann τ ( m ) of the variety τ ( m ) of m is a closed maximal ideal M m in c ( X ) , the space of all compactly supported complex Borel measures on X, in which the measures Δ m ; y span a dense subspace, and τ ( m ) τ ( f ) , hence Ann τ ( f ) M m . On the other hand, by the above equation,

M m N + 2 Ann τ ( f ) ,

as the product of any N + 2 generators of a dense subspace of M m annihilates the function f. It follows that, if an exponential m 1 is in τ ( f ) , then clearly τ ( m 1 ) τ ( f ) , hence Ann τ ( f ) Ann τ ( m 1 ) . We conclude that

M m N + 2 Ann τ ( f ) Ann τ ( m 1 ) .

As Ann τ ( m 1 ) is a maximal ideal, hence it is a prime ideal, as well; consequently, we have M m Ann τ ( m 1 ) . By maximality, it follows that we have τ ( m ) = τ ( m 1 ) , which immediately implies m 1 = m . ∎

This theorem can be formulated in the way that every m-moment function is an m-exponential monomial.

Exponential monomials are the basic building blocks of spectral synthesis. We say that spectral analysis holds for a variety if every nonzero subvariety in the variety contains a nonzero exponential monomial. 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 synthesizable. It is obvious that spectral synthesis for a variety implies spectral analysis for it. If spectral analysis holds for every variety on X, then we say that spectral analysis holds on X . If every variety on X is synthesizable, then we say that spectral synthesis holds on X . Clearly, on every commutative hypergroup, spectral synthesis holds for finite-dimensional varieties.

In the light of these definitions, our basic problem about the relation between exponential monomials and moment functions can be reformulated: is it true that every finite-dimensional variety is spanned by moment functions? If so, then spectral synthesis is rather based on moment functions, not on exponential monomials. Obviously, it is enough to consider indecomposable varieties, and we may even assume that the variety in question is the variety of an exponential monomial. Our result in [3, Theorem 2.1] says that if the linear space of all m-sine functions in the variety of an m-exponential monomial is (at most) one-dimensional, then this variety is spanned by moment functions – obviously, associated with m. In the subsequent paragraphs, we show that this may happen also in cases where the m-sine functions span a more than one-dimensional subspace in the variety.

## 2 Polynomial hypergroups

In this section, we recall the definition of a class of hypergroups which will be used in the sequel.

The following definition is taken from [2, Chapter 3, Section 3.1, p. 133]. Let d denote a positive integer, and let 𝒫 n denote the set of polynomials in on d of degree at most n. Finally, let π denote a probability measure on d , and we assume that the commutative hypergroup X with convolution * , involution ˇ and identity o satisfies the following properties: for each x in X, there exists a polynomial Q x on d such that

1. for each nonnegative integer n, the set X n = { Q x : x X } is a basis of the linear space 𝒫 n ;

2. we have Q x ( 1 , 1 , , 1 ) = 1 for each x in X;

3. for each x in X, we have Q x ˇ ( z ) = Q ¯ x ( z ) whenever z is in supp π ;

4. for each x , y , w in X, we have

d Q x Q y Q w 𝑑 π 0 .

In fact, properties (P1), (P2), (P3), (P4) are not independent – for the details, see [2, Proposition 3.1.4]. Property (P4) expresses that the polynomials Q x for x in X are orthogonal with respect to the measure π.

In this case, by property (P1), for each x , y in X, the polynomial Q x Q y admits a unique representation

(2.1) Q x Q y = w X c ( x , y , w ) Q w

with some complex numbers c ( x , y , w ) . Formula (2.1) is called linearization formula, and the numbers c ( x , y , w ) are called linearization coefficients.

The hypergroup X with convolution * is called a polynomial hypergroup (in d variables) if there exists a family { Q x : x X } of polynomials satisfying the above property and

δ x * δ y = w X c ( x , y , w ) δ w

for each x , y in X. In this case, we say that the polynomial hypergroup X is associated with the family of polynomials { Q x : x X } .

The choice d = 1 is the case of polynomial hypergroups in one variable. In this case, we may suppose that X = , the set of natural numbers, and the family of polynomials { Q x : x X } is in fact a sequence of polynomials ( P n ) n , where P n is of degree n and we always assume that P 0 = 1 . Suppose that there exists a Borel measure on a finite interval such that the sequence ( P n ) n is orthogonal with respect to this measure. In this case, it turns out that the linearization coefficients c ( k , l , n ) are zero unless | k - l | n k + l . Hence the linearization formula has the form

P k P l = l = | k - l | k + l c ( k , l , n ) P n .

In this situation, the sequence ( P n ) n generates a polynomial hypergroup if and only if the linearization coefficients are nonnegative.

As a particular example, we consider the sequence ( T n ) n of Chebyshev polynomials of the first kind defined by the recursion T 0 ( x ) = 1 , T 1 ( x ) = x and

x T n ( x ) = 1 2 [ T n - 1 ( x ) + T n + 1 ( x ) ]

for n = 1 , 2 , . In this case, it is easy to check that the linearization coefficients are nonnegative and the resulting hypergroup is the Chebyshev hypergroup. For more about polynomial hypergroups in one variable, see also [2, 8].

Based on [2, Subsection 3.1.3 (iii)], this construction can be generalized for dimension d > 1 . Indeed, if K ( 1 ) and K ( 2 ) are polynomial hypergroups, then K ( 1 ) × K ( 2 ) can be made into a polynomial hypergroup, as well. The collection { Q x Q y : ( x , y ) K ( 1 ) × K ( 2 ) } of polynomials on d 1 + d 2 defines a hypergroup structure on K ( 1 ) × K ( 2 ) , where { Q x ( 1 ) : x K ( 1 ) } and { Q y ( 2 ) : y K ( 2 ) } denote the collections of polynomials on d 1 and d 2 defining K ( 1 ) and K ( 2 ) , respectively.

Thus, the notion of Chebyshev hypergroups can also be extended for d 2 . For example, in case d = 2 , after the above construction, a hypergroup arises that can also be defined with the following recursion. Let T 0 , 0 ( x , y ) = 1 , T 1 , 0 ( x , y ) = x , T 0 , 1 ( x , y ) = y , T 1 , 1 ( x , y ) = x y , and for each nonnegative integers k , n , let

T k , n ( x , y ) = { T k ( x ) if n = 0 , T n ( y ) if k = 0 ;

furthermore, for each positive integers k , n with k + n 2 ,

x y T k , n ( x , y ) = 1 4 [ T k - 1 , n - 1 ( x , y ) + T k + 1 , n - 1 ( x , y ) + T k - 1 , n + 1 ( x , y ) + T k + 1 , n + 1 ( x , y ) ] .

Clearly, this is satisfied by T k , n ( x , y ) = T k ( x ) T n ( y ) , which leads to a two-dimensional generalization of the Chebyshev hypergroup on the basic set X = × .

From the above recursion formulas, we can derive

T k , l T m , n = 1 4 [ T | k - m | , | l - n | + T | k - m | , l + n + T k + m , | l - n | + T k + m , l + n ] ,

which provides us the convolution of point masses in X,

δ k , l * δ m , n = 1 4 [ δ | k - m | , | l - n | + δ | k - m | , l + n + δ k + m , | l - n | + δ k + m , l + n ]

whenever k , l , m , n are natural numbers. The involution on X is the identity mapping, and the identity is δ 0 , 0 .

Exponential functions on X are described in the following theorem (see [2, Proposition 3.1.2], [8, Theorem 3.1]).

## Theorem 3.

The function M : N × N C is an exponential on X if and only if there exist complex numbers λ , μ such that M ( x , y ) = T x ( λ ) T y ( μ ) holds whenever ( x , y ) are in X. The correspondence between the exponentials M and the pairs ( λ , μ ) is one-to-one.

## Proof.

If M has the given form with some complex numbers λ , μ , then for each natural numbers k , l , m , n , we have

M [ δ k , l * δ m , n ] = X M ( u , v ) d ( δ k , l * δ m , n ) ( u , v ) = 1 4 [ T | k - m | ( λ ) T | l - n | ( μ ) + T | k - m | ( λ ) T l + n ( μ ) + T k + m ( λ ) T | l - n | ( μ ) + T k + m ( λ ) T l + n ( μ ) ] = T k , l ( λ ) T m , n ( μ ) = T k ( λ ) T l ( μ ) T m ( λ ) T n ( μ ) = M ( δ k , l ) M ( δ m , n ) ;

further, M ( δ 0 , 0 ) = T 0 ( λ ) T 0 ( μ ) = 1 ; hence M is an exponential on the hypergroup X.

Conversely, suppose that M : × is an exponential on X, that is, we have

M [ δ k , l * δ m , n ] = M ( δ k , l ) M ( δ m , n )

for each natural numbers k , l , m , n ; further, M ( δ 0 , 0 ) = 1 . We define the function f ( m , n ) = M ( δ m , n ) whenever m , n are in . Then f satisfies

(2.2) f ( k , l ) f ( m , n ) = 1 4 [ M ( δ | k - m | , | l - n | ) + M ( δ | k - m | , l + n ) + M ( δ k + m , | l - n | ) + M ( δ k + m , l + n ) ] = 1 4 [ f ( | k - m | , | l - n | ) + f ( | k - m | , l + n ) + f ( k + m , | l - n | ) + f ( k + m , l + n ) ]

for each k , l , m , n in . Here we substitute l = m = 0 to get

(2.3) f ( k , 0 ) f ( 0 , n ) = f ( k , n ) ,

and the substitution l = n = 0 in (2.2) gives

f ( k , 0 ) f ( m , 0 ) = 1 2 [ f ( | k - m | , 0 ) + f ( k + m , 0 ) ]

for all k , m in . As f ( 0 , 0 ) = 1 , the function k f ( k , 0 ) is an exponential of the Chebyshev hypergroup (see [8]); hence f ( k , 0 ) = T k ( λ ) for each k in with some complex number λ. Similarly, we have that f ( 0 , n ) = T n ( μ ) holds for each n in with some complex number μ. It follows, by (2.3), that

M ( δ k , n ) = f ( k , n ) = f ( k , 0 ) f ( 0 , n ) = T k ( λ ) T n ( μ ) ,

and our statement is proved. Clearly, the pair λ , μ is uniquely determined by the exponential M. ∎

Using this theorem, it is reasonable to denote the exponential corresponding to the pair ( λ , μ ) in 2 by M λ , μ .

## Theorem 4.

Let M λ , μ : N × N C be an exponential on X. The function S : N × N C is an M λ , μ -sine function on X if and only if there are complex numbers a , b such that

(2.4) S ( x , y ) = a T x ( λ ) T y ( μ ) + b T x ( λ ) T y ( μ )

whenever x , y are in X.

## Proof.

The function S given in Theorem 4 is an M λ , μ -sine function on X, as it is easy to check by simple calculation. For the converse, we assume that S : × is an M λ , μ -sine function on X. Then we have, for each x , y , u , v in ,

(2.5) S ( ( x , y ) * ( u , v ) ) = S ( x , y ) M λ , μ ( u , v ) + S ( u , v ) M λ , μ ( x , y ) .

Using the form of the exponentials on X given in Theorem 3 and substituting y = u = 0 , we get

(2.6) S ( x , v ) = S ( x , 0 ) T v ( μ ) + S ( 0 , v ) T x ( λ ) .

Now we substitute y = v = 0 in (2.5) to get

(2.7) 1 2 [ S ( | x - u | , 0 ) + S ( x + u , 0 ) ] = S ( x , 0 ) T u ( λ ) + S ( u , 0 ) T x ( λ ) .

Using the fact that the function M λ : x T x ( λ ) is an exponential on the Chebyshev hypergroup (see [8]), we can write equation (2.7) in the form

S ( x * u , 0 ) = S ( x , 0 ) M λ ( u ) + S ( u , 0 ) M λ ( x ) ,

and this means that the function x S ( x , 0 ) is an M λ -sine function on the Chebyshev hypergroup. It follows from [8, Theorem 2.5.] that

S ( x , 0 ) = a d d λ M λ ( x ) = a T x ( λ )

with some complex number a. Similarly, we have that

S ( 0 , v ) = b d d μ M μ ( x ) = a T v ( μ ) .

Finally, substitution into (2.6) gives the statement. ∎

It follows that the linear space of all M λ , μ -sine functions on X is at most two-dimensional, it is spanned by the two functions ( x , y ) T x ( λ ) T y ( μ ) and ( x , y ) T x ( λ ) T y ( μ ) . On the other hand, these two functions are linearly independent. Indeed, assume that

α T x ( λ ) T y ( μ ) + β T x ( λ ) T y ( μ ) = 0

holds for some complex numbers α , β and for all x , y in X. Substituting x = 0 , y = 1 and using T 0 ( z ) = 1 and T 1 ( z ) = z , we have T 0 ( λ ) = 0 and T 1 ( μ ) = 1 ; hence we get β = 0 . Interchanging the role of x and y, we obtain α = 0 ; hence the two functions ( x , y ) T x ( λ ) T y ( μ ) and ( x , y ) T x ( λ ) T y ( μ ) are linearly independent – they form a basis of the linear space of all M λ , μ -sine functions. We consider the variety τ ( φ ) of an M λ , μ -exponential monomial, which is not a linear combination of moment functions in τ ( φ ) associated with the exponential M λ , μ . From [3, Theorem 2.1] it follows, that the two functions ( x , y ) T x ( λ ) T y ( μ ) and ( x , y ) T x ( λ ) T y ( μ ) must belong to τ ( φ ) ; hence the linear space of all M λ , μ -sine functions in τ ( φ ) is two-dimensional. We will show that still τ ( φ ) is generated by moment functions. This would verify that the sufficient condition given in [3, Theorem 2.1] for that the variety of an exponential monomial is generated by moment functions is not necessary. In fact, we will show that, in general, on every polynomial hypergroup, every finite-dimensional variety is spanned by moment functions. In particular, the variety of each exponential monomial is spanned by moment functions – it follows that every exponential monomial is a linear combination of moment functions. On the other hand, it is easy to see that, on polynomial hypergroups in more than one variable, there are exponential monomials whose variety contains more than one linearly independent sine function.

We note that the formula for S in equation (2.4) can be written in the following form:

S ( x , y ) = a λ M λ , μ ( x , y ) + b μ M λ , μ ( x , y ) ,

which is a special case of the moment functions appearing in Theorem 5 in the next section.

## 3 A class of moment functions on polynomial hypergroups

Let X be a polynomial hypergroup in d variables associated with the family of polynomials { Q x : x X } , and we always assume that Q o = 1 , where o is the identity of X. We introduce a special class of exponential monomials on X. Let P be a polynomial in d variables,

P ( ξ ) = | α | N a α ξ α ,

where we use multi-index notation. This means that ξ = ( ξ 1 , ξ 2 , , ξ d ) is in d , α = ( α 1 , α 2 , , α d ) is in d , a α is a complex number and

| α | = α 1 + α 2 + + α d , ξ α = ξ 1 α 1 ξ 2 α 2 ξ d α d .

Then we write

P ( ) = | α | N a α α ,

where = ( 1 , 2 , , d ) with the obvious meaning of the partial differential operators i . The differential operator P ( ) is defined on the space of polynomials in d variables in the usual way: given the polynomial Q in the polynomial ring [ z 1 , z 2 , , z d ] , then

[ P ( ) Q ] ( ξ ) = | α | N a α [ 1 α 1 2 α 2 d α d Q ] ( ξ )

for each ξ in d . If P is not identically zero, then we always assume that | α | = N | a α | > 0 , that is, the total degree of the polynomial P is N – in this case, we say that the differential operator P ( ) is of order N.

The following result shows that the functions x P ( ) Q x are linear combinations of moment functions on X.

## Theorem 5.

Let X be a polynomial hypergroup in d variables associated with the family of polynomials { Q x : x X } . Then, for each multi-index α in N d , and for every λ in C d , the function x [ α Q x ] ( λ ) is a moment function sequence of rank d associated with the exponential x Q x .

## Proof.

Let c ( x , y , t ) denote the linearization coefficients of the polynomial hypergroup X, that is,

Q x Q y = t X c ( x , y , t ) Q t

for each x , y in X. Further, let f ( x ) = [ α Q x ] ( λ ) whenever x in X. Then we have

f ( x * y ) = X f ( t ) d ( δ x * δ y ) ( t ) = X [ α Q t ] ( λ ) d ( δ x * δ y ) ( t ) = α [ X Q t ( λ ) d ( δ x * δ y ) ( t ) ] = α [ t X c ( x , y , t ) Q t ( λ ) ] = [ α ( Q x Q y ) ] ( λ ) = β α ( α β ) [ β Q x ] ( λ ) [ α - β Q y ] ( λ ) ,

which proves the statement. ∎

The moment functions of the form x Q x ( λ ) play an important role in our work: our purpose is to show that, in any variety, the linear combinations of these moment functions span a dense subspace. In other words, spectral synthesis holds on any polynomial hypergroup even when we restrict ourselves to exponential polynomials merely of the form x P ( ) Q x ( λ ) . This will be proved in the subsequent paragraphs.

## 4 The Fourier–Laplace transform

In what follows, we shall use the Fourier–Laplace transform on commutative hypergroups. Here we shortly summarize the basic concepts and results. Let X be a commutative hypergroup, and let 𝒞 ( X ) denote the linear space of all complex-valued continuous functions on X. Equipped with the uniform convergence on compact sets, 𝒞 ( X ) is a locally convex topological vector space. If, for instance, X is discrete, then 𝒞 ( X ) is the linear space of all complex-valued functions on X and the topology on 𝒞 ( X ) is the topology of pointwise convergence.

The topological dual space of 𝒞 ( X ) can be identified with the space of all compactly supported complex Borel measures on X, denoted by c ( X ) . The identification depends on the Riesz Representation Theorem (see e.g. [5, Theorem 6.19]): every continuous linear functional Λ on 𝒞 ( X ) can be represented in the form

Λ ( f ) = X f 𝑑 μ

whenever f is in 𝒞 ( X ) , where μ is a uniquely determined measure in c ( X ) , depending on Λ only. Clearly, if X is discrete, then c ( X ) is the linear space of all finitely supported complex-valued functions on X. For each measure μ in c ( X ) , we define the measure μ ˇ by

X f 𝑑 μ ˇ = X f ˇ 𝑑 μ

whenever f is in 𝒞 ( X ) .

The convolution in X induces an algebra structure on c ( X ) in the following manner. Given two measures μ , ν in c ( X ) , their convolution is introduced as the measure μ * ν defined on 𝒞 ( X ) by the formula

X f d ( μ * ν ) = X X f ( x * y ) 𝑑 μ ( x ) 𝑑 ν ( y ) ,

whenever f is in 𝒞 ( X ) . We recall that f ( x * y ) stands for the integral

X f d ( δ x * δ y ) = X f ( t ) d ( δ x * δ y ) ( t ) ;

hence the above formula can be written in the more detailed form as

X f d ( μ * ν ) = X X X f ( t ) d ( δ x * δ y ) ( t ) 𝑑 μ ( x ) 𝑑 ν ( y )

whenever f is in 𝒞 ( X ) . As all the measures μ , ν , μ * ν are compactly supported, this integral exists for each continuous function f.

It is easy to check that the linear space c ( X ) is a commutative algebra with the convolution of measures. We call c ( X ) the measure algebra of the hypergroup X. If X is discrete, then it is usually called the hypergroup algebra of X – imitating the terminology used in group theory.

The Fourier–Laplace transform on c ( X ) is defined as follows: for each measure μ in c ( X ) and for each exponential m on X, we let

μ ^ ( m ) = X m ˇ 𝑑 μ .

Then μ ^ : ( X ) is a complex-valued function defined on the set ( X ) of all exponentials on X. Clearly, the mapping μ μ ^ is linear, and it is also an algebra homomorphism, as is shown by the following simple calculation:

( μ * ν ) ^ ( m ) = X m ˇ d ( μ * ν ) = X X m ˇ ( x * y ) 𝑑 μ ( x ) 𝑑 ν ( y ) = X X m ˇ ( x ) m ˇ ( y ) 𝑑 μ ( x ) 𝑑 ν ( y ) = X m ˇ ( x ) 𝑑 μ ( x ) X m ˇ ( y ) 𝑑 ν ( y ) = μ ^ ( m ) ν ^ ( m ) ,

which holds for each μ , ν in c ( X ) and for every exponential m on X.

From this property, it follows that the set of all Fourier–Laplace transforms on ( X ) form an algebra, which is called the Fourier algebra of X, denoted by 𝒜 ( X ) . In fact, by one of the most important properties of the Fourier–Laplace transform, it follows that the Fourier algebra is isomorphic to the measure algebra, which is expressed by the following theorem (see e.g. [2, Theorem 2.2.4]).

## Theorem 6.

Let X be a commutative hypergroup, and let μ be in the measure algebra M c ( X ) . If μ ^ ( m ) = 0 for each exponential m on X, then μ = 0 .

For our purposes, it will be necessary to describe the Fourier algebra of polynomial hypergroups. This will be done in the subsequent paragraphs.

Let X be a polynomial hypergroup in d variables generated by the family { Q x : x X } of polynomials. We may assume that Q o = 1 , where o is the identity of X. It is known that the function m : X is an exponential on X if and only if there exists a λ in d such that m ( x ) = Q x ( λ ) holds for each x in X. As λ is obviously uniquely determined by m, hence the set ( X ) of all exponentials on X can be identified with d . Consequently, the Fourier–Laplace transform of each measure in c ( X ) is a complex-valued function on d ,

μ ^ ( λ ) = X Q x ( λ ) 𝑑 μ ( x ) .

In fact, the integral is a finite sum, which implies that μ ^ is a complex polynomial in d variables. Conversely, let P be any polynomial in the polynomial ring [ z 1 , z 2 , , z d ] . Then, by definition, P has a representation of the form

P ( z ) = k = 1 n c k Q x k ( z )

with some elements x k in X and complex numbers c k for k = 1 , 2 , , n . We have

δ ^ x k ( z ) = X Q x ( z ) 𝑑 δ x k ( x ) = Q x k ( z ) ;

hence

P = k = 1 n c k Q x k = k = 1 n c k δ ^ x k = ( k = 1 n c k δ x k ) ^ .

Here μ = k = 1 n c k δ x k is in c ( X ) ; hence we have proved that each polynomial in [ z 1 , z 2 , , z d ] is in 𝒜 ( X ) . In other words, the Fourier algebra of each polynomial hypergroup in d variables is the polynomial ring in d variables.

## 5 Spectral synthesis via moment functions

We shall use the following basic result (see [6], [8, Theorem 6.9]).

## Theorem 7 (Ehrenpreis–Palamodov Theorem).

Let I be a primary ideal in the polynomial ring C [ z 1 , z 2 , , z d ] , and let V denote the set of all common zeros of all polynomials in I. Then there exists a positive integer t such that, for i = 1 , 2 , , t , there exist differential operators with polynomial coefficients of the form

A i ( z , ) = j c i , j p j ( z 1 , z 2 , , z d ) 1 j 1 2 j 2 d j d

for i = 1 , 2 , , t with the following property: a polynomial p in C [ z 1 , z 2 , , z d ] lies in the ideal I if and only if the result applying A i ( z , ) to f vanishes on V for i = 1 , 2 , , t .

The following result can be found in [8, Theorem 6.10], but for the sake of completeness, we present it together with its proof.

## Theorem 8.

Let X be a polynomial hypergroup in d variables, and let V be a proper variety on X. Then the functions of the form x P ( ) Q x ( λ ) in V, where P is a polynomial in d variables, and λ is in C d such that the exponential x Q x ( λ ) is in V, span a dense subspace in V.

## Proof.

We use the fact that, for each variety on X, if V denotes the orthogonal complement of V, that is, the set of all measures μ in c ( X ) such that X f 𝑑 μ = 0 for each f in V, then V is an ideal in c ( X ) . Similarly, for each ideal I, the annihilator I is the set of all functions in 𝒞 ( X ) such that f 𝑑 μ = 0 for each μ in I, and it is a variety in 𝒞 ( X ) . In addition, we have V = V (see e.g. [10, Theorem 5, Theorem 16]). In our case, in particular, V is a proper ideal. By the Noether–Lasker Theorem [1, Theorem 7.13], I is an intersection of (finitely many) primary ideals. It follows from the Ehrenpreis–Palamodov Theorem (Theorem 7) that, for each λ in V, there is a set 𝒫 λ of polynomials such that the measure μ in c ( X ) annihilates V if and only if

[ P ( ) μ ^ ] ( λ ) = X [ P ( ) Q x ] ( λ ) 𝑑 μ ( x ) = 0

holds for each λ in V and P in 𝒫 λ . In other words, all exponential polynomials x [ P ( ) Q x ] ( λ ) with x Q x ( λ ) in V and P in 𝒫 λ belong to V, and their linear hull is dense in V. ∎

From this theorem, we infer that every exponential monomial is a linear combination of moment functions.

## Corollary 1.

Let X be a polynomial hypergroup. Then every exponential polynomial on X is a linear combination of moment functions contained in its variety.

## Corollary 2.

Let X be a polynomial hypergroup in d variables. Then every exponential polynomial on X has the form x P ( ) Q x ( λ ) with some complex polynomial P in d variables and some complex number λ.

## Proof.

If f is an exponential monomial, then it has a finite-dimensional variety V. As P ( ) is a linear combination of differential operators of the form α , and by Theorem 5, x [ α Q x ] ( λ ) is a moment function, the previous theorem implies that the linear combinations of all exponential monomials in V span a dense subspace. By finite dimensionality, this means that V is the linear span of all moment functions included in V; hence f is a linear combination of moment functions. ∎

Communicated by Manfred Droste

Award Identifier / Grant number: K134191

Award Identifier / Grant number: 2019-2.1.11-TÉT-2019-00049

Funding statement: 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.

## References

[1] M. F. Atiyah and I. G. Macdonald, Introduction to Commutative Algebra, Addison-Wesley, Reading, 1969. Search in Google Scholar

[2] W. R. Bloom and H. Heyer, Harmonic Analysis of Probability Measures on Hypergroups, De Gruyter Stud. Math. 20, Walter de Gruyter, Berlin, 1995. 10.1515/9783110877595Search in Google Scholar

[3] Ż. Fechner, E. Gselmann and L. Székelyhidi, Moment functions and exponential monomials on commutative hypergroups, Aequationes Math. 95 (2021), no. 6, 1281–1290. 10.1007/s00010-021-00827-5Search in Google Scholar

[4] Ż. Fechner, E. Gselmann and L. Székelyhidi, Moment functions on groups, Results Math. 76 (2021), no. 4, Paper No. 171. 10.1007/s00025-021-01467-6Search in Google Scholar

[5] W. Rudin, Real and Complex Analysis, 3rd ed., McGraw-Hill, New York, 1987. Search in Google Scholar

[6] B. Sturmfels, Solving Systems of Polynomial Equations, CBMS Reg. Conf. Ser. Math. 97, American Mathematical Society, Providence, 2002. 10.1090/cbms/097Search in Google Scholar

[7] L. Székelyhidi, Exponential polynomials on commutative hypergroups, Arch. Math. (Basel) 101 (2013), no. 4, 341–347. 10.1007/s00013-013-0559-3Search in Google Scholar

[8] L. Székelyhidi, Functional Equations on Hypergroups, World Scientific, New Jersey, 2013. Search in Google Scholar

[9] L. Székelyhidi, Characterization of exponential polynomials on commutative hypergroups, Ann. Funct. Anal. 5 (2014), no. 2, 53–60. 10.15352/afa/1396833502Search in Google Scholar

[10] L. Székelyhidi, Spherical spectral synthesis on hypergroups, Acta Math. Hungar. 163 (2021), no. 1, 247–275. 10.1007/s10474-020-01068-9Search in Google Scholar

[11] L. Székelyhidi and Ż. Fechner, Finite dimensional varieties on hypergroups, Aequationes Math. 95 (2021), no. 3, 551–567. 10.1007/s00010-021-00777-ySearch in Google Scholar

Received: 2021-08-17
Published Online: 2022-07-06
Published in Print: 2022-09-01

© 2022 Walter de Gruyter GmbH, Berlin/Boston

This work is licensed under the Creative Commons Attribution 4.0 International License.

Downloaded on 6.12.2023 from https://www.degruyter.com/document/doi/10.1515/forum-2021-0213/html