The Jacobi coefficients $c_{j}^{\ell }\left( \alpha ,\,\beta \right)\,\left( 1\,\le \,j\,\le \,\ell ,\,\alpha ,\,\beta \,>\,-1 \right)$ are linked to the Maclaurin spectral expansion of the Schwartz kernel of functions of the Laplacian on a compact rank one symmetric space. It is proved that these coefficients can be computed by transforming the even derivatives of the Jacobi polynomials $P_{k}^{\left( \alpha ,\,\beta \right)}\,\left( k\,\ge \,0,\,\alpha ,\,\beta \,>\,-1 \right)$ into a spectral sum associated with the Jacobi operator. The first few coefficients are explicitly computed, and a direct trace interpretation of the Maclaurin coefficients is presented.

It is well known that the determination of a (non-isotropic) curve in the euclidean 3-space with given curvature κ(S) and torsion τ(s), where s represents the arc-length, depends upon the integration of a Riccati equation; and that this can be performed only if a particular integral of the equation is known.

Let R be a ring which possesses a unit element, a Lie ideal U ⊄ Z, and a derivation d such that d(U) ≠ 0 and d(u) is 0 or invertible, for all u ∈ U. We prove that R must be either a division ring D or D2, the 2 X 2 matrices over a division ring unless d is not inner, R is not semiprime, and either 2R or 3R is 0. We also examine for which division rings D, D2 can possess such a derivation and study when this derivation must be inner.

McCarthy [4] generalized a necessary and sufficient condition for an arithmetic function to be totally multiplicative to the incidence algebra on a partially ordered set. Several equivalent conditions for an arithmetic function to be totally multiplicative are known [1], [2]. In this paper we generalize several of these (and some apparently new ones) to the regular convolution rings of Narkiewicz [5]. We also investigate the prime factorization of arithmetic functions in a certain subring of some of these regular convolution rings.

This paper provides a constructive proof of the weak factorization of the classical Hardy space ${{H}^{1}}({{\mathbb{R}}^{n}})$ in terms of multilinear Riesz transforms. As a direct application, we obtain a new proof of the characterization of $BMO({{\mathbb{R}}^{n}})$ (the dual of ${{H}^{1}}({{\mathbb{R}}^{n}})$) via commutators of the multilinear Riesz transforms.

This paper is devoted to the study of Wirtinger-type inequalities for the Lebesgue $\Delta$-integral on an arbitrary time scale $\mathbb{T}$. We prove a general inequality for a class of absolutely continuous functions on closed subintervals of an adequate subset of $\mathbb{T}$. By using this expression and by assuming that $\mathbb{T}$ is bounded, we deduce that a general inequality is valid for every absolutely continuous function on $\mathbb{T}$ such that its $\Delta$-derivative belongs to $L_{\Delta }^{2}\,([a,\,b)\,\cap \,\mathbb{T})$ and at most it vanishes on the boundary of $\mathbb{T}$.

We compute the minimal polynomials of the Ramanujan values ${{t}_{n}}$, where $n\,\equiv \,11\,\bmod \,24$, using the Shimura reciprocity law. These polynomials can be used for defining the Hilbert class field of the imaginary quadratic field $\mathbb{Q}\left( \sqrt{-n} \right)$ and have much smaller coefficients than the Hilbert polynomials.

We give three new partition theorems of the classical Rogers-Ramanujan type which are very much in the style of MacMahon. These are a continuation of four theorems of the same kind given recently by the second author. One of these new theorems, very similar to one of the original Rogers-Ramanuj an - MacMahon type theorems is as follows: Let C(n) denote the number of partitions of n into parts congruent to ±2, ± 3, ±4, ± 5, ±6, ±7 (mod 20). Let D(n) denote the number of partitions of n of the form n = b1 + b2 + … + bt, where bt ≧ 2, bt ≧ bi + 1 and if 1 ≦ i ≦ [(t - 2)/2], bi - bi + 1 ≧ 2. Then C(n) = D(n).

Let R and S be rings with 1, G a group and RG and SG the corresponding group rings. In this paper, we study the problem of when RG≃SG implies R≃S. This problem was previously investigated in [8] for the case where G is assumed to be infinite cyclic. The corresponding question for polynomial rings, namely, when does R[x]≃S[x] imply R≃S, has been considered by several authors, particularly Coleman and Enochs [3].

We use the homological perturbation lemma to give an algebraic proof of the cyclic Eilenberg-Zilber theorem for cylindrical modules.

Let $R$ be a ring and let $g$ be an endomorphism of $R$. The additive mapping $d:\,R\,\to \,R$ is called a Jordan semiderivation of $R$, associated with $g$, if

$$d\left( {{x}^{2}} \right)=d\left( x \right)x+g\left( x \right)d\left( x \right)=d\left( x \right)g\left( x \right)+xd\left( x \right)\,\text{and}\,d\left( g\left( x \right) \right)=g\left( d\left( x \right) \right)$$

for all $x\,\in \,R$. The additive mapping $F:\,R\,\to \,R$ is called a generalized Jordan semiderivation of $R$, related to the Jordan semiderivation $d$ and endomorphism $g$, if

$$F\left( {{x}^{2}} \right)=F\left( x \right)x+g\left( x \right)d\left( x \right)=F\left( x \right)g\left( x \right)+xd\left( x \right)\,\,and\,F\left( g\left( x \right) \right)=g\left( F\left( x \right) \right)$$

for all $x\,\in \,R$. In this paper we prove that if $R$ is a prime ring of characteristic different from 2, $g$ an endomorphism of $R,\,d$ a Jordan semiderivation associated with $g,\,F$ a generalized Jordan semiderivation associated with $d$ and $g$, then $F$ is a generalized semiderivation of $R$ and $d$ is a semiderivation of $R$. Moreover, if $R$ is commutative, then $F\,=\,d$.

Let d = 1,2, or p, prime p ≡ 3 (mod 4). Let Od be the ring of integers of an imaginary quadratic field A complete classification of conjugacy classes of maximal non-elementary Fuchsian subgroups of PSL(2, Od) in PGL(2, Od) is given.

Any term or symbol undefined in this paper is defined in [5]. For graphs F and G, G > F means G contains a subgraph isomorphic to F and E(G) denotes the edge set of G. If E ⊆ E(G), 〈E〉 is the subgraph of G whose edge set is E and whose vertex set is that subset of vertices of G which are incident with edges in E.

It is well known that a symmetric and transitive relation on a set is reflexive wherever it is defined. In this note we show that a converse is true for homomorphic relations in certain classes of algebras.

Consider a class of similar algebras which contains the sub-algebras and quotient algebras of each of its members. Assume also that the direct product A x B of each pair A, B in is also an algebra belonging to . The algebras of , being similar, have the same set of operations. We observe that other operations, called compound operations, may be obtained by composition from the assigned operations.

AF C*-algebras contain natural AF masas which, here, we call standard diagonals. Standard diagonals are unique, in the sense that two standard diagonals in an AF C*-algebra are conjugate by an approximately inner automorphism. We show that this uniqueness fails for non-selfadjoint AF operator algebras. Precisely, we construct two standard diagonals in a particular non-selfadjoint AF operator algebra which are not conjugate by an approximately inner automorphism of the non-selfadjoint algebra.

We establish a mixed norm estimate for the Radon transform in ${{\mathbb{R}}^{2}}$ when the set of directions has fractional dimension. This estimate is used to prove a result about an exceptional set of directions connected with projections of planar sets. That leads to a conjecture analogous to a well-known conjecture of Furstenberg.

Jackson type theorems are obtained for the comonotone approximation of piecewise monotone functions by polynomials.

Brouwer's celebrated fixed point theorem states that every map of a closed n-cell into itself has a fixed point.

A similar theorem is here proved for coincidences between a pair of maps (f, g): In→In, where I denotes a closed n-cell (i.e. a homeomorph of the n-ball) and a coincidence is a point x∊In for which f(x)=g(x). That two arbitrary maps (f, g): In→In need not have a coincidence is shown by the pair f:In→y0, g:In→y1, where y0, y1∊In and y0≠y1. More generally, one can immediately construct a map g so that (f, g) is coincidence free if f is not surjective.

We prove Wise's $W$-cycles conjecture. Consider a compact graph $\Gamma '$ immersing into another graph $\Gamma $. For any immersed cycle $\Lambda :{{S}^{1}}\to \Gamma $, we consider the map $\Lambda '$ from the circular components $\mathbb{S}$ of the pullback to $\Gamma '$. Unless $\Lambda '$ is reducible, the degree of the covering map $\mathbb{S}\to {{S}^{1}}$ is bounded above by minus the Euler characteristic of $\Gamma '$. As a corollary, any finitely generated subgroup of a one-relator group has a finitely generated Schur multiplier.

In [6], H. Sharp gives a matrix characterization of each topology on a finite set X = {x1, x2,…, xn}. The study of quasi-uniform spaces provides a more natural and obviously equivalent characterization of finite topological spaces. With this alternate characterization, results of quasi-uniform theory can be used to obtain simple proofs of some of the major theorems of [1], [3] and [6]. Moreover, the class of finite topological spaces has a quasi-uniform property which is of interest in its own right. All facts concerning quasi-uniform spaces which are used in this paper can be found in [4].