On H. Weyl and J. Steiner polynomials (Q1024745)

The paper deals with root location problems for two classes of geometric polynomials. The first class consists of Weyl polynomials. Given a Riemannian manifold \(M^n\) isometrically embedded into the Euclidean space \(\mathbb R^{n+p}\), the volume of a tubular neigbourhood of radius \(t\) over \(M^n\) reads \(Vol=\omega_pt^p W^p_M(t)\), here \(W^p_M(t)\) is a polynomial, termed the Weyl polynomial of \(M^n\). Actually, the coefficients of \(W^p_M(t)\) may be expressed in terms of the Riemannian metric of \(M^n\). The Second class are Steiner polynomials. Given a compact convex set \(V\subset\mathbb R^n\), the Steiner polynomial of \(V\) is defined as the volume of the sum \(V+tB^n\), i.e., \(S_V(t) = Vol (V+tB^n)\), here \(B^n\) is the unite ball in \(\mathbb R^n\). The author analyzes relations between Weyl and Steiner polynomials and calculates them explicitly for particular convex sets (balls, cubes, squeezed cylinders). As for the main problem, the author discusses the root location for Weyl and Steiner polynomials and proves that given a closed compact convex surface \(M^n\subset \mathbb R^{n+1}\), \(M=\partial V\) if the Steiner polynomial \(S_V\) is dissipative, i.e. all its roots are situated in the open left half plane \(Re z <0\), then the Weyl polynomial \(W^1_M\) is conservative, i.e. all its roots are purely imaginary and simple. Besides, if \(2\leq n\leq 5\), then for any solid compact convex set \(V\subset\mathbb R^n\) the Steiner polynomial \(S_V\) is dissipative, whereas for any closed proper convex surface \(M^n\) all the Weyl polynomials \(W^p_M\) are conservative. Moreover, the Steiner polynomials of the unit ball \(B^n\) and of the cube \(I^n\) are dissipative, whereas the Weyl polynomials of the sphere \(\partial B^n\) and of the cube boundary surface \(\partial Q^n\) are conservative for any \(n\geq 1\). On the other hand, for some large \(n\) one can construct examples then the Weyls polynomials are not conservative or the Steiner polynomials are not dissipative