Sharp inequalities which generalize the divergence theorem--an extension of the notion of quasiconvexity, with an addendum

Subject to suitable boundary conditions being imposed, sharp inequalities are obtained on integrals over a region $\mathrm{\Omega }$ of certain special quadratic functions $f(\mathbf{E})$ where $\mathbf{E}(\mathbf{x})$ derives from a potential $\mathbf{U}(\mathbf{x})$. With $\mathbf{E}=\mathbf{\nabla }\mathbf{U}$ it is known that such sharp inequalities can be obtained when $f(\mathbf{E})$ is a quasiconvex function and when $\mathbf{U}$ satisfies affine boundary conditions (i.e., for some matrix $\mathbf{D}$, $\mathbf{U}=\mathbf{D}\mathbf{x}$ on $\mathrm{\partial }\mathrm{\Omega }$). Here we allow for other boundary conditions and for fields $\mathbf{E}$ that involve derivatives of a variety orders of $\mathbf{U}$. We define a notion of convexity that generalizes quasiconvexity. $Q^{\ast }$-convex quadratic functions are introduced, characterized and an algorithm is given for generating sharply $Q^{\ast }$-convex functions. We emphasize that this also solves the outstanding problem of finding an algorithm for generating extremal quasiconvex quadratic functions. We also treat integrals over $\mathrm{\Omega }$ of special quadratic functions $g(\mathbf{J})$ where $\mathbf{J}(\mathbf{x})$ satisfies a differential constraint involving derivatives with, possibly, a variety of orders. The results generalize an example of Kang and the author in three spatial dimensions where $\mathbf{J}(\mathbf{x})$ is a $3\times 3$matrixvaluedfieldsatisfying$\nabla\cdot\bf{J}=0$. In the addendum the paper is clarified. Notably, much more general boundary conditions are given under which sharp lower bounds on the integrals of certain quadratic functions of the fields can be obtained. As a consequence, strict $Q^{\ast }$-convexity is found to be an appropriate condition to ensure uniqueness of the solutions of a wide class of partial differential equations with constant coefficients, in a given domain $\mathrm{\Omega }$ with appropriate boundary conditions.