Heisenberg群上一类左不变LPDO的局部基本解及局部可解性

In this paper it is proved that local fundamental solution exists in some space W^m(H_n) (m∈Z), if the left invariant differential operator on the Heisenberg group H_n satisfies certain condition. The main results are:l.Let L be a left invariant differential operator on H_n. If there exist R≥0, r,s∈R and operators {B_λ|λ∈Γ_R} ∈V^s(Γ_R, M^r) such that, for almost all λ∈Γ_R, B_λ is the right inverse of Ⅱ_λ(L), then there exists E∈W^m(H_n) (when m≥0 or m even) or E∈W^m-1(H_n) (when m<0 and odd) such that LE =δ(near the origie) Where m=min(r],-2s]-n-2); 2. Let L(W,T) be of the form (3.1). If there exist R≥0 and r,s∈R such that when |λ|≥R,(?) and C_λ≥ C|λ|^x(C>0), then the same conclusion as above holds with m=min(-2r]-n-2,-2s]-n-2).

Local Fundamental Solutions of a Class of Left Invariant Differential Operators on the Heisenberg Group