Foundation of symbol theory for analytic pseudodifferential operators. I. (English) Zbl 1381.32014

Aoki, Takashi; Honda, Naofumi; Yamazaki, Susumu

J. Math. Soc. Japan 69, No. 4, 1715-1801 (2017).

Summary: A new symbol theory for pseudodifferential operators in the complex analytic category is given. Here the pseudodifferential operators mean integral operators with real holomorphic microfunction kernels. The notion of real holomorphic microfunctions had been introduced by Sato, Kawai and Kashiwara by using sheaf cohomology theory. Symbol theory for those operators was partly developed by Kataoka and by the first author and it has been effectively used in the analysis of operators of infinite order. However, there was a missing part that links the symbol theory and the cohomological definition of operators, that is, the consistency of the Leibniz-Hörmander rule and the cohomological definition of composition for operators. This link has not been established completely in the existing symbol theory. This paper supplies the link and provides a cohomological foundation of the symbolic calculus of pseudodifferential operators.

MSC:

32W25	Pseudodifferential operators in several complex variables
14F05	Sheaves, derived categories of sheaves, etc. (MSC2010)
35A27	Microlocal methods and methods of sheaf theory and homological algebra applied to PDEs
35S05	Pseudodifferential operators as generalizations of partial differential operators
58J40	Pseudodifferential and Fourier integral operators on manifolds

Keywords:

microlocal analysis; pseudodifferential operators; symbol theory