关于Егоров的主型条件

设P(x,D)为定义在开集ΩR~n内的m阶classicalproperlysupported拟微分算子,P_0(x,ξ)是它的主symbol。对于x∈Ω,在文献[1]中给出如下主型条件对于任何满足P_0(x,ξ)=0的ξ∈R~n\0,dP_0(x,ξ)不与ξdx成比例。此时称P(x,D)在x是主型的。dP_0(x,ξ)与ξdx成比例即满足