-
Contact discontinuities for 2-D isentropic Euler are unique in 1-D but wildly non-unique otherwise
Authors:
Sam G. Krupa,
László Székelyhidi Jr
Abstract:
We develop a general framework for studying non-uniqueness of the Riemann problem for the isentropic compressible Euler system in two spatial dimensions, and in this paper we present the most delicate result of our method: non-uniqueness of the contact discontinuity. Our approach is computational, and uses the pressure law as an additional degree of freedom.
The stability of the contact disconti…
▽ More
We develop a general framework for studying non-uniqueness of the Riemann problem for the isentropic compressible Euler system in two spatial dimensions, and in this paper we present the most delicate result of our method: non-uniqueness of the contact discontinuity. Our approach is computational, and uses the pressure law as an additional degree of freedom.
The stability of the contact discontinuities for this system is a major open problem (see Gui-Qiang Chen and Ya-Guang Wang [Nonlinear partial differential equations, volume 7 of Abel Symposia. Springer, Heidelberg, 2012.]).
We find a smooth pressure law $p$, verifying the physically relevant condition $p'>0$, such that for the isentropic compressible Euler system with this pressure law, contact discontinuity initial data is wildly non-unique in the class of bounded, admissible weak solutions. This result resolves the question of uniqueness for contact discontinuity solutions in the compressible regime.
Moreover, in the same regularity class in which we have non-uniqueness of the contact discontinuity, i.e. $L^\infty$, with no $BV$ regularity or self-similarity, we show that the classical contact discontinuity solution to the two-dimensional isentropic compressible Euler system is in fact unique in the class of bounded, admissible weak solutions if we restrict to 1-D solutions.
△ Less
Submitted 17 September, 2024;
originally announced September 2024.
-
Finite time BV blowup for Liu-admissible solutions to $p$-system via computer-assisted proof
Authors:
Sam G. Krupa
Abstract:
In this paper, we consider finite time blowup of the $BV$-norm for exact solutions to genuinely nonlinear hyperbolic systems in one space dimension, in particular the $p$-system. We consider solutions verifying shock admissibility criteria such as the Lax E-condition and the Liu E-condition. In particular, we present Riemann initial data which admits infinitely many bounded solutions, each of whic…
▽ More
In this paper, we consider finite time blowup of the $BV$-norm for exact solutions to genuinely nonlinear hyperbolic systems in one space dimension, in particular the $p$-system. We consider solutions verifying shock admissibility criteria such as the Lax E-condition and the Liu E-condition. In particular, we present Riemann initial data which admits infinitely many bounded solutions, each of which experience, not just finite time, but in fact instantaneous blowup of the $BV$ norm. The Riemann initial data is allowed to come from an open set in state space. Our method provably does not admit a strictly convex entropy.
The main results in this article compare to Jenssen [SIAM J. Math. Anal., 31(4):894--908, 2000], who shows $BV$ blowup for bounded solutions, or alternatively, blowup in $L^\infty$, for an artificial $3\times 3$ system which is not genuinely nonlinear. Baiti-Jenssen [Discrete Contin. Dynam. Systems, 7(4):837--853, 2001] improves upon this Jenssen result and can consider a genuinely nonlinear system, but then the blowup is only in $L^\infty$ and they cannot construct bounded solutions which blowup in $BV$. Moreover, their system is non-physical and provably does not admit a global, strictly convex entropy. Our result also shows sharpness of the recent Bressan-De Lellis result [Arch. Ration. Mech. Anal., 247(6):Paper No. 106, 12, 2023] concerning well-posedness via the Liu E-condition. The proof of our theorem is computer-assisted, following the framework of Székelyhidi [Arch. Ration. Mech. Anal., 172(1):133--152, 2004]. Our code is available on the GitHub.
△ Less
Submitted 12 March, 2024;
originally announced March 2024.
-
Theory of shifts, shocks, and the intimate connections to $L^2$-type a posteriori error analysis of numerical schemes for hyperbolic problems
Authors:
Jan Giesselmann,
Sam G. Krupa
Abstract:
In this paper, we develop reliable a posteriori error estimates for numerical approximations of scalar hyperbolic conservation laws in one space dimension.
Our methods have no inherent small-data limitations and are a step towards error control of numerical schemes for systems. We are careful not to appeal to the Kruzhkov theory for scalar conservation laws. Instead, we derive novel quantitative…
▽ More
In this paper, we develop reliable a posteriori error estimates for numerical approximations of scalar hyperbolic conservation laws in one space dimension.
Our methods have no inherent small-data limitations and are a step towards error control of numerical schemes for systems. We are careful not to appeal to the Kruzhkov theory for scalar conservation laws. Instead, we derive novel quantitative stability estimates that extend the theory of shifts, and in particular, the framework for proving stability first developed by the second author and Vasseur. This is the first time this methodology has been used for quantitative estimates.
We work entirely within the context of the theory of shifts and $a$-contraction, techniques which adapt well to systems. In fact, the stability framework by the second author and Vasseur has itself recently been pushed to systems [Chen-Krupa-Vasseur. Uniqueness and weak-BV stability for $2\times 2$ conservation laws. Arch. Ration. Mech. Anal., 246(1):299--332, 2022].
Our theoretical findings are complemented by a numerical implementation in MATLAB and numerical experiments.
△ Less
Submitted 6 November, 2023; v1 submitted 10 June, 2023;
originally announced June 2023.
-
Nonexistence of $T_4$ configurations for hyperbolic systems and the Liu entropy condition
Authors:
Sam G. Krupa,
László Székelyhidi Jr
Abstract:
We study the constitutive set $\mathcal{K}$ arising from a $2\times 2$ system of conservation laws in one space dimension, endowed with one entropy and entropy-flux pair. The convexity properties of the set $\mathcal{K}$ relate to the well-posedness of the underlying system and the ability to construct solutions via convex integration. Relating to the convexity of $\mathcal{K}$, in the particular…
▽ More
We study the constitutive set $\mathcal{K}$ arising from a $2\times 2$ system of conservation laws in one space dimension, endowed with one entropy and entropy-flux pair. The convexity properties of the set $\mathcal{K}$ relate to the well-posedness of the underlying system and the ability to construct solutions via convex integration. Relating to the convexity of $\mathcal{K}$, in the particular case of the $p$-system, Lorent and Peng [Calc. Var. Partial Differential Equations, 59(5):Paper No. 156, 36, 2020] show that $\mathcal{K}$ does not contain $T_4$ configurations. Recently, Johansson and Tione [arXiv e-prints, page arXiv:2208.10979, August 2022] showed that $\mathcal{K}$ does not contain $T_5$ configurations.
In this paper, we provide a substantial generalization of these results, based on a careful analysis of the shock curves for a large class of $2\times 2$ systems. In particular, we provide several sets of hypothesis on general systems which can be used to rule out the existence of $T_4$ configurations in the constitutive set $\mathcal{K}$. In particular, our results show the nonexistence of $T_4$ configurations for every well-known $2\times 2$ hyperbolic system of conservation laws which verifies the Liu entropy condition.
△ Less
Submitted 25 November, 2022;
originally announced November 2022.
-
Sharp a-contraction estimates for small extremal shocks
Authors:
William Golding,
Sam Krupa,
Alexis Vasseur
Abstract:
In this paper, we study the $a$-contraction property of small extremal shocks for 1-d systems of hyperbolic conservation laws endowed with a single convex entropy, when subjected to large perturbations. We show that the weight coefficient $a$ can be chosen with amplitude proportional to the size of the shock. The main result of this paper is a key building block in the companion paper, [{arXiv:201…
▽ More
In this paper, we study the $a$-contraction property of small extremal shocks for 1-d systems of hyperbolic conservation laws endowed with a single convex entropy, when subjected to large perturbations. We show that the weight coefficient $a$ can be chosen with amplitude proportional to the size of the shock. The main result of this paper is a key building block in the companion paper, [{arXiv:2010.04761}, 2020], in which uniqueness and BV-weak stability results for $2\times 2$ systems of hyperbolic conservation laws are proved.
△ Less
Submitted 20 October, 2021; v1 submitted 16 December, 2020;
originally announced December 2020.
-
Uniqueness and weak-BV stability for $2\times 2$ conservation laws
Authors:
Geng Chen,
Sam G. Krupa,
Alexis F. Vasseur
Abstract:
Let a 1-d system of hyperbolic conservation laws, with two unknowns, be endowed with a convex entropy. We consider the family of small $BV$ functions which are global solutions of this equation. For any small $BV$ initial data, such global solutions are known to exist. Moreover, they are known to be unique among $BV$ solutions verifying either the so-called Tame Oscillation Condition, or the Bound…
▽ More
Let a 1-d system of hyperbolic conservation laws, with two unknowns, be endowed with a convex entropy. We consider the family of small $BV$ functions which are global solutions of this equation. For any small $BV$ initial data, such global solutions are known to exist. Moreover, they are known to be unique among $BV$ solutions verifying either the so-called Tame Oscillation Condition, or the Bounded Variation Condition on space-like curves. In this paper, we show that these solutions are stable in a larger class of weak (and possibly not even $BV$) solutions of the system. This result extends the classical weak-strong uniqueness results which allow comparison to a smooth solution. Indeed our result extends these results to a weak-$BV$ uniqueness result, where only one of the solutions is supposed to be small $BV$, and the other solution can come from a large class. As a consequence of our result, the Tame Oscillation Condition, and the Bounded Variation Condition on space-like curves are not necessary for the uniqueness of solutions in the $BV$ theory, in the case of systems with 2 unknowns. The method is $L^2$ based. It builds up from the theory of a-contraction with shifts, where suitable weight functions $a$ are generated via the front tracking method.
△ Less
Submitted 21 December, 2020; v1 submitted 9 October, 2020;
originally announced October 2020.
-
Finite time stability for the Riemann problem with extremal shocks for a large class of hyperbolic systems
Authors:
Sam G. Krupa
Abstract:
In this paper on hyperbolic systems of conservation laws in one space dimension, we give a complete picture of stability for all solutions to the Riemann problem which contain only extremal shocks. We study stability of the Riemann problem amongst a large class of solutions. We show stability among the family of solutions with shocks from any family. We assume solutions verify at least one entropy…
▽ More
In this paper on hyperbolic systems of conservation laws in one space dimension, we give a complete picture of stability for all solutions to the Riemann problem which contain only extremal shocks. We study stability of the Riemann problem amongst a large class of solutions. We show stability among the family of solutions with shocks from any family. We assume solutions verify at least one entropy condition. We have no small data assumptions. The solutions we consider are bounded and satisfy a strong trace condition weaker than $BV_{\text{loc}}$. We make only mild assumptions on the system. In particular, our work applies to gas dynamics, including the isentropic Euler system and the full Euler system for a polytropic gas. We use the theory of a-contraction (see Kang and Vasseur [Arch. Ration. Mech. Anal., 222(1):343--391, 2016]), and introduce new ideas in this direction to allow for two shocks from different shock families to be controlled simultaneously. This paper shows $L^2$ stability for the Riemann problem for all time. Our results compare to Chen, Frid, and Li [Comm. Math. Phys., 228(2):201--217, 2002] and Chen and Li [J. Differential Equations, 202(2):332--353, 2004], which give uniqueness and long-time stability for perturbations of the Riemann problem -- amongst a large class of solutions without smallness assumptions and which are locally $BV$. Although, these results lack global $L^2$ stability.
△ Less
Submitted 10 May, 2019;
originally announced May 2019.
-
Criteria for the a-contraction and stability for the piecewise-smooth solutions to hyperbolic balance laws
Authors:
Sam G. Krupa
Abstract:
We show uniqueness and stability in $L^2$ and for all time for piecewise-smooth solutions to hyperbolic balance laws. We have in mind applications to gas dynamics, the isentropic Euler system and the full Euler system for a polytropic gas in particular. We assume the discontinuity in the piecewise smooth solution is an extremal shock. We use only mild hypotheses on the system. Our techniques and r…
▽ More
We show uniqueness and stability in $L^2$ and for all time for piecewise-smooth solutions to hyperbolic balance laws. We have in mind applications to gas dynamics, the isentropic Euler system and the full Euler system for a polytropic gas in particular. We assume the discontinuity in the piecewise smooth solution is an extremal shock. We use only mild hypotheses on the system. Our techniques and result hold without smallness assumptions on the solutions. We can handle shocks of any size. We work in the class of bounded, measurable solutions satisfying a single entropy condition. We also assume a strong trace condition on the solutions, but this is weaker than $BV_{\text{loc}}$. We use the theory of a-contraction (see Kang and Vasseur [Arch. Ration. Mech. Anal., 222(1):343--391, 2016]) developed for the stability of pure shocks in the case without source.
△ Less
Submitted 20 April, 2019;
originally announced April 2019.
-
Stability and uniqueness for piecewise smooth solutions to Burgers-Hilbert among a large class of solutions
Authors:
Sam G. Krupa,
Alexis F. Vasseur
Abstract:
In this paper, we show uniqueness and stability for the piecewise-smooth solutions to the Burgers--Hilbert equation constructed in Bressan and Zhang [Commun. Math. Sci., 15(1):165--184, 2017]. The Burgers--Hilbert equation is $u_t+(\frac{u^2}{2})_x=\mathbf{H}[u]$ where $\mathbf{H}$ is the Hilbert transform, a nonlocal operator. We show stability and uniqueness for solutions amongst a larger class…
▽ More
In this paper, we show uniqueness and stability for the piecewise-smooth solutions to the Burgers--Hilbert equation constructed in Bressan and Zhang [Commun. Math. Sci., 15(1):165--184, 2017]. The Burgers--Hilbert equation is $u_t+(\frac{u^2}{2})_x=\mathbf{H}[u]$ where $\mathbf{H}$ is the Hilbert transform, a nonlocal operator. We show stability and uniqueness for solutions amongst a larger class than the uniqueness result in Bressan and Zhang. The solutions we consider are measurable and bounded, satisfy at least one entropy condition, and verify a strong trace condition. We do not have smallness assumptions. We use the relative entropy method and theory of shifts (see Vasseur [Handbook of Differential Equations: Evolutionary Equations, 4:323 -- 376, 2008]).
△ Less
Submitted 20 April, 2019;
originally announced April 2019.
-
On Uniqueness of Solutions to Conservation Laws Verifying a Single Entropy Condition
Authors:
Sam G. Krupa,
Alexis F. Vasseur
Abstract:
For hyperbolic systems of conservation laws, uniqueness of solutions is still largely open. We aim to expand the theory of uniqueness for systems of conservation laws. One difficulty is that many systems have only one entropy. This contrasts with scalar conservation laws, where many entropies exist. It took until 1994 to show that one entropy is enough to ensure uniqueness of solutions for the sca…
▽ More
For hyperbolic systems of conservation laws, uniqueness of solutions is still largely open. We aim to expand the theory of uniqueness for systems of conservation laws. One difficulty is that many systems have only one entropy. This contrasts with scalar conservation laws, where many entropies exist. It took until 1994 to show that one entropy is enough to ensure uniqueness of solutions for the scalar conservation laws (see Panov [Mat. Zametki, 55(5):116--129, 159, 1994]). This single entropy result was proven again by De Lellis, Otto and Westdickenberg about 10 years later [Quart. Appl. Math., 62(4):687--700, 2004]. These two proofs both rely on the special connection between Hamilton--Jacobi equations and scalar conservation laws in one space dimension. However, this special connection does not extend to systems. In this paper, we prove the single entropy result for scalar conservation laws without using Hamilton--Jacobi. Our proof lays out new techniques that are promising for showing uniqueness of solutions in the systems case.
△ Less
Submitted 9 February, 2018; v1 submitted 17 September, 2017;
originally announced September 2017.
-
An Approach to Data Prefetching Using 2-Dimensional Selection Criteria
Authors:
Jean Sung,
Sebastian Krupa,
Andrew Fishberg,
Josef Spjut
Abstract:
We propose an approach to data memory prefetching which augments the standard prefetch buffer with selection criteria based on performance and usage pattern of a given instruction. This approach is built on top of a pattern matching based prefetcher, specifically one which can choose between a stream, a stride, or a stream followed by a stride. We track the most recently called instructions to mak…
▽ More
We propose an approach to data memory prefetching which augments the standard prefetch buffer with selection criteria based on performance and usage pattern of a given instruction. This approach is built on top of a pattern matching based prefetcher, specifically one which can choose between a stream, a stride, or a stream followed by a stride. We track the most recently called instructions to make a decision on the quantity of data to prefetch next. The decision is based on the frequency with which these instructions are called and the hit/miss rate of the prefetcher. In our approach, we separate the amount of data to prefetch into three categories: a high degree, a standard degree and a low degree. We ran tests on different values for the high prefetch degree, standard prefetch degree and low prefetch degree to determine that the most optimal combination was 1, 4, 8 lines respectively. The 2 dimensional selection criteria improved the performance of the prefetcher by up to 9.5% over the first data prefetching championship winner. Unfortunately performance also fell by as much as 14%, but remained similar on average across all of the benchmarks we tested.
△ Less
Submitted 14 May, 2015;
originally announced May 2015.
-
Numerical Analysis of Target Enumeration via Euler Characteristic Integrals
Authors:
Sam G. Krupa
Abstract:
Given a continuous sensor field, we can apply the Euler characteristic integral approach to count the number of targets in the sensor field. If the sensor field is discrete, the Euler integral approach introduces errors into our target count. In this paper, we study the behavior of the Euler integral when applied to discrete sensor fields. Under precise assumptions, we count the number of first- a…
▽ More
Given a continuous sensor field, we can apply the Euler characteristic integral approach to count the number of targets in the sensor field. If the sensor field is discrete, the Euler integral approach introduces errors into our target count. In this paper, we study the behavior of the Euler integral when applied to discrete sensor fields. Under precise assumptions, we count the number of first- and second-order errors in target count, and discover a formula proportional to much higher order errors. This allows us to derive a point estimator for the number of targets in a discrete sensor field. Finally we derive an asymptotic result, providing insight into how the discrete Euler integral behaves for a large number of targets.
△ Less
Submitted 3 June, 2022; v1 submitted 13 February, 2012;
originally announced February 2012.
-
Updating schemes in zero-temperature single-spin flip dynamics
Authors:
Sylwia Krupa,
Katarzyna Sznajd-Weron
Abstract:
In this paper we examine the role of the so called $c$-parallel updating schemes in relaxation from disordered states to the final ferromagnetic steady state. We investigate two zero-temperature single-spin flip dynamics on a one dimensional lattice of length $L$: inflow (i.e. generalized zero-temperature Glauber dynamics) and outflow opinion dynamics. The varying $c$ allows us to change the upd…
▽ More
In this paper we examine the role of the so called $c$-parallel updating schemes in relaxation from disordered states to the final ferromagnetic steady state. We investigate two zero-temperature single-spin flip dynamics on a one dimensional lattice of length $L$: inflow (i.e. generalized zero-temperature Glauber dynamics) and outflow opinion dynamics. The varying $c$ allows us to change the updating scheme from random sequential updating ($c=1/L$) to deterministic synchronous updating (for $c=1$). We show how the mean relaxation times depend on $c$ and scale with the system size $L$. Moreover, we empirically find an analytical formula for the ratio between mean relaxation times for inflow and outflow dynamics. Results obtained in this paper suggest that in some sense the original zero-temperature Glauber dynamics is a critical one among a broader class of inflow dynamics.
△ Less
Submitted 18 December, 2008;
originally announced December 2008.
-
Inflow versus outflow zero-temperature dynamics in one dimension
Authors:
Katarzyna Sznajd-Weron,
Sylwia Krupa
Abstract:
It has been suggested that Glauber (inflow) and Sznajd (outflow) zero-temperature dynamics for the one dimensional Ising ferromagnet with the nearest neighbors interactions are equivalent. Here we compare both dynamics from analytical and computational points of view. We use the method of mapping an Ising spin system onto the dimer RSA model and show that already this simple mapping allows to se…
▽ More
It has been suggested that Glauber (inflow) and Sznajd (outflow) zero-temperature dynamics for the one dimensional Ising ferromagnet with the nearest neighbors interactions are equivalent. Here we compare both dynamics from analytical and computational points of view. We use the method of mapping an Ising spin system onto the dimer RSA model and show that already this simple mapping allows to see the differences between inflow and outflow zero-temperature dynamics. Then we investigate both dynamics with synchronous, partially synchronous and random sequential updating using the Monte Carlo technique and compare both dynamics in terms of the number of persistent spins, clusters, mean relaxation time and relaxation time distribution.
△ Less
Submitted 24 March, 2006;
originally announced March 2006.
-
Relaxation under outflow dynamics with random sequential updating
Authors:
Sylwia Krupa,
Katarzyna Sznajd-Weron
Abstract:
In this paper we compare the relaxation in several versions of the Sznajd model (SM) with random sequential updating on the chain and square lattice. We start by reviewing briefly all proposed one dimensional versions of SM. Next, we compare the results obtained from Monte Carlo simulations with the mean field results obtained by Slanina and Lavicka . Finally, we investigate the relaxation on th…
▽ More
In this paper we compare the relaxation in several versions of the Sznajd model (SM) with random sequential updating on the chain and square lattice. We start by reviewing briefly all proposed one dimensional versions of SM. Next, we compare the results obtained from Monte Carlo simulations with the mean field results obtained by Slanina and Lavicka . Finally, we investigate the relaxation on the square lattice and compare two generalizations of SM, one suggested by Stauffer and another by Galam. We show that there are no qualitative differences between these two approaches, although the relaxation within the Galam rule is faster than within the well known Stauffer rule.
△ Less
Submitted 7 April, 2005;
originally announced April 2005.
