具非正则系数的某二阶微分算子的一个L~2估计

在研究具重特征的微分算子的性态时,人们常常将下述算子作为一个典型的例子: P=sum from j=1 to k(X_j~2 X_0) (1)此中X_i(j=0,1,…,k)是域上的具C~∞系数的实矢量场。 L.Hrmander[1]首先证明了如下结果:若Ω上的矢量场所组成的空间由(X_0,x_1,…,X_k)所生成的C~∞(Ω)上的李代数所构成,则P是一个亚椭园算子。并且,他在该文中还指出,由Frobenius定理可知上述条件对P的亚椭园性本质上还是必要的。Hvmander的证明比较艰难。后来,J.J.Kohn[2]用拟微分算子理论大大简化了他的证明。而M.E.Taglor在他的书中[3]又用Kohn的方法将它推广到X_i为具实主象征的一阶拟微分算子。