A note on bound for norms of Cauchy–Hankel matrices

We determine bounds for the spectral and ??_p norm of Cauchy–Hankel matrices of the form H_n=[1/(g+h(i+j))]ⁿ_i,j=1≡ ([1/(g+kh)]ⁿ_i,j=1), k=0, 1,…, n –1, where k is defined by i+j=k (mod n). Copyright © 2002 John Wiley & Sons, Ltd.     

Uniform persistence for Lotka–Volterra-type delay differential systems

Consider the uniform persistence (permanence) of models governed by the following Lotka–Volterra-type delay differential system:

where each r_i(t) is a nonnegative continuous function on [0,+∞), r_i(t)0, each a_i0 and τ_ij^k(t)t, 1i,jn, 0km.In this paper, we establish sufficient conditions of the uniform persistence and contractivity for solutions (and global asymptotic stability). In particular, we extend the results in Wang and Ma (J. Math. Anal. Appl. 158 (1991) 256) for a predator–prey system and Lu and Takeuchi (Nonlinear Anal. TMA 22 (1994) 847) for a competitive system in the case n=2, to the above system with n2.     

On numerical improvement of Gauss–Legendre quadrature rules

Among all integration rules with n points, it is well-known that n-point Gauss–Legendre quadrature rule∫₋₁¹f(x) dx∑_i=1ⁿw_if(x_i)has the highest possible precision degree and is analytically exact for polynomials of degree at most 2n−1, where nodes x_i are zeros of Legendre polynomial P_n(x), and w_i's are corresponding weights.In this paper we are going to estimate numerical values of nodes x_i and weights w_i so that the absolute error of introduced quadrature rule is less than a preassigned tolerance ε₀, say ε₀=10⁻⁸, for monomial functionsf(x)=x^j, j=0,1,…,2n+1.(Two monomials more than precision degree of Gauss–Legendre quadrature rules.) We also consider some conditions under which the new rules act, numerically, more accurate than the corresponding Gauss–Legendre rules. Some examples are given to show the numerical superiority of presented rules.     

On a generalization of a theorem of Erdős and Fuchs

Let A={a₁,a₂,…}(a₁<a₂<) be an infinite sequence of nonnegative integers, let k≥2 be a fixed integer and denote by r_k(A,n) the number of solutions of a_i1+a_i2++a_ik≤n. Montgomery and Vaughan proved that r₂(A,n)=cn+o(n^1/4) cannot hold for any constant c>0. In this paper, we extend this result to k>2.     

The inverse M-matrix problem

One aspect of the inverse M-matrix problem can be posed as follows. Given a positive n × n matrix A=(a_ij) which has been scaled to have unit diagonal elements and off-diagonal elements which satisfy 0 < y ? a_ij ? x < 1, what additional element conditions will guarantee that the inverse of A exists and is an M-matrix? That is, if A^?1=B=(b_ij), then b_ii> 0 and b_ij ? 0 for i≠_j. If n=2 or x=y no further conditions are needed, but if n ? 3 and y < x, then the following is a tight sufficient condition. Define an interpolation parameter s via x²=sy+(1?s)y²; then B is an M-matrix if s^?1 ? n?2. Moreover, if all off-diagonal elements of A have the value y except for a_ij=a_jj=x when i=n?1, n and 1 ? _j ? n?2, then the condition on both necessary and sufficient for B to be an M-matrix.     

On the Hamilton-Waterloo Problem

 The Hamilton-Waterloo problem asks for a 2-factorisation of K _v in which r of the 2-factors consist of cycles of lengths a ₁,a ₂,…,a _t and the remaining s 2-factors consist of cycles of lengths b ₁,b ₂,…,b _u (where necessarily ∑ _i=1 ^t a _i =∑ _j=1 ^u b _j =v). In this paper we consider the Hamilton-Waterloo problem in the case a _i =m, 1≤i≤t and b _j =n, 1≤j≤u. We obtain some general constructions, and apply these to obtain results for (m,n)∈{(4,6),(4,8),(4,16),(8,16),(3,5),(3,15),(5,15)}. Received: July 5, 2000     

Reconstituting the distribution of the components of a random Vector from distributions of certain statistics

Let (X₁, ..., X_n) be a random vector with independent components. It is proven in this paper that, under certain restrictions, the distributions of the pairS ₁=sup (a ₁X₁, ..., a_nX_n) andS ₂=sup (b₁X₁,...,b_nX_n) univocally define the distribution function of the components X_j.Translated from Matematicheskie Zametki, Vol. 13, No. 6, pp. 889–892, June, 1973.     

Two New Classes of Difference Families

A Z-cyclic triplewhist tournament for 4n+1 players, or briefly a TWh(4n+1), is equivalent to a n-set {(a_i, b_i, c_i, d_i) | i=1, …, n} of quadruples partitioning Z_4n+1−{0} with the property that ⁿ_i=1 {±(a_i−c_i), ±(b_i−d_i)}=ⁿ_i=1 {±(a_i−b_i), ±(c_i−d_i)}=ⁿ_i=1 {±(a_i−d_i), ±(b_i−c_i)}=Z_4n+1−{0}. The existence problem for Z-cyclic TWh(p)'s with p a prime has been solved for p1 (mod 16). I. Anderson et al. (1995, Discrete Math.138, 31–41) treated the case of p≡5 (mod 8) while Y. S. Liaw (1996, J. Combin. Des.4, 219–233) and G. McNay (1996, Utilitas Math.49, 191–201) treated the case of p≡9 (mod 16). In this paper, besides giving easier proofs of these authors' results, we solve the problem also for primes p≡1 (mod 16). The final result is the existence of a Z-cyclic TWh(v) for any v whose prime factors are all≡1 (mod 4) and distinct from 5, 13, and 17.     

On the determination and construction of optimal row-column designs having unequal row and column sizes

In this paper we consider experimental situations requiring usage of a row-column design where v treatments are to be applied to experimental units arranged in b ₁ rows and b ₂ columns where row i has size k _1i , i=1,..., b ₁ and column j has size k _2j , j=1,..., b ₂. Conditions analogous to those given in Kunert (1983, Ann. Statis., 11, 247–257) and Cheng (1978, Ann. Statist., 6, 1262–1272) are given which can often be used to establish the optimality of a given row-column design from the optimality of an associated block design. In addition, sufficient conditions are derived which guarantee the existence of an optimal row-column design which can be constructed by appropriately arranging treatments within blocks of an optimal block design.Visiting from the Indian Statistical Institute.     

On computing the dispersion function

A two-dimensional analogue of the well-known bisection method for root finding is presented in order to solve the following problem, related to the dispersion function of a set of random variables: given distribution functionsF ₁,...,F _n and a probabilityp, find an interval [a,b] of minimum width such thatF _i(b)–F _i(a ^–)p, fori=1,...,n.The author wishes to thank Dr. I. D. Coope, for helpful advice offered during the preparation of this paper, and the referee, whose comments contributed to a clearer presentation.     

Contact Classification of Linear Ordinary Differential Equations: I

It is known that a linear ordinary differential equation of order n3 can be transformed to the Laguerre–Forsyth form y ⁽ⁿ⁾= _i=3 ⁿ a _n–i (x)y ^(n–i) by a point transformation of variables. The classification of equations of this form in a neighborhood of a regular point up to a contact transformation is given.     

Divisibility among power GCD matrices and among power LCM matrices on three coprime divisor chains

Let h be a positive integer and S?=?{x ₁,?…?,?x _h } be a set of h distinct positive integers. We say that the set S is a divisor chain if x _σ(1) ∣?…?∣ x _σ(h) for a permutation σ of {1,?…?,?h}. If the set S can be partitioned as S?=?S ₁?∪?S ₂?∪?S ₃, where S ₁, S ₂ and S ₃ are divisor chains and each element of S _i is coprime to each element of S _j for all 1?≤?i?<?j?≤?3, then we say that the set S consists of three coprime divisor chains. The matrix having the ath power (x _i , x _j ) ^a of the greatest common divisor of x _i and x _j as its i, j-entry is called the ath power greatest common divison (GCD) matrix on S, denoted by (S ^?a ). The ath power least common multiple (LCM) matrix [S ^?a ] can be defined similarly. In this article, let a and b be positive integers and let S consist of three coprime divisor chains with 1?∈?S. We show that if a?∣?b, then the ath power GCD matrix (S ^?a ) (resp., the ath power LCM matrix [S ^?a ]) divides the bth power GCD matrix (S ^?b ) (resp., the bth power LCM matrix [S ^?b ]) in the ring M _h (Z) of h?×?h matrices over integers. We also show that the ath power GCD matrix (S ^?a ) divides the bth power LCM matrix [S ^?b ] in the ring M _h (Z) if a?∣?b. However, if a???b, then such factorizations are not true. Our results extend Hong's and Tan's theorems and also provide further evidences to the conjectures of Hong raised in 2008.     

Strongly Singular Sturm – Liouville Problems

We consider a Sturm – Liouville operator Lu = —(r(t)u′)′ + p (t)u , where r is a (strictly) positive continuous function on ]a, b [ and p is locally integrable on ]a, b[. Let r₁(t) = (1/r) ds andchoose any c ∈]a, b[. We are interested in the eigenvalue problem Lu = λm(t)u, u (a) = u (b) = 0,and the corresponding maximal and anti .maximal principles, in the situation when 1/r ∈ L¹ (a, c),1 /r ∉ L¹ (c, b), pr₁ ∉ L¹ (a, c) and pr₁ ∉ L¹(c, b).     

Persistence, contractivity and global stability in logistic equations with piecewise constant delays

We establish sufficient conditions for the persistence and the contractivity of solutions and the global asymptotic stability for the positive equilibrium N^*=1/(a+∑_i=0^mb_i) of the following differential equation with piecewise constant arguments:

where r(t) is a nonnegative continuous function on [0,+∞), r(t)0, ∑_i=0^mb_i>0, b_i0, i=0,1,2,…,m, and a+∑_i=0^mb_i>0. These new conditions depend on a,b₀ and ∑_i=1^mb_i, and hence these are other type conditions than those given by So and Yu (Hokkaido Math. J. 24 (1995) 269–286) and others. In particular, in the case m=0 and r(t)≡r>0, we offer necessary and sufficient conditions for the persistence and contractivity of solutions. We also investigate the following differential equation with nonlinear delay terms:

where r(t) is a nonnegative continuous function on [0,+∞), r(t)0, 1−ax−g(x,x,…,x)=0 has a unique solution x^*>0 and g(x₀,x₁,…,x_m)C¹[(0,+∞)×(0,+∞)××(0,+∞)].     

Finite difference methods for two-point boundary value problems involving high order differential equations

We discuss the construction of finite difference schemes for the two-point nonlinear boundary value problem:y ⁽²ⁿ⁾+f(x,y)=0,y ^(2j)(a)=A _2j ,y ^(2j)(b)=B _2j ,j=0(1)n–1,n2. In the case of linear differential equations, these finite difference schemes lead to (2n+1)-diagonal linear systems. We consider in detail methods of orders two, four and six for two-point boundary value problems involving a fourth order differential equation; convergence of these methods is established and illustrated by numerical examples.     

On existence and nonexistence of global solutions of Cauchy–Goursat problem for nonlinear wave equations

We consider the Cauchy–Goursat initial characteristic problem for nonlinear wave equations with power nonlinearity. Depending on the power of nonlinearity and the parameter in an equation we investigate the problem on existence and nonexistence of global solutions of the Cauchy–Goursat problem. The question on local solvability of the problem is also considered.     

Selection in Monotone Matrices and Computingkth Nearest Neighbors

Anm×nmatrix =(a_{i, j}), 1≤i≤mand 1≤j≤n, is called atotally monotonematrix if for alli₁, i₂, j₁, j₂, satisfying 1≤i₁<i₂≤m, 1≤j₁<j₂≤n.[formula]We present an[formula]time algorithm to select thekth smallest item from anm×ntotally monotone matrix for anyk≤mn. This is the first subquadratic algorithm for selecting an item from a totally monotone matrix. Our method also yields an algorithm of the same time complexity for ageneralized row-selection problemin monotone matrices. Given a setS={p₁,…, p_n} ofnpoints in convex position and a vectork={k₁,…, k_n}, we also present anO(n^4/3log^c n) algorithm to compute thek_ith nearest neighbor ofp_ifor everyi≤n; herecis an appropriate constant. This algorithm is considerably faster than the one based on a row-selection algorithm for monotone matrices. If the points ofSare arbitrary, then thek_ith nearest neighbor ofp_i, for alli≤n, can be computed in timeO(n^7/5 log^c n), which also improves upon the previously best-known result.     

Divisibility of determinants of power GCD matrices and power LCM matrices on finitely many quasi-coprime divisor chains

Let a, n ? 1 be integers and S = {x₁, … , x_n} be a set of n distinct positive integers. The matrix having the ath power (x_i, x_j)^a of the greatest common divisor of x_i and x_j as its i, j-entry is called ath power greatest common divisor (GCD) matrix defined on S, denoted by (S^a). Similarly we can define the ath power LCM matrix [S^a]. We say that the set S consists of finitely many quasi-coprime divisor chains if we can partition S as S = S₁ ∪ ? ∪ S_k, where k ? 1 is an integer and all S_i (1 ? i ? k) are divisor chains such that (max(S_i), max(S_j)) = gcd(S) for 1 ? i ≠ j ? k. In this paper, we first obtain formulae of determinants of power GCD matrices (S^a) and power LCM matrices [S^a] on the set S consisting of finitely many quasi-coprime divisor chains with gcd(S) ∈ S. Using these results, we then show that det(S^a)∣det(S^b), det[S^a]∣det[S^b] and det(S^a)∣det[S^b] if a∣b and S consists of finitely many quasi-coprime divisor chains with gcd(S) ∈ S. But such factorizations fail to be true if such divisor chains are not quasi-coprime.     

Approximation by Fourier sums of classes of functions with several bounded derivatives

An ordered estimate is obtained for the approximation by Fourier sums, in the metric ofd=(d ₁ , ...,d _n ), 1<dj<,j=1, ...,_n of classes of periodic functions of several variables with zero means with respect to all their arguments, having m mixed derivatives of order a¹..., a^m., aⁱ rⁿ. which are bounded in the metrics ofp ⁱ =p ₁ ⁱ , ..., p _n ⁱ , i

j ⁱ <,i=i, ...,n, j=1, ...,n by the constants ₁, ., _m, respectively.Translated from Matematicheskie Zametki, Vol. 23, No. 2, pp. 197–212, February, 1978.     

An extension of the Erdős–Ginzburg–Ziv Theorem to hypergraphs

An n-set partition of a sequence S is a collection of n nonempty subsequences of S, pairwise disjoint as sequences, such that every term of S belongs to exactly one of the subsequences, and the terms in each subsequence are all distinct with the result that they can be considered as sets. For a sequence S, subsequence S^′, and set T, |T∩S| denotes the number of terms x of S with xT, and |S| denotes the length of S, and SS^′ denotes the subsequence of S obtained by deleting all terms in S^′. We first prove the following two additive number theory results.(1) Let S be a finite sequence of elements from an abelian group G. If S has an n-set partition, A=A₁,…,A_n, such that

then there exists a subsequence S^′ of S, with length |S^′|≤max{|S|−n+1,2n}, and with an n-set partition, , such that . Furthermore, if ||A_i|−|A_j||≤1 for all i and j, or if |A_i|≥3 for all i, then .(2) Let S be a sequence of elements from a finite abelian group G of order m, and suppose there exist a,bG such that . If |S|≥2m−1, then there exists an m-term zero-sum subsequence S^′ of S with or .Let be a connected, finite m-uniform hypergraph, and be the least integer n such that for every 2-coloring (coloring with the elements of the cyclic group ) of the vertices of the complete m-uniform hypergraph , there exists a subhypergraph isomorphic to such that every edge in is monochromatic (such that for every edge e in the sum of the colors on e is zero). As a corollary to the above theorems, we show that if every subhypergraph of contains an edge with at least half of its vertices monovalent in , or if consists of two intersecting edges, then . This extends the Erdős–Ginzburg–Ziv Theorem, which is the case when is a single edge.