Invariant discretization schemes for the shallow-water equations

Alexander Bihlo; Roman O. Popovych

doi:10.1137/120861187

Home/Archive/arXiv

arXiv · 1201.0498

Invariant discretization schemes for the shallow-water equations

Alexander Bihlo·Roman O. Popovych

View original source ↗Read source document ↗Export metadata ↓

Abstract

Invariant discretization schemes are derived for the one- and two-dimensional shallow-water equations with periodic boundary conditions. While originally designed for constructing invariant finite difference schemes, we extend the usage of difference invariants to allow constructing of invariant finite volume methods as well. It is found that the classical invariant schemes converge to the Lagrangian formulation of the shallow-water equations. These schemes require to redistribute the grid points according to the physical fluid velocity, i.e., the mesh cannot remain fixed in the course of the numerical integration. Invariant Eulerian discretization schemes are proposed for the shallow-water equations in computational coordinates. Instead of using the fluid velocity as the grid velocity, an invariant moving mesh generator is invoked in order to determine the location of the grid points at the subsequent time level. The numerical conservation of energy, mass and momentum is evaluated for both the invariant and non-invariant schemes.

Explore related subjects

math-ph cs.NA math.MP math.NA physics.ao-ph physics.comp-ph physics.flu-dyn

Keep this discovery

Explore connections, maps & timelines

BibTeX RIS

Alexander Bihlo, Roman O. Popovych. 2013-01-03. Invariant discretization schemes for the shallow-water equations. https://doi.org/10.1137/120861187

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

Topological Orders from Reflection Positive Frustration-free Hamiltonians

We establish a framework based on reflection positivity for analyzing topologically ordered quantum spin systems and reconstructing their boundary algebras. For any reflection positive frustration-free Hamiltonian, we prove that the local topological quantum order (LTQO) condition of ground states on a disk holds, if and only if the ground state on the sphere obtained by gluing the disk with its reflection is nondegenerate. Furthermore, we show that Osterwalder-Schrader reconstruction produces the local net of boundary operator algebras from the local ground states, offering a constructive approach to topological holography through spatial reflection positivity.

math-ph↗

arXiv2026

Generalised Langevin Dynamics: Significance and Limitations of the Projection Operator Formalism

We discuss some mathematical aspects of the Mori-Zwanzig projection operator formalism. The core of the Mori-Zwanzig formalism is the generalised Langevin equation, which is typically derived from the Dyson-Duhamel identity. We recall the derivation of the projection operator formalism for Mori's projection by means of semigroup theory, and we discuss where rigorous methods fail for the case of Zwanzig's projection. For bounded perturbations of the time-evolution operator (e.g. for Mori's projection), the Dyson-Duhamel identity coincides with the variation of constants formula. For unbounded perturbations (e.g. for Zwanzigs's projection), the Dyson-Duhamel identity should be considered an equation for the orthogonal dynamics, for which the existence of unique solutions has yet to be established. Then we recall that all properties of Mori's generalised Langevin equation follow directly from the well-posedness of Volterra equations, irrespective of the projection operator formalism. Further, we discuss the use of Mori's generalised Langevin equation as a coarse-grained model. Finally, we illustrate that the memory term is a coupling term that is not necessarily related to memory. To this end, we introduce projections onto subspaces of 'fast' and 'slow' variables that are associated with the spectral decomposition of skew-adjoint operators. For these projections, the memory term vanishes.

math-ph↗

arXiv2026

Universal fusion category symmetries on tensor products of infinite-dimensional Hilbert spaces

We show that anyon chains, after stabilizing with infinite-dimensional ancilla spaces, factorize locally as tensor products of infinite-dimensional Hilbert spaces. This implies that any unitary fusion category can be realized as symmetries on a tensor product of infinite-dimensional Hilbert spaces. We then show that any two anyon chains with the same symmetry category are related by a symmetry-compatible locality-preserving unitary after stabilizing with infinite-dimensional ancilla, showing that for a fixed fusion category, there is a single stable equivalence class of symmetry realizations on the lattice via anyon chains. As a corollary of our proof, we show that the physical boundary algebras of Levin-Wen type models are bounded spread isomorphic after stabilization if and only if they have the same bulk topological order.

math-ph↗