scientific article; zbMATH DE number 16051

[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).

Recommendations

Cited in

(7)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3972698)