Bull. Austral. Math. Soc. Vol. 72 (2005) [31 38] 42b30, 42b35 DIV-CURL TYPE THEOREMS ON LIPSCHITZ DOMAINS Zengjian Lou For Lipschitz domains of R n we prove div-curl type theorems, which are extensions to domains of the Div-Curl Theorem on R n by Coifman, Lions, Meyer and Semmes. Applying the div-curl type theorems we give decompositions of Hardy spaces on domains. 1. Introduction In [4] two Hardy spaces are defined on domains of R n, one which is reasonably speaking the largest, and the other which in a sense is the smallest. The largest, Hr 1(), arises by restricting to arbitrary elements of H 1 (R n ). The other, Hz 1 (), arises by restricting to elements of H 1 (R n ) which are zero outside. Norms on these spaces are defined as following f H 1 r () = inf F H 1 (R n ), the infimum being taken over all functions F H 1 (R n ) such that F = f, where F is the zero extension of f to R n. f H 1 z () = F H 1 (R n ), From [2], the dual of Hz 1() is BMO r (), a space of locally integrable functions with ( ) 1 1/2 f BMOr () = sup f(x) f 2 dx <, where f = 1/ f(x) dx, and the supremum is taken over all cubes in the domain. The dual of Hr() 1 is BMO z (), the space of all functions in BMO(R n ) supported in, equipped with the norm f BMOz () = f BMO(R n ). Received 24th January, 2005 This work is supported by NNSF of China (Grant No.10371069), NSF of Guangdong Province (Grant No.032038) and SRF for ROCS, State Education Ministry. This paper was done when the author visited the Centre for Mathematics and its Applications (CMA) of Mathematical Sciences Institute at the Australian National University. The author would like to thank Professor Alan M c Intosh for helpful discussions and for supporting his visit to CMA in September of 2003. He also likes to thank CMA for hospitality during the visit. Copyright Clearance Centre, Inc. Serial-fee code: 0004-9727/05 $A2.00+0.00. 31
32 Z. Lou [2] Let denote a Lipschitz domain - an assumption which is enough to ensure the existence of a bounded extension map from BMO r () to BMO(R n ) ([6]). We use H() n := H(, R n ) to denote a space of functions f : R n (when n = 1, write H() 1 as H()). For simplicity we introduce the following spaces L 2 div ()n = { f L 2 () n : div f = 0, ν f = 0, f L 2 () n 1} ; L 2 curl ()n = { f L 2 () n : curl f = 0, ν f = 0, f L 2 () n 1}, where ν denotes the outward unit normal vector. When = R n L 2 div (Rn ) n = { f L 2 (R n ) n : div f = 0, f L 2 (R n ) n 1} ; L 2 curl(r n ) n = { f L 2 (R n ) n : curl f = 0, f L 2 (R n ) n 1}. In [5, Theorems II.1 and III.2], among other results, Coifman, Lions, Meyer and Semmes established the following theorems. Theorem CLMS1. Let 1 < p, q <, 1/p + 1/q = 1, E L p (R n ) n, div E = 0, F L q (R n ) n, curl F = 0. Then E F H 1 (R n ) and (1.1) E F H 1 (R n ) C E L p (R n ) n F L q (R n ) n for a constant C depending only on the dimension n. Theorem CLMS2. For b BMO(R n ) (1.2) b BMO(R n ) sup E,F R n b E F dx, where the supremum is taken over all E L 2 (R n ) n, F L 2 (R n ) n with div E = 0, curl F = 0 and E L 2 (R n ) n 1, F L 2 (R n ) n 1, and the implicit constants in (1.2) depend only on n. A natural question to ask is: under what conditions on domains does the equivalence (1.2) hold on? As a main theorem of this paper, we solve this problem for Lipschitz domains in R n. Theorem 1.1. Let be a Lipschitz domain of R n. (1) If b BMO r (), then (1.3) b BMOr () sup b e f dx, e,f the supremum being taken over all e L 2 div ()n, f L 2 curl ()n. (2) If b BMO z (), then
[3] Div-curl type theorems 33 (1.4) b BMOz () sup b e f dx, e,f the supremum being taken over all e = E, f = F, E L 2 div (Rn ) n, F L 2 curl (Rn ) n. The implicit constants in (1.3) and (1.4) depend only on the domain and the dimension n. Remark. Results for other BMO-type spaces, such as dual of divergence-free Hardy spaces, can be found in [8] and [9]. Corollary 1.2. (1) A function b BMO r () if and only if there exists a constant C such that b e f dx C for all e L 2 div ()n and f L 2 curl ()n. (2) A function b BMO z () if and only if there exists a constant C such that b e f dx C for all e = E and f = F with E L 2 div (Rn ) n, F L 2 curl (Rn ) n. Here and afterwards, unless otherwise specified, C denotes a constant depending only on the domain and the dimension n. Such C may differ at different occurrences. Applying Theorem 1.1 we have the following theorem which gives decompositions of H 1 z() and H 1 r() into quantities of forms e f. Theorem 1.3. (1) Any function u Hz 1 () can be written as u = λ k e k f k, k=1 where e k L 2 div ()n, f k L 2 curl ()n and λ k <. (2) Any function u H 1 r() can be written as u = λ k e k f k, k=1 where e k = E k, f k = F k, E k L 2 div (Rn ) n, F k L 2 curl (Rn ) n and λ k <. k=1 k=1
34 Z. Lou [4] 2. Proof of Theorem 1.1 To prove Theorem 1.1, we need the following lemmas. Lemma 2.1. ([6, Theorem 1].) Let b BMO r (). Then there exists B BMO(R n ) such that and (2.1) b = B B BMO(R n ) C b BMOr (). Lemma 2.2. ([7, Theorem 3.1].) Let b be a locally integrable function on. Then (2.2) where b BMOr () b BMO H (), ( 1 1/2, b BMO H () = sup b b dx) 2 the supremum being taken over all cubes with 2, the implicit constants in (2.2) depend only on and n. Lemma 2.3. For b L 2 loc () (2.3) b BMO H () C sup b e f dx, e,f the supremum being taken over all e L 2 div ()n and f L 2 curl ()n. The proof of Lemma 2.3 is given in the last section. Proof of Theorem 1.1: (1) Let B BMO(R n ) be an extension of b BMO r () such that b = B and (2.1) holds. For e L 2 div ()n, f L 2 curl ()n, define { e in ; E = 0 in R n \, { f in ; F = 0 in R n \. Since div e = 0 on and e ν = 0, it is easy to show that div E = 0 on R n. So E L 2 div (Rn ) n. Similarly, curlf = 0 on and f ν = 0 imply that curl F = 0
[5] Div-curl type theorems 35 on R n. Therefore F L 2 curl (Rn ) n. By duality H 1 (R n ) = BMO(R n ), Lemma 2.1 and (1.1), we have b e f dx = B E F dx B BMO(R n ) E F H 1 R n (R n ) C b BMOr () E L 2 (R n ) n F L 2 (R n ) n = C b BMOr () e L 2 () n f L 2 () n C b BMO r (). The proof of the reversed inequality in (1.3) follows from (2.2) and (2.3). (2) Let b BMO z () and B be its zero extension to R n. Then B BMO(R n ) and B BMO(R n ) = b BMOz (). Using (1.1) again, b e f dx = B E F dx B BMO(R n ) E F H 1 R n (R n ) C b BMOz () E L 2 (R n ) n F L 2 (R n ) n C b BMOz () for all e = E, f = F, E L 2 div (Rn ) n, F L 2 curl (Rn ) n. For the converse, let b BMO z () and define B as above. Applying (1.2) yields b BMOz () = B BMO(R n ) C sup B E F dx R n Theorem 1.1 is proved. E L 2 div,f L2 curl = C sup e=e,f=f,e L 2 div,f L2 curl 3. Proof of Theorem 1.3 b e f dx. The proof of Theorem 1.3 relies on Theorem 1.1 and the following facts from functional analysis which can be found in [5, Lemmas III.1, III.2]. Lemma 3.1. Let V be a bounded subset of a normed vector space X. We assume that V (closure of V for the norm of X ) contains the unit ball (centred at 0) of X. Then, any x in that ball can be written as 1 x = 2 j y j, where y j V for all j 0. j=0 Lemma 3.2. Let V be a bounded symmetric (x V x V ) subset of a normed vector space X. Then, the closed convex hull Ṽ of V (in X ) contains a ball centred at 0 if and only if, for any l X, l X sup l, x. x V
36 Z. Lou [6] Proof of Theorem 1.3: (1) Let X = Hz 1 () and V = { e f : e L 2 div() n, f L 2 curl() n}. It is easy to check that V is a bounded subset of X. In fact, for e L 2 div ()n, f L 2 curl ()n, let E and F be their zero extensions to R n respectively. Then E L 2 div (Rn ) n, F L 2 curl (Rn ) n. From Theorem CLMS1, E F H 1 (R n ) and E F H 1 (R n ) C E L 2 (R n ) n F L 2 (R n ) n C. Therefore e f Hz 1() with e f H 1 z () C. Applying Theorem 1.1 (1) and Lemmas 3.1 and 3.2, we have the decomposition of Theorem 1.3 (1). (2) Let X = Hr 1 () and V = { e f : e = E, f = F, E L 2 div (Rn ) n, F L 2 curl (Rn ) n}. Similar to the case (1), we have e f H 1 r() with e f H 1 r () = inf G H e f=g,g H 1 (R n 1 (R n ) E F H 1 (R n ) C ) for e f V. Using Theorem 1.1 (2) and those two lemmas again we finish the proof of Theorem 1.3. 4. Proof of Lemma 2.3 To prove Lemma 2.3 we need the following result due to Ne cas (see [10, Lemma 7.1, Chapter 3]). In Lemma 4.1, W 1,2 0 () n denotes the closure of C0 ()n in the Sobolev space W 1,2 () n and ϕ = ( ( ϕ i )/( x j ) ) a n n matrix (see [1] for Sobolev n n spaces). Lemma 4.1. Let be a Lipschitz domain in R n. If f L 2 () has zero integral, then there exists ϕ W 1,2 0 () n such that and f = div ϕ ϕ L 2 () n n C f L 2 (). Corollary 4.2. Let be a cube in R n. If f L 2 () has zero integral, then there exists ϕ W 1,2 0 () n such that f = div ϕ and ϕ L 2 () n n C 0 f L 2 ()
[7] Div-curl type theorems 37 for a constant C 0 independent of. Proof of Lemma 2.3: Suppose b L 2 loc (). We shall show that for all cubes with 2 there exists e L 2 div ()n and f L 2 curl ()n such that (4.1) ( 1 1/2 b b dx) 2 C Let h = b b, then h L 2 () with b e f dx. exists ϕ := (ϕ 1,..., ϕ n ) W 1,2 0 () n such that h = div ϕ and (4.2) ϕ L 2 () n n C 0 h L 2 (), where C 0 is independent of. So h dx = 0. From Corollary 4.2, there (4.3) n h 2 L 2 () = ϕ i h dx n max x i=1 i 1 i n = n h ϕ i 0 dx x i0 h ϕ i dx x i for some choice of i 0 (i 0 = 1,..., n). Assuming without loss of generality that i 0 = 1 in (4.3). To prove (4.1), it is sufficient to show that (4.4) h h 1 L 2 () We next construct e and f. Define f = ϕ 1 dx x 1 C 1/2 h e f dx. ( ϕ 1, 0,..., 0, ϕ ) 1, 0,..., 0 C0 1 x i x h 1, L 2 () 1 where ( ϕ 1 )/( x 1 ) is the i-th component of f. Then f L 2 () n with div f = 0 and f L 2 () n 1 by (4.2). Let ψ 0 C0 (Rn ) such that ψ 0 = { 1 on [ 1, 1] n ; 0 outside [ 2, 2] n. Define e = γc 0 1/2 (( x i x 0 i ) ψ (x) ), 1 i n,
38 Z. Lou [8] where ψ (x) = ψ 0 ( (x x 0 )/( l()/2 )), x 0 = ( x 0 1,..., x0 n) and l() denote the centre and the side-length of the cube, γ > 0 is a normalisation constant (independent of x 0 and l()) so that e L 2 () n 1. It is obvious that e C 0 (2) and e = γc 0 1/2 ε i on, where ε i = (0,..., 0, 1, 0,..., 0), 1 is the i-th component of ε i. From the construction of e and f, we get and (4.4) is proved. e f = γ 1/2 h 1 L 2 () ϕ 1 on x 1 Note. It should be added that at the time the paper was finished, the author was unfortunately unaware of a similar but unpublished work [3] (with different proof). Thanks go to Galia Dafni (Department of Mathematics & Statistics, Concordia University, Canada) for informing us her paper with Chang and Sadosky. References [1] R.A. Adams, Sobolev spaces (Academic Press, New York, 1975). [2] D.C. Chang, The dual of Hardy spaces on a domain in R n, Forum Math. 6 (1994), 65 81. [3] D.C. Chang, G. Dafni and C. Sadosky, A div-curl lemma in BMO on a domain (to appear). [4] D.C. Chang, S.G. Krantz and E.M. Stein, H p theory on a smooth domain in R n and elliptic boundary value problems, J. Funct. Anal. 114 (1993), 286 347. [5] R. Coifman, P.L. Lions, Y. Meyer and S. Semmes, Compensated compactness and Hardy spaces, J. Math. Pures Appl. 72 (1993), 247 286. [6] P.W. Jones, Extension theorems for BMO, Indiana Univ. Math. J. 29 (1980), 41-66. [7] Z. Lou, Jacobian on Lipsctitz domains of R 2, Proc. Centre Math. Appl. Austral. Nat. Univ. 41 (2003), 96 109. [8] Z. Lou and A. M c Intosh, Hardy spaces of exact forms on R n, Trans. Amer. Math. Soc. 357 (2005), 1469 1496. [9] Z. Lou and A. M c Intosh, Hardy spaces of exact forms on Lipschitz domains in R n, Indiana Univ. Math. J. 54 (2004), 581 609. [10] J. Ne cas, Les méthodes directes en théorie des équations elliptiques, (Masson et Cie Paris, Editors) (Academia, Editeurs, Prague, 1967). Department of Mathematics Shantou University Shantou Guangdong 515063 Peoples Repbulic of China e-mail: zjlou@stu.edu.cn