Consider the upper half space $\mathbb{R}^n\_{+} = \{x = (x\_1,..,x\_n) \in \mathbb{R}^n : x\_n \geq 0\}$. Consider the Laplacian on this space with either the Dirichlet boundary condition or the Neumann boundary condition. My question is: can the Laplacian $\Delta$ under such boundary conditions be treated as a pseudodifferential operator of order 2? I can understand that the usual trick of Fourier inversion does not work, but if we still forcibly write
$$-\Delta f(x) = \int p(x, \xi)\hat{f}(\xi)e^{ix.\xi}d\xi$$ and assume that $p(x, \xi)$ belongs to some symbol class $S^m\_{\rho, \delta}$, what can go wrong?



Pseudodifferential operators on spaces with boundary
What are pseudo-differential operators (pseudors) on a closed half-space $H$ or on a manifold with boundary? It is not adequate to only define them as restrictions from some open neighbourhood of $H$ to $H$. A pseudor $P$ does not map $C\_c^\infty(H)$ into $C^\infty(H)$ (smoothness up to the boundary!) unless $P$ satisfies the transmission condition; see Boutet de Monvel' paper in Acta. Math. of 1971 or section 18.2 in Hörmander's volume III. Differential operators and the parametrices of elliptic differential operators satisfy the transmission condition, but a (scalar) square root of the Laplacian does not. (Dirac operators are non-scalar square roots of Laplacians, and they are differential operators.)


Much work (by Boutet de Monvel, Melrose, Schulze, and many others) has been done in developing pseudo-differential calculi for manifolds with boundary (possibly with corners). Already finding the right function (distribution) spaces, on with the pseudors act as an algebra of operators, is an important issue. For example, if functions $u$ are extended somehow from $H$ to all space, then one might wish to define $Pu$ in such a way that it does not depend on the particular extension. This is no problem if $P$ is a differential operator because differential operators are local. But for genuine pseudors it is; well, it was before any theory of pseudo-differential boundary calculi existed.


