Analysis II Home Assignment 4 Subhadip Chowdhury

Size: px
Start display at page:

Download "Analysis II Home Assignment 4 Subhadip Chowdhury"

Transcription

1 Analysis II Home Assignment 4 Subhadi Chowdhury Problem 4. f L (R N ) R N ( + x α ) ( + log x β ) < Problem 4.2 ( f ( f ) q ) ( ) q ( () /( q ) q ) dµ = f q. Ω /q f Ω q f q Thus f L q f L. Also f g injection. ɛ Ω q f g q ɛ. So the L (Ω) L q (Ω) with continuous Problem Note that f g + f + g h = max{f, g} = 2 Now L is a vector sace. So f + g L. Then by definition, f + g L. So h L Note that h n = f n g n + f n + g n 2 Now f n f in L (Ω) and g n g in L (Ω) imly that f n g n f g in L (Ω). Thus h n h in L (Ω).

2 4.3.3 Note that f n g n fg c ( f n f g n + g n g f ) (*) for some constant c deending only on. Now gn g a.e. and (g n ) is bounded in L, suose g n k for all n. Hence by DCT, we get g n g. Thus taking n in ( ), we get f n g n fg ck f n f + f g n g So f n g n fg in L. Problem We rove the result by inducting on k. For the base case, k = 2. Then for = + 2, we have ( f f 2 = ) ( f f 2 ( ) ( f. Note that = = = 2. Thus f 2 = f 2 2 f f 2 f f 2 2 ) f 2. ) Suose for k = m N, we have g m i= g i i whenever g i L i and = m Then let q = m+ i= and q i and f i L q i. We have, q = q m+ + m i= (f f 2... f m ) L mi= qi f q f m+ qm+. f f 2... f m mi= qi f m+ qm+. Thus by induction rincile the result is true for all k N. = f. f 2 i= i. q i. Then by induction hyothesis, m f i qi = i= m+ i= f i i Suose α,. Put =, α 2 = q. Then note that f α L f α L α. Similarly, f α L q α. So alying 4.4. with, 2 defined as above and noting that = r + 2, We have ( f r f α. f α 2 = f α /α ) α. ( For the cases α =,, the inequality is trivially true. Problem 4.5 ) α f α q q α = f α f α q We call the set C. Let f n be a sequence in C which converges to f in L (Ω). We want to rove that f C. Now f n f in L (Ω) a subsequence (f nk ) and a function h L such that 2

3 (a) f nk (x) f(x) a.e. on Ω (b) f nk (x) h(x) k, a.e. on Ω Then alying Fatou s lemma to ( f nk q ), we get, f q f C. Thus C contains all its limit oints. hence C is closed By 4.4.2, we have f n f r f n f α f n f α q where α is defined as in Note that by art 2, we have f q C. Thus f n f q 2C. Hence SO f n f in L r (Ω). Problem 4.6 f n f r f n f α (2C) α 4.6. Taking in roblem 4.2, we get that lim su f f () We know that there exist a sequence C n f such that f(x) C n a.e on Ω for all n. Then let Ω n = {x Ω : f(x) > C n }. We have f f µ(ω n )(C n ) f C n (µ(ω)) / Ω n Taking, we then have lim inf Combining above inequalities () and (2), we get our result. f C n for all n. Taking n we then have lim inf f f (2) Fix a k > C. Consider the set S = {x Ω : f(x) > k}. Suose µ(s) = ɛ >. Then C f kɛ / Taing we then have C k,contradiction!! So µ(s) = roving that f C i.e. f L (Ω) Consider f(x) = ln x for x (, ). Then we know that for < lim(ln t) 2 t = lim t + = t 2 t 2 3

4 ɛ > such that for < x < ɛ, ln x < ln x dx <. Then x 2 ɛ = ɛ 2 2 < x dx + ɛ ln x dx + a finite number Thus f L (Ω) for <. But clearly ln x is unbounded on (, ). So f L (Ω). Problem 4.7 Let (u n ) be sequence in L (Ω) converging to u such that au n f in L q (Ω). By theorem 4.9, by assing to a subsequence if necessary, we may assume u n (x) u(x) a.e. Then au n (x) au(x) a.e. Hence f = au a.e. Thus by closed grah theorem, the oerator T : L L q given by u au is continuous. So C > such that au q C u (*) Case : If <, then Putting u = v q Ω au q C q ( for some v L q, we get that ( a q v C q Ω Ω v q Ω u ) q ) q = C q v q for all v L q. Thus the ma S : L q R given by v Ω a q v is a continuous linear ma. ( ) Hence S L q a q L q q i.e. a L q. Case 2: If =, from equation ( ) we have a q C a L q. [Note that L ]. Problem For every integer n, consider the sets X n = {f X L + n (Ω) : f + n Note that if f X then f L for some >. But also f L. Hence f L r for all r. Note that from 4.4.2, f r K for some constant K for all r. Hence f X n for some n N. Thus X n = X n N Then since each X n is closed, by Baire category theorem, there exists N N such that Int(X N ). Let x Int(X N ). Then there exists r > such that x + B(, r) X N L + n. But x L + n. Hence B(, r) L + n λb(, r) L + n for all λ R X λb(, r) L q for q = +. n λ n} 4

5 4.8.2 Consider the inclusion ma T : X L given by T u = u. Suose we have a sequence (u n ) converging to u in X (note that X is closed) such that T u n v in L. Then by theorem 4.9, there is a subsequence (u nk ) such that u nk (x) u(x) a.e. Then T u nk (x) u(x) a.e. imlying u = v a.e. So by closed grah theorem, T is continuous. Hence there exist some C such that f C f ; f X Problem 4.9 We may assume WLOG Ω =, by dividing the measure by Ω if necessary. Then j(f)dµ = (af + b)dµ since j is convex l.s.c. Ω Problem 4. su Ω a,b R at+b j(t) t D(j) su a,b R at+b j(t) t D(j) ( = j fdµ Ω ) ( b + a Ω ) fdµ 4.. Since j is convex and integration is linear, we have J is convex. Problem We want to show that u + v α ( u + v ) α u α + v α We claim that ( u + v ) α u α + v α. Then it is enough to show that for x, (x + ) α x α + (*) Let f(x) = (x + ) α x α. Then f (x) = α((x + ) α x α ) < imlying that f is a decreasing function of x [, ). Hence f(x) f() = ( ). Putting x = u, we get our required result. v 4..2 Let f = u α g = v α 5

6 Then We have [u] α + [v] α = f α + g α = f α = = = u α + g α v α f α u α + g α v α f α ( α) u α + g α ( α) v α ( ) α f α ( u + v α ) + ( f α + g α ) α ( u + v α ) ( g α ) α ( u + v α ) since u, v ([u] α + [v] α ) α = ( ) α f α + g α u + v α = ([u + v] α ) α [u] α + [v] α [u + v] α Thus L α is a vector sace but not a norm. Problem Since the inequality is homogeneous, we may divide by b if necessary, to assume wlog that b =. Let f(a) = be a function from {a : a + > } R. ( a + ) 2 ) ( a + 2 a+ 2 2 a Problem Case : a + b a Then, a + b a b a + b a + b = a + b a + b b + b = 2 b Case 2: a + b < a Then a a + b b = b a a + b b. Thus, a + b a b = a a + b + b b + b = 2 b 6

7 4.3.2 Note that su n fn M. Thus by Fatou s lemma, f lim fn. So f L (Ω). Let a = f n f, b = f. Consider the sequence ϕ n = a + b a b. Then ϕ n 2 b = 2 f. Also note that ( a + b a b )(x) = f n (x) f(x) + f n (x) f(x). Then by dominated convergence theorem, ϕ n. Now ( f n f n f ) f ( f n f n f f ) = ( f n f n f ) ϕ n f (*) Note that f n f f n < M for some constant M for all n. Then by art 2, lim f n f = lim Problem 4.4 f n f by ( ) = lim f n f = lim f n f = 4.4. Let us denote the measure by µ. See art Note that for a.e. x, f n (x) f(x) f n (x) f(x) < α for all n bigger than a sufficiently large N. Thus x {x : f k (x) f(x) > α} k N for some N for a.e. x. Thus χ Sn(α)(x) a.e. Also clearly χ Sn(α) < L (Ω) since µ(ω) <. Thus by dominated convergence theorem, χ Sn(α) µ(s n (α)) Also µ[ f n f > α] µ(s n (α)) µ[ f n f > α] Let α = m for some fixed m N. Then by art 2, µ(s n ( )) m Thus given δ >, there exists N m N such that µ(s n ( m )) < δ 2 m for all n N m. Now x S Nm ( m ) f k(x) f(x) m for all k N m Let Σ m = S Nm ( ). Let Σ = Σ m m. Then µ(σ) < δ. Note that x Σ x Σ m for all m. m N Fix any ɛ >. Then there exists M N such that < ɛ Then x Ω\Σ x Σ M M f k (x) f(x) M < ɛ for all k N M 7

8 i.e. f k f uniformly on Ω\Σ. Taking A = Σ, we rove the theorem Fix an ɛ >. Then δ > such that A f n < ɛ for all n and A Ω measurable with µ(a) < δ. By art 3, there exists a certain A δ and an integer N δ > such that µ(a δ ) < δ and f n (x) f(x) < for all n N δ for all x Ω\A δ. So in articular, f n < ɛ and f n (x) f(x) < ɛ A δ Ω\A δ ɛ µ(ω\a δ ) for all n N δ. Then ( f n f = f n f + A δ f n f Ω\A δ ) f + A δ f n + ɛ A δ = 2ɛ + f A δ But f n L (Ω) and su n A δ f n <. Also f n (x) f(x) for a.e. x A δ. So by Fatou s lemma, A δ f lim inf A δ f n ɛ. Thus f n f 3ɛ for all n N δ Hence f n f i.e. f n f in L (Ω). Note that (f n f) and f n both are in L (Ω), imly that f L (Ω). Problem (i) For x, Thus f n a.e. lim ne nx = lim n = lim enx + x + n nx2 /2 + n 2 x 3 / = 4.5..(ii) f n = f n = ne nx dx = n e z dz = e n ; n N 8

9 4.5..(iii) f n = e n (i) For x, Thus g n a.e (ii) n lim n e nx = lim g n = g n = = lim enx n + n x + n 2 x2 /2 + n 3 x3 / = ne nx dx = n e z dz = ( e n ) ; n N (iii) g n = ( e n ) (iv) Observe that g n (x)x m dx = n e nx x m = Thus for any olynomial ϕ(x) R[x], we have n n m+ Since the olynomials are dense in L (Ω), we have for all h L (Ω) i.e. g n. n g n ϕ g n h e y y m dy n Γ(m + ) nm+ Problem Let K n = conv ( i=n {f i}) We claim that n=k n = {f}. Indeed since f n s are bounded, by Cantor s intersection theorem, n=k n. if g n=k n, then g(x) conv ( i=n {f i(x)}) for all n i.e. f n (x) g(x) a.e. Thus f(x) = g(x) a.e. So g f in L (Ω) and n=k n = {f}. Then by exercise 3.3.2, f n f weakly in σ(l, L ). 9

10 4.6.2 By theorem 4.9 alied to the sequence (f n f) in L, we get that there is a subsequence (f nk f) such that f nk f a.e. Then by art, f nk f weakly. Indeed, we can say that every subsequence of (f n f) has a further subsubsequence (f nki f)such that f nki f weakly. Thus f n f weakly fix an ɛ >. By Egorov s theorem, A Ω such that A < ɛ and f n f uniformly on Ω\A. Now can write f n f q = f n f q A }{{} Note that by uniform convexity for sufficiently large n, And by roblem 4.2, we have I J Ω\A ɛ q + Ω\A f n f q } {{ } J I q A q fn f < I ɛ q fn f q But f n f is bounded by some constant for all n since f n, f L (Ω) f n f L (Ω) and f n is bounded in L. Thus I + J < C ɛ q + C 2 ɛ q for constants Ci not deending on. So, f n f q f n f q Problem Note that the inequality is homogeneous of degree. WLOG, let a b. Then we can divide both sides by a. Let t = b/a. Then it is enough to show that + t t C ( t + t ) for some constant C deending on for all t. Note that and Let + t t lim t + ( t + t ) + t t lim t ( t + t ) g(t) = = lim t + ( + t) (t) ( + ( )t 2 ) = lim t ( + t) ( t) ( + ( )( t) 2 ) { +t t ( t + t ) t t = Then clearly g is a continuous function on [, ]. So it is bounded above since [, ] is comact. Thus + t t su t ( t + t ) < C for some C deending only on which roves the given inequality. = =

11 4.7.2 Note that by roblem 4.6., we have f n f in L. Also f L f L f L f L. So f n f f Also note that ( fn f ) = f n f < So by 4.6., (f n f) in L. Thus f n f f Put a = f n f and b = f in question. Then f n f n f f < C ( f n f f + f n f f ) The assertion in art 2 follows By art 2, So f n f. lim f n f = Problem Take any ste function g L (, ) such that g = l i= a iχ Ai, where a i R and A i is an interval (b i, b i+ ) with A i = (, ). We have u n g = n f(nx)g(x)dx = f(y)g(y/n)dy n ( l = ) nb i+ nb T i a i f(y)dy + n T i= n ( l ) bi+ f a i dy + l nbi+ a i n i= fg + n fg b i l a i f,[,t ] i= i= l nbi+ a i i= f(y) dy n b i+ b i T +nb T i [since f is eriodic] f(y)dy n b i+ b i T +nb T i since f L bounded term loc means the second term is of the form ; and hence it goes to. Since functions n of above form are dense in L (, ), we get that u n f weakly.

12 4.8.2 Let kt n (k + )T for k Z. u n f = = n = n T f(nx) f dx n ( k T f(y) f dy T n ) f(y) f dy + f(y) f dy kt f(y) f dy + n f f,[,t ] So u n f T T f(y) f dy ( T ) lim u n f = f(y) f dy T (i) u n (x) = sin(nx) u n L (, ) for all. 2π By art, u n sin ydy = weakly in σ(l, L ). 2π ( ) 2π Also u n sin sin y dy 2π (ii) u n dx = n 2 (α +β ) < for all <. Hence u n L (, ) for all <. Also su u n = max{α, β}. Hence u n L (, ) for all. u n α+β weakly in σ(l, L ). 2 ( Also u n f f dy Problem 4.9 ) = ( α + β 2 ) 4.9. Since L is uniformly convex for < <, we have by ro. 3.32, f n f strongly in L Consider f n (x) = sin(2πnx) +. Then given g L (, ), we have So, f n. sin(2πnx)g(x)dx + g = n n sin(2πy)g(y)dy + g n g + g g 2

13 Problem Clearly by the given inequality, f L Af L q. Now take any sequence u n u strongly in L. Then by theorem 4.9, we can get a subsequence u nk and a function h L such that u nk (x) u(x) a.e. and u nk (x) h(x) for all k, a.e. Then for some h L q, we have Au nk (x) Au(x) a.e. and Au nk (x) h (x) for all k, a.e. Thus by dominated convergence theorem alied to (Au nk ) q we get that Au nk Au q By uniqueness of limit we then get that Au n Au strongly in L q. Hence A is continuous from L strong to L q strong From 4.8.3(ii), we know that u n (x) = f(nx) α+β 2 where f is defined as in the roblem 4.8.3(ii). Now by given hyothesis Au n Au; i.e. a(u n ) a( α+β a(u n (x)) = a(f(nx)) = { a(α) a(β) Since L q (, ), integrating Au n and Au against, we get k 2 ) weakly in σ(lq, L q ). Now < x < k+ 2 n n k+ 2 < x < k+ n n n + β (a(α) + a(β)) = a(α ) 2n 2 i.e + β (a(α) + a(β)) = a(α ) 2 2 for all α, β R. Clearly the only solution to the functional equation is a(x) = (a() a())x + a() which is an affine function. Problem Take g = χ (a,b). Then R u n g = b a u (x + n)dx = b+n a+n u (x)dx = b+n u (x)dx a+n u (x)dx as n. Thus for any ste functions(with comact suort) g, we have u n g. Since ste functions(with comact suort) is dense in L (R). we get that u n weakly Take g = χ I. Let I = (a, b). Fix a δ >. Let E = [ u > δ]. Then R u n g = I u (x + n)dx = I+n u (y)dy = (I+n) E u (y)dy + u (y)dy (I+n) E c Now since E <, there exists N such that for n > N, we have (I + n) E < δ. Then u n g u δ + δ (I + n) E c u δ + δ I R Taking δ, we get that R u ng. Thus for ste function g with comact suort, R u ng. Since ste functions with comact suort are dense in L (R), we get that u n. 3

14 4.2.3 Suose, by contradiction, there is a subsequence u nk which weakly converge. Then for any g L, u nk g. Take g L defined by g(x) = { ( ) i n i < x < n i+ o.w. Then u nk g = ( ) k which do not converge as k. Thus we have a contradiction! Hence such a subsequence does not exist. Problem A B Since χ E L for any measurable E with E <, this imlication is clear by definition of weak convergence. [or weak* convergence in case =.] B A Note that, since simle functions are dense in L (Ω), the vector sace sanned by characteristic functions χ A of subsets A of Ω with A < are dense in L (Ω) for <. Now for any element g of the vector sace, we have Ω f ng Ω fg. Thus Ω f nh Ω fh for all h L (Ω) i.e. f n f Again the imlication A B is trivial. For the other direction observe that every simle function belongs to L (Ω) if Ω <. Hence the vector sace sanned by characteristic functions χ A of subsets A of Ω with A < are dense in L (Ω). Thus A follows by the same argument as in art By roosition 3.5, and definition of weak convergence, A B. To see that the oosite imlication is not true consider Ω = R. Consider the sequence f n = χ (n,n+). then clearly f n = < and f E n = for any E R with E <. But clearly by roblem E f n does not weakly converge Given ɛ >, we can find a subset ω Ω such that ω c f < ɛ and ω <. Now f n + f n = f n f = f + f ω c ω Ω Ω ω c ω f n f f f n ω c ω c ω ω (*) since ω <. Also we have, for any F Ω with F, f n = f n + f n f + F F ω F ω c F ω f n F ω c (f n f) F (f n f) F ω c f n + ω c f 2 ω c f < 2ɛ ω c since f n, f. Thus we get F (f n f) for F measurable subset of Ω, F. Since vector sace sanned by χ F for such F s is dense in L (Ω), we get that f n f. 4

15 Problem Clearly by definition C is convex. Suose (u n ) is a sequence in C which converge to u in L. Then there is a subsequence (u nk ) such that u nk (x) u(x) a.e.[since < ] Thus u(x) f(x) a.e. Hence C is closed. Now C is convex and strongly closed C is weakly closed Assume first that f L (Ω). Call the set mentioned in art 2 C. Then clearly, C C. Now suose, u C. Thus fϕ uϕ ϕ L (Ω) with fϕ L (Ω) and ϕ a.e. Since Ω is σ finite we can find Ω n with Ω n = Ω and Ω n <. Let Ω n = Ω n { f < n}. Then Ω n = Ω. Let A = {f < u}. Then choose ϕ = χ A Ωn So f ua.e. imlying C C. A Ω n f u A Ω n = A = The second definition C clearly shows that C is closed in σ(l, L ) since it is the intersection of all closed sets in σ(l, L ) of the form { } u L (ω) fϕ uϕ and fϕ L (Ω) for a fixed ϕ L (Ω) Note that a weak* closed and bounded set is comact in weak* toology, since we can scale down the bounded set into a closed subset of the unit ball in weak* toology which is comact. Hence being a closed subset of a comact set, the scaled down set will be comact giving us that the original set is comact. Now given set C is a weak*(σ((l ), L ))closed and bounded set; hence it is comact. Problem Given ϕ L (R N ), we have by ro. 4.6, ϕ(ρ n ζ n u) = ζ n u( ˇρ n ϕ) Hence, v n ϕ vϕ = = ζ n u( ˇρ n ϕ) ζϕu ζ n u( ˇρ n ϕ ϕ) + uϕ(ζ n ζ) ζ n u ˇρ n ϕ ϕ + u (ζ n ζ)ϕ u ˇρ n ϕ ϕ + u (ζ n ζ)ϕ first term by thm and second term by DCT. 5

16 Let B = B(x, R) and let χ := χ B(x,R+). Then let w n = ρ n (ζ n uχ). Note that w n = v n on B since by roosition 4.8, su(w n v n ) B(, n ) + B(x, R + ) c ) Thus v n v = w n χv B B ρ n (ζ n uχ) χζu R N ρ n (ζ n uχ) ρ n (χζu) + ρ n (χζu) χζu R N R N (ζ n uχ) (χζu) + ρ n (χζu) χζu R N R N Problem Let u (x) = { u(x) x Ω x Ω c Then u L (R N ). Let Define Ω n = {x Ω dist(x, Ω c ) > 2/n; x < n} ζ n := χ Ωn, ζ := χ Ω Then note that ζ n ζ a.e. on R N and ζ n for all n. Define v n = ρ n (ζ n u ) and v = ζu = u. Then by roblem 4.24, v n v in L (R N ). Thus v n u = u on L (Ω). Also v n C c (Ω). and B v n v = B v n u for every ball B. Thus we may find an subsequence (v nk ) which converges a.e. to u (x) on B. By a diagonal rocess, we can find a further subsequence (v nki ) which converges a.e. to u on R N. Renaming this subsequence (u n ), we see that u n satisfies all given roerties By our construction u a.e. ρ n (ζ n u ) a.e By art, C c (Ω) is dense in L (Ω). 6

17 Problem If f L (Ω) then A su f ϕ f <. ϕ Conversely, if A <, Then for all ϕ C c (Ω), we have ϕ f A fϕ A ϕ ϕ Fix any comact subset K of Ω. Let ψ C c (Ω) be a function such that ψ and ψ on K. Let u L (Ω) be any function. Then by roblem 4.25, we can find a sequence (u n ) in C c (Ω) such that u n u and u n u a.e. on Ω and u n u in σ(l, L ). Then taking ϕ = u n ψ we get fψu n A ψu n A u By DCT, taking limit as n, we then have fψu A u Choose u = sign(f). Then K f. f.u.ψ A for all comact subset K of Ω. Thus f A < i.e. f L (Ω). In case f L (Ω), by above roof we have A f A f = A If f + L (Ω) then B su (max{f, }ϕ) ϕ ϕ Conversely if B <, we can roceed as in art, to get that fψu B u su ϕ ϕ f + ϕ f + <. for all u L (Ω) Put u = χ {f } K. Then K f + B for every comact subset K of Ω. Hence f + B. The roof clearly shows that f + = B if f L (Ω) Note that the sequence constructed in roblem 4.25 is actually in C c (Ω). Hence the roof is same [ [ ] fϕ = ϕ Cc (Ω) A = f = f = a.e. ] fϕ ϕ Cc (Ω), ϕ B = f + f > a.e. 7

18 Problem 4.27 Fix a ϕ Cc (Ω) such that uϕ =. Fix any ɛ >. Then u(ϕ (ϕ (uϕ)) + ɛϕ ) = + ɛ > v(ϕ (ϕ (uϕ)) + ɛϕ ) Taking ɛ, we then have vϕ uϕ vϕ = λ uϕ Conversely, taking ɛ < and relacing ϕ (ϕ (uϕ)) + ɛϕ by ϕ (ϕ (uϕ)) ɛϕ we get that as ɛ, vϕ uϕ vϕ = λ uϕ. Thus (v λu)ϕ = for all ϕ C c (Ω). Hence v = λu a.e. Clearly by construction λ. Problem 4.28 We can aroximate ρ by a sequence of Cc (Ω) functions (ψ i ) such that ρ ψ i. Define ψn(x) i = n N ψ i (nx). Note that ψn i = n N ψ i (nx)dx R N... dx N = ψ i (y)dy R N... dy N ρ =. Fix K R N a comact set and ɛ >. Then there exist n large enough such that suψn i B(, δ) where δ is such that f(x y) f(y) < ɛ for all x K and for all y B(, δ). Then for n sufficiently large, (ψn i f)(x) f(x) dx = f(x y) f(x) ψn(y)dy i dx f(x y) f(x) ψn(y)dydx i ( ) = ψn(y)dy i f(x y) f(x) dx ɛ ψ i ɛ ψ i ɛ B(,δ) Hence taking ɛ, we get that ψ i n f f in L. Taking limit i, we then have ρ n f f in L. Problem 4.29 Let χ n := χ K+B(, 2n ) and take u n = ρ 2n χ n where ρ(x) = {e x 2 x < x > and ρ n(x) = Then all it remains to check is that u n satisfies (a), (b), (c) and (d). Note that u n χ n ρ 2n = 8 ρ n N ρ(nx).

19 So (a) is true. Next on K, ρ 2n χ n = ρ 2n = So (b) holds. Also So (c) holds. Lastly, Now So So (d) follows. D α ρ 2n = C(2n) α Problem 4.3 su(u n ) K + B(, 2n ) + B(, 2n ) K + B(, n ) D α u n (x) = D α ρ 2n (x) χ n D α ρ 2n D α (Cn N ρ(2nx)) = Cn N (2n) α (D α ρ)(2nx) (D α ρ)(2nx) n N dx = C(2n) α (D α ρ)(2y) dy = C α n α Let + = = q + q. Then r = q. Then set α = q and β = q. Note that ( α)r = ( q )r = r r =, and similarly ( β)r = q. Then ϕ (y) = f(x y) α L q, ϕ 2 (y) = g(y) β L. Also for ϕ 3 (y) = f(x y) α g(y) β, we have ϕ r 3(y) = f(x y) g(y) q L ϕ 3 L r. We have, (f g)(x) = f(x y)g(y)dy = f(x y)g(y) dy By Holder s inequality y f(x y)g(y) is integrable. In fact, f(x y) α g(y) β ( f(x y) α g(y) β) (f g)(x) ϕ q ϕ 2 ϕ 3 r = f α g β q ϕ 2 r f g r f αr g βr q f(x y) ( α)r g(y) ( β)r dy = f αr g βr q f(x y) g(y) q dy f αr g βr q f g q q = f r g r q f g r f g q By revious art f g L (R N ) if r =. Also we know that convolution of a L function and a L function is continuous. Hence f g C(R N ) L (R N ). For <, q <, note that we can construct sequences (f n ), (g n ) in C c (Ω) so that f n f in L and g n g in L q. But clearly, su(f n g n ) su(f n ) + su(g n ) (f n g n )(x) = as x. But f n g n f g. Hence (f g)(x) as x. 9

20 Problem Let χ r := χ B(,r) B(,r). Then f r (x) = χ r (x y)f(y)dy = (χ r f)(x) Now f L and χ r L. Hence f χ r L. Also χ r L f χ r C(R N ) by roblem 4.3. Hence f r C(R N ) L (R N ). Also by 4.3, f r (x) as x for < < Note that χ r =, and su(χ r ) = B(, r) Hebce χ n f /n f in L as n f r f in L as r. Problem 4.32 is a sequence of mollifiers. Hence By definition of convolution it is immediate that f g = g f. Next note that (f g) h(u) = (f g)(x)h(u x)dx ( ) = f(y)g(x y)dy h(u x)dx = f(y)g(x y)h(u x)dydx = f(y)g(x y)h(u x)dxdy ( ) = f(y) g(x y)h(u x)dx dy ( ) = f(y) g(x + y y)h(u x y)dx dy = f(y)(g h)(u y)dy = (f (g h))(u) Thus (f g) h = f (g h). Problem Note that comactly suorted continuous functions are uniformly continuous. Hence given ɛ >, there exist δ > such that h < δ imlies ϕ(h + x) ϕ(x) < ɛ for any x R. Thus in fact ϕ(x + n + h) ϕ(x + n) < ɛ for any x R and any n N. So for h < δ, we have τ h ϕ n ϕ n < ɛ. su(ϕ) / for any n. Hence ɛ > ; δ > such that τ h f f < ɛ f F and h R with h < δ. 2

21 Fix ɛ = 3. Consider the oen balls B(f, ɛ) L (R) for each f F. Then clearly they form an oen cover of the closure of F. If the closure is comact, this cover has a finite subcover. Let it be k B(ϕ ni, ɛ). Take N >> max n..., n k so that su(ϕ n ) ( ) k su(ϕ ni ) =. Then i= ϕ N ϕ ni = ( 2 ϕ ) Hence the closure is not comact. Problem 4.34 = C, some constant. Hence if ɛ < C/2, ϕ N k B(ϕ ni, ɛ). Contradiction! Fix an ɛ >. Then there is a finite covering of F by oen ɛ balls. Let F n B(f i, ɛ). i= i= i= Given any f F, f B(f i, ɛ) for some i {,..., n}. Hence f f i +ɛ max{ f i : i n} + ɛ. Hence F is bounded By lemma 4.3, for each i {,..., n}; lim τ hf i f i = h Hence for the same ɛ as above, there exists δ i > such that τ h f i f i < ɛ i and h R N with h < δ i Put δ = min{δ i : i n}. Take any f F, suose f B(f k, ɛ). Then τ h f f τ h f τ h f k + τ h f k f k + f k f = 2 f k f + τ h f k f k 3ɛ for all h < δ Note that f i L (R N ) Ω i R N bounded,oen, such that f i L (R N )\Ω i < ɛ where ɛ is as above. Let Ω = n Ω i. Take any f F and let f B(f k, ɛ). Then i= f L (R N \Ω) f k L (R N \Ω) + f f k L (R N \Ω) f k L (R N \Ω k ) + f f k L (R N ) = 2ɛ Comaring with corollary 4.27, we find that this roblem is the converse of the corollary, and together they characterise all comact sets in L (R N ). Problem 4.35 Clearly F Ω is bounded in L (Ω). Now take f F and write f = G u for an u B. Then τ h f f = (τ h G G) u C τ h G G by lemma 4.3. Hence by theorem 4.26, F Ω has comact closure in L (Ω) for any measurable Ω with finite measure. 2

22 Problem [(d) + (e)] [(a) + (b) + (c)] Suose (d) and (e) hold. Then given ɛ >, there exists N > such that su f < ɛ t N f F [ f >t] [ f >t] Now given E measurable with E < ɛ, we have N f = f + E E [ f >N] f < ɛ f F, t N E [ f N] Thus given ɛ >, there exists δ > such that (b) holds. f [ f >N] We also know that given ɛ >, there exists N N such that su f < ɛ n N f F Ω\Ω n f < ɛ f F n N Ω\Ω n So we may take ω = Ω N and thus (c) holds. Clearly (d) imlies (a) is true. [(a) + (b) + (c)] [(d) + (e)] f + N E 2ɛ Suose (a), (b) and (c) hold. Then (a) imlies there is an M N such that f < M. Fix an ɛ >. Then (b) gives us an δ >. Let E = [ f > M ] Then E < δ since otherwise, f > M > f which δ E is not ossible. Thus (b) su f < ɛ f F [ f > M δ ] Thus given ɛ >, there exists a N > such that su f < ɛ for all t > N imlying lim su t f F f F [ f >t] [ f >t] f = By (c) we can roduce an ω satisfying roerties in (c). Then note that since ω <, and Ω n are nondecreasing with union the whole of Ω; we can find a N N such that ω Ω n < ɛ/m for all n > N. Then f f + f f + ɛ 2ɛ f F Ω\Ω n Ω\ω Ω n ω Ω\ω Thus we have (e) i.e. lim su f = f F Ω\Ω n 22

23 Problem We have I u n (x)ϕ(x)dx = = = I n n n n nf(nx)ϕ(x)dx f(t)ϕ(t/n)dt f(t) (ϕ(t/n) ϕ()) dt + ϕ() n n f(t)dt But the first term converges to by Lebesgue s theorem and the second term goes to by given condition: I u n (x) dx = since f L (R). Hence (u n ) is bounded. Note that for all δ >, δ u n = + n n nδ f = f(t) dt f + f > f < Hence there exist f > ɛ > such that for all δ >, there exists E = (, δ) such that E u n > ɛ for sufficiently large n. Hence no subsequence of (u n ) is equi-integrable Suose there exists such a function u L (I). Then by art, I uϕ = ϕ C([, +]) Then by corollary 4.24, u a.e. But for ϕ = χ (,), we have n u n ϕ = f f > Contradiction! Hence u does not exist By Dunford-Pettis thm, we have [ No subsequence of (u n ) is equi-integrable] [no subseqence of (u n ) weakly converges] which agrees with the fact that art 2 and art 3 hold simultaneously. The thm states that art 3 is a direct imlication of art 2. 23

24 I u n (x) dx = = [ n 2,n 2 ] n 2 n 2 + u n (x) dx + f(t) dt + [n 2 < t <n] [n 2 < x <] f(t) dt u n (x) dx since f L. Thus u n in L. Hence there is a subsequence (u nk ) such that u nk (x) a.e. Problem By definition su(u n ) = n ( n 2 ) = n. Also I n u n = j= Suose ϕ C ([, ]). Then n lim u n ϕ ϕ = lim I I j= n = lim n j= n = lim j= n lim j= j n + n 2 j n n = n j= n n 2 = u n = j n + n n n 2 ϕ lim j n ϕ(x j) n j= ) n 3 n 3 nj+ nj nj+ nj nj+ nj n = lim O( n n) 3 j= ( ( t ϕ n 2 ϕ where x j (j/n, (j + )/n) ( yj n 2 )) dt where y j (nj, n(j + )) ((t y j )ϕ (z j )) dt where z j (t, y j ) ( n(j + ) nj ϕ (z j )) dt = lim O( n ) = But C ([, ]) is dense in C([, ]). Hence lim u I nϕ = ϕ for all ϕ C([, ]). I The sequence (u n ) is not equi-integrable because for E n = su(u n ); E n but = So (b) does not hold in definition of equi-integrability. I u n = u n E n 24

25 If (u nk ) u, we have by art 2 and corollary 4.24, u a.e. Choose a further subsequence (u n k ) such that k su(u n k ) <. Let ϕ = χ A where ( ) A = I\ su(u n k ) so that A >. We have u I n ϕ = for all k and hence = ϕ = A. Contradiction! k I k Consider a subsequence (u nk ) such that su(u nk ) < k Let B k = j k (su(u n j )) and B = k B k. Clearly B k = j=k n j as k, and thus B =. If x B, there exists some k such that u nk (x) = for all k k. Thus u nk (x) a.e. as k. 25

1 Riesz Potential and Enbeddings Theorems

1 Riesz Potential and Enbeddings Theorems Riesz Potential and Enbeddings Theorems Given 0 < < and a function u L loc R, the Riesz otential of u is defined by u y I u x := R x y dy, x R We begin by finding an exonent such that I u L R c u L R for

More information

Elementary Analysis in Q p

Elementary Analysis in Q p Elementary Analysis in Q Hannah Hutter, May Szedlák, Phili Wirth November 17, 2011 This reort follows very closely the book of Svetlana Katok 1. 1 Sequences and Series In this section we will see some

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

Elementary theory of L p spaces

Elementary theory of L p spaces CHAPTER 3 Elementary theory of L saces 3.1 Convexity. Jensen, Hölder, Minkowski inequality. We begin with two definitions. A set A R d is said to be convex if, for any x 0, x 1 2 A x = x 0 + (x 1 x 0 )

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

Mollifiers and its applications in L p (Ω) space

Mollifiers and its applications in L p (Ω) space Mollifiers and its alications in L () sace MA Shiqi Deartment of Mathematics, Hong Kong Batist University November 19, 2016 Abstract This note gives definition of mollifier and mollification. We illustrate

More information

Real Analysis 1 Fall Homework 3. a n.

Real Analysis 1 Fall Homework 3. a n. eal Analysis Fall 06 Homework 3. Let and consider the measure sace N, P, µ, where µ is counting measure. That is, if N, then µ equals the number of elements in if is finite; µ = otherwise. One usually

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

Math 205A - Fall 2015 Homework #4 Solutions

Math 205A - Fall 2015 Homework #4 Solutions Math 25A - Fall 25 Homework #4 Solutions Problem : Let f L and µ(t) = m{x : f(x) > t} the distribution function of f. Show that: (i) µ(t) t f L (). (ii) f L () = t µ(t)dt. (iii) For any increasing differentiable

More information

REAL AND COMPLEX ANALYSIS

REAL AND COMPLEX ANALYSIS REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any

More information

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t Analysis Comprehensive Exam Questions Fall 2. Let f L 2 (, ) be given. (a) Prove that ( x 2 f(t) dt) 2 x x t f(t) 2 dt. (b) Given part (a), prove that F L 2 (, ) 2 f L 2 (, ), where F(x) = x (a) Using

More information

A List of Problems in Real Analysis

A List of Problems in Real Analysis A List of Problems in Real Analysis W.Yessen & T.Ma December 3, 218 This document was first created by Will Yessen, who was a graduate student at UCI. Timmy Ma, who was also a graduate student at UCI,

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

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

3 (Due ). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable

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

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

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1

Math 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1 Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,

More information

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents MATH 3969 - MEASURE THEORY AND FOURIER ANALYSIS ANDREW TULLOCH Contents 1. Measure Theory 2 1.1. Properties of Measures 3 1.2. Constructing σ-algebras and measures 3 1.3. Properties of the Lebesgue measure

More information

MATH 202B - Problem Set 5

MATH 202B - Problem Set 5 MATH 202B - Problem Set 5 Walid Krichene (23265217) March 6, 2013 (5.1) Show that there exists a continuous function F : [0, 1] R which is monotonic on no interval of positive length. proof We know there

More information

Notes on Distributions

Notes on Distributions Notes on Distributions Functional Analysis 1 Locally Convex Spaces Definition 1. A vector space (over R or C) is said to be a topological vector space (TVS) if it is a Hausdorff topological space and the

More information

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?

2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure? MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is

More information

Introduction to Banach Spaces

Introduction to Banach Spaces CHAPTER 8 Introduction to Banach Saces 1. Uniform and Absolute Convergence As a rearation we begin by reviewing some familiar roerties of Cauchy sequences and uniform limits in the setting of metric saces.

More information

MATH 411 NOTES (UNDER CONSTRUCTION)

MATH 411 NOTES (UNDER CONSTRUCTION) MATH 411 NOTES (NDE CONSTCTION 1. Notes on compact sets. This is similar to ideas you learned in Math 410, except open sets had not yet been defined. Definition 1.1. K n is compact if for every covering

More information

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis Real Analysis, 2nd Edition, G.B.Folland Chapter 5 Elements of Functional Analysis Yung-Hsiang Huang 5.1 Normed Vector Spaces 1. Note for any x, y X and a, b K, x+y x + y and by ax b y x + b a x. 2. It

More information

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1.

From now on, we will represent a metric space with (X, d). Here are some examples: i=1 (x i y i ) p ) 1 p, p 1. Chapter 1 Metric spaces 1.1 Metric and convergence We will begin with some basic concepts. Definition 1.1. (Metric space) Metric space is a set X, with a metric satisfying: 1. d(x, y) 0, d(x, y) = 0 x

More information

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi

Real Analysis Math 131AH Rudin, Chapter #1. Dominique Abdi Real Analysis Math 3AH Rudin, Chapter # Dominique Abdi.. If r is rational (r 0) and x is irrational, prove that r + x and rx are irrational. Solution. Assume the contrary, that r+x and rx are rational.

More information

MEAN AND WEAK CONVERGENCE OF FOURIER-BESSEL SERIES by J. J. GUADALUPE, M. PEREZ, F. J. RUIZ and J. L. VARONA

MEAN AND WEAK CONVERGENCE OF FOURIER-BESSEL SERIES by J. J. GUADALUPE, M. PEREZ, F. J. RUIZ and J. L. VARONA MEAN AND WEAK CONVERGENCE OF FOURIER-BESSEL SERIES by J. J. GUADALUPE, M. PEREZ, F. J. RUIZ and J. L. VARONA ABSTRACT: We study the uniform boundedness on some weighted L saces of the artial sum oerators

More information

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems

Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various Families of R n Norms and Some Open Problems Int. J. Oen Problems Comt. Math., Vol. 3, No. 2, June 2010 ISSN 1998-6262; Coyright c ICSRS Publication, 2010 www.i-csrs.org Various Proofs for the Decrease Monotonicity of the Schatten s Power Norm, Various

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

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

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that

More information

The Heine-Borel and Arzela-Ascoli Theorems

The Heine-Borel and Arzela-Ascoli Theorems The Heine-Borel and Arzela-Ascoli Theorems David Jekel October 29, 2016 This paper explains two important results about compactness, the Heine- Borel theorem and the Arzela-Ascoli theorem. We prove them

More information

CHAPTER 2: SMOOTH MAPS. 1. Introduction In this chapter we introduce smooth maps between manifolds, and some important

CHAPTER 2: SMOOTH MAPS. 1. Introduction In this chapter we introduce smooth maps between manifolds, and some important CHAPTER 2: SMOOTH MAPS DAVID GLICKENSTEIN 1. Introduction In this chater we introduce smooth mas between manifolds, and some imortant concets. De nition 1. A function f : M! R k is a smooth function if

More information

Sobolev Spaces. Chapter Hölder spaces

Sobolev Spaces. Chapter Hölder spaces 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

More information

Metric Spaces and Topology

Metric Spaces and Topology Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies

More information

Analysis Qualifying Exam

Analysis Qualifying Exam Analysis Qualifying Exam Spring 2017 Problem 1: Let f be differentiable on R. Suppose that there exists M > 0 such that f(k) M for each integer k, and f (x) M for all x R. Show that f is bounded, i.e.,

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

Folland: Real Analysis, Chapter 8 Sébastien Picard

Folland: Real Analysis, Chapter 8 Sébastien Picard Folland: Real Analysis, Chapter 8 Sébastien Picard Problem 8.3 Let η(t) = e /t for t >, η(t) = for t. a. For k N and t >, η (k) (t) = P k (/t)e /t where P k is a polynomial of degree 2k. b. η (k) () exists

More information

Advanced Calculus I. Part A, for both Section 200 and Section 501

Advanced Calculus I. Part A, for both Section 200 and Section 501 Sring 2 Instructions Please write your solutions on your own aer. These roblems should be treated as essay questions. A roblem that says give an examle requires a suorting exlanation. In all roblems, you

More information

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space. University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)

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

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg Metric Spaces Exercises Fall 2017 Lecturer: Viveka Erlandsson Written by M.van den Berg School of Mathematics University of Bristol BS8 1TW Bristol, UK 1 Exercises. 1. Let X be a non-empty set, and suppose

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

SOLUTIONS OF SELECTED PROBLEMS

SOLUTIONS OF SELECTED PROBLEMS SOLUTIONS OF SELECTED PROBLEMS Problem 36, p. 63 If µ(e n < and χ En f in L, then f is a.e. equal to a characteristic function of a measurable set. Solution: By Corollary.3, there esists a subsequence

More information

Stochastic integration II: the Itô integral

Stochastic integration II: the Itô integral 13 Stochastic integration II: the Itô integral We have seen in Lecture 6 how to integrate functions Φ : (, ) L (H, E) with resect to an H-cylindrical Brownian motion W H. In this lecture we address the

More information

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li Summer Jump-Start Program for Analysis, 01 Song-Ying Li 1 Lecture 6: Uniformly continuity and sequence of functions 1.1 Uniform Continuity Definition 1.1 Let (X, d 1 ) and (Y, d ) are metric spaces and

More information

Existence Results for Quasilinear Degenerated Equations Via Strong Convergence of Truncations

Existence Results for Quasilinear Degenerated Equations Via Strong Convergence of Truncations Existence Results for Quasilinear Degenerated Equations Via Strong Convergence of Truncations Youssef AKDIM, Elhoussine AZROUL, and Abdelmoujib BENKIRANE Déartement de Mathématiques et Informatique, Faculté

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

HENSEL S LEMMA KEITH CONRAD

HENSEL S LEMMA KEITH CONRAD HENSEL S LEMMA KEITH CONRAD 1. Introduction In the -adic integers, congruences are aroximations: for a and b in Z, a b mod n is the same as a b 1/ n. Turning information modulo one ower of into similar

More information

Fréchet-Kolmogorov-Riesz-Weil s theorem on locally compact groups via Arzelà-Ascoli s theorem

Fréchet-Kolmogorov-Riesz-Weil s theorem on locally compact groups via Arzelà-Ascoli s theorem arxiv:1801.01898v2 [math.fa] 17 Jun 2018 Fréchet-Kolmogorov-Riesz-Weil s theorem on locally comact grous via Arzelà-Ascoli s theorem Mateusz Krukowski Łódź University of Technology, Institute of Mathematics,

More information

p-adic Measures and Bernoulli Numbers

p-adic Measures and Bernoulli Numbers -Adic Measures and Bernoulli Numbers Adam Bowers Introduction The constants B k in the Taylor series exansion t e t = t k B k k! k=0 are known as the Bernoulli numbers. The first few are,, 6, 0, 30, 0,

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 5051 Measure Theory and Functional Analysis I Homework Assignment 2

Math 5051 Measure Theory and Functional Analysis I Homework Assignment 2 Math 551 Measure Theory and Functional nalysis I Homework ssignment 2 Prof. Wickerhauser Due Friday, September 25th, 215 Please do Exercises 1, 4*, 7, 9*, 11, 12, 13, 16, 21*, 26, 28, 31, 32, 33, 36, 37.

More information

g(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)

g(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0) Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to

More information

ETNA Kent State University

ETNA Kent State University Electronic Transactions on Numerical Analysis. Volume 9,. 29-36, 25. Coyright 25,. ISSN 68-963. ETNA ASYMPTOTICS FOR EXTREMAL POLYNOMIALS WITH VARYING MEASURES M. BELLO HERNÁNDEZ AND J. MíNGUEZ CENICEROS

More information

MEASURE AND INTEGRATION: LECTURE 15. f p X. < }. Observe that f p

MEASURE AND INTEGRATION: LECTURE 15. f p X. < }. Observe that f p L saes. Let 0 < < and let f : funtion. We define the L norm to be ( ) / f = f dµ, and the sae L to be C be a measurable L (µ) = {f : C f is measurable and f < }. Observe that f = 0 if and only if f = 0

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

Sums of independent random variables

Sums of independent random variables 3 Sums of indeendent random variables This lecture collects a number of estimates for sums of indeendent random variables with values in a Banach sace E. We concentrate on sums of the form N γ nx n, where

More information

Lebesgue Integration on R n

Lebesgue Integration on R n Lebesgue Integration on R n The treatment here is based loosely on that of Jones, Lebesgue Integration on Euclidean Space We give an overview from the perspective of a user of the theory Riemann integration

More information

Math212a1413 The Lebesgue integral.

Math212a1413 The Lebesgue integral. Math212a1413 The Lebesgue integral. October 28, 2014 Simple functions. In what follows, (X, F, m) is a space with a σ-field of sets, and m a measure on F. The purpose of today s lecture is to develop the

More information

1.2 Fundamental Theorems of Functional Analysis

1.2 Fundamental Theorems of Functional Analysis 1.2 Fundamental Theorems of Functional Analysis 15 Indeed, h = ω ψ ωdx is continuous compactly supported with R hdx = 0 R and thus it has a unique compactly supported primitive. Hence fφ dx = f(ω ψ ωdy)dx

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

MATH 6210: SOLUTIONS TO PROBLEM SET #3

MATH 6210: SOLUTIONS TO PROBLEM SET #3 MATH 6210: SOLUTIONS TO PROBLEM SET #3 Rudin, Chater 4, Problem #3. The sace L (T) is searable since the trigonometric olynomials with comlex coefficients whose real and imaginary arts are rational form

More information

Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts. Tuesday, January 16th, 2018

Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts. Tuesday, January 16th, 2018 NAME: Advanced Analysis Qualifying Examination Department of Mathematics and Statistics University of Massachusetts Tuesday, January 16th, 2018 Instructions 1. This exam consists of eight (8) problems

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

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n

converges as well if x < 1. 1 x n x n 1 1 = 2 a nx n Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists

More information

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

Functional Analysis, Stein-Shakarchi Chapter 1

Functional Analysis, Stein-Shakarchi Chapter 1 Functional Analysis, Stein-Shakarchi Chapter 1 L p spaces and Banach Spaces Yung-Hsiang Huang 018.05.1 Abstract Many problems are cited to my solution files for Folland [4] and Rudin [6] post here. 1 Exercises

More information

ABSTRACT INTEGRATION CHAPTER ONE

ABSTRACT INTEGRATION CHAPTER ONE CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed

More information

Most Continuous Functions are Nowhere Differentiable

Most Continuous Functions are Nowhere Differentiable Most Continuous Functions are Nowhere Differentiable Spring 2004 The Space of Continuous Functions Let K = [0, 1] and let C(K) be the set of all continuous functions f : K R. Definition 1 For f C(K) we

More information

Math 172 Problem Set 5 Solutions

Math 172 Problem Set 5 Solutions Math 172 Problem Set 5 Solutions 2.4 Let E = {(t, x : < x b, x t b}. To prove integrability of g, first observe that b b b f(t b b g(x dx = dt t dx f(t t dtdx. x Next note that f(t/t χ E is a measurable

More information

X n D X lim n F n (x) = F (x) for all x C F. lim n F n(u) = F (u) for all u C F. (2)

X n D X lim n F n (x) = F (x) for all x C F. lim n F n(u) = F (u) for all u C F. (2) 14:17 11/16/2 TOPIC. Convergence in distribution and related notions. This section studies the notion of the so-called convergence in distribution of real random variables. This is the kind of convergence

More information

Integration on Measure Spaces

Integration on Measure Spaces Chapter 3 Integration on Measure Spaces In this chapter we introduce the general notion of a measure on a space X, define the class of measurable functions, and define the integral, first on a class of

More information

, but still n=0 b n = b n = 1 n 6 n k=1k 5 a k. sin(x 2 + ax)

, but still n=0 b n = b n = 1 n 6 n k=1k 5 a k. sin(x 2 + ax) Analysis SEP Summer 25 Problem. (a)suppose (a n ) n= is a sequence of nonnegative real numbers such that n= a n

More information

MTH 503: Functional Analysis

MTH 503: Functional Analysis MTH 53: Functional Analysis Semester 1, 215-216 Dr. Prahlad Vaidyanathan Contents I. Normed Linear Spaces 4 1. Review of Linear Algebra........................... 4 2. Definition and Examples...........................

More information

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N

d(x n, x) d(x n, x nk ) + d(x nk, x) where we chose any fixed k > N Problem 1. Let f : A R R have the property that for every x A, there exists ɛ > 0 such that f(t) > ɛ if t (x ɛ, x + ɛ) A. If the set A is compact, prove there exists c > 0 such that f(x) > c for all x

More information

Best approximation by linear combinations of characteristic functions of half-spaces

Best approximation by linear combinations of characteristic functions of half-spaces Best aroximation by linear combinations of characteristic functions of half-saces Paul C. Kainen Deartment of Mathematics Georgetown University Washington, D.C. 20057-1233, USA Věra Kůrková Institute of

More information

Sobolev Spaces with Weights in Domains and Boundary Value Problems for Degenerate Elliptic Equations

Sobolev Spaces with Weights in Domains and Boundary Value Problems for Degenerate Elliptic Equations Sobolev Saces with Weights in Domains and Boundary Value Problems for Degenerate Ellitic Equations S. V. Lototsky Deartment of Mathematics, M.I.T., Room 2-267, 77 Massachusetts Avenue, Cambridge, MA 02139-4307,

More information

2. Metric Spaces. 2.1 Definitions etc.

2. Metric Spaces. 2.1 Definitions etc. 2. Metric Spaces 2.1 Definitions etc. The procedure in Section for regarding R as a topological space may be generalized to many other sets in which there is some kind of distance (formally, sets with

More information

HIGHER ORDER NONLINEAR DEGENERATE ELLIPTIC PROBLEMS WITH WEAK MONOTONICITY

HIGHER ORDER NONLINEAR DEGENERATE ELLIPTIC PROBLEMS WITH WEAK MONOTONICITY 2005-Oujda International Conference on Nonlinear Analysis. Electronic Journal of Differential Equations, Conference 4, 2005,. 53 7. ISSN: 072-669. URL: htt://ejde.math.txstate.edu or htt://ejde.math.unt.edu

More information

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm

Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify

More information

Journal of Inequalities in Pure and Applied Mathematics

Journal of Inequalities in Pure and Applied Mathematics Journal of Inequalities in Pure and Alied Mathematics htt://jiam.vu.edu.au/ Volume 3, Issue 5, Article 8, 22 REVERSE CONVOLUTION INEQUALITIES AND APPLICATIONS TO INVERSE HEAT SOURCE PROBLEMS SABUROU SAITOH,

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

Measurable functions are approximately nice, even if look terrible.

Measurable functions are approximately nice, even if look terrible. Tel Aviv University, 2015 Functions of real variables 74 7 Approximation 7a A terrible integrable function........... 74 7b Approximation of sets................ 76 7c Approximation of functions............

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

Math The Laplacian. 1 Green s Identities, Fundamental Solution

Math The Laplacian. 1 Green s Identities, Fundamental Solution Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external

More information

A CHARACTERIZATION OF REAL ANALYTIC FUNCTIONS

A CHARACTERIZATION OF REAL ANALYTIC FUNCTIONS Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 43, 208, 475 482 A CHARACTERIZATION OF REAL ANALYTIC FUNCTIONS Grzegorz Łysik Jan Kochanowski University, Faculty of Mathematics and Natural Science

More information

Course 212: Academic Year Section 1: Metric Spaces

Course 212: Academic Year Section 1: Metric Spaces Course 212: Academic Year 1991-2 Section 1: Metric Spaces D. R. Wilkins Contents 1 Metric Spaces 3 1.1 Distance Functions and Metric Spaces............. 3 1.2 Convergence and Continuity in Metric Spaces.........

More information

A brief introduction to N functions and Orlicz function spaces. John Alexopoulos Kent State University, Stark Campus

A brief introduction to N functions and Orlicz function spaces. John Alexopoulos Kent State University, Stark Campus A brief introduction to N functions and Orlicz function spaces John Alexopoulos Kent State University, Stark Campus March 12, 24 2 Contents 1 Introduction: Uniform integrability 5 1.1 Definitions.....................................

More information

MA359 Measure Theory

MA359 Measure Theory A359 easure Theory Thomas Reddington Usman Qureshi April 8, 204 Contents Real Line 3. Cantor set.................................................. 5 2 General easures 2 2. Product spaces...............................................

More information

Entrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems

Entrance Exam, Real Analysis September 1, 2017 Solve exactly 6 out of the 8 problems September, 27 Solve exactly 6 out of the 8 problems. Prove by denition (in ɛ δ language) that f(x) = + x 2 is uniformly continuous in (, ). Is f(x) uniformly continuous in (, )? Prove your conclusion.

More information

Lecture 6. 2 Recurrence/transience, harmonic functions and martingales

Lecture 6. 2 Recurrence/transience, harmonic functions and martingales Lecture 6 Classification of states We have shown that all states of an irreducible countable state Markov chain must of the same tye. This gives rise to the following classification. Definition. [Classification

More information

L p Spaces and Convexity

L p Spaces and Convexity L p Spaces and Convexity These notes largely follow the treatments in Royden, Real Analysis, and Rudin, Real & Complex Analysis. 1. Convex functions Let I R be an interval. For I open, we say a function

More information

SOLUTIONS TO SOME PROBLEMS

SOLUTIONS TO SOME PROBLEMS 23 FUNCTIONAL ANALYSIS Spring 23 SOLUTIONS TO SOME PROBLEMS Warning:These solutions may contain errors!! PREPARED BY SULEYMAN ULUSOY PROBLEM 1. Prove that a necessary and sufficient condition that the

More information

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions

Summer Jump-Start Program for Analysis, 2012 Song-Ying Li. 1 Lecture 7: Equicontinuity and Series of functions Summer Jump-Start Program for Analysis, 0 Song-Ying Li Lecture 7: Equicontinuity and Series of functions. Equicontinuity Definition. Let (X, d) be a metric space, K X and K is a compact subset of X. C(K)

More information

CHAPTER 1. Metric Spaces. 1. Definition and examples

CHAPTER 1. Metric Spaces. 1. Definition and examples CHAPTER Metric Spaces. Definition and examples Metric spaces generalize and clarify the notion of distance in the real line. The definitions will provide us with a useful tool for more general applications

More information

Multiplicity of weak solutions for a class of nonuniformly elliptic equations of p-laplacian type

Multiplicity of weak solutions for a class of nonuniformly elliptic equations of p-laplacian type Nonlinear Analysis 7 29 536 546 www.elsevier.com/locate/na Multilicity of weak solutions for a class of nonuniformly ellitic equations of -Lalacian tye Hoang Quoc Toan, Quô c-anh Ngô Deartment of Mathematics,

More information

Measure and Integration: Solutions of CW2

Measure and Integration: Solutions of CW2 Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost

More information

Convex Analysis and Economic Theory Winter 2018

Convex Analysis and Economic Theory Winter 2018 Division of the Humanities and Social Sciences Ec 181 KC Border Conve Analysis and Economic Theory Winter 2018 Toic 16: Fenchel conjugates 16.1 Conjugate functions Recall from Proosition 14.1.1 that is

More information

Exam 2 extra practice problems

Exam 2 extra practice problems Exam 2 extra practice problems (1) If (X, d) is connected and f : X R is a continuous function such that f(x) = 1 for all x X, show that f must be constant. Solution: Since f(x) = 1 for every x X, either

More information