Subalgebras to a Wiener type algebra of pseudo-differential operators (Q5944545): Difference between revisions

Let \(d\mu\) be a measure \(d\mu(x)=\sum_{j\in \Lambda} \delta_j(x)\) on \(\mathbb{R}^m\) and \(H_{a,p}\) the function \[ H_{a,p}(\xi)=\biggl(\int|{\mathcal F}(\chi_{x^a})(\xi)|^p d\mu(x)\biggr)^{1/p}, \quad 1\leq p\leq \infty, \] where \(\Lambda \subset \mathbb{R}^m\) is a lattice, and \(\chi\in C^{\infty}_0(\mathbb{R}^m)\), \(\chi(y)\geq 0\) such that if \(\chi_x(y)\equiv \chi(x-y)\) then \(\sum_{j\in \Lambda}\chi_j(y)=1\). By \(S^p_{\omega}(\mathbb{R}^m)\), \(1\leq p\leq\infty\) denote the following set of symbols \(S^p_{\omega}=\{a\in S'(\mathbb{R}^m) \mid H_{a,p}\in L^1(\mathbb{R}^m)\}\). For the symbol \(a\) define the corresponding pseudodifferential operator \[ a_t(x,D)f(x)=(Op_t(a)f)(x)=(2\pi)^{-m} \iint a((1-t)x+ty,\xi)f(y)e^{i(x,x-y)} dy d\xi,\;f\in S(\mathbb{R}^m).\tag{1} \] The author extends some properties of pseudodifferential operators of the form (1) with the symbols \(a\in S^p_{\omega}\), which was proved by J. Sjöstrand in the case \(p=\infty\). So he proves that \(a_t(x,D)\) is continuous on \(L^2(\mathbb{R}^m)\) for \(t\in[0,1]\) if \(a\in S^p_{\omega}(\mathbb{R}^{2m})\). Moreover, the author proves that if \(a\in S^p_{\omega}(\mathbb{R}^{2m})\), \(b\in S^q_{\omega}(\mathbb{R}^{2m})\), \(p,q\in[1,\infty]\) and \(c\in S'(\mathbb{R}^{2m})\), \(c_s(x,D)=a_{t_1}(x,D)b_{t_2}(x,D)\) for some choice of \(s, t_1, t_2\in [0,1]\), then \(c\in S^r_{\omega}(\mathbb{R}^{2m})\), where \(r\in[1,\infty], 1/p +1/q =1/r\). He studies the conditions on the function \(f\) under which the map \(a\to f(a)\) is continuous on \(S^p_{\omega}\), for any \(p\in [1,\infty]\). Additionally, the pseudodifferential operator of the form \[ Op(a)f(x)=(2\pi)^{-2n}\iint a(x,y,\xi)f(y)e^{i(x-y,\xi)} dy d\xi, \quad f\in S(\mathbb{R}^n), a\in S^p_{\omega}(\mathbb{R}^{3n}) \] is studied. The author proves that for any \(a\in S^p_{\omega}(\mathbb{R}^{3n})\) there exists \(b\in S^p_{\omega}(\mathbb{R}^{2n})\) such that \(b_t(x,D)= Op(a)\).