← All Papers · Formal Verification

The Coupling Algebra of Nonlinear PDE Systems: A Lie Structure on $(D, C, P)$ Triples

Dr. Tamás Nagy Short Draft Formal Verification
Unreviewed draft. This paper has not been human-reviewed. Mathematical claims may be unverified. Use with appropriate caution.
View in Graph BibTeX

Summary

We introduce an algebraic structure on the space of nonlinear PDE systems. Each PDE system of dimension $n$ is encoded as a triple $\mathbf{S} = (D, C, P) \in \mathbb{R}^{n \times n} \times \mathbb{R}^{n \times n \times n} \times \mathbb{R}^{n \times n}$ of dissipation matrix, coupling tensor, and constraint projector.
Length
2,683 words
Status
Draft
Target
Journal of Noncommutative Geometry (primary) / Communications in Mathematical Physics / Advances in Mathematics

Connects To

Grade Decomposition and Gevrey Regularity for Navier-Stokes:... Universal Foundations: A Verified Library of Core Mathematic...

Browse all Formal Verification papers →