CHARACTERIZATIONS OF THE EQUALITY OF TWO-VARIABLE GENERALIZED QUASIARITHMETIC MEANS ZSOLT PALES´ AND AMR ZAKARIA ABSTRACT. This paper is motivated by an astonishing result of H. Alzer and S. Ruscheweyh published in 2001 in the Proc. Amer. Math. Soc., which states that the intersection of the classes two-variable Gini means and Stolarsky means is equal to the class of two-variable power means. The two-variable Gini and Stolarsky means form two-parameter classes of means expressed in terms of power functions. They can naturally be generalized in terms of the so-called Bajraktarevi´cand Cauchy means. Our aim is to show that the intersection of these two classes of functional means, under high-order differentiability assumptions, is equal to the class of two-variable quasiarithmetic means. 1. Introduction A notion, which subsumes the concept of arithmetic, geometric and harmonic means is the concept of power th th R2 R means. For a real number a, the two-variable a -Holder¨ or a -power mean Ha : + is classically defined as → 1 xa + ya a if a = 0, Ha(x,y) := 2 6 √xy if a = 0. Observe that, for a = 1, a = 0, and a = 1, the power mean Ha equals the arithmetic, geometric and harmonic means, respectively. The theory of power− means is well-developed, most of the details of their theory can be found in the monographs [4], [5], [7], [20], and [21]. The class of two-variable power means has been extended in numerous ways in the literature. One early 2 extension was introduced by C. Gini [6] in 1938 who, for two real parameters a, b, defined the mean Ga,b : R + → R+ by 1 xa + ya a−b arXiv:2012.03588v1 [math.CA] 7 Dec 2020 if a = b, xb + yb 6 Ga,b(x,y) := (1.1) xa log(x)+ ya log(y) exp if a = b. xa + ya These means are nowadays called two-variable Gini means. One can easily see that the two-variable H¨older means form a subclass of two-variable Gini means. Indeed, for a R, we have Ha = Ga, = G ,a and ∈ 0 0 H0 = Ga,−a. Date: December 8, 2020. 2010 Mathematics Subject Classification. 26B99, 39B22, 39B52. Key words and phrases. Power mean; Bajraktarevi´cmean; Cauchy mean; Gini mean; Stolarsky mean; generalized quasiarithmetic mean; equality problem; functional equation. The research of the first author was supported by the K-134191 NKFIH Grant and the 2019-2.1.11-TET-2019-00049,´ the EFOP- 3.6.1-16-2016-00022 and the EFOP-3.6.2-16-2017-00015 projects. The last two projects are co-financed by the European Union and the European Social Fund. The research of the second author was supported by the Bilateral State Scholarship of the Tempus Public Foundation of Hungary BE AK 2020-2021/157507. 1 2 ZS. PALES´ AND A. ZAKARIA Another extension of the class of two-variable power means was discovered by K. Stolarsky [27] in 1975, who, 2 for two real parameters a, b, defined Sa,b : R R by + → + 1 b(xa ya) a−b − if ab(a b)(x y) = 0, a(xb yb) − − 6 − a a 1 x log(x) y log(y) exp + − if a = b, ab(x y) = 0, − a xa ya − 6 − 1 xa ya a − if b = 0, a(x y) = 0, Sa,b(x,y) := a(log(x) log(y)) − 6 (1.2) − 1 xb yb b − if a = 0, b(x y) = 0, b(log(x) log(y)) − 6 − √xy if a = b = 0, x if x = y. We call these means Stolarsky means today. We note, that these means are sometimes called extended means (cf. [8, 9]) or difference means [22, 23]. One can also see that the two-variable H¨older means form a subclass of Stolarsky means. Indeed, for a R, it is easy to see that Ha = S2a,a = Sa,2a, and H0 = Sa,−a hold. Therefore, the class of two-variable∈ H¨older means is contained in the intersection of the classes of two-variable Gini and Stolarsky means. In 2001, H. Alzer and St. Ruscheweyh [1] established a surprising result which asserts that, instead of inclusion, the equality holds here, i.e., the class of two-variable H¨older means is equal to the intersection of the classes of two-variable Gini and Stolarsky means. In what follows, we will recall further important classes of two-variable functional means that extend H¨older, Gini and Stolarsky means in a natural way. These classes are the quasiarithmetic, Bajraktarevi´c, and Cauchy means. Motivated by the above-described result of Alzer and Ruscheweyh [1], our aim is to show that, under 8 times differentiability assumptions, the intersection of the classes of two-variable Bajraktarevi´cand Cauchy means equals the class of two-variable quasiarithmetic means. Throughout this paper I will stand for a nonempty open real interval. In the sequel, the classes of continuous strictly monotone and continuous positive real-valued functions defined on I will be denoted by CM(I) and CP(I), respectively. 2 Given a function ϕ CM(I), the two-variable quasiarithmetic mean generated by ϕ is the map Aϕ : I I defined by ∈ → ϕ(x)+ ϕ(y) A (x,y) := ϕ−1 . ϕ 2 The systematic treatment of these means was first given in the monograph [7] by Hardy, Littlewood and P´olya. The most basic problem, the characterization of the equality of these means, states that Aϕ and Aψ are equal to each other if and only if there exist two real constants a = 0 and b such that ψ = aϕ + b. Observe that, by taking power functions and the logarithmic function as generators6 , every power mean turns out to be a quasiarithmetic mean. In 1958, M. Bajraktarevi´c[2], [3] introduced a generalization of quasiarithmetic means essentially in the 2 following way: For f, g : I R such that f/g CM(I) and g CP(I), define Bf,g : I I by → ∈ ∈ → f −1 f(x)+ f(y) B (x,y) := . f,g g g(x)+ g(y) The mean so defined will be called a two-variable Bajraktarevic´ mean. It is clear that, by taking g = 1, the mean Bf,g equals Af , therefore, the class of quasiarithmetic means forms a subclass of Bajraktarevi´cmeans. Assuming 6 times continuous differentiability, the equality problem of these means was solved by Losonczi [11, 15]. A recent characterization of this equality in terms of eight equivalent conditions has been established in [18, Theorem 15]. CHARACTERIZATIONS OF THE EQUALITY OF TWO-VARIABLE GENERALIZED QUASIARITHMETIC MEANS 3 Another important generalization of quasiarithmetic means was introduced as follows: If f, g : I R are ′ ′ ′ 2 → continuously differentiable functions with g CP(I) and f /g CM(I), then define Cf,g : I I by ∈ ∈ → f ′ −1 f(x) f(y) ′ − if x = y, Cf,g(x,y) := g g(x) g(y) 6 − x if x = y. The mean value property of this mean is a direct consequence of the Cauchy Mean Value Theorem, this is why this mean is called a Cauchy mean or difference mean in the literature (cf. [10], [12]). It is obvious that if ϕ is differentiable with a nonvanishing derivative, then the mean Cϕ2,ϕ equals Aϕ. Consequently, the class of quasiarithmetic means (with a differentiable generator) forms also a subclass of Cauchy means. Assuming 7 times continuous differentiability, the equality problem of these means was solved by Losonczi [12]. A characterization of this equality in terms of eight equivalent conditions has also been established in paper [18, Theorem 16]. In this paper, we recall the following generalization of quasiarithmetic means, which was introduced in [16] and also investigated in [17]. Given two continuous functions f, g : I R with g CP(I), f/g CM(I) and → ∈ 2 ∈ a probability measure µ on the Borel subsets of [0, 1], the two-variable mean Mf,g µ : I I is defined by ; → −1 f [0,1] f tx + (1 t)y dµ(t) Mf,g;µ(x,y) := − . g g tx + (1 t)y dµ(t) R[0,1] − ! R Means of the above form, will be called generalized quasiarithmetic means. In what follows, let δτ denote the Dirac measure concentrated at the point τ [0, 1]. Using this notation, one δ0+δ1 M B CP ∈ CM can see that if µ = 2 , then f,g;µ is equal to f,g provided that g (I) and f/g (I). On the other hand, if µ is equal to the Lebesgue measure λ restricted∈ to [0, 1], and g′ CP∈ (I), f ′/g′ CM(I), ∈ ∈ then, using the Fundamental Theorem of Calculus, the mean Mf ′,g′;µ simplifies to Cf,g. Therefore, the classes of Bajraktarevi´cand Cauchy means form subclasses of generalized quasiarithmetic means. The equality problem of means in various classes of two-variable means has been investigated and solved by now. We refer here to Losonczi’s works [11], [12], [13], [14], [15], where the equality of two-variable means is characterized in various settings. A key idea in these papers, under high order differentiability assumptions, is to calculate and then to compare the partial derivatives of the means at diagonal points of the Cartesian product I I. A similar problem, the mixed equality problem of quasiarithmetic and Lagrangian means was solved by P´ales× [24]. The equality problem of generalized quasiarithmetic means with the same probability measure µ, i.e., the characterization of those pairs of functions (f, g) and (h, k) such that Mf,g µ(x,y)= Mh,k µ(x,y) (x,y I) ; ; ∈ δ0+δ1 holds, was investigated and partially solved in the paper [18].