In this article we give a complete proof in one dimension of an a priori inequality involving pseudo-differential operators: if $a$ and $b$ are symbols in $S_{1,0}^2$ such that $\left|a\right|\le b$, then for all $ϵ\>0$ we have the estimate $\parallel a^{w}u{\parallel }_s^2\le C_{ϵ}(\parallel b^{w}u{\parallel }_s^2+\parallel u{\parallel }_{s+ϵ}^2)$ for all $u$ in the Schwartz space, where $\parallel {\parallel }_t$ is the usual $H_t$ norm. We use microlocalization of levels I, II and III in the spirit of Fefferman’s SAK principle.

Classical solutions of functional partial differential inequalities with initial boundary conditions are estimated by maximal solutions of suitable problems for ordinary functional differential equations. Uniqueness of solutions and continuous dependence on given functions are obtained as applications of the comparison result. A theorem on weak functional differential inequalities generated by mixed problems is proved. Our method is based on an axiomatic approach to equations with unbounded delay....