arXiv subjects

Mi Hu

Publications and source records attributed to Mi Hu.

9 recordsLinked to original sources

arXiv2026

Dynamics inside the attracting basins of some skew products

Polynomial skew products in $\mathbb{C}^2$ are maps of the form $F(z,w)=(P(z),Q(z,w))$, where $P$ and $Q$ are polynomials. Their local dynamics have been widely investigated. In this paper, we study the global dynamics inside Fatou components of some skew products. We consider all the inverse images in a Fatou component of a given point and use the Kobayashi metric to measure the distance between points. In the cases we consider, there are always arbitrarily large Kobayashi balls in the complement of these inverse sets.

math.DS↗

arXiv2025

Orbits Inside Basins of Attraction of Skew Products

A basic problem in complex dynamics is to understand orbits of holomorphic maps. One problem is to understand the collection of points $S$ in an attracting basin whose forward orbits land exactly on the attracting fixed point. In the paper [13], the second author showed that for holomorphic polynomials in $\mathbb C$, there is a constant $C$ so that all Kobayashi discs of radius $C$ must intersect this set $S$. In the paper [15], the second author showed that there are holomorphic skew products in $\mathbb {C}^2$ where this result fails. The main result of this paper is to show that for a large class of polynomial skew products, this result nevertheless holds.

math.DS↗

arXiv2024

Backtracking New Q-Newton's method for finding roots of meromorphic functions in 1 complex variable: Global convergence, and local stable/unstable curves

In this paper, we research more in depth properties of Backtracking New Q-Newton's method (recently designed by the third author), when used to find roots of meromorphic functions. If $f=P/Q$, where $P$ and $Q$ are polynomials in 1 complex variable z with $\deg (P)>\deg (Q)$, we show the existence of an exceptional set $\mathcal{E}\subset\mathbf{C}$, which is contained in a countable union of real analytic curves in $\mathbf{R}^2=\mathbf{C}$, so that the following statements A and B hold. Here, $\{z_n\}$ is the sequence constructed by BNQN with an initial point $z_0$ which is not a pole of $f$. A) If $z_0\in\mathbf{C}\backslash\mathcal{E}$, then $\{z_n\}$ converges to a root of $f$. B) If $z_0\in \mathcal{E}$, then $\{z_n\}$ converges to a critical point - but not a root - of $f$. Experiments seem to indicate that in general, even when $f$ is a polynomial, the set $\mathcal{E}$ is not contained in a finite union of real analytic curves. We provide further results relevant to whether locally $\mathcal{E}$ is contained in a finite number of real analytic curves. A similar result holds for general meromorphic functions. Moreover, unlike previous work, here we do not require that the parameters of BNQN are random, or that the meromorphic function $f$ is generic. Based on the theoretical results, we explain (both rigorously and heuristically) of what observed in experiments with BNQN, in previous works by the authors. In particular, the dynamics of BNQN (an iterative method) seems to have some striking similarities to Newton's method (a continuous method) and the classical Poincar\'e-Bendixon theorem for differentiable real dynamical systems on the complex plane. This is the more interesting given that discrete versions of Newton's method (e.g. Relaxed Newton's method) does not behave this way.

math.DS↗

arXiv2024

Backtracking New Q-Newton's method, Newton's flow, Voronoi's diagram and Stochastic root finding

math.OC↗

arXiv2023

Backtracking New Q-Newton's method, Schr\"oder's theorem, and Linear Conjugacy

A new variant of Newton's method - named Backtracking New Q-Newton's method (BNQN) - which has strong theoretical guarantee, is easy to implement, and has good experimental performance, was recently introduced by the third author. Experiments performed previously showed some remarkable properties of the basins of attractions for finding roots of polynomials and meromorphic functions using BNQN. In particular, it seems that for finding roots of polynomials of degree 2, the basins of attraction of the dynamics for BNQN are the same as that for Newton's method (the latter is the classical Schr\"oder's result in Complex Dynamics). In this paper, we show that indeed the picture we obtain when finding roots of polynomials of degree 2 is the same as that in Sch\"oder's result, with a remarkable difference: on the boundary line of the basins, the dynamics of Newton's method is chaotic, while the dynamics of BNQN is more smooth. On the way to proving the result, we show that BNQN (in any dimension) is invariant under conjugation by linear operators of the form $A=cR$, where $R$ is unitary and $c>0$ a constant. This again illustrates the similarity-difference relation between BNQN and Newton's method.

math.DS↗

arXiv2023

Orbits inside Fatou sets

In this paper, we investigate the precise behavior of orbits inside attracting basins of rational functions on $\mathbb P^1$ and entire functions $f$ in $\mathbb{C}$. Let $R(z)$ be a rational function on $\mathbb P^1$, $\mathcal {A}(p)$ be the basin of attraction of an attracting fixed point $p$ of $R$, and $\Omega_i$ $ (i=1, 2, \cdots)$ be the connected components of $\mathcal{A}(p)$, and $\Omega_1$ contains $p.$ Let $p_0\in\Omega_1$ be close to $p.$ If at least one $\Omega_i$ is not simply connected, then there exists a constant $C$ so that for any $z_0\in \Omega_i$, there is a point $q\in \cup_k R^{-k}(p_0), k\geq0$ so that the Kobayashi distance $d_{\Omega_i}(z_0, q)\leq C.$ If all $\Omega_i$ are simply connected, then the result is the same as for polynomials and is treated in an earlier paper. For entire functions $f$, we generally can not have similar results as for rational functions. However, if $f$ has finitely many critical points, then similar results hold.

math.DS↗

arXiv2023

Dynamics inside Fatou sets in higher dimensions

In this paper, we investigate the behavior of orbits inside attracting basins in higher dimensions. Suppose $F(z, w)=(P(z), Q(w))$, where $P(z), Q(w)$ are two polynomials of degree $m_1, m_2\geq2$ on $\mathbb{C}$, $P(0)=Q(0)=0,$ and $0<|P'(0)|, |Q'(0)|<1.$ Let $\Omega$ be the immediate attracting basin of $F(z, w)$. Then there is a constant $C$ such that for every point $(z_0, w_0)\in \Omega$, there exists a point $(\tilde{z}, \tilde{w})\in \cup_k F^{-k}(0, 0), k\geq0$ so that $d_\Omega\big((z_0, w_0), (\tilde{z}, \tilde{w})\big)\leq C, d_\Omega$ is the Kobayashi distance on $\Omega$. However, for many other cases, this result is invalid.

math.DS↗

arXiv2022

Dynamics inside Parabolic Basins

In this paper, we investigate the behavior of orbits inside parabolic basins. Let $f(z)=z+az^{m+1}+(\text{higher terms}), m\geq1, a\neq0.$ We choose an arbitrary constant $C>0$ and a point $q\in{\bf v_j}\cap\mathcal{P}_j$. Then there exists a point $z_0\in \mathcal{P}_j$ so that for any $\tilde{q}\in Q:= \cup_{l=0}^{\infty}f^{-l}(f^k(q)) (l, k$ are non-negative integers), the Kobayashi distance $d_{\mathcal {P}_j}(z_0, \tilde{q})> C$, where $d_{\mathcal{P}_j}$ is the Kobayashi metric. In a previous paper [4], we showed that this result is not valid for attracting basins.

math.DS↗

arXiv2022

Interior Dynamics of Fatou Sets

In this paper, we investigate the precise behavior of orbits inside attracting basins. Let $f$ be a holomorphic polynomial of degree $m\geq2$ in $\mathbb{C}$, $\mathcal {A}(p)$ be the basin of attraction of an attracting fixed point $p$ of $f$, and $\Omega_i (i=1, 2, \cdots)$ be the connected components of $\mathcal{A}(p)$. We prove that there is a constant $C$ so that for every point $z_0$ inside any $\Omega_i$, there exists a point $q\in \cup_k f^{-k}(p)$ inside $\Omega_i$ such that $d_{\Omega_i}(z_0, q)\leq C$, where $d_{\Omega_i}$ is the Kobayashi distance on $\Omega_i.$

math.DS↗