# Extension of pseudodifferential operators

I’m very sorry if this is the wrong place to ask this question, but I’ve asked it on StackExchange and received no answers. ( https://math.stackexchange.com/questions/813063/convergence-to-a-schwartz-distribution )

Let $M$ be a smooth manifold with countable atlas, and define the distributions $\mathscr{D}'(M)$ as the dual space to the smooth densities with compact support, and $\mathcal{E}'(M)$ as the dual space to the smooth densities. Let $A$ be a pseudodifferential operator $A:C_0^{\infty}(M)\to C^{\infty}(M)$.

We start by noting that we may imbed $C^{\infty}$ in $\mathscr{D}'(M)$ by $\int_M uv$, where $u\in C^{\infty}$ and $v$ is a density with compact support, and thereby also $C_0^{\infty}(M)$ in $\mathcal{E}'(M)$. We also note that $C_0^{\infty}(M)$ is dense in $\mathcal{E}'(M)$.
We wish to extend $A$ by continuity to an operator $A: \mathcal{E}'(M)\to \mathscr{D}'(M)$.

What I’ve been thinking is that if $(u_n)_{n\in \mathbb{N}}$ is a sequence converging to some $u\in \mathcal{E}'(M)$, then we wish to show that $Au_n$ converges to some $v\in \mathscr{D}'(M)$, i.e. $\langle Au_n,\phi \rangle$ converges to $\langle v,phi \rangle$ for every $\phi$ a smooth density with compact support, since $\mathscr{D}'(M)$ is equipped with the weak$^*$ topology.
However, I seem to be stuck at this point, so any hint or idea at all would be nice.

EDIT:

I just realized that I (think) just need to show continuity on $C_0^{\infty}(M)$ since it is dense in $\mathcal{E}'(M)$. So if we let $(u_n)_{n\in \mathbb{N}} \to u \in C_0^{\infty}$ we have $\langle Au_n, \phi \rangle \to \langle Au ,\phi \rangle$ for all $\phi$ smooth densities with compact support on $M$, and therefore $A:\mathcal{E}'(M) \to \mathscr{D}'(M)$ is continuous on $C_0^{\infty}$, and thereby also on $\mathcal{E}'$ since $C_0^{\infty}$ is dense therein as mentioned.

Your operator $A$ is continuous from $C_0^\infty(M)$ into $C^\infty(M)$, so the adjoint $A^*$
is continuous from $\mathcal E'(M)$ into $\mathscr D'(M)$. Now, the operator $A^*$ is also a pseudodifferential operator of the same order than $A$, whose principal symbol is the complex conjugate of the symbol of $A$: this fact can be established by looking at the chart expression of the pseudodifferential operator.
More precisely in $\mathbb R^n$, if $a$ is the symbol of $A$, the symbol of $A^*$ is
so that starting with the continuity property of $op(a^*)$ (the operator with symbol $a^*$), you obtain the sought property of $op(a^{**})$ which is $op(a)$.
{"ft_lang_label":"__label__en","ft_lang_prob":0.91791475,"math_prob":0.99989295,"size":2104,"snap":"2022-40-2023-06","text_gpt3_token_len":640,"char_repetition_ratio":0.114285715,"word_repetition_ratio":0.016806724,"special_character_ratio":0.26520914,"punctuation_ratio":0.10691824,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":1.0000006,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2023-02-08T03:23:52Z\",\"WARC-Record-ID\":\"<urn:uuid:a6d41215-6699-4f98-8f63-56c9b58f74c9>\",\"Content-Length\":\"97879\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:5872794b-051a-4145-ada7-de6d7cfced73>\",\"WARC-Concurrent-To\":\"<urn:uuid:77e2cfea-2a06-4429-b078-a4013dc7f407>\",\"WARC-IP-Address\":\"52.86.133.10\",\"WARC-Target-URI\":\"https://mathzsolution.com/extension-of-pseudodifferential-operators/\",\"WARC-Payload-Digest\":\"sha1:MA2VWZSXQQWJUQ2SS7FKUNXWGVCZRFZU\",\"WARC-Block-Digest\":\"sha1:BMFLRIFX7N5AI2RODTA65R2FOXTUFLYB\",\"WARC-Identified-Payload-Type\":\"text/html\",\"warc_filename\":\"/cc_download/warc_2023/CC-MAIN-2023-06/CC-MAIN-2023-06_segments_1674764500671.13_warc_CC-MAIN-20230208024856-20230208054856-00781.warc.gz\"}"}