A Jensen inequality for partial traces and applications to partially semiclassical limits

We prove a matrix inequality for convex functions of a Hermitian matrix on a bipartite space. As an application we reprove and extend some theorems about eigenvalue asymptotics of Schrödinger operators with homogeneous potentials. The case of main interest is where the Weyl expression is infinite and a partially semiclassical limit occurs.