Higher commutators of pseudo-differential operators (Q796758)

The following result is established: For \(a_ i\), \(f\in {\mathcal S}(R^ K)\), \(i=1,...,n\), and \(T(a,f)(x)=\omega(x,D)(\prod^{n}_{i=1}P_{m_ i}(a_ i,x,\cdot)f(\cdot))\) it holds that \[ \| T(a,f)\|_ q\leq C\| f\|_{p_ 0}\prod^{n}_{i=1}\| \nabla^{m_ i}a_ i\|_{p_ i}, \] where \(a=(a_ 1,...,a_ n)\), \(q^{-1}=p_ 0^{-1}+\sum^{n}_{i=1}p_ 1^{-1}\), q, \(p_ 0\in(1,\infty)\), \(p_ i\) satisfy one of the following two conditions: \(\forall i\), \(p_ i\in(1,\infty)\) or \(\forall i\), \(p_ i=\infty\). \(m_ i\) are non- negative integers, \[ P_{m_ i}(a_ i,x,y)=a_ i(x)-\sum_{| \beta |<m_ i}a_ i^{(\beta)}(y)/\beta !\cdot(x-y)^{\beta}, \] \(\omega (x,\xi)\) is a classical symbol of order \(| m| =m_ 1+...+m_ n\). Besides, a representation theorem is given. The methods used here closely follow those developed by Coifman-Meyer and J. Cohen in their studies on corresponding problems, where they were restricted to the cases \(m_ 1=...=m_ n=1\) or \(K=1\), \(\omega(\xi)=\xi^{| m|} sgn (\xi)\), respectively.