Invariant graphs of functions for the mean-type mappings

Let I be a real interval, J a subinterval of I, p ≥ 2 an integer number, and M1, ... , Mp : Ip → I the continuous means. We consider the problem of invariance of the graphs of functions ϕ : Jp−1 → I with respect to the mean-type mapping M = (M1, ... , Mp). Applying a result on the existence a...

Full description

Bibliographic Details
Main Author: Matkowski Janusz
Format: Article
Language:English
Published: EDP Sciences 2012-08-01
Series:ESAIM: Proceedings and Surveys
Subjects:
Online Access:http://dx.doi.org/10.1051/proc/201236017
Description
Summary:Let I be a real interval, J a subinterval of I, p ≥ 2 an integer number, and M1, ... , Mp : Ip → I the continuous means. We consider the problem of invariance of the graphs of functions ϕ : Jp−1 → I with respect to the mean-type mapping M = (M1, ... , Mp). Applying a result on the existence and uniqueness of an M -invariant mean [7], we prove that if the graph of a continuous function ϕ : Jp−1 → I is M-invariant, then ϕ satisfies a simple functional equation. As a conclusion we obtain a theorem which, in particular, allows to determine all the continuous and decreasing in each variable functions ϕ of the M-invariant graphs. This improves some recent results on invariant curves [8] where the case p = 2 is considered. <br> Soit I un intervalle réel, J un sous-intervalle de I, p ≥ 2 un entier, et M1, ... , Mp : Ip → I les moyennes continues. Nous considérons le problème de l’invariance des graphes des fonctions ϕ : Jp−1 → I par rapport aux applications de type moyenne M = (M1, ... , Mp). En appliquant un résultat d’existence et unicité d’une moyenne M-invariante [7], nous montrons que si le graphe d’une fonction continue ϕ : Jp−1 → I est M-invariant, alors ϕ vérifie une équation fonctionnelle simple. En conclusion, nous obtenons un théorème qui, en particulier, permet de déterminer toutes les fonctions ϕ des graphes M-invariant continues et décroissantes en chaque variable. Ceci améliore les résultats récents sur les courbes invariantes [8] où le cas p = 2 était considéré.
ISSN:1270-900X