-
Convergent finite difference schemes for stochastic transport equations
Authors:
Ulrik S. Fjordholm,
Kenneth H. Karlsen,
Peter H. C. Pang
Abstract:
We present difference schemes for stochastic transport equations with low-regularity velocity fields. We establish $L^2$ stability and convergence of the difference approximations under conditions that are less strict than those required for deterministic transport equations. The $L^2$ estimate, crucial for the analysis, is obtained through a discrete duality argument and a comprehensive examinati…
▽ More
We present difference schemes for stochastic transport equations with low-regularity velocity fields. We establish $L^2$ stability and convergence of the difference approximations under conditions that are less strict than those required for deterministic transport equations. The $L^2$ estimate, crucial for the analysis, is obtained through a discrete duality argument and a comprehensive examination of a class of backward parabolic difference schemes.
△ Less
Submitted 3 July, 2024; v1 submitted 5 September, 2023;
originally announced September 2023.
-
The particle paths of hyperbolic conservation laws
Authors:
Ulrik S. Fjordholm,
Ola H. Mæhlen,
Magnus C. Ørke
Abstract:
Nonlinear scalar conservation laws are traditionally viewed as transport equations. We take instead the viewpoint of these PDEs as continuity equations with an implicitly defined velocity field. We show that a weak solution is the entropy solution if and only if the ODE corresponding to its velocity field is well-posed. We also show that the flow of the ODE is $1/2$-Hölder regular. Finally, we giv…
▽ More
Nonlinear scalar conservation laws are traditionally viewed as transport equations. We take instead the viewpoint of these PDEs as continuity equations with an implicitly defined velocity field. We show that a weak solution is the entropy solution if and only if the ODE corresponding to its velocity field is well-posed. We also show that the flow of the ODE is $1/2$-Hölder regular. Finally, we give several examples showing that our results are sharp, and we provide explicit computations in the case of a Riemann problem.
△ Less
Submitted 2 April, 2024; v1 submitted 19 June, 2023;
originally announced June 2023.
-
The zero-noise limit of SDEs with $L^\infty$ drift
Authors:
Ulrik Skre Fjordholm,
Markus Musch,
Andrey Pilipenko
Abstract:
We study the zero-noise limit for autonomous, one-dimensional ordinary differential equations with discontinuous right-hand sides. Although the deterministic equation might have infinitely many solutions, we show, under rather general conditions, that the sequence of stochastically perturbed solutions converges to a unique distribution on classical solutions of the deterministic equation. We provi…
▽ More
We study the zero-noise limit for autonomous, one-dimensional ordinary differential equations with discontinuous right-hand sides. Although the deterministic equation might have infinitely many solutions, we show, under rather general conditions, that the sequence of stochastically perturbed solutions converges to a unique distribution on classical solutions of the deterministic equation. We provide several tools for computing this limit distribution.
△ Less
Submitted 30 May, 2022;
originally announced May 2022.
-
On the vanishing viscosity limit of statistical solutions of the incompressible Navier-Stokes equations
Authors:
Ulrik Skre Fjordholm,
Siddhartha Mishra,
Franziska Weber
Abstract:
We study statistical solutions of the incompressible Navier-Stokes equation and their vanishing viscosity limit. We show that a formulation using correlation measures, which are probability measures accounting for spatial correlations, and moment equations is equivalent to statistical solutions in the Foias-Prodi sense. Under the assumption of weak scaling, a weaker version of Kolmogorov's self-si…
▽ More
We study statistical solutions of the incompressible Navier-Stokes equation and their vanishing viscosity limit. We show that a formulation using correlation measures, which are probability measures accounting for spatial correlations, and moment equations is equivalent to statistical solutions in the Foias-Prodi sense. Under the assumption of weak scaling, a weaker version of Kolmogorov's self-similarity at small scales hypothesis that allows for intermittency corrections, we show that the limit is a statistical solution of the incompressible Euler equations. To pass to the limit, we derive a Karman-Howarth-Monin relation for statistical solutions and combine it with the weak scaling assumption and a compactness theorem for correlation measures.
△ Less
Submitted 22 March, 2022; v1 submitted 9 October, 2021;
originally announced October 2021.
-
Well-posedness theory for nonlinear scalar conservation laws on networks
Authors:
Ulrik Skre Fjordholm,
Markus Musch,
Nils Henrik Risebro
Abstract:
We consider nonlinear scalar conservation laws posed on a network. We establish $L^1$ stability, and thus uniqueness, for weak solutions satisfying the entropy condition. We apply standard finite volume methods and show stability and convergence to the unique entropy solution, thus establishing existence of a solution in the process. Both our existence and stability/uniqueness theory is centred ar…
▽ More
We consider nonlinear scalar conservation laws posed on a network. We establish $L^1$ stability, and thus uniqueness, for weak solutions satisfying the entropy condition. We apply standard finite volume methods and show stability and convergence to the unique entropy solution, thus establishing existence of a solution in the process. Both our existence and stability/uniqueness theory is centred around families of stationary states for the equation. In one important case -- for monotone fluxes with an upwind difference scheme -- we show that the set of (discrete) stationary solutions is indeed sufficiently large to suit our general theory. We demonstrate the method's properties through several numerical experiments.
△ Less
Submitted 12 February, 2021;
originally announced February 2021.
-
Convergence rates of monotone schemes for conservation laws for data with unbounded total variation
Authors:
Ulrik Skre Fjordholm,
Kjetil Olsen Lye
Abstract:
We prove convergence rates of monotone schemes for conservation laws for Hölder continuous initial data with unbounded total variation, provided that the Hölder exponent of the initial data is greater than $1/2$. For strictly $\mathrm{Lip}^+$ stable monotone schemes, we prove convergence for any positive Hölder exponent. Numerical experiments are presented which verify the theory.
We prove convergence rates of monotone schemes for conservation laws for Hölder continuous initial data with unbounded total variation, provided that the Hölder exponent of the initial data is greater than $1/2$. For strictly $\mathrm{Lip}^+$ stable monotone schemes, we prove convergence for any positive Hölder exponent. Numerical experiments are presented which verify the theory.
△ Less
Submitted 15 October, 2020;
originally announced October 2020.
-
Second-order accurate TVD numerical methods for nonlocal nonlinear conservation laws
Authors:
Ulrik Skre Fjordholm,
Adrian Montgomery Ruf
Abstract:
We present a second-order accurate numerical method for a class of nonlocal nonlinear conservation laws called the "nonlocal pair-interaction model" which was recently introduced by Du, Huang, and LeFloch. Our numerical method uses second-order accurate reconstruction-based schemes for local conservation laws in conjunction with appropriate numerical integration. We show that the resulting method…
▽ More
We present a second-order accurate numerical method for a class of nonlocal nonlinear conservation laws called the "nonlocal pair-interaction model" which was recently introduced by Du, Huang, and LeFloch. Our numerical method uses second-order accurate reconstruction-based schemes for local conservation laws in conjunction with appropriate numerical integration. We show that the resulting method is total variation diminishing (TVD) and converges towards a weak solution. In fact, in contrast to local conservation laws, our second-order reconstruction-based method converges towards the unique entropy solution provided that the nonlocal interaction kernel satisfies a certain growth condition near zero. Furthermore, as the nonlocal horizon parameter in our method approaches zero we recover a well-known second-order method for local conservation laws. In addition, we answer several questions from the paper from Du, Huang, and LeFloch concerning regularity of solutions. In particular, we prove that any discontinuity present in a weak solution must be stationary and that, if the interaction kernel satisfies a certain growth condition, then weak solutions are unique. We present a series of numerical experiments in which we investigate the accuracy of our second-order scheme, demonstrate shock formation in the nonlocal pair-interaction model, and examine how the regularity of the solution depends on the choice of flux function.
△ Less
Submitted 12 May, 2021; v1 submitted 19 August, 2020;
originally announced August 2020.
-
Convergence of second-order, entropy stable methods for multi-dimensional conservation laws
Authors:
Neelabja Chatterjee,
Ulrik Skre Fjordholm
Abstract:
High-order accurate, $\textit{entropy stable}$ numerical methods for hyperbolic conservation laws have attracted much interest over the last decade, but only a few rigorous convergence results are available, particularly in multiple space dimensions. In this paper we show how the entropy stability of one such method yields a (weak) bound on oscillations, and using compensated compactness we prove…
▽ More
High-order accurate, $\textit{entropy stable}$ numerical methods for hyperbolic conservation laws have attracted much interest over the last decade, but only a few rigorous convergence results are available, particularly in multiple space dimensions. In this paper we show how the entropy stability of one such method yields a (weak) bound on oscillations, and using compensated compactness we prove convergence to a weak solution satisfying at least one entropy condition.
△ Less
Submitted 12 June, 2019;
originally announced June 2019.
-
Statistical solutions of hyperbolic systems of conservation laws: numerical approximation
Authors:
Ulrik Skre Fjordholm,
Kjetil Lye,
Siddhartha Mishra,
Franziska Weber
Abstract:
Statistical solutions are time-parameterized probability measures on spaces of integrable functions, that have been proposed recently as a framework for global solutions and uncertainty quantification for multi-dimensional hyperbolic system of conservation laws. By combining high-resolution finite volume methods with a Monte Carlo sampling procedure, we present a numerical algorithm to approximate…
▽ More
Statistical solutions are time-parameterized probability measures on spaces of integrable functions, that have been proposed recently as a framework for global solutions and uncertainty quantification for multi-dimensional hyperbolic system of conservation laws. By combining high-resolution finite volume methods with a Monte Carlo sampling procedure, we present a numerical algorithm to approximate statistical solutions. Under verifiable assumptions on the finite volume method, we prove that the approximations, generated by the proposed algorithm, converge in an appropriate topology to a statistical solution. Numerical experiments illustrating the convergence theory and revealing interesting properties of statistical solutions, are also presented.
△ Less
Submitted 6 June, 2019;
originally announced June 2019.
-
A convergent finite volume method for the Kuramoto equation and related non-local conservation laws
Authors:
Neelabja Chatterjee,
Ulrik Skre Fjordholm
Abstract:
We derive and study a Lax--Friedrichs type finite volume method for a large class of nonlocal continuity equations in multiple dimensions. We prove that the method converges weakly to the measure-valued solution, and converges strongly if the initial data is of bounded variation. Several numerical examples for the kinetic Kuramoto equation are provided, demonstrating that the method works well bot…
▽ More
We derive and study a Lax--Friedrichs type finite volume method for a large class of nonlocal continuity equations in multiple dimensions. We prove that the method converges weakly to the measure-valued solution, and converges strongly if the initial data is of bounded variation. Several numerical examples for the kinetic Kuramoto equation are provided, demonstrating that the method works well both for regular and singular data.
△ Less
Submitted 24 April, 2018;
originally announced April 2018.
-
Sharp uniqueness conditions for one-dimensional, autonomous ordinary differential equations
Authors:
Ulrik Skre Fjordholm
Abstract:
We give two conditions that are necessary and sufficient for the uniqueness of Filippov solutions of scalar, autonomous ordinary differential equations with discontinuous velocity fields. When only one of the two conditions is satisfied, we give a natural selection criterion that guarantees uniqueness of the solution.
We give two conditions that are necessary and sufficient for the uniqueness of Filippov solutions of scalar, autonomous ordinary differential equations with discontinuous velocity fields. When only one of the two conditions is satisfied, we give a natural selection criterion that guarantees uniqueness of the solution.
△ Less
Submitted 31 July, 2018; v1 submitted 23 April, 2018;
originally announced April 2018.
-
A second-order numerical method for the aggregation equations
Authors:
José A. Carrillo,
Ulrik Skre Fjordholm,
Susanne Solem
Abstract:
Inspired by so-called TVD limiter-based second-order schemes for hyperbolic conservation laws, we develop a second-order accurate numerical method for multi-dimensional aggregation equations. The method allows for simulations to be continued after the first blow-up time of the solution. In the case of symmetric, lambda-convex potentials with a possible Lipschitz singularity at the origin we prove…
▽ More
Inspired by so-called TVD limiter-based second-order schemes for hyperbolic conservation laws, we develop a second-order accurate numerical method for multi-dimensional aggregation equations. The method allows for simulations to be continued after the first blow-up time of the solution. In the case of symmetric, lambda-convex potentials with a possible Lipschitz singularity at the origin we prove that the method converges in the Monge--Kantorovich distance towards the unique gradient flow solution. Several numerical experiments are presented to validate the second-order convergence rate and to explore the performance of the scheme.
△ Less
Submitted 14 January, 2021; v1 submitted 20 April, 2018;
originally announced April 2018.
-
Numerical approximation of statistical solutions of scalar conservation laws
Authors:
Ulrik Skre Fjordholm,
Kjetil Lye,
Siddhartha Mishra
Abstract:
We propose efficient numerical algorithms for approximating statistical solutions of scalar conservation laws. The proposed algorithms combine finite volume spatio-temporal approximations with Monte Carlo and multi-level Monte Carlo discretizations of the probability space. Both sets of methods are proved to converge to the entropy statistical solution. We also prove that there is a considerable g…
▽ More
We propose efficient numerical algorithms for approximating statistical solutions of scalar conservation laws. The proposed algorithms combine finite volume spatio-temporal approximations with Monte Carlo and multi-level Monte Carlo discretizations of the probability space. Both sets of methods are proved to converge to the entropy statistical solution. We also prove that there is a considerable gain in efficiency resulting from the multi-level Monte Carlo method over the standard Monte Carlo method. Numerical experiments illustrating the ability of both methods to accurately compute multi-point statistical quantities of interest are also presented.
△ Less
Submitted 30 October, 2017;
originally announced October 2017.
-
Statistical solutions and Onsager's conjecture
Authors:
Ulrik Skre Fjordholm,
Emil Wiedemann
Abstract:
We prove a version of Onsager's conjecture on the conservation of energy for the incompressible Euler equations in the context of statistical solutions, as introduced recently by Fjordholm et al. As a byproduct, we also obtain a new proof for the conservative direction of Onsager's conjecture for weak solutions. Dedicated to Edriss S. Titi on the occasion of his 60th birthday.
We prove a version of Onsager's conjecture on the conservation of energy for the incompressible Euler equations in the context of statistical solutions, as introduced recently by Fjordholm et al. As a byproduct, we also obtain a new proof for the conservative direction of Onsager's conjecture for weak solutions. Dedicated to Edriss S. Titi on the occasion of his 60th birthday.
△ Less
Submitted 13 June, 2017;
originally announced June 2017.
-
Stability properties of the ENO method
Authors:
Ulrik Skre Fjordholm
Abstract:
We review the currently available stability properties of the ENO reconstruction procedure, such as its monotonicity and non-oscillatory properties, the sign property, upper bounds on cell interface jumps and a total variation-type bound. We also outline how these properties can be applied to derive stability and convergence of high-order accurate schemes for conservation laws.
We review the currently available stability properties of the ENO reconstruction procedure, such as its monotonicity and non-oscillatory properties, the sign property, upper bounds on cell interface jumps and a total variation-type bound. We also outline how these properties can be applied to derive stability and convergence of high-order accurate schemes for conservation laws.
△ Less
Submitted 14 September, 2016;
originally announced September 2016.
-
Statistical solutions of hyperbolic conservation laws I: Foundations
Authors:
Ulrik Skre Fjordholm,
Samuel Lanthaler,
Siddhartha Mishra
Abstract:
We seek to define statistical solutions of hyperbolic systems of conservation laws as time-parametrized probability measures on $p$-integrable functions. To do so, we prove the equivalence between probability measures on $L^p$ spaces and infinite families of \textit{correlation measures}. Each member of this family, termed a \textit{correlation marginal}, is a Young measure on a finite-dimensional…
▽ More
We seek to define statistical solutions of hyperbolic systems of conservation laws as time-parametrized probability measures on $p$-integrable functions. To do so, we prove the equivalence between probability measures on $L^p$ spaces and infinite families of \textit{correlation measures}. Each member of this family, termed a \textit{correlation marginal}, is a Young measure on a finite-dimensional tensor product domain and provides information about multi-point correlations of the underlying integrable functions. We also prove that any probability measure on a $L^p$ space is uniquely determined by certain moments (correlation functions) of the equivalent correlation measure.
We utilize this equivalence to define statistical solutions of multi-dimensional conservation laws in terms of an infinite set of equations, each evolving a moment of the correlation marginal. These evolution equations can be interpreted as augmenting entropy measure-valued solutions, with additional information about the evolution of all possible multi-point correlation functions. Our concept of statistical solutions can accommodate uncertain initial data as well as possibly non-atomic solutions even for atomic initial data.
For multi-dimensional scalar conservation laws we impose additional entropy conditions and prove that the resulting \textit{entropy statistical solutions} exist, are unique and are stable with respect to the $1$-Wasserstein metric on probability measures on $L^1$.
△ Less
Submitted 19 May, 2016;
originally announced May 2016.
-
Second-order convergence of monotone schemes for conservation laws
Authors:
Ulrik S. Fjordholm,
Susanne Solem
Abstract:
We prove that a class of monotone, \emph{$W_1$-contractive} schemes for scalar conservation laws converge at a rate of $Δx^2$ in the Wasserstein distance ($W_1$-distance), whenever the initial data is decreasing and consists of a finite number of piecewise constants. It is shown that the Lax--Friedrichs, Enquist--Osher and Godunov schemes are $W_1$-contractive. Numerical experiments are presented…
▽ More
We prove that a class of monotone, \emph{$W_1$-contractive} schemes for scalar conservation laws converge at a rate of $Δx^2$ in the Wasserstein distance ($W_1$-distance), whenever the initial data is decreasing and consists of a finite number of piecewise constants. It is shown that the Lax--Friedrichs, Enquist--Osher and Godunov schemes are $W_1$-contractive. Numerical experiments are presented to illustrate the main result. To the best of our knowledge, this is the first proof of second-order convergence of any numerical method for discontinuous solutions of nonlinear conservation laws.
△ Less
Submitted 14 May, 2016; v1 submitted 1 February, 2016;
originally announced February 2016.
-
A sign preserving WENO reconstruction method
Authors:
Ulrik S. Fjordholm,
Deep Ray
Abstract:
We propose a third-order WENO reconstruction which satisfies the sign property, required for constructing high resolution entropy stable finite difference scheme for conservation laws. The reconstruction technique, which is termed as SP-WENO, is endowed with additional properties making it a more robust option compared to ENO schemes of the same order. The performance of the proposed reconstructio…
▽ More
We propose a third-order WENO reconstruction which satisfies the sign property, required for constructing high resolution entropy stable finite difference scheme for conservation laws. The reconstruction technique, which is termed as SP-WENO, is endowed with additional properties making it a more robust option compared to ENO schemes of the same order. The performance of the proposed reconstruction is demonstrated via a series of numerical experiments for linear and nonlinear scalar conservation laws. The scheme is easily extended to multi-dimensional conservation laws.
△ Less
Submitted 30 October, 2015;
originally announced October 2015.
-
Construction of approximate entropy measure valued solutions for hyperbolic systems of conservation laws
Authors:
Ulrik S. Fjordholm,
Roger Käppeli,
Siddhartha Mishra,
Eitan Tadmor
Abstract:
Entropy solutions have been widely accepted as the suitable solution framework for systems of conservation laws in several space dimensions. However, recent results in \cite{CDL1,CDL2} have demonstrated that entropy solutions may not be unique. In this paper, we present numerical evidence that demonstrates that state of the art numerical schemes \emph{may not} necessarily converge to an entropy so…
▽ More
Entropy solutions have been widely accepted as the suitable solution framework for systems of conservation laws in several space dimensions. However, recent results in \cite{CDL1,CDL2} have demonstrated that entropy solutions may not be unique. In this paper, we present numerical evidence that demonstrates that state of the art numerical schemes \emph{may not} necessarily converge to an entropy solution of systems of conservation laws as the mesh is refined. Combining these two facts, we argue that entropy solutions may not be suitable as a solution framework for systems of conservation laws, particularly in several space dimensions.
Furthermore, we propose a more general notion, that of \emph{entropy measure valued solutions}, as an appropriate solution paradigm for systems of conservation laws. To this end, we present a detailed numerical procedure, which constructs stable approximations to entropy measure valued solutions and provide sufficient conditions that guarantee that these approximations converge to an entropy measure valued solution as the mesh is refined, thus providing a viable numerical framework for systems of conservation laws in several space dimensions. A large number of numerical experiments that illustrate the proposed schemes are presented and are utilized to examine several interesting properties of the computed entropy measure valued solutions.
△ Less
Submitted 29 June, 2015; v1 submitted 4 February, 2014;
originally announced February 2014.
-
ENO reconstruction and ENO interpolation are stable
Authors:
Ulrik S. Fjordholm,
Siddhartha Mishra,
Eitan Tadmor
Abstract:
We prove stability estimates for the ENO reconstruction and ENO interpolation procedures. In particular, we show that the jump of the reconstructed ENO pointvalues at each cell interface has the same sign as the jump of the underlying cell averages across that interface. We also prove that the jump of the reconstructed values can be upper-bounded in terms of the jump of the underlying cell average…
▽ More
We prove stability estimates for the ENO reconstruction and ENO interpolation procedures. In particular, we show that the jump of the reconstructed ENO pointvalues at each cell interface has the same sign as the jump of the underlying cell averages across that interface. We also prove that the jump of the reconstructed values can be upper-bounded in terms of the jump of the underlying cell averages. Similar sign properties hold for the ENO interpolation procedure. These estimates, which are shown to hold for ENO reconstruction and interpolation of arbitrary order of accuracy and on non-uniform meshes, indicate a remarkable rigidity of the piecewise-polynomial ENO procedure.
△ Less
Submitted 5 December, 2011;
originally announced December 2011.