Convex solutions to integral inequalities in two-dimensional domains

This paper presents a method to verify integral inequalities on two-dimensional domains. The integral expressions are given by line integrals on the boundaries and by surface integrals: both are quadratic on the dependent variables and their derivatives. The proposed approach can verify the inequalities for a set of the dependent variables defined by their boundary values. We apply the results to solve integral inequalities related to Lyapunov stability conditions for exponential stability of Partial Differential Equations.

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

[2]  Peter J Seiler,et al.  SOSTOOLS: Sum of squares optimization toolbox for MATLAB , 2002 .

[3]  Antonios Armaou,et al.  Analysis and control of parabolic PDE systems with input constraints , 2003, Autom..

[4]  T. K. Caughey,et al.  Dynamical Systems and Evolution Equations: Theory and Applications , 1980 .

[5]  R. Datko.  Extending a theorem of A. M. Liapunov to Hilbert space , 1970 .

[6]  Mohamadreza Ahmadi,et al.  Input-output analysis of distributed parameter systems using convex optimization , 2014, 53rd IEEE Conference on Decision and Control.

[7]  Daniel B. Henry.  Geometric Theory of Semilinear Parabolic Equations , 1989 .

[8]  Christophe Prieur,et al.  A Strict Control Lyapunov Function for a Diffusion Equation With Time-Varying Distributed Coefficients , 2013, IEEE Transactions on Automatic Control.

[9]  Mohamadreza Ahmadi,et al.  Barrier functionals for output functional estimation of PDEs , 2015, 2015 American Control Conference (ACC).

[10]  Hans Zwart,et al.  An Introduction to Infinite-Dimensional Linear Systems Theory , 1995, Texts in Applied Mathematics.

[11]  Paul J. Goulart,et al.  Global Stability Analysis of Fluid Flows using Sum-of-Squares , 2010, ACC 2010.

[12]  Mohamadreza Ahmadi,et al.  Semi-definite programming and functional inequalities for distributed parameter systems , 2014, 53rd IEEE Conference on Decision and Control.

[13]  Jos F. Sturm,et al.  A Matlab toolbox for optimization over symmetric cones , 1999 .

[14]  Hans Zwart,et al.  Global Exponential Stabilization of a Two-Dimensional Pool-Boiling Model , 2014, IEEE Transactions on Automatic Control.

[15]  B. Bamieh,et al.  Modeling flow statistics using the linearized Navier-Stokes equations , 2001, Proceedings of the 40th IEEE Conference on Decision and Control (Cat. No.01CH37228).

[16]  A. Movchan,et al.  The direct method of Liapunov in stability problems of elastic systems , 1959 .

[17]  Miroslav Krstic,et al.  Control of mixing by boundary feedback in 2D channel flow , 2003, Autom..

[18]  Mohamadreza Ahmadi,et al.  Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming , 2016, IEEE Transactions on Automatic Control.

[19]  Mihailo R. Jovanovic,et al.  Model-based analysis of polymer drag reduction in a turbulent channel flow , 2013, 2013 American Control Conference.

[20]  P. Parrilo.  Structured semidefinite programs and semialgebraic geometry methods in robustness and optimization , 2000 .

[21]  Miroslav Krstic,et al.  Magnetohydrodynamic state estimation with boundary sensors , 2008, Autom..