The inverse scattering problem we consider is to determine the surface impedance of a three-dimensional obstacle of known shape from a knowledge of the far-field patterns of the scattered fields corresponding to many incident time-harmonic plane acoustic waves. We solve this problem by using both the methods of Kirsch-Kress and Colton-Monk.

In the present paper by means of the Schauder-Tychonoff principle sufficient conditions are obtained for Lp-equivalence of a linear and a nonlinear impulsive differential equations.

This paper studies the asymptotic distribution of the multiparameter eigenvalues of a right definite multiparameter Sturm–Liouville eigenvalue problem. A uniform asymptotic analysis of the oscillation number of solutions of a single Sturm–Liouville type equation with potential depending on a general parameter is given; these results are then applied to the system of multiparameter Sturm–Liouville equations to give the asymptotic eigenvalue distribution for the system as a function of a “multi-index” oscillation number.

Let S be a free semigroup (on any set of generators). When S is given the discrete topology, its Stone-Čech compactification has a natural semigroup structure. We give two results about elements p of finite order in βS. The first is that any continuous homomorphism of βS into any compact group must send p to the identity. The second shows that natural extensions, to elements of finite order, of relationships between idempotents and sequences with distinct finite sums, do not hold.

Semigroup presentations have been studied over a long period, usually as a means of providing examples of semigroups. In 1967 B. H. Neumann introduced an enumeration method for finitely presented semigroups analogous to the Todd–Coxeter coset enumeration process for groups. A proof of Neumann's enumeration method was given by Jura in 1978.

In Section 3 of this paper we describe a machine implementation of a semigroup enumeration algorithm based on that of Neumann. In Section 2 we examine certain semigroup presentations, motivated by the fact that the corresponding group presentation has yielded interesting groups. The theorems, although proved algebraically, were suggested by the semigroup enumeration program.

We investigate linear independence of integer translates of a finite number of compactly supported functions in two cases. In the first case there are no restrictions on the coefficients that may occur in dependence relations. In the second case the coefficient sequences are restricted to be in some lp space (1 ≦ p ≦ ∞) and we are interested in bounding their lp-norms in terms of the Lp-norm of the linear combination of integer translates of the basis functions which uses these coefficients. In both cases we give necessary and sufficient conditions for linear independence of integer translates of the basis functions. Our characterization is based on a study of certain systems of linear partial difference and differential equations, which are of independent interest.

Let Ω be an open connected subset of the unit disc U, let E = U\Ω and let {Ωk} be a Whitney decomposition of U. If z(Q) is the centre of the “square” Q, if T is the unit circle and t = dist.(Q, T), we consider

where Ek = E ∩ Qk and c(Ek) is the capacity of Ek. We prove that the set E is minimally thin at τ ∈ T in U if and only if W(τ)< ∞. We study functions of type W and discuss the relation between certain results of Naim on minimal thinness [15], a minimum principle of Beurling [3], related results due to Dahlberg [7] and Sjögren [16] and recent work of Hayman-Lyons [15] (cf. also Bonsall [4]) and Volberg [19]. For simplicity, we discuss our problems in the unit disc U in the plane. However, the same techniques work for analogous problems in higher dimensions and in more complicated regions.

Let Tn be the operator algebra of upper triangular n × n complex matrices. Three families of limit algebras of the form lim (Tnk) are classified up to isometric algebra isomorphism: (i) the limit algebras arising when the embeddings Tnk→Tnk+1, are alternately of standard and refinement type; (ii) limit algebras associated with refinement embeddings with a single column twist; (iii) limit algebras determined by certain homogeneous embeddings. The last family is related to certain fractal like subsets of the unit square.

In this article we prove that if a completely positive linear map Φ of a unital C*-algebra A into another B with only finite dimensional irreducible representations is pure, then we have NΦ = Φker + kerΦ, where NΦ={x∈A|Φ(x) = 0}, Φker = {x∈A|Φ(x*x) = 0}, and kerΦ={x∈A|Φ(xx*) = 0}. We also prove that for every unital strongly positive and n-positive linear map Φ of a C*-algebra A onto another B with n≧2, if NΦ = Φker + kerΦ, then Φ is extreme in Pn(A, B, IB). By this null-kernel condition, many new extreme n-positive linear maps are identified. A general procedure for constructing extreme n-positive linear maps is suggested and discussed.

Let M and N be simply connected space forms, and U an open and connected subset of M. Further let π: U → N be a horizontally homothetic harmonic morphism. In this paper we show that if π has totally geodesic fibres and integrable horizontal distribution, then the horizontal foliation of U is totally umbilic and isoparametric. This leads to a classification of such maps. We also show that horizontally homothetic harmonic morphisms of codimension one are either Riemannian submersions modulo a constant, or up to isometrics of M and N one of six well known examples.

A squareroot of an ambiguous form in the principal genus of primitive integral binary quadratic forms of fixed discriminant is given explicitly in terms of a solution of a certain Legendre equation.

For any sequence (aj) of complex numbers and for any ρ > ½, we construct an entire function F with the following properties. F has order ρ, mean type, each aj is a deficient value of F, and F is given by F(z)=f(g(z)), where f and g are transcendental entire functions. This complements a result of Goldstein. We also construct, for any ρ>½, an entire function G of order p, mean type, such that liminf,→ ∞ T(r, G)/T(r, G′)>1.

Every distributive double p-algebra L is shown to have a congruence permutable extension K such that every congruence of L has a unique extension to K.