A dynamical characterization of quasilinear means
type: Item
instance of: scholarly article
title: A dynamical characterization of quasilinear means
zbMATH Open document ID: 1257.26027
author: Lucio R. Berrone
published in: Aequationes Mathematicae
publication date: 2012-11-21T00:00:00Z
review text: Let \(D\left( \left[ 0,1\right] \right) =\left\{ m/2^{n}:m=0,1,\dots,2^{n};n\in \mathbb{N}_{0}\right\} \) denote the set of dyadic numbers of the interval \( \left[ 0,1\right] .\) Let \(I\) be a real interval and \(F\) be a function defined on \(I\times I\) such that \(F\left( I\times I\right) \sqsubseteq I.\) Fix a pair \(x,y\in I.\) A family \(\left\{ F^{d}(x,y):d\in D\left( \left[ 0,1 \right] \right) \right\} \) of dyadic iterates of \(F\) on \(\left[ x,y\right] \) is defined as follows. Firstly, set \(F^{0}(x,y)\equiv x,\) \(F^{1}(x,y)\equiv y.\) Now, assume that \(F^{\frac{j}{2^{n}}}(x,y)\) is known for \(n\geq 0\) and for every \(0\leq j\leq 2^{n}.\) If \(k=2h\) with \(0\leq h\leq 2^{n},\) we have \( F^{\frac{k}{2^{n+1}}}(x,y)=F^{\frac{h}{2^{n}}}(x,y).\) If \(k=2h+1\) with \( 0\leq h\leq 2^{n}-1,\) define \(F^{\frac{k}{2^{n+1}}}(x,y)=F\left( F^{\frac{h}{ 2^{n}}}(x,y),F^{\frac{h+1}{2^{n}}}(x,y)\right).\) The author proves that if \(F\) is a continuous mean \(M,\) the dyadic iterations \(M^{d}\) are extended to a family of continuos means \(\left\{ M^{\delta },\delta \in \left[ 0,1\right] \right\},\) where \(M^{\delta }(x,y)=\lim_{d_{n}\nearrow \delta }M^{d_{n}}(x,y)\) for an increasing sequence \(\left\{ d_{n}\right\} \sqsubseteq D\left( \left[ 0,1\right] \right).\) Moreover, denoting by \(P\) the point \(\left( x,y\right) \in I^{2},\) it is shown that for each pair \( u,v\in \left[ 0,1\right] ,\) there exists a unique \(\mu _{P}(u,v)\in \left[ 0,1\right] \) such that \(M\left( M^{u}(x,y),M^{v}(x,y)\right) =M^{\mu _{P}(u,v)}(x,y).\) It is also proved that \(\left\{ \mu _{P}:P\in I^{2}\right\} \) is a family of means, called base family of the mean \(M.\) If the mean \(\mu _{P}\) does not depend on the point \(P,\) thus \(\mu _{P}=\mu \) for each point \(P\in I^{2},\) it is said that a base mean is admitted by \(M\) and that \(\mu \) is a base mean of \(M.\) The main result of the paper is that for a differentiable strict mean \(M,\) a base mean is admitted by \…
reviewed by: Gheorghe Toader
Mathematics Subject Classification ID: 26E60
Mathematics Subject Classification ID: 26A18
Mathematics Subject Classification ID: 39B72
Mathematics Subject Classification ID: 26D20
zbMATH DE Number: 6109262
zbMATH Keywords: dyadic number
zbMATH Keywords: dyadic iteration
zbMATH Keywords: base mean
zbMATH Keywords: quasilinear mean
MaRDI profile type: Publication
full work available at URL: s00010-012-0122-5
OpenAlex ID: W1984914677
cites work: On mean values
cites work: Q5514010
cites work: Q3992445
cites work: A note on equivalence of means
cites work: On meaningfulness of means
cites work: Fubini foiled: Katok's paradoxical example in measure theory
DOI: 10.1007/S00010-012-0122-5
description: scientific article; zbMATH DE number 6109262