Gauss-composition of means and the solution of the Matkowski-Sutô problem

Zoltán Daróczy, Zsolt Páles

Research output: Contribution to journalArticle

64 Citations (Scopus)

Abstract

In this paper the so-called Matkowski-Sutô problem is completely solved, that is, continuous and strictly monotonic functions φ and ψ defined on an open real interval I are determined such that the functional equation (1) φ-1 (φ(x) + φ(y)/2) + ψ-1 (ψ(x) + ψ(y)/2) = x + y holds for all x, y ∈ I. The above equation belongs to the class of so-called composite functional equations that does not possess a regularity theory such as known for non-composite equations. The main results of the paper offer new methods to obtain higher-order regularity properties of the unknown functions φ and ψ. First, based on Lebesgue's theorem on the almost everywhere differentiability of monotonic functions, the local Lipschitz property of φ and ψ and their inverses is shown. Then the differentiability of these functions is proved in a subinterval of I. Finally, using Baire's theorem on the continuity properties of derivative functions, the continuous differentiability of φ and ψ in a subinterval is deduced. After these regularity properties, the equation is solved in the subinterval so obtained with earlier methods of the authors. The proof is then completed by using the extension theorem due to the authors and Gy. Maksa. The main result obtained is a generalization of that of Sutô (1914) and Matkowski (1999). As application, the connection to Gauss composition of means, the equality problem of quasi-arithmetic means and conjugate arithmetic means is discussed and solved.

Original languageEnglish
Pages (from-to)157-218
Number of pages62
JournalPublicationes Mathematicae
Volume61
Issue number1-2
Publication statusPublished - Jan 1 2002

Keywords

  • Composition of means
  • Gauss-iteration
  • Invariance equation
  • Quasi-arithmetic mean

ASJC Scopus subject areas

  • Mathematics(all)

Fingerprint Dive into the research topics of 'Gauss-composition of means and the solution of the Matkowski-Sutô problem'. Together they form a unique fingerprint.

  • Cite this