No label defined (Q3976459)

[For the entire collection see Zbl 0732.00012.] The biting lemma states that to each bounded sequence \((f^{(j)})\) in \(L^ 1(\Omega ),\;\Omega\subset \mathbb{R}^ n\) bounded and measurable, there exist a subsequence \((f^{(\nu)})\), a function \(f\in L^ 1(\Omega )\) and a non-increasing sequence of measurable subsets \(E_ k\subset\Omega\) such that \[ \lim_{k\to\infty}\text{meas}(E_ k)=0 \text{ and } f^{(\nu)}\rightharpoonup f\text{ in } L^ 1(\Omega\setminus E_ k)\text{ as } \nu\to\infty ,\text{ for each fixed } k. \] Using this lemma, the author proves the following weak continuity result : If \(u^{(j)}\rightharpoonup u\) in \(W^{1,n}(\Omega ,\mathbb{R}^ n),\;\Omega\subset\mathbb{R}^ n\) bounded and open, \(n\geq 2\), then there exists a subsequence \((u^{(\nu)})\) of \((u^{(j)})\) such that \(\text{det} Du^{(\nu)}\rightharpoonup \text{det} Du\) in the sense of the biting lemma. In this spirit, a theorem on weak lower semicontinuity of variational integrals with quasiconvex integrands is also proved.