On Singular Points of Meromorphic Functions Determined by Continued Fractions

It is shown that Leighton’s conjecture about singular points of meromorphic functions represented by C-fractions K^∞_n=1(a _n z ^αn /1) with exponents α₁, α₂,... tending to infinity, which was proved by Gonchar for a nondecreasing sequence of exponents, holds also for meromorphic functions represented by continued fractions K^∞_n=1(a _n A _n (z)/1), where A₁,A₂,... is a sequence of polynomials with limit distribution of zeros whose degrees tend to infinity.     

On the summability factors of infinite series

The author has established that if [λ_n] is a convex sequence such that the series Σn ^-1λ_n is convergent and the sequence {K _n} satisfies the condition |K _n|=O[log(n+1)]^k(C, 1),k?0, whereK _n denotes the (R, logn, 1) mean of the sequence {n log (n+1)a _n}, then the series Σlog(n+1)^1-kλ_n a _n is summable |R, logn, 1|. The result obtained for the particular casek=0 generalises a previous result of the author [1].     

Block partitions of sequences

Given a sequence A = (a ₁, …, a _n ) of real numbers, a block B of A is either a set B = {a _i , a _i+1, …, a _j } where i ≤ j or the empty set. The size b of a block B is the sum of its elements. We show that when each a _i ∈ [0, 1] and k is a positive integer, there is a partition of A into k blocks B ₁, …, B _k with |b _i ?b _j | ≤ 1 for every i, j. We extend this result in several directions.     

Character sums with subsequence sums

In this paper, we study various arithmetic properties of the sequence (a_n)_n≥1 satisfying the recurrence relation a_n = na_n–1 + 1, n = 2, 3,..., with the initial term a₁ = 0. In particular, we estimate the number of solutions of various congruences with this sequence and the number of distinct prime divisors of its first N terms.     

Division Algebras with Left Algebraic Commutators

Let D be a division algebra with center F and K a (not necessarily central) subfield of D. An element a ∈ D is called left algebraic (resp. right algebraic) over K, if there exists a non-zero left polynomial a ₀ + a ₁ x + ? + a _n x ⁿ (resp. right polynomial a ₀ + x a ₁ + ? + x ⁿ a _n ) over K such that a ₀ + a ₁ a + ? + a _n a ⁿ = 0 (resp. a ₀ + a a ₁ + ? + a ⁿ a _n ). Bell et al. proved that every division algebra whose elements are left (right) algebraic of bounded degree over a (not necessarily central) subfield must be centrally finite. In this paper we generalize this result and prove that every division algebra whose all multiplicative commutators are left (right) algebraic of bounded degree over a (not necessarily central) subfield must be centrally finite provided that the center of division algebra is infinite. Also, we show that every division algebra whose multiplicative group of commutators is left (right) algebraic of bounded degree over a (not necessarily central) subfield must be centrally finite. Among other results we present similar result regarding additive commutators under certain conditions.     

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.     

Optimal combinations bounds of root-square and arithmetic means for Toader mean

We find the greatest value α ₁ and α ₂, and the least values β ₁ and β ₂, such that the double inequalities α ₁ S(a,b)?+?(1???α ₁) A(a,b)?T(a,b)?β ₁ S(a,b)?+?(1???β ₁) A(a,b) and \(S^{\alpha_{2}}(a,b)A^{1-\alpha_{2}}(a,b)< T(a,b)< S^{\beta_{2}}(a,b)A^{1-\beta_{2}}(a,b)\) hold for all a,b?>?0 with a?≠?b. As applications, we get two new bounds for the complete elliptic integral of the second kind in terms of elementary functions. Here, S(a,b)?=?[(a ²?+?b ²)/2]^1/2, A(a,b)?=?(a?+?b)/2, and \(T(a,b)=\frac{2}{\pi}\int\limits_{0}^{{\pi}/{2}}\sqrt{a^2{\cos^2{\theta}}+b^2{\sin^2{\theta}}}{\rm d}\theta\) denote the root-square, arithmetic, and Toader means of two positive numbers a and b, respectively.     

Meromorphic Solutions for a Class of Differential Equations and Their Applications

In this note, we study the admissible meromorphic solutions for algebraic differential equation fⁿf' + P_n?1(f) = R(z)e^α(z), where P_n?1(f) is a differential polynomial in f of degree ≤ n ? 1 with small function coefficients, R is a non-vanishing small function of f, and α is an entire function. We show that this equation does not possess any meromorphic solution f(z) satisfying N(r, f) = S(r, f) unless P_n?1(f) ≡ 0. Using this result, we generalize a well-known result by Hayman.     

Exceptional del Pezzo Hypersurfaces

We compute global log canonical thresholds of a large class of quasismooth well-formed del Pezzo weighted hypersurfaces in ?(a ₀,a ₁,a ₂,a ₃). As a corollary we obtain the existence of orbifold Kähler-Einstein metrics on many of them, and classify exceptional and weakly exceptional quasismooth well-formed del Pezzo weighted hypersurfaces in ?(a ₀,a ₁,a ₂,a ₃).     

Behavior of the Fourier–Walsh coefficients of a corrected function

We prove that, given a sequence {ak}_k=1^∞ with a_k ↓ 0 and {ak}_k=1^∞ ? l₂, reals 0 < ε < 1 and p ∈ [1, 2], and f ∈ L^p(0, 1), we can find f ∈ L^p(0, 1) with mes{f ≠ f < ε whose nonzero Fourier–Walsh coefficients c_k(f) are such that |c_k(f)| = a_k for k ∈ spec(f).     

Systems of dilated functions: Completeness,minimality, basisness

The completeness, minimality, and basis property in L ²[0, π] and L ^p[0, π], p ≠ 2, are considered for systems of dilated functions u _n (x) = S(nx), n ∈ N, where S is the trigonometric polynomial S(x) = Σ _k=0 ^m a _k sin(kx), a ₀ a _m ≠ 0. A series of results are presented and several unanswered questions are mentioned.     

On lie algebras of affine vector fields of ideal realizations of holomorphic linear connections

We study the properties of real realizations of holomorphic linear connections over associative commutative algebras \(\mathbb{A}\) _m with unity. The following statements are proved.If a holomorphic linear connection ? on M _n over \(\mathbb{A}\) _m (m ≥ 2) is torsion-free and R ≠ 0, then the dimension over ? of the Lie algebra of all affine vector fields of the space (M _mn ^? , ?^?) is no greater than (mn)² ? 2mn + 5, where m = dim_? \(\mathbb{A}\), \(n = dim_\mathbb{A} \) M _n , and ?^? is the real realization of the connection ?.Let ?^? =¹ ? ײ ? be the real realization of a holomorphic linear connection ? over the algebra of double numbers. If the Weyl tensor W = 0 and the components of the curvature tensor ¹ R ≠ 0, ² R ≠ 0, then the Lie algebra of infinitesimal affine transformations of the space (M _2n ^? , ?^?) is isomorphic to the direct sum of the Lie algebras of infinitesimal affine transformations of the spaces ( ^a M _n , ^a ?) (a = 1, 2).     

On a question of Sárközy on gaps of product sequences

Motivated by a question of Sárközy, we study the gaps in the product sequence B = A · A = {b ₁ < b ₂ < …} of all products a _i a _j with a _i , a _j ∈ A when A has upper Banach density α > 0. We prove that there are infinitely many gaps b _n+1 ? b _n ? α ^?3 and that for t ≥ 2 there are infinitely many t-gaps b _n+t ? b _n ? t ² α ^?4. Furthermore, we prove that these estimates are best possible.We also discuss a related question about the cardinality of the quotient set A/A = {a _i /a _j , a _i , a _j ∈ A} when A ? {1, …, N} and |A| = αN.     

Composite meromorphic functions and normal families

In this paper, we study the normality of families of meromorphic functions. We prove the result: Let α(z) be a holomorphic function and \({\mathcal{F}}\) a family of meromorphic functions in a domain D, P(z) be a polynomial of degree at least 3. If P ○ f(z) and P ○ g(z) share α(z) IM for each pair \({f(z),g(z)\in \mathcal{F}}\) and one of the following conditions holds: (1) P(z) ? α(z ₀) has at least three distinct zeros for any \({z_{0}\in D}\); (2) There exists \({z_{0}\in D}\) such that P(z) ? α(z ₀) has at most two distinct zeros and α(z) is nonconstant. Assume that β ₀ is a zero of P(z) ? α(z ₀) with multiplicity p and that the multiplicities l and k of zeros of f(z) ? β ₀ and α(z) ? α(z ₀) at z ₀, respectively, satisfy k ≠ lp, for all \({f(z)\in\mathcal{F}}\). Then \({\mathcal{F}}\) is normal in D. In particular, the result is a kind of generalization of the famous Montel criterion.     

Characteristics of positive reciprocal matrices in the analytic hierarchy process

Positive reciprocal matrices (PRMs) are the basic elements used by the Analytic Hierarchy Process (AHP) for resolving an important class of multi-criteria decision problems. A PRM, A=(a _ij ), is square with all a _ij >0 and a _ji =1/a _ij . We discuss characteristics of such matrices based on an analysis of both real-world and randomly generated sets.     

The Gibbs phenomenon for general Franklin systems

The paper is devoted to the Gibbs phenomenon for series by general Franklin systems. The general Franklin system corresponding to a given dense sequence of points T = (t _n , n ≥ 0) in [0, 1] is a sequence of orthonormal piecewise linear functions with knots from T, that is, the nth function from the system has knots t ₀,..., t _n . The main result of this paper is that the Gibbs phenomenon for Fourier series by general Franklin systems occurs for almost all points of [0, 1].     

Holomorphic mappings of once-holed tori

Let T be the space of marked once-holed tori and Y₀ be a Riemann surface with marked handle. We investigate geometric properties of the set T_a[Y₀] of X ∈ T that allow holomorphic mappings of X into Y₀. We also examine the set T_c[Y₀] of marked once-holed tori conformally embedded into Y₀. It turns out that T_a[Y₀] and T_c[Y₀] have several properties in common. Our basic tool is a new notion, called a handle condition.     

Convolutions of cantor measures without resonance

Denote by µ _a the distribution of the random sum \((1 - a)\sum\nolimits_{j = 0}^\infty {{w_j}{a^j}} \), where P(ω _j = 0) = P(ω _j = 1) = 1/2 and all the choices are independent. For 0 < a < 1/2, the measure µ _a is supported on C _a , the central Cantor set obtained by starting with the closed united interval, removing an open central interval of length (1 ? 2a), and iterating this process inductively on each of the remaining intervals. We investigate the convolutions µ _a * (µ _b ° S _λ ^?1 ), where S _λ (x) = λx is a rescaling map. We prove that if the ratio log b/ log a is irrational and λ ≠ 0, then

$D({\mu _a} * ({\mu _b} \circ S_\lambda ^{ - 1})) = \min ({\dim _H}({C_a}) + {\dim _H}({C_b}),1)$

, where D denotes any of correlation, Hausdorff or packing dimension of a measure.

We also show that, perhaps surprisingly, for uncountably many values of λ the convolution µ_1/4* (µ_1/3 ° S _λ ^?1 ) is a singular measure, although dim _H (C _1/4) + dim _H (C _1/3) > 1 and log(1/3)/ log(1/4) is irrational.     

On Padé approximants of Markov-type meromorphic functions

The paper is devoted to the asymptotic properties of diagonal Padé approximants for Markov-type meromorphic functions. The main result is strong asymptotic formulas for the denominators of diagonal Padé approximants for Markov-type meromorphic functions f = \(\hat \sigma \) + r under additional constraints on the measure σ (r is a rational function). On the basis of these formulas, it is proved that, in a sufficiently small neighborhood of a pole of multiplicity m of such a meromorphic function f, all poles of the diagonal Padé approximants f _n are simple and asymptotically located at the vertices of a regular m-gon.     

Arnold diffusion for a complete family of perturbations

In this work we illustrate the Arnold diffusion in a concrete example — the a priori unstable Hamiltonian system of 2 + 1/2 degrees of freedom H(p, q, I, φ, s) = p ²/2+ cos q ? 1 + I ²/2 + h(q, φ, s; ε) — proving that for any small periodic perturbation of the form h(q, φ, s; ε) = ε cos q (a ₀₀ + a ₁₀ cosφ + a ₀₁ cos s) (a ₁₀ a ₀₁ ≠ 0) there is global instability for the action. For the proof we apply a geometrical mechanism based on the so-called scattering map. This work has the following structure: In the first stage, for a more restricted case (I* ~ π/2μ, μ = a ₁₀/a ₀₁), we use only one scattering map, with a special property: the existence of simple paths of diffusion called highways. Later, in the general case we combine a scattering map with the inner map (inner dynamics) to prove the more general result (the existence of instability for any μ). The bifurcations of the scattering map are also studied as a function of μ. Finally, we give an estimate for the time of diffusion, and we show that this time is primarily the time spent under the scattering map.