Tomislav Burić, Lenka Mihoković, Toni Milas
Abstract
This paper studies asymptotic expansions of the Gaussian and Archimedean compounds of two arbitrary bivariate means that need not be symmetric. Recursive algorithms for the coefficients of such expansions were previously obtained only in the symmetric case. Here, this restriction is removed and recursions are derived for the general nonsymmetric setting. All coefficient calculations are carried out in the algebra of formal power series. This introduces an additional case in the recursion, as well as singular configurations in which the formal invariance equation does not determine the coefficients recursively. The formal problem is kept separate from the existence and convergence of the iterative procedures. We also connect the first formal coefficients with Farhi's metric, recall its known global convergence criterion, and derive the corresponding local rates. The algorithms are illustrated using weighted power means and several known identities. Finally, the method is extended to expansions with sign-dependent coefficients and is applied to the neo-Pythagorean means and to a recently introduced two-parameter family.