搜索结果：escaping

Let $H$ be a Hénon map of the form $H(x,y)=(y,p(y)-ax)$. We prove that the escaping set $U^+$ (or equivalently, the non-escaping set $K^+$), of $H$ is rigid under the actions of automorphisms of $\mathbb{C}^2$ if the degree of $H=d\le |a|$. Specifically, every automorphism of $\mathbb{C}^2$ that preserves $U^+$, essentially takes the form $C \circ H^s$ where $s \in \mathbb{Z}$, and $C(x,y)=(ηx, η^d y)$ with $η$ some $(d^2-1)$-root of unity. Consequently, we show that the automorphisms of the short $\mathbb{C}^2$'s, obtained as the sub-level sets of the (positive) Green's function corresponding to the Hénon map $H$ for strictly positive values, are essentially linear maps of $\mathbb{C}^2$ preserving the escaping set $U^+$. Hence, the automorphism groups of these short $\mathbb{C}^2$'s are the same, finite, and form a subgroup of $\mathbb{Z}_{d^2-1}$.

We present a comprehensive theoretical analysis of first-order methods for escaping strict saddle points in smooth non-convex optimization. Our main contribution is a Perturbed Saddle-escape Descent (PSD) algorithm with fully explicit constants and a rigorous separation between gradient-descent and saddle-escape phases. For a function $f:\mathbb{R}^d\to\mathbb{R}$ with $\ell$-Lipschitz gradient and $ρ$-Lipschitz Hessian, we prove that PSD finds an $(ε,\sqrt{ρε})$-approximate second-order stationary point with high probability using at most $O(\ellΔ_f/ε^2)$ gradient evaluations for the descent phase plus $O((\ell/\sqrt{ρε})\log(d/δ))$ evaluations per escape episode, with at most $O(\ellΔ_f/ε^2)$ episodes needed. We validate our theoretical predictions through extensive experiments across both synthetic functions and practical machine learning tasks, confirming the logarithmic dimension dependence and the predicted per-episode function decrease. We also provide complete algorithmic specifications including a finite-difference variant (PSD-Probe) and a stochastic extension (PSGD) with robust mini-batch sizing.

Observations of transmission spectra reveal that hot Jupiters and Neptunes are likely to possess escaping atmospheres driven by stellar radiation. Numerous models predict that magnetic fields may exert significant influences on the atmospheres of hot planets. Generally, the escaping atmospheres are not entirely ionized, and magnetic fields only directly affect the escape of ionized components within them. Considering the chemical reactions between ionized components and neutral atoms, as well as collision processes, magnetic fields indirectly impact the escape of neutral atoms, thereby influencing the detection signals of planetary atmospheres in transmission spectra. In order to simulate this process, we developed a magneto-hydrodynamic multi-fluid model based on MHD code PLUTO. As an initial exploration, we investigated the impact of magnetic fields on the decoupling of H$^+$ and H in the escaping atmosphere of the hot Neptune GJ436 b. Due to the strong resonant interactions between H and H$^+$, the coupling between them is tight even if the magnetic field is strong. Of course, alternatively, our work also suggests that merging H and H$^+$ into a single flow can be a reasonable a

The escaping set of an entire function consists of the points in the complex plane that tend to infinity under iteration. This set plays a central role in the dynamics of transcendental entire functions. The goal of this survey is to explain this role, to summarise some of the main results in the area, and to identify a number of open questions.

We introduce a new dynamical system model called the shadowing problem, where a shadower chases after an escaper by always staring at and keeping the distance from him. When the escaper runs along a planar closed curve, we associate to the reduced shadowing equations the rotation number, and show that it depends only on the geometry of the escaping curve. Two notions called the critical shadowing distance and turning shadowing distance are introduced to characterize different dynamical behaviors. We show that a planar closed escaping curve could have shadowing curves of different types including periodic, subharmonic and ergodic ones, depending on the shadowing distance. Singularities of cusp type are found when the shadowing distance is large. Shadowing curves to an escaping circle are examined in details analytically and numerically. Finally, we conjecture that the critical shadowing distance and turning shadowing distance are coincident for typical escaping curves.

The absorption signals of metastable He in HD 209458b and several other exoplanets can be explained via escaping atmosphere model with a subsolar He/H ratio. The low abundance of helium can be a result of planet formation if there is a small amount of helium in their primordial atmosphere. However, another possibility is that the low He/H ratio is caused by the process of mass fractionation of helium in the atmosphere. In order to investigate the effect of the fractionation in the hydrogen-helium atmosphere, we developed a self-consistent multi-fluid 1D hydrodynamic model based on the well-known open-source MHD code PLUTO. Our simulations show that a lower He/H ratio can be produced spontaneously in the multi-fluid model. We further modeled the transmission spectra of He 10830 lines for HD 209458b in a broad parameter space. The transmission spectrum of the observation can be fitted in the condition of 1.80 times the X-ray and extreme-ultraviolet flux of the quiet Sun. Meanwhile, the ratio of the escaping flux of helium to hydrogen, $F_{He}/F_{H}$, is 0.039. Our results indicate that the mass fractionation of helium to hydrogen can naturally interpret the low He/H ratio required by

We partition the fast escaping set of a transcendental entire function into two subsets, the maximally fast escaping set and the non-maximally fast escaping set. These sets are shown to have strong dynamical properties. We show that the intersection of the Julia set with the non-maximally fast escaping set is never empty. The proof uses a new covering result for annuli, which is of wider interest. It was shown by Rippon and Stallard that the fast escaping set has no bounded components. In contrast, by studying a function considered by Hardy, we give an example of a transcendental entire function for which the maximally and non-maximally fast escaping sets each have uncountably many singleton components.

For a non-trivial transcendental semigroup, escaping set I(S) is in general S-forward invariant and it is S-completely invariant if semigroup S is abelian. In the contrary of this result, we investigate completely invariant escaping set K(S) in different way even if semigroup S is not abelian and we discuss some properties and structure of such type of escaping set. Also, we establish some relations between completely invariant escaping set K(S) and the general escaping set I(S).

We develop an abstract model for the dynamics of an exponential map $z\mapsto \exp(z)+κ$ on its set of escaping points and, as an analog of Boettcher's theorem for polynomials, show that every exponential map is conjugate, on a suitable subset of its set of escaping points, to a restriction of this model dynamics. Furthermore, we show that any two attracting and parabolic exponential maps are conjugate on their sets of escaping points; in fact, we construct an analog of Douady's "pinched disk model" for the Julia sets of these maps. On the other hand, we show that two exponential maps are generally not conjugate on their sets of escaping sets. Using the correspondence with our model, we also answer several questions about escaping endpoints of external rays, such as when a ray is differentiable in such an endpoints or how slowly these endpoints can escape to infinity.

Let $f$ be a transcendental entire function and $U$ be a Fatou component of $f$. We show that if $U$ is an escaping wandering domain of $f$, then most boundary points of $U$ (in the sense of harmonic measure) are also escaping. In the other direction we show that if enough boundary points of $U$ are escaping, then $U$ is an escaping Fatou component. Some applications of these results are given; for example, if $I(f)$ is the escaping set of $f$, then $I(f)\cup\{\infty\}$ is connected.

In this paper, we prove that the ratio of the modulus of the iterates of two points in an escaping Fatou component may be bounded even if the orbit of the component contains an infinite modulus annulus sequence and this case cannot happen when the maximal modulus of the meromorphic function is large enough. Therefore, we extend the related results for entire functions to ones for meromorphic functions with infinitely many poles. And we investigate the fast escaping Fatou components of meromorphic functions defined in [44] in terms of the Nevanlinna characteristic instead of the maximal modulus in [12] and show that the multiply-connected wandering domain is a part of the fast escaping set under a growth condition of the maximal modulus. Finally we give examples of wandering domains escaping at arbitrary fast rate and slow rate.

Beginning with Devaney, several authors have studied transcendental entire functions for which every point in the escaping set can be connected to infinity by a curve in the escaping set. Such curves are often called Devaney hairs. We show that, in many cases, every point in such a curve, apart from possibly a finite endpoint of the curve, belongs to the fast escaping set. We also give an example of a Devaney hair which lies in a logarithmic tract of a transcendental entire function and contains no fast escaping points.

A transcendental entire function is called criniferous if every point in its escaping set can eventually be connected to infinity by a curve of escaping points. Many transcendental entire functions with bounded singular set have this property, and this class has recently attracted much attention in complex dynamics. In the presence of escaping critical values, these curves break or split at (preimages of) critical points. In this paper, we develop combinatorial tools that allow us to provide a complete description of the escaping set of any criniferous function without asymptotic values on its Julia set. In particular, our description precisely reflects the splitting phenomenon. This combinatorial structure provides the foundation for further study of this class of functions. For example, we use these results in [arXiv:1905.03778] to give the first full description of the topological dynamics of a class of transcendental entire maps with unbounded postsingular set.

We study the different rates of escape of points under iteration by holomorphic self-maps of $\mathbb C^*=\mathbb C\setminus\{ 0\}$ for which both 0 and $\infty$ are essential singularities. Using annular covering lemmas we construct different types of orbits, including fast escaping and arbitrarily slowly escaping orbits to either 0, $\infty$ or both. We also prove several properties about the set of fast escaping points for this class of functions. In particular, we show that there is an uncountable collection of disjoint sets of fast escaping points each of which has the Julia set as its boundary.

Bergweiler and Kotus gave sharp upper bounds for the Hausdorff dimension of the escaping set of a meromorphic function in the Eremenko-Lyubich class, in terms of the order of the function and the maximal multiplicity of the poles. We show that these bounds are also sharp in the Speiser class. We apply this method also to construct meromorphic functions in the Speiser class with preassigned dimensions of the Julia set and the escaping set.

We investigate to what extent Fatou set, Julia set and escaping set of transcendental semigroup is respectively equal to the Fatou set, Julia set and escaping set of its subsemigroup. We define partial fundamental set and fundamental set of transcendental semigroup and on the basis of this set, we prove that Fatou set and escaping set of transcendental semigroup $ S $ are non-empty.

For a transcendental entire function $f$ of finite order in the Eremenko-Lyubich class $\mathcal{B}$, we give conditions under which the Lebesgue measure of the escaping set $\mathcal{I}(f)$ of $f$ is zero. This is inspired by the recent work of Aspenberg and Bergweiler, in which they give conditions on entire functions in the same class with escaping sets of positive Lebesgue measure. We will construct an entire function in the Eremenko-Lyubich class to show that the condition given by Aspenberg and Bergweiler is essentially sharp. Furthermore, we adapt our idea of proof to the case of infinite order entire functions. Under some restrictions to the growth of these entire functions, we show that the escaping sets have zero Lebesgue measure. This generalizes a result of Eremenko and Lyubich.

The reactive process of barrier escaping from the metastable potential well is studied together with the extension of Kramers' rate formula to the fractional case. Characteristic quantities are computed for an thimbleful of insight into the near barrier escaping and recrossing dynamics. Where the stationary transmission coefficient is revealed to be larger than the usual cases which implies less barrier recrossing. And the non-monotonic varying of it reveals a close dependence to the fractional exponent $α$. In most cases, the near barrier behavior of the escaping dynamics is equivalent to the diffusion in the two-dimensional non-Ohmic damping system.