Quasianalytic classes of functions associated with general linear partial differential operators (Q802071)

Consider the linear partial differential operator of order \(k: H\equiv \sum_{| i| +| j| \leq k}b_{ij}(t,x)D^ j_ tD^ i_ x\) in the domain \(G=\{(t,x): -1\leq t\leq 1,x\in R^ N,| x| \leq 1\}\) with \(b_{0,k}(t,x)\neq 0\), \(b_{ij}(t,x)\in C^{\infty}(G)\). Consider also a nonnegative sequence \(\{m_ n\}\), satisfying the quasianalyticity condition \(\int^{\infty}_{1}(\ell n T(r)/r^ 2)dr=\infty,\) \(T(r)=\sup_{m\geq 0}\{r^ n/m_ n\}\) and the condition \(m_ n=n!\alpha_ n\), \(\alpha_ p\alpha_ q\leq \alpha_{p+q}\); \(p,q,n=0,1,..\). Assume that the coefficients of the operator H satisfying the inequality \(| D^ p_{t,x}b_{ij}(t,x)| \leq K^{| p| +1}\cdot m_{| p|},\) (t,x)\(\in G\), \(| p| =0,1,..\). for K not depending on t,x and p. Then the main result of this paper is following: if the function u(t,x) satisfies the conditions: \(H^ nu\in C^ k(G)\), \(| H^ nu(t,x)| \leq A_ n^{n+1}\cdot m_{nk},\quad D^ p_ tH^ nu(0,x)=0,\) (t,x)\(\in G\) for \(0\leq p\leq k- 1\), \(n=0,1,..\). then u(t,x) is equal to zero identically on some neighbourhood of the point \((t^ 0,x^ 0)\) with \(t^ 0=0\), \(x^ 0=0\).