No label defined (Q4940591)

The authors study initial-boundary value problems of the following form \[ \left({{\partial}\over{\partial}} \right)^{n} L \left({{\partial}\over{\partial}} \right) u(t,x) + \sum_{\beta =0}^{n-1} \left( \sum _{|s|\leq 2m} a_{\beta}^{s} {{\partial^{|s|}}\over{\partial x_{1}^{|s_{1}|}} \ldots \partial x_{p}^{s_{p}}} \right) \left( {{\partial}\over{\partial}} \right)^{\beta }u(t,x)=0, \tag{1} \] \[ {{\partial^{j-1}u}\over{\partial t^{j-1}}} \big|_{t=0} = \varphi_{j}(x), \;j=1,\ldots,l;\;\;{{\partial^{r-1}u}\over{\partial t^{r-1}}} \big |_{t=T} = \varphi_{j+r}(x), \;r=1,\ldots,n-l;\;1 \leq l \leq n-1, \tag{2} \] where operator \[ L \left({{\partial}\over{\partial}} \right) \equiv \left( \sum _{|s|\leq 2m} a_{\beta}^{s} {{\partial^{|s|}}\over{\partial x_{1}^{|s_{1}|}} \ldots \partial x_{p}^{s_{p}}} \right) \] is elliptic; functions \(u(t,x),\varphi_{k}, k=1, \ldots n,\) are periodic on variables \( x_{1}, \ldots x_{p}\); \( b^{s}, a^{s}_{\beta} \in\mathbb{R}\); \( n \geq 2; \) \( m \geq 1; \) \( (t,x) \in D=[0,T]\times \Omega , \) and \( \Omega \) is the \(p\)-dimensional torus. Necessary and sufficient conditions such that problem (1)-(2) has a unique solution are given as well as conditions under which problem (1)-(2) has a solution that continuously depends on the initial function (2). One of these conditions is an assumption on lower bounds of small denominators which appear when solutions to problem (1)--(2) are constructed. So the main part of the paper is relative to the proof of the metric theorem on lower estimates of small denominators.