Characterizing pseudo-differential operators as a subalgebra of continuous endomorphisms of tempered distributions I'm aware that the following question is at best a refined version of at least 2 questions which are already on this site. I think it is justified however in that it is more precise and has some new content in it. If, however, anyone decides after reading this question that it is a duplicate I apologize in advance.
Fix a positive integer $n$. For every real number $m$ define the symbol class $S^m \subset C^{\infty}(\mathbb{R}^n_x \times \mathbb{R}^n_{\xi})$ consisting of functions whose derivatives are all bounded in the $x$-direction and which  grows at most like $|\xi|^m$ in the $\xi$ direction (this is not a precise definition but hopefully for those who are familiar its clear what class of symbols i'm using).
Any such symbol (element of $S^m$ for $m \in \mathbb{R}$), defines a pseudo-differential operator which acts continuously on the space of Schwartz functions $\mathcal{S} := \mathcal{S}(\mathbb{R}^n$) and extends to a continuous endomorphism of tempered distributions $\mathcal{S}'$. Here are some facts about this construction:

*

*The map from the symbols to endomorphisms of $\mathcal{S}$ is one to one. And so it endows the symbols with a non-commutative multiplication coming from composition (this multiplication can also be phrased without reference to $\mathcal{S}$ and is given by a certain combination of Fourier transform and convolution). Call this algebra $\Psi DO$.


*The composition defined above respects the increasing filtration (by order) defined by setting $\Psi DO^{\le m}$ to be all operators that come from symbols in $S^{l}$ for $l \le m$.


*For every real number $1 \lt p \lt \infty$ there's a decreasing filtration (the Sobolev filtration) indexed by the real numbers (say $s \in \mathbb{R}$) on $\mathcal{S}'$ where the $s$-filtered piece is the Sobolev space $W^{s,p} \subset \mathcal{S}'$ (it also has the nice property that $\bigcap_{s\in \mathbb{R}} W^{s,p} = \mathcal{S}$ and $\bigcup_{s\in \mathbb{R}} W^{s,p} = \mathcal{S}'$).


*The order filtration on $\Psi DO$ respects the Sobolev filtrations on $\mathcal{S}'$ (for every $1 \lt p \lt \infty$). This is just the (rather non-trivial statement) that every $P \in \Psi DO^{\le m}$ gives a bounded linear operator $P : W^{s,p} \to W^{s-m,p}$ for all $p \in (0,\infty), s \in \mathbb{R}$.


*All operators in $\Psi DO$ are pseudo-local, that is they do not increase the microsupport (or wave front sets) of distributions.


*The subalgebra $\Psi DO^{- \infty} := \bigcap_m \Psi DO^{m}$ is a (filtered) two sided ideal and the quotient $\Psi DO / \Psi DO^{-\infty}$ is complete for the induced filtration.
My question is whether these properties characterize $\Psi DO$'s, more precisely:

Question: Let $\mathcal{A} \subset End(\mathcal{S}')$ be a subalgebra of continuous endomorphisms of the space of tempered distributions. For every $p \in (0,\infty)$ the Sobolev filtration on $\mathcal{S}'$ induces an increasing filtration on $\mathcal{A}$ by setting $\mathcal{A}^{\le m, p} := \{ P \in \mathcal{A} | P: W^{s,p} \to W^{s-m,p} , \forall s \in \mathbb{R}\}$. Suppose $\mathcal{A}$ satisfies the following 4  properties inspired from the above discussion:

*

*(Pseudo-locality) All operators in $\mathcal{A}$ are pseudolocal (microsupport non-increasing).

*(Exhaustion & Strictness) For every $p \in (0,\infty)$ the induced filtration is strictly increasing, i.e. $\mathcal{A}^{\le m,p} \subsetneq \mathcal{A}^{\le l,p}$ whenever $m \lt l$, and exaustive, i.e.  $\mathcal{A}^{\infty}:= \bigcup_m \mathcal{A}^{\le m ,p} = \mathcal{A}$

*(Constancy in $p$) For all $1 \lt p \lt q \lt \infty$ the induced filtrations agree. In other words $\mathcal{A}^{\le m,p} = \mathcal{A}^{\le m, q}$ for all $m \in \mathbb{R}$.

*(Completeness) The quotient $\mathcal{A}/\mathcal{A}^{- \infty}$ is complete for the induced filtration.

Is it true that $\mathcal{A} = \Psi DO$ ? If not perhaps its true if we require that $\mathcal{A}$ be the smallest subalgebra satisfying the above conditions?

 A: Let me try: Consider $S^m_{1,0}$ and $SG^{m,0}$, where the second class of SG-symbols $SG^{m_\psi,m_e}$ is defined by the estimates
$$|\partial_x^\alpha \partial_\xi^\beta a(x,\xi)| \lesssim_{\alpha,\beta} \langle x\rangle^{m_e-|\alpha|} \langle \xi\rangle^{m_\psi-|\beta|}.$$
Clearly, $SG^{m,0}$ is a subset of $S^m_{1,0}$, therefore $L^p$-boundedness follows from the $L^p$-boundedness of Kohn-Nirenberg pseudos.
I haven't thought about the completeness, but I don't see a big difference between Kohn-Nirenberg and SG there.
A: I do not believe that the listed properties characterize the operators with symbols in $\cup_m S^m_{1,0}$. Let me first make precise the definition of $S^m_{1,0}$ for a given $m\in \mathbb R$: this is the Fréchet space of $C^\infty$ complex-valued functions on $\mathbb R^n_x \times\mathbb R^n_\xi$ such that for all
$\alpha, \beta\in \mathbb N^n$, 
$$
\sup_{ (x,\xi)\in \mathbb R^{2n}}
\bigl\vert(\partial_x^\alpha\partial_\xi^\beta a)(x,\xi)
\bigr\vert(1+\vert \xi\vert)^{-m+\vert \beta\vert}<+\infty.
$$
Of course the four listed properties hold true  for the algebra $\mathcal A$ of operators on $\mathscr S'(\mathbb R^n)$ with symbol $\in \cup_m S^m_{1,0}$.
Consider now the 
 Fréchet space $\Sigma^m$
of $C^\infty$ complex-valued functions on $\mathbb R^n_x \times\mathbb R^n_\xi$ such that for all
$\alpha, \beta\in \mathbb N^n$, 
$$
\sup_{ (x,\xi)\in \mathbb R^{2n}}
\bigl\vert(\partial_x^\alpha\partial_\xi^\beta a)(x,\xi)
\bigr\vert(1+\vert \xi\vert+\vert x\vert)^{-2m+\vert \alpha\vert+\vert \beta\vert}<+\infty.
$$
Then the algebra $\mathcal B$
 operators on $\mathscr S'(\mathbb R^n)$ with symbol $\in \cup_m \Sigma^m$ satisfies the four required properties.
