Automatic Symmetrization and Energy Estimates Using Local Operators for Partial Differential Equations

We develop a method for automatically symmetrizing Petrowsky well-posed Cauchy problems for constant coefficient linear partial differential equations. The method is rooted in the Sturm sequence technique for establishing the location of the roots of a complex polynomial and can be automated using standard symbolic computation tools. In the special case of homogeneous strictly hyperbolic scalar equations, we show that the resulting estimates are strong enough to control all principal order derivatives and thus can be used in place of the Leray energies. We also illustrate the method by applying it to various problems of mixed type.