``Lebesgue measure' on , II

Let be the set of real numbers, and define . We construct a complete measure space where the -algebra contains the Borel subsets of , and is a translation-invariant measure such that for any measurable rectangle , if , then , where is Lebesgue measure on . The measure is not -finite. We prove three Fubini theorems, namely, the Fubini theorem, the mean Fubini-Jensen theorem, and the pointwise Fubini-Jensen theorem. Finally, as an application of the measure , we construct, via selfadjoint operators on , a ``Schrödinger model' of the canonical commutation relations: , , .

     

Some Schrödinger operators with dense point spectrum

Given any sequence of positive energies and any monotone function on with , , we can find a potential on such that are eigenvalues of and .

     

A generalization of Carleman's uniqueness theorem and a discrete Phragmén-Lindelöf theorem

Let be a Borel measure on and be its moments. T. Carleman found sharp conditions on the magnitude of for to be uniquely determined by its moments. We show that the same conditions ensure a stronger property: if are the moments of another measure, with then the measure is supported on the interval This result generalizes both the Carleman theorem and a theorem of J. Mikusi\'{n}ski. We also present an application of this result by establishing a discrete version of a Phragmén-Lindelöf theorem.

     

Composition of Blochs with bounded analytic functions

If is a holomorphic self-map of the open unit disc and , then the following are equivalent. for all Bloch functions .

where is the hyperbolic derivative of : .

     

The rank stable topology of instantons on

Let be the moduli space of based (anti-self-dual) instantons on of charge and rank . There is a natural inclusion . We show that the direct limit space is homotopy equivalent to . Let be a line in the complex projective plane and let be the blow-up at a point away from . can be alternatively described as the moduli space of rank holomorphic bundles on with and and with a fixed holomorphic trivialization on .

     

Approximation of fixed points of strongly pseudocontractive maps without Lipschitz assumption

In the present paper, the following result is shown: Let be a real Banach space with a uniformly convex dual , and let be a nonempty closed convex and bounded subset of . Assume that is a continuous strong pseudocontraction. Let and be two real sequences satisfying (i) for all ; (ii) ; and (iii) as Then the Ishikawa iterative sequence generated by

converges strongly to the unique fixed point of .

     

The maximal ideal space of with respect to the Hadamard product

It is shown that the space of all regular maximal ideals in the Banach algebra with respect to the Hadamard product is isomorphic to The multiplicative functionals are exactly the evaluations at the -th Taylor coefficient. It is a consequence that for a given function in and for a function holomorphic in a neighborhood of with and for all the function is in

     

-analyticity

Let be a finite-dimensional commutative algebra over and let , and be the ring of -differentiable functions of class , the ring of real analytic mappings with values in and the ring of -analytic functions, respectively, defined on an open subset of . We prove two basic results concerning -differentiability and -analyticity: ) , ) if and only if is defined over .

     

On maximal functions in Orlicz spaces

Let and be the functions having the representations and , where is a positive continuous function such that and is quasi-increasing. Then the maximal function is a function in Orlicz space for all if and only if there exists a positive constant such that for all .

     

The Wiener transform on the Besicovitch spaces

In his fundamental research on generalized harmonic analysis, Wiener proved that the integrated Fourier transform defined by is an isometry from a nonlinear space of functions of bounded average quadratic power into a nonlinear space of functions of bounded quadratic variation. We consider this Wiener transform on the larger, linear, Besicovitch spaces defined by the norm . We prove that maps continuously into the homogeneous Besov space for and , and is a topological isomorphism when .

     

Sharp estimates for the Bochner-Riesz operator of negative order in

The Bochner-Riesz operator on of order is defined by

where denotes the Fourier transform and if , and if . We determine all pairs such that on of negative order is bounded from to . To be more precise, we prove that for the estimate holds if and only if , where

We also obtain some weak-type results for .

     

Commensurators of parabolic subgroups of Coxeter groups

Let be a Coxeter system, and let be a subset of . The subgroup of generated by is denoted by and is called a parabolic subgroup. We give the precise definition of the commensurator of a subgroup in a group. In particular, the commensurator of in is the subgroup of in such that has finite index in both and . The subgroup can be decomposed in the form where is finite and all the irreducible components of are infinite. Let be the set of in such that for all . We prove that the commensurator of is . In particular, the commensurator of a parabolic subgroup is a parabolic subgroup, and is its own commensurator if and only if .

     

Chains of strongly non-reflexive dual groups of integer-valued continuous functions

Answering a question of Eklof-Mekler (Almost free modules, set-theoretic methods, North-Holland, Amsterdam, 1990), we prove: (1) If there exists a non-reflecting stationary set of consisting of ordinals of cofinality for each , then there exist abelian groups such that and for each . (2) There exist abelian groups such that for each and for each . The groups are the groups of -valued continuous functions on a topological space and their dual groups.

     

Non-commutative disc algebras and their representations

It is shown that the smallest closed subalgebra

generated by any sequence of isometries on a Hilbert space such that is completely isometrically isomorphic to the non-commutative ``disc' algebra introduced in Math. Scand. 68 (1991), 292--304. We also prove that for the Banach algebras and are not isomorphic. In particular, we give an example of two non-isomorphic Banach algebras which are completely isometrically embedded in each other. The completely bounded (contractive) representations of the ``disc' algebras on a Hilbert space are characterized. In particular, we prove that a sequence of operators is simultaneously similar to a contractive sequence (i.e., ) if and only if it is completely polynomially bounded. The first cohomology group of with coefficients in is calculated, showing, in particular, that the disc algebras are not amenable. Similar results are proved for the non-commutative Hardy algebras introduced in Math. Scand. 68 (1991), 292--304. The right joint spectrum of the left creation operators on the full Fock space is also determined.

     

Pointwise convergence of bounded cascade sequences

The cascade algorithm plays an important role in computer graphics and wavelet analysis. For an initial function , a cascade sequence is constructed by the iteration where is defined by In this paper, under a condition that the sequence is bounded in , we prove that the following three statements are equivalent: (i) converges . (ii) For , there exist a positive constant and a constant such that (iii) For some converges in . An example is presented to illustrate our result.

     

Almost everywhere convergence of series in

We answer positively a question of J. Rosenblatt (1988), proving the existence of a sequence with , such that for every dynamical system and , converges almost everywhere. A similar result is obtained in the real variable context.

     

and interpolation between Banach lattices

We study the possibility of obtaining the -norm by an interpolation method starting from a couple of Banach lattice norms. We describe all couples of Banach lattice norms in such that the -norm is a strict interpolation norm between them. Further we consider the possibility of obtaining the -norm by any method which guarantees interpolation of not only linear operators (= bilinear forms on but also of all polylinear forms. Here we show that either one of the initial norms has to be proportional to the -norm, or both have to be weighted -norms.

     

Convolution of a measure with itself and a restriction theorem

Let and be the measure defined by . Let denote the measure obtained by restricting to the set . We prove estimates on . As a corollary we obtain results on the restriction to of the Fourier transform of functions on for , .

     

Weakly coupled bound states in quantum waveguides

We study the eigenvalue spectrum of Dirichlet Laplacians which model quantum waveguides associated with tubular regions outside of a
bounded domain. Intuitively, our principal new result in two dimensions asserts that any domain obtained by adding an arbitrarily small ``bump' to the tube (i.e., , open and connected, outside a bounded region) produces at least one positive eigenvalue below the essential spectrum of the Dirichlet Laplacian . For sufficiently small ( abbreviating Lebesgue measure), we prove uniqueness of the ground state of and derive the ``weak coupling' result using a Birman-Schwinger-type analysis. As a corollary of these results we obtain the following surprising fact: Starting from the tube with Dirichlet boundary conditions at , replace the Dirichlet condition by a Neumann boundary condition on an arbitrarily small segment , , of . If denotes the resulting Laplace operator in , then has a discrete eigenvalue in no matter how small is.

     

On asymmetry of topological centers of the second duals of Banach algebras

Let be a Banach algebra with a bounded approximate identity and let and be the left and right topological centers of . It is shown that i) is not sufficient for ; ii) the inclusion is not sufficient for ; iii) is not sufficient for to be weakly sequentially complete. These results answer three questions of Anthony To-Ming Lau and Ali Ülger.