Local solvability for real-analytic involutive structures of tube type of corank one in Besov and Triebel-Lizorkin spaces (Q6542913)

Consider a system \(L\) of \(n\) real analytic complex vector fields of the form \N\[\NL_j=\partial_{t_j}+\lambda_j(t)\partial_{x}\N\]\Ndefined on an open neighborhood \(\Omega\) of the origin of \(\mathbb{R}^n_t\times\mathbb R_x,\) and suppose that these vector fields commute.\N\NSuch vector fields define a real-analytic locally integrable structure on \(\Omega\). Let \(Z(x,t)=x+i\phi(t),\) with \(\phi(0)=0\), be a first integral of \(L\).\N\NAssuming that the condition (P) of Nirenberg-Treves is satisfied, which means, in this context, that each point \(p\in \Omega\) has a basis of neighborhoods of \(p\) in \(\Omega\) such that in each one of which the fibers of \(Z\) are connected, the author proves that \(L\) is locally solvable in spaces of mixed norms involving the Besov spaces, \(B^\alpha_{p,q}(\mathbb R)\), in one case, and the Triebel-Lizorkin spaces, \(F^\alpha_{p,q}(\mathbb R)\), in the other. The solutions found are in the same space of the right hand side of \(Lu=f\), but they are defined in a possibly smaller neighborhood of the origin.\N\NThe proof relies on an approximation scheme using the approximation formula of Baouendi-Treves and on a consequence of the Banach-Alaoglu theorem.