Global compensated compactness theorem for general differential operators of first order (Q1944737): Difference between revisions
From MaRDI portal
Added link to MaRDI item. |
Removed claim: reviewed by (P1447): Item:Q591999 |
||
Property / reviewed by | |||
Property / reviewed by: László Simon / rank | |||
Revision as of 23:14, 19 February 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Global compensated compactness theorem for general differential operators of first order |
scientific article |
Statements
Global compensated compactness theorem for general differential operators of first order (English)
0 references
27 March 2013
0 references
Let \(A_i(x,D)\) \((1=1,2)\) be differential operators of first-order, acting on \(u= (u_1,\dots, u_l)\) in a bounded domain \(\Omega\subset\mathbb{R}^n\) with smooth boundary, and \(B_i\) be the trace operator onto \(\partial\Omega\) associated with \(A_i(x,D)\), determined by the Stokes formula. Assume that the \(H^1(\Omega)\) norm of \(u\) is equivalent to \[ \sum^2_{i=1}\| A_iu\|_{L^2(\Omega)}+\| B_ju\|_{H^{1/2}(\partial\Omega)}\qquad (j= 1,2) \] and \(A_1A_2'= 0\), \(A_2 A_1'= 0\), where \(A_i'\) is the formal adjoint of \(A_i\). The authors prove that, if \(\{u_m\}^\infty_{m=1}\) and \(\{v_m\}^\infty_{m= 1}\) converge to \(u\) and \(v\) weakly in \(L^2(\Omega)\), respectively, \(\{A_i u_m\}^\infty_{m=1}\) are bounded in \(L^2(\Omega)\) \((i= 1,2)\), and finally, either \(\{B_1 u_m\}^\infty_{m=1}\) or \(\{B_2 v_m\}^\infty_{m=1}\) is bounded in \(H^{1/2}(\partial\Omega)\), then \(\int_\Omega u_m v_m dx\to \int_\Omega uv\). This theorem is a generalization of Murat-Tartar's classical Div-Curl lemma and, in this particular case, the global convergence is proved, not only the known local convergence in the interior of \(\Omega\). The global Div-Curl lemma on compact Riemannian manifolds with boundary is proved, too.
0 references
Div-Curl lemma
0 references
compensated compactness theorem
0 references
differential operators of first-order
0 references