English

There is at most one continuous invariant mean

Classical Analysis and ODEs 2024-03-29 v1

Abstract

We show that, for a (not necessarily continuous) weakly contractive mean-type mapping M ⁣:IpIp\mathbf{M} \colon I^p\to I^p (where II is an interval and pNp \in \mathbb{N}), the functional equation KM=KK \circ \mathbf{M}=K has at most one solution in the family of continuous means K ⁣:IpIK \colon I^p \to I. Some general approach to the latter equation is also given.

Cite

@article{arxiv.2106.13070,
  title  = {There is at most one continuous invariant mean},
  author = {Paweł Pasteczka},
  journal= {arXiv preprint arXiv:2106.13070},
  year   = {2024}
}
R2 v1 2026-06-24T03:33:45.038Z