A Classification Theorem for PDE Solvability via Dissipation–Coupling–Constraint Decomposition
Mathematics verified. Core theorems are machine-checked in Lean 4.
Prose and presentation may not have been human-reviewed.
Summary
We introduce a structural decomposition of partial differential equations into a
triple $(D, C, P)$ of dissipation, coupling and constraint operators and prove
that the solvability behavior of the system is determined by a single
dimensionless quanti
Length
5,655 words
Claims
6 theorems
Status
Draft
Target
Bulletin of the American Mathematical Society