Shapiro's Cyclic Sum

Shapiro's cyclic sum is defined by , If K is the cone in Rⁿ of points withnon-negative coordinates, it is shown that the minimum of Ein K is a fixed point of T², where T is the non-linear operatordefined by (Tx)_i = x_n–i+1/(x_n–i+2 + x_n–i+3)²for i = 1,2,...,n. It is conjectured that Tx = S^kx, where Sis the shift operator in Rⁿ, and a proof is given under someadditional hypotheses. One of the consequences is a simple proofthat at the minimum point, a_i(x) = a_n–i+1–k(x) fori = 1,2,...,n.     

On the Discreteness and Convergence in n-Dimensional Mobius Groups

Throughout this paper, we adopt the same notations as in [1,6, 8] such as the Möbius group M(Rⁿ), the Clifford algebraC_n–1, the Clifford matrix group SL(2, _n), the Cliffordnorm of ||A||=(|a|²+|b|²+|c|²+|d|²) (1) and the Clifford metric of SL(2, _n) or of the Möbius groupM(Rⁿ) d(A₁,A₂)=||A₁–A₂||(|a₁–a₂|²+|b₁–b₂|²+|c₁–c₂|²+|d₁–d₂|²)(2) where |·| is the norm of a Clifford number and represents f_i M(), i = 1,2, and so on. In addition, we adopt some notions in [6, 12]:the elementary group, the uniformly bounded torsion, and soon. For example, the definition of the uniformly bounded torsionis as follows.     

An error bound for the modified successive overrelaxation method

In this paper we consider the modified successive overrelaxation(MSOR)methodto appropriate the solution of the linear system D^-1/2 Ax =D^-1/2b, where A is a symmetric, positive definite and consistentlyordered matrix and D is a diagonal matrix with the diagonalidentical to that of A. The main purpose of this paper is to obtain some theoreticalresults, namely a bound for the norm of _n = v –v_n in termsof the norms _n –v_n-1, _n+1 –v_n and their inner product,where v =D^-1/2 x and v_n is the nth iteration vector, obtainedusing the (MSOR)method.     

Hemisystems on the Hermitian Surface

The natural geometric setting of quadrics commuting with a Hermitiansurface of PG(3,q²), q odd, is adopted and a hemisystem on theHermitian surface H(3,q²) admitting the group P^–(4,q)is constructed, yielding a partial quadrangle PQ((q–1)/2,q²,(q–1)²/2) and a strongly regular graph srg((q³+1)(q+1)/2,(q²+1)(q–1)/2,(q–3)/2,(q–1)²/2).For q>3, no partial quadrangle or strongly regular graphwith these parameters was previously known, whereas when q=3,this is the Gewirtz graph. Thas conjectured that there are nohemisystems on H(3,q²) for q>3, so these are counterexamplesto his conjecture. Furthermore, a hemisystem on H(3,25) admitting3.A₇.2 is constructed. Finally, special sets (after Shult) andovoids on H(3,q²) are investigated.     

Hypersurfaces in a Unit Sphere Sn+1(1) with Constant Scalar Curvature

The paper considers n-dimensional hypersurfaces with constantscalar curvature of a unit sphere S^n–1(1). The hypersurfaceS^k(c₁)xS^n–k(c₂) in a unit sphere Sⁿ⁺¹(1) is characterized,and it is shown that there exist many compact hypersurfaceswith constant scalar curvature in a unit sphere Sⁿ⁺¹(1) whichare not congruent to each other in it. In particular, it isproved that if M is an n-dimensional (n > 3) complete locallyconformally flat hypersurface with constant scalar curvaturen(n–1)r in a unit sphere Sⁿ⁺¹(1), then r > 1–2/n,and (1) when r (n–2)/(n–1), if then M is isometric to S¹xS^n–1(c),where S is the squared norm of the second fundamental form ofM; (2) there are no complete hypersurfaces in Sⁿ⁺¹(1) with constantscalar curvature n(n–1)r and with two distinct principalcurvatures, one of which is simple, such that r = (n–2)/(n–1)and      

Long-Time Behavior of Solutions of the Fast Diffusion Equations with Critical Absorption Terms

This paper is devoted to the long-time behavior of solutionsto the Cauchy problem of the porous medium equation u_t = (u^m)– u^p in Rⁿ x (0,) with (1 – 2/n)₊ < m < 1and the critical exponent p = m + 2/n. For the strictly positiveinitial data u(x,0) = O(1 + |x|)^–k with n + mn(2 –n + nm)/(2[2 – m + mn(1 – m)]) k < 2/(1 –m), we prove that the solution of the above Cauchy problem convergesto a fundamental solution of u_t = (u^m) with an additional logarithmicanomalous decay exponent in time as t .     

Beardon's Diophantine Equations and Non-Free Mobius Groups

Let µ be a real number. The Möbius group G_µis the matrix group generated by It is known that G_µ is free if |µ| 2 (see [1])or if µ is transcendental (see [3, 8]). Moreover, thereis a set of irrational algebraic numbers µ which is densein (–2, 2) and for which G_µ is non-free [2, p. 528].We may assume that µ > 0, and in this paper we considerrational µ in (0, 2). The following problem is difficult. Let G^nf denote the set of all rational numbers µ in (0,2) for which G_µ is non-free. In 1969 Lyndon and Ullman[8] proved that G^nf contains the elements of the forms p/(p²+ 1) and 1/(p + 1), where p = 1, 2, ..., and that if µ₀ G^nf, then µ₀/p G^nf for p = 1, 2, .... In 1993 Beardon[2] studied problem (P) by means of the words of the form A^rB^s A^t and A^r B^s A^t B^u A^v, and he obtained a sufficient conditionfor solvability of (P), included implicitly in [2, pp. 530–531],by means of the following Diophantine equations: 1991 Mathematics SubjectClassification 20E05, 20H20, 11D09.     

Correction: the Embedding of Radical Rings in Simple Radical Rings

As G. M. Bergman has pointed out, in the proof of the lemmaon p. 187, we cannot conclude that $$\stackrel{\&macr;}{S}$$is universal in the sense stated. However, the proof can becompleted as follows: Any element of $$\stackrel{\&macr;}{S}$$can be obtained as the first component of the solution u ofa system (A–I)u+a = 0, (1) where A S_n, a ⁿS and A–I has an inverse over L. SinceS is generated by R and k{s}, A can (by the last part of Lemma3.2 of [1]) be taken to be linear in these arguments, say A= A₀ + sA1, where A₀ R_n, A₀ R_n, A₁ K_n. Multiplying by (I–sA₁)^–1,we reduce this equation to the form (S_vB_v–I)u+a=0, (2) with the same solution u as before, where B_v R_n, s_v k{s}¹and a ⁿS. Now consider the retraction S k{s} (3) obtained by mapping R 0. If we denote its effect by x x^*,then (2) goes over into an equation –I.v + a^* 0, (4) which clearly has a unique solution v in k{s}; therefore theretraction (3) can be extended to a homomorphism $$\stackrel{\&macr;}{S}$$ k{s}, again denoted by x x^*, provided we can show that u₁^*does not depend on the equation (1) used to define it. Thisamounts to showing that if an equation (1), or equivalently(2), has the solution u₁ = 0, then after retraction we get v₁= 0 in (4), i.e. a₁^* = 0. We shall use induction on n; if u₁= 0 in (2), then by leaving out the first row and column ofthe matrix on the left of (2), we have an equation for u₂,...,u_n and by the induction hypothesis, their values after retractionare uniquely determined. Now from (2) we have where B = (b_ij^v). Applying ^* and observing that b_ij^vR, we seethat a₁ ^* = 0, as we wished to show. The proof still appliesfor n = 1, so we have a well-defined mapping $$\stackrel{\&macr;}{S}$$ k{s}, which is a homomorphism. Now the proof of the lemma canbe completed as before.     

On the Greatest Prime Divisor of the Sum of Two Squares of Primes

One of the most famous theorems in number theory states thatthere are infinitely many positive prime numbers (namely p =2 and the primes p 1 mod4) that can be represented in the formx²₁+x²₂, where x₁ and x₂ are positive integers. In a recentpaper, Fouvry and Iwaniec [2] have shown that this statementremains valid even if one of the variables, say x₂, is restrictedto prime values only. In the sequel, the letter p, possiblywith an index, is reserved to denote a positive prime number.As p²₁=p²₂ = p is even for p₁, p₂ > 2, it is reasonable toconjecture that the equation p²₁=p²₂ = 2p has an infinity ofsolutions. However, a proof of this statement currently seemsfar beyond reach. As an intermediate step in this direction,one may quantify the problem by asking what can be said aboutlower bounds for the greatest prime divisor, say P(N), of thenumbers p²₁=p²₂, where p₁, p₂ N, as a function of the realparameter N 1. The well-known Chebychev–Hooley methodcombined with the Barban–Davenport–Halberstam theoremalmost immediately leads to the bound P(N) N^1–, if N N_o(); here, denotes some arbitrarily small fixed positivereal number. The first estimate going beyond the exponent 1has been achieved recently by Dartyge [1, Théorème1], who showed that P(N) N^10/9–. Note that Dartyge'sproof provides the more general result that for any irreduciblebinary form f of degree d 2 with integer coefficients the greatestprime divisor of the numbers |f(p₁, p₂)|, p₁, p₂ N, exceedsN^_d–, where _d = 2 – 8/(d = 7). We in particular wantto point out that Dartyge does not make use of the specificfeatures provided by the form x²₁+x²₂. By taking advantage ofsome special properties of this binary form, we are able toimprove upon the exponent ₂ = 10/9 considerably.     

A Functional Relation for Accessory Parameters for Genus 2 Algebraic Curves with an Order 4 Automorphism

Let C be a genus 2 algebraic curve defined by an equation ofthe form y² = x(x² – 1)(x – a)(x – 1/a). Asis well known, the five accessory parameters for such an equationcan all be expressed in terms of a and the accessory parameter b corresponding to a. The main result of the paper is thatif a' = 1 – a², which in general yields a non-isomorphiccurve C', then b'a'(a'² – 1) = – – ba(a²– 1). This is proven by it being shown how the uniformizing functionfrom the unit disk to C' can be explicitly described in termsof the uniformizing function for C.     

Necessary and Sufficient Conditions for Exponential Stability and Ultimate Boundedness of Systems Governed by Stochastic Partial Differential Equations

Consider the following infinite dimensional stochastic evolutionequation over some Hilbert space H with norm |·|: It is proved that under certain mild assumptions, the strongsolution X_t(x₀)VHV*, t 0, is mean square exponentially stableif and only if there exists a Lyapunov functional (·,·):HxR₊R¹ which satisfies the following conditions: (i)c₁|x|²–k₁e^–µ₁t(x,t)c₂|x|²+k₂+k₂e^–µ₂t; (ii) L(x,t)–c₃(x,t)+k₃e^–µ₃t, xV, t0; where L is the infinitesimal generator of the Markov processX_t and c_i, k_i, µ_i, i = 1, 2, 3, are positive constants.As a by-product, the characterization of exponential ultimateboundedness of the strong solution is established as the nulldecay rates (that is, µ_i = 0) are considered.     

A Note on Groups Associated with 4-Arc-Transitive Cubic Graphs

A cubic (trivalent) graph is said to be 4-arc-transitive ifits automorphism group acts transitively on the 4-arcs of (wherea 4-arc is a sequence v₀, v₁, ... v₄ of vertices of such thatv_i–1 is adjacent to v_i for 1 i 4, and v_i–1 v_i+1for 1 i < 4). In his investigations into graphs of thissort, Biggs defined a family of groups 4⁺(a^m), for m = 3,4,5...,each presented in terms of generators and relations under theadditional assumption that the vertices of a circuit of lengthm are cyclically permuted by some automorphism. In this paperit is shown that whenever m is a proper multiple of 6, the group4⁺(a^m) is infinite. The proof is obtained by constructing transitivepermutation representations of arbitrarily large degree.     

Binary Quadratic Forms with Large Discriminants and Sums of Two Squareful Numbers II

Let F = (F₁, ..., F_m) be an m-tuple of primitive positive binaryquadratic forms and let U_F(x) be the number of integers notexceeding x that can be represented simultaneously by all theforms F_j, j = 1, ... , m. Sharp upper and lower bounds for U_F(x)are given uniformly in the discriminants of the quadratic forms. As an application, a problem of Erds is considered. Let V(x)be the number of integers not exceeding x that are representableas a sum of two squareful numbers. Then V(x) = x(log x)^–+o(1)with = 1 – 2^–1/3 = 0.206....     

Similarity Solutions of a Non-linear Diffusion Equation

In several physical contexts the equations for the dispersionof a buoyant contaminant can be approximated by the Erdogan-Chatwin(1967) equation {dot}c = {dot}_y{[D_o + ({dot}_yc)²D₂]{dot}_yc}. Here it is shown that in the limit of strong non-linearity (i.e.D_o = 0) there are similarity solutions for a concentration jumpand for a finite discharge. A stability analysis for the latterproblem involves a new family of orthogonal polynomials Y_n(z)where (1 – z⁴)Y – 6z³Y + n(n + 5)z² Y_n = 0 and the degree n is restricted to the values 0, 1, 4, 5, 8,9,.... A numerical solution of the Erdogan-Chatwin equationis given which describes the transition between the non-linearand linear (Gaussian) similarity solutions.     

Animals, Trees and Renewal Sequences: Corrigendum

IN SECTION 3 of the above we omitted to mention aperiodicity.The period p of the pseudo renewal sequence {a_n: n > 0} isgiven by p = g.c.d. {n > 1: a_n > 0}. We are only concernedwith aperiodic renewal sequences (i.e. where p = 1). As it standsTheorem 3.1 is incorrect and should be restated as: THEOREM 3.1 If a = (a_n: n = 0,1,...) is an aperiodic pseudo-renewalsequence its limit a satisfies g_na^–n > 1 where a^–1 is to be interpreted as; if a = 0.     

On the Optimum Criterion of Polynomial Stability

The purpose of this note is to answer the question raised byNie & Xie (1987). Let f(x)=a₀xⁿ+a₁x^n–1+...+a_n be apositive-coefficient polynomial. The numbers ₁=a_i-1a_i+2/a_ia_i+1(i=1, ..., n–2) are called determining coefficients. Theoptimum criterion problem was posed as follows: for n3, findthe maximal number (n) such that the polynomial f(x) is stableif _i < (n) (1in–2). For n6, we show that (n)=ß,where ß is the unique real root of the equation x(x+1)²=1.     

Existence of Solutions To Weak Parabolic Equations For Measures

Let A = (a^ij) be a Borel mapping on [0, 1] x R^d with valuesin the space of non-negative operators on R^d and let b = (bⁱ)be a Borel mapping on [0, 1] x R^d with values in R^d. Let Under broad assumptions on A and b, we construct a family µ= (µ_t)_t [0, 1] of probability measures µ_t on R^dwhich solvesthe Cauchy problem L* µ = 0 with initial conditionµ₀ = , where \nu is a probability measure on R^d, in thefollowing weak sense: and Such an equation is satisfied by transition probabilities ofa diffusion process associated with A and b provided such aprocess exists. However, we do not assume the existence of aprocess and allow quite singular coefficients, in particular,b may be locally unbounded or A may be degenerate. An infinite-dimensionalanalogue is discussed as well. Main methods are L^p-analysiswith respect to suitably chosen measures and reduction to theelliptic case (studied previously) by piecewise constant approximationsin time. 2000 Mathematics Subject Classification 35K10, 35K12,60J35, 60J60, 47D07.     

The Fast Numerical Solution of Very Large Elliptic Difference Schemes

Let L_kv_k = g_k be a system of difference equations discretizingan elliptic boundary value problem. Assume the system to be"very large", that means that the number of unknowns exceedsthe capacity of storage. We present a method for solving theproblem with much less storage requirement. For two-dimensionalproblems the size of the needed storage decreases from O(h^–2)to (or even O(h^–5/4)). The computational work increasesonly by a factor about six. The technique can be generalizedto nonlinear problems. The algorithm is also useful for computerswith a small number of parallel processors.     

On the Solution of Some Elliptic Difference Equations

Iterative methods for the solution of some nonlinear ellipticdifference systems, approximating the first boundary value problemare considered. If h > 0 is the network step in the spaceof variables x = (x₁, x₂,..., x_p) and 2m is the order of theoriginal boundary value problem, then the iterative methodsproposed give solution of accuracy with the expenditure ofO(|In | h^–(p+m–)) and O(|In | |In h| h^–p)arithmetic operations in the case of a general region and arectangular parallelepiped respectively. In the case p = 2 theestimate O(|In | h^{–[2+ (m/2)]}) is obtained if the regionis made up of rectangles with sides parallel to the co-ordinateaxes.     

A Class of Infinite Dimensional Simple Lie Algebras

Let A be an abelian group, F be a field of characteristic 0,and , ß be linearly independent additive maps fromA to F, and let ker()\{0}. Then there is a Lie algebra L = L(A,, ß, ) = _xA Fe_x under the product [e_x, e_y]]=(x–y)e_x+y+(ß) (x, y) e_x+y–. If, further, ß() = 1, and ß(A) = Z, thereis a subalgebra L⁺:=L(A⁺, , ß, ) = _xA⁺ Fe_x, whereA⁺ = {xA|ß(x)0}. The necessary and sufficient conditionsare given for L' = [L, L] and L⁺ to be simple, and all semi-simpleelements in L' and L⁺ are determined. It is shown that L' andL⁺ cannot be isomorphic to any other known Lie algebras andL' is not isomorphic to any L⁺, and all isomorphisms betweentwo L' and all isomorphisms between two L⁺ are explicitly described.