Let f be a germ of a holomorphic diffeomorphism with an irrationally indifferent fixed point at the origin in ${\mathbb C}$ (i.e. $f(0) = 0, f'(0) = e^{2\pi i \alpha }, \alpha \in {\mathbb R} - {\mathbb Q}$ ). Pérez-Marco [Fixed points and circle maps. Acta Math.179(2) (1997), 243–294] showed the existence of a unique continuous monotone one-parameter family of non-trivial invariant full continua containing the fixed point called Siegel compacta, and gave a correspondence between germs and families $(g_t)$ of circle maps obtained by conformally mapping the complement of these compacts to the complement of the unit disk. The family of circle maps $(g_t)$ is the orbit of a locally defined semigroup $(\Phi _t)$ on the space of analytic circle maps, which we show has a well-defined infinitesimal generator X. The explicit form of X is obtained by using the Loewner equation associated to the family of hulls $(K_t)$ . We show that the Loewner measures $(\mu _t)$ driving the equation are 2-conformal measures on the circle for the circle maps $(g_t)$ .

Let $f$ be an $n$-dimensional holomorphic map defined in a neighborhood of the origin such that the origin is an isolated fixed point of all of its iterates, and let ${\mathcal{N}}_{M}(f)$ denote the number of periodic orbits of $f$ of period $M$ hidden at the origin. Gorbovickis gives an efficient way of computing ${\mathcal{N}}_{M}(f)$ for a large class of holomorphic maps. Inspired by Gorbovickis’ work, we establish a similar method for computing ${\mathcal{N}}_{M}(f)$ for a much larger class of holomorphic germs, in particular, having arbitrary Jordan matrices as their linear parts. Moreover, we also give another proof of the result of Gorbovickis [On multi-dimensional Fatou bifurcation. Bull. Sci. Math.138(3)(2014) 356–375] using our method.

The study of the dynamics of an holomorphic map near a fixed point is a central topic in complex dynamical systems. In this paper, we will consider the corresponding random setting: given a probability measure $\unicode[STIX]{x1D708}$ with compact support on the space of germs of holomorphic maps fixing the origin, we study the compositions $f_{n}\circ \cdots \circ f_{1}$, where each $f_{i}$ is chosen independently with probability $\unicode[STIX]{x1D708}$. As in the deterministic case, the stability of the family of the random iterates is mostly determined by the linear part of the germs in the support of the measure. A particularly interesting case occurs when all Lyapunov exponents vanish, in which case stability implies simultaneous linearizability of all germs in $\text{supp}(\unicode[STIX]{x1D708})$.

Let f and g be two permutable transcendental entire functions. Assume that f is a solution of a linear differential equation with polynomial coefficients. We prove that, under some restrictions on the coefficients and the growth of f and g, there exist two non-constant rational functions R1 and R2 such that R1 (f) = R(g). As a corollary, we show that f and g have the same Julia set: J(f) = J(g). As an application, we study a function f which is a combination of exponential functions with polynomial coefficients. This research addresses an open question due to Baker.

It is known that, if $f$ is a hyperbolic rational function, then the Hausdorff, packing and box dimensions of the Julia set $J(f)$ are equal. It is also known that there is a family of hyperbolic transcendental meromorphic functions with infinitely many poles for which this result fails to be true. In this paper, new methods are used to show that there is a family of hyperbolic transcendental entire functions $f_K$, $K \in {\mathbb N}$, such that the box and packing dimensions of $J(f_K)$ are equal to two, even though as $K \to \infty$ the Hausdorff dimension of $J(f_K)$ tends to one, the lowest possible value for the Hausdorff dimension of the Julia set of a transcendental entire function.

In this paper we give the definition of a meromorphic function which is geometrically finite and investigate some properties of geometrically finite meromorphic functions and the Lebesgue measure of their Julia sets.