Convex SO ( N ) × SO ( n )-invariant Functions and Refinements of Von Neumann ’ s Inequality

A function f : Mn(R) → [−∞,∞] is said to be SO(n)× SO(n)-invariant if ∀ξ ∈ Mn(R), ∀Q, R ∈ SO(n), f(QξR) = f(ξ). The specification of an SO(n)× SO(n)-invariant function f is easily seen to be equivalent to that of a function g : R → R which is invariant under ∗EPFL, CH-1015 Lausanne, Switzerland. Email: bernard.dacorogna@epfl.ch. †Université Paul Sabatier, F-31062 Toulouse cedex 4, France. Email: marechal@mip.ups-tlse.fr.