Abstract
The functional equation \(f(x+y)=g(xy)\) is investigated with unknown functions \(f:A+A\rightarrow Y\), \(g:A\cdot A\rightarrow Y\) in the following cases: \(A:=\left]\alpha ,\beta \right[\subseteq \mathbb {F}_{+}\) where \(\mathbb {F}\) is an Archimedean ordered field; A is the set of all positive integers; A is the set of all positive dyadic rational numbers. The set Y is an arbitrarily fixed (infinite) set. The main result of the paper shows that there exists a set \(A\subseteq \mathbb {R}_{+}\) that is closed under addition and multiplication and there exist functions f, \(g:A\rightarrow Y\) which satisfy the equation \(f(x+y)=g(xy)\) for all \(x,y\in A\) such that the range of the function f is infinite. Finally, some application of the above results is also given.
Similar content being viewed by others
Avoid common mistakes on your manuscript.
1 Introduction
The main purpose of this paper is to give the general solution of the functional equation
for all x, \(y\in A\) with unknown functions \(f:A+A:=\left\{ a+b\mid a,b\in A\right\} \rightarrow Y\), \(g:A\cdot A:=\left\{ ab\mid a,b\in A\right\} \rightarrow Y\) in the following cases:
-
the set A is a nonempty open interval of the set of all positive elements of an Archimedean ordered field \(\mathbb {F}\);
-
the set A is the set of all positive integers;
-
the set A is the set of all positive dyadic rational numbers.
In all of the above cases Y is an arbitrary infinite set.
In [13] the second author of this paper together with Lajkó showed that if \(\mathbb {F}(+,\cdot ,\le )\) is an ordered field, Y is an arbitrary nonempty set, then the functional Eq. (1) has only constant function solutions on \(\mathbb {F}_{+}\). In [13] Eq. (1) is necessary to show that a Pexider type functional equation has only quasi logarithmic function solutions.
In the paper of Rimán [18] an extension of the Pexider equation is given. Chudziak and Sobek [2, 3] considered the problem of existence and uniqueness of extensions for the generalized Pexider equation on an open domain. Sobek [16] investigated the Pexider equation on a restricted domain.
In [7] there is a functional equation that can be brought back to the so-called generalized Davidson functional equation [5,6,7] by functional Eq. (1).
In [4, Problem B. 4456] the investigated functional equation is
with unknown functions f, \(g:\mathbb {R}_{+}\rightarrow \mathbb {R}\).
In the problem book [19, 1.13 Problem 2, p. 26] the investigated functional equation is
with unknown function \(f:\mathbb {R}_{+}\rightarrow \mathbb {R}\). Both of the above two functional equations are similar to functional Eq. (1).
In this paper a construction is given to show that if the set Y is an arbitrarily fixed countable set, then there exists a set \(A\subseteq \mathbb {R}_{+}\) that is closed under addition and multiplication and there exist functions f, \(g:A\rightarrow Y\) that satisfy the functional Eq. (1) for all \(x,y\in A\) and the range of the function f is the set Y.
Finally, it will be shown that some restricted Pexider type functional equation system has only constant function solutions.
In the sequel, we will use the following concepts and statements.
An ordered group \(\mathbb {G}(+,\le )\) is said to be dense (in itself), if for all x, \(y\in \mathbb {G}\) with \(x<y\) there exists an element \(z\in \mathbb {G}\) such that \(x<z<y\).
If \(\mathbb {G}(+,\le )\) is an ordered dense group, \(\left]\underline{a},\overline{a}\right[\), \(\left]\underline{b},\overline{b}\right[\subseteq \mathbb {G}\), then
If \(\mathbb {F}(+,\cdot \le )\) is an ordered field, \(\left]\underline{a},\overline{a}\right[\), \(\left]\underline{b},\overline{b}\right[\subseteq \mathbb {F}_{+}\), then
2 The case when the set A is an open interval of an Archimedean ordered field
An (linearly) ordered field \(\mathbb {F}(+,\cdot ,\le )\) is said to be Archimedean ordered if for all \(x,y\in \mathbb {F}_{+}:=\left\{ x\in \mathbb {F}\mid x>0\right\} \) there exists a positive integer n such that \(nx:=x+\cdots +x>y\).
If \(\mathbb {F}(+,\cdot ,\le )\) is an ordered field, \(\alpha \), \(\beta \in \mathbb {F}\) with \(\alpha <\beta \), then we can define the open interval with endpoints \(\alpha \) and \(\beta \) by
Let \((a_{n})\) be a monotone sequence in \(\mathbb {F}\) such that \(\lim _{n\rightarrow \infty }a_{n}=a\in \mathbb {F}\). (The topology on \(\mathbb {F}\) is generated by the family of all open intervals.) We shall use the notation \(a_{n}\uparrow a\), if the sequence \((a_{n})\) is increasing and similarly \(a_{n}\downarrow a\), if \((a_{n})\) is decreasing.
Theorem 2.1
If \(\mathbb {F}(+,\cdot ,\le )\) is an Archimedean ordered field, \(\alpha \), \(\beta \in \mathbb {F}\) with \(0\le \alpha <\beta \), Y is an arbitrarily fixed countable infinite set and the functions \(f:\left]2\alpha ,2\beta \right[\rightarrow Y\) and \(g\left]\alpha ^{2},\beta ^{2}\right[\rightarrow Y\) satisfy Eq. (1) for all \(x,y\in \left]\alpha ,\beta \right[\), then these functions are constant functions.
Proof
Let x, \(y\in A+A=\left]2\alpha ,2\beta \right[\) such that \(x<y\). Then there exists \(\varepsilon \in \mathbb {F}_{+}\) such that \(2\alpha <x-\varepsilon \) and \(y+\varepsilon <2\beta \). Define the sequences \((\delta _{n})\) and \((\lambda _{n})\) by
Since \(\lambda _{n}> \frac{1}{2}\), we have
Find the number \(N\in \mathbb {Z}_{+}\) such that
Since
there exists \(n_{0}\in \mathbb {Z}_{+}\) such that
for all \(n>n_{0}\), that is,
On the other hand, since
there exists \(n_{1}\in \mathbb {Z}_{+}\) such that
for all \(n>n_{1}\), that is,
Let \(N>\max (n_{0},n_{1})\) be an arbitrarily fixed integer. By (4) and (5) inequality (3) is fulfilled. Let \(\lambda :=\lambda _{N}\), \(\delta :=\delta _{N}\) and define the sequence \((x_{k})\) by
Let the number \(k\in \{0,1,\ldots ,N-1\}\) be arbitrarily fixed. By (2) and (3) we have that
and
whence we obtain that
A simple calculation shows that
Thus we have that \(f(x)=f(x_{0})=f(x_{1})\), \(f(x_{1})=f(x_{2})\), \(\ldots \), \(f(x_{N-1})=f(x_{N})=f(y)\), that is, the function f is constant. \(\square \)
Let \(\mathbb {F}=\mathbb {F}(+,\le )\) be an Archimedean ordered field, \(X=\mathbb {F}\), or \(X=\mathbb {F}^{2}:=\mathbb {F}\times \mathbb {F}\) and \(D\subseteq X\), in addition, let \(x\in \mathbb {F}\) or \(x:=(x_{1},x_{2})\in \mathbb {F}^{2}\) and \(\varepsilon >0\). We can define
The set D is said to be open if for every point x in D there exists \(\varepsilon \in \mathbb {F}_{+}\) such that \(B(x,\varepsilon )\subseteq D\).
A subset \(D\subseteq X\) is said to be well-chained if for all \(x,y\in D\) there exists a finite sequence \(B_{i}:=B(x_{i},\varepsilon _{i})\) \((i=0,1,\ldots ,n)\) such that \(B_{i}\subseteq D\) for all \(i=0,1,\ldots ,n\), \(x\in B_{0}\), \(y\in B_{n}\) and \(B_{i-1}\cap B_{i}\ne \emptyset \) for all \(i=1\), \(\ldots \), n.
Corollary 2.1
Let \(\mathbb {F}(+,\cdot ,\le )\) be an Archimedean ordered field, I be a nonempty well-chained open subset of \(\mathbb {F}_{+}\). If the functions \(f:I+I\rightarrow \mathbb {F}\), \(g:I\cdot I\rightarrow \mathbb {F}\) satisfy the functional Eq. (1) for all \(x,y\in I\), then these functions are constant functions.
Problem 2.1
Let \(\mathbb {F}(+,\cdot ,\le )\) be an Archimedean ordered field, \(\alpha \), \(\gamma \), \(h\in \mathbb {F}\) with \(0\le \alpha <\gamma \) and \(h>0\). In addition, let \(f:\left]\alpha +\gamma ,\alpha +\gamma +2h\right[\rightarrow Y\), \(g:\left]\alpha \gamma ,(\alpha +h)(\gamma +h)\right[\rightarrow Y\) be functions satisfying Eq. (1) for all \(x\in \left]\alpha ,\alpha +h\right[\), \(y\in \left]\gamma ,\gamma +h\right[\). Prove that the function f is a constant function.
3 The case when the set A is the set of all positive integers
Proposition 3.1
If \(f:\left\{ 2,3,4,\ldots \right\} \rightarrow Y\), \(g:\left\{ 1,2,3,\ldots \right\} \rightarrow Y\) are functions satisfying Eq. (1) for all x, \(y\in \mathbb {Z}_{+}\) and the function \(T:\{4,5,6,\ldots \}\rightarrow \mathbb {Z}_{+}\) is defined by
then T has the following properties:
-
1.
\(f(x)=f(T(x))\) for all \(x\ge 4\);
-
2.
\(T(x)<x\) for all \(x\ge 8\);
-
3.
If \(x\equiv i\pmod {3}\), then \(T(x)\equiv 3-i\pmod {3}\) for all \(i=0,1,2\).
Proof
If the number n is even, then
If the number n is odd, then
thus property 1. is proven. Properties 2. and 3. can also be proven easily by simple calculations. \(\square \)
Proposition 3.2
Preserve the notations of Proposition 3.1 and define the sequence \((x_{n})\) by
where \(a\in \{3,4,5,\ldots \}\). The sequence \((x_{n})\) has the following properties:
-
1.
\(f(x_{m})=f(x_{n})\) for all m, \(n\in \mathbb {Z}_{+}\);
-
2.
If \(x_{n}\ge 8\), then \(x_{n+1}<x_{n}\);
-
3.
If \(a>12\), then \(8<T(x_{n})=x_{n+1}\);
-
4.
If a can be divided by 3, then the tail of the sequence \((x_{n})\) is 6, 6, 6, 6, \(\ldots \) and if a can not be divided by 3, then the tail of the sequence \((x_{n})\) is 4, 5, 4, 5, \(\ldots \).
Proof
By Proposition 3.1 one can easily derive the above properties of the sequence \((x_{n})\). \(\square \)
The following figure shows the sequences \((x_{n})\) if \(4\le a\le 12\).
![figure a](http://media.springernature.com/lw685/springer-static/image/art%3A10.1007%2Fs00010-023-01004-6/MediaObjects/10_2023_1004_Figa_HTML.png)
Theorem 3.1
If \(A:=\mathbb {Z}_{+}\) and the functions f and g satisfy functional Eq. (1) for all x, \(y\in \mathbb {Z}_{+}\), then these functions are of the form
where \(y_{1}\), \(y_{2}\), \(y_{3}\in Y\) are constants.
Proof
Let us assume that the functions f and g satisfy Eq. (1) for all x, \(y\in \mathbb {Z}_{+}\). Since \(f(n+1)=g(n)\) for all \(n\in \mathbb {Z}_{+}\), it is enough to show that \(f(x)=f(4)\) whenever \(x\ge 4\). By Proposition 3.2. we have that \(f(x)\in \{f(5),f(6)\}\) whenever \(x\ge 4\). Since
the function f is constant on the set \([4,+\infty [\cap \mathbb {Z}_{+}\).
Conversely, assume that the functions f and g are of the form in (8). Define the sets \(\textrm{C}_{i}\) \(i=1\), 2, 3 by
It is easy to see that
moreover, \(\mathbb {Z}_{+}^{2}=C_{1}\cup C_{2}\cup C_{3}\) and \(C_{i}\cap C_{j}=\emptyset \) whenever \(i\ne j\). Thus we obtain that if \((u,v)\in \textrm{C}_{i}\), then \(f(u+v)=y_{i}\) \(g(uv)=y_{i}\) for all \(i=1\), 2, 3, that is, the functions f and g satisfy Eq. (1). \(\square \)
Problem 3.1
Define \(X:=\left\{ (a,b)\in \mathbb {Z}_{+}^{2}\ \mid \ a<b\right\} \) and
Let \({\mathcal {F}}_{ab}\) be the set of all pairs of functions (f, g) such that \(f:I_{ab}+I_{ab}\rightarrow Y\), \(g:I_{ab}\cdot I_{ab}\rightarrow Y\) with \(f(x+y)=g(xy)\) for all \((x,y)\in I_{ab}\).
Similarly, let \({\mathcal {F}}_{a}\) the set of all pairs of functions (f, g) with \(f:I_{a}+I_{a}\rightarrow Y\), \(g:I_{a}\cdot I_{a}\rightarrow Y\) and \(f(x+y)=g(xy)\) for all \(x,y\in I_{a}\).
Finally, define the functions \(\Phi :X\rightarrow Y\), \(\Psi :\mathbb {Z}_{+}\rightarrow Y\) by
Find the values of the functions \(\Phi \) and \(\Psi \). For example, by Theorem 3.1 we have that \(\Psi (1)=3\).
4 The case when the set A is the set of all positive dyadic rational numbers
Denote by \({\mathcal {R}}_{\{2\}}\) the set of all positive dyadic rational numbers, that is,
Theorem 4.1
If the functions f, \(g: {\mathcal {R}}_{\{2\}}\rightarrow Y\) satisfy functional Eq. (1) for all x, \(y\in {\mathcal {R}}_{\{2\}}\), then these functions are constant functions.
Proof
Let x, \(y\in {\mathcal {R}}_{\{2\}}\) such that \(x<y\). Then there exist positive integers k, \(l\ge 4\) and an element \(z\in {\mathcal {R}}_{\{2\}}\) such that \(x=kz\) and \(y=lz\). Define the functions \(F:\{2,3,\ldots \}\rightarrow Y\), \(G:\{1,2,3,\ldots \}\rightarrow Y\) by
The functions F and G satisfy the functional equation
whence by Theorem 3.1 we have that the function F is a constant function. Thus \(f(x)=f(kz)=F(k)=F(l)=f(lz)=f(y)\) thus the function f is a constant function. \(\square \)
Remark 4.1
Let \(R(+,\cdot ,\le )\) be an ordered ring such that for all a, \(b\in R_{+}\) there exist an element \(c\in R\) and integers \(m\ge 4\), \(n\ge 4\) such that \(a=mc\), \(b=nc\) and, in addition, \(lc\in R_{+}\) for all \(l\in \mathbb {Z}_{+}\). If the functions f, \(g:R_{+}\rightarrow Y\) satisfy functional Eq. (1) for all x, \(y\in R_{+}\), then these functions are constant functions.
Example 4.1
Let \({\mathcal {P}}\) be the set of all positive prime numbers and P be an arbitrarily fixed nonempty subset of \({\mathcal {P}}\). Let \({\mathcal {R}}_{P}\) be the set of all rational numbers which can be represented in the form a/b where \(a\in \mathbb {Z}\), \(b\in \mathbb {Z}_{+}\) such that \(a=0\) or a and b are relative primes and all the prime divisors of the integer b are in P. The ring \({\mathcal {R}}_{P}\) has the property described in Remark 4.1. For example, if \(P=\{2\}\), then \({\mathcal {R}}_{P}\) is the set of all positive dyadic rational numbers.
By this example it is also easy to see that the cardinality of the set
is equal to the cardinality of the continuum.
5 A function solutions of Eq. (1) which has infinite range
In this section we prove the following Theorem:
Theorem 5.1
There exists a set \(A\subseteq \mathbb {R}_{+}\) with the following properties:
-
1.
\(A+A\subseteq A\); \(A\cdot A\subseteq A\);
-
2.
For every sets \(Y=\left\{ y_{1},y_{2},y_{3},\ldots \right\} \) there exist functions f, \(g:A\rightarrow Y\) satisfying Eq. (1) for all x, \(y\in A\) such that \({\mathcal {R}}_{f}=Y\).
Although the proof of the above statement is simple, we will briefly describe it for the sake of the readers.
The set of all square-free positive integers is denoted by \({\mathcal {F}}_{2}\), that is,
Let \((p_{n})\) be the strictly increasing sequence of all positive prime numbers. Thus \({\mathcal {P}}=\left\{ p_{n}|n\in \mathbb {Z}_{+}\right\} \) and we can define the sets \({\mathcal {P}}_{n}\) by
for all \(n\in \mathbb {Z}_{+}\).
Define the sets \(X_{n}\subseteq {\mathcal {F}}_{\{2\}}\) by
for all \(n\in \mathbb {Z}_{+}\) where p|x denotes that x can be divided by p.
If \(K\subseteq \mathbb {R}\) is a field and \(a_{1}\), \(\ldots \), \(a_{n}\in \mathbb {R}\), then we can define the field \( K(a_{1},\ldots ,a_{n})\) by
It is easy to see that \(K(a_{1},\ldots ,a_{n})=K(a_{1},\ldots ,a_{n-1})(a_{n})\).
We shall use the abbreviations
One can easily prove the following Proposition.
Proposition 5.1
If L is a subfield of the field \(\mathbb {R}\) and \(a\in L\), then
Theorem 5.2
\(K_{n}=\mathbb {Q}_{n}\) for all \(n\in \mathbb {Z}_{+}\).
Proof
We prove the Theorem by mathematical induction. The base case \((k=1)\) is Proposition 5.1. For the induction step let us assume that \(K_{k}=\mathbb {Q}_{k}\) and let \(x\in K_{k+1}\). Since \(\mathbb {Q}_{k+1}=\mathbb {Q}_{k}(\sqrt{p_{k+1}})\), by Proposition 5.1, there exist elements \(u,v\in K_{k}\) such that \(x=u+v\sqrt{p_{k+1}}\) whence by the inductive hypothesis we obtain that \(K_{k+1}=\mathbb {Q}_{k+1}\). \(\square \)
One can easily prove the following Proposition.
Proposition 5.2
If L is a subfield of the field \(\mathbb {R}\) and \(a\in L\) but \(\sqrt{a}\notin L\), then for all \(x\in L(\sqrt{a})\) there uniquely exist u, \(v\in L\), such that \(x=u+v\sqrt{a}\).
Proposition 5.3
If L is a subfield of the field \(\mathbb {R}\), \(a,b\in L\) such that \(\sqrt{a}\in L(\sqrt{b})\), then either \(\sqrt{a}\in L\), or \(\sqrt{ab}\in L\).
Proof
If \(\sqrt{a}\notin L\), then by \(\sqrt{a}\in L(\sqrt{b})\) and by Proposition 5.1. there exist \(u,v\in L\), \(v\ne 0\) such that \(\sqrt{a}=u+v\sqrt{b}\). Thus we obtain, that \(\sqrt{a}-v\sqrt{b}=u\), whence we have that
\(\square \)
Proposition 5.4
If \(x\in {\mathcal {F}}_{2}\), such that \(\sqrt{x}\in \mathbb {Q}_{k}\), then all the prime divisors p of x are in \({\mathcal {P}}_{k}\) for all \(k\in \mathbb {Z}_{+}\). Thus \(\sqrt{p_{k+1}}\notin \mathbb {Q}_{k}\) for all \(k\in \mathbb {Z}_{+}\).
Proof
We prove the statement by mathematical induction. For the case \(k=1\) assume that \(x\in {\mathcal {F}}_{2}\) and \(\sqrt{x}\in \mathbb {Q}(\sqrt{p_{1}})\). Thus, by Proposition 5.3., we obtain that either \(\sqrt{x}\in \mathbb {Q}\) or \(\sqrt{xp_{i}}\in \mathbb {Q}\). If \(\sqrt{x}\in \mathbb {Q}\), then \(x=1\) thus the statement holds. If \(\sqrt{xp_{1}}\in \mathbb {Q}\), then \(x=p_{1}\), thus the statement holds too.
For the induction step assume that \(x\in {\mathcal {F}}_{2}\) and \(\sqrt{x}\in \mathbb {Q}_{k+1}=\mathbb {Q}_{k}(\sqrt{p_{k+1}})\). By Proposition 5.3. we obtain, that either \(\sqrt{x}\in \mathbb {Q}_{k}\) or \(\sqrt{xp_{k+1}}\in \mathbb {Q}_{k}\). By the inductive hypothesis we obtain, that if \(p\in {\mathcal {P}}\) such that p|x and \(p\ne p_{k+1}\), then \(p\in {\mathcal {P}}_{k}\) which completes the proof. \(\square \)
Theorem 5.3
The form of \(x\in K_{n}\) in (9) is unique for all \(n\in \mathbb {Z}_{+}\).
Proof
We prove the Theorem by mathematical induction. By Theorem 5.2. we have that \(K_{n}=\mathbb {Q}_{n}\) for all \(n\in \mathbb {Z}_{+}\).
The base case (\(k=1\)) follows from Proposition 5.2.
For the induction step assume, that \(\sqrt{x}\in \mathbb {Q}_{k+1}=\mathbb {Q}_{k}(\sqrt{p_{k+1}})\). By Proposition 5.4 we have that \(\sqrt{p_{k+1}}\notin \mathbb {Q}_{k}\) thus by Proposition 5.2 we obtain that there uniquely exist u, \(v\in \mathbb {Q}_{k}\) such that \(x=u+v\sqrt{p_{k+1}}\) whence, by the induction hypothesis the statement is proven. \(\square \)
By Theorem 5.3, one can easily prove Theorem 5.1.
Proof
Let \({\mathcal {Q}}\) be the set of all elements of the real line which can be represented in the form
where \(n\in \mathbb {Z}_{+}\), \(\lambda _{0}\), \(\lambda _{i}\in \mathbb {Q}_{+}\) and \(x_{i}\in {\mathcal {F}}_{2}{\setminus }\{1\}\) for all \(i=1\), 2, \(\ldots \), n, moreover, \(x_{j}\ne x_{k}\) whenever \(j\ne k\).
By Theorems 5.2 and 5.3. the form of \(x\in {\mathcal {Q}}\) in (11) is unique. Let \(A:={\mathcal {Q}}\).
Define the function \(\varphi :{\mathcal {Q}}\rightarrow \mathbb {Z}_{+}\) by
It can be easily seen, that
Define the functions \(f:{\mathcal {Q}}+{\mathcal {Q}}\rightarrow Y\) and \(g:{\mathcal {Q}}\cdot {\mathcal {Q}}\rightarrow Y\) by
Then the functions f and g satisfy functional Eq. (1) for all \(x,y\in {\mathcal {Q}}\) and \({\mathcal {R}}_{f}=Y\). \(\square \)
Problem 5.1
Find a subset \(A\subseteq \mathbb {R}_{+}\) with the properties:
-
1.
\(A+A\subseteq A\); \(A\cdot A\subseteq A\);
-
2.
there exist functions \(f:A+A\rightarrow Y\), \(g:A\cdot A\rightarrow Y\) such that these functions satisfy the functional Eq. (1) for all x, \(y\in A\) and the ranges of these functions are uncountable.
6 Applications
Let \(\mathbb {F}(+,\cdot ,\le )\) be an ordered field, and \(D\subseteq \mathbb {F}^{2}\). Define the sets \(D_{x}\), \(D_{y}\), \(D_{x+y}\), and \(D_{xy}\subseteq \mathbb {F}\) by
A function \(a:X(+)\rightarrow Y(+)\) is said to be additive if
A function \(l:X(\cdot )\rightarrow Y(+)\) is said to be logarithmic if
There are many results concerning the additive and logarithmic functions, see for example [1, 14].
In the sequel we will use the following three theorems from [8, 10]:
Let \(\mathbb {G}(+,\le )\) be an Archimedean ordered dense Abelian group, \(\mathbb {F}(+,\cdot ,\le )\) be an Archimedean ordered field and \(Y(+)\) be a group.
Theorem 6.1
(Extension Theorem for the restricted Pexider additive functional equation) If \(D\subseteq \mathbb {G}^{2}\) is a nonempty, well-chained open set, \(Y(+)\) is a group, and \(f:D_{x+y}\rightarrow Y\), \(g:D_{x}\rightarrow Y\), \(h:D_{y}\rightarrow Y\) are functions such that
then there exist an additive function \(a:\mathbb {G}\rightarrow Y\) and constants c, \(d\in Y\) such that
Theorem 6.2
(Extension Theorem for the restricted Pexider logarithmic functional equation) If \(D\subseteq \mathbb {F}_{+}^{2}\) is a nonempty, well-chained, open set, \(Y(+)\) is a group, and \(f:D_{x\cdot y}\rightarrow Y\), \(g:D_{x}\rightarrow Y\), \(h:D_{y}\rightarrow Y\) are functions such that
then there exist a logarithmic function \(l:\mathbb {F}_{+}\rightarrow Y\) and constants c, \(d\in Y\) such that
Theorem 6.3
(Uniqueness Theorem for additive functions) If \(a_{1}\), \(a_{2}:\mathbb {G}\rightarrow Y\) are additive functions and there exist a nonempty open interval \(\left]\alpha ,\beta \right[\subseteq \mathbb {G}\) and a constant \(c\in Y\) such that
then \(a_{1}(x)=a_{2}(x)=0\) for all \(x\in \mathbb {G}\).
Now we give a simple application of Theorem 2.1.
Theorem 6.4
Let \(\mathbb {F}(+,\cdot ,\le )\) be an Archimedean ordered field, \(Y=Y(+)\) be a group, \(D\subseteq \mathbb {F}^{2}\), \(E\subseteq \mathbb {F}_{+}^{2}\) be nonempty, well-chained open sets. Define the sets \(I_{i}\subseteq \mathbb {F}\), \(J_{i}\subseteq \mathbb {F}_{+}\) (\(i=1,2,3\)) by
If \(F_{i}:I_{i}\rightarrow Y\), \(G_{i}:J_{i}\rightarrow Y\) \((i=1,2,3)\) are functions such that
and there exist \(i,j\in \{1,2,3\}\) such that \(I:=I_{i}\cap J_{j}\ne \emptyset \) and \(F_{i}(x)=G_{j}(x)\) for all \(x\in I\), then the functions \(F_{i}\) and \(G_{i}\) are constant functions for all \(i=1,2,3\).
Proof
It is sufficient to investigate the case when \(I:=I_{1}\cap J_{1}\ne \emptyset \) and
since the other cases are similar. From the Eq. (12), by the above Extension Theorems, there exist an additive function \(a:\mathbb {F}\rightarrow Y\), a logarithmic function \(l:\mathbb {F}_{+}\rightarrow Y\) and constants c, \(d\in Y\) such that
whence we have that
By (13) and by Corollary 2.1, we obtain that there exists a constant \(C\in Y\) such that
Since \(I+I\) is a nonempty, well-chained open set, by the above Uniqueness Theorem for additive functions we obtain that \(F_{1}(x)=c\) for all \(x\in I_{1}\) and \(G_{1}(x)=d\) for all \(x\in J_{1}\) which completes the proof. \(\square \)
Adding the two equations of (12) we obtain the Maksa equation [15]. The local version of the Maksa equation is included in the following Problem.
Problem 6.1
Let \(\mathbb {F}(+,\cdot ,\le )\) be an Archimedean ordered field, \(Y(+)\) be a group, \(D\subseteq \mathbb {F}_{+}^{2}\) be a well-chained, nonempty, open set. Let \(f:D_{x+y}\rightarrow Y\), \(g:D_{xy}\rightarrow Y\), \(h:D_{x}\rightarrow Y\), \(k:D_{y}\rightarrow Y\) such that
Find the general solution of Eq. (15).
References
Aczél, J., Dhombres, J.: Functional Equations in Several Variables. Cambridge University Press, Cambridge (1989)
Chudziak, M., Sobek, B.: Pexider type equation on a region. J. Appl. Anal. 23(2), 101–110 (2017)
Chudziak, M., Sobek, B.: Generalized Pexider equation on an open domain. Results Math. 71(3–4), 1359–1372 (2017)
B4456 (suggested by Z. Daróczy) KöMaL. (2012)/5
Davison, T. M. K.: 191. Problem. Aequationes Math. 20, 306 (1980)
Girgensohn, R., Lajkó, K.: A functional equation of Davison and its generalization. Aequationes Math. 60, 219–224 (2000)
Glavosits, T., Lajkó, K.: On the functional equation \(G_{1}(x(y+1))+F_{1}(x)=G_{2}(y(x+1))+F_{2}(y)\). In preparation
Glavosits, T.: Short Remark to the Rimán’s Theorem. In preparation
Glavosits, T.: Pexiderization of some logarithmic functional equations. Publ. Math. Debrecen 89(3), 355–364 (2016)
Glavosits, T., Karácsony, Zs.: Existence and uniqueness theorems for functional equations. Commun. Math. 32/1, 93–102 (2023)
Glavosits, T., Karácsony, Zs.: Sums and products of intervals in ordered groups and fields. Acta Univ. Sapientiae 13/1, 180–189 (2021)
Glavosits, T., Karácsony, Zs.: Sums and products of intervals in ordered semigroups. An. St. Univ. Ovidius Constanta 29/2, 187–198 (2021)
Glavosits, T., Lajkó, K.: Pexiderization of some logarithmic functional equations. Publ. Math. Debrecen 89(3), 355–3064 (2016)
Kuczma, M.: An introduction to the theory of functional equations and inequalities. In: Cauchy’s Equation and Jensen’s Inequality. Birkhäuser, Basel (2008)
Maksa, G.: On the functional equation \(f(x+y)+g(xy)=h(x)+h(y)\). Publ. Math. Debrecen 241/2, 25–29 (1977)
Sobek, B.: Pexider equation on a restricted domain. Demonstratio Math. 43(1), 81–88 (2010)
Radó, F., Baker, J.A.: Pexider’s equation and aggregation of allocations. Aequationes Math. 32, 227–239 (1987)
Rimán, J.: On an extension of Pexider’s equation. Symp. Quasigroupes Equat. Fonct. Beograd 1974, Rec. Trav. Inst. Math., nouv. Ser. 1(9), 65–72 (1976)
Small, C.G.: Functional Equations and How to Solve Them. Springer, Berlin (2007)
Funding
Open access funding provided by University of Miskolc.
Author information
Authors and Affiliations
Contributions
All authors reviewed the manuscript.
Corresponding author
Ethics declarations
Competing interests
The authors declare no competing interests.
Additional information
To the memory of Prof. Zoltán Daróczy.
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Research was carried out in the framework of the Center of Excellence of Mechatronics and Logistics at the University of Miskolc.
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
Erdei, P., Glavosits, T. & Házy, A. On the functional equation \(\hbox {f}(\hbox {x}+\hbox {y})=\hbox {g}(\hbox {xy})\). Aequat. Math. 98, 773–786 (2024). https://doi.org/10.1007/s00010-023-01004-6
Received:
Revised:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00010-023-01004-6