This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
0, set
v(x , t) =
fn_1
do-ly (77(x', cp(x') + t) - 77(Y', V(t")))
x (83k)(x' - y', w(x') - '(y') + t)g(y') and, with c > 0 fixed, consider v,,,(x') = Sup{Iv(z',t)I I Ix' - z'I < it}, x E Rn-1. Then IIv+*IIL2(R -1;dn-1x1) < CIIgIIL2(jgn-1;dn-1S-).
(D.77)
(D.78) (D.79)
To establish (D.79), fix a smooth, even function 0 defined in Rn, with the property that 0 - 0 near the origin and O(x) = 1 for IxI > 2. We then further decompose v(x', t) = VI (x', t) + v2 (x', t)
where
(D.80)
167
ROBIN-TO-DIRICHLET MAPS AND KREIN-TYPE RESOLVENT FORMULAS
v1(x', t) d1-11J' (7?(x', W(x ))
_
1
- ,(y', co(1y')))(ajk)(x'- y
w(x')
- w(y) + t)9(y')
w(x')) Ix'- -ri(y', wP(y')) y'I
yr Ix'_y'Iri-1
x (ajk)(Ix,y,I, w(x')Ix'- W(Y') - y'I x ' - y'
do-1y,
,
+ t
)9(y,)
n(x',
Qpq,
Fpq(c)
if0
1
0 <s- 1 0No. p
Then (5.6)
Apq(1) = Apq(1l)
f E Apq(cl) : tr"P f = 0}
with trr'p as in (5.2). Furthermore, (5.7)
K s- 1-k BPq(1) = Bpq(ft) x fl Bpq p (r)
k=0
WAVELETS IN FUNCTION SPACES
371
and
Fpq(c) = Fpq(a) x 11 Bpp
(5.8)
p-k(I').
k=0
REMARK 5.5. If 1 < p, q < oo then (5.6) can be complemented by (5.9)
-1 < s - 1
Arq(D) = A;,, (n) = A,-, (0),
< 0.
P
Both (5.6), (5.9) are covered by 127, p. 210] (and the related proof) with (26, pp. 317/318] as forerunners. The decomposition (5.7), (5.8) must be understood as follows. Let extrp be as in (5.3)-(5.5). Then P = extT'1' o trip :
APq(11) -Apq(f2)
is a projection and K
B;; n -k(r)
extr '
PBpq(1)
k=O
K extr'p :
BPp
v-k(r) t-- PFpq(S2)
k=0
are isomorphic maps. Furthermore, id - P is a projection of Apq(I) onto APq(SZ). It is just this decomposition of Apq(f2) into two complemented subspaces which paves the way to clip together wavelet expansions in Apq(c) and in Bp-,(r).
5.3. Wavelet bases in Apq(f ). Let 1 be a bounded C°° domain in R. We are looking for wavelet bases for the spaces covered by Proposition 5.4. In contrast to the wavelet bases considered so far, for example in Theorem 4.8, the boundary r = &I must come in now. First we modify Z0 in (3.2)-(3.4) and the sequence spaces according to Definition 3.9. We use the same notation as there. In particular, B (x, p) stands for a ball centred at x E R'' and of radius p > 0.
DEFINITION 5.6. Let n be a bounded domain in R'' and let
Z°={x;.E12: jENo; r=1,...,N?}, typically with N3 - 2""`, such that for some cl > 0, j E NO,
1 x;. - xT, I > c12
r # r'.
Let Xjr be the characteristic function of B(x4., c2 2-i) fl SZ for some c2 > 0. Let s E R, 0 < p, q < oo. Then bbq(Z0) is the collection of all sequences (5.10)
AEC: jENo; r=1,.. ,N?}
such that 4/p
Nj >2i(8-P)q
11a1b;q(Z11)11= j=0
I1 lp r=1
1/q
< 00
HANS TRIEBEL
372
and fpq(Z) is the collection of all sequences (5.10) such that oo
IIa If q(z°)II =
l/q
Nj
(>2i89 r Xjr (.)I'
I LP (0)
j=0 r-1
< 00
(modification if p = oo and/or q = oo).
REMARK 5.7. This is the counterpart of Definition 3.9. Recall that Cu(S1) with u E No is the collection of all complex-valued functions f in 12 such that all derivatives Dcf with dal < u can be extended continuouly to N. Then one gets the following modifications of the Definitions 3.3, 3.5. DEFINITION 5.8. Let SZ be a bounded C°° domain in R' V = {x3.} be as in Definition 5.6. (i) Then j E N0; r = 1, ... , Nj } C Cu(fl)
.
Let u E N and let
is called a u-wavelet system (with respect to St) if for some c3 > 0 and c4 > 0,
j E N0i r=1 .... , Nj,
supp -D; C B (4, c3 2-j) n Sl, and
IDa(Dr(x)I
i EN0; r=1,...,N,
forxESl and0
REMARK 5.9. For the spaces in Proposition 5.4 one cannot expect to find common u-wavelet bases originating from an orthonormal wavelet basis in L2(1) as in Theorem 4.8. This may explain the difference of the above part (ii) and Definition 3.5.
After these preparations we can now formulate the main result of Section 5. As before we write Apq(Sl) with A E {B, F} and similarly apq(Z°) with a E {h, f} if the assertion applies equally to the B-spaces and F-spaces. THEOREM 5.10. Let m E N0. Let (5.11)
s=m+o
with
1 < p < oo
and
1 - 1 < o < 1. p p
(i) Let Cl = I = (a, b) with -00 < a < b < oo be an open interval in R. Then for any u E N with u > m there is a common u-wavelet basis according to Definition 5.8(ii) for all spaces Ap'q(I) with 1 < p, q < co and s as in (5.11). Furthermore,
f-
j=0 r=1
ar(f)
2_j/2 0
and f H A(f) is an isomorphic map of APq(I) onto apq(7L'). (ii) Let Cl be a bounded C°° domain in the plane 1R2. Then for any u e N with
WAVELETS IN FUNCTION SPACES
373
u > m there is a common u-wavelet basis according to Definition 5.8(ii) for all spaces A' (Sl) with 1 < p, q < oo and s as in (5.11). Furthermore, oa
f=
N,
Ar(f)2
fir
j=0r=1
and f H A(f) is an isomorphic map of A,q(fI) onto a;q(Z0). Discussion 5.11. We give an idea how to prove part (ii). First one decomposes Apq(fl) = PAPq(i2) ® Apq(fl),
APq(SA) _ (id - P) AP-, (0),
according to Proposition 5.4 (modified by (5.9) if m = 0) and Remark 5.5. Then one clips together the wavelet bases from Theorem 4.8 and Remark 5.3 via wavelet friendly extension operators as discussed above. Details are shifted to a later occasion. We refer in particular to [35].
6. Comments We add a few references and comments. As far as new results are concerned we refer for details and proofs to [35]. COMMENT 6.1. Some references for wavelet bases in function spaces on R' and
' have been given in Remark 2.9 and at the beginning of Section 2.4. Quite obviously wavelet bases for function spaces on intervals, cubes and Lipschitz domains attracted a lot of attention. We refer to [21, 6, 7, 8, 9] and in particular to [5, 17] and the literature given there. But the methods are different from what we outlined here.
COMMENT 6.2. In [3, 4, 21 Ciesielski and Figiel constructed common spline bases for Sobolev spaces and Besov spaces on compact d-dimensional C°° manifolds
I' (including the closure f! of bounded C°° domains fl). The method is based on a rather sophisticated decomposition of r (or i2) into finitely many domains which are diffeomorphic images of cubes in Rd. Bases on cubes are shifted in this way to r and glued together. Similar procedures have been used to construct wavelet bases on (smooth) manifolds and on (smooth) domains admitting the required domain decomposition. Descriptions may be found in [8, Section 10], [9, Section 9], [5, p. 1301 with a reference to the original paper [10]. It remains to be seen whether one can use these results in connection with the above considerations especially in Section 5.
COMMENT 6.3. One may ask whether one can extend Theorem 5.10 from one and two dimensions to higher dimensions based, for example, on the decomposition
according to Proposition 5.4. But the topology of the connected components of bounded C°° domains in R" with n > 3 is much more complicated than in case of bounded C°° domains in the plane R2. If one has wavelet bases in suitable spaces B;q(r) with r = Oil then one can argue as indicated in Discussion 5.11. If IF (or one of its components) is diffeomorphic to an d-torus (d = n - 1), then one can apply Theorem 2.15. If
r=Sd={xERd+i: IxI=1}, 2
BANS TRIEBEL
374
is a d-sphere, d = n - 1, or a diffeomorphic image of Sd, then one can construct wavelet bases of the desired type in Bpq (Sd)
with 1 < p, q < oc,
a>
- 1,
01- ! ¢ NO,
for l = 1, ... , d-1. This can be done by induction with respect to dimensions starting from Theorem 5.10(ii) which causes the curious (and presumably unnatural) restrictions for a. COMMENT 6.4. By Definition 3.1 all spaces APOq(0) on arbitrary domains U are
defined by restriction of Apq(R") to U. As mentioned in Remark 3.2 one recovers in case of bounded Lipschitz domains ft the classical Sobolev spaces W. (0) =If E Lp(ft) : Da f E Lp(U), Jal < k} , with 1/p
Ilf IWp (I) II =
II Daf ILp(n)Ilp 1a1
where 1 < p < oo and k E N. However for rough domains U having, for example, peaks and cusps these spaces do not fit in the scales A,', (n). The standard reference for Sobolev spaces in rough domains is [221. But one can say something. Let { V,. } be the same orthonormal u-wavelet basis for Lp(U) as in Theorem 3.11 where U is an arbitrary domain in R". One can apply Theorem 3.11 to each D' f E LP(U) with Jul < k. Then it follows that Wp (St) is the collection of all f E Lp(U) with its Lp-representation (3.15), (3.16) such that )T(f)k = 2j"/2 I (f,Da a(f)k E fn,2(Zc) where
(equivalent norms). Sometimes V, are called vaguelettes. It remains to be seen if this observation is of any use. COMMENT 6.5. We excluded in Proposition 5.4 and Theorem 5.10 the case
s - n E N. But there are some negative results. Let again U be a bounded C°° domain in R' and 1 < p, q < oo. Then D(U) is dense in A /p(SZ). On the other hand there is no orthonormal u-wavelet basis according to Proposition 3.7 which is also a basis in ApQp(Il) (in contrast to Apq (U) according to Theorem 4.8). COMMENT 6.6. We mention a second negative result. By Remark 2.2(iv) the spaces B;, (R') with p, q, s as in (2.9) can be equivalently quasi-normed by (2.10),
(2.11). This is no longer valid ifs < n `P - 1) . But one can define corresponding spaces as subspaces of Lp(]R ),
B" (R") = {f E Lp(I[t")
Il f IB ,q(R' )IIm < oo}
where (6.1)
0<s<mEN,
0
1. THEOREM 3.2. Let K : D -, R+. Let 0 < q < p < +oo, 1 < p < +oo, and let w and o- be locally finite positive Borel measures on R".
WEIGHTED NORM INEQUALITIES
389
(i) Suppose a there exists a constant C > 0 such that the trace inequality n
f E LP(da),
I TKa [fdC] I ° (x) dw(x) <_ C IIfIILr(da),
holds. Then WK s[w] E L p
(dw).
(ii) Conversely, if WK mo[w] E L p-9 (dw) then the preceding trace inequality holds provided the pair (K, a) satisfies the dyadic logarithmic bounded oscillation condition (DLBO): sup K(Q)(x) < A AEU Q K(Q)(x), xEQ
where A does not depend on Q E V.
If q = 1 then statement (ii) holds without the restriction (K, o) E DLBO. (In this case Theorem 3.2 is, by duality, an immediate consequence of Theorem 3.1.) The proofs of Theorems 3.1 and 3.2 are based on the following important lemma [COV2]. Let 1 < s < +oo, A = (AQ)QED, AQ E R+, and let o be a positive locally finite Borel measure. We assume that AQ = 0 if o-(Q) = 0, and follow the convention
that We define
A1
(A) = fR
_
A2
E a Q) XQ ( x)
AQ
QED
A3(A) =
da ( x ) ,
QED
sup f^ xEQ
)
a(Q) Q'cQ
1E
8-1
AQ'
a(Q) Q'CQ
AQ,
do(x).
LEMMA 3.3. Let o be a positive locally finite Borel measure on R". Let 1 < s < oo. Then there exist constants C2 > 0, i = 1, 2, 3, which depend only on s, such that, for any A = (AQ)QED, AQ E R+, A1(A) < C1 A2 (A) < C2 A3 (A) <_ Cs A, (A).
Theorem 3.1 is deduced from Lemma 3.3 in the case AQ = K(Q)w(Q)o(Q) and
s=p'.
We next treat continuous versions of the above theorems for integral operators with radial kernels,
k(x - yl) f (y) da(y) JR' Here k = k(r), r > 0, is an arbitrary lower semicontinuous nonincreasing positive Tk[f da] (x) =
function. The corresponding nonlinear potential is defined by wk, -[w](x) =
f
+°°
0
(J(r)()c1w(v))
k(r) a(BT(x))
,(x)
r
where
k(r)(x)
a(Bl(x))
Jo
k(s)
a(B.(x)) Ss
n -i dr
r
,
I. E. VERBITSKY
390
forxCR,r>0. THEOREM 3.4. Let 0 < q < p < +oo, 1 < p < oo, and let w and a be nonnegative Borel measures on R". Assume that or satisfies a doubling condition, and the pair (k, a) has the following logarithmic bounded oscillation property (LBO): sup k(r)(y) < A
(3.10)
yEB, (y)
inf k(r)(y),
YEB,.(x)
where A does not depend on x e R", r > 0. Then the trace inequality (3.11)
JRn I
Tk [ f da] I9 dw < C II f II ipf E LU (da),
holds if and only if Wk,s[w] E L
q
p-1 p
(dw).
The (LBO) property is satisfied by all radially nonincreasing kernels in the case do, = dx, and also by Riesz kernels k(x) = IxI,-n, 0 < a < n, if a satisfies a reverse doubling condition (see [COV2]). In particular, the following theorem holds for convolution operators Tk [A ] = k* f and da = dx. We define the corresponding Wolff's potential by +oo k(r) r"-l dr, (3.12) Wk [w] (x) = f k(r) p l' w (B,, (x)) y 0
where
k(r) (x) = r
(3.13)
forxER",r>0.
r
J
r k(s) s"-1 ds,
THEOREM 3.5. Let 0 < q < p < +oo and 1 < p < oo. Let w be a nonnegative Borel measure on R". Suppose k = k(I x - yI ), where k(r) is a lower semicontinuous nonincreasing positive function on R+, and Wk[w] is defined by (3.12). Then the trace inequality (3.14)
I
l k *fIILQ(d,,,) < C Of IILp(R"),
fE
LI(R7G),
holds if and only if
Wk[w] E La(w).
(3.15)
REMARK 3.6. For Riesz kernels, a proof of Theorem 3.5 was given in [V4]. Some technical details related to passing from a discrete to continuous version using shifts of the dyadic lattice, as well as generalizations, can be found in [COV3]. REMARK 3.7. A characterization of (3.14) for Riesz or Bessel kernels in terms of capacities was given in [MN] (see Sec. 2).
The special case q = 1 of Theorem 3.5 leads by duality to Wolff's inequality for radially nonincreasing kernels [COV2], [COV3].
THEOREM 3.8. Let 1 < p < oo. Let w be a nonnegative Borel measure on R". Suppose k = k(Ix - yI), where k(r) is a lower semicontinuous nonincreasing positive function on R+, and Wk[w] is defined by (3.12). Then there exist positive constants CI, C2 which depend onlyP on k, p and n such that (3.16)
C1 Iik*wIIL,(Rn)
<1
Wk[w]dw <
C2IIk*wIILp,(R).
WEIGHTED NORM INEQUALITIES
391
Theorem 3.8 demonstrates that (3.12) is an appropriate definition of Wolff's potential for radially nonincreasing kernels. This solves a problem posed in [AH], p. 214.
4. Indefinite weights and Schrodinger operators We start with some prerequisites for our main results. Let D(R) = Co (R") be the class of infinitely differentiable, compactly supported complex-valued func-
tions, and let D'(R") denote the corresponding space of (complex-valued) distributions. By L',2(R) we denote the completion of D(R) in the Dirichlet norm IIVuIIr.a(Rn) It follows from Hardy's inequality that an equivalent norm on L1'2(R") (n > 3) is given by (1XI-1 JU(X)II + IVU(X)12 )dxl
3 a
IIUILa(Rn) = [JRn In this section, we assume that n > 3, since for the homogeneous space L1'2 (R")
our results become vacuous if n = 1 and n = 2. Analogous results for inhomogeneous Sobolev spaces hold for all n > 1. For V E D'(R"), consider the multiplier operator on D(R") defined by (4.1)
< V u. v >:=< V, u v >,
u, v E D(R"),
> represents the usual pairing between D(W) and JY(R"). L-1.2(R") = L1.2(R")* the dual Sobolev space. If the Let us denote by
where <
scsquilinear form < V ., > is bounded on L12(R") x L1>2(R"): (4.2)
1 < VU, V > 1:5 C
IIVuIILa(Rn) IIVVIIL2(Rn),
where the constant c is independent of u, v E D(R), then V u E L-1"2(R"), and the multiplier operator can be extended by continuity to all of the energy space (As usual, this extension is also denoted by V.) We denote the class of multipliers V : L1'2(R") -, L-1'2(R") by M(L1'2(R") -, L-1'2(R"))Note that the least constant c in (4.2) is equal to the norm of the multiplier operator: IIVIIM(L1.a(Rn)-L-1.2(Rn)) = sup f IIVuIIL-1.a(RTM) :
IItIIL1.2(Rn) :5 1}.
For V E M(L1'2(R") -+ L-1'2(R")), we will need to extend the form < V, uv >
defined by the right-hand side of (4.1) to the case where both u and v are in L12(R"). This can be done by letting
= elm , N-oo where u = limjv UN, and v = hmN-oo VN, with UN, VN E D(R"). It is known that this extension is independent of the choice of UN and VN. We now define the Schrodinger operator H = Ho + V, where Ho = -A, on the
energy space L1'2(R"). Since Ho : L',2(R) -+ L-1-2(R") is bounded, it follows that H is a bounded operator acting from L1'2(R") to L-1"2(R") if and only if V E M(L112(R") -> L-1,2(R")). Clearly, (4.2) is equivalent to the boundedness of the corresponding quadratic form: < VU, U > I = I < V, IUI2 > I < C I IVUI IL2(Rn),
I. E. VERBITSKY
392
where the constant c is independent of u E D(R). If V is a (complex-valued) measure on R", then this inequality can be recast in the form: (4.3)
JR" [ u(x)I2 V
e II VU[IL2(R),
u E D(R").
For positive distributions (measures) V, this inequality is well studied (see Sections 1 and 2). V.
t
We now state the main result for arbitrary (complex-valued) distributions By L r (R")" = L ®C" we denote the space of vector-functions = (rl, ... , r") such that ri E Ll C(R"), i = 1, ... , n. THEOREM 4.1. Let V E D'(R"). Then V E M(L1'2(R") -+ L-1,2(R")), i.e.,
the inequality I < Vu, V > I < cIIuiiL1.2(Rn) IIvIIL1.2(Rn)
(4.4)
holds for all u, v E L1 2(R"), if and only if there is a vector field f E L210JR") such
that V = divand (4.5)
Iu(x)I2Ir(x)I2dx
Jn
fL.
IVu(x)I2dx,
for all u E D(R"). The vector-field f can be chosen in the form t = V A-1 V. REMARK 4.2. For I' = V A-1 V, the least constant C in the inequality (4.5) is equivalent to II M(LI,2(Rn)-L-1,2(Rn)) II,y
The proof of the "if" part of Theorem 4.1 is easy as long as V is represented in the divergence form. This idea was discovered by mathematical physicists in the 1970s (see [MV2], p. 265). Indeed, suppose that V = divf, where f satisfies (4.5). Then using integration by parts and the Cauchy-Schwartz inequality we obtain:
[I I=I + I I1
1IIL2(Rn)n IIVuiIL2(Rn) + IIruIIL2(Rn) IIVVIIL2(Rn)
< 2v IIVulIL2(Rn) I1VvlIL2(R.),
where C is the constant in (4.5). The proof of the "only if" part of Theorem 4.1 given in [MV2] is much more complicated. It is based on a combination of methods of harmonic analysis and potential theory. We outline the main ideas in a series of lemmas and propositions stated below.
In the first lemma, which is only a preliminary estimate, it is shown that I' = V A-' V E L 0C(R")", and a crude estimate of the average decay off at infinity is given. We observe that expressions like V A-1 V should be understood in a specific sense, e.g., in the sense of weak BMO convergence. The latter is discussed in detail in [MV6]. LEMMA 4.3. Suppose that (4.6)
V E M(L"2(R") - L-1,2 (R"))
WEIGHTED NORM INEQUALITIES
Then
393
VA-1V E L10C (R")", and V = divf in Y. Moreover, for any ball
BR(xo) (R > 0) and E > 0, (4.7)
f
I (x)I2 dx < C(n, E) R2IVII(L1'a(Rn)-L-1a(R», R (xo )
where R > max{1, Ixol}.
The following statements are concerned with sharp estimates of equilibrium potentials associated with a set of positive capacity.
PROPOSITION 4.4. Let 6 > z and let P = Pe be the equilibrium Newtonian potential of a compact set e C R" of positive capacity. Then (4.8)
IIVP1IIL2(Rn)
=
26
1
cap (e).
REMARK 4.5. For S < 2, it is easy to see that VP % L2(R").
PROPOSITION 4.6. Let 6 > 0, and let v be a real-valued function such that v E L1 2(R"). Then (4.9)
IIVvIIL2(Rn) < I IV(vP6)(x)12 P(X)215 26 <- (6+1)(46+1) IIVvIIL2(Rn). n
The proof of the preceding inequalities is based on multiple integration by parts, along with the following estimates for Newtonian potentials of positive (not necessarily equilibrium) measures w. PROPOSITION 4.7. Let w be a positive Borel measure on R" such that P(x) _ I2w(x) # oo. Then the following inequalities hold: (4.10)
v(x)2 I
fR n
dx
4IIOVIIL2(Rn)v e D(R"),
and (4.11)
V(X)2
JR.
P(x) < IIVvII 2(Rn),
v E D(R").
REMARK 4.8. The constants 4 and 1 respectively in (4.10) and (4.11) are sharp (see [MV2]).
REMARK 4.9. An inequality more general than (4.11), for Riesz potentials of order a E (0, n) and Lp norms (with nonlinear Wolff's potential in place of P(x)), but with a different constant was proved in [V4].
We will also need the following proposition which is deduced from the facts that p(X)26 is an A2 weight (this was proved earlier in [MV11), and that the Riesz transforms are bounded in weighted L2 spaces with such weights [St]. (See details in ]MV2].)
PROPOSITION 4.10. Let w = A-Idiv' where 4 E D ® C'. Suppose that 1 < 26 < "`2. Then (4.12)
fR's IVw(xW I2 P(x)26 < C(n, 6) fRn I(x)I2 pd26l
I. E. VERBITSKY
394
We now sketch the proof of the "only if" part of Theorem 4.1. Suppose that I < V,uv > I < IIVIIn.,(LI,2(R»)-.Lal(Rn)) IIVuIIL2(Rn) IIVvIIL2(Rn).
=
Let
0") be an arbitrary vector-field in D ® C", and let
w =A-' div 4 = -I2 div ,
(4.13)
so that
=Vw+f, divf=0.
Note that w e C°°(R") n LI"2(R"), since w(x) = O(I xII-") and IVw(x)I = O (I XI -n) as
IxI - oo.
Hence,
II=I I=I f" R
where by Lemma 4.3, f E L oc(R")". We pick b so that 1 < 26 < " n- 2,
and
factorize w(x) = u(x) v(x), where
v = w(x) P(x)6
u(x) = P(x)6, Consequently,
I < r,
> 1:5 By Proposition 4.6
IIVIIM(L1,2(Rn)-,La 1(R°))
IIVP5IIL2(Rn) IIVvIIL2(Rn).
Iow(x)I2 P(x)26 <
IIovIIL2(Rn) < Jn Io(vP6)(x)12 p(x)26
00.
From this, applying Proposition 4.4, we obtain;
f T (x) J(x) dx
< b (1 - 26)
Rn
xcap(e)
2
IIV II M(LI.2(Rn),L_ 1(Rn)) z
( 1,n IVw(x)I2
P(x)26)
Notice that by Proposition 4.10, IR.
IVw(x)I2 P(x)26 < C(n, 6) I
Hence, I
f
Rn
r(x)
.
l6(x) dxJ < C(n, 6) II VI I M(L1'2(Rn)-.L$ 1(Rn))
X Cap (e) 2
1
Rn
1$(X) 12
From the preceding inequality we deduce
f(X) I
Un
I2P (x) 21 (x)
P( )26 )
x
//
dx)2
cap (e)
z
Note that P is the equilibrium potential of e, and hence P(x) > 1 dx-a.e. on e. Thus,
fIi(x)I2dx
< C(n, b) cap (e)
WEIGHTED NORM INEQUALITIES
395
for every compact set e c R', and by Theorem 2.2 this gives (4.5), which completes the proof of Theorem 4.1. There is an analogue of Theorem 4.1 in terms of (-0)-1/2V. THEOREM 4.11. Under the assumptions of Theorem 4.1, it follows that
V E M(Ll'2(Rn) -' L-1'2(Rn)) if and only if
(-A)-1/2V
E M(L1"2(Rn) -+ L2(Rn)).
5. Infinitesimal form boundedness, Trudinger's and Nash's inequalities Throughout this section we will be using the following notation and conventions.
We denote by W" 2 (Rn) the Sobolev space of weakly differentiable functions on
Rn (n > 1) such that IIuIIW- 2(R°) = IIuIIL2(R") + IIVUIIL2(R") < +00,
and by W-1.2(Rn) = WI,2(R")* the dual Sobolev space. For a compact set e C R", the capacity associated with W1,2(Rn) is defined by
u E Co (Rn),
cap (e) = inf { IluIt ..2(R") :
u(x) > 1 on e}
For 0 < r < oo, we denote by Lun;f(Rn) all f E
.
such that
IIfIILu.i, = sup IIXBI(xo) fIILi(R") < 00xoER'
By Lr(R")n = Lr(R") ® C" we denote the class of vector fields {r) 1 Rn -+ Cn, such that I'J E Lr(R"), j = 1,2, ... , n, and use similar notation for other vector-valued function spaces. By M+(R) we denote the class of nonnegative locally finite Borel measures on W. If V E 7Y(R") is nonnegative, i.e., coincides with w E M+(Rn), we write fR" Iu(x)I2 dw in place of (V, IuI2) = (Vu, u) for the quadratic form associated with the distribution V, if u E Co (R2). Sometimes we will use fR" Iu(x)12V(x)dx in
place of (Vu, u) even if V is not in Llo,(R). We set
mB(f)=
IBIIBf(x)dx
for a ball B C R', and denote byf BMO(Rn) the class of f E Lio,(Rn) for which sup 1 xuER",a>0 IB6(xo)I
6(xo)
If (x) - mlBa (xo) (f) I` dx < +oo,
for any 1 < r < +oo. It follows from the John-Nirenberg inequality that this definition does not depend on the choice of r E [1, +oo). We will also need an inhomogeneous version of BMO(R") (the so-called local BMO) which we denote by bmo(R"). It can be defined in a similar way as the set of f E Lun;f(R") such that the preceding condition holds for 0 < J < 1 (see [St], p. 264). The Morrey space L'-\(W) (r > 0,A > 0) consists of f E Ll0 (R'1) such that sup
1
xoER^,6>0 IBo(xo)I
,
f
If Ir dx < +oc. 8(xo)
I. E. VERBITSKY
396
In the corresponding inhoinogeneous analogue, we set 0 < 6 < 1 in the preceding inequality. It will be clear from the context which version of the Morrey space is used.
We now state the main results of [MV5]. THEOREM 5.1. Let V E D'(R"), n > 2. Then the following statements hold. (i) Suppose that V is represented in the form: V = div f + y,
(5.1)
where f E L oC(RT)" and y E Ll,,(R°) satisfy respectively the conditions: 10
hm
(5. 2)
sup sup u
lim sup sup 6 +OxoER" U
(5.3)
fB
( moo )
I
t(x)I2 Iu(x)I2dx 2
=
0,
IIVuIIL'(B&(xo))
xI2dx fB6(xo) Iy(x)iulO IIVuII2
= 0,
L2(Ba(xo))
where u E Co (B6(xo)), u# 0. Then V is infinitesimally form bounded with respect to -A, z. e., for every E> 0 there exists C(e) > 0 such that (1.11) holds. (ii) Conversely, suppose V is infinitesimally form bounded with respect to -A.
Then V can be represented in the form (5.1) so that both (5.2) and (5.3) hold. (1-0)-1 V in the representation Moreover, one can set I' = -V(1-A)-'V and -y = (5.1).
REMARK 5.2. In the statement of Theorem 5.1 one can replace conditions (5.2)
and (5.3) with the equivalent condition where I(1-i)-' VI2 is used in place of Iil2 in (5.2). The importance of Theorem 5.1 is in the means it provides for deducing explicit criteria of the infinitesimal form boundedness in terms of the nonnegative locally integrable functions Irl2 and I.
THEOREM 5.3. Let V E D'(R' ), n > 2. The following statements are equivalent:
(i) V is infinitesimally form bounded with respect to -0.
(ii) V has the form (5.1) when r = -V(1 - A)-1 V, y = (1- 0)-1 V, and the measure w E M+ (R) defined by (5.4)
dw = (Ii(x) I2 + I y(x)I) dx
has the property that, for every E > 0, there exists C(E) > 0 such that (5.5)
C(e) I IVulli2(Rn),
-< e Ilaul12
f" lu(x)l2
Vu E Co (Rn).
(iii) For w defined by (5.4), W (p) a
(5.6)
lim
sup
1
6-+O Po:diamPo<6 W(PO) PCP0 IPl1
a
= 0,
where P, Po are dyadic cubes in R", i.e., sets of the form 2(k + [0, 1)"), where
iCZ,kEZ".
WEIGHTED NORM INEQUALITIES
397
(iv) For w defined by (5.4), w(e)
sup
lira
(5.7)
6-+0 e.: diam e
= 0,
where e denotes a compact set of positive capacity in Rn. (v) For w defined by (5.4), (5.8)
6lim o
sup
IIWga(xo) IIW-1 2(R")
_
0,
x0ER"
w(B6(xo))
where wB6(x(,) is the restriction of w to the ball B6(xo). (vi) For w defined by (5.4), (Gl 2 GI * * wB5(xo)) (x) = 0 lim (5.9) sup x,,oER"
Gl *WBd(x0)(x)
where Gl * w = (1 - A)-12 w is the Bessel potential of order 1.
It is worth noting that although Theorem 5.3 holds in the two-dimensional case, its proof requires certain modifications in comparison to n > 3. In the onedimensional case, the infinitesimal form boundedness of the Sturm-Liouville operator H = - a + V on L2 (Rl) is actually a consequence of the form boundedness. THEOREM 5.4. Let V E 1Y(R1). Then the following statements are equivalent. z (i) V is infinitesimally form bounded with respect to
(ii) V is form bounded with respect to - s, i.e., I(V U. u)I < const II2I1u,l.z(R1),
`du E Co (RI).
(iii) V can be represented in the form V = 141 +'y, where rx+1
sup (II'(x)I2 + I y(x)I) dx < +oo. xER1Jx (iv) Condition (5.10) holds where
(5.10)
I'(x) =
sign (x - t) a-Ix-'l V (t) dt, l
'y(x) _
IR'
ex-tl V (t) dt
are understood in the distributional sense.
The statement (iii)=(i) in Theorem 5.4 is known ([Sch], Theorem 11.2.1), whereas (ii)*(iv) follows from [MV2]. We now state a characterization of the form subordination property (1.15). It was formulated originally in [Zru], in the form of the inequality: (5.11)
(Vu, u)I < E IIVuIIL2(R") +CE
IIuIIL=(R"),
Vu E Co (Rn),
for V > 0. Such V are called c"-compactly bounded in [Tru]. It follows from Nash's inequality that (1.15) yields (5.11) with v = n22Q + 11; the converse is also true, provided v > 2 , and is deduced using a localization argument. In the critical case 2(5.11) holds if and only if V E LOD(Rn), while for 0 < v < a, it holds only v=
ifV=0.
Necessary and sufficient conditions for (1.15), or equivalently (5.11) with v =
n2 6 + 2 (see [MV5]), can be formulated in terms of Morrey-Campanato spaces
I. E. VERBITSKY
398
using mean oscillations of the functions f and y which have appeared in Theorems 5.1-5.4.
THEOREM 5.5. Let V E D'(Rn), n > 2, and let 0 <,8 < +oo. (i) Suppose there exists co > 0 such that (1.15) holds for every e E (0, CO). Then V can be represented in the form
V=divT+y,
(5.12) where
-V(1 - A)-1V E L'c(R")' and y = (1 - A)-1V E Li c(R")
Moreover, there exists S0 > 0 such that (5.13)
B6(xo)
If(x) - MB,(..) (r) 12 dx < c JIy(x) I dx < c Sn- +1,
(5.14)
Sn-2 +i
,
0<S<5o,
0 < b < b0,
JB6
where c does not depend on xo E Rn and do. Furthermore, f E
LUnif(Rn)n
if 8 > 1,
and f EL°'(Rn)n if0<0<1. (ii) Conversely, if V is given by (5.12) where E L (R'n)n, y E L oC(Rn) satisfy (5.13), (5.14) for all 0 < b < So then there exists Eo > 0 such that (1.15) holds for all 0 < e < co. REMARK 5.6. (a) In the case 3 = 1, it follows that (5.13) holds if and only if E bmo(Rn)n. In other words, V E bmo_1(Rn), where bmo_1(Rn) can be defined as the space of distributions f that can be represented in the form f = div g where
g E bmo(Rn)' . We observe that bmo_1(Rn) = F?i°(Rn), where Fa,9 stands for the scale of inhomogeneous Triebel-Lizorkin spaces (see, e.g., [KT], [T]). (b) In the case 0 <,6 < 1, (5.13) holds if and only if f is Holder-continuous:
If(x)-r(x7I - CIx - xIT11,
Ix-x'l <So.
For /3 > 1, (5.13) holds if and only if f lies in the inhomogeneous Morrey space C2' "-2 o+1(Rn)n i.e.
,
It(x)12dx
0<6 <60.
These statements follow from the known characterizations of Morrey spaces. Note that, according to (5.14), y E C1, '- 700-1 (R") -
REMARK 5.7. (a) An immediate consequence of Theorem 5.5 is that, for all ,3 > 0, (1.15) is equivalent to the following localized energy condition:
< (B6(xo))Cbn-20<5
II(1-o)
(na,xoV)IIL2
rl E CO°(B1(0)), 0 < rl < 1, and n = 1 on Bi (0). (b) A similar energy condition, cbi_2
0 < S < 5o, x0 E 11(1- o) (rlb, xu V)IILZ(R.) < is sufficient, but generally not necessary in the case n = 2.
R",
WEIGHTED NORM INEQUALITIES
399
We next state a criterion for the multiplicative inequality (1.18) to hold, which is equivalent to a homogeneous version of (1.15) with co = +oo and p = AQ1
THEOREM 5.8. Let V E V'(R), n > 2, and let 0 < p < 1. (i) Suppose that (1.18) holds. Then V can be represented in the form
V=divI',
(5.15) where
VA-1V, and one of the following conditions hold:
(5.16)
r E B M O(Rn)n
f
if p = 2; f
II(x) 12 dx < c
e Lip1_2I,(Rn)n bn+2-4P,
if
s(xo)
(5
if 0 < p < 2;
1; 2
where c does not depend on x0 E Rn, b > 0. (ii) Conversely, if V is given by (5.15) where I' E L12o,(Rn)n and satisfies (5.16), (5.17), then (1.18) holds.
REMARK 5.9. In Theorem 5.8, the "antiderivative" F = VA-'V can be replaced with (-A)-= V. Furthermore, as a corollary we deduce that (1.18) holds if and only if V E BMO_1(Rn) = F'21'°(Rn) for p = 2, where BMO_I(Rn) is defined as above in the case of its inhomogeneous counterpart bmo_1(R' ). (See, e.g., [KT] where this space is thoroughly studied in the context of Navier-Stokes equations.) For 0 < p < 2, (1.18) holds if and only if V E B .° °O(Rn) for 0 < p < 2. Here k..q and Ba'q are homogeneous Thebel-Lizorldn and Besov spaces respectively (see [T])
In the case p = 2, statement (ii) of Theorem 5.8 (sufficiency of the condition f E BMO) is equivalent via the V - BMO duality to the inequality (5.18)
Ilu Vulln3(R°) <_ C IIUIIL2(R.) IIVUIIL2(R.),
Vu E Co (R).
Here f1(R) is the real Hardy space on R' ([St]). The preceding estimate yields the following vector-valued inequality which is used in studies of the Navier-Stokes equation, and is related to the compensated compactness phenomenon [CLMS]: (5.19)
II( u V) ulll1=(Rn) < C IIUIIL2(R") IIValIL2(Rn), for all ii e CG 00(R!)7'.
divzi = o,
6. Form boundedness of general second order differential operators In this section we discuss analytic characterizations of form boundedness for the general second order differential operator n
(6.1)
L=
n
aijaiaj+Ebj,9j+c, s, j=1
j=1
where a,j, bi, and c are real- or complex-valued distributions, on the Sobolev space W 1" 2 (Rn), and its homogeneous counterpart LI' 2 (Rn). These results were obtained in [MV6]. One of the motivations is to give a criterion for the relative form boundedness of the operator b V + V with distributional coefficients b and V with respect to the Laplacian A on L2(R"). This ensures, in view of the so-called KLMN Theorem
I. E. VERBITSKY
400
(see [EE], Theorem IV.4.2; [RS], Theorem X.17), that L = A + b - V + V can be defined, under appropriate smallness assumptions on b and V, as an m-sectorial operator on L2(Rn) so that its quadratic form domain coincides with W1"2(R). In particular, we can deduce a characterization of the relative form boundedness for the magnetic Schrodinger operator .M = (i V + d) 2 + V,
(6.2)
with arbitrary vector potential a E L? C(R"')n, and V E D'(Rn) on L2(R'y) with respect to A. This approach is based on factorization of functions in Sobolev spaces and integral estimates of potentials of equilibrium measures discussed above, combined with compensated compactness arguments, commutator estimates, and the idea of gauge invariance. We are able to treat general second order differential operators, and establish an explicit Hodge decomposition for form bounded vector fields. It is worth mentioning that in this decomposition, the irrotational part of the vector field is subject to a more stringent condition than its divergence-free counterpart. We observe that no additional assumptions (like ellipticity) are imposed on the coefficients of L. In particular, without loss of generality we can and will assume that the principal part of L is in the divergence form, i.e., (6.3)
L u = div (A Vu) +
Vu + Vu,
u E Co (Rn)
where A = (aij)i j=1 E D'(Rn)nxn, b= (b1)? 1 E D'(Rn)n, and V E D'(Rn). We will present necessary and sufficient conditions on A, b, and V which guarantee the boundedness of the sesquilinear form associated with L(6.4)
I(Lu, v)I < CIIuIILi,2(Rn) IIVIIL=,2(Rn),
where the constant C does not depend on u, v E Co (Rn). Here L12(Rn) is the completion of (complex-valued) CC (Rn) functions with respect to the norm IIUIILI.2(Rn) = IIVuiIL2(Rn).
Equivalently, we will characterize all A, b, and V such that L : Ll'2(Rn) -Y L.-1,2(R.") (6.5)
is a bounded operator, where L-1,2(Rn) = LI22(Rn)` is a dual Sobolev space. In the special case where A, b and V are locally integrable, the form boundedness of C may be expressed in the form of the integral inequality
. Vi+ g. Vu v+Vuv)dxl <_ CIIuIILI.2(Rn)IIvIIL1,2(Rn)1 JR' where the constant C does not depend on u, v E C0°(R' ). Sometimes it will be convenient to write (6.4) in this form even for distributional coefficients a1 b and (6.6)
V.
To state our main results, it is convenient to introduce the class of Maz'ya measures 93I+ 2 (R'), i.e., nonnegative Borel measures w on R' which obey the trace inequality (6.7)
f
R
n
Iu12 d< C IIuI
u E Co (Rn),
WEIGHTED NORM INEQUALITIES
401
where the constant C does not depend on u. We will call measures w E 9)1 2(Rn) admissible. For admissible V (x) dx with nonnegative density V E L', (R" ), we will write V E M1, 2 (R n).
Inequalities of this type (with w possibly singular with respect to Lebesgue measure) have been thoroughly studied. A straightforward consequence of (6.7) is that if w E 9R+2(R") then (6.8)
dw(y) < const r"-2,
J
!l ix-II
for all r > 0, x E R", if n > 3, and w = 0 if n = 1, 2 (see e.g. [M4], Sec. 2.4). A close sufficient condition on V E LIl°(R"), V > 0, which ensures that V E 9Yt+ 2 (R" ), is provided by the Fefferman-Pllong class V 1+` dy < const r"-2(1+E),
(6.9)
f1--V1<-
where e > 0, and the constant does not depend on r > 0, x E R".
A complete characterization of the class of admissible measures 912+1,2 (R') can be expressed in several equivalent forms discussed above. These criteria employ various degrees of localization of w, and each of them has its own advantages depending on the area of application.
We now state the main form boundedness criterion [MV6]. For A = (a;j), let At = (aji) denote the transposed matrix, and let Div: D'(R")""" --+ D'(Rn)" be the row divergence operator defined by n
(6.10)
Dir(a;j) _ (E 8j a;j) 1 j=1
THEOREM 6.1. Let G = div (A V-) + b' V + V, where A E D'(R")n"n, b E D' (R")" and V E D'(R"). n >_ 2. Then the following statements hold. (i) The sesquilinear form of C is bounded, i.e., (6.4) holds if and only if 1 (A + At) E L°O(R")nxn, and b and V can be represented respectively in the form b = F+ Div F, V = div where F is a skew-symmetric matrix field such that (6.11) (6.12)
F-
(A - At) E
BMO(R')nxn,
2
whereas c and h belong to L OC(R")", and obey the condition (6.13)
2(Rn). (ii) If the sesquilinear form of C is bounded, then c, F, and h in decomposition (6.11) can be determined explicitly by (6.14) (6.15)
ICI2 + Ih12 E 9)1
c = V (0-' div b),
h=V
(A-' V),
F = A-'curl [b - 1 Div (A - At)] + (A - At). 2
where
(6.16)
A-'curl [b - 1 Div (A - At)] E BMO(Rn)nxn,
and (6.17)
IV(A-ldivb)I2 + IV(t-1 V)12 E 9R+2(R").
I. E. VERBITSKY
402
REMARK 6.2. Condition (6.16) in statement (ii) of Theorem 6.1 may be replaced with 6-
(6.18)
Div (A - At) E BMO_I (Ra)n, 2
which ensures that decomposition (6.11) holds.
REMARK 6.3. In the case n = 2, we will show that (6.4) holds if and only if (A + At) E L°O(R2)2x2, b- 1 Div (A - At) E BMO_I (R2)2, and V = div b = 0.
REMARK 6.4. Expressions like V(A-'div b), Div(A-1curlb), and
V(0-' V)
used above which involve nonlocal operators are defined in the sense of distributions.
This is possible, as is shown in [MV6], since A-Idivb, A-1curlbb, and A-'V can be understood as the limits in the sense of the weak BMO-convergence (see [St], p. 166) of, respectively, A-1 div (t,bN b), L1-' curl (IbN b), and A-1 (IPN V) as N -> +oo. Here 1,bN is a smooth cut-off function supported on Ix: I xI < N}, and the limits above do not depend on the choice of N.
It follows from Theorem 6.1 that L is form bounded on L', 2 (R) x V. 2(R) if and only if the symmetric part of A is essentially bounded, i.e., (A + At) E 2 L°°(Rn)n ' , and bI . V + V is form bounded, where (6.19)
bl
= 6 - Div(A - At).
In particular, the principal part Pu2 = div(A Vu) is form bounded if and only if
(A + At) E L°O(R")nxn,
(6.20) 2
Div (A - At) E BMO-1(Rn)"
(6.21)
i
A simpler condition with (A - At) C. BMO(Rn)nxn in place of (6.21) is sufficient, 2 unless n < 2. but generally not necessary, Thus, the form boundedness problem for the general second order differential operator in the divergence form (6.3) is reduced to the special case (6.22)
C = b - V + V,
b E D'(R" )n,
V E D'(Rn).
As a corollary of Theorem 6.1, we deduce that, if b - V + V is form bounded, i.e., for all u, v E Ca (R"), (6.23)
JR"
(6-Vuv+ Vu v)dx
CIIuJILi.2(ft)IIvlILL 2(Rn),
then the Hodge decomposition
b' = V(0-'div b') + Div (A-'curl
(6.24)
holds, where O''curl6 E BMO(Rn)nxn, and (6.25)
[
I V (L-' div g)12 + I V (A-1 V) I2 ] dy < coast
rn-2,
Ix-vl
for all r > 0, x E Rn, in the case n > 3; in two dimensions, it follows that
div6=V=0. We observe that condition (6.25) is generally stronger than A-'divb E BMO combined with A-1 V E BMO, while the divergence-free part of 6 is characterized
byA-1curlb'EBMO,forall n>2.
WEIGHTED NORM INEQUALITIES
403
A close sufficient condition of the Fefferman-Phong type can be stated in the following form: (6.26)
JI x-yl
[ IV(A-ldivb)I2 +
IV(A-1 V)I2]1+Edy
< constr"-2(1+E)
for some c > 0 and all r > 0, x E R". This is a consequence of Theorem 6.1 coupled with (6.9), where I(A-1div b)I2+IV(n-1 V) 12 is used in place of V. Sharper conditions of the Chang-Wilson-Wolff type are readily deduced from Theorem 6.1
by combining it with the results of [ChWW]. It is worth mentioning that the class of potentials obeying (6.26) is substantially broader than its subclass (IbI2 -f- IVI)'+e dy < const r"-2(1+E)
(6.27)
Ix-yl
The sufficiency of the preceding condition for (6.23) is deduced by a direct application of the original Fefferman-Phong condition and Schwarz's inequality. More generally, (6.23) clearly follows from a cruder estimate, (6.28)
frt
IuI2 (IbI2 + IVI) dx < coast IluiI i,2(RI)I
u E Co (R")
which is equivalent to I6I2 + IVI E 9)t+2(R").
However, by replacing (6.23) with (6.28), one strongly reduces the class of admissible vector fields b and potentials V. Various examples of this phenomenon are given in [MV1], [MV6]. The main difficulty in the proof of Theorem 6.1 is the interaction between the quadratic forms associated with V - 1 div bb and the divergence free part of b. To overcome this difficulty, one needs to distinguish the class of vector fields b such that the commutator inequality (6.29)
fR(u Vv - Vu) dx< Const IuI IL1, s(R) IIVI ILI2(R)
I
^
holds for all u,v E Co (R"). In the important special case of irrotational fields where b = V f , the preceding inequality is equivalent to the boundedness of the commutator [f, G1] acting from L1,2(R") to L- 1, 2 (RI). A complete characterization of those b which obey (6.29) is obtained using the idea of the gauge transformation ([RS], Sec. X.4): V -+ e-s' V e+ia, where the gauge A is a real-valued function which lies in Lips (R"). The problem of choosing an appropriate gauge is known to be highly nontrivial. In the present paper, A is picked in a very specific form:
A=rlog (Pw),
1 <2r< "n2,
n>3,
where r is a constant, and Pw = (-1)-'w is the Newtonian potential of the equilibrium measure w associated with an arbitrary compact set e of positive capacity. We will verify that, with this choice of A, the energy space L1' 2(R") is gauge invariant, and the irrotational part c = V(A-'div b) of b obeys
feI
l2 dx < coast cap (e),
I. E. VERBITSKY
404
where the constant does not depend on e. This is known to be equivalent to (Rn). In addition, a careful analysis shows that F = T-1cur1 b belongs to BMO, and b = 6+ Div F. These conditions combined turn out to be necessary and sufficient for (6.29). In [MV6] applications are given to the magnetic Schrodinger operator M dofined by (6.2). It is shown that M is form bounded if and only if both V + Jd12 and d - V are form bounded. Thus, the form boundedness criterion for M can be deduced from Theorem 6.1. These results are extended to the Sobolev space W1, 2 (W). In particular, necessary and sufficient conditions are given ([MV6], Theorem 5.1) for the boundedness of the general second order operator X12
E
f)7[.2
L : Wl'2(R") , W-1,2 (R"'). This solves the relative form boundedness problem for L, and consequently for the magnetic Schrodinger operator M, with respect to the Laplacian on L2(Rn). The proofs involve an inhomogeneous version of the div-curl lemma (see [MV6], Lemma 5.2).
Other fundamental properties of quadratic forms associated with general differential operators, e.g., relative compactness, infinitesimal form boundedness, inequalities of Trudinger's and Nash's type can be characterized using a similar approach (see [MV6]).
References [AH] [AS]
D.R. Adams and L.I. Hedberg, Function Spaces and Potential Theory, Springer-Verlag, Berlin-Heidelberg-New York, 1996 M. Aizenman and B. Simon, Brownian motion and Harnack inequality for Schrodinger operators, Comm. Pure Appl. Math. 35 (1982) 209-273.
[COV1]
C. Cascante, J.M. Ortega, and I.E. Verbitsky, On imbedding potential spaces into
[COV2]
L9(dw), Proc. London Math. Soc. 80 (2000), 391-414. C. Cascante, J.M. Ortega, and I.E. Verbitsky, Nonlinear potentials and two weight trace inequalities for general dyadic and radial kernels, Indiana Univ. Math. J. 53 (2004), 845-882.
C. Cascante, J.M. Ortega, and I.E. Verbitsky, On LP - L9 trace inequalities, J. London Math. Soc 74 (2006), 497--511. [ChWW] S.-Y.A. Chang, J.M. Wilson, and T.H. Wolff, Some weighted norm inequalities concerning the Schrodinger operators, Comment. Math. Hely. 60 (1985), 217-246. [CLMS] R. Coifman, P.L. Lions, Y. Meyer and S. Semmes, Compensated compactness and Hardy spaces, J. Math. Puree Appl., 72 (1993), 247-286. [EE] D.E. Edmunds and W.D. Evans, Spectral Theory and Differential Operators, Clarendon Press, Oxford, 1987. [F] C. Fefferman, The uncertainty principle, Bull. Amer. Math. Soc., 9 (1983), 129-206 [FV] M. Frazier and I.E. Verbitsky, Global exponential bounds for Green's function and the conditional gauge, preprint (2008). [H] K. Hansson, Imbedding theorems of Sobolev type in potential theory, Math. Scared., 45 [COV3]
[HMV] [HW] [KV] [KS]
(1979), 77-102. K. Hansson, V.G. Maz'ya and I.E. Verbitsky, Criteria of solvability for multidimensional Riccati's equations, Arkiv for Matem. 37 (1999), 87-120. L.I. Hedberg and Th.H. Wolff, Thin sets in nonlinear potential theory, Ann. Inst. Fourier (Grenoble), 33 (1983), 161-187. N.J. Kalton and I.E. Verbitsky, Nonlinear equations and weighted norm inequalities, Trans. Amer. Math. Soc. 361 (1999), 3441-3497.
R. Kerman and E.T. Sawyer,
The trace inequality and eigenvalue estimates for
Schrodinger operators, Ann. Inst. Fourier (Grenoble) 38 (1986), 207-228.
WEIGHTED NORM INEQUALITIES [KiMa] [KT] [L]
[MaZi] [M1]
405
T. Kilpelainen and J. Malt, The Wiener test and potential estimates for quasilinear elliptic equations, Acta Math., 172 (1994), 137-161. H. Koch and D. Tataru, Well-posedness for the Navier-Stokes equations, Adv. Math., 157 (2001), 22-35. D.A. Labutin, Potential estimates for a class of fully nonlinear elliptic equations, Duke Math. J. 111 (2002), 1-49. J. Malt and W.P. Ziemer, Fine Regularity of Solutions of Elliptic Partial Differential Equations, Amer. Math. Soc., Providence, R.I., 1997 V.G. Maz'ya, Classes of domains and embedding theorems for functional spaces, Dokl. Akad. Nauk SSSR, 133 (1960), 527-530.
[M2]
V.G. Maz'ya, On the theory of the n-dimensional Schr5dinger operator, Izv. Akad.
[M3]
Nauk SSSR, ser. Matem., 28 (1964), 1145-1172. V.G. Maz'ya, On certain integral inequalities for functions of many variables, Prob].
Math. Anal., 3, Leningrad Univ. (1972), 33-68. English transl.: J. Soviet Math., 1 [M4] [MN]
[MSh]
(1973), 205-234. V.G. Maz'ya, Sobolev Spaces, Springer-Verlag, Berlin-Heidelberg-New York, 1985. V.G. Maz'ya and Y. Netrusov, Some counterexamples for the theory of Sobolev spaces on bad domains, Potential Analysis, 4 (1995), 47-65.
V.G. Maz'ya and T.O. Shaposhnikova, The Theory of Multipliers in Spaces of Differentiable Functions. Monographs and Studies in Mathematics, 23, Pitman, BostonLondon, 1985.
[MV1]
[MV2] [MV3]
[MV4] [MV5] [MV6]
[NTV] [PV1]
V.G. Maz'ya and I.E. Verbitsky, Capacitary inequalities for fractional integrals, vrith applications to partial differential equations and Sobolev multipliers, Arkiv for Matem., 33 (1995), 81-115 V.G. Maz'ya and I.E. Verbitsky, The Schrodinger operator on the energy space: boundedness and compactness criteria, Acta Math., 188 (2002), 263-302 V.G. Maz'ya and I.E. Verbitsky, Boundedness and compactness criteria for the onedimensional Schrodinger operator, In: Function Spaces, Interpolation Theory and Related Topics. Proc. Jaak Peetre Conf., Lund, Sweden, August 17-22, 2000. Eds. M. Cwikel, A. Kufner. G. Sparr. De Gruyter, Berlin, 2002, 369-382 V.G. Maz'ya and I.E. Verbitsky, The form boundedness criterion for the relativistic Schrodinger operator, Ann. Inst. Fourier 54 (2004), 317-339. V.G. Maz'ya and I.E. Verbitsky, Infinitesimal form boundedness and Trudinger's subordination for the Schrodinger operator, Invent. Math. 162 (2005), 81-136. V.G. Maz'ya and I.E. Verbitsky, Form boundedness of the general second order differential operator, Comm. Pure Appl. Math. 59 (2006), 1286-1329_ F. Nazarov, S. Treil. and A. Volberg, The Bellman functions and two-weight inequalities for Haar multipliers, J. Amer. Math. Soc. 12 (1999), 909-928. N.C. Phuc and I.E. Verbitsky, Local integral estimates and removable singularities for quasilinear and Hessian equations with nonlinear source terms, Comm. PDE 31 (2006), 1779-1791.
[PV2]
[PV3] (RS]
[RSS]
[S]
[Sch]
[Sim]
[StW]
N.C. Phuc and F.E. Verbitsky, Quasilinear and Hessian equations of Lane-Emden type, to appear in Ann. Math. N.C. Phuc and I.E. Verbitsky, Singular quasilinear and Hessian equations and inequalities, preprint (2008). M. Reed and B. Simon, Methods of Modern Mathematical Physics. II: Fourier Analysis, Self-Adjointness, Academic Press, New York-London, 1975. G.V. Rozenblum, M.A. Shubin, and M.Z. Solomyak, Spectral Theory of Differential Operators, Encyclopaedia of Math. Sci., 64. Partial Differential Equations VII. Ed. M. A. Shubin. Springer-Verlag, Berlin-Heidelberg, 1994. E.T. Sawyer, Two weight norm inequalities for certain maximal and integral operators, Trans. Amer. Math. Soc., 308 (1988), 533-545 M. Schechter, Operator Methods in Quantum Mechanics, North-Holland, Amsterdam New York - Oxford, 1981. B. Simon, Schrodinger semigroups, Bull. Amer. Math. Soc. 7 (1982), 447 526. E.M. Stein and G. Weiss, Introduction to Fourier Analysis on Euclidean Spaces, Princeton University Press, Princeton, New Jersey, 1971.
I. E. VERBITSKY
406
E.M. Stein, Harmonic, Analysis: Real- Variable Methods, Orthogonality, and Oscillatory Integrals, Princeton University Press, Princeton, NJ, 1993 H. Triebel, Theory of Function Spaces. II, Monographs in Mathematics, 84, Birkhauser Verlag, Basel, 1992. N.S. Trudinger, Linear elliptic operators with measurable coefficients, Ann. Scuola Norm. Sup. Pisa 27 (1973), 265-308. N.S. Trudinger and X.J. Wang, On the weak continuity of elliptic operators and applications to potential theory, Amer. J. Math. 124 (2002), 369-410. I.E. Verbitsky, Weighted norm inequalities for maximal operators and Pisier's theorem
[St]
[T]
[Tru]
[TW]
[Vi]
on factorization through LP,', Integr. Equat. Operator Theory, 15 (1992), 121-153. [V2]
[V3]
[V4]
[VW1] [VW2]
I.E. Verbitsky, Imbedding and multiplier theorems for discrete Littlewood-Paley spaces, Pacific J. Math., 176 (1996), 529-556. I.E. Verbitsky, Superlinear equations, potential theory, and weighted norm inequalities, Nonlinear Analysis, Function Spaces and Applications, Proceedings of the Spring School, 5, Prague, May 31 - June 6, 1998, 1-47. I.E. Verbitsky, Nonlinear potentials and trace inequalities, in: The Maz'ya anniversary collection, Vol. 2. Proceedings of the International Conference on Functional Analysis, Partial Differential Equations and Applications. Rostock, Germany, August 31 - September 4, 1998. Operator Theory: Advances and Applications, 110, Birkhauser Verlag, 1999,323-343 I.E. Verbitsky and R.L. Wheeden, Weighted inequalities for fractional integrals and applications to semilinear equations, J. Funct. Anal., 129 (1995), 221-241. I.E. Verbitsky and R.L. Wheeden, Weighted norm inequalities for integral operators, Trans. Amer. Math.Soc. 350 (1998), 3371-3391-
SCHOOL OF MATHEMATICS, UNIVERSITY OF BIRMINGHAM, BIRMINGHAM, B15 2TT, UNITED KINGDOM
E-mail address: I.E.Verbitsky®bham.ac.uk DEPARTMENT OF MATHEMATICS, UNIVERSITY OF MISSOURI, COLUMBIA, MO 65211, USA
E-mail address: igorOmath.missouri.edu
Proceedings of Symposia In Pure Mathematics Volume 70, 2008
THE MIXED PROBLEM FOR HARMONIC FUNCTIONS IN POLYHEDRA OF R3 MOISES VENOUZIOU AND GREGORY C. VERCHOTA ABSTRACT. R. M. Brown's theorem on mixed Dirichlet and Neumann boundary conditions is extended in two ways for the special case of polyhedral do-
mains. A (1) more general partition of the boundary into Dirichlet and Neumann sets is used on (2) manifold boundaries that are not locally given as the graphs of functions. Examples are constructed to illustrate necessity and other implications of the geometric hypotheses.
1. INTRODUCTION
In [Bro94] R. M. Brown initiated a study of the mixed boundary value problem for harmonic functions in creased Lipschitz domains Il with data in the Lebesgue and Sobolev spaces L2(M) and W1'2(Ofl) (with respect to surface measure ds) taken in the strong pointwise sense of nontangential convergence. At the end of his article Brown poses a question concerning a certain topologicgeometric difficulty not included in his solution: Can the mixed problem be solved in the (infinite) pyramid of R3, JX11 + IX21 < X3, when Neumann and Dirichlet data are chosen to alternate on the faces? In this article we avoid the geometric difficulties of what can be called Lipschitz faces or facets and provide answers in the case of compact polyhedral domains of R3. Some other recent approaches to the mixed problem for second order operators and systems in polyhedra can be found in [MR07] [MR06] [l!IR05] [MR04] [MR03] [MR02] and [Dau92].
Consider a compact polyhedron of R3 with the property that its interior Sl is connected. Il will be termed a compact polyhedral domain. Suppose its boundary O l is a connected 2-manifold. Such a domain 0 need not be a Lipschitz domain. Partition the boundary of l into two disjoint sets N and D, for Neumann data and Dirichlet data respectively, so that the following is satisfied. (i) N is the union of a number (possibly zero) of closed faces of Oil. (ii) D = Oil \ N is nonempty. (iii) Whenever a face of N and a face of D share a 1-dimensional edge as boundary, the dihedral angle measured in SZ between the two faces is less than 7f. (1.1)
Date: June 9, 2008. 2000 Mathematics Subject Classification. 35J30,35J40. The second author gratefully acknowledges partial support provided by the National Science Foundation through award DMS-0401159 E-mail address: gverchot®syr.edu ©2008 American Mathematical Society 407
MOISES VENOUZIOU AND GREGORY C. VERCHOTA
408
The L2-polyhedral mixed problem for harmonic functions is (1.2)
Given f E W1,2(80) and g E L2(N) show there exists a solution to Au = 0 in Sl such that (i) u ->"-t f a.e. on D. (ii) -+n.t g a.e. on N. (iii) Vu* E L2(8SZ).
Here Vu* is the nontangential maximal function of the gradient of u. Generally for a function w defined in a domain G
w*(P) = sup Iw(X)I, P E 8G. XEr(P)
For a choice of a > 0 nontangential approach regions for each P E 8G are defined by
(1.3)
r(P) _ {X E G : IX - PI < (1 + a)dist(X,BG)}
Varying the choice of a yields nontangential maximal functions with comparable LP(8G) norms 1 < p < oo by an application of the Hardy-Littlewood maximal function. Therefore a is suppressed. In general when w* E LP(8G) is written it is understood that the nontangential maximal function is with respect to cones determined by the domain G. The outer unit normal vector to 1 (or a domain G) is denoted v = vp for a.e.P E 81 and the limit of (ii) is understood as
ripllim_p VP Vu(X) = g(P) and similarly for (i). A consequence of solving (1.2) is that the gradient of the solution has well defined nontangential limits at the boundary a.e. In addition, as Brown points out, solving the mixed problem yields extension operators W1,2 (D) -> W1"2(851) by f i ulan where u is a solution to the mixed problem with UID = f . Consequently problem (1.2) cannot be solved for all f E W1,2(D) when D and N are defined as on the boundary of the pyramid. For example, since the pyramid is Lipschitz at the origin so that Sobolev functions on its boundary project to Sobolev functions on the plane, solving (1.2) implies that a local function exists in 1R2 that is identically 1 in the first quadrant and identically zero in the third. Such a function necessarily restricts to a local W z 2 function on any straight line through the origin. But a step function is not locally in W 12.2(IR). The boundary domain D (and its projection) do not satisfy the segment property commonly invoked to show the two Sobolev spaces H1 (D) and W1'2(D) equal [Agm65] W1,2
[GT83].
The admissible Sobolev functions on D must then be those that have extensions to W1'2(8St). Or equivalently, the admissible Sobolev functions on D are the restrictions of W1,2(49S2) functions. We introduce the following norm on the space of restrictions of W1,2(8Sl) functions f to D IllIID =
inf
fln=f
J f2 + Ivtfl2ds 0
THE MIXED PROBLEM FOR HARMONIC FUNCTIONS IN POLYHEDRA OF R9
409
Here f denotes all W1"2(81l) functions that restrict to f on D, and Vt denotes the tangential gradient. That this is a norm follows by arguments such as: Given f E W 1"2 (811) and a real number a, the functions a f form a subset of all extensions of of (af)ID so that IIaflID <- IalIIfMID, and thus likewise IIfIID <_ Ial-111aflID when a54 0.
This normed space is complete by using the standard completeness proof for Lebesgue spaces: Given a Cauchy sequence {fj } let jk be such that IIf=-fj ll D <
2_k
for all i, j > jk and define gk = fjk+, - fjk. Then there exists an extension gk such that 2-k. Extensions of fj+,, may then be defined by fj, +Ek=1 gk Cauchy in W1'2 (011). Completeness will follow. The Banach space of restrictions to D is undoubtedly the generally smaller Sobolev space H1(D) (e.g. [Fo195] p. 220), but this will not be pursued further. A homogeneous Sobolev semi-norm on D is defined by 11f 11D2.
(1.4)
= _inf f v2ds f l Df n
When 811 is connected the following scale invariant theorem is established in the Section 2.
Theorem 1.1. Let 11 C R3 be a compact polyhedral domain with connected 2manifold boundary 811 = D U N satisfying the conditions (1.1). Then given f E W1°2(811) and g E L2(N) there exists a unique solution u to the mixed problem (1.2). In addition there is a constant C independent of u such that
f (Vu*)2ds
aft
In the following section it is proved that a change from Dirichlet to Neumann data on a single face is necessarily prohibited when the change takes place across the graph of a Lipschitz function. The strict convexity condition of (1.1) is also shown to be necessary. In the final section compact polyhedra are discussed for which the set N is necessarily empty. 2. PROOF OF THEOREM 1.1
The estimates that follow are scale invariant. Therefore to lighten the exposition
a bit it will be assumed, when working near any vertex of the boundary of the compact polyhedron 11, that the vertex is at least a distance of 4 units from any other vertex. Because 811 is assumed to be a 2-manifold it will also be assumed that each edge that does not contain a given vertex v as an endpoint is at least 4 units from v and similarly each face. Consequently, by another application of the manifold condition, the picture that emerges is that the truncated cones C(v, r) = {X E 11: Iv - X1 < r} for any vertex v and 0 < r < 4 are homeomorphic to the closed ball B3 while the cone bases
3(v,r)={X E?!-. Iv-XI =r} are homeomorphic to the closed disc B2.
MOISES VENOUZIOU AND GREGORY C. VERCHOTA
410
Define
ilr=fl\UC(v,r), 0
where the finite union is over all boundary vertices. Then each S1, is a Lipschitz domain (see, for example, §12.1 of [VV06] and Theorem 6.1 of [W03] for a proof and generalizations in dimensions n > 3). Likewise the interiors of the arches defined by (2.1)
.A(v,r,R)={XE 1:r<1v-X1
are Lipschitz domains. In general neither of these kinds of domains have a uniform Lipschitz nature as r -> 0. Therefore the following polyhedral Rellich identity of [W06] will be of use. It is proved as in [JK81] by an application of the Gauss divergence theorem, but with respect to the vector field
W:= IXI,X E R3 \ {0} when the origin is on the boundary of the domain. Lemma 2.1. Let A be any arch (2.1) of the polyhedral domain f C 1R3 and suppose
u is harmonic in A with Vu` E L2(13A). Then, taking the vertex v to be at the origin (2.2)
(W Vu)2
2
dX = IXI
A
V. W I Vul2 - 28,,uW Vuds 8A
Lemma 2.2. With A = A(v, r, R) and u as in Lemma 2.1 (2.3)
2J (W Vu)2dX < f A
II
B(v,R)
f IVuI2ds+2J
B(v,r)
(W. Vu)2ds+2
f
dd arinA
Proof. The term v . W on the right of (2.2) is negative on 5(v, r) and vanishes on OSl. Likewise the second integrand on the right of (2.2) is a perfect square on B(v, r), the negative of a square on B(v, R), and W W. Vu is a tangential derivative on 1311.
The partition D U N = 49Sl induces a decomposition of the Lipschitz boundaries OS1r into a Dirichlet part, a Neumann part, and bases B(v, r) of the cones removed from fl. Define Nr = (N n 1311,.) U B(v, r) V
and
Dr=1312r\Nr. This partition of Oil,, satisfies the requirements of a creased domain in [Bro94]. See
[W06] pp. 586-587. (Including the bases in the Dirichlet part would also satisfy the requirements.) It will therefore be possible to invoke Brown's existence results in the domains fly. Similarly, arches A = A(v, r, R) are creased Lipschitz domains with N,(v) = (N n 13A(v, r, R)) U B(v, r) U B(v, R)
THE MIXED PROBLEM FOR HARMONIC FUNCTIONS IN POLYHEDRA OF R3
411
and
DR=OA\NR for each vertex v.
Brown's estimate from [Bro94] Theorem 2.1 is not scale invariant. However, the following special case is.
Theorem 2.3. (R. M. Brown) Let G C R" be a creased Lipschitz domain with 8G = D U N. Then there exists a unique solution u to the mixed problem (1.2) for data f identically zero and g E L2(N). Furthermore there is a constant C determined only by the scale invariant geometry of C, D and N and independent of g such that faG
(Du*)2ds < Cg2ds 11V
As is
Theorem 2.4. (R. M. Brown) Let G C R" be a creased Lipschitz domain with 8G = D U N. Suppose that D is connected. Then there is a constant C such that for all harmonic functions u with Vu* E L2(8G)
J(Vu*)2ds < C (ID
IVtul2ds +
fN)
Proof. Subtracting from u its mean value over D allows the Poincare inequality over the connected set D. The conclusion still applies to u. 0 Lemma 2.5. Let 1 C R3 be a compact polyhedral domain with 2-manifold boundary partitioned as Oil = DUN. Let v be a vertex and let j be a natural number. Suppose u is harmonic in the arch A(v, 2-j, 2) with Du* E L2 (8A) and u vanishing on D2_1. Then there is a constant C independent of j so that IVuI2ds < annA(v,2-1,2)
C (fafInN2-j (b,u)2ds + f
(v,2-1)
(W L'u)2ds + f
I Vu12dX (v,1,2)
Proof. For natural numbers k < j and real numbers 1 < t < 2 the arches Ak,t := A(v, t2-k, t21-k) are geometrically similar Lipschitz domains. Therefore by the scale invariance of Brown's Theorem 2.3 above
J
I Vul2ds < C OnAk,1
JN;ax _kk
with C independent of k. Take v to be the origin. For each k, integrating in 1 < t < 2 and observing that v = W or -W on any cone base B
IVuI2ds <
1
2
85tn(Ak,1uAk,2)
2C
f
/
Nn(Ak.1UAk,2)
f
dX
k,LUAk.2
(W. Du)2 Xi
MOISES VENOUZIOU AND GREGORY C. VERCHOTA
412
Summing on k = 1, 2, .. ., j and using Lemma 2.2 on the arch A(v, 2-i, R) for each 1 < R < 2 together with the vanishing of u on D2_; again
2 /8nnA(v,23 ,2) IVu12ds < 4C(JannN2-9 +21
(v,22)
(W. Vu)2ds +
2fSnN2
J
Vul2ds (v,R)
IUUuIIVtulds + J
IVu12dX) (v,1,2)
An application of Young's inequality (2ab < Ea2 + eW2) allows the square of the tangential derivatives in the second to last term to be hidden on the left side and the normal derivatives to be incorporated in the first right side integral. Integrating in 1 < R < 2 yields the final inequality. By the same arguments, but using Theorem 2.4 and then Young's inequality in suitable ways for the D portion and the N portion of the last integral of Lemma 2.2, the next lemma is proved. For a given vertex, D fl C(v, R1) is connected if and only if any D n A(v,r, R2) is connected. Lemma 2.6. Let 92 C R3 be a compact polyhedral domain with 2-manifold boundary
partitioned as 4992 = D U N. Let v be a vertex and let j be a natural number. Suppose D fl C(v, 2) is connected and u is harmonic in the arch A(v, 2-j, 2) with Vu* E L2(49A). Then there is a constant C independent of j so that
I
Ioul2ds SZnA(v,2-',2)
f
PZ _;
1Vtui2ds + f S 2nN2_;
Iaulds +
C 15(v,2-1) (W. Vu)2ds + IA(v,1,2) IDu12dX I
Let v be a vertex of the compact polyhedral domain 92 and consider the collection
of nontangential approach regions r(P) for G = 92 and parameter a (1.3) with P E an n C(v, 4). By scale invariance each approach region can be truncated to a region
rT (P) _ {X E P(P) : IX - PI < (1 + a)di st(X, 8A(v, r/2, 2r))}, Iv - Pl = r so that the collections {rT (P) : r < Iv - PI < 2r} can be extended in a uniform way to systems of nontangential approach regions regular in the sense of Dahlberg [Dah79] for the arches A(v, r/2, 4r). Denote by wT the nontangential maximal function of w with respect to the truncated cones rT. Denote the Hardy-Littlewood maximal operator on 892 by M. See, for example, [Ste70] pp.10-11 or [W03] pp.501-502 for polyhedra. For a large enough a geometric argument shows that there is a constant independent of P and w such that (2.4)
w*(P)
where K is a compactly contained set in the Lipschitz domain f22. Using Theorems 2.3 and 2.4 to estimate the truncated maximal functions introduces into the proofs of Lemmas 2.5 and 2.6 a doubling of the dyadic arches and therefore one dyadic term that is not immediately hidden by Young's inequality. Thus by the same proofs
THE MIXED PROBLEM FOR HARMONIC FUNCTIONS IN POLYHEDRA OF a3
413
Lemma 2.7. With the same hypotheses as Lemma 2.5 there is a constant C independent of j so that (VuT)2 ds
f&OflA(v,2'i,2)
- 12
IVul2ds <
LnA(V,2-J,2lI)
f
C (fallnN2-i
(v,2-i)
(W Vu)2ds + J IVuI2dX) 1
Lemma 2.8. With the same hypotheses as Lemma 2.6 there is a constant C independent of j so that JOflflA(v,2'-i,2)
C
(VUT)2ds
(fD2-i IVtul2ds + J
- 2 JSflflA(v,2-i,21-i) Vu2ds <
1}
J (v,2-i) (W. Vu)2ds + f IVuI2dX
I 2n V2-i
Remark 2.9. Lemmas 2.5 and 2.6 apply to the negative terms of Lemmas 2.7 and 2.8. Consequently those terms may be removed from the inequalities.
2.1. The regularity problem. The regularity problem is the mixed problem for BSt=D. Theorem 2.10. Let Q c R3 be a compact polyhedral domain with 2-manifold connected boundary. Then for any f E W1,2(8ti) the regularity problem is uniquely solvable and the estimate for the solution u
C fa lotfl2ds
fan
fan holds with C independent of f.
Proof. For each SZ2-.' there is a unique solution uj to the mixed problem with uj = f on D2-, and 0 on _N2-i by Brown's existence result [Bro94]. By definition of the truncated approach regions in each vertex cone C(v, 4) the regions may be extended to a regular system of truncated approach regions for the 80n81 1 part of the boundary. Thus the truncated nontangential maximal function can be defined there. By Lemma 2.8 and Remark 2.9, summing over all vertices, using analogous estimates on the local Lipschitz boundary of 8St outside of the vertex cones and
using W Vu, = 0 on the bases B(v, 2-j), (2.5)
f
21'j
(Vu3 )2ds
J D2-i
IOtfI2ds+ f IVuj I2dX fn,
with C independent of j. Subtracting from uj the mean value mf of f over afl does not change (2.5). Thus Poincare (see [VV06]p.639 for polyhedral boundaries) can be applied over Oil with constant independent of j in (2.6)
02-,
J IVu?I2dX < f
(uj -mf)8ujds = J
(f -mf)8t,uds < 2-1
CE f lotfl2ds+c L2 asz
IVu;I2ds
-i
NOISES VENOUZIOU AND GREGORY C. VERCHOTA
414
Applying Lemma 2.6 to the part of the integral over the regions D2''-,' and using
W Du, = 0 again
eJ
Da-a
Ivujl2ds <eC (
\ D2-3
[OtfI2ds+J Ivuil2dX I +e
f
01
421-2
IDujI2ds
so that (2.6) yields
f
f [Vtfl2ds+IVu12ds 2 Jf 1 [vu212dX < (CE+CC) n 21-3
for all a chosen small enough depending on C but not on j. Using this in (2.5) for e chosen small enough gives
f
(2.7)
21-;
(VuT)2ds
with the constant independent of j. Given any compact subset of Q, (2.7) together with uj = f on D2-1 for all j implies there exists a subsequence so that both uj,, and Dud,, converge uniformly
on the compact set to a harmonic function u and its gradient respectively. A diagonalization argument gives pointwise convergence on all of Q. Intersecting a compact subset K with the truncated approach regions yields compactly contained regions and corresponding maximal functions Vu K --> VuT,K uniformly. Thus by (2.7) and then monotone convergence, as fl is exhausted by compact subsets K, (2.8)
n
(Vu2')2 ds < C f IVtf I2ds a pt
See [JK82] for these arguments. A difficulty with the setup here is that the fD21-1 (V (uj - uk)T) 2 ds for k > j
do not a priori have better bounds than the right side of (2.7). However, (2.7) together with weak convergence in L2 P5t2-1) and pointwise convergence on the bases B(v, 2-i) shows that for each j and every X E 522-1 a subsequence of uk (X) =
fP
ukds =
f
Pxf ds + I L(V,2_J) P ukds
D2-
converges to u(X), perforce with Poisson representation that must be an extension from D2-1 of f. Here Pj is the Poisson kernel for the Lipschitz polyhedral domain 112-i and may be seen to be in L2(8522-1) by Dahlberg [Dah77]. Consequently u has nontangential limits f on OSt, and by (2.4) and (2.8) the theorem is proved.
2.2. The mixed problem with vanishing Dirichiet data. Theorem 2.11. Let S2 C R3 be a compact polyhedral domain with 2-manifold connected boundary. Then for any g E L2 (N) there is a unique solution a to the mixed problem (1.2) that vanishes on D and has Neumann data g on N. Further (Du*)2ds < C fN g2ds af0
THE MIXED PROBLEM FOR HARMONIC FUNCTIONS IN POLYHEDRA OF R3
415
Proof. Again by [Bro94] there exists a unique solution uj in S22-3 to the mixed problem so that g on an n N2-; , W W. Dud = 0 on the S(v, 2-') and u2 = 0 on D2-, . Lemma 2.7 and Remark 2.9 imply
J852na5221_;
g2ds+ J
(VuT)2ds < C I
IDuj 12dX
loft nN2_; 521 A Poincare inequality independent of j is also needed here and is supplied by the following lemma. Polyhedral domains are naturally described as simplicial complexes. See for definitions and notations [G1a70] [RS72] [VV03] [VV06] or others.
Lemma 2.12. Suppose u is harmonic in f22-,, with 8,u = g on 8S2f1N2-;, on the !3(v, 2-3) and u = 0 on D2-; . Then f 522_,
IVuI2dX
0
92ds
with C independent of j. Proof. By Green's first identity and Young's inequality
Vu[2dX = r
(2.9)
JaS2r V2-;
f2-,,
u 8uds Cg2ds + e Ja52nN2-; u2ds OnN2_;
The polyhedron S2 can be realized as a finite homogeneous simplicial 3-complex.
A cone C(v, 1) is then the intersection of the ball IXJ < 1 with the star St(v, iz) in the 3-complex S2 of the vertex v. Each 2-simplex o.2 of St(v, S2) that is also contained in N is contained in a unique 3-simplex v3 E St(v, S2). Let B denote the unit vector in the direction from the barycenter of o2 fl { [X < 1} may be projected into the sphere [X I = 1 along lines parallel to B by Q '-r Q+tQB onto a set contained in Q3nt3(t'.1). The sets {Q+tB : Q E a2f1N21_; (v) and 0 < t < tQ} are contained in a3 n A(v. 2-', 1). Thus by the fundamental theorem of calculus for each Q E Oil fl NZ_, (v) and integrating ds(Q) (2.10)
f
u2ds
u2ds < C (JA(v,2-j,1) IVU12dX + f (v,1)
n_NZ_, (r)
where the constant depends only on the projections, i.e. only on the finite geometric properties of the complex that realizes iZ and not on j. By the fundamental theorem, the connectedness of S21 and the vanishing of u on the fixed nonempty set D
Jas21
u2ds < C
IDu12dX
J
521
This together with (2.10) implies
u2ds
eJ .IIa52nN2_;
IDu12dX
S22_;
and a can be chosen independently of j so that (2.9) yields the lemma. The lemma yields the analogue of (2.7) (2.11)
J
(DuT)2 ds < C n85221_j
annN2_;
g2ds
416
MOISES VENOUZIOU AND GREGORY C. VERCHOTA
Continuing to argue as in the proof of Theorem 2.10 , this and the vanishing of the uj on D2-; produces a harmonic function u defined in 52 that is the pointwise limit of a subsequence of the up In addition u satisfies
f (VuT)2 ds < C f g2ds which in turn yields the maximal estimate of the theorem. To show that u assumes the correct data, (2.11) along with weak L2-convergence, pointwise convergence and the Poisson representation in each 522-; proves as before that u vanishes nontangentially on D. By constructing a Neumann function (possible by [JK81]) in analogy to the Green function, or by using the invertibility of the classical layer potentials [Ver84], a Neumann representation of u in each 122-; can be obtained so that N = y nontangentially on N can be deduced by the same arguments. Uniqueness follows from Green's first identity valid in polyhedra when Vu* CL 2.
2.3. Proof of Theorem 1.1. Recall the definition of the homogeneous Sobolev semi-norm (1.4).
Lemma 2.13. When 852 is connected and IIf1ID° = 0, f is identically constant on D. The lemma says that f equals the same constant value on each component of D.
Proof. Because the semi-norm equals zero there is a sequence of extensions fj of f and a sequence of numbers mj so that by Poincare in the second inequality
L Proof of Theorem 1.1. Choose an extension f of f so that fasa lV f I2ds < 211f11D° This is always possible by the lemma. Then from Theorem 2.10 there is a unique solution uD with regularity data f and f (VU* )2ds < CIIf IID From Theorem 2.11 there is a unique solution uN vanishing on D, with Neumann data g -
on N, and
f(Vu)2ds < C (JtLds +
IN
g2ds) < C (.iii D° +
92ds) IN
The solution is u = uD + UN. Theorem 2.11 established uniqueness. 3. ON VIOLATIONS OF THE POSTULATES FOR THE PARTITION 052 = D U N
When D is empty the mixed problem is the Neumann problem and solvable for any data that has mean value zero on the boundary [VerOl]. We consider the two remaining postulates.
THE MIXED PROBLEM FOR HARMONIC FUNCTIONS IN POLYHEDRA OF R3
417
3.1. N is the union of a number (possibly zero) of closed faces of 852. Solving the mixed problem means that every W1"2(D) function has a W1,2(852) extension. This observation raises the possibility that the mixed problem might be solvable when a given (open) face F has nonempty intersection both with D and with N in such a way that D fl F is an extension domain. Here we will only consider the possibility that this extension domain has a Lipschitz boundary [Ste70] and show that the mixed problem is never solvable when this condition on the partition occurs.
Let 0 : IR -+ R be a Lipschitz continuous function y = g5(x) with flq' < M. Choose a point p0 on the graph (x, ¢(x)) in the plane and consider the rectangle with width 2 parallel to the x-axis, length 8M and center p0. Locate the origin directly below p0 and M units from the bottom of the rectangle. Here it will be convenient to name the region N that is strictly below the graph and contained in the rectangle. Call its complement in the rectangle D. Let (x, y, t) be the rectangular coordinates of 1R3 with origin coinciding with the origin of the plane. Let Z be the open right circular cylinder of 1R3 with center p0 that intersects the plane in precisely the (open) rectangle. The domain 52 = Z \ D C 1R3 is regular for the Dirichlet problem. This follows by the Wiener test applied to each of the points of 852 = 8Z U D and the observation that the Newtonian capacity in R3 of a disc from the plane is proportional to its radius. See, for example, [Lan721 p. 165. Here the Lipschitz (or NTA) condition is also used. Consequently the Green function, g = g° for 52 with pole at the origin, is continuous in 52 \ {0}. Approximating Lipschitz domains to 52 are constructed as follows. For each T > 0 define Lipschitz surfaces with boundary (the graph of 0) by
D,={p+s(p-re3):p is on the graph of0and0<s}f1Z Here e3 is the standard basis vector perpendicular to the xy-plane. Denote by Hr
the part of Z between D and Dr. Then 52, = 52 \ HT = Z \ H, are Lipschitz domains. Denote by g, the Green function for 11, with pole at re3.
Lemma 3.1. (i) -8tg(x. y. t) for t > 0 has continuous boundary values 8,g - limo g(x, y, t)/t at every point of D for which y > O(x). (ii) fn(8Vg)2ds = +x. (iii) 8tg(x, y, 0) = 0 at every point of N \ {0}. e L2(aZ). (iv) Proof. (i) follows by Schwarz reflection while (iii) follows by the symmetry in t of 52 and g. The maximum principle shows that the Green function for Z dominates
from below the Green function for 52, gz < g < 0. On 8Z both Green functions vanish so that 8 gz > &g > 0 while 8 gz is square integrable there, establishing (iv).
D. S. Jerison and C. E. Kenig's Rellich identity for harmonic measure ([JK82] Lemma 3.3) is valid on any LipschitzlPdomain G that contains the origin. It is (n - 2)wc,(0) = /
8G
(8v9c.(Q))2v Qds(Q)
with respect to the vector field X. Here 9G (X) = F(X) + w0(X) is the Green function for G, and F is the fundamental solution for Laplace's equation. Denote
MOISES VENOUZIOU AND GREGORY C. VERCHOTA
418
by wT, to and wz the corresponding harmonic functions for the fl., ft and Z Green functions respectively. By Z D Z \ D = Sl Q and the maximum principle on Oft-, \ D \ DT
0<& g,.<8,gonD and
wz < w < w, in fl,.
(3.1)
For Q E D and v = vQ the outer unit normal to f2T, v (Q - Tea) = T, while for Q E Dr, v - (Q - Tea) = 0. Formulating the Rellich identity with respect to the vector field X - Te3 and using these facts (n = 3) wr(Te3) =
8ffD (avgT)'V -(Q
J
-
r (avg,-)2ds
Te3)ds + T J
<
J(opgz)2v. (Q - Te3)ds+TJ (eOv4)2ds = wz(Te3) +T f (O,g)2ds Z
D
D
so that w(Te3) Twz(Te3) < w,(Te3)
wZ(Te3) < T
f (0,.,g)2 ds D
0
and (ii) follows from (3.1) and r 10. For 6 > 0 define smooth subdomains of ft
GS = {g < -6}. 0G5 -, 80 uniformly. The 8 g (aG6 ds are a collection of probability measures on 1R3 that have harmonic measure for ft at the origin as weak-* limit. By Gb 'C 11, Green's first identity, and monotone convergence (3.2)
f
lVgl2dX < oo
a \sr
for all balls centered at the origin. With 0, N, D and Z as above define the half-cylinder domain Z+ _ {(x, y, t) E
Z:t>0}. Then DUNCOZ+r1{t=0}. Lemma 3.2. Suppose Au = 0 in Z+, Du* E L2(8Z+), 0,u, 0 a.e. on N, and u 0 a.e. on D. Let Y C Z be a scaled cylinder centered at po with dist(OY, OZ) > 0. Let Y+ be the corresponding half-cylinder. Then u E C(Y+).
Proof. The hypothesis on Vu* implies u* E L2(OZ+) so that u and Vu have nontangential limits a.e. on OZ+ [Car62] [HW68]. Extend u to the bottom component
of Z \ D \ N by u(x, y, t) = u(x, y, -t). By the vanishing of the Neumann data on N, Au = 0 in the sense of distributions in the domain ft = Z \ D and then classically.
Fix d > 0 and suppose X E Y+ is of the form X = (x, y, d) for y > -O(x) - Md. Denote 3-balls of radius and distance to D comparable to d by Bd. Denote 2-discs in OZ+ with radius comparable to d by Ad and let i denote integral average. Then
THE MIXED PROBLEM FOR HARMONIC FUNCTIONS IN POLYHEDRA OF R3
419
by the mean value theorem, the fundamental theorem of calculus, the a.e. vanishing of u on D and the geometry of the nontangential approach regions
lu(X)I < 1 Jul < Cd( Bd(X)
-f Ad(x,y+2Md,0)
Vu*ds)
where C depends only on M. By absolute continuity of the surface integrals and Vu* E L2 there is a function rl(d) -'i 0 as d --* 0 so that fod (Du* )2ds < ??(d) for all Ad C BZ+. Consequently the Schwarz inequality now yields Iu(X)I < Cn(d). Suppose now X is of the form X = (x, O(x) - Md, t) for 0 < t < d. Because u has been extended
i
lul S (
lu(X)I _< Bd(X)
Bd(x,,0(x)-Md,d)
Jul)
i
+ d(
Vu*ds)
Ad(x,d+(x)-Md,O)
and Ju(X)l < 20)(d). The lemma follows.
Partition 8Z+ by N+ = N. D+ =.9Z+ \W and 8Z+ = N+UD+. For 3/4 > r > 0 let Z' be the scaled cylinder centered at po of width 2r and length 8Mr. Define the corresponding half-cylinders Z+ with
N+=N+n.9Z+ (not a scaling of N+) and
D+=BZ+\1V+ With this partition Z+ is called a split cylinder with Lipschitz crease. By (3.2) and the Fubini theorem, g E W1'2 (8Z+ \ It = 0}) for a.e. r.
Proposition 3.3. Let 9 be the Green function for 11 = Z \ D with pole at the origin. For almost every a > r > 0 there exists no solution u to the L2-mixed problem (1.2) in the split cylinder with Lipschitz crease Z+ with boundary values -n.t. g u E W1,2(D+) and 0 on N+.
Proof. Suppose instead that there is such a solution u with Vu* E L2(8Z+). Then the first paragraph of the proof of Lemma 3.2 applies and, in particular, u extends to Z' \ D evenly and harmonically across N. The Dirichlet data that u takes a.e. on D+ is a continuous function, as is the Dirichlet data that u takes (continuously) on N+. The Dirichlet data u takes a.e. on 8Z+ will be shown to be a continuous function if it can be shown to be continuous across the boundary 8N+ of the surface N. Lemma 3.2, scaled to apply to the split cylinders here, shows that the Dirichlet data is continuous across the Lipschitz crease part of BN+. The same argument
used there works on the other parts: Suppose dist(X, 8Z') = d for X E N. Let Ad C 8Z'' n D. be a disc approximately a distance d from X + de3. Then
lu(X) -
f
Ad
u(Y)-u(Y+de3)dYI+I
gdsl < I Bd(X)
f Bd(X+des)
u(Y)- J9dsl
and the continuity across 8N+ follows from the continuity of g and t7(d) -* 0.
Thus the data u takes a.e. on 8Z+ is a continuous function. Since also u* CL 2(8Z+) it follows that u E C(Z+). The evenly extended u is then continuous on Zr, harmonic in Zr \ D with the same Dirichlet data as ,q on 8(Z'' \ D). The maximum principle implies u = 9.
MOISES VENOUZIOU AND GREGORY C. VERCHOTA
420
Let g, denote the Green function for Zr \ D with pole at a point {P} of N. Again gr is continuous in Z'r \ {P}. Let B C B C Zr \ D be a ball centered at P. Then by the maximum principle cg > gr on Zr \ B for some constant c. By this domination, the vanishing of both g and g, on D+ fl It = 0} and (ii) of Lemma 3.1 applied to g it follows that 0,9 which is not in L2 (D) can neither be square integrable over the smaller set D+ n it = 0}. Since u = g this contradicts the assumption on the nontangential maximal function of the gradient. The nonsolvability of the L2-mixed problem in the split cylinders can be extended to nonsolvability in any polyhedron that has a Lipschitz graph crease on any face by a globalization argument. Let g and r be as in the Proposition. By using the approximating domains Zr n Ga as b -+ 0, the Grrepresentation
g(X) =
Jez'
B Fxg - Fgds -
f
Fxdpo, X E Zr \ D n Z''
can be justified where µ° is harmonic measure for Il = Z \ D at the origin and F is the fundamental solution for Laplace's equation. Let X E Co (1R3) be a cut-off function that is supported in a ball contained in Zr centered at po, and is identically 1 in a concentric ball Br with smaller radius. Then define
u(X) = _
f
FxXdpo
DnZ*
harmonic in R3 outside supp(X) n D. Similarly g(X) - u(X) is harmonic inside Br. Consequently Du* V L2(B' n D) by applying a scaled (ii) of Lemma 3.1 to g again. Also (3.3)
u(X) = -
Fx (Q ) (X(Q) - X(X)) dµ°(Q)
- X(X)
a,Fxg - Fxa gds + x(X)g(X)
azr The last term has bounded Neumann data on N and vanishing Dirichlet data on D. The Cauchy data of the middle term is smooth and compactly supported on D U N. For any X 0 D the gradient of the first term is bounded by a constant, depending on X, times
I
DnZ*
-Fx (0) + gx (0) C 41rIXI 1
Here gx is the (negative) Green function for Sl = Z \ D with pole at X. Thus the first term is Lipschitz continuous on D+ U N. Altogether u has bounded Neumann data on N and Lipschitz continuous data on D while Vu* 0 L2(D). Finally Vu E Li e(R3) by (3.3) since this is true for Xg. Thus whenever a split cylinder Z+ can be contained in a polyhedral domain
so that az+ n it = 0) is contained in a face and so that the Lipschitz crease is part of the boundary between the Dirichlet and Neumann parts of the polyhedral boundary, then the harmonic function u just constructed is defined in the entire polyhedra domain. Its properties suffice to compare it with any solution w in the class Vw* E L2 by Green's first identity f J VU - VwI2dX = f (u w)ds. Regardless of the nature of the partition away from Z+, when w has the same data as does u it must be concluded, as in Proposition 3.3, that it is identical to u. This establishes
THE MIXED PROBLEM FOR HARMONIC FUNCTIONS IN POLYHEDRA OF ]R3
421
Theorem 3.4. Let fI C R3 be a compact polyhedral domain with partition Of = D U N. Let F be an open face of t 9Q such that F n D is a Lipschitz domain of F with nonempty complement F n N. Then there exist mixed data (1.2) for which there are no solutions u in the class Vu* E L2(O1l).
3.2. Whenever a face of N and a face of D share a 1-dimensional edge as boundary, the dihedral angle measured in 1 between the two faces is less than 7r. Continue to denote points of JR3 by X = (x, y, t). Define D to be the upper half-plane of the xy-plane. Introduce polar coordinates y = r cos 0 and t = r sin 9, let 7r < a < 27r and define N to be the half-plane 0 = a. The crease is now the x-axis. Define
b(X) = rz-- sin(2a9) for X above D U N. These are Brown's counterexample solutions for nonconvex plane sectors [Bro94]. The Dirichlet data vanishes on D while the Neumann vanishes on N, and Vb* L2.
These solutions are globalized to a compact polyhedral domain with interior dihedral angle a:
Denote by a the intersection of a (large) ball centered at the origin and the domain above D U N. Then b(X) is represented in E) by
b(X) = f
bds -
FX abds
9\N 9\D Let X E Co (]R3) be a cut-off function as before , but centered at the origin on the crease. Define
u(X) = IN aFX bds - / FX
JD As before, u is harmonic everywhere outside supp(X) n (D U N) and Vu* 0 L2 (supp(x) n (D u N)). Also (3.4)
u(X) =
Nne-
(Q) (X(Q) - X(X )) b(Q)ds(Q)
Dne
Fx(Q) (X(Q) - X(X)) 99,b(Q)ds(Q)
- X(x) f
FX
X(X)b(X)
9\ N\D Again the boundary values around the support of X are the issue. The last two terms are described just as the middle and last after (3.3). The gradient of the second term is bounded because the integral over D can be no worse than, for example, fo dx fo 7,T1--y ;7 < oo for any 3 < 1 (e.g. ,3 = 1 - 2a ). x For a ox tj define tangential derivatives (in Q) to any surface with unit
normal v by Of = vial - v;ai. Then by the harmonicity of F away from X and the divergence theorem in e, the aX; derivative of the first integral equals the sum in i of 8iFX8j ((X-X(X))b)ds n8 plus integrals over 88 \ N \ D (b vanishes on D) that will all be bounded since X is near the support of X. When the tangential derivative falls on b the integral is
J
422
MOISES VENOUZIOU AND GREGORY C. VERCHOTA
bounded like the second term of (3.4). The remaining integral has boundary values in every LP for p < oo by singular integral theory. (In fact, it too is bounded by a closer analysis, thus making it consistent with the example from Section 3.1.) Finally Vu E Li C(R3) by its now established properties and the corresponding property for b. The argument using Green's first identity as at the end of Section 3.1 is justified and The solutions u can now be placed in polyhedral domains that have interior dihedral angles greater than or equal to ir and provide mixed data for which no L2-solution can exist. 4. POLYHEDRAL DOMAINS THAT ADMIT ONLY THE TRIVIAL MIXED PROBLEM
Consider the L2-mixed problem for the unbounded domain exterior to a compact polyhedron. When the polyhedron is convex the requirement of postulate (iii) of (1.1) eliminates all but the trivial partition from the class of well posed mixed problems. In this case we will say that the exterior problem is monochromatic. The mixed problem for a compact polyhedral domain can also be monochromatic for the interior problem. An example is provided by the regular compound polyhedron that is the union of 5 equal regular tetrahedra with a common center, a picture of which may be found as Number 6 on Plate III between pp.48-49 of H. S. M. Coxeter's book [Cox63]. An elementary arrangement of plane surfaces that elucidates the local element of this phenomenon is found upon considering the domain of R3 that is the union of the upper half-space together with all points (x, y, t) with (x, y) in the first quadrant of the plane, i.e. the union of a half-space and an infinite wedge. The boundary consists of 3 faces: the 4th quadrants of both the xt and yt-planes and the piece of the xy-plane outside of the 1st quadrant of the xy-plane. The requirement of postulate (iii) is met only by the negative t-axis. But no color change is possible there because any color on either of the 4th quadrants must be continued across the positive x or y-axis to the 3rd face of the boundary. On the other hand, a color change is possible for the complementary domain and is possible for the exterior domain to the compound of 5 tetrahedra. Is there a polyhedral surface with a finite number of faces for which both interior and exterior mixed problems are monochromatic? REFERENCES [Agm65] Shmuel Agmon, Lectures on elliptic boundary value problems, Prepared for publication by B. Flank Jones, Jr. with the assistance of George W. Batten, Jr. Van Nostrand Mathematical Studies, No. 2, D. Van Nostrand Co., Inc., Princeton, N.J: Toronto-London, 1965. MR MR0178246 (31 #2504) [Bro94] R.M. Brown, The mixed problem for Laplace's equation in a class of Lipschitz domains, Comm. Part. Diff. Eq. 19 (1994), no. 7-8, 1217-1233. [Car62] Lennart Carloson, On the existence of boundary values for harmonic functions in several variables, Ark. Mat. 4 (1962), 393-399 (1962). MR MR0159013 (28 #2232) [Cox63] H. S. M. Coxeter, Regular polytopes, Second edition, The Macmillan Co., New York, 1963. MR MR0151873 (27 #1856) [Dah77] Bjorn E. J. Dahlberg, Estimates of harmonic measure, Arch. Rational Mech. Anal. 65 (1977), no. 3, 275-288. MR 57 #6470 [Dah79] , On the Poisson intrgral for Lipschitz and CL-domains, Studia Math. 66 (1979), no. 1, 13-24. MR 81g:31007 [Dau92] Monique Dauge, Neumann and mixed problems on curvilinear polyhedra, Integral Equations Operator Theory 15 (1992), no. 2, 227-261. MR. MR1147281 (93e:35025)
THE MIXED PROBLEM FOR. HARMONIC FUNCTIONS IN POLYHEDRA ON ]k [Fo195]
[G1a70]
[GT83]
423
Gerald B. Folland, Introduction to partial differential equations, second ed., Princeton University Press, Princeton, NJ, 1995. MR MR1357411 (96h:35001) L. C. Glaser, Geometrical combinatorial topology, vol. 1, Van Nostrand Reinhold, 1970. David Gilbarg and Neil S. Trudinger, Elliptic partial differential equations of second order, second ed., Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], vol. 224, Springer-Verlag, Berlin, 1983. MR MR737190 (86c:35035)
[HW68] R. A. Hunt and R. L. Wheeden, On the boundary values of harmonic functions, Trans. Amer. Math. Soc. 132 (1968), 307-322. [JK81J David S. Jerison and Carlos E. Kenig, The Neumann problem on Lipschitz domains, Bull. Amer. Math. Soc. (N.S.) 4 (1981), no. 2, 203-207. MR 84a:35064 [JK82] D. S. Jerison and C. E. Kenig, Boundary value problems on Lipschitz domains, MAA Studies in Mathematics, Studies in Partial Differential Equations 23 (1982), 1-68. [Lan72]
N. S. Landkof, Foundations of modern potential theory, Springer-Verlag, New York, 1972, Translated from the Russian by A. P. Doohovskoy, Die Grundlehren der mathematischen Wissenachaften, Band 180. MR MR0350027 (50 #2520)
[MR02]
V. G. Maz'ya and J. Rossmann, Point estimates for Green's matrix to boundary value
problems for second order elliptic systems in a polyhedral cone, ZAMM Z. Angew. Math. Mech. 82 (2002), no. 5, 291-316. MR MR1902258 (2003d:35002) [MR03] Vladimir G. Maz'ya and Jiirgen RoBmann, Weighted Lp estimates of solutions to boundary value problems for second order elliptic systems in polyhedral domains, ZAMM Z. Angew. Math. Mech. 83 (2003), no. 7, 435-467. MR MR1987897 (2004g:35061) [MR04] V. Mazya and J. Rossmann, Schauder estimates for solutions to boundary value problems
for second order elliptic systems in polyhedral domains, Appl. Anal. 83 (2004), no. 3, [MRD51
[MR06]
[MR07]
[RS72]
[Ste70]
[Ver84] [Ver01]
[VV03] [VV06]
271-308. MR MR2033239 (2004k:35098) V. Maz'ya and J. Rossmann, Pointwise estimates for Green's kernel of a mixed boundary value problem to the Stokes system in a polyhedral cone, Math. Nachr. 278 (2005), no. 15, 1766-1810. MR MR2182091 (2007b:35269)
V. G. Maz'ya and J. Rossmann, Schauder estimates for solutions to a mixed boundary value problem for the. Stokes system in polyhedral domains, Math. Methods Appl. Sci. 29 (2006). no. 9. 965-1017. MR MR2228352 (2007f:35220) V. Maz'ya and J. Rossmann, Lp estimates of solutions to mixed boundary value problems for the Stokes system in polyhedral domains, Math. Nachr. 280 (2007), no. 7, 751 793. MR MR2321139 C. P. Rourke and B. J. Sanderson, Introduction to piecewise-linear topology, SpringerVerlag, 1972. Elias M. Stein. Singular integrals and differentiability properties of functions, Princeton Mathematical Series. No. 30, Princeton University Press, Princeton, N.J., 1970. MR 44
#7280 G. C. Verchota. Layer potentials and regularity for the Dirichiet problem for Laplace's equation in Lipschitz domains, J. Flmct. Anal. 59 (1984), no. 3, 572-611. Gregory C. Verchota. The use of Rellich identities on certain nongraph boundaries, Harmonic analysis and boundary value problems (Fayetteville, AR, 2000), Amer. Math. Soc., Providence, RI, 2001, pp. 127-138. MR 1 840 431 Gregory C. Verchota and Andrew L. Vogel, A multidirectional Dirschlet problem, J. Geom. Anal. 13 (2003), no. 3, 495-520. MR 2004b:35060 , The multidirectional Neumann problem in R4, Math. Ann. 335 (2006), no. 3, 571-644. MR MR2221125 (2007f:35053)
215 CARNEGIE, SYRACUSE UNIVERSITY, SYRACUSE NY 13244
E-mail address: gverchot0syr. edu