For any nonnegative measurable function f : [0, 1] → R and any a > 0 , let Q (f , a) denote the Stolarsky transform of f , equal to ∫ 1 0 f ( x1/a ) dx . Let Sn stand for the set of all permutations of the set {1, . . . , n} . It is shown that the function (0,∞)n a = (a1, . . . , an) −→ Q (a) := ∑ σ∈Sn n ∏ i=1 Q ( fσ(i), ai ) is Schur-convex if the functions f 1, . . . , f n are nonnegative and nondecreasing and Schur-concave if f 1, . . . , f n are nonnegative and nonincreasing. Necessary and sufficient conditions for the strict Schur convexity and concavity are given. Similar results are obtained for certain “direct” and “reverse” extensions of the Stolarsky transform to measures. Mathematics subject classification (2000): 26D15, 26B25, 26A48.
Read full abstract