ATLAS OF PRODUCTS FOR WAVE-SOBOLEV SPACES ON R1+3

The wave-Sobolev spaces H-s,H-b are L-2-based Sobolev spaces on the Minkowski space-time R1+n, with Fourier weights adapted to the symbol of the d'Alembertian. They are a standard tool in the study of regularity properties of nonlinear wave equations, and in such applications the need arises for product estimates in these spaces. Unfortunately, it seems that with every new application some estimates come up which have not yet appeared in the literature, and then one has to resort to a set of well-established procedures for proving the missing estimates. To relieve the tedium of having to constantly fill in such gaps "by hand", we make here a systematic effort to determine the complete set of estimates in the bilinear case. We determine a set of necessary conditions for a product estimate H-s1,H-b1 . H-s2,H-b2 -> H--s0,H--b0 to hold. These conditions define a polyhedron Omega in the space R-6 of exponents (s(0), s(1), s(2), b(0), b(1), b(2)). We then show, in space dimension n = 3, that all points in the interior of Omega, and all points on the faces minus the edges, give product estimates. We can also allow some but not all points on the edges, but here we do not claim to have the sharp result. The corresponding results for a = 2 and n = 1 will be published elsewhere.