On a Modification of the Jacobi Linear Functional: Asymptotic Properties and Zeros of the Corresponding Orthogonal Polynomials

The paper deals with orthogonal polynomials in the case where the orthogonality condition is related to semiclassical functionals. The polynomials that we discuss are a generalization of Jacobi polynomials and Jacobi-type polynomials. More precisely, we study some algebraic properties as well as the asymptotic behaviour of polynomials orthogonal with respect to the linear functional U U=J _,+A ₁(x–1)+B ₁(x+1)–A ₂(x–1)–B ₂(x+1), where J _, is the Jacobi linear functional, i.e. J _,,p›=_–1 ¹ p(x)(1–x)(1+x)dx,,>–1, pP, and P is the linear space of polynomials with complex coefficients. The asymptotic properties are analyzed in (–1,1) (inner asymptotics) and C[–1,1] (outer asymptotics) with respect to the behaviour of Jacobi polynomials. In a second step, we use the above results in order to obtain the location of zeros of such orthogonal polynomials. Notice that the linear functional U is a generalization of one studied by T. H. Koornwinder when A ₂=B ₂=0. From the point of view of rational approximation, the corresponding Markov function is a perturbation of the Jacobi–Markov function by a rational function with two double poles at ±1. The denominators of the [n–1/n] Padé approximants are our orthogonal polynomials.     

Torsion in K‐Theory for Boundary Actions on Affine Buildings of Type ?n

Let be a torsionfree lattice in G=PGL(n+1, , where n 1 and is a nonArchimedean local field. Then acts on the Furstenberg boundary G/P, where P is a minimal parabolic subgroup of G. The identity element I in the crossedproduct C ^*algebra C(G/P) generates a class [I] in the K ₀ group of C(G/P) . It is shown that [I] is a torsion element of K ₀ and there is an explicit bound for the order of [I]. The result is proved more generally for groups acting on affine buildings of type à _n. For n=1, 2 the Euler–Poincaré characteristic () annihilates the class [I].     

Quantum Integrable and Nonintegrable Nonlinear Schrödinger Models for Realizable Bose–Einstein Condensation in d+1 Dimensions (d = 1, 2, 3)

We evaluate finite-temperature equilibrium correlators for thermal time ordered Bose fields to good approximations by new methods of functional integration in d=1,2,3 dimensions and with the trap potentials V(r)0. As in the translationally invariant cases, asymptotic behaviors fall as to longer-range condensate values for and only for d=3 in agreement with experimental observations; but there are generally significant corrections also depending on due to the presence of the traps. For d=1, we regain the exact translationally invariant results as the trap frequencies 0. In analyzing the attractive cases, we investigate the time-dependent c-number Gross–Pitaevskii (GP) equation with the trap potential for a generalized nonlinearity –2c||²ⁿ and c<0. For n=1, the stationary form of the GP equation appears in the steepest-descent approximation of the functional integrals. We show that collapse in the sense of Zakharov can occur for c=0 and nd2 and a functional E _NLS[]0 even when V(r)0. The singularities typically arise as -functions centered on the trap origin r=0.     

Multivalued Stochastic Differential Equations: Convergence of a Numerical Scheme

In this paper we show the strong mean square convergence of a numerical scheme for a R ^d -multivalued stochastic differential equation: dX _t +A(X _t )dtb(t,X _t )dt+(t,X _t )dW _t and obtain the rate of convergence O(( log(1/)^1/2) when the diffusion coefficient is bounded. By introducing a discrete Skorokhod problem, we establish L ^p -estimates (p2) for the solutions and prove the convergence by using a deterministic result. Numerical experiments for the rate of convergence are presented.     

Quasianapole Interaction of Charged Fermions

We obtain the analytic expression for the total cross section of the reaction e ^– e ⁺l ^– l ⁺ (l=,) taking possible quasianapole interaction effects into account. We find numerical restrictions on the interaction parameter value from data for the reaction e ^– e ^+–+ in the energy domain below the Z ⁰ peak.     

Tritronquée Solutions of Perturbed First Painlevé Equations

We consider solutions of the class of ODEs y=6y ²–x , which contains the first Painlevé equation (PI) for =1. It is well known that PI has a unique real solution (called a tritronquée solution) asymptotic to and decaying monotonically on the positive real line. We prove the existence and uniqueness of a corresponding solution for each real nonnegative 1.     

Singular Eigenvalue Problems for the Equation y (n) + λp(x)y = 0

The paper studies singular eigenvalue problems for the equation y ⁽ⁿ⁾ +p(x)y=0 with boundary conditions imposed on the derivatives y ⁽ⁱ⁾ at the points x=a and x=. We look for singular problems which are analogous to regular problems on a finite interval. It is characterized when each eigenfunction has a finite number of zeros and when the spectrum is discrete or continuous, respectively.     

Krasnosel'skii numbers for bounded finitely starlike sets inR d

For eachk andd, 1kd, definef(d, d)=d+1 andf(d, k)=2d if 1kd–1. The following results are established:Let be a uniformly bounded collection of compact, convex sets inR ^d . For a fixedk, 1kd, dim {MM in }k if and only if for some > 0, everyf(d, k) members of contain a commonk-dimensional set of measure (volume) at least.LetS be a bounded subset ofR ^d . Assume that for some fixedk, 1kd, there exists a countable family of (k–l)-flats {H _i :i1} inR ^d such that clS S {H_i i 1 } and for eachi1, (clS S) H _i has (k–1) dimensional measure zero. Every finite subset ofS sees viaS a set of positivek-dimensional measure if and only if for some>0, everyf(d,k) points ofS see viaS a set ofk-dimensional measure at least .The numbers off(d,d) andf(d, 1) above are best possible.Supported in part by NSF grant DMS-8705336.     

Nilpotent commuting varieties of reductive Lie algebras

Let G be a connected reductive algebraic group over an algebraically closed field k of characteristic p0, and =LieG. In positive characteristic, suppose in addition that p is good for G and the derived subgroup of G is simply connected. Let =() denote the nilpotent variety of , and ^nil():={(x,y)×|[x,y]=0}, the nilpotent commuting variety of . Our main goal in this paper is to show that the variety ^nil() is equidimensional. In characteristic 0, this confirms a conjecture of Vladimir Baranovsky; see [2]. When applied to GL(n), our result in conjunction with an observation in [2] shows that the punctual (local) Hilbert scheme _n Hilb ⁿ (²) is irreducible over any algebraically closed field. Mathematics Subject Classification (2000) 20G05     

Equivalent Sets of Solutions of the Klein–Gordon Equation with a Constant Electric Field

We argue extensively in favor of our earlier choice of the in and out states (among the solutions of a wave equation with one-dimensional potential). In this connection, we study the nonstationary and stationary families of complete sets of solutions of the Klein–Gordon equation with a constant electric field. A nonstationary set _Pv consists of the solutions with the quantum number p _v=p ⁰ v–p₃. It can be obtained from the nonstationary set _P3 with the quantum number p ₃ by a boost along the x ₃ axis (in the direction of the electric field) with the velocity –v. By changing the gauge, we can bring the solutions in all sets to the same potential without changing quantum numbers. Then the transformations of solutions in one set (with the quantum number p _v) to the solutions in another set (with the quantum number p _v) have group properties. The stationary solutions and sets have the same properties as the nonstationary ones and are obtainable from stationary solutions with the quantum number p ⁰ by the same boost. It turns out that each set can be obtained from any other by gauge manipulations. All sets are therefore equivalent, and the classification (i.e., assigning the frequency sign and the in and out indices) in any set is determined by the classification in the set _P3, where it is obvious.     

Constructive Axiomatic Approach to the Determination of the Orbit Spaces of Coregular Compact Linear Groups

We review the proposal of a constructive axiomatic approach to the determination of the orbit spaces of all the real compact linear groups, obtained through the computation of a metric matrix , which is defined only in terms of the scalar products between the gradients p₁(x),...,p_q(x) of the elements of a minimal integrity basis (MIB) for the ring [ⁿ]^G of G-invariant polynomials. The domain of semi-positivity of is known to realize the orbit space ⁿ/G of G as a semi-algebraic variety in the space ^q spanned by the variables p₁,...,p_q. The matrices can be obtained from the solutions of a universal differential equation (master equation), which satisfy convenient initial conditions. The master equation and the initial conditions involve as free parameters only the degrees d_a of the p_a(x)s. This approach tries to bypass the actual impossibility of explicitly determining a set of basic polynomial invariants for each group. Our results may be relevant in physical contexts where the study of covariant or invariant functions is important, like in the determination of patterns of spontaneous symmetry breaking in quantum field theory, in the analysis of phase spaces and structural phase transitions (Landaus theory), in covariant bifurcation theory, in crystal field theory and so on. Mathematics Subject Classifications (2000) 14L24, 13A50, 14L30.This paper is partially supported by INFN and MURST 40% and 60%.     

Slope Estimates of Artin–Schreier Curves

Let X/F_p be an Artin–Schreier curve defined by the affine equation y ^p –y=f(x) where f(x)F_p[x] is monic of degree d. In this paper we develop a method for estimating the first slope of the Newton polygon of X. Denote this first slope by NP₁(X/F_p). We use our method to prove that if p>d2 then NP₁(X/F_p)(p–1)/d/(p–1). If p>2d4, we give a sufficient condition for the equality to hold.     

Geometric methods in the study of irregularities of distribution

Let be a signed measure on E ^d with E ^d =0 and ¦¦E^d<. DefineD _s() as sup ¦H¦ whereH is an open halfspace. Using integral and metric geometric techniques results are proved which imply theorems such as the following.Theorem A. Let be supported by a finite pointsetp _i. ThenD _s()>c _d(₁/ ₂)^1/2{ _{i(p i})²}^1/2 where ₁ is the minimum distance between two distinctp _i, and ₂ is the maximum distance. The numberc _d is an absolute dimensional constant. (The number .05 can be chosen forc ₂ in Theorem A.)Theorem B. LetD be a disk of unit area in the planeE ², andp ₁,p ₂,...,p _n be a set of points lying inD. If m if the usual area measure restricted toD, while nP _i=1/n defines an atomic measure _n, then independently of _n,nD _s(m – _n) .0335n ^1/4. Theorem B gives an improved solution to the Roth disk segment problem as described by Beck and Chen. Recent work by Beck shows thatnD _s(m – _n)cn ^1/4(logn)^–7/2.     

Asymptotics of the Discrete Spectrum of the Three-Particle Schrödinger Difference Operator on a Lattice

We consider the Hamiltonian H (K) of a system consisting of three bosons that interact through attractive pair contact potentials on a three-dimensional integer lattice. We obtain an asymptotic value for the number N(K,z) of eigenvalues of the operator H₀(K) lying below z0 with respect to the total quasimomentum K0 and the spectral parameter z–0.     

A sharp partitioning-inequality for non-atomic probability measures based on the mass of the infimum of the measures

Summary If ₁, ... , are non-atomic probability measures on the same measurable space (S, ), then there is an -measurable partition {A _i } _{i = 1} ⁿ of S so that _i (A _i )(n – 1 + m)^–1 for all i=1, ..., n, where is the total mass of the largest measure dominated by each of the _i S; moreover, this bound is attained for all n1 and all m in [0, 1]. This result is an analog of the bound (n+1-M) ^-1of Elton et al. [5] based on the mass M of the supremum of the measures; each gives a quantative generalization of a well-known cake-cutting inequality of Urbanik [10] and of Dubins and Spanier [2].Research partly supported by NSF Grants DMS-84-01604 and DMS-86-01608     

Fractal Characteristics of Measures; An Approach Via Function Spaces

Let be a positive Radon measure in R ⁿ with compact support . Let Q _jm be cubes with side-length 2^-j+1 originating from the canonical tiling of R ⁿ where j\in N ₀ and m\in Z ⁿ. If \in R, 0 < p \le , 0 < q \le , then _pq is the mixed _q – _p -quasi-norm of the sequence 2 ^j (Q _jm ). Quantities of this type are considered in fractal geometry (multifractal formalism) and in the theory of the function spaces B ^s _pq (R ⁿ) and F ^s _pq (R ⁿ). In Theorem 1 we deal with the question when _pq is an equivalent quasi-norm in some of these spaces (-property). If || = 0, then _S consists of those points (t,s) in the t–s-diagram in Figure 1 for which belongs to B ^s _p (R ⁿ) with pt = 1. Theorem 2 deals with the interrelation of S and _pq . Some applications to truncated Riesz potentials, Bessel potentials and Fourier transforms of are given.     

Osserman manifolds of dimension 8

For a Riemannian manifold Mⁿ with the curvature tensor R, the Jacobi operator R_X is defined by R_XY=R(X,Y)X. The manifold Mⁿ is called pointwise Osserman if, for every pMⁿ, the eigenvalues of the Jacobi operator R_X do not depend of a unit vector XT_pMⁿ, and is called globally Osserman if they do not depend of the point p either. R. Osserman conjectured that globally Osserman manifolds are flat or locally rank-one symmetric. This Conjecture is true for manifolds of dimension n8,16[14]. Here we prove the Osserman Conjecture and its pointwise version for 8-dimensional manifolds.Mathematics Subject Classification (2000): 53B20     

The Laplacian with Robin Boundary Conditions on Arbitrary Domains

Using a capacity approach, we prove in this article that it is always possible to define a realization of the Laplacian on L ²() with generalized Robin boundary conditions where is an arbitrary open subset of R ⁿ and is a Borel measure on the boundary of . This operator generates a sub-Markovian C ₀-semigroup on L ²(). If d=d where is a strictly positive bounded Borel measurable function defined on the boundary and the (n–1)-dimensional Hausdorff measure on , we show that the semigroup generated by the Laplacian with Robin boundary conditions has always Gaussian estimates with modified exponents. We also obtain that the spectrum of the Laplacian with Robin boundary conditions in L ^p () is independent of p[1,). Our approach constitutes an alternative way to Daners who considers the (n–1)-dimensional Hausdorff measure on the boundary. In particular, it allows us to construct a conterexample disproving Daners' closability conjecture.     

Estimates of Green Function for Relativistic α-Stable Process

We call an R ^d -valued stochastic process X _t with characteristic function exp{–t{(m ^2/+²)^/2–m}},R ^d ,m>0, the relativistic -stable process. In the paper we derive sharp estimates for the Green function of the relativistic -stable process on C ^1,1 domains. Using these estimates we provide lower and upper bounds for the Poisson kernel. As another application we derive 3G Theorem and Boundary Harnack Principle for C ^1,1 domains.