On hyperbolic equations with analytic coefficients with respect to the spatial variables (Q1103110)

Soit \[ P=\partial^ m_ t+\sum_{| \alpha | +i\leq m, i\leq m- 1}a_{i\alpha}(t,x)\partial^ i_ t \partial^{\alpha}_ x \] (où \(\alpha =(\alpha_ 1,...,\alpha_{\ell})\), avec \(\alpha_ j\) entier non-négatif, \(| \alpha | =\sum_{i=1}\alpha_ i\), \(\partial^{\alpha}_ x=\partial^{\alpha_ 1}_{x_ 1}...\partial^{\alpha_{\ell}}_{x_{\ell}})\) un opérateur différentiel d'ordre m, avec les coefficients \(a_{i\alpha}(t,x)\) tels que: pour tout \((i,\alpha)\) l'application \(t\to a_{i\alpha}(t,x)\) est continue de l'intervalle \([0,T]\) dans l'espace des fonctions holomorphes sur le domaine \(\{z\in C^{\ell}:| \Re z_ j| <R_ 1\), \(| \Im z_ j| <R_ 2\), pour \(j=1,...,\ell \}\), où \(R_ 1\), \(R_ 2\) sont des constantes positives. On suppose que l'opérateur \(P\) soit hyperbolique, c'est-à-dire sa partie principale \(p_ m(t,x;\tau,\xi)=\tau^ m+\sum a_{i\alpha}(t,x)\tau^ i\xi^{\alpha}\) a ses racines réelles pour tout \((t,x,\xi)\in [0,T]\times R^{\ell}\times R^{\ell}\) avec \(| x_ j| <R_ 1\). Soit \(V_{\delta}\) \((\delta >0)\), le maximum du module des racines du polynôme en \(\tau\), \(p_ m(t,x;\tau,\xi)\) quand le point \((t,x,\xi)\) demeure dans \([0,t]\times \{x\in R^{\ell}\); \(| x_ j| \leq R_ 1-\delta \}\times \{\xi \in R^{\ell}\); \(| \xi | =1\}.\) Cela posé, il s'agit du théorème suivant: Si l'opérateur \(P\) est hyperbolique, alors pour le problème de Cauchy \(Pu=0\), \(t>0\); \(\partial^ i_ ju|_{t=0}=\Phi_ i(x)\), \((i=0,1,...,m-1)\), avec le données \(\Phi_ i(x)\) analytiques dans une boule \(\{x\in R^{\ell}\); \(| x_ j| <\rho \}\) continue dans un domaine \(D_{\delta}\) avec \(\delta >0\), il existe une et une seule solution analytique en \(x\) dans \(\{(t,x)\in [0,T]\times R^{\ell}\); \(| x_ j| <\rho -V_{\delta}t\}\), où solution est une fonction m-fois continument dérivable, qui remplit l'équation \(f(D_ x)u=(2\pi)^{- \ell}\int e^{ix\xi} f(\xi)\hat u(\xi)\, d\xi\), où \(\hat u(\xi)\) est la transforme de Fourier de \(u(x)\).