SearcharxivSearch

arXiv subjects

Lorenzo Micalizzi

Publications and source records attributed to Lorenzo Micalizzi.

15 recordsLinked to original sources

New Efficient Implicit-Explicit Deferred Correction methods

In this work, we investigate implicit-explicit (IMEX) arbitrary high-order Deferred Correction (DeC) methods for the approximation of ordinary differential equations (ODEs). Such schemes are characterized by an iterative procedure that increases the order of accuracy by one at each iteration. More precisely, we study an efficient modification based on the introduction of interpolation processes between consecutive iterations, with the aim of systematically matching the accuracy achieved at each iteration with the order of the discretization employed. On the one hand, this modification leads to computational advantages, since the low-order iterations are performed on cheaper lower-order discretization structures; on the other hand, it endows the methods with a natural $p$-adaptive character, which is particularly appealing in the context of practical applications. We investigate this modification for two families of DeC schemes, providing numerical validation, efficiency assessments, and stability region plots. The numerical validation includes several examples involving stiff ODEs and partial differential equations (PDEs) with high-order spatial derivatives. The ability of the modified schemes to provide high-fidelity results at reduced computational cost, as well as the effectiveness of the adaptive strategy, is demonstrated through the numerical experiments.

math.NA

FORCE-$α$ Numerical Fluxes within the Arbitrary High Order Semidiscrete WENO-DeC Framework: A Competitive Alternative to Upwind Fluxes

This work systematically investigates the performance of FORCE--$α$ numerical fluxes within an arbitrary high order semidiscrete finite volume (FV) framework for hyperbolic partial differential equations (PDEs). Such numerical fluxes have been recently introduced by Toro, Saggiorato, Tokareva, and Hidalgo (Journal of Computational Physics, 416, 2020), and constitute a family of centred fluxes obtained from a suitable modification of First--Order Centred (FORCE) numerical fluxes. In contrast with upwind fluxes, such as Rusanov, Harten--Lax--van Leer (HLL) or the exact Riemann solver (RS) numerical flux, centred ones do not consider in any way the structure of the Riemann problem at cell interfaces. Adopting centred numerical fluxes leads to a high level of flexibility of the resulting numerical schemes, for example in the context of complicated hyperbolic systems, for which RSs may be impossible to construct or computationally expensive. The baseline framework adopted in this investigation is a FV semidiscrete approach with Weighted Essentially Non--Oscillatory (WENO) spatial reconstruction and Deferred Correction (DeC) time discretization, and results are reported up to order 7. Previous investigations involving the same framework have established that increasing the order of accuracy tends to decrease the differences in the results obtained through different numerical fluxes. The goal of this paper is to show that the employment of FORCE--$α$ numerical fluxes within such a framework is a competitive alternative to the adoption of more classical upwind fluxes. The hyperbolic system considered for this investigation is the ideal Euler equations in one and two space dimensions.

math.NA

A New Asymptotic-Preserving Dual Formulation Finite-Volume Method for the Compressible Euler Equations

The paper focuses on the development of numerical methods for the compressible Euler equations. It is well-known that if the Mach number is small, the system becomes stiff and hence explicit schemes suffer from severe time-step restrictions, making them inefficient or even impractical. Our objective is to develop an asymptotic preserving (AP) scheme that remains uniformly accurate and stable across all Mach numbers. Instead of the conservative hyperbolic flux splitting approach, which is widely used to design AP schemes, we consider a primitive (nonconservative) formulation and introduce a nonconservative hyperbolic splitting. The resulting system is discretized using a semi-implicit approach: the stiff part is handled semi-implicitly using second-order central differences, while the nonstiff part is treated explicitly using a second-order path-conservative central-upwind discretization. A key feature of our method is that the pressure at each time level is computed by solving a well-posed Poisson-type elliptic equation, thereby enforcing the AP property. Simultaneously, we evolve the conservative form of the system using a semi-discrete central-upwind (CU) scheme. At the end of each stage of the time discretization, we perform a special post-processing that selects the appropriate numerical solution depending on the Mach number. This guarantees that in low-Mach-number regimes, the solution is obtained by the AP nonconservative scheme, while in higher-Mach-number regimes, a sharp and physically relevant solution is computed by the conservative CU scheme. Numerical experiments confirm that the proposed AP scheme achieves the expected second order of accuracy and that the time-step constraint is independent of the Mach number, making it a robust and efficient alternative to conventional explicit methods.

math.NA

An Asymptotic-Preserving Dual Formulation Finite-Volume Method for the Thermal Rotating Shallow Water Equations

We propose a new second-order asymptotic-preserving (AP) dual formulation finite-volume (DF-FV) method for the thermal rotating shallow water (TRSW) equations. The TRSW system models geophysical flows characterized by horizontal temperature/density variations, exhibiting multi-scale dynamics due to the coexistence of fast rotational waves and slower advective processes. To efficiently address challenges associated with the multiscale nature of the TRSW system, we follow the DF-FV framework and develop a DF-FV method, in which both the conservative and nonconservative (primitive) forms of the equations are simultaneously solved, allowing the method to exploit the complementary strengths of each representation across different flow regimes. The primitive formulation is better suited for preserving the correct asymptotic behavior in nearly thermal quasi-geostrophic (TQG) regimes characterized by a low Rossby number, while the conservative formulation is essential for robust shock capturing in high-Rossby-number regimes, in which nonconservative discretizations may fail to converge to physically relevant weak solutions.

math.NA

New Adaptive Numerical Methods Based on Dual Formulation of Hyperbolic Conservation Laws

In this paper, we propose an adaptive high-order method for hyperbolic systems of conservation laws. The proposed method is based on a dual formulation approach: Two numerical solutions, corresponding to conservative and nonconservative formulations of the same system, are evolved simultaneously. Since nonconservative schemes are known to produce nonphysical weak solutions near discontinuities, we exploit the difference between these two solutions to construct a smoothness indicator (SI). In smooth regions, the difference between the conservative and nonconservative solutions is of the same order as the truncation error of the underlying discretization, whereas in nonsmooth regions, it is ${\cal O}(1)$. We apply this idea to the Euler equations of gas dynamics and define the SI using differences in the momentum and pressure variables. This choice allows us to further distinguish neighborhoods of contact discontinuities from other nonsmooth parts of the computed solution. The resulting classification is used to adaptively select numerical discretizations. In the vicinities of contact discontinuities, we employ the low-dissipation central-upwind numerical flux and a second-order piecewise linear reconstruction with the slopes computed using an overcompressive SBM limiter. Elsewhere, we use an alternative weighted essentially non-oscillatory (A-WENO) framework with the central-upwind finite-volume numerical fluxes and either unlimited (in smooth regions) or Ai-WENO-Z (in the nonsmooth regions away from contact discontinuities) fifth-order interpolation. Numerical results for the one- and two-dimensional compressible Euler equations show that the proposed adaptive method improves both the computational efficiency and resolution of complex flow features compared with the non-adaptive fifth-order A-WENO scheme.

math.NA

Dual Formulation Finite-Volume Methods on Overlapping Meshes for Hyperbolic Conservation Laws

In this work, we introduce new second-order schemes for one- and two-dimensional hyperbolic systems of conservation laws. Following an approach recently proposed in [{\sc R. Abgrall}, Commun. Appl. Math. Comput., 5 (2023), pp. 370--402], we consider two different formulations of the studied system (the original conservative formulation and a primitive one containing nonconservative products), and discretize them on overlapping staggered meshes using two different numerical schemes. The novelty of our approach is twofold. First, we introduce an original paradigm making use of overlapping finite-volume (FV) meshes over which cell averages of conservative and primitive variables are evolved using semi-discrete FV methods: The nonconservative system is discretized by a path-conservative central-upwind scheme, and its solution is used to evaluate very simple numerical fluxes for the discretization of the original conservative system. Second, to ensure the nonlinear stability of the resulting method, we design a post-processing, which also guarantees a conservative coupling between the two sets of variables. We test the proposed semi-discrete dual formulation finite-volume methods on several benchmarks for the Euler equations of gas dynamics.

math.NA

Algorithms of very high space-time orders of accuracy for hyperbolic equations in the semidiscrete WENO-DeC framework

In this work, we provide a deep investigation of a family of arbitrary high order numerical methods for hyperbolic partial differential equations (PDEs), with particular emphasis on very high order versions, i.e., with order higher than 5. More in detail, within the context of a generic Finite Volume (FV) semidiscretization, we consider Weighted Essentially Non--Oscillatory (WENO) spatial reconstruction and Deferred Correction (DeC) time discretization. The goal of this paper is twofold. On the one hand, we want to demonstrate the possibility of utilizing very high order schemes in concrete situations and highlight the related advantages. On the other one, we want to debunk the myth according to which, in the context of numerical resolution of hyperbolic PDEs with very high order spatial discretizations, the adoption of lower order time discretizations, e.g., strong stability preserving (SSP) or linearly strong stability preserving ($\ell SSP$) Runge--Kutta (RK) schemes, does not affect the overall accuracy of the resulting approach and consequently its computational efficiency. Numerical results are reported for the linear advection equation (LAE) and for the Euler equations of fluid dynamics, showing the advantages and the critical aspects of the adoption of very high order numerical methods. Overall, the results indicate the potential for their use in real--life applications, offering advantages in terms of efficiency, such as requiring shorter computational times to achieve a prescribed error, even in problems involving discontinuities. Furthermore, the results confirm order degradation and efficiency loss when coupling very high order space discretizations with lower order SSPRK time discretizations.

math.NA

New Smoothness Indicator Within an Active Flux Framework

In this work, we introduce a new smoothness indicator (SI), which is capable of detecting ``rough'' parts of the solutions computed by active flux (AF) methods for hyperbolic (systems of) conservation laws. The new SI is based on measuring the difference between the two sets of solutions (either cell averages and point values or cell averages on overlapping grids) evolved at each time step of AF methods. The key idea in the derivation of the new SI is that in the ``rough'' parts of the evolved solutions, the difference is ${\cal O}(1)$, while in the smooth areas, it is proportional to the order of the underlying AF method. The performance of the new SI, that is, its ability to automatically and robustly detect ``rough'' parts of the computed solutions, is illustrated on several numerical examples, in which the one-dimensional Euler equations of gas dynamics are numerically solved by a recently introduced semi-discrete finite-volume AF method on overlapping grids.

math.NA

Impact of Numerical Fluxes on High Order Semidiscrete WENO-DeC Finite Volume Schemes

The numerical flux determines the performance of numerical methods for solving hyperbolic partial differential equations (PDEs). In this work, we compare a selection of 8 numerical fluxes in the framework of nonlinear semidiscrete finite volume (FV) schemes, based on Weighted Essentially Non-Oscillatory (WENO) spatial reconstruction and Deferred Correction (DeC) time discretization. The methodology is implemented and systematically assessed for order of accuracy in space and time up to seven. The numerical fluxes selected in the present study represent the two existing classes of fluxes, namely centred and upwind. Centred fluxes do not explicitly use wave propagation information, while, upwind fluxes do so from the solution of the Riemann problem via a wave model containing $A$ waves. Upwind fluxes include two subclasses: complete and incomplete fluxes. For complete upwind fluxes, $A=E$, where $E$ is the number of characteristic fields in the exact problem. For incomplete upwind ones, $A<E$. Our study is conducted for the one- and two-dimensional Euler equations, for which we consider the following numerical fluxes: Lax-Friedrichs (LxF), First-Order Centred (FORCE), Rusanov (Rus), Harten-Lax-van Leer (HLL), Central-Upwind (CU), Low-Dissipation Central-Upwind (LDCU), HLLC, and the flux computed through the exact Riemann solver (Ex.RS). We find that the numerical flux has an effect on the performance of the methods. The magnitude of the effect depends on the type of numerical flux and on the order of accuracy of the scheme. It also depends on the type of problem; that is, whether the solution is smooth or discontinuous, whether discontinuities are linear or nonlinear, whether linear discontinuities are fast- or slowly-moving, and whether the solution is evolved for short or long time.

math.NA

Novel well-balanced continuous interior penalty stabilizations

In this work, the high order accuracy and the well-balanced (WB) properties of some novel continuous interior penalty (CIP) stabilizations for the Shallow Water (SW) equations are investigated. The underlying arbitrary high order numerical framework is given by a Residual Distribution (RD)/continuous Galerkin (CG) finite element method (FEM) setting for the space discretization coupled with a Deferred Correction (DeC) time integration, to have a fully-explicit scheme. If, on the one hand, the introduced CIP stabilizations are all specifically designed to guarantee the exact preservation of the lake at rest steady state, on the other hand, some of them make use of general structures to tackle the preservation of general steady states, whose explicit analytical expression is not known. Several basis functions have been considered in the numerical experiments and, in all cases, the numerical results confirm the high order accuracy and the ability of the novel stabilizations to exactly preserve the lake at rest steady state and to capture small perturbations of such equilibrium. Moreover, some of them, based on the notions of space residual and global flux, have shown very good performances and superconvergences in the context of general steady solutions not known in closed-form. Many elements introduced here can be extended to other hyperbolic systems, e.g., to the Euler equations with gravity.

math.NA

A high-order, fully well-balanced, unconditionally positivity-preserving finite volume framework for flood simulations

In this work, we present a high-order finite volume framework for the numerical simulation of shallow water flows. The method is designed to accurately capture complex dynamics inherent in shallow water systems, particularly suited for applications such as tsunami simulations. The arbitrarily high-order framework ensures precise representation of flow behaviors, crucial for simulating phenomena characterized by rapid changes and fine-scale features. Thanks to an {\it ad-hoc} reformulation in terms of production-destruction terms, the time integration ensures positivity preservation without any time-step restrictions, a vital attribute for physical consistency, especially in scenarios where negative water depth reconstructions could lead to unrealistic results. In order to introduce the preservation of general steady equilibria dictated by the underlying balance law, the high-order reconstruction and numerical flux are blended in a convex fashion with a well-balanced approximation, which is able to provide exact preservation of both static and moving equilibria. Through numerical experiments, we demonstrate the effectiveness and robustness of the proposed approach in capturing the intricate dynamics of shallow water flows, while preserving key physical properties essential for flood simulations.

math.NA

On improving the efficiency of ADER methods

The (modern) arbitrary derivative (ADER) approach is a popular technique for the numerical solution of differential problems based on iteratively solving an implicit discretization of their weak formulation. In this work, focusing on an ODE context, we investigate several strategies to improve this approach. Our initial emphasis is on the order of accuracy of the method in connection with the polynomial discretization of the weak formulation. We demonstrate that precise choices lead to higher-order convergences in comparison to the existing literature. Then, we put ADER methods into a Deferred Correction (DeC) formalism. This allows to determine the optimal number of iterations, which is equal to the formal order of accuracy of the method, and to introduce efficient $p$-adaptive modifications. These are defined by matching the order of accuracy achieved and the degree of the polynomial reconstruction at each iteration. We provide analytical and numerical results, including the stability analysis of the new modified methods, the investigation of the computational efficiency, an application to adaptivity and an application to hyperbolic PDEs with a Spectral Difference (SD) space discretization.

math.NA

A new efficient explicit Deferred Correction framework: analysis and applications to hyperbolic PDEs and adaptivity

The Deferred Correction (DeC) is an iterative procedure, characterized by increasing accuracy at each iteration, which can be used to design numerical methods for systems of ODEs. The main advantage of such framework is the automatic way of getting arbitrarily high order methods, which can be put in Runge--Kutta (RK) form. The drawback is the larger computational cost with respect to the most used RK methods. To reduce such cost, in an explicit setting, we propose an efficient modification: we introduce interpolation processes between the DeC iterations, decreasing the computational cost associated to the low order ones. We provide the Butcher tableaux of the new modified methods and we study their stability, showing that in some cases the computational advantage does not affect the stability. The flexibility of the novel modification allows nontrivial applications to PDEs and construction of adaptive methods. The good performances of the introduced methods are broadly tested on several benchmarks both in ODE and PDE contexts.

math.NA

Efficient iterative arbitrary high order methods: an adaptive bridge between low and high order

We propose a new paradigm for designing efficient p-adaptive arbitrary high order methods. We consider arbitrary high order iterative schemes that gain one order of accuracy at each iteration and we modify them in order to match the accuracy achieved in a specific iteration with the discretization accuracy of the same iteration. Apart from the computational advantage, the new modified methods allow to naturally perform p-adaptivity, stopping the iterations when appropriate conditions are met. Moreover, the modification is very easy to be included in an existing implementation of an arbitrary high order iterative scheme and it does not ruin the possibility of parallelization, if this was achievable by the original method. An application to the Arbitrary DERivative (ADER) method for hyperbolic Partial Differential Equations (PDEs) is presented here. We explain how such framework can be interpreted as an arbitrary high order iterative scheme, by recasting it as a Deferred Correction (DeC) method, and how to easily modify it to obtain a more efficient formulation, in which a local a posteriori limiter can be naturally integrated leading to p-adaptivity and structure preserving properties. Finally, the novel approach is extensively tested against classical benchmarks for compressible gas dynamics to show the robustness and the computational efficiency.

math.NA

An Arbitrary High Order and Positivity Preserving Method for the Shallow Water Equations

In this paper, we develop and present an arbitrary high order well-balanced finite volume WENO method combined with the modified Patankar Deferred Correction (mPDeC) time integration method for the shallow water equations. Due to the positivity-preserving property of mPDeC, the resulting scheme is unconditionally positivity preserving for the water height. To apply the mPDeC approach, we have to interpret the spatial semi-discretization in terms of production-destruction systems. Only small modifications inside the classical WENO implementation are necessary and we explain how it can be done. In numerical simulations, focusing on a fifth order method, we demonstrate the good performance of the new method and verify the theoretical properties.

math.NA