## Abstract

We consider a global version of the Div-Curl lemma for vector fields in a bounded domain Ω ⊂ R^{3} with the smooth boundary ∂Ω. Suppose that {u_{j}}_{j = 1}^{∞} and {v_{j}}_{j = 1}^{∞} converge to u and v weakly in L^{r} (Ω) and L^{r′} (Ω), respectively, where 1 < r < ∞ with 1 / r + 1 / r^{′} = 1. Assume also that {div u_{j}}_{j = 1}^{∞} is bounded in L^{q} (Ω) for q > max {1, 3 r / (3 + r)} and that {rot v_{j}}_{j = 1}^{∞} is bounded in L^{s} (Ω) for s > max {1, 3 r^{′} / (3 + r^{′})}, respectively. If either {u_{j} ṡ ν |_{∂ Ω}}_{j = 1}^{∞} is bounded in W^{1 - 1 / q, q} (∂ Ω), or {v_{j} × ν |_{∂ Ω}}_{j = 1}^{∞} is bounded in W^{1 - 1 / s, s} (∂ Ω) (ν: unit outward normal to ∂Ω), then it holds that ∫_{Ω} u_{j} ṡ v_{j} d x → ∫_{Ω} u ṡ v d x. In particular, if either u_{j} ṡ ν = 0 or v_{j} × ν = 0 on ∂Ω for all j = 1, 2, ... is satisfied, then we have that ∫_{Ω} u_{j} ṡ v_{j} d x → ∫_{Ω} u ṡ v d x. As an immediate consequence, we prove the well-known Div-Curl lemma for any open set in R^{3}. The Helmholtz-Weyl decomposition for L^{r} (Ω) 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 |

Externally published | Yes |

## Keywords

- Compact imbedding
- Div-Curl lemma
- Elliptic system of boundary value problem
- Helmholtz-Weyl decomposition

## ASJC Scopus subject areas

- Analysis