Solving invariance equations involving homogeneous means with the help of computer

Given three strict means M,N,K:R"+^2->R"+, we say that the triple (M,N,K) satisfies the invariance equation ifKM(x,y),N(x,y)=K(x,y)(x,y@?R"+)holds. It is well known that K is uniquely determined by M and N, and it is called the Gauss composition M@?N of M and N. Our aim is to solve the invariance equation when each of the means M,N,K is either a Gini or a Stolarsky mean with possibly different parameters. This implies that we have to consider six different invariance equations. With the help of the computer algebra system Maple V Release 9, which enables us to perform the tedious computations, we completely describe the general solutions of these six equations.

[1]  Horst Alzer,et al.  On the intersection of two-parameter mean value families , 2001 .

[2]  J. Matkowski,et al.  Invariance of the arithmetic mean with respect to special mean-type mappings , 2006 .

[3]  Z. Páles,et al.  The invariance of the arithmetic mean with respect to generalized quasi-arithmetic means ✩ , 2009 .

[4]  J. Matkowski Lagrangian mean-type mappings for which the arithmetic mean is invariant , 2005 .

[5]  Z. Daróczy,et al.  Gauss-composition of means and the solution of the Matkowski--Sutô problem , 2002, Publicationes Mathematicae Debrecen.

[6]  P. Burai A Matkowski--Sutô type equation , 2007, Publicationes mathematicae (Debrecen).

[7]  J. Matkowski,et al.  An invariance of the geometric mean with respect to Stolarsky mean-type mappings , 2003 .

[8]  J. Jarczyk Regularity theorem for a functional equation involving means , 2009, Publicationes Mathematicae Debrecen.

[9]  Z. Páles,et al.  Invariance equation for generalized quasi-arithmetic means , 2009 .

[10]  K. Stolarsky,et al.  Generalizations of the Logarithmic Mean , 1975 .

[11]  Janusz Matkowski,et al.  On Invariant Generalized Beckenbach-Gini Means , 2002 .

[12]  Zsolt Páles,et al.  Computer aided solution of the invariance equation for two-variable Stolarsky means , 2010, Appl. Math. Comput..

[13]  J. Jarczyk Invariance of weighted quasi-arithmetic means with continuous generators , 2007, Publicationes Mathematicae Debrecen.

[14]  P. Burai Extension Theorem for a Functional Equation , 2006 .

[15]  Justyna Jarczyk,et al.  Invariance in the class of weighted quasi-arithmetic means , 2006 .

[16]  J. Jarczyk Invariance of quasi-arithmetic means with function weights , 2009 .

[17]  Z. Páles,et al.  On Means That are Both Quasi-Arithmetic and Conjugate Arithmetic , 2004 .

[18]  Z. Daróczy,et al.  EXTENSION THEOREMS FOR THE MATKOWSKI-SUTO PROBLEM , 2000 .

[19]  Zsolt Páles,et al.  Computer aided solution of the invariance equation for two-variable Gini means , 2009, Comput. Math. Appl..

[20]  J. Jarczyk Invariance in a class of Bajraktarević means , 2010 .

[21]  Janusz Matkowski,et al.  Invariant and complementary quasi-arithmetic means , 1999 .