Local Solvability of Quasilinear Pseudodifferential Operators of Real Principal Type

In this paper we prove local solvability of quasilinear pseudodifferential operators which has homogeneous principal symbol of real principal type. This generalizes Theorem A.1 in arXiv:2403.19054, which treats the case of quasilinear partial differential operators of order 2. The proof is by microlocalization to first order model operators.