Computational estimation of the order of

The paper describes a search for increasingly large extrema (ILE) of in the range . For , the complete set of ILE (57 of them) was determined. In total, 162 ILE were found, and they suggest that . There are several regular patterns in the location of ILE, and arguments for these regularities are presented. The paper concludes with a discussion of prospects for further computational progress.

     

Wavelet bases in

Some years ago, compactly supported divergence-free wavelets were constructed which also gave rise to a stable (biorthogonal) wavelet splitting of . These bases have successfully been used both in the analysis and numerical treatment of the Stokes and Navier-Stokes equations. In this paper, we construct stable wavelet bases for the stream function spaces . Moreover, -free vector wavelets are constructed and analysed. The relationship between and are expressed in terms of these wavelets. We obtain discrete (orthogonal) Hodge decompositions.

Our construction works independently of the space dimension, but in terms of general assumptions on the underlying wavelet systems in that are used as building blocks. We give concrete examples of such bases for tensor product and certain more general domains . As an application, we obtain wavelet multilevel preconditioners in and .

     

On -analogues of the Euler constant and Lerch's limit formula

We introduce and study a -analogue of the Euler constant via a suitably defined -analogue of the Riemann zeta function. We show, in particular, that the value is irrational. We also present a -analogue of the Hurwitz zeta function and establish an analogue of the limit formula of Lerch in 1894 for the gamma function. This limit formula can be regarded as a natural generalization of the formula of .

     

Complemented isometric copies of in dual Banach spaces

Let be a real or complex Banach space and . Then contains a -complemented, isometric copy of if and only if contains a -complemented, isometric copy of if and only if contains a subspace -asymptotic to .

     

The nonarchimedean theta correspondence for

In this paper we consider the theta correspondence between the sets and when is a nonarchimedean local field and . Our main theorem determines all the elements of that occur in the correspondence. The answer involves distinguished representations. As a corollary, we characterize all the elements of that occur in the theta correspondence between and . We also apply our main result to prove a case of a new conjecture of S.S. Kudla concerning the first occurrence of a representation in the theta correspondence.

     

over number fields and function fields

For the number field case we will give an upper bound on the number of the -integral points in
. The main tool here is the explicit upper bound of the number of solutions of -unit equations (Invent. Math. 102 (1990), 95--107). For the function field case we will give a bound on the height of the -integral points in . We will also give a bound for the number of ``generators" of those -integral points. The main tool here is the -unit Theorem by Brownawell and Masser (Proc. Cambridge Philos. Soc. 100 (1986), 427--434).

     

A group of paths in

We define a group structure on the set of compact ``minimal' paths in . We classify all finitely generated subgroups of this group : they are free products of free abelian groups and surface groups. Moreover, each such group occurs in . The subgroups of isomorphic to surface groups arise from certain topological -forms on the corresponding surfaces. We construct examples of such -forms for cohomology classes corresponding to certain eigenvectors for the action on cohomology of a pseudo-Anosov diffeomorphism. Using we construct a non-polygonal tiling problem in , that is, a finite set of tiles whose corresponding tilings are not equivalent to those of any set of polygonal tiles. The group has applications to combinatorial tiling problems of the type: given a set of tiles and a region , can be tiled by translated copies of tiles in ?

     

Affine and homeomorphic embeddings into

It is shown that

(1)

a locally compact convex subset of a topological vector space that admits a sequence of continuous affine functionals separating points of affinely embeds into a Hilbert space;

(2)

an infinite-dimensional locally compact convex subset of a metric linear space has a central point;

(3)

every -compact locally convex metric linear space topologically embeds onto a pre-Hilbert space.

     

Polynomial continuity on

A mapping between Banach spaces is said to be polynomially continuous if its restriction to any bounded set is uniformly continuous for the weak polynomial topology. A Banach space has property (RP) if given two bounded sequences , we have that for every polynomial on whenever for every polynomial on ; i.e., the restriction of every polynomial on to each bounded set is uniformly sequentially continuous for the weak polynomial topology. We show that property (RP) does not imply that every scalar valued polynomial on must be polynomially continuous.

     

A simple proof of Bailey's very-well-poised summation

We give elementary derivations of some classical summation formulae for bilateral (basic) hypergeometric series. In particular, we apply Gauß' summation and elementary series manipulations to give a simple proof of Dougall's summation. Similarly, we apply Rogers' nonterminating summation and elementary series manipulations to give a simple proof of Bailey's very-well-poised summation. Our method of proof extends M. Jackson's first elementary proof of Ramanujan's summation.

     

A characterization of

This work is devoted to the relationship between topological properties of a space and those of (= the space of continuous real-valued functions on , with the topology of pointwise convergence). The emphasis is on -compactness of and on location of in . In particular, -compact cosmic spaces are characterized in this way.

     

Simple Perfect Squared Squares and

In this note tables of all simple perfect squared squares and simple perfect squared rectangles of order 26 are presented.

     

Products of images

Let be the \u{C}ech-Stone remainder . We show that there exists a large class of images of such that whenever is a subset of of cardinality at most the continuum, then is again an image of . The class contains all separable compact spaces, all compact spaces of weight at most and all perfectly normal compact spaces.

     

Nonnormal spaces with countable extent

Examples of spaces are constructed for which is not normal but all closed discrete subsets are countable. A monolithic example is constructed in ZFC and a separable first countable example is constructed using .

     

Paranormal spaces under

We prove that paranormal spaces of character are -
collectionwise Hausdorff assuming the set-theoretic principle . This gives an affirmative answer to problem 197 in Problems I wish I could solve, by W. S. Watson (Open Problems in Topology (1990), 37-76).

     

A universal continuum of weight

We prove that every continuum of weight  is a continuous image of the Cech-Stone-remainder  of the real line. It follows that under  the remainder of the half line is universal among the continua of weight  -- universal in the `mapping onto' sense.

We complement this result by showing that 1) under  every continuum of weight less than  is a continuous image of , 2) in the Cohen model the long segment of length  is not a continuous image of , and 3)  implies that is not a continuous image of , whenever  is a -saturated ultrafilter.

We also show that a universal continuum can be gotten from a -saturated ultrafilter on , and that it is consistent that there is no universal continuum of weight  .

     

Integral representations of the Legendre chi function

We, by making use of elementary arguments, deduce integral representations of the Legendre chi function χs(z) valid for |z|<1 and Res>1. Our earlier established results on the integral representations for the Riemann zeta function ζ(2n+1) and the Dirichlet beta function β(2n), n∈N, are a direct consequence of these representations.     

On the divergence of the means of double Walsh-Fourier series

In 1992, Móricz, Schipp and Wade proved the a.e. convergence of the double means of the Walsh-Fourier series () for functions in ( is the unit square). This paper aims to demonstrate the sharpness of this result. Namely, we prove that for all measurable function we have a function such as and does not converge to a.e. (in the Pringsheim sense).

     

Maximum excursion and stopping time record-holders for the problem: Computational results

This paper presents some results concerning the search for initial values to the so-called problem which give rise either to function iterates that attain a maximum value higher than all function iterates for all smaller initial values, or which have a stopping time higher than those of all smaller initial values. Our computational results suggest that for an initial value of , the maximum value of the function iterates is bounded from above by , with either a constant or a very slowly increasing function of . As a by-product of this (exhaustive) search, which was performed up to , the conjecture was verified up to that same number.