Moment and SDP relaxation techniques for smooth approximations of problems involving nonlinear differential equations

Combining recent moment and sparse semidefinite programming (SDP) relaxation techniques, we propose an approach to find smooth approximations for solutions of problems involving nonlinear differential equations. Given a system of nonlinear differential equations, we apply a technique based on finite differences and sparse SDP relaxations for polynomial optimization problems (POP) to obtain a discrete approximation of its solution. In a second step we apply maximum entropy estimation (using moments of a Borel measure associated with the discrete solution) to obtain a smooth closed-form approximation. The approach is illustrated on a variety of linear and nonlinear ordinary differential equations (ODE), partial differential equations (PDE) and optimal control problems (OCP), and preliminary numerical results are reported.

[1]  Masakazu Muramatsu,et al.  SparsePOP: a Sparse Semidefinite Programming Relaxation of Polynomial Optimization Problems , 2005 .

[2]  Nobuki Takayama,et al.  Solutions of polynomial systems derived from the steady cavity flow problem , 2008, ISSAC '09.

[3]  J. Lasserre Moments, Positive Polynomials And Their Applications , 2009 .

[4]  John C. Butcher,et al.  General linear methods for ordinary differential equations , 2009, Math. Comput. Simul..

[5]  Pablo A. Parrilo,et al.  Introducing SOSTOOLS: a general purpose sum of squares programming solver , 2002, Proceedings of the 41st IEEE Conference on Decision and Control, 2002..

[6]  Didier Henrion,et al.  GloptiPoly: Global optimization over polynomials with Matlab and SeDuMi , 2003, TOMS.

[7]  M. Kojima,et al.  Solving partial differential equations via sparse SDP relaxations , 2007 .

[8]  Jean B. Lasserre,et al.  Convergent SDP-Relaxations for Polynomial Optimization with Sparsity , 2006, ICMS.

[9]  M. Mimura Asymptotic Behaviors of a Parabolic System Related to a Planktonic Prey and Predator Model , 1979 .

[10]  Emmanuel Trélat,et al.  Nonlinear Optimal Control via Occupation Measures and LMI-Relaxations , 2007, SIAM J. Control. Optim..

[11]  Jonathan M. Borwein,et al.  On the convergence of moment problems , 1991 .

[12]  M. Teague Image analysis via the general theory of moments , 1980 .

[13]  Xuan Vinh Doan,et al.  Approximating integrals of multivariate exponentials: A moment approach , 2008, Oper. Res. Lett..

[14]  Masakazu Muramatsu,et al.  Sums of Squares and Semidefinite Programming Relaxations for Polynomial Optimization Problems with Structured Sparsity , 2004 .

[15]  Constantine Caramanis,et al.  Bounds on linear PDEs via semidefinite optimization , 2006, Math. Program..

[16]  Jean B. Lasserre Semidefinite programming for gradient and Hessian computation in maximum entropy estimation , 2007, 2007 46th IEEE Conference on Decision and Control.

[17]  Jean B. Lasserre,et al.  Convergent SDP-Relaxations in Polynomial Optimization with Sparsity , 2006, SIAM J. Optim..