If the first task in numerical analysis is the calculation of an approximate solution, the second is to provide a guaranteed error bound and is often of equal importance. The standard approaches in the a posteriori error analysis of finite element methods suppose that the exact solution has a certain regularity or the numerical scheme enjoys some saturation property. For coarse meshes those asymptotic arguments are difficult to recast into rigorous error bounds. The aim of this paper is to provide reliable computable error bounds which are efficient and complete in the sense that constants are estimated as well. The main argument is a localization via a partition of unity which leads to problems on small domains. Two fully reliable estimates are established: The sharper one solves an analytical interface problem with residuals following Babuška and Rheinboldt [SIAM J. Numer. Anal., 15 (1978), pp. 736-754]. The second estimate is a modification of the standard residual-based a posteriori estimate with explicit constants from local analytical eigenvalue problems. For some class of triangulations we show that the efficiency constant is smaller than 2.5. According to our numerical experience, the overestimation of our computable estimates proved to be reasonably small, with an overestimation by a factor between 2.5 and 4 only.

Recent developments of solid electrolytes, especially lithium ion conductors, led to all solid state batteries for various applications. In addition, mathematical models sprout for different electrode materials and battery types, but are missing for solid electrolyte cells. We present a mathematical model for ion flux in solid electrolytes, based on non-equilibrium thermodynamics and functional derivatives. Intercalated ion diffusion within the electrodes is further considered, allowing the computation of the ion concentration at the electrode/electrolyte interface. A generalized Frumkin-Butler-Volmer equation describes the kinetics of (de-)intercalation reactions and is here extended to non-blocking electrodes. Using this approach, numerical simulations were carried out to investigate the space charge region at the interface. Finally, discharge simulations were performed to study different limitations of an all solid state battery cell.

We provide a MATLAB package p1afem for an adaptive P1-finite element method (AFEM). This includes functions for the assembly of the data, different error estimators, and an indicator-based adaptive meshrefining algorithm. Throughout, the focus is on an efficient realization by use of MATLAB built-in functions and vectorization. Numerical experiments underline the efficiency of the code which is observed to be of almost linear complexity with respect to the runtime. Although the scope of this paper is on AFEM, the general ideas can be understood as a guideline for writing efficient MATLAB code.

No abstract

This paper concerns the combination of the finite element method (FEM) and the boundary element method (BEM) using the symmetric coupling. As a model problem in two dimensions we consider the Hencky material (a certain nonlinear elastic material) in a bounded domain with Navier-Lamé differential equation in the unbounded complementary domain. Using some boundary integral operators the problem is rewritten such that the Galerkin procedure leads to a FEM/BEM coupling and quasi-optimally convergent discrete solutions. Beside this a priori information we derive an a posteriori error estimate which allows (up to a constant factor) the error control in the energy norm. Since information about the singularities of the solution is not available a priori in many situation and having in mind the goal of an automatic mesh-refinement we state adaptive algorithms for the h-version of the FEM/BEM-coupling. Illustrating numerical results are included. Subject Classification (1991): 65N35, 65R20, 65D07, 45L10 Mathematics

Nonconforming finite element methods are sometimes considered as a variational crime and so we may regard its coupling with boundary element methods. In this paper, the symmetric coupling of nonconforming finite elements and boundary elements is established and a priori error estimates are shown. The coupling involves a further continuous layer on the interface in order to separate the nonconformity in the domain from its boundary data which are required to be continuous. Numerical examples prove the new scheme useful in practice. A posteriori error control and adaptive algorithms will be studied in the forthcoming Part II.AMS Subject Classifications: 65N38, 65N15, 65R20, 45L10.Key Words: Coupling of finite elements and boundary elements, nonconforming finite elements, a priori error estimates.

Computable a posteriori error bounds and related adaptive mesh-refining algorithms are provided for the numerical treatment of monotone stationary flow problems with a quite general class of conforming and nonconforming finite element methods. A refined residual-based error estimate generalises the works of Verfürth; Dari, Duran and Padra; Bao and Barrett. As a consequence, reliable and efficient averaging estimates can be established on unstructured grids. The symmetric formulation of the incompressible flow problem models certain nonNewtonian flow problems and the Stokes problem with mixed boundary conditions. A Helmholtz decomposition avoids any regularity or saturation assumption in the mathematical error analysis. Numerical experiments for the partly nonconforming method analysed by Kouhia and Stenberg indicate efficiency of related adaptive mesh-refining algorithms.

No abstract