No abstract uploaded!

This paper applies$K$-homology to solve the index problem for a class of hypoelliptic (but not elliptic) operators on contact manifolds.$K$-homology is the dual theory to$K$-theory. We explicitly calculate the$K$-cycle (i.e., the element in geometric$K$-homology) determined by any hypoelliptic Fredholm operator in the Heisenberg calculus.

In two recent papers by Barry (2010) [29] and (2011) [30], it is conjectured that Somos-4 admits a solution expressed in terms of Hankel determinant with its elements satisfying a convolution recursion relation. In this paper, Barrys conjecture on Somos-4 is firstly confirmed. Actually, we present a more generalized result. The proof is mainly based on new findings on properties for so-called BlockHankel determinants. The method can also be used to prove another conjecture proposed by Michael Somos, which has been solved by Guoce Xin.

No abstract uploaded!

We define piecewise continuous almost automorphic (p.c.a.a.) functions in the manners of Bochner, Bohr and Levitan, respectively, to describe almost automorphic motions in impulsive systems, and prove that with certain prefixed possible discontinuities they are equivalent to quasi-uniformly continuous Stepanov almost automorphic ones. Spatially almost automorphic sets on the line, which serve as suitable objects containing discontinuities of p.c.a.a. functions, are characterized in the manners of Bochner, Bohr and Levitan, respectively, and shown to be equivalent. Two Favard's theorems are established to illuminate the importance and convenience of p.c.a.a. functions in the study of almost periodically forced impulsive systems.