On approximately convex functions

A real valued function defined on a real interval is called -convex if it satisfies

The main results of the paper offer various characterizations for -convexity. One of the main results states that is -convex for some positive and if and only if can be decomposed into the sum of a convex function, a function with bounded supremum norm, and a function with bounded Lipschitz-modulus. In the special case , the results reduce to that of Hyers, Ulam, and Green obtained in 1952 concerning the so-called -convexity.

     

Computational estimation of the constant

The paper describes a computational estimation of the constant characterizing the bounds of . It is known that as

with , while the truth of the Riemann hypothesis would also imply that . In the range , two sets of estimates of are computed, one for increasingly small minima and another for increasingly large maxima of . As increases, the estimates in the first set rapidly fall below and gradually reach values slightly below , while the estimates in the second set rapidly exceed and gradually reach values slightly above . The obtained numerical results are discussed and compared to the implications of recent theoretical work of Granville and Soundararajan.

     

Universally meager sets

We study category counterparts of the notion of a universal measure zero set of reals.

We say that a set is universally meager if every Borel isomorphic image of is meager in . We give various equivalent definitions emphasizing analogies with the universally null sets of reals.

In particular, two problems emerging from an earlier work of Grzegorek are solved.

     

-bounding and -induction

Working in the base theory of , we show that for all , the bounding principle for -formulas ( ) is equivalent to the induction principle for -formulas ( ). This partially answers a question of J. Paris.

     

Cardinal restrictions on some homogeneous compacta

We give restrictions on the cardinality of compact Hausdorff homogeneous spaces that do not use other cardinal invariants, but rather covering and separation properties. In particular, we show that it is consistent that every hereditarily normal homogeneous compactum is of cardinality . We introduce property wD(), intermediate between the properties of being weakly -collectionwise Hausdorff and strongly -collectionwise Hausdorff, and show that if is a compact Hausdorff homogeneous space in which every subspace has property wD( ), then is countably tight and hence of cardinality . As a corollary, it is consistent that such a space is first countable and hence of cardinality . A number of related results are shown and open problems presented.

     

Self delta-equivalence of cobordant links

Self -equivalence is an equivalence relation for links, which is stronger than the link-homotopy defined by J. Milnor. It is known that cobordant links are link-homotopic and that they are not necessarily self -equivalent. In this paper, we will give a sufficient condition for cobordant links to be self -equivalent.

     

Characterizations of Riemannian space forms, Einstein spaces and conformally flat spaces

In a recent paper the first author introduced two sequences of Riemannian invariants on a Riemannian manifold , denoted respectively by and , which trivially satisfy . In this article, we completely determine the Riemannian manifolds satisfying the condition . By applying the notions of these -invariants, we establish new characterizations of Einstein and conformally flat spaces; thus generalizing two well-known results of Singer-Thorpe and of Kulkarni.

     

The canonical solution operator to restricted to Bergman spaces

We first show that the canonical solution operator to restricted to -forms with holomorphic coefficients can be expressed by an integral operator using the Bergman kernel. This result is used to prove that in the case of the unit disc in the canonical solution operator to restricted to -forms with holomorphic coefficients is a Hilbert-Schmidt operator. In the sequel we give a direct proof of the last statement using orthonormal bases and show that in the case of the polydisc and the unit ball in 1,$"> the corresponding operator fails to be a Hilbert-Schmidt operator. We also indicate a connection with the theory of Hankel operators.

     

On a Littlewood-Paley type inequality

The following is proved: If is a function harmonic in the unit ball and if then the inequality

holds, where is the nontangential maximal function of This improves a recent result of Stoll. This inequality holds for polyharmonic and hyperbolically harmonic functions as well.

     

An extremal property of Fekete polynomials

The Fekete polynomials are defined as

where is the Legendre symbol. These polynomials arise in a number of contexts in analysis and number theory. For example, after cyclic permutation they provide sequences with smallest known norm out of the polynomials with coefficients.

The main purpose of this paper is to prove the following extremal property that characterizes the Fekete polynomials by their size at roots of unity.

Theorem 0.1. Let with odd and . If

then must be an odd prime and is . Here

This result also gives a partial answer to a problem of Harvey Cohn on character sums.