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. 0
Lemma 2.19 Let 0 E H(D) be such that 0(x + iy) = 01(x, y) + i02 (X, y) for every x, y E R. Set
JO(x,y):=det(j Tl. Then J,(x, y) > 0 for every x, y E R.
DEGREE THEORY IN FINITE-DIMENSIONAL SPACES
44
Ch. 2
Proof Since (zo) _ li .
O(zo + h) - 4(zo)
taking h = t E R (resp. h = it, t E R), we obtain (zo) =
(zo) = VOL + i
(resp.
- i L) which yield the Cauchy-Riemann equations 1901
amz
ax = ay
and
801
aO2
ay = ay
We conclude that
J2>0.
J-0
Theorem 2.20 Let D C C be a connected, bounded, open set such that 8D is a C' closed curve. Let 4 : D -+ C be a holomorphic function and let p it O(aD). Then
d(c, D, p) = w(5, D, p) =
tai
f
D
O() z) p
dz.
Proof Suppose, first, that 0 is constant, O(z) = c for every z E D. For every p E C \ O(8D) we have p E C \ O(D) and so d(m, D, p) = 0. Also, w(q, D, p) _ °-: = 0 and so 2 i f8D a-p d(O, D, p) = w(O, D, p) -
Now let 0 be a nonconstant holomorphic function in D. If p then d(O, D, p) = 0 and z : n is a holomorphic function on D. Therefore,
feDO:zpdz=0and d(O, D, p) = w(O, D, p)
Assume that p E O(D). Since O(z) is nonconstant, 0-'{p} must be finite (see Remark 2.16), say
¢-'{p} = {z1,...,zk}. By Lemma 2.18, for each j = I,-, k, there are R, > 0,
3
: B(zJ, R,) -+ C
such that
cps E H(B(zj, Rj)), B(z., Rj) CC D, : B(zi, R,) -+ vj (B (z.,, R,)) is a bijection, $,(z) - p = (z - z))m gj(z), for every z E B(z,, Rj), cps
DECREE AND WINDING NUMBER
§2.5
45
(,p.1)m = (z - zj)m gj(z) for every z E B(z7, Rj),
for some gj E H(B(zj, Rj)). If R := z min{Rl,... , Rk}, then w (0, D , p ) =
1J
(z)
.
27rt
1
k
(Z )
O(z)
OD
-P
dz =
27ri J8B(z,R)
j_1
O(z) - P
d z.
We now show that
¢ (z) dz
1
27ri f 8B(z,,R) O(z) - P
d z = mj.
Indeed,
O(Z) = P+ (z - zi),gi(z) and so z,)":,-1[mjg1(z)
4 (z) = (z -
+ (z - zj)9g(z))
This implies that (z) dz = 8B(z;,R) O(z) - P
mi +
J
Z - z0
9j (z) dz = 27rimj;
fm.,,,R) 9j (z)
therefore, k
w(O,D,P)=Emj. j=1
mj. It remains to show that d(o,D,p) Let C be the connected component of C \ 0(8D) containing p. It is obvious that C is an open set, hence there is 60 > 0 such that p+6 E C for every 161 < 60 and we have d(f, D, p) = d(¢, D, p + 6) for every 161 < 6o. The equation
/(z) = p + 6, z E B(zj, R) is equivalent to
p + (V(z))m' = p + 6, z E B(zj, R), which, in turn, is equivalent to (w(z))m' = Iblesxte,
= e2w'B and 9 E (0, If. As (pj is injective on B(z,, R), the equation (wj(z))'", = I6le2xie has exactly m j distinct solutions in B(z,,R) for every where
161 < 61, for some 60 > 61 > 0. Let z,',..., z,'j be these solutions. We have
46
DEGREE THEORY IN FINITE-DIMENSIONAL SPACES
Ch. 2
0' (z") = mj(' ,(z,))m3-lpj(z") 0 0.
Using the definition of the degree for C' mappings by Lemma 2.19, we have k
mj
k
sgn(J,(z )) _ E mu
d(O, D, p + b) = E
j=1
j=1 l=1
and we conclude that d(0, D, p) = w(0, D, p) -
0 2.6 Exercises Exercise 2.1 Let D = (-1,1) x (-1,1) and let 0 E C(D)2 be defined by 0(x1, x2) _ (max{Ixi I, Ix2I}, 0), for (xl, x2) E D.
Find d(0, D, p) at p = (0, 0).
Solution 2.1. First we note that p = (0, 0) ¢ 0(8D) and so d(0, D, p) is well defined. Let IP E C1(D)2 be defined by ?(xl,x2) = (1,0), for(xl,x2) E D.
We have cI8D = 01 aD and p 0 t/'(D). By Theorem 2.1 we have d(tb, D, p) = 0 and by Theorem 2.4 we deduce that d(0, D, p) = 0.
Exercise 2.2 Let D = (-1,1) x (-1,1) and let 0 E C(D)N be defined by O(xl, x2) = (x2 -
X31
, x2), (xl, x2) E D.
Find d(0, D, p) at p = (0, 0).
Solution 2.2. We have 0(x1, x2) = (0,0) if and only if (x1, x2) = (0,0)Therefore, (0,0) ¢ 0(8D) and so d(0, D, p) is well defined. Also, J4(xl, x2) _
-3xi and so (0,0) E 0(Z0). Setting q = (-11,0), then q and (0,0) belong to the same connected component of R2 \ 0(8D). Moreover, 0(x1, x2) = q if and only if (X 1, x2) _ (2', 0). Since q 0 0(8D), it is easy to see that d(0, D, q) _ Ese'_'(o) sgn(J.O(x))
= -1; thus
d(0, D, p) = -1.
Exercise 2.3 Let a, b E R be such that a < b and set D = (a, b). Assume that 0 E C(D) and p ¢ {0(a), 0(b)}. Prove that d(0, D, p) E (-1,0, 11.
EXERCISES
§2.6
47
Solution 2.3. We first note that p ¢ 0(8D) and so d(0, D, p) is well defined. Set
0(b) ?P(x)
- a(a) (x - a) + 0(a).
If 0(b) = O(a), then 0 is a constant and d(i,1, D, p) = 0. Assume that 0(b) 96 0(a). We obtain Ob _Q ° P E [0( a ) , 0(b)] sgn d(O,D,P) = 0
p V 10(a), c(b)]
and Since 0I8D ='I8D, by Theorem 2.4 we deduce that d(d, D, p) = d(t, D, p) and so d(O,D,p) E {-1,0,1}.
Exercise 2.4 [Poincard-Bohl] Let D C RN be an open, bounded set, 0, ) E C(D)N and p [O(x),Vi(x)] := {aO(x) + (1 - a)10(x) : a E [0,1]} for every x E 8D. Prove that d(0, D, p) = d(ib, D, p). Solution 2.4. It is obvious that d(¢, D, p) and d(o, D, p) exist. Set
H(x, t) := tO(x) + (1 - t)0(x), x E D, t E [0,1].
H is a C homotopy between tai and 0 and p E H(8D, t) for every t E [0, 1]. Therefore, Theorem 2.3 implies that and so d(O, D, p) = d(+L, D, p).
t), D, p) does not depend on t E [0,1]
3
SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY 3.1 The Brouwer Fixed Point Theorem In this section we give two versions of the Brouwer Fixed Point Theorem.
Definition 3.1 A set E C RN is said to be a convex set if for every x, y E E and for every A E (0, 1), Ax + (1 - A)y E E.
Definition 3.2 Let E be a convex set such that 0 E int E. We define the gauge of E (or Minkowski function) , PE, by
xERN.
PE(x):=inf{t>0 : t EE
Remark 3.3 Since 0 E int E, there is n > 0 such that B(0, 77) C E. As i E E it follows that {t > 0 : E E} 0 0 and so pE(x) is well for every t > defined.
Lemma 3.4 Let E C RN be a convex set containing 0 in its interior. Let PE be the gauge of E. Then
(1) XEE
pE(x)<1;
(2) PE(Ax) = APE (x) for every A > 0 and for every x E RN; (3) there exists m > 0 such that pE(x) 5 mIx12 for all x E RN; (4) PE (X + y) 5 PE (x) + PE (Y) for every x, y E RN; (5) PE is continuous in RN; (6) if E is bounded, then pE(x) > 0 for every x 96 0 and os = E E.
Proof (1) Clearly, if x = i E E, then inf{t > 0 : e E E} 5 1, i.e. pE(x) < 1. (2) Given A > 0,
PE(AX) =inf{t>O : = inf r As
fx
EE}
EE, s > 0 }
:
JJJ
=Ainf{s>0 = APE(x) 48
:
x EE}
THE BROUWER FIXED POINT THEOREM
§3.1
49
(3) Since 0 E E, there exists 77 > 0 such that B(0, q) C E. For every t _> ""
we obtain that i E E and so PEW < ' (4) Let x, y E RN. There exist two sequences {an }, 10n) C (0, oo) such that
PE (X) = Jim an,
x -an EE
and
PE(Y) =n-.+oo lim Qn, LEE. Since E is a convex set, we deduce that x an an + On an thus Qn+
On q qy E E; an + Yn Fin
E E and so an + i3n > PE (X + y). Passing to the limit we have PE(x) + PE(Y) >- PE(X + Y)-
(5) Let x, h E RN. By (3) and (4) we have PE(x + h) - pE(x) 5 PE(h) < Alhl2
PE(x + h) < PE(x) + PE(h)
and
-PE(x + h) + PE(x) 5 \lhl2-
PE(x) 5 PE(x + h) + pE(-h) Therefore,
IpE(x + h) - pE(x)I 5 A h12
and so PE is continuous in RN.
(6) Assume that E is bounded and let R > 0 be such that E C B(0, R). If i E E, then 41
I
R > 0 if x 0 0.
Also, ° E E for every t > 0 implies that PE(0) = 0. Finally, considering a sequence {a,, } C (0,oo) such that pE(x) = lim an
and -& E E, taking the limit as n goes to infinity, we conclude that x PE(x)
E E.
13
50 SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY Ch. 3
Proposition 3.5 Let E C RN be a compact, convex set such that 0 E int E. There exists a homeomorphism a : RN : RN such that
a(E) = B, where B is the unit ball of RN with respect to the norm I
Proof
- 12
R
a(x) :=
I x x#0 0
x=0,
vsyy y0 /3(y)
10
y=0.
O we have ao/3(y) = a(1E y) = PEW 2 p_ y = y and ao/3(0) = 0. Thus ao,Q(y) = y for every y E RN and, vsimilarly,y f3oa(x) = x for every x E RN. Therefore, a : RN RN is a bijection. From Lemma 3.4 (5) it follows that a is continuous at every x 96 0. Moreover, For every y
Ia(x) - a(0)I2 = IPIE12)xl2 = PE(x); therefore lim a(x) = 0 and a is continuous at 0. Hence, a is continuous on RN. X-0 Similarly, #: RN -+ RN is continuous.
Next, we prove that a(E) = B. By Lemma 3.4 (1), x E E implies that Ia(x)I2 = PE(x) < 1, therefore a(E) C B(0,1). Conversely, let y E B(0,1). Then y = a(/3(y)) and pE(/3(y)) = Iyi2 5 1 and by Lemma 3.4 (6) we have WOW) E E. Since E is a convex set containing 0, we obtain (1 - PE o ft)) 0 + PE 0)3(Y)
0(y) E E, PE 00(y)
i.e. /3(y) E E. Thus y E a(E) and so 6(0,1) C a(E).
Remark 3.6 Using the gauge function it can be shown that if Cl c RN is a smooth domain (e.g. strongly Lipschitz) and if CN(0) = CN (B(0,1)), then there exists a Lipschitz map v : fl --+ B such that (i) v(fl) = B; (ii) det Vv = 1 CN a.e. x E 11; (iii) v E C'(U;) for some finite partition {U,}i=1.....M of Cl into smooth domains (e.g. strongly Lipschitz).
For a proof of this result, we refer the reader to Fonseca and Parry (1987). The next two results are known as Brouwer's Fixed Point Theorem, the first one being the most commonly stated, while the latter has wider applications.
§3.1
THE BROUWER FIXED POINT THEOREM
51
Theorem 3.7 [First Version of the Brouwer Fixed Point Theorem] Let D C RN be an open, bounded set such that D is homeomorphic to the closed unit ball B. Let 0 E C(D)N be such that ¢(D) C D. Then 0 has a fixed point in D. Proof Let a : D - B be a homeomorphism. Setting 1G := a o o o a-1, we show that t/i : B - B has a fixed point. Clearly, 0 is continuous and either there exists
x E 8B such that O(x) = x, in which case' admits a fixed point, or O(x) 96 x for every x E 8B. Define
H(x, t) := x - tO(x) for x E B, t E [0,1]. Then 0 ¢ H(8B, t) for every t E [1, 0] and so, by Theorem 2.3 (2), d(H(., t), B, 0) does not depend on t. This yields
d(I -0, B, 0) = =
B, 0) 0), B, 0)
= d(I, B, 0) = 1.
By Theorem 2.7 the equation (I - t/)(x) = 0 admits a solution in B, i.e. lk has a fixed point x E k Setting y = a''(x), we have y E D and ¢(y) = Y.
0
Corollary 3.8 [Second Version of Brouwer Fixed Point Theorem) Let K C RN be a compact, convex set such that the interior of K is not empty. Let ¢ E C(K)N be such that O(K) C K. Then 0 admits a fixed point.
Proof Let xo E int K and define T : RN RN by T(x) = x - xo. Then T(K) is a compact, convex set such that 0 E int T(K). By Proposition 3.5 there exists a homeomorphism a : T(K) B and we define
tp:=To0oT-1. Then t[i : T(K) - T(K) is continuous and by Theorem 3.7 1b has a fixed point
y E T(K). Let x E K be such that y = T(x). It is clear that x is a fixed point of 0.
We give some applications of the Brouwer Fixed Point Theorem.
Proposition 3.9 Assume that N is odd, 0 E D, and 0 E C(D)N is such that 0 0 q5(8D). Then there exist y E 8D, \ 0 0, such that ¢(y) = ay. Proof If for every y E 8D, A E R, we have 0(y) 4 Ay, then set H(x, t) := tx + (1 - t)O(x), x E D, t E [0,1]
52 SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY Ch. 3 and
K(x, t) := -tx + (1 - t)O(x), x E D, t E [0,1]. We have 0 ¢ H(OD, t) for every t E [0, 1] and 0 it K(8D, t) for every t E [0,1]. Therefore, by Theorem 2.3, d(H(0, t), D, 0) and t), D, 0) are independent of t and so, as H(., 0) = 0),
1 = d(I, D, 0) = d(-1, D, 0) _ (-1)N = -1, which yields a contradiction. We conclude that there exist y E 8D and A E R 0 such that 0(y) = Ay and, since 0 E O(8D), we must have A 96 0.
Theorem 3.10 [Perron-Frobenius] Let A = (ate) be an N x N matrix such that ai, > 0 for all i, j. Then there exist A > 0, x # 0, such that x; > 0 for every i and Ax = Ax.
0
Proof See Exercice 3.1.
Remark 3.11 In Proposition 3.9 the condition `N is odd' is essential. Indeed, let N = 2 and define 0 : B -+ R2 in polar co-ordinates by 4(r, 9) _ (r, 0 + r). The equation (cos(9 + 1), sin(B + 1)) = A(cos 0, sin 0)
has no solution.
The next application of Proposition 3.9 provides periodic solutions for Lipschitz flows. We will need some standard results on ordinary differential equations, which we will state without proving them.
Theorem 3.12 Let f : B(0, r) x R -+ RN be a locally Lipschitz function. Consider the initial value problem
fx= f(x,t) j x(to) = xo, when to E R, xo E B(0, r). Then there exists a function x : U . RN, (t; to, xo) r+ x(t, to, xo),
when U := ((t, to, xo) (to, xo) E R x B(0, r), t E 1(to, xo) ), such that (i) for each (to, xo) E R x B(0, r), x(t; to, xo) is continuously differentiable with respect to t, and it satisfies (3.12) in the open interval I(to, xo); (ii) if y is a solution of (3.12) defined in (a, p), then (a, p) C 1 (to, xo) and y(t) = x(t, to, xo) for every t E (a, p); (lli) if I(to, xo) = (r, a), then either a = r or lim Ix(t, to, xo) I = r; t-V (iv) for every (to,xo) E R x B(0,r), them exists a 6 > 0 such that Iso - toI + :
Iyo - xoI < 6 implies that 1(to, xo) C 1(so, yo).
§3.1
THE BROUWER FIXED POINT THEOREM
53
Definition 3.13 Assume that there exist T > 0, b : R - R, such that = f (0, t), 0(t + T) = \O(t),
for every t E R and for some constant A 0 0. Then 0 is called a Floquet solution
of (3.12). Moreover, if A = 1, 0 is said to be periodic of the first kind and if A 9k 1, 0, 0 is said to be periodic of the second kind.
The task ahead will be to prove that if f (x, ) is periodic for every x E RN and if Ixo12 is small enough, then there exists a Floquet solution for the initial value problem
{ ¢ = f(o,t) 0(0) =
xo.
Theorem 3.14 Let f : RN x R
RN be a locally Lipschitz function such that t) is positively homogeneous of degree one (i.e. f (ryx, t) = -yf(x, t) for every ry > 0 and for every (x, t) E RN x R). Assume that f (x, ) is periodic, of period T > 0, for every x E RN. Then there exists a 6 > 0 such that for every 0 < a < 6 there exists yQ E B(0, a) such that
f
1 x = f(x,t)
ll x(0) =
y,,,
admits a Floquet solution. Futhermore, if N is odd, then ya can be taken on 8B(0, a). Proof First we suppose that N is odd. As f is continuous and positively homogeneous of degree one, we must have f (O, t) = 0 for every t E R. Therefore, by Theorem 3.12 (ii), x(t) - 0 for all t E R is the unique solution of the equation
i = f (x, t) X(0) =
0.
Let us denote by x(t, 0, c) the solution of the equation f i =f(x,t)
l x(0) =
(E)
c.
By Theorem 3.12 (iv) there exists 6 > 0 such that Ic12 < 6 implies that the equation (E) admits a unique solution defined in R. Fix 0 < a < 6 and define F(c) := x(T, 0, c).
By Theorem 3.12 F is continuous and by the uniqueness of the solutions of (E),
F(c) = 0 if and only if c = 0. Therefore, 0 it F(8B(0, a)) and, by Proposition 3.9, there are C. E 8B(0, a), A > 0, such that T(co) = Ac.. For t E R set 0(t) := Ax(t, 0, cQ)
54 SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY Ch. 3 and
+/i(t) := x(t +T,0,c0). It suffices to prove that 0(t) =1G(t) for every t E R. Indeed, fi(t)
0, c0 )
= Af(x(t,0,C0,t)
=f
o, C.), t)
= f(Ot),t) and 0(0) = Axx(O,0,c0) = .ca. Also,
*(t) = z(t + T, 0, c o = f(x(t + T, 0,c0),t)
= f (x(t + T, 0, c,), t + T) = f (,/,(t), t + T) = f (+G(t), t) and
0(0) = x(T, O, c0) = Tca, = Ac0.
By the uniqueness of the solution of (E), we conclude that 4(t) = V1 (t) for every
tER.
Finally, if N is even we define g : RN+1 _, RN+l by 9(x, xN+1, t) :_ (f (x, t), xN+1) Since N + 1 is odd, there exists (y, yN+1) E R1+1, I (y, YN+ 1) 12 = a, for which s 1N+1 x(O)
( XN+1(0))
= _ 9(x, xN+1, t) y = (VN+1)
admits a Floquet solution. We conclude that (E) admits a Floquet solution for some initial value y, (y12 < a.
3.2 Odd mappings The aim of this section is to show that the degree of a continuous, odd function RN is an odd number (see Theorem 3.23). As a consequence of this 0 : fl result, if 0: B(0,1) C RN -, RN is an odd function then the equation O(x) = 0 admits a solution in B(0,1). Indeed, since d(O, B(0,1), 0) is odd, we obtain d(m, B(0,1), 0) 34 0
and using Theorem 2.1 we conclude that the equation m(x) = 0 admits a solution.
ODD MAPPINGS
§3.2
55
Definition 3.15 The set D C RN is said to be symmetric if for every x E D we have -x E D. The mapping : D -' RM is said to be an odd mapping if O(x) = -0(-x) for every x E D. Before stating the main result of this section, the Odd Mapping Theorem (Theorem 3.23), following the scheme of Schwartz (1969) we first make some remarks on the Tietze Extension Theorem (see Theorem 1.15) and we prove some lemmas which will be used in the sequel.
Remark 3.16 We may deduce from Tietze's Extension Theorem (Theorem 1.15) that if K, L C RN are two compact sets such that K C L and if f : K RM is a continuous function, then there is a continuous extension g : L -+ RN
of f such that If IK = I9IL = sup{Ig;IL : i =1, ... , M}.
This is Exercise 3.2.
Proposition 3.17 Let M > N be two integers, let K C RN be a compact set, and let 0 E Cl(K)M. Then 4(K) has measure zero in RM.
Proof We identify K with K' C RM and
: K -, RM with
: K' - RM,
where
K':={(x,0,...,0)EKxRM-N} and +)(x,0,...,0)
O(x)-
Since J ,(y) = 0 for every y E K', by Sard's Lemma 1.4 we have G"'(O(K)) = GM(tP(K')) = 0.
Theorem 3.18 Let K C L C RN be two compact, nonempty sets, let M > N be two integer numbers, and let 0 E C(K)M be a function such that 0 is nowhere zero. Then m can be extended to a mapping X E C(L)M which is nowhere zero.
Proof Let c := min{I0(x)I : x E K} > 0 and choose 0 < e < z. Claim 1. We claim that there exists IP E C'(L)M such that t/, is nowhere zero and 10(x) - O(x)I < e for every x E K. Indeed, by Tietze's Extension Theorem (see Theorem 1.15), there exists 01 E C(L)M such that 011K = 0-
Let 02 E Cl(L)M be such that I02(x) - 01(x)I < 2 for every x E L. By Proposition 3.17,
56 SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY Ch. 3
GM(02(L)) = 0
and so there exists p ¢ 02(L) such that IpI < 2. Let
02(x) - p
O(x)
Clearly, ip is nowhere zero, 0 E Cl(L)M, and, for every x E K, I+G(x) - 02(x)I + I02(x) - m(x)1 < 2 + 2 = e.
Claim 2. There exists 4D E C(L)M such that I'(x) - O(x)I < e for every x E K for every x E L. Indeed, letz
and I4D(x)I >
1
rl(t)
2t
t>
t <
We obtain that r) E C(R). Setting fi(x)
if IG(x)I < z, then '1(x) =
Q
=
clearly . E C(L)M and
and so It(x)I = 2. If I,'(x)I > 2, then
t(x) = t/,(x) and so I1(x)I = k&(x)I > Z. Therefore, I4'(x)I > z for every x E L. Also, for every x E K, we have
10(0
10(0 - I0(x) - +Gx)I > c - 2 =
c 2'
which implies that fi(x) _ O(x) and so I -OW - O(x)1 <
Claim 3. There exists X E C(L)M such that XIK = 0 and X is nowhere zero. Indeed, applying Remark 3.16 to 0 - 0 on K, we obtain a E C(L)M so that Ia(x)I < e for every x r= L and alK = fi - 4. Let
X:= -a. We have XIK =
-alK ='IK -01K +01K =0
and X E C(L)M. Also, for every xEL,
IX(x)I = Mx) - a(x)I > Mx)I - la(x)I > 2 - e > 0. 0
Remark 3.19 The conclusion of Theorem 3.18 may not hold without the assumption M > N. Indeed, let K = &B(0,1) and let L = B(0,1). Denote by I
ODD MAPPINGS
93.2
57
the identity function on RNand let 0 E C(K)M be such that ¢IK = IIK. Then ifX is any extension of0toLwehave d(X, B(0,1), 0) = d(I, B(0,1), 0) = 1
and by Theorem 2.1 the equation X(x) = 0 must admit a solution. Lemma 3.20 Let M > N be two integer numbers and let D C RN be a bounded, symmetric, open set such that 0 ¢ D. Assume that 0 : 8D -. RM is a continuous, odd mapping and nowhere zero. Then there exists an odd and nowhere zero mapping 0: D - RM which extends 0.
We observe that since D is a symmetric set, 8D and D are also symmetric sets.
Proof We proceed with the proof by induction on N. Assume first that N = 1. Since 0 it D C R and D is a compact set, there are two real numbers e and A such that 0 < e < A and D C [-A, -e] U [e, A]. Let 01 = dloDn[E,A] Then 0 is a continuous function which is nowhere zero and, by Theorem 3.18, there exists 02 : [e, A] -+ RM, nowhere zero and a continuous extension of 01. Let tG(x) :_
4>2(x)
x E D n [e, A]
-dn(-x)
x E D n [-A, -ej.
The function tG : D -. RM is continuous, odd and nowhere zero; furthermore, tGI8D = 4>
Now suppose that the N > 1 and that the lemma holds for N-1. For convenience, we identify RN-1 with RN n {x E RN : xN = 0}. Let
D+:={XED:xN>0}, D_:={XED:XN
Let 01 = 4>IBDnRN-1
By the induction hypothesis, since 01 is an odd, nowhere zero, continuous map-
ping there exists 02 : D n RN-1 - RM, a continuous mapping which is odd, nowhere zero, and extends 01. Let
43(x) .-
02(x)
{ 4>(x)
xE Dn
RN-1
x E 8D.
We show that 03 is continuous, nowhere zero, and odd. Note that 03 is well defined. Indeed, if x E (D n RN-1) n OD = OD n RN-1, we have
58 SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY Ch. 3 02(x) = 01(x) = 0(x)-
Also, since 02(x) 34 0 for every x E D n we obtain that
RN-1 and 0(x) 54 0 for every x E OD,
03(x) 0 0
for every x E (DnRN-1)UBD. Moreover, if x E DnRN-1, then -x E
DnRN-1
and
03(x) = 02(x), 03(-x) = 02(-x) = -02(x) and 03(x) = -03(-X)-
It is easy to see that for every x E 8D, 03(x) = 0(x), 03(-x) = 0(-x) = 0(x), and 03(x) = -03(-x). Clearly, 03 is continuous and since D = D \ D_, D = (D n RN-1) U D+ is a compact set, by Theorem 3.18 there exists 04 : D -. RM that extends 03, nowhere zero and continuous. Finally, define 10(x)
:=
04(x)
xED
1-04(-x) XED\D=D_.
Then 0 is nowhere zero and for every x E 3D we have x E D, and so 0(x) = 04(x) = 0(x)
In order to prove that 0 is an odd function, we observe that if x E 8D, then -X E OD, 0(-x) = 0(-x) = -0(x), and tji(x) = 0(x), and we obtain 0(-x) = -+G(x).
If X E D+, then -x E D_, ili(x) = 04(x), and 0(-x) = -04(X), and so
1G(x) = -0(-x). If X E D_, then -x E D+ and, by an argument similar to the one above, we conclude that
Now we prove the continuity of i on D. If xo E D+ U D_, it is clear that lk is continuous at xo. It remains to study the case where xo E 0D U (D n RN-1). Assume that
x0 =r-.+oo Jim xr, where {xr} C D. Either there exists a subsequence {xrk} such that xr,k E D or there exists a subsequence {Irk } such that irk ¢ D, i.e. -xr,, E D+. This implies that either klim011i(xrk) _
klin0004(xrk) = 04(xo) =+G(xo)
ODD MAPPINGS
§3.2
59
or
X
lim o Y'(yr.)
= -k-.+oo lim -oa(-xr.) = - lim 04(-xo) = -V'(-xo) = VI(xo)
Hence /P is continuous.
Lemma 3.21 Let D C RN be a bounded, open, symmetric set such that 0 V D. Let 0 : 8D RN be a continuous, odd, nowhere zero mapping. Then 0 can be an extended to a function 10 : D - RN which is continuous, odd, and such that t1(x) & 0 for every x E D n RN-t
Proof We recall that we identify RN-1 with RN n {(x1, ... , ZN) E RN : xN = 0}. We denote by R+ the set {x E RN : xN > 0} and by RN the set {x E RN :
ZN<0}.Let 01
'IBDnRN-1 = 0I8(DnRN-1)
As 01 is a continuous, nowhere zero, odd mapping by Lemma 3.20, 41 admits an extension 02 : DnRN-1 -+ RN which is continuous, odd, and nowhere zero. (DnRN-1)U8D-+RN by We define 03: 02(x)
03(x)
{ O(x)
x E D n RN-1 x E 8D.
The function 03 is odd and nowhere zero. Note that if x E OD n (D n then x E 8D n RN-1 and so 03 is well defined because
RN-1),
02(x) = 01(x) = O(x)-
Since 03 is continuous on the compact sets 8D and f) n RN-1, we deduce that 03 RN-1). is continuous on 8D U (D n Also, since the compact set 8D U (D n RN-1)
is a subset of the compact set 8D U (D n RN-1) U (D n R+) = D, by Remark 3.16 there exists a continuous extension of 03, 04 : b -4 RN. We set +G(x) :-
04(x)
-4'4(-x)
xED x E D \ D.
The same argument used in the proof of Lemma 3.20 allows us to deduce that ,/, is continuous and odd, and as =GIbnRN-1 = 04IbnRN-1 =
IbnRN-1 = 02,
we conclude that , is nowhere zero on D n RN-t.
Remark 3.22 In Lemma 3.21 the extension
: D -+ RN is not necessarily
nowhere zero in D. Indeed, let
D1 := (-3,-1) x (-1, 1)N-1, D2 :_ (1,3) x (-I'1 )N-1
60 SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY Ch. 3 and
D:= Dl u D2. We observe that D is an open, bounded, symmetric set of RN such that 0 if D. Define f : D RN by
f(x) _ (x+(2,0,...,0) x+(-2,0,...,0)
x E D,
xED2.
and let
:= f 18D = f I8D1U8D, Then any continuous extension of 0 is zero somewhere in D. For the sake of illustration, we give the proof in the case where N = 2. It is obvious that 0 is a continuous, nowhere zero, odd mapping. Let tii : D RN be any continuous extension of 0. For i = 1, 2 we obtain that
d(1ID.,Di,0) = d(fID.,Di,0) =1. and so the equation O(x) = 0 admits at least two distinct solutions in D. Now we state and prove the main theorem of this section.
Theorem 3.23 [The Odd Mapping Theorem] Let D C RN be a bounded, open, symmetric set such that 0 ¢ D. Let 0 E C(D)N be such that 0 V q5(8D) and assume that 0(x) # _(-_) I0(x)I
I0(-x)I
for every x E 8D. Then d(0, D, 0) is an odd number.
Remark 3.24 If 0 E C(D)N is an odd mapping such that 0 ¢ 0(8D), then 0(x)
_(-x)
104
10-4,
for every x E CID and the Odd Mapping Theorem applies.
Proof of Theorem 3.23 We divide the proof into four steps. First step. We show that we can assume, without loss of generality, that 0 is an odd mapping. Indeed, let 0 : D - RN be defined by
O(x) := q(x) - 0(-x). Then 0 is a continuous, odd mapping and 0 it 10(8D). Furthermore, for x E 8D we have
0(x) - 0(-x)
0(x)I
0(-x) - 04)
# 10(x) - 0(-x)1 10(x) - 0(-x)I
tG(-x) +G(-x)
Set
H(x, t) := 0(x) - t4(-x) for every t E [0,11 and every x E D. Clearly, H is a CO homotopy between 0 and t,. 1If H(x, t) = 0 for some x E 8D and some t E 10, 11, we have 0(x) = tO(-x) and
ODD MAPPINGS
§3.2
t > 0. This implies that m : = m __
61
which yields a contradiction. Therefore, H(x, t) i4 0 for every x E 8D and for every t E [0, 11, and we conclude that ,
d(O, D, 0) = d(t,i, D, 0).
Due to the first step, in the sequel we assume, in addition, that 0 is an odd mapping. Second step. We prove that we can assume, without loss of generality, that 0(x)
x in a neighbourhood of 0. Let e > 0 be such that U := B(0, e) C D and set
R'' by
DI := D \ U. We define 01 : U U OD
x
1fi(x)
xEU x E 8D.
Then ¢1 is a continuous function,
8D1 =ODu8U =ODu8B(0,e) and 01 is an odd mapping. Let 42 := 01IaD, .
As ¢2 is nowhere zero, by Lemma 3.21 there exists a continuous extension of 02,
03 Dl - RN, such that 0 is odd and nowhere zero on D1 n RN-1. Define 03(x)
04(x) := Ix
x E D1 x E U.
We show that 04 is well defined. Indeed, if x E U n Dl = U n D, then x E 8U and 03(x) _ 42(x) = x. It is also easy to show that 04 is an odd, continuous mapping. For every x E 8D, we have x E 8D1 and 04(x) = 03(x) = 02(x) = 01(x) = 0(x)
Therefore, d(04, D, 0) = d(0, D, 0), 0 ¢ 04(OD) and m z 96 m
for every
x E OD.
Third step. We show that d(03i D1,0) is an even number. Let K := D1 n RN-1. Then 0 11 03(K) and it is easy to see that K is a compact set included in D1. By the excision property of the degree (see Theorem 2.7 (2)) we have d(03, Dl, 0) = d(03, D1 \ K, 0) = d(03, Dl , uDi, 0),
where Di := D1 n R+ and Di := D1 n R. By the decomposition property of the degree (see Theorem 2.7 (1)) we deduce that
62 SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY Ch. 3 d(03, D1, 0) = d(03, Dl , 0) + d(03, Di , 0)
and, using the invariance of the degree under a C' change of variables (see Theorem 1.20), we have that
d(43, Di , 0) = d((-I) o
o (-I), -I (Di ), -1(0)) = d(03, Di , 0).
Therefore, d(, Dl, 0) = 2d(¢3i Di , 0). Fourth step. We conclude that d(04, D, 0) is an odd number. Since 018D = 04 18D,
04laintu = I, 04ID1 = 031D1, and D \ U = Dl, we have by the excision and decomposition properties of the degree (see Theorem 2.7), d(O, D, 0) = d(04i D, 0) = d(04, D \ 8B(0, e), 0) = d(q54, int U U (D \ U), 0) = d(04,int U,0) + d(¢4i D \ U,0)
= d(¢4, int U U (D \ U), 0) = 1 + d(04, D \ U, 0) = 1 + d(cb3, D1, 0)
= 1 + 2d(03, Di , 0).
Theorem 3.25 [The Borsuk Fixed Point Theorem] Let D C RN be an open, bounded, symmetric set containing 0 and let 0 : 8D - RM be a continuous function, M < N. Then there exists x E 8D such that O(x) = m(-x).
Proof We identify RM with {x = (xl, ... , xN) E RN : xN+1 = ... xN = 0}. Define >G(x) := m(x) - 0(-x) for x E 8D. We must show that there exists x E OD
such that O(x) = 0. Assume, on the contrary, that tb(x) 96 0 for every x E OD. Since 10 : OD RM is a continuous, odd, nowhere zero mapping and
OW # V,(-x) 10W I
10(-x)1
for every x E 8D,
we obtain by Theorem 3.23 that d(t,, D, 0) is an odd number. By Theorem 2.3 there exists co > 0 such that, for every 0 < e < co, d(t,b, D, pE) = d(tl,, D, 0),
where P, = (0,...,U, e).
Therefore, d(o, D, pE) 96 0 and, by Theorem 2.1, pE E O(D) C RM for every 0 < e < co, which contradicts p. ¢ RM.
ODD MAPPINGS
§3.2
63
The following corollary is also known as the Borsuk-Ulam Theorem.
Corollary 3.26 [Borsuk-Ulam Theorem) Let SN C RN+1 be the N-sphere and let ¢ : SN -. RN be a continuous mapping. Then there exists x E SN such that 0(-x) = O(x). Proof The result follows immediately from Theorem 3.25, where we set D:= B(0,1) C RN+1 0
Corollary 3.27 Let SN be covered by N closed subsets A,,-, AN. Then some At must contain a pair of antipodal points, i.e. there exists a set A. and there
existsxEA, such that -x E At. Proof For x E SN we define f,(x) := p(x, A1) and
f(x) :_ (fl(x)...., fN(x)), and we recall that p(x, y) = max{ Ixj - yj I : j = 1, ... , N}. Clearly, the function f : SN - RN is continuous and by the Borsuk-Ulam Theorem (Corollary 3.26) there exists l; E SN such that f (l;) = f (-l;). Since {As}i cover SN, there exists
some i E {1, ... , N} such that l; E At and so f,(1;) = 0 = f,(-l;). Since At is
0
closed, we conclude that l;, -£ E At.
Theorem 3.28 [The Ham-Sandwich Theorem] Let Xl,... , XN C RN be N bounded, measurable sets. Then there exists an (N-1)-hyperplane Y C RN that bisects each of the sets Xl,... , XN.
Proof Without loss of generality, we assume that GN(X,) > 0,
i =1,...,N.
(3.1)
Recall that an (N-1)-hyperplane llb,Q C RN has the form 11b.a
l = {(x1,...,XN) E RN : xlbl +... +ZNbN = a}
where b E RN, b 0, and a E R. We identify RN with {(yl, ... , yN+l) E RN+1 yN+1 = 0}. Let c = (0, ... , 0,1) E RN} 1 and define f : SN RN by
f :_(f1,...,fN), fi(x):_.CN({yEXi : (y-c)-x>0})We show that f, is continuous. Fix x ESN and let {x,.} C RN be a sequence such that x,. -s- x when n tends to infinity. By Lebesgue's Dominated Convergence Theorem and since X, is a bounded set, we have X(yEX, :
X{yEx.: (y-c)-x>O}
64 SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY Ch. 3
almost everywhere and so fi(x,.) -- f,(x). By the Borsuk-Ulam Theorem there exists a E SN such that
f(a) = f(-a), i.e. for every i = 1, ... , N,
CN({yEXi :
(3.2)
We claim that there exists j E { 1, ... , N} such that a. 0 0. Assume, on the contrary, that a1 = ... = aN = 0. Since a ESN we have aN+1 = ±1 and (3.2) implies that
CN({yEX, :
yN+1-1>0})=,CN({yEX;
YN+1 - 1 < 0))) .
As Xi C {y E RN+I : YN+1 = 0}, we obtain CN(X1) = 0, contradicting (3.1). Now (3.2) is equivalent to
CN({(yl,...,yN)EX; :
a y = a1y1 +... + aNYN. Setting Y:= {(y1,...,YN) we conclude that Y bisects each of X,.... , XN.
3.3 The Jordan Separation Theorem In R2 the Jordan Separation Theorem asserts that if C is a Jordan curve, then R2 \ C is a union of two connected, disjoint, open sets D1 and D2 such that D1 is bounded and D2 is unbounded. In this section we present a generalization of this theorem in RN. We recall that K, L C RN are said to be homeomorphic if there exists a bijection h : K - L such that h and h-1 are both continuous.
Theorem 3.29 [Jordan Separation Theorem] Let K, L C RN be two compact sets such that K and L are homeomorphic. Then either K` and L` have the same finite number of connected components or both have countably infinitely many connected components.
Proof Let {Ai : i E I) be the family of connected components of K`. The sets Di are mutually disjoint and, since K is closed, each Ai is open. Therefore, there are at most countably infinitely many Di, since each of them contains a point with rational co-ordinates. We may write I C N and assume without loss
of generality that if i E I and i > 2, then i - 1 E I. As K is a bounded set, exactly one of the connected components is unbounded, say Oo. By the same argument, let {D,: r E R} be the set of connected components of L` such that
R C N, and R has the property that r E R and r > 2 implies that r- 1 E R.
§3.3
THE JORDAN SEPARATION THEOREM
65
Let Do be the unique, unbounded, connected component. Let h : K -+ L be a homeomorphism. By the Tietze Extension Theorem (Theorem 1.15) there exist RN, and a continuous extension of a continuous extension of h, 0 : RN h-1,10: RN RN. We show that, for every i, j > 1, J R1
bij = E d(4, Di, Dk)d(iP, D,, ,&j), k=1 III
bij = L d(O, Ak, Di)d(,G, Dj, Ok) k=1
and conclude the theorem by means of an elementary argument of linear algebra. Here 6,, denotes the Kronecker symbol, equal to zero if i 54 j and one if i 54 j. Fix j E N and let {Gjj:I E Al be the set of connected components of (O(80,))c,
where A C N and A has the property that l E A and l> 2 implies l- 1 E A. Since 8,&j C K and is bounded, then O(80j) is a compact set and so exactly one of the Gi is unbounded, say Go. We have
K` = UjEI,, L` = U.ERDr, (4(&))C = UIELG. Claim 1. For every r E N, there exists I E N such that Dr C Gl,.
Indeed, fixing r E N, we observe that 80j C K implies that O(80j) C O(K) = L and so Lc C ¢(80j)c. Therefore, Dr C L° C o(8e,j)c and, since Dr is connected, there exists I E N such that Dr C G, . The collection {Dr} may be relabelled {D1 k} in such a way that
Uo =Do UDo.1UDo,2U...CGo ,
U1 =Di.1UDi.2u...CGil. Claim 2. d(tli, G) j', p) = F,+- d(t&, Di.k, p) for p E Di and I > 1. First we prove that d(ip, G31, p) is well defined. It suffices to prove that 8G)I C
L. Let x E 8G{ and assume that x it L. We obtain that x E A. for a suitable r and so, since Dr C Gi(r), we conclude that x E Gl(r). Thus Gi f1G;(r) 0 0 and so I = 1(r). Therefore, we have x E 8Gi f1 GJ,, which yields a contradiction. Hence 8G! C L and
0(8Gi) C O(L) = K. Finally, P .E Di implies that p ¢ K, which, in turn, implies that p ¢ b,(8G'i) and so d(>1, G21, p) is well defined.
Since 8DI k = 8D,. for a suitable r and LC = urEKD,., we deduce that MY, A; C L. Hence d(O, D%k, p) is well defined.
66 SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY Ch. 3
Consider the compact set M := Gi \Ui and fix x E M. Then either x E 8GI' or x E GJ, \U'; therefore x ¢ Dr for every r E N. Thus X E L and t/i(x) E t6(L) = K.
Moreover, if p E Di, then p ¢ t/i(M) and by the excision property and the decomposition property of the domain (see Theorem 2.7) we obtain that +oo
d(t,&,GI,p) =d(t,b,G)l \M,p) =d(i,b,Uf,p) = Ed(V,,V1.k,p)k=1 +oo
Claim 3. We claim that bij = 1: d(1G, Dk, 0,)d(cb, 03, Dk) for i, j > 1. k=1
Let us recall that d(tk, Dk, ii) = d(cb, Ak, p) for all p E Ai and these are well
defined since Ai C K° = (cb(L))`. Fixing p E 0, and using the multiplication theorem, we have +00
d(1,b,G{,p)d(tu,03,G1)
d(tGo0,0j,p) _ l=1
and the summation is finite. Since D; k C Gi , we deduce that d(o, A., Cl) _ d(q5, Aj, D1 k) for every k, which, together with claim 2, yields +oo
d(tfio0,Oj,p) _ Ed(tI,,Gi,p)d(0,03,Gi) t= t
+00 +00
_
d(O, Dj',k, p)d(,0, A), D11,01=1
k=1
Recall that d(t/', 03, D03k) = d(o, Oj, Go) = 0 because Go is unbounded and so +00 +00 d(t/i o O, Aj, p)
_ E E d(0, D1,k1 &(0, 03, Pf",k) 1=0 k=1 +oo
_ E d(1G, Dr, p)d(O, I j, Dr), r=1
since {Dr : r > 1} _ {Df.k : l > 0, k > 1}. The last equality can be written as +00
d(tb o 0, 03, Di) = E d(O, Dr, Di)d(0, A3, Dr)r=1
Using the fact that 803 c K and tG o O(x) = x for every x E K, we have d(tG o 0, Aj, Di) = d(I, Aj, A,) = bij;
THE JORDAN SEPARATION THEOREM
§3.3 thus
67
too
bij _
fsi
d(i, Dr, ti)d(ct, ij, Dr).
(3.3)
Using a similar argument we have that +oo
bi, = E d(?,b, D1, Or)d(t, Or, Dj).
r-i
(3.4)
Claim 4. {Dr : r > 1,r E R} and {0j
1, j E I} are in bijection. We divide the proof of claim 4 in three cases.
First case. R < +oo and I < +oo. Let A E RRx I be defined by ar, := d(q5, Ar, D,)
and let B E RIxR be defined by
br, := d(', Dr, 0,). We have ABERRxRand
(AB)ij _
aikbkj = k-1
d(O, Di, Dk)d(tb, Dk, Ai) = bij k=1
hence AB is the identity matrix of RRxR and so it has rank R. We observe that
R = rank (AB) < rank A < min{R, I} < I. Similarly, BA E RI x I is the identity matrix of R"',
I = rank (BA) < rank B < min{R,1} S R. and we conclude that R = I. Second case. R = +oo and I = +oo. In this case, it is obvious that {D, : r E R} and {Di : i E I} are in bijection. Third case. R = +oo and I < +oo. Let
X = R[x]
be the set of real polynomials with the basis 1, x, x2, x3, .... Set
Y := span {1,x,x2,...,x1} and define two linear applications f : Y - X and g : X -+ Y by
68 SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY Ch. 3 00
f(x') := 1: ar,2r,j = 1,...,I r=1
and
9(x1) :_00>ar,xr, j = 1,...,00. r=1
Since are = 0, except for finitely many r E N, j E {1, ..., I} , f and g are well defined. By (3.3) and (3.4), we obtain that
fo9=Ix and
9of =Iy, where IX stands for the identity matrix of X and Iy stands for the identity matrix of X. Hence
+oo = rank (fog) < rank f < I, which yields a contradiction.
Fourth case. R < +oo and I = +oo. The proof of this case is identical to the proof of the third case. We give an application of the Jordan Separation Theorem.
Theorem 3.30 (Invariance of Domain) Let D C RN be an open set and let 0: D - RN be a continuous, injective function. Then 0(D) is an open set.
Proof We observe that for every p E D there exists r(p) > 0 such that B(p,r(p)) CC D. Thus 0(D) =pEo O(B(p, r(p)))
To show that 0(D) is an open set, it suffices to show that Q(B(p, r(p))) is an open set for every p E D. Fix p E D, and set B := B(p, r(p)). Since 8B is a compact
set and 0 is injective, we obtain that 0: 8B - ¢(8B) is a homeomorphism and, by the Jordan Separation Theorem, (O(8B))C has two connected components, 01 open and bounded and A2 open and unbounded. We claim that 0(B) = 01. Indeed, as B is a compact set and 0 is injective, we have that 101g : B -. 0(B) is a homeomorphism and so, by the Jordan Separation Theorem, we conclude that (0(B))` is an unbounded, connected set.
Considering, in addition, the fact that (0(B))° C (O(8B))c, we deduce that either (O(B))C C Al or (003))c C O2. Since 01 is bounded and (0(B))° is not, we must have (O(B))` C 02.
§3.3
THE JORDAN SEPARATION THEOREM
69
This implies that Al U ¢(aB) = A2 CO(B) U 0(8B) and so, as 46 is an injection, we obtain that
01 C O(B).
(3.5)
Similarly, O(B) is a connected, bounded set, O(B) C (O(8B))`, and we conclude
that ¢(B) C 01 or 4(B) C 02, which, together with (3.5), yields
O(B) = 01.
0
We conclude that 0(B) is an open set.
Corollary 3.31 Let M < N be two integer numbers. Then there is no injective mapping 0: RN _ RM. Proof Assume that there exists an injective mapping 0 : RN - RM and define
tji:RN -RNby
'+)(x) :_ (0(2), a)
X E RN ,
where a = (0,. .. , 0) E RN-M. Then 0 is injective and, by Theorem 3.30, O(RN) = RM x {a} is an open set of RN. This yields a contradiction.
O
Corollary 3.32 Let N < M be two integer numbers and let 0 : RN -, RM be an injective mapping. Then (O(RN))` is dense in RM.
The proof of this result uses Baire's Theorem. We recall its statement and refer the reader to Eisenberg (1974) for a proof.
Theorem 3.33 [Baire's Theorem] Let X be a complete, metric space and let {U;, i E N} be a collection of open, dense subsets of X. Then l$ENUi is dense in X.
Proof of Corollary 3.32. We first prove that (O(Ik ))` is dense in RM, where Ik := [-k, k].
Assume, on the contrary, that there exist a E RM and r > 0 such that B(a, r) C O(I'). Setting K := 0-1(B(a,r)), we observe that K is a compact set and so, since 0 is injective,
9:K-B(a,r) is a homeomorphism, where 9:= 01K-
Then
70 SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY Ch. 3
g- 1:B(a,r)CRM_KCRN is a homeomorphism, contradicting the Borsuk-Ulam Theorem (see Corollary 3.26).
Next we show that (O(RN))` is dense in RM. IN, we obtain Since RN = UkENIk (O(RN))c -kEN (O(Ik ))c.
We observe that IN are compact sets, 0 is continuous, and so O(IN) are compact sets. Hence (0(IF))` are open sets, each (0(IN))` is dense in Of, and thus by Baire's Theorem nkeN(0(Ik ))` is dense in 0
P.
Remark 3.34 Peano's Theorem states that there exists a continuous surjection f : [0, 1] -+ [0, 11 x [0, 1]. We refer the reader to Eisenberg (1974, pp.367-370) or Kuratowsky (1966, pp. 150-151). Actually, it is possible to prove that, for every N, M > 1, there exists a continuous surjection 0 : RN - RM (see Exercise 3.3).
Theorem 3.35 Let D C RN be an open, bounded set and let ¢ E C(D)N be an injective mapping. Then for every p E 0(D) we have
d(0,D,p) = ±1. Proof By Theorem 3.30, 0(D) is an open set and O-' : 0(D) D is a homeomorphism. Let p E 0(D). Then there exists r > 0 such that B := B(p,r) CC 0(D) and we set
A:= D \ 0-' (8B). 0(D) and We want to apply the Multiplication Theorem to 0 o O-' : B : j E J} be the countable family of the connected 0-1 : B .- D. Let {Aj components of A. We have
pit 0o0-'(8B)=8B and also,
p g O(OD).
Therefore, by the Multiplication Theorem (Theorem 2.10), +00
1 =d(I,B,p)
=d(0o0-1,B,p)
=
E,d(0,Di,p)d(0-1, B,0:).
(3.6)
i=1
Also, by the Jordan Separation Theorem, 0-'(8B)° has two open connected components D1 and D2 such that Dl is bounded and D2 is unbounded.
EXERCISES
§3.4
71
We claim that there exists io E J such that D1 = 0,0. Indeed, 0 = D \ /-1(8B) C 4' 1(8B)` and, by an argument similar to that of the proof of Theorem 3.30, we have that
D1 = 0-'(B) C D \ 0-'(8B) = A= UjEjAj Therefore, D1 C 0;o for some it, E J and as
A,,cicr-1(8B)`cD1uD2, we have 0,o C D1 and we conclude that Aio = D1. Hence A j C D2 for every i 31 io and so
d(O-1, B, 0;) = d(O-1, B, D2) = 0 for every i 0 it,, which, together with (3.6), yields 1 = d(O, Ob,p)d(O-1, B, Ob)
and so d(4, Dio, p) = ±1.
(3.7)
Now it suffices to show that d(O, i{o, p) = d(O, D, p). Let
K:=D\A,o. Since d(O, A,o, p) # 0, by Theorem 2.1 we deduce that p E O(A,o) and, as 0is injective, we deduce that
pV Using the excision property of the degree (see Theorem 2.7), we have d(O, O 0, p) = d(O, D \ K, p) = d(O, D, p),
which, together with (3.7), yields d(o, D, p) = t1.
0 3.4
Exercises
Exercise 3.1 [Perron-Frobenius Theorem] Let A = (ai j) be an N x N matrix such that a;, > 0 for all i, j. Prove that there exist A > 0, z 96 0 such that x, > 0 for every i and Ax = Ax.
72 SOME APPLICATIONS OF THE DEGREE THEORY TO TOPOLOGY Ch. 3
Solution 3.1.Let D:_Ix ERN:xi>O,i=1,...,N, 1NIxi=1}.If Ax = 0 for some x E D, then it suffices to set A = 0. Assume that Ax i4 0 for every x E D. Then Nj(Ax)j > a for everyx E D and for some a > 0, and the function f : D R defined by f (x) :=
EN1(Ax)i
is continuous in D. It is clear that N
E fi(x) i=1 and A(x) > 0,
for every x E D. Hence,
f (D) C D. By the Brouwer Fixed Point Theorem (see Corollary 3.8), there exists xo E D
such that f(xo) = xo. Setting \:= EN 1(Axo)i we obtain that Axo = Axo.
A generalization of this theorem can be found in Varga (1962).
Exercise 3.2 Let K, L C RN be two compact sets such that K C L. Assume that f : K -+ RM is a continuous function. Prove that there exists a continuous function 9 : L - RM which coincides with f on K such that IfIK = 191L = suP{I9jIL : i = 1, ... , M}. Solution 3.2. Since K is a compact set and f : K - RM is continuous, we deduce that f is bounded. Let I fIIK = sup{I fi(x)I : x E K). We recall that IfIK = sup{Ifil : i = 1, ... , M}. By Tietze's Extension Theorem, for each i = 1,... , m we obtain the existence of a continuous function gi : RN -+ R such
that inf g, = inf fi. 9i I K = fi, sup 9i = sup fi, and xEL xEK xEL
xEK
We have 191M>_191K=IfIK.Conversely 191L=max{I9i3L: i=1,...,M}= I9io IL for some io E {1,. .. , M} and, as L is a compact set, we obtain that I9io IL = I9io (.t) I for some z E L. There exist a, b E K such that fio(a) = minXEKfio(x) :5 gio(x) !5 m
fio(x) = f.0(b)
and either I9b(2)I <_ Ifio(b)I or 19i(2)I <_ If o(a)I. This yields 191L:5 IfIK and so
I91L = IfIK
EXERCISES
§3.4
73
Exercise 3.3 Assume that there exists a continuous surjection f : (0, 1) [0, 1) x [0, 1] ([Peano's Theorem]). Prove that, for every N, M > 1, there exists a continuous surjection 0: RN
RM.
Solution 3.3. By Peano's Theorem, for every k E N, k > 0, there exists a continuous surjection fk : [2k - 2,2k - 1] - [-k, k] x [-k, k]. Define gk [2k - 1, 2k] - R2 by gk(2k - 1 + t) := (1 - t) fk(2k - 1) + t fk+1(2k), t E [0, 1].
We observe that gk is continuous and defining 0: R - R2 as
0(x) :=
f, (0)
x < 0
fk(x)
x E [2k - 2,2k - 11 x E [2k - 1,2k),
9k(x)
then ¢ : R - R2 is a continuous surjection. We easily deduce that, for every N, M > 1, there exists a continuous surjection 0 : RN -+ RM.
Exercise 3.4 Let f : SN
SN be a continuous function such that f (x) 34 -x for every x E SN. Show that, if N is even, then f has a fixed point on SN. Solution 3.4. By Tietze's Extension Theorem (Theorem 1.15) there exists a continuous function F : RN+1 - RN+1 such that
F(x) = f (x) 0 -x for every x ESN. By Proposition 3.9, and as N + 1 is odd and F(SN) C SN, we conclude that there exist A > 0 and xo E SN such that F(xo) = Axo
f (xo) = Axo.
Since IxoI = 1 = If (xo)I and f (xo) 36 -xo, we must have f(xo) = xo.
4
MEASURE THEORY AND SOBOLEV SPACES In this chapter we recall some properties of Sobolev functions and measure theory. In order to measure the sets on which a Sobolev function is continuous, we introduce the notion of Hausdorff measures and p-capacities. For a detailed description of these topics, we refer the reader to Evans and Gariepy (1992) and Ziemer (1989). The Hausdorff measures were first introduced by Caratheodory (1914). He developed only the Hausdorff linear measure in RN and indicated how the k-dimensional measure could be defined for k E N. Later, motivated by the study of the dimension of the Cantor ternary set, Hausdorff (1919) developed the theory of the k-dimensional measure.
4.1 Review of measure theory We recall some definitions and well-known results used in measure theory, such as the Riesz Representation Theorem, the Radon-Nikodym Differentiation Theorem and Vitali's Covering Theorem. For more details and for the proofs of the results presented in this section, we refer the reader to Evans and Gariepy (1992).
Definition 4.1 (i) We say that I C RN is a closed N-interval if there exist a, < b;, i, ... , N, such that I = [a1, bi) x ... x [aN, bN].
We set m(I) :_ (b1 - al) ... (bN - aN). (ii) We define the Lebesgue outer measure GN(E) of a set E C RN by 00
GN(E)
inf { E m(Ik) : E 1k=1
CkU
Ik, Ik closed N-interval }
.
JJJ
Definition 4.2 Let X C RN be a nonempty set, let P(X) be the collection of the subsets of X, and let µ : P(X) -+ [0, oo).
(i) u is said to be an outer measure if 00
µ(A,)
µ(o) = 0, p(,U A.) <_ i=1
for every {A,} C P(X). 74
REVIEW OF MEASURE THEORY
§4.1
75
(ii) A E P(X) is measurable with respect to the measure p if
p(B) = p(A n B) + µ(B \ A) for every B E P(X).
(iii) The restriction of the measurep to some E E P(X), p4E, is defined by pLE(A) := p(A n E), for every A C E.
Remark 4.3 Assume that p is an outer measure on X. Then (i) if A C B C X, then p(A) < p(B); (ii) if A C X and p(A) = 0, then A is measurable; (iii) A C X is measurable if and only if X \ A is measurable; (iv) the Lebesgue outer measure GN is an outer measure; in this case, a p measurable set is called, simply, a measurable set.
Definition 4.4 Let X C RN be nonempty and let A be a collection of subsets of X. We say that A is a o algebra if (i) 0 E A; (ii) A E A implies that X\ A E A; (iii) {Ak, k E N} C A implies that UkENAk E A.
Remark 4.5 If p is an outer measure on X, then the collection of all p measurable subsets of X forms a o algebra.
Definition 4.6 If X = RN, then the Borel o algebra is the smallest a algebra containing the open subsets of RN.
Definition 4.7 Let p be an outer measure on RN. (i) p is said to be regular on RN if for every A C RN there exists a p measurable set B C RN such that A C B and p(A) = p(B). (ii) p is said to be a Borel measure on RN if every Borel set is p measurable. (iii) p is said to be a Borel regular measure on RN if p is a Borel measure and for every A C RN there exists a Borel set B C RN such that A C B and p(A) = p(B). (iv) p is said to be a Radon measure on RN if p is a Borel regular measure and p(K) < oc for every compact set K C RN.
Lemma 4.8 Let p be a Borel regular measure on RN and let A C RN be a p measurable set such that p(A) < oo. Then pjA is a Radon measure on RN. Definition 4.9 Let X C RN be nonempty, let p be an outer measure on X, and let A be the o algebra of all p measurable subsets of X. The restriction of p to A is called a measure on X.
MEASURE THEORY AND SOBOLEV SPACES
76
Ch. 4
Definition 4.10 Let X C RN be nonempty and let p be a measure on X. A C X is said to be or finite if there exists a countable family (Ak, k E N) of p measurable
subsets of X such that A= u Ak kEN
and p(Ak) < oo for every k E N.
Definition 4.11 Let p be a Radon measure on RN and let A C RN. We say that a property holds p almost everywhere on A if the property holds for every x E B, for some B C A such that p(A \ B) = 0. Let p and v be two Radon measures on RN. For each x E RN define
v(B(x, r)) I lim sup LJj,v(x) := r-O+ p(B(x, r)) +00
p(B(x, r)) > O for all r > 0
p(B(x,r)) = Ofor somer > 0
and
Dµv(x)
lim inf
v(B(x, r))
r-O+ p(B(x, r))
p(B(x, r)) > 0 for all r > 0
u(B(x,r)) = Ofor somer > 0.
+00
Definition 4.12 Let p and v be two Radon measures on RN and let x E RN. If 5m-v(x) = D,v(x) < +oo, then we say that v is differentiable with respect to p and we write Dµv(x) = Dµv(x) = Dµv(x).
_
D,v(x) is called the derivative of v with respect to p.
Definition 4.13 Let p be a measure on RN. A function f : RN [-oo + oo) is said to be p-measurable if f -1((-oo, a)) is p-measurable for every a E R. When p is the Lebesgue measure, a p-measurable function is said to be measurable.
Definition 4.14 Let p be a measure on RN, let 1 < p:5 +oo, and let f : RN [-oo + oo) be a p -measurable function. We say that f E LP(RN, p) if /RN if I9 du < +oo for p < +oo,
and if p = +oo there exists M E R such that
If(x)I <M for ua.e.xERN. The following is also known as the Radon-Nikodym Theorem.
Theorem 4.15 Let p and v be two Radon measures on RN. Then for p almost every x E RN, we have that DP(x) exists and Dµv(x) < oo. lrthennore, Dµv is p-measurable.
REVIEW OF MEASURE THEORY
§4.1
77
Definition 4.16 Let p and v be two measures on RN. (i) We say that v is absolutely continuous with respect to µ, and we write
if p(A) = 0 implies v(A) = 0 for every A C RN. (ii) We say that v and u are mutually singular, and we write
vlp, if there exists a Bonel set B C RN such that
v(B) = p(RN \ B).
Theorem 4.17 [Differentiation Theorem for Radon measures) Let p and N. Then v = va + v where v be two Radon measures on RN va « µ, v3 .1. {A. Moreover,
D,,v = D,,va, D,,v, = 0 p a.e. and
v(A) = j D,,vdp+v,(A) for every Bonel set A C RN.
Theorem 4.18 [Lebesgue-Besicovitch Differentiation Theorem] Let p be a Radon measure on RN, 1 < p < oo, and let f E L ;c(RN, µ). Then /1 l µ(B(x, iO e))
B(s,c)
If (y) - f (x)IP dµ(y) = 0
(4.1)
for p a.e. x E RN. Definition 4.19 A point x for which (4.1) holds is called a p-Lebesgue point of f with respect to p. We say that a 1-Lebesgue point off with respect to GN is a Lebesgue point of f.
Theorem 4.20 [R.iesz Representation Theorem] Let L : Cc(RN)M - R be a linear functional such that
sup{L(f) : f E CC(RN)M, IfI2 < 1,spt(f) C K} < 00 for each compact set K C RN. Then there exists a Radon measure p on RN and a p measurable function o : RN RM such that (i) Io(x)I2 = 1 for p a.e. x E RN, (ii) L(f) = f R. f o dp, for all f E CC(RN)M.
Ch. 4
MEASURE THEORY AND SOBOLEV SPACES
78
4.2 Hausdorff measures The Hausdorff measure H'(E) of a set E C R2 was introduced for the purpose of generalizing the notion of length in the case where E is a smooth curve. As a first approximation, we define 00
inf { diam(A;) : E C$EN A, } 1.-
.
JJ
It is easy to see that if N = 2 and if E:= {(t, sin 1) : t E (0,1] }, then A(E) < oo, while the length of E is infinite. This is due to the fact that in the definition of A(E) the sets A; are not forced to follow the geometry of E. In view of this, Hk(E) will be defined as a limit of outer measures H6 (E) which will follow the geometry of E.
Definition 4.21 Let E C RN, 0 < 6 < oo. We define
H
inf
0 a(s) (diarnCs)s 2
E c u C;diam C, < 6 iEN
JJJ
where a(s) := r +I and r(s) := f o'
e-=x'-1 dx (0
< s < oo) is the usual
Gamma function.
R.emark 4.22 If 61 < 62, then H62 (E) < H6, (E) and so lim6_o H6 (E) _ sup6>0 H68 (E) exists.
Definition 4.23 Let E C RN and 0 < s < oo. We define the s-dimensional Hausdorff measure on RN by
H'(E) = aim H6(E).
Theorem 4.24 For each 0 < s < oo, H' is a Borel measure. The proof of this result can be found in Evans and Gariepy (1992).
Theorem 4.25 (i) Ho is the counting measure. (ii) H1 = H6 =41 on R for every b > 0. (iii) HI (E) = 0 for all E C RN and for all s > N. (iv) Hs(AE) = A'H'(E) for all E C RN and for all A > 0. (v) HN(L(E)) = H'(E) for all E C RN and for all affine isometry L : RN R
.
HAUSDORFF MEASURES
§4.2
79
Proof (i) We observe that a(0) = 1. Therefore, H°({a}) = 1 for every a E RN and
H6({al,...,ak}) > k for every mutually distinct a1,. .. , ak E RN and for every positive b such that 0 < 6 < I min{Iai - a.I : i 0 j}. Hence,
H°({a1i...,ak)) = k, i.e. H° is the counting measure. (ii) Fix 6 > O and E C R. We have 00
£'(E) = inf
la, - biI : E C,EN [ai,bi]} =1 00
diam(C*) : E
= inf
CiEN
ci}
00
U Ci, diam Ci < 6 } l -1 diam (Ci) : E C iEN
< inf {
JJ
= Hb''(E) On the other hand, setting Ik := [6k, 6(k + 1)], k E Z, for every C C R we observe that diam (C n Ik) < 6 and too
E diam (C n Ik) < diem (C). k=-oo
Therefore, we have 00
G'(E) = inf
diam (Ci) : E CiEN `i=1
C,I
00
> inf
diem (Ci n Ik) If, i=1 k=-oo
EC iEN Ci I
> H6(E) and this concludes (ii).
(iii) Let Q = (0,1)N and let m > 1 be an integer. For k = (kl,... , kN) E K:=
{0,...,m-1)Nset Qk :=
Lk-m', klm 1J
x ... x [kN,kN+1]. ,n
MEASURE THEORY AND SOBOLEV SPACES
80
Ch. 4
We observe that Q
kEK
Qk and diem (Qk) _
rN-
and so la
H (Q) < >2 a(s) kE K
( \Z/
= a(s)mN-'
Letting m - +oo we deduce that
H'(Q) = 0, which yields
H'(RN) = 0. (iv) Using the property that diam (AC) = A diam (C),it is easy to verify that A'H'(C) = H'(AC) for every A > 0 and for every C C RN. (v) This follows from the fact that diam (L(C)) = diam (C) for every affine isometry L : RN - RN and for every C C RN. 0
Remark 4.26 It turns out that the equality HN(E) = GN(E)
holds for every E C RN. The proof is not trivial and it uses the isodiamettic inequality
G'(E):5 a(N)
(diam E )'
which is valid for every E C RN. We remark that E does not have to be contained in a ball of diameter diam E.
Lemma 4.27 Let E C RN, 0 < 6 < oo, and let 0 < s < oo be such that H6 (E) = 0. Then
H'(E) = 0. Proof Ifs = 0, H6 (E) = 0 implies that E = 0 and so H°(E) = 0. Now assume that s > 0 and fix e > 0. There exist sets {C,},EN such that E C U,ENC$, diam C; < 6 for every i E N and 00
diam C. 2
< J
HAUSDORFF MEASURES
§4.2
We observe that a(s) (d'
81
)' < e for every i = 1, ... , oo and so
_: l(e).
diam Ci < 2 Cads)/ Hence,
Hi'(,) (E) < e
and letting e go to zero we deduce that H'(E) = 0. Lemma 4.28 Let E C RN and let 0 < s < t < oo be two real numbers.
(i) If H'(E) < +oo, then Ht(E) = 0. (ii) If Ht(E) > 0, then H'(E) = +oo. Proof Assume that H'(E) < +oo and fix b > 0. There exist sets {C,}IEN such that E C UieNC1, diam C; < b and 00
/diam Ci 2
i=1 Since
H6(E)
00a(t)
(diam C1)t 00
a/ s(8) 2'-t 1
<
)
i=1
l'
C, a($) (diem JJ (diam C,) t \
a(t) 2'-tbt-'(H6(E) a(s)
2
+ 1)
letting 6 go to zero we obtain Ht(E) = 0 and assertion (ii) follows.
Definition 4.29 Let E C RN. We define the Hausdorff dimension of E by
Hd,m(E) := inf {0 < s < +oo : H'(E) = 0).
Remark 4.30 Let E C RN. (i) By Theorem 4.25 (iii), Hdim(E) < N.
(ii) Ifs = Hdim(E), then Ht(E) = 0 for every t > s while Ht(E) = +oo for every t < s. The dimension Hdim(E) is not necessarily an integer and may be any number in [0, NJ.
Proposition 4.31 Let f : RN - RM be a Lipschitz function, E C RN, and let 0:5 s < oo. Then
H'(f(E)) < K'H'(E), where K := sup { 4 _y
y, x, y E RN }
82
MEASURE THEORY AND SOBOLEV SPACES
Ch. 4
Proof Without loss of generality, assume that H'(E) < +oo and fix b, e > 0. There exist sets {C,};EN such that E C U;ENC;, diam C, < 6 for every i E N, and
00a(s) gal
(diem C;
\
2
J
As f is a Lipschitz function, diam (f (C)) < K diam (C) for every C C RN and so
Letting e and b go to zero we conclude that H'(f (E)) < K'H'(E). Setting f = XE in the Lebesgue-Besicovitch Differentiation Theorem (see Theorem 4.18), it follows immediately that
Proposition 4.32 If E C RN is a measurable set, then GN(B(xo, e) n E) Eo+ CN(B(xo, e)) lira
_
1
for CNa.e. xo E E
0 for GNa.e. xo E RN\E.
As it turns out, this result can be extended to lower dimensional Hausdorff measures.
Proposition 4.33 Let E C RN be an H'-measurable set, 0 < s < N, H'(E) < +oo. Then H'(B(xo, e) n E) = 0 lira a(s)e' o+ for H'a.e. xo E RN\E and for H' a.e. xo E E lim sup 4-o+
H"(B(xo, e) n E) < 1. a(s)e"
(4.3)
To prove this proposition we need the following covering theorem.
Theorem 4.34 [Vitali's Covering Theorem] Let.F be a collection of closed balls in RN with sup{diem B : B E F} < +oo. Then there exists a countable family S of disjoint balls in f such that
u BC BEQ U B,
BEf
where, if B = B(x, r), f? denotes B(x, 5r).
HAUSDORFF MEASURES
§4.2
83
Proof Let D := sup{diam B : B E .F} and set
.F,:={BE.F:
D 2i
1}.
-
We define G as follows. Let Q1 be a maximal disjoint collection of balls in .F1 and, assuming that Q1 ... Qk_1 have been chosen, we select 9k to be any maximal disjoint collection of
{BE.Fk: BnB'=0 We set Q
for all B'EkU19j} j=1
U;ENQj. It is clear that 9 is a collection of disjoint balls of F and we
claim that, given B E 7, there exists B' E 9 such that B n B' 0 0 and B C B'. Indeed, let k be such that B E .Fk and B 11 9A,. Due to the maximality of 9k, there exists a ball B' E UU=19k such that B n B' 96 0. Hence,
diamB'> k, diam B < 2 diam B B' and 9 is a countable family since any collection of disjoint open sets must be countable. Corollary 4.35 Let.F be a fine cover of A by closed balls, i.e. inf {diam B: B E .F, x E B} = 0 for every x E A, and suppose, further, that sup{diem B : B E F} < +oo. There exists a countable family Q of disjoint balls in.F such that for each finite subset {B1, ... , CF we have B') CBE9\{s U
Proof By Vitali's Covering Theorem there exists a countable family g of disjoint balls in F such that
A CBE B
CU
B.
Fixing B1, ... , B E .F, if x ¢ A\(.U B;), then, as B, are dosed and .F is a fine =1 cover of A, there exists B E F with x E B, B n Bi = 0 for i = 1, ... , n. From the claim in the proof of Vitali's Theorem, it follows that there exists B' E Q with
B'nB00;hence
BCB'.
Proof of Proposition 4.33. It is clear that to prove (4.2) it suffices to show that H'(At) = 0
Ch. 4
MEASURE THEORY AND SOBOLEV SPACES
84
for every t > 0, where
At:= xERN\E:limsup H'(B(zr r) n E) >t 1 r-o+
Fix e > 0. As H' LE is a Radon measure, we may find a compact set K C E such that H'(E\K) < E. Thus At C (RN\K) and, for fixed 6 > 0, we consider
.F:=
r) n E) {.(xr) : B(x, r) C (R N \K), O < r < 6, H'(B(z, a(s)r'
>tI
Without loss of generality, we may assume that F j4 0; otherwise At = 0 and so
H'(At) = 0. Using Vitali's Covering Theorem we write At
CiU
B,
where {B(xi,r,}°=1 C F is a disjoint family of closed balls. Then 00
Hio6(At) 5 Eo(s)(5r,)' i=1
00
J:H'(Bi n E)
<
i=1
< e, H'((RN \ K) n E)
_ 'H'(E \ K) t,E.
Letting 6 - 0+ and then e -. 0+ we conclude that HI(At) = 0. In order to prove the inequality in (4.3), namely, Jim sup e-»0+
H'(B(zo, r) n E) < 1 _ a(s)r'
for H' a.e. xo E E, we proceed as in the first part of this proof. We set Be
{x E E : lim supo
n E)
>tI
Since H' LE is a Radon measure, there exists an open set U containing Be such
that
HAUSDORFF MEASURES
§4.2
85
H'(U n E):5 Hs(Bt) + e and we define, for fixed 6 > 0,
.F:= 11 B(x, r) : B(x, r) C U, 0 < r < b,
H'(B(x, r) n E) > t a(s)rs
By Corollary 4.35, for each m E N there exists a countable disjoint family of balls {Bi } 1 in F such that m
Bt CsUI
B,
00
s=m+1 Bi ,
where Bi = B(x,, r,). Then m
00
H106(Bt) < Eo(s)ri + > a(s)(5ri)' i=m+1
i=1
t
M
00
tEH'(BinE)+ 5' i=1
H'(BinE) i=m+1
< H'(U n E) + L H' (i=m+1 B n E)
.
Letting m -+ +oo we deduce that H1'106 (Bt) <
i
Hs (U n E)
< i(H'(Bt)+e). Letting 6 -+ 0+ and then e -' 0+, we conclude that Hs (Bt) <- a H'(Bt);
hence, as H'(Bt) < H'(E) < +oo,
H'(Bt)=0ift>1. 0 Remark 4.36 Under the hypotheses of Proposition 4.33, it can be shown that lim sup
c-0
H"
e) n E) > or(s)es
1
- 2s
for H' a.e. x0 E E. It is worth noting that it is possible to have
86
Ch. 4
MEASURE THEORY AND SOBOLEV SPACES
H"(B(xo, e) fl E) <1 0(s)f" e-.0+
lim sup and
liminf
H°(B(xo,e)nE) =0 a(s)f°
e-o+
for H" a.e. x0 E E, where 0 < H"(E) < +oo. In the last result of this section we estimate the Hausdorff measure of a set where a locally integrable function is concentrated.
Proposition 4.37 Let f E L' (RN), 0 < s < N and set
A,:={xERN: lim sup 7'-f r-0+ r"
I.
(x,r)
If(y)I dy>01
Then H8 (A,) = 0.
Proof Without loss of generality, we may assume that f E L' (RN), as it suffices
to prove the result for f 'k, O k E CO(RN),
0 < 1Ik < 1, V)k(x) = 1, if
x E B(0, k). By the Lebesgue-Besicovitch Differentiation Theorem (see Theorem 4.18),
lim
GN (B(x, r))
JB(x,r) I f (y) I dy =I f (x)
for £Na.e.xERNandso lim 1
r-0 r"
f
If(y)I dy = 0.
B(x,r)
Thus CN(A,) = 0. Fix e,6,a > 0, and as f E L1(RN) choose q > 0 such that JuIf(x)Idx
whenever GN(U) < 77. Define
A;:=(xERN: limsup r-0 ras
f
If(y)Idy>e}. JJJ
Since A; C A, we have GN(A") = 0
and so we may find an open set U D A, such that GN(U) < ti. We set
OVERVIEW OF SOBOLEV SPACES
§4.3
87
F:= B(x,r): xEA;,0
B; = B(x;,r,),
AS C U Bi, +EN
where {Bi}i=1 C F is a countable family of disjoint closed balls, and so 00
Hi06(Aa) <_ j:a(s)(5ri)' r=1
f
00
<-
.
B
If(y)I dy
<_ ° Efu 11(11)1 dy
< asb'Q It suffices to let 6 -. 0 and then a -+ 0 to obtain H'(A;) = 0.
4.3 Overview of Sobolev spaces Throughout this section D C RN is an open set, 0 is a symmetric mol iffier on RN (see Definition 1.16), and Br : RN -+ R is defined by
9r(x).
;; j ;(x),
xERN,r>0.
Let
Dr and for every f E L1a(D).
{x E D dist(x, 8D) > r}
fr(x) := f * Or(x) _
LD
Or(x - y)f (y) dy. ..
Definition 4.38 Let 1 < p < +vo and let D C R' be an open set. A function f E Lia(D) belongs to the Sobolev space W1,n(D) if f E LP(D) and the distributional partial derivatives
belong to LP(D), i = 1,... , N.
We recall that when f E L'10C (D), i E {1, ... , N}, then in D'(D) defined by
< of , W >:= foreveryW
(D).
- JD f (x)
t (x) dx
,
is the distribution
88
MEASURE THEORY AND SOBOLEV SPACES
Ch. 4
Theorem 4.39 Let f E Lja(D). (i) Foreach r>0, f, E COO (D,.). (ii) If f E C(D), then fr converges to f uniformly on compact subsets of D, when r tends to zero. (iii) If 1 < p < +oo and if f E L "(D), then f,. converges to f in L ;C(D). (iv) If 1:5 p < +oo, f E LL°C(D) and if x E D is a Lebesgue point of f, then lim fr(- W ) = f(W)
(v) If 15 p:5 +oo and if f E Wia (D), then Of,.
ax,
= Of st)r (i=1,...,N) Ox.
in Dr. (vi) If 15 p < +oo and if f E Wia (D), then fr converges to f in Wla (D). For the proof of this result we refer the reader to Adams (1975).
Definition 4.40 We say that 8D is Lipschitz, or D is a Lipschitz domain, if for each point x E 8D there exists a Lipschitz mapping y : RN' 1 - R such that, upon rotating and relabelling of the coordinate axes if necessary, we have D n Q(x, r) = {y E RN : -y(yl, ... , YN-1) < YN } n Q(x, r).
Theorem 4.41 Let 1 < p < +oo and let f E W "P(D), where D is bounded and Lipschitz. Then there exists a sequence { fk}keN C W1'a(D) n COO(D) such that
fk - f in W'.P(D). This theorem is proved in Adams (1975).
Theorem 4.42 Let D C RN be an open set and assume that 15 p < oo. (i) If f,9 E n LOO(D), then fg E W',P(D) n L°O(D) and _ g + f 2 8 for CN a.e. x E ft, i = 1, ... , N. (ii) If f E W1'9(D), F E C'(R), F' E LOO(R) and F(O) = 0, then F o f E W 1,P(D) and 8 F' o i3i for CN a.e. x E D, i = 1,... , N. If, in addition, CN(D) < oo, then the condition F(0) = 0 is unnecessary. (iii) If f E W1'P(D), then f+,f-, IfI E W".r(D), Vf
+(x) = V f (x) 10
V f- (x)
f0 Vf
LN a.e. x E(f > 0} a.e. x E {f <0}, CV
CNa.e.xE{f>0} CN a.e. x E {f< 0),
OVERVIEW OF SOBOLEV SPACES
§4.3
Vf
VIfl(x)=
0
-V f
89
£Na.e.xE{f>0} CNa.e.xE{f=0} CN a.e. x E if < 0}
and
V f (x) = 0,
Proof of part (iii) As f
C1"
a.e.
x Eif = 0}.
f ) + and I f I = f + + f
it suffices to prove that
f+ E W1"P(D) and
Vf
CNa.e. x EIf > 0}
Vf+(x) =
CNa.e. x Eif < 0}.
10 Fix e > 0 and define
r2+E -e r>0 FE(r) :=
r<0.
0
By (ii) and given W E Co (12), we have
jF(f(x))&(x)dx = - r F(f (x)) ax (x)co(x) dx for every i E 11,. .., N}, and letting e -+ 0+ we conclude that
of
of for CN a.e. x E {z : f(z) > 0}
axe = ax; and
= 0 otherwise. Thus f + E W 1"P(D).
11
Proposition 4.43 Let D C RN be an open set, 1 < p < +oo. (i) If f, g E W',P(D), then H:= max{f, g}, h:= min{ f, g} E W',P(D), and
VH =
Of
C'"a.e.xEIf >g}
Vg
CN a.e. x E If < g}, CN a.e. x E If > g}
Oh =
Vg
Vf
CN a.e. x Eif < g}.
(ii) If fk E W',P(D), then h := supk Iofkl E LP(D) and if g := supk fk E LP(D), then g E W',P(D) and Ivg(x)I < h(x) for C' a.e. x E D.
MEASURE THEORY AND SOBOLEV SPACES
90
Ch. 4
Proof (i) As H = max{f, b} = f + (g - f)+, it suffices to apply Theorem 4.42 (iii) to H, and, similarly, to h. (ii) Let 9,,, := max{ fk : 1 < h < m}. By part (i) g,,, E W 1'P(D) and IVgm(x)I < max{IV fk(x)I : 1 < k < m}
< h(x). Since g,,, -i g pointwise and increasing, and {IVgmI} is a sequence bounded in LP(D), we conclude that
and so
Iog(x)I 5 h(x) a.e. in D. 11
Theorem 4.44 [Sobolev-Niremberg-Gagliardo Inequality) If 1 < p < N, then there exists a constant C = C(N, p) such that dxl
(f1tN If(x)IP*
l/r»
f
IVf(x)I' dx} 1/P
RN
for every f E Wl'P(RN), when p' :_ N-p is the Sobolev exponent.
This result is part of a series of imbedding theorems for Sobolev functions, of which we select the following
Theorem 4.45 Let Il C RN be a bounded, Lipschitz domain. (1) W1'P(Il) C LPG (I)), with
v=P-
if 15 p < N.
(ii) Wl'P(SI) C L9(f2), for all q E [p, +oo), if p = N. (iii) W1'P(fl) C LO°(SI), if p > N, and the imbeddings in (i)-(iii) are continuous. Moreover, the imbedding in (ii) is compact. (iv) W1'P(It) C L'(fl) with a compact imbedding if q < p',1 < p < N. (v) W1'P(SI) C C(I2) with a compact imbedding, if p > N. The proof of Theorem 4.44 can be found in Evans and Gariepy (1992), while the latter and the following extension theorem are proven in Adams (1975).
Remark 4.46 We note that (i)-(iii) also hold for IZ = RN and W1'P(RN) C C(RN) if p > N.
OVERVIEW OF SOBOLEV SPACES
§4.3
91
Theorem 4.47 [Extension Theorem) Let D C RN be a Lipschitz domain, 1 < p < +oo, and let D CC V, V C RN be an open set. There exists a bounded, linear operator E : W1.P(D) -- W1.P(RN) such that
E(f) = f in D, sptE(f) C V and IIE(f)IIwl.P(RN)
IIfIIw'.P(D).
Remark 4.48 If f > 0, then E(f) > 0. Also, the next result asserts that a Sobolev function f E W1,P(RN) can be expanded in a finite Taylor series such
that, for all points in the complement of a set of measure zero, the integral average of the remainder term tends to 0.
Theorem 4.49 Let D C RN be an open set, 1 < p:5 +oo, and let f E W -P(D). Then for almost every x E D and for every 0 < IhI < dist(x, 8D) we have (1) Rh.xf E W1.P(B(0,1)), (ii) rli m I IRh,xf II1,p(B(0,1)) = 0, where
Rh .=f (X)
f (x +
hX) - f (x)
-
h
N e f (x)X {=1
8x
for all X E B(0,1). For the proof, we refer the reader to Gold'sthein and Reshetnyak (1990) or Ziemer (1989).
Theorem 4.50 Assume that D is bounded, OD is Lipschitz, and 1:5 p < +oo. (i) There exists abounded linear operator T : WI-P(D) LP(8D, HN-1) such that
T(f) = f on 8D for every f E W 1 P(D) n C(D). (ii) Furthermore, for every 0 E Cl (RN)N and every f E W 'P(D) we have
ID
fdiv(O)dx = -of ¢dx+J (0 v)T(f)dHN-', ID 8D
where v denotes the unit outer normal to 8D. (iii) If f E W 1 'P(D), then lira 1 r-.0* GN(B(x,r)) lB(x,r)nD
for
HN-1
a.e. X E OD.
IT(f)(x)-f(y)Isdy=0
Ch. 4
MEASURE THEORY AND SOBOLEV SPACES
92
This result is proved in Evans and Gariepy (1992).
Definition 4.51 The function T (f ), which is uniquely defined up to subsets of 8D of H"-1 measure zero, is called the trace of f on 8D. We say that T(f) is the boundary value off on M.
4.4 p-capacity The notion of p-capacity, 1 < p < N, allows us to characterize the smallness of subsets of RN and it is an important tool in the study of continuity properties of W1,P functions.
Definition 4.52 Let 1 < p < N and p' _
We define
Kp:_ {f :RN -R : f >O, f E LY (RN),vf ELP(RN)N}. Note that since LP*(RN) LP(RN), we cannot deduce from the Sobolev Imbedding Theorem that KP C W',P(RN).
Definition 4.53 Let E CURN RN and 1 < p < N. We define the p-capacity of E by Capp(E) := inf
IV fIP dx : f E KP, E C int{ f > 1) }
.
1
Remark 4.54 (i) If K C RN is a compact set, then, using mollification of the characteristic function Xk, one has Capp(K) = inf 1JR N
I
Vflpdt : f E
XK1.
(ii) It is clear that if E C F C RN, then Capp(E) < Capp(F). The following Sobolev-Niremberg-Gagliardo generalization will be used to prove that Capp is an outer measure.
Lemma 4.55 Let 1 < p < N. Then there exists C = C(N, p) such that /
{LN
l dx
1
l 1/p
/PIf(x)I"
C(N,p) If N Ivf(x)'I dx
for every f E KP.
Proof We start by constructing a sequence Wn E CCO°(RN), 0 < Pn < 1, converges increasingly to 1 for a.e. x E RN, and
if IxI < n, sup j n
1tN
IVWn(x)IN dx < +oo.
P-CAPACITY
§4.4
93
One such sequence may be obtained as follows: let cp E C,-,(B(0, 2)), w = 1 in B(0,1), 0 < cp < 1 and set W,, (x) = cp (n) . Since p' > p, by Holder's Inequality Spn f E W',p(RN) for every n, and so, by Theorem 4.44,
If
1/p'
I f (S)(Pn (x) I p dx
N
1/p
dx}
RN
1/p
RN
IVf(x)Ip dx}
+CIf(x)ocvn(x)Ip dx}
1/p
URN
and so, by Lebesgue's Dominated Convergence Theorem, 1/p'
'I
RN
If(x)Ip dx
r
n-+ao 1IRN
1/p
11/p I f (x)Ocpn(x) Ip dx } 111
It remains to show that
f
N
I f (x)VWn(x) Ip dx
n.
0.
Indeed,
f
N
If(x)D(Pn(x)Ipdx p/p'
< 14xj>ft) If(x)I'*
dx}
1-p/p'
If
IVVn(x)Ip(j)' dx} N
and p (y) = N. Thus, p/p' N
If(z )VWn(x)I'
dx
and, due to the integrability of I f Ip*, we conclude the result.
Theorem 4.56 Let 1:5 p < N. Then Capp is an outer measure on R''. Proof Let {Ek, k E N} be a sequence of subsets of R1' and
E:= U Ek. kEN
We want to show that
0
94
MEASURE THEORY AND SOBOLEV SPACES
Ch. 4
00
Capp(E) k=1
Capp(Ek)
and so, we may assume, without loss of generality, that Cap,(Ek) < +oo. kEN
Fix e > 0. For each k E N, we choose a function fk E KP such that Ek c int{fk > 1} and
JRN
IVfk(x)I2 dx < Cap,(Ek) +
2k
.
Let g := supkEN fk. We observe that E C int{g > 1} and, by Lemma 4.55,
RN
g(x)p dx = JRN su p fk (x) dx 00
<
/
k=1
RN
fk*(x)dx
}P/P N
Iofk(x)k-I
00
}P /P
{Cap,(Ek) + 2k
k=1
l P./P
a0
< C f>2 [CapP(Ek) + 2k] } k=1
< +00.
Thus, if f 1l cc 11, then g E LP(C') and setting h := sup IDfkI we have fIN I h(x) I
00
k_1 JRN
I Vfk (x) Idx
h ence, by Proposition 4.43, we conclude that
g E Wig (RN), Ivg(x)I < h(x) for GNa.e. x E RN. Therefore, g E KP and
P-CAPACITY
§4.4
95
CapP(E) S JRN Vg(x) I dx
:5f
sup I Vfk(x) IP dx N
<_r E
k=1
RN
I Ofk(x) IP dx
00
< >Capp(Ek) +C k=1
and letting e
0+, we obtain 00
Capp(E) <_ >Capp(Ek) k=1
0
Theorem 4.57 Let A C B C RN and 1 < p < N. We have the following assertions. Capp(A) = inf{Capp(U) : A C U, U open set}. Capp(AA) = AN-PCapp(A), for every A > 0. Capp(L(A)) = Capp(A), for every affine isometry L : RN -. RN
Capp(B(x, r)) = rN-PCapp(B(0,1)), for every x E RN, r > 0. Capp(A) < CHN-P(A) for some constant C - C(N,p). for some constant C C(N,p). GN(A) < C[Capp(A)] Capp(A l B) + Capp(A U B) < Capp(A) + Capp(B).
IfA,CA2C...CAkCAk+1, then lim Capp(Ak) = Capp(U Ak).
k-»+oo
kEN
If Ak+1 C Ak c ... C A2 C Al are compact sets, then
lim Capp(Ak) = Capp(fl Ak). kEN
Proof (i) It is obvious that Capp(A) < inf{Capp(U) : A C U, U open set}.
Fix e > 0. There exists f E KP such that A C int{ f > 1) =: U and
(4.4)
MEASURE THEORY AND SOBOLEV SPACES
96
Ch. 4
fR IV fIP dx < Capp(A) + e. N
We have Capp(U) <
fRN IV
fIPdx < Capp(A) +e.
Letting a go to zero, we deduce that Capp(U) < Capp(A)
which, together with (4.4), proves assertion (i). (ii) Fix e > 0. There exists f E KP such that A C int{ f > 1} and
fiN IVfIPdx
g(x) := f (a) we have that g E KP and AA C int{g > 1); therefore IVglp dx = AN-p /
Capp(AA) <
N
IV f IP dx < AN-P(Capp(A) + e).
fiN
Letting a go to zero, we deduce that Capp(AA) < AN-PCapp(A).
(4.5)
By (4.5) we also have Capp(A) = Cape
(A)) < AN-PCapp(AA)
and so Capp(AA) =
AN-PCapp(A)
(iii) The proof of (iii) uses an argument similar to that of (ii). (iv) Assertion (iv) is a consequence of assertion (ii). For the proofs of ( v)-(ix), we refer the reader to Evans and Gariepy (1992)
The relations between p-capacity and Hausdorff measure, as indicated in the previous theorem, can be sharpened, as the following proposition indicates.
Proposition 4.58 Let E C RN and 1 < p < N. If HN-P(E) < +oo, then Capp(E) = 0. Conversely, if Capp(E) = 0, then H8 (E) = 0 for every a > N -p. Moreover, if p = 1, then Cap, (E) = 0 if and only if Hl (E) = 0.
P-CAPACITY
§4.4
97
For the proof, we refer the reader to Evans and Gariepy (1992). The following result is an immediate consequence of the latter proposition.
Lemma 4.59 Let I C (0,1) be such that £'(I) > 0, N-1 < p < N and let E C B(0,1) C RN. Assume that for each r E I there exists a unique x,. E 8B(0, r) such that xr E E. Then Capp(E) > 0.
Proof Let f : RN -+ R be defined by f (x) := Ix12. We observe that f is a Lipschitz mapping such that If (X) - f (0I2 <- Ix - Y12
for every x, y E RN. Therefore, by Proposition 4.31, we obtain that
H'(f(E)) < H'(E). Together with the fact that I = f (E) and Theorem 4.25, this yields
G'(I) = H'(f(E)) < H'(E) If there were N - 1 < p < N such that Capp(E) = 0, then by Proposition 4.58 and since 1 > N -p, we would have that H' (E) = 0, which yields a contradiction. Hence,
Capp(E) > 0.
0 Next we show how the notion of p-capacity plays an important role in the study of the continuity property for Sobolev functions.
Definition 4.60 Let f : RN -+ R be a measurable function. f is said to be p-quasicontinuous if for every e > 0 there exists an open set V C RN such that f IRN \y is continuous and Capp(V) < e.
Theorem 4.61 Suppose that f E W 1p (RN) and 1 < p < N. (i) Then exists a Bowl set E C RN such that Capp(E) = 0 and
r-o LN(B(x, r)) JB(:,r) f (y) dy = f*(x) exists for every x E RN \ E.
(ii) In addition, r
N(B(x,r))
for every x E RN \ E.
IB(z,r) 11(y) - f*(x)1p dy = 0
Ch. 4
MEASURE THEORY AND SOBOLEV SPACES
98
(iii) f' is p-quasicontinuous. The proof of this result uses the following lemma.
Lemma 4.62 Let l < p < N, f E Kp, let e > 0, and
E:=SxERN: 11
CN
((I
))
B(=.r)
f(y)dy>eforsome r>0}. JJJ
Then
Capp(E) <
EP
JRN Iof(y)Ipdy
for some constant C = C(N, p). In turn, this lemma uses the following covering result.
Theorem 4.63 [Besicovitch's Covering Theorem] There exists a constant K = K(N) such that if F is any collection of closed balls in RN and if D :_ sup{diam B : B E F} < +00, then, if A is the set of centres of all balls in .F, is a countable collection of disjoint balls them exist C1, ... , CJk C F such that in F and AC
k(N)
sUl BU
B.
Proof of Lemma 4.62 We start by showing that E is an open set. Let xo E E be such that 1
TN-(B(Xo,r)) 4(zo,.)
f(y)dy=e+a
for some a > 0, r > 0. Choose 0 < rl small enough so that CN(B(xo,r)) fJAf(y)dy
whenever CN(A) < ti. Finally, let b > 0 be such that I x - xo I < b
.
CN (B(x, r)AB(xo, r)) < 1I,
where BOB' denotes the symmetric difference between B and B', BOB' _ B\B' U B'\B. Then, if I x - xo 1< 6 we have
P-CAPACITY
§4.4
CN(B(x, r))
fmz,r) f (y) dy =
99
C'(B(xo, r)) fB(.,,,,,)
f (y) dy
dY) + CN(B(xo, r)) (JB(x.r) f (y) dy - L(zo.r) f (y)
>a + E -
2
CN(B(xo, r)) L(x,r)B(zo,r)
f(y) dy
> E
and this proves that E is open. Note that if xo E E and if r satisfies
I CN(B(x0,r)
L0.T)
f (y) dy > E
then
a(N)rNE <- .1B(zo,r) f (y) dy
< (a(N)rN]1-1/n
(r f(y)P dy `\JB(xo,r) 1/p'
< [a(N)rN]1-1/a' (fRN f(y)p' dy) and so there exists a constant Co independent of xo such that
r < Co.
(4.6)
By Besicovitch's Covering Theorem there exists K = K(N) and a collection of disjoint closed balls 91,. . . , Qk such that E C u 1 uBEc, B and CN(B)
I
f(y) dy > E
for every B E uk 1Q;. Let g, = (BB')} =1. By Holder's Inequality and Theorem 4.42 we have
[N(;) L(,) f (y) dy - f] )
E W 1 °(BI(`) )
1
and, due to Poincare's Inequality,
(CN(B(`)) Jc,) f (y) dy - f
J
< C1 II Vf II LP(B;')) W'.P(B,(' )
Ch. 4
MEASURE THEORY AND SOBOLEV SPACES
100
Moreover, by the Extension Theorem 4.47 and Remark 4.48, there exist a constant C2 and h(') E WIP(RN) such that h1') > 0,
h(t)(x)
CN(B(`))
a.e. in B(')
J(') f (y) dy - f (x)j
and
J
II h(') tIw..,iaN)< C21
tl
1i
r
I Vf (x) I' dx
Je
JJ
where, due to (4.6), C2 is independent of B.('). Then, by (4.7), CN(B1
f +hii) >_
ji))
J(.) f(y)dy > E a.e. in B,')
and, setting
h:=
i = 1, ... , k, j E N},
we have h > 0. We claim that h E KP. Indeed, h E L1(RN) because, by (4.8), k
JRN iJsup[h(x)]'dx
o0
i=1 j=1 k
JRN [h(x))adx ao
CzE
IVf(x)ID dx
j=1 fB,(.
IVf (x)Idx.
JRN
Also, by (4.8), k
fRN
sup I phi) (x) IP dx <
o0
EJ
N
i=1 1-1 k
00
<_ E C2P
E
i-1
3=1
I Vhf') (x) I P dx
f
(,)
I Vf(x) IP dx
s
< KCz fN IVf(x)IP dx.
(4.9)
R
By Proposition 4.43, we conclude that h E WI-P(RN) and I Vh(x) I< sup I Vh4')(x) IP dx I,,
a.e. x E RN.
(4.10)
P-CAPACITY
§4.4
101
Due to the Sobolev-Niremberg-Gagliardo Inequality (see Theorem 4.44), h E KP, and as f + h > e a.e. in E and as E is an open set we deduce that
V(f)
Capp(E)!5J RN
5 p{
x)IP
(
dx
I
f
IVf(x)IPdx+
RN
f IOh(x)IPdx R
which, together with (4.9) and (4.12), yields CapP(E) <-
'f
N
IVf(x)IP dx. 0
Remark 4.64 (i) Theorem 4.61 asserts that if 1 < p < N, then, up to a set E of p-capacity zero, a function f E W1.P(RN) can be represented by a p-quasicontinuous function. In particular, by Proposition 4.58 we conclude that
H'(E) = 0 for every s>N - p and so
Hdim(E) < N - p.
(4.11)
On the other hand, (4.11) does not necessarily imply that HN-P(E) < +oo, which, in turn, yields Capp(E) = 0. (4.12)
by Proposition 4.58. Therefore, (4.12) may be a stronger statement than (4.11).
(ii) Recently, Maly sharpened Theorem 4.61 by showing that the quasicontinuous representative f' of f E W1,N(el;RN) is approximately Holder continuous, except on a set of Hausdorff dimension zero, i.e. if S is the set of all points of S1 at which f' is approximately Holder continuous, then Hdim(St\S) = 0.
Actually, in view of (i), Maly's precise statement asserts that for every e > 0, p < N, there exists an open set G C RN such that Capp(G) < e and f In\a is locally Holder continuous. Here f' is said to be approximately Holder continuous at xo if for every oY E (0,11 there exists a set M such that the Lebesgue density of M at xo is 1, i.e. £ N(M n B(xo, f)) = 1 lim 0+0; CN(B(xo,f))
Ch. 4
MEASURE THEORY AND SOBOLEV SPACES
102 and
I f (y) - f (x) I < +00.
lim sup
I y - xo la
Y-xo,YEM
Proof of Theorem 4.61 Let f E WI,P(R°),1 < p < N. (i) We want to show that there exists E C RN, Capp(E) = 0 such that rl 0* GN (B(x, r)) J B(x.r)
f (=J) dfJ - f *(x)
for every x E RN \E. We define
A:=I xE RN:limsup 1 r-.e+ rn
JB(x,r)
IVf(y)Indy>0}.
By Proposition 4.37, HIV-P(A) = 0 and so, by Theorem 4.57 (v), Cap9(A) = 0. By Poincare's Inequality we have e
li oGN (
IB(x.r) I f (y) - GN(B(x r)) fB(.,r) f (z)dz
(x,r))
B
Nrf
< C lim
r-.o+ r
P */p
B(=,r)
I Vf(y) I9
dy 1} n'/P
1
C r-.O lim {l r
IP*
N-P BJ(x,r) I Vf (y) IP dy
I
= 0
(4.13)
for every x ¢ A. Due to the density of smooth functions in WI-P, for each i E N we choose fi E WI,P(RN) n COO(RN) such that
JN
I Vf (x) - Vfi(x) In dx < 2(P1
and we set
B; := {XERN.
1
CN(B(x,r))
8(x,r)
If(y)-fi(y)I dy>
for some r > 0 } .
By Lemma 4.62 and also because, due to Theorem 4.44, if f E WI,P(RN),
then 111 K, we have
P-CAPACITY
g4.4
Cap (Bi) < C
103
I V f(x) - Vfi(x) I P dx JRN
C
2(P+I)i'
Capp(Bi)S2
(4.14)
Now 1
CN(B(x, r))
J (y,r) f(y)dy-fi(x)I If (y) - GN(B(x, f (z) dz r')) JB(x,r)
< CN(B(x, r) JB(z,r)
dy
I f (z) - fi(z) I dz
1
+ CN(B(x,r) B(zr) 1
+,CN(B(x, r)) B(x,r)
I fi(z) - fi(x) I dz.
As fi is smooth, the last integral in the above inequality converges to zero as r 0+, and so, due to (4.13), we conclude that lim sup
Lz,r)f(y)dy-fi(x) I
C N(B(x,r'))
for every x ¢ (A U B,). Set
Ek:=Au (.k Bj I.
/
Then, by Theorem 4.56 and (4.14), we have +"0
Capp(Ek) < Capp(A) + ECapp(Bj) j=k +00
< CEOI j=k
and if x E RN\Ek, i, j > k, then, by (4.15),
2'
(4.15)
Ch. 4
MEASURE THEORY AND SOBOLEV SPACES
104
If.(x) - fi(x)I S lim sup r-.0+
+ lim sup
1
f (y) dy - f: (x)
1
f (y) dy - f, (x)
GN(B(x,r)) L(z,r)
GN(B(x,r)) L(x,r)
1 1 Zt+23
We conclude that f,
g in LO°(RN\Ek) and g is a continuous function.
Also, lim su r-O+
x - GN( B (x, r)) J (x,r) f (y) dy 9() 1
S 1g(X) - A(x)1 + limsup f:(x - £N(B(x, r))
JB(z,r) f (y) dy
S Ig(x) - f:(x)I + 2, , where we have used (4.15). Thus, 9(x) = rll.0+
CN(B(x, r))
J (x.r) f (y) dy
f' (x) for every x E RN\Ek. Setting E:= lkENEk, then, by Theorem 4.57,
Capp(E) < lim Capp(Ek) k+00
=0
and f' (x) exists for every x E RN\E. (ii) We claim that lim
1
r0+ GN(B(x,r)) 1B(x,r)
I f (y) - f' (x) I p dy = 0.
Indeed, for every x it E, by definition of f' we have
r11.0 J CN(B(x, r)) JB(x,r) I f (y)
- f (x) Ip dy f(z)dzlp.
< r* LN(B(x,r)) fB (x,r)
If (y)
1
- GN(B(x,r)) JB(x,r)
dy
P-CAPACITY
§4.4
1
1
+ CN(B(x,r)) lira
1
B(x,r)
CN(B(x,r)) fB(x,r)
r- O+ ,CN(B(x,r)) fB(x,r)
105
f(z)dz - f*(x)
f(z)dz - f'(x)
= 0.
(iii) It remains to prove that f' is p-quasicontinuous. Fix e > 0 and choose k large enough so that CapP(Ek) < 2. By Theorem 4.57 (i) there exists an open set U D Ek such that CapP(U) < e. Then
fi - f' in L°°(RN\U) and so f' I(RN\U) is continuous. O
There are other notions of capacity, such as Bessel capacity, linear capacity, etc., and the interested reader may find a detailed description in Hayman and Kennedy (1976), Havin and Maz'ya (1972), Stein (1970), and Ziemer (1989). With the help of these concepts one can prove the following.
Theorem 4.65 Let f E Ll(RN) be a function with compact support, spt f C
KCCR".Let
k Ix - yl0
when a E [0, 1), and let Kl C RN be a compact set such that w(x) = +oo on Kl. Then CapN_a_E(Kl) = 0 for all o > e > 0. The proof of this result may be found in Hayman and Kennedy (1976), where it is stated more generally for measures of bounded variation in place of £N.
5
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS In this chapter we present a generalization of Sard's Lemma for Sobolev functions and the following change of variables formulae. Let D C RN be open and
bounded and assume that either p > N or N - 1 < p< N and J4(x) > 0 CN a.e. x E D. Then =
ID
JRN
v(y)N(O,D,y)dy
for every v E LOO(RN) and for every 0 E WI,P(D)N, where the multiplicity function of ¢ at y E RN with respect to D is defined by
N(0,D,y):=0{xED: t5(x)=y}. A second change of variables formula is
ID
O(x)J(x) dx = j v(y)d(q, D, y) N
for every v E LOO(RN) and for every 0 E W l.P(D)N, where d(o, D, y) stands for the topological degree of ¢ with respect to D at the point y.
As an immediate consequence of the latter change of variables formula, if a sequence {0n} C WI,P(D)N converges to 0 uniformly, then the sequence {d(on, D, y)} C Z converges to d(o, D, y) and so, under some additional assumptions, UD D v o 0.(x)J#,(x) dx} converges to fD v o O(x)J,(x) dx. Given an open set D C RN, we will use the following notation: if 1 < p:5 +oo,
f E LP(D), then IIftIp(D) := fD IfIPdx, if p < 00 and
11f1100(D) := inf {M > 0 : I f (x)I < M CN a.e. x E D}
If 0 E LP(D)M, then N
I I0I IP(D) :=
EJ
and if -0 E WI-P(D)M, then 106
D
I0.IP
,
if p = oo.
§5.1
RESULTS OF WEAKLY DIFFERENTIAL MAPPINGS
107
N
I1011i,p(D) := 11011p (D) +
(I
is=1 8xj
I lp(D)p
5.1 Results of weakly differential mappings In this section we present some results relating the notion of topological degree to weak differentiability conditions. As usual, we denote by B the unit ball centred at 0 of RN with respect to the norm I.12
Lemma 5.1 Let F E C(B)N and let L be a linear mapping of RN into RN. Then
CN(F(P)) < CN(L(B)) + O(e),
where P:= {x ED : IF(x) - L(x)I < e}.
Proof Fix e > 0. If det (L) = 0, then L maps B into a hyperplane P of dimension N - 1. Let 1:= max{IL(x)I : x E B}.
Then F(P) lies inside a parallelepiped which has (N-1) sides of length less th 21 + e and the Nth side of length less than 2e. Hence,
CN(F(P)) < (21 + e)N-12e = CN (L(B)) + 0(e)
(5.1)
because CN (L(B)) = 0. If det (L) A 0, then L is a homeomorphism of RN onto RN and L-1(F(P)) C {x E RN : p(x,B) 5 e11L-1I1},
where we recall that p(x, B) = inf{Ix - ti norm of L-1 in C(8B). Thus, CN(L_1(F(P)))
:
t E B} and 11L-I II stands for the
<- WN(1 +eIIL-1II)N,
where WN := CN(B). Since L E COO(RN)N, by the usual change of variables formula we obtain that elIL-1II)Ndet (L)
CN((F(P))) 5 WN(1 +
and so
CN((F(P))) 5 CN(L(B)) + 0(e).
0 Definition 5.2 Let D C RN be an open set and let 0 : D --+ RN be a continuous function. For x E D we set Lh(y) :_
O(x + hy) - fi(x) h
where X E B. Let L : RN - RN be a linear mapping.
108
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
Ch. 5
(i) L is called the approximate differential of 0 at x if Lh converges to L in measure on the ball B. We write L = (app)dO..
(ii) L is called the weak differential of 0 at x if L = (app)d4x and if there exists a sequence {hm} converging to 0 when m tends to infinity such that {Lhm} converges to L uniformly on the sphere SN-1 := 8B. (iii) If 0 has a weak differential at CN almost every point of D, we say that 4 is weakly differentiable on D.
Definition 5.3 Let D C RN be an open set and let 0: D - RN. (i) We say that 0 has the N-property if GN(O(E)) = 0
for every E C D such that CN(E) = 0. (ii) We say that 0 has the N-1-property if GN(.0-1(F))
=0
for every F C RN measurable set such that CN(F) = 0. Functions verifying the (N) property map measurable sets into measurable sets. Precisely,
Lemma 5.4 Let D C RN be an open set and let 0 E C(D)N be a function satisfying the N-property. If E C D is measurable, then 0(E) is also measurable.
Proof Since E is measurable there exists a sequence {Kn: n E N} of compact sets such that K. C Kn+ 1 and
GN(E\K.) < 1. We have
E=nu KnUN, where N C D is a set of measure zero; hence
0(E) =nEN u O(Kn) u 0(N). Since 0 is a continuous function, the sets 0(Kn) are compact sets, hence mean surable, and since CN(N) = 0, and 0 satisfies the N-property, we have CN(qS(N)) = 0.
Thus 0(N) is measurable and 0(E) is measurable because it is a countable union of measurable sets.
§5.1
RESULTS OF WEAKLY DIFFERENTIAL MAPPINGS
109
Theorem 5.5 Let D C RN be an open set and let 0 E C(D)N be a mapping which has the N-property. Then y that is measurable.
N(0, E, y) is measurable, for every E C D
Proof Since klimoN(O,Ek,y) = N(0,E,y) for every y E RN and for every sequence of measurable sets {Ek:k E N) such
that E=kENEk
and El CE2C...CE, CEk+1,
we may assume without loss of generality that E is bounded. We first prove that lim N(¢, m, y) = N(0, E, y), m-.+oo
where N(0, m, y) = XO(E;) + ... + X S(E-_))
and {Ei , ... , E(m)} is any measurable, pairwise nonintersecting partition of E such that diamE; `) < m, i = 1, ... , k(m). It is easy to see that we have N(cb, m, y) S N(O, E, y).
(5.2)
If 0' 1 {y} f1 E _ {a,,. .., at }, we fix mo >
1
min jai - a. 12 i#)
We observe that if m > mo and if diam(Ei-) < m, i = 1, ... , k(m), none of the E;' contains two differents a., a,. and so we assume without loss of generality
that
al EEr,...,at EEm. It is obvious that N(q', m, y) = 1 > N(0, E, y),
which, together with (5.2), yields
lim N(0, m, y) = N(0, E, y).
m-.oo
If 0(0-1 {y} f1 E) = +oo, then using the argument above, we obtain that for every
1 N there exists m EN such that N(0, m, y) > I and so, by (5.2),
110
PROPERTIES OF 'THE DEGREE FOR SOBOLEV FUNCTIONS
Ch. 5
lim N(O, m, y) = N(O, E, y). m-oo
Since E is a measurable, bounded set, for every m E N there exists k(m) E N and a pairwise nonintersecting partition of E, {El,..., E(m) } , such that diam(E; `) <
1 m
,
i = 1, ... , k(m).
By Lemma 5.4, ¢(Er) is measurable for every i = 1, ... , k(m) and N(4, m, ) is measurable. Therefore, N(q5, E, ) is measurable since it can be written as a limit of measurable functions.
We present a generalization of Sard's Lemma for Sobolev functions and the proof we give is due to Gold'sthein and Reshetnyak (1990).
Theorem 5.6 Let D C RN be an open set and let 0 E C(D)N be a mapping which has the N-property. Assume that 0 has an approximate differential almost everywhere and that the Jacobian Jo is locally summable in D. Then for every measurable set E C D we have £N(O(E)) < JE I J0(x)I dx.
(5.3)
Remark 5.7 (i) The proof of Theorem 5.6 was given by Schwartz (1969) in the case where
0 E Cl(D)N. (ii) If -0 E W1"N(D)N, J4,(x) > 0 GN a.e. x E D, we will prove that 0 satisfies the assumptions of Theorem 5.6 (see Theorems 5.17, 5.21, and 5.32).
Proof of Theorem 5.6. Clearly, it suffices to consider the case where E is bounded. Let M1 be the set of points in D where the approximate differential does not exist and let M2 be the set of points which are not Lebesgue points of IJm1. Since GN(M1) = GN(M2) = 0 and.0 has the N-property, we have GN(O(E)) = GN(O(E \ (M1 U M2))).
Hence, in the sequel we may assume without loss of generality that E fl (M1 U
M2) =0 and f IJm(x)I dx < +oo
Case 1. Suppose that E C D. Fix an arbitrary e > 0 and let G, be an open set such that
E cc C1 Cc D and
§5.1
RESULTS OF WEAKLY DIFFERENTIAL MAPPINGS
111
GN(G1) <_ CN(E) + 2
Define
n(A)
dx,
I
IA
for every measurable set A C G1. Since J,0 E L1(G1), there is 6 > 0 such that q(A) < 21
CN(A) < 6
(5.4)
for every measurable A C G1. Let G be an open set such that
EccCccG1 and
CN(G \ E) < 6.
(5.5)
Let xo E E, L = (app)dc=a and O(xo + hy) - Q5(xo)
Lh(y)
y E B.
h
Set
_1
r'
6
2 mm
e
{ CN(E) + 6' CN(E) + 6
'
Q(h):={y ER: ILh(y) - L(y)I > ho},
P(h):=B \ Q(h). Since {Lh} converges to L in measure when h tends to zero, there exists 0 < hl < ho such that CN(Q(h)) < rCN(B) (5.6) for every 0 < h:5 h1 and by Lemma 5.1 there exists 0 < h2 < h1 such that CN(Lh(P(h))) < CN(L(B)) + CN(B)r
(5.7)
for every 0 < h < h2. Using the fact that xo is a Lebesgue point for Jm, we deduce that CN(B(xo, h))IJ4(xo)I < fB(zo,h) 4(y) dy + rCN(B(xo, h))
(5.8)
for some 0 < h3 < h2 and for every 0 < h < h3. Consider the mappings F : RN -+ RN and S : RN
RN defined by
112
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
Ch. 5
F(y) := xo + hy, S(y) :_ O(xo) + hy. Set
Q(xo, h)
F(Q(h)), P(xo, h)
F(P(h))
It is obvious that Q(xo, h) C B(xo, h) and
P(xo, h) = B(xo, h) \ Q(xo, h),
which, together with (5.6), implies that GN(Q(xo, h)) < ThNGN(B(0, 1)) = TCN(B(xo, h))
(5.9)
for every 0 < h < h3. Using the above definition of L and Lh, we have 0 o F = So Lh and so (5.10) m((P(xo, h)) = So Lh(P(h)); hence
GN(O(P(xo, h))) = hNGN(Lh(P(h))), which, together with (5.7), yields GN(qS(P(xo, h))) < GN(L(B(xo, h))) + TrCN(B(xo, h)).
(5.11)
(5.12)
Recalling that det (L) = Jm(xo), we have GN(L(B(xo, h))) = I J,(xo)I GN(B(xo, h))
and by (5.8) and (5.12) we deduce that GN(O(P(xo, h))) <_
J
I JJ(x)I dx + 2,rCN(B(xo, h))
(5.13)
(so,h)
for every 0 < h < h3. Let h4(xo) :=dist(xo, 8G). Since E C G we obtain that h4(xo) > 0 and we set h(xo) := min{h3,h4(xo)}. Using a corollary of Vitali's Covering Theorem (see Corollary 4.35), we obtain the
existence of a countable sequence {xn}nEN C E and a sequence 0 < h, < h(xn) such that the balls B(xn, hn) are mutually disjoint and GN(E\
nUN
B(xn, hn)) = 0.
Set
T :=
nU
B(xn, hn), P:=nUN P(xn,
hn) and Q :=nE Q(xn, hn)
(5.14)
§5.1
RESULTS OF WEAKLY DIFFERENTIAL MAPPINGS
113
By (5.13) we obtain that 00
£N(O(P n E)) E CN(O(P(xn, hn))) Ia I JO(x) I dx +
27-GN (G)
< Jc I JJ(x)I dx + min{E, S}. By (5.4) and (5.5) we deduce that
,CN(.O(PnE)) < r IJJ(x)Idx+2E.
(5.15)
E
Going back to (5.9), we obtain that 00
GN(Q) <
,CN(Q(xn, hn)) < rLN(G) < min{E, b} n=1
which, together with (5.4) and (5.15), yields
£N(4(P n E)) < f
nP
J(x)I dx + 3E.
Set E0 = E and El = Q. We proved that if Ek CC D, then there exists a measurable set Ek+1 CC Ek such that LCN(Ek+1) !5
E
2k
and
,CN(O(Ek \ Ek+1)) <_ J
k \Ek+l
I J#(x)I dx + 2k
.
(5.16)
Let N:= nkENU{o}Ek. Then N is a set of measure zero and we observe that
E = NU kENUU
{o}
(Ek \ Ek+1))
Using (5.16) and the fact that 0 has the N-property, we have GN(O(E))
£N(4,(kENu{0} (Ek \ Ek+l))) 00
< ECN(O(Ek \ Ek+1)) k=0 fE\lrlJ#(x)Idx+12E
114
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
Ch. 5
= Letting e tend to zero, we conclude that (5.17)
LN(O(E)) < JIJ(x)Idx.
Case 2. We assume that E C D. Since E is measurable there exists a sequence of compact sets {K n : n E N} such that
KnCKn+1CEand CN(E\Kn)< -. 1
n
Let
N:= E\
U nENU(0}
Kn.
Since Kn CC D and y'i has the N-property, by (5.17) we have 'CN(O(E)) = GN(4,(nENU{0} Kn)) 'CN(4(Kn)) lira
n-+oo
<
JEIJO(x)Idx.
0
Lemma 5.8 Let D C RN be an open set and let a E C(D)N be a mapping wh has the N-property and has a weak differential almost everywhere. Assume, addition, that Jo E Then for every measurable set E C D we have JRN N (,
E, y) dy < JE I J.(x)I dx.
(5.18)
Proof Recall that, by Theorem 5.5, N(io, E, ) is measurable. We may assume without loss of generality that E is bounded. For each m integer, let E; , ... , Ek be a partition of E into measurable sets such that
diam(Er) <
1m
for every j = 1, ... , krn. Setting N(0, m, ) := X4(E; ) +... +XO(E. 5.6 we have
k-
k-
GN((E. )) < J- IJ#(x)I J NN(m,m,y)dy=> =1 M- 1 Ef
=
) by Theorem
JE (5.19)
RESULTS OF WEAKLY DIFFERENTIAL MAPPINGS
§5.1
115
Fatou's Lemma, together with the fact that N(q, m, y) is a nondecreasing sequence converging to N(0, E, y) (see the first part of the proof of Theorem 5.5), yields (5.18).
Lemma 5.9 Let D C RN be an open set, let 0 E C(D)N, and let xo E D such that 0 is differentiable at xo (in the classical sense). Assume that J#(xo) '4 0. Then there is ro > 0 such that for every 0 < r < ro the following assertions hold:
¢(xo + h) 0 O(xo) for every h Eft, r) \ {0},
(5.20)
d(O, B(xo, r), O(xo)) = sgn (Jm(xo)).
(5.21)
Proof Since 0 is differentiable at x0, there exists Ro > 0 such that O(xo + h) = O(xo) + VO(xo)h + Ihie(Ih1),
for h E B(0, Ro) and limt.o e(t) = 0. Let
a:= inf{IV (xo)h I : h E RN, IhI = 1). Since J,&o) 96 0 we obtain that a > 0 and we may find 0 < ro < RD such that le(t)I < 2 for every Iti < ro. Claim 1. O(xo + h) 96 ¢(xo) for every h E B(0, ro) such that h 96 0. Indeed, if 0 < IhI < ro, then le(IhI)I < 2 and so O(xo + h)
- O(xo) I > IVO(xo)1hI I
- Ie(Ihl)I ? 2 > 0
and we obtain (5.20). Claim 2. d(¢, B(xo, r), O(xo)) = sgn(JJ(xo)) for every 0 < r < ro. Let us first note that from (5.20) d(O, B(0, r), O(xo)) is well defined for every
0
u(xo + h) :_ O(xo) + OO(xo)h, h E B(0, r).
The function u is an affine mapping defined on B(xo, r). Since J.(xo) # 0 we know that u is a one-to-one mapping and so u(xo) 96 u(x) for every x E 8B(xo, r), i.e. O(xo) 34 u(x) for every x E 8B(xo, r). Therefore, d(u, B(xo, r), O(xo)) is well defined and d(u, B(xo, r), O(xo)) = sgn(Jm(xo)). The application H defined by
H(x, t) := t0(x) + (1 - t)u(x), x E B(xo, r), t E [0,1], is a homotopy between ql and u. Moreover, for every x E 8B(xo, r) we have
+ te(Ix - xoI)I> IH(x, t) - O(xo)I = r (V&0) Ix - xoI
? 2 > 0.
Therefore, O(xo) if H(8B(xo, r), t) for every t E [0, 11, and we conclude that t), B(xo, r), &o)) is well defined. By virtue of Theorem 2.3, the value
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
116
of obtain
Ch. 5
t), B(xo, r), 4(xo)) is independent of t, hence, taking t = 0, t = 1, we d(O, B(xo, r), '(xo)) = d(u, B(xo, r), cb(xo)) = sgn(JJ(xo))
and (5.21) is proved. The following is a version of the latter lemma for weakly differentiable mappings.
Lemma 5.10 Let D C RN be an open set and let 0 E C(D)N be such that has a weak differential at xo E D and J4(xo) {rm : m E N} C (0,1) such that
0. Then there exists a sequence
lim m-.+oo d(m, B(xo, hm), O(xo)) = sgn(Jm(xo))
(5.22)
and GN(O(B(xo,
lim inf
Proof Let Lh : 8B(0,1) Lh(Y) :_
r+n)))
GN(B(xo,rm))
>
1j0(x0)1-
(5.23)
R" be defined by
45(xo + hy) - O(xo)
_ VO(xo)y, Y E OB(0,1).
There exists a sequence {hm : m E N} C (0, 1) converging to 0 such that
Lh-
0
uniformly in 8B(0,1), i.e. em :=
Max
yEBB(0,1)
I Lhm (Y)I -0 m-+oo
.
(5.24)
Define L : RN - RN by
L(y) := V (xo)(y
- xo) + O(xo)
We observe that, for z E (0,1), L transforms the ball B(xo, zhm) into a set of volume GN(B(xo, zhm))Idet LI = £N(B(xo, zhm))I J4(xo)I.
(5.25)
Set
6:= min{IL(y)(2 : Iv12 = 1}.
Since Jo(xo) 96 0 we have 6 > 0 and, given z E (0,1), we choose mo E N such
that Em < 6(1 - z),
for every m>mo. Claim 1. We claim that
RESULTS OF WEAKLY DIFFERENTIAL MAPPINGS
§5.1
117
IYi-Y2I2>6(1-z)hm for every yi E L(8B(xo, h,,,)) and for every y2 E L(B(xo, zhm)). Indeed,
yi = V0(xo)(zi - xo) + s(xo) for some z1 such that 1z1 - xoI = h,,, and
y2 = V (xo)(z2 - xo) + O(xo) for some z2 such/ that Iz2 - xoI < zh,,,. We have Iy1-Y2I2 = IVO(xo)(zi-z2)I > 6121 -z2I
6(Izi-xoI-Ixo-z2I) > 6(1-z)hm.
Let
H(x, t) :_ (1 - t)o(x) + tL(x), x E B(xo, hm), t E [0, 1]. Claim 2. H(8B(xo, hm), t) C RN \L(B(xo, zhm)) for every m > mo(z) and every t E [0, 1].
Assume, on the contrary, that for some t E [0, 11, z2 E B(xo, zhm) and for
some z1 E 8B(xo,hm), we have H(zi,t) = L(z2), i.e. (1 - t)4(zi) + tL(zi) _ L(z2). Then
(1 - t)('(zl) - L(zi)) = L(z2)
- L(zi)
and by Claim 1 we have b(1 - z)hm < IL(z2)
-
L(zl)I2 :5
I0(zl) - L(zl)I2
Using (5.24) and the fact that zi = xo + hma for some a E 8B(0,1), we deduce that 6(1 - z)hm < Em, which yields a contradiction. Hence,
H(8B(xo, hm), t) C RN \ L(B(xo, zhm))
for every t E 10,11 and every m > mo(z). Thus t), B(xo, hm), y) is well defined for every y E L(B(xo, zhm)). Using the fact that L is a bijection and H is a C homotopy between 0 and L, for every y E L(B(xo, zhm)) we have d(0, B(xo, hm), y) = d(L, B(xo, hm), y) = s9n JL(xo) # 0
and so we obtain (5.22). Furthermore, by Theorem 2.1 we obtain that y E O(B(xo, hm)) thus
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
118
Ch. 5
L(B(xo, zhm)) C qS(B(Xo, hm))
for every z E (0, 1) and every m > mo(z), which, together with (5.25), yields GN(cb(B(xo,hm))) m +oo GN(B(xo, hm))
CN(L(B(xo,zhm)))
liminf
= zNIJ#(xo)I
C'(B(xo, hm))
for every z E (0, 1). Letting z go to 1 we conclude (5.23).
Theorem 5.11 Let D C RN be an open, bounded set and let 0 E C(D)N be a mapping which has a weak differential almost everywhere and has the N-property.
Assume that Jj E Lf (D). Then for every measurable set E C D we have JE
I Jm(x)I dx = j N(4), E, y) dy. N
Proof Recall that, by Theorem 5.5, N(¢, E, ) is measurable. Also, by Lemma 5.8 it suffices to show that ( I Jo(x)I dx <_
f
N
N(), E, y) dy
Define
µ(A)
JRN N(O, A, y) dy
for every measurable set A C RN. Then µ is positive a measure on RN and since by Lemma 5.8 we have that p is a Radon measure. Moreover, JJ E ,CN(A) = 0 implies u(A) < fA J(a) dx = 0; therefore, by the Radon-Nikodym
Theorem, there exists a measurable, positive function 1 on D such that for every measurable set A C D we have
µ(A) = JA O(x) dx.
Let X E D be such that ¢ has a weak differential at x. By Lemma 5.10 there exists a sequence {h,,, : m E N} converging to zero when m tends to +oo such that
lim inf
GN (.O(B(z, h,,,)))
m-.+oo
CN(B(x, h,,,))
> I J#(x)I
Since
,CN(4)(B(x,
hm))) < in N(4), B(x, hm), y) dy = a
we have lim M-+00 oo
h.))
G(B(x, hm)) , IJm()I
hm)),
WEAKLY MONOTONE FUNCTIONS
§5.2
119
By the Differentiation Theorem for Radon measures, we deduce that 4)(x) > I JJ(x) I
almost everywhere in D and so JRN N(O, E, y) dy = L 4'(x)dx ? L IJm(x)I dx.
5.2 Weakly monotone functions In this section we study regularity properties for functions 0 E
sat-
isfying J,(x) > 0 Vv a.e. x E D, where D C RN is an open set. Following Gold'sthein and Vodopyanov (1977), we show that if p = N, then 0 is continuous and monotonic (see Theorems 5.14 and 5.17 ). The definition of monotone functions was introduced by Lebesgue (1907) and, heuristically, a function is said to be monotone if it satisfies certain weak maximum and minimum principles. The following class of functions was introduced by Ball (1978) in his fundamental work on nonlinear elasticity and it will be used at length here, ;,g(D) := f4) E WI.P(D)N : adj(V4)) E
L9(D)N,N,
Jm > 0 a.e. X E D}
where adj(V4)) is the matrix of the cofactors of V4), p > 1, and q >
.
9verak
(1988) proved that if p > N - 1, then the mappings of ..4 (D) are continuous except perhaps on a set of p-capacity zero and this set is empty if p = N (see Theorem 5.17 and Remark 5.18). Here, to obtain $verak's (1988) results we follow Manfredi's (1994) approach.
Definition 5.12 Let D C RN be an open set, 1:5 p < +oo and let f E Wl (D). We say that f is weakly monotone if for every Cl cc D open, bounded, connected set and for every pair of constants m < M such that
(m - f)+ E we have that
W0,P(Q)N
and (f - M)+ E W01.P(1)N,
m
for almost every x E Cl.
We recall that, if t E R,
t>0 t+:-ft - 1o t<0,
0
t>0
-t t<0.
Remark 5.13 If f E Wt (D) f1 C(D), then f is weakly monotone if and only if
sup f (x) = sup f (x) and of f (x) ZE&I xEBA
zE8f1
=
inf f (x).
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
120
Ch. 5
We give a sufficient condition for a Sobolev function to be weakly monotone.
Theorem 5.14 Let D C RN be an open set, N -1 < p < +oo, q > Pp l and let 0 E WI.P(D)N. Assume that Jm > 041v a.e. x E D and adj(V) E LQ(D)NxN.
Then for each i = 1, ... , N the ith component 0, is weakly monotone. In particular, if o E W1,N(D)N and if J,0 > 0 GN a.e. x E D, then 0 is continuous.
Proof Fix i = 1, ... , N, let f? CC D be an open, bounded, connected set and let m < M be a pair of constants such that (m - 0i)+ E Wo,P(c2)N and (0i - M)+ E Wo,P(n)N
Set g
(m - 0i)+ and let {or: r E N} C C°°(D) be a sequence such that
or -.0 in
WI.P(1)N.
By Exercise 1.3 and Theorem 4.42, we have N
E
k
(5.26)
(adj(V0r))ik = 0
and by Theorem 4.42 we obtain Jm dx
Jflr1(.<m}
N V'
dx = Jn(#;
rll+>
E a"' (adJ(VOr))ik dx
J r kv
N r r limo
dx
Jk=1
= r llm o
r
N
/nk=1 F9
(adj(omr))ik dx
= 0.
Since JJ(x) > 0 LN a.e. X E 91, we deduce that GN({Oi < m}) = 0 and so
4,(x) > m a.e. X E ft
WEAKLY MONOTONE FUNCTIONS
§5.2
121
Using a similar argument we obtain that 0,(x) < M a.e. x E Q, thus ¢; is weakly monotone.
Recall that if X C RN is a Coo paracompact manifold of dimension r E N, then X can be covered by finitely many manifolds X; C X such that for each i there exists a C°D diffeomorphism u, : (0, 1)r - X. We say that f E W1'P(X) if and only if f ou; E W1-P((0, 1)1). Recall also that, given any ball B(xo, r) C RN, 8B(xo, r) is a C°O paracompact manifold of dimension N - 1.
Theorem 5.15 Let N-1 < p:5 N and let f E W'.P(8B(xo,r)) be a continuous function on the sphere 8B(xo, r). Then, (diam(f (8B(xo, r))))P < C(N,
p)r°+1-N
J8B(xo.r))
IVf(x)Ii dH N-',
where C(N, p) is a constant depending only on N and p.
Proof Since p > diam(8B(xo, r)) = N -1, by the Sobolev Imbedding Theorem expressed on 8B(xo, r), we have (diam(f (B(xo, r))))P < C(r, p, N) J
B(zo,r)
I Vf (x)IdHN1.
Using a rescaling argument, we conclude that
C(r,p, N) =
rP+1-NC(N,p)
In the sequel, given f E WI-P(D) for some open set D C RN, we denote by f' the p-quasicontinuous representative of f of Theorem 4.61 and by LP(8B(xo, r)) the trace operator for every r such that T,. : W 1-P(B(xo, R)) B(xo,r) CC D (see Theorem 4.50).
Theorem 5.16 Let D C RN be an open, bounded set, 1 < p < +00, f E W'.P(D). Then (i) f* 18B(..,,-) E W' P(8B(xo, r)) for H' almost every r such that B(xo, r) cc D;
(ii) f'(x) = Tr(x) for HN-1 almost every x E 8B(xo,r), for every r such that B(xo,r) CC D;
(iii) if p > N - 1 and if B(xo, h) cc D, then f admits a representative f E W l.P(B(xo, h)) such that f $8B(=o,r) is continuous on 8B(xo, r) for H1 almost every r E (0, h).
Proof We assume, without loss of generality, that f' - f.
122
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
Ch. 5
(i) Let xo E D and let h > 0 be such that B(xo, h) CC D. Since f E W1'P(D) there exists a sequence { fn : n E N) C C' (D) such that
L Ifn -fIdx
JD IOfn-VfI2dx
1
for every n E N. Set
Fn(r) := J Gn(r) := We observe that
B(xo.r)
J
B(xo,r)
Ifn - f I2 dHN-1,
IVfn - VfI2dHN-1. h
h
A
Gn(r) dr <
F,, (r) dr, 10
2n
for every n E N and so 00
JhFn(r)dr =
n=1 00
E
rh J
00
00
n=1 JB(zo,h)
00
f
Gn(r) dr = >2 J
n=1.J/0
n=1
B(xo,h)
If-fl2dx<
1
<+00,
0
n=1 00
IVfn - Vf I2 dx < E 2n < +00. n=1
Since Fn(r), Gn(r) > 0, by the Lebesgue Dominated Convergence Theorem
we obtain that 00
00
Fn E L1((O, h)), >2 Gn E L1((O, h)) n=1
n=1
and so there exists I C (0, h) such that C1 (I) = 0 and 00
00
Fn(r) < +oo, E Gn(r) < +oo, n=1
n=1
for every r E (0, h) \ 1. Thus,
lim Gn(r) = 0 lim Fn(r) = 0 and n-'+00 for every r E (0, h) \ I and we conclude that f I8B(xo,r) E W 1,n(OB(xo, r))
for every rE(0,h)\I.
(5.27)
WEAKLY MONOTONE FUNCTIONS
§5.2
123
(ii) By (i) for G1 almost every r such that B(xo, r) cc D we have f I8B(.o,r) E W1'P(8B(xo, r)) and, for each such r, by (5.27), there exists a subsequence such that f,a,, (x) -+ f (x) for HN-1 a.e. X E 8B(xo, r) as k - oo. On the HN-1 other hand, Tr(fnk) = fnrl8B(:o,r) and T,.(fn4)(x) - T,.(f)(x) for HN-1 a.e. X E OB(xo, r) as k - oo. We conclude that Tr(f)(x) = f (x) for a.e. x E 8B(xo, r). (iii) Let h > 0 be such that that B(xo, h) CC D. By assertions (i) and (ii) and
the Sobolev Imbedding Theorem on 88(xo, r), there exists J C (0, h) such that £1(J) = 0 and Tr(f) has a continuous representative gr on 8B(xo, r) for every r E (0, h) \ J. Define f by f (x)
{
g;(x) f *(x)
if lx - xol = r E (0, h) \ J if lx -xoI = r E J.
We observe that
f(x) = f'(x) for GN almost every x E B(xo, h) and f has the property required in assertion (iii).
0
Theorem 5.17 Let D C RN be an open set, N - 1 < p < N, and let f E W"""(D) be a weakly monotone function. Then f admits a representative (still denoted by f) such that f I ors : D \ S -. R is continuous for some set S C D such that Capp_.(S) = 0
for every 0 < a < p. If p = N, then S = 0 and f is continuous in D. In particular, if f E W1.N(D)N and if Jj > 0 GN a.e. in D, then f is continuous in D. The argument we use in the proof below was introduced by Gold'sthein and Reshetnyak (1990) in the case where p > N, and later extended by Manfredi (1994) to the case where p > N - 1. In fact, in the theorem above we can choose the set S such that its Hausdorff dimension is equal to N - p.
Proof Let xo E D, let 0 < h < 2 be such that B(xo, h) cc D, and assume, without loss of generality, that
f =f, where f is the representative of f given by Theorem 5.16 (iii). Let J C (0, h) be such that V (J) = 0, f I8B(=,,r) is continuous and f I8B(:o,r) E W 1"(8B(xo, r))
for every r E (0, h) \ J. Set
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
124
Ch. 5
mr(xo) := inf{f(x) : x c- 8B(xo,r)} and
Me(xo) := sup( f (x) : x E 9B(xo, r)},
for every r E (0, h). Claim 1. mr(xo) < f(x) < Me(xo) for GN almost every x E B(xo,r) and for
every rE (0,h)\J Indeed, for every r E (0, h) \ J
Tr(mr(xo) - f)+ = 0 and
Tr(f - Mr(xo))+ = 0 and since f is weakly monotone on D, we deduce that mr(xo) < f(x) 5 Mr (x0)
for GN almost every x E B(xo, r) and for every r E (0, h) \ J. Define eSSOSCB(xo r) = esS SUp{ f (x) : x E B(xo, r)} - ess inf { f (x) : x E B(xo, r)}
c(r, xo ) and
d(r)
h
Jr
tP-Ndt
JBzo,r)
IVf I°dHN-1. a
Let C(N,p) be the constant in Theorem 5.15. Claim 2. (c(r, xo))P log < C(N, p)d(r) for every r E (0, h). Indeed, by TheoremT 5.15 and the fact that f = f, (Me(xo) - mt(xo))P <
C(N,P)tP-N+1dt /
8B(xo,t))
IVf Is dHN-1,
(5.28)
for every t E (0, h) \ J. By Claim 1 we have Me(xo) - me(xo) = c(t, xo)
for every t E (0, h) \ J and so, c(t, xo)P < C(N,
p)tP-N+Ldt
fB(xo,t)
I Vf Is
dHN-1
(5.29)
for every t E (0, h) \ J. Dividing both sides of (5.29) by t and integrating from r to h we obtain
WEAKLY MONOTONE FUNCTIONS
§5.2
125
1h (c(t, x0))P dt < C(N, p) d(r). t r Since c is nondecreasing on (0, h), we deduce that c(r, xo)p log
h
< C(N, p)d(r)
and so if, moreover, 0 < r < 1, setting h = f, we have essoscB(zo.r))P <
C(N,p)
log r
f
IOf(y)12° (=o.r)
ly -
X01N
dy
(5.30)
-p
for every r E (0, h). Define w : RN - R by
w(x) :=
Iof(x)12
.0
xED
x¢D.
Let
Ip(x)=Ix12-^', xERN, N-1 < p < N be the Riesz kernel of order p (see Stein 1970),
S := {x E D : Ip w(x) = +oo}. We observe that
S=0 if p=N. By (5.30) we obtain
lim c(r,x)=0 r0+
(5.31)
for every x E D \ S and by Theorem 4.65 Capp_a(S) = 0 for every 0 < a < p. Indeed, since w > 0, Ip * w is lower semicontinuous and so S is a Borel set. This implies that (see Hayman and Kennedy 1976, Theorem 5.3)
Cp_a(S) = sup{Cp_a(K) : K C S, K compact set}, and, by Theorem 4.65, we obtain Cp_a(K) = 0 for every compact set K C S. By Theorem 4.61 we may find a set E C D such that Capp(E) = 0 and f(x) = lim
1
'_6+ GN(B(x,r)) B(:,,)
for every x E D \ E. Claim 3. f is continuous on D \ (SUE).
f(y)dy
(5.32)
126
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
Ch. 5
Let x E D (S U E) and let {xn : n E N} C D \ S be a sequence converging to x. Let e, b > 0 be such that
rC(N, P) ( IL loges
I Df (y) I i dy
1B(zo.26) Iy -xI2
"
<
(5.33)
)
p
2GN(B(0,1))
Assume that Ixn - x12 < 6. By (5.32) there exists r(x) > 0 such that < f (x)
£''(B(x, r)) B(z,r)
f (y) dy <
4
for every 0 < r < r(x) and there exists 0 < r(xn) < r(x) such that
4 < f(xn)
CN(B(xn,r)) Js(z r)
f(tJ)dy <
4
for every 0 < r < r(xn) and every n E N. Therefore,
-2 < f(x) f(xn) + CN(B(xn,r)) L(z,.,r) f(y)dy 1 LN(B(x,r))
<
B(z,r)
f (y) dy
E
for every 0
-2
N(frt)-f(x+rt))dt<
for every 0 < r < r(x) and every n E N. Fix r < 6. We have x + rt, x,, + rt E B(x, 26) for all t E B(0,1) and so by (5.30) and (5.33) we have
If
+ rt) - f(x + rt)I <
2LN(B(0,1))
a.e. t E B(0,1).
Integrating in B(0,1), we obtain
rN(f(xn+rt) - f(x+rt))dt which, together with (5.34), yields
e
2,
(5.34)
WEAKLY MONOTONE FUNCTIONS
§5.2
127
If(xn)-f(x)I <E. Thus, f is continuous on D \ (SUE) and, by Theorem 4.57, Capp_. (SUE) = 0. Finally, if f E W1,N(D)N and if Jj(x) > 0 GN a.e. x E D, then, by Theorem 5.14 the components f; are weakly monotone and as S = 0 we conclude that f is continuous in D. O
From now on, we identify a function 0 E W1,N(D)N such that J#(x) > 00 a.e. x E D with its continuous representative. Remark 5.18 It can be shown that if f E W LLP(D)N, p > N - 1, adj V f E L9, q> and if Jf(x) > 0 LN a.e. x E D, then f is continuous outside a set S of Hausdorff dimension N - p. Also, for every e > 0 the set (x E D : lim supr_o+ OSCB(x,r) < E} is open. These results were stated by Muller et at. (1994) and their proof can be obtained exactly as in Sverak (1988), where we assume that q> . We note that for N-1 < p < N we have P > N . Also, by Theorem
4.57, Hdtm(S) < N - p implies that Capp_a(S) = 0 for all 0 < a < p and we recover Theorem 4.57.
The following result is due to Reshetnyak (1989).
Corollary 5.19 Let D C RN be an open set, let K be a compact set, and let V be an open, bounded set such that K C V CC D. Let 0 E Wia (D)N be such that J0 (x) > 0 VV a.e. X E D. Then there exists a constant 6 >0050 such that I0(xl) - O(x2)I2 < C(N)M*6(Ixl - x212) for every X1, X2 E K such that Ixl - X212 < 6, where
M:=
fV
I Vv(x)I N dx, 6(t) :_
(
\lo 2
l/*
lim 0(t) = 0
e_Q+
and C(N) is the constant of Theorem 5.15.
Proof Fix i E {1, ... , N}and set f := 0;. Let d:= dist(K, RN \ V) and
6:=max{t: 0
1x1 - x212
2
,
XO .=
J xl + x2 2
We claim that B(xo, Vh-) C D. Indeed, since h < 2 we have, for every x E
B(xo, A),
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
128
IX-X112:5 Ix-xo12+Ixo-x112 <-
Ch. 5
f+h
and so B(xo, vfh-) C D.
According to Theorem 5.16 let I C (0, Oh-) be such that G1(I) = 0 and f I8B(xo.r) E W 1.N(8B(xo,r))
for every r E (0, Vh-) \ I. By Theorem 5.17 f is weakly monotone and continuous and Theorem 5.15 yields
(diam(f(aB(xo,r))))N
IVf(x)i2 dHN-1
for every r E (0, f) \ I and for some constant C(N) depending only on N. Again using the fact that f is weakly monotone, we obtain that diam(f (8B(xo, r))) = diam(f (B(xo, r))) for every r E (0, A-) and so
(diam(f(B(xo,r))))N < rC(N)
dHN-1
l8B(zo.r) IVf(x)I2N
(5.35)
for every r E (0, Vh-)\I. Dividing both sides of the inequality by r and integrating with respect to r, we obtain
r` (diam(f (B(xo, r)))JN h
r
dr < C"(N) < CN(N)
f f dr f8B(zo.r) IVf IN dHN hh
JB(:o.f)
IVfI2 dx
< CN(N)M. Let
7(r) := diam(f (B(xo, r))). We observe that 7 is nondecreasing in (0, vfh-) and so
7(h)Nlog 1 < CN(N)M which yields
If(x1) - f(x2)I <- CM*O(Ix1- X212)-
0
WEAKLY MONOTONE FUNCTIONS
§5.2
129
For Sobolev functions which do not satisfy the regularity assumptions of Corollary 5.19, we can, none the less, assert the following corollary.
Corollary 5.20 Let D C RN be an open set, let N-1 < p < N, and let q > pp l . Assume that ¢ E Wja (D)N is such that adj(V) E L9(D)NxN and J#(x) > 0 CN a.e. X E D. Assume that 0 coincides with its representative of Theorem 5.17. Then for every xo E D and for every r > 0 such that B(xo, 2r) C D, we have C N, rD 2 dx I(xi)- (x2)I(B(p or)) L(1O. n) IDI CN
for almost every xl, x2 E B(xo, r), where C(N, p) is a constant depending only on N and p. Proof This follows from integrating (5.29) for t E [r, 2r) and using the fact that 0 xo) is nondecreasing (see the proof of Theorem 5.17). Theorem 5.21 Let D C RN be an open set and let 0 E WI-P(D)N, p > N -1. Then 0 has a weak differential almost everywhere. Furthermore, if p = N and if the JA > 0 CN a.e. or if p > N, then 0 has a differential almost everywhere (in the classical sense).
Proof Let x E D be a Lebesgue point for V and lin IIRh,z0illl,p(B(0,1)) = 0
(5.36)
for each i = 1, ... , N, where Rh,x0,(y) =
45,(x + hy)
h
Oi(x)(x) _
E axi (x)y-, . j=1
By Theorem 4.49, (5.36) holds for CN almost every x E D. Set
Lh(y) - O(x + hy) - q5(x) , y E B(0,1), 0 < Ihl < dist(x, 8D) h
and
'V 10 L(y) = E x8 (x)yj.
Case 1. p>N-1. By (5.36) him IILh - LIIp(B(0,1)) = 0 and as GN ({y E B(0,1) : I Lh(y) - L(y)12
a}) <
E
J (o,1) I Lh(y) - L(y)I z dy
then Lh converges to L in measure. Let {h,,:n E N} C (0,1) be a decreasing sequence converging to 0. By Theorem 5.16 (iii), there exists I C (0,1) such
130
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
Ch. 5
that G1(I) = 0 and both L and Lh are continuous on 8B(0,r) for every r E (0,1) \ I and for all n E N. Applying Theorems 5.16 and 5.15 to Lh., - L, as (Lh - L)(0) = 0 we deduce that C(N,p)rr-N+1
ILh..(y) - L(y)I9 <
J
IV(x + hz) - V4(x)IdHN-1(z) B(o.r)
(5.37)
for every y E B(0, r) and for every r E (0,1) \ I. Since x is a Lebesgue point for V0, we have
0 = "'_+00 lim »+oo
J
IVO(x + hnz) - VO(x)I2dz 1 0.1)
= nlim +oo 0 dr J
J8B(0,r)
IVO(x + hz) - Vb(x)Ii dHN-1(z)
Hence, there exists a subsequence {nk} such that
J8B(O,r)
IVO(x + hn,,z) - Vi (x)Is dHN-1(z) -+ 0
(5.38)
as k -+ oo, for L1 a.e. r E (0,1), and, in particular, we may fix r E (0,1) \ I for which (5.38) holds. Finally, (5.37), together with (5.38), yields lim esssup{ILhn,k (y) - L(y) 12 : y E 8B(0,1)} = 0
k
00
and so 0 has a weak differential at x.
Case 2. p = N and Jm>OCN a.e. We observe that
det (VLh(y)) = det (V (x + hy)) > 0 for every 0 < IhI < c:= I dist(x, OD) and for almost every y E B(0,1). Applying Lemma 5.19, with D = B(0,2), V = B(0, a), and K = B(0,1), we obtain that {Lh : 0 < IhI < c} is equicontinuous on K. By the Ascoli-Arzela Theorem Lh converges uniformly to some G E C(K,RN) and since, by (5.36), Lh converges to L in the LN(B(0,1), RN) norm, we conclude that G = L. Hence hi o sup{ILh(y) - L(y)I2 : y E f3(0, 1)} = 0
and so 0 has a differential in the classical sense at x.
Case 3. p>N. By Sobolev's Imbedding Theorem and (5.36), we obtain that Rh,z converges
to 0 in C0 (D)N, where a = 1 - A. . Thus, Aim sup{ILh(y) - L(y)12 : y E . (0, 1)} = 0
§5.3
CHANGE OF VARIABLES VIA THE MULTIPLICITY FUNCTION
131
and so m has a differential in the classical sense at x.
5.3 Change of variables via the multiplicity function Proposition 5.22 Let D C RN be an open, bounded set and assume that 0 E C(D)N has a weak differential almost everywhere; it has the N-property and Let v : RN R be a measurable function and define u : RN -, R Jm E by
u(x) ._ -
V0 NOW if J#(x) exists otherwise.
0
Then u is a measurable function and 0-1(E) is measurable for every measurable set E C RN. Furthermore, GN(¢-1(B) \A) = 0 whenever B is a measurable set, GN(B) = 0, and A:= {x E D : J.,(x) = 0}.
Note that we did not assert that v o 0 is measurable, since we do not know if v o 0 is well defined. Indeed, if 0 does not have the N-'-property, we cannot deduce that v o = w o GN a.e. x E D whenever v(y) = w(y) for CN a.e. y E RN.
Proof of Proposition 5.22 Step 1. We prove that u is well defined, i.e. u(x) = u(x) CA( a.e. x E D, where u is defined by (w o JO(x) if J#(x) exists
u(x) :_ t 0
otherwise.
and w : RN - R is a measurable function such that v(y) = w(y) for every y E RN \ L where L C RN is such that Vv (L) = 0. Let E C RN be a measurable set, let
A:= {x E D : J4(x) = 0), and let P, Q C RN be Borel measurable sets such that
PCECQ, CN(Q\P)=0. As 0 is continuous, 0-1(P) and 0' 1(Q\P) are Borel measurable and, by Theorem 5.11, we obtain
J - (Q\P) I J4(x) I dx s
Lp
N(O, 0-'(Q \ P), y) dy = 0.
Thus,
GN(0-1(Q\P)\A))=0, which, together with the fact that q-1(P) is Borel measurable and
0-'(P)\AC m-'(E)\AC 0-'(P)U[0 [,O-'(Q \ P) yields that 0 1(E) \ A is measurable and as A is measurable so is 0'1(E). In particular, if B is a measurable set and GN(B) = 0, by Theorem 5.11 we have
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
132
LN(-O-1(B) \ A) = 0. Finally, we have
Ch. 5 (5.39)
voOx)=woO() W
for every x E D \-1(L) and so u(x) = u(x)
LN a.e. X E D \ 0-1(L). Also, u(x) = 0 = u(x)
for every x E A n i' 1(L) and since, by (5.39), GN (O' 1(L) \ A) = 0, we deduce
that u(x) = u(x) GN a.e. X E D and u is well defined.
Step 2. u is measurable. Assume without loss of generality that u > 0. For t > 0 set
Et:={XED:u(x)
M :_ {x E D : J#(x) does not exist}. We have LN(M) = 0 and so there exists a subset B C D with measure zero such
that Et _ {xED \ (AU M) : u(x) < t} U A u B
ift>OandEg={xED\(AUM) :u(x)
{xED \ M : J#(x) < s} is measurable for each a E Q, we deduce that {x E D \ (A U M) : u(x) < t} is O measurable, thus u is measurable. We now state a change of variables formula for the multiplicity function.
Theorem 5.23 Let D C RN be an open, bounded set and assume that 0 E C(D)N has a weak differential almost everywhere, it has the N-property, and Jj E L1OC(D). If V E LOO(RN), then for every measurable set E C D,
Lvo1J,I
= j v(y)N(, E, y) dy. ^'
(5.40)
§5.3
CHANGE OF VARIABLES VIA THE MULTIPLICITY FUNCTION
133
Remark 5.24 For the proof of Theorem 5.23 we follow Gold'sthein and Reshetnyak (1990). In the case where N = 2 the result was first obtained by Rado and Reichelderfer (1955) for 0 E p > N. This was extended later by
Marcus and Mizel (1973) to functions 0 E W-P(D)', p > N, and N:5 m, and it was shown that, for every v : R' - R measurable and for every measurable set E C D, JE
v o O(x)JN(4(x)) dCN(x) = f(E) v(y)N(O, E, y) d.Cn(y) m
whenever one of the two sides is meaningful. Here we use the notation (JN(.O(x))12
=
N P 1: J:(F'i(x))2
where F is the matrix of the N x N minors of V (x) and P :=
m
As it turns out, Theorem 5.23 will generalize this result for m = N, since, by Theorems 5.21 and 5.28, if 0 E Wl,P(D)N and p > N, then is weakly differentiable and has the N-property.
Proof of Theorem 5.23 Without loss of generality, we may assume that v(y) > 0
for almost every y E RN. We divide the proof into three cases. Case 1. Assume that v = XF for some measurable set F C RN. By Proposition 5.22, 0-'(F) is a measurable set and so
0-'(F)nE=0-1(F\A)nE is measurable. By Theorem 5.11,
f-I(F)nE
I J.(x) I dx =
f
f voq5(x)IJ,0(x)I dx = E
N(O, 0-'(F) n E, y) dy,
RN
f
RN
N(O,E,y)v(y)dy.
(5.41)
It follows that (5.40) holds if v is a linear combination of a finite number of characteristic functions of measurable, bounded sets E C D. Case 2. Assume that E C D. Let {va : n E N} be a nondecreasing, nonnegative sequence of simple, measurable functions and let C C RN be a set of measure zero such that lim vn(y) n+oo
= v(y)
134
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
Ch. 5
for every y E RN \ C. Since E C D and Jm E L' (D), by Theorem 5.11 we deduce that
N(4, E, y) < +oo
for almost every y E RNand
vnN(4, E, ) ""' vN(4, E, ) in L1(RN). By Proposition 5.22,
,CN(4-'(C) n (E \ A)) = 0,
where A:= {x E D : J#(x) = 01, and as limn+,,. v 04(x) = v o 4(x) for every x E E \ 4' 1(C), we obtain lim V. O 4(x)IJm(x)I = v o 4(x)I Jm(x)I
n +00
for almost every x E E\A. On the other hand, by Case 1 for all n E N,
E\A
vn o 4(x)I JJ(x) I dx = j N(4, E \ A, y)vn(y) dy N
and since {vn o 4(x)I JJ(x)I } and {N(4, E, y)vn(y)} are nonnegative and nondecreasing, by the Beppo-Levi Theorem (or the Lebesgue Monotone Convergence Theorem), we deduce that
E\A
v o 4(x)I JJ(x)I dx =
JRN
N(4, E \ A, y), dy,
which, together with the fact that JJ = 0 a.e. in A, and using Lemma 5.8, implies
Lvo,1dx = f\A
v
E
=
r
N (4, E\A, y) dy N
f N(4,E,y) dy. RN
ase 3. General case, E C D and V E LOO(RN). Case
There exists a sequence {Kk : k E N} of compact sets such that
Kk C Kk+1 C E and GN(E \ Kk) < k,
CHANGE OF VARIABLES VIA THE DEGREE
§5.4
135
for every k E N. Since
JRN N(, Kk, y) dy
IK,,
for every k E N, passing to the limit in k and using the Beppo-Levi Theorem, we deduce that
Lvo1JI
= f N(O, E, y) dy Ht
0
5.4 Change of variables via the degree Proposition 5.25 Let D C RN be an open, bounded set and let 0 E C(D)N be a mapping which has a weak differential almost everywhere and has the Nproperty. Assume that Jm E Lloc(D). Then, for every bounded, open set G CC D satisfying GN(8G) = 0, we have (i) E L1(RN); (ii) fG J.(x) dx = ,fRN d(-O, G, y) dy.
Proof Fix G CC D. Given v E L°°(RN), set
1: No (v, G, y) =
v(x)
if N(0, G, y) < +oo
xEm-' (y)nG
if N(O, G, y) _ +oo.
+00
Claim 1. No (v, D, y) = No (w, D, y) EN a.e. y E RN and for every w E L°°(D) such that v(x) = w(x) CA( a.e. x E RN. Indeed, let
A :_ {y E RN : N(0, G, y) = +oo}. By Theorem 5.11 we obtain GN(A) = 0.
Let B C D be such that
CN(B) = 0 and v(x) = w(x) for every x E D \ B. Since 0 has the N-property, GN(4(B)) = 0, and for every
yERN\(4'(B)UA)wehave
E xE0-'(y)nG
v(x) _
w(x), xE0-'(y)nG
thus No (v, G, y) = No (w, G, y)
for almost every y E RN. Claim 2. E LI(RN).
136
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
Ch. 5
Let {vn : n E N} be a nondecreasing sequence of simple, measurable functions which converges pointwise to v, and let
k
vn :=
[anXE.. i=1
As
k No(vn, G, y) _ E anN(O, En, y) i=1
by Theorem 5.5, Nm(vn, G, ) is measurable. Furthermore, as {N'j(vn, n E N} is a nondecreasing sequence which converges pointwise to No (v, G, ), we conclude
that N,(v,G, ) is measurable. This, together with the fact that
E
LI(RN) (see Theorem 5.11) and the fact that N4 (v, G,
N(O, G, -) sup 1V(x)1' xED
yields
No(v, G, ) E L1(RN),
proving Claim 2. Now, by Theorem 5.11, we obtain
jv(x)IJ(x)ldx =
JRN
No(v,G, y) dy
and so by the Beppo-Levi Theorem we deduce that
Jv(x)I.4(x)Idx =
jN
No (v, G, y) dy.
(5.42)
In the sequel, we set v(x) = sgn (J,(x)) and (5.42) reduces to
14 J,(x) dx = JgN N4,(v, G, y) dy. Claim 3. We claim that N4,(v, G, y) = d(O, G, y) for almost every y E RN. Indeed, let
El :_ {x E D :.0 does not have a weak differential at x},
E2 :_ {x E D \ E, : Js(x) = 0},
(5.43)
§5.4
CHANGE OF VARIABLES VIA THE DEGREE
137
and
C:= A u 4,(E1) u 4,(E2) U 4,(8G).
Since GN(E1) = GN(8G) = 0 and 0 has the N-property, we deduce that 'CN(.O(El)) = £N(4,(8G)) = 0.
Since G C D is a compact set, by Theorem 5.6 we obtain ,CN(O(E2))
=0
and so
,CN(C)=0.
Let y E RN \ C. If 4-1(y) n G = 0, then 4-1(y) n G = 0 and by the excision property of the degree (see Theorem 2.7), we have d(4,, G, y) = 0 = N,(v, G, y).
If 4-1(y) n G = {a1, ... , ak }, by Lemma 5.10, we deduce that there exists r > 0 such that B(al, r), ... , B(ak, r) CC G are mutually disjoint and d(4,, B(ai, r), y) = sgn(J.(ai)) (i = 1, ... , k).
(5.44)
By the decomposition and the excision property of the degree (see Theorem 2.7) we obtain k
d(4,,B(ai,r),y) = No(v,G,y)
d(4,,G,y) _ i=1 and so
d(4,, G, y) = No (v, G, y)
for almost every y E RN. This, together with Claim 2, yields E L1(RN)
and using (5.43) and (5.45) we conclude that
fJ(x)dx = JRN d(4,, G, y) dy Remark 5.26 Let D, 0, and G be as in Proposition 5.25.
(5.45)
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
138
Ch. 5
(i) (5.44) yields d(O,G,y) _
sgn(JJ(x)) =Em-'
for almost every y E RN and so Id(0, G, y) 15 N(O, G, y)
for almost every y E RN.
(ii) We observe that if we assume in the proof that CN(o(8G)) = 0, without assuming that CI(8G) = 0, the conclusion of Proposition 5.25 still holds.
Next, we state and prove a change of variables formula using the degree function.
Theorem 5.27 Let D C RN be an open set, let 0 E C(D)N be such that 0 has the N-property, m has a weak differential almost everywhere, and JO E L' (D). Assume that G C D is a bounded, open set and that v E LOO (RN ). Then (i) y v(y)d(O, G, y) is integrable, (ii) v o 0 Jm is locally integrable, (iii) fc v o c(x)J,(x) dx = f R, v(y)d(c5, G, y) dy.
Proof By Remark 5.26, Id(¢, G, y)I < N(¢, G, y) CN a.e. y E R" and, together with Theorem 5.23, we conclude (ii). By Proposition 5.25, (i) and (iii) hold in the case where v is a characteristic function. Let v E LOO(RN) and we may assume without loss of generality that v > 041v a.e. Let {vn : n E N} be a nondecreasing sequence of simple functions, bounded in LOO(RN), and converging pointwise to
v. Let A C RN be such that CN(A) = 0 and lira vn(y) = v(y) n+oo
for every y E RN \ A. Setting
B:={xED: Jo(x)=0}, we observe that
m-'(A) = (4-'(A) n B) U (0-'(A) \ B) and by Theorem 5.11 we obtain
CN(4-'(A) \ B) = 0. Clearly,
lm vn o 4(x)Jm(x) = v o ¢(x)J©(x) n-oo
CHANGE OF VARIABLES VIA THE DEGREE
§5.4
139
for every x E (c-'(A) n B) U (D \ 4-'(A)), i.e. {v o OJo} converges to v o OJo almost everywhere. Since {vn} is a sequence bounded in LOO(RN) and Jo E we have vn o O(x)JO -y v o O(x)Jo in L' (G)
(5.46)
and, by Proposition 5.25, v. d(O, G,
v d(O, G, ) in L' (RN).
(5.47)
Suppose, first, that v = Xv, where V C D is an open set such that LN(8V) = 0. Set
F:=Gn0-'(V)nG.
Then F is an open set, F CC D, and GN(5(aF)) <_ LN(O(aG)) +GN(8V) = 0
and so, by Remark 5.26 (i) and (ii) we obtain
f
N
R
d(4, F, y) dy
v(y)d(O, F y) dy RN
v(y)d(O, G, y) dy.
= JRN
Next, assume that v = Xv where V C D is an arbitrary measurable set. Let Ve be a family of open sets such that V C Vei GN (Ve \ V) - 0 as c 0+. By Lebesgue's Dominated Convergence Theorem and by the previous case,
JG
Xv o O(x)Jo(x) dx = 'lim j
Xv. o
O(x)Jo(x) dx
f
= e-O+ lim RN Xv. (y)d(', G, y) dy
=f
Xv(y)d(i, G, y) dy N
Xv(y) for GN a.e. Y E RN and d(o,G, ) E L'(RN) (see Proposisince Xv,(y) tion 5.25). Finally, for a general v E LOO(RN), by (5.46), (5.47) and the latter case,
Jvo(x)4(x)dx= n+OO lim
fG
140
PROPERTIES OF THE DEGREE FORf SOBOLEV FUNCTIONS
= Jim =
5.5
f
Ch. 5
G, y) dy N
N
v(y)d(O, G, y) dy
R
Change of variables for Sobolev functions
Here we apply the theory of the last two sections to Sobolev functions. The first theorem is due to Marcus and Mizel (1973).
Theorem 5.28 Let M > N be two positive integers, p > N, let D C RN be an open bounded set, and let 0 E W1,n(D)M. Assume that 0 coincides with its continuous representative. Then, for every A C RN measurable set, we have A
HN(O(A))
N
C(N, p),C (A)" VA I V0(x)IDdCN(x)l P
where a = 1 - v and C(N, p) is a constant depending only on N and p.
Proof We may assume, without loss of generality, that A is an open set and let {Q3 : j E N} be a partition of A into half-open cubes. Using the Sobolev Imbedding Theorem for W1"p (see Theorem 4.45), we obtain for each of these cubes the estimate P
ma I0i(x) - iI
C'(N,P)r1-1 [IQ ,V 1(x)Ip dGN(x)J
,
where ; is the mean value of 0; over Q, r is the edge length of Q, and C'(N,p) is a constant depending only on N and p. Therefore, ¢(Qj) is contained in the mM) and having edges of length cube centred at I.1 = 2C'(N,p)r
Vmj(x)II dGN(x)1 LJ Q
I
J
and so O(Qj) is contained in the ball B. of diameter P 1, = 2IRC'(N,p)r1 p [I IV0 (x)l 'dGN(x)I
.
Q
Since I, tends to 0 when r. tends to zero, we obtain
f
00
HN(O(A)) 5 C(N,P),r, =1
If
IVO(x)I°dGN(x)I 3
J
§5.5
1=
CHANGE OF VARIABLES FOR SOBOLEV FUNCTIONS 1_.1 v
00
< C(N, p)
Lv
oo
[iJ
[r]N
j=1
j=1
141
C(N,p)LN(A)1
VA
v
IVO(x)IP dGN(x)
IDm(x)I°dGN(x)P
.
Remark 5.29 If 0 E W1,P(D)N, p > N, then by the Sobolev Imbedding Theorem (Theorem 4.45) and by Theorems 5.21 and 5.27 we conclude that ¢ is continuous, it is weakly differentiable almost everywhere in D, and it has the N-property. The following versions of Theorems 5.23 and 5.27 are due to Marcus and Mizel (1973).
Theorem 5.30 Let D C RN be an open, bounded set, let p > N, let 0 E W1,P(D)N be equal to its continuous representative, and let v E LOO(RN). For every measurable set E C D, we have
Lv o (x)I J4(x)I dx = f v(y)N(4, E, y) dy.
(5.48)
R
Proof By The Sobolev Imbedding Theorem 0 is continuous (0 E CO,o(D)N, where a = 1 - ). By Theorem 5.28, ¢ has the N-property and by Theorem 5.21, Q has a weak v differential almost everywhere. The result now follows from 0 Theorem 5.23.
As mentioned in Remark 5.24, Marcus and Mizel (1973) proved Theorem
5.30 for 0EWl.P(D)m,m>N. Theorem 5.31 Let D C RN be an open, bounded set, let p > N, and let yh E be equal to its continuous representative. If v E LOO(RN), then, for every open set G C D such that GN(8G) = 0, we have
fvo(x)J(x)dx = JRN v(y)d(e, G, y) dy P roof The result follows from Remark 5.29 and Theorem 5.27.
0
We will focus now on functions in W1,N. Due to Corollary 5.19, in what follows we identify 0 E W1.N(D)N, J,,(x) > 0 a.e. x E D, with its continuous representative.
Theorem 5.32 Let D C RN be an open, bounded set and let 0 E be a mapping such that J#(x) > 0 GN a.e. x E D. Then 0 has the N- and the N-1-properties.
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
142
Ch. 5
Proof (i) We start by showing that 0 has the N-property. Let a E D, R. > 0, be such that QR. = (al
- Ra, al + Ra) x ... x (aN - Ra, aN + Ra) CC D.
Using the argument of the proof of Theorem 5.16, we observe that for each
i E {1,...,N} there exists I; C (-R.,R.) such that L1(I;) = 0 and 0IPr(a) E W1,N(Pr'(a))N (1C(P, (a))N
for every r E (-Ra, Ra) \ Ii, where Ra, a,-1 + Ra) x {a, + r} PT(a) = (a1 - Ra, a1 + Ra) x ... x x (a:+l - Ra, ai+l + Ra,) x ... x (aN - Ra, aN + Ra ).
By Theorem 5.28 we obtain HN-1(((P,'.(a))) < +oo
for every r E (-Ra, Ra) \ I, and so, by Lemma 4.28, and Remark 4.26, we deduce that
GN(0(P'(a))) = 0
(5.49)
for every r E (- R., Ra) \ 1;. Let 9 : RN -. R be a symmetric mollifier (see Definition 1.16), such that 0 < 9(x) for every x E RN,spt(9) C B(0,1), and fore > 0 define
0,(x):= -N 9 ('),X E RN, e > 0, and q,, := 9. * 0. Then 0n E COO(D),
0n _.0 in W1'N(D)N
and, by Corollary 5.19,
4 -4 0 uniformly in QR.. By (5.49) there exists I C (0, Ra) such that L1(I) = 0 and
LN(0(0Qr(a))) = 0
(5.50)
for every r E (0, R.) \ I. Fix r E (0, R0) \ I. Claim 1. For every b E ,(Qr(a)) \ 4,(8Qr(a)) we have d(4,, Qr(a), b) Let b E RN \4(8Qr(a)) and 0 < e < dist(b, ¢(8Qr(a))). Since 4,n converges uniformly to 0 in QR., for n large enough, and by Proposition 1.7 we have d(O,, Qr(a), b) = JRN 0,(on(x) - b)Jm. (x) dx.
CHANGE OF VARIABLES FOR SOBOLEV FUNCTIONS
§5.5
143
Letting n -' +oo and by Theorem 2.3 we deduce that d(4,Qr(a),b) = JRN e(O(x) - b)Jo(x) dx,
and since J41(x) > 0,CN a.e. x E D and d(o, Q, (a), b) is an integer number, by (5.50) we deduce that d(O, Qr (a), b) > 1
for L' almost every b E RN. Claim 2. Xn converges to X GN almost everywhere, where Xn is the characteristic function of 4'n(Qr(a)) and X is the characteristic function of O(Qr(a)) Indeed, let b E RN \ O(8Qr(a)). If b ¢ ¢(Qr(a)) there exists n(x, e) E N such that I0n(x) - O(x)12 < dist(b, 4(Qr(a)) for all x E Q,-(a)
for every n > n(x, e). Therefore, b ¢ On(Qr(a)) for every n > n(x, e) and so
lim Xn(b) = X(b) n-.+oo If b E O(Qr(a))\4(8Qr(a)), by the result of Claim 1 we have d(o, Qr(a), b) >
1 and by Theorem 2.1, X(b) = I. Using the fact that d(¢, Qr(a), b) _ d(On, Qr(a), b) for n large enough, and again by Theorem 2.1, we deduce that Xn(b) = 1 and so lim Xn(b) = X(b) n+oo
Recalling that £N(i)(8Qr(a))) = 0 (see (5.50)), we obtain that Xn converges to X GN almost everywhere. Claim S. GN(O(Q,.(a))) < fQ,(a) J,6(x) dx for every r E (0, Ra).
If r E (0, Ra) \ I, using Fatou's Lemma, Theorem 5.31, and the result of Claim 2, we obtain GNWQr(a))) =
x(x) dx JRN
< lim inf in X. (x) dx n-.+00
< lim inf
N
J
n-+oo Q,.(a)
Jo (x) dx
Jj (x) dx.
(5.51)
Q,4 i)
The result for arbitrary r E (0, Ra) follows from (5.51) and the Lebesgue Monotone Convergence Theorem, where it suffices to consider an increasing
144
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
sequence rk E (0, R.) \ I such that rk Claim 4. 0 has the N-property.
Ch. 5
r.
Let A C D be such that LN(A) = 0. We may assume without loss of generality that A Cc- D. Fix e > 0. Since Jo E L1(D) there exists an open
set 0 cc D cointaining A such that
Jo
Jo(x) dx < e
and there exists a collection {QI: j E N} of half-open cubes such that {Qj: j E N} is a partition of 0 and
O=u Qj iEN (see Rudin 1966, Section 2.19). By (5.51) we have
GN(q (A)) < CN(o(C)) 00
j:CN(0(Qj)) i=1
f Jo(x) dx v
= f JJ(x) dx < e. It suffices to let a -* 0+.
(ii) We show now that q5 has the N'1-property. In fact, by part (i) and by Theorems 5.21 and 5.11, we have
J J0 (x) dx =
JN
N(O, E, y) dy
(5.52)
for every E C D. Thus, setting E = /-1(F) where GN(F) = 0, we obtain
J -'(F) J0 (x) dx = =
JRN
f
N(O, 0-1(F'), y) dy
N(O,
4-1(F), y) dy
=0 and as J4,(x) > 0 for CN a.e. X E D, we conclude that GN(¢-1(F)) = 0.
0
§5.5
CHANGE OF VARIABLES FOR SOBOLEV FUNCTIONS
145
Remark 5.33 It can be shown that if 0 E WI,N(D)N is continuous, open and discrete (i.e. 4' 1 {y} is finite, for all y E RN), then 0 satisfies the N-property. For details we refer the reader to Martio and Ziemer (1992).
The two following theorems were proved by Gold'sthein and Reshetnyak (1990), where, as usual, due to Corollary 5.19 we assume that 4, coincides with its continuous representative.
Theorem 5.34 Let D C RN be an open, bounded set and let 4, E WI,N(D)N be a mapping such that Jm > 0 GN a.e. x E D. If V E L°°(RN) then, for every measurable set E C D, we have JE
v ° 0(x)jJm(x)j dx = j v(y)N(4,, E, y) dy ^'
Proof By Theorem 5.21 0 has a weak differential almost everywhere and, by Theorem 5.32, d has the N-property. The result now follows from Theorem 5.23.
0 Theorem 5.35 Let D C RN be an open, bounded set and let 0 E W1,N(D)N be a mapping such that J# > 0 GN a.e. x E D. If v E L°°(RN), then, for every open set G C D such that GN(8G) = 0, we have JC
v o 4,(x)Jm(x) dx = j v(y)d(4,, G, y) dy.
(5.53)
N
Proof By Corollary 5.19 and Theorem 5.21, 0 is continuous and has a weak differential almost everywhere and, by Theorem 5.32, 0 has the N-property. It suffices to apply Theorem 5.27. Recently, $verak (1988) and Miiller et al. (1994), generalized Theorems 5.34 and 5.35 to a class of Sobolev mappings not necessarily continuous but under some additional regularity hypotheses on the boundary. We recall that the notion of Lipschitz boundary was introduced in Definition 4.40. Although the space Ap,q(D) has already been defined in Section 5.2, for convenience we include its description below.
Definition 5.36 Let D C RN be an open set with Lipschitz boundary, let p > N - 1, q > f-iN-1. Then Ap,a(D) := JOE Wl,P(D)N : adj(VO) E LQ(D)NXN} and
4,q (D) = {¢ E Ap,q(D) : 4(x) > 0 GN a.e. x E D}.
We recall that if p > N - 1 mappings in 4.,(D) are continuous outside sets of Hausdorff dimension less than or equal to N - p (see Remark 5.18). Also, if 0 E A,,a(D), then Jm E LI(D). In fact, from the identity
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
146
Ch. 5
J,(x)IN = V (x) adj (O(x)) we obtain I J.(x)I N= I JJ(x)I Idetadj(0(x))I S I JJ(x)I Iadj(0(x))IN
and so
E L'(D).
I Jo(x)I S I adj (-O(x))I'°
We use A to denote the exterior product (or wedge product) between vectors and we recall that the mapping
N-1) E
(RN)N-1
,
.
t1 A... AtN-1
is multilinear, alternate and, if {el, ... , eN } is the canonical basis of RN, then e1A...Ae;-1Ae:+1A...AeN=(-1)N-le,,
i=1,...,N.
It can easily be verified that if F is a N x N matrix, then ladj F) = sup {I(Fe;) A ... A (F1;N-1)I : I& A ... A tN-1I <- 11.
(5.54)
Definition 5.37 A function cP : 8D - R belongs to LP(OD) (resp. W1"P(8D)) if cp; : cp(y;, ai(y;)) belongs to LP(8D) (reap. W 1,P(8D)), for all i = 1, ... , M. If cp E W l"P(8D), then dcp is a 1-form given, in local coordinates, by
dcp =E j=1
1.dyj",
i = 1,...,M.
i
Suppose now that cp E W',P (OD; RN), let x E OD, and let Ty denote the tangent space to 8D at x. If l; E T, and if {e1,. .. , eN } is the canonical basis of RN, then N
dw(x)(t) :=E dcok(x)(t)ek k=1
We define Iadl8WI(x) := Sup {Idco(x)(S1) A ... Adcp(x)(CN-1)I A
A p,a (8D) :=
cp E W 1,P (8D)
:J Iadjawl° (x) dHN-1(x) < +oo 8D
Next we show that we can define d(¢, 8D, ) in a natural way for functions SC E W 1'P(8D)N n C(8D)N, p> N - 1.
CHANGE OF VARIABLES FOR SOBOLEV FUNCTIONS
§5.5
147
Let IF E C°O (D)N, let yo E RN \ W (8D), and let f E C°O (RN) N be such that spt f is contained in the connected component of RN \ IF (OD) which contains yo.
Choose 9 E C°° (RN)N such that div g = f (e.g. gi := C constant C) and recall that
* f, for a suitable
N
E8ex
(adjVW)i;=0, i=1,...,N
(see Exercise 1.3). By Theorems 2.3, 5.27, and Remark 1.14, we have d(`y, D, yo) f f (y) dy = f f (IF(x))dw(x) dx D
RN
=
N
r JD
_
a
i=8xj
[gi(`I'(x))(adjVW(x))11] dx
N
v x dH - x
J D iJ=1
where v denotes the outward unit normal to 8D at x (which exists HN-1 a.e. because 8D is Lipschitz). Using the notation introduced in Chapter 1, Section 3, we can write
R=
d(q',D,yo)f f(y)dy=Lw*1 d y1A...AdyN) f V (d3) = f dT' (Q) = D
D
T (Q),
(5.55)
N Q
E(-1)`_1gidy1 A... Adyi_1 Adyi+1 A... AdyN. i=1
Now let 0 E W1"P(8D)N n C(8D)N, p > N - 1, and yo E RN \'(8D). By Theorem 1.12 and (5.55), d(0, 8D, yo) will be well defined and (5.55) will hold for ¢ if we show that we may find a sequence Tn E C°O(D)N such that %P,,18D -, 0I8D uniformly and W,a - ¢ in W1,p(8D)N. To construct the approximating sequence {'P, : n E NJ, using a partition of unity and a change of coordinates we may assume that there exist a, fl > 0 and a Lipschitz function a such that
a(0) = 0, and
loll <_
,
4
D n u = (W, xN) : a(x') < xN < a(x') +,0, x' E U}
148
Ch. 5
PROPERTIES OF THE DEGREE FOR SOBOLEV FUNCTIONS
U = (-a, a)N-', U = {(x, xN) : x E U, la(i) - xNI <)3)
.
Let
a(x)). v (x) Then v E W ,,p (U)N and, by the Sobolev Imbedding Theorem, and as spt v cc U, then v E CC(U)N and we may find v,, E C,00(U)N such that v
v uniformly
and in Wl,p(U)^'. Let 'I'n(x) :_ II(xN)vn(x
where q E C,° () rI = 1 on
Then T. E
(RN)N, and, since
a(x')) = vn(x'), we conclude that WL,aIeD converges to 0 uniformly on OD and in W l,p(D)N strongly.
Theorem 5.38 Let D C RN be an open, bounded set with Lipschitz boundary and let p > N - 1, q > . Let E Ap,q(D) be such that its trace T(O) E Ap,q(8D) n C(8D)N, let yo E RN \ c(8D), and let f E C(RN) be a bounded function supported in the connected component of RN \T(O)(8D) which contains Yo
(i)
d(T (O), 8D, yo) JN f (y) dy = ID f o O(x)JJ(x) dx.
In addition, if p > N - 1, then f o O(x)JJ(x) dx = j f (y)d(T (b), 8D, y) dy.
JD (iii) IfmEAy(D), then JE
f o 4(x)Jm(x) dx =
N
LN
f (y)N(O, E, y) dy
for every measurable set E C D. Remark 5.39 (i) Theorem 5.38 was first proved by 9verak (1988) for q > q--P and later
extended by Miller et al. (1994) to q >. We refer the reader to these papers for the proof.
(ii) If p > N - 1, then T(O) has a continuous representative by the Sobolev Imbedding Theorem. In this case, by the Tietze Extension Theorem (see Theorem 1.15) there exists a continuous extension 0 : D -. RN of T(O) and, by Theorem 2.4, given any other continuous extension : D RN of T(O), we have D, y) = D, y) for all y E RN \ T(0) (OD). This defines, in a natural way, d(T(O), 8D, y) for y E RN \ T(O)(8D), in agreement with the result of (5.55).
s
LOCAL INVERTIBILITY OF SOBOLEV FUNCTIONS AND APPLICATIONS In this chapter we show that functions with positive jacobian are locally invertible, with inverse in W1" (see Theorem 6.1). Under suitable growth hypotheses, we are able to improve the regularity of the inverse function to W1,, for some s > 1. In addition, we give a necessary condition for Sobolev functions to be invertible. As an application of the local invertibility property, in Section 6.2 we study the weak lower semicontinuity of functionals E of the form
E(u,v) := / W (Vu(x)(Vv(x))-') dx,
n
defined on the set Bp,q = {(u,v) E W1'p(1l)N X W1"9(1l)N : detVv(x) = 1 a.e x E 12),
where 1