Renormalized reduced models for singular PDEs

We present a novel way of constructing reduced models for systems of ordinary differential equations. In particular, the approach combines the concepts of renormalization and effective field theory developed in the context of high energy physics and the Mori‐Zwanzig formalism of irreversible statistical mechanics. The reduced models we construct depend on coefficients which measure the importance of the different terms appearing in the model and need to be estimated. The proposed approach allows the estimation of these coefficients on the fly by enforcing the equality of integral quantities of the solution as computed from the original system and the reduced model. In this way we are able to construct stable reduced models of higher order than was previously possible. The method is applied to the problem of computing reduced models for ordinary differential equation systems resulting from Fourier expansions of singular (or near-singular) time-dependent partial differential equations. Results for the 1D Burgers and the 3D incompressible Euler equations are used to illustrate the construction. Under suitable assumptions, one can calculate the higher order terms by a simple and efficient recursive algorithm. Spatial discretizations or Fourier expansions of the solutions of time-dependent partial differential equations (PDEs) lead to systems of ordinary differential equations (ODEs). The most difficult case arises when the solution of a PDE becomes singular in finite time. At such instants the solution of the PDE develops activity down to the zero length scale. A brute force numerical simulation (no matter how large) of such a solution is bound to fail because the simulation has a finite resolution and thus will be unable to resolve all the length scales down to the zero scale. When the solution develops activity at a scale smaller than the smallest scale available to the simulation, the numerically computed solution becomes underresolved. This leads to a rapid deterioration of the accuracy of the simulation. The notion of propagation of activity to smaller and smaller scales depends on the physical context of the PDE. In some cases, like the 3D Euler or Navier‐Stokes

[1]  E. Hairer,et al.  Solving Ordinary Differential Equations II: Stiff and Differential-Algebraic Problems , 2010 .

[2]  Andrew J. Majda,et al.  The Beltrami spectrum for incompressible fluid flows , 1988 .

[3]  C. Doering,et al.  Applied analysis of the Navier-Stokes equations: Index , 1995 .

[4]  A. Fisher,et al.  The Theory of Critical Phenomena: An Introduction to the Renormalization Group , 1992 .

[5]  N. Goldenfeld Lectures On Phase Transitions And The Renormalization Group , 1972 .

[6]  Charles R. Doering,et al.  Applied analysis of the Navier-Stokes equations: Index , 1995 .

[7]  Panagiotis Stinis A PHASE TRANSITION APPROACH TO DETECTING SINGULARITIES OF PARTIAL DIFFERENTIAL EQUATIONS , 2009 .

[8]  Ernst Hairer,et al.  Solving Ordinary Differential Equations I: Nonstiff Problems , 2009 .

[9]  J. Collins Renormalization: An Introduction to Renormalization, the Renormalization Group and the Operator-Product Expansion , 1984 .

[10]  Alexandre J. Chorin,et al.  Random choice solution of hyperbolic systems , 1976 .

[11]  Panos Stinis,et al.  Numerical Computation of Solutions of the Critical Nonlinear Schrödinger Equation after the Singularity , 2010, Multiscale Model. Simul..

[12]  Gene H. Golub,et al.  Matrix computations , 1983 .

[13]  Bertrand Delamotte,et al.  A Hint of renormalization , 2002, hep-th/0212049.

[14]  Alexandre J. Chorin,et al.  Problem reduction, renormalization, and memory , 2005 .

[15]  David Bernstein,et al.  Optimal Prediction of Burgers's Equation , 2007, Multiscale Model. Simul..

[16]  Panagiotis Stinis,et al.  Higher Order Mori-Zwanzig Models for the Euler Equations , 2006, Multiscale Model. Simul..

[17]  Eric Walter,et al.  Solving Ordinary Differential Equations , 2019, Programming for Computations - Python.

[18]  C. Sulem,et al.  The nonlinear Schrödinger equation : self-focusing and wave collapse , 2004 .

[19]  A J Chorin,et al.  Optimal prediction and the Mori-Zwanzig representation of irreversible processes. , 2000, Proceedings of the National Academy of Sciences of the United States of America.

[20]  Howard Georgi,et al.  Effective Field Theory , 1993 .

[21]  Gene H. Golub,et al.  Matrix computations (3rd ed.) , 1996 .

[22]  Panagiotis Stinis Phase transition approach to detecting singularities of PDEs , 2008, 0812.4691.

[23]  Leland Jameson,et al.  Numerical Convergence Study of Nearly Incompressible, Inviscid Taylor–Green Vortex Flow , 2005, J. Sci. Comput..

[24]  Abhilash J. Chandy,et al.  The t-Model as a Large Eddy Simulation Model for the Navier-Stokes Equations , 2009, Multiscale Model. Simul..

[25]  Richard Bellman,et al.  Perturbation techniques in mathematics, engineering & physics , 1973 .

[26]  A. Stuart,et al.  Extracting macroscopic dynamics: model problems and algorithms , 2004 .

[27]  Alexandre J. Chorin,et al.  Optimal prediction with memory , 2002 .

[28]  Panagiotis Stinis,et al.  Optimal prediction and the rate of decay for solutions of the Euler equations in two and three dimensions , 2007, Proceedings of the National Academy of Sciences.