Analytical continuation of two-dimensional wave fields

Wave fields obeying the two-dimensional Helmholtz equation on branched surfaces (Sommerfeld surfaces) are studied. Such surfaces appear naturally as a result of applying the reflection method to diffraction problems with straight scatterers bearing ideal boundary conditions. This is for example the case for the classical canonical problems of diffraction by a half-line or a segment. In the present work, it is shown that such wave fields admit an analytical continuation into the domain of two complex coordinates. The branch sets of such continuation are given and studied in detail. For a generic scattering problem, it is shown that the set of all branches of the multi-valued analytical continuation of the field has a finite basis. Each basis function is expressed explicitly as a Green’s integral along so-called double-eight contours. The finite basis property is important in the context of coordinate equations, introduced and used by the authors previously, as illustrated in this article for the particular case of diffraction by a segment.

The finite basis property of a certain semigroup of upper triangular matrices over a field

Let [Formula: see text] be the semigroup of all upper triangular [Formula: see text] matrices over a field [Formula: see text] whose main diagonal entries are [Formula: see text]s and/or [Formula: see text]s. Volkov proved that [Formula: see text] is nonfinitely based as both a plain semigroup and an involution semigroup under the reflection with respect to the secondary diagonal. In this paper, we shall prove that [Formula: see text] is finitely based for any field [Formula: see text]. When [Formula: see text], this result partially answers an open question posed by Volkov.

Finite basis problem for semigroups of order six

Two semigroups are distinct if they are neither isomorphic nor anti-isomorphic. Although there exist $15\,973$ pairwise distinct semigroups of order six, only four are known to be non-finitely based. In the present article, the finite basis property of the other $15\,969$ distinct semigroups of order six is verified. Since all semigroups of order five or less are finitely based, the four known non-finitely based semigroups of order six are the only examples of minimal order.

FINITELY BASED WORDS

Let W be a finite language and let Wc be the closure of W under taking subwords. Let S(W) denote the Rees quotient of a free monoid over the ideal consisting of all words that are not in Wc. We call W finitely based if the monoid S(W) is finitely based. Although these semigroups have easy structure they behave "generically" with respect to the finite basis property [6]. In this paper, we describe all finitely based words in a two-letter alphabet. We also find some necessary and some sufficient conditions for a set of words to be finitely based.