Search

We investigate the functional equation f (p (x)) = q (f (x)) where p and q are given real functions. In the paper "On solvability of f (p (x)) = q (f (x)) for given real functionsp, q, Aequat. Math. 90 (2016), 471 - 494", we solved the problem of the solvability of f (p (x)) = q (f (x)) under the assumption that p, q are strictly increasing continuous real functions. Now, we extend the solutions of this problem for any strictly monotonous continuous real functions p, q. Thereby, we use the methods of the just mentioned paper. Further, we present computations of the so called characteristics of the given functions p, q using the results of this paper and, finally, present a quite short algorithm with input p, q and output 'solvable/not solvable'. [ABSTRACT FROM AUTHOR]

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]

It is known that if a bivariate mean K is symmetric, continuous and strictly increasing in each variable, then for every mean M there is a unique mean N such that K is invariant with respect to the mean-type mapping M , N , which means that K ∘ M , N = K and N is called a K-complementary mean for M (Matkowski in Aequ Math 57(1):87–107, 1999). This paper extends this result for a large class of nonsymmetric means. As an application, the limits of the sequences of iterates of the related mean-type mappings are determined, which allows us to find all continuous solutions of some functional equations. [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]