Semi‐analytical integration of the 8‐node plane element stiffness matrix using symbolic computation

The semi‐analytical integration of an 8‐node plane strain finite element stiffness matrix is presented in this work. The element is assumed to be super‐parametric, having straight sides. Before carrying out the integration, the integral expressions are classified into several groups, thus avoiding duplication of calculations. Symbolic manipulation and integration is used to obtain the basic formulae to evaluate the stiffness matrix. Then, the resulting expressions are postprocessed, optimized, and simplified in order to reduce the computation time. Maple symbolic‐manipulation software was used to generate the closed expressions and to develop the corresponding Fortran code. Comparisons between semi‐analytical integration and numerical integration were made. It was demonstrated that semi‐analytical integration required less CPU time than conventional numerical integration (using Gaussian‐Legendre quadrature) to obtain the stiffness matrix. © 2005 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006     

Exact integration of the stiffness matrix of an 8‐node plane elastic finite element by symbolic computation

Computer algebra systems (CAS) are powerful tools for obtaining analytical expressions for many engineering applications in both academic and industrial environments. CAS have been used in this paper to generate exact expressions for the stiffness matrix of an 8‐node plane elastic finite element. The Maple software system was used to identify six basic formulas from which all the terms of the stiffness matrix could be obtained. The formulas are functions of the Cartesian coordinates of the corner nodes of the element, and elastic parameters Young's modulus and Poisson's ratio. Many algebraic manipulations were performed on the formulas to optimize their efficiency. The redaction in CPU time using the exact expressions as opposed to the classical Gauss–Legendre numerical integration approach was over 50%. In an additional study of accuracy, it was shown that the numerical approach could lead to quite significant errors as compared with the exact approach, especially as element distortion was increased.© 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2007     

Semi‐analytical solution of MHD flow through boundary integrals on the pipe wall

A mathematical model is given for the magnetohydrodynamic (MHD) pipe flow as an inner Dirichlet problem in a 2D circular cross section of the pipe, coupled with an outer Dirichlet or Neumann magnetic problem. Inner Dirichlet problem is given as the coupled convection‐diffusion equations for the velocity and the induced current of the fluid coupling also to the outer problem, which is defined with the Laplace equation for the induced magnetic field of the exterior region with either Dirichlet or Neumann boundary condition. Unique solution of inner Dirichlet problem is obtained theoretically reducing it into two boundary integral equations defined on the boundary by using the corresponding fundamental solutions. Exterior solution is also given theoretically on the pipe wall with Poisson integral, and it is unique with Dirichlet boundary condition but exists with an additive constant obtained through coupled boundary and solvability conditions in Neumann wall condition. The collocation method is used to discretize these boundary integrals on the pipe wall. Thus, the proposed procedure is an improved theoretical analysis for combining the solution methods for the interior and exterior regions, which are consolidated numerically showing the flow behavior. The solution is simulated for several values of problem parameters, and the well‐known MHD characteristics are observed inside the pipe for increasing values of Hartmann number maintaining the continuity of induced currents on the pipe wall.     

Influence of Gauss and Gauss‐Lobatto quadrature rules on the accuracy of a quadrilateral finite element method in the time domain

In this article, we examine the influence of numerical integration on finite element methods using quadrilateral or hexahedral meshes in the time domain. We pay special attention to the use of Gauss‐Lobatto points to perform mass lumping for any element order. We provide some theoretical results through several error estimates that are completed by various numerical experiments. © 2009 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2009     

Stability of a combined finite element ‐ finite volume discretization of convection‐diffusion equations

We consider a time‐dependent and a stationary convection‐diffusion equation. These equations are approximated by a combined finite element – finite volume method: the diffusion term is discretized by Crouzeix‐Raviart piecewise linear finite elements on a triangular grid, and the convection term by upwind barycentric finite volumes. In the nonstationary case, we use an implicit Euler approach for time discretization. This scheme is shown to be L²‐stable uniformly with respect to the diffusion coefficient. In addition, it turns out that stability is unconditional in the time‐dependent case. These results hold if the underlying grid satisfies a condition that is fulfilled, for example, by some structured meshes. © 2012 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 28: 402–424, 2012     

Nonconforming finite element methods with subgrid viscosity applied to advection‐diffusion‐reaction equations

A nonconforming (Crouzeix–Raviart) finite element method with subgrid viscosity is analyzed to approximate advection‐diffusion‐reaction equations. The error estimates are quasi‐optimal in the sense that keeping the Péclet number fixed, the estimates are suboptimal of order in the mesh size for the L²‐norm and optimal for the advective derivative on quasi‐uniform meshes. The method is also reformulated as a finite volume box scheme providing a reconstruction formula for the diffusive flux with local conservation properties. Numerical results are presented to illustrate the error analysis. © 2006 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2006     

A note on a lowest order divergence‐free Stokes element on quadrilaterals

This short note reports a lowest order divergence‐free Stokes element on quadrilateral meshes. The velocity space is based on a P₁ spline element over the crisscross partition of a quadrilateral, and the pressure is approximated by piecewise constant. For a given quadrilateral mesh, this element is stable if and only if the well‐known Q₁‐P₀ element is also stable. Although this method is a subspace method of Qin‐Zhang's P₁‐P₀ element, their velocity solutions are precisely equal. Moreover, an explicit basis representation is also provided. These theoretical findings are verified by numerical tests.     

A finite element method for the axisymmetric three‐field Stokes system with a discontinuous pressure

A quadrilateral based velocity‐pressure‐extrastress tensor mixed finite element method for solving the three‐field Stokes system in the axisymmetric case is studied. The method derived from Fortin's Q₂ − P₁ velocity‐pressure element is to be used in connection with the standard Galerkin formulation. This makes it particularly suitable for the numerical simulation of viscoelastic flow. It is proven to be second‐order convergent in the natural weighted Sobolev norms, for the system under consideration. The crucial result that the method is uniformly stable is proven for the case of rectangular meshes. © 1999 John Wiley & Sons, Inc. Numer Methods Partial Differential Eq 15: 739–763, 1999     

Two grid finite element discretization method for semi‐linear hyperbolic integro‐differential equations

In this paper, we will investigate a two grid finite element discretization method for the semi‐linear hyperbolic integro‐differential equations by piecewise continuous finite element method. In order to deal with the semi‐linearity of the model, we use the two grid technique and derive that once the coarse and fine mesh sizes H, h satisfy the relation h = H² for the two‐step two grid discretization method, the two grid method achieves the same convergence accuracy as the ordinary finite element method. Both theoretical analysis and numerical experiments are given to verify the results.     

Two‐level preconditioners for serendipity finite element matrices

In this paper an approach to construct algebraic multilevel preconditioners for serendipity finite element matrices is presented. Two‐level preconditioners constructed in the paper allow to obtain multilevel preconditioners in serendipity case using multilevel preconditioners for linear finite element matrices. Copyright © 2006 John Wiley & Sons, Ltd.     

A mixed finite element method for a quasi‐Newtonian fluid flow

We propose a mixed formulation for quasi‐Newtonian fluid flow obeying the power law where the stress tensor is introduced as a new variable. Based on such a formulation, a mixed finite element is constructed and analyzed. This finite element method possesses local (i.e., at element level) conservation properties (conservation of the momentum and the mass) as in the finite volume methods. We give existence and uniqueness results for the continuous problem and its approximation and we prove error bounds. © 2004 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2004.     

Comparison of multigrid algorithms for high‐order continuous finite element discretizations

We present a comparison of different multigrid approaches for the solution of systems arising from high‐order continuous finite element discretizations of elliptic partial differential equations on complex geometries. We consider the pointwise Jacobi, the Chebyshev‐accelerated Jacobi, and the symmetric successive over‐relaxation smoothers, as well as elementwise block Jacobi smoothing. Three approaches for the multigrid hierarchy are compared: (1) high‐order h‐multigrid, which uses high‐order interpolation and restriction between geometrically coarsened meshes; (2) p‐multigrid, in which the polynomial order is reduced while the mesh remains unchanged, and the interpolation and restriction incorporate the different‐order basis functions; and (3) a first‐order approximation multigrid preconditioner constructed using the nodes of the high‐order discretization. This latter approach is often combined with algebraic multigrid for the low‐order operator and is attractive for high‐order discretizations on unstructured meshes, where geometric coarsening is difficult. Based on a simple performance model, we compare the computational cost of the different approaches. Using scalar test problems in two and three dimensions with constant and varying coefficients, we compare the performance of the different multigrid approaches for polynomial orders up to 16. Overall, both h‐multigrid and p‐multigrid work well; the first‐order approximation is less efficient. For constant coefficients, all smoothers work well. For variable coefficients, Chebyshev and symmetric successive over‐relaxation smoothing outperform Jacobi smoothing. While all of the tested methods converge in a mesh‐independent number of iterations, none of them behaves completely independent of the polynomial order. When multigrid is used as a preconditioner in a Krylov method, the iteration number decreases significantly compared with using multigrid as a solver. Copyright © 2015 John Wiley & Sons, Ltd.     

Analysis and finite element simulations of a second‐order fluid model in a bounded domain

This article is concerned with the equations governing the steady motion of a viscoelastic incompressible second‐order fluid in a bounded domain. A new proof of existence and uniqueness of strong solutions is given. In addition, using appropriate finite element methods to approximate a coupled equivalent problem, sharp error estimates are obtained using a fixed point argument. The method is applied to the two‐dimensional lid‐driven cavity problem, at low Reynolds number and in a certain range of values of the viscoelastic parameters, to analyze the combined effects of inertia and viscoelasticity on the flow. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2007     

Superconvergence of a 3D finite element method for stationary Stokes and Navier‐Stokes problems

For the Poisson equation on rectangular and brick meshes it is well known that the piecewise linear conforming finite element solution approximates the interpolant to a higher order than the solution itself. In this article, this type of supercloseness property is established for a special interpolant of the Q₂ ? P element applied to the 3D stationary Stokes and Navier‐Stokes problem, respectively. Moreover, applying a Q₃ ? P postprocessing technique, we can also state a superconvergence property for the discretization error of the postprocessed discrete solution to the solution itself. Finally, we show that inhomogeneous boundary values can be approximated by the Lagrange Q₂‐interpolation without influencing the superconvergence property. Numerical experiments verify the predicted convergence rates. Moreover, a cost‐benefit analysis between the two third‐order methods, the post‐processed Q₂ ? P discretization, and the Q₃ ? P discretization is carried out. © 2004 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2005     

A space‐time mixed‐hybrid finite element method for the damped wave equation

A space‐time finite element method is introduced to solve the linear damped wave equation. The scheme is constructed in the framework of the mixed‐hybrid finite element methods, and where an original conforming approximation of H(div;Ω) is used, the latter permits us to obtain an upwind scheme in time. We establish the link between the nonstandard finite difference scheme recently introduced by Mickens and Jordan and the scheme proposed. In this regard, two approaches are considered and in particular we employ a formulation allowing the solution to be marched in time, i.e., one only needs to consider one time increment at a time. Numerical results are presented and compared with the analytical solution illustrating good performance of the present method. © 2007 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 2008     

Numerical analysis of a locking‐free mixed finite element method for a bending moment formulation of Reissner‐Mindlin plate model

This article deals with the approximation of the bending of a clamped plate, modeled by Reissner‐Mindlin equations. It is known that standard finite element methods applied to this model lead to wrong results when the thickness t is small. Here, we propose a mixed formulation based on the Hellinger‐Reissner principle which is written in terms of the bending moments, the shear stress, the rotations and the transverse displacement. To prove that the resulting variational formulation is well posed, we use the Babu?ka‐Brezzi theory with appropriate t ‐dependent norms. The problem is discretized by standard mixed finite elements without the need of any reduction operator. Error estimates are proved. These estimates have an optimal dependence on the mesh size h and a mild dependence on the plate thickness t. This allows us to conclude that the method is locking‐free. The proposed method yields direct approximation of the bending moments and the shear stress. A local postprocessing leading to H¹ ‐type approximations of transverse displacement and rotations is introduced. Moreover, we propose a hybridization procedure, which leads to solving a significantly smaller positive definite system. Finally, we report numerical experiments which allow us to assess the performance of the method. © 2012 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq, 2013     

Finite element and finite volume‐element simulation of pseudo‐ECGs and cardiac alternans

In this paper, we are interested in the spatio‐temporal dynamics of the transmembrane potential in paced isotropic and anisotropic cardiac tissues. In particular, we observe a specific precursor of cardiac arrhythmias that is the presence of alternans in the action potential duration. The underlying mathematical model consists of a reaction–diffusion system describing the propagation of the electric potential and the nonlinear interaction with ionic gating variables. Either conforming piecewise continuous finite elements or a finite volume‐element scheme are employed for the spatial discretization of all fields, whereas operator splitting strategies of first and second order are used for the time integration. We also describe an efficient mechanism to compute pseudo‐ECG signals, and we analyze restitution curves and alternans patterns for physiological and pathological cardiac rhythms. Copyright © 2014 John Wiley & Sons, Ltd.     

Semi‐invariant solutions of the Navier‐Stokes equations

We present new exact solutions and reduced differential systems of the Navier‐Stokes equations of incompressible viscous fluid flow. We apply the method of semi‐invariant manifolds, introduced earlier as a modification of the Lie invariance method. We show that many known solutions of the Navier‐Stokes equations are, in fact, semi‐invariant and that the reduced differential systems we derive using semi‐invariant manifolds generalize previously obtained results that used ad hoc methods. Many of our semi‐invariant solutions solve decoupled systems in triangular form that are effectively linear. We also obtain several new reductions of Navier‐Stokes to a single nonlinear partial differential equation. In some cases, we can solve reduced systems and generate new analytic solutions of the Navier‐Stokes equations or find their approximations, and physical interpretation.     

A note on the complex semi‐definite matrix Procrustes problem

This note outlines an algorithm for solving the complex ‘matrix Procrustes problem’. This is a least‐squares approximation over the cone of positive semi‐definite Hermitian matrices, which has a number of applications in the areas of Optimization, Signal Processing and Control. The work generalizes the method of Allwright (SIAM J. Control Optim. 1988; 26 (3):537–556), who obtained a numerical solution to the real‐valued version of the problem. It is shown that, subject to an appropriate rank assumption, the complex problem can be formulated in a real setting using a matrix‐dilation technique, for which the method of Allwright is applicable. However, this transformation results in an over‐parametrization of the problem and, therefore, convergence to the optimal solution is slow. Here, an alternative algorithm is developed for solving the complex problem, which exploits fully the special structure of the dilated matrix. The advantages of the modified algorithm are demonstrated via a numerical example. Copyright © 2007 John Wiley & Sons, Ltd.