🤖 AI Summary
This work proposes the first fully physics-driven, unsupervised framework for symbolic discovery of analytical solutions to partial differential equations (PDEs). Addressing the longstanding challenge that many PDEs lack known closed-form solutions and that conventional approaches rely heavily on data fitting or manual derivation, the method leverages structured expression search guided by physical constraints to automatically generate exact symbolic solutions directly from the governing PDE and its boundary conditions—without requiring training data or human intervention. Evaluated on 100 benchmark problems from authoritative handbooks, the framework successfully recovers all known analytical solutions and, notably, discovers new closed-form solutions for several linear and nonlinear PDEs previously undocumented in the literature. These results demonstrate the approach’s effectiveness, robustness, and strong generalization capability, marking a significant departure from traditional data- or expert-dependent paradigms.
📝 Abstract
Partial differential equations (PDEs) encode fundamental physical laws, yet closed-form analytical solutions for many important equations remain unknown and typically require substantial human insight to derive. Existing numerical, physics-informed, and data-driven approaches approximate solutions from data rather than systematically deriving symbolic expressions directly from governing equations. Here we introduce LawMind, a law-driven symbolic discovery framework that autonomously constructs closed-form solutions from PDEs and their associated conditions without relying on data or supervision. By integrating structured symbolic exploration with physics-constrained evaluation, LawMind progressively assembles valid solution components guided solely by governing laws. Evaluated on 100 benchmark PDEs drawn from two authoritative handbooks, LawMind successfully recovers closed-form analytical solutions for all cases. Beyond known solutions, LawMind further discovers previously unreported closed-form solutions to both linear and nonlinear PDEs. These findings establish a computational paradigm in which governing equations alone drive autonomous symbolic discovery, enabling the systematic derivation of analytical PDE solutions.