A diagrammatic view of differential equations in physics
arXiv:2204.01843 · doi:10.3934/mine.2023036
Abstract
Presenting systems of differential equations in the form of diagrams has become common in certain parts of physics, especially electromagnetism and computational physics. In this work, we aim to put such use of diagrams on a firm mathematical footing, while also systematizing a broadly applicable framework to reason formally about systems of equations and their solutions. Our main mathematical tools are category-theoretic diagrams, which are well known, and morphisms between diagrams, which have been less appreciated. As an application of the diagrammatic framework, we show how complex, multiphysical systems can be modularly constructed from basic physical principles. A wealth of examples, drawn from electromagnetism, transport phenomena, fluid mechanics, and other fields, is included.
arXiv comment59 pages
References in corpus (9)
- A survey of graphical languages for monoidal categories
- Physics, Topology, Logic and Computation: A Rosetta Stone
- Variations on Barbalat's Lemma
- Discrete exterior calculus discretization of incompressible Navier-Stokes equations over surface simplicial meshes
- Manifolds of mappings for continuum mechanics
- Systems of Differential Algebraic Equations in Computational Electromagnetics
- Database queries and constraints via lifting problems
- An Algebraic Framework for Structured Epidemic Modeling
- Open Systems in Classical Mechanics