Sobolev spaces associated to a polyhedron and Fourier integral operators in \(\mathbb{R}^ n\) (Q678126)

The author extends and refines previous work on the definition of Sobolev spaces associated with a particular weight function. These Sobolev spaces are obtained as the inverse image of \(L^2\) under operators in an appropriate class of pseudodifferential operators. The operators under consideration have the form \[ A(u)(x)= (2\pi)^{-n} \int_{\mathbb{R}^n} e^{ix\xi} a(x,\xi)\widehat u(\xi)d\xi. \] The symbol \(a(x,\xi)\) is said to belong to the class \(\Lambda^m_{\rho, P}(\mathbb{R}^{2n})\) if it satisfies the estimate \[ |\partial^\alpha_\varsigma a(\varsigma)|\leq C_\alpha w^{m-\rho|\alpha|}_P (\varsigma), \] where \(\varsigma= (x,\xi)\). The weight \(w_P\) is given as \(w_P(\varsigma)= \sqrt{\sum_{\gamma\in P} \varsigma^{2\gamma}}\), where \(P\) is the convex hull of a set of \(k\) points in \(\mathbb{R}^{2n}\) with nonnegative integer coordinates satisfying some additional properties. The author studies the usual properties associated with a pseudodifferential operator. He also considers an appropriate definition of hypoellipticity. He also introduces a class of Fourier integral operators of the form \[ A_{a,\phi}(u)(x)= (2\pi)^{-n} \int_{\mathbb{R}^n} e^{i\phi(x,\xi)} a(x,\xi)\widehat u(\xi)d\xi, \] where \(a\in\Lambda^m_{\rho, P}(\mathbb{R}^{2n})\) and the phase function \(\phi\) is a smooth real function such that \(\partial^\alpha_\varsigma\phi\in \Lambda^0_{\rho,P}(\mathbb{R}^{2n})\) for every \(\alpha\) with \(|\alpha|= 2\). The author studies the action of these operators on appropriate Sobolev spaces. He also proves that this class of Fourier integral operators is closed under composition from the left with appropriate pseudodifferential operators of the type described above.