Upscaling and Automation: Pushing the Boundaries of Multiscale Modeling through Symbolic Computing

Macroscopic differential equations that accurately account for microscopic phenomena can be systematically generated using rigorous upscaling methods. However, such methods are time-consuming, prone to error, and become quickly intractable for complex systems with tens or hundreds of equations. To ease these complications, we propose a method of automatic upscaling through symbolic computation. By streamlining the upscaling procedure and derivation of applicability conditions to just a few minutes, the potential for democratization and broad utilization of upscaling methods in real-world applications emerges. We demonstrate the ability of our software prototype, Symbolica, by reproducing homogenized advective-diffusive-reactive (ADR) systems from earlier studies and homogenizing a large ADR system deemed impractical for manual homogenization. Novel upscaling scenarios previously restricted by unnecessarily conservative assumptions are discovered and numerical validation of the models derived by Symbolica is provided.