A Conjecture on Exceptional Orthogonal Polynomials

Exceptional orthogonal polynomial systems (X-OPSs) arise as eigenfunctions of Sturm–Liouville problems, but without the assumption that an eigenpolynomial of every degree is present. In this sense, they generalize the classical families of Hermite, Laguerre, and Jacobi, and include as a special case the family of CPRS orthogonal polynomials introduced by Cariñena et al. (J. Phys. A 41:085301, 2008). We formulate the following conjecture: every exceptional orthogonal polynomial system is related to a classical system by a Darboux–Crum transformation. We give a proof of this conjecture for codimension 2 exceptional orthogonal polynomials (X₂-OPs). As a by-product of this analysis, we prove a Bochner-type theorem classifying all possible X₂-OPSs. The classification includes all cases known to date plus some new examples of X₂-Laguerre and X₂-Jacobi polynomials.     

Diophantine equations for classical continuous orthogonal polynomials

Let A, B, C denote rational numbers with AB ≠ 0 and m > n ≥ 3 arbitrary rational integers. We study the Diophantine equation AP_m(x) + Bp_n(y) = C, in x, y ? , where {Pk(x)}I is one of the three classical continuous orthogonal polynomial families, i.e. Laguerre polynomials, Jacobi polynomials (including Gegenbauer, Legendre or Chebyshev polynomials) and Hermite polynomials. We prove that with exception of the Chebyshev polynomials for all such polynomial families there are at most finitely many solutions (x, y) ? ² provided n > 4. The tools are besides the criterion [3], a theorem of Szeg— [14] on monotonicity of stationary points of polynomials which satisfy a second order Sturm-Liouville differential equation,

     

An improved Tau method for a class of Sturm-Liouville problems

We consider the numerical solution of Sturm-Liouville eigenvalue problems by Legendre-Gauss Tau method. The latter approximates the solution of differential equations as a finite sum of Legendre polynomials . We propose an improved approach which seeks approximants in terms of a finite sum of exponentially weighted Legendre polynomials for some real or complex frequencies {ω_k}. With the introduction of such exponentials, Legendre-Gauss Tau method can detect the sharp variations exhibited by the highly indexed Sturm-Liouville eigenfunctions. The efficiency of our results is illustrated through numerical examples.     

Spectrum of a non-self-adjoint operator associated with the periodic heat equation

We study the spectrum of the linear operator L=−θ_∂−?θ_∂(sinθθ_∂) subject to the periodic boundary conditions on θ∈[−π,π]. We prove that the operator is closed in with the domain in for |?|<2, its spectrum consists of an infinite sequence of isolated eigenvalues and the set of corresponding eigenfunctions is complete. By using numerical approximations of eigenvalues and eigenfunctions, we show that all eigenvalues are simple, located on the imaginary axis and the angle between two subsequent eigenfunctions tends to zero for larger eigenvalues. As a result, the complete set of linearly independent eigenfunctions does not form a basis in .     

Barycentric selectors and a Steiner-type point of a convex body in a Banach space

Let F be a mapping from a metric space into the family of all m-dimensional affine subsets of a Banach space X. We present a Helly-type criterion for the existence of a Lipschitz selection f of the set-valued mapping F, i.e., a Lipschitz continuous mapping satisfying . The proof of the main result is based on an inductive geometrical construction which reduces the problem to the existence of a Lipschitz (with respect to the Hausdorff distance) selector S_X^(m) defined on the family of all convex compacts in X of dimension at most m. If X is a Hilbert space, then the classical Steiner point of a convex body provides such a selector, but in the non-Hilbert case there is no known way of constructing such a point. We prove the existence of a Lipschitz continuous selector for an arbitrary Banach space X. The proof is based on a new result about Lipschitz properties of the center of mass of a convex set.     

Notes on ordered reproducing Hilbert spaces over the complex plane

Let f, g be entire functions. If there exist M₁,M₂>0 such that |f(z)|?M₁|g(z)| whenever |z|>M₂ we say that f?g. Let X be a reproducing Hilbert space with an orthogonal basis . We say that X is an ordered reproducing Hilbert space (or X is ordered) if f?g and g∈X imply f∈X. In this note, we show that if then X is ordered; if then X is not ordered. In the case , there are examples to show that X can be of order or opposite.     

Construction of differential operators having Bochner-Krall orthogonal polynomials as eigenfunctions

Suppose is a sequence of polynomials orthogonal with respect to the moment functional τ=σ+ν, where σ is a classical moment functional (Jacobi, Laguerre, Hermite) and ν is a point mass distribution with finite support. In this paper, we develop a new method for constructing a differential equation having as eigenfunctions.     

A graded Gersten-Witt complex for schemes with a dualizing complex and the Chow group

We construct for any scheme X with a dualizing complex I_• a Gersten-Witt complex and show that the differential of this complex respects the filtration by the powers of the fundamental ideal. To prove this we introduce second residue maps for one-dimensional local domains which have a dualizing complex. This residue maps generalize the classical second residue morphisms for discrete valuation rings. For the cohomology of the quotient complexes of this filtration we prove , where μ_I is the codimension function of the dualizing complex I_• and denotes the Chow group of μ_I-codimension p-cycles modulo rational equivalence.     

On the base dimension I and the property of universality

In Iliadis (2005) [13] for an ordinal α the notion of the so-called (bn-Ind?α)-dimensional normal base C for the closed subsets of a space X was introduced. This notion is defined similarly to the classical large inductive dimension Ind. In this case we shall write here I(X,C)?α and say that the base dimension I of the space X by the normal base C is less than or equal to α. The classical large inductive dimension Ind of a normal space X, the large inductive dimension Ind₀ of a Tychonoff space X defined independently by Charalambous and Filippov, as well as, the relative inductive dimension defined by Chigogidze for a subspace X of a Tychonoff space Y may be considered as the base dimension I of X by normal bases Z(X) (all closed subsets of X), Z(X) (all functionally closed subsets of X), and , respectively.In the present paper, we shall consider normal bases of spaces consisting of functionally closed subsets. In particular, we introduce new dimension invariant : for a space X, is the minimal element α of the class O∪{−1,∞}, where O is the class of all ordinals, for which there exists a normal base C on X consisting of functionally closed subsets such that I(X,C)?α. We prove that in the class of all completely regular spaces X of weight less than or equal to a given infinite cardinal τ such that there exist universal spaces. However, the following questions are open.(1) Are there universal elements in the class of all normal (respectively, of all compact) spaces X of weight ?τ with ?(2) Are there universal elements in the class of all Tychonoff (respectively, of all normal) spaces X of weight ?τ with Ind₀(X)?n∈ω? (Note that for a compact space X.)     

Precise rates in complete moment convergence for ρ-mixing sequences

Let X₁,X₂,… be a strictly stationary sequence of ρ-mixing random variables with mean zeros and positive, finite variances, set Sn=X₁+?+Xn. Suppose that , , where q>2δ+2. We prove that, if for any 0<δ?1, then

     

C-Weierstrass for compact sets in Hilbert space

The C¹-Weierstrass approximation theorem is proved for any compact subset X of a Hilbert space . The same theorem is also proved for Whitney 1-jets on X when X satisfies the following further condition: There exist finite dimensional linear subspaces such that ?_n?1H_n is dense in and π_n(X)=X∩H_n for each n?1. Here, is the orthogonal projection. It is also shown that when X is compact convex with and satisfies the above condition, then C¹(X) is complete if and only if the C¹-Whitney extension theorem holds for X. Finally, for compact subsets of , an extension of the C¹-Weierstrass approximation theorem is proved for C¹ maps with compact derivatives.     

Polynomial Pell's equation-II

The polynomial Pell's equation is X²−DY²=1, where D is a polynomial with integer coefficients and the solutions X,Y must be polynomials with integer coefficients. Let D=A²+2C be a polynomial in , where . Then for a prime, a necessary and sufficient condition for which the polynomial Pell's equation has a nontrivial solution is obtained. Furthermore, all solutions to the polynomial Pell's equation satisfying the above condition are determined.     

On the geometry of generalized quadrics

Let {f₀,…,f_n;g₀,…,g_n} be a sequence of homogeneous polynomials in 2n+2 variables with no common zeros in P²ⁿ⁺¹ and suppose that the degrees of the polynomials are such that is a homogeneous polynomial. We shall refer to the hypersurface X defined by Q as a generalized quadric. In this note, we prove that generalized quadrics in for n≥1 are reduced.     

Ratio asymptotic of Hermite-Padé orthogonal polynomials for Nikishin systems. II

We prove ratio asymptotic for sequences of multiple orthogonal polynomials with respect to a Nikishin system of measures N(σ₁,…,σm) such that for each k, σk has constant sign on its support consisting on an interval , on which almost everywhere, and a set without accumulation points in .     

Global minimum and orthogonality in C1-classes

In this paper we characterize the global minimum of an arbitrary function defined on a Banach space, in terms of a new concept of derivatives adapted for our case from a recent work due to D.J. Keckic (J. Operator Theory, submitted for publication). Using these results we establish several new characterizations of the global minimum of the map defined by F_ψ(X)=‖ψ(X)‖₁, where is a map defined by ψ(X)=S+φ(X) and φ:B(H)→B(H) is a linear map, S∈C₁, and . Further, we apply these results to characterize the operators which are orthogonal to the range of elementary operators.     

Rudin's Dowker space, strong base-normality and base-strong-zero-dimensionality

It is well known that every pair of disjoint closed subsets F₀,F₁ of a normal T₁-space X admits a star-finite open cover U of X such that, for every U∈U, either or holds. We define a T₁-space X to be strongly base-normal if there is a base B for X with |B|=w(X) satisfying that every pair of disjoint closed subsets F₀,F₁ of X admits a star-finite cover B^′ of X by members of B such that, for every B∈B^′, either or holds. We prove that there is a base-normal space which is not strongly base-normal. Moreover, we show that Rudin's Dowker space is strongly base-(collectionwise)normal. Strong zero-dimensionality on base-normal spaces are also studied.     

Large deviation principles for sequences of logarithmically weighted means

In this paper we consider several examples of sequences of partial sums of triangular arrays of random variables {Xn:n?1}; in each case Xn converges weakly to an infinitely divisible distribution (a Poisson distribution or a centered Normal distribution). For each sequence we prove large deviation results for the logarithmically weighted means with speed function . We also prove a sample path large deviation principle for {Xn:n?1} defined by , where σ²∈(0,∞) and {Un:n?1} is a sequence of independent standard Brownian motions.     

Rationality theorems for Hecke operators on GLn

We define n families of Hecke operators for GL_n whose generating series are rational functions of the form q_k(u)⁻¹ where q_k is a polynomial of degree , and whose form is that of the kth exterior product. This work can be viewed as a refinement of work of Andrianov (Math. USSR Sb. 12(3) (1970)), in which he defined Hecke operators the sum of whose generating series was a rational function with nontrivial numerator and whose denominator was essentially .By a careful analysis of the Satake map which defines an isomorphism between a local Hecke algebra and a ring of symmetric polynomials, we define n families of (polynomial) Hecke operators and characterize their generating series as rational functions. We then give an explicit means by which to locally invert the Satake isomorphism, and show how to translate these polynomial operators back to the classical double coset setting. The classical Hecke operators have generating series of exactly the same form as their polynomial counterparts, and hence are of number-theoretic interest. We give explicit examples for GL₃ and GL₄.