Search

The equality problem of two-variable Bajraktarević means can be expressed as the functional equation f g - 1 ( f (x) + f (y) g (x) + g (y) ) = h k - 1 ( h (x) + h (y) k (x) + k (y) ) (x , y ∈ I) , where I is a nonempty open real interval, f , g , h , k : I → R are continuous functions, g, k are positive and f/g, h/k are strictly monotone. This functional equation, for the first time, was solved by Losonczi in 1999 under 6th-order continuous differentiability assumptions. Additional and new characterizations of this equality problem have been found recently by Losonczi, Páles and Zakaria under the same regularity assumptions in 2021. In this paper it is shown that the same conclusion can be obtained under substantially weaker regularity conditions, namely, assuming only first-order differentiability. [ABSTRACT FROM AUTHOR]

The classical result of L. Székelyhidi states that (under some assumptions) every solution of a general linear equation must be a polynomial function. It is known that Székelyhidi's result may be generalized to equations where some occurrences of the unknown functions are multiplied by a linear combination of the variables. In this paper we study the equations where two such combinations appear. The simplest nontrivial example of such a case is given by the equation F (x + y) - F (x) - F (y) = y f (x) + x f (y) considered by Fechner and Gselmann (Publ Math Debrecen 80(1–2):143–154, 2012). In the present paper we prove several results concerning the systematic approach to the generalizations of this equation. [ABSTRACT FROM AUTHOR]

Given two functions f , g : I → R and a probability measure μ on the Borel subsets of [0, 1], the two-variable mean M f , g ; μ : I 2 → I is defined by M f , g ; μ (x , y) : = (f g ) - 1 ∫ 0 1 f (t x + (1 - t) y) d μ (t) ∫ 0 1 g (t x + (1 - t) y) d μ (t) (x , y ∈ I). This class of means includes quasiarithmetic as well as Cauchy and Bajraktarević means. The aim of this paper is, for a fixed probability measure μ , to study their equality problem, i.e., to characterize those pairs of functions (f, g) and (F, G) for which M f , g ; μ (x , y) = M F , G ; μ (x , y) (x , y ∈ I) holds. Under at most sixth-order differentiability assumptions for the unknown functions f, g and F, G, we obtain several necessary conditions in terms of ordinary differential equations for the solutions of the above equation. For two particular measures, a complete description is obtained. These latter results offer eight equivalent conditions for the equality of Bajraktarević means and of Cauchy means. [ABSTRACT FROM AUTHOR]