When do linear combinations of orthogonal polynomials yield new sequences of orthogonal polynomials?

Given {P_n}_n≥0 a sequence of monic orthogonal polynomials, we analyze their linear combinations with constant coefficients and fixed length, i.e., 

     

Kernels of Gramian operators for frames in shift-invariant subspaces

For an invertible n×n matrix B and Φ a finite or countable subset of L²(Rⁿ), consider the collection X={?(·-Bk):?∈Φ,k∈Zⁿ} generating the closed subspace M of L²(Rⁿ). Our main objects of interest in this paper are the kernel of the associated Gramian G(.) and dual Gramian operator-valued functions. We show in particular that the orthogonal complement of M in L²(Rⁿ) can be generated by a Parseval frame obtained from a shift-invariant system having m generators where . Furthermore, this Parseval frame can be taken to be an orthonormal basis exactly when almost everywhere. Analogous results in terms of dim(Ker(G(.))) are also obtained concerning the existence of a collection of m sequences in the orthogonal complement of the range of analysis operator associated with the frame X whose shifts either form a Parseval frame or an orthonormal basis for that orthogonal complement.     

Asymptotic properties of generalized Laguerre orthogonal polynomials

In the present paper we deal with the polynomials L_n^(α,M,N) (x) orthogonal with respect to the Sobolev inner product

     

Second degree classical forms

A form (linear functional) u is called regular if there exists a sequence of polynomials {P_n}_n≥0, deg P_n = n which is orthogonal with respect to u. Such a form is said to be of second degree if there are polynomials B and C such that the Stieltjes function satisfies a relation of the form BS²(u) + CS(u) + D = 0.Classical forms correspond to classical orthogonal polynomials: sequences of polynomials whose derivatives also form an orthogonal sequence. In this paper, the authors determine all the classical forms which are of second degree. They show that Hermite, Laguerre and Bessel forms are not of second degree. Only Jacobi forms which satisfy a certain condition possess this property.     

The higher-order Picone identity and comparison of half-linear differential equations of even order

An identity of the Picone type for higher-order half-linear ordinary differential operators of the form and where p_j and P_j, j=0,…,n, are continuous functions defined on [a,b] and , is derived and then the Sturmian comparison theory for the corresponding 2nth-order equations l_α[x]=0 and L_α[y]=0 based on this identity is developed.     

Varying weights for orthogonal polynomials with monotonically varying recurrence coefficients

We consider orthogonal polynomials , where n is the degree of the polynomial and N is a discrete parameter. These polynomials are orthogonal with respect to a varying weight W_N which depends on the parameter N and they satisfy a recurrence relation with varying recurrence coefficients which we assume to be varying monotonically as N tends to infinity. We establish the existence of the limit and link this limit to an external field for an equilibrium problem in logarithmic potential theory.     

Zeros of linear combinations of Laguerre polynomials from different sequences

We study interlacing properties of the zeros of two types of linear combinations of Laguerre polynomials with different parameters, namely and . Proofs and numerical counterexamples are given in situations where the zeros of R_n, and S_n, respectively, interlace (or do not in general) with the zeros of , , k=n or n−1. The results we prove hold for continuous, as well as integral, shifts of the parameter α.     

Necessary and sufficient conditions for mean convergence of orthogonal expansions for Freud weights

A classic 1970 paper of B. Muckenhoupt established necessary and sufficient conditions for weightedL _p convergence of Hermite series, that is, orthogonal expansions corresponding to the Hermite weight. We generalize these to orthogonal expansions for a class of Freud weightsW ²:=e ^–2Q , by first proving a bound for the difference of the orthonormal polynomials of degreen+1 andn–1 of the weightW ². Our identical necessary and sufficient conditions close a slight gap in Muckenhoupt's conditions for the Hermite weight at least forp>1. Moreover, our necessary conditions apply whenQ(x)=|x|, >1 while our sufficient conditions apply at least for =2,4,6,....Communicated by Vilmos Totik.     

Pinching theorems of hypersurfaces in a unit sphere

Let Mn be a complete hypersurface in Sn+1(1) with constant mean curvature. Assume that Mn has n−1 principal curvatures with the same sign everywhere. We prove that if RicM≤C₋(H), either S?S₊(H) or RicM?0 or the fundamental group of Mn is infinite, then S is constant, S=S₊(H) and Mn is isometric to a Clifford torus with . These rigidity theorems are still valid for compact hypersurface without constancy condition on the mean curvature.     

Unconditional constants and polynomial inequalities

If P is a polynomial on R^m of degree at most n, given by , and P_n(R^m) is the space of such polynomials, then we define the polynomial |P| by . Now if is a convex set, we define the norm on P_n(R^m), and then we investigate the inequality providing sharp estimates on for some specific spaces of polynomials. These ’s happen to be the unconditional constants of the canonical bases of the considered spaces.     

Orthonormal polynomials with exponential-type weights

Let and let w_ρ(x)|x|^ρexp(-Q(x)), where and is an even function. In this paper we consider the properties of the orthonormal polynomials with respect to the weight , obtaining bounds on the orthonormal polynomials and spacing on their zeros. Moreover, we estimate A_n(x) and B_n(x) defined in Section 4, which are used in representing the derivative of the orthonormal polynomials with respect to the weight .     

Independence results for variants of sharply bounded induction

The theory , axiomatized by the induction scheme for sharply bounded formulae in Buss’ original language of bounded arithmetic (with ⌊x/2⌋ but not ⌊x/2^y⌋), has recently been unconditionally separated from full bounded arithmetic S₂. The method used to prove the separation is reminiscent of those known from the study of open induction.We make the connection to open induction explicit, showing that models of can be built using a “nonstandard variant” of Wilkie’s well-known technique for building models of IOpen. This makes it possible to transfer many results and methods from open to sharply bounded induction with relative ease.We provide two applications: (i) the Shepherdson model of IOpen can be embedded into a model of , which immediately implies some independence results for ; (ii) extended by an axiom which roughly states that every number has a least 1 bit in its binary notation, while significantly stronger than plain , does not prove the infinity of primes.     

Integrability and algebraic limit cycles for polynomial differential systems with homogeneous nonlinearities

We consider the class of polynomial differential equations , where P_n and Q_n are homogeneous polynomials of degree n. These systems have a focus at the origin if λ≠0, and have either a center or a focus if λ=0. Inside this class we identify a new subclass of Darbouxian integrable systems having either a focus or a center at the origin. Additionally, under generic conditions such Darbouxian integrable systems can have at most one limit cycle, and when it exists is algebraic. For the case n=2 and 3, we present new classes of Darbouxian integrable systems having a focus.     

On the irrationality of factorial series III

In this paper we derive some irrationality and linear independence results for series of the form where is either a non-negative integer sequence with υ_n = o(log n/log log n) or a non-decreasing integer sequence with .     

Integrability and algebraic limit cycles for polynomial differential systems with homogeneous nonlinearities

We consider the class of polynomial differential equations , where P_n and Q_n are homogeneous polynomials of degree n. These systems have a focus at the origin if λ≠0, and have either a center or a focus if λ=0. Inside this class we identify a new subclass of Darbouxian integrable systems having either a focus or a center at the origin. Additionally, under generic conditions such Darbouxian integrable systems can have at most one limit cycle, and when it exists is algebraic. For the case n=2 and 3, we present new classes of Darbouxian integrable systems having a focus.     

A family of invariants of rooted forests

Let A be a commutative k-algebra over a field of k and Ξ a linear operator defined on A. We define a family of A-valued invariants Ψ for finite rooted forests by a recurrent algorithm using the operator Ξ and show that the invariant Ψ distinguishes rooted forests if (and only if) it distinguishes rooted trees T, and if (and only if) it is finer than the quantity α(T)=|Aut(T)| of rooted trees T. We also consider the generating function with , where is the set of rooted trees with n vertices. We show that the generating function U(q) satisfies the equation . Consequently, we get a recurrent formula for U_n (n?1), namely, U₁=Ξ(1) and U_n=ΞS_n−1(U₁,U₂,…,U_n−1) for any n?2, where are the elementary Schur polynomials. We also show that the (strict) order polynomials and two well-known quasi-symmetric function invariants of rooted forests are in the family of invariants Ψ and derive some consequences about these well-known invariants from our general results on Ψ. Finally, we generalize the invariant Ψ to labeled planar forests and discuss its certain relations with the Hopf algebra in Foissy (Bull. Sci. Math. 126 (2002) 193) spanned by labeled planar forests.     

Alternating proximal algorithms for linearly constrained variational inequalities: Application to domain decomposition for PDE’s

Let X,Y,Z be real Hilbert spaces, let f:X→R∪{+∞}, g:Y→R∪{+∞} be closed convex functions and let A:X→Z, B:Y→Z be linear continuous operators. Let us consider the constrained minimization problem Given a sequence (γ_n) which tends toward 0 as n→+∞, we study the following alternating proximal algorithm where α and ν are positive parameters. It is shown that if the sequence (γ_n) tends moderately slowly toward 0, then the iterates of (A) weakly converge toward a solution of (P). The study is extended to the setting of maximal monotone operators, for which a general ergodic convergence result is obtained. Applications are given in the area of domain decomposition for PDE’s.     

Distributional equation for Laguerre-Hahn functionals on the unit circle

Let u be a Hermitian linear functional defined in the linear space of Laurent polynomials and F its corresponding Carathéodory function. We establish the equivalence between a Riccati differential equation with polynomial coefficients for F, zAF^′=BF²+CF+D, and a distributional equation for u, , where L is the Lebesgue functional, and the polynomials are defined in terms of the polynomials A,B,C,D.