Fundamental results for pseudo-differential operators of type \(1, 1\) (Q2422530)

Summary: This paper develops some deeper consequences of an extended definition, proposed previously by the author [Oper. Theory: Adv. Appl. 189, 201--246 (2007; Zbl 1217.35219)], of pseudo-differential operators that are of type \(1,1\) in Hörmander's sense [\textit{L. Hörmander}, Proc. Symp. Pure Math. 10, 138--183 (1967; Zbl 0167.09603)]. Thus, it contributes to the long-standing problem of creating a systematic theory of such operators. It is shown that type \(1,1\)-operators are defined and continuous on the full space of temperate distributions, if they fulfil Hörmander's twisted diagonal condition, or more generally if they belong to the self-adjoint subclass; and that they are always defined on the temperate smooth functions. As a main tool the paradifferential decomposition is derived for type \(1,1\)-operators, and to confirm a natural hypothesis the symmetric term is shown to cause the domain restrictions; whereas the other terms are shown to define nice type \(1,1\)-operators fulfilling the twisted diagonal condition. The decomposition is analysed in the type \(1,1\)-context by combining the Spectral Support Rule and the factorisation inequality, which gives pointwise estimates of pseudo-differential operators in terms of maximal functions.