Гладкая зависимость от параметра решений регулярных уравнений

В работе доказывается гладкая зависимость от параметра $\lambda$ решений одного класса гипоэллиптических уравнений. В частности доказывается следующее. Пусть имеем уравнение $P(\lambda, D)U=f$. Обозначим через $N(\lambda)$ множество всех решений уравнения $PU=0$ из класса $W_2^H(R^n)$.Если размерность $N(\lambda)$ не зависит от $\lambda,$ то любое решение уравнения $PU=f$, ортогональное $N(\lambda)$ в $L_2(R^n)$, бесконечно дифференцируемо по $(x, \lambda)$.