bounds for oscillatory hyper-Hilbert transform along curves

We study the oscillatory hyper-Hilbert transform

(1)

along the curve , where are some real positive numbers. We prove that if , then is bounded on whenever . Furthermore, we also prove that is bounded on when . Our work improves and extends some known results by Chandarana in 1996 and in a preprint. As an application, we obtain an boundedness result for some strongly parabolic singular integrals with rough kernels.

     

On chaotic -semigroups and infinitely regular hypercyclic vectors

A -semigroup on a Banach space is called hypercyclic if there exists an element such that is dense in . is called chaotic if is hypercyclic and the set of its periodic vectors is dense in as well. We show that a spectral condition introduced by Desch, Schappacher and Webb requiring many eigenvectors of the generator which depend analytically on the eigenvalues not only implies the chaoticity of the semigroup but the chaoticity of every . Furthermore, we show that semigroups whose generators have compact resolvent are never chaotic. In a second part we prove the existence of hypercyclic vectors in for a hypercyclic semigroup , where is its generator.

     

Codes over and and Hermitian lattices over imaginary quadratic fields

We introduce a family of bi-dimensional theta functions which give uniformly explicit formulae for the theta series of hermitian lattices over imaginary quadratic fields constructed from codes over and , and give an interesting geometric characterization of the theta series that arise in terms of the basic strongly modular lattice . We identify some of the hermitian lattices constructed and observe an interesting pair of nonisomorphic 3/2 dimensional codes over that give rise to isomorphic hermitian lattices when constructed at the lowest level 7 but nonisomorphic lattices at higher levels. The results show that the two alphabets and are complementary and raise the natural question as to whether there are other such complementary alphabets for codes.

     

Multiplicative bijections of

Let be a compact Hausdorff space which satisfies the first axiom of countability, let and let , be the set of all continuous functions from to If , ,is a bijective multiplicative map, then there exist a homeomorphism and a continuous map such that for all and for all

     

-isomorphisms, Jordan isomorphisms, and numerical range preserving maps

Let or , where is the algebra of a bounded linear operator acting on the Hilbert space , and is the set of self-adjoint operators in . Denote the numerical range of by It is shown that a surjective map satisfies

if and only if there is a unitary operator such that has the form

where is the transpose of with respect to a fixed orthonormal basis. In other words, the map or is a -isomorphism on and a Jordan isomorphism on . Moreover, if has finite dimension, then the surjective assumption on can be removed.

     

The distribution functions of and

Let be the sum of the positive divisors of . We show that the natural density of the set of integers satisfying is given by , where denotes Euler's constant. The same result holds when is replaced by , where is Euler's totient function.

     

-hyponormal operators are subscalar

We prove that if are injective, then is subscalar if and only if is subscalar. As corollaries, it is shown that -hyponormal operators and log-hyponormal operators are subscalar; also w-hyponormal operators with Ker Kerand their generalized Aluthge transformations are subscalar.

     

(APD)-property of -algebras by extensions of -algebras with (APD)

A unital -algebra is said to have the (APD)-property if every nonzero element in has the approximate polar decomposition. Let be a closed ideal of . Suppose that and have (APD). In this paper, we give a necessary and sufficient condition that makes have (APD). Furthermore, we show that if and or is a simple purely infinite -algebra, then has (APD).

     

The -exponent of the -local spectrum

Let be a fixed odd prime. In this paper we prove an exponent conjecture of Bousfield, namely that the -exponent of the spectrum is for . It follows from this result that the -exponent of is at least for and , where denotes the -connected cover of .

     

Representation of measures with polynomial denseness in , , and its application to determinate moment problems

It has been proved that algebraic polynomials are dense in the space , , iff the measure is representable as with a finite non-negative Borel measure and an upper semi-continuous function such that is a dense subset of the space    as equipped with the seminorm . The similar representation ( ) with the same and ( , and is also a dense

subset of ) corresponds to all those measures (supported by ) that are uniquely determined by their moments on ( ). The proof is based on de Branges' theorem (1959) on weighted polynomial approximation. A more general question on polynomial denseness in a separable Fréchet space in the sense of Banach has also been examined.

     

On the normal bundle of submanifolds of

Let be a submanifold of dimension of the complex projective space . We prove results of the following type.i) If is irregular and , then the normal bundle is indecomposable. ii) If is irregular, and , then is not the direct sum of two vector bundles of rank . iii) If , and is decomposable, then the natural restriction map is an isomorphism (and, in particular, if is embedded Segre in , then is indecomposable). iv) Let and , and assume that is a direct sum of line bundles; if assume furthermore that is simply connected and is not divisible in . Then is a complete intersection. These results follow from Theorem 2.1 below together with Le Potier's vanishing theorem. The last statement also uses a criterion of Faltings for complete intersection. In the case when this fact was proved by M. Schneider in 1990 in a completely different way.

     

-invariant subspaces of

In this note, we give a new proof of the characterization of the -invariant subspaces of for in using ideas from approximation theory.     

On the index and spectrum of differential operators on

If is an system of differential operators on having continuous coefficients with vanishing oscillation at infinity, the Cordes-Illner theory ensures that is Fredholm from to for all or no value We prove that both the index (when defined) and the spectrum of are independent of

     

On the elliptic equation on

In this paper we consider the existence problem for the elliptic equation on , which arises in the study of conformal deformation of the hyperbolic disc. We prove an existence result for the above equation.

     

On quasi-complete intersections of codimension

In this paper, we prove that if , , is a locally complete intersection of pure codimension and defined scheme-theoretically by three hypersurfaces of degrees , then for using liaison theory and the Arapura vanishing theorem for singular varieties. As a corollary, a smooth threefold is projectively normal if is defined by three quintic hypersurfaces.

     

Lifts of - and -morphisms to -morphisms

Let be the Hochschild complex of cochains on and let be the space of multivector fields on . In this paper we prove that given any -structure (i.e. Gerstenhaber algebra up to homotopy structure) on , and any -morphism (i.e. morphism of a commutative, associative algebra up to homotopy) between and , there exists a -morphism between and that restricts to . We also show that any -morphism (i.e. morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a -morphism, using Tamarkin's method for any -structure on . We also show that any two of such -morphisms are homotopic.

     

``Beurling type' subspaces of and

In this note we extend the ``Beurling type' characterizations of subspaces of and to and , respectively.

     

The dual spectral set conjecture

Suppose that where are real numbers such that and The union is not assumed to be disjoint. It is shown that the translates , , tile the real line for some bounded measurable set if and only if the exponentials , , form an orthogonal basis for some bounded measurable set

     

A proof of Weinberg's conjecture on lattice-ordered matrix algebras

Let be a subfield of the field of real numbers and let () be the matrix algebra over . It is shown that if is a lattice-ordered algebra over in which the identity matrix 1 is positive, then is isomorphic to the lattice-ordered algebra with the usual lattice order. In particular, Weinberg's conjecture is true.

     

A problem of Baernstein on the equality of the -harmonic measure of a set and its closure

A. Baernstein II (Comparison of -harmonic measures of subsets of the unit circle, St. Petersburg Math. J. 9 (1998), 543-551, p. 548), posed the following question: If is a union of open arcs on the boundary of the unit disc , then is , where denotes the -harmonic measure? (Strictly speaking he stated this question for the case .) For the positive answer to this question is well known. Recall that for the -harmonic measure, being a nonlinear analogue of the harmonic measure, is not a measure in the usual sense.

The purpose of this note is to answer a more general version of Baernstein's question in the affirmative when . In the proof, using a deep trace result of Jonsson and Wallin, it is first shown that the characteristic function is the restriction to of a Sobolev function from .

For it is no longer true that belongs to the trace class. Nevertheless, we are able to show equality for the case of one arc for all , using a very elementary argument. A similar argument is used to obtain a result for starshaped domains.

Finally we show that in a certain sense the equality holds for almost all relatively open sets.