Closed-form Solutions: A New Perspective on Solving Differential Equations
About
The quest for analytical solutions to differential equations has traditionally been constrained by the need for extensive mathematical expertise. Machine learning methods like genetic algorithms have shown promise in this domain, but are hindered by significant computational time and the complexity of their derived solutions. This paper introduces SSDE (Symbolic Solver for Differential Equations), a novel reinforcement learning-based approach that derives symbolic closed-form solutions for various differential equations. Evaluations across a diverse set of ordinary and partial differential equations demonstrate that SSDE outperforms existing machine learning methods, delivering superior accuracy and efficiency in obtaining analytical solutions.
Related benchmarks
| Task | Dataset | Result | Rank | |
|---|---|---|---|---|
| PDE solving | Burgers' equation | L2 Relative Error0.4562 | 15 | |
| Differential Equation Solving | Damped wave equation | Relative L2 Error1.19 | 7 | |
| Differential Equation Solving | Diffusion equation | Relative L2 Error5.87 | 7 | |
| PDE solving | Diffusion PDE | Wall-clock Time (CPU) (ms)4.86e+5 | 6 | |
| Solving partial differential equations | Burgers' equation | Wall-clock Time (CPU)393.6 | 6 | |
| Solving partial differential equations | Damped wave equation | Wall-clock Time (CPU)379.2 | 6 | |
| Solving partial differential equations | Poisson-Gauss PG-2 | Wall-clock Time (CPU)704.5 | 5 | |
| Solving partial differential equations | Poisson-Gauss PG-3 | Wall-clock Time (CPU)664.3 | 5 | |
| Solving partial differential equations | Poisson-Gauss PG-4 | Wall-clock Time (CPU)751.6 | 5 | |
| PDE solving | Poisson-Gauss PG-2 | Relative L2 Error69.29 | 4 |