Is Psi0(mathbbR) (pseudodifferential operators with symbols obeying
|partialalphaxpartialbetaxia(x,xi)|leqCalpha,beta(1+|xi|)−|beta|
) a C∗-algebra?
In other words, is Psi0(mathbbR) is closed in mathcalL(L2(mathbbR)) in the operator norm topology?
If not, then is there any nice characterization by the C∗-algebra generated by Psi0? Alternatively, what is the strongest (or just a reasonable) topology on mathcalL(L2(mathbbR)) such that Psi0 is a closed subspace?
Edit: Per Yemon Choi's comments below, the above question seems somewhat hopeless. As described here, Psi0(mathbbR) is a Fréchet ∗-algebra with a topology stronger than the operator topology. I assume that this is the topology given by the seminorms on symbols:
VertaVertalpha,beta=supx,xiinmathbbR(1+|xi|)|beta||partialalphaxpartialbetaxia(x,xi)|.
So, in addition to the above question, I am adding the following question, to make it so that there might be an answer:
Is there a reasonable description of the smallest C∗-algebra containing Psi0?
No comments:
Post a Comment