Verifying Well-Posedness of Linear PDEs using Convex Optimization

Declan S. Jagt, Matthew M. Peet

Ensuring that a PDE model is well-posed is a necessary precursor to any form of analysis, control, or numerical simulation. Although the Lumer--Phillips theorem provides necessary…