Cube root extraction in medieval mathematics

The algorithms used in Arabic and medieval European mathematics for extracting cube roots are studied with respect to algebraic structure and use of external memory (dust board, table, paper). They can be separated into two distinct groups. One contains methods used in the eastern regions from the 11th century, closely connected to Chinese techniques, and very uniform in structure. The other group, showing much wider variation, contains early Indian methods and techniques developed in central and western parts of the Arabic areas and in Europe. This study supports hypotheses previously formulated by Luckey and Chemla on an early scientific connection between China and Persia.     

Global existence of solutions to the compressible Navier-Stokes equation around parallel flows

The initial boundary value problem for the compressible Navier-Stokes equation is considered in an infinite layer of Rn. It is proved that if n?3, then strong solutions to the compressible Navier-Stokes equation around parallel flows exist globally in time for sufficiently small initial perturbations, provided that the Reynolds and Mach numbers are sufficiently small. The proof is given by a variant of the Matsumura-Nishida energy method based on a decomposition of solutions associated with a spectral property of the linearized operator.     

Concerning some variants of C-embedding in pointfree topology

We study three types of quotient maps of frames which are closely related to C- and C^?-quotient maps. We call them C₁-, strong C₁-, and uplifting quotient maps. C₁-quotient maps are precisely those whose induced ring homomorphisms contract maximal ideals to maximal ideals. We show that every homomorphism onto a frame is a C₁-, a strong C₁-, or an uplifting quotient map iff the frame is pseudocompact, compact, or almost compact and normal, respectively. These quotient maps are used to characterize normality and also certain weaker forms of normality in a manner akin to the characterization of normal frames as those for which every closed quotient map is a C-quotient map. Under certain conditions, we show that the Stone extension of a quotient map is C₁-, strongly C₁- or uplifting if the map has the corresponding property.     

Lie point symmetries and some group invariant solutions of the quasilinear equation involving the infinity Laplacian

Using the classical Lie method we obtain the full Lie point symmetry group of the Aronsson equation in two independent variables. Some group invariant solutions of this equation are found and a conjecture on the Lie point symmetry group of the Aronsson equation in Rⁿ is presented.     

Rational approximation to harmonic functions

Padé-type approximation is the rational function analogue of Taylor’s polynomial approximation to a power series. A general method for obtaining Padé-type approximants to Fourier series expansions of harmonic functions is defined. This method is based on the Newton-Cotes and Gauss quadrature formulas. Several concrete examples are given and the convergence behavior of a sequence of such approximants is studied. This revised version was published online in June 2006 with corrections to the Cover Date.     

Manifold constrained variational problems

The integral representation for the relaxation of a class of energy functionals where the admissible fields are constrained to remain on a -dimensional manifold is obtained. If is a continuous function satisfying for and for all then where is open, bounded, and is the tangential quasiconvexification of f at belong to the tangent space to at Received October 10, 1998 / Accepted December 1, 1998