Bessel Functions: Monotonicity and Bounds

Monotonicity with respect to the order v of the magnitude ofgeneral Bessel functions C_v(x) = aJ_v(x)+bY_v(x) at positive stationarypoints of associated functions is derived. In particular, themagnitude of C_v at its positive stationary points is strictlydecreasing in v for all positive v. It follows that sup_x|J_v(x)|strictly decreases from 1 to 0 as v increases from 0 to . Themagnitude of x^1/2C_v(x) at its positive stationary points isstrictly increasing in v. It follows that sup_x|x^1/2J_v(x)| equals2/ for 0 v 1/2 and strictly increases to as v increases from1/2 to . It is shown that v^1/3sup_x|J_v(x)| strictly increases from 0 tob = 0.674885... as v increases from 0 to . Hence for all positivev and real x, where b is the best possible such constant. Furthermore, forall positive v and real x, where c = 0.7857468704... is the best possible such constant. Additionally, errors in work by Abramowitz and Stegun and byWatson are pointed out.     

The effects of a complexation reaction on travelling wave-fronts in a quadratic autocatalytic system

A model which describes the effect that a complexation reactioncan have on the propagation of reaction fronts in a quadraticautocatalytic system is considered. An initial-value problemis set up, which involves the (dimensionless) parameters K,the equilibrium constant for the complexation reaction, and, the initial concentration of the complexing agent. This initial-valueproblem is analysed, with global existence and uniqueness beingestablished. Numerical integrations indicate the formation ofpermanent-form travelling waves at large times. The equationsthat govern the travelling waves in the model are treated indetail. It is determined that there is a minimum propagationspeed v_min lying in the range v₀ 2/(1 + ) v_min 2, with thevalue v₀ corresponding to the minimum speed derived from thelinearization of the travelling wave equations. The existenceof a curve is established, which divides the (K, ) parameter plane into two regions, one where v_min =v₀ and one where v_min > v₀ with waves propagating fasterthan their linearized speed in this region. The curve is determined numerically together with the dependenceof v_min on K and .     

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.     

Numerical Solution of Matrix Polynomial Equations by Newton's Method

Let P(X) = _v=1ⁿ A_vX^v with A_v, X C^m?m (v = 1, ..., n) be a matrixpolynomial. We present a Newton method to solve the equationP(X) = B, and we prove that the algorithm converges quadraticallynear simple solvents. We need the inverse of the Fr?chet-derivativeP' of P. This leads to linear equations for the correctionsH of type In the second part, we turn to the case of scalar coefficients, i.e. A_v = _vI, with_v C (v = 1, ..., n). The derivative P' and the usual algebraicderivative P' are compared and we show that the use of P' leadsto difficulties. In particular, those algorithms based on P'are not self-correcting, while our proposed method is self-correcting.Numerical examples are included. In the Appendix, an existencetheorem is proved by using a modified Newton method.     

Moments of Some Stopping Rules

Let X_n for n1 be independent random variables with . Set . Define T_k,c,m=inf{nm:|k!S_k,n|>cn^k/2}.We study critical values c_k,p for k2 and p>0, such that for c<c_k,p and all m, and for c>c_k,p and all sufficientlylarge m. In particular, c_1,1=c_2,1=1, c_3,1=2 and c_4,1=3 undercertain moment conditions on X₁, when X_n are identically distributed.We also investigate perturbed stopping rules of the form T_h,m=inf{nm:h(S_1,n/n^1/2)<_nor >_n} for continuous functions h and random variables _naand _nb with a<b. Related stopping rules of the Wiener processare also considered via the Uhlenbeck process.     

Normal Transversality and Uniform Bounds

Let A be a commutative ring. A graded A-algebra U = _n0 U_n isa standard A-algebra if U₀ = A and U = A[U₁] is generated asan A-algebra by the elements of U₁. A graded U-module F = _n0F_nis a standard U-module if F is generated as a U-module by theelements of F₀, that is, F_n = U_nF₀ for all n 0. In particular,F_n = U₁F_n–1 for all n 1. Given I, J, two ideals of A,we consider the following standard algebras: the Rees algebraof I, R(I) = _n0Iⁿtⁿ = A[It] A[t], and the multi-Rees algebraof I and J, R(I, J) = _n0(_p+q=nI^pJ^qu^pv^q) = A[Iu, Jv] A[u, v].Consider the associated graded ring of I, G(I) = R(I) A/I =_n0Iⁿ/Iⁿ⁺¹, and the multi-associated graded ring of I and J,G(I, J) = R(I, J) A/(I+J) = _n0(_p+q=nI^pJ^q/(I+J)I^pJ^q). We canalways consider the tensor product of two standard A-algebrasU = _p0U_p and V = _q0V_q as a standard A-algebra with the naturalgrading U V = _n0(_p+q=nU_p V_q). If M is an A-module, we havethe standard modules: the Rees module of I with respect to M,R(I; M) = _n0IⁿMtⁿ = M[It] M[t] (a standard R(I)-module), andthe multi-Rees module of I and J with respect to M, R(I, J;M) = _n0(_p+q=nI^pJ^qMu^pv^q) = M[Iu, Jv] M[u, v] (a standard R(I,J)-module). Consider the associated graded module of M withrespect to I, G(I; M) = R(I; M) A/I = _n0IⁿM/Iⁿ⁺¹M (a standardG(I)-module), and the multi-associated graded module of M withrespect to I and J, G(I, J; M) = R(I, J; M) A/(I+J) = _n0(_p+q=nI^pJ^qM/(I+J)I^pJ^qM)(a standard G(I, J)-module). If U, V are two standard A-algebras,F is a standard U-module and G is a standard V-module, thenF G = _n0(_p+q=nF_p G_q) is a standard U V-module. Denote by :R(I) R(J; M) R(I, J; M) and :R(I, J; M) R(I+J;M) the natural surjective graded morphisms of standard RI) R(J)-modules. Let :R(I) R(J; M) R(I+J; M) be . Denote by :G(I) G(J; M) G(I, J; M) and :G(I, J; M) G(I+J; M) the tensor productof and by A/(I+J); these are two natural surjective gradedmorphisms of standard G(I) G(J)-modules. Let :G(I) G(J; M) G(I+J; M) be . The first purpose of this paper is to prove the following theorem.     

On a theorem of K. Schmidt

Let Y be a locally compact group, Aut(Y) be the group of topologicalautomorphisms of Y and (Y) be the set of continuous positivedefinite functions on Y which have unit value at the identity.A function (Y²) is said to be of product type if there aresuch functions _j (Y) that (u, v) = ₁(u)₂(v). Define the mappingT: Y² Y² by the formula T(u, v) = (A₁ uA₂ v, A₃ u A₄ v), whereA_j Aut(Y), and assume that T is a one-to-one transform. K.Schmidt proved: (i) if both (u, v) and (T(u, v)) are of producttype, then the functions _j are infinitely divisible; (ii) ifY is Abelian, both (u, v) and (T(u, v)) are of product type,and (u, v) 0, then the functions _j are Gaussian. We show thatstatement (i), generally, is not valid, but K. Schmidt's proofholds true if (u, v) 0. We also give another proof of statement(ii). Our proof uses neither the Levy–Khinchin formulafor a continuous infinitely divisible positive definite functionnor (i) on which K. Schmidt's proof is based.     

Binomial Sums and Functions of Exponential Type

Let (a_n)_n0 be a sequence of complex numbers, and, for n0, let A number of results are proved relating the growth of the sequences(b_n) and (c_n) to that of (a_n). For example, given p0, if b_n= O(n^p and for all > 0,then a_n=0 for all n > p. Also, given 0 < p < 1, then for all > 0 if and onlyif . It is further shown that, given rß > 1, if b_n,c_n=O(rßⁿ), then a_n=O(ⁿ),where , thereby proving a conjecture of Chalendar, Kellay and Ransford. The principal ingredientsof the proogs are a Phragmén-Lindelöf theorem forentire functions of exponential type zero, and an estimate forthe expected value of e^(X), where X is a Poisson random variable.2000 Mathematics Subject Classification 05A10 (primary), 30D15,46H05, 60E15 (secondary).     

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.     

Numerical Evaluation of Fourier Integrals

A method is developed for evaluating Fourier integrals of theform A() = ¹_–1f(x) e^fax dx, 0. The method consists of expanding the function f in a seriesof Chebyshev polynomials and expressing the integral A() asa series of the Bessel functionsJ_r+(), r= 0, 1, 2,.... A partialsum A_N() of the series provides an approximant to A(). The principalfeature of the method is that one set of N+1 evaluations off(x) suffices for the calculation of A_N() for all , and alsothe truncation error A()–A_N() is essentially independentof . Numerical tests show that the method is accurate, economicaland reliable. An application to the inversion of Fourier andLaplace transforms is briefly described.     

Base Sizes and Regular Orbits for Coprime Affine Permutation Groups

Let G be a permutation group on a finite set . A sequence B=(₁,..., _b) of points in is called a base if its pointwise stabilizerin G is the identity. Bases are of fundamental importance incomputational algorithms for permutation groups. For both practicaland theoretical reasons, one is interested in the minimal basesize for (G, ), For a nonredundant base B, the elementary inequality2^|B||G|||^|B| holds; in particular, |B|log|G|/log||. In the casewhen G is primitive on , Pyber [8, p. 207] has conjectured thatthe minimal base size is less than Clog|G|/log|| for some (large)universal constant C. It appears that the hardest case of Pyber's conjecture is thatof primitive affine groups. Let H=GV be a primitive affine group;here the point stabilizer G acts faithfully and irreduciblyon the elementary abelian regular normal subgroup V of H, andwe may assume that =V. For positive integers m, let mV denotethe direct sum of m copies of V. If (v₁, ..., v_m)mV belongsto a regular G-orbit, then (0, v₁, ..., v_m) is a base for theprimitive affine group H. Conversely, a base (₁, ..., _b) forH which contains 0V= gives rise to a regular G-orbit on (b–1)V. Thus Pyber's conjecture for affine groups can be viewed asa regular orbit problem for G-modules, and it is therefore aspecial case of an important problem in group representationtheory. For a related result on regular orbits for quasisimplegroups, see [4, Theorem 6].     

Realisations of Non v-Sufficient Jets with value in Rp, p > 1

The purpose of this paper is to show that if a jet cue oJ^r(n,p), n p, p > 1, is not v-sufficient in C^r+1, there existsan infinite sequence (f_i)_iN^* of realisations of o with mutuallynon-homeomorphic germs of varieties . Bochnak and Kuo [2, 5] showed it when p = 1 and thought thatthe same argument slightly modified can be used in the casep 2 [7, p. 225]. But when n p + 2, p > 1, we have to proceeddifferently. Moreover, it is necessary to prove separately theresult when n = p and n = p + 1. About C⁰-sufriciency and p> 1, Brodersen [3, p. 168] showed a similar theorem.     

The Convergence of a Class of Quasimonotone Reaction-Diffusion Systems

It is proved that every solution of the Neumann initial-boundaryproblem converges to some equilibrium, if the system satisfies (i) F_i/u_j 0 for all 1 i j n, (ii) F(u * g(s)) h(s) * F(u) wheneveru and 0 s 1, where x *y = (x₁y₁, ..., x_ny_n) and g, h : [0, 1] [0, 1]ⁿ are continuousfunctions satisfying g_i(0) = h_i(0) = 0, g_i(1) = h_i(1) = 1, 0< g_i(s); h_i(s) < 1 for all s (0, 1) and i = 1, 2, ...,n, and (iii) the solution of the corresponding ordinary differentialequation system is bounded in . We also study the convergence of the solution of the Lotka–Volterrasystem where r_i > 0, 0, and a_ij 0 for i j.     

Small Solutions of Quadratic Diophantine Equations

We consider quadratic diophantine equations of the shape for a polynomial Q(X₁, ..., X_s) Z[X₁, ..., X_s] of degree 2.Let H be an upper bound for the absolute values of the coefficientsof Q, and assume that the homogeneous quadratic part of Q isnon-singular. We prove, for all s 3, the existence of a polynomialbound _s(H) with the following property: if equation (1) hasa solution x Z^s at all, then it has one satisfying For s = 3 and s = 4 no polynomial bounds _s(H) were previouslyknown, and for s 5 we have been able to improve existing boundsquite significantly. 2000 Mathematics Subject Classification11D09, 11E20, 11H06, 11P55.     

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.     

The quaternion group as a subgroup of the sphere braid groups

Let n 3. We prove that the quaternion group of order 8 is realisedas a subgroup of the sphere braid group B_n(²) if and only ifn is even. If n is divisible by 4, then the commutator subgroupof B_n(²) contains such a subgroup. Further, for all n 3, B_n(²)contains a subgroup isomorphic to the dicyclic group of order4n.     

A Phase-Change Model with a Zone of Coexistence of Phases

A mathematical model for change of phase is presented, accountingfor the presence of regions in which liquid and solid coexist.The basic variables are temperature and solid fraction v. Westart from a relationship of the type =(v), supposed valid inthermodynamical equilibrium. Then for dynamical processes weintroduce a perturbation causing v to be less than its equilibriumvalue in any solidification process. This solid fraction deficiencyis governed by an ordinary differential equation containing_t, in the forcing term. The heat-balance equation is in turncoupled to the ordinary differential equation through the termv_t, ( is latent heat). Some existence and uniqueness resultsare proved and some monotonicity properties are described forpure melting or pure solidification processes.     

The Singular Homology of the Hawaiian Earring

The singular homology groups of compact CW-complexes are finitelygenerated, but the groups of compact metric spaces in generalare very easy to generate infinitely and our understanding ofthese groups is far from complete even for the following compactsubset of the plane, called the Hawaiian earring: Griffiths [11] gave a presentation of the fundamental groupof H and the proof was completed by Morgan and Morrison [15].The same group is presented as the free -product of integers Z in [4, Appendix]. Hence the firstintegral singular homology group H₁(H) is the abelianizationof the group . These results have been generalized to non-metrizable counterparts H_I of H(see Section 3). In Section 2 we prove that H₁(X) is torsion-free and H_i(X) =0 for each one-dimensional normal space X and for each i 2.The result for i 2 is a slight generalization of [2, Theorem5]. In Section 3 we provide an explicit presentation of H₁(H)and also H₁(H_I) by using results of [4]. Throughout this paper, a continuum means a compact connectedmetric space and all maps are assumed to be continuous. Allhomology groups have the integers Z as the coefficients. Thebouquet with n circles is denoted by B_n. The base point (0, 0) of B_n is denoted by o forsimplicity.     

Sharp Inequalities for the Product of Polynomials

Let f₁(z),..., f_m(z) be polynomials with complex coefficients,and let their product be of degree n. For any polynomial, let||f|| be the maximum of |f(z)| on the unit circle. We determineconstants C_m < 2 for which for any n. The inequalities are asymptotically sharp as n .This improves earlier results of Gel'fond and Mahler, who gavethe constants e and 2 respectively. If f₁,..., f_m have realcoefficients, we show that for all m 2 and that this is asymptotically sharp. That is,in the real case, the best constant does not depend upon m form 2.     

Evaluation of Some Integrals Encountered in Calculations in Many-fermion Systems

The integrals and (l(x)=3j₁(x)/x) and j₁(x) the spherical Bessel function of thefirst order) are evaluated analytically