-
An inverse problem in Pólya--Schur theory. II. Exactly solvable operators and complex dynamics
Authors:
Per Alexandersson,
Nils Hemmingsson,
Boris Shapiro
Abstract:
This paper, being the sequel of [An inverse problem in Polya-Schur theory. I. Non-genegerate and degenerate operators], studies a class of linear ordinary differential operators with polynomial coefficients called \emph{exactly solvable}; such an operator sends every polynomial of sufficiently large degree to a polynomial of the same degree. We focus on invariant subsets of the complex plane for s…
▽ More
This paper, being the sequel of [An inverse problem in Polya-Schur theory. I. Non-genegerate and degenerate operators], studies a class of linear ordinary differential operators with polynomial coefficients called \emph{exactly solvable}; such an operator sends every polynomial of sufficiently large degree to a polynomial of the same degree. We focus on invariant subsets of the complex plane for such operators when their action is restricted to polynomials of a fixed degree and discover a connection between this topic and classical complex dynamics and its multi-valued counterpart. As a very special case of invariant sets we recover the Julia sets of rational functions.
△ Less
Submitted 2 December, 2024;
originally announced December 2024.
-
Conformal measures of (anti)holomorphic correspondences
Authors:
Nils Hemmingsson,
Xiaoran Li,
Zhiqiang Li
Abstract:
In this paper, we study the existence and properties of conformal measures on limit sets of (anti)holomorphic correspondences. We show that if the critical exponent satisfies $1\leq δ_{\operatorname{crit}}(x) <+\infty,$ the correspondence $F$ is (relatively) hyperbolic on the limit set $Λ_+(x)$, and $Λ_+(x)$ is minimal, then $Λ_+(x)$ admits a non-atomic conformal measure for $F$ and the Hausdorff…
▽ More
In this paper, we study the existence and properties of conformal measures on limit sets of (anti)holomorphic correspondences. We show that if the critical exponent satisfies $1\leq δ_{\operatorname{crit}}(x) <+\infty,$ the correspondence $F$ is (relatively) hyperbolic on the limit set $Λ_+(x)$, and $Λ_+(x)$ is minimal, then $Λ_+(x)$ admits a non-atomic conformal measure for $F$ and the Hausdorff dimension of $Λ_+(x)$ is strictly less than 2. As a special case, this shows that for a parameter $a$ in the interior of a hyperbolic component of the modular Mandelbrot set, the limit set of the Bullett--Penrose correspondence $F_a$ has a non-atomic conformal measure and its Hausdorff dimension is strictly less than 2. The same results hold for the LLMM correspondences, under some extra assumptions on its defining function $f$.
△ Less
Submitted 21 January, 2025; v1 submitted 2 September, 2024;
originally announced September 2024.
-
On boundary points of minimal continuously Hutchinson invariant sets
Authors:
Per Alexandersson,
Nils Hemmingsson,
Dmitry Novikov,
Boris Shapiro,
Guillaume Tahar
Abstract:
A linear differential operator $T=Q(z)\frac{d}{dz}+P(z)$ with polynomial coefficients defines a continuous family of Hutchinson operators when acting on the space of positive powers of linear forms. In this context, $T$ has a unique minimal Hutchinson-invariant set $M_{CH}^{T}$ in the complex plane. Using a geometric interpretation of its boundary in terms of envelops of certain families of rays,…
▽ More
A linear differential operator $T=Q(z)\frac{d}{dz}+P(z)$ with polynomial coefficients defines a continuous family of Hutchinson operators when acting on the space of positive powers of linear forms. In this context, $T$ has a unique minimal Hutchinson-invariant set $M_{CH}^{T}$ in the complex plane. Using a geometric interpretation of its boundary in terms of envelops of certain families of rays, we subdivide this boundary into local and global arcs (the former being portions of integral curves of the rational vector field $\frac{Q(z)}{P(z)}\partial_{z}$), and singular points of different types which we classify below. The latter decomposition of the boundary of $M_{CH}^{T}$ is largely determined by its intersection with the plane algebraic curve formed by the inflection points of trajectories of the field $\frac{Q(z)}{P(z)}\partial_{z}$. We provide an upper bound for the number of local arcs in terms of degrees of $P$ and $Q$. As an application of our classification, we obtain a number of global geometric properties of minimal Hutchinson-invariant sets.
△ Less
Submitted 16 June, 2024;
originally announced June 2024.
-
Equidistribution of iterations of holomorphic correspondences and Hutchinson invariant sets
Authors:
Nils Hemmingsson
Abstract:
In this paper, we analyze a certain family of holomorphic correspondences on $\hat{\mathbb C}\times\hat{\mathbb C}$ and prove their equidistribution properties. In particular, for any correspondence in this family we prove that the naturally associated multivalued map $F$ is such that for any $a\in \mathbb C$, we have that $(F^n)_*(δ_a)$ converges to a probability measure $μ_F$ for which…
▽ More
In this paper, we analyze a certain family of holomorphic correspondences on $\hat{\mathbb C}\times\hat{\mathbb C}$ and prove their equidistribution properties. In particular, for any correspondence in this family we prove that the naturally associated multivalued map $F$ is such that for any $a\in \mathbb C$, we have that $(F^n)_*(δ_a)$ converges to a probability measure $μ_F$ for which $F_*(μ_F)=μ_F d$ where $d$ is the degree of $F$. This result is used to show that the minimal Hutchinson invariant set in degree $n$ of a large class of operators and for sufficiently large $n$ exists and is the support of the aforementioned measure. We prove that under a minor additional assumption, this set is a Cantor set.
△ Less
Submitted 18 October, 2024; v1 submitted 23 May, 2023;
originally announced May 2023.
-
Linear first order differential operators and their Hutchinson-invariant sets
Authors:
Per Alexandersson,
Nils Hemmingsson,
Dmitry Novikov,
Boris Shapiro,
Guillaume Tahar
Abstract:
In this paper, we initiate the study of a new interrelation between linear ordinary differential operators and complex dynamics which we discuss in details in the simplest case of operators of order $1$. Namely, assuming that such an operator $T$ has polynomial coefficients, we interpret it as a continuous family of Hutchinson operators acting on the space of positive powers of linear forms. Using…
▽ More
In this paper, we initiate the study of a new interrelation between linear ordinary differential operators and complex dynamics which we discuss in details in the simplest case of operators of order $1$. Namely, assuming that such an operator $T$ has polynomial coefficients, we interpret it as a continuous family of Hutchinson operators acting on the space of positive powers of linear forms. Using this interpretation of $T$, we introduce its continuously Hutchinson invariant subsets of the complex plane and investigate a variety of their properties. In particular, we prove that for any $T$ with non-constant coefficients, there exists a unique minimal under inclusion invariant set $\mathrm{M}^T_{CH}$ and find explixitly when it equals $\mathbb{C}$.
△ Less
Submitted 17 May, 2024; v1 submitted 21 February, 2022;
originally announced February 2022.
