-
Introducing isodynamic points for binary forms and their ratios
Authors:
Christian Hägg,
Boris Shapiro,
Michael Shapiro
Abstract:
The isodynamic points of a plane triangle are known to be the only pair of its centers invariant under the action of the Mobius group on the set of triangles. Generalizing this classical result, we introduce below the isodynamic map associating to a univariate polynomial of degree d at least 3 with at most double roots a polynomial of degree (at most) 2d-4 such that this map commutes with the acti…
▽ More
The isodynamic points of a plane triangle are known to be the only pair of its centers invariant under the action of the Mobius group on the set of triangles. Generalizing this classical result, we introduce below the isodynamic map associating to a univariate polynomial of degree d at least 3 with at most double roots a polynomial of degree (at most) 2d-4 such that this map commutes with the action of the Mobius group on the zero loci of the initial polynomial and its image. The roots of the image polynomial will be called the isodynamic points of the preimage polynomial. Our construction naturally extends from univariate polynomials to binary forms and further to their ratios.
△ Less
Submitted 4 July, 2022;
originally announced July 2022.
-
Rodrigues' descendants of a polynomial and Boutroux curves
Authors:
Rikard Bøgvad,
Christian Hägg,
Boris Shapiro
Abstract:
Motivated by the classical Rodrigues' formula, we study the root asymptotic of the polynomial sequence $$R_{[αn],n,P}(z)=\frac{d^{[αn]}P^n(z)}{dz^{[αn]}}, n= 0,1,\dots$$ where ${P(z)}$ is a fixed univariate polynomial, $α$ is a fixed positive number smaller than deg $P$, and $[αn]$ stands for the integer part of $αn$.
Our description of this asymptotic is expressed in terms of an explicit harmon…
▽ More
Motivated by the classical Rodrigues' formula, we study the root asymptotic of the polynomial sequence $$R_{[αn],n,P}(z)=\frac{d^{[αn]}P^n(z)}{dz^{[αn]}}, n= 0,1,\dots$$ where ${P(z)}$ is a fixed univariate polynomial, $α$ is a fixed positive number smaller than deg $P$, and $[αn]$ stands for the integer part of $αn$.
Our description of this asymptotic is expressed in terms of an explicit harmonic function uniquely determined by the plane rational curve emerging from the application of the saddle point method to the integral representation of the latter polynomials using Cauchy's formula for higher derivatives. As a consequence of our method, we conclude that this curve is birationally equivalent to the zero locus of the bivariate algebraic equation satisfied by the Cauchy transform of the asymptotic root-counting measure for the latter polynomial sequence. We show that this harmonic function is also associated with an abelian differential having only purely imaginary periods and the latter plane curve belongs to the class of Boutroux curves initially introduced by Bertola.
As an additional relevant piece of information, we derive a linear ordinary differential equation satisfied by $\{R_{[αn],n,P}(z)\}$ as well as higher derivatives of powers of more general functions.
△ Less
Submitted 23 May, 2023; v1 submitted 12 July, 2021;
originally announced July 2021.
-
The asymptotic zero-counting measure of iterated derivaties of a class of meromorphic functions
Authors:
Christian Hägg
Abstract:
We give an explicit formula for the logarithmic potential of the asymptotic zero-counting measure of the sequence $\left\{\frac{\mathrm{d}^n}{\mathrm{d}z^n}\left(R(z)\exp{T(z)}\right)\right\}$. Here, $R(z)$ is a rational function with at least two poles, all of which are distinct, and $T(z)$ is a polynomial. This is an extension of a recent measure-theoretic refinement of Pólya's Shire theorem for…
▽ More
We give an explicit formula for the logarithmic potential of the asymptotic zero-counting measure of the sequence $\left\{\frac{\mathrm{d}^n}{\mathrm{d}z^n}\left(R(z)\exp{T(z)}\right)\right\}$. Here, $R(z)$ is a rational function with at least two poles, all of which are distinct, and $T(z)$ is a polynomial. This is an extension of a recent measure-theoretic refinement of Pólya's Shire theorem for rational functions.
△ Less
Submitted 4 October, 2017;
originally announced October 2017.
-
A refinement of Pólya's method to construct Voronoi diagrams for rational functions
Authors:
Rikard Bögvad,
Christian Hägg
Abstract:
Given a complex polynomial $P$ with zeroes $z_1,\dotsc,z_d$, we show that the asymptotic zero-counting measure of the iterated derivatives $Q^{(n)}, \ n=1,2,\dotsc$, where $Q=R/P$ is any irreducible rational function, converges to an explicitly constructed probability measure supported by the Voronoi diagram associated with $z_1,\dotsc,z_d$. This refines Pólya's Shire theorem for these functions.…
▽ More
Given a complex polynomial $P$ with zeroes $z_1,\dotsc,z_d$, we show that the asymptotic zero-counting measure of the iterated derivatives $Q^{(n)}, \ n=1,2,\dotsc$, where $Q=R/P$ is any irreducible rational function, converges to an explicitly constructed probability measure supported by the Voronoi diagram associated with $z_1,\dotsc,z_d$. This refines Pólya's Shire theorem for these functions. In addition, we prove a similar result, using currents, for Voronoi diagrams associated with generic hyperplane configurations in $\mathbb C^m$.
△ Less
Submitted 3 March, 2017; v1 submitted 4 October, 2016;
originally announced October 2016.
