Zeros of orthogonal polynomials on the real line

Let p_n(x) be the orthonormal polynomials associated to a measure dμ of compact support in . If Esupp(dμ), we show there is a δ>0 so that for all n, either p_n or p_n+1 has no zeros in (E−δ,E+δ). If E is an isolated point of supp(μ), we show there is a δ so that for all n, either p_n or p_n+1 has at most one zero in (E−δ,E+δ). We provide an example where the zeros of p_n are dense in a gap of supp(dμ).     

How tangents solve algebraic equations, or a remarkable geometry of discriminant varieties

Let D_d,k denote the discriminant variety of degree d polynomials in one variable with at least one of its roots being of multiplicity ≥ k. We prove that the tangent cones to D_d,k span D_{d,k − 1} thus, revealing an extreme ruled nature of these varieties. The combinatorics of the web of affine tangent spaces to D_d,k in D_{d,k − 1} is directly linked to the root multiplicities of the relevant polynomials. In fact, solving a polynomial equation P(z) = 0 turns out to be equivalent to finding hyperplanes through a given point which are tangent to the discriminant hypersurface D_d,2. We also connect the geometry of the Viète map V_d: , given by the elementary symmetric polynomials, with the tangents to the discriminant varieties {D_d,k}.Various d-partitions {μ} provide a refinement {D^o_μ} of the stratification of by the D_d,k's. Our main result, Theorem 7.1, describes an intricate relation between the divisibility of polynomials in one variable and the families of spaces tangent to various strata {D^o_μ}.     

Existence of maximal solutions

Let Ω be a plane bounded region. Let U = {U_μ(P):μ(P)εL∞(Ω), u_μ ε H²_{2, 0}(Ω) and a(P, μ(P))u_μ,xx + 2b(P, μ(P))u_μ,xy + c(P, μ(P))u_μ,vv = ƒ(P) for P ε Ω; here we are given a(P, X), b(P, X), c(P, X) ε L_∞(Ω × E¹), ƒ(P) ε L_p(Ω) with p > 2, and our partial differential equation is uniformly elliptic. The functions μ(P) are called profiles. We establish sufficient conditions—which when they apply are constructive—that there exist a μ₀ ε L_∞(Ω) such that u_μ0 (P) u_μ(P) for all P ε Ω and for each μ ε L_∞(Ω). Similar results are obtained for a difference equation and convergence is proved.     

On the degree of weak convergence of a sequence of finite measures to the unit measure under convexity

This is a study of the degree of weak convergence under convexity of a sequence of finite measures μ_j on ^k, k 1, to the unit measure δ_x0. LetQ denote a convex and compact subset of ^k, let ƒ ε C^m(Q), m 0, satisfy a convexity condition and let μ be a finite measure on Q. Using standard moment methods, upper bounds and best upper bounds are obtained for ¦∝_Qƒdμ − ƒ(x₀)¦. They sometimes lead to sharp inequalities which are attained for particular μ and ƒ. These estimates are better than the corresponding ones found in the literature.     

Inequalities of Rafalson type for algebraic polynomials

For a positive Borel measure dμ, we prove that the constantcan be represented by the zeros of orthogonal polynomials corresponding to dμ in case (i) dν(x)=(A+Bx)dμ(x), where A+Bx is nonnegative on the support of dμ and (ii) dν(x)=(A+Bx²)dμ(x), where dμ is symmetric and A+Bx² is nonnegative on the support of dμ. The extremal polynomials attaining the constant are obtained and some concrete examples are given including Markov-type inequality when dμ is a measure for Jacobi polynomials.     

Coherent pairs of linear functionals on the unit circle

In this paper we extend the concept of coherent pairs of measures from the real line to Jordan arcs and curves. We present a characterization of pairs of coherent measures on the unit circle: it is established that if (μ₀,μ₁) is a coherent pair of measures on the unit circle, then μ₀ is a semi-classical measure. Moreover, we obtain that the linear functional associated with μ₁ is a specific rational transformation of the linear functional corresponding to μ₀. Some examples are given.     

On the solvability in Hilbert space of certain nonlinear operator equations depending on parameters

The equation (*) Au − λTu + μCu = f is studied in a real separable Hilbert space H. Here, λ, μ > 0 are fixed constants and f ε H is fixed. The operators A: D H → H, C: D H → H are monotone and compact, respectively, where D denotes a closed ball in H. The operator T: H → H is linear, compact, self-adjoint and positive-definite. Degree-theoretic arguments are used for the existence of solutions of (*) and extensions of recent results of Kesavan are established. For example, it is shown, under additional assumptions, that there exists a constant μ₀ > 0 such that (*) is solvable for all μ μ₀ and all λ ε R.     

Semiharmonic trees and monocyclic graphs

A graph G is defined to be semiharmonic if there is a constant μ (necessarily a natural number) such that, for every vertex v, the number of walks of length 3 starting in v equals μd_G(v) where d_G(v) is the degree of v. We determine all finite semiharmonic trees and monocyclic graphs.     

Little Bloch Functions, Symmetric Pluriharmonic Measures, and Zygmund's Dichotomy

We introduce special Riesz products on the complex sphere and prove Zygmund's dichotomy for such products. Given d ₊, this construction yields a d-pluriharmonic measure μ such that all slices of μ are singular and uniformly symmetric. In particular, there exist non-constant little Bloch inner functions in the complex ball. Further little Bloch applications are given.     

Borel ideals vs. Borel sets of countable relations and trees

For every μ < ω₁, let I_μ be the ideal of all sets S ω^μ whose order type is <ω^μ. If μ = 1, then I₁ is simply the ideal of all finite subsets of ω, which is known to be Σ⁰₂-complete. We show that for every μ < ω₁, I_μ is Σ⁰_2μ-complete. As corollaries to this theorem, we prove that the set WO_ωμ of well orderings Rω × ω of order type <ω^μ is Σ⁰_2μ-complete, the set LP_μ of linear orderings R ω × ω that have a μ-limit point is Σ⁰_2μ+1-complete. Similarly, we determine the exact complexity of the set LT_μ of trees T ^<ωω of Luzin height <μ, the set WR_μ of well-founded partial orderings of height <μ, the set LR_μ of partial orderings of Luzin height <μ, the set WF_μ of well-founded trees T ^<ωω of height <μ(the latter is an old theorem of Luzin). The proofs use the notions of Wadge reducibility and Wadge games. We also present a short proof to a theorem of Luzin and Garland about the relation between the height of ‘the shortest tree’ representing a Borel set and the complexity of the set.     

Ratio asymptotics and weak asymptotic measures for orthogonal polynomials on the real line

We study ratio asymptotics, that is, existence of the limit of P_n+1(z)/P_n(z) (P_n= monic orthogonal polynomial) and the existence of weak limits of p_n² dμ (p_n=P_n/||P_n||) as n→∞ for orthogonal polynomials on the real line. We show existence of ratio asymptotics at a single z₀ with Im(z₀)≠0 implies dμ is in a Nevai class (i.e., a_n→a and b_n→b where a_n,b_n are the off-diagonal and diagonal Jacobi parameters). For μ's with bounded support, we prove p_n² dμ has a weak limit if and only if lim b_n, lim a_2n, and lim a_2n+1 all exist. In both cases, we write down the limits explicitly.     

Asymptotic analysis and asymptotic domain decomposition for an integral equation of the radiative transfer type

We consider an integral equation of the radiative transfer type stated in the interval [0,τ₀] with the length τ₀1. We construct an asymptotic solution of the problem and we give a method transforming this problem to some similar problems set in the interval with the length dτ₀. Error estimates are proved.     

Direct and Inverse Spectral Theory of One-dimensional Schrödinger Operators with Measures

We present a direct and rather elementary method for defining and analyzing one-dimensional Schrödinger operators H = −d²/dx² + μ with measures as potentials. The basic idea is to let the (suitably interpreted) equation −f′′ + μ f = zf take center stage.We show that the basic results from direct and inverse spectral theory then carry over to Schrödinger operators with measures.     

Summability of orthogonal expansions of several variables

Summability of spherical h-harmonic expansions with respect to the weight function ∏_j=1^d |x_j|^2κ_j (κ_j0) on the unit sphere S^d−1 is studied. The main result characterizes the critical index of summability of the Cesàro (C,δ) means of the h-harmonic expansion; it is proved that the (C,δ) means of any continuous function converge uniformly in the norm of C(S^d−1) if and only if δ>(d−2)/2+∑_j=1^d κ_j−min_1jd κ_j. Moreover, it is shown that for each point not on the great circles defined by the intersection of the coordinate planes and S^d−1, the (C,δ) means of the h-harmonic expansion of a continuous function f converges pointwisely to f if δ>(d−2)/2. Similar results are established for the orthogonal expansions with respect to the weight functions ∏_j=1^d |x_j|^2κ_j(1−|x|²)^μ−1/2 on the unit ball B^d and ∏_j=1^d x_j^κ_j−1/2(1−|x|₁)^μ−1/2 on the simplex T^d. As a related result, the Cesàro summability of the generalized Gegenbauer expansions associated to the weight function |t|^2μ(1−t²)^λ−1/2 on [−1,1] is studied, which is of interest in itself.     

A one-parameter family of unimodal, concave, polynomial maps of the interval exhibiting multiplicities

This paper shows there exists a polynomial map, p, of the interval [0, 1] onto itself that is concave, symmetric about the point and such that, when parameterized {μp}, 0 ≤ μ ≤ 1, there exist three distinct values of the parameter μ₀ < μ₁ < μ₂ such that RLR³C = K(μ₀p) ≠ K(μ₁p) ≠ K(μ₂p) = RLR³C. There is also given an explicit construction of a C¹ family with the same properties.     

Completions of -algebras

A μ-algebra is a model of a first-order theory that is an extension of the theory of bounded lattices, that comes with pairs of terms (f,μ_x.f) where μ_x.f is axiomatized as the least prefixed point of f, whose axioms are equations or equational implications.Standard μ-algebras are complete meaning that their lattice reduct is a complete lattice. We prove that any nontrivial quasivariety of μ-algebras contains a μ-algebra that has no embedding into a complete μ-algebra.We then focus on modal μ-algebras, i.e. algebraic models of the propositional modal μ-calculus. We prove that free modal μ-algebras satisfy a condition–reminiscent of Whitman’s condition for free lattices–which allows us to prove that (i) modal operators are adjoints on free modal μ-algebras, (ii) least prefixed points of Σ₁-operations satisfy the constructive relation μ_x.f=_n≥0fⁿ(). These properties imply the following statement: the MacNeille–Dedekind completion of a free modal μ-algebra is a complete modal μ-algebra and moreover the canonical embedding preserves all the operations in the class of the fixed point alternation hierarchy.     

Where does smoothness count the most for Fredholm equations of the second kind with noisy information?

We study the complexity of Fredholm problems (I−T_k)u=f of the second kind on I^d=[0,1]^d, where T_k is an integral operator with kernel k. Previous work on the complexity of this problem has assumed either that we had complete information about k or that k and f had the same smoothness. In addition, most of this work has assumed that the information about k and f was exact. In this paper, we assume that k and f have different smoothness; more precisely, we assume that fW^r,p(I^d) with r>d/p and that kW^s,∞(I^2d) with s>0. In addition, we assume that our information about k and f is contaminated by noise. We find that the nth minimal error is Θ(n^−μ+δ), where μ=min{r/d,s/(2d)} and δ is a bound on the noise. We prove that a noisy modified finite element method has nearly minimal error. This algorithm can be efficiently implemented using multigrid techniques. We thus find tight bounds on the -complexity for this problem. These bounds depend on the cost c(δ) of calculating a δ-noisy information value. As an example, if the cost of a δ-noisy evaluation is proportional to δ^−t, then the -complexity is roughly (1/)^t+1/μ.     

Linear Transport Equations with μ-Monotone Coefficients

We introduce the concept of a μ-monotone function. It allows us to extend the existing theory for Filippov solutions to ODE, linear transport equations, and conservation laws for a wider range of transport velocities (A₁,…,A_d) and fluxes (f₁,…,f_d).     

Damped Oscillatory Integrals and the Boundedness Problem for Maximal Operators

Let S ⊂ ℝR ^{n +1} be a real-analytic hypersurface with surface measure dσ, and let ψ be a smooth nonnegative compactly supported cutoff function. Consider the surface measure dμ _q = ψ|Λ(X)|^q dσ, where Λ(X) is a damping factor determined by the matrices of the first and second fundamental forms of the surface. We show that its Fourier transform decays for large |ξ| as O (|ξ|^−(1/2+ε)), ε > 0, provided that q > 3/2. We also consider applications involving maximal operators associated with means of functions over hypersurfaces.__________Translated from Funktsional’nyi Analiz i Ego Prilozheniya, Vol. 39, No. 2, pp. 70–74, 2005Original Russian Text Copyright © by I. A. Ikromov     

Complete on Average Boolean Satisfiability

We present in this paper a dynamic binary coding scheme α on CNF formulas ψ, and show that under a uniform distribution μ_α on binary string α(ψ), SAT is complete on average, where μ_α(ψ) is proportional to α(ψ)⁻²2^−α(ψ). We then show that there is k₀>2 such that for all kk₀, kSAT under μ_α is complete on average.