Invariant subspaces of elliptic systems I: pseudodifferential projections (Q2076319)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Invariant subspaces of elliptic systems I: pseudodifferential projections
scientific article

    Statements

    Invariant subspaces of elliptic systems I: pseudodifferential projections (English)
    0 references
    0 references
    0 references
    16 February 2022
    0 references
    Let \(M\) be a connected closed manifold of dimension \(d \geqslant 2\). Let \(m \geqslant 2\) be a fixed natural number. Denote by \(H^s(M)\) the vector space of \(m\)-columns of half-densities that are square integrable with their partial derivatives up to order \(s\), and by \(\Psi^s\) the space of pseudodifferential operators of order \(s\) with polyhomogeneous symbols, acting from \(H^s(M)\) to \(L^2(M)\). Recall that an element \(P \in \Psi^0\) is called an {\em orthogonal pseudodifferential projection} if \(P^2=P\) (mod \(\Psi^{-\infty}\)) and \(P^*=P\) (mod \(\Psi^{-\infty}\)). A set of \(m\) orthogonal pseudodifferential projections \(\{ P_j\}\) is said to be an {\em orthonormal pseudodifferential basis} if the following conditions hold: (1) for every \(j\), the principal symbol of \(P_j\) is rank \(1\) matrix-function; (2) \(\forall j \neq k\), \(P_jP_k=0\) mod \(\Psi^{-\infty}\); (3) \(\Sigma_{j}P_j=Id\) mod \(\Psi^{-\infty}\), where \(Id\) stands for the identity operator. Suppose that \(A \in \Psi^s\), \(s>1\), is an elliptic self-adjoint linear pseudodifferential operator. Under the assumption that the principal symbol \(A_{\text{prin}}(x,\xi)\) (which is a matrix-function) has simple eigenvalues, the authors show that there exist \(m\) orthonormal pseudodifferential projections commuting with the operator \(A\), uniquely determined modulo \(\Psi^{-\infty}\), and provide an algorithm for the computation of their full symbols, as well as explicit closed formulae for their subprincipal symbols. Moreover, the authors use pseudodifferential projections to construct \(m\) distinct sign definite operators (modulo \(\Psi^{-\infty}\)) out of \(A\). Finally, they represent modulus and Heaviside function of \(A\) in terms of pseudodifferential projections, and discuss three applications of their results.
    0 references
    0 references
    pseudodifferential projections
    0 references
    elliptic systems
    0 references
    invariant subspaces
    0 references
    pseudodifferential operators on manifolds
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references