The second Weyl coefficient for a first-order system

For a scalar elliptic self-adjoint operator on a compact manifold without boundary we have two-term asymptotics for the number of eigenvalues between 0 and λ when λ → ∞, under an additional dynamical condition. (See [3, Theorem 3.5] for an early result in this direction.) In the case of an elliptic system of first order, the existence of two-term asymptotics was also established quite early and as in the scalar case Fourier integral operators have been the crucial tool. The complete computation of the coefficient of the second term was obtained only in the 2013 paper [2]. In the present paper we simplify that calculation. The main observation is that with the existence of two-term asymptoti…