Relative asymptotic of multiple orthogonal polynomials for Nikishin systems

We prove the relative asymptotic behavior for the ratio of two sequences of multiple orthogonal polynomials with respect to the Nikishin systems of measures. The first Nikishin system is such that for each k, σ_k has a constant sign on its compact support consisting of an interval , on which almost everywhere, and a discrete set without accumulation points in . If denotes the smallest interval containing , we assume that Δ_k∩Δ_k+1=0/, k=1,…,m−1. The second Nikishin system is a perturbation of the first by means of rational functions r_k, k=1,…,m, whose zeros and poles lie in .     

Monotone Jacobi parameters and non-Szegő weights

We relate asymptotics of Jacobi parameters to asymptotics of the spectral weights near the edges. Typical of our results is that for a_n≡1, b_n=−Cn^−β (), one has on (−2,2), and near x=2, where

     

Zeros of Bernoulli-type functions and best approximations

The zero sets of (D+a)ⁿg(t) with in the (t,a)-plane are investigated for and .The results are used to determine entire interpolations to functions , which give representations for the best approximation and best one-sided approximation from the class of functions of exponential type η>0 to .     

Binary Hermitian forms over a cyclotomic field

Let ζ be a primitive fifth root of unity and let F be the cyclotomic field . Let be the ring of integers. We compute the Voronoï polyhedron of binary Hermitian forms over F and classify -conjugacy classes of perfect forms. The combinatorial data of this polyhedron can be used to compute the cohomology of the arithmetic group and Hecke eigenforms.     

Splitting methods for SU(N) loop approximation

The problem of finding the correct asymptotic rate of approximation by polynomial loops in dependence of the smoothness of the elements of a loop group seems not well-understood in general. For matrix Lie groups such as , it can be viewed as a problem of nonlinearly constrained trigonometric approximation. Motivated by applications to optical FIR filter design and control, we present some initial results for the case of -loops, N≥2. In particular, using representations via the exponential map and first order splitting methods, we prove that the best approximation of an -loop belonging to a Hölder–Zygmund class , α>1/2, by a polynomial -loop of degree ≤n is of the order O(n^−α/(1+α)) as n→∞. Although this approximation rate is not considered final, to our knowledge it is the first general, nontrivial result of this type.     

An upper bound on Jacobi polynomials

Let be an orthonormal Jacobi polynomial of degree k. We will establish the following inequality:

where δ_-1<δ₁ are appropriate approximations to the extreme zeros of . As a corollary we confirm, even in a stronger form, T. Erdélyi, A.P. Magnus and P. Nevai conjecture [T. Erdélyi, A.P. Magnus, P. Nevai, Generalized Jacobi weights, Christoffel functions, and Jacobi polynomials, SIAM J. Math. Anal. 25 (1994) 602–614] by proving that

in the region .     

n-Star modules over ring extensions

We give conditions under which an n-star module extends to an n-star module, or an n-tilting module, over a ring extension R of A. In case that R is a split extension of A by Q, we obtain that is a 1-tilting module (respectively, a 1-star module) if and only if is a 1-tilting module (respectively, a 1-star module) and generates both and (respectively, generates ), where is an injective cogenerator in the category of all left A-modules. These extend results in [I. Assem, N. Marmaridis, Tilting modules over split-by-nilpotent extensions, Comm. Algebra 26 (1998) 1547–1555; K.R. Fuller, *-Modules over ring extensions, Comm. Algebra 25 (1997) 2839–2860] by removing the restrictions on R and Q.     

On an extremal problem of Selberg II

Let m_p be the minimum of the product under the conditions that and . In our previous paper [J. Kaneko, On an extremal problem of Selberg, J. Approx. Theory 142 (2006) 129–137], we showed that the following estimates hold. provided p255. In this note, we prove that the limit of as p→∞ exists and is expressed by the (unique) solution of some simultaneous transcendental equations. By using this expression we obtain numerically.     

Über ein Turánsches problem für radiale, positiv definite Funktionen, II

Turán's problem is to determine the greatest possible value of the integral for positive definite functions f(x), , supported in a given convex centrally symmetric body , . We consider the problem for positive definite functions of the form f(x)=(x₁), , with supported in [0,π], extending results of our first paper from two to arbitrary dimensions.Our two papers were motivated by investigations of Professor Y. Xu and the 2nd named author on, what they called, ℓ-1 summability of the inverse Fourier integral on . Their investigations gave rise to a pair of transformations (h_d,m_d) on which they studied using special functions, in particular spherical Bessel functions.To study the d-dimensional Turán problem, we had to extend relevant results of B. & X., and we did so using again Bessel functions. These extentions seem to us to be equally interesting as the application to Turán's problem.     

Approximation of Sobolev classes by polynomials and ridge functions

Let be the usual Sobolev class of functions on the unit ball in , and be the subclass of all radial functions in . We show that for the classes and , the orders of best approximation by polynomials in coincide. We also obtain exact orders of best approximation in of the classes by ridge functions and, as an immediate consequence, we obtain the same orders in for the usual Sobolev classes .     

Ratio and relative asymptotics of polynomials orthogonal with respect to varying Denisov-type measures

Let μ be a finite positive Borel measure with compact support consisting of an interval plus a set of isolated points in , such that μ^′>0 almost everywhere on [c,d]. Let , be a sequence of polynomials, , with real coefficients whose zeros lie outside the smallest interval containing the support of μ. We prove ratio and relative asymptotics of sequences of orthogonal polynomials with respect to varying measures of the form dμ/w_2n. In particular, we obtain an analogue for varying measures of Denisov's extension of Rakhmanov's theorem on ratio asymptotics. These results on varying measures are applied to obtain ratio asymptotics for orthogonal polynomials with respect to fixed measures on the unit circle and for multi-orthogonal polynomials in which the measures involved are of the type described above.     

Uniqueness of limit cycles for polynomial first-order differential equations

We study the uniqueness of limit cycles (periodic solutions that are isolated in the set of periodic solutions) in the scalar ODE in terms of {i_k}, {j_k}, {n_k}. Our main result characterizes, under some additional hypotheses, the exponents {i_k}, {j_k}, {n_k}, such that for any choice of the equation has at most one limit cycle. The obtained results have direct application to rigid planar vector fields, thus, planar systems of the form x^′=y+xR(x,y), y^′=−x+yR(x,y), where . Concretely, when the set has at least three elements (or exactly one) and another technical condition is satisfied, we characterize the exponents {i_k}, {j_k} such that the origin of the rigid system is a center for any choice of and also when there are no limit cycles surrounding the origin for any choice of .     

On a filter for exponentially localized kernels based on Jacobi polynomials

Let , and for k=0,1,…, denote the orthonormalized Jacobi polynomial of degree k. We discuss the construction of a matrix H so that there exist positive constants c, c₁, depending only on H, α, and β such that

Specializing to the case of Chebyshev polynomials, , we apply this theory to obtain a construction of an exponentially localized polynomial basis for the corresponding L² space.     

Additive maps preserving Jordan zero-products on nest algebras

Let and be nest algebras associated with the nests and on Banach Spaces. Assume that and are complemented whenever N_-=N and M_-=M. Let be a unital additive surjection. It is shown that Φ preserves Jordan zero-products in both directions, that is Φ(A)Φ(B)+Φ(B)Φ(A)=0AB+BA=0, if and only if Φ is either a ring isomorphism or a ring anti-isomorphism. Particularly, all unital additive surjective maps between Hilbert space nest algebras which preserves Jordan zero-products are characterized completely.     

On an extremal problem of Selberg

We consider the minimum value m_p of the product under the conditions that and . This problem stems from estimation of the Selberg integral appeared in the study of integral-valued entire functions [A. Selberg, Über einen Satz von A. Gelfond, Arch. Math. Naturvid. 44 (1941) 159–170]. We give upper and lower estimates of m_p : . This, in particular, slightly improves the earlier lower estimate given by Selberg: logm_p>p·0.31654924….     

The small quantum group as a quantum double

We prove that the quantum double of the quasi-Hopf algebra of dimension attached in [P. Etingof, S. Gelaki, On radically graded finite-dimensional quasi-Hopf algebras, Mosc. Math. J. 5 (2) (2005) 371–378] to a simple complex Lie algebra and a primitive root of unity q of order n² is equivalent to Lusztig's small quantum group (under some conditions on n). We also give a conceptual construction of using the notion of de-equivariantization of tensor categories.     

Singular mixed boundary value problem

We study singular boundary value problems with mixed boundary conditions of the form

where , , f is a nonnegative function and satisfies the Carathéodory conditions on . Here, f can have a time singularity at t=0 and/or t=T and a space singularity at x=0 and/or y=0. We present conditions for the existence of solutions positive on [0,T) and having continuous first derivatives on [0,T].     

Density results for Gabor systems associated with periodic subsets of the real line

The well-known density theorem for one-dimensional Gabor systems of the form , where , states that a necessary and sufficient condition for the existence of such a system whose linear span is dense in , or which forms a frame for , is that the density condition is satisfied. The main goal of this paper is to study the analogous problem for Gabor systems for which the window function g vanishes outside a periodic set which is -shift invariant. We obtain measure-theoretic conditions that are necessary and sufficient for the existence of a window g such that the linear span of the corresponding Gabor system is dense in L²(S). Moreover, we show that if this density condition holds, there exists, in fact, a measurable set with the property that the Gabor system associated with the same parameters a,b and the window g=χ_E, forms a tight frame for L²(S).     

Hypercyclic sequences of PDE-preserving operators

A sequence of continuous linear operators is said to be hypercyclic if there exists a vector , called hypercyclic for , such that {T_nx:n0} is dense. A continuous linear operator, acting on some suitable function space, is PDE-preserving for a given set of convolution operators, when it map every kernel set for these operators invariantly. We establish hypercyclic sequences of PDE-preserving operators on , and study closed infinite-dimensional subspaces of, except for zero, hypercyclic vectors for these sequences.