Sobolev Spaces. Chapter Hölder spaces

Size: px
Start display at page:

Download "Sobolev Spaces. Chapter Hölder spaces"

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) 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 information

Sobolev Spaces. Chapter 10

Sobolev 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 information

Partial Differential Equations, Convexity and Weak Lower Semi-Continuity

Partial 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 information

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

Functional 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 information

An introduction to some aspects of functional analysis

An 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 information

Notes on Sobolev Spaces A. Visintin a.a

Notes 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 information

THEOREMS, ETC., FOR MATH 515

THEOREMS, 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 information

Lectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.

Lectures 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 information

Appendix A Functional Analysis

Appendix 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 information

2. Function spaces and approximation

2. 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 information

Theory of PDE Homework 2

Theory 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 information

MATH 426, TOPOLOGY. p 1.

MATH 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 information

Unbounded operators on Hilbert spaces

Unbounded 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 information

Sobolev spaces. May 18

Sobolev 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 information

Laplace s Equation. Chapter Mean Value Formulas

Laplace 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 information

MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY

MATH 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 information

Sobolev embeddings and interpolations

Sobolev 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 information

S 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.

S 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 information

Real Analysis Notes. Thomas Goller

Real 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 information

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

Functional 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 information

A metric space X is a non-empty set endowed with a metric ρ (x, y):

A 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 information

Overview of normed linear spaces

Overview 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

(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 information

Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces

Partial 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 information

PERTURBATION THEORY FOR NONLINEAR DIRICHLET PROBLEMS

PERTURBATION 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 information

i=1 α i. Given an m-times continuously

i=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 information

Compact operators on Banach spaces

Compact 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 information

MAT 570 REAL ANALYSIS LECTURE NOTES. Contents. 1. Sets Functions Countability Axiom of choice Equivalence relations 9

MAT 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 information

Solution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0

Solution 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 information

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation:

The 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 information

ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES

ON 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 information

MA5206 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

MA5206 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 information

THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)

THE 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 information

Finite-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

Finite-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 information

BIHARMONIC WAVE MAPS INTO SPHERES

BIHARMONIC 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 information

Spectral theory for compact operators on Banach spaces

Spectral 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 information

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

SHARP 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 information

JUHA KINNUNEN. Harmonic Analysis

JUHA 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 information

Eigenvalues and Eigenfunctions of the Laplacian

Eigenvalues 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 information

l(y j ) = 0 for all y j (1)

l(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 information

Partial Differential Equations 2 Variational Methods

Partial 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 information

The Mollifier Theorem

The 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 information

Fact Sheet Functional Analysis

Fact 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 information

is a weak solution with the a ij,b i,c2 C 1 ( )

is 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 information

TD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle

TD 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 information

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

1/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 information

MINIMAL 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 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 information

EXISTENCE OF WEAK SOLUTIONS FOR A NONUNIFORMLY ELLIPTIC NONLINEAR SYSTEM IN R N. 1. Introduction We study the nonuniformly elliptic, nonlinear system

EXISTENCE 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 information

Real Analysis Problems

Real 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 information

It follows from the above inequalities that for c C 1

It 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 information

Homework I, Solutions

Homework 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 information

Math 209B Homework 2

Math 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 information

JUHA KINNUNEN. Sobolev spaces

JUHA 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 information

Functional Analysis. Thierry De Pauw

Functional 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 information

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n

THE 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 information

Functional Analysis Winter 2018/2019

Functional 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 information

Part III. 10 Topological Space Basics. Topological Spaces

Part 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 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 information

1 Continuity Classes C m (Ω)

1 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 information

It follows from the above inequalities that for c C 1

It 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 information

Nonlinear aspects of Calderón-Zygmund theory

Nonlinear 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 information

The De Giorgi-Nash-Moser Estimates

The 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 information

Methods on Nonlinear Elliptic Equations

Methods 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 information

Problem Set 5: Solutions Math 201A: Fall 2016

Problem 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 information

Homework If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator.

Homework 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 information

Friedrich symmetric systems

Friedrich 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 information

ANALYSIS 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 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 information

II Basic Function Spaces and Related Inequalities

II 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 information

Everywhere differentiability of infinity harmonic functions

Everywhere 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 information

THEOREMS, ETC., FOR MATH 516

THEOREMS, 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 information

Some lecture notes for Math 6050E: PDEs, Fall 2016

Some 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 information

Continuous Functions on Metric Spaces

Continuous 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 information

Weak Convergence Methods for Energy Minimization

Weak 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 information

Analysis Comprehensive Exam Questions Fall 2008

Analysis 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 information

Lax Solution Part 4. October 27, 2016

Lax 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 information

CAPACITIES ON METRIC SPACES

CAPACITIES 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 information

Introduction to Real Analysis Alternative Chapter 1

Introduction 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 information

On the distributional divergence of vector fields vanishing at infinity

On 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 information

FUNCTIONAL ANALYSIS LECTURE NOTES: COMPACT SETS AND FINITE-DIMENSIONAL SPACES. 1. Compact Sets

FUNCTIONAL 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 information

Tools from Lebesgue integration

Tools 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 information

Sobolev spaces. Elliptic equations

Sobolev 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 information

Stationary mean-field games Diogo A. Gomes

Stationary 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 ε

(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 information

2 A Model, Harmonic Map, Problem

2 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 information

Regularity for Poisson Equation

Regularity 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 information

Lecture 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 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 information

JUHA KINNUNEN. Real Analysis

JUHA 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 information

Heat Kernel and Analysis on Manifolds Excerpt with Exercises. Alexander Grigor yan

Heat 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 information

Conservation law equations : problem set

Conservation 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 information

Probability and Measure

Probability 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 information

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Locally 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 information

Functional Analysis Exercise Class

Functional 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 information

Boundedness, Harnack inequality and Hölder continuity for weak solutions

Boundedness, 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 information

Lecture 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 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 information

An introduction to Mathematical Theory of Control

An 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 information

CHAPTER V DUAL SPACES

CHAPTER 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 information

Partial Differential Equations, 2nd Edition, L.C.Evans The Calculus of Variations

Partial 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 information

Sobolev Spaces 27 PART II. Review of Sobolev Spaces

Sobolev 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 information

Notes 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 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 information

The infinity-laplacian and its properties

The 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