BVPs with the transmission property

Let us first give a motivation for the transmission property of a symbol at the boundary. Given a smooth manifold X of dimension n with boundary Y, we can form the double 2X; which is an open manifold obtained by gluing together two copies X± of X along the common boundary (here we identify X with X+, the plus side).