1: \begin{abstract}

2: This work introduces liftings and their associated Young measures as new tools to study the asymptotic behaviour of sequences of pairs $(u_j,Du_j)_j$ for $(u_j)_j\subset\BV(\Omega;\R^m)$ under weak* convergence. These tools are then used to prove an integral representation theorem for the relaxation of the functional

3: \[

4: \Fcal\colon u\mapsto\int_\Omega f(x,u(x),\nabla u(x))\;\dd x,\quad u\in\W^{1,1}(\Omega;\R^m),\quad\Omega\subset\R^d\text{ open,}

5: \]

6: to the space $\BV(\Omega;\R^m)$. Lower semicontinuity results of this type were first obtained by~Fonseca \& M\"uller [\emph{Arch. Ration. Mech. Anal.} 123 (1993), 1--49] and later improved by a number of authors, but our theorem is valid under more natural, essentially optimal, hypotheses than those currently present in the literature, requiring principally that $f$ be Carath\'eodory and quasiconvex in the final variable. The key idea is that liftings provide the right way of localising $\Fcal$ in the $x$ and $u$ variables simultaneously under weak* convergence. As a consequence, we are able to implement an optimal measure-theoretic blow-up procedure.

7: \end{abstract}

8: