arxiv: v2 [math.ca] 21 Jan 2015

Transcription

1 Submitted to: Acta Sci. Math. Szeged CHARACTERIZATION OF GENERALIZED QUASI-ARITHMETIC MEANS JANUSZ MATKOWSKI AND ZSOLT PÁLES arxiv: v2 [math.ca] 21 Ja 2015 Dedicated to the 80th birthday of Professor László Leidler Abstract. I this paper we characterize geeralized quasi-arithmetic meas, that is meas of the form Mx 1,...,x := f f 1 f 1 x f x, where : I R are strictly icreasig ad cotiuous fuctios. Our characterizatio ivolves the Gauss compositio of the cyclic mea-type mappig iduced by M ad a geeralized bisymmetry equatio. 1. Itroductio The otio of quasi-arithmetic mea was itroduced i the book of Hardy, Littlewood ad Pólya i [12] as a fuctio A f : =1 I I defied by A f x 1,...,x := f 1 fx1 + +fx N, x 1,...,x I, 1 where I R deotes a o-degeerated iterval also i the rest of this paper ad f : I R is a cotiuous strictly mootoe fuctio. The mea A f is said to be the quasi-arithmetic mea geerated by f. The restrictio of A f to I will be called the -variable quasi-arithmetic mea geerated by f. Oe ca easily see that M = A f is a mea i the sese that, for all N ad for all x 1,...,x I, mix 1,...,x Mx 1,...,x maxx 1,...,x holds. Furthermore, M = A f is a strict mea because both iequalities are strict wheever mix 1,...,x < maxx 1,...,x. For the equality problem of quasi-arithmetic meas the followig result ca be established. Theorem A. Let f,g : I R be cotiuous ad strictly mootoe fuctios. The the followig properties are equivalet: i For all N ad for all x 1,...,x I, A f x 1,...,x = A g x 1,...,x ; ii There exists N\{1} such that for all x 1,...,x I, A f x 1,...,x = A g x 1,...,x ; iii The fuctio f ad g are affie trasformatio of each other, that is, there exist real umbers a,b such that g = af +b. Date: Jauary 22, Mathematics Subject Classificatio. Primary 39B40. Key words ad phrases. geeralized quasi-arithmetic mea, bisymmetry, characterizatio. This research of the secod author was realized i the frames of TÁMOP A/ Natioal Excellece Program Elaboratig ad operatig a ilad studet ad researcher persoal support system. The project was subsidized by the Europea Uio ad co-fiaced by the Europea Social Fud. This research of the secod author was also supported by the Hugaria Scietific Research Fud OTKA Grat K

2 2 J. MATKOWSKI AND ZS. PÁLES The characterizatio of quasi-arithmetic meas was idepedetly foud by Kolmogorov [13], Nagumo [22] ad de Fietti [11]. The result established by Kolmogorov reads as follows. Theorem B. A fuctio M : =1 I I is a quasi-arithmetic mea, that is, there exists a cotiuous strictly mootoe fuctio : I R such that M = A f if ad oly if i for all N, the restrictio M := M I is a cotiuous ad symmetric fuctio o I which is strictly icreasig i each of its variables; ii for all N, M is reflexive, that is, M x,...,x = x for all x I; iii M associative, that is, for all,m N ad x 1,...,x,y 1,...,y m I, we have M +m x 1,...,x,y 1,...,y m = M +m x 1,...,x,y,...,y, 2 where y = M m y 1,...,y m. The above characterizatio theorem does ot characterize quasi-arithmetic meas of fixed umber of variables because 2 ivolves m- ad + m-variable meas. The characterizatio of 2-variable quasi-arithmetic meas was established by Aczél [2] ad this was exteded to the -variable case by Müich, Maksa ad Mokke [20, 21]. Their results ca be formulated i the followig way. Theorem C. Let 2 ad let M : I I. The M is a -variable quasi-arithmetic mea, that is, M = A f I for some cotiuous strictly mootoe fuctio f : I R if ad oly if i M is a cotiuous ad symmetric fuctio o I which is strictly icreasig i each of its variables; ii M is reflexive; iii M bisymmetric, that is, for all x i,j I i,j {1,...,}, we have MMx 1,1,...,x 1,,...,Mx,1,...,x, = MMx 1,1,...,x,1,...,Mx 1,,...,x,. It turs out that also weighted ad therefore, i geeral, o-symmetric quasi-arithmetic meas ca be characterized by the bisymmetry equatio 3. Quasi-arithmetic meas ca be geeralized i several ways. I 1963 Bajraktarević [7] itroduced the otio of quasi-arithmetic meas weighted by a weight fuctio. Their equality problem was solved by Aczél ad Daróczy i [3]. The characterizatio theorem of Bajraktarević meas was foud by Páles i [24]. Aoter symmetric geeralizatio, the otio of deviatio mea, was iveted by Daróczy i [8, 9]. The characterizatio of the Daróczy meas was the established by Páles i [23]. Both of these characterizatio theorems use system of fuctioal iequalities istead of fuctioal equatios like associativity or bisymmetry. I this paper we cosider a recet geeralizatio of quasi-arithmetic meas which was itroduced by Matkowski [19] i Give a system : I R of cotiuous strictly icreasig fuctios, the geeralized -variable quasi-arithmetic mea A f1,...,f : I I is defied by A f1,...,f x 1,...,x := f 1 + +f 1 f 1 x 1 + +f x x 1,...,x I. The fuctios are called the geerators of the mea A f1,...,f. I the particular case f 1 = = f = f, oe ca see that A f1,...,f reduces to the quasi-arithmetic mea A f. More geerally, if f i = λ i f, where λ 1,...,λ > 0 ad f : I R is a cotiuous strictly icreasig fuctio, the A f1,...,f will be equal to a so-called weighted quasi-arithmetic mea. Oe ca easily check that geeralized -variable quasi-arithmetic meas are strict meas. The equality problem of geeralized -variable quasi-arithmetic mea was aswered by Matkowski i [19] as follows. 3

3 CHARACTERIZATION OF GENERALIZED QUASI-ARITHMETIC MEANS 3 Theorem D. Let,g 1,...,g : I R be cotiuous strictly icreasig fuctios. The the followig two assertios are equivalet: i For all x 1,...,x I, A f1,...,f x 1,...,x = A g1,...,g x 1,...,x ; ii There exist real umbers a,b 1,...,b such that, for all i {1,...,}, g i = af i +b i. The mai problem addressed i this paper is the characterizatio of geeralized -variable quasi-arithmetic meas. For this purpose, we recall the otio of Gauss compositio i the ext sectio with its basic properties ad, i the last sectio, we itroduce the family of cyclic meatype mappig attached to a give geeralized -variable quasi-arithmetic mea ad we compute its Gauss compositio explicitly. Usig this, we shall deduce a bisymmetry type idetity for geeralized -variable quasi-arithmetic meas which will tur out to be the key characteristic property beyod regularity ad reflexivity properties. The key poit i our proof is the use of the descriptio of the CM-solutios of the geeralized bisymmetry equatio due to Maksa [14]. 2. Auxiliary otios ad results 2.1. Gauss iteratio ad Gauss compositio of meas. Give a systemm = M 1,...,M : I I of -variable meas which is also called a -variable mea-type mappig cf. [18] ad a elemet x I, the sequece x k := M k x is called the Gauss iteratio of x I by the mea-type mappig M. Theorem E. Assume that M = M 1,...,M : I I is a cotiuous strict -variable meatype mappig, that is, M 1,...,M are cotiuous ad strict meas. The there exists a uique cotiuous strict mea K : I I such that the sequece of iterates M k coverges poitwise to the mea-type mappig K,...,K. Furthermore, K is the uique mea satisfyig the idetity which is called the ivariace equatio for K. K M = K, 4 For the proof of this result, the reader should check the papers [10], [18]. The mea K costructed i the above theorem will be called the Gauss compositio of the meas M 1,...,M ad will be deoted by ΓM 1,...,M Cyclic mea-type mappigs. Give 2, defie the cyclic permutatioσ : {1,...,} {1,...,} by { if k = 1, σk := k 1 if k {2,...,}. Clearly, σ = σ 0 which is the idetity mappig. I the proof of the mai result we shall eed the followig Lemma 1. For all i {1,...,}, we have σ i i =. Proof. The statemet is obvious for i = 1 by the defiitio of σ. Assume that it holds for i = k, where k {1,..., 1}. The usig this iductive assumptio, we get Thus, the statemet is also true for i = k +1. σ k+1 k +1 = σ k σk +1 = σ k k =.

4 4 J. MATKOWSKI AND ZS. PÁLES For a -variable mea M : I I ad a idex i Z, the ith cyclically permuted mea M i : I I is defied by M i x 1,...,x = Mx σ i 1,...,x σ i x 1,...,x I, The mappig M 0,...,M 1 : I I is said to be the cyclic mea-type mappig iduced by M. Propositio 2. If M : I I is a cotiuous strict -variable mea, the the Gauss compositio ΓM 0,...,M 1 is a cyclically symmetric mea, i.e., for all i Z, ΓM 0,...,M 1 = ΓM 0,...,M 1 i. Proof. Put K = ΓM 0,...,M 1. By Theorem E, K is the uique variable mea which solves the fuctioal equatio Therefore, for i Z, K M 0,...,M 1 = K. 5 K i M 0,...,M 1 = K M i,...,m i+ 1 = K M 0,...,M 1 i = K i. Thus, K i is also a solutio of the ivariace equatio 5. Hece, by the uique solvability, it follows that K = K i CM-quasi-sums, CM-fuctios ad geeralized bisymmetry. A -variable fuctio F : I I is called a CM-quasi-sum cf. Maksa [14] if there exist CM i.e., cotiuous ad strictly icreasig fuctios : I R ad f : f 1 I+ +f I I such that Fx 1,...,x = ff 1 x 1 + +f x x 1,...,x I. The fuctios f, are called the geerators of the quasi-sums. A fuctio F : I I is said to be a CM-fuctio if it is cotiuous ad strictly icreasig i each of its variables. The followig result, which is a particular case of the geeral theorem of Maksa [14], will play a crucial role i our approach. Theorem F. Let,m > 1. Let F,F 1,...,F : I m I ad G,G 1,...,G m : I I be CMfuctios such that, for all x i,j I, i {1,...,}, j {1,...,m}, FG 1 x 1,1,...,x,1,...,G m x 1,m,...,x,m = GF 1 x 1,1,...,x 1,m,...,F x,1,...,x,m. The F,F 1,...,F ad G,G 1,...,G m are CM-quasi-sums. Lemma 3. A CM-quasi-sum M : I I is reflexive if ad oly if it is a geeralized -variable quasi-arithmetic mea. Proof. Obviously geeralized -variable quasi-arithmetic mea are CM-quasi-sums. Assume ow that a CM-quasi-sum Mx 1,...,x = ff 1 x 1 + +f x x 1,...,x I is a mea. Settig x 1 = = x = x, by the reflexivity of M, we get ff 1 + +f x = x for all x I, whece f = f 1 + +f 1. Thus, M is of the form A f1,...,f, i.e., M is geeralized -variable quasi-arithmetic mea.

5 CHARACTERIZATION OF GENERALIZED QUASI-ARITHMETIC MEANS 5 3. Characterizatio of geeralized quasi-arithmetic meas Theorem 4. Let : I R be cotiuous strictly icreasig fuctios. The the Gauss compositio of the meas A 0,...,A 1 is the quasi-arithmetic mea A f1 + +f. Furthermore, for all x i,j I, i,j {1,...,}, the geeralized bisymmetry equatio 0 A f1 + +f A x 1,1,...,x,1,...,A 1 x 1,,...,x, holds. = A f1 + +f A 0 x 1,1,...,x 1,,...,A 1 x,1,...,x,. Proof. First we prove that 6 is satisfied. Let x i,j I for i,j {1,...,} ad defie, for i {0,..., 1}, The y i := A i x 1,i+1,...,x,i+1 ad z i := A i x i+1,1,...,x i+1,. y i = A f1,...,f x σ i 1,i+1,...,x σ i,i+1 = f 1 + +f 1 f j x σ i j,i+1, j=1 z i = A f1,...,f x i+1,σ i 1,...,x i+1,σ i = f 1 + +f 1 f j x i+1,σ i j. j=1 Therefore, for the left ad right had sides of 6, we obtai the followig expressios: 1 1 A f1 + +f y 0,...,y 1 = f 1 + +f 1 f j x σ i j,i+1 i=0 j=1 1 = f 1 + +f 1 f σ αx 1 β α,β, A f1 + +f z 0,...,z 1 = f 1 + +f 1 1 = f 1 + +f 1 1 α=1 β=1 1 i=0 f j x i+1,σ i j j=1 α=1 β=1 Thus, i order that 6 be satisfied, it is sufficiet to show that f σ 1 α βx α,β. 6 σ 1 β α = σ 1 α β. 7 However, by Lemma 1, we have that σ α α = = σ β β holds for all α,β {1,...,}. Applyig the map σ 1 α β to the sides of this equatio, we get σ 1 β α = σ 1 α β = σ 1 α β, which proves 7 ad hece idetity 6 is also verified. To prove that the Gauss compositio of the meas A 0,...,A 1 is the quasi-arithmetic mea A f1 + +f, substitute x i,j := y i ito 6 where y 1,...,y I. The 6 simplifies to A f1 + +f A 0 y 1,...,y,...,A 1 y 1,...,y = A f1 + +f y 1,...,y. Therefore K = A f1 + +f is the solutio of the ivariace equatio K A 0,...,A 1 = K,

6 6 J. MATKOWSKI AND ZS. PÁLES hece, by the uique solvability of ivariace equatios, K is the Gauss compositio of the meas A 0,...,A 1. The followig result is our mai characterizatio theorem. Theorem 5. A fuctio M : I I is a geeralized quasi-arithmetic mea if ad oly if i M is a CM-fuctio o I ; ii M is reflexive; iii ΓM 0,...,M 1 is a CM-fuctio ad M is geeralized bisymmetric, that is, for all x i,j I i,j {1,...,}, we have ΓM 0,...,M 1 M 0 x 1,1,...,x 1,,...,M 1 x,1,...,x, = ΓM 0,...,M 1 M 0 x 1,1,...,x,1,...,M 1 x 1,,...,x,. Proof. If M is a geeralized quasi-arithmetic mea of the form A f1,...,f, the M is a reflexive CM-fuctio ad, by Theorem 4, the Gauss compositio of the meas M 0,...,M 1 is the quasi-arithmetic mea A f1 + +f furthermore 6 is satisfied, which is ow equivalet to 8. Now assume that M is a reflexive CM-fuctio which satisfies 8. The, usig Theorem F, it follows that M is a CM-quasi-sum. Due to its reflexivity, by Lemma 3, we obtai that M is a geeralized quasi-arithmetic mea. Refereces [1] J. Aczél. The otio of mea values. Norske Vid. Selsk. Forh., Trodhjem, 1923:83 86, [2] J. Aczél. O mea values. Bull. Amer. Math. Soc., 54: , [3] J. Aczél ad Z. Daróczy. Über verallgemeierte quasilieare Mittelwerte, die mit Gewichtsfuktioe gebildet sid. Publ. Math. Debrece, 10: , [4] J. Aczél ad Gy. Maksa. Cosistet aggregatio ad geeralized bisymmetry. I D. Groau ad Zs. Páles, editors, Cotributios to the Theory of Fuctioal Equatios, II Zamárdi, 1995, volume 327 of Grazer Math. Berichte, page 1 4. Karl-Frazes-Uiv. Graz, Graz, [5] J. Aczél ad Gy. Maksa. Solutio of the rectagular m geeralized bisymmetry equatio ad of the problem of cosistet aggregatio. J. Math. Aal. Appl., 2031: , [6] J. Aczél ad Gy. Maksa. Cosistet aggregatio ad geeralized bisymmetry. Tras. Royal Soc. Caada, 66:21 25, [7] M. Bajraktarević. Sur ue gééralisatio des moyees quasiliéaires. Publ. Ist. Math. Beograd N.S., 3 17:69 76, [8] Z. Daróczy. A geeral iequality for meas. Aequatioes Math., 71:16 21, [9] Z. Daróczy. Über eie Klasse vo Mittelwerte. Publ. Math. Debrece, 19: , [10] Z. Daróczy ad Zs. Páles. Gauss-compositio of meas ad the solutio of the Matkowski Sutô problem. Publ. Math. Debrece, 611-2: , [11] B. de Fietti. Sul cocetto di media. Giorale dell Istituto, Italiao degli Attuarii, 2: , [12] G. H. Hardy, J. E. Littlewood, ad G. Pólya. Iequalities. Cambridge Uiversity Press, Cambridge, first editio, 1952 secod editio. [13] A. N. Kolmogorov. Sur la otio de la moyee. Red. Accad. dei Licei 6, 12: , [14] Gy. Maksa. Solutio of geeralized bisymmetry type equatios without surjectivity assumptios. Aequatioes Math., 571:50 74, [15] Gy. Maksa. The geeralized associativity equatio revisited. Roczik Nauk.-Dydakt. Prace Mat., 17: , [16] Gy. Maksa. Quasisums ad geeralized associativity. Aequatioes Math., 691-2:6 27, [17] J. Matkowski. Ivariat ad complemetary quasi-arithmetic meas. Aequatioes Math., 571:87 107, [18] J. Matkowski. Iteratios of mea-type mappigs ad ivariat meas. A. Math. Sil., 13: , Europea Coferece o Iteratio Theory Muszya-Złockie, [19] J. Matkowski. Geeralized weighted ad quasi-arithmetic meas. Aequatioes Math., 793: ,

7 CHARACTERIZATION OF GENERALIZED QUASI-ARITHMETIC MEANS 7 [20] Á. Müich, Gy. Maksa, ad R. J. Mokke. Collective judgemet: combiig idividual value judgemets. Math. Social Sci., 373: , [21] Á. Müich, Gy. Maksa, ad R. J. Mokke. -variable bisectio. J. Math. Psych., 444: , [22] M. Nagumo. Über eie Klasse der Mittelwerte. Jap. Jour. of Math., 7:71 79, [23] Zs. Páles. Characterizatio of quasideviatio meas. Acta Math. Acad. Sci. Hugar., 403-4: , [24] Zs. Páles. O the characterizatio of quasi-arithmetic meas with weight fuctio. Aequatioes Math., 322-3: , Faculty of Mathematics, Iformatics ad Ecoometrics, Uiversity of Zieloa Góra, PL Zieloa Góra, Polad address: j.matkowski@wmie.uz.zgora.pl Istitute of Mathematics, Uiversity of Debrece, H-4010 Debrece, Pf. 12, Hugary address: pales@sciece.uideb.hu