arXiv subjects
Publications and source records attributed to Maja Resman.
In this paper we express the Minkowski dimension of spiral trajectories near hyperbolic saddles and semi-hyperbolic singularities in terms of the Minkowski dimension of intersections of such spirals with transversals near these singularities. We apply these results to hyperbolic saddle-loops and hyperbolic $2$-cycles to obtain upper bounds on the cyclicity of such limit periodic sets.
We consider generic 1-parameter unfoldings of parabolic vector fields. It is known that the box dimension of orbits of their time-one maps is discontinuous at the bifurcation value. Here, we expand asymptotically the Lebesgue measure of the epsilon-neighborhoods of orbits of the time-one maps in a Chebyshev scale, uniformly with respect to the bifurcation parameter. We use the so-called Ecalle-Roussarie-type compensators. We read from the expansion the number of hyperbolic points born in the unfolding of the parabolic point (i.e. the codimension of the bifurcation). We consider generic analytic 1-parameter unfoldings of saddle-node germs of analytic vector fields on the real line, their time-one maps and the Lebesgue measure of $\varepsilon$-neighborhoods of the orbits of these time-one maps.The box dimension of an orbit gives the asymptotics of the principal term of this Lebesgue measure and it is known that it is discontinuous at bifurcation parameters. In order to recover continuous dependence of the asymptotics on the parameter, here we expand asymptotically the Lebesgue measure of $\varepsilon$-neighborhoods of orbits of time-one maps in a Chebyshev system, uniformly with respect to the bifurcation parameter. We use \'Ecalle-Roussarie-type compensators. We show how the number of fixed points of the time-one map born in the universal analytic unfolding of the parabolic point corresponds to the number of terms vanishing in this uniform expansion of the Lebesgue measure of $\varepsilon$-neighborhoods of orbits.
A saddle loop is a germ of a holomorphic foliation near a homoclinic saddle connection. We prove that they are classied by their Poincar{\'e} rst-return map. We also prove that they are formally rigid when the Poincar{\'e} map is multivalued. Finally, we provide a list of all analytic classes of Liouville-integrable saddle loops.
In this paper we study germs of diffeomorphisms in the complex plane. We address the following problem: How to read a diffeomorphism $f$ knowing one of its orbits $\mathbb{A}$? We solve this problem for parabolic germs. This is done by associating to the orbit ${\mathbb{A}}$ a function that we call the dynamic theta function $\Theta_{\mathbb{A}}$. We prove that the function $\Theta_{\mathbb{A}}$ is $2\pi i\mathbb{Z}$-resurgent. We show that one can obtain the sectorial Fatou coordinate as a Laplace-type integral transform of the function $\Theta_{\mathbb{A}}$. This enables one to read the analytic invariants of a diffeomorphism from the theta function of one of its orbits. We also define a closely related fractal theta function $\tilde{\Theta}_{\mathbb{A}}$, which is inspired by and generalizes the geometric zeta function of a fractal string, and show that it also encodes the analytic invariants of the diffeomorphism.
We prove that a hyperbolic Dulac germ with complex coefficients in its expansion is linearizable on a standard quadratic domain and that the linearizing coordinate is again a complex Dulac germ. The proof uses results about normal forms of hyperbolic transseries from another work of the authors.
We find the normal forms of hyperbolic logarithmic transseries with respect to parabolic logarithmic normalizing changes of variables. We provide a necessary and sufficient condition on such transseries for the normal form to be linear. The normalizing transformations are obtained via fixed point theorems, and are given algorithmically, as limits of Picard sequences in appropriate topologies.
In this paper, we prove that fractal zeta functions of orbits of parabolic germs of diffeomorphisms can be meromorphically extended to the whole complex plane. We describe their set of poles (i.e. their complex dimensions) and their principal parts which can be understood as their fractal footprint. We study the fractal footprint of one orbit of a parabolic germ f and extract intrinsic information about the germ f from it, in particular, its formal class. Moreover, we relate complex dimensions to the generalized asymptotic expansion of the tube function of orbits with oscillatory "coefficients" as well as to the asymptotic expansion of their dynamically regularized tube function. Interestingly, parabolic orbits provide a first example of sets that have nontrivial Minkowski (or box) dimension and their tube function possesses higher order oscillatory terms, however, they do not posses non-real complex dimensions and are therefore not called fractal in the sense of Lapidus.
In this paper we give moduli of analytic classification for parabolic Dulac i.e. almost regular germs. Dulac germs appear as first return maps of hyperbolic polycycles. Their moduli are given by a sequence of Ecalle-Voronin-like germs of analytic diffeomorphisms. We state the result in a bigger class of parabolic generalized Dulac germs having power-logarithmic asymptotic expansions.
In a previous paper we have determined analytic invariants, that is, moduli of analytic classification, for parabolic generalized Dulac germs. This class contains parabolic Dulac (almost regular) germs, that appear as first return maps of hyperbolic polycycles. Here we solve the problem of realization of these moduli.
We study the class of parabolic Dulac germs of hyperbolic polycycles. For such germs we give a constructive proof of the existence of a unique Fatou coordinate, admitting an asymptotic expansion in the power-iterated log scale.
We compute the box dimension of a spiral trajectory around a hyperbolic saddle loop, as the simplest example of a hyperbolic saddle polycycle. In cases of weak foci and limit cycles, Zubrinic and Zupanovic show that the box dimension of a spiral trajectory is in a bijective correspondence with cyclicity of these sets. We show that, in saddle loop cases, the box dimension is related to the cyclicity, but the correspondence is not bijective. In addition, complex saddles are complexifications of weak foci points, as well as of hyperbolic saddles. Computing the box dimension around the saddle point of a hyperbolic saddle loop is hopefully a preliminary technique for computing the box dimension of leaves of a foliation around resonant complex saddles.
The Dulac series are the asymptotic expansions of first return maps in a neighborhood of a hyperbolic polycycle. In this article, we consider two algebras and of power-log transseries (generalized series) which extend the algebra of Dulac series. We give a formal normal form and prove a formal embedding theorem for transseries in these algebras.
In this article we study the dynamics generated by germs of parabolic diffeomorphisms f : (C; 0)->(C; 0) tangent to the identity. We show how formal classification of a given parabolic diffeomorphism can be deduced from the asymptotic development of what we call directed area of the epsilon-neighborhood of any orbit near the origin. Relevant coefficients and constants in the development have a geometric meaning. They present fractal properties of the orbit, namely its box dimension, Minkowski content and what we call residual content.
In this article, we study analyticity properties of (directed) areas of epsilon-neighborhoods of orbits of parabolic germs. The article is motivated by the question of analytic classification using epsilon-neighborhoods of orbits in the simplest formal class. We show that the coefficient in front of epsilon^2 term in the asymptotic expansion in epsilon, which we call the principal part of the area, is a sectorially analytic function of initial point of the orbit. It satisfies a cohomological equation similar to the standard trivialization equation for parabolic diffeomorphisms. We give necessary and sufficient conditions on a diffeomorphism f for the existence of globally analytic solution of this equation. Furthermore, we introduce new classification type for diffeomorphisms implied by this new equation and investigate the relative position of its classes with respect to the analytic classes.
The thesis deals with recognizing diffeomorphisms from fractal properties of discrete orbits, generated by iterations of such diffeomorphisms. The notion of fractal properties of a set refers to the box dimension, the Minkowski content and their appropriate generalizations, or, in wider sense, to the epsilon-neighborhoods of sets, for small, positive values of parameter epsilon. In the first part of the thesis, we consider the relation between the multiplicity of the fixed point of a real-line diffeomorphism, and the asymptotic behavior of the length of the epsilon-neighborhoods of its orbits. We establish the bijective correspondence. At the fixed point, the diffeomorphisms may be differentiable or nondifferentiable. The results are applied to the question of cyclicity of some planar limit periodic sets of polynomial fields, whose first return maps are real-line diffeomorphisms. In the second part of the thesis, we consider the relation between formal and analytic classes of complex diffeomorphisms f:C->C and epsilon-neighborhoods of their orbits. It is shown that the formal class can be read from generalized fractal properties of any orbit. The results are directly applied to formal classification of complex saddles in C^2. On the other hand, concerning the analytic classification, we state problems in reading the analytic class of a diffeomorphisms from epsilon-neighborhoods of orbits.
It is easy to show that the lower and the upper box dimensions of a bounded set in Euclidean space are invariant with respect to the ambient space. In this article we show that the Minkowski content of a Minkowski measurable set is also invariant with respect to the ambient space when normalized by an appropriate constant. In other words, the value of the normalized Minkowski content of a bounded, Minkowski measurable set is intrinsic to the set.
We study the relationship between the multiplicity of a fixed point of a function g, and the dependence on epsilon of the length of epsilon-neighborhood of any orbit of g, tending to the fixed point. The relationship between these two notions was discovered before (Elezovic, Zubrinic, Zupanovic) in the differentiable case, and related to the box dimension of the orbit. Here, we generalize these results to non-differentiable cases introducing a new notion of critical Minkowski order. We study the space of functions having a development in a Chebyshev scale and use multiplicity with respect to this space of functions. With the new definition, we recover the relationship between multiplicity of fixed points and the dependence on epsilon of the length of epsilon-neighborhoods of orbits in non-differentiable cases. Applications include in particular Poincare maps near homoclinic loops and hyperbolic 2-cycles, and Abelian integrals. This is a new approach to estimate the cyclicity, by computing the length of the epsilon-neighborhood of one orbit of the Poincare map (for example numerically), and by comparing it to the appropriate scale.