Transcritical shallow-water flow past topography: finite-amplitude theory

We consider shallow-water flow past a broad bottom ridge, localized in the flow direction, using the framework of the forced SuGardner (SG) system of equations, with a primary focus on the transcritical regime when the Froude number of the oncoming flow is close to unity. These equations are an asymptotic long-wave approximation of the full Euler system, obtained without a simultaneous expansion in the wave amplitude, and hence are expected to be superior to the usual weakly nonlinear Boussinesq-type models in reproducing the quantitative features of fully nonlinear shallow-water flows. A combination of the local transcritical hydraulic solution over the localized topography, which produces upstream and downstream hydraulic jumps, and unsteady undular bore solutions describing the resolution of these hydraulic jumps, is used to describe various flow regimes depending on the combination of the topography height and the Froude number. We take advantage of the recently developed modulation theory of SG undular bores to derive the main parameters of transcritical fully nonlinear shallow-water flow, such as the leading solitary wave amplitudes for the upstream and downstream undular bores, the speeds of the undular bores edges and the drag force. Our results confirm that most of the features of the previously developed description in the framework of the unidirectional forced Kortewegde Vries (KdV) model hold up qualitatively for finite amplitude waves, while the quantitative description can be obtained in the framework of the bidirectional forced SG system. Our analytic solutions agree with numerical simulations of the forced SG equations within the range of applicability of these equations

New Equations for Neutral Terms: A Sound and Complete Decision Procedure, Formalized

The definitional equality of an intensional type theory is its test of type compatibility. Today's systems rely on ordinary evaluation semantics to compare expressions in types, frustrating users with type errors arising when evaluation fails to identify two `obviously' equal terms. If only the machine could decide a richer theory! We propose a way to decide theories which supplement evaluation with `$\nu$-rules', rearranging the neutral parts of normal forms, and report a successful initial experiment. We study a simple -calculus with primitive fold, map and append operations on lists and develop in Agda a sound and complete decision procedure for an equational theory enriched with monoid, functor and fusion laws

On the Links-Gould invariant and the square of the Alexander polynomial

This paper gives a connection between well chosen reductions of the Links-Gould invariants of oriented links and powers of the Alexander-Conway polynomial. We prove these formulas by showing the representations of the braid groups we derive the specialized Links-Gould polynomials from can be seen as exterior powers of copies of Burau representations.Comment: 19 page