Regions of meromorphy and value distribution of geometrically converging rational functions

Let D be a region, {rn}_n∈N a sequence of rational functions of degree at most n and let each rn have at most m poles in D, for m∈N fixed. We prove that if {rn}_n∈N converges geometrically to a function f on some continuum S⊂D and if the number of zeros of rn in any compact subset of D is of growth o(n) as n→∞, then the sequence {rn}_n∈N converges m₁-almost uniformly to a meromorphic function in D. This result about meromorphic continuation is used to obtain Picard-type theorems for the value distribution of m₁-maximally convergent rational functions, especially in Padé approximation and Chebyshev rational approximation.     

Exceptional functions and normal families of meromorphic functions with multiple zeros

Let k be a positive integer with k?2; let h(?0) be a holomorphic function which has no simple zeros in D; and let F be a family of meromorphic functions defined in D, all of whose poles are multiple, and all of whose zeros have multiplicity at least k+1. If, for each function f∈F, f(k)(z)≠h(z), then F is normal in D.     

Rational functions of best uniform approximation and holomorphic continuation of functions

Let f be a function, continuous and real valued on the segment Δ, Δ ⊂ (−∞, ∞) and {R_n} be the sequence of the rational functions of best uniform approximation to f on Δ of order (n, n). In the present work, the convergence of {R_n} in the complex plane is considered for the special caseswhen the poles (or the zeros, respectively) of {R_n} accumulate in the terms of weak convergence of measures to acompact set of zero capacity. As a consequence, sufficient conditions for the holomorphic and the meromorphic continuability of f are given. The work is supported by Project 69 with Ministry of Science and Education, Bulgaria.     

Universal meromorphic approximation on Vitushkin sets

The paper proves the following result on universal meromorphic approximation: Given any unbounded sequence {λ _n } ? ?, there exists a function ?, meromorphic on ?, with the following property. For every compact set K of rational approximation (i.e. Vitushkin set), and every function f, continuous on K and holomorphic in the interior of K, there exists a subsequence {n _k } of ? such that $ \left\{ {\varphi \left( {z + \lambda _{n_k } } \right)} \right\} The paper proves the following result on universal meromorphic approximation: Given any unbounded sequence {λ _n } ⊂ ℂ, there exists a function ϕ, meromorphic on ℂ, with the following property. For every compact set K of rational approximation (i.e. Vitushkin set), and every function f, continuous on K and holomorphic in the interior of K, there exists a subsequence {n _k } of ℕ such that converges to f(z) uniformly on K. A similar result is obtained for arbitrary domains G ≠ ℂ. Moreover, in case {λ _n }={n} the function ϕ is frequently universal in terms of Bayart/Grivaux [3]. Original Russian Text ? W.Luh, T.Meyrath, M.Niess, 2008, published in Izvestiya NAN Armenii. Matematika, 2008, No. 6, pp. 66–75.     

Normal families of meromorphic functions and shared functions

The paper is devoted to the normal families of meromorphic functions and shared functions. Generalizing a result of Chang (2013), we prove the following theorem. Let h (≠≡ 0,∞) be a meromorphic function on a domain D and let k be a positive integer. Let F be a family of meromorphic functions on D, all of whose zeros have multiplicity at least k + 2, such that for each pair of functions f and g from F, f and g share the value 0, and f^(k) and g^(k) share the function h. If for every f ∈ F, at each common zero of f and h the multiplicities m_f for f and m_h for h satisfy m_f ≥ m_h + k + 1 for k > 1 and m_f ≥ 2m_h + 3 for k = 1, and at each common pole of f and h, the multiplicities nf for f and nh for h satisfy n_f ≥ n_h + 1, then the family F is normal on D.     

A Criterion of Normality Concerning Holomorphic Functions Whose Derivative Omit a Function II

The authors discuss the normality concerning holomorphic functions and get the following result. Let F be a family of functions holomorphic on a domain D ? ?, all of whose zeros have multiplicity at least k, where k ?? 2 is an integer. Let h(z) ? 0 and ?? be a meromorphic function on D. Assume that the following two conditions hold for every f ?? F: $$ \begin{gathered} (a)f(z) = 0 \Rightarrow |f^{(k)} (z)| < |h(z)|. \hfill \\ (b)f^{(k)} (z) \ne h(z). \hfill \\ \end{gathered} $$ Then F is normal on D.     

On meromorphic extendibility

Let D be a bounded domain in the complex plane whose boundary 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 which are holomorphic on D. We prove that a continuous function f on bD extends meromorphically through D if and only if there is an N∈N∪{0} such that the change of argument of Pf+Q along bD is bounded below by −2πN for all P,Q∈A(D) such that Pf+Q≠0 on bD. If this is the case then the meromorphic extension of f has at most N poles in D, counting multiplicity.     

SOME NORMALITY CRITERIA OF MEROMORPHIC FUNCTIONS

Let F be a family of functions meromorphic in a domain D, let n ≥ 2 be a positive integer, and let a ≠ 0, b be two finite complex numbers. If, for each f ∈ F, all of whose zeros have multiplicity at least k ＋ 1, and f ＋ a（f^（k））^n≠b in D, then F is normal in D.     

Loi fonctionnelle du logarithme itéré pour les incréments du processus des espacements

Let a_n(l): 0 ≤ /denote the reseated empirical process based upon uniform spacings. Let {h_n, n ≥ 1 } be a sequence decreasing to 0. Under appropriate conditions on h_n. We give a functional lnw of the iterated logarithm for the set of increment functions {a_n (l + h_n.) — a_n(l): 0 ≤ / ≤ 1 -h_n}.     

Sunyer-i-Balaguer’s almost elliptic functions and Yosida’s normal functions

We study the properties of two classes of meromorphic functions in the complex plane. The first one is the class of almost elliptic functions in the sense of Sunyer-i-Balaguer. This is the class of meromorphic functions f such that the family {f(z + h)} _h∈ℂ is normal with respect to the uniform convergence in the whole complex plane. Given two sequences of complex numbers, we provide sufficient conditions for themto be zeros and poles of some almost elliptic function. These conditions enable one to give (for the first time) explicit non-trivial examples of almost elliptic functions. The second class was introduced by K. Yosida, who called it the class of normal functions of the first category. This is the class of meromorphic functions f such that the family {f(z + h)} _h∈ℂ is normal with respect to the uniform convergence on compacta in the complex plane and no limit point of the family is a constant function. We give necessary and sufficient conditions for two sequences of complex numbers to be zeros and poles of some normal function of the first category and obtain a parametric representation for this class in terms of zeros and poles.     

On inverse multiplicative eigenvalue problems for matrices

Let A be an n×n complex-valued matrix, all of whose principal minors are distinct from zero. Then there exists a complex diagonal matrix D, such that the spectrum of AD is a given set σ = {λ₁,…,λ_n} in C. The number of different matrices D is at most n!.     

On the connection between weak and strong convergencies in Cm

In this work wome connections are pursued between weak and strong convergence in the spaces C^m (m-times continuously differentiable functions on Rⁿ). Let f_n, f?C^{m + 1}, where n = 1, 2,…, and m is a nonnegative integer. Suppose that the sequence {f_n} converges to f relative to the weak topology of C^{m + 1}. It is shown that this implies the convergence of {f_n} to f with respect to the strong topology of C^m. Several corollaries to this theorem are established; among them is a sufficient condition for uniform convergence. A stronger result is shown to exist when the sequence constitutes an output sequence of a linear weakly continuous operator.     

Orthogonal rational functions with complex poles: The Favard theorem

Let {φn} be a sequence of rational functions with arbitrary complex poles, generated by a certain three-term recurrence relation. In this paper we show that under some mild conditions, the rational functions φn form an orthonormal system with respect to a Hermitian positive-definite inner product.     

Extremal Problems in Some Classes of Holomorphic Functions

Let PRΛ_n be the class of holomorphic functions with positive real part and real Taylor coefficients the first m + 1 of which are common for all these functions. We find: a) The extreme points of the class PRΛ_n. b) The extrema of {f(r): f ∈ PRΛ_n}, {f′(r): f ∈ PRΛ_n} and {f′(r): f ∈ PRΛ_n}. We also solve respective problems for typical real functions.     

Derivatives of meromorphic functions with multiple zeros and elliptic functions

Let f be a nonconstant meromorphic function in the plane and h be a nonconstant elliptic function. We show that if all zeros of f are multiple except finitely many and T (r, h) = o{T (r, f )} as r →∞, then f' = h has infinitely many solutions (including poles).     

Approximation by antiderivatives

Let Ω ?C be an open set with simply connected components and suppose that the functionφ is holomorphic on Ω. We prove the existence of a sequence {φ ^(?n)} ofn-fold antiderivatives (i.e., we haveφ ⁽⁰⁾(z)∶=φ(z) andφ ^(?n)(z)=dφ ^(?n?1)(z)/dz for alln ∈ N₀ and z ∈ Ω) such that the following properties hold:

1. For any compact setB ?Ω with connected complement and any functionf that is continuous onB and holomorphic in its interior, there exists a sequence {n _k} such that {φ^?nk} converges tof uniformly onB.
2. For any open setU ?Ω with simply connected components and any functionf that is holomorphic onU, there exists a sequence {m _k} such that {φ^?mk} converges tof compactly onU.
3. For any measurable setE ?Ω and any functionf that is measurable onE, there exists a sequence {p _k} such that {φ ^(-Pk)} converges tof almost everywhere onE.

     

On the divergence of polynomial interpolation

Consider a triangular interpolation scheme on a continuous piecewise C¹ curve of the complex plane, and let Γ be the closure of this triangular scheme. Given a meromorphic function f with no singularities on Γ, we are interested in the region of convergence of the sequence of interpolating polynomials to the function f. In particular, we focus on the case in which Γ is not fully contained in the interior of the region of convergence defined by the standard logarithmic potential. Let us call Γ_out the subset of Γ outside of the convergence region.In the paper we show that the sequence of interpolating polynomials, {P_n}_n, is divergent on all the points of Γ_out, except on a set of zero Lebesgue measure. Moreover, the structure of the set of divergence is also discussed: the subset of values z for which there exists a partial sequence of {P_n(z)}_n that converges to f(z) has zero Hausdorff dimension (so it also has zero Lebesgue measure), while the subset of values for which all the partials are divergent has full Lebesgue measure.The classical Runge example is also considered. In this case we show that, for all z in the part of the interval (−5,5) outside the region of convergence, the sequence {P_n(z)}_n is divergent.     

On Montel's theorem and Yang's problem

Let F be a family of meromorphic functions defined in a domain D, and let ψ be a function meromorphic in D. For every function f∈F, if (1)f has only multiple zeros; (2) the poles of f have multiplicity at least 3; (3) at the common poles of f and ψ, the multiplicity of f does not equal the multiplicity of ψ; (4)f(z)≠ψ(z), then F is normal in D. This gives a partial answer to a problem of L. Yang, and generalizes Montel's theorem. Some examples are given to show the sharpness of our result.     

Uniform and tangential approximation in a stripe by meromorphic functions of optimal growth

The paper discusses the problem of approximation of functions continuous on a closed stripe S _h = {z: |Imz| ≤h} and holomorphic in its interior. The results relate to the uniform and tangential approximation of such functions f by meromorphic functions g with minimal growth in terms of Nevanlinna characteristic T (r, g). The growth depends on the growth of f in S _h and certain differential properties of f on ?S _h . It is assumed that the possible poles of g are restricted to the imaginary axis.