Non-negative mixed finite element formulations for a tensorial diffusion equation

We consider the tensorial diffusion equation, and address the discrete maximum-minimum principle of mixed finite element formulations. In particular, we address non-negative solutions (which is a special case of the maximum-minimum principle) of mixed finite element formulations. The discrete maximum-minimum principle is the discrete version of the maximum-minimum principle. In this paper we present two non-negative mixed finite element formulations for tensorial diffusion equations based on constrained optimization techniques (in particular, quadratic programming). These proposed mixed formulations produce non-negative numerical solutions on arbitrary meshes for low-order (i.e., linear, bilinear and trilinear) finite elements. The first formulation is based on the Raviart-Thomas spaces, and is obtained by adding a non-negative constraint to the variational statement of the Raviart-Thomas formulation. The second non-negative formulation based on the variational multiscale formulation. For the former formulation we comment on the affect of adding the non-negative constraint on the local mass balance property of the Raviart-Thomas formulation. We also study the performance of the active set strategy for solving the resulting constrained optimization problems. The overall performance of the proposed formulation is illustrated on three canonical test problems.Comment: 40 pages using amsart style file, and 15 figure

A chemorepulsion model with superlinear production: analysis of the continuous problem and two approximately positive and energy-stable schemes

We consider the following repulsive-productive chemotaxis model: find 0, the cell density, and 0, the chemical concentration, satisfying 0 in 0 in 0 (1) with 1 2 , a bounded domain ( 1 2 3), endowed with non-flux boundary conditions. By using a regularization technique, we prove the existence of global in time weak solutions of (1) which is regular and unique for 1 2. Moreover, we propose two fully discrete Finite Element (FE) nonlinear schemes, the first one defined in the variables under structured meshes, and the second one by using the auxiliary variable and defined in general meshes. We prove some unconditional properties for both schemes, such as mass-conservation, solvability, energy-stability and approximated positivity. Finally, we compare the behavior of these schemes with respect to the classical FE backward Euler scheme throughout several numerical simulations and give some conclusions

New superconvergent structures developed from the finite volume element method in 1D

New superconvergent structures are introduced by the finite volume element method (FVEM), which allow us to choose the superconvergent points freely. The general orthogonal condition and the modified M-decomposition (MMD) technique are established to prove the superconvergence properties of the new structures. In addition, the relationships between the orthogonal condition and the convergence properties for the FVE schemes are carried out in Table 1. Numerical results are given to illustrate the theoretical results

Euler solvers for transonic applications

The 1980s may well be called the Euler era of applied aerodynamics. Computer codes based on discrete approximations of the Euler equations are now routinely used to obtain solutions of transonic flow problems in which the effects of entropy and vorticity production are significant. Such codes can even predict separation from a sharp edge, owing to the inclusion of artificial dissipation, intended to lend numerical stability to the calculation but at the same time enforcing the Kutta condition. One effect not correctly predictable by Euler codes is the separation from a smooth surface, and neither is viscous drag; for these some form of the Navier-Stokes equation is needed. It, therefore, comes as no surprise to observe that the Navier-Stokes has already begun before Euler solutions were fully exploited. Moreover, most numerical developments for the Euler equations are now constrained by the requirement that the techniques introduced, notably artificial dissipation, must not interfere with the new physics added when going from an Euler to a full Navier-Stokes approximation. In order to appreciate the contributions of Euler solvers to the understanding of transonic aerodynamics, it is useful to review the components of these computational tools. Space discretization, time- or pseudo-time marching and boundary procedures, the essential constituents are discussed. The subject of grid generation and grid adaptation to the solution are touched upon only where relevant. A list of unanswered questions and an outlook for the future are covered

The Finite Element Method for the time-dependent Gross-Pitaevskii equation with angular momentum rotation

We consider the time-dependent Gross-Pitaevskii equation describing the dynamics of rotating Bose-Einstein condensates and its discretization with the finite element method. We analyze a mass conserving Crank-Nicolson-type discretization and prove corresponding a priori error estimates with respect to the maximum norm in time and the $L^2$- and energy-norm in space. The estimates show that we obtain optimal convergence rates under the assumption of additional regularity for the solution to the Gross-Pitaevskii equation. We demonstrate the performance of the method in numerical experiments

Schnelle Löser für partielle Differentialgleichungen

[no abstract available

A limiter-based well-balanced discontinuous Galerkin method for shallow-water flows with wetting and drying: Triangular grids

A novel wetting and drying treatment for second-order Runge-Kutta discontinuous Galerkin (RKDG2) methods solving the non-linear shallow water equations is proposed. It is developed for general conforming two-dimensional triangular meshes and utilizes a slope limiting strategy to accurately model inundation. The method features a non-destructive limiter, which concurrently meets the requirements for linear stability and wetting and drying. It further combines existing approaches for positivity preservation and well-balancing with an innovative velocity-based limiting of the momentum. This limiting controls spurious velocities in the vicinity of the wet/dry interface. It leads to a computationally stable and robust scheme -- even on unstructured grids -- and allows for large time steps in combination with explicit time integrators. The scheme comprises only one free parameter, to which it is not sensitive in terms of stability. A number of numerical test cases, ranging from analytical tests to near-realistic laboratory benchmarks, demonstrate the performance of the method for inundation applications. In particular, super-linear convergence, mass-conservation, well-balancedness, and stability are verified

Adaptive low and high-order hybridized methods for unsteady incompressible flow simulations

Tesi en modalitat de cotutela: Universitat Politècnica de Catalunya i Università degli Studi di PaviaSimulations of incompressible flows are performed on a daily basis to solve problems of practical and industrial interest in several fields of engineering, including automotive, aeronautical, mechanical and biomedical applications. Although finite volume (FV) methods are still the preferred choice by the industry due to their efficiency and robustness, sensitivity to mesh quality and limited accuracy represent two main bottlenecks of these approaches. This is especially critical in the context of transient phenomena, in which FV methods show excessive numerical diffusion. In this context, there has been a growing interest towards high-order discretisation strategies in last decades. In this PhD thesis, a high-order adaptive hybidisable discontinuous Galerkin (HDG) method is proposed for the approximation of steady and unsteady laminar incompressible Navier-Stokes equations. Voigt notation for symmetric second-order tensors is exploited to devise an HDG method for the Cauchy formulation of the momentum equation with optimal convergence properties, even when low-order polynomial degrees of approximation are considered. In addition, a postprocessing strategy accounting for rigid translational and rotational modes is proposed to construct an element-by-element superconvergent velocity field. The discrepancy between the computed and postprocessed velocities is utilised to define a local error indicator to drive degree adaptivity procedures and accurately capture localised features of the flow. The resulting HDG solver is thus extended to the case of transient problems via high-order time integration schemes, namely the explicit singly diagonal implicit Runge-Kutta (ESDIRK) schemes. In this context, the embedded explicit step is exploited to define an inexpensive estimate of the temporal error to devise an efficient timestep control strategy. Finally, in order to efficiently solve the global problem arising from the HDG discretisation, a preconditioned iterative solver is proposed. This is critical in the context of high-order approximations in three-dimensional domains leading to large-scale problems, especially in transient simulations. A block diagonal preconditioner coupled with an inexpensive approximation of the Schur complement of the matrix is proposed to reduce the computational cost of the overall HDG solver. Extensive numerical validation of two and three-dimensional steady and unsteady benchmark tests of viscous laminar incompressible flows is performed to validate the proposed methodology.Simulaciones de flujo incompresible se emplean a diario para resolver problemas de interés práctico e industrial en varios campos de la ingeniería, p.ej. en aplicaciones automovilísticas, aeronáuticas, mecánicas y biomédicas. Aunque los métodos de volúmenes finitos (FV) siguen siendo la opción preferida por la industria debido a su eficiencia y robustez, la sensibilidad a la calidad de la malla y la baja precisión representan dos limitaciones importantes para estas técnicas. Estas limitaciones son todavía más críticas en el contexto de simulaciones de fenómenos transitorios, donde los FV están penalizados por su excesiva difusión numérica. En este contexto, las estrategias de discretización de alto orden han ganado una popularidad creciente en las últimas décadas para problemas transitorios dónde se necesitan soluciones precisas. Esta tesis propone un método de Galerkin discontinuo híbrido (HDG), de alto orden y adaptativo para la aproximación de las ecuaciones de Navier-Stokes incomprensible laminar, en el caso estacionario y transitorio en el entorno de aplicaciones ingenieriles. Para ello, la notación de Voigt para tensores simétricos de segundo orden (habituales en mecánica de los medios continuos) permite introducir un método HDG para la formulación de Cauchy de la ecuación de momento. La novedad de este resultado reside en la convergencia óptima alcanzada por el método, incluso para aproximaciones de orden polinómico bajo. Además, se desarrolla una estrategia de post-proceso local para construir elemento a elemento un campo de velocidad súper-convergente, tomando en cuenta los modos rígidos de traslación y rotación. La discrepancia entre el campo de velocidad calculado y el súper-convergente, obtenido a través del post-proceso, permite definir un indicador del error local. De esta forma, se desarrolla una estrategia para realizar adecuar elemento a elemento el grado de la aproximación polinómica y así mejorar la precisión adaptándose a las características localizadas del flujo. Seguidamente, se extiende el método HDG propuesto al tratamiento de problemas dependientes del tiempo. Más concretamente, se consideran los esquemas de integración temporal de alto orden explicit singly diagonal implicit Runge-Kutta (ESDIRK). En este contexto, se utiliza el paso explícito embedded para calcular una estimación computacionalmente eficiente del error temporal y definir una estrategia de adaptividad del paso de tiempo. Finalmente, se desarrolla un precondicionador adaptado a la estrategia HDG que acelera la convergencia del método iterativo empleado y, de esta forma, obtener resoluciones eficaces del problema global surgido de la discretización HDG. Es importante resaltar la importancia de una herramienta de resolución eficiente para problemas de gran escala en el contexto de aproximaciones de alto orden y en dominios tridimensionales. Estas herramientas se hacen aún más criticas en simulaciones transitorias. Más concretamente, se proponen un precondicionador diagonal por bloques y una aproximación eficiente del complemento Schur de la matriz para reducir el coste computacional del método HDG. Para validar la metodología propuesta, se realizan varias simulaciones numéricas de flujo incompresible laminar viscoso, para problemas estacionarios y transitorios, en dos y tres dimensiones.Postprint (published version