Abstract
Several authors studied the so called exponential polynomials, characterized as solutions to the equation
In the present paper we deal with a more general equation
Here all \(f_j, \ u_k, \ v_k\) are assumed to be unknown scalar functions on \({\mathbb {R}}^d,\) while \(P_j\) are polynomials. We prove that \(f_j\) are ratios of exponential polynomials and polynomials, or sums of exponential functions multiplied by rational functions.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
More than hundred years ago Stéphanos [14], Levi-Cività [7] and Stäkel [13] have shown that the only differentiable functions on \({\mathbb {R}}\) satisfying the equation
with some \(u_i,v_i\), are exponential polynomials, that is the functions of the form
where \(p_k\) are polynomials, \(\lambda _k \in {\mathbb {C}}\). This result was subsequently extended to continuous and measurable functions on \({\mathbb {R}}\), then to functions on \({\mathbb {R}}^n\) (see the book by Aczél [1]), a paper of Székelyhidi [16] on Abelian groups (see also [17] and [18] by the same author), and to (continuous) functions on arbitrary (topological) semigroups by the second author [10] (with the change of exponential polynomials by matrix functions of finite-dimensional (continuous) representations). There are many interesting and important equations related to (1.1), for example the extended d’Alembert equation
considered by Rukhin in [9, 19] on 2-divisible Abelian groups and Penney and Rukhin in [8] on some classes of noncommutative groups, or the equation
for functions on arbitrary groups by the second author [12]. A reader can find many information on this subject in the book of Stetkaer [15].
In [2] Almira and the second author considered the following class of equations, restricting by continuous functions on \({\mathbb {R}}^d\):
where \(a_j, c_j\) are \(d\times d\)-matrices. This class includes various extensions of (linearized) Skitovich-Darmois equation and other equations related to the study of probability distributions (see Feldman’s [4]). It was proved in [2] that if all matrices \(a_j\), \(b_j\), for \(1\leqslant j\leqslant m\), and matrices \(d_{i,j}:=a_ic_j-a_jc\), for \(i \ne j\), are invertible then each function \(f_j\) in (1.3) is an exponential polynomial. The extension of this statement to commutative hypergroups were obtained by Fechner and Székelyhidi in [3].
Let us also note that a characterization of exponential polynomials was provided by Gajda in [5]. The author introduced a class of functional equations whose solutions, in an arbitrary Abelian group, were exactly of the form \(f=\sum _{i}m_i p_i.\) Here \(m_i\) are exponential functions and \(p_i\) are polynomials.
Here we make one more step adding polynomial coefficients to summands in (1.3):
It should be noted that a much more general equation for functions on \({\mathbb {R}}\) was considered by Światak [20]:
where \(\phi _j\), \(c_j\) and b are continuous functions. In so general setting the solutions hardly can be found in an exact form; in [20] the results were obtained about their analytical properties. On the other hand Laczkovich [6] studied the equation
and proved that under some mild restrictions on functions \(\phi _j, c_j\) and b the solutions \(f_j\) are exponential polynomials. Unexpectedly, the Eq. (1.4), possessing at the first glance much less degree of freedom, has a more wide class of solutions: they are the combinations of exponentials with rational coefficients.
To state the result in the exact form, let us denote by \(M_d({\mathbb {R}})\) the algebra of all \(d\times d\)-matrices with real entries, and by Inv the group of all invertible matrices in \(M_d({\mathbb {R}})\).
Theorem 1.1
Let \(a_1,\ldots ,a_M, c_1,\ldots ,c_M \in M_d({\mathbb {R}})\) satisfy the conditions
If continuous functions \(f_{j}:{\mathbb {R}}^d \rightarrow {\mathbb {C}}\) satisfy the functional Eq. (1.4)
with some polynomials \(P_{j}\) and some continuous functions \({u_k}, {v_k}\), then each \(f_j\) is a ratio of an exponential polynomial and a polynomial. In other words
where all \(r_m\) are rational functions.
In fact we prove a more general result which can be considered as a version of Theorem 1.1 for vector-valued functions. Let us say that scalar-valued functions \(\ \varphi _1, \ldots , \varphi _N\ \) on \({\mathbb {R}}^d\) are polynomially dependent up to an exponential polynomial, if there exists a non-trivial (= non-zero) N-tuple of polynomials \(\ p_1, \ldots , p_N\ \) such that \(p_1\varphi _1 + \cdots + p_N\varphi _N\) is an exponential polynomial.
Theorem 1.2
Let continuous functions \(f_{ji}\) (\(1\leqslant j\leqslant n, 1\leqslant i\leqslant r_j\)) on \({\mathbb {R}}^d\) satisfy the equation
where \(P_{ji}\) are polynomials on \({\mathbb {R}}^d\times {\mathbb {R}}^d\), and the matrices \(a_i\), \(c_i\) satisfy (1.7).
Then each family \(f_{k1}, \ldots , f_{kr_{k}}\) is polynomially dependent up to an exponential polynomial.
It is clear that Theorem 1.1 is a direct corollary of Theorem 1.2: a family that consists of one function f is polynomially dependent up to an exponential polynomial if and only if f is a ratio of an exponential polynomial and a polynomial. It should be added that apart of generality (in fact because of it) Theorem 1.2 is better adapted for the proof than Theorem 1.1.
2 Notations and Preliminary Results
We consider functions defined on \({\mathbb {R}}^d\), so symbols \(x,y,t,\ldots \) denote elements of \({\mathbb {R}}^d\).
By capital letters \(P,Q,F, \ldots \) we mostly denote the functions on \({\mathbb {R}}^d\times {\mathbb {R}}^d\) while for functions on \({\mathbb {R}}^d\) small letters are used.
Let (EP) be the set of all exponential polynomials on \({\mathbb {R}}^d\). Let also \(\Lambda \) denote the space of all finite sums of products u(x)v(y), where \(u,v\in C({\mathbb {R}}^d)\).
For \(t\in {\mathbb {R}}^d\), we denote by \(R_t\) the shift-operator on \(C({\mathbb {R}}^d)\):
and set
Furthermore, with any pair \((a,t)\in M_d({\mathbb {R}})\times {\mathbb {R}}^d\), we relate an operator \(\delta _{a,t}\) on \(C({\mathbb {R}}^d\times {\mathbb {R}}^d)\) as follows:
Then it is easy to check that for arbitrary function \(g\in C({\mathbb {R}}^d)\) and a polynomial q, one has
and, more generally,
Indeed
In particular,
We will need the following result which is a special case of [11, Lemma 2]:
Proposition 2.1
Let L be a finite-dimensional subspace of \(C({\mathbb {R}}^d)\) and let \(f \in C({\mathbb {R}}^d)\). Suppose that for any \(\ y\in {\mathbb {R}}^d\), there is a finite-dimensional shift-invariant subspace \(L(y)\subset C({\mathbb {R}}^d)\) with
Then \(f \in (EP)\).
Corollary 2.1
If, for some \(\ n \in {\mathbb {N}}\), a continuous function \(\ f:{\mathbb {R}}^d \rightarrow {\mathbb {C}}\), satisfies the condition
then \(f \in (EP)\).
Proof
Fixing \(t_1, \ldots , t_{n-1}\) and denoting \(\Delta _{t_{n-1}} \cdots \Delta _{t_1} f\) by g, we obtain the following relation for g:
for all \(t_n \in {\mathbb {R}}^d.\)
Since each exponential polynomial belongs to a finite-dimensional shift-invariant subspace we obtain
for all \(t \in {\mathbb {R}}^d,\) where L(t) is a finite-dimensional shift-invariant subspace. Applying Proposition 2.1 we conclude that g is an exponential polynomial. Thus
Repeating these arguments \(n-1\) times we get that \(f\in (EP)\). \(\square \)
Corollary 2.2
Let \(f \in C({\mathbb {R}}^d)\) and let \(c \in Inv\). Let \(\ a_1, \ldots , a_n\in M_d({\mathbb {R}}) \) satisfy conditions \(a_i-c \in Inv\). If, for any \(\ t_1, \ldots , t_n,\)
then \(f \in (EP)\).
Proof
By (2.3), the previous condition can be written in the form
Setting
we obtain the equation
After the change \(y = c^{-1}z\) we see that (2.10) is the Levi-Cività functional equation for the function g. Therefore, g is an exponential polynomial and (2.9) turns to
Since all \(a_i-c\) are invertible, one can find, for each n-tuple \(h_1,\ldots ,h_n \in {\mathbb {R}}^d\), an n-tuple \(t_1,\ldots ,t_n\) with \(h_i = (a_i-c)t_i\). Thus
It follows from Corollary 2.1 that f is an exponential polynomial. \(\square \)
Lemma 2.1
For every polynomial q(x), there is an \(h\in {\mathbb {R}}^d\) such that
Proof
Aiming at the contrary suppose that \(\deg (\Delta _h(q)) < n - 1\), for each h, where \(n= \deg (q)\). Let W be a differential operator of order \(n-1\) with constant coefficients, then \(\Delta _h(W(q)) = W(\Delta _h(q)) = 0\). Since h is arbitrary, \(W(q) = const.\) Since W is arbitrary \(\deg (q) \le n-1\), a contradiction. \(\square \)
3 The Proof of the Main Results
It will be convenient to deal firstly with a special case of the Eq. (1.8):
We will prove the following result.
Theorem 3.1
Let \(b_1,\ldots ,b_n \in Inv\) and \(b_{k}-b_j \in Inv\) when \(k\ne j\). Continuous functions \(f_{ik}\) on \({\mathbb {R}}^d\) satisfy the relation (3.1) with some non-trivial families \((P_{ki})_{i=1}^{r_k}\), \(k =1,\ldots ,n\), of polynomials on \({\mathbb {R}}^d\times {\mathbb {R}}^d\) and some continuous functions \({u_j}, {v_j}\) on \({\mathbb {R}}^d\) if and only if, for every k, the family \(f_{k1}, \ldots , f_{kr_{k}}\) is polynomially dependent up to an exponential polynomial.
Proof
Part “if” is easy: if, for example, \(\sum _{i=1}^{m}f_{1i}(x)p_i(x) = e(x)\), where \((p_i)_{i=1}^{m}\) is a nontrivial family of polynomials and \(e\in (EP)\), then
Since \(e(x+b_1y)\in \Lambda \) and \(p_i(x+b_1y)\) are polynomials on \({\mathbb {R}}^d\times {\mathbb {R}}^d\), we obtain the needed relation. So it remains to prove the implication “only if” .
For any \(a\in M_d({\mathbb {R}})\), we denote by \({{\mathcal {L}}}_a\) the polynomial hull of the set of all functions of the form \(f(x+ay)\), where \(f\in C({\mathbb {R}}^d)\), that is the space of all finite sums \(\sum _i f_i(x+ay) Q_i(x,y)\), where \(f_i\in C({\mathbb {R}}^d)\) and \(Q_i\) are polynomials on \({\mathbb {R}}^d\times {\mathbb {R}}^d\).
Let \({{\mathcal {M}}}(d)\) denote the set of all monomials \(\mu (x)= x_1^{m_1}\ldots x_d^{m_d}\) in d variables. Note that each polynomial Q(x, y) can be uniquely written in the form
where all \(p_{\mu }\) are polynomials. Making the change \(x = z-ay\) we write \(Q(x,y)=Q(z-ay,y)\) as a polynomial S(z, y); decomposing this polynomial as above:
and returning to the initial variables we obtain
where all \(q_{\mu }\) are polynomials.
Thus each function \(F=\sum _i f_i(x+ay) Q_i(x,y) \in {{\mathcal {L}}}_a\) can be written in the form \(\sum _k g_k(x+ay)q_k(y)\), where \(g_k\in C({\mathbb {R}}^d)\), \(q_k\) are polynomials.
This implies two important facts:
-
(i)
Each subspace \({{\mathcal {L}}}_a\) of \(C({\mathbb {R}}^d\times {\mathbb {R}}^d)\) is invariant under all operators \(\delta _{b,t}\).
The proof follows immediately from the equality (2.2) applied to functions \(g_k(x+ay)q_k(y)\).
-
(ii)
The family of all operators \(\delta _{a,t}\), \(t\in {\mathbb {R}}^d\), is locally nilpotent. In other words if \(F \in {{\mathcal {L}}}_a\) then there is \(N\in {\mathbb {N}}\) such that subsequently applying to F any N operators \(\delta _{a,t_i}\) we obtain 0.
This follows from the equality (2.1) applied to functions \(g_k(x+ay)q_k(y)\), if one takes in the account the inequality \(\deg (\Delta _tq)< \deg (q)\).
Let us denote the minimal value of N by \(N_a(F)\) and call it the order of F.
As we already mentioned, all operators \(\delta _{b,t}\) preserve each subspace \({{\mathcal {L}}}_a\). It should be added that they do not increase the orders of functions in \({{\mathcal {L}}}_a\):
The reason is that all operators \(\delta _{b,t}\) commute with \(\delta _{a,s}\), whence
if \(N = N_a(F)\).
Note also that the space \(\Lambda \) is invariant for all operators \(\delta _{b,t}\).
Now we will prove the statement of Theorem 3.1 for the first collection of functions, that is we show that some non-trivial combination of functions \(f_{1i}\), \(1\leqslant i\leqslant r_1\), with polynomial coefficients belongs to (EP). For this let us write (3.1) in the form
where each \(F_j\) — some function in \({{\mathcal {L}}}_{b_j}\), \(\Pi \) is a function in \(\Lambda \) (the notations are general, we will not change them when \(F_j\) and \(\Pi \) change).
As above \(P_{1i}(x,y) = \sum _{\mu \in {{\mathcal {M}}}(d)} \mu (x+b_1y)q_{i\mu }(y)\), so (3.3) can be written as follows
Let \(q_{i_0\mu _0}(y)\) be one of those polynomials \(q_{i\mu }\) that have the maximal degree: \(deg(q_{i_0\mu _0}) = D \geqslant deg(q_{i\mu })\), for all \(i,\mu \). Using Lemma 2.1, choose \(h_1,\ldots ,h_D\) in such a way that each subsequent application of \(\Delta _{h_1}\), \(\Delta _{h_2},\ldots , \Delta _{h_D}\) to \(q_{i_0\mu _0}\) reduce the degree of the polynomial by 1. Thus
Setting \(\Delta = \Delta _{h_D}\ldots \Delta _{h_1}\), we see that \(\Delta q_{i\mu } = C_{i\mu }\), where \(C_{i\mu } \in {\mathbb {C}}\) (they can be zero), for all \(i,\mu \).
Let now \(\delta = \delta _{b_1,h_D}\ldots \delta _{b_1,h_1}\); applying this operator to both parts of (3.3) and using (2.1), we obtain
The function
is a non-trivial polynomial combination of functions \(f_{1i}(x)\). Indeed
where \(k_i(x) = \sum _{\mu }C_{i\mu }\mu (x)\) are polynomials. Since \(C_{i_0\mu _0}\ne 0\) the polynomial \(k_{i_0}\) is non-zero.
Now starting with the equality
we will show that \(\psi \in (EP)\).
Let \(K_j = N_{b_j}(F_j)\), for \(j=2,3,\ldots ,n\). By definition,
for all \(t_i\in {\mathbb {R}}^d\).
Since all subspaces \({\mathcal {L}}_{b_j}\) are invariant with respect to all operators \(\delta _{b_2,t_1}\), the operators \(\delta _{b_2,t_1}\delta _{b_2,t_2}\ldots \delta _{b_2,t_{K_2}}\) transform all functions \(F_j\), \(j\ne 2\) to other functions (again \(F_j\) by our agreement) in \({{\mathcal {L}}}_{b_j}\) without increasing their orders (see (3.2)). Thus we have now:
Repeating the same trick we will reduce the number of \(F_j\) till in the right hand side remains only the summand \(\Pi \). In other words, choosing \(a_i\in M_d({\mathbb {R}})\) as follows:
we obtain:
for all \(t_i\in {\mathbb {R}}^d\), \(1\leqslant i\leqslant K\), where \(K = \sum _{j=2}^n K_j\). Since \(a_i - b_1 \in Inv\), for all i, it follows from Corollary 2.2 that \(\psi \in (EP)\). \(\square \)
To deduce Theorem 1.2 from Theorem 3.1 it suffices to denote \(a_j^{-1}c_j\) by \(b_j\) and set \(g_{ji}(x)=f_{ji}(a_jx)\). Clearly if functions \((f_{ij})\) satisfy (1.8) then functions \((g_{ij})\) satisfy (3.1). By Theorem 3.1, all families \(\{g_{ij}:1\leqslant i\leqslant r_j\}\), \(j=1,\ldots ,n\), are polynomially dependent up to an exponential polynomial, so the same is true for the families \(\{f_{ij}:1\leqslant i\leqslant r_j\}\).
Data Availability
We agree that our article be available, all data are available. Code Availability Not applicable.
Code Availability
Not applicable.
References
Aczél, J.: Lectures on Functional Equations. Academic Press Inc., Cambridge (1966)
Almira, J.M., Shulman, E.: On certain generalizations of the Levi-Civita and Wilson functional equations. Aequat. Math. 91, 921–931 (2017)
Fechner, Ż, Székelyhidi, L.: Functional equations for exponential polynomials. Aequat. Math. 93, 535–545 (2019)
Feldman, G.: Functional Equations and Characterization Problems on Locally Compact Abelian Groups. European Mathematical Society, Helsinki (2008)
Gajda, Z.: A characterization of exponential polynomials by a class of functional equations. Publ. Math. Debr. 35, 51–63 (1988)
Laczkovich, M.: Linear functional equations and Shapiro conjecture. L’Enseignement Math. 50, 103–122 (2004)
Levi-Cività, T.: Sulle funzioni che ammettono una formula d’addizione del tipo \(f(x+y)=\sum _{i=1}^n X_i(x)Y_i(y)\). Atti Accad. Naz. Lincei Rend. (5) 22, 181–183 (1913)
Penney, R.C., Rukhin, A.L.: D’Alembert’s functional equation on groups. Int. J. Math. Math. Sci. 5(2), 315–335 (1982)
Rukhin, A.L.: The solution of the functional equation of D’Alembert’s type for commutative groups. Proc. Am. Math. Soc. 77(1), 73–80 (1979)
Shulman, E.: Group representations and stability of functional equations. J. Lond. Math. Soc. 54, 111–120 (1996)
Shulman, E.: Decomposable functions and representations of topological semigroups. Aequat. Math. 79, 13–21 (2010)
Shulman, E.: Some extensions of the Levi-Civita equation and richly periodic spaces of functions. Aequat. Math. 81, 109–120 (2011)
Stäkel, P.: Sulla equazione funzionale \(f(x+y)=\sum _{i=1}^n X_i(x)Y_i(y)\). Atti Accad. Naz. Lincei Rend. 5(22), 392–393 (1913)
Stéphanos, C.: Sur une catégorie d’équations fonctionnelles. Rend. Circ. Mat. Palermo 18(1), 360–362 (1904)
Stetkaer, H.: Functional Equations on Groups. World Scientific Publishing Co Pte Ltd, Singapore (2013)
Székelyhidi, L.: On the Levi–Civita functional equation. Berichte der Mathematisch-Statistischen in der Forschungsgesellschaft Joanneum 301. Forschungszetrum Graz, Mathematisch-Statistische Section, Graz, 23 pp (1988)
Székelyhidi, L.: A functional equation for exponential polynomials. Aequat. Math. 89, 821–828 (2015)
Székelyhidi, L.: On a class of linear functional equations. Publ. Math. (Debr.) 29, 19–28 (1982)
Székelyhidi, L.: Convolution Type Equations on Topological Abelian Groups. World Scientific Publishing Co, Singapore (1991)
Światak, H.: On regularity of locally integrable solutions of the equation \(\sum _{j=1}^M \phi _j(x, y) f_j(x + c_j(y)) = b(x, y)\). Aequat. Math. 1, 6–19 (1968)
Funding
The authors declare that no funds, grants, or other support were received during the preparation of this manuscript.
Author information
Authors and Affiliations
Contributions
Both authors contributed equally.
Corresponding author
Ethics declarations
Conflict of interest
The authors have no relevant financial or non-financial interests to disclose.
Ethical Approval
Not applicable.
Consent to Participate
Not applicable.
Consent for Publication
Not applicable.
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
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
Sablik, M., Shulman, E. Exponential Rationals. Results Math 79, 35 (2024). https://doi.org/10.1007/s00025-023-02060-9
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00025-023-02060-9