Work

Metriplectic Completion of the Frohmanian Symplectic Tether: Thermodynamic Structure and Lean Formalization for the Navier–Stokes Equations

Year: 2026

Type: preprint

Abstract: We construct a metriplectic completion of the Frohmanian Symplectic Tether on SDiff(T³). Includes abstract algebraic formalization in Lean 4 of energy conservation, entropy production, and the damping obstruction. Compatible with existing conditional Frohmanian Tether formalization. Not a solution of the Clay problem. Part of the ongoing Frohmanian Symplectic Tether program.

Source: Zenodo (CERN European Organization for Nuclear Research)

DOI: 10.5281/zenodo.24121041

Author: Frohman, Benjamin Stanley

Language: English

Topic: Navier-Stokes equation solutions

Subfield: Applied Mathematics

Field: Mathematics

Domain: Physical Sciences

Open Access status: green

OpenAlex ID: W7225758684

Cites: 3

Cited by:

Related to: