Maximal operator for pseudodifferential operators with homogeneous symbols (Q977111): Difference between revisions

Let \(a\in L^\infty(\mathbb{R}^n\times \mathbb{R}^n)\cap C^\infty(\mathbb{R}^n\times \mathbb{R}^n\setminus\{0\})\) is a function satisfying the conditions \[ \sup_{x\in\mathbb{R}^n, \xi\in\mathbb{R}^n} |\xi|^{|\alpha|- |\beta|}|\partial^\alpha_\xi \partial^\beta_x a(x,\xi)|< \infty \] for all multiindices \(\alpha\), \(\beta\); and \(a(x, D)^\#1(x)= 0\), where \(a(x,D)^\#\) is the formal adjoint of the atom \(a(x, D)\) for the homogeneous Triebel-Lizorkin space \(\dot F^0_{22}\) when considering the atomic decomposition (see \textit{M. Frazier} and \textit{B. Jawerth} [J. Funct. Anal. 93, No. 1, 34--170 (1990; Zbl 0716.46031]). \textit{L. Grafakos} and \textit{R. H. Torres} [Mich. Math. J. 46, No. 2, 261--269 (1999; Zbl 0966.35144)] proved that \[ f\in{\mathcal S}_0\mapsto S_{\mathbb{R}^n}a(x,\xi) \exp(2\pi ix\cdot\xi){\mathcal F}^{-1} f(\xi)\,d\xi \] extends to an \(L^2\)-bounded operator, where \({\mathcal S}_0\) denotes the closed subspace of \({\mathcal S}\) that consists of the functions with vanishing moment of any order. The aim of the present paper is to obtain a maximal estimate related to this operator.