Stability Analysis for a Class of Partial Differential Equations via Semidefinite Programming.

This paper studies scalar integral inequalities in one-dimensional bounded domains with polynomial integrands. We propose conditions to verify the integral inequalities in terms of differential matrix inequalities. These conditions allow for the verification of the inequalities in subspaces defined by boundary values of the dependent variables. The results are applied to solve integral inequalities arising from the Lyapunov stability analysis of partial differential equations. Examples illustrate the results.