A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS FOR ELLIPTIC EQUATIONS Zhongwei Shen Abstract. Let L = diva be a real, symmetric second order elliptic operator with bounded measurable coefficients. Consider the elliptic equation Lu = 0 in a bounded Lipschitz domain Ω of R n. We study the relationship between the solvability of the L p Dirichlet problem (D) p with boundary data in L p ( Ω) and that of the L q regularity problem (R) q with boundary data in W,q ( Ω), where < p, q <. It is known that the solvability of (R) p implies that of (D) p. In this note we show that if (D) p is solvable, then either (R) p is solvable or (R) q is not solvable for any < q <.. Introduction Let L = diva be a real, symmetric second order elliptic operator with bounded measurable coefficients. For f C( Ω), consider the classical Dirichlet problem (.) Lu = 0 in Ω, u = f on Ω, where Ω is a bounded Lipschitz domain in R n, n 2. Let p denote the norm in L p ( Ω) with respect to the surface measure dσ on Ω. The L p Dirichlet problem (D) p is said to be solvable if the unique solution u C(Ω) to (.) satisfies the estimate N(u) p C f p. Here N(u) denotes the nontangential maximal function of u. If boundary data f is in W,p ( Ω), i.e., the first order (tangential) derivatives of f are also in L p ( Ω), it is natural to require that the solution satisfies the condition N( u) p C f W,p ( Ω). This is the so-called L p regularity problem. We remark that since u may not be locally bounded, N( u) needs to be suitably defined for weak solutions. Both the L p Dirichlet and regularity problems (as well as the L p Neumann problem) have been studied extensively. We refer the reader to the monograph [K] by Kenig for a survey of results as well as a list of open problems. The purpose of this note is to study the relationship between the Dirichlet problem and the regularity problem. It is well known that the solvability of the L p regularity problem implies that of the L p Dirichlet problem (see e.g. [KP2]), where p = p/(p ) denotes the dual exponent of p. The converse is also true in the case of Laplace s equation u = 0 Key words and phrases. Elliptic Equation; Dirichlet Problem; Regularity Problem. The author is supported in part by the NSF (DMS-0500257). Typeset by AMS-TEX
2 ZHONGWEI SHEN on Lipschitz domains [V]. However whether the converse holds for a general second order elliptic operator with nonsmooth coefficients remains open. In this note we obtain a partial result. Main Theorem. Let L be a real, symmetric second order elliptic operator of divergence form with bounded measurable coefficients. Let < p < and Ω be a bounded Lipschitz domain. Suppose that the L p Dirichlet problem for L on Ω is solvable. Then either the L p regularity problem (R) p is solvable or (R) q is not solvable for any < q <. We remark that for Laplace s equation in a Lipschitz domain Ω, the Dirichlet problem (D) p and the regularity problem (R) p are solvable for < p < 2 + ε, where ε > 0 depends on Ω [D, D2, JK, V]. If Ω is a C domain, (D) p and (R) p are solvable for any < p < [FJR]. However, for a general second order elliptic operator L, (D) p (thus (R) p ) may not be solvable for any < p <, even if the coefficients of L are continuous and Ω is smooth. Furthermore, it is known that the Dirichlet problem (D) p for L on Ω is solvable if and only if the L-harmonic measure is a B p weight with respect to the surface measure on Ω. We refer the reader to [K] for references on these and other deep results on the solvability of the L p Dirichlet problem. Concerning the L p regularity problem for general second order elliptic operators, we mention that the study was initiated by Kenig and Pipher in [KP, KP2]. In particular it was proved in [KP] that the solvability of (R) p implies that of (R) q for all < q < p + ε. This fact is used in the proof of the main theorem. Our main theorem will be proved in two steps. First we establish a weak reverse Hölder estimate, (.2) ) /p N( u) p dσ C N( u) dσ, I r I r I 6r I 6r where I r is a surface cube on Ω, and u is a weak solution of Lu = 0 in Ω whose boundary data vanishes on I 6r. This is done by using the comparison principle and properties of L-harmonic measures (see Theorem 2.9). It worths pointing out that for (.2) to hold, one only needs to assume that (D) p is solvable. The second step of the proof of the main theorem relies on a real variable argument. It uses a maximal dyadic cube decomposition on Ω and the reverse Hölder estimate (.2) to establish a good-λ type inequality (see Lemma 3.4). It is here that one needs to assume the solvability of (R) q for some q < p. Motivated by [CP] (also see [W]), this approach of combining the Calderón-Zygmund decomposition with the reserve Hölder estimates was developed in [S, S2, S3] to study the L p bounds of Riesz transforms associated with operator L, and the L p estimates for elliptic systems and higher order elliptic equations on Lipschitz domains. We remark that a similar method was used simultaneously and independently with different motivation by Auscher, Coulhon, Duong and Hofmann [ACDH, A] in the study of Riesz transforms on manifold as well as elliptic operators with complex coefficients. 2. A weak reverse Hölder inequality
A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS 3 Throughout this note, we will use Ω to denote a bounded Lipschitz domain in R n. For P Ω, let (2.) Γ α (P ) = x Ω : x P < ( + α)δ(x), where α > 0 and δ(x) = dist(x, Ω). We define ( ) /2 (2.2) N α (u)(p ) = sup B(x, 2 δ(x)) u(y) 2 dy : x Γ α (P ) B(x, 2 δ(x)), for any u L 2 loc (Ω). We will use N(u) for N (u). This is a variant of the usual nontangential maximal function (u), which is defined by (u) (P ) = sup u(x) : x Γ (P ). It is known that if Lu = 0 in Ω, then N α (u) p and (u) p are equivalent for any 0 < p. Assume 0 Ω and (2.3) Ω B(0, r 0 ) = (x, x n ) R n : x n > ψ(x ) B(0, r 0 ), where B(0, r 0 ) denotes the ball centered at 0 with radius r 0 and ψ : R n Lipschitz function, ψ(0) = 0. For r > 0, we let (2.4) I r = (x, ψ(x )) : x < r,..., x n < r, D r = (x, x n ) R n : x < r,..., x n < r, ψ(x ) < x n < ψ(x ) + r. Note that if 0 < r < c r 0, then D r Ω and D r Ω = I r. R is a Lemma 2.5. Let u C(Ω) be a weak solution of Lu = 0 in Ω. Suppose that u = 0 on I 5r for some 0 < r < c r 0. Then for any x D 2r, /2 G(x, z) (2.6) u(x) C G(A r, z) r n u(y) 2 dy, where A r = (0, r 2 ), z Ω \ D 0r, and G(x, y) denotes the Green function for L on Ω. Proof. Write u = u u 2 on D 3r, where u, u 2 are nonnegative weak solutions on Lipschitz domain D 3r with boundary values u + = max(u, 0) and u = max( u, 0) on D 3r respectively. By the comparison principle for nonnegative weak solutions [CFMS], we have (2.7) G(x, z) u j (x) C G(A r, z) u G(x, z) j(a r ) C G(A r, z) max u j, D 3r j =, 2, where x D 2r and z Ω \ D 0r. It follows that G(x, z) u(x) u (x) + u 2 (x) C G(A r, z) max u D 3r (2.8) /2 G(x, z) C G(A r, z) r n u(y) 2 dy, where we have used the boundary L estimate in the last step. The proof is finished.
4 ZHONGWEI SHEN Theorem 2.9. Suppose < p < and (D) p is solvable for operator L on Ω. Let u C(Ω) be a weak solution of Lu = 0 in Ω. If u = 0 on I 6r for some 0 < r < c r 0, then (2.0) ) /p N( u) p dσ C N( u) dσ, I r I r I 6r I 6r where I r denotes the surface measure of I r. Proof. We begin by observing that for any P I r, (u ) (2.) N( u)(p ) C (P ) + N( u) dσ, δ 20,r I 6r I 6r where ( u δ ) 20,r(P ) = sup u(x) δ(x) : x P c r and x Γ 20 (P ) that if x Γ (P ) and x P c r for some P I r, then (2.2). To see (2.), we note ( ) /2 B(x, 2 δ(x)) u(y) 2 dy C N( u) dσ. B(x, 2 δ(x)) I 6r I 6r Indeed, if the left side of (2.2) is greater than λ, then P I 6r : N( u)(p ) > c λ c I 6r. This may be seen by subdividing B(x, 2 δ(x)). On the other hand, if x Γ (P ) and x P < c r for some P I r, the left side of (2.2) is bounded by (2.3) C ( B(x, 3 4 δ(x)) B(x, 3 4 δ(x)) This follows from the Cacciopoli inequality. u(y) δ(y) 2 dy) /2 C To estimate ( u δ ) 20,r on I r, we use Lemma 2.5. This gives us ( u δ ) 20,r (P ). (2.4) ( u δ ) 20,r (P ) ) /2 C G(A r, z) r n u(y) 2 dy ( G(, z) δ( ) ) 20,r (P ) for any P I r. Now, fix z Ω \ D 0r. Let ω = ω z denote the L-harmonic measure on Ω, evaluated at z. Also, for x = (x, x n ) D 5r, let ˆx = (x, ψ(x )) Ω and S(ˆx, t) = B(ˆx, t) Ω. Since (2.5) G(z, x) δ(x) ω(s(ˆx, δ(x)) δ(x) n, for x D 2r and ω is a doubling measure [CMFS], we have (2.6) ( G(z, ) δ( ) ) 20,r (P ) C M σ,r (ω)(p ),
where A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS 5 (2.7) M σ,r (ω)(p ) = sup ω z (S(P, t)) t n : 0 < t < r is a localized Hardy-Littlewood maximal function of ω with respect to the surface measure. Finally, since (D) p is solvable for L on Ω, ω satisfies the Reverse Hölder inequality, (2.8) dω ) /p p dσ C ω(s), S S dσ S for any surface ball S = B(P, t) Ω on Ω. This, together with (2.4)-(2.6) as well as the L p boundedness of the Hardy-Littlewood maximal operator, yields (2.9) ( u ) ) /p p dσ C ) /2 I r I r δ 20,r r r n u(y) 2 dy. To finish the proof, we note that (2.20) ) /2 r r n u 2 dy C r n u 2 dy C r n u dy C D 5r r n N( u) dσ. I 6r ) /2 We point out that we have used Poincaré inequality for the first inequality in (2.20) and some well known properties of weak solutions for the second. Also, the third inequality in (2.20) follows from (2.2) I 6r N( u) dσ C r D 6r δ(x) n u(y) dy dx B(x, 2 δ(x)) and the Fubini s theorem. The desired reverse Hölder estimate (2.0) now follows by combining (2.), (2.9) and (2.20). 3. The proof of the Main Theorem Let < p <. Suppose that the Dirichlet problem (D) p is solvable for operator L on Lipschitz domain Ω. Also assume that the regularity problem (R) q is solvable for some < q < p. We will show that (R) p is solvable. Let f W,p ( Ω) C( Ω) and u C(Ω) be the unique weak solution of the classical Dirichlet problem (.). We need to prove that (3.) N( u) p C t f p, where t f denotes the first order tangential derivatives of f.
6 ZHONGWEI SHEN To this end, we fix P 0 Ω. By translation and rotation, we may assume that P 0 is the origin and (2.3) holds. Let D = (x, x n ) R n : x n > ψ(x ) and D r, I r be defined as in (2.4). Define the map Φ : D R n by Φ(x, ψ(x )) = x. We say that Q D is a cube of D if Φ(Q) is a cube of R n. The dyadic subcubes of a cube on D are defined similarly. We will use ρq for Φ [ρφ(q)]. If Q is a cube on D, we define a localized Hardy-Littlewood maximal function M Q by (3.2) M Q (f)(p ) = sup P Q For λ > 0 and 0 < r < c r 0, let cube Q Q Q f dσ. Q (3.3) E(λ) = P I r : M I2r ( N( u) q )(P ) > λ. Lemma 3.4. Let < q < p <. Suppose that (D) p and (R) q are solvable. There exist positive constants ε, γ, C 0 depending only on p, q, n, L and Ω such that (3.5) E(Aλ) ε E(λ) + P I r : M I2r ( t f q )(P ) > γλ for all λ λ 0, where A = /(2ε) q/p and (3.6) λ 0 = C 0 N( u) q dσ. I 2r I 2r Proof. Let ε (0, ) be a small constant to be determined. By the weak (, ) estimate of the Hardy-Littlewood maximal function, we have (3.7) E(λ) C λ I 2r N( u) q dσ, where C depends only on n and ψ. It follows that E(λ) < ε I r if λ λ 0, where λ 0 is given by (3.6) with a large C 0. Next we perform a Calderón-Zygmund decomposition on E(λ) as a relative open subset of I r. This produces a collection of disjoint dyadic subcubes Q k of I r such that E(λ) = k Q k and each Q k is maximal. We may assume that ε is sufficiently small so that 32Q k I 2r. We claim that it is possible to choose constants ε, γ, C 0 so that if Q k is a cube with the property (3.8) P Q k : M I2r ( t f q )(P ) γλ, then (3.9) E(Aλ) Q k ε Q k.
A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS 7 From this, estimate (3.5) follows by summation. To establish (3.9), we first observe that (3.0) M I2r ( N( u) q )(P ) max (M 2Qk ( N( u) q )(P ), C λ) for any P Q k, where C depends only on n and ψ. This is because Q k is maximal and so 3Q k E(λ). Assume A C. It follows that (3.) Q k E(Aλ) P Q k : M 2Qk ( N( u) q )(P ) > Aλ. Now let v = v k be the unique weak solution of Lv = 0 in Ω with boundary data ϕ(f α), where (3.2) α = f dσ, 7Q k 7Q k and ϕ = ϕ k is a smooth cut-off function on R n such that ϕ = on 6Q k, ϕ = 0 on Ω \ 7Q k, and ϕ C/l k, where l k = Q k /(n ). Let p > p. In view of (3.), we have (3.3) Q k E(Aλ) P Q k : M 2Qk ( N( u v) q )(P ) > Aλ 2 q + P Q k : M 2Qk ( N( v) q )(P ) > Aλ 2 q C N( u v) p dσ + C N( v) q dσ, (Aλ) p/q 2Q k Aλ 2Q k where we have used the weak ( p q, p q ) and (, ) estimates for the Hardy-Littlewood maximal operator. Since (R) q is solvable, the second term in the right side of (3.3) is bounded by (3.4) C Aλ Ω t [ϕ(f α)] q dσ C Aλ 7Q k t f q dσ C Aλ γλ 7Q k Cγ A Q k, where we have used Poincaré inequality for the first inequality and (3.8) for the second. To handle the first term on the right side of (3.3), we observe that u v α is a weak solution whose boundary data (f α)( ϕ) vanishes on 6Q k. Also note that the solvability of (D) p implies that (D) p for some p > p. It then follows by Theorem 2.9 that the first term on the right side of (3.3) is bounded by ) p C Q k N( u v) dσ (Aλ) p/q 2Q k 2Q k C Q k (Aλ) p/q C Q k (Aλ) p/q N( u) q dσ 2Q k 2Q k λ p/q + (γλ) p/q ) p/q + C A p/q Q k, ) p/q N( v) q dσ 2Q k 2Q k
8 ZHONGWEI SHEN where in the second inequality, we have used the solvability of (R) q, (3.4) as well as the fact that Q k is maximal. This, together with (3.3) and (3.4), gives (3.6) Cγ Q k E(Aλ) Q k A + C A p/q = ε Q k C 2 γε q p + C 2 ε p p, since A = /(2ε) q/p. Finally, since p > p, we may choose ε > 0 so small that C 2 ε p p < /2. With this ε fixed, we then choose γ > 0 so small that C 2 γε q p < /2. The desired estimate (3.9) follows. This completes the proof. Proof of The Main Theorem. We multiply both sides of (3.5) by λ p q and integrate the resulting inequality in λ (λ 0, Λ). This gives (3.7) Λ λ 0 Λ E(Aλ) λ p q dλ ε λ 0 E(λ) λ p q dλ + C t f p dσ. I 2r Since A p/q = /(2ε), by a change of variable, we obtain (3.8) Λ 0 E(λ) λ p q p q dλ C λ0 I 2r + C It follows by letting Λ in (3.8) that (3.9) In view of (3.6), we have proved that I 2r t f p dσ. p N( u) p q dσ C λ0 2r + C I r t f p dσ. I 2r (3.20) ) /p N( u) p dσ I r I r ) /q C N( u) q dσ + I 2r I 2r ) /p t f p dσ. I 2r I 2r From this and the estimate N( u) q C t f q, we obtain N( u) p C t f p by covering Ω with a finite number of coordinate patches. The proof is finished. References [A] P. Auscher, On necessary and sufficient conditions for L p estimates of Riesz transform associated to elliptic operators on R n and related estimates, to appear in Memoirs of Amer. Math. Soc..
A RELATIONSHIP BETWEEN THE DIRICHLET AND REGULARITY PROBLEMS 9 [ACDH] P. Auscher, T. Coulhon, X.T. Duong, and S. Hofmann, Riesz transforms on manifolds and heat kernel regularity, Ann. Sci. École Norm. Sup. Paris 37 (2004), 9-957. [CFMS] L. Caffarelli, E. Fabes, S. Mortola, and S. Salsa, Boundary behavior of non-negative solutions of elliptic operators in divergence form, Indiana Univ. Math. J. 30 (98), 62-640. [CP] L.A. Caffarelli and I. Peral, On W,p estimates for elliptic equations in divergence form, Comm. Pure App. Math. 5 (998), -2. [D] B. Dahlberg, On estimates for harmonic measure, Arch. Rat. Mech. Anal. 65 (977), 273-288. [D2] B. Dahlberg, On the Poisson integral for Lipschitz and C domains, Studia Math. 66 (979), 3-24. [FJR] E. Fabes, M.Jodeit Jr., and N. Riviére, Potential techniques for boundary value problems on C domains, Acta Math. 4 (978), 65-86. [JK] [K] [KP] [KP2] [S] [S2] [S3] D. Jerison and C. Kenig, The Neumann problem on Lipschitz domains, Bull. Amer. Math. Soc. 4 (98), 203-207. C. Kenig, Harmonic Analysis Techniques for Second Order Elliptic Boundary Value Problems, CBMS Regional Conference Series in Math., vol. 83, AMS, Providence, RI, 994. C. Kenig and J. Pipher, The Neumann problem for elliptic equations with non-smooth coefficients, Invent. Math. 3 (993), no. 3, 447-509. C. Kenig and J. Pipher, The Nuemann problem for elliptic equation with nonsmooth coefficients, II, Duke Math. J. 8 (995), no., 227-250. Z. Shen, Bounds of Riesz transforms on L p spaces for second order elliptic operators, Ann. Inst. Fourier (Grenoble) 55 (2005), no., 73-97. Z. Shen, The L p Dirichlet problem for elliptic systems on Lipschitz domains, Math. Res. Letters (2006), 43-59. Z. Shen, Necessary and sufficient conditions for the solvability of the L p Dirichlet problem on Lipschitz domains, to appear in Math. Ann.. [V] G. Verchota, Layer potentials and regularity for the Dirichlet problem for Laplace s equation, J. Funct. Anal. 59 (984), 572-6. [W] L. Wang, A geometric approach to the Calderón-Zygmund estimates, Acta Math. Sinica (Engl. Ser.) 9 (2003), 38-396. Department of Mathematics, University of Kentucky, Lexington, KY 40506 E-mail address: shenz@ms.uky.edu