A new a posteriori error estimate for convection–reaction–diffusion problems

A new a posteriori error estimate is derived for the stationary convection–reaction–diffusion equation. In order to estimate the approximation error in the usual energy norm, the underlying bilinear form is decomposed into a computable integral and two other terms which can be estimated from above using elementary tools of functional analysis. Two auxiliary parameter-functions are introduced to construct such a splitting and tune the resulting bound. If these functions are chosen in an optimal way, the exact energy norm of the error is recovered, which proves that the estimate is sharp. The presented methodology is completely independent of the numerical technique used to compute the approximate solution. In particular, it is applicable to approximations which fail to satisfy the Galerkin orthogonality, e.g. due to an inconsistent stabilization, flux limiting, low-order quadrature rules, round-off and iteration errors, etc. Moreover, the only constant that appears in the proposed error estimate is global and stems from the Friedrichs–Poincaré inequality. Numerical experiments illustrate the potential of the proposed error estimation technique.     

Integral complete 4-partite graphs

A graph G is called integral if all the roots of the characteristic polynomial P(G;x) are integers. In the paper the first known integral complete 4-partite graph K_p1,p2,p3,p4, where p₁<p₂<p₃<p₄, is constructed.     

Double coverings of hyperelliptic real algebraic curves

We consider double and (possibly) branched coverings π:X→X^′ between real algebraic curves where X is hyperelliptic. We are interested in the topology of such coverings and also in describing them in terms of algebraic equations. In this article we completely solve these two problems. We first analyse the topological features and ramification data of such coverings. Second, for each isomorphism class of these coverings we then describe a representative, with defining polynomial equations for X and for X^′, a formula for the involution that generates the covering transformation group, and a rational formula for the covering projection π:X→X^′.     

Asymptotic properties of some triangulations of the sphere

In this paper we analyse a method for triangulating the sphere originally proposed by Baumgardner and Frederickson in 1985. The method is essentially a refinement procedure for arbitrary spherical triangles that fit into a hemisphere. Refinement is carried out by dividing each triangle into four by introducing the midpoints of the edges as new vertices and connecting them in the usual ‘red’ way. We show that this process can be described by a sequence of piecewise smooth mappings from a reference triangle onto the spherical triangle. We then prove that the whole sequence of mappings is uniformly bi-Lipschitz and converges uniformly to a non-smooth parameterization of the spherical triangle, recovering the Baumgardner and Frederickson spherical barycentric coordinates. We also prove that the sequence of triangulations is quasi-uniform, that is, areas of triangles and lengths of the edges are roughly the same at each refinement level. Some numerical experiments confirm the theoretical results.     

How to construct a ‘concrete’ superdecomposable pure-injective module over a string algebra

We construct an element in a direct product of finite dimensional modules over a string algebra such that the pure-injective envelope of this element is a superdecomposable module.     

The discrete maximum principle for linear simplicial finite element approximations of a reaction-diffusion problem

This paper provides a sufficient condition for the discrete maximum principle for a fully discrete linear simplicial finite element discretization of a reaction-diffusion problem to hold. It explicitly bounds the dihedral angles and heights of simplices in the finite element partition in terms of the magnitude of the reaction coefficient and the spatial dimension. As a result, it can be computed how small the acute simplices should be for the discrete maximum principle to be valid. Numerical experiments suggest that the bound, which considerably improves a similar bound in [P.G. Ciarlet, P.-A. Raviart, Maximum principle and uniform convergence for the finite element method, Comput. Methods Appl. Mech. Eng. 2 (1973) 17-31.], is in fact sharp.     

The introduction of logarithms into Spain

During the first half of the 17th century, logarithms were taught by some professors in Spain, but knowledge of this subject remained scanty until the publication of Architectura civil by Juan Caramuel (1678) and especially of Trigonometria española by José Zaragoza (1672). Logarithms were considered only as an aid for computation up to the second half of the 18th century. Only when the infinitesimal calculus became more widely spread in Spanish mathematics, analytical interpretations of logarithms were also taken into account in books such as Elementos de matemáticas by Benito Bails (1776).     

Mathematical modelling of surface vibration with volume constraint and its analysis

A hyperbolic problem with volume constraint is investigated by means of a minimizing method called the discrete Morse flow. A weak solution is introduced in a constructive way and results of numerical computations are shown.     

QUASILINEAR-ADDITIVE PROPERTIES AND APPLICATIONS

In this article, the authors study some basic properties of the so-called quasilinear- additive functions, and some applications to the special functions of quasiconformal analysis are specified.