Asymptotic Behavior of Sobolev-Type Orthogonal Polynomials on the Unit Circle

We study the asymptotic behavior of the sequence of polynomials orthogonal with respect to the discrete Sobolev inner product on the unit circle

Full-size image

where f(Z)=(f(z₁), …, f^(l₁)(z₁), …, f(z_m), …, f^(l_m)(z_m)), A is a M×M positive definite matrix or a positive semidefinite diagonal block matrix, M=l₁+…+l_m+m, dμ belongs to a certain class of measures, and |z_i|>1, i=1, 2, …, m.     

On Approximate ℓ 1 Systems in Banach Spaces

Let X be a real Banach space and let (f(n)) be a positive nondecreasing sequence. We consider systems of unit vectors (x_i)^∞_i=1 in X which satisfy ∑_iA±x_i|A|−f(|A|), for all finite A and for all choices of signs. We identify the spaces which contain such systems for bounded (f(n)) and for all unbounded (f(n)). For arbitrary unbounded (f(n)), we give examples of systems for which [x_i] is H.I., and we exhibit systems in all isomorphs of ℓ₁ which are not equivalent to the unit vector basis of ℓ₁. We also prove that certain lacunary Haar systems in L₁ are quasi-greedy basic sequences.     

On the Uniform Approximation of a Class of Analytic Functions by Bruwier Series

For a class of analytic functions f(z) defined by Laplace–Stieltjes integrals the uniform convergence on compact subsets of the complex plane of the Bruwier series (B-series) ∑^∞_n=0 λ_n(f) , λ_n(f)=f⁽ⁿ⁾(nc)+cf⁽ⁿ⁺¹⁾(nc), generated by f(z) and the uniform approximation of the generating function f(z) by its B-series in cones |arg z|< is shown.     

Power series whose coefficients form homogeneous random processes

Summary Power series f(z) = a _izⁱ are considered, where the sequence {a _i} forms a homogeneous random process. If the sequence is exchangeable and the variance of the marginal distributions exists, it is proved that r, the random radius of convergence of f(z), takes the values 0 and 1. If the sequence is a second order stationary time series then r=1 with probability 1. If {a _i} is a regular denumerable Markov chain, it can be proved that r=c=1 with probability 1, but both c=0 and c=1 can arise. A number of criteria are given for deciding the value of c in this situation.     

Weak convergence to the matrix stochastic integral ∫0 B dB′

The asymptotic theory of regression with integrated processes of the ARIMA type frequently involves weak convergence to stochastic integrals of the form ∫₀¹ W dW, where W(r) is standard Brownian motion. In multiple regressions and vector autoregressions with vector ARIMA processes, the theory involves weak convergence to matrix stochastic integrals of the form ∫₀¹ B dB′, where B(r) is vector Brownian motion with a non-scalar covariance matrix. This paper studies the weak convergence of sample covariance matrices to ∫₀¹ B dB′ under quite general conditions. The theory is applied to vector autoregressions with integrated processes.     

A sufficient condition for pairing problem of generators in symmetrizable Kac–Moody algebras

In a symmetrizable Kac–Moody algebra g(A), let α=∑_i=1ⁿk_iα_i be an imaginary root satisfying k_i>0 and α,α_i<0 for i=1,2,…,n. In this paper, it is proved that for any x_αg_α{0}, satisfying [x_α,f_n]≠0 and [x_α,f_i]=0 for i=1,2,…,n−1, there exists a vector y such that the subalgebra generated by x_α and y contains g′(A), the derived subalgebra of g(A).     

On generalized shift bases for the wiener disc algebra

LetW(D) denote the set of functionsf(z)=Σ _n=0 ^∞ A _n Z ⁿ a _nzⁿ for which Σ_n=0 ^∞|a _n |<+∞. Given any finite set lcub;f _i (z)rcub; _i=1 ⁿ inW(D) the following are equivalent: (i) The generalized shift sequence lcub;f ₁(z)z ^kn ,f ₂(z)z ^kn+1, …,f _n (z)z ^(k+1)n−1rcub; _k=0 ^∞ is a basis forW(D) which is equivalent to the basis lcub;z ^m rcub; _m=0 ^∞ . (ii) The generalized shift sequence is complete inW(D), (iii) The function has no zero in |z|≦1, wherew=e ^2πiti /n.     

A modification of the classical quadrature method for locating zeros of analytic functions

The classical method for determination of a simple zeroa of an analytic functionf(z) inside a closed contourC by using the formulaa=(2i)^–1 _C [zf'(z)/f(z)]dz is reconsidered and modified. The modification consists in using the Cauchy theorem instead of the Cauchy formula and, further, evaluating numericallya as one of the zeros of an appropriate polynomial depending on the quadrature rule used. The case of circular contours with application of the trapezoidal rule is considered in detail and numerical results are presented.     

Meromorphic functions sharing two small functions with its derivative

In this paper, we find all the forms of meromorphic functions f(z) that share the value 0 CM^∗, and share b(z)IM^∗ with g(z)=a₁(z)f(z)+a₂(z)f^′(z). And a₁(z), a₂(z) and b(z) (a₂(z),b(z)?0) be small functions with respect to f(z). As an application, we show that some of nonlinear differential equations have no transcendental meromorphic solution.     

The method of asymptotic stabilization to a given trajectory based on a correction of the initial data

Let S be an operator in a Banach space H and S ⁱ (u) (i = 0, 1, ..., u ∈ H) be the evolutionary process specified by S. The following problem is considered: for a given point z ₀ and a given initial condition a ₀, find a correction l such that the trajectory {S ⁱ (a ₀ + l)} approaches }S ⁱ (z ₀)} for 0 < i ≤ n. This problem is reduced to projecting a ₀ on the manifold ?^?(z ₀, f ⁽ⁿ⁾) defined in a neighborhood of z ₀ and specified by a certain function f ⁽ⁿ⁾. In this paper, an iterative method is proposed for the construction of the desired correction u = a ₀ + l. The convergence of the method is substantiated, and its efficiency for the blow-up Chafee-Infante equation is verified. A constructive proof of the existence of a locally stable manifold ?^?(z ₀, f) in a neighborhood of a trajectory of hyperbolic type is one of the possible applications of the proposed method. For the points in ?^?(z ₀, f), the value of n can be chosen arbitrarily large.     

Polynomial projectors preserving homogeneous partial differential equations

A polynomial projector Π of degree d on is said to preserve homogeneous partial differential equations (HPDE) of degree k if for every and every homogeneous polynomial of degree k, q(z)=∑_|α|=ka_αz^α, there holds the implication: q(D)f=0q(D)Π(f)=0. We prove that a polynomial projector Π preserves HPDE of degree if and only if there are analytic functionals with such that Π is represented in the following form

with some , where u_α(z)z^α/α!. Moreover, we give an example of polynomial projectors preserving HPDE of degree k (k1) without preserving HPDE of smaller degree. We also give a characterization of Abel–Gontcharoff projectors as the only Birkhoff polynomial projectors that preserve all HPDE.     

Solutions with boundary‐layers and spike‐layers to singularly perturbed quasilinear Dirichlet problems

The structure of nontrivial nonnegative solutions to singularly perturbed quasilinear Dirichlet problems of the form –?Δ_pu = f(u) in Ω, u = 0 on ?Ω, Ω ? R ^N a bounded smooth domain, is studied as ? → 0⁺, for a class of nonlinearities f(u) satisfying f(0) = f(z₁) = f(z₂) = 0 with 0 < z₁ < z₂, f < 0 in (0, z₁), f > 0 in (z₁, z₂) and f(u)/u^p–1 = –∞. It is shown that there are many nontrivial nonnegative solutions with spike‐layers. Moreover, the measure of each spike‐layer is estimated as ? → 0⁺. These results are applied to the study of the structure of positive solutions of the same problems with f changing sign many times in (0,∞). Uniqueness of a solution with a boundary‐layer and many positive intermediate solutions with spike‐layers are obtained for ? sufficiently small. (© 2004 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Comonotone Jackson's Inequality

Let 2s points y_i=−πy_2s<…<y₁<π be given. Using these points, we define the points y_i for all integer indices i by the equality y_i=y_i+2s+2π. We shall write fΔ⁽¹⁾(Y) if f is a 2π-periodic continuous function and f does not decrease on [y_i, y_i−1], if i is odd; and f does not increase on [y_i, y_i−1], if i is even. In this article the following Theorem 1—the comonotone analogue of Jackson's inequality—is proved. 1. If fΔ⁽¹⁾(Y), then for each nonnegative integer n there is a trigonometric polynomial τ_n(x) of order n such that τ_nΔ⁽¹⁾(Y), and |f(x)−π_n(x)|c(s) ω(f; 1/(n+1)), x , where ω(f; t) is the modulus of continuity of f, c(s)=const. Depending only on s.     

On Classes of Functions Related to Starlike Functions with Respect to Symmetric Conjugate Points Defined by a Fractional Differential Operator

Let A denote the class of analytic functions f, in the open unit disk E = {z : |z| < 1}, normalized by f(0) = f′(0) − 1 = 0. In this paper, we introduce and study the class ST^n,a_l,m(h){ST^{n,\alpha}_{\lambda,m}(h)} of functions f ? A{f\in A}, with \fracD^n,a_l f_m(z)z 1 0{\frac{D^{n,\alpha}_\lambda f_m(z)}{z}\neq 0}, satisfying

On an infinite series of Abel occurring in the theory of interpolation

The purpose of this paper is to show that for a certain class of functions f which are analytic in the complex plane possibly minus (−∞, −1], the Abel series f(0) + Σ_{n = 1}^∞ f⁽ⁿ⁾(nβ) z(z − nβ)^{n − 1}/n! is convergent for all β>0. Its sum is an entire function of exponential type and can be evaluated in terms of f. Furthermore, it is shown that the Abel series of f for small β>0 approximates f uniformly in half-planes of the form Re(z) − 1 + δ, δ>0. At the end of the paper some special cases are discussed.     

On sharp Burkholder–Rosenthal-type inequalities for infinite-degree U-statistics

In this paper, we present a method that allows one to obtain a number of sharp inequalities for expectations of functions of infinite-degree U-statistics. Using the approach, we prove, in particular, the following result: Let D be the class of functions f :R₊→R₊ such that the function f(x+z)−f(x) is concave in xR₊ for all zR₊. Then the following estimate holds: for all fD and all U-statistics ∑_1i1<<ilnY_i1,…,il(X_i1,…,X_il) with nonnegative kernels Y_i1,…,il :R^l→R₊, 1i_kn; i_r≠i_s, r≠s; k,r,s=1,…,l; l=0,…,m, in independent r.v.'s X₁,…,X_n. Similar inequality holds for sums of decoupled U-statistics. The class D is quite wide and includes all nonnegative twice differentiable functions f such that the function f″(x) is nonincreasing in x>0, and, in particular, the power functions f(x)=x^t, 1<t2; the power functions multiplied by logarithm f(x)= (x+x₀)^t ln(x+x₀), 1<t<2, x₀max(e^{(3t2−6t+2)/(t(t−1)(2−t))},1); and the entropy-type functions f(x)=(x+x₀)ln(x+x₀), x₀1. As an application of the results, we determine the best constants in Burkholder–Rosenthal-type inequalities for sums of U-statistics and prove new decoupling inequalities for those objects. The results obtained in the paper are, to our knowledge, the first known results on the best constants in sharp moment estimates for U-statistics of a general type.     

Factorization of entire solutions of some algebraic differential equations

We investigate the factorization of entire solutions of the following algebraic differential equations:

bn(z)finjn(f^′)+bn−1(z)fin−1jn−1(f^′)+?+b₀(z)fi₀j₀(f^′)=b(z),     

Algebraic independence of the values of certain series by Mahler's method

Suppose thatf ₁(z), ...f _m(z) are algebraically independent functions of a complex variable satisfying $$f_i (z) = a_i (z)f_i (Tz) + b_i (z),$$ wherea _i (z),b _i (z) are rational functions andTz=p(z ^?1)^?1 for a polynomialp(z) of degree larger than 1. We show thatf ₁(a), ...,f _m (a) are algebraically independent under suitable conditions onf anda. As an application of our main result, we deduce three corollaries, which generalize earlier work by Davison and Shallit and by Tamura.     

A functional model for the tensor product of level 1 highest and level −1 lowest modules for the quantum affine algebra

Let V(Λ_i) (resp., V(−Λ_j)) be a fundamental integrable highest (resp., lowest) weight module of . The tensor product V(Λ_i)V(−Λ_j) is filtered by submodules , n≥0, n≡i−j mod 2, where v_iV(Λ_i) is the highest vector and is an extremal vector. We show that F_n/F_n+2 is isomorphic to the level 0 extremal weight module V(n(Λ₁−Λ₀)). Using this we give a functional realization of the completion of V(Λ_i)V(−Λ_j) by the filtration (F_n)_n≥0. The subspace of V(Λ_i)V(−Λ_j) of -weight m is mapped to a certain space of sequences (P_n,l)_{n≥0,n≡i−jmod2,n−2l=m}, whose members P_n,l=P_n,l(X₁,…,X_lz₁,…,z_n) are symmetric polynomials in X_a and symmetric Laurent polynomials in z_k, with additional constraints. When the parameter q is specialized to , this construction settles a conjecture which arose in the study of form factors in integrable field theory.     

L∞-upper bound of L2-projections onto splines at a geometric mesh

For an integer k 1 and a geometric mesh (qⁱ)_−∞^∞ with q ε (0, ∞), let M_i,k(x): = k[q^{i + k}](· − x)₊^{k − 1}, N_i,k(x): = (q^{i + k} − qⁱM_i,k(x)/k, and let A_k(q) be the Gram matrix (∝M_i,kN_j,k)_i,jεz. It is known that A_k(q)⁻¹_∞ is bounded independently of q. In this paper it is shown that A_k(q)⁻¹_∞ is strictly decreasing for q in [1, ∞). In particular, the sharp upper bound and lower bound for A_k (q)⁻¹ are obtained: for all q ε (0, ∞).