-
Unconditionally stable symplectic integrators for the Navier-Stokes equations and other dissipative systems
Authors:
Sutthikiat Sungkeetanon,
Joseph S. Gaglione,
Robert L. Chapman,
Tyler M. Kelly,
Howard A. Cushman,
Blakeley H. Odom,
Bryan MacGavin,
Gafar A. Elamin,
Nathan J. Washuta,
Jonathan E. Crosmer,
Adam C. DeVoria,
John W. Sanders
Abstract:
Symplectic integrators offer vastly superior performance over traditional numerical techniques for conservative dynamical systems, but their application to \emph{dissipative} systems is inherently difficult due to dissipative systems' lack of symplectic structure. Leveraging the intrinsic variational structure of higher-order dynamics, this paper presents a general technique for applying existing…
▽ More
Symplectic integrators offer vastly superior performance over traditional numerical techniques for conservative dynamical systems, but their application to \emph{dissipative} systems is inherently difficult due to dissipative systems' lack of symplectic structure. Leveraging the intrinsic variational structure of higher-order dynamics, this paper presents a general technique for applying existing symplectic integration schemes to dissipative systems, with particular emphasis on viscous fluids modeled by the Navier-Stokes equations. Two very simple such schemes are developed here. Not only are these schemes unconditionally stable for dissipative systems, they also outperform traditional methods with a similar degree of complexity in terms of accuracy for a given time step. For example, in the case of viscous flow between two infinite, flat plates, one of the schemes developed here is found to outperform both the implicit Euler method and the explicit fourth-order Runge-Kutta method in predicting the velocity profile. To the authors' knowledge, this is the very first time that a symplectic integration scheme has been applied successfully to the Navier-Stokes equations. We interpret the present success as direct empirical validation of the canonical Hamiltonian formulation of the Navier-Stokes problem recently published by Sanders~\emph{et al.} More sophisticated symplectic integration schemes are expected to exhibit even greater performance. It is hoped that these results will lead to improved numerical methods in computational fluid dynamics.
△ Less
Submitted 12 November, 2024;
originally announced November 2024.
-
A canonical Hamiltonian formulation of the Navier-Stokes problem
Authors:
John W. Sanders,
Adam C. DeVoria,
Nathan J. Washuta,
Gafar A. Elamin,
Kevin L. Skenes,
Joel C. Berlinghieri
Abstract:
This paper presents a novel Hamiltonian formulation of the isotropic Navier-Stokes problem based on a minimum-action principle derived from the principle of least squares. This formulation uses the velocities $u_{i}(x_{j},t)$ and pressure $p(x_{j},t)$ as the field quantities to be varied, along with canonically conjugate momenta deduced from the analysis. From these, a conserved Hamiltonian functi…
▽ More
This paper presents a novel Hamiltonian formulation of the isotropic Navier-Stokes problem based on a minimum-action principle derived from the principle of least squares. This formulation uses the velocities $u_{i}(x_{j},t)$ and pressure $p(x_{j},t)$ as the field quantities to be varied, along with canonically conjugate momenta deduced from the analysis. From these, a conserved Hamiltonian functional $H^{*}$ satisfying Hamilton's canonical equations is constructed, and the associated Hamilton-Jacobi equation is formulated for both compressible and incompressible flows. This Hamilton-Jacobi equation reduces the problem of finding four separate field quantities ($u_{i}$,$p$) to that of finding a single scalar functional in those fields--Hamilton's principal functional $\text{S}^{*}[t,u_{i},p]$. Moreover, the transformation theory of Hamilton and Jacobi now provides a prescribed recipe for solving the Navier-Stokes problem: Find $\text{S}^{*}$. If an analytical expression for $\text{S}^{*}$ can be obtained, it will lead via canonical transformation to a new set of fields which are simply equal to their initial values, giving analytical expressions for the original velocity and pressure fields. Failing that, if one can only show that a complete solution to this Hamilton-Jacobi equation does or does not exist, that will also resolve the question of existence of solutions. The method employed here is not specific to the Navier-Stokes problem or even to classical mechanics, and can be applied to any traditionally non-Hamiltonian problem.
△ Less
Submitted 2 February, 2024; v1 submitted 30 June, 2023;
originally announced October 2023.
-
Intrinsic variational structure of higher-derivative formulations of classical mechanics
Authors:
John W. Sanders
Abstract:
This paper investigates the geometric structure of higher-derivative formulations of classical mechanics. It is shown that every even-order formulation of classical mechanics higher than the second order is intrinsically variational, in the sense that the equations of motion are always derivable from a minimum action principle, even when the system is non-Hamiltonian. Particular emphasis is placed…
▽ More
This paper investigates the geometric structure of higher-derivative formulations of classical mechanics. It is shown that every even-order formulation of classical mechanics higher than the second order is intrinsically variational, in the sense that the equations of motion are always derivable from a minimum action principle, even when the system is non-Hamiltonian. Particular emphasis is placed on the fourth-order formulation, as that is shown to be the lowest order for which the governing equations are intrinsically variational. The Noether symmetries and associated conservation laws of the fourth-order formulation, including its Hamiltonian, are derived along with the natural auxiliary conditions. The intrinsic variational structure of higher-derivative formulations makes it possible to treat non-Hamiltonian systems as if they were Hamiltonian, with immediate classical applications. A case study of the classical damped harmonic oscillator is presented for illustration, and an action is formulated for a higher-order Navier-Stokes equation.
△ Less
Submitted 29 February, 2024; v1 submitted 22 January, 2023;
originally announced January 2023.
-
Fourth-order dynamics of the damped harmonic oscillator
Authors:
John W. Sanders
Abstract:
It is shown that the classical damped harmonic oscillator belongs to the family of fourth-order Pais-Uhlenbeck oscillators. It follows that the solutions to the damped harmonic oscillator equation make the Pais-Uhlenbeck action stationary. Two systematic approaches are given for deriving the Pais-Uhlenbeck action from the damped harmonic oscillator equation, and it may be possible to use these met…
▽ More
It is shown that the classical damped harmonic oscillator belongs to the family of fourth-order Pais-Uhlenbeck oscillators. It follows that the solutions to the damped harmonic oscillator equation make the Pais-Uhlenbeck action stationary. Two systematic approaches are given for deriving the Pais-Uhlenbeck action from the damped harmonic oscillator equation, and it may be possible to use these methods to identify stationary action principles for other dissipative systems which do not conform to Hamilton's principle. It is also shown that for every damped harmonic oscillator $x$, there exists a two-parameter family of dual oscillators $y$ satisfying the Pais-Uhlenbeck equation. The damped harmonic oscillator and any of its duals can be interpreted as a system of two coupled oscillators with atypical spring stiffnesses (not necessarily positive and real-valued). For overdamped systems, the resulting coupled oscillators should be physically achievable and may have engineering applications. Finally, a new physical interpretation is given for the optimal damping ratio $ΞΆ=1/\sqrt{2}$ in control theory.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
