In the analysis of mixed boundary value problems by Hankel transforms, one often encounters dual integral equations of the form

where I1 = (0, 1), I2 = (1, ∞); w1(x), w2(x) are weight functions, ψ(x) is the unknown function, and f(y), g(y) are functions continuously differentiate on I1 and I2 respectively. Many successful attempts have been made to solve (1.1) and (1.2). These are all discussed in a recent book by Sneddon [7]. As pointed out in a recent paper by Erdogan and Bahar [4], in mixed boundary value problems of semi-infinite domains involving more than one unknown function such as those arising in elastostatics, viscoelasticity, and electrostatics, the formulation will lead to a system of simultaneous dual integral equations which is a generalization of (1.1) and (1.2). These equations may be expressed as follows:

with i = 1, 2, …, n, where we use the notation

We prove the compactness of certain Hankel operators on weighted Bergman spaces of harmonic functions on the unit ball in Rn.

Let K be a quadratic number field with 2-class group of type (2,2). Thus if Sk is the Sylow 2-subgroup of the ideal class group of K, then Sk = ℤ/2ℤ × ℤ/2ℤ Let

K ⊂ K1 ⊂ K2 ⊂ K3 ⊂…

the 2-class field tower of K. Thus K1 is the maximal abelian unramified extension of K of degree a power of 2; K2 is the maximal abelian unramified extension of K of degree a power of 2; etc. By class field theory the Galois group Ga1 (K1/K) ≅ Sk ≅ ℤ/2ℤ × ℤ/2ℤ, and in this case it is known that Ga(K2/Kl) is a cyclic group (cf. [3] and [10]). Then by class field theory the class number of K2 is odd, and hence K2 = K3 = K4 = …. We say that the 2-class field tower of K terminates at K1 if the class number of K1 is odd (and hence K1 = K2 = K3 = … ); otherwise we say that the 2-class field tower of K terminates at K2. Our goal in this paper is to determine how likely it is for the 2-class field tower of K to terminate at K1 and how likely it is for the 2-class field tower of K to terminate at K2. We shall consider separately the imaginary quadratic fields and the real quadratic fields.

Let Tn denote the full transformation semigroup on the finite set = {1, 2, … n}, that is the set of all mappings from to , with function composition as the semigroup operation. In this paper algorithms are introduced to solve equations such as axmb = c and ax = xb (a, b, c ∊ Tn), which employ a representation of members of Tn as special directed graphs.

A series ∑an is said to be summable (C, — 1) to s if it converges to s and nan = o(1) [8]. It is well known that this definition is equivalent to tn→s (n→∞), where tn = sn + nan, sn = ao + … + an. The series is summable | C, — 1 | to s if the sequence t = {tn} is of bounded variation (t ∈ B.V.), i.e. ∑ |; ▲tn |; = ∑ | tn - tn-1 | < ∞, and ∑ ▲tn = lim tn = s. An equivalent condition is ∑ | an |; < ∞, ∑an = s and ∑ | ▲(nan) | < ∞. For, suppose that ∑an = s | C, - 1 |. Since {sn} is the sequence of (C, 1)-means of {tn} and since | C, 0 | ⊂ | C, 1 |, we have ∑ | an | < ∞ and ∑an = s whence ∑ | ▲(nan) | < ∞. Conversely, ∑ | an | < ∞, ∑an = s and ∑ | ▲(nan) | < ∞ imply t ∈ B.V. and ∑▲n = s + lim nan. But lim nan = 0, since ∑ | an | < ∞.

The problem of solving the equation of thermal conduction for cases in which heat is generated in the interior of the medium under consideration arises frequently in physics and engineering. It occurs, for instance, when we consider the diffusion of heat in a solid undergoing radioactive decay (1) or which is absorbing radiation (2). Complications of a similar nature arise when there is a generation or absorption of heat in the solid as a result of a chemical change-for example, the hydration of cement (3). The particular case in which the rate of generation of heat is independent of the temperature arises in the theory of the ripening of apples and has been discussed by Awberry (4).

Let X be an infinite-dimensional complex Banach space and denote the set of bounded (compact) linear operators on X by B (X) (K(X)). Let σ(A) and σa(A) denote, respectively, the spectrum and approximate point spectrum of an element A of B(X). Set

σem(A)and σeb(A) are respectively Schechter's and Browder's essential spectrum of A ([16], [9]). σea (A) is a non-empty compact subset of the set of complex numbers ℂ and it is called the essential approximate point spectrum of A ([13], [14]). In this note we characterize σab(A) and show that if f is a function analytic in a neighborhood of σ(A), then σab(f(A)) = f(σab(A)). The relation between σa(A) and σeb(A), that is exhibited in this paper, resembles the relation between the σ(A) and the σeb(A), and it is reasonable to call σab(A) Browder's essential approximate point spectrum of A.

Let S be an inverse semigroup with semilattice of idempotents E, and let ρ be a congruence on S. Then ρ is said to be idempotent-determined [2], or I.D. for short, if (a, b) ∈ р and a∈E imply that b ∈ E. If, further, ρ is a group congruence, then clearly ρ is the minimum group congruence on S, and in this case S is said to be proper [8]. Let T = S/ρ.

Free monoids play a central role in the theory of formal languages. Their endomorphisms appear naturally in the context of deterministic OL-schemes which trace their origin to biology. Closely related to such a scheme is a DOL-system which consists of a triple (X, φ, w) where X is a finite set, φ is an endomorphism of the free monoid X* and w ∈ X. The associated language is defined as the set {w, φw, φ2w,…} called a DOL-language. For a full discussion of this subject, we recommend the book [2] by Herman and Rozenberg.

Let A be an n × n complex matrix and c = (c1… cn) єℂn. Define the c-numerical range of A to be the set is an orthonormal set in , where * denotes the conjugate transpose. Westwick [8[ proved that if c … cn are collinear, then Wc(A) is convex. (Poon [6] gave another proof.) But in general for n ≧3, Wc(A) may fail to be convex even for normal A (for example, see Marcus [4] or Lemma 3 in this note) though it is star-shaped (Tsing [7]). In the following, we shall assume that A is normal. Let W(A) = {diag UAU*: U is unitary}. Horn [3] proved that if the eigenvalues of A are collinear, then W(A) is convex. Au-Yeung and Sing [2] showed that the converse is also true. Marcus [4] further conjectured (and proved for n = 3) that if Wc(A) is convex for all cєℂn then the eigenvalues of A are collinear. Let λ = (λ1, …, λn єℂn. We denote by the vector λ1, …, λn and by [λ] the diagonal matrix with λ1, …, λn lying on its diagonal. Since, for any unitary matrix U,. Wc(A) = Wc (UAU*), the Marcus conjecture reduces to: if Wc([λ]) is convex for all c єℂn then λ1, … λn are collinear. For the case n = 3, Au-Yeung and Poon [1] gave a complete characterization on the convexity of the set Wc([λ]) in terms of the relative position of the points , where σ є S3 the permutation group of order 3. As an example they showed that if λ1, λ2, λ3 are not collinear, then is not convex (Lemma 3 in this note gives another proof). We shall show that for the case n = 4, is not convex if λ1, λ2. λ3. λ4 are not collinear. Thus for n = 3, 4 the Marcus conjecture is answered and improved.

Let ℋ be a complex Hilbert space and B(ℋ) the algebra of all bounded linear operators on ℋ. Let ℋ(ℋ) be the algebra of all compact operators of B(ℋ). For an operator T ε B(ℋ), let σ(T), σp(T), σπ(T) and πoo(T) denote the spectrum, the point spectrum, the approximate point spectrum and the set of all isolated eigenvalues of finite multiplicity of T, respectively. We denote the kernel and the range of an operator T by ker(T) and R(T), respectively. For a subset of ℋ, the norm closure of is denoted by . The Weyl spectrum ω(T) of T ε B(ℋ) is defined as the set

Let Sbe a compact Riemann surface of genus g ≥ 2 and σ an automorphism (conformal self-homeomorphism) of S of order n. Let S* = S/ « σ« have genus g*. In [5], Schoeneberg gave a sufficient condition that a fixed point P ∈ S of σ should be a Weierstrass point of S, i.e., that Sshould support a function that has a pole of order less than or equal to g at P and is elsewhere regular.

This note contains extensions of the Abelian ergodic theorems in [3] and [6] to functions which take their values in a Banach space. The results are based on an adaptation of Rota's maximal ergodic theorem for Abel limits [8]. Convergence theorems for continuous parameter semigroups are deduced by the approximation technique developed in [3], [6]. A direct application of the resolvent equation also enables us to deduce a convergence theorem for pseudo-resolvents.

Throughout this paper it is assumed that rings are associative, have the identity element, and all modules are left unital. R will denote a ring with identity, R-Mod the category of left R-modules, and for each left R-module M, E(M) (resp. J(M)) will represent the injective hull (resp. Jacobson radical) of M. Also, for a module M, A ⊆' M will mean that A is an essential submodule of M, and Z(M) denotes the singular submodule of M. M is called singular if Z(M) = M, and it is called non-singular in case Z(M) = 0. For fundamental definitions and results related to torsion theories, we refer to [12] and [14]. In this paper we shall deal mainly with Goldie torsion theory. Recall that a pair (G, F) of classes of left R-modules is known as Goldie torsion theory if G is the smallest torsion class containing all modules B/A, where A ⊆' B, and the torsion free class F is precisely the class of non-singular modules.

Using the definition of a Riemann surface, as given for example by Ahlfors and Sario, one can prove that all Riemann surfaces are orientable. However by modifying their definition one can obtain structures on non-orientable surfaces. In fact nonorientable Riemann surfaces have been considered by Klein and Teichmüller amongst others. The problem we consider here is to look for the largest possible groups of automorphisms of compact non-orientable Riemann surfaces and we find that this throws light on the corresponding problem for orientable Riemann surfaces, which was first considered by Hurwitz [1]. He showed that the order of a group of automorphisms of a compact orientable Riemann surface of genus g cannot be bigger than 84(g – 1). This bound he knew to be attained because Klein had exhibited a surface of genus 3 which admitted PSL (2, 7) as its automorphism group, and the order of PSL(2, 7) is 168 = 84(3–1). More recently Macbeath [5, 3] and Lehner and Newman [2] have found infinite families of compact orientable surfaces for which the Hurwitz bound is attained, and in this paper we shall exhibit some new families.

Let ℋ be a complex Hilbert space and B(ℋ) be the algebra of all bounded linear opeators on ℋ. An operator T ∈ B(ℋ) is said to be p-hyponormal if (T*T)p–(TT*)p. If p = 1, T is hyponormal and if p = ½ is semi-hyponormal. It is well known that a p-hyponormal operator is p-hyponormal for q≤p. Hyponormal operators have been studied by many authors. The semi-hyponormal operator was first introduced by D. Xia in [7]. The p-hyponormal operators have been studied by A. Aluthge in [1]. Let T be a p-hyponormal operator and T=U|T| be a polar decomposition of T. If U is unitary, Aluthge in [1] proved the following properties.

Let G be a finite abelian group, and Y be a closed surface. The problems of classifying and enumerating the free and effective G-actions on Y modulo selfhomeomorphisms of Y and X = Y/G can be transferred into ones of classifying regular G-coverings on X. P. A. Smith [7], proved that for any prime number p there are pr(r–1)/2 equivalence classes of free (ℤp)r actions on Y provided that rℤgenus of X. This paper is devoted to the classification and the enumeration of regular G-covering surfaces, when G is any finite abelian group. Recently, A. Edmonds [2] classified the G-actions on closed surfaces by their G-bordism classes in the set (G) of free oriented G-cobordism classes of free oriented G-surfaces.

Recently, Levin and Saxon [5], De Wilde and Houet [2] defined the σ-barrelledness while Husain [3] defined the countable barrelledness and countable quasibarrelledness. It is well-known that barrelled spaces are countably barrelled, and countably barrelled spaces are σ-barrelled. It is natural to ask whether there is some condition for σ-barrelled (resp. countably barrelled) spaces to be countably barrelled (resp. barrelled). Using the concept of S-absorbent sequences of sets, we are able to give such conditions in Theorem 2.5 and Corollaries 2.6 and 2.7.

A classical result in potential theory is the Schwarz reflection principle for solutions of Laplace's equation which vanish on a portion of a spherical boundary. The question naturally arises whether or not such a property is also true for solutions of the Helmholtz equation. This has been answered in the affirmative by Diaz and Ludford ([4]; see also [10]) in the limiting case of the plane. It is the purpose of this paper to show that a reflection principle is also valid for spheres of finite radius. As an application of this result we shall study the problem of the analytic continuation of solutions to the Helmholtz equation defined in the exterior of a bounded domain in three-dimensional Euclidean space ℝ3 We shall show that through the use of the reflection principle derived in this paper, this problem can be reduced to the problem of the analytic continuation of an analytic function of two complex variables, which in turn can be performed through a variety of known methods (cf. [7]).