Journal Home Page Cumulative Index List of all Volumes Complete Contentsof this Volume Previous Article Journal of Convex Analysis 19 (2012), No. 3, 837--852Copyright Heldermann Verlag 2012 Convex Integrals on Sobolev Spaces Viorel Barbu Dept. of Mathematics, University "Al. J. Cuza", 6600 Iasi, Romania vb41@uaic.ro Yanqiu Guo Dept. of Mathematics, University of Nebraska, Lincoln, NE 68588, U.S.A. s-yguo2@math.unl.edu Mohammad A. Rammaha Dept. of Mathematics, University of Nebraska, Lincoln, NE 68588, U.S.A. mrammaha1@math.unl.edu Daniel Toundykov Dept. of Mathematics, University of Nebraska, Lincoln, NE 68588, U.S.A. dtoundykov2@unl.edu [Abstract-pdf] Let $j_0, j_1: \mathbb{R}\mapsto [0,\infty)$ denote convex functions vanishing at the origin, and let $\Omega$ be a bounded domain in $\mathbb{R}^3$ with sufficiently smooth boundary $\Gamma$. This paper is devoted to the study of the convex functional $$J(u)=\int_{\Omega} j_0(u)d\Omega + \int_{\Gamma} j_1(\gamma u) d\Gamma$$ on the Sobolev space $H^1(\Omega)$. We describe the convex conjugate $J^*$ and the subdifferential $\partial J$. It is shown that the action of $\partial J$ coincides pointwise a.e. in $\Omega$ with $\partial j_0(u(x))$, and a.e on $\Gamma$ with $\partial j_1(u(x))$. These conclusions are nontrivial because, although they have been known for the subdifferentials of the functionals $J_0(u) = \int_\Omega j_0(u)d\Omega$ and $J_1(u) = \int_\Gamma j_1(\gamma u)d\Gamma$, the lack of any growth restrictions on $j_0$ and $j_1$ makes the sufficient \emph{domain condition} for the sum of two maximal monotone operators $\partial J_0$ and $\partial J_1$ infeasible to verify directly. The presented theorems extend the results of H. Br{\'e}zis [Int\'egrales convexes dans les espaces de Sobolev, Proc. Int. Symp. Partial Diff. Equations and the Geometry of Normed Linear Spaces, Jerusalem 1972, vol. 13 (1972) 9--23 (1973); MR 0341077 (49\#5827)] and fundamentally complement the emerging research literature addressing supercritical damping and sources in hyperbolic PDE's. These findings rigorously confirm that a \emph{combination} of supercritical interior and boundary damping feedbacks can be modeled by the subdifferential of a suitable convex functional on the state space. [ Fulltext-pdf  (160  KB)] for subscribers only.