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.     

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.     

On a Problem of D. H. Lehmer and Kloosterman Sums

Let q3 be an odd number, a be any fixed positive integer with (a, q)=1. For each integer b with 1b<q and (b, q)=1, it is clear that there exists one and only one c with 0<c<q such that bca (mod q). Let N(a, q) denote the number of all solutions of the congruent equation bca (mod q) for 1b, c<q in which b and c are of opposite parity, and let . The main purpose of this paper is to study the distribution properties of E(a, q), and to give a sharper hybrid mean value formula involving E(a, q) and Kloosterman sums.Received January 24, 2002; in revised form August 12, 2002 Published online February 28, 2003     

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.     

Stationary Solutions of the Fractional Kinetic Equation with a Symmetric Power-Law Potential

The properties of stationary solutions of the one-dimensional fractional Einstein--Smoluchowski equation with a potential of the form x ^2m+2, m=1,2,..., and of the Riesz spatial fractional derivative of order , 12, are studied analytically and numerically. We show that for 1<2, the stationary distribution functions have power-law asymptotic approximations decreasing as x ^–(+2m+1) for large values of the argument. We also show that these distributions are bimodal.     

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.     

On Differences of Semicubical Powers

For X,Y,>0, let and define I ₈(X,Y,) to be the cardinality of the set. In this paper it is shown that, for >0, Y ²/X ³=O(), =O(Y ³/X ³) and X=O (Y ²), one has I ₈(X,Y,)=O(X ² Y ²+X min (X ^{3/2} Y ³, X ^{11/2} Y ^{–1})+X min (^{1/3} X ² Y ³, X ^{14/3} Y ^{1/3})), with the implicit constant depending only on . There is a brief report on an application of this that leads, by way of the Bombieri-Iwaniec method for exponential sums, to some improvement of results on the mean squared modulus of a Dirichlet L-function along a short interval of its critical line.     

ε-Expansions in Dyson's Hierarchical Model

We consider Dyson's hierarchical model on a d-dimensional hierarchical lattice and define a renormalization group (RG) transformation for complex values of d as a map in the space of sequences of coupling constants determining the model Hamiltonian. We show that d=4 is a bifurcation value of this transformation for the RG transformation parameter equal to 1+2/d, and we construct a non-Gaussian RG-invariant Hamiltonian in terms of the (4–d)-expansion. We establish that the (–3/2)- and (4–d)-expansion coefficients for a non-Gaussian fixed point in the dimension d=3 have the same asymptotic representation as the size of the elementary cell tends to infinity, thus confirming that both the expansions describe the same nontrivial fixed point in the dimension three.     

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.     

Global continuity estimates for two dimensional graphs of prescribed Gauss curvature

We prove the global Hölder continuity of convex solutions uC³() of the equation of prescribed positive Gauss curvature in a bounded convex domain with C^1, for some (0,1]. We also obtain better regularity for the trace of u on . In the special case =1 we show that and u|C^0,2/3(). We also investigate the global continuity of solutions in C¹ domains and construct an example showing that global continuity need not hold in general convex domains.Supported by an Australian Research Council Senior Fellowship.Mathematics Subject Classification (2000): Primary 35J60; Secondary 53A05, 53C42     

Euclidean 4-Simplices and Invariants of Four-Dimensional Manifolds: III. Moves 1 ↔ 5 and Related Structures

We conclude the construction of the algebraic complex, consisting of spaces of differentials of Euclidean metric values, for four-dimensional piecewise-linear manifolds. Assuming that the complex is acyclic, we investigate how its torsion changes under rebuildings of the manifold triangulation. We first write formulas for moves 33 and 24 based on the results in our two previous works and then study moves 15 in detail. Based on this, we obtain the formula for a four-dimensional manifold invariant. As an example, we present a detailed calculation of our invariant for the sphere S ⁴; in particular, the complex does turn out to be acyclic.     

Commutativity of operators on the lattice of existence varieties

In a previous paper the authors introduced seven complete congruences on the lattice _ev(I of e-varieties of regular semigroups of the form _P :U _P VPU=PV, whereP is drawn from a small set of e-varieties: left zero, right zero, rectangular bands, groups, left groups, right groups and completely simple semigroups. Four new complete congruences are introduced here of the form _P :U _P VPU=PV, whereP is one of the following classes of regular semigroups: left monoids, right monoids, monoids, idempotent generated semigroups. For each complete congruence on _ev(I) and eachU_ev(I), the -class ofU is an interval [U ,U ] so that there is associated with each such congruence an idempotent operatorUU on _ev(I). This paper establishes numerous results concerning the commutativity of operators of this form.This work was supported in part by NSERC Grant 4044.     

General Solution for Hamiltonians with Extended Cubic and Quartic Potentials

In terms of hyperelliptic functions, we integrate a two-particle Hamiltonian with quartic potential and additional linear and nonpolynomial terms in the Liouville integrable cases 1:6:1 and 1:6:8.     

Finite element approximation of a nonlinear cross-diffusion population model

Summary. We consider a fully discrete finite element approximation of the nonlinear cross-diffusion population model: Find u_i, the population of the i^th species, i=1 and 2, such that where ji and g_i(u₁,u₂):=(_i–_iiu_i–_iju_j)u_i. In the above, the given data is as follows: v is an environmental potential, c_i, a_i are diffusion coefficients, b_i are transport coefficients, _i are the intrinsic growth rates, and _ii are intra-specific, whereas _ij, ij, are interspecific competition coefficients. In addition to showing well-posedness of our approximation, we prove convergence in space dimensions d3. Finally some numerical experiments in one space dimension are presented.Mathematics Subject Classification (2000): 65M60, 65M12, 35K55, 92D25Acknowledgements. Part of this work was carried out while the authors participated in the 2003 programme {\it Computational Challenges in Partial Differential Equations} at the Isaac Newton Institute, Cambridge, UK.     

Commutation Relations in an Indefinite-Metric Space

We describe the irreducible regular representations of the algebra of operators a and b defined by [a,b]=1 and ba=a ⁺ b ⁺ in an arbitrary nondegenerate closed indefinite-metric space. We find the relation of this algebra to the generalized Heisenberg algebra.     

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     

(q, δ)-Numeration Systems with Missing Digits

We consider the (q, ) numeration system, with basis q2 and the set of digits {, +1,,q+–1} where –(q–1)0. We study properties of numbers where some digits do not occur. This is analogous to the Cantor set {0.a₁a₂a_i{0,2}}. We compute an asymptotic equivalent of the nth moment of the Cantor (q, D)-distribution which can be described as the numbers 0. w₁w₂ with w_iD{,,q+–1}, and each such letter can occur with the same probability 1/CardD. Furthermore, we consider n random strings according to the distribution and the expected minimum of them. We find a recursion which we solve asymptotically.This author was supported by the CNRS/NRF-project no 10959. Part of this work was done during the first authors visit to the John Knopfmacher Centre for Applicable Analysis and Number Theory at the University of the Witwatersrand, Johannesburg, South Africa.This author was supported by the CNRS/NRF-project no 10959.     

Zeros of the partial sums of cos (z) and sin (z). I

We extend results of Szeg (1924) and Kappert (1996) on the location of the zeros of the normalized partial sums of cos(z) and sin(z), and their rates of convergence to the associated Szeg curves.     

Universal Invariant Renormalization for the Supersymmetric Yang–Mills Theory

We propose a manifestly invariant renormalization scheme for N=1 non-Abelian supersymmetric gauge theories.     

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.