Pseudodifferential calculi on the half-line respecting prescribed asymptotic types
- Given asymptotics types P, Q, pseudodifferential operators A is an element of L-cl(mu) (R+) are constructed in such a way that if u(t) possesses conormal asymptotics of type P as t --> +0, then Au(t) possesses conormal asymptotics of type Q as t --> +0. This is achieved by choosing the operators A in Schulze's cone algebra on the half-line R+, controlling their complete Mellin symbols {sigma(M)(u-j) (A); j is an element of N}, and prescribing the mapping properties of the residual Green operators. The constructions lead to a coordinate invariant calculus, including trace and potential operators at t = 0, in which a parametrix construction for the elliptic elements is possible. Boutet de Monvel's calculus for pseudodifferential boundary problems occurs as a special case when P = Q is the type resulting from Taylor expansion at t = 0.