Abstract
We consider a global version of the Div-Curl lemma for vector fields in a bounded domain Ω ⊂ R3 with the smooth boundary ∂Ω. Suppose that {uj}j = 1∞ and {vj}j = 1∞ converge to u and v weakly in Lr (Ω) and Lr′ (Ω), respectively, where 1 < r < ∞ with 1 / r + 1 / r′ = 1. Assume also that {div uj}j = 1∞ is bounded in Lq (Ω) for q > max {1, 3 r / (3 + r)} and that {rot vj}j = 1∞ is bounded in Ls (Ω) for s > max {1, 3 r′ / (3 + r′)}, respectively. If either {uj ṡ ν |∂ Ω}j = 1∞ is bounded in W1 - 1 / q, q (∂ Ω), or {vj × ν |∂ Ω}j = 1∞ is bounded in W1 - 1 / s, s (∂ Ω) (ν: unit outward normal to ∂Ω), then it holds that ∫Ω uj ṡ vj d x → ∫Ω u ṡ v d x. In particular, if either uj ṡ ν = 0 or vj × ν = 0 on ∂Ω for all j = 1, 2, ... is satisfied, then we have that ∫Ω uj ṡ vj d x → ∫Ω u ṡ v d x. As an immediate consequence, we prove the well-known Div-Curl lemma for any open set in R3. The Helmholtz-Weyl decomposition for Lr (Ω) plays an essential role for the proof.
Original language | English |
---|---|
Pages (from-to) | 3847-3859 |
Number of pages | 13 |
Journal | Journal of Functional Analysis |
Volume | 256 |
Issue number | 11 |
DOIs | |
Publication status | Published - 2009 Jun 1 |
Keywords
- Compact imbedding
- Div-Curl lemma
- Elliptic system of boundary value problem
- Helmholtz-Weyl decomposition
ASJC Scopus subject areas
- Analysis