Showing 1–50 of 72 results for author: Nordström, J

Global Bounds for the Error in Solutions of Linear Hyperbolic Systems due to Inaccurate Boundary Geometry

Authors: David A. Kopriva, Andrew R. Winters, Jan Nordström

Abstract: We derive global estimates for the error in solutions of linear hyperbolic systems due to inaccurate boundary geometry. We show that the error is bounded by data and bounded in time when the solutions in the true and approximate domains are bounded. We show that boundary data evaluation errors due to the incorrect locations of the boundaries are secondary effects, whereas the primary errors are fr… ▽ More We derive global estimates for the error in solutions of linear hyperbolic systems due to inaccurate boundary geometry. We show that the error is bounded by data and bounded in time when the solutions in the true and approximate domains are bounded. We show that boundary data evaluation errors due to the incorrect locations of the boundaries are secondary effects, whereas the primary errors are from the Jacobian and metric terms. In two space dimensions, specifically, we show that to lowest order the errors are proportional to the errors in the boundary curves and their derivatives. The results illustrate the importance of accurately approximating boundaries, and they should be helpful for high-order mesh generation and the design of optimization algorithms for boundary approximations. △ Less

Submitted 25 March, 2025; originally announced March 2025.

Open Boundary Conditions for Nonlinear Initial Boundary Value Problems

Authors: Jan Nordström

Abstract: We present a straightforward energy stable weak implementation procedure of open boundary conditions for nonlinear initial boundary value problems. It simplifies previous work and its practical implementation. We present a straightforward energy stable weak implementation procedure of open boundary conditions for nonlinear initial boundary value problems. It simplifies previous work and its practical implementation. △ Less

Submitted 16 February, 2025; originally announced March 2025.

MSC Class: 65 M22 ACM Class: G.1.8

Journal ref: Journal of Computational Physics 2025

Sp(2)-invariant expanders and shrinkers in Laplacian flow

Authors: Mark Haskins, Rowan Juneman, Johannes Nordström

Abstract: We show that the complete Sp(2)-invariant expanding solitons for Bryant's Laplacian flow on the anti-self-dual bundle of the 4-sphere form a 1-parameter family, and that they are all asymptotically conical (AC). We determine their asymptotic cones, and prove that this cone determines the complete expander (up to scale). Neither the unique Sp(2)-invariant torsion-free G_2-cone nor the asymptotic co… ▽ More We show that the complete Sp(2)-invariant expanding solitons for Bryant's Laplacian flow on the anti-self-dual bundle of the 4-sphere form a 1-parameter family, and that they are all asymptotically conical (AC). We determine their asymptotic cones, and prove that this cone determines the complete expander (up to scale). Neither the unique Sp(2)-invariant torsion-free G_2-cone nor the asymptotic cone of the explicit AC Sp(2)-invariant shrinker from arxiv:2112.09095 occurs as the asymptotic cone of a complete AC Sp(2)-invariant expander. We determine all possible end behaviours of Sp(2)-invariant solitons, identifying novel forward-complete end solutions for both expanders and shrinkers with faster-than-Euclidean volume growth. We conjecture that there exists a 1-parameter family of complete SU(3)-invariant expanders on the anti-self-dual bundle of the complex projective plane CP^2 with such asymptotic behaviour. We also conjecture that, in contrast to the Sp(2)-invariant case, there exist complete SU(3)-invariant AC expanders with asymptotic cone matching that of the explicit AC SU(3)-invariant shrinker from arxiv:2112.09095. The latter conjecture suggests that Laplacian flow may naturally implement a type of surgery in which a CP^2 shrinks to a conically singular point, but after which the flow can be continued smoothly, expanding a topologically different CP^2 from the singularity. △ Less

Submitted 22 April, 2025; v1 submitted 9 January, 2025; originally announced January 2025.

Comments: 63 pages, 2 figures; v2: minor corrections and clarifications

MSC Class: 53E99; 53C25 (primary); 53C29; 58J35 (secondary)

Cut-based Conflict Analysis in Mixed Integer Programming

Authors: Gioni Mexi, Felipe Serrano, Timo Berthold, Ambros Gleixner, Jakob Nordström

Abstract: For almost two decades, mixed integer programming (MIP) solvers have used graph-based conflict analysis to learn from local infeasibilities during branch-and-bound search. In this paper, we improve MIP conflict analysis by instead using reasoning based on cuts, inspired by the development of conflict-driven solvers for pseudo-Boolean optimization. Phrased in MIP terminology, this type of conflict… ▽ More For almost two decades, mixed integer programming (MIP) solvers have used graph-based conflict analysis to learn from local infeasibilities during branch-and-bound search. In this paper, we improve MIP conflict analysis by instead using reasoning based on cuts, inspired by the development of conflict-driven solvers for pseudo-Boolean optimization. Phrased in MIP terminology, this type of conflict analysis can be understood as a sequence of linear combinations, integer roundings, and cut generation. We leverage this MIP perspective to design a new conflict analysis algorithm based on mixed integer rounding cuts, which theoretically dominates the state-of-the-art method in pseudo-Boolean optimization using Chvátal-Gomory cuts. Furthermore, we extend this cut-based conflict analysis from pure binary programs to mixed binary programs and-in limited form-to general MIP with also integer-valued variables. We perform an empirical evaluation of cut-based conflict analysis as implemented in the open-source MIP solver SCIP, testing it on a large and diverse set of MIP instances from MIPLIB 2017. Our experimental results indicate that the new algorithm improves the default performance of SCIP in terms of running time, number of nodes in the search tree, and the number of instances solved. △ Less

Submitted 19 October, 2024; originally announced October 2024.

Exact space-time symmetry conservation and automatic mesh refinement for classical lattice field theory

Authors: A. Rothkopf, W. A. Horowitz, J. Nordström

Abstract: The breaking of space-time symmetries and the non-conservation of the associated Noether charges constitutes a central artifact in lattice field theory. In prior work we have shown how to overcome this limitation for classical actions describing point particle motion, using the world-line formalism of general relativity. The key is to treat coordinate maps (from an abstract parameter space into sp… ▽ More The breaking of space-time symmetries and the non-conservation of the associated Noether charges constitutes a central artifact in lattice field theory. In prior work we have shown how to overcome this limitation for classical actions describing point particle motion, using the world-line formalism of general relativity. The key is to treat coordinate maps (from an abstract parameter space into space-time) as dynamical and dependent degrees of freedom, which remain continuous after discretization of the underlying parameter space. Here we present latest results where we construct a reparameterization invariant classical action for scalar fields, which features dynamical coordinate maps. We highlight the following achievements of our approach: 1) global space-time symmetries remain intact after discretization and the associated Noether charges remain exactly preserved 2) coordinate maps adapt to the dynamics of the scalar field leading to adaptive grid resolution guided by the symmetries. △ Less

Submitted 8 October, 2024; originally announced October 2024.

Comments: 9 pages, 5 figures, talk presented at the 41st International Symposium on Lattice Field Theory (Lattice 2024), 28 July - 3 August 2024

An Energy Stable Nonlinear Incompressible Multi-Phase Flow Formulation

Authors: Jan Nordström, Arnaud. G. Malan

Abstract: We show that a reformulation of the governing equations for incompressible multi-phase flow in the volume of fluid setting leads to a well defined energy rate. Weak nonlinear inflow-outflow and solid wall boundary conditions complement the development and lead to an energy estimate in terms of external data. The new formulation combined with summation-by-parts operators lead to provably nonlinear… ▽ More We show that a reformulation of the governing equations for incompressible multi-phase flow in the volume of fluid setting leads to a well defined energy rate. Weak nonlinear inflow-outflow and solid wall boundary conditions complement the development and lead to an energy estimate in terms of external data. The new formulation combined with summation-by-parts operators lead to provably nonlinear energy stability. △ Less

Submitted 17 December, 2024; v1 submitted 27 June, 2024; originally announced June 2024.

MSC Class: 65M12 ACM Class: G.1.8

Journal ref: Journal of Computational Physics 523 (2025) 113685

An optimization-based construction procedure for function space based summation-by-parts operators on arbitrary grids

Authors: Jan Glaubitz, Jan Nordström, Philipp Öffner

Abstract: We introduce a novel construction procedure for one-dimensional summation-by-parts (SBP) operators. Existing construction procedures for FSBP operators of the form $D = P^{-1} Q$ proceed as follows: Given a boundary operator $B$, the norm matrix $P$ is first determined and then in a second step the complementary matrix $Q$ is calculated to finally get the FSBP operator $D$. In contrast, the approa… ▽ More We introduce a novel construction procedure for one-dimensional summation-by-parts (SBP) operators. Existing construction procedures for FSBP operators of the form $D = P^{-1} Q$ proceed as follows: Given a boundary operator $B$, the norm matrix $P$ is first determined and then in a second step the complementary matrix $Q$ is calculated to finally get the FSBP operator $D$. In contrast, the approach proposed here determines the norm and complementary matrices, $P$ and $Q$, simultaneously by solving an optimization problem. The proposed construction procedure applies to classical SBP operators based on polynomial approximation and the broader class of function space SBP (FSBP) operators. According to our experiments, the presented approach yields a numerically stable construction procedure and FSBP operators with higher accuracy for diagonal norm difference operators at the boundaries than the traditional approach. Through numerical simulations, we highlight the advantages of our proposed technique. △ Less

Submitted 14 May, 2024; originally announced May 2024.

Comments: 18 pages, 8 Figures

MSC Class: 65M12; 65M60; 65M70; 65D25

Energy Bounds for Discontinuous Galerkin Spectral Element Approximations of Well-Posed Overset Grid Problems for Hyperbolic Systems

Authors: David A. Kopriva, Andrew R. Winters, Jan Nordström

Abstract: We show that even though the Discontinuous Galerkin Spectral Element Method is stable for hyperbolic boundary-value problems, and the overset domain problem is well-posed in an appropriate norm, the energy of the approximation of the latter is bounded by data only for fixed polynomial order, mesh, and time. In the absence of dissipation, coupling of the overlapping domains is destabilizing by allo… ▽ More We show that even though the Discontinuous Galerkin Spectral Element Method is stable for hyperbolic boundary-value problems, and the overset domain problem is well-posed in an appropriate norm, the energy of the approximation of the latter is bounded by data only for fixed polynomial order, mesh, and time. In the absence of dissipation, coupling of the overlapping domains is destabilizing by allowing positive eigenvalues in the system to be integrated in time. This coupling can be stabilized in one space dimension by using the upwind numerical flux. To help provide additional dissipation, we introduce a novel penalty method that applies dissipation at arbitrary points within the overlap region and depends only on the difference between the solutions. We present numerical experiments in one space dimension to illustrate the implementation of the well-posed penalty formulation, and show spectral convergence of the approximations when sufficient dissipation is applied. △ Less

Submitted 15 October, 2024; v1 submitted 7 May, 2024; originally announced May 2024.

Journal ref: Journal of Computational Physics 520 (2025) 113508

Exact symmetry conservation and automatic mesh refinement in discrete initial boundary value problems

Authors: Alexander Rothkopf, W. A. Horowitz, Jan Nordström

Abstract: We present a novel solution procedure for initial boundary value problems. The procedure is based on an action principle, in which coordinate maps are included as dynamical degrees of freedom. This reparametrization invariant action is formulated in an abstract parameter space and an energy density scale associated with the space-time coordinates separates the dynamics of the coordinate maps and o… ▽ More We present a novel solution procedure for initial boundary value problems. The procedure is based on an action principle, in which coordinate maps are included as dynamical degrees of freedom. This reparametrization invariant action is formulated in an abstract parameter space and an energy density scale associated with the space-time coordinates separates the dynamics of the coordinate maps and of the propagating fields. Treating coordinates as dependent, i.e. dynamical quantities, offers the opportunity to discretize the action while retaining all space-time symmetries and also provides the basis for automatic adaptive mesh refinement (AMR). The presence of unbroken space-time symmetries after discretization also ensures that the associated continuum Noether charges remain exactly conserved. The presence of coordinate maps in addition provides new freedom in the choice of boundary conditions. An explicit numerical example for wave propagation in $1+1$ dimensions is provided, using recently developed regularized summation-by-parts finite difference operators. △ Less

Submitted 29 April, 2024; originally announced April 2024.

Comments: 50 pages, 12 figures

Journal ref: Journal of Computational Physics 524 (2025) 113686

A Skew-Symmetric Energy Stable Almost Dissipation Free Formulation of the Compressible Navier-Stokes Equations

Authors: Jan Nordström

Abstract: We show that a specific skew-symmetric formulation of the nonlinear terms in the compressible Navier-Stokes equations leads to an energy rate in terms of surface integrals only. No dissipative volume integrals contribute to the energy rate. We also discuss boundary conditions that bounds the surface integrals. We show that a specific skew-symmetric formulation of the nonlinear terms in the compressible Navier-Stokes equations leads to an energy rate in terms of surface integrals only. No dissipative volume integrals contribute to the energy rate. We also discuss boundary conditions that bounds the surface integrals. △ Less

Submitted 24 May, 2024; v1 submitted 22 January, 2024; originally announced January 2024.

MSC Class: 35M33 ACM Class: G.1.8

Journal ref: Journal of Computational Physics 512 (2024) 113145

Certifying MIP-based Presolve Reductions for 0-1 Integer Linear Programs

Authors: Alexander Hoen, Andy Oertel, Ambros Gleixner, Jakob Nordström

Abstract: It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations must preserve the fea sibility status and optimal value of the problem, but there is currently no established methodology to express and verify the equivalence of two mixed-integer programs. In this work, we take a first… ▽ More It is well known that reformulating the original problem can be crucial for the performance of mixed-integer programming (MIP) solvers. To ensure correctness, all transformations must preserve the fea sibility status and optimal value of the problem, but there is currently no established methodology to express and verify the equivalence of two mixed-integer programs. In this work, we take a first step in this direction by showing how the correctness of MIP presolve reductions on 0-1 integer linear programs can be certified by using (and suitably extending) the VeriPB tool for pseudo-Boolean proof logging. Our experimental evaluation on both decision and optimization instances demonstrates the computational viability of the approach and leads to suggestions for future revisions of the proof format that will help to reduce the verbosity of the certificates and to accelerate the certification and verification process further. △ Less

Submitted 20 March, 2024; v1 submitted 17 January, 2024; originally announced January 2024.

The crucial role of Lagrange multipliers in a space-time symmetry preserving discretization scheme for IVPs

Authors: Alexander Rothkopf, Jan Nordström

Abstract: In a recently developed variational discretization scheme for second order initial value problems ( J. Comput. Phys. 498, 112652 (2024) ), it was shown that the Noether charge associated with time translation symmetry is exactly preserved in the interior of the simulated domain. The obtained solution also fulfils the naively discretized equations of motions inside the domain, except for the last t… ▽ More In a recently developed variational discretization scheme for second order initial value problems ( J. Comput. Phys. 498, 112652 (2024) ), it was shown that the Noether charge associated with time translation symmetry is exactly preserved in the interior of the simulated domain. The obtained solution also fulfils the naively discretized equations of motions inside the domain, except for the last two grid points. Here we provide an explanation for the deviations at the boundary as stemming from the Lagrange multipliers used to implement initial and connection conditions. We show explicitly that the Noether charge including the boundary corrections is exactly preserved at its continuum value over the whole simulation domain, including the boundary points. △ Less

Submitted 15 December, 2023; originally announced December 2023.

Comments: 9 pages, 1 figure. arXiv admin note: text overlap with arXiv:2307.04490

An SBP-SAT Continuous Galerkin Finite Element Formulation for Smooth and Discontinuous Fields

Authors: Arnaud G. Malan, Jan Nordstrom

Abstract: The high-order accurate continuous Galerkin finite element method offers attractive computational efficiency for computational fluid dynamics. A challenge is however spurious oscillations which result for convection dominated flows over discontinuities. To derive a continuous Galerkin scheme for both smooth and discontinuous fields we start by first writing the scheme in Summation-by-Parts (SBP) f… ▽ More The high-order accurate continuous Galerkin finite element method offers attractive computational efficiency for computational fluid dynamics. A challenge is however spurious oscillations which result for convection dominated flows over discontinuities. To derive a continuous Galerkin scheme for both smooth and discontinuous fields we start by first writing the scheme in Summation-by-Parts (SBP) form for a single element mesh. Boundary conditions are applied weakly via Simultaneous-Approximation-Terms (SAT) and Gauss-Labotto quadrature employed in the interest of computational efficiency. We then show that the stable single element baseline scheme in SBP-SAT form extends trivially to a provably stable multi-element formulation. Next, we develop provably stable element based Galerkin-weighted artificial dissipation operators to deal with spurious oscillations over shocks while retaining high order accuracy elsewhere. The resulting scheme achieves super-convergence with accuracy of Order(p+2) when using p^th order Lagrange polynomials for smooth fields. The developed dissipation operators furnish WENO like behaviour over discontinuities while retaining high order accuracy elsewhere for both linear and non-linear wave propagation problems. △ Less

Submitted 9 November, 2023; originally announced November 2023.

Comments: 34 pages, 10 figures

Improving Conflict Analysis in MIP Solvers by Pseudo-Boolean Reasoning

Authors: Gioni Mexi, Timo Berthold, Ambros Gleixner, Jakob Nordström

Abstract: Conflict analysis has been successfully generalized from Boolean satisfiability (SAT) solving to mixed integer programming (MIP) solvers, but although MIP solvers operate with general linear inequalities, the conflict analysis in MIP has been limited to reasoning with the more restricted class of clausal constraint. This is in contrast to how conflict analysis is performed in so-called pseudo-Bool… ▽ More Conflict analysis has been successfully generalized from Boolean satisfiability (SAT) solving to mixed integer programming (MIP) solvers, but although MIP solvers operate with general linear inequalities, the conflict analysis in MIP has been limited to reasoning with the more restricted class of clausal constraint. This is in contrast to how conflict analysis is performed in so-called pseudo-Boolean solving, where solvers can reason directly with 0-1 integer linear inequalities rather than with clausal constraints extracted from such inequalities. In this work, we investigate how pseudo-Boolean conflict analysis can be integrated in MIP solving, focusing on 0-1 integer linear programs (0-1 ILPs). Phrased in MIP terminology, conflict analysis can be understood as a sequence of linear combinations and cuts. We leverage this perspective to design a new conflict analysis algorithm based on mixed integer rounding (MIR) cuts, which theoretically dominates the state-of-the-art division-based method in pseudo-Boolean solving. We also report results from a first proof-of-concept implementation of different pseudo-Boolean conflict analysis methods in the open-source MIP solver SCIP. When evaluated on a large and diverse set of 0-1 ILP instances from MIPLIB 2017, our new MIR-based conflict analysis outperforms both previous pseudo-Boolean methods and the clause-based method used in MIP. Our conclusion is that pseudo-Boolean conflict analysis in MIP is a promising research direction that merits further study, and that it might also make sense to investigate the use of such conflict analysis to generate stronger no-goods in constraint programming. △ Less

Submitted 26 July, 2023; originally announced July 2023.

A superconvergent stencil-adaptive SBP-SAT finite difference scheme

Authors: Viktor Linders, Mark Carpenter, Jan Nordström

Abstract: A stencil-adaptive SBP-SAT finite difference scheme is shown to display superconvergent behavior. Applied to the linear advection equation, it has a convergence rate $\mathcal{O}(Δx^4)$ in contrast to a conventional scheme, which converges at a rate $\mathcal{O}(Δx^3)$. A stencil-adaptive SBP-SAT finite difference scheme is shown to display superconvergent behavior. Applied to the linear advection equation, it has a convergence rate $\mathcal{O}(Δx^4)$ in contrast to a conventional scheme, which converges at a rate $\mathcal{O}(Δx^3)$. △ Less

Submitted 26 July, 2023; originally announced July 2023.

Comments: 9 pages, 1 figure

MSC Class: 65M06; 65M12

A symmetry and Noether charge preserving discretization of initial value problems

Authors: Alexander Rothkopf, Jan Nordström

Abstract: Taking insight from the theory of general relativity, where space and time are treated on the same footing, we develop a novel geometric variational discretization for second order initial value problems (IVPs). By discretizing the dynamics along a world-line parameter, instead of physical time directly, we retain manifest translation symmetry and conservation of the associated continuum Noether c… ▽ More Taking insight from the theory of general relativity, where space and time are treated on the same footing, we develop a novel geometric variational discretization for second order initial value problems (IVPs). By discretizing the dynamics along a world-line parameter, instead of physical time directly, we retain manifest translation symmetry and conservation of the associated continuum Noether charge. A non-equidistant time discretization emerges dynamically, realizing a form of automatic adaptive mesh refinement (AMR), guided by the system symmetries. Using appropriately regularized summation by parts finite difference operators, the continuum Noether charge, defined via the Killing vector associated with translation symmetry, is shown to be exactly preserved in the interior of the simulated time interval. The convergence properties of the approach are demonstrated with two explicit examples. △ Less

Submitted 10 July, 2023; originally announced July 2023.

Comments: 35 pages, 12 figures

Uncertain Data in Initial Boundary Value Problems: Impact on Short and Long Time Predictions

Authors: Jan Nordström

Abstract: We investigate the influence of uncertain data on solutions to initial boundary value problems. Uncertainty in the forcing function, initial conditions and boundary conditions are considered and we quantify their relative influence for short and long time calculations. It is shown that dissipative boundary conditions leading to energy bounds play a crucial role. For short time calculations, uncert… ▽ More We investigate the influence of uncertain data on solutions to initial boundary value problems. Uncertainty in the forcing function, initial conditions and boundary conditions are considered and we quantify their relative influence for short and long time calculations. It is shown that dissipative boundary conditions leading to energy bounds play a crucial role. For short time calculations, uncertainty in the initial data dominate. As time grows, the influence of initial data vanish exponentially fast. For longer time calculations, the uncertainty in the forcing function and boundary data dominate, as they grow in time. Errors due to the forcing function grows faster (linearly in time) than the ones due to the boundary data (grows as the square root of time). Roughly speaking, the results indicate that for short time calculations, the initial conditions are the most important, but for longer time calculations, focus should be on modelling efforts and boundary conditions. Our findings have impact on predictions where similar mathematical and numerical techniques are used for both short and long times as for example in regional weather and climate predictions. △ Less

Submitted 28 June, 2023; originally announced June 2023.

MSC Class: 35; 65 ACM Class: G.1.8

Journal ref: Journal of Computational Physics 505 (2024) 112891

Summation-by-parts operators for general function spaces: The second derivative

Authors: Jan Glaubitz, Simon-Christian Klein, Jan Nordström, Philipp Öffner

Abstract: Many applications rely on solving time-dependent partial differential equations (PDEs) that include second derivatives. Summation-by-parts (SBP) operators are crucial for developing stable, high-order accurate numerical methodologies for such problems. Conventionally, SBP operators are tailored to the assumption that polynomials accurately approximate the solution, and SBP operators should thus be… ▽ More Many applications rely on solving time-dependent partial differential equations (PDEs) that include second derivatives. Summation-by-parts (SBP) operators are crucial for developing stable, high-order accurate numerical methodologies for such problems. Conventionally, SBP operators are tailored to the assumption that polynomials accurately approximate the solution, and SBP operators should thus be exact for them. However, this assumption falls short for a range of problems for which other approximation spaces are better suited. We recently addressed this issue and developed a theory for first-derivative SBP operators based on general function spaces, coined function-space SBP (FSBP) operators. In this paper, we extend the innovation of FSBP operators to accommodate second derivatives. The developed second-derivative FSBP operators maintain the desired mimetic properties of existing polynomial SBP operators while allowing for greater flexibility by being applicable to a broader range of function spaces. We establish the existence of these operators and detail a straightforward methodology for constructing them. By exploring various function spaces, including trigonometric, exponential, and radial basis functions, we illustrate the versatility of our approach. The work presented here opens up possibilities for using second-derivative SBP operators based on suitable function spaces, paving the way for a wide range of applications in the future. △ Less

Submitted 1 March, 2024; v1 submitted 28 June, 2023; originally announced June 2023.

Comments: 28 pages, 12 figures

MSC Class: 65M12; 65M60; 65M70; 65D25

A provably stable and high-order accurate finite difference approximation for the incompressible boundary layer equations

Authors: Mojalefa P. Nchupang, Arnaud G. Malan, Fredrik Laurén, Jan Nordström

Abstract: In this article we develop a high order accurate method to solve the incompressible boundary layer equations in a provably stable manner.~We first derive continuous energy estimates,~and then proceed to the discrete setting.~We formulate the discrete approximation using high-order finite difference methods on summation-by-parts form and implement the boundary conditions weakly using the simultaneo… ▽ More In this article we develop a high order accurate method to solve the incompressible boundary layer equations in a provably stable manner.~We first derive continuous energy estimates,~and then proceed to the discrete setting.~We formulate the discrete approximation using high-order finite difference methods on summation-by-parts form and implement the boundary conditions weakly using the simultaneous approximation term method.~By applying the discrete energy method and imitating the continuous analysis,~the discrete estimate that resembles the continuous counterpart is obtained proving stability.~We also show that these newly derived boundary conditions removes the singularities associated with the null-space of the nonlinear discrete spatial operator.~Numerical experiments that verifies the high-order accuracy of the scheme and coincides with the theoretical results are presented.~The numerical results are compared with the well-known Blasius similarity solution as well as that resulting from the solution of the incompressible Navier Stokes equations. △ Less

Submitted 3 June, 2023; originally announced June 2023.

Nonlinear Boundary Conditions for Initial Boundary Value Problems with Applications in Computational Fluid Dynamics

Authors: Jan Nordström

Abstract: We derive new boundary conditions and implementation procedures for nonlinear initial boundary value problems (IBVPs) with non-zero boundary data that lead to bounded solutions. The new boundary procedure is applied to nonlinear IBVPs in skew-symmetric form, including dissipative terms. The complete procedure has two main ingredients. In the first part (published in [1, 2]), the energy and entropy… ▽ More We derive new boundary conditions and implementation procedures for nonlinear initial boundary value problems (IBVPs) with non-zero boundary data that lead to bounded solutions. The new boundary procedure is applied to nonlinear IBVPs in skew-symmetric form, including dissipative terms. The complete procedure has two main ingredients. In the first part (published in [1, 2]), the energy and entropy rate in terms of a surface integral with boundary terms was produced for problems with first derivatives. In this second part we complement it by adding second derivative terms and new nonlinear boundary procedures leading for boundary conditions with non-zero data. The new nonlinear boundary procedure generalise the well known characteristic boundary procedure for linear problems to the nonlinear setting. To introduce the procedure, a skew-symmetric scalar IBVP encompassing the linear advection equation and Burgers equation is analysed. Once the continuous analysis is done, we show that energy stable nonlinear discrete approximations follow by using summation-by-parts operators combined with weak boundary conditions. The scalar analysis is subsequently repeated for general nonlinear systems of equations. Finally, the new boundary procedure is applied to four important IBVPs in computational fluid dynamics: the incompressible Euler and Navier-Stokes, the shallow water and the compressible Euler equations. △ Less

Submitted 5 October, 2023; v1 submitted 2 June, 2023; originally announced June 2023.

Comments: arXiv admin note: substantial text overlap with arXiv:2301.04568

MSC Class: 35Mxx; 65Mxx

Journal ref: Journal of Computational Physics 498 (2024) 112685

Encapsulated generalized summation-by-parts formulations for curvilinear and non-conforming meshes

Authors: Tomas Lundquist, Andrew Winters, Jan Nordström

Abstract: We extend the construction of so-called encapsulated global summation-by-parts operators to the general case of a mesh which is not boundary conforming. Owing to this development, energy stable discretizations of nonlinear and variable coefficient initial boundary value problems can be formulated in simple and straightforward ways using high-order accurate operators of generalized summation-by-par… ▽ More We extend the construction of so-called encapsulated global summation-by-parts operators to the general case of a mesh which is not boundary conforming. Owing to this development, energy stable discretizations of nonlinear and variable coefficient initial boundary value problems can be formulated in simple and straightforward ways using high-order accurate operators of generalized summation-by-parts type. Encapsulated features on a single computational block or element may include polynomial bases, tensor products as well as curvilinear coordinate transformations. Moreover, through the use of inner product preserving interpolation or projection, the global summation-by-parts property in extended to arbitrary multi-block or multi-element meshes with non-conforming nodal interfaces. △ Less

Submitted 29 May, 2023; originally announced May 2023.

A method-of-lines framework for energy stable arbitrary Lagrangian-Eulerian methods

Authors: Tomas Lundquist, Arnaud Malan, Jan Nordström

Abstract: We present a novel framework based on semi-bounded spatial operators for analyzing and discretizing initial boundary value problems on moving and deforming domains. This development extends an existing framework for well-posed problems and energy stable discretizations from stationary domains to the general case including arbitrary mesh motion. In particular, we show that an energy estimate derive… ▽ More We present a novel framework based on semi-bounded spatial operators for analyzing and discretizing initial boundary value problems on moving and deforming domains. This development extends an existing framework for well-posed problems and energy stable discretizations from stationary domains to the general case including arbitrary mesh motion. In particular, we show that an energy estimate derived in the physical coordinate system is equivalent to a semi-bounded property with respect to a stationary reference domain. The continuous analysis leading up to this result is based on a skew-symmetric splitting of the material time derivative, and thus relies on the property of integration-by-parts. Following this, a mimetic energy stable arbitrary Lagrangian-Eulerian framework for semi-discretization is formulated, based on approximating the material time derivative in a way consistent with discrete summation-by-parts. Thanks to the semi-bounded property, a method-of-lines approach using standard explicit or implicit time integration schemes can be applied to march the system forward in time. The same type of stability arguments applies as for the corresponding stationary domain problem, without regards to additional properties such as discrete geometric conservation. As an additional bonus we demonstrate that discrete geometric conservation, in the sense of exact free-stream preservation, can still be achieved in an automatic way with the new framework. However, we stress that this is not necessary for stability. △ Less

Submitted 13 February, 2023; originally announced February 2023.

MSC Class: 65M12; 65M20

Multi-dimensional summation-by-parts operators for general function spaces: Theory and construction

Authors: Jan Glaubitz, Simon-Christian Klein, Jan Nordström, Philipp Öffner

Abstract: Summation-by-parts (SBP) operators allow us to systematically develop energy-stable and high-order accurate numerical methods for time-dependent differential equations. Until recently, the main idea behind existing SBP operators was that polynomials can accurately approximate the solution, and SBP operators should thus be exact for them. However, polynomials do not provide the best approximation f… ▽ More Summation-by-parts (SBP) operators allow us to systematically develop energy-stable and high-order accurate numerical methods for time-dependent differential equations. Until recently, the main idea behind existing SBP operators was that polynomials can accurately approximate the solution, and SBP operators should thus be exact for them. However, polynomials do not provide the best approximation for some problems, with other approximation spaces being more appropriate. We recently addressed this issue and developed a theory for one-dimensional SBP operators based on general function spaces, coined function-space SBP (FSBP) operators. In this paper, we extend the theory of FSBP operators to multiple dimensions. We focus on their existence, connection to quadratures, construction, and mimetic properties. A more exhaustive numerical demonstration of multi-dimensional FSBP (MFSBP) operators and their application will be provided in future works. Similar to the one-dimensional case, we demonstrate that most of the established results for polynomial-based multi-dimensional SBP (MSBP) operators carry over to the more general class of MFSBP operators. Our findings imply that the concept of SBP operators can be applied to a significantly larger class of methods than is currently done. This can increase the accuracy of the numerical solutions and/or provide stability to the methods. △ Less

Submitted 23 July, 2023; v1 submitted 30 January, 2023; originally announced January 2023.

Comments: 28 pages, 9 figures

MSC Class: 65M12; 65M60; 65M70; 65D25

Nonlinear Boundary Conditions for Energy and Entropy Stable Initial Boundary Value Problems in Computational Fluid Dynamics

Authors: Jan Nordström

Abstract: We derive new boundary conditions and implementation procedures for nonlinear initial boundary value problems that lead to energy and entropy bounded solutions. A step-by-step procedure for general nonlinear hyperbolic problems on skew-symmetric form is presented. That procedure is subsequently applied to the three most important equations in computational fluid dynamics: the shallow water equatio… ▽ More We derive new boundary conditions and implementation procedures for nonlinear initial boundary value problems that lead to energy and entropy bounded solutions. A step-by-step procedure for general nonlinear hyperbolic problems on skew-symmetric form is presented. That procedure is subsequently applied to the three most important equations in computational fluid dynamics: the shallow water equations and the incompressible and compressible Euler equations. Both strong and weak imposition of the nonlinear boundary conditions are discussed. Based on the continuous analysis, we show that the new nonlinear boundary procedure lead to energy and entropy stable discrete approximations if the scheme is formulated on summation-by-parts form in combination with a weak implementation of the boundary conditions. △ Less

Submitted 11 January, 2023; originally announced January 2023.

MSC Class: 65M99; 35L04

Journal ref: Journal of Computational Physics 2022

A new variational discretization technique for initial value problems bypassing governing equations

Authors: Alexander Rothkopf, Jan Nordström

Abstract: Motivated by the fact that both the classical and quantum description of nature rest on causality and a variational principle, we develop a novel and highly versatile discretization prescription for classical initial value problems (IVPs). It is based on an optimization (action) functional with doubled degrees of freedom, which is discretized using a single regularized summation-by-parts (SBP) ope… ▽ More Motivated by the fact that both the classical and quantum description of nature rest on causality and a variational principle, we develop a novel and highly versatile discretization prescription for classical initial value problems (IVPs). It is based on an optimization (action) functional with doubled degrees of freedom, which is discretized using a single regularized summation-by-parts (SBP) operator. Formulated as optimization task it allows us to obtain classical trajectories without the need to derive an equation of motion. The novel regularization we develop in this context is inspired by the weak imposition of initial data, often deployed in the modern treatment of IVPs and is implemented using affine coordinates. We demonstrate numerically the stability, accuracy and convergence properties of our approach in systems with classical equations of motion featuring both first and second order derivatives in time. onvergence properties of our approach in systems with classical equations of motion featuring both first and second order derivatives in time. △ Less

Submitted 24 January, 2023; v1 submitted 27 May, 2022; originally announced May 2022.

Comments: 28 pages, 15 figures, accepted in Journal of Computational Physics

Energy-stable global radial basis function methods on summation-by-parts form

Authors: Jan Glaubitz, Jan Nordström, Philipp Öffner

Abstract: Radial basis function methods are powerful tools in numerical analysis and have demonstrated good properties in many different simulations. However, for time-dependent partial differential equations, only a few stability results are known. In particular, if boundary conditions are included, stability issues frequently occur. The question we address in this paper is how provable stability for RBF m… ▽ More Radial basis function methods are powerful tools in numerical analysis and have demonstrated good properties in many different simulations. However, for time-dependent partial differential equations, only a few stability results are known. In particular, if boundary conditions are included, stability issues frequently occur. The question we address in this paper is how provable stability for RBF methods can be obtained. We develop and construct energy-stable radial basis function methods using the general framework of summation-by-parts operators often used in the Finite Difference and Finite Element communities. △ Less

Submitted 7 April, 2022; originally announced April 2022.

Comments: 22 pages, 8 Figures

MSC Class: 65N35; 65N12; 65D12; 65D25

On the Theoretical Foundation of Overset Grid Methods for Hyperbolic Problems II: Entropy Bounded Formulations for Nonlinear Conservation Laws

Authors: David A. Kopriva, Gregor J. Gassner, Jan Nordstrom

Abstract: We derive entropy conserving and entropy dissipative overlapping domain formulations for systems of nonlinear hyperbolic equations in conservation form, such as would be approximated by overset mesh methods. The entropy conserving formulation imposes two-way coupling at the artificial interface boundaries through nonlinear penalty functions that vanish when the solutions coincide. The penalty func… ▽ More We derive entropy conserving and entropy dissipative overlapping domain formulations for systems of nonlinear hyperbolic equations in conservation form, such as would be approximated by overset mesh methods. The entropy conserving formulation imposes two-way coupling at the artificial interface boundaries through nonlinear penalty functions that vanish when the solutions coincide. The penalty functions are expressed in terms of entropy conserving fluxes originally introduced for finite volume schemes. Entropy dissipation and additional coupling in the overlap region are added through the use of linear penalties. △ Less

Submitted 12 September, 2022; v1 submitted 21 March, 2022; originally announced March 2022.

MSC Class: 65N85

Summation-by-parts operators for general function spaces

Authors: Jan Glaubitz, Jan Nordström, Philipp Öffner

Abstract: Summation-by-parts (SBP) operators are popular building blocks for systematically developing stable and high-order accurate numerical methods for time-dependent differential equations. The main idea behind existing SBP operators is that the solution is assumed to be well approximated by polynomials up to a certain degree, and the SBP operator should therefore be exact for them. However, polynomial… ▽ More Summation-by-parts (SBP) operators are popular building blocks for systematically developing stable and high-order accurate numerical methods for time-dependent differential equations. The main idea behind existing SBP operators is that the solution is assumed to be well approximated by polynomials up to a certain degree, and the SBP operator should therefore be exact for them. However, polynomials might not provide the best approximation for some problems, and other approximation spaces may be more appropriate. In this paper, a theory for SBP operators based on general function spaces is developed. We demonstrate that most of the established results for polynomial-based SBP operators carry over to this general class of SBP operators. Our findings imply that the concept of SBP operators can be applied to a significantly larger class of methods than currently known. We exemplify the general theory by considering trigonometric, exponential, and radial basis functions. △ Less

Submitted 30 January, 2023; v1 submitted 10 March, 2022; originally announced March 2022.

Comments: 22 pages, 6 figures

MSC Class: 65M12; 65M60; 65M70; 65D25; 65T40; 65D12

Journal ref: SIAM J Numer Anal 61(2), 733-754 (2023)

SU(2)^2xU(1)-invariant G_2-instantons on the AC limit of the C7 family

Authors: Karsten Matthies, Johannes Nordström, Matt Turner

Abstract: We construct SU(2)^2xU(1)-invariant G_2-instantons on the asymptotically conical limit of the C7 family of G_2-metrics. The construction uses a dynamical systems approach involving perturbations of an abelian solution and a solution on the G_2-cone. From this we obtain a 1-parameter family of invariant instantons with gauge group SU(2) and bounded curvature. We construct SU(2)^2xU(1)-invariant G_2-instantons on the asymptotically conical limit of the C7 family of G_2-metrics. The construction uses a dynamical systems approach involving perturbations of an abelian solution and a solution on the G_2-cone. From this we obtain a 1-parameter family of invariant instantons with gauge group SU(2) and bounded curvature. △ Less

Submitted 1 August, 2023; v1 submitted 10 February, 2022; originally announced February 2022.

Comments: Presentational revisions for clarity, including new figures; minor errors fixed; 28 pages, 6 figures, 1 table

MSC Class: 53C07; 53C25

Journal ref: Communications in Analysis and Geometry, Vol. 32, Issue 9 (2024), pp. 2505-2549

A skew-symmetric energy and entropy stable formulation of the compressible Euler equations

Authors: Jan Nordström

Abstract: We show that a specific skew-symmetric form of nonlinear hyperbolic problems leads to energy and entropy bounds. Next, we exemplify by considering the compressible Euler equations in primitive variables, transform them to skew-symmetric form and show how to obtain energy and entropy estimates. Finally we show that the skew-symmetric formulation lead to energy and entropy stable discrete approximat… ▽ More We show that a specific skew-symmetric form of nonlinear hyperbolic problems leads to energy and entropy bounds. Next, we exemplify by considering the compressible Euler equations in primitive variables, transform them to skew-symmetric form and show how to obtain energy and entropy estimates. Finally we show that the skew-symmetric formulation lead to energy and entropy stable discrete approximations if the scheme is formulated on summation-by-parts form. △ Less

Submitted 11 January, 2023; v1 submitted 14 January, 2022; originally announced January 2022.

MSC Class: 65M12

Journal ref: Journal of Computational Physics 470 (2022) 111573

Cohomogeneity-one solitons in Laplacian flow: local, smoothly-closing and steady solitons

Authors: Mark Haskins, Johannes Nordström

Abstract: We initiate a systematic study of cohomogeneity-one solitons in Bryant's Laplacian flow of closed G_2-structures on a 7-manifold, motivated by the problem of understanding finite-time singularities of that flow. Here we focus on solitons with symmetry groups Sp(2) and SU(3); in both cases we prove the existence of continuous families of local cohomogeneity-one gradient Laplacian solitons and chara… ▽ More We initiate a systematic study of cohomogeneity-one solitons in Bryant's Laplacian flow of closed G_2-structures on a 7-manifold, motivated by the problem of understanding finite-time singularities of that flow. Here we focus on solitons with symmetry groups Sp(2) and SU(3); in both cases we prove the existence of continuous families of local cohomogeneity-one gradient Laplacian solitons and characterise which of these local solutions extend smoothly over their unique singular orbits. The main questions are then to determine which of these smoothly-closing solutions extend to complete solitons and furthermore to understand the asymptotic geometry of these complete solitons. We provide complete answers to both questions in the case of steady solitons. Up to the actions of scaling and discrete symmetries, we show that the set of all smoothly-closing SU(3)-invariant steady Laplacian solitons defined on a neighbourhood of the zero-section of the anti-self-dual bundle of CP^2 is parametrised by the set of nonnegative reals. An open interval I=(0,c) corresponds to complete nontrivial gradient solitons that are asymptotic to the unique SU(3)-invariant torsion-free G_2 cone. The boundary point 0 of I corresponds to the well-known Bryant--Salamon asymptotically conical G_2-manifold, while the other boundary point c corresponds to an explicit complete gradient steady soliton with exponential volume growth and novel asymptotic geometry. The open interval (c, oo) consists entirely of incomplete solutions. In addition, we find an explicit complete gradient shrinking soliton on the anti-self-dual bundle of S^4 and CP^2. Both these shrinkers are asymptotic to closed but non-torsion-free G_2 cones. Like the nontrivial AC gradient steady solitons on the anti-self-dual bundle of CP^2, these shrinkers appear to be potential singularity models for finite-time singularities of Laplacian flow. △ Less

Submitted 21 February, 2025; v1 submitted 16 December, 2021; originally announced December 2021.

Comments: 68 pages; v2: Added Theorems C, E and F on end behaviours; v3: Small corrections

MSC Class: 53C25; 53E99

Nonlinear and Linearised Primal and Dual Initial Boundary Value Problems: When are they Bounded? How are they Connected?

Authors: Jan Nordström

Abstract: Linearisation is often used as a first step in the analysis of nonlinear initial boundary value problems. The linearisation procedure frequently results in a confusing contradiction where the nonlinear problem conserves energy and has an energy bound but the linearised version does not (or vice versa). In this paper we attempt to resolve that contradiction and relate nonlinear energy conserving an… ▽ More Linearisation is often used as a first step in the analysis of nonlinear initial boundary value problems. The linearisation procedure frequently results in a confusing contradiction where the nonlinear problem conserves energy and has an energy bound but the linearised version does not (or vice versa). In this paper we attempt to resolve that contradiction and relate nonlinear energy conserving and bounded initial boundary value problems to their linearised versions and the related dual problems. We start by showing that a specific skew-symmetric form of the primal nonlinear problem leads to energy conservation and a bound. Next, we show that this specific form together with a non-standard linearisation procedure preserves these properties for the new slightly modified linearised problem. We proceed to show that the corresponding linear and nonlinear dual (or self-adjoint) problems also have bounds and conserve energy due to this specific formulation. Next, the implication of the new formulation on the choice of boundary conditions is discussed. A straightforward nonlinear and linear analysis may lead to a different number and type of boundary conditions required for an energy bound. We show that the new formulation shed some light on this contradiction. We conclude by illustrating that the new continuous formulation automatically lead to energy stable and energy conserving numerical approximations for both linear and nonlinear primal and dual problems if the approximations are formulated on summation-by-parts form. △ Less

Submitted 11 January, 2023; v1 submitted 21 September, 2021; originally announced September 2021.

Journal ref: Journal of Computational Physics 455 (2022) 111001

Rational homotopy and simply-connected 8-manifolds

Authors: Csaba Nagy, Johannes Nordström

Abstract: We introduce a rational homotopy invariant P of a topological space, which is a quintic tensor on the cohomology. For n > 1, formality of a closed (n-1)-connected manifold of dimension up to 5n-2 is equivalent to vanishing of P and the Bianchi-Massey tensor introduced by Crowley and the second author arXiv:1505.04184. We show also that elements of the group of closed simply-connected spin 8-manifo… ▽ More We introduce a rational homotopy invariant P of a topological space, which is a quintic tensor on the cohomology. For n > 1, formality of a closed (n-1)-connected manifold of dimension up to 5n-2 is equivalent to vanishing of P and the Bianchi-Massey tensor introduced by Crowley and the second author arXiv:1505.04184. We show also that elements of the group of closed simply-connected spin 8-manifolds with the cohomology of an r-fold connected sum of S^2 x S^6 are determined up to torsion by the value of P. △ Less

Submitted 2 July, 2021; v1 submitted 28 May, 2021; originally announced May 2021.

Comments: 17 pages. v2: minor corrections

MSC Class: 55P62; 57N65; 57R19

On the Theoretical Foundation of Overset Grid Methods for Hyperbolic Problems: Well-Posedness and Conservation

Authors: David A. Kopriva, Jan Nordström, Gregor J. Gassner

Abstract: We use the energy method to study the well-posedness of initial-boundary value problems approximated by overset mesh methods in one and two space dimensions for linear constant-coefficient hyperbolic systems. We show that in one space dimension, for both scalar equations and systems of equations, the problem where one domain partially oversets another is well-posed when characteristic coupling con… ▽ More We use the energy method to study the well-posedness of initial-boundary value problems approximated by overset mesh methods in one and two space dimensions for linear constant-coefficient hyperbolic systems. We show that in one space dimension, for both scalar equations and systems of equations, the problem where one domain partially oversets another is well-posed when characteristic coupling conditions are used. If a system cannot be diagonalized, as is ususally the case in multiple space dimensions, then the energy method does not give proper bounds in terms of initial and boundary data. For those problems, we propose a novel penalty approach. We show, by using a global energy that accounts for the energy in the overlap region of the domains, that under well-defined conditions on the coupling matrices the penalized overset domain problems are energy bounded, conservative, well-posed and have solutions equivalent to the original single domain problem. △ Less

Submitted 10 May, 2021; originally announced May 2021.

Impact of wall modeling on kinetic energy stability for the compressible Navier-Stokes equations

Authors: Vikram Singh, Steven Frankel, Jan Nordström

Abstract: Affordable, high order simulations of turbulent flows on unstructured grids for very high Reynolds number flows require wall models for efficiency. However, different wall models have different accuracy and stability properties. Here, we develop a kinetic energy stability estimate to investigate stability of wall model boundary conditions. Using this norm, two wall models are studied, a popular eq… ▽ More Affordable, high order simulations of turbulent flows on unstructured grids for very high Reynolds number flows require wall models for efficiency. However, different wall models have different accuracy and stability properties. Here, we develop a kinetic energy stability estimate to investigate stability of wall model boundary conditions. Using this norm, two wall models are studied, a popular equilibrium stress wall model, which is found to be unstable and the dynamic slip wall model which is found to be stable. These results are extended to the discrete case using the Summation by parts (SBP) property of the discontinuous Galerkin method. Numerical tests show that while the equilibrium stress wall model is accurate but unstable, the dynamic slip wall model is inaccurate but stable. △ Less

Submitted 9 February, 2021; originally announced February 2021.

Comments: Accepted in Computers and Fluids

Stability of Discontinuous Galerkin Spectral Element Schemes for Wave Propagation when the Coefficient Matrices have Jumps

Authors: David A. Kopriva, Gregor J. Gassner, Jan Nordström

Abstract: We use the behavior of the $L_{2}$ norm of the solutions of linear hyperbolic equations with discontinuous coefficient matrices as a surrogate to infer stability of discontinuous Galerkin spectral element methods (DGSEM). Although the $L_{2}$ norm is not bounded by the initial data for homogeneous and dissipative boundary conditions for such systems, the $L_{2}$ norm is easier to work with than a… ▽ More We use the behavior of the $L_{2}$ norm of the solutions of linear hyperbolic equations with discontinuous coefficient matrices as a surrogate to infer stability of discontinuous Galerkin spectral element methods (DGSEM). Although the $L_{2}$ norm is not bounded by the initial data for homogeneous and dissipative boundary conditions for such systems, the $L_{2}$ norm is easier to work with than a norm that discounts growth due to the discontinuities. We show that the DGSEM with an upwind numerical flux that satisfies the Rankine-Hugoniot (or conservation) condition has the same energy bound as the partial differential equation does in the $L_{2}$ norm, plus an added dissipation that depends on how much the approximate solution fails to satisfy the Rankine-Hugoniot jump. △ Less

Submitted 22 December, 2020; v1 submitted 23 November, 2020; originally announced November 2020.

Nu-invariants of extra-twisted connected sums

Authors: Sebastian Goette, Johannes Nordström, Don Zagier

Abstract: We analyse the possible ways of gluing twisted products of circles with asymptotically cylindrical Calabi-Yau manifolds to produce manifolds with holonomy G_2, thus generalising the twisted connected sum construction of Kovalev and Corti, Haskins, Nordström, Pacini. We then express the extended nu-invariant of Crowley, Goette, and Nordström arXiv:1505.02734 in terms of fixpoint and gluing contribu… ▽ More We analyse the possible ways of gluing twisted products of circles with asymptotically cylindrical Calabi-Yau manifolds to produce manifolds with holonomy G_2, thus generalising the twisted connected sum construction of Kovalev and Corti, Haskins, Nordström, Pacini. We then express the extended nu-invariant of Crowley, Goette, and Nordström arXiv:1505.02734 in terms of fixpoint and gluing contributions, which include different types of (generalised) Dedekind sums. Surprisingly, the calculations involve some non-trivial number-theoretical arguments connected with special values of the Dedekind eta-function and the theory of complex multiplication. One consequence of our computations is that there exist compact G_2-manifolds that are not G_2-nullbordant. △ Less

Submitted 3 April, 2025; v1 submitted 30 October, 2020; originally announced October 2020.

Comments: 73 pages; v2: Improved exposition and minor corrections, adjusted authorship

MSC Class: 57R20 (Primary) 53C29; 58J28; 11F20 (Secondary)

Stable filtering procedures for nodal discontinuous Galerkin methods

Authors: Jan Nordström, Andrew R. Winters

Abstract: We prove that the most common filtering procedure for nodal discontinuous Galerkin (DG) methods is stable. The proof exploits that the DG approximation is constructed from polynomial basis functions and that integrals are approximated with high-order accurate Legendre-Gauss-Lobatto quadrature. The theoretical discussion serves to re-contextualize stable filtering results for finite difference meth… ▽ More We prove that the most common filtering procedure for nodal discontinuous Galerkin (DG) methods is stable. The proof exploits that the DG approximation is constructed from polynomial basis functions and that integrals are approximated with high-order accurate Legendre-Gauss-Lobatto quadrature. The theoretical discussion serves to re-contextualize stable filtering results for finite difference methods into the DG setting. It is shown that the stability of the filtering is equivalent to a particular contractivity condition borrowed from the analysis of so-called transmission problems. As such, the temporal stability proof relies on the fact that the underlying spatial discretization of the problem possesses a semi-discrete bound on the solution. Numerical tests are provided to verify and validate the underlying theoretical results. △ Less

Submitted 14 July, 2020; originally announced July 2020.

Comments: 14 pages, 3 figures

A New Class of $A$ Stable Summation by Parts Time Integration Schemes with Strong Initial Conditions

Authors: Hendrik Ranocha, Jan Nordström

Abstract: Since integration by parts is an important tool when deriving energy or entropy estimates for differential equations, one may conjecture that some form of summation by parts (SBP) property is involved in provably stable numerical methods. This article contributes to this topic by proposing a novel class of $A$ stable SBP time integration methods which can also be reformulated as implicit Runge-Kut… ▽ More Since integration by parts is an important tool when deriving energy or entropy estimates for differential equations, one may conjecture that some form of summation by parts (SBP) property is involved in provably stable numerical methods. This article contributes to this topic by proposing a novel class of $A$ stable SBP time integration methods which can also be reformulated as implicit Runge-Kutta methods. In contrast to existing SBP time integration methods using simultaneous approximation terms to impose the initial condition weakly, the new schemes use a projection method to impose the initial condition strongly without destroying the SBP property. The new class of methods includes the classical Lobatto IIIA collocation method, not previously formulated as an SBP scheme. Additionally, a related SBP scheme including the classical Lobatto IIIB collocation method is developed. △ Less

Submitted 11 February, 2021; v1 submitted 8 March, 2020; originally announced March 2020.

MSC Class: 65L06; 65L20; 65N06; 65M06; 65M12; 65N35; 65M70

Journal ref: Journal of Scientific Computing 87, 2021

Analysis of the SBP-SAT Stabilization for Finite Element Methods Part II: Entropy Stability

Authors: Rémi Abgrall, Jan Nordström, Philipp Öffner, Svetlana Tokareva

Abstract: In the research community, there exists the strong belief that a continuous Galerkin scheme is notoriously unstable and additional stabilization terms have to be added to guarantee stability. In the first part of the series [6], the application of simultaneous approximation terms for linear problems is investigated where the boundary conditions are imposed weakly. By applying this technique, the a… ▽ More In the research community, there exists the strong belief that a continuous Galerkin scheme is notoriously unstable and additional stabilization terms have to be added to guarantee stability. In the first part of the series [6], the application of simultaneous approximation terms for linear problems is investigated where the boundary conditions are imposed weakly. By applying this technique, the authors demonstrate that a pure continuous Galerkin scheme is indeed linear stable if the boundary conditions are done in the correct way. In this work, we extend this investigation to the non-linear case and focusing on entropy conservation. Switching to entropy variables, we will provide an estimation on the boundary operators also for non-linear problems to guarantee conservation. In numerical simulations, we verify our theoretical analysis. △ Less

Submitted 18 December, 2019; originally announced December 2019.

Comments: 21 pages,10 figures

Analysis of the SBP-SAT Stabilization for Finite Element Methods Part I: Linear Problems

Authors: Rémi Abgrall, Jan Nordström, Philipp Öffner, Svetlana Tokareva

Abstract: In the hyperbolic community, discontinuous Galerkin approaches are mainly applied when finite element methods are considered. As the name suggested, the DG framework allows a discontinuity at the element interfaces, which seems for many researchers a favorable property in case of hyperbolic balance laws. On the contrary, continuous Galerkin method obtained from a straightforward discretisation of… ▽ More In the hyperbolic community, discontinuous Galerkin approaches are mainly applied when finite element methods are considered. As the name suggested, the DG framework allows a discontinuity at the element interfaces, which seems for many researchers a favorable property in case of hyperbolic balance laws. On the contrary, continuous Galerkin method obtained from a straightforward discretisation of the weak form of the PDEs appear to be unsuitable for hyperbolic problems. To remedy this issue, stabilization terms are usually added and various formulations can be found in the literature. There exists still the perception that continuous Galerkin methods are not suited to hyperbolic problems, and the reason of this is the continuity of the approximation. However, this perception is not true and the stabilization terms can be removed, in general, provided the boundary conditions are suitable. In this paper, we deal with this problem, and present a different approach. We use the boundary conditions to stabilize the scheme following a procedure that are frequently used in the finite difference community. Here, the main idea is to impose the boundary conditions weakly and specific boundary operators are constructed such that they guarantee stability. This approach has already been used in the DG framework, but here we apply it with a continuous Galerkin scheme. No internal dissipation is needed even if unstructured grids are used. Further, we point out that we do not need exact integration, it suffices if the quadrature rule and the norm in the differential operator are the same, such that the summation-by-parts (SBP) property is fulfilled meaning that a discrete Gauss Th. is valid. This contradicts the perception in the hyperbolic community that stability issues for pure Galerkin scheme exist. In numerical simulations, we verify our theoretical analysis. △ Less

Submitted 19 April, 2021; v1 submitted 17 December, 2019; originally announced December 2019.

Comments: 28 pages, 10 figures

Report number: 85 MSC Class: 65M12; 65M60; 65M70

Journal ref: Journal of Scientific Computing, 2020

Exponential Resolution Lower Bounds for Weak Pigeonhole Principle and Perfect Matching Formulas over Sparse Graphs

Authors: Susanna F. de Rezende, Jakob Nordström, Kilian Risse, Dmitry Sokolov

Abstract: We show exponential lower bounds on resolution proof length for pigeonhole principle (PHP) formulas and perfect matching formulas over highly unbalanced, sparse expander graphs, thus answering the challenge to establish strong lower bounds in the regime between balanced constant-degree expanders as in [Ben-Sasson and Wigderson '01] and highly unbalanced, dense graphs as in [Raz '04] and [Razborov… ▽ More We show exponential lower bounds on resolution proof length for pigeonhole principle (PHP) formulas and perfect matching formulas over highly unbalanced, sparse expander graphs, thus answering the challenge to establish strong lower bounds in the regime between balanced constant-degree expanders as in [Ben-Sasson and Wigderson '01] and highly unbalanced, dense graphs as in [Raz '04] and [Razborov '03, '04]. We obtain our results by revisiting Razborov's pseudo-width method for PHP formulas over dense graphs and extending it to sparse graphs. This further demonstrates the power of the pseudo-width method, and we believe it could potentially be useful for attacking also other longstanding open problems for resolution and other proof systems. △ Less

Submitted 24 March, 2025; v1 submitted 1 December, 2019; originally announced December 2019.

Comments: 46 pages. This is the TheoretiCS journal version

MSC Class: F.2.2; F.1.3; I.2.3; F.4.1 ACM Class: F.2.2; F.1.3; I.2.3; F.4.1

Journal ref: TheoretiCS, Volume 4 (March 25, 2025) theoretics:13076

A linear and nonlinear analysis of the shallow water equations and its impact on boundary conditions

Authors: Jan Nordström, Andrew R. Winters

Abstract: We derive boundary conditions and estimates based on the energy and entropy analysis of systems of the nonlinear shallow water equations in two spatial dimensions. It is shown that the energy method provides more details, but is fully consistent with the entropy analysis. The details brought forward by the nonlinear energy analysis allow us to pinpoint where the difference between the linear and n… ▽ More We derive boundary conditions and estimates based on the energy and entropy analysis of systems of the nonlinear shallow water equations in two spatial dimensions. It is shown that the energy method provides more details, but is fully consistent with the entropy analysis. The details brought forward by the nonlinear energy analysis allow us to pinpoint where the difference between the linear and nonlinear analysis originate. We find that the result from the linear analysis does not necessarily hold in the nonlinear case. The nonlinear analysis leads in general to a different minimal number of boundary conditions compared with the linear analysis. In particular, and contrary to the linear case, the magnitude of the flow does not influence the number of required boundary conditions. △ Less

Submitted 22 April, 2022; v1 submitted 24 July, 2019; originally announced July 2019.

MSC Class: 35L50; 65M12

Level Set Methods for Stochastic Discontinuity Detection in Nonlinear Problems

Authors: Per Pettersson, Alireza Doostan, Jan Nordström

Abstract: Stochastic physical problems governed by nonlinear conservation laws are challenging due to solution discontinuities in stochastic and physical space. In this paper, we present a level set method to track discontinuities in stochastic space by solving a Hamilton-Jacobi equation. By introducing a speed function that vanishes at discontinuities, the iso-zero of the level set problem coincide with th… ▽ More Stochastic physical problems governed by nonlinear conservation laws are challenging due to solution discontinuities in stochastic and physical space. In this paper, we present a level set method to track discontinuities in stochastic space by solving a Hamilton-Jacobi equation. By introducing a speed function that vanishes at discontinuities, the iso-zero of the level set problem coincide with the discontinuities of the conservation law. The level set problem is solved on a sequence of successively finer grids in stochastic space. The method is adaptive in the sense that costly evaluations of the conservation law of interest are only performed in the vicinity of the discontinuities during the refinement stage. In regions of stochastic space where the solution is smooth, a surrogate method replaces expensive evaluations of the conservation law. The proposed method is tested in conjunction with different sets of localized orthogonal basis functions on simplex elements, as well as frames based on piecewise polynomials conforming to the level set function. The performance of the proposed method is compared to existing adaptive multi-element generalized polynomial chaos methods. △ Less

Submitted 8 January, 2019; v1 submitted 16 October, 2018; originally announced October 2018.

Extra-twisted connected sum G_2-manifolds

Authors: Johannes Nordström

Abstract: We present a construction of closed 7-manifolds of holonomy G_2, which generalises Kovalev's twisted connected sums by taking quotients of the pieces in the construction before gluing. This makes it possible to realise a wider range of topological types, and Crowley, Goette and the author arXiv:1505.02734 use this to exhibit examples of closed 7-manifolds with disconnected moduli space of holonomy… ▽ More We present a construction of closed 7-manifolds of holonomy G_2, which generalises Kovalev's twisted connected sums by taking quotients of the pieces in the construction before gluing. This makes it possible to realise a wider range of topological types, and Crowley, Goette and the author arXiv:1505.02734 use this to exhibit examples of closed 7-manifolds with disconnected moduli space of holonomy G_2 metrics. △ Less

Submitted 17 February, 2023; v1 submitted 24 September, 2018; originally announced September 2018.

Comments: 65 pages, 16 figures. v3: Small corrections. To appear in Ann. Glob. Anal. Geom

MSC Class: 53C29 (primary) 14J28 (secondary)

Distinguishing G_2-manifolds

Authors: Diarmuid Crowley, Sebastian Goette, Johannes Nordström

Abstract: In this survey, we describe invariants that can be used to distinguish connected components of the moduli space of holonomy G_2 metrics on a closed 7-manifold, or to distinguish G_2-manifolds that are homeomorphic but not diffeomorphic. We also describe the twisted connected sum and extra-twisted connected sum constructions used to realise G_2-manifolds for which the above invariants differ. In this survey, we describe invariants that can be used to distinguish connected components of the moduli space of holonomy G_2 metrics on a closed 7-manifold, or to distinguish G_2-manifolds that are homeomorphic but not diffeomorphic. We also describe the twisted connected sum and extra-twisted connected sum constructions used to realise G_2-manifolds for which the above invariants differ. △ Less

Submitted 23 March, 2019; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: 22 pages, 5 figures. To appear in a forthcoming volume of the Fields Institute Communications, entitled "Lectures and Surveys on G2 manifolds and related topics"

MSC Class: 57R20 (primary) 53C29; 58J28 (secondary)

Infinitely many new families of complete cohomogeneity one G_2-manifolds: G_2 analogues of the Taub-NUT and Eguchi-Hanson spaces

Authors: Lorenzo Foscolo, Mark Haskins, Johannes Nordström

Abstract: We construct infinitely many new 1-parameter families of simply connected complete noncompact G_2-manifolds with controlled geometry at infinity. The generic member of each family has so-called asymptotically locally conical (ALC) geometry. However, the nature of the asymptotic geometry changes at two special parameter values: at one special value we obtain a unique member of each family with asym… ▽ More We construct infinitely many new 1-parameter families of simply connected complete noncompact G_2-manifolds with controlled geometry at infinity. The generic member of each family has so-called asymptotically locally conical (ALC) geometry. However, the nature of the asymptotic geometry changes at two special parameter values: at one special value we obtain a unique member of each family with asymptotically conical (AC) geometry; on approach to the other special parameter value the family of metrics collapses to an AC Calabi-Yau 3-fold. Our infinitely many new diffeomorphism types of AC G_2-manifolds are particularly noteworthy: previously the three examples constructed by Bryant and Salamon in 1989 furnished the only known simply connected AC G_2-manifolds. We also construct a closely related conically singular G_2 holonomy space: away from a single isolated conical singularity, where the geometry becomes asymptotic to the G_2-cone over the standard nearly Kähler structure on the product of a pair of 3-spheres, the metric is smooth and it has ALC geometry at infinity. We argue that this conically singular ALC G_2-space is the natural G_2 analogue of the Taub-NUT metric in 4-dimensional hyperKaehler geometry and that our new AC G_2-metrics are all analogues of the Eguchi-Hanson metric, the simplest ALE hyperKähler manifold. Like the Taub-NUT and Eguchi-Hanson metrics, all our examples are cohomogeneity one, i.e. they admit an isometric Lie group action whose generic orbit has codimension one. △ Less

Submitted 5 February, 2021; v1 submitted 7 May, 2018; originally announced May 2018.

Comments: 53 pages, 1 figure. v3: Corrected Theorem 5.1. To appear in JEMS

MSC Class: 53C10; 53C25; 53C29; 53C80

Complete non-compact G2-manifolds from asymptotically conical Calabi-Yau 3-folds

Authors: Lorenzo Foscolo, Mark Haskins, Johannes Nordström

Abstract: We develop a powerful new analytic method to construct complete non-compact G2-manifolds, i.e. Riemannian 7-manifolds (M,g) whose holonomy group is the compact exceptional Lie group G2. Our construction starts with a complete non-compact asymptotically conical Calabi-Yau 3-fold B and a circle bundle M over B satisfying a necessary topological condition. Our method then produces a 1-parameter famil… ▽ More We develop a powerful new analytic method to construct complete non-compact G2-manifolds, i.e. Riemannian 7-manifolds (M,g) whose holonomy group is the compact exceptional Lie group G2. Our construction starts with a complete non-compact asymptotically conical Calabi-Yau 3-fold B and a circle bundle M over B satisfying a necessary topological condition. Our method then produces a 1-parameter family of circle-invariant complete G2-metrics on M that collapses to the original Calabi-Yau metric on the base B as the parameter converges to 0. The G2-metrics we construct have controlled asymptotic geometry at infinity, so-called asymptotically locally conical (ALC) metrics, and are the natural higher-dimensional analogues of the ALF metrics that are well known in 4-dimensional hyperkähler geometry. We give two illustrations of the strength of our method. Firstly we use it to construct infinitely many diffeomorphism types of complete non-compact simply connected G2-manifolds; previously only a handful of such diffeomorphism types was known. Secondly we use it to prove the existence of continuous families of complete non-compact G2-metrics of arbitrarily high dimension; previously only rigid or 1-parameter families of complete non-compact G2-metrics were known. △ Less

Submitted 28 December, 2020; v1 submitted 14 September, 2017; originally announced September 2017.

Comments: v2: Revised organisation of Section 4 and Appendix A; typos corrected. v3: Overall revision including correction of typos and updated references to reflect recent developments. Main changes: revised introduction, further details in Section 5.3, simplified argument in Section 8.2 and revised presentation of examples in Section 9. v4: Final version accepted in the Duke Math. Journal

MSC Class: 53C10; 53C25; 53C29; 53C80

Supercritical Space-Width Trade-offs for Resolution

Authors: Christoph Berkholz, Jakob Nordström

Abstract: We show that there are CNF formulas which can be refuted in resolution in both small space and small width, but for which any small-width proof must have space exceeding by far the linear worst-case upper bound. This significantly strengthens the space-width trade-offs in [Ben-Sasson '09]}, and provides one more example of trade-offs in the "supercritical" regime above worst case recently identifi… ▽ More We show that there are CNF formulas which can be refuted in resolution in both small space and small width, but for which any small-width proof must have space exceeding by far the linear worst-case upper bound. This significantly strengthens the space-width trade-offs in [Ben-Sasson '09]}, and provides one more example of trade-offs in the "supercritical" regime above worst case recently identified by [Razborov '16]. We obtain our results by using Razborov's new hardness condensation technique and combining it with the space lower bounds in [Ben-Sasson and Nordstrom '08]. △ Less

Submitted 21 December, 2016; originally announced December 2016.

ACM Class: F.2.2; F.1.3; I.2.3; F.4.1

Construction of G_2-instantons via twisted connected sums

Authors: Grégoire Menet, Johannes Nordström, Henrique N. Sá Earp

Abstract: We propose a method to construct G_2-instantons over a compact twisted connected sum G_2-manifold, applying a gluing result of Sá Earp and Walpuski to instantons over a pair of 7-manifolds with a tubular end (see arXiv:1310.7933). In our example, the moduli spaces of the ingredient instantons are non-trivial, and their images in the moduli space over the asymptotic cross-section K3 surface interse… ▽ More We propose a method to construct G_2-instantons over a compact twisted connected sum G_2-manifold, applying a gluing result of Sá Earp and Walpuski to instantons over a pair of 7-manifolds with a tubular end (see arXiv:1310.7933). In our example, the moduli spaces of the ingredient instantons are non-trivial, and their images in the moduli space over the asymptotic cross-section K3 surface intersect transversely. Such a pair of asymptotically stable holomorphic bundles is obtained using a twisted version of the Hartshorne-Serre construction, which can be adapted to produce other examples. Moreover, their deformation theory and asymptotic behaviour are explicitly understood, results which may be of independent interest. △ Less

Submitted 31 October, 2019; v1 submitted 13 October, 2015; originally announced October 2015.

Comments: 22 pages. Final version to appear in Mathematical Research Letters

Journal ref: Mathematical Research Letters 28 (2), 2021