English

Relaxation for partially coercive integral functionals with linear growth

Analysis of PDEs 2020-04-01 v2

Abstract

We prove an integral representation theorem for the L1(Ω;Rm)\mathrm{L}^1(\Omega;\mathbb{R}^m)-relaxation of the functional F ⁣:uΩf(x,u(x),u(x))  ddx,uW1,1(Ω;Rm),ΩRd open, \mathcal{F}\colon u\mapsto\int_\Omega f(x,u(x),\nabla u(x))\;\mathrm{dd } x,\quad u\in\mathrm{W}^{1,1}(\Omega;\mathbb{R}^m),\quad\Omega\subset\mathbb{R}^d\text{ open,} to the space BV(Ω;Rm)\mathrm{BV}(\Omega;\mathbb{R}^m) under very general assumptions, requiring principally that ff be Carath\'eodory, partially coercive, and quasiconvex in the final variable. Our result is the first of its kind which applies to integrands which are unbounded in the uu-variable and thus allows to treat many problems from applications. Such functionals are out of reach of the classical blow-up approach introduced by Fonseca & M\"uller [Arch. Ration. Mech. Anal. 123 (1993), 1--49]. Our proof relies on an intricate truncation construction (in the xx and uu arguments simultaneously) made possible by the theory of liftings as introduced in the companion paper arXiv:1708.04165, and features techniques which could be of use for other problems featuring uu-dependent integrands.

Keywords

Cite

@article{arxiv.1806.00343,
  title  = {Relaxation for partially coercive integral functionals with linear growth},
  author = {Filip Rindler and Giles Shaw},
  journal= {arXiv preprint arXiv:1806.00343},
  year   = {2020}
}

Comments

48 pages. Updated to correct minor typos and inaccuracies, expanded exposition for clarity. Revised statement of Theorem 2.3, and a full proof is now given. Significant refactoring/rewriting of the proof of Proposition 4.1 (which was previously Proposition 4.2) for clarity. A proof is now given for Lemma 5.5. arXiv admin note: text overlap with arXiv:1708.04165

R2 v1 2026-06-23T02:16:07.411Z