Asymptotics of polynomials orthogonal with respect to varying measures

Letd be a finite positive Borel measure on the interval [0, 2] such that >0 almost everywhere; andW _n be a sequence of polynomials, degW _n =n, whose zeros (w _n ,1,,w _n,n lie in [|z|1]. Let d _n <> for each_nN, whered _n =d/|W _n (e ⁱ )|². We consider the table of polynomials _n,m such that for each fixednN the system _n,m,mN, is orthonormal with respect tod _n . If

On maximal ranges of polynomial spaces in the unit disk

Let be a domain in C, 0, and let _n ⁰ () be the set of polynomials of degreen such thatP(0)=0 andP(D), whereD denotes the unit disk. The maximal range _n is then defined to be the union of all setsP(D),P _n ⁰ (). We derive necessary and, in the case of ft convex, sufficient conditions for extremal polynomials, namely those boundaries whose ranges meet _n . As an application we solve explicitly the cases where is a half-plane or a strip-domain. This also implies a number of new inequalities, for instance, for polynomials with positive real part inD. All essential extremal polynomials found so far in the convex cases are univalent inD. This leads to the formulation of a problem. It should be mentioned that the general theory developed in this paper also works for other than polynomial spaces.Communicated by J. Milne Anderson.     

Sharpening of Stečkin's theorem to strong approximation

. . , , : f — ,

Regarding thep-norms of radial basis interpolation matrices

A radial basis function approximation has the form where:R ^d R is some given (usually radially symmetric) function, (y _j ) ₁ ⁿ are real coefficients, and the centers (x _j ) ₁ ⁿ are points inR ^d . For a wide class of functions , it is known that the interpolation matrixA=((x _j –x _k )) _j,k=1 ⁿ is invertible. Further, several recent papers have provided upper bounds on ||A ^–1||₂, where the points (x _j ) ₁ ⁿ satisfy the condition ||x _j –x _k ||₂,jk, for some positive constant . In this paper we calculate similar upper bounds on ||A ^–1||₂ forp1 which apply when decays sufficiently quickly andA is symmetric and positive definite. We include an application of this analysis to a preconditioning of the interpolation matrixA _n = ((j–k)) _j,k=1 ⁿ when (x)=(x ²+c ²)^1/2, the Hardy multiquadric. In particular, we show that sup _n ||A _n ^–1 || is finite. Furthermore, we find that the bi-infinite symmetric Toeplitz matrix enjoys the remarkable property that ||E ^–1|| _p = ||E ^–1||₂ for everyp1 when is a Gaussian. Indeed, we also show that this property persists for any function which is a tensor product of even, absolutely integrable Pólya frequency functions.Communicated by Charles Micchelli.     

Convex polynomial and spline approximation in C[−1, 1]

We prove that a convex functionf C[–1, 1] can be approximated by convex polynomialsp _n of degreen at the rate of ₃(f, 1/n). We show this by proving that the error in approximatingf by C² convex cubic splines withn knots is bounded by ₃(f, 1/n) and that such a spline approximant has anL third derivative which is bounded by n³₃(f, 1/n). Also we prove that iff C²[–1, 1], then it is approximable at the rate ofn ^–2 (f, 1/n) and the two estimates yield the desired result.Communicated by Ronald A. DeVore.     

On the existence of strongly normal ideals overP κ λ

For every uncountable regular cardinal and any cardinal,P denotes the set . Furthermore, < denotes=" the=" binary=" operation=" defined=">P byx<> iffxy¦x<>.By anideal over P we mean a proper, non-principal,-complete ideal overP extending the ideal dual to the filter generated by . For any idealI overP ,I ⁺ denotes the setP –I, andI ^* the filter dual toI.     

Some counterexamples for the theory of sobolev spaces on bad domains

It is shown that some well-known properties of the Sobolev spaceL _p ^l () do not admit extension to the spaceL _p ^l () of the functions withl-th order derivatives inL _p (),l>1, without requirements to the domain . Namely, we give examples of such that

Circularity of Finite Groups without Fixed Points

Let áA, B | A^m=1, Bⁿ=A^t, BAB^-1=A^r?\langle A, B\,\vert\, A^\mu=1,\, B^\nu=A^t,\, BAB^{-1}=A^\rho\rangle where and are relative prime numbers, t = /s and s = gcd( – 1,), and is the order of modulo . We prove that if (1) = 2, and (2) is embeddable into the multiplicative group of some skew field, then is circular. This means that there is some additive group N on which acts fixed point freely, and |((a)+b)((c)+d)| 2 whenever a,b,c,d N, a0c, are such that (a)+b(c)+d.     

On local oscillatory integrals with variable Calderón-Zygmund kernels

Letp(1, ). In this paper, the authors investigate the uniformL ^p ( ⁿ ) in of the oscillatory singular integral operatorT defined by

On multivariate polynomial interpolation

We provide a map which associates each finite set in complexs-space with a polynomial space from which interpolation to arbitrary data given at the points in is possible and uniquely so. Among all polynomial spacesQ from which interpolation at is uniquely possible, our is of smallest degree. It is alsoD- and scale-invariant. Our map is monotone, thus providing a Newton form for the resulting interpolant. Our map is also continuous within reason, allowing us to interpret certain cases of coalescence as Hermite interpolation. In fact, our map can be extended to the case where, with eachgq, there is associated a polynomial space P, and, for given smoothf, a polynomialqQ is sought for which

Realizations of regular polytopes

Let be a finite regular incidence-polytope. A realization of is given by an imageV of its vertices under a mapping into some euclidean space, which is such that every element of the automorphism group () of induces an isometry ofV. It is shown in this paper that the family of all possible realizations (up to congruence) of forms, in a natural way, a closed convex cone, which is also denoted by The dimensionr of is the number of equivalence classes under () of diagonals of , and is also the number of unions of double cosets ^{** *–1*} ( ^*), where ^* is the subgroup of () which fixes some given vertex of . The fine structure of corresponds to the irreducible orthogonal representations of (). IfG is such a representation, let its degree bed _G , and let the subgroup ofG corresponding to ^* have a fixed space of dimensionw _G . Then the relations

Equivalence Bimodule Between Non-Commutative Tori

The non-commutative torus C ^*(ⁿ,) is realized as the C*-algebra of sections of a locally trivial C*-algebra bundle over S with fibres isomorphic to C ^*n/S, ₁) for a totally skew multiplier ₁ on ⁿ/S. D. Poguntke [9] proved that A is stably isomorphic to C(S) C(^*( Zⁿ/S, ₁) C(S) A M_kl( C) for a simple non-commutative torus A and an integer kl. It is well-known that a stable isomorphism of two separable C*-algebras is equivalent to the existence of equivalence bimodule between them. We construct an A-C(S) A-equivalence bimodule.     

Fourier series of functions whose Hankel transform is supported on [0, 1]

LetJ denote the Bessel function of order . For >–1, the system x^–/2–1/2J_+2n+1(x^1/2, n=0, 1, 2,..., is orthogonal onL ²((0, ),x dx). In this paper we study the mean convergence of Fourier series with respect to this system for functions whose Hankel transform is supported on [0, 1].Communicated by Mourad Ismail.     

Dimension Theory and Nonstable K1 of Quadratic Modules

Employing Bak's dimension theory, we investigate the nonstable quadratic K-group K _1,2n (A, ) = G _2n (A, )/E _2n (A, ), n 3, where G _2n (A, ) denotes the general quadratic group of rank n over a form ring (A, ) and E _2n (A, ) its elementary subgroup. Considering form rings as a category with dimension in the sense of Bak, we obtain a dimension filtration G _2n (A, ) G _2n ⁰(A, ) ; G _2n ¹(A, ) ... E _2n (A, ) of the general quadratic group G _2n (A, ) such that G _2n (A, )/G _2n ⁰(A, ) is Abelian, G _2n ⁰(A, ) G _2n ¹(A, ) ... is a descending central series, and G _2n ^d(A)(A, ) = E _2n (A, ) whenever d(A) = (Bass–Serre dimension of A) is finite. In particular K _1,2n (A, ) is solvable when d(A) < .     

An extension of the Erdős-Stone theorem

LetK _p(u₁, ..., u_p) be the completep-partite graph whoseith vertex class hasu _i vertices (lip). We show that the theorem of Erds and Stone can be extended as follows. There is an absolute constant >0 such that, for allr1, 0<1 and=">1/r, every graphG=G ⁿ of sufficiently large order |G|=n with at least

Asymptotic Formulae and Divisor Problems

We investigate the asymptotic behaviour of the summatory functions of _z(n, ), _k(n, ) z ⁽ⁿ⁾ and _k(n, ) z ⁽ⁿ⁾.     

An Inequality for Tail Probabilities of Martingales with Bounded Differences

Let M _n =X₁+...+X_n be a martingale with bounded differences X_m=M_m-M_m-1 such that {|X_m| _m}=1 with some nonnegative _m. Write ²= ₁ ² + ... + _n ² . We prove the inequalities {M _nx}c(1-(x/)), {M _n x} 1- c(1- (-x/)) with a constant . The result yields sharp inequalities in some models related to the measure concentration phenomena.