On equivalence of moduli of smoothness of polynomials in ,

It is well known that for functions , 1p∞. For general functions fL_p, it does not hold for 0<p<1, and its inverse is not true for any p in general. It has been shown in the literature, however, that for certain classes of functions the inverse is true, and the terms in the inequalities are all equivalent. Recently, Zhou and Zhou proved the equivalence for polynomials with p=∞. Using a technique by Ditzian, Hristov and Ivanov, we give a simpler proof to their result and extend it to the L_p space for 0<p∞. We then show its analogues for the Ditzian–Totik modulus of smoothness and the weighted Ditzian–Totik modulus of smoothness for polynomials with .     

On the number of primitive representations of integers as sums of squares

Formulas for the number of primitive representations of any integer n as a sum of k squares are given, for 2 ≤ k ≤ 8, and for certain values of n, for 9 ≤ k ≤ 12. The formulas have a similar structure and are striking for their simplicity. Dedicated to Richard Askey on the occasion of his 70th birthday. 2000 Mathematics Subject Classification Primary—11E25; Secondary—05A15, 33E05.     

Fast verification of solutions of matrix equations

Summary. In this paper, we are concerned with a matrix equation where A is an real matrix and x and b are n-vectors. Assume that an approximate solution is given together with an approximate LU decomposition. We will present fast algorithms for proving nonsingularity of A and for calculating rigorous error bounds for . The emphasis is on rigour of the bounds. The purpose of this paper is to propose different algorithms, the fastest with flops computational cost for the verification step, the same as for the LU decomposition. The presented algorithms exclusively use library routines for LU decomposition and for all other matrix and vector operations. Received June 16, 1999 / Revised version received January 25, 2001 / Published online June 20, 2001     

BV-Ellipticity and Lower Semicontinuity of Surface Energy of Caccioppoli Partitions of ℝ n

We give a new proof that BV-ellipticity is sufficient for lower semicontinuity of surface energy of Caccioppoli partitions of ? ⁿ , for any n≥2, with respect to convergence in volume. BV-ellipticity, introduced by L. Ambrosio and A. Braides two decades ago, is the only condition known to be necessary and sufficient for lower semicontinuity in the context of Caccioppoli partitions of ? ⁿ ; it is analogous, for this setting, to C.B. Morrey’s quasi-convexity. We also show, for the first time, that BV-ellipticity suffices for lower semicontinuity with respect to weaker notions of convergence involving the weak and flat topologies on integral currents.     

Non-wandering sets of the powers of maps of a tree

Let T be a tree and let Ω ( f ) be the set of non-wandering points of a continuous map f: T→ T. We prove that for a continuous map f: T→ T of a tree T: ( i) if x∈ Ω( f) has an infinite orbit, then x∈ Ω( fⁿ) for each n∈ ℕ; (ii) if the topological entropy of f is zero, then Ω( f) = Ω( fⁿ) for each n∈ ℕ. Furthermore, for each k∈ ℕ we characterize those natural numbers n with the property that Ω(f^k) = Ω(f^kn) for each continuous map f of T.     

Convergence of euler-stokes splitting of the navier-stokes equations

We consider approximation by partial time steps of a smooth solution of the Navier-Stokes equations in a smooth domain in two or three space dimensions with no-slip boundary condition. For small k > 0, we alternate the solution for time k of the inviscid Euler equations, with tangential boundary condition, and the solution of the linear Stokes equations for time k, with the no-slip condition imposed. We show that this approximation remains bounded in H^2,p and is accurate to order k in L^p for p > ∞. The principal difficulty is that the initial state for each Stokes step has tangential velocity at the boundary generated during the Euler step, and thus does not satisfy the boundary condition for the Stokes step. The validity of such a fractional step method or splitting is an underlying principle for some computational methods. © 1994 John Wiley & Sons, Inc.     

Derivation of equations of seismic and acoustic wave propagation and equations of filtration via homogenization of periodic structures

A linear system of differential equations describing a joint motion of elastic porous body and fluid occupying porous space is considered. Although the problem is linear, it is very hard to tackle due to the fact that its main differential equations involve nonsmooth oscillatory coefficients, both big and small, under the differentiation operators. The rigorous justification, under various conditions imposed on physical parameters, is fulfilled for homogenization procedures as the dimensionless size of the pores tends to zero, while the porous body is geometrically periodic. As the results for different ratios between physical parameters, we derive Biot’s equations of poroelasticity, a system consisting of nonisotropic Lamé’s equations for the solid component and acoustic equations for the liquid component, nonisotropic Lamé’s equations or equations of viscoelasticity for one-velocity continuum, decoupled system consisting of Darcy’s system of filtration or acoustic equations for the liquid component (first approximation) and nonisotropic Lamé’s equations for the solid component (second approximation), a system consisting of nonisotropic Stokes equations for the liquid component and acoustic equations for the solid component, nonisotropic Stokes equations for one-velocity continuum, or, finally a different type of acoustic equations for one- or two-velocity continuum. The proofs are based on Nguetseng’s two-scale convergence method of homogenization in periodic structures.     

The rate of convergence of q-Bernstein polynomials for

In the note, we obtain the estimates for the rate of convergence for a sequence of q-Bernstein polynomials {B_n,q(f)} for 0<q<1 by the modulus of continuity of f, and the estimates are sharp with respect to the order for Lipschitz continuous functions. We also get the exact orders of convergence for a family of functions , and the orders do not depend on α, unlike the classical case.     

Methods of localization of discontinuities in solution of first kind equation of convolution type

We consider a convolution-type equation of the first kind from L ₁ to L ₁. We construct and investigate regularizing methods for localization (detection of positions) of discontinuities of the first kind of solution to this equation. Under additional conditions of exact solution, we obtain estimates for the accuracy of localization and for the separability threshold, which are another important characteristics of the methods.     

On the sum of powers of Laplacian eigenvalues of bipartite graphs

For a bipartite graph G and a non-zero real α, we give bounds for the sum of the αth powers of the Laplacian eigenvalues of G using the sum of the squares of degrees, from which lower and upper bounds for the incidence energy, and lower bounds for the Kirchhoff index and the Laplacian Estrada index are deduced.     

Productivity of Zariski-compactness for constructs of affine spaces

We study compactness for hereditary coreflective subconstructs X of SSET, the construct of affine spaces over the two point set S and with affine maps as morphisms, endowed with the Zariski closure operator z. We formulate necessary conditions for productivity of z-compactness. Moreover, if in X arbitrary products of quotients are quotients, then our conditions are also sufficient. We apply the results to some well-known subconstructs of SSET, in particular we investigate situations in which another sufficient condition for productivity of compactness, known as finite structure property for products (FSPP), is not fulfilled by the Zariski closure.     

On zeros of solutions of linear differential equations

We consider linear differential equations with regular coefficients in $\text{¦ z ¦ < 1}$. We obtain sufficient conditions for all the solutions of these equations to vanish a given number of times at the most. First the results are obtained for differential equations of second order, then for differential equations of nth order, n > 2.     

Sums of powers of Fibonacci polynomials

Using the explicit (Binet) formula for the Fibonacci polynomials, a summation formula for powers of Fibonacci polynomials is derived straightforwardly, which generalizes a recent result for squares that appeared in Proc. Ind. Acad. Sci. (Math. Sci.) 118 (2008) 27–41.     

Formulas for sums of powers of integers by functional equations

This paper presents a direct and simple approach to obtaining the formulas forS _k(n)= 1 ^k + 2 ^k + ... +n ^k wheren andk are nonnegative integers. A functional equation is written based on the functional properties ofS _k (n) and several methods of solution are presented. These lead to several recurrence relations for the functions and a simple one-step differential-recurrence relation from which the polynomials can easily be computed successively. Arbitrary constants which arise are (almost) the Bernoulli numbers when evaluated and identities for these modified Bernoulli numbers are obtained. The functional equation for the formulas leads to another functional equation for the generating function for these formulas and this is used to obtain the generating functions for theS _k 's and for the modified Bernoulli numbers. This leads to an explicit representation, not a recurrence relation, for the modified Bernoulli numbers which then yields an explicit formula for eachS _k not depending on the earlier ones. This functional equation approach has been and can be applied to more general types of arithmetic sequences and many other types of combinatorial functions, sequences, and problems.     

Characterization of the closedness of the sum of two shift-invariant spaces

We first present a formula for the supremum cosine angle between two closed subspaces of a separable Hilbert space under the assumption that the ‘generators’ form frames for the subspaces. We then characterize the conditions that the sum of two, not necessarily finitely generated, shift-invariant subspaces of L²(Rd) be closed. If the fibers of the generating sets of the shift-invariant subspaces form frames for the fiber spaces a.e., which is satisfied if the shift-invariant subspaces are finitely generated or if the shifts of the generating sets form frames for the respective subspaces, then the characterization is given in terms of the norms of possibly infinite matrices. In particular, if the shift-invariant subspaces are finitely generated, then the characterization is given wholly in terms of the norms of finite matrices.     

Extensions of some fixed point theorems of Rhoades

The classical Radon transform, R, maps an integrable function in Rⁿ to its integrals over all n ? 1 dimensional hyperplanes, and the exterior Radon transform is the transform R restricted to hyperplanes that do not intersect a given disc. A singular value decomposition for the exterior transform is given for spaces of square integrable functions on the exterior of the disc. This decomposition in orthogonal functions explicitly produces the null space and range of the exterior transform and gives a new method for inverting the transform modulo the null space. A modification of this method is given that will exactly invert functions of compact support. These results generalize theorems of R. M. Perry and the author. A singular value decomposition for the Radon transform that integrates over spheres in Rⁿ containing the origin is also given. This follows from the singular value decomposition for R and yields the null space and a new inversion method for this transform.     

Rings of quotients of f-rings by gabriel filters of ideals

The article examines the role of Gabriel filters of ideals in the ontext of semiprime f-rings. It is shown that for every 2-convex semiprime f-ring Aand every multiplicative filter B of dense ideals the ring of quotients of A by B, namely the direct limit of the Hom _A (I, A) over all I∈ B, is an l-subring of QA, the maximum ring of quotients. Relative to the category of all commutative rings with identity, it is shown that for every 2-convex semiprime f-ring A qA, the classical ring of quotients, is the largest flat epimorphic extension of A. If Ais also a Prüfer ring then it follows that every extension of Ain qA is of the form S ^-1A for a suitable multiplicative subset S. The paper also examines when a Utumi ring of quotients of a semiprime f-ring is obtained from a Gabriel filter. For a ring of continuous functions C(X), with Xcompact, this is so for each C(U) and C ^*(U), when Uis dense open, but not for an arbitrary direct limit of C(U),taken over a filter base of dense open sets. In conclusion, it is shown that, for a complemented semiprime f-ring A, the ideals of Awhich are torsion radicals with respect to some hereditary torsion theory are precisely the intersections of minimal prime ideals of A.     

Depths of Powers of the Edge Ideal of a Tree

Lower bounds are given for the depths of R/I ^t for t ≥ 1 when I is the edge ideal of a tree or forest. The bounds are given in terms of the diameter of the tree, or in case of a forest, the largest diameter of a connected component and the number of connected components. These lower bounds provide a lower bound on the power for which the depths stabilize.     

On Dehn Functions of Infinite Presentations of Groups

We introduce two new types of Dehn functions of group presentations which seem more suitable (than the standard Dehn function) for infinite group presentations and prove the fundamental equivalence between the solvability of the word problem for a group presentation defined by a decidable set of defining words and the property of being computable for one of the newly introduced functions (this equivalence fails for the standard Dehn function). Elaborating on this equivalence and making use of this function, we obtain a characterization of finitely generated groups for which the word problem can be solved in nondeterministic polynomial time. We also give upper bounds for these functions, as well as for the standard Dehn function, for two well-known periodic groups. In particular, we prove that the (standard) Dehn function of a 2-group Γ of intermediate growth, defined by a system of defining relators due to Lysenok, is bounded from above by C₁x² log₂ x, where C₁ > 1 is a constant. We also show that the (standard) Dehn function of a free m-generator Burnside group B(m, n) of exponent n ≥ 2⁴⁸, where n is either odd or divisible by 2⁹, defined by a minimal system of defining relators, is bounded from above by the subquadratic function x^19/12. Received: September 2007, Revision: March 2008, Accepted: March 2008