Asymptotics for Lp extremal polynomials on the unit circle

Let p > 1, and dμ a positive finite Borel measure on the unit circle Γ: = {z ε C: ¦z¦ = 1}. Define the monic polynomial φ_{n, p}(z)=zⁿ+…εP_n >(the set of polynomials of degree at most n) satisfying

Full-size image

. Under certain conditions on dμ, the asymptotics of φ_{n, p}(z) for z outside, on, or inside Γ are obtained (cf. Theorems 2.2 and 2.4). Zero distributions of φ_{n, p} are also discussed (cf. Theorems 3.1 and 3.2).     

Weak Asymptotics for the Generating Polynomials of the Stirling Numbers of the Second Kind

For the horizontal generating functions P_n(z)=∑ⁿ_k=1 S(n, k) z^k of the Stirling numbers of the second kind, strong asymptotics are established, as n→∞. By using the saddle point method for Q_n(z)=P_n(nz) there are two main results: an oscillating asymptotic for z(−e, 0) and a uniform asymptotic on every compact subset of \[−e, 0]. Finally, an Airy asymptotic in the neighborhood of −e is deduced.     

A random CLT for dependent random variables

We introduce a new condition for {Y_τn} to have the same asymptotic distribution that {Y_n} has, where {Y_n} is a sequence of random elements of a metric space (S, d) and {τ_n} is a sequence of random indices. The condition on {Y_n} is that max_iDnd(Y_i, Y_an)→^p0 as n → ∞, where D_n = {i: |k_i−k_an| ≤ δ_ank_an} and {δ_n} is a nonincreasing sequence of positive numbers. The condition on {τ_n} is that P(|(k_τn/k_an)−1| > δ_an) → 0 as n → ∞. Under these conditions, we will show that d(Y_τn, Y_an) → ^P0 and apply this result to the CLT for a general class of sequences of dependent random variables.     

Inequalities for a Polynomial and Its Derivative II

A well-known result of Rivlin states that if p(z) is a polynomial of degree n, such that p(z) ≠ 0 in |z| < 1, then max_{|z|=r < 1} |p(z)| ≤ ((r + 1)/2)ⁿ max_{|z| = 1} |p(z)|. In this paper, we consider the polynomial p(z) = a₀ + Σⁿ_{v = μ}a_υz^υ having all its zeros in |z| ≤ k > 1 and obtain a generalization of this result. Our result improves upon a result recently proved by Bidkham and Dewan (J. Math. Anal. Appl.166 (1992), 19-324).     

The Logarithmic Asymptotic Expansions for the Norms of Evaluation Functionals

Let μ be a compactly supported finite Borel measure in ℂ, and let Π_n be the space of holomorphic polynomials of degree at most n furnished with the norm of L ²(μ). We study the logarithmic asymptotic expansions of the norms of the evaluation functionals that relate to polynomials p ∈ Π_n their values at a point z ∈ ℂ. The main results demonstrate how the asymptotic behavior depends on regularity of the complement of the support of μ and the Stahl-Totik regularity of the measure. In particular, we study the cases of pointwise and μ-a.e. convergence as n → ∞.Original Russian Text Copyright © 2005 Dovgoshei A. A., Abdullaev F., and Kucukaslan M.__________Translated from Sibirskii Matematicheskii Zhurnal, Vol. 46, No. 4, pp. 774–785, July–August, 2005.     

A weak law for normed weighted sums of random elements in rademacher type p banach spaces

For weighted sums Σ_{j = 1}ⁿa_jV_j of independent random elements {V_n, n ≥ 1} in real separable, Rademacher type p (1 ≤ p ≤ 2) Banach spaces, a general weak law of large numbers of the form (Σ_{j = 1}ⁿa_jV_j − v_n)/b_n →^p 0 is established, where {v_n, n ≥ 1} and b_n → ∞ are suitable sequences. It is assumed that {V_n, n ≥ 1} is stochastically dominated by a random element V, and the hypotheses involve both the behavior of the tail of the distribution of |V| and the growth behaviors of the constants {a_n, n ≥ 1} and {b_n, n ≥ 1}. No assumption is made concerning the existence of expected values or absolute moments of the {V_n, n >- 1}.     

Quadratic Hermite–Padé polynomials associated with the exponential function

The asymptotic behavior of quadratic Hermite–Padé polynomials associated with the exponential function is studied for n→∞. These polynomials are defined by the relation

(*)

p_n(z)+q_n(z)e^z+r_n(z)e^2z=O(z³ⁿ⁺²) as z→0,

where O(·) denotes Landau's symbol. In the investigation analytic expressions are proved for the asymptotics of the polynomials, for the asymptotics of the remainder term in (*), and also for the arcs on which the zeros of the polynomials and of the remainder term cluster if the independent variable z is rescaled in an appropriate way. The asymptotic expressions are defined with the help of an algebraic function of third degree and its associated Riemann surface. Among other possible applications, the results form the basis for the investigation of the convergence of quadratic Hermite–Padé approximants, which will be done in a follow-up paper.     

Continuity in G

For a discrete group G, we consider βG, the Stone– ech compactification of G, as a right topological semigroup, and G^*=βGG as a subsemigroup of βG. We study the mappings λ_p^* :G^*→G^*and μ^* :G^*→G^*, the restrictions to G^* of the mappings λ_p :βG→βG and μ :βG→βG, defined by the rules λ_p(q)=pq, μ(q)=qq. Under some assumptions, we prove that the continuity of λ_p^* or μ^* at some point of G^* implies the existence of a P-point in ω^*.     

Existence of maximal solutions

Let Ω be a plane bounded region. Let U = {U_μ(P):μ(P)εL∞(Ω), u_μ ε H²_{2, 0}(Ω) and a(P, μ(P))u_μ,xx + 2b(P, μ(P))u_μ,xy + c(P, μ(P))u_μ,vv = ƒ(P) for P ε Ω; here we are given a(P, X), b(P, X), c(P, X) ε L_∞(Ω × E¹), ƒ(P) ε L_p(Ω) with p > 2, and our partial differential equation is uniformly elliptic. The functions μ(P) are called profiles. We establish sufficient conditions—which when they apply are constructive—that there exist a μ₀ ε L_∞(Ω) such that u_μ0 (P) u_μ(P) for all P ε Ω and for each μ ε L_∞(Ω). Similar results are obtained for a difference equation and convergence is proved.     

Roots under convolution of sequences

The convolution a * b of the sequences a = a₀, a₁, a₂, and b is the sequence with elements ∑₀ⁿ a_kb_{n − k}. One sets 1, 1, 1, equal to σ. Given that a * a with a ≥ 0 is close to σ * σ, how close is a to σ? More generally, one asks how close a is to σ if the p-th convolution power, a*P with a ≥ 0, is close to σ*P. Power series and complex analysis form a natural tool to estimate the ‘summed deviation’ ρ = σ * (a — σ) in terms of b = a * a — σ * σ or b = a*P − σ*P. Optimal estimates are found under the condition ∑_k=0ⁿ b_k² = %plane1D;512;(n^{2β + 1}) whenever −½ < β < p − 1. It is not known what the optimal estimates are for the special case b_n = %plane1D;512;(n^β).     

On the Strong Law of Large Numbers and the Law of the Logarithm for Weighted Sums of Independent Random Variables with Multidimensional Indices

Let (X, X ; ^d} be a field of independent identically distributed real random variables, 0 < p < 2, and {a _, ; ( , ) ^d × ^d, ≤ } a triangular array of real numbers, where ^d is the d-dimensional lattice. Under the minimal condition that sup _, |a _, | < ∞, we show that | |^{− 1/p} ∑ _≤ a _, X → 0 a.s. as | | → ∞ if and only if E(|X|^p(L|X|)^{d − 1}) < ∞ provided d ≥ 2. In the above, if 1 ≤ p < 2, the random variables are needed to be centered at the mean. By establishing a certain law of the logarithm, we show that the Law of the Iterated Logarithm fails for the weighted sums ∑ _≤ a _, X under the conditions that EX = 0, EX² < ∞, and E(X²(L|X|)^{d − 1}/L₂|X|) < ∞ for almost all bounded families {a _, ; ( , ) ^d × ^d, ≤ of numbers.     

The Vector QD Algorithm for Smooth Functions (f, f′)

We deal with the functionz(f(z), f′(z)) wheref(z)=∑_i0 a_izⁱ, (a_i ) with lim_i→∞ a_i+1×a_i−1/(a_i)²=q. We investigate the convergence of the vector QD algorithm. We give the asymptotic behaviour of the generalized Hankel determinants. A convergence result on the vector orthogonal polynomials is proved.     

Two New Classes of Difference Families

A Z-cyclic triplewhist tournament for 4n+1 players, or briefly a TWh(4n+1), is equivalent to a n-set {(a_i, b_i, c_i, d_i) | i=1, …, n} of quadruples partitioning Z_4n+1−{0} with the property that ⁿ_i=1 {±(a_i−c_i), ±(b_i−d_i)}=ⁿ_i=1 {±(a_i−b_i), ±(c_i−d_i)}=ⁿ_i=1 {±(a_i−d_i), ±(b_i−c_i)}=Z_4n+1−{0}. The existence problem for Z-cyclic TWh(p)'s with p a prime has been solved for p1 (mod 16). I. Anderson et al. (1995, Discrete Math.138, 31–41) treated the case of p≡5 (mod 8) while Y. S. Liaw (1996, J. Combin. Des.4, 219–233) and G. McNay (1996, Utilitas Math.49, 191–201) treated the case of p≡9 (mod 16). In this paper, besides giving easier proofs of these authors' results, we solve the problem also for primes p≡1 (mod 16). The final result is the existence of a Z-cyclic TWh(v) for any v whose prime factors are all≡1 (mod 4) and distinct from 5, 13, and 17.     

A constructive approach to minimal projections in Banach spaces

Let X be a Banach space and Y a finite-dimensional subspace of X. Let P be a minimal projection of X onto Y. It is shown (Theorem 1.1) that under certain conditions there exist sequences of finite-dimensional “approximating subspaces” X_m and Y_m of X with corresponding minimal projections P_m: X_m → Y_m, such that lim_m→∞ P_m = P. Moreover, a certain related sequence of projections i_m○P_m○π_m: X → Y has cluster points in the strong operator topology, each of which is a minimal projection of X onto Y. When X = C[a, b] the result reduces to a theorem of [7.]. It is shown (Corollary 1.11) that the hypothesis of Theorem 1.1 holds in many important Banach spaces, including C[a, b], L^P[a, b] and l^P for 1 p < ∞, and c₀, the space of sequences converging to zero in the sup norm.     

Zeros of orthogonal polynomials on the real line

Let p_n(x) be the orthonormal polynomials associated to a measure dμ of compact support in . If Esupp(dμ), we show there is a δ>0 so that for all n, either p_n or p_n+1 has no zeros in (E−δ,E+δ). If E is an isolated point of supp(μ), we show there is a δ so that for all n, either p_n or p_n+1 has at most one zero in (E−δ,E+δ). We provide an example where the zeros of p_n are dense in a gap of supp(dμ).     

Extremal values of continuants and transcendence of certain continued fractions

We prove a criterion for the transcendence of continued fractions whose partial quotients are contained in a finite set {b₁,…,b_r} of positive integers such that the density of occurrences of b_i in the sequence of partial quotients exists for 1ir. As an application we study continued fractions [0,a₁,a₂,a₃,…] with a_n=1+([nθ]modd) where θ is irrational and d2 is a positive integer.     

Precise asymptotics in some strong limit theorems for multidimensionally indexed random variables

Consider Z₊^d (d2)—the positive d-dimensional lattice points with partial ordering , let {X_k,kZ₊^d} be i.i.d. random variables with mean 0, and set S_n=∑_knX_k, nZ₊^d. We establish precise asymptotics for ∑_n|n|^r/p−2P(|S_n||n|^1/p), and for

Full-size image

, (0δ1) as 0, and for

Full-size image

as .     

A Singular Riesz Product in the Nevai Class and Inner Functions with the Schur Parameters in ∩p>2 l

There exist singular Riesz products dσ=∏^∞_κ=1 (1+Re(α_κζ^n_κ)) on the unit circle with the parameters (a_n)_n0 of orthogonal polynomials in L²(dσ) satisfying ∑^∞_n=0 |a_n|^p<+∞ for every p, p>2. The Schur parameters of the inner factor of the Cauchy integral ∫ (ζ−z)⁻¹ dσ(ζ), σ being such a Riesz product, belong to ∩_p>2 l^p.     

Compensated Compactness, Paracommutators, and Hardy Spaces

LetB₁: ⁿ× ^N₁→ ^m₁,B₂: ⁿ× ^N₂→ ^m₂andQ: ^m₂→ ^m₁be bilinear forms which are related as follows: ifμandνsatisfyB₁(ξ, μ)=0 andB₂(ξ, ν)=0 for someξ≠0, thenμ^τQν=0. Supposep⁻¹+q⁻¹=1. Coifman, Lions, Meyer and Semmes proved that, ifuL^p( ⁿ) andvL^q( ⁿ), and the first order systemsB₁(D, u)=0,B₂(D, v)=0 hold, thenu^τQvbelongs to the Hardy spaceH¹( ⁿ), provided that both (i)p=q=2, and (ii) the ranks of the linear mapsB_j(ξ, ·) : ^N_j→ ^m₁are constant. We apply the theory of paracommutators to show that this result remains valid when only one of the hypotheses (i), (ii) is postulated. The removal of the constant-rank condition whenp=q=2 involves the use of a deep result of Lojasiewicz from singularity theory.