Global Div-Curl lemma on bounded domains in R3

Hideo Kozono, Taku Yanagisawa

Research output: Contribution to journalArticle

6 Citations (Scopus)

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 languageEnglish
Pages (from-to)3847-3859
Number of pages13
JournalJournal of Functional Analysis
Volume256
Issue number11
DOIs
Publication statusPublished - 2009 Jun 1
Externally publishedYes

Fingerprint

Curl
Lemma
Bounded Domain
Unit normal vector
Hermann Von Helmholtz
Open set
Vector Field
Converge
Decompose

Keywords

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

ASJC Scopus subject areas

  • Analysis

Cite this

Global Div-Curl lemma on bounded domains in R3 . / Kozono, Hideo; Yanagisawa, Taku.

In: Journal of Functional Analysis, Vol. 256, No. 11, 01.06.2009, p. 3847-3859.

Research output: Contribution to journalArticle

Kozono, Hideo ; Yanagisawa, Taku. / Global Div-Curl lemma on bounded domains in R3 In: Journal of Functional Analysis. 2009 ; Vol. 256, No. 11. pp. 3847-3859.
@article{33b36d593e4747a7833c5c40367e91c1,
title = "Global Div-Curl lemma on bounded domains in R3",
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.",
keywords = "Compact imbedding, Div-Curl lemma, Elliptic system of boundary value problem, Helmholtz-Weyl decomposition",
author = "Hideo Kozono and Taku Yanagisawa",
year = "2009",
month = "6",
day = "1",
doi = "10.1016/j.jfa.2009.01.010",
language = "English",
volume = "256",
pages = "3847--3859",
journal = "Journal of Functional Analysis",
issn = "0022-1236",
publisher = "Academic Press Inc.",
number = "11",

}

TY - JOUR

T1 - Global Div-Curl lemma on bounded domains in R3

AU - Kozono, Hideo

AU - Yanagisawa, Taku

PY - 2009/6/1

Y1 - 2009/6/1

N2 - 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.

AB - 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.

KW - Compact imbedding

KW - Div-Curl lemma

KW - Elliptic system of boundary value problem

KW - Helmholtz-Weyl decomposition

UR - http://www.scopus.com/inward/record.url?scp=64549108901&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=64549108901&partnerID=8YFLogxK

U2 - 10.1016/j.jfa.2009.01.010

DO - 10.1016/j.jfa.2009.01.010

M3 - Article

AN - SCOPUS:64549108901

VL - 256

SP - 3847

EP - 3859

JO - Journal of Functional Analysis

JF - Journal of Functional Analysis

SN - 0022-1236

IS - 11

ER -