TEMPERED OPERATORS AND THE HEAT KERNEL AND COMPLEX POWERS OF ELLIPTIC PSEUDODIFFERENTIAL OPERATORS (Q2769488)

After recalling the basic definitions and results of the \(b\)-calculus on manifolds with corners, the author introduces the class of holomorphically tempered symbols and the corresponding holomorphically tempered operators, which depend on a parameter that varies in a sector of the complex plane. It is shown that, up to smoothing operators, this class of parameter-dependent operators contains the resolvent of any elliptic \(b\)-pseudodifferential operator. Then the author studies the Laplace transform of holomorphically tempered symbols, which is used in the following analysis. It is proved that, if \(A\) is an elliptic \(b\)-pseudodifferential operator whose principal symbol never takes values in a sector of the complex plane defined by the condition \(\varepsilon\leq\text{arg}(\lambda)\leq 2\pi-\varepsilon\) for some \(\varepsilon\in(0,2\pi)\), then the heat operator \(e^{-tA}\) exists. Moreover an asymptotic expansion as \(t\downarrow 0\) of the restriction of the Schwartz kernel of \(Be^{-tA}\) to the diagonal is described for any \(b\)-pseudodifferential operator \(B\). This asymptotic expansion contains powers of \(t\) and products of powers of \(t\) with \(\log t\). The `local' coefficients of this asymptotic expansion are explicitly determined as Wodzicki residues of composites of the form \(BA^l\), but there may be `global' coefficients. On the other hand, the study of the Mellin transform of holomorphically tempered symbols is used to prove the following. For any elliptic, formally self adjoint, positive, and Fredholm \(b\)-pseudodifferential operator \(A\), if \(A_0\) denotes the sum of \(A\) and the orthogonal projection onto its null space, then the restriction to the diagonal of the Schwartz kernel of the complex power \(A_0^z\) extends to a meromorphic function of \(z\) in the complex plane having only simple poles. Furthermore the poles and corresponding residues are determined, as well as its value at \(z=0\); they are indeed given by the coefficients of the above asymptotic expansion of the restriction of \(e^{-tA}\) to the diagonal. Finally, the author proves heat kernel and zeta function versions of the index formula for general Fredholm \(b\)-pseudodifferential operators. It involves \(b\)-zeta functions and \(b\)-eta functions, and yields a generalization of the the index theorem of Atiyah, Patodi and Singer to manifolds with corners.