Sobolev Spaces. Chapter Hölder spaces
|
|
- Audra Oliver
- 5 years ago
- Views:
Transcription
1 Chapter 2 Sobolev Spaces Sobolev spaces turn out often to be the proper setting in which to apply ideas of functional analysis to get information concerning partial differential equations. Here, we collect a few basic results about Sobolev spaces. A general reference to this topic is Adams [1], Gilbarg- Trudinger [29], or Evans [26]. 2.1 Hölder spaces Assume R n is open and 0 < γ 1. Definition write (i) If u : R is bounded and continuous, we u C( ) := sup u(x). x (ii) The γ th -Hölder semi-norm of u : R is [u] C 0,γ ( ) := and the γ th -Hölder norm is { u(x) u(y) } sup x,y, x =y x y γ, u C 0,γ ( ) := u C( ) + [u] C 0,γ ( ). (iii) The Hölder space C k,γ ( ) 11
2 12 CHAPTER 2. SOBOLEV SPACES consists of all functions u C k ( ) for which the norm u C k,γ ( ) := D α u C( ) + [D α u] C 0,γ ( ) (2.1.1) is finite. α k α =k Theorem The space of functions C k,γ ( ) is a Banach space. Proof. It is easy to verify that C k,γ ( ) is a norm (Exercise). It suffices to check the completeness of C k,γ ( ). 1. Construction of limit functions. Let {u m } m=1 be a Cauchy sequence in Ck,γ ( ), i.e., u m u n C k,γ ( ) 0, as m,n +. Since any Cauchy sequence is a bounded sequence, so u m C k,γ ( ) is uniformly bounded. Particularly, u m C( ) is uniformly bounded, that is, {u m (x)} is a uniformly bounded sequence. Furthermore, the boundedness of Du m or C( ) [Dα u m ] C 0,γ ( ) implies the equicontinuity of the sequence {u m (x)}. The Arzela-Ascoli theorem implies there exists a subsequence, still denoted by {u m } m=1, which converges to a bounded continuous function u(x) uniformly in. The same argument can be repeated for any derivative of D α u m of order up to and including k. That is, there exist functions u α C( ), such that 2. D α u = u α. D α u m u α, uniformly in, α k. Deduce by induction, first let α = (1, 0,, 0), since the series u 1 (x) + + j=1 uniformly in and the series D α u 1 (x) + + j=1 (u j+1 u j ) = lim u m+1(x) = u(x), m (D α u j+1 D α u j ) = lim m Dα u m+1 (x) = u α (x),
3 2.1. HÖLDER SPACES 13 uniformly in. The theory of series implies that u(x) is differentiable in and D α u = u α. The induction method shows that D α u = u α is valid for all multi-index α such that α k. 3. u C k,γ ( ). It suffices to show that for any multi-index α such that α = k, there holds [D α u] C 0,γ ( ) < +. For any x,y, x y, since D α u m D α u uniformly in, there exists a N large enough, such that: Calculate: D α u N (z) D α u(z) 1 2 x y γ, z. D α u(x) D α u(y) D α u(x) D α u N (x) + D α u N (x) D α u N (y) + D α u N (y) D α u(y) x y γ + x y γ D α u N C 0,γ ( ) (1 + sup D α u m C 0,γ ( ) ) x y γ, m Thus the boundedness of D α u m C 0,γ ( ) implies [Dα u] C 0,γ ( ) < u m u in C k,γ ( ). It also suffices to show that for any multi-index α such that α = k, there holds [D α u m D α u] C 0,γ ( ) 0, as m. In fact, for any x,y, x y, there holds D α u m (x) D α u(x) (D α u m (y) D α u(y)) lim sup D α u m (x) D α u n (x) (D α u m (y) D α u n (y)) n x y γ lim n [Dα u m D α u n ] C 0,γ ( ). Since {u m } m=1 is a Cauchy sequence in Ck,γ ( ), [D α u m D α u] C 0,γ ( ) lim n [Dα u m D α u n ] C 0,γ ( ) 0 as m 0.
4 14 CHAPTER 2. SOBOLEV SPACES 2.2 Sobolev spaces L p spaces The L p () space consists of all the function u : R such that u p dx <, where 1 p ; with norm ( u p dx ) 1/p, if 1 p <, u L p () = esssup u, if p =. In order to deduce some properties of L p space, let us start from some basic inequalities, which will be used latter. 1 Lemma (Young inequality) Let 1 < p, q <, p + 1 q = 1, then ab ap p + bq, a,b > 0. q Proof. Method 1. The mapping x e x is convex, and consequently, ab = e log a+log b = e 1 p log ap + 1 q log bq 1 p elog ap + 1 q elog bq = ap p + bq q. Method 2. Let y = x p 1,x 0, then x = y 1 p 1 = y q 1, Consider the area of the region restricted by y = 0, x = a, and curve y = x p 1 is I = a 0 x p 1 dx = ap p ; and the area of the region restricted by x = 0, y = b, and curve x = y q 1 is II = b 0 y q 1 dy = bq q ; The area of the rectangle [0,a] [0,b] is ab, Thus ab I+II ap p + bq q, and the equality holds if and only if b = a p 1. It is easy to obtain the following Young inequality with ε (Exercise):
5 2.2. SOBOLEV SPACES 15 Lemma (Young inequality with ε) Let 1 < p, q <, 1 1 q = 1, then ab ε ap p + 1 b q ε q/p, a,b > 0. q p + Lemma (Hölder inequality) Let 1 p, q, 1 p + 1 q = 1, then if u L p (), v L q (), we have uv dx u L p () v L q (). Proof. 1. In the cases where p = or q =, it is easy, because there exists a subset, with =, such that sup u = u L () or sup v = v L (). 2. In the cases where 1 < p,q <. By the homogeneity of the inequality, we may assume that u L p () = v L q () = 1. Then the Young inequality implies that uv dx 1 p u p dx + 1 q u q dx = 1 = u L p () v L q (). By induction argument, it is easy to show the following Generalized Hölder inequality (Exercise): Lemma (Generalized Hölder inequality) Let 1 p 1,,p m 1, p p m = 1, then if u k L p k() for k = 1,,m, we have u 1 u m dx m Π k=1 u k L p k(). Lemma (Minkowski inequality) Assume 1 p, u, v L p (), then u + v L p () u L p () + v L p ().
6 16 CHAPTER 2. SOBOLEV SPACES Proof. From the Hölder inequality, we have u + v p L p () = u + v p dx u + v p 1 ( u + v )dx ( ) u + v (p 1) p p 1 ( p p 1 dx ( = u + v p 1 L p () ( u L p () + v L p ()). u p dx) 1/p + ( v p dx) 1/p) Lemma (Interpolation inequality for L p - norms) Assume 1 s r t, and 1 r = θ s + (1 θ) t. Suppose also u L s () L t (). Then u L r (), and u L r () u θ L s () u (1 θ) L t (). Proof. From the Hölder inequality, we have u r dx = u θr u (1 θ)r dx ( u θr ) s θr ( θr dx s u (1 θ)r t (1 θ)r dx ) (1 θ)r t. Theorem (Completeness of L p ()) L p () is a Banach space if 1 p. Proof. It is easy to check that L p () is a norm (Exercise). It suffices to verify the completeness of L p () 1. Construction of the limit function. Assume that 1 p < and let {u m } be a Cauchy sequence in L p (). There is a subsequence {u mj } of {u m } such that u mj+1 u mj p 1/2 j, j = 1,2.
7 2.2. SOBOLEV SPACES 17 Let v m (x) = m u mj+1 (x) u mj (x), then j=1 v m p m u mj+1 u mj p j=1 m 1/2 j < 1. Putting v(x) = lim v m(x), which may be infinite for some x, we obtain m by the Fatou Lemma that v(x) p dx lim inf v m (x) p dx 1. m Hence v(x) < a.e. in and its absolutely convergence implies the series u m1 + (u mj+1 (x) u mj (x)) (2.2.1) j=1 converges to a limit u(x) a.e. in. Let u(x) = 0 whenever it is undefined as the limit of series (2.2.1). Thus j=1 lim u m j (x) = u(x) a.e. in. j 2. u L p () and u m u in L p (). For any ε > 0, there exists N such that if m,n N, then u m u n p < ε. Hence by the Fatou Lemma again, we have u m (x) u(x) p dx = lim u m(x) u mj (x) p dx j lim inf u m (x) u mj (x) p dx j ε p. If m N, thus u = (u u m ) + u m L p (), and u m u p 0 as m. 3. In the case where p =, let {u m } be a Cauchy sequence in L (), then there exists a subset A, with A = 0, such that if x \ A, then for n,m = 1,, there holds u m (x) u m, u m (x) u n (x) u m u n. That is, u m (x) is uniformly bounded in \ A, and u m (x) is a Cauchy sequence for any x \A, thus u m (x) converges uniformly on \A to
8 18 CHAPTER 2. SOBOLEV SPACES a bounded function u(x). Set u(x) = 0 if x A. We have u L () and u m u 0 as m. Theorem (Riesz Representation Theorem for L p ()) Let 1 < p < and L [L p ()] 1. Then there exists v L p (), p + 1 p = 1 such that for all u L p (), there holds L(u) = u(x)v(x) dx. Moreover, v L p () = L [L p ()], that is, [L p ()] L p (). Theorem (Riesz Representation Theorem for L 1 ()) Let L [L 1 ()]. Then there exists v L () such that for all u L 1 (), there holds L(u) = u(x)v(x) dx. Moreover, v L () = L [L 1 ()], that is, [L 1 ()] L (). Theorem (Reflexivity of L p ) L p () is reflexive if and only if 1 < p <. Theorem C 0 () is dense in Lp () if 1 p <. Theorem (Separability of L p ()) L p () is separable 1 p < Weak derivatives Let C0 () denotes the space of infinitely differentiable functions φ : R, with compact support in. We will call a function φ belonging to C0 () a test function.
9 2.2. SOBOLEV SPACES 19 Motivation for definition of weak derivatives. Assume we are given a function u C 1 (). Then if ϕ C0 (), we see from the integration by parts that uφ xi dx = u xi φdx (i = 1,,n). (2.2.2) More general now, if k is a positive integer, u C k (), and α = (α 1,,α n ) is a multi-index of order α = α α n = k, then u(d α φ)dx = ( 1) α (D α u)φdx. (2.2.3) We next examine that formula (2.2.3) is valid for u C k (), and ask whether some variant of it might still be true even if u is not k times continuously differentiable. Note that the left-hand side of (2.2.3) make sense if u is only locally summable: the problem is rather that if u is not C k, then the expression D α u on the right-hand side of (2.2.3) has no obvious meaning. We overcome this difficulty by asking if there exists a locally summable function v for which formula (2.2.3) is valid, with v replacing D α u: Definition Suppose u,v L 1 loc (), and α is a multi-index. We say that v is the α th -weak partial derivative of u, written provided that D α u = v, ud α φdx = ( 1) α for all test functions ϕ C 0 (). vφ dx (2.2.4) Lemma (Uniqueness of weak derivative) The weak partial derivative of u, if it exists, is uniquely defined up to a set of measure zero. Example Let n = 1, = (0,2), and { x, if 0 < x 1, u(x) = 1, if 1 x < 2.
10 20 CHAPTER 2. SOBOLEV SPACES Define { 1, if 0 < x 1, v(x) = 0, if 1 x < 2. From the definition , u = v. (Exercise) Example Let n = 1, = (0,2), and { x, if 0 < x 1, u(x) = 2, if 1 x < 2. We assert u does not exist in the weak sense. (Exercise) Definition of Sobolev spaces Fix 1 p and let k be a nonnegative integer. We define now certain function spaces, whose members have weak derivatives of various orders lying in various L p spaces. Definition i) The Sobolev space W k,p () consists of all locally summable functions u : R such that for each multi-index α with α k, D α u exists in the weak sense and belongs to L p (). ii) If u W k,p (), we define its norm to be ( D α u p dx ) 1/p, (1 p < ), u W k,p () := α k ess sup D α u, (p = ). α k Definition (Convergence in W k,p ()) i) Let {u m } m=1, u W k,p (). We say u m converges (strongly) to u in W k,p (), written u m u in W k,p (), provided that lim u m u m W k,p () = 0.
11 2.2. SOBOLEV SPACES 21 ii) We write to mean for each U. u m u in W k,p loc () u m u in W k,p (U), Definition We denote by the closure of C 0 () in W k,p (). W k,p 0 () Remark (i) If p = 2, we usually write H k () = W k,2 (), H k 0() = W k,2 0 (), (k = 0,1, ). The letter H is used, since - as we will see - H k () is a Hilbert space. Note that H 0 () = L 2 (). (ii) We henceforth identity functions in W k,p () which agree almost everywhere. Example Let = B(0,1), the open unit ball in R n, and u(x) = x α (x,x 0), α > 0. Then u W 1,p () if and only if 0 < (α + 1)p < n. In particular u W 1,p () for each p n. (Exercise) Example Let {r k } k=1 B(0,1) R n. Set be a countable, dense subset of = u(x) = k=1 1 2 k x r k α (x ). Then u W 1,p () if and only if (α + 1)p < n. If 0 < (α + 1)p < n, we see that u belongs to W 1,p () and yet is unbounded on each open subset of. (Exercise) Theorem (Properties of weak derivatives) Assume u,v W k,p (), α k. Then
12 22 CHAPTER 2. SOBOLEV SPACES (i) D α u W k α,p () and D β (D α u) = D α (D β u) = D α+β u for all multi-indices α, β with α + β k; (ii) For each λ, µ R, λu + µv W k,p () and D α (λu + µv) = λd α u + µd α v, α k; (iii) If is an open subset of, then u W k,p ( ); (iv) If ξ C 0 (), then ξu W k,p () and D α (ξu) = β α ( ) α D β ξd α β u (Leibniz formula), β where ( ) α = β α! β!(α β)!. Theorem (Sobolev spaces as function spaces) For each k = 0,1, and 1 p, Sobolev space W k,p () is a Banach space; W k,p () is reflexive if and only if 1 < p < ; For 1 p <, the subspace W k,p C () is dense in W k,p (), thus W k,p () is separable; Moreover, W k,2 () is a Hilbert space with scalar product (u, v) W k,2 = α k D α ud α v dx. Proof. 1. It is easy to check that W k,p () is a norm (Exercise). Next to show that W k,p () is complete. 2. Construction of limit functions. Assume {u m } m=1 is a Cauchy sequence in W k,p (). Then for each α k, {D α u m } m=1 is a Cauchy sequence in Lp (). Since L p () is complete, there exist functions u α L p (), such that for each α k. In particular, D α u m u α, in L p (), u m u (0,,0) =: u in L p (). 3. u W k,p () and D α u = u α, α k.
13 2.2. SOBOLEV SPACES 23 In fact, let ψ C0 (), then ud α ψ dx = lim m 4. u m u in W k,p (). u m D α ψ dx = lim m ( 1) α (D α u m )ψ dx = u α ψ dx. Since D α u m u α = D α u in L p () for all α k, it follows that u m u in W k,p (). 0 α k 5. Regard W k,p () as a closed subspace of a Cartesian product space of spaces L p (): Let N = N(n,k) = 1 be the number of multiindexes α satisfying 0 α k. For 1 p, let L p N = Π N L p (), j=1 the product norm of u = (u 1,,u N ) in L p N being given by ( N u j p 1/p, p) if 1 p <, u L p = j=1 N max u j, if p =. 1 j N Since a closed subspace of a reflexive (Resp. separable, uniformly convex) Banach space is also reflexive (Resp. separable, uniformly convex), thus W k,p () is reflexive if and only if 1 < p < ; and W k,p () is separable if 1 p <. Furthermore, ( C () ) N is dense in L p N and thus in W k,p () if 1 p <. 6. If p = 2, define the scalar product as (u,v) W k,2 = D α ud α v dx. α k It is easy to verify W k,2 = H k is a Hilbert space Inequalities Theorem (Gagliardo-Nirenberg-Sobolev inequality) Let 1 p < n, p = np. There exists a constant C, depending only on n p
14 24 CHAPTER 2. SOBOLEV SPACES p and n, such that for all u C 1 0 (Rn ). Proof. 1. First assume p = 1. u L p (R n ) C Du L p (R n ), (2.2.5) Since u has compact support, for each i = 1,2,n and x R n we have and so u(x) u(x) = + Consequently n n u(x) n 1 Π xi u xi (x 1,,x i 1,y i,x i+1,,x n )dy i, Du(x 1,,x i 1,y i,x i+1,,x n ) dy i, i = 1,2,n. i=1 ( + Integrate this inequality with respect to x 1 : + u(x) + n Π i=1 ( + = + n n 1 dx1 n Π i=2 ( + ( + Du(x 1,,x i 1,y i,x i+1,,x n ) dy i ) 1 n 1. Du(x 1,,x i 1,y i,x i+1,,x n ) dy i ) 1 n 1 dx 1 Du(y 1,x 2,,x n ) dy 1 ) 1 n 1 ( + Du dy 1 ) 1 n 1 ( n Π i=2 Du(x 1,,x i 1,y i,x i+1,,x n ) dy i ) 1 n Du dx 1 dy i ) 1 n 1, (2.2.6) the last inequality follows from the Generalized Hölder inequality. Now integrate (2.2.6) with respect to x 2 : + + ( + n u(x) n 1 dx1 dx 2 + ) 1 + n 1 Du dx 1 dy 2 n Π i=1,i 2 1 n 1 Ii dx 2, dx 1
15 2.2. SOBOLEV SPACES 25 where I 1 = + Du dy 1, I i = + + Du dx 1 dy i,i = 3,,n. Applying once more the Generalized Hölder inequality, we find + + ( + n Π i=3 u(x) n n 1 dx1 dx 2 + ( + Du dx 1 dy 2 ) ( + + n 1 Du dx 1 dx 2 dy i ) 1 n 1. Du dy 1 dx 2 ) 1 n 1 We continue by integrating with respect to x 3,,x n, eventually to find n n ( + + ) 1 n 1 u(x) n 1 dx Π Du dx 1 dx n R n i=1 ( ) n n 1 = Du dx. R n This is conclusion for p = 1. (2.2.7) 2. Consider now the case that 1 < p < n. We apply (2.2.7) to v := u γ, where γ > 1 is to be selected. Then ( Rn ) u(x) γn n 1 n n 1 dx We choose γ so that D u γ dx = γ u γ 1 Du dx R n R n γ ( R n u (γ 1) p p 1 dx ) p 1 p ( R n Du p) 1 p. γn n 1 = (γ 1) p. That is, we get p 1 γ = p(n 1) n p γn in which case n 1 = (γ 1) p p 1 = becomes (2.2.5). > 1, (2.2.8) np n p = p. Thus, (2.2.8)
16 26 CHAPTER 2. SOBOLEV SPACES Remark The exponent p = np is called critical Sobolev n p exponent, because it is the unique exponent q = p to make the following inequality: u L q (R n ) C Du L p (R n ) be true for all u C 1 0 (Rn ). Proof. For any u C 1 0 (Rn ) and λ > 0, define the scaled function u λ (x) = u(λx). Direct calculations show that and u λ L q (R n ) = λ n q u L q (R n ) Du λ L p (R n ) = λ 1 n p Du L p (R n ). If the inequality in remark is true for all u C 1 0 (Rn ), replacing u by u λ, there holds u L q (R n ) Cλ 1 n p + n q Du L p (R n ). If 1 n p + n q 0, upon sending λ to either 0 or, we will get C =. Theorem (Poincare inequality for W 1,p 0 ()) Assume is a bounded, open subset of R n, Suppose u W 1,p 0 () for some 1 p < n. Then there exists a constant C, depending only on p, n and, such that u L q () C Du L p (), (2.2.9) for each q [1,p ], the constant C depending only on p,q,n and. Proof. Since u W 1,p 0 (), then exists a sequence of functions {u m } m=1 C0 1,p () converging to u in W0 (). We extend each function u m (x) to be 0 on R n \ and apply Theorem to discover u L p () C Du L p (). Since <, the Hölder inequality implies u L q () C u L p () if 1 q p. Remark In view of Theorem , on W 1,p 0 (), the norm Du L p () is equivalent to u W 1,p 0 () if is bounded.
17 2.2. SOBOLEV SPACES 27 Theorem (Morrey inequality) Assume n p <, γ := 1 n. Then there exists a constant C, depending only on p and n, p such that for all u C 1 (R n ). u C 0, γ (R n ) C u W 1,p (R n ), (2.2.10) Proof. 1. First choose any ball B(x,r) R n. We claim there exists a constant C, depending only on n, such that Du(y) u(x) u(y) dy C dy. (2.2.11) y x n 1 B(x,r) B(x,r) To prove this, fix any point w B(0,1). Then if 0 < s < r, there holds u(x + sw) u(x) = s d dt u(x + tw)dt Hence B(0,1) = u(x + sw) u(x) ds = 0 s 0 s 0 s 0 s 0 Du(x + tw) w dt Du(x + tw) dt. B(0,1) B(0,1) Du(x + tw) dsdt Du(x + tw) tn 1 dsdt. tn 1 Let y = x + tw, so that t = x y. Then converting from polar coordinates, we have Du(y) u(x + sw) u(x) ds dy B(0,1) B(x,s) x y n 1 Du(y) dy. x y n 1 B(x,r) Multiply by s n 1 and integrate from 0 to r with respect to s: u(x) u(y) dy rn Du(y) dy. n y x n 1 B(x,r) B(x,r)
18 28 CHAPTER 2. SOBOLEV SPACES It follows (2.2.11). 2. sup u C u W 1,p (R n ). R n Now fix x R n. We apply (2.2.11) as follows: u(x) u(x) u(y) dy + u(y) dy B(x,1) B(x,1) Du(y) C B(x,1) y x n 1 dy + C u L p (B(x,1)) ( dy C Du L p (R n ) B(x,1) x y (n 1) p p 1 C u W 1,p (R n ). ) p 1 p The last estimate holds since p > n implies (n 1) p p 1 B(x,1) dy x y (n 1) p p 1 As x R n is arbitrary, (2.2.12) implies 3. [u] C 0, 1 n/p (R n ) C Du L p (R n ). <. + C u L p (R n ) (2.2.12) < n; so that sup R n u C u W 1,p (R n ). (2.2.13) Choose any two points x,y R n and write r := x y. Let W := B(x,r) B(y,r). Then u(x) u(y) u(x) u(z) dz + u(y) u(z) dz. (2.2.14) W On the other hand, (2.2.11) allows us to estimate u(x) u(z) dz C u(x) u(z) dz W B(x,r) C Du L p (R n ) ( W dz B(x,1) x z (n 1) p p 1 C ( r n (n 1) p ) p 1 p 1 p Du L p (R n ) ) p 1 p = Cr 1 n p Du L p (R n ). (2.2.15)
19 2.2. SOBOLEV SPACES 29 Similarly, there holds u(y) u(z) dz Cr 1 n p Du L p (R n ). W Substituting this estimate and (2.2.15) into (2.2.14) yields u(x) u(y) Cr 1 n p Du L p (R n ) = C x y 1 n p Du L p (R n ). Thus [u] C 0, 1 n/p (R n ) = sup { u(x) u(y) } C Du L x =y x y 1 n/p p (R n ). This inequality and (2.2.13) complete the proof Embedding theorems and Trace theorems Definition Let (X, X ), (Y, Y ) be Banach spaces. X is (continuously) embedded into Y, denoted X Y, if there exists an injective linear map i : X Y and a constant C such that i(x) Y C x X, x X. X is compactly embedded into Y, denoted X Y, if i maps bounded subsets of X into precompact subsets of Y. Theorem (Exercise) (i) For R n with Lebesgue measure L n () <, 1 p < q, we have L q () L p (). This ceases to be true if L n () = ; (ii) Suppose is a precompact domain in R n, let m = 0,1,, and 0 α < β 1. Then C m,β ( ) C m,α ( ) compactly. Theorem (Sobolev embedding theorem) Let R n be a bounded domain with Lipschitz boundary, k N, 1 p. Then the following hold: (i) If kp < n, then W k,p () L q () for 1 q p = embedding is compact, if q < np n kp ; np n kp ; the
20 30 CHAPTER 2. SOBOLEV SPACES (ii) If 0 m < k n p < m + 1, then W k,p () C m,α ( ), for 0 α k m n p ; the embedding is compact, if α < k m n p. Proof. 1. The embedding of the case where kp < n. Assume that kp < n and u W k,p (). Then D α u L p () for all α = k. The Gagliardo-Nirenberg-Sobolev inequality implies D β u L p 1() C u W k,p (), for β = k 1, p 1 = np n p, so u W k 1,p 1 (). Similarly, we find u W k 2,p 2 (), where p 2 = np 1 = np. Continuing, we eventually discover after k steps n p 1 n 2p that W 0,p k() = L p k(), for p k = np n 1 = np n p n 1 n kp, and u L p k() C u W k,p (). Since is bounded, thus for any 1 q p = np n kp, W k,p () L q (). 2. The compactness of embedding. That is to show that if {u m } m=1 is a bounded sequence in W k,p (), there exists a subsequence {u mj } j=1 which converges in Lq (). For simplicity, we just prove the case k = 1. By induction argument, one get the proof of general case. By extension argument, without loss of generality assume that = R n and the functions {u m } m=1 all have compact support in some bounded open set U R n, moreover, Let us first study the smooth functions: sup u m W k,p (U) <. (2.2.16) m u ε m := η ε u m (ε > 0,m = 1,2, ), where η ε := 1 ε nη(x ) denotes the usual mollifier and η satisfies ε η C0 (Rn ), η 0, η(x)dx = 1. R n A concrete example of η is 1 Cexp( η(x) := x 2 ), if x < 1, 1 0, if x 1,
21 2.2. SOBOLEV SPACES 31 and constant C > 0 is selected so that η(x)dx = 1. We may R n suppose that the functions {u ε m} m=1 all have support in U as well. 3. Claim u ε m u m in L q (U) as ε 0, uniformly in m. (2.2.17) To prove this claim, we first note that if u m is smooth, then u ε m (x) u m(x) = η(y)(u m (x εy) u m (x))dy = B(0,1) B(0,1) = ε Thus u ε m(x) u m (x) dx ε U ε 1 η(y) B(0,1) B(0,1) U 0 η(y) η(y) d dt u m(x εty)dtdy Du m (z) dz. Du m (x εty) y dtdy. U Du m (x εty) dxdtdy By approximation this estimate holds if u m W 1,p (U). Hence u ε m u m L 1 (U) ε Du m L 1 (U) ε Du m L p (U), the latter inequality holds since U is bounded. Owing to (2.2.16) we thereby discover u ε m u m in L 1 (U) as ε 0, uniformly in m. (2.2.18) But then since 1 q < p, we using the Interpolation inequality for L p -norm that u ε m u m L q (U) u ε m u m θ L 1 (U) uε m u m 1 θ L p (U), where 1 (1 θ) = θ + q p, 0 < θ 1. Consequently, (2.2.16) and the Gagliardo-Nirenberg-Sobolev inequality imply u ε m u m L q (U) C u ε m u m θ L 1 (U) ;
22 32 CHAPTER 2. SOBOLEV SPACES whence assertion (2.2.17) follows from (2.2.18). 4. Next we claim for each fixed ε > 0, the sequence {u ε m } m=1 is uniformly bounded and equi-continuous. (2.2.19) Indeed, if x R n, then u ε m (x) for m = 1,2,. Similarly Du ε m(x) B(x,ε) η ε (x y) u m (y) dy η ε L (R n ) u m L 1 (U) C ε n <, B(x,ε) Dη ε (x y) u m (y) dy Dη ε L (R n ) u m L 1 (U) C <, εn+1 for m = 1, 2,. Thus the claim (2.2.19) follows these two estimates. 5. Now fix δ > 0. We will show that there exists a subsequence {u mj } j=1 of {u m} m=1 such that lim sup u mj u mk L q (U) δ. (2.2.20) j,k To see this, let us first employ assertion (2.2.17) to select ε > 0 so small that u ε m u m L q (U) δ/2, (2.2.21) for m = 1,2,. We now observe that since functions {u m } m=1, and thus functions {u ε m } m=1, have support in some fixed bounded set U Rn, we may use (2.2.19) and the Arzela-Ascoli theorem, to obtain a subsequence {u ε m j } j=1 {uε m} m=1 which converges uniformly on U. In particular therefore lim sup u ε m j u ε m k L q (U) = 0. (2.2.22) j,k Then (2.2.21) and (2.2.22) imply (2.2.20).
23 2.2. SOBOLEV SPACES We next employ assertion (2.2.20) with δ = 1, 1 2, 1, and use 3 the standard diagonal argument to extract a subsequence {u ml } l=1 of {u m } m=1 such that lim sup u ml u mk L q (U) = 0. l,k Conclusion (i) of theorem is proved by steps 1-6. Next to prove conclusion (ii) of theorem. 7. Assume that 0 m < k n p < m + 1. Then as above we see u W k l,r (), (2.2.23) for r = np n lp provided that lp < n. We choose the integer l 0 = [ n p ]. Consequently, (2.2.23) holds for r = np > n. Hence (2.2.23) and n pl 0 Morrey inequality imply that D α u C 0,1 n r () for all α k l 0 1. Observe also that 1 n r = 1 n p +l 0 = [ n p ]+1 n p. Thus u Cm, γ ( ) with m = k l 0 1 = k [ n p ] 1, γ = 1 n r = [n p ] + 1 n, and the p stated estimate follows easily. 8. The Arzela-Ascoli theorem implies the compactness of embedding W k,p () C m,α ( ) provided that α < γ = k m n p. Denote (u) = udx = average of u over. Theorem (Poincare inequality for W 1,p ()) Let R n be bounded and connected, with C 1 boundary. Assume 1 p. Then there exists a constant C, depending only on p, n and, such that u (u) L p () C Du L p (), (2.2.24) for all u W 1,p (R n ). Proof. Argue by contradiction. If the stated estimate is false, that is, for each integer k = 1,2,, there would exist a function u k W 1,p () such that u k (u k ) L p () > k Du k L p (). (2.2.25)
24 34 CHAPTER 2. SOBOLEV SPACES Normalize by defining v k := u k (u k ), k = 1,2,. u k (u k ) L p () Then, there holds and from (2.2.25), we have (v k ) = 0, v k L p () = 1, (2.2.26) Dv k L p () < 1, k = 1,2,. (2.2.27) k Particularly, {v k } k=1 is a bounded in W 1,p (). From the compact embedding, there exists a subsequence {v kj } j=1 {v k} k=1, and a function v L p () such that v kj v in L p (). From (2.2.26), it follows that (v) = 0, v L p () = 1. On the other hand, (2.2.27) implies that for every ϕ C0 (), there holds vϕ xi dx = lim v kj ϕ xi dx = lim (v kj ) xi ϕdx = 0, j j consequently, v W 1,p () and Dv = 0 a.e. in. Thus v is constant, since is connected, furthermore, (v) = 0, hence v c = 0, which contradicts the fact that v L p () = 1. Theorem (Poincare inequality for a ball) Suppose 1 p < n. Then there exists a constant C, depending only on p and n, such that u (u) x,r L p (B(x,r)) Cr Du L p (B(x,r)), (2.2.28) holds for each ball B(x,r) R n and each function u W 1,p 0 (B(x,r)). Proof. The case = B(0,1) follows from Theorem In general, if u W 1,p 0 (B(x,r)), set v(y) := u(x + ry), (y B(0,1)).
25 2.2. SOBOLEV SPACES 35 Then v W 1,p 0 (B(0,1)), and there holds v (v) 0,1 L p (B(0,1)) C Dv L p (B(0,1)), Changing variables, we recover estimate (2.2.28). Lemma (Poincare-Sobolev inequality) For any ε > 0 there exists a C = C(ε,n) such that for u H 1 (B 1 ) with {x B1 ;u = 0} ε B1, there holds u 2 C Du 2. B 1 B 1 Proof. Suppose not. Then there exists a sequence {u m } H 1 (B 1 ) such that {x B1 ;u m = 0} ε B1, and B 1 u 2 m = 1, B 1 Du m 2 0 as m. Hence we may assume u m u 0 H 1 (B 1 ) strongly in L 2 (B 1 ) and weakly in H 1 ( (B 1 ). Then lim Dum 2 D(u m u 0 ) 2) = Du 0 2 and m Du 0 2 lim Du m 2 = 0. Thus u 0 is a nonzero constant. So m 0 = lim u m u 0 2 lim u m u 0 2 m B m 1 {u m=0} u 0 2 inf {um = 0} > 0. m This contradiction completes the proof. Definition For a domain with C k -boundary = Γ, k N,1 < p <, denote W k 1 p,p (Γ) as the set of equivalent classes { {u}+ W k,p 0 (); u W k,p () }, endowed with norm u Γ W k 1 p,p (Γ) = inf { v W k,p () : u v W k,p 0 () }. The elements of W k 1 p,p (Γ) is call the traces u Γ of functions u W k,p ().
26 36 CHAPTER 2. SOBOLEV SPACES Theorem (Trace Theorem) Assume is a domain with C k - boundary = Γ, k N,1 < p <. Then W k 1 p,p (Γ) is a Banach space. Theorem (Extension Theorem) For any domain with C k - boundary = Γ, k N,1 < p <, there exists a continuous linear extension operator ext : W k 1 p,p (Γ) W k,p () such that ( ext(u) ) Γ = u, for all u W k 1 p,p (Γ). Theorem Suppose is a domain with C k -boundary = Γ, k N,1 < p <. Then W k,p (Γ) W k 1 p,p (Γ) W k 1,p (Γ) and both embeddings are compact. EXERCISES 1. Prove The Young inequality with ε - Lemma Prove the generalized Hölder inequality - Lemma Complete Example Complete Example Complete Example Complete Example Verify C k,γ ( ), L p () and W k,p () are norms. 8. Prove Theorem
************************************* Partial Differential Equations II (Math 849, Spring 2019) Baisheng Yan
************************************* Partial Differential Equations II (Math 849, Spring 2019) by Baisheng Yan Department of Mathematics Michigan State University yan@math.msu.edu Contents Chapter 1.
More informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
More informationPartial Differential Equations, Convexity and Weak Lower Semi-Continuity
niversity of trecht Bachelor Thesis Partial Differential Equations, Convexity and Weak Lower Semi-Continuity Author: Koen Vernooij Supervisor: Dr.Fabian Ziltener July 24, 2015 Abstact This thesis is concerned
More informationFunctional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...
Functional Analysis Franck Sueur 2018-2019 Contents 1 Metric spaces 1 1.1 Definitions........................................ 1 1.2 Completeness...................................... 3 1.3 Compactness......................................
More informationAn introduction to some aspects of functional analysis
An introduction to some aspects of functional analysis Stephen Semmes Rice University Abstract These informal notes deal with some very basic objects in functional analysis, including norms and seminorms
More informationNotes on Sobolev Spaces A. Visintin a.a
Notes on Sobolev Spaces A. Visintin a.a. 2017-18 Contents: 1. Hölder spaces. 2. Regularity of Euclidean domains. 3. Sobolev spaces of positive integer order. 4. Sobolev spaces of real integer order. 5.
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationLectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.
Lectures on Sobolev Spaces S. Kesavan The Institute of Mathematical Sciences, Chennai. e-mail: kesh@imsc.res.in 2 1 Distributions In this section we will, very briefly, recall concepts from the theory
More informationAppendix A Functional Analysis
Appendix A Functional Analysis A.1 Metric Spaces, Banach Spaces, and Hilbert Spaces Definition A.1. Metric space. Let X be a set. A map d : X X R is called metric on X if for all x,y,z X it is i) d(x,y)
More information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationTheory of PDE Homework 2
Theory of PDE Homework 2 Adrienne Sands April 18, 2017 In the following exercises we assume the coefficients of the various PDE are smooth and satisfy the uniform ellipticity condition. R n is always an
More informationMATH 426, TOPOLOGY. p 1.
MATH 426, TOPOLOGY THE p-norms In this document we assume an extended real line, where is an element greater than all real numbers; the interval notation [1, ] will be used to mean [1, ) { }. 1. THE p
More informationUnbounded operators on Hilbert spaces
Chapter 1 Unbounded operators on Hilbert spaces Definition 1.1. Let H 1, H 2 be Hilbert spaces and T : dom(t ) H 2 be a densely defined linear operator, i.e. dom(t ) is a dense linear subspace of H 1.
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More informationMATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY
MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract
More informationSobolev embeddings and interpolations
embed2.tex, January, 2007 Sobolev embeddings and interpolations Pavel Krejčí This is a second iteration of a text, which is intended to be an introduction into Sobolev embeddings and interpolations. The
More informationS chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.
Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable
More informationReal Analysis Notes. Thomas Goller
Real Analysis Notes Thomas Goller September 4, 2011 Contents 1 Abstract Measure Spaces 2 1.1 Basic Definitions........................... 2 1.2 Measurable Functions........................ 2 1.3 Integration..............................
More informationFunctional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32
Functional Analysis Martin Brokate Contents 1 Normed Spaces 2 2 Hilbert Spaces 2 3 The Principle of Uniform Boundedness 32 4 Extension, Reflexivity, Separation 37 5 Compact subsets of C and L p 46 6 Weak
More informationA metric space X is a non-empty set endowed with a metric ρ (x, y):
Chapter 1 Preliminaries References: Troianiello, G.M., 1987, Elliptic differential equations and obstacle problems, Plenum Press, New York. Friedman, A., 1982, Variational principles and free-boundary
More informationOverview of normed linear spaces
20 Chapter 2 Overview of normed linear spaces Starting from this chapter, we begin examining linear spaces with at least one extra structure (topology or geometry). We assume linearity; this is a natural
More information(d). Why does this imply that there is no bounded extension operator E : W 1,1 (U) W 1,1 (R n )? Proof. 2 k 1. a k 1 a k
Exercise For k 0,,... let k be the rectangle in the plane (2 k, 0 + ((0, (0, and for k, 2,... let [3, 2 k ] (0, ε k. Thus is a passage connecting the room k to the room k. Let ( k0 k (. We assume ε k
More informationPartial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces
Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As
More informationPERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 28, 2003, 207 222 PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS Fumi-Yuki Maeda and Takayori Ono Hiroshima Institute of Technology, Miyake,
More informationi=1 α i. Given an m-times continuously
1 Fundamentals 1.1 Classification and characteristics Let Ω R d, d N, d 2, be an open set and α = (α 1,, α d ) T N d 0, N 0 := N {0}, a multiindex with α := d i=1 α i. Given an m-times continuously differentiable
More informationCompact operators on Banach spaces
Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact
More informationMAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9
MAT 570 REAL ANALYSIS LECTURE NOTES PROFESSOR: JOHN QUIGG SEMESTER: FALL 204 Contents. Sets 2 2. Functions 5 3. Countability 7 4. Axiom of choice 8 5. Equivalence relations 9 6. Real numbers 9 7. Extended
More informationSolution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0
Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p
More informationThe Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:
Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply
More informationON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics
More informationMA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt
MA526 Homework 4 Group 4 April 26, 26 Qn 6.2 Show that H is not bounded as a map: L L. Deduce from this that H is not bounded as a map L L. Let {ϕ n } be an approximation of the identity s.t. ϕ C, sptϕ
More informationTHE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)
Appeared in Israel J. Math. 00 (997), 7 24 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION Juha Kinnunen Abstract. We prove that the Hardy Littlewood maximal operator is bounded in the Sobolev
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More informationSpectral theory for compact operators on Banach spaces
68 Chapter 9 Spectral theory for compact operators on Banach spaces Recall that a subset S of a metric space X is precompact if its closure is compact, or equivalently every sequence contains a Cauchy
More informationSHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction
SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms
More informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationEigenvalues and Eigenfunctions of the Laplacian
The Waterloo Mathematics Review 23 Eigenvalues and Eigenfunctions of the Laplacian Mihai Nica University of Waterloo mcnica@uwaterloo.ca Abstract: The problem of determining the eigenvalues and eigenvectors
More informationl(y j ) = 0 for all y j (1)
Problem 1. The closed linear span of a subset {y j } of a normed vector space is defined as the intersection of all closed subspaces containing all y j and thus the smallest such subspace. 1 Show that
More informationPartial Differential Equations 2 Variational Methods
Partial Differential Equations 2 Variational Methods Martin Brokate Contents 1 Variational Methods: Some Basics 1 2 Sobolev Spaces: Definition 9 3 Elliptic Boundary Value Problems 2 4 Boundary Conditions,
More informationThe Mollifier Theorem
The Mollifier Theorem Definition of the Mollifier The function Tx Kexp 1 if x 1 2 1 x 0 if x 1, x R n where the constant K is chosen such that R n Txdx 1, is a test function on Rn. Note that Tx vanishes,
More informationFact Sheet Functional Analysis
Fact Sheet Functional Analysis Literature: Hackbusch, W.: Theorie und Numerik elliptischer Differentialgleichungen. Teubner, 986. Knabner, P., Angermann, L.: Numerik partieller Differentialgleichungen.
More informationis a weak solution with the a ij,b i,c2 C 1 ( )
Thus @u @x i PDE 69 is a weak solution with the RHS @f @x i L. Thus u W 3, loc (). Iterating further, and using a generalized Sobolev imbedding gives that u is smooth. Theorem 3.33 (Local smoothness).
More informationTD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle
TD M EDP 08 no Elliptic equations: regularity, maximum principle Estimates in the sup-norm I Let be an open bounded subset of R d of class C. Let A = (a ij ) be a symmetric matrix of functions of class
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationMINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA
MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA SPENCER HUGHES In these notes we prove that for any given smooth function on the boundary of
More informationEXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system
Electronic Journal of Differential Equations, Vol. 20082008), No. 119, pp. 1 10. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu login: ftp) EXISTENCE
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A -measurable functions on it. 2. For f L 1 (, µ) set f 1 = f L 1 = f L 1 (,µ) = f dµ.
More informationHomework I, Solutions
Homework I, Solutions I: (15 points) Exercise on lower semi-continuity: Let X be a normed space and f : X R be a function. We say that f is lower semi - continuous at x 0 if for every ε > 0 there exists
More informationMath 209B Homework 2
Math 29B Homework 2 Edward Burkard Note: All vector spaces are over the field F = R or C 4.6. Two Compactness Theorems. 4. Point Set Topology Exercise 6 The product of countably many sequentally compact
More informationJUHA KINNUNEN. Sobolev spaces
JUHA KINNUNEN Sobolev saces Deartment of Mathematics and Systems Analysis, Aalto University 217 Contents 1 SOBOLEV SPACES 1 1.1 Weak derivatives.............................. 1 1.2 Sobolev saces...............................
More informationFunctional Analysis. Thierry De Pauw
Functional Analysis Thierry De Pauw The drawing on the front is c Courtney Gibbons brownsharpie.courtneygibbons.org 1 Contents 1 Preliminaries 4 1.1 Countability.............................. 4 1.2 Metric
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationFunctional Analysis Winter 2018/2019
Functional Analysis Winter 2018/2019 Peer Christian Kunstmann Karlsruher Institut für Technologie (KIT) Institut für Analysis Englerstr. 2, 76131 Karlsruhe e-mail: peer.kunstmann@kit.edu These lecture
More informationPart III. 10 Topological Space Basics. Topological Spaces
Part III 10 Topological Space Basics Topological Spaces Using the metric space results above as motivation we will axiomatize the notion of being an open set to more general settings. Definition 10.1.
More information************************************* Applied Analysis I - (Advanced PDE I) (Math 940, Fall 2014) Baisheng Yan
************************************* Applied Analysis I - (Advanced PDE I) (Math 94, Fall 214) by Baisheng Yan Department of Mathematics Michigan State University yan@math.msu.edu Contents Chapter 1.
More information1 Continuity Classes C m (Ω)
0.1 Norms 0.1 Norms A norm on a linear space X is a function : X R with the properties: Positive Definite: x 0 x X (nonnegative) x = 0 x = 0 (strictly positive) λx = λ x x X, λ C(homogeneous) x + y x +
More informationIt follows from the above inequalities that for c C 1
3 Spaces L p 1. Appearance of normed spaces. In this part we fix a measure space (, A, µ) (we may assume that µ is complete), and consider the A - measurable functions on it. 2. For f L 1 (, µ) set f 1
More informationNonlinear aspects of Calderón-Zygmund theory
Ancona, June 7 2011 Overture: The standard CZ theory Consider the model case u = f in R n Overture: The standard CZ theory Consider the model case u = f in R n Then f L q implies D 2 u L q 1 < q < with
More informationThe De Giorgi-Nash-Moser Estimates
The De Giorgi-Nash-Moser Estimates We are going to discuss the the equation Lu D i (a ij (x)d j u) = 0 in B 4 R n. (1) The a ij, with i, j {1,..., n}, are functions on the ball B 4. Here and in the following
More informationMethods on Nonlinear Elliptic Equations
Wenxiong Chen and Congming Li Methods on Nonlinear Elliptic Equations SPIN AIMS internal project number, if known Monograph September 22, 2008 AIMS Preface In this book we intend to present basic materials
More informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
More informationHomework If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator.
Homework 3 1 If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator Solution: Assuming that the inverse of T were defined, then we will have to have that D(T 1
More informationFriedrich symmetric systems
viii CHAPTER 8 Friedrich symmetric systems In this chapter, we describe a theory due to Friedrich [13] for positive symmetric systems, which gives the existence and uniqueness of weak solutions of boundary
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationII Basic Function Spaces and Related Inequalities
II Basic Function Spaces and Related Inequalities Incipe parve puer risu cognoscere matrem. VERGILIUS, Bucolica IV, v.60 Introduction In this chapter we shall introduce some function spaces and enucleate
More informationEverywhere differentiability of infinity harmonic functions
Everywhere differentiability of infinity harmonic functions Lawrence C. Evans and Charles K. Smart Department of Mathematics University of California, Berkeley Abstract We show that an infinity harmonic
More informationTHEOREMS, ETC., FOR MATH 516
THEOREMS, ETC., FOR MATH 516 Results labeled Theorem Ea.b.c (or Proposition Ea.b.c, etc.) refer to Theorem c from section a.b of Evans book (Partial Differential Equations). Proposition 1 (=Proposition
More informationSome lecture notes for Math 6050E: PDEs, Fall 2016
Some lecture notes for Math 65E: PDEs, Fall 216 Tianling Jin December 1, 216 1 Variational methods We discuss an example of the use of variational methods in obtaining existence of solutions. Theorem 1.1.
More informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationWeak Convergence Methods for Energy Minimization
Weak Convergence Methods for Energy Minimization Bo Li Department of Mathematics University of California, San Diego E-mail: bli@math.ucsd.edu June 3, 2007 Introduction This compact set of notes present
More informationAnalysis Comprehensive Exam Questions Fall 2008
Analysis Comprehensive xam Questions Fall 28. (a) Let R be measurable with finite Lebesgue measure. Suppose that {f n } n N is a bounded sequence in L 2 () and there exists a function f such that f n (x)
More informationLax Solution Part 4. October 27, 2016
Lax Solution Part 4 www.mathtuition88.com October 27, 2016 Textbook: Functional Analysis by Peter D. Lax Exercises: Ch 16: Q2 4. Ch 21: Q1, 2, 9, 10. Ch 28: 1, 5, 9, 10. 1 Chapter 16 Exercise 2 Let h =
More informationCAPACITIES ON METRIC SPACES
[June 8, 2001] CAPACITIES ON METRIC SPACES V. GOL DSHTEIN AND M. TROYANOV Abstract. We discuss the potential theory related to the variational capacity and the Sobolev capacity on metric measure spaces.
More informationIntroduction to Real Analysis Alternative Chapter 1
Christopher Heil Introduction to Real Analysis Alternative Chapter 1 A Primer on Norms and Banach Spaces Last Updated: March 10, 2018 c 2018 by Christopher Heil Chapter 1 A Primer on Norms and Banach Spaces
More informationOn the distributional divergence of vector fields vanishing at infinity
Proceedings of the Royal Society of Edinburgh, 141A, 65 76, 2011 On the distributional divergence of vector fields vanishing at infinity Thierry De Pauw Institut de Recherches en Mathématiques et Physique,
More informationFUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets
FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES CHRISTOPHER HEIL 1. Compact Sets Definition 1.1 (Compact and Totally Bounded Sets). Let X be a metric space, and let E X be
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationSobolev spaces. Elliptic equations
Sobolev spaces. Elliptic equations Petru Mironescu December 2010 0 Introduction The purpose of these notes is to introduce some basic functional and harmonic analysis tools (Sobolev spaces, singular integrals)
More informationStationary mean-field games Diogo A. Gomes
Stationary mean-field games Diogo A. Gomes We consider is the periodic stationary MFG, { ɛ u + Du 2 2 + V (x) = g(m) + H ɛ m div(mdu) = 0, (1) where the unknowns are u : T d R, m : T d R, with m 0 and
More information(convex combination!). Use convexity of f and multiply by the common denominator to get. Interchanging the role of x and y, we obtain that f is ( 2M ε
1. Continuity of convex functions in normed spaces In this chapter, we consider continuity properties of real-valued convex functions defined on open convex sets in normed spaces. Recall that every infinitedimensional
More information2 A Model, Harmonic Map, Problem
ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or
More informationRegularity for Poisson Equation
Regularity for Poisson Equation OcMountain Daylight Time. 4, 20 Intuitively, the solution u to the Poisson equation u= f () should have better regularity than the right hand side f. In particular one expects
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationJUHA KINNUNEN. Real Analysis
JUH KINNUNEN Real nalysis Department of Mathematics and Systems nalysis, alto University Updated 3 pril 206 Contents L p spaces. L p functions..................................2 L p norm....................................
More informationHeat Kernel and Analysis on Manifolds Excerpt with Exercises. Alexander Grigor yan
Heat Kernel and Analysis on Manifolds Excerpt with Exercises Alexander Grigor yan Department of Mathematics, University of Bielefeld, 33501 Bielefeld, Germany 2000 Mathematics Subject Classification. Primary
More informationConservation law equations : problem set
Conservation law equations : problem set Luis Silvestre For Isaac Neal and Elia Portnoy in the 2018 summer bootcamp 1 Method of characteristics For the problems in this section, assume that the solutions
More informationProbability and Measure
Part II Year 2018 2017 2016 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2018 84 Paper 4, Section II 26J Let (X, A) be a measurable space. Let T : X X be a measurable map, and µ a probability
More informationLocally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem
56 Chapter 7 Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem Recall that C(X) is not a normed linear space when X is not compact. On the other hand we could use semi
More informationFunctional Analysis Exercise Class
Functional Analysis Exercise Class Week 2 November 6 November Deadline to hand in the homeworks: your exercise class on week 9 November 13 November Exercises (1) Let X be the following space of piecewise
More informationBoundedness, Harnack inequality and Hölder continuity for weak solutions
Boundedness, Harnack inequality and Hölder continuity for weak solutions Intoduction to PDE We describe results for weak solutions of elliptic equations with bounded coefficients in divergence-form. The
More informationLecture 17. Higher boundary regularity. April 15 th, We extend our results to include the boundary. Let u C 2 (Ω) C 0 ( Ω) be a solution of
Lecture 7 April 5 th, 004 Higher boundary regularity We extend our results to include the boundary. Higher a priori regularity upto the boundary. Let u C () C 0 ( ) be a solution of Lu = f on, u = ϕ on.
More informationAn introduction to Mathematical Theory of Control
An introduction to Mathematical Theory of Control Vasile Staicu University of Aveiro UNICA, May 2018 Vasile Staicu (University of Aveiro) An introduction to Mathematical Theory of Control UNICA, May 2018
More informationCHAPTER V DUAL SPACES
CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the
More informationPartial Differential Equations, 2nd Edition, L.C.Evans The Calculus of Variations
Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 8 The Calculus of Variations Yung-Hsiang Huang 2018.03.25 Notation: denotes a bounded smooth, open subset of R n. All given functions are
More informationSobolev Spaces 27 PART II. Review of Sobolev Spaces
Sobolev Spaces 27 PART II Review of Sobolev Spaces Sobolev Spaces 28 SOBOLEV SPACES WEAK DERIVATIVES I Given R d, define a multi index α as an ordered collection of integers α = (α 1,...,α d ), such that
More informationNotes on Partial Differential Equations. John K. Hunter. Department of Mathematics, University of California at Davis
Notes on Partial Differential Equations John K. Hunter Department of Mathematics, University of California at Davis Abstract. These are notes from a two-quarter class on PDEs that are heavily based on
More informationThe infinity-laplacian and its properties
U.U.D.M. Project Report 2017:40 Julia Landström Examensarbete i matematik, 15 hp Handledare: Kaj Nyström Examinator: Martin Herschend December 2017 Department of Mathematics Uppsala University Department
More information