An old conjecture of Erdos-Turán on additive bases

There is a 1941 conjecture of Erdos and Turán on what is now called additive basis that we restate:

Conjecture 0.1(Erdos and Turán). Suppose that is an increasing sequence of integers and

Suppose that

If 0$"> for all , then is unbounded.

Our main purpose is to show that the sequence cannot be bounded by . There is a surprisingly simple, though computationally very intensive, algorithm that establishes this.

     

Error bounds for Gauss-Turán quadrature formulae of analytic functions

We study the kernels of the remainder term of Gauss-Turán quadrature formulas

for classes of analytic functions on elliptical contours with foci at , when the weight is one of the special Jacobi weights ; ; , ; , . We investigate the location on the contour where the modulus of the kernel attains its maximum value. Some numerical examples are included.

     

On the minimal polynomial of Gauss periods for prime powers

For a positive integer , set and let denote the group of reduced residues modulo . Fix a congruence group of conductor and of order . Choose integers to represent the cosets of in . The Gauss periods

corresponding to are conjugate and distinct over with minimal polynomial

To determine the coefficients of the period polynomial (or equivalently, its reciprocal polynomial is a classical problem dating back to Gauss. Previous work of the author, and Gupta and Zagier, primarily treated the case , an odd prime, with fixed. In this setting, it is known for certain integral power series and , that for any positive integer

holds in for all primes except those in an effectively determinable finite set. Here we describe an analogous result for the case , a prime power ( ). The methods extend for odd prime powers to give a similar result for certain twisted Gauss periods of the form

where denotes the usual Legendre symbol and .

     

Weak norms of random sums

Let denote a sequence of measurable functions on , and let denote the weak norm. It is shown that

where is a sequence of independent random variables taking on values and with equal probability. Moreover, it is shown that

The paper concludes by providing an example indicating that, if , then the estimate

is the best possible.

     

On the irrationality of a certain multivariate series

We prove that for integers 1,m\geq 1$"> and positive rationals the series

is irrational. Furthermore, if all the positive rationals are less than then the series

is also irrational.

     

Gaussian elimination is stable for the inverse of a diagonally dominant matrix

Let be a row diagonally dominant matrix, i.e.,

where with We show that no pivoting is necessary when Gaussian elimination is applied to Moreover, the growth factor for does not exceed The same results are true with row diagonal dominance being replaced by column diagonal dominance.

     

Stability analysis for delay differential equations with multidelays and numerical examples

In this paper we are concerned with the asymptotic stability of the delay differential equation

where are constant complex matrices, and 0$"> stand for constant delays . We obtain two criteria for stability through the evaluation of a harmonic function on the boundary of a certain region. We also get similar results for the neutral delay differential equation

where and are constant complex matrices and 0$"> stands for constant delays , . Numerical examples on various circumstances are shown to check our results which are more general than those already reported.

     

On some inequalities for the incomplete gamma function

Let be a positive real number. We determine all real numbers and such that the inequalities

are valid for all . And, we determine all real numbers and such that

hold for all .

     

Damped wave equation with a critical nonlinearity

We study large time asymptotics of small solutions to the Cauchy problem for nonlinear damped wave equations with a critical nonlinearity

where 0,$"> and space dimensions . Assume that the initial data

where \frac{n}{2},$"> weighted Sobolev spaces are

Also we suppose that

0,\int u_{0}\left( x\right) dx>0, \end{displaymath}">

where

Then we prove that there exists a positive such that the Cauchy problem above has a unique global solution satisfying the time decay property

for all 0,$"> where

     

A sharp inequality for the logarithmic coefficients of univalent functions

We prove the sharp inequality

for the logarithmic coefficients of a normalized univalent function in the unit disk.

     

A strengthening of the Carleman-Hardy-Pólya inequality

As a consequence of a more general statement proved in the paper, it is deduced that, if , and , then

with equality if and only if . This is a new refinement of Carleman's classic inequality.

     

New irrationality measures for -logarithms

The three main methods used in diophantine analysis of -series are combined to obtain new upper bounds for irrationality measures of the values of the -logarithm function

when and .

     

On standardized models of isogenous elliptic curves

Let be isogenous elliptic curves over given by standardized Weierstrass models. We show that (in the obvious notation)

and, moreover, that there are integers such that

where .

     

Monic integer Chebyshev problem

We study the problem of minimizing the supremum norm by monic polynomials with integer coefficients. Let denote the monic polynomials of degree with integer coefficients. A monic integer Chebyshev polynomial satisfies

and the monic integer Chebyshev constant is then defined by

This is the obvious analogue of the more usual integer Chebyshev constant that has been much studied.

We compute for various sets, including all finite sets of rationals, and make the following conjecture, which we prove in many cases.

Conjecture. Suppose is an interval whose endpoints are consecutive Farey fractions. This is characterized by Then

This should be contrasted with the nonmonic integer Chebyshev constant case, where the only intervals for which the constant is exactly computed are intervals of length 4 or greater.

     

Szegö quadrature formulas for certain Jacobi-type weight functions

In this paper we are concerned with the estimation of integrals on the unit circle of the form by means of the so-called Szegö quadrature formulas, i.e., formulas of the type with distinct nodes on the unit circle, exactly integrating Laurent polynomials in subspaces of dimension as high as possible. When considering certain weight functions related to the Jacobi functions for the interval nodes and weights in Szegö quadrature formulas are explicitly deduced. Illustrative numerical examples are also given.

     

Values of the Legendre chi and Hurwitz zeta functions at rational arguments

We show that the Hurwitz zeta function, , and the Legendre chi function, , defined by

and

respectively, form a discrete Fourier transform pair. Many formulae involving the values of these functions at rational arguments, most of them unknown, are obtained as a corollary to this result. Among them is the further simplification of the summation formulae from our earlier work on closed form summation of some trigonometric series for rational arguments. Also, these transform relations make it likely that other results can be easily recovered and unified in a more general context.

     

Some estimates of norms of random matrices

We show that for any random matrix with independent mean zero entries

where is some universal constant.

     

Computation of the Mordell-Tornheim zeta values

In this paper the authors present several algorithmic formulas which are potentially useful in computing the following Mordell-Tornheim zeta values:

for the special cases

   and

Some interesting (known or new) consequences and illustrative examples are also considered.

     

Computing discrete logarithms in high-genus hyperelliptic Jacobians in provably subexponential time

We provide a subexponential algorithm for solving the discrete logarithm problem in Jacobians of high-genus hyperelliptic curves over finite fields. Its expected running time for instances with genus and underlying finite field satisfying for a positive constant is given by

The algorithm works over any finite field, and its running time does not rely on any unproven assumptions.

     

On positive periodic solutions of Lotka-Volterra competition systems with deviating arguments

By using Krasnoselskii's fixed point theorem, we prove that the following periodic species Lotka-Volterra competition system with multiple deviating arguments

has at least one positive periodic solution provided that the corresponding system of linear equations

has a positive solution, where and are periodic functions with

Furthermore, when and , , are constants but , remain -periodic, we show that the condition on is also necessary for to have at least one positive periodic solution.