... L(x, t, D ), Nj(x, t, D) in the formL = L(x, t, ∂x )= |p|≤2map(x, t) DpNj = Nj(x, t, D )= |p|≤2m−jbjp(x, t) Dp , j =1 , , m.Let L0(x, t, D ), N0j(x, t, D ), be the principal ... assertion of the theorem by induction on h. Let us consider first the case h = 1. We rewrite (2.6 ), (2.7) in the formL(x, t, D)u = f 1 := f − uttin Q , (4:25)Nj(x, t, D)u =0 onS, j =1 , , m.(4:26)Since f 1( , ... setB(t , u, v)=Bt0(t , u, v)andBτ(u, v)=Bτt0(u, v).From the formally self-adjointness of the operator L, we see thatB(τ , u, v) = B(τ , v, u).(3:1)Next, we introduce the followi...