Positive Polynomials and Boundary Interpolation with Finite Blaschke Products

The famous Jones–Ruscheweyh theorem states that n distinct points on the unit circle can be mapped to n arbitrary points on the unit circle by a Blaschke product of degree at most $$n-1$$ n - 1 . In this paper, we provide a new proof using real algebraic techniques. First, the interpolation conditions are rewritten into complex equations. These complex equations are transformed into a system of polynomial equations with real coefficients. This step leads to a “geometric representation” of Blaschke products. Then another set of transformations is applied to reveal some structure of the equations. Finally, the following two fundamental tools are used: a Positivstellensatz by Prestel and Delzell describing positive polynomials on compact semialgebraic sets using Archimedean module of length N. The other tool is a representation of positive polynomials in a specific form due to Berr and Wörmann. This, combined with a careful calculation of leading terms of occurring polynomials finishes the proof.

Holomorphic functions, relativistic sum, Blaschke products and superoscillations

Superoscillating functions are band-limited functions that can oscillate faster than their fastest Fourier component. The notion of superoscillation is a particular case of that one of supershift. In the recent years, superoscillating functions, that appear for example in weak values in quantum mechanics, have become an interesting and independent field of research in complex analysis and in the theory of infinite order differential operators. The aim of this paper is to study some infinite order differential operators acting on entire functions which naturally arise in the study of superoscillating functions. Such operators are of particular interest because they are associated with the relativistic sum of the velocities and with the Blaschke products. To show that some sequences of functions preserve the superoscillatory behavior it is of crucial importance to prove that their associated infinite order differential operators act continuously on some spaces of entire functions with growth conditions.