We describe bounded, holomorphic functions on the complex 2-disc, that admit meromorphic extension to a larger 2-disc. This solves a conjecture of Bickel, Knese, Pascoe and Sola. The key technical ingredient is an old theorem of Zariski about integrally closed ideals in 2-dimensional regular rings. v2: Remark 15 is added.
Inner functions are an important and popular object of study in the field of complex function theory. We look at meromorphic inner functions with a given spectrum and provide sufficient conditions for them to have uniformly bounded derivatives on the real line. This question was first studied by Louis de Brange in 1968 and was later revived by Anton Baranov in 2011.
In this paper we consider the topological class, denoted by AV2, of universal covering maps from the plane to the sphere with two removed points. We prove that an element f in AV2 with finite post-singular set is combinatorially equivalent to a meromorphic transcendental map g with constant Schwarzian derivative if any only if f satisfies a Bounded Geometry condition.
We discuss meromorphic functions on the complex plane which are Brody curves regarded as holomorphic maps to P_1, i.e., which have bounded spherical derivative.
We prove that a family of meromorphic mappings from a bidisc to a compact complex surface, which are equicontinuous in a neighborhood of the boundary of the bidisc, has the volumes of its graphs locally uniformly bounded.
Let D be a bounded domain in the complex plane whose boundary bD consists of finitely many pairwise disjoint real analytic simple closed curves. Let f be an integrable function on bD. In the paper we show how to compute the candidates for poles of a meromorphic extension of f through D and thus reduce the question of meromorphic extendibility to the question of holomorphic extendibility. Let A(D) be the algebra of all continuous functions on the closure of D which are holomorphic on D. For continuous functions f on bD we obtain a characterization of meromorphic extendibility in terms of the ar…
The escaping set I(f) of a transcendental meromorphic function f consists of all points which tend to infinity under iteration. The Eremenko-Lyubich class B consists of all transcendental meromorphic functions for which the set of finite critical and asymptotic values of f is bounded. It is shown that if f is in B and of finite order of growth, if infinity is not an asymptotic value of f and if the multiplicities of the poles of f are uniformly bounded, then the Hausdorff dimension of I(f) is strictly smaller than 2. In fact, we give a sharp bound for the Hausdorff dimension of I(f) in terms o…
The subject of this paper is the bounded level curves of a meromorphic function $f$ with domain $G$ such that each component of $\partial{G}$ consists of a level curve of $f$. (A primary example of such a function being a ratio of finite Blaschke products of different degrees, with domain $\mathbb{D}$.) We will first prove several facts about a single bounded level curve of a $f$ in isolation from the other level curves of $f$. We will then study how the level curves of $f$ lie with respect to each other. It is natural to expect that the sets $\{z:|f(z)|=ε\}$ vary continuously as $ε$ varies. W…
We consider the family of all meromorphic functions $f$ of the form $$ f(z)=\frac{1}{z}+b_0+b_1z+b_2z^2+\cdots $$ analytic and locally univalent in the puncture disk $\mathbb{D}_0:=\{z\in\mathbb{C}:\,0<|z|<1\}$. Our first objective in this paper is to find a sufficient condition for $f$ to be meromorphically convex of order $α$, $0\le α<1$, in terms of the fact that the absolute value of the well-known Schwarzian derivative $S_f (z)$ of $f$ is bounded above by a smallest positive root of a non-linear equation. Secondly, we consider a family of functions $g$ of the form $g(z)=z+a_2z^2+a_3z^3+\c…
Using a `height-to-radical' identity, we define the archimedean contribution to the radical, $r_\arch$, and we give a new proof of the abc theorem for the field of meromorphic functions. The first step of the proof is completely formal and yields that the height is bounded by the radical, $h\leq r$, where $r=r_\na+r_\arch$ is the radical completed with the archimedean contribution. The second step is analytic in nature and uses the lemma on the logarithmic derivative to derive a bound for $r_\arch$.
We prove a sharp Schwarz-type lemma for meromorphic functions with spherical derivative uniformly bounded away from zero. As a consequence we deduce an improved quantitative version of a recent normality criterion due to Grahl & Nevo and Steinmetz, which is asymptotically best possibe. Based on a well--known symmetry result of Gidas, Ni & Nirenberg for nonlinear elliptic PDEs, we relate our Schwarz-type lemma to an associated nonlinear dual boundary extremal problem. As an application we obtain a generalization of Beurling's extension of the Riemann mapping theorem for the case of the spherica…
We construct some explicit formulas of rational maps and transcendental meromorphic functions having Herman rings of period strictly larger than one. This gives an answer to a question raised by Shishikura in the 1980s. Moreover, the formulas of some rational maps with nested Herman rings are also found. To obtain the formulas of transcendental meromorphic functions having periodic Herman rings, a crucial step is to find an explicit family of transcendental entire functions having bounded Siegel disks of all possible periods and rotation numbers. This is based on proving the existence of a Man…
We describe conditions under which a multiply connected wandering domain of a transcendental meromorphic function with a finite number of poles must be a Baker wandering domain, and we discuss the possible eventual connectivity of Fatou components of transcendental meromorphic functions. We also show that if $f$ is meromorphic, $U$ is a bounded component of $F(f)$ and $V$ is the component of $F(f)$ such that $f(U)\subset V$, then $f$ maps each component of $\partial U$ onto a component of the boundary of $V$ in $\hat{\C}$. We give examples which show that our results are sharp; for example, we…
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…
We show that for any transcendental meromorphic function $f$ there is a point $z$ in the Julia set of $f$ such that the iterates $f^n(z)$ escape, that is, tend to $\infty$, arbitrarily slowly. The proof uses new covering results for analytic functions. We also introduce several slow escaping sets, in each of which $f^n(z)$ tends to $\infty$ at a bounded rate, and establish the connections between these sets and the Julia set of $f$. To do this, we show that the iterates of $f$ satisfy a strong distortion estimate in all types of escaping Fatou components except one, which we call a plane-filli…
Let M be a (bounded or not) domain of C^n which is complete with respect to a Kähler metric, or more generally, a complete Kähler manifold with trivial canonical bundle. Let f be a linearly nondegenerate meromorphic map from M to the complex projective space P^m. Under an assumption on the positivity of the pull-back by f of the Fubini-Study form on P^m, we prove that f can not omit a certain number of hyperplanes in subgeneral position in P^m. This is deduced directly from a non-integrated defect relation for such f which generalizes that obtained by Fujimoto in the case where M is a ball.
We show that a family of meromorphic functions in the unit disk $\dk$ whose spherical derivatives are uniformly bounded away from zero is normal. Furthermore, we show that for each $f$ meromorphic in $\dk$ we have $\inf_{z\in\dk} f^#(z)\le \frac{1}{2}$$ where $f^#$ denotes the spherical derivative of $f$.
We consider the subclass of class ${\mathcal B} $ consisting of meromorphic functions $f:{\mathbb C}\to\hat{\mathbb C}$ for which infinity is not an asymptotic value and whose all poles have orders uniformly bounded from above. This class was introduced in \cite{BwKo2012} and the Hausdorff dimension ${\rm HD}({{\mathcal I} (f)})$ of the set ${{\mathcal I} (f)}$ of all points escaping to infinity under forward iteration of $f$ was estimated therein. In this paper we provide a closed formula for the exact value of ${\rm HD}({{\mathcal I} (f)})$ identifying it with the critical exponent of the na…
Analogues of the key results of Wiman-Valiron theory are proved for a class of functions meromorphic in the unit disc, based on an approach developed by Bergweiler, Rippon and Stallard for the plane setting. The results give local approximations for the function and its logarithmic derivative and, in the case of positive order of growth, for higher order logarithmic derivatives as well.
Thirty research questions on meromorphic functions and complex differential equations are listed and discussed. The main purpose of this paper is to make this collection of problems available to everyone.
The $φ$-order was introduced in 2009 for meromorphic functions in the unit disc, and was used as a growth indicator for solutions of linear differential equations. In this paper, the properties of meromorphic functions in the complex plane are investigated in terms of the $φ$-order, which measures the growth of functions between the classical order and the logarithmic order. Several results on value distribution of meromorphic functions are discussed by using the $φ$-order and the $φ$-exponent of convergence. Instead of linear differential equations, the applications in the complex plane lie i…
This paper is devoted to establish sufficient conditions under which a transcendental meromorphic function has no unbounded Fatou components and to extend some results for entire functions to meromorphic functions. Actually, we shall mainly discuss non-existence of unbounded wandering domains of a meromorphic function. The case for a composition of finitely many meromorphic function with at least one of them being transcendental can be also investigated in the argument of this paper.
In this paper we extend the concept of bi-univalent to the class of meromorphic functions. We propose to investigate the coefficient estimates for two classes of meromorphic bi-univalent functions. Also, we find estimates on the coefficients |b0| and |b1| for functions in these new classes. Some interesting remarks and applications of the results presented here are also discussed.
In this note, we consider meromorphic univalent functions $f(z)$ in the unit disc with a simple pole at $z=p\in(0,1)$ which have a $k$-quasiconformal extension to the extended complex plane $\hat{\mathbb C},$ where $0\leq k < 1$. We denote the class of such functions by $Σ_k(p)$. We first prove an area theorem for functions in this class. Next, we derive a sufficient condition for meromorphic functions in the unit disc with a simple pole at $z=p\in(0,1)$ to belong to the class $Σ_k(p)$. Finally, we give a convolution property for functions in the class $Σ_k(p)$.
We prove the rank one case of Skolem's Conjecture on the exponential local-global principle for algebraic functions and discuss its analog for meromorphic functions.
Every nonconstant meromorphic function in the plane univalently covers spherical discs of radii arbitrarily close to arctan(sqrt 8) ~ 70^\circ 32'. If in addition all critical points of the function are multiple, then a similar statement holds with pi/2. These constants are the best possible. The proof is based on the consideration of negatively curved singular surfaces associated with meromorphic functions.
In this paper, subordination results are studied for certain subclass of p-valent meromorphic functions in the punctured unit disc having a pole of order p at the origin. The subclass under investigation is defined by using certain new linear operator. Moreover, we also introduced an interesting particular cases of these results in several corollaries.
We construct the meromorphic functions invariant under the action of the sense-preserving wallpaper groups on the complex plane. We discuss possible generalisa-tions of this to the general wallpaper groups. This provides the answer to a question posed on StackExchange regarding the possible symmetries of elliptic functions.
We establish pointwise growth estimates for the spherical derivative of solutions of the first order algebraic differential equations. A generalization of this result to higher order equations is also given. We discuss the related question of when for a given class $X$ of meromorphic functions in the unit disc, defined by means of the spherical derivative, and $m \in \mathbb{N} \setminus \{1\}$, $f^m\in X$ implies $f\in X$. An affirmative answer to this is given for example in the case of $\mathord{\rm UBC}$, the $α$-normal functions with $α\ge1$ and certain (sufficiently large) Dirichlet type…
Let U be the open unit disc in C. Given a continuous function g: bU --> C-{0} denote by W(g) the winding number of g around the origin. We prove that a continuous function f: bU --> C extends meromorphically through U if and only if there is a nonnegative integer N such that W(Pf+Q) is greater than or equal to -N for every pair P,Q of polynomials such that Pf+Q has no zero on bU. If this is the case then the meromorphic extension of f has at most N poles in U, counting multiplicity.
Based on the so-called re-scaling method, we will give a detailed description of the solutions to the Hamiltonian system (\ref{Hsystem}) below, which was discovered only recently by Kecker, and is strongly related to Painleve's fourth differential equation. In particular, the problem to determine those fourth Painleve transcendents with positive Nevanlinna deficiency $δ(0,w)$, is completely resolved.
We show that any dynamics on any discrete planar sequence $S$ can be realized by the postsingular dynamics of some transcendental meromorphic function, provided we allow for small perturbations of $S$. This work was influenced by an analogous result of DeMarco, Koch and McMullen for finite $S$ in the rational setting. The proof contains a method for constructing meromorphic functions with good control over both the postsingular set of $f$ and the geometry of $f$, using the Folding Theorem of Bishop and a classical fixpoint theorem of Tychonoff.
The maximum of the modulus of a meromorphic function cannot be restricted from above by the Nevanlinna characteristic of this meromorphic function. But integrals from the logarithm of the module of a meromorphic function allow similar restrictions from above. This is illustrated by one of the important theorems of Rolf Nevanlinna in the classical monograph by A.A. Goldberg and I.V. Ostrovskii on meromorphic functions, as well as by the Edrei-Fuchs Lemma on small arcs and its versions for small intervals in articles by A.F. Grishin, M.L. Sodin, T.I. Malyutina. Similar results for integrals of d…
Let D be the open unit disc in C. The paper deals with the following conjecture: If f is a continuous function on bD such that the change of argument of Pf+1 around bD is nonnegative for every polynomial P such that Pf+1 has no zero on bD then f extends holomorphically through D. We prove a related result on meromorphic extendibility for smooth functions with finitely many zeros of finite order, which, in particular, implies that the conjecture holds for real analytic functions.
We establish quantitative estimates for sampling (dominating) sets in model spaces associated with meromorphic inner functions, i.e. those corresponding to de Branges spaces. Our results encompass the Logvinenko-Sereda-Panejah (LSP) Theorem including Kovrijkine's optimal sampling constants for Paley-Wiener spaces. It also extends Dyakonov's LSP theoremfor model spaces associated with bounded derivative inner functions. Considering meromorphic inner functions allows us tointroduce a new geometric density condition, in terms of which the sampling sets are completely characterized. This, incompar…
In this article we consider the class $\mathcal{A}(p)$ which consists of functions that are meromorphic in the unit disc $\ID$ having a simple pole at $z=p\in (0,1)$ with the normalization $f(0)=0=f'(0)-1 $. First we prove some sufficient conditions for univalence of such functions in $\ID$. One of these conditions enable us to consider the class $\mathcal{V}_{p}(λ)$ that consists of functions satisfying certain differential inequality which forces univalence of such functions. Next we establish that $\mathcal{U}_{p}(λ)\subsetneq \mathcal{V}_{p}(λ)$, where $\mathcal{U}_{p}(λ)$ was introduced a…
A definition of hyperbolic meromorphic functions is given and then we discuss the dynamical behavior and the thermodynamic formalism of hyperbolic functions on the Julia set. We prove the important expanding properties for hyperbolic functions on the complex plane and with respect to the euclidean metric. We establish the Bowen formula for hyperbolic functions on the complex plane, that is, the Poincare exponent equals to the Hausdorff dimension of the radial Julia set and furthermore, we prove that all the results in the Walters' theory hold for hyperbolic functions on the Riemann sphere.
We show that any dynamics on any planar set $S$ discrete in some domain $D$ can be realized by the postcritical dynamics of a function holomorphic in $D$, up to a small perturbation. A key step in the proof, and a result of independent interest, is that any planar domain $D$ can be equilaterally triangulated with triangles whose diameters $\rightarrow0$ (at any prescribed rate) near $\partial D$.
It is shown that if three distinct values of a meromorphic function f:C^n -> P^1 of hyper-order strictly less than 2/3 have forward invariant pre-images with respect to a translation t:C^n -> C^n, t(z)=z+c, then f is a periodic function with period c. This result can be seen as a generalization of M. Green's Picard-type theorem in the special case where the hyper-order of f is less than 2/3, since the empty pre-images of the usual Picard exceptional values are by definition always forward invariant. In addition, difference analogues of the lemma on the logarithmic derivative and of the second …
Let $Φ$ be a continuous $n\times n$ matrix-valued function on the unit circle $\T$ such that the $(k-1)$th singular value of the Hankel operator with symbol $Φ$ is greater than the $k$th singular value. In this case, it is well-known that $Φ$ has a unique superoptimal meromorphic approximant $Q$ in $H^{\infty}_{(k)}$; that is, $Q$ has at most $k$ poles in the unit disc $\mathbb{D}$ (i.e. the McMillan degree of $Q$ in $\mathbb{D}$ is at most $k$) and $Q$ minimizes the essential suprema of singular values $s_{j}((Φ-Q)(ζ))$, $j\geq0$, with respect to the lexicographic ordering. For each $j\geq 0$…
The purpose of this paper is to obtain some sufficient conditions to determine the relation between a meromorphic function and an L-function when certain differential polynomial generated by them sharing a one degree polynomial. The main theorem of the paper extends and improves all the results in {W. J. Hao and J. F. Chen, Uniqueness of L-functions concerning certain differential polynomials, Discrete Dyn. Nat. Soc., 2018, DOI. 10.1155/2018/4673165}, {F. Liu, X. M. Li and H. X. Yi, Value distribution of L-functions concerning shared values and certain differential polynomials, Proc. Japan. Ac…
In [Israel J. Math, 2014], Grahl and Nevo obtained a significant improvement for the well-known normality criterion of Montel. They proved that for a family of meromorphic functions $\mathcal F$ in a domain $D\subset \mathbb C,$ and for a positive constant $ε$, if for each $f\in \mathcal F$ there exist meromorphic functions $a_f,b_f,c_f$ such that $f$ omits $a_f,b_f,c_f$ in $D$ and $$\min\{ρ(a_f(z),b_f(z)), ρ(b_f(z),c_f(z)), ρ(c_f(z),a_f(z))\}\geq ε,$$ for all $z\in D$, then $\mathcal F$ is normal in $D$. Here, $ρ$ is the spherical metric in $\widehat{\mathbb C}$. In this paper, we establish t…
A crucial ingredient in the recent discovery by Ablowitz, Halburd, Herbst and Korhonen \cite{AHH}, \cite {HK-2} that a connection exists between discrete Painlevé equations and (finite order) Nevanlinna theory is an estimate of the integrated average of $\log^+|f(z+1)/f(z)|$ on $|z|=r$. We obtained essentially the same estimate in our previous paper \cite{CF} independent of Halburd et al \cite{HK-1}. We continue our study in this paper by establishing complete asymptotic relations amongst the logarithmic differences, difference quotients and logarithmic derivatives for finite order meromorphic…
We show that the Hausdorff dimension of the set of points of bounded orbit in the Julia set of a meromorphic map with a simply connected direct tract and a certain restriction on the singular values is strictly greater than one. This result is obtained by proving new results related to Wiman-Valiron theory.
A class is studied of complex valued functions defined on the unit disk (with a possible exception of a discrete set) with the property that all their Pick matrices have not more than a prescribed number of negative eigenvalues. Functions in this class, known to appear as pseudomultipliers of the Hardy space, are characterized in several other ways. It turns out that a typical function in the class is meromorphic with a possible modification at a finite number of points, and total number of poles and of points of modification does not exceed the prescribed number of negative eigenvalues. Bound…
Let $M$ be the class of all transcendental meromorphic functions $f: \mathbb{C} \to \mathbb{C} \bigcup\{\infty\}$ with at least two poles or one pole that is not an omitted value, and $M_o =\{f \in M:f{has at least one omitted value}\}$. Some dynamical issues of the functions in $M_o$ are addressed in this article. A complete classification in terms of forward orbits of all the multiply connected Fatou components is made. As a corollary, it follows that the Julia set is not totally disconnected unless all the omitted values are contained in a single Fatou component. Non-existence of both Baker…