## Abstract

Aichinger’s equation is used to give simple proofs of several well-known characterizations of polynomial functions as solutions of certain functional equations. Concretely, we use that Aichinger’s equation characterizes polynomial functions to solve, for arbitrary commutative groups, Ghurye–Olkin’s functional equation, Wilson’s functional equation, the Kakutani–Nagumo–Walsh functional equation, and a general version of Fréchet’s unmixed functional equation.

## 1 Introduction

Given a commutative semigroup \((S,+)\) and a commutative group \((H,+)\), we say that \(f:S\rightarrow H\) is a polynomial function (also named generalized polynomial) of degree \(\le m\) if *f* solves Fréchet’s mixed differences functional equation:

When we evaluate a polynomial function of degree \(\le m\) on a sum \(u_1+u_2+\cdots +u_{m+1}\) of \(m+1\) variables \(u_1,\ldots , u_{m+1}\), we obtain a sum of functions with the property that each one of them depends on at most *m* variables \(u_{i_1},\ldots ,u_{i_m}\) (\(i_k\in \{1,\ldots ,m+1\}\) for all *k*). Indeed, this fact completely characterises polynomial functions, as was proved by Aichinger and Moosbauer [1] for functions defined on abelian groups and by Almira [2] for functions defined on commutative semigroups *S* which satisfy that \(S+S=S\) and \(0\in S\). Concretely [1, Lemma 4.1] states that, when \((S,+)\) is also a group, the function \(f:S\rightarrow H\) is a generalized polynomial of degree \(\le m\) if and only if it solves Aichinger’s equation:

for certain functions \(g_i:S^{m}\rightarrow H\), \(i=1,2,\ldots , m+1\). Here \(\widehat{x_{i}}\) means that \(g_i\) does not depend on \(x_i\). Moreover, [2, Theorem 2] proves that, if \(S+S=S\) and *f* solves (1), then *f* is a polynomial function of degree \(\le m\). Moreover, if *S* also satisfies that \(0\in S\), then all polynomial functions of degree \(\le m\) are solutions of (1).

The main goal of this note is to use these results to give simple proofs of several well-known (and useful) characterizations of polynomial functions as solutions of certain functional equations. Concretely, we use that Aichinger’s equation characterizes polynomial functions to solve Ghurye–Olkin’s functional equation (Corollary 1), Wilson’s functional equation (Corollary 2), the Kakutani–Nagumo–Walsh functional equation (Corollary 4), and a general version of Fréchet’s unmixed functional equation (Corollary 3). In all cases we give proofs for general commutative groups or semigroups and we do not worry about the regularity properties of polynomial functions. Although the results we prove are well-known, our proofs are surprisingly easier than the original ones.

## 2 Characterizations of polynomial functions

We use Aichinger’s equation to prove the main result of this note, which is the following theorem:

### Theorem 1

Assume that \((S,+)\) is a commutative semigroup such that \(S+S=S\), \((R,+,\cdot )\) is a commutative ring, \(c:S\rightarrow S\) is an automorphism, and \(f:(S,+)\rightarrow (R,+)\) is a map that satisfies

where \(p_j,q_k:(S,+)\rightarrow (R,+)\) are polynomial functions and \(\deg (p_j)\le r\), \(\deg (q_k)\le s\) for all *j*, *k*. Then \(f:(S,+)\rightarrow (R,+)\) is a polynomial function and \(\deg (f) \le r+s+1\).

This theorem is a generalized version of [3, Lemma 2.1] and is the key to proving Corollary 1, which is a generalization of a result proved by Ghurye and Olkin in [7, Lemma 3] (see also [3, Theorem 1.3]), where the equation was used for the characterization of Gaussian probability distributions (see also [14, Chapter 7]). Our proof is not based on the very technical tools used in [7]. Moreover, it simplifies the proof given in [3], since it avoids using exponential polynomials. In particular, it does not depend on [15, Lemma 4.3] and/or [16, Theorem 5.10].

### Proof of Theorem 1.

Take \(x_1,\ldots ,x_{r+1},y_1,\ldots ,y_{s+1}\), a set of \(r+s+2\) variables, then:

now, each term \(p_j(x_1+\cdots +x_{r+1})\) can be decomposed as a sum of terms, each one depending on at most *r* of the variables \(x_1,\ldots ,x_{r+1}\); and each term \(q_k(c^{-1}(y_1)+\cdots +c^{-1}(y_{s+1}))\) can be decomposed as a sum of terms, each one depending on at most *s* of the variables \(y_1,\ldots ,y_{s+1}\). Thus, *f* satisfies Aichinger’s equation of order \(r+s+1\), which means that *f* is a polynomial function of degree \(\le r+s+1\). \(\square \)

Aichinger’s equation can also be used to prove the following

### Lemma 1

Assume that \((S,+)\) is a commutative semigroup such that \(0\in S= S+S\), \((H,+)\) is a commutative group, \(c:S\rightarrow S\) is an automorphism, and \(f:(S,+)\rightarrow (H,+)\) is a map such that \(g(x)=f(c(x))\) is a polynomial function of degree \(\le m\). Then *f* is also a polynomial function of degree \(\le m\).

### Proof

Given a set of \(m+1\) variables \(x_1,\ldots , x_{m+1}\), we have that

which means that *f* satisfies Aichinger’s equation of order *m*. \(\square \)

We are now in a good position to study Ghurye–Olkin’s functional equation:

### Corollary 1

(Ghurye–Olkin’s functional equation) With the same notation as used in Theorem 1, assume that \((S,+)\) is a commutative group, \(c_i:S\rightarrow S\), \(i=1,\ldots ,n\) are automorphisms and that \(c_i-c_j\) is also an automorphism whenever \(i\ne j\). Let \(f_i:S\rightarrow R\), \(i=1,\ldots ,n\) be such that

where \(p_j,q_k:(S,+)\rightarrow (R,+)\) are polynomial functions and \(\deg (p_j)\le r\), \(\deg (q_k)\le s\) for all *j*, *k*. Then each function \(f_i:(S,+)\rightarrow (R,+)\) is a polynomial function and \(\deg (f_i) \le r+s+n\), \(i=1,\ldots ,n\). Moreover, in the particular case that \(p_j=q_k=0\) for all *j*, *k* (so that the second member of the equation is 0), the equation is well defined for functions \(f_i\) taking values on a commutative group and each \(f_i\) that solves the equation is a polynomial function of degree at most \(n-1\).

### Proof

Assume that the second member of (3) is not 0. Theorem 1 is case \(n=1\), so that it is natural to proceed by induction on *n*. Indeed, we prove by induction on *n* that \(f_n\) is a polynomial function of degree \(\le r+s+n\), and a simple rearrangement of the functions \(f_1,\ldots ,f_n\) proves the result for all functions \(f_i\), \(i=1,\ldots ,n\).

Let us assume that \(n>1\) and the result holds for \(n-1\). If we consider both members of the equation as functions *F*(*x*, *y*) defined on \(S\times S\), we can apply the difference operator

to both sides of the equation to get that

where

and \(p_j^*,q_k^*:(S,+)\rightarrow (R,+)\) are polynomial functions satisfying \(\deg (p_j^*)\le r\), \(\deg (q_k^*)\le s\) for all *j*, *k*. Thus, the induction hypothesis implies that all functions \(g_i\), \(i=2,\ldots , n\) are polynomial functions of degree \(\le r+s+n-1\). In particular, for each \(h_1\in S\), \(\Delta _{(1_d-c_i\circ c_1^{-1})(h_1)}f_n\) is a polynomial function of degree \(\le r+s+n-1\). Now, \((c_1-c_i)\circ c_1^{-1}= 1_d-c_i\circ c_1^{-1}\) is bijective, so that, for each \(h\in S\), \(\Delta _{h}f_n\) is a polynomial function of degree \(\le r+s+n-1\). In particular, \(f_n\) satisfies Fréchet’s mixed functional equation

Hence \(f_n\) is a polynomial function of degree \(\le r+s+n\).

Let us now assume that that \(p_j=q_k=0\) for all *j*, *k* and that all functions \(f_i\) take values on a commutative group (not necessarily a ring). Then the equation is of the form

Again, we prove by induction on *n* that \(f_n\) is a polynomial function of degree \(\le n-1\), and a simple rearrangement of the functions \(f_1,\ldots ,f_n\) proves the result for all functions \(f_i\), \(i=1,\ldots ,n\). For \(n=1\), the equation becomes \(f_1(x+c_1(y))=0\) and taking \(y=0\) we get that \(f_1(x)=0\) and \(f_1\) is a polynomial of degree 0. We assume that the result holds true for \(n-1\) and consider the case \(n>1\). Applying to both sides of (4) the operator \(\Delta _{(h_1,-c_1^{-1}(h_1))}\) we obtain that

Thus, the induction hypothesis and the fact that \(1_d-c_i\circ c_1^{-1}\) is an automorphism for each \(i\ge 2\) imply that \(\Delta _{h}f_i\) is a polynomial function of degree at most \(n-2\) for each \(i=2,\ldots ,n\) and for every \(h\in S\). In particular, \(f_n\) is a polynomial function of degree at most \(n-1\). \(\square \)

### Remark 1

The transformation \(\widetilde{f_i}(x)=f_i(\beta _i(x))\) reduces the equation

to the equation

so that, if \(\beta _i,\delta _i:S\rightarrow S\) are automorphisms such that \(\beta _i^{-1}\circ \delta _i-\beta _j^{-1}\circ \delta _j\) is invertible whenever \(i\ne j\) and \(p_j,q_k:(S,+)\rightarrow (R,+)\) are polynomial functions, \(\deg (p_j)\le r\), \(\deg (q_k)\le s\) for all *j*, *k*, then we can use Corollary 1 with \(c_i=\beta _i^{-1}\circ \delta _i\) and Lemma 1 to conclude that the functions \(f_i\) that solve equation (5) are polynomial functions of degree at most \(r+s+n\). Moreover, if the second member of (5) is 0, the functions \(f_i\) that solve the equation are polynomial functions of degree at most \(n-1\).

The following equation was studied one hundred years ago by Wilson [18]:

### Corollary 2

(Wilson’s functional equation) Assume that \((S,+)\), \((H,+)\) are commutative groups and \(\beta _i,\delta _i:S\rightarrow S\) are automorphisms such that \(\beta _i^{-1}\circ \delta _i-\beta _j^{-1}\circ \delta _j\) is invertible whenever \(i\ne j\). Assume also that the functions \(f_i,a,b:S\rightarrow H\) (\(i=1,\ldots ,n\)) solve the equation

Then *a*, *b* are polynomial functions of degree at most *n*.

### Proof

A direct application of Remark 1 with \(r=s=0\) shows that all functions \(f_i\), \(i=1,\ldots ,n\) are polynomial functions of degree at most *n*. Hence *a*, *b* are also polynomial functions of degree at most *n*. \(\square \)

The following equation was studied by Almira in [3, 5].

### Corollary 3

(Generalized Fréchet’s unmixed functional equation) Let \((S,+)\) and \((H,+)\) be commutative groups and assume that \(f:S\rightarrow H\) solves the equation

where \(q(z)=a_0+\cdots +a_nz^n\) is a polynomial and \(\tau _h:S\rightarrow S\) is the translation operator, \(\tau _h(x)=x+h\). Then *f* is a polynomial function of degree at most \(s=\#\{k:a_k\ne 0\}-1\).

**Proof. ** Set \(\{k:a_k\ne 0\}=\{k_1,k_2,\ldots ,k_s\}\) and apply Corollary 1 with \(p_j=q_k=0\) for all *j*, *k*, \(f_i=a_{k_i}f(x)\) and \(c_i(x)=k_ix:=x+\cdots ^{k_i\text { times }}+x\), \(i=1,\ldots ,s\). \(\Box \)

The following equation was introduced by Kakutani and Nagumo [12] and Walsh [17] in the 1930’s. The equation was extensively studied by Haruki [8,9,10] in the 1970’s and 1980’s.

### Corollary 4

Let \((H,+)\) be a commutative group, let \(f:{\mathbb {C}}\rightarrow H\) be a solution of the Kakutami–Nagumo–Walsh functional equation

where *w* is any primitive *N*-th root of 1. Then *f* is a polynomial function of degree \(\le N\).

### Proof

Use Corollary 2 with \(n=N\), \(f_i(z)=\frac{1}{N}f(z)\), \(\beta _i(z)=z\), \(\delta _i(z)=w^{i-1}z\), \(i=1,\ldots ,N\), and \(a(z)=f(z)\), \(b(z)=0\). Obviously the corollary can be used since \(\beta _i^{-1}(z)=z\), \(\delta _i^{-1}(z)=w^{N+1-i}z\), and

is an automosphim of \({\mathbb {C}}\) for all \(i\ne j\). \(\square \)

Another special case of Wilson’s equation is

which is a linearized form of the Skitovich-Darmois functional equation

an equation which is connected to the characterization problem of Gaussian distributions (see, for example, Linnik [13], Ghurye–Olkin [7, 11]):

### Corollary 5

(Linearized Skitovich–Darmois functional equation) Assume that \((S,+)\) and \((H,+)\) are commutative groups and let \(\beta _i,\delta _i:S\rightarrow S\) be automorphisms such that \(\beta _i^{-1}\circ \delta _i-\beta _j^{-1}\circ \delta _j\) is invertible whenever \(i\ne j\). If the functions \(f_i:S\rightarrow H\), \(i=1,\ldots , n\) solve the functional equation

then \(P(x)=\sum _{i=1}^nf_i(\beta _i(x))\) and \(Q(y)= \sum _{i=1}^nf_i(\delta _i(y))\) are polynomial functions of degree \(\le n\).

### Proof

Use Corollary 2 with \(a(x)=P(x)\) and \(b(y)=Q(y)\). \(\square \)

Equation (10) has been studied in great detail by Feld’man [6] for functions defined on locally compact commutative groups.

### Remark 2

As a final remark we would like to mention that although we have formulated all results in this paper for ordinary functions defined on commutative groups or semigroups, the same proofs can be translated to the distributional setting. In particular, ordinary polynomials of degree \(\le m\) are the unique solutions of Aichinger’s equation (1) when \(f\in {\mathcal {D}}({\mathbb {R}}^d)'\) (so that \(f(x_1+\cdots +x_{m+1}) \in {\mathcal {D}}({\mathbb {R}}^d\times \cdots ^{m+1 \text {times}}\times {\mathbb {R}}^d)'\)) and \(g_i(x_1,\ldots ,\widehat{x_i},\ldots ,x_{m+1}) \in {\mathcal {D}}({\mathbb {R}}^d\times \cdots ^{m+1 \text {times}}\times {\mathbb {R}}^d)'\) but does not depend on \(x_i\)). The proof of this result is a direct consequence of the fact that the translation and difference operators are well defined for distributions and inherit in the distributional framework the properties they have when applied to ordinary functions, and Fréchet’s functional equation also characterizes polynomials in a distributional sense [4].

## Data availability

Not applicable.

## References

Aichinger, E., Moosbauer, J.: Chevalley–Warning type results on abelian groups. J. Algebra

**569**, 30–66 (2021)Almira, J.M.: Aichinger equation on commutative semigroups. arXiv:2201.07797 (2022)

Almira, J.M.: Characterization of polynomials as solutions of certain functional equations. J. Math. Anal. Appl.

**459**, 1016–1028 (2018)Almira, J.M.: Montel’s theorem and subspaces of distributions which are \(\Delta ^m\)-invariant. Numer. Funct. Anal. Optim.

**35**(4), 389–403 (2014)Almira, J.M.: On Loewner’s characterization of polynomials. Jaén J. Approx.

**8**(2), 175–181 (2016)Feldman, G.: Functional Equations and Characterization Problems on Locally Compact Abelian Groups. EMS (2008)

Ghurye, S.G., Olkin, I.: A characterization of the multivariate normal distribution. Ann. Math. Stat.

**33**(2), 533–541 (1962)Haruki, S.: On the mean value property of harmonic and complex polynomials. Proc. Jpn. Acad. Ser. A

**57**, 216–218 (1981)Haruki, S.: On the theorem of S. Kakutani–M. Nagumo and J.L. Walsh for the mean value property of harmonic and complex polynomials. Pac. J. Math.

**94**(1), 113–123 (1981)Haruki, S.: On two functional equations connected with a mean-value property of polynomials. Aequationes Math.

**6**, 275–277 (1971)Kagan, A.M., Linnik, Y.V., Rao, C.R.: Characterization Problems in Mathematical Statistics. Wiley (1973)

Kakutani, S., Nagumo, M.: About the functional equation \(\sum _{v=0}^{n-1}f(z+e^{(\frac{2 v \pi }{2})i})=nf(z)\). Zenkoku Shijô Danwakai

**66**, 10–12 (1935). (**(in Japanese)**)Linnik, Yu.V.: A remark on the Cramer’s theorem on the decomposition of the normal law. Theory Probab. Appl.

**1**(4), 435–436 (1956)Mathai, A.M., Pederzoli, G.: Characterizations of the Normal Probability Law. Wiley Eastern Limited (1977)

Szekelyhidi, L.: Convolution Type Functional Equations on Topological Abelian Groups. World Scientific (1991)

Szekelyhidi, L.: Discrete Spectral Synthesis and Its Applications. Springer (2006)

Walsh, J.L.: A mean value theorem for polynomials and harmonic polynomials. Bull. Am. Math. Soc.

**42**, 923–930 (1936)Wilson, W.H.: On a certain general class of functional equations. Am. J. Math.

**40**(3), 263–282 (1918)

## Funding

Open Access funding provided thanks to the CRUE-CSIC agreement with Springer Nature. Not applicable.

## Author information

### Authors and Affiliations

### Corresponding author

## Ethics declarations

### Conflict of interest

The author has no relevant financial or non-financial interests to disclose.

### Ethical approval

Not applicable.

## Additional information

### Publisher's Note

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

To Professors Maciej Sablik and László Székelyhidi, in their 70th birthady, with admiration and friendship.

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

Almira, J.M. Using Aichinger’s equation to characterize polynomial functions.
*Aequat. Math.* (2022). https://doi.org/10.1007/s00010-022-00926-x

Received:

Revised:

Accepted:

Published:

DOI: https://doi.org/10.1007/s00010-022-00926-x