Mathematical Research Letters
Volume 10, Issue 6, November 2003 pp. 729-735.
On a question of Louis NirenbergAuthors: Franc¸ois Treves
Author institution: Rutgers University
Summary: This note proves that if $A,B$\ are $\mathcal{C}^{\infty }$\ real vector fields in an open set $\Omega \subset \mathbb{R}^{3}$\textbf{\ }such that $% A,B$\ \ and $[A,B]$\ are linearly independent then,\ given any $\mathcal{C}% ^{\infty }$\ real vector field $C$\ in $\Omega $\ and any function $\varphi \in $\textbf{\ }$\mathcal{C}^{\infty }\left( \Omega \right) $, the second order operator $L=AB+C+\varphi $\ is locally solvable at every point of% \textbf{\ }$\Omega $\textbf{.} The result can be extended to first-order real pseudodifferential operators with simple real characteristics.
Contents Full-Text PDF