Showing 1–47 of 47 results for author: Nave, J

Diffeomorphic Neural Operator Learning

Authors: Seth Taylor, Alex Bihlo, Jean-Christophe Nave

Abstract: We present an operator learning approach for a class of evolution operators using a composition of a learned lift into the space of diffeomorphisms of the domain and the group action on the field space. In turn, this transforms the semigroup structure of the evolution operator into a corresponding group structure allowing time stepping be performed through composition on the space of diffeomorphis… ▽ More We present an operator learning approach for a class of evolution operators using a composition of a learned lift into the space of diffeomorphisms of the domain and the group action on the field space. In turn, this transforms the semigroup structure of the evolution operator into a corresponding group structure allowing time stepping be performed through composition on the space of diffeomorphisms rather than in the field space directly. This results in a number of structure-preserving properties related to preserving a relabelling symmetry of the dynamics as a hard constraint. We study the resolution properties of our approach, along with its connection to the techniques of diffeomorphic image registration. Numerical experiments on forecasting turbulent fluid dynamics are provided, demonstrating its conservative properties, non-diffusivity, and ability to capture anticipated statistical scaling relations at sub-grid scales. Our method provides an example of geometric operator learning and indicates a clear performance benefit from leveraging a priori known infinite-dimensional geometric structure. △ Less

Submitted 8 August, 2025; originally announced August 2025.

A Characteristic Mapping Method with Source Terms: Applications to Ideal Magnetohydrodynamics

Authors: Xi-Yuan Yin, Philipp Krah, Jean-Christophe Nave, Kai Schneider

Abstract: This work introduces a generalized characteristic mapping method designed to handle non-linear advection with source terms. The semi-Lagrangian approach advances the flow map, incorporating the source term via the Duhamel integral. We derive a recursive formula for the time decomposition of the map and the source term integral, enhancing computational efficiency. Benchmark computations are present… ▽ More This work introduces a generalized characteristic mapping method designed to handle non-linear advection with source terms. The semi-Lagrangian approach advances the flow map, incorporating the source term via the Duhamel integral. We derive a recursive formula for the time decomposition of the map and the source term integral, enhancing computational efficiency. Benchmark computations are presented for a test case with an exact solution and for two-dimensional ideal incompressible magnetohydrodynamics (MHD). Results demonstrate third-order accuracy in both space and time. The submap decomposition method achieves exceptionally high resolution, as illustrated by zooming into fine-scale current sheets. An error estimate is performed and suggests third order convergence in space and time. △ Less

Submitted 20 November, 2024; originally announced November 2024.

Comments: The preprint has not been revised yet!

Structure preserving discretization: A Berezin-Toeplitz Quantization viewpoint

Authors: Damien Tageddine, Jean-Christophe Nave

Abstract: In this paper, we introduce a comprehensive axiomatization of structure-preserving discretization through the framework of commutative diagrams. By establishing a formal language that captures the essential properties of discretization processes, we provide a rigorous foundation for analyzing how various structures (such as algebraic, geometric, and topological features) are maintained during the… ▽ More In this paper, we introduce a comprehensive axiomatization of structure-preserving discretization through the framework of commutative diagrams. By establishing a formal language that captures the essential properties of discretization processes, we provide a rigorous foundation for analyzing how various structures (such as algebraic, geometric, and topological features) are maintained during the transition from continuous to discrete settings. Specifically, we establish that the transition from continuous to discrete differential settings invariably leads to noncommutative structures, reinforcing previous observation on the interplay between discretization and noncommutativity. We demonstrate the applicability of our axiomatization by applying it to the Berezin-Toeplitz quantization, showing that this quantization method adheres to our proposed criteria for structure-preserving discretization. We establish in this setting a precise limit theorem for the approximation of the Laplacian by a sequence of matrix approximations. This work not only enriches the theoretical understanding of the nature of discretization but also sets the stage for further exploration of its applications across various discretization methods. △ Less

Submitted 1 November, 2024; originally announced November 2024.

Viscous shock waves of Burgers equation with fast diffusion and singularity

Authors: Shufang Xu, Ming Mei, Jean-Christophe Nave, Wancheng Sheng

Abstract: In this paper, we study the asymptotic stability of viscous shock waves for Burgers' equation with fast diffusion $u_t+f(u)_x=μ(u^m)_{xx}$ on $\mathbb{R} \times (0, +\infty)$ when $0<m<1$. For the proposed constant states $u_->u_+=0$, the equation with fast diffusion $(u^m)_{xx}=m\left(\frac{u_x}{u^{1-m}}\right)_x$ processes a strong singularity at $u_+=0$, which causes the stability study to be c… ▽ More In this paper, we study the asymptotic stability of viscous shock waves for Burgers' equation with fast diffusion $u_t+f(u)_x=μ(u^m)_{xx}$ on $\mathbb{R} \times (0, +\infty)$ when $0<m<1$. For the proposed constant states $u_->u_+=0$, the equation with fast diffusion $(u^m)_{xx}=m\left(\frac{u_x}{u^{1-m}}\right)_x$ processes a strong singularity at $u_+=0$, which causes the stability study to be challenging. We observe that, there exist two different types of viscous shocks, one is the non-degenerate shock satisfying Lax's entropy condition with fast algebraic decay to the singular state $u_+=0$, which causes much strong singularity to the system in the form of $m\left(\frac{u_x}{u^{1-m}}\right)_x$, and the other is the degenerate viscous shock with slow algebraic decay to $u_+=0$, which makes less strong singularity to the system. In order to overcome the singularity at $u_+=0$, we technically use the weighted energy method and develop a new strategy where the weights related to the shock waves are carefully selected, while the chosen weights for the non-degenerate case are stronger than the degenerate case. Numerical simulations are also carried out in different cases to illustrate and validate our theoretical results. In particular, we numerically approximate the solution for different value of $0<m<1$, and find that the shapes of shock waves become steeper when the singularity $\left(\frac{u_x}{u^{1-m}}\right)_x$ is stronger as $m\rightarrow 0$, which indicates that the effect of singular fast diffusion on the solution is essential. △ Less

Submitted 19 April, 2024; v1 submitted 16 April, 2024; originally announced April 2024.

Singularity formation of vortex sheets in 2D Euler equations using the characteristic mapping method

Authors: Julius Bergmann, Thibault Maurel-Oujia, Xi-Yuan, Yin, Jean-Christophe Nave, Kai Schneider

Abstract: The goal of this numerical study is to get insight into singular solutions of the two-dimensional (2D) Euler equations for non-smooth initial data, in particular for vortex sheets. To this end high resolution computations of vortex layers in 2D incompressible Euler flows are performed using the characteristic mapping method (CMM). This semi-Lagrangian method evolves the flow map using the gradient… ▽ More The goal of this numerical study is to get insight into singular solutions of the two-dimensional (2D) Euler equations for non-smooth initial data, in particular for vortex sheets. To this end high resolution computations of vortex layers in 2D incompressible Euler flows are performed using the characteristic mapping method (CMM). This semi-Lagrangian method evolves the flow map using the gradient-augmented level set method (GALS). The semi-group structure of the flow map allows its decomposition into sub-maps (each over a finite time interval), and thus the precision can be controlled by choosing appropriate remapping times. Composing the flow map yields exponential resolution in linear time, a unique feature of CMM, and thus fine scale flow structures can be resolved in great detail. Here the roll-up process of vortex layers is studied varying the thickness of the layer showing its impact on the growth of palinstrophy and possible blow up of absolute vorticity. The curvature of the vortex sheet shows a singular-like behavior. The self-similar structure of the vortex core is investigated in the vanishing thickness limit. Conclusions on the non-uniqueness of weak solutions of 2D Euler for non-smooth initial data are drawn and the presence of flow singularities is revealed tracking them in the complex plane. △ Less

Submitted 2 April, 2024; originally announced April 2024.

Comments: 24 pages, 15 figures

MSC Class: 76B47; 76B03; 35Q31; 65M25

Stationary non-radial localized patterns in the planar Swift-Hohenberg PDE: constructive proofs of existence

Authors: Matthieu Cadiot, Jean-Philippe Lessard, Jean-Christophe Nave

Abstract: In this paper, we present a methodology for establishing constructive proofs of existence of smooth, stationary, non-radial localized patterns in the planar Swift-Hohenberg equation. Specifically, given an approximate solution $u_0$, we construct an approximate inverse for the linearization around $u_0$, enabling the development of a Newton-Kantorovich approach. Consequently, we derive a sufficien… ▽ More In this paper, we present a methodology for establishing constructive proofs of existence of smooth, stationary, non-radial localized patterns in the planar Swift-Hohenberg equation. Specifically, given an approximate solution $u_0$, we construct an approximate inverse for the linearization around $u_0$, enabling the development of a Newton-Kantorovich approach. Consequently, we derive a sufficient condition for the existence of a unique localized pattern in the vicinity of $u_0$. The verification of this condition is facilitated through a combination of analytic techniques and rigorous numerical computations. Moreover, an additional condition is derived, establishing that the localized pattern serves as the limit of a family of periodic solutions (in space) as the period tends to infinity. The integration of analytical tools and meticulous numerical analysis ensures a comprehensive validation of this condition. To illustrate the efficacy of the proposed methodology, we present computer-assisted proofs for the existence of three distinct unbounded branches of periodic solutions in the planar Swift-Hohenberg equation, all converging towards a localized planar pattern, whose existence is also proven constructively. All computer-assisted proofs, including the requisite codes, are accessible on GitHub at \cite{julia_cadiot}. △ Less

Submitted 17 September, 2024; v1 submitted 15 March, 2024; originally announced March 2024.

Journal ref: Journal of Differential Equations, volume = {414}, pages = {555-608}, year = {2025}

Nonlinear stability of shock profiles to Burgers' equation with critical fast diffusion and singularity

Authors: Xiaowen Li, Jingyu Li, Ming Mei, Jean-Christophe Nave

Abstract: In this paper we propose the first framework to study Burgers' equation featuring critical fast diffusion in form of $u_t+f(u)_x = (\ln u)_{xx}$. The solution possesses a strong singularity when $u=0$ hence bringing technical challenges. The main purpose of this paper is to investigate the asymptotic stability of viscous shocks, particularly those with shock profiles vanishing at the far field… ▽ More In this paper we propose the first framework to study Burgers' equation featuring critical fast diffusion in form of $u_t+f(u)_x = (\ln u)_{xx}$. The solution possesses a strong singularity when $u=0$ hence bringing technical challenges. The main purpose of this paper is to investigate the asymptotic stability of viscous shocks, particularly those with shock profiles vanishing at the far field $x=+\infty$. To overcome the singularity, we introduce some weight functions and show the nonlinear stability of shock profiles through the weighted energy method. Numerical simulations are also carried out in different cases of fast diffusion with singularity, which illustrate and confirm our theoretical results. △ Less

Submitted 14 February, 2024; originally announced February 2024.

A Characteristic Mapping Method for Vlasov-Poisson with Extreme Resolution Properties

Authors: Philipp Krah, Xi-Yuan Yin, Julius Bergmann, Jean-Christophe Nave, Kai Schneider

Abstract: We propose an efficient semi-Lagrangian characteristic mapping method for solving the one+one-dimensional Vlasov-Poisson equations with high precision on a coarse grid. The flow map is evolved numerically and exponential resolution in linear time is obtained. Global third-order convergence in space and time is shown and conservation properties are assessed. For benchmarking, we consider linear and… ▽ More We propose an efficient semi-Lagrangian characteristic mapping method for solving the one+one-dimensional Vlasov-Poisson equations with high precision on a coarse grid. The flow map is evolved numerically and exponential resolution in linear time is obtained. Global third-order convergence in space and time is shown and conservation properties are assessed. For benchmarking, we consider linear and nonlinear Landau damping and the two-stream instability. We compare the results with a Fourier pseudo-spectral method. The extreme fine-scale resolution features are illustrated showing the method's capabilities to efficiently treat filamentation in fusion plasma simulations. △ Less

Submitted 13 May, 2024; v1 submitted 15 November, 2023; originally announced November 2023.

Comments: Code is available at https://github.com/orgs/CharacteristicMappingMethod/repositories

Journal ref: Commun. Comput. Phys., 35 (2024), pp. 905-937

Statistical Fluctuation of Infinitesimal Spaces

Authors: Damien Tageddine, Jean-Christophe Nave

Abstract: This paper is a follow-up on the \emph{noncommutative differential geometry on infinitesimal spaces} [15]. In the present work, we extend the algebraic convergence from [15] to the geometric setting. On the one hand, we reformulate the definition of finite dimensional compatible Dirac operators using Clifford algebras. This definition also leads to a new construction of a Laplace operator. On the… ▽ More This paper is a follow-up on the \emph{noncommutative differential geometry on infinitesimal spaces} [15]. In the present work, we extend the algebraic convergence from [15] to the geometric setting. On the one hand, we reformulate the definition of finite dimensional compatible Dirac operators using Clifford algebras. This definition also leads to a new construction of a Laplace operator. On the other hand, after a well-chosen Green's function defined on a manifold, we show that when the Dirac operators can be interpreted as stochastic matrices. The sequence $(D_n)_{n\in \mathbb{N}}$ converges then in average to the usual Dirac operator on a spin manifold. The same conclusion can be drawn for the Laplace operator. △ Less

Submitted 12 September, 2023; v1 submitted 20 April, 2023; originally announced April 2023.

Rigorous computation of solutions of semi-linear PDEs on unbounded domains via spectral methods

Authors: Matthieu Cadiot, Jean-Philippe Lessard, Jean-Christophe Nave

Abstract: In this article we present a general method to rigorously prove existence of strong solutions to a large class of autonomous semi-linear PDEs in a Hilbert space $H^{l}\subset H^{s}(\mathbb{R}^{m})$ ($s\geq1$) via computer-assisted proofs. Our approach is fully spectral and uses Fourier series to approximate functions in $H^{l}$ as well as bounded linear operators from $L^{2}$ to $H^{l}$. In partic… ▽ More In this article we present a general method to rigorously prove existence of strong solutions to a large class of autonomous semi-linear PDEs in a Hilbert space $H^{l}\subset H^{s}(\mathbb{R}^{m})$ ($s\geq1$) via computer-assisted proofs. Our approach is fully spectral and uses Fourier series to approximate functions in $H^{l}$ as well as bounded linear operators from $L^{2}$ to $H^{l}$. In particular, we construct approximate inverses of differential operators via Fourier series approximations. Combining this construction with a Newton-Kantorovich approach, we develop a numerical method to prove existence of strong solutions. To do so, we introduce a finite-dimensional trace theorem from which we build smooth functions with support on a hypercube. The method is then generalized to systems of PDEs with extra equations/parameters such as eigenvalue problems. As an application, we prove the existence of a traveling wave (soliton) in the Kawahara equation in $H^{4}(\mathbb{R})$ as well as eigenpairs of the linearization about the soliton. These results allow us to prove the stability of the aforementioned traveling wave. △ Less

Submitted 29 February, 2024; v1 submitted 24 February, 2023; originally announced February 2023.

A characteristic mapping method for incompressible hydrodynamics on a rotating sphere

Authors: Seth Taylor, Jean-Christophe Nave

Abstract: We present a semi-Lagrangian characteristic mapping method for the incompressible Euler equations on a rotating sphere. The numerical method uses a spatio-temporal discretization of the inverse flow map generated by the Eulerian velocity as a composition of sub-interval flows formed by $C^1$ spherical spline interpolants. This approximation technique has the capacity of resolving sub-grid scales g… ▽ More We present a semi-Lagrangian characteristic mapping method for the incompressible Euler equations on a rotating sphere. The numerical method uses a spatio-temporal discretization of the inverse flow map generated by the Eulerian velocity as a composition of sub-interval flows formed by $C^1$ spherical spline interpolants. This approximation technique has the capacity of resolving sub-grid scales generated over time without increasing the spatial resolution of the computational grid. The numerical method is analyzed and validated using standard test cases yielding third-order accuracy in the supremum norm. Numerical experiments illustrating the unique resolution properties of the method are performed and demonstrate the ability to reproduce the forward energy cascade at sub-grid scales by upsampling the numerical solution. △ Less

Submitted 19 October, 2023; v1 submitted 2 February, 2023; originally announced February 2023.

Noncommutative Differential Geometry on Infinitesimal Spaces

Authors: Damien Tageddine, Jean-Christophe Nave

Abstract: In this paper, we use the language of noncommutative differential geometry to formalise discrete differential calculus. We begin with a brief review of inverse limit of posets as an approximation of topological spaces. We then show how to associate a $C^*$-algebra over a poset, giving it a piecewise-linear structure. Furthermore, we explain how dually the algebra of continuous function $C(M)$ over… ▽ More In this paper, we use the language of noncommutative differential geometry to formalise discrete differential calculus. We begin with a brief review of inverse limit of posets as an approximation of topological spaces. We then show how to associate a $C^*$-algebra over a poset, giving it a piecewise-linear structure. Furthermore, we explain how dually the algebra of continuous function $C(M)$ over a manifold $M$ can be approximated by a direct limit of $C^*$-algebras over posets. Finally, in the spirit of noncommutative differential geometry, we define a finite dimensional spectral triple on each poset. We show how the usual finite difference calculus is recovered as the eigenvalues of the commutator with the Dirac operator. We prove a convergence result in the case of the $d$-lattice in $\mathbb{R}^d$ and for the torus $\mathbb{T}^d$. △ Less

Submitted 20 April, 2023; v1 submitted 26 September, 2022; originally announced September 2022.

Emergence of Collective Behaviors from Local Voronoi Topological Perception

Authors: Ivan Gonzalez, Jack Tisdell, Rustum Choksi, Jean-Christophe Nave

Abstract: This article addresses how diverse collective behaviors arise from simple and realistic decisions made entirely at the level of each agent's personal space in the sense of the Voronoi diagram. We present a discrete time model in 2D in which individual agents are aware of their local Voronoi environment and may seek static target locations. In particular, agents only communicate directly with their… ▽ More This article addresses how diverse collective behaviors arise from simple and realistic decisions made entirely at the level of each agent's personal space in the sense of the Voronoi diagram. We present a discrete time model in 2D in which individual agents are aware of their local Voronoi environment and may seek static target locations. In particular, agents only communicate directly with their Voronoi neighbors and make decisions based on the geometry of their own Voronoi cells. With two effective control parameters, it is shown numerically to capture a wide range of collective behaviors in different scenarios. Further, we show that the Voronoi topology facilitates the computation of several novel observables for quantifying discrete collective behaviors. These observables are applicable to all agent-based models and to empirical data. △ Less

Submitted 13 February, 2024; v1 submitted 29 October, 2021; originally announced November 2021.

Comments: 17 pages, 7 figures, Gonzalez and Tisdell contributed equally

Conservative Integrators for Vortex Blob Methods

Authors: Cem Gormezano, Jean-Christophe Nave, Andy T. S. Wan

Abstract: Conservative symmetric second-order one-step integrators are derived using the Discrete Multiplier Method for a family of vortex-blob models approximating the incompressible Euler's equations on the plane. Conservative properties and second order convergence are proved. A rational function approximation was used to approximate the exponential integral that appears in the Hamiltonian. Numerical exp… ▽ More Conservative symmetric second-order one-step integrators are derived using the Discrete Multiplier Method for a family of vortex-blob models approximating the incompressible Euler's equations on the plane. Conservative properties and second order convergence are proved. A rational function approximation was used to approximate the exponential integral that appears in the Hamiltonian. Numerical experiments are shown to verify the conservative property of these integrators, their second-order accuracy, and as well as the resulting spatial and temporal accuracy of the vortex blob method. Moreover, the derived implicit conservative integrators are shown to be better at preserving conserved quantities than standard higher-order explicit integrators on comparable computation times. △ Less

Submitted 1 November, 2021; originally announced November 2021.

Comments: 36 pages

MSC Class: 65L05; 65L12; 65P10; 37M05; 37M15; 70F10; 76M23

A Characteristic Mapping Method for the three-dimensional incompressible Euler equations

Authors: Xi-Yuan Yin, Kai Schneider, Jean-Christophe Nave

Abstract: We propose an efficient semi-Lagrangian Characteristic Mapping (CM) method for solving the three-dimensional (3D) incompressible Euler equations. This method evolves advected quantities by discretizing the flow map associated with the velocity field. Using the properties of the Lie group of volume preserving diffeomorphisms SDiff, long-time deformations are computed from a composition of short-tim… ▽ More We propose an efficient semi-Lagrangian Characteristic Mapping (CM) method for solving the three-dimensional (3D) incompressible Euler equations. This method evolves advected quantities by discretizing the flow map associated with the velocity field. Using the properties of the Lie group of volume preserving diffeomorphisms SDiff, long-time deformations are computed from a composition of short-time submaps which can be accurately evolved on coarse grids. This method is a fundamental extension to the CM method for two-dimensional incompressible Euler equations [51]. We take a geometric approach in the 3D case where the vorticity is not a scalar advected quantity, but can be computed as a differential 2-form through the pullback of the initial condition by the characteristic map. This formulation is based on the Kelvin circulation theorem and gives point-wise a Lagrangian description of the vorticity field. We demonstrate through numerical experiments the validity of the method and show that energy is not dissipated through artificial viscosity and small scales of the solution are preserved. We provide error estimates and numerical convergence tests showing that the method is globally third-order accurate. △ Less

Submitted 7 July, 2021; originally announced July 2021.

MSC Class: 65M25

Journal ref: Journal of Computational Physics, 477, 111876, 2023

A Characteristic Mapping Method for Tracer Transport on the Sphere

Authors: Seth Taylor, Jean-Christophe Nave

Abstract: A semi-Lagrangian Characteristic Mapping method for the solution of the tracer transport equations on the sphere is presented. The method solves for the solution operator of the equations by approximating the inverse of the diffeomorphism generated by a given velocity field. The evolution of any tracer and mass density can then be computed via pullback with this map. We present a spatial discretiz… ▽ More A semi-Lagrangian Characteristic Mapping method for the solution of the tracer transport equations on the sphere is presented. The method solves for the solution operator of the equations by approximating the inverse of the diffeomorphism generated by a given velocity field. The evolution of any tracer and mass density can then be computed via pullback with this map. We present a spatial discretization of the manifold-valued map using a projection-based approach with spherical spline interpolation. The numerical scheme yields $C^1$ continuity for the map and global second-order accuracy for the solution of the tracer transport equations. Error estimates are provided and supported by convergence tests involving solid body rotation, moving vortices, deformational, and compressible flows. Additionally, we illustrate some features of computing the solution operator using a numerical mixing test and the transport of a fractal set in a complex flow environment. △ Less

Submitted 31 January, 2023; v1 submitted 24 June, 2021; originally announced June 2021.

Comments: Updated accepted manuscript

MSC Class: 65M25

Conservative Integrators for Many-body Problems

Authors: Andy T. S. Wan, Alexander Bihlo, Jean-Christophe Nave

Abstract: Conservative symmetric second-order one-step schemes are derived for dynamical systems describing various many-body systems using the Discrete Multiplier Method. This includes conservative schemes for the $n$-species Lotka-Volterra system, the $n$-body problem with radially symmetric potential and the $n$-point vortex models in the plane and on the sphere. In particular, we recover Greenspan-Labud… ▽ More Conservative symmetric second-order one-step schemes are derived for dynamical systems describing various many-body systems using the Discrete Multiplier Method. This includes conservative schemes for the $n$-species Lotka-Volterra system, the $n$-body problem with radially symmetric potential and the $n$-point vortex models in the plane and on the sphere. In particular, we recover Greenspan-Labudde's conservative schemes for the $n$-body problem. Numerical experiments are shown verifying the conservative property of the schemes and second-order accuracy. △ Less

Submitted 11 June, 2021; originally announced June 2021.

Comments: 35 pages

MSC Class: 65L05; 65L12; 65P10; 65Z05; 37M05; 37M15; 70F10

Journal ref: Journal of Computational Physics, Volume 466, 2022, 111417

High-order FDTD schemes for Maxwell's interface problems with discontinuous coefficients and complex interfaces based on the Correction Function Method

Authors: Yann-Meing Law, Jean-Christophe Nave

Abstract: We propose high-order FDTD schemes based on the Correction Function Method (CFM) for Maxwell's interface problems with discontinuous coefficients and complex interfaces. The key idea of the CFM is to model the correction function near an interface to retain the order of a finite difference approximation. For this, we solve a system of PDEs based on the original problem by minimizing an energy func… ▽ More We propose high-order FDTD schemes based on the Correction Function Method (CFM) for Maxwell's interface problems with discontinuous coefficients and complex interfaces. The key idea of the CFM is to model the correction function near an interface to retain the order of a finite difference approximation. For this, we solve a system of PDEs based on the original problem by minimizing an energy functional. The CFM is applied to the standard Yee scheme and a fourth-order FDTD scheme. The proposed CFM-FDTD schemes are verified in 2-D using the transverse magnetic mode (TM$_z$). Numerical examples include scattering of magnetic and non-magnetic dielectric cylinders, and problems with manufactured solutions using various complex interfaces and discontinuous piecewise varying coefficients. Long-time simulations are also performed to provide numerical evidences of the stability of the proposed numerical approach. The proposed CFM-FDTD schemes achieve up to fourth-order convergence in $L^2$-norm and provide approximations devoid of spurious oscillations. △ Less

Submitted 9 March, 2022; v1 submitted 13 January, 2021; originally announced January 2021.

Comments: 27 pages, 12 figures

MSC Class: 35Q61; 78M20; 65M06; 78A45

A diffusion-driven Characteristic Mapping method for particle management

Authors: Xi-Yuan Yin, Linan Chen, Jean-Christophe Nave

Abstract: We present a novel particle management method using the Characteristic Mapping framework. In the context of explicit evolution of parametrized curves and surfaces, the surface distribution of marker points created from sampling the parametric space is controlled by the area element of the parametrization function. As the surface evolves, the area element becomes uneven and the sampling, suboptimal… ▽ More We present a novel particle management method using the Characteristic Mapping framework. In the context of explicit evolution of parametrized curves and surfaces, the surface distribution of marker points created from sampling the parametric space is controlled by the area element of the parametrization function. As the surface evolves, the area element becomes uneven and the sampling, suboptimal. In this method we maintain the quality of the sampling by pre-composition of the parametrization with a deformation map of the parametric space. This deformation is generated by the velocity field associated to the diffusion process on the space of probability distributions and induces a uniform redistribution of the marker points. We also exploit the semigroup property of the heat equation to generate a submap decomposition of the deformation map which provides an efficient way of maintaining evenly distributed marker points on curves and surfaces undergoing extensive deformations. △ Less

Submitted 29 August, 2020; originally announced August 2020.

MSC Class: 65D18; 65M25; 65M50; 65M75

Journal ref: SIAM Journal on Scientific Computing, 43 Iss 5, 20M1364357, 2021

A simple geometric method for navigating the energy landscape of centroidal Voronoi tessellations

Authors: Ivan Gonzalez, Rustum Choksi, Jean-Christophe Nave

Abstract: Finding optimal (or low energy) centroidal Voronoi tessellations (CVTs) on a 2D domain is a challenging problem. One must navigate an energy landscape whose desirable critical points have sufficiently small basins of attractions that they are inaccessible with Monte-Carlo initialized gradient descent methods. We present a simple deterministic method for efficiently navigating the energy landscape… ▽ More Finding optimal (or low energy) centroidal Voronoi tessellations (CVTs) on a 2D domain is a challenging problem. One must navigate an energy landscape whose desirable critical points have sufficiently small basins of attractions that they are inaccessible with Monte-Carlo initialized gradient descent methods. We present a simple deterministic method for efficiently navigating the energy landscape in order to it access these low energy CVTs. The method has two parameters and is based upon each generator moving away from the closest neighbor by a certain distance. We give a statistical analysis of the performance of this hybrid method comparing with the results of a large number of runs for both Lloyd's method and state of the art quasi-Newton methods. Stochastic alternatives are also considered. △ Less

Submitted 21 October, 2020; v1 submitted 30 April, 2020; originally announced May 2020.

Comments: 27 pages, 72 figures

MSC Class: 49Q10 (Primary); 68U05; 82B80; 65D18 (Secondary)

Parametric Interpolation Framework for 1-D Scalar Conservation Laws with Non-Convex Flux Functions

Authors: Geoffrey McGregor, Jean-Christophe Nave

Abstract: In this paper we present a novel framework for obtaining high order numerical methods for 1-D scalar conservation laws with non-convex flux functions. When solving Riemann problems, the Oleinik entropy condition, [16], is satisfied when the resulting shocks and rarefactions correspond to correct portions of the appropriate (upper or lower) convex envelope of the flux function. We show that the sta… ▽ More In this paper we present a novel framework for obtaining high order numerical methods for 1-D scalar conservation laws with non-convex flux functions. When solving Riemann problems, the Oleinik entropy condition, [16], is satisfied when the resulting shocks and rarefactions correspond to correct portions of the appropriate (upper or lower) convex envelope of the flux function. We show that the standard equal-area principle fails to select these solutions in general, and therefore we introduce a generalized equal-area principle which always selects the weak solution corresponding to the correct convex envelope. The resulting numerical scheme presented here relies on the area-preserving parametric interpolation framework introduced in [14] and locates shock position to fifth order in space, conserves area exactly and admits weak solutions which satisfy the Oleinik entropy condition numerically regardless of the initial states. △ Less

Submitted 29 November, 2019; originally announced November 2019.

Parametric Interpolation Framework for Scalar Conservation Laws

Authors: Geoffrey McGregor, Jean-Christophe Nave

Abstract: In this paper we present a novel framework for obtaining high-order numerical methods for scalar conservation laws in one-space dimension for both the homogeneous and non-homogeneous case. The numerical schemes for these two settings are somewhat different in the presence of shocks, however at their core they both rely heavily on the solution curve being represented parametrically. By utilizing hi… ▽ More In this paper we present a novel framework for obtaining high-order numerical methods for scalar conservation laws in one-space dimension for both the homogeneous and non-homogeneous case. The numerical schemes for these two settings are somewhat different in the presence of shocks, however at their core they both rely heavily on the solution curve being represented parametrically. By utilizing high-order parametric interpolation techniques we succeed to obtain fifth order accuracy ( in space ) everywhere in the computation domain, including the shock location itself. In the presence of source terms a slight modification is required, yet the spatial order is maintained but with an additional temporal error appearing. We provide a detailed discussion of a sample scheme for non-homogeneous problems which obtains fifth order in space and fourth order in time even in the presence of shocks. △ Less

Submitted 29 October, 2019; originally announced October 2019.

A Characteristic Mapping Method for the two-dimensional incompressible Euler equations

Authors: Xi-Yuan Yin, Olivier Mercier, Badal Yadav, Kai Schneider, Jean-Christophe Nave

Abstract: We propose an efficient semi-Lagrangian method for solving the two-dimensional incompressible Euler equations with high precision on a coarse grid. The new approach evolves the flow map using the gradient-augmented level set method (GALSM). Since the flow map can be decomposed into submaps (each over a finite time interval), the error can be controlled by choosing the remapping times appropriately… ▽ More We propose an efficient semi-Lagrangian method for solving the two-dimensional incompressible Euler equations with high precision on a coarse grid. The new approach evolves the flow map using the gradient-augmented level set method (GALSM). Since the flow map can be decomposed into submaps (each over a finite time interval), the error can be controlled by choosing the remapping times appropriately. This leads to a numerical scheme that has exponential resolution in linear time. Error estimates are provided and conservation properties are analyzed. The computational efficiency and the high precision of the method are illustrated for a vortex merger and a four mode and a random flow. Comparisons with a Cauchy-Lagrangian method are also presented. △ Less

Submitted 23 October, 2019; originally announced October 2019.

Comments: 32 pages

Journal ref: Journal of Computational Physics, 424, 109781, 2021

FDTD schemes for Maxwell's equations with embedded perfect electric conductors based on the correction function method

Authors: Yann-Meing Law, Jean-Christophe Nave

Abstract: In this work, we propose staggered FDTD schemes based on the correction function method (CFM) to discretize Maxwell's equations with embedded perfect electric conductor (PEC) boundary conditions. The CFM uses a minimization procedure to compute a correction to a given FD scheme in the vicinity of the embedded boundary to retain its order. The minimization problem associated with CFM approaches is… ▽ More In this work, we propose staggered FDTD schemes based on the correction function method (CFM) to discretize Maxwell's equations with embedded perfect electric conductor (PEC) boundary conditions. The CFM uses a minimization procedure to compute a correction to a given FD scheme in the vicinity of the embedded boundary to retain its order. The minimization problem associated with CFM approaches is analyzed in the context of Maxwell's equations with embedded boundaries. In order to obtain a well-posed problem, we propose fictitious interface conditions to fulfill the lack of information, namely the surface current and charge density, on the embedded boundary. Fictitious interfaces can induce some issues for long time simulations and therefore the penalization coefficient associated with fictitious interface conditions must be chosen small enough. We introduce CFM-FDTD schemes based on the well-known Yee scheme and a fourth-order staggered FDTD scheme. Long time simulations and convergence studies are performed in 2-D for various geometries of the embedded boundary. CFM-FDTD schemes have shown high-order convergence. △ Less

Submitted 29 July, 2021; v1 submitted 23 September, 2019; originally announced September 2019.

Comments: 40 pages, 15 figures, modification of Acknowledgments

MSC Class: 35Q61; 65M06; 78M20

Area-Preserving Geometric Hermite Interpolation

Authors: Geoffrey McGregor, Jean-Christophe Nave

Abstract: In this paper we establish a framework for planar geometric interpolation with exact area preservation using cubic Bézier polynomials. We show there exists a family of such curves which are $5^{th}$ order accurate, one order higher than standard geometric cubic Hermite interpolation. We prove this result is valid when the curvature at the endpoints does not vanish, and in the case of vanishing cur… ▽ More In this paper we establish a framework for planar geometric interpolation with exact area preservation using cubic Bézier polynomials. We show there exists a family of such curves which are $5^{th}$ order accurate, one order higher than standard geometric cubic Hermite interpolation. We prove this result is valid when the curvature at the endpoints does not vanish, and in the case of vanishing curvature, the interpolation is $4^{th}$ order accurate. The method is computationally efficient and prescribes the parametrization speed at endpoints through an explicit formula based on the given data. Additional accuracy (i.e. same order but lower error constant) may be obtained through an iterative process to find optimal parametrization speeds which further reduces the error while still preserving the prescribed area exactly. △ Less

Submitted 20 March, 2019; v1 submitted 2 October, 2018; originally announced October 2018.

Treatment of complex interfaces for Maxwell's equations with continuous coefficients using the correction function method

Authors: Yann-Meing Law, Alexandre Noll Marques, Jean-Christophe Nave

Abstract: We propose a high-order FDTD scheme based on the correction function method (CFM) to treat interfaces with complex geometry without increasing the complexity of the numerical approach for constant coefficients. Correction functions are modeled by a system of PDEs based on Maxwell's equations with interface conditions. To be able to compute approximations of correction functions, a functional that… ▽ More We propose a high-order FDTD scheme based on the correction function method (CFM) to treat interfaces with complex geometry without increasing the complexity of the numerical approach for constant coefficients. Correction functions are modeled by a system of PDEs based on Maxwell's equations with interface conditions. To be able to compute approximations of correction functions, a functional that is a square measure of the error associated with the correction functions' system of PDEs is minimized in a divergence-free discrete functional space. Afterward, approximations of correction functions are used to correct a FDTD scheme in the vicinity of an interface where it is needed. We perform a perturbation analysis on the correction functions' system of PDEs. The discrete divergence constraint and the consistency of resulting schemes are studied. Numerical experiments are performed for problems with different geometries of the interface. A second-order convergence is obtained for a second-order FDTD scheme corrected using the CFM. High-order convergence is obtained with a corrected fourth-order FDTD scheme. The discontinuities within solutions are accurately captured without spurious oscillations. △ Less

Submitted 16 February, 2020; v1 submitted 30 September, 2018; originally announced October 2018.

Comments: 29 pages, 12 figures, modification of Acknowledgments

MSC Class: 35Q61; 65M06

Imposing jump conditions on nonconforming interfaces for the Correction Function Method: a least squares approach

Authors: Alexandre Noll Marques, Jean-Christophe Nave, Rodolfo Ruben Rosales

Abstract: We introduce a technique that simplifies the problem of imposing jump conditions on interfaces that are not aligned with a computational grid in the context of the Correction Function Method (CFM). The CFM offers a general framework to solve Poisson's equation in the presence of discontinuities to high order of accuracy, while using a compact discretization stencil. A key concept behind the CFM is… ▽ More We introduce a technique that simplifies the problem of imposing jump conditions on interfaces that are not aligned with a computational grid in the context of the Correction Function Method (CFM). The CFM offers a general framework to solve Poisson's equation in the presence of discontinuities to high order of accuracy, while using a compact discretization stencil. A key concept behind the CFM is enforcing the jump conditions in a least squares sense. This concept requires computing integrals over sections of the interface, which is a challenge in 3-D when only an implicit representation of the interface is available (e.g., the zero contour of a level set function). The technique introduced here is based on a new formulation of the least squares procedure that relies only on integrals over domains that are amenable to simple quadrature after local coordinate transformations. We incorporate this technique into a fourth order accurate implementation of the CFM, and show examples of solutions to Poisson's equation computed in 2-D and 3-D. △ Less

Submitted 10 July, 2019; v1 submitted 30 October, 2017; originally announced October 2017.

MSC Class: 76M20; 35N06

A Parametric Interpolation Framework for 1D Scalar Conservation Laws using the Equal Area Principle

Authors: Geoffrey McGregor, Jean-Christophe Nave

Abstract: In this paper we develop a novel framework for numerically solving scalar conservation laws in one space dimension. Utilizing the method of characteristics in conjunction with the equal area principle we develop an approach where the weak solution is obtained purely as the solution of a parametric interpolation problem. As this framework hinges on the validity of the equal area principle, we provi… ▽ More In this paper we develop a novel framework for numerically solving scalar conservation laws in one space dimension. Utilizing the method of characteristics in conjunction with the equal area principle we develop an approach where the weak solution is obtained purely as the solution of a parametric interpolation problem. As this framework hinges on the validity of the equal area principle, we provide a rigorous discussion of the equal area principle and show that, indeed, the equal area principle is equivalent to the Rankine-Hugoniot condition, within the specific context studied in this paper. Combining these results with properties of the characteristic equations yields the desired setting to define the equivalent parametric interpolation problem. We conclude by applying this framework to Burgers' equation and show how one obtains machine precision in the shock position when the initial condition can be represented exactly in the chosen space of parametric polynomials. △ Less

Submitted 3 April, 2017; originally announced April 2017.

Conservative methods for dynamical systems

Authors: Andy T. S. Wan, Alexander Bihlo, Jean-Christophe Nave

Abstract: We show a novel systematic way to construct conservative finite difference schemes for quasilinear first-order system of ordinary differential equations with conserved quantities. In particular, this includes both autonomous and non-autonomous dynamical systems with conserved quantities of arbitrary forms, such as time-dependent conserved quantities. Sufficient conditions to construct conservative… ▽ More We show a novel systematic way to construct conservative finite difference schemes for quasilinear first-order system of ordinary differential equations with conserved quantities. In particular, this includes both autonomous and non-autonomous dynamical systems with conserved quantities of arbitrary forms, such as time-dependent conserved quantities. Sufficient conditions to construct conservative schemes of arbitrary order are derived using the multiplier method. General formulas for first-order conservative schemes are constructed using divided difference calculus. New conservative schemes are found for various dynamical systems such as Euler's equation of rigid body rotation, Lotka-Volterra systems, the planar restricted three-body problem and the damped harmonic oscillator. △ Less

Submitted 7 December, 2016; originally announced December 2016.

Comments: 29 pages

MSC Class: 65L05 65L06 65L12; 65L20; 65P10; 65Z05; 37M05; 37M15

Journal ref: SIAM J. Numer. Anal. 55(5) 2255-2285 (2017)

A Correction Function Method for the Wave Equation with Interface Jump Conditions

Authors: David S. Abraham, Alexandre Noll Marques, Jean-Christophe Nave

Abstract: In this paper a novel method to solve the constant coefficient wave equation, subject to interface jump conditions, is presented. In general, such problems pose issues for standard finite difference solvers, as the inherent discontinuity in the solution results in erroneous derivative information wherever the stencils straddle the given interface. Here, however, the recently proposed Correction Fu… ▽ More In this paper a novel method to solve the constant coefficient wave equation, subject to interface jump conditions, is presented. In general, such problems pose issues for standard finite difference solvers, as the inherent discontinuity in the solution results in erroneous derivative information wherever the stencils straddle the given interface. Here, however, the recently proposed Correction Function Method (CFM) is used, in which correction terms are computed from the interface conditions, and added to affected nodes to compensate for the discontinuity. In contrast to existing methods, these corrections are not simply defined at affected nodes, but rather generalized to a continuous function within a small region surrounding the interface. As a result, the correction function may be defined in terms of its own governing partial differential equation (PDE) which may be solved, in principle, to arbitrary order of accuracy. The resulting scheme is not only arbitrarily high order, but also robust, having already seen application to Poisson problems and the heat equation. By extending the CFM to this new class of PDEs, the treatment of wave interface discontinuities in homogeneous media becomes possible. This allows, for example, for the straightforward treatment of infinitesimal source terms and sharp boundaries, free of staircasing errors. Additionally, new modifications to the CFM are derived, allowing compatibility with explicit multi-step methods, such as Runge-Kutta (RK4), without a reduction in accuracy. These results are then verified through numerous numerical experiments in one and two spatial dimensions. △ Less

Submitted 20 December, 2016; v1 submitted 17 September, 2016; originally announced September 2016.

Comments: 31 pages, 19 figures; clarified certain sections of the text, results unchanged

MSC Class: 35L05; 65M06

On the arbitrarily long-term stability of conservative methods

Authors: Andy T. S. Wan, Jean-Christophe Nave

Abstract: We show the arbitrarily long-term stability of conservative methods for autonomous ODEs. Given a system of autonomous ODEs with conserved quantities, if the preimage of the conserved quantities possesses a bounded locally nite neighborhood, then the global error of any conservative method with the uniformly bounded displacement property is bounded for all time, when the uniform time step is taken… ▽ More We show the arbitrarily long-term stability of conservative methods for autonomous ODEs. Given a system of autonomous ODEs with conserved quantities, if the preimage of the conserved quantities possesses a bounded locally nite neighborhood, then the global error of any conservative method with the uniformly bounded displacement property is bounded for all time, when the uniform time step is taken suciently small. On nite precision machines, the global error still remains bounded and independent of time until some arbitrarily large time determined by machine precision and tolerance. The main result is proved using elementary topological properties for discretized conserved quantities which are equicontinuous. In particular, long-term stability is also shown using an averaging identity when the discretized conserved quantities do not explicitly depend on time steps. Numerical results are presented to illustrate the long-term stability result. △ Less

Submitted 11 October, 2018; v1 submitted 20 July, 2016; originally announced July 2016.

Comments: 25 pages

MSC Class: 65L05 65L12; 65L20; 65L70; 65P10; 65Z05

Journal ref: SIAM J. Numer. Anal. 56(5) 2751-2775 (2018)

A fast-marching algorithm for non-monotonically evolving fronts

Authors: Alexandra Tcheng, Jean-Christophe Nave

Abstract: The non-monotonic propagation of fronts is considered. When the speed function $F:\mathbb{R}^{n} \times [0,T]\rightarrow \mathbb{R}$ is prescribed, the non-linear advection equation $φ_{t}+F|\nabla φ|=0$ is a Hamilton-Jacobi equation known as the level-set equation. It is argued that a small enough neighbourhood of the zero-level-set $\mathcal{M}$ of the solution… ▽ More The non-monotonic propagation of fronts is considered. When the speed function $F:\mathbb{R}^{n} \times [0,T]\rightarrow \mathbb{R}$ is prescribed, the non-linear advection equation $φ_{t}+F|\nabla φ|=0$ is a Hamilton-Jacobi equation known as the level-set equation. It is argued that a small enough neighbourhood of the zero-level-set $\mathcal{M}$ of the solution $φ: \mathbb{R}^{n} \times [0,T] \rightarrow \mathbb{R}$ is the graph of $ψ:\mathbb{R}^{n} \rightarrow \mathbb{R}$ where $ψ$ solves a Dirichlet problem of the form $H(\vec{u},ψ(\vec{u}),\nabla ψ(\vec{u}))=0$. A fast-marching algorithm is presented where each point is computed using a discretization of such a Dirichlet problem, with no restrictions on the sign of $F$. The output is a directed graph whose vertices evenly sample $\mathcal{M}$. The convergence, consistency and stability of the scheme are addressed. Bounds on the computational complexity are estimated, and experimentally shown to be on par with the Fast Marching Method. Examples are presented where the algorithm is shown to be globally first-order accurate. The complexities and accuracies observed are independent of the monotonicity of the evolution. △ Less

Submitted 25 May, 2016; v1 submitted 27 May, 2015; originally announced May 2015.

Comments: 27 pages, 17 figures, 1 table

A low complexity algorithm for non-monotonically evolving fronts

Authors: Alexandra Tcheng, Jean-Christophe Nave

Abstract: A new algorithm is proposed to describe the propagation of fronts advected in the normal direction with prescribed speed function F. The assumptions on F are that it does not depend on the front itself, but can depend on space and time. Moreover, it can vanish and change sign. To solve this problem the Level-Set Method [Osher, Sethian; 1988] is widely used, and the Generalized Fast Marching Method… ▽ More A new algorithm is proposed to describe the propagation of fronts advected in the normal direction with prescribed speed function F. The assumptions on F are that it does not depend on the front itself, but can depend on space and time. Moreover, it can vanish and change sign. To solve this problem the Level-Set Method [Osher, Sethian; 1988] is widely used, and the Generalized Fast Marching Method [Carlini et al.; 2008] has recently been introduced. The novelty of our method is that its overall computational complexity is predicted to be comparable to that of the Fast Marching Method [Sethian; 1996], [Vladimirsky; 2006] in most instances. This latter algorithm is O(N^n log N^n) if the computational domain comprises N^n points. Our strategy is to use it in regions where the speed is bounded away from zero -- and switch to a different formalism when F is approximately 0. To this end, a collection of so-called sideways partial differential equations is introduced. Their solutions locally describe the evolving front and depend on both space and time. The well-posedness of those equations, as well as their geometric properties are addressed. We then propose a convergent and stable discretization of those PDEs. Those alternative representations are used to augment the standard Fast Marching Method. The resulting algorithm is presented together with a thorough discussion of its features. The accuracy of the scheme is tested when F depends on both space and time. Each example yields an O(1/N) global truncation error. We conclude with a discussion of the advantages and limitations of our method. △ Less

Submitted 27 May, 2015; originally announced May 2015.

Comments: 30 pages, 12 figures, 1 table

A Fourier penalty method for solving the time-dependent Maxwell's equations in domains with curved boundaries

Authors: Ryan Galagusz, David Shirokoff, Jean-Christophe Nave

Abstract: We present a high order, Fourier penalty method for the Maxwell's equations in the vicinity of perfect electric conductor boundary conditions. The approach relies on extending the smooth non-periodic domain of the equations to a periodic domain by removing the exact boundary conditions and introducing an analytic forcing term in the extended domain. The forcing, or penalty term is chosen to system… ▽ More We present a high order, Fourier penalty method for the Maxwell's equations in the vicinity of perfect electric conductor boundary conditions. The approach relies on extending the smooth non-periodic domain of the equations to a periodic domain by removing the exact boundary conditions and introducing an analytic forcing term in the extended domain. The forcing, or penalty term is chosen to systematically enforce the boundary conditions to high order in the penalty parameter, which then allows for higher order numerical methods. We present an efficient numerical method for constructing the penalty term, and discretize the resulting equations using a Fourier spectral method. We demonstrate convergence orders of up to 3.5 for the one-dimensional Maxwell's equations, and show that the numerical method does not suffer from dispersion (or pollution) errors. We also illustrate the approach in two dimensions and demonstrate convergence orders of 2.5 for transverse magnetic modes and 1.5 for the transverse electric modes. We conclude the paper with numerous test cases in dimensions two and three including waves traveling in an irregular waveguide, and scattering off of a windmill-like geometry. △ Less

Submitted 13 November, 2015; v1 submitted 12 March, 2015; originally announced March 2015.

Comments: 50 pages, 21 figures; added three-dimensional results, added references

The multiplier method to construct conservative finite difference schemes for ordinary and partial differential equations

Authors: Andy T. S. Wan, Alexander Bihlo, Jean-Christophe Nave

Abstract: We present the multiplier method of constructing conservative finite difference schemes for ordinary and partial differential equations. Given a system of differential equations possessing conservation laws, our approach is based on discretizing conservation law multipliers and their associated density and flux functions. We show that the proposed discretization is consistent for any order of accu… ▽ More We present the multiplier method of constructing conservative finite difference schemes for ordinary and partial differential equations. Given a system of differential equations possessing conservation laws, our approach is based on discretizing conservation law multipliers and their associated density and flux functions. We show that the proposed discretization is consistent for any order of accuracy when the discrete multiplier has a multiplicative inverse. Moreover, we show that by construction, discrete densities can be exactly conserved. In particular, the multiplier method does not require the system to possess a Hamiltonian or variational structure. Examples, including dissipative problems, are given to illustrate the method. In the case when the inverse of the discrete multiplier becomes singular, consistency of the method is also established for scalar ODEs provided the discrete multiplier and density are zero-compatible. △ Less

Submitted 8 July, 2015; v1 submitted 27 November, 2014; originally announced November 2014.

MSC Class: 65L12; 65L99; 65M06; 65M99; 65N06; 65N99

Journal ref: SIAM J. Numer. Anal. 54, 86 (2016)

High order solution of Poisson problems with piecewise constant coefficients and interface jumps

Authors: Alexandre Noll Marques, Jean-Christophe Nave, Rodolfo Ruben Rosales

Abstract: We present a fast and accurate algorithm to solve Poisson problems in complex geometries, using regular Cartesian grids. We consider a variety of configurations, including Poisson problems with interfaces across which the solution is discontinuous (of the type arising in multi-fluid flows). The algorithm is based on a combination of the Correction Function Method (CFM) and Boundary Integral Method… ▽ More We present a fast and accurate algorithm to solve Poisson problems in complex geometries, using regular Cartesian grids. We consider a variety of configurations, including Poisson problems with interfaces across which the solution is discontinuous (of the type arising in multi-fluid flows). The algorithm is based on a combination of the Correction Function Method (CFM) and Boundary Integral Methods (BIM). Interface and boundary conditions can be treated in a fast and accurate manner using boundary integral equations, and the associated BIM. Unfortunately, BIM can be costly when the solution is needed everywhere in a grid, e.g. fluid flow problems. We use the CFM to circumvent this issue. The solution from the BIM is used to rewrite the problem as a series of Poisson problems in rectangular domains - which requires the BIM solution at interfaces/boundaries only. These Poisson problems involve discontinuities at interfaces, of the type that the CFM can handle. Hence we use the CFM to solve them (to high order of accuracy) with finite differences and a Fast Fourier Transform based fast Poisson solver. We present 2-D examples of the algorithm applied to Poisson problems involving complex geometries, including cases in which the solution is discontinuous. We show that the algorithm produces solutions that converge with either 3rd or 4th order of accuracy, depending on the type of boundary condition and solution discontinuity. △ Less

Submitted 15 December, 2016; v1 submitted 31 January, 2014; originally announced January 2014.

MSC Class: 76M20; 35N06

Adaptive gradient-augmented level set method with multiresolution error estimation

Authors: Dmitry Kolomenskiy, Jean-Christophe Nave, Kai Schneider

Abstract: A space-time adaptive scheme is presented for solving advection equations in two space dimensions. The gradient-augmented level set method using a semi-Lagrangian formulation with backward time integration is coupled with a point value multiresolution analysis using Hermite interpolation. Thus locally refined dyadic spatial grids are introduced which are efficiently implemented with dynamic quadtr… ▽ More A space-time adaptive scheme is presented for solving advection equations in two space dimensions. The gradient-augmented level set method using a semi-Lagrangian formulation with backward time integration is coupled with a point value multiresolution analysis using Hermite interpolation. Thus locally refined dyadic spatial grids are introduced which are efficiently implemented with dynamic quadtree data structures. For adaptive time integration, an embedded Runge-Kutta method is employed. The precision of the new fully adaptive method is analysed and speed up of CPU time and memory compression with respect to the uniform grid discretization are reported. △ Less

Submitted 19 March, 2015; v1 submitted 28 January, 2014; originally announced January 2014.

MSC Class: 35L65; 35Q35; 65M25; 65M50

The Characteristic Mapping Method for the Linear Advection of Arbitrary Sets

Authors: Olivier Mercier, Xi-Yuan Yin, Jean-Christophe Nave

Abstract: We present a new numerical method for transporting arbitrary sets in a velocity field. The method computes a deformation mapping of the domain and advects particular sets by function composition with the map. This also allows for the transport of multiple sets at low computational cost. Our strategy is to separate the computation of short time advection from the storage and representation of long… ▽ More We present a new numerical method for transporting arbitrary sets in a velocity field. The method computes a deformation mapping of the domain and advects particular sets by function composition with the map. This also allows for the transport of multiple sets at low computational cost. Our strategy is to separate the computation of short time advection from the storage and representation of long time deformation maps, employing appropriate grid resolution for each of these two parts. We show through numerical experiments that the resulting algorithm is accurate and exhibits significant reductions in computational time over other methods. Results are presented in two and three dimensions, and accuracy and efficiency are studied. △ Less

Submitted 5 December, 2019; v1 submitted 11 September, 2013; originally announced September 2013.

Comments: 24 pages, 8 figures

A Sharp-Interface Active Penalty Method for the Incompressible Navier-Stokes Equations

Authors: David Shirokoff, Jean-Christophe Nave

Abstract: The volume penalty method provides a simple, efficient approach for solving the incompressible Navier-Stokes equations in domains with boundaries or in the presence of moving objects. Despite the simplicity, the method is typically limited to first order spatial accuracy. We demonstrate that one may achieve high order accuracy by introducing an active penalty term. One key difference from other wo… ▽ More The volume penalty method provides a simple, efficient approach for solving the incompressible Navier-Stokes equations in domains with boundaries or in the presence of moving objects. Despite the simplicity, the method is typically limited to first order spatial accuracy. We demonstrate that one may achieve high order accuracy by introducing an active penalty term. One key difference from other works is that we use a sharp, unregularized mask function. We discuss how to construct the active penalty term, and provide numerical examples, in dimensions one and two. We demonstrate second and third order convergence for the heat equation, and second order convergence for the Navier-Stokes equations. In addition, we show that modifying the penalty term does not significantly alter the time step restriction from that of the conventional penalty method. △ Less

Submitted 10 February, 2014; v1 submitted 22 March, 2013; originally announced March 2013.

Comments: 29 pages, 13 figures

Convecting reference frames and invariant numerical models

Authors: Alexander Bihlo, Jean-Christophe Nave

Abstract: In the recent paper by Bernardini et al. [J. Comput. Phys. 232 (2013), 1-6] the discrepancy in the performance of finite difference and spectral models for simulations of flows with a preferential direction of propagation was studied. In a simplified investigation carried out using the viscous Burgers equation the authors attributed the poorer numerical results of finite difference models to a vio… ▽ More In the recent paper by Bernardini et al. [J. Comput. Phys. 232 (2013), 1-6] the discrepancy in the performance of finite difference and spectral models for simulations of flows with a preferential direction of propagation was studied. In a simplified investigation carried out using the viscous Burgers equation the authors attributed the poorer numerical results of finite difference models to a violation of Galilean invariance in the discretization and propose to carry out the computations in a reference frame moving with the bulk velocity of the flow. Here we further discuss this problem and relate it to known results on invariant discretization schemes. Non-invariant and invariant finite difference discretizations of Burgers equation are proposed and compared with the discretization using the remedy proposed by Bernardini et al.. △ Less

Submitted 24 January, 2013; originally announced January 2013.

Comments: 10 pages, 5 figures

Invariant Discretization Schemes Using Evolution-Projection Techniques

Authors: Alexander Bihlo, Jean-Christophe Nave

Abstract: Finite difference discretization schemes preserving a subgroup of the maximal Lie invariance group of the one-dimensional linear heat equation are determined. These invariant schemes are constructed using the invariantization procedure for non-invariant schemes of the heat equation in computational coordinates. We propose a new methodology for handling moving discretization grids which are general… ▽ More Finite difference discretization schemes preserving a subgroup of the maximal Lie invariance group of the one-dimensional linear heat equation are determined. These invariant schemes are constructed using the invariantization procedure for non-invariant schemes of the heat equation in computational coordinates. We propose a new methodology for handling moving discretization grids which are generally indispensable for invariant numerical schemes. The idea is to use the invariant grid equation, which determines the locations of the grid point at the next time level only for a single integration step and then to project the obtained solution to the regular grid using invariant interpolation schemes. This guarantees that the scheme is invariant and allows one to work on the simpler stationary grids. The discretization errors of the invariant schemes are established and their convergence rates are estimated. Numerical tests are carried out to shed some light on the numerical properties of invariant discretization schemes using the proposed evolution-projection strategy. △ Less

Submitted 1 August, 2013; v1 submitted 22 September, 2012; originally announced September 2012.

Journal ref: SIGMA 9 (2013), 052, 23 pages

A comparative study of the efficiency of jet schemes

Authors: Prince Chidyagwai, Jean-Christophe Nave, Rodolfo Ruben Rosales, Benjamin Seibold

Abstract: We present two versions of third order accurate jet schemes, which achieve high order accuracy by tracking derivative information of the solution along characteristic curves. For a benchmark linear advection problem, the efficiency of jet schemes is compared with WENO and Discontinuous Galerkin methods of the same order. Moreover, the performance of various schemes in tracking solution contours is… ▽ More We present two versions of third order accurate jet schemes, which achieve high order accuracy by tracking derivative information of the solution along characteristic curves. For a benchmark linear advection problem, the efficiency of jet schemes is compared with WENO and Discontinuous Galerkin methods of the same order. Moreover, the performance of various schemes in tracking solution contours is investigated. It is demonstrated that jet schemes possess the simplicity and speed of WENO schemes, while showing several of the advantages as well as the accuracy of DG methods. △ Less

Submitted 1 April, 2012; v1 submitted 4 April, 2011; originally announced April 2011.

Comments: 12 pages, 6 figures, presented at the conference Mathematical Modeling and Applications to Industrial Problems 2011

MSC Class: 65M25; 65M12; 35L04

Journal ref: Int. J. Numer. Anal. Model.-B, Vol. 3, No. 3, 2012, pp. 297-306

Jet schemes for advection problems

Authors: Benjamin Seibold, Jean-Christophe Nave, Rodolfo Ruben Rosales

Abstract: We present a systematic methodology to develop high order accurate numerical approaches for linear advection problems. These methods are based on evolving parts of the jet of the solution in time, and are thus called jet schemes. Through the tracking of characteristics and the use of suitable Hermite interpolations, high order is achieved in an optimally local fashion, i.e. the update for the data… ▽ More We present a systematic methodology to develop high order accurate numerical approaches for linear advection problems. These methods are based on evolving parts of the jet of the solution in time, and are thus called jet schemes. Through the tracking of characteristics and the use of suitable Hermite interpolations, high order is achieved in an optimally local fashion, i.e. the update for the data at any grid point uses information from a single grid cell only. We show that jet schemes can be interpreted as advect-and-project processes in function spaces, where the projection step minimizes a stability functional. Furthermore, this function space framework makes it possible to systematically inherit update rules for the higher derivatives from the ODE solver for the characteristics. Jet schemes of orders up to five are applied in numerical benchmark tests, and systematically compared with classical WENO finite difference schemes. It is observed that jet schemes tend to possess a higher accuracy than WENO schemes of the same order. △ Less

Submitted 18 November, 2011; v1 submitted 27 January, 2011; originally announced January 2011.

Comments: 26 pages, 6 figures; based on a poster presentation at the conference Fluid Dynamics, Analysis, and Numerics 2010

MSC Class: 65M25; 65M12; 35L04

Journal ref: Discrete Contin. Dyn. Syst. Ser. B, Vol. 17, No. 4, 2012, pp. 1229-1259

A Correction Function Method for Poisson Problems with Interface Jump Conditions

Authors: Alexandre Noll Marques, Jean-Christophe Nave, Rodolfo Ruben Rosales

Abstract: In this paper we present a method to treat interface jump conditions for constant coefficients Poisson problems that allows the use of standard "black box" solvers, without compromising accuracy. The basic idea of the new approach is similar to the Ghost Fluid Method (GFM). The GFM relies on corrections applied on nodes located across the interface for discretization stencils that straddle the int… ▽ More In this paper we present a method to treat interface jump conditions for constant coefficients Poisson problems that allows the use of standard "black box" solvers, without compromising accuracy. The basic idea of the new approach is similar to the Ghost Fluid Method (GFM). The GFM relies on corrections applied on nodes located across the interface for discretization stencils that straddle the interface. If the corrections are solution-independent, they can be moved to the right-hand-side (RHS) of the equations, producing a problem with the same linear system as if there were no jumps, only with a different RHS. However, achieving high accuracy is very hard (if not impossible) with the "standard" approaches used to compute the GFM correction terms. In this paper we generalize the GFM correction terms to a correction function, defined on a band around the interface. This function is then shown to be characterized as the solution to a PDE, with appropriate boundary conditions. This PDE can, in principle, be solved to any desired order of accuracy. As an example, we apply this new method to devise a 4th order accurate scheme for the constant coefficients Poisson equation with discontinuities in 2D. This scheme is based on (i) the standard 9-point stencil discretization of the Poisson equation, (ii) a representation of the correction function in terms of bicubics, and (iii) a solution of the correction function PDE by a least squares minimization. Several applications of the method are presented to illustrate its robustness dealing with a variety of interface geometries, its capability to capture sharp discontinuities, and its high convergence rate. △ Less

Submitted 29 September, 2011; v1 submitted 4 October, 2010; originally announced October 2010.

Comments: 59 pages, 42 figures

MSC Class: 76M20; 35N06

Journal ref: Journal of Computational Physics 230 (20) (2011) 7567-7597

A gradient-augmented level set method with an optimally local, coherent advection scheme

Authors: Jean-Christophe Nave, Rodolfo Ruben Rosales, Benjamin Seibold

Abstract: The level set approach represents surfaces implicitly, and advects them by evolving a level set function, which is numerically defined on an Eulerian grid. Here we present an approach that augments the level set function values by gradient information, and evolves both quantities in a fully coupled fashion. This maintains the coherence between function values and derivatives, while exploiting th… ▽ More The level set approach represents surfaces implicitly, and advects them by evolving a level set function, which is numerically defined on an Eulerian grid. Here we present an approach that augments the level set function values by gradient information, and evolves both quantities in a fully coupled fashion. This maintains the coherence between function values and derivatives, while exploiting the extra information carried by the derivatives. The method is of comparable quality to WENO schemes, but with optimally local stencils (performing updates in time by using information from only a single adjacent grid cell). In addition, structures smaller than the grid size can be located and tracked, and the extra derivative information can be employed to obtain simple and accurate approximations to the curvature. We analyze the accuracy and the stability of the new scheme, and perform benchmark tests. △ Less

Submitted 25 November, 2009; v1 submitted 20 May, 2009; originally announced May 2009.

Comments: 28 pages, 14 figures

MSC Class: 65M25; 35L65

Journal ref: J. Comput. Phys., Vol. 229, No. 10, 2010, pp. 3802-3827

Self-sustained nonlinear waves in traffic flow

Authors: Morris R. Flynn, Aslan R. Kasimov, Jean-Christophe Nave, Rodolfo R. Rosales, Benjamin Seibold

Abstract: In analogy to gas-dynamical detonation waves, which consist of a shock with an attached exothermic reaction zone, we consider herein nonlinear traveling wave solutions, termed "jamitons," to the hyperbolic ("inviscid") continuum traffic equations. Generic existence criteria are examined in the context of the Lax entropy conditions. Our analysis naturally precludes traveling wave solutions for wh… ▽ More In analogy to gas-dynamical detonation waves, which consist of a shock with an attached exothermic reaction zone, we consider herein nonlinear traveling wave solutions, termed "jamitons," to the hyperbolic ("inviscid") continuum traffic equations. Generic existence criteria are examined in the context of the Lax entropy conditions. Our analysis naturally precludes traveling wave solutions for which the shocks travel downstream more rapidly than individual vehicles. Consistent with recent experimental observations from a periodic roadway (Sugiyama et al., New Journal of Physics, 10, 2008), our numerical calculations show that, under appropriate road conditions, jamitons are attracting solutions, with the time evolution of the system converging towards a jamiton-dominated configuration. Jamitons are characterized by a sharp increase in density over a relatively compact section of the roadway. Applications of our analysis to traffic modeling and control are examined by way of a detailed example. △ Less

Submitted 15 October, 2008; originally announced October 2008.

Comments: 27 pages, 4 figures

Journal ref: Phys. Rev. E, Vol. 79, No. 5, 2009, pp. 056113

On "jamitons," self-sustained nonlinear traffic waves

Authors: Morris R. Flynn, Aslan R. Kasimov, Jean-Christophe Nave, Rodolfo R. Rosales, Benjamin Seibold

Abstract: "Phantom jams," traffic blockages that arise without apparent cause, have long frustrated transportation scientists. Herein, we draw a novel homology between phantom jams and a related class of self-sustained transonic waves, namely detonations. Through this analogy, we describe the jam structure; favorable agreement with reported measurements from congested highways is observed. Complementary n… ▽ More "Phantom jams," traffic blockages that arise without apparent cause, have long frustrated transportation scientists. Herein, we draw a novel homology between phantom jams and a related class of self-sustained transonic waves, namely detonations. Through this analogy, we describe the jam structure; favorable agreement with reported measurements from congested highways is observed. Complementary numerical simulations offer insights into the jams' development. Our results identify conditions likely to result in a dangerous concentration of vehicles and thereby lend guidance in traffic control and roadway design. △ Less

Submitted 17 September, 2008; v1 submitted 16 September, 2008; originally announced September 2008.

Comments: 6 pages, 4 figures

MSC Class: 35Q80; 76H05; 90B20