1. Let r(n) denote the number of representations of the natural number n as the sum of one square and three fifth powers of positive integers. A formal use of the circle method predicts the asymptotic relation (1)

$ \begin{equation*} r(n) = \frac{\Gamma(\frac32)\Gamma(\frac65)^3}{\Gamma(\frac{11}{10})} {\mathfrak s}(n) {n}^\frac1{10} (1 + o(1)) \qquad (n\to\infty). \end{equation*} $

${\mathfrak s}$

In this paper the authors consider the class of locally nilpotent groups that have the maximum condition on non-nilpotent subgroups.

Consider the p(x)-Laplacian–Dirichlet problem with sign-changing non-linearity of the form where Ω ⊂ ℝN is a bounded domain, p ∈ C0(Ω) and infx∈Ωp(x) > 1, m ∈ L∞(Ω) is non-negative, f : ℝ → ℝ is continuous and f(0) > 0, the coefficient a ∈ L∞(Ω) is sign-changing in (Ω). We give some sufficient conditions to assure the existence of a positive solution to the problem for sufficiently small λ > 0. Our results extend the corresponding results established in the p-Laplacian case to the p(x)-Laplacian case.

A preliminary attempt is made to place the theory of completions of boolean algebras and of partially ordered sets in a wider context. The theory and construction of injective hulls in abelian categories is generalised and it is demonstrated that any variety with enough injectives admits injective hulls. Then the methods developed are applied to a non-algebraic bicategory, that of ordered sets.

The classical maximum principle is utilized to obtain maximum principles for functionals which are defined on solutions of fourth, sixth and eighth-order elliptic equations. The principles derived lead to uniqueness results.

This paper deals with the global existence and blow-up properties of the following non-Newton polytropic filtration system coupled with local source: ut − Δm,pu = avα, vt − Δn,qv = buβ. Under appropriate hypotheses, we prove that the solution either exists globally or blows up in finite time depending on the initial data and the relations between αβ and mn(p − 1)(q − 1).

We prove uniqueness of positive solutions for the boundary value problem

\begin{equation*} \left\{ \begin{array}{l} -\Delta u=\lambda f(u)\text{ in }\Omega , \\ \ \ \ \ \ \ \ u=0\text{ on }\partial \Omega , \end{array} \right. \end{equation*}

$\mathbb{R}$

In an earlier paper [1] on groups which are the products of two finite cyclic groups with trivial intersection, certain permutations, called “semi-special”, played a certain role. The permutation π of the numbers 1, 2,…, n is semi-special if† πn=n, and if, for every y ε [n],

is again a permutation, namely a power (depending on y) of π.

We investigate cyclic bi-embeddings in an orientable surface of Steiner triple systems on 31 points. Up to isomorphism, we show that there are precisely 2408 such embeddings. The relationship of these to solutions of Heffter's first difference problem is discussed and a procedure described which, under certain conditions, transforms one bi-embedding to another.

In this paper I construct a reduction formula for the integral

the formula connects any three consecutive members of a set I0, I1, I2, …, Im. We regard m as given, and, in order to avoid wasting time over trivialities, we postulate that the constants a, α, β, γ δ (which are not restricted to be real) have real parts large enough to ensure (i) that the integrals In under consideration and the integrals related to them which will be introduced subsequently are all absolutely convergent, and (ii) that, in all the partial integrations which will be effected, the integrated parts vanish at both limits.

The main aim of this article is to discuss the relationship between Pontryagin duality and pro-objects. The basic idea arises from K. H. Hofmann's articles [7] and [8] where it is shown that the elementary abelian (Lie) groups are “dense” in the category of locally compact hausdorff abelian groups.

Questions about polynomials can be turned into questions about matrices by associating with the polynomial

(over an arbitrary field) its companion matrix

which has p/an as its characteristic polynomial. This technique is often used in stability theory, as indicated in [1]; companion matrices also occur in the theory of the rational canonical form.

Let μ ≠ 0 be an ultradistribution of Beurling type with compact support in the space . We investigate the range of the convolution operator Tμ on the space of non-quasianalytic functions of Beurling type associated with a weight w, in the case the operator is not surjective. It is proved that the range of TM always contains the space of real-analytic functions, and that it contains a smaller space of Beurling type for a weight σ ≥ ω if and only if the convolution operator is surjective on the smaller class.

C. Widland [14] has defined Weierstrass points on integral, projective Gorenstein curves. We show here that the Weierstrass points on a generic integral rational nodal curve have the minimal possible weights or, equivalently, that such a curve has the maximum possible number of distinct nonsingular Weierstrass points. Rational curves with g nodes arise in degeneration arguments involving smooth curves of genus g and they have also recently arisen in connection with g-soliton solutions to certain nonlinear partial differential equations [11], [13].

We obtain explicit expressions for genus 2 degenerate sigma-function in terms of genus 1 sigma-function and elementary functions as solutions of a system of linear partial differential equations satisfied by the sigma-function. By way of application, we derive a solution for a class of generalized Jacobi inversion problems on elliptic curves, a family of Schrödinger-type operators on a line with common spectrum consisting of a point and two segments, explicit construction of a field of three-periodic meromorphic functions. Generators of rank 3 lattice in ℂ2 are given explicitly.

We prove that if X is a real Banach space, with dim X\ge 3, which contains subspace of codimension 1 which is 1-complemented in X and whose group of isometries is almost transitive then X is isometric to a Hilbert space. This partially answers the Banach-Mazur rotation problem and generalizes some recent related results.

It is proved that if the normal closure of every element of a group G has rank at most r, then the derived subgroup of G has r-bounded rank.

Regular maps, that is, graph embeddings with the ‘highest level’ of orientation-preserving symmetry, can be identified with two-generator presentations of groups G of the form 〈x, y; xm = y2 = (xy)n = … = 1〉; the parameters m and n are the valence and the covalence of the map, respectively. The element j ∈ Zm* is an exponent of such a map if the assignments x ↦ xj and y ↦ y extend to an automorphism of G. The element −1 is an exponent if and only if the map is reflexible, that is, isomorphic to its mirror image. Non-trivial exponents, j ≠ ±1, induce automorphisms of the underlying graph, which are not map automorphisms but can nevertheless be considered as ‘external symmetries’ of the map. In this paper we show with the help of residual finiteness of triangle groups that for any given m, n≥3 such that 1/m + 1/n ≤ 1/2, there exist infinitely many finite, reflexible and regular maps of valence m and covalence n with no non-trivial exponent.

The structure of an inverse monoid can be determined by the complete set of Schützenberger graphs of a presentation. Necessary and sufficient conditions for a collection of inverse X-graphs to be the complete set of Schützenberger graphs of some inverse monoid presentation are established and decidability results are obtained. Conditions for a single inverse X-graph to be a Schu¨tzenberger graph for some presentation are also obtained, and both problems are restricted to the case of Clifford monoids and E-unitary inverse monoids. Decidability and undecidability results are obtained for the case of finite graphs. It is also proved that the problem of embedding a finite inverse X-graph in the Cayley graph of a group is undecidable.

In this paper, we first construct π-type Fermions. According to these, we define π-type Boson–Fermion correspondence which is a generalization of the classical Boson–Fermion correspondence. We can obtain π-type symmetric functions Sλπ from the π-type Boson–Fermion correspondence, analogously to the way we get the Schur functions Sλ from the classical Boson–Fermion correspondence (which is the same thing as the Jacobi–Trudi formula). Then as a generalization of KP hierarchy, we construct the π-type KP hierarchy and obtain its tau functions.