Sequence space representations for weighted solution spaces of hypoelliptic systems of partial differential operators (Q1089581): Difference between revisions

Let P(D) be a quadratic hypoellipic system of partial differential operators with consant coefficients. It is proved, that the solutions of P(D) in certain weighted spaces of distributions are linear topologically isomorphic to a sequence space, if certain estimates are valid on the characteristic variety of P. Especially, the solution space then has a basis. Projective and inductive exponential weight conditions are considered, including the spaces \(C_ r^{\infty}(M)\), \({\mathcal E}(M)\), \(S'_{\alpha},S'_{\alpha,A},W'_{M,r}\) and generalizations of the Dragilev spaces \(L_ f(\alpha,r)\). The proofs are based on the existence of a multiplicative structure on the weighted solution spaces, which is constructed using Fourier theory and Hörmander's solution of the weighted \({\bar \partial}\)-problem. The multiplicative structure and a generalized mixed Fourier-Taylor series expansion are used to show, that the weighted solution spaces and certain sequence spaces contain each other as complemented subspaces. The final step in the proof then is a suitable version of Pelczynski's trick.