# An Extension Theorem for Conditionally Additive Functions and Its Application for the Equality Problem of Quasi-Arithmetic Expressions

- 278 Downloads

## Abstract

The focus of this paper is the equality problem of quasi-arithmetic expressions. This class is a far generalization of the well-known class of quasi-arithmetic means. One of the main tools in the proof is an extension theorem of real homomorphisms from a subset with a very weak structure (dyadically closed set).

## Keywords

Quasi-arithmetic expressions extension theorems regularity quasi-arithmetic means## Mathematics Subject Classification

39B22 39B55 39B82 39B12## 1 Introduction

*M*is called a quasi-arithmetic mean (see e.g. [1]) if it can be written in the form

*I*is a non-empty, open interval, \(\varphi :I\rightarrow {\mathbb {R}}\) is a continuous, strictly monotonic function. This class is a close relative of quasi-sums (see e.g. [19]) and it is in the center of research of several authors (see e.g. [8] and the references therein). It contains classical well-known means like the arithmetic mean, geometric mean, harmonic mean and so on. Currently the operator version is also defined and investigated (see e.g. [10]).

If we consider only the expression (1) itself, then invertibility of \(\varphi \) with Jensen convex image seems to be more natural assumption than continuity with strict monotonicity.

The following questions arise: What will be the resulted new class? Is it larger than the class of quasi-arithmetic means? The members of this new class will be means again or not? What are the necessary and sufficient conditions of equality of two members of this class?

The main goal of this paper to answer these questions, especially the last one (equality problem in this class).

The remaining part is organized as follows. In Sect. 2 an extension theorem is proved which is one of the main tools in the proof of the solution of the equality problem. Extension theorems has a quite rich literature because conditional problems concerning functional equations have an important role in this area (see e.g. [3, 7, 12, 24, 25]).

In Sect. 3 properties of quasi-arithmetic expressions are investigated. It is proved that this class is much larger than the class of quasi-arithmetic means. Examples make the connection between these classes more plausible.

In Sect. 4 the solution of the equality problem is solved in the class of quasi-arithmetic expressions. Such type of questions are vividly examined by several authors (see e.g. [4, 5, 6, 13, 14, 15, 16, 17, 18, 20, 21, 22, 23]).

At last, in Sect. 5 two open problems are shown concerning the characterization problem of quasi-arithmetic expressions.

## 2 An Extension Theorem for Conditionally Additive Functions

*D*(see [7]) if

*D*is

### Theorem 1

Assume that a real valued function is defined on a nonempty, dyadically closed subset of the reals, which contains zero. If it is conditionally additive on this set, then it is (not necessarily uniquely) extendible onto the whole real line.

### Lemma 1

If \(D\subset {\mathbb {R}}\) is nonempty, dyadically closed set, and it contains zero, then \({{\mathrm{diad}}}(D\cap [0,r])={{\mathrm{diad}}}D\) for all positive \(r\in D\).

### Proof

\(\square \)

### Proof of Theorem 1

If *D* has a single element, the statement is trivial.

We can assume without losses that *D* has at least two elements, and at least one is positive, say \(0<r\in D\). Because of the previous lemma, it is enough to prove the statement for \(D_r:=D\cap [0,r]\).

*a*is an extension of

*g*. For this we distinguish two cases:

- (i)If \(x\in {{\mathrm{diad}}}D\cap [0,\tfrac{r}{2}[\). Then \(x=0\cdot \frac{r}{2}+x\), so$$\begin{aligned} a(x)=0\cdot g\left( \tfrac{r}{2}\right) +g(x)=g(x). \end{aligned}$$
- (ii)If \(x\in {{\mathrm{diad}}}D\cap [\tfrac{r}{2}[\). Then \(x=1\cdot \frac{r}{2}+x'\), so$$\begin{aligned} a(x)=1\cdot g\left( \tfrac{r}{2}\right) +g(x')= g\left( \tfrac{r}{2}+x'\right) =g(x). \end{aligned}$$

*a*is really an extension of

*g*.

*a*is additive on \({{\mathrm{diad}}}D_r={{\mathrm{diad}}}D\). Let \(x,y\in {{\mathrm{diad}}}D_r\) be arbitrary elements, and

- (i)If \(x'+y'\in D_\frac{r}{2}\), then$$\begin{aligned} a(x+y)=(n_x+m_y)g\left( \frac{r}{2}\right) +g(x'+y')=a(x)+a(y). \end{aligned}$$
- (ii)If \(x'+y'\in [\frac{r}{2},r[\cap D\), then \(z'+\tfrac{r}{2}=x'+y'\)$$\begin{aligned} a(x+y)= & {} (n_x+m_y+1)g\left( \frac{r}{2}\right) +g(z')\\= & {} n_xg\left( \frac{r}{2}\right) +m_yg\left( \frac{r}{2}\right) +g(x')+g(y')=a(x)+a(y). \end{aligned}$$

*a*is additive on the required set.

Thirdly, we extend *a* onto the whole real line. It is clear that \({{\mathrm{diad}}}D\) with the usual addition is a subsemigroup of the additive group of real numbers. We can apply the theorem of Dhombres and Ger (see [9] or [11, Theorem 18.1.1.]). Which exactly says that there is a (not necessarily unique) homomorphism \(A:{\mathbb {R}}\rightarrow {\mathbb {R}}\) such that \(A_{|{{\mathrm{diad}}}D}=a\). \(\square \)

## 3 Properties of Quasi-Arithmetic Expressions

Besides of the required conditions, \(A_\varphi \) is well-defined.

If \(\varphi \) continuous and strictly monotone, then it fulfils the requirements above. The resulted set is the class of quasi-arithmetic means.

If \(\varphi \) is an invertible additive function, then the corresponding quasi-arithmetic expression is the arithmetic mean. If \(\varphi =a\circ \log \), where *a* is an invertible additive function again, we get the geometric mean. These phenomenon are called absorbing irregularity. In other words, a very regular expression can be generated by a very irregular one.

The following two observations shows that irregularity of the generating function is not always absorbed. As a consequence we have that the class of quasi-arithmetic expressions is really larger than the class of quasi-arithmetic means.

### Observation 1

The class of quasi-arithmetic means are strictly contained by the class of quasi arithmetic expressions.

### Proof

*a*is non-continuous it is unbounded (from below and from above) on every non-empty interval (see e.g. [11]). So \(a([-\log 2,\infty [)\) is an unbounded interval. The function

*a*is bijective, so it is surjective too, we have \(a([-\log 2,\infty [)\not ={\mathbb {R}}\). This entails the existence of \(b\in {\mathbb {R}}\) such that

*a*either from below or from above. It follows that

*a*is continuous, which is a contradiction. \(\square \)

The quasi-arithmetic means have the intern property, that is, their values are always between the minimum and the maximum of the variables. Intern property of the construction in the previous proof is an open problem, however, it is possible to construct a quasi-arithmetic expression which is non-continuous and it is not a mean.

### Observation 2

There is a non-continuous quasi-arithmetic expression which is not a mean.

### Proof

^{1}Let \(\varphi :{\mathbb {R}}\rightarrow {\mathbb {R}}\) be the following function

## 4 Equality Problem of Quasi-Arithmetic Expressions

### Theorem 2

*I*if and only if there exists an invertible additive function \(a:{\mathbb {R}}\rightarrow {\mathbb {R}}\) (not necessarily unique), and a real constant

*b*such that

### Proof

*g*, that is to say,

*g*, we have that there is and additive function \(a:{\mathbb {R}}\rightarrow {\mathbb {R}}\) such that \(a_{|D}=g\). Using this and the definitions of the functions

*f*and

*g*, we have

## 5 Open Problems

- (i)
Strict monotonicity: if \(x<x'\) then \(M(x,y)<M(x',y)\) and the same for the second variable;

- (ii)
Continuity;

- (iii)
Bisymmetry: \(M((x,y),M(u,v))=M(M(x,u),M(y,v))\);

- (iv)
Reflexivity: \(M(x,x)=x\);

- (v)
Symmetry: \(M(x,y)=M(y,x)\);

### Theorem 3

*M*has the form

Conditions (iii)–(v) are fulfilled by quasi-arithmetic expressions too. The conditions (i) and (iv) implies intern property, that is, the value of the function is between the minimum and the maximum of the variables.

These ideas are motivate the following open problems:

### Open problem 1

Is it possible to construct a non-continuous quasi-arithmetic expression which is a mean?

### Open problem 2

Is it true that (iii)–(v) (maybe with additional conditions different from (i) and (ii)) characterize quasi-arithmetic expressions and (i) with (iii)–(v) characterize quasi-arithmetic expressions with intern property?

If the answer is affirmative for the first, so is for the second.

## Footnotes

- 1.
Gyula Maksa’s example,

*Oral communication.*

## Notes

### Acknowledgements

Open access funding provided by University of Debrecen (DE). This research is supported by the Hungarian Scientific Research Fund (OTKA) Grant NK 111651.

## References

- 1.Aczél, J.: The notion of mean values. Norske Vid. Selsk. Forh., Trondhjem
**19**(23), 83–86 (1947) MathSciNetzbMATHGoogle Scholar - 2.Aczél, J.: On mean values. Bull. Am. Math. Soc.
**54**, 392–400 (1948)CrossRefGoogle Scholar - 3.Aczél, J., Skof, F.: Local Pexider and Cauchy equations. Aequationes Math.
**73**(3), 311–320 (2007)MathSciNetCrossRefGoogle Scholar - 4.Burai, P., Dascăl, J.: The equality problem in the class of conjugate means. Aequationes Math.
**84**(1–2), 77–90 (2012)MathSciNetCrossRefGoogle Scholar - 5.Daróczy, Z.: On the equality and comparison problem of a class of mean values. Aequationes Math.
**81**(3), 201–208 (2011)MathSciNetCrossRefGoogle Scholar - 6.Daróczy, Z., Dascăl, J.: On the equality problem of conjugate means. Results Math.
**58**(1–2), 69–79 (2010)MathSciNetCrossRefGoogle Scholar - 7.Daróczy, Z., Losonczi, L.: Über die Erweiterung der auf einer Punktmenge additiven Funktionen. Publ. Math. Debrecen
**14**, 239–245 (1967)MathSciNetzbMATHGoogle Scholar - 8.Daróczy, Z., Páles, Z.: Gauss-composition of means and the solution of the Matkowski-Sutô problem. Publ. Math. Debrecen
**61**(1–2), 157–218 (2002)MathSciNetzbMATHGoogle Scholar - 9.Dhombres, J.G., Ger, R.: Conditional Cauchy equations. Glas. Mat. Ser. III
**13(33)**(1), 39–62 (1978)MathSciNetzbMATHGoogle Scholar - 10.Gaál, M., Nagy, G.: Preserver problems related to quasi-arithmetic means of invertible positive operators.
*Integral Equ. Operator Theory*, 90(1):Art. 7, 12, (2018)Google Scholar - 11.Kuczma, M.: An introduction to the theory of functional equations and inequalities. Birkhäuser, Basel, 2nd edn. Cauchy’s equation and Jensen’s inequality, Edited and with a preface by Attila Gilányi (2009)Google Scholar
- 12.Lajkó, K., Mészáros, F.: Special cases of the generalized Hosszú equation on interval. Aequ. Math.
**89**(1), 71–81 (2015)CrossRefGoogle Scholar - 13.Losonczi, L.: Equality of two variable weighted means: reduction to differential equations. Aequ. Math.
**58**(3), 223–241 (1999)MathSciNetCrossRefGoogle Scholar - 14.Losonczi, L.: Equality of Cauchy mean values. Publ. Math. Debrecen
**57**(1–2), 217–230 (2000)MathSciNetzbMATHGoogle Scholar - 15.Losonczi, L.: Equality of two variable Cauchy mean values. Aequ. Math.
**65**(1–2), 61–81 (2003)MathSciNetCrossRefGoogle Scholar - 16.Losonczi, L.: Equality of two variable means revisited. Aequ. Math.
**71**(3), 228–245 (2006)MathSciNetCrossRefGoogle Scholar - 17.Losonczi, L., Páles, Z.: Equality of two-variable functional means generated by different measures. Aequ. Math.
**81**(1–2), 31–53 (2011)MathSciNetCrossRefGoogle Scholar - 18.Makó, Z., Páles, Z.: On the equality of generalized quasi-arithmetic means. Publ. Math. Debrecen
**72**(3–4), 407–440 (2008)MathSciNetzbMATHGoogle Scholar - 19.Maksa, G.: Solution of generalized bisymmetry type equations without surjectivity assumptions. Aequ. Math.
**57**(1), 50–74 (1999)MathSciNetCrossRefGoogle Scholar - 20.Matkowski, J.: Generalized weighted and quasi-arithmetic means. Aequ. Math.
**79**(3), 203–212 (2010)MathSciNetCrossRefGoogle Scholar - 21.Matkowski, J.: A functional equation related to an equality of means problem. Colloq. Math.
**122**(2), 289–298 (2011)MathSciNetCrossRefGoogle Scholar - 22.Matkowski, J.: On homogeneous Lagrange means. Period. Math. Hungar.
**68**(2), 119–127 (2014)MathSciNetCrossRefGoogle Scholar - 23.Páles, Z.: On the equality of quasi-arithmetic and Lagrangian means. J. Math. Anal. Appl.
**382**(1), 86–96 (2011)MathSciNetCrossRefGoogle Scholar - 24.Páles, Z.: Extension theorems for functional equations with bisymmetric operations. Aequ. Math.
**63**(3), 266–291 (2002)MathSciNetCrossRefGoogle Scholar - 25.Skof, F.: The general solution of the exponential Cauchy equation on a bounded restricted domain. Aequ. Math.
**73**(1–2), 144–155 (2007)MathSciNetCrossRefGoogle Scholar

## Copyright information

**Open Access**This article is distributed under the terms of the Creative Commons Attribution 4.0 International License (http://creativecommons.org/licenses/by/4.0/), which permits unrestricted use, distribution, and reproduction in any medium, provided you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made.