A necessary condition for \(H^ \infty\)-well-posed Cauchy problem of Schrödinger type equations with variable coefficients (Q1202852)

On considère le problème de Cauchy \[ Lu=f,\;u|_{t=0}=u_ 0,\quad 0\leq t\leq T,\quad x\in\mathbb{R}^ n, \tag{1} \] où \[ L={1 \over i} \partial_ t-{1 \over 2} \sum_{1 \leq j,k \leq n} \partial_{x_ j} \left( g^{jk} (x) \partial_{x_ k} \right)+\sum_{1 \leq j \leq n} b^ j(x) \partial_{x_ j}+c(x), \] est uniformément elliptique, \(g^{jk}\), \(b^ j\), \(c\in B^ \infty (\mathbb{R}^ n)\), \(u,f \in {\mathcal E}^ 0_ t ([0,T]; H^ \infty(\mathbb{R}^ n))\) et \(u_ 0\in H^ \infty (\mathbb{R}^ n)\). On trouve une condition (portant sur \(b^ j\) et le flot hamiltonien de \(H(x,p)={1\over 2}\sum_{j,k}g^{jk}(x)p_ jp_ k)\) nécessaire afin que le problème (1) admette une unique solution, généralisant celle de \textit{W. Ichinose} [Osaka J. Math. 24, 853-886 (1987; Zbl 0654.35042)], du cas \(L^ 2\). On applique aussi les idées de Ichinose: estimation a priori par le théorème du graphe fermé et construction d'une solution asymptotique.