Almost poised basic hypergeometric series

Given a basic hypergeometric series with numerator parametersa ₁,a ₂, ...,a _r and denominator parametersb ₂, ...,b _r, we say it isalmost poised ifb _i, =a ₁ q ^δ,i a _i,δ_i = 0, 1 or 2, for 2 ≤i ≤r. Identities are given for almost poised series withr = 3 andr = 5 when a₁, =q ⁻²ⁿ. Partially supported by N.S.F. Grant No. DMS-8521580.     

A note on the diophantine equation x 2 + b y = c z

Let a, b, c, r be positive integers such that a ² + b ² = c ^r , min(a, b, c, r) > 1, gcd(a, b) = 1, a is even and r is odd. In this paper we prove that if b ≡ 3 (mod 4) and either b or c is an odd prime power, then the equation x ² + b ^y = c ^z has only the positive integer solution (x, y, z) = (a, 2, r) with min(y, z) > 1.     

Trajectories of the zeros of hypergeometric polynomials F(−n, b; 2b; z) for b < − 1/2

In a previous paper [2] we studied the zeros of hypergeometric polynomials F(−n, b; 2b; z), where b is a real parameter. Making connections with ultraspherical polynomials, we showed that for b > − 1/2 all zeros of F(−n, b; 2b; z) lie on the circle |z − 1| = 1, while for b < 1 − n all zeros are real and greater than 1. Our purpose now is to describe the trajectories of the zeros as b descends below the critical value − 1/2 to 1 − n. The results have counterparts for ultraspherical polynomials and may be said to “explain” the classical formulas of Hilbert and Klein for the number of zeros of Jacobi polynomials in various intervals of the real axis. These applications and others are discussed in a further paper [3].     

On the Terai-Jésmanowicz conjecture

In this paper, we prove that if a, b and c are pairwise coprime positive integers such that a^2＋b^2=c^r,a〉b,a≡3 （mod4）,b≡2 （mod4） and c-1 is not a square, thena a^x＋b^y=c^z has only the positive integer solution （x, y, z） = （2, 2, r）.
Let m and r be positive integers with 2｜m and 2 r, define the integers Ur, Vr by （m ＋√-1）^r=Vr＋Ur√-1. If a = ｜Ur｜,b=｜Vr｜,c = m^2＋1 with m ≡ 2 （mod 4）,a ≡ 3 （mod 4）, and if r 〈 m/√1.5log3（m^2＋1）-1, then a^x ＋ b^y = c^z has only the positive integer solution （x,y, z） = （2, 2, r）. The argument here is elementary.     

On the difference between the number of prime divisors at consecutive integers

Suppose thatg(n) is equal to the number of divisors ofn, counting multiplicity, or the number of divisors ofn, a≠0 is an integer, andN(x,b)=|{n∶n≤x, g(n+a)−g(n)=b orb+1}|. In the paper we prove that sup _b N(x,b)≤C(a)x)(log log 10 _x )^−1/2 and that there exists a constantC(a,μ)>0 such that, given an integerb |b|≤μ(log logx)^1/2,x≥x _o, the inequalityN(x,b)≥C(a,μ)x(log logx(^−1/2) is valid. Translated fromMatematicheskie Zametki, Vol. 66, No. 4, pp. 579–595, October, 1999.     

Boundedness of Solutions in Asymmetric Oscillations via the Twist Theorem

In this paper we consider the boundedness of all the solutions for the equation x″ + ax ⁺−bx ⁻ = f(t) is a smooth 2π-periodic function, a and b are positive constants (a≠b). Received November 27, 1998, Accepted October 15, 1999     

A Conjecture Concerning the Pure Exponential Diophantine Equation a^x ＋ b^y = c^z

Let a, b, c, r be fixed positive integers such that a^2 ＋ b^2 = c^r, min（a, b, c, r） 〉 1 and 2 r. In this paper we prove that if a ≡ 2 （mod 4）, b ≡ 3 （mod 4）, c 〉 3.10^37 and r 〉 7200, then the equation a^x ＋ b^y = c^z only has the solution （x, y, z） = （2, 2, r）.     

A minimal area problem in conformal mapping II

LetS denote the usual class of functionsf holomorphic and univalent in the unit diskU. For 0<r<1 andr(1+r)⁻²<b<r(1−r)⁻², letS(r, b) be the subclass of functionsf∈S such that |f(r)|=b. In Theorem 1, we solve the problem of minimizing the Dirichlet integral inS(r, b). The first main ingredient of the solution is the establishment of sufficient regularity of the domains onto whichU is mapped by extremal functions, and here techniques of symmetrization and polarization play an essential role. The second main ingredient is the identification of all Jordan domains satisfying a certain kind of functional equation (called “quadrature identities”) which are encountered by applying variational techniques. These turn out to be conformal images ofU by mappings of a special form involving a logarithmic function. In Theorem 2, this aspect of our work is generalized to encompass analogous minimal area problem when a larger number of initial data are prescribed. The third author thanks for its hospitality the Mittag-Leffler Institute of Royal Swedish Academy of Sciences where this work was finalized. This author was supported in part by the Swedish Institute and by the Russian Fund for Fundamental Research, grant no. 97-01-00259.     

Groups of typeF a,b,−c

For integersa, b andc, the groupF ^a,b,−c is defined to be the group 〈R, S : R ²=RS ^aRS^bRS^−c=1〉. In this paper we identify certain subgroups of the group of affine linear transformations of finite fields of orderp ⁿ (for certainp andn) as groups of typeF ^a,b,−c for certain (not unique) choices ofa, b andc.     

Characterization of polyanalytic functions by meromorphic extensions from chains of circles

Let C _t = {z ∈ ℂ: |z − c(t)| = r(t), t ∈ (0, 1)} be a C ¹-family of circles in the plane such that lim _t→0+ C _t = {a}, lim _t→1− C _t = {b}, a ≠ b, and |c′(t)|² + |r′(t)|² ≠ 0. The discriminant set S of the family is defined as the closure of the set {c(t) + r(t)w(t), t ∈ [0, 1]}, where w = w(t) is the root of the quadratic equation ̅c′(t)w ² + 2r′(t)w + c′(t) = 0 with |w| < 1, if such a root exists.     

A note on the Lehmer problem over short intervals

Let p be an odd prime, c be an integer with (c, p) = 1, and let N be a positive integer with N ≤ p − 1. Denote by r(N, c; p) the number of integers a satisfying 1 ≤ a ≤ N and 2 ∤ a + ā, where ā is an integer with 1 ≤ ā ≤ p − 1, aā ≡ c (mod p). It is well known that r(N, c; p) = 1/2N + O(p ^1/2log² p). The main purpose of this paper is to give an asymptotic formula for Σ _c=1 ^p−1(r(N, c; p) − 1/2N)².     

Exceptional 0-Alia algebras

Analgebra (A, ∘) with the identity [a, b]∘c + [b, c]∘a + [c, a]∘b = 0, where [a, b] = a∘b−b∘a, is called 0-Alia. We prove that the algebra (ℂ[x], ∘) with multiplication a ∘ b = ∂2(2a∂(b)+∂(a)b) is a simple, exceptional 0-Alia algebra. Translated from Sovremennaya Matematika i Ee Prilozheniya (Contemporary Mathematics and Its Applications), Vol. 60, Algebra, 2008.     

Linear series onk-gonal curves

Here we prove the following result. Theorem 1.1.Let X be an integral projective curve of arithmetic genus g and k≧ ≧4 an integer. Assume the existence of L ∈ Pic^k (X) with h ⁰ (X, L)=2 and L spanned. Fix a rank 1 torsion free sheaf M on X with h ⁰(X,M)=r+1≧2, h¹ (X, M)≧2 and M spanned by its global sections. Set d≔deg(M) and s≔max {n≧0:h ⁰ (X, M ⊗(L^*)^⊗n)>0}. Then one of the following cases occur:

The Number of Lattice Points Above the Catenary

For fixed c > 1 and for arbitrary and independent a,b ≧ 1 let Z ²|b( cosh(x/a)−c) ≦ y < 0}. We investigate the asymptotic behaviour of R(a,b) for a,b → ∞. In the special case b = o(a ^5/6) the lattice rest has true order of magnitude . This revised version was published online in June 2006 with corrections to the Cover Date.     

Quadratic programming and combinatorial minimum weight product problems

We present a fully polynomial time approximation scheme (FPTAS) for minimizing an objective (a ^T x + γ)(b ^T x + δ) under linear constraints A x ≤ d. Examples of such problems are combinatorial minimum weight product problems such as the following: given a graph G = (V,E) and two edge weights find an s − t path P that minimizes a(P)b(P), the product of its edge weights relative to a and b.      

Homogenization of some parabolic operators with several time scales

The main focus in this paper is on homogenization of the parabolic problem ∂ _t uɛ − ∇ · (a(x/ɛ,t/ɛ,t/ɛ ^r )∇u ^ɛ ) = f. Under certain assumptions on a, there exists a G-limit b, which we characterize by means of multiscale techniques for r > 0, r ≠ 1. Also, an interpretation of asymptotic expansions in the context of two-scale convergence is made.     

On <Emphasis Type="Bold">(c,p)</Emphasis>-pseudostable Random Variables

In (Oleszkiewicz, Lecture Notes in Math. 1807), K. Oleszkiewicz defined a p-pseudostable random variable X as a symmetric random variable for which the following equation holds:

Equations fonctionnelles et estimations de normes de matrices

We solve independently the equations 1/θ(x)θ(y)=ψ(x)−ψ(y)+φ(x−y)/θ(x−y) and 1/θ(x)θ(y)=σ(x)−σ(y)/θ(x−y)+τ(x)τ(y), τ(0)=0. In both cases we find θ²=aθ⁴+bθ²+c. We deduce estimates for the spectral radius of a matrix of type(1/θ(x _r −x _s )) (the accent meaning that the coefficients of the main diagonal are zero) and we study the case where thex _r are equidistant.

Dédié to à Monsieur le Professeur Otto Haupt à l'occasion de son cententiare avec les meilleurs voeux     

Proper cycles of indefinite quadratic forms and their right neighbors

In this paper we consider proper cycles of indefinite integral quadratic forms F = (a, b, c) with discriminant Δ. We prove that the proper cycles of F can be obtained using their consecutive right neighbors R ⁱ(F) for i ⩾ 0. We also derive explicit relations in the cycle and proper cycle of F when the length l of the cycle of F is odd, using the transformations τ(F) = (−a, b, −c) and ϰ(F) = (−c, b, −a).     

An elementary approach to gap theorems

Using elementary comparison geometry, we prove: Let (M, g) be a simply-connected complete Riemannian manifold of dimension ≥ 3. Suppose that the sectional curvature K satisfies −1 − s(r) ≤ K ≤ −1, where r denotes distance to a fixed point in M. If lim _{r → ∞} e^2r s(r) = 0, then (M, g) has to be isometric to ℍ ⁿ . The same proof also yields that if K satisfies −s(r) ≤ K ≤ 0 where lim _{r → ∞} r ² s(r) = 0, then (M, g) is isometric to ℝ ⁿ , a result due to Greene and Wu. Our second result is a local one: Let (M, g) be any Riemannian manifold. For a ∈ ℝ, if K ≤ a on a geodesic ball B _p (R) in M and K = a on ∂B _p (R), then K = a on B _p (R).