Pseudo-Differential Operators With Discontinuous Symbols: Widom's Conjecture

Relying on the known two-term quasiclassical asymptotic formula for the trace of the function f(A) of a Wiener-Hopf type operator A in dimension one, in 1982 H. Widom conjectured a multi-dimensional generalisation of that formula for a pseudo-differential operator A with a symbol a(x,?) having jump discontinuities in both variables. In 1990 he proved the conjecture for the special case when the jump in any of the two variables occurs...