No label defined (Q3972698)

[For the entire collection see Zbl 0713.00006.] Let \(x=(x_ 0,x')\in\mathbb{R}\times\Omega\), where \(\Omega\) is a domain in \(\mathbb{R}^ d\). A polynomial \[ P(x_ 0,x')=x^ m_ 0+a_ 1(x')x_ 0^{m-1}+\cdots+a_ m(x') \] with respect to \(x_ 0\) is said to be hyperbolic if \(P(\cdot,x')\) has only real roots for all \(x'\) in \(\Omega\). For such a \(P\) and for any function \(f\) defined in \(\mathbb{R}\times\Omega\), consider the representation \(f(x)=P(x)Q(x)+R(x)\), where the remainder \(R\) is a polynomial in \(x_ 0\) of degree less than \(m\). Theorem 1. If \(a_ j\in C^ n(\Omega)\) and \(f\in C^ n(\mathbb{R}\times\Omega)\), then the quotient \(Q\) and the remainder \(R\) belong to \(C^{n-k}(\mathbb{R}\times\Omega)\) and \(C^{n-k+1}(\mathbb{R}\times\Omega)\) correspondingly iff the multiplicity of roots of the polynomial \(P\) does not exceed \(k\) for all \(x'\) in \(\Omega\). Theorem 2. If \(a_ j\) and \(f(x_ 0,\cdot)\) belong to a Carleman class \(K^ \varphi(\Omega)\) of \(C^ \infty\) functions, so do the quotient \(Q\) and the remainder \(R\). The author also shows that the smoothness of \(Q\) and \(R\) decreases near the boundary of hyperbolicity (for \(\Omega\) satisfying the cone condition).