Sobolev Spaces. Chapter 10
|
|
- Shawn Dawson
- 6 years ago
- Views:
Transcription
1 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 (R n ): (1.1) j u = f j L p (R n ), where (1.1) means (1.2) ϕ u dx = ϕf j dx, ϕ C (Rn ). If u C (Rn ), we see that j u = u/, by integrating by parts, using (7.67). We define a norm on H 1,p (R n ) by (1.3) u H 1,p = u L p + j j u L p. We claim that H 1,p (R n ) is complete, hence a Banach space. Indeed, let (u ν ) be a Cauchy sequence in H 1,p (R n ). Then (u ν ) is Cauchy in L p (R n ); hence it has an L p -norm limit u L p (R n ). Also, for each j, j u ν = f jν is Cauchy in L p (R n ), so there is a limit f j L p (R n ), and it is easily verified from (1.2) that j u = f j. We can consider convolutions and products of elements of H 1,p (R n ) with elements of C (Rn ) and readily obtain identities (1.4) j (ϕ u) = ( j ϕ) u = ϕ ( j u), j (ψu) = ψ u + ψ( j u), 129
2 13 1. Sobolev Spaces and estimates (1.5) ϕ u H 1,p ϕ L 1 u H 1,p, ψu H 1,p ψ L u H 1,p + j ψ L u L p, for ϕ, ψ C (Rn ), u H 1,p (R n ). For example, the first identity in (1.4) is equivalent to ψ (x) ϕ(x y)u(y) dy dx = ψ(x) ϕ (x y) u(y) dy dx, ψ C (R n ), an identity that can be established by using Fubini s Theorem (to first do the x-integral) and integration by parts, via (7.67). If p <, u H 1,p (R n ), and (ϕ j ) is an approximate identity of the form (7.64), with ϕ j C (Rn ), then we can show that (1.6) ϕ j u u in H 1,p -norm, using (1.4) and (7.65). Given ε >, we can take j such that ϕ j u u H 1,p < ε. Then we can pick ψ C (Rn ) such that ψ(ϕ j u) ϕ j u H 1,p < ε. Of course, ϕ j u is smooth, so ψ(ϕ j u) C (Rn ). We have established Proposition 1.1. For p [1, ), the space C (Rn ) is dense in H 1,p (R n ). Sobolev spaces are very useful in analysis, particularly in the study of partial differential equations. We will establish just a few results here, some of which will be useful in Chapter 11. More material can be found in [EG], [Fol], [T1], and [Yo]. The following result is known as a Sobolev Imbedding Theorem. Proposition 1.2. If p > n or if p = n = 1, then (1.7) H 1,p (R n ) C(R n ) L (R n ). For now we concentrate on the case p (n, ). Since C (Rn ) is then dense in H 1,p (R n ), it suffices to establish the estimate (1.8) u L C u H 1,p, for u C (Rn ).
3 1. Sobolev Spaces 131 In turn, it suffices to establish (1.9) u() C u H 1,p, for u C (Rn ). To get this, it suffices to show that, for a given ϕ C ( B 1 ) with ϕ() = 1, (1.1) u() C (ϕu) L p, where v = ( 1 v,..., n v) or, equivalently, that (1.11) u() C u L p, u C ( B 1 ). In turn, this will follow from an estimate of the form (1.12) u() u(ω) C u L p (B 1 ), u C (R n ), given ω R n, ω = 1. Thus we turn to a proof of (1.12). Without loss of generality, we can take ω = e n = (,...,, 1). We will work with the set Σ = {z R n 1 : z 3/2}. For z Σ, let γ z be the path from to e n consisting of a line segment from to (z, 1/2), followed by a line segment from (z, 1/2) to e n, as illustrated in Figure 1.1. Then (with A = Area Σ) ( ) dz (1.13) u(e n ) u() = du A = u(x) ψ(x) dx, Σ γ z where the last identity applies the change of variable formula. The behavior of the Jacobian determinant of the map (t, z) γ z (t) yields (1.14) ψ(x) C x (n 1) + C x e n (n 1). B 1 Thus (1.15) B 1/2 ψ(x) q dx C 1/2 r nq+q r n 1 dr. It follows that (1.16) ψ L q (B 1 ), q < n n 1. Thus (1.17) u(e n ) u() u L p (B 1 ) ψ L p (B 1 ) C u L p (B 1 ),
4 Sobolev Spaces Γ z e n Figure 1.1 as long as p < n/(n 1), which is the same as p > n. This proves (1.12) and hence Proposition 1.2, for p (n, ). For n = 1, (1.13) simplifies to u(1) u() = 1 u (x) dx, which immediately gives the estimate (1.12) for p = n = 1. We can refine Proposition 1.2 to the following. Proposition 1.3. If p (n, ), then every u H 1,p (R n ) satisfies a Hölder condition: (1.18) H 1,p (R n ) C s (R n ), s = 1 n p. Proof. Applying (1.12) to v(x) = u(rx), we have, for ω = 1, (1.19) u(rω) u() p Cr p u(rx) p dx = Cr p n u(x) p dx. This implies B 1 (1.2) u(x) u(y) C x y 1 n/p( B r u(z) p dz) 1/p, r = x y, B r(x) which gives (1.18).
5 1. Sobolev Spaces 133 If u H 1, (R n ) and if ϕ C (Rn ), then ϕu H 1,p (R n ) for all p [1, ), so Proposition 1.3 applies. We next show that in fact H 1, (R n ) coincides with the space of Lipschitz functions: (1.21) Lip(R n ) = {u L (R n ) : u(x) u(y) K x y }. Proposition 1.4. We have the identity (1.22) H 1, (R n ) = Lip(R n ). Proof. First, suppose u Lip(R n ). Thus (1.23) h 1[ u(x + he j ) u(x) ] is bounded in L (R n ). Hence, by Proposition 9.4, there is a sequence h ν and f j L (R n ) such that (1.24) h 1 [ ν u(x + hν e j ) u(x) ] f j weak in L (R n ). In particular, for all ϕ C (Rn ), (1.25) h 1 ν ϕ(x) [ u(x + h ν e j ) u(x) ] dx ϕ(x)f j (x) dx. But the left side of (1.25) is equal to [ϕ(x (1.26) h 1 ν hν e j ) ϕ(x) ] u(x) dx ϕ u(x) dx. This shows that j u = f j. Hence Lip(R n ) H 1, (R n ). Next, suppose u H 1, (R n ). Let ϕ j (x) = j n ϕ(jx) be an approximate identity as in (1.6), with ϕ C (Rn ). We do not get ϕ j u u in H 1, - norm, but we do have u j = ϕ j u bounded in H 1, (R n ); in fact, each u j is C, and we have (1.27) u j L K 1, u j L K 2. Also u j u locally uniformly. The second estimate in (1.27) implies (1.28) u j (x) u j (y) K 2 x y, since u j (x) u j (y) = 1 (x y) u(tx + (1 t)y) dt. Thus in the limit j, we get also u(x) u(y) K 2 x y. This completes the proof. We next show that, when p [1, n), H 1,p (R n ) is contained in L q (R n ) for some q > p. One technical tool which is useful for our estimates is the following generalized Hölder inequality.
6 Sobolev Spaces Lemma 1.5. If p j [1, ], p 1 j = 1, then (1.29) u 1 u m dx u 1 L p 1 (M) u m L pm (M). M The proof follows by induction from the case m = 2, which is the usual Hölder inequality. Proposition 1.6. For p [1, n), (1.3) H 1,p (R n ) L np/(n p) (R n ). In fact, there is an estimate (1.31) u L np/(n p) C u L p for u H 1,p (R n ), with C = C(p, n). Proof. It suffices to establish (1.31) for u C (Rn ). Clearly (1.32) u(x) j u dy j, where the integrand, written more fully, is j u(x 1,..., y j,..., x n ). (Note that the right side of (1.32) is independent of x j.) Hence (1.33) u(x) n/(n 1) n ( ) 1/(n 1). j u dy j j=1 We can integrate (1.33) successively over each variable x j, j = 1,..., n, and apply the generalized Hölder inequality (1.29) with m = p 1 = = p m = n 1 after each integration. We get { n (1.34) u L n/(n 1) j=1 R n } 1/n j u dx C u L 1. This establishes (1.31) in the case p = 1. We can apply this to v = u γ, γ > 1, obtaining (1.35) u γ L n/(n 1) C u γ 1 u L 1 C u γ 1 L p u L p. For p < n, pick γ = (n 1)p/(n p). Then (1.35) gives (1.31) and the proposition is proved.
7 1. Sobolev Spaces 135 There are also Sobolev spaces H k,p (R n ), for each k Z +. By definition u H k,p (R n ) provided (1.36) α u = f α L p (R n ), α k, where α = α 1 1 αn n, α = α 1 + +α n, and, as in (1.2), (1.36) means (1.37) ( 1) α α ϕ x α u dx = ϕf α dx, ϕ C (R n ). Given u H k,p (R n ), we can apply Proposition 1.6 to estimate the L np/(n p) -norm of k 1 u in terms of k u L p, where we use the notation (1.38) k u = { α u : α = k}, k u L p = α =k and proceed inductively, obtaining the following corollary. Proposition 1.7. For kp < n, (1.39) H k,p (R n ) L np/(n kp) (R n ). α u L p, The next result provides a generalization of Proposition 1.2. Proposition 1.8. We have (1.4) H k,p (R n ) C(R n ) L (R n ) for kp > n. Proof. If p > n, we can apply Proposition 1.2. If p = n and k 2, since it suffices to obtain an L bound for u H k,p (R n ) with support in the unit ball, just use u H 2,n ε (R n ) and proceed to the next step of the argument. If p [1, n), it follows from Proposition 1.6 that (1.41) H k,p (R n ) H k 1,p 1 (R n ), p 1 = np n p. Thus the hypothesis kp > n implies (k 1)p 1 > kp > n. Iterating this argument, we obtain H k,p (R n ) H l,q (R n ), for some l 1 and q > n, and again we can apply Proposition 1.2.
8 Sobolev Spaces Exercises 1. Write down the details for the proof of the identities in (1.4). 2. Verify the estimates in (1.14). Hint. Write the first integral in (1.13) as 1/A times Σ 1 v + (z) u(tz, 1 2 t) dt dz + Σ 1 v (z) u(tz, 1 1 2t) dt dz, where v ± (z) = (±z, 1/2). Then calculate an appropriate Jacobian determinant to obtain the second integral in (1.13). 3. Suppose 1 < p <. If τ y f(x) = f(x y), show that f belongs to H 1,p (R n ) if and only if τ y f is a Lipschitz function of y with values in L p (R n ), i.e., (1.42) τ y f τ z f L p C y z. Hint. Consider the proof of Proposition 1.4. What happens in the case p = 1? 4. Show that H n,1 (R n ) C(R n ) L (R n ). Hint. u(x) = 1 n u(x + y) dy 1 dy n. 5. If p j [1, ] and u j L p j, show that u 1 u 2 L r provided 1/r = 1/p 1 + 1/p 2 and (1.43) u 1 u 2 L r u 1 L p 1 u 2 L p 2. Show that this implies (1.29). 6. Given u L 2 (R n ), show that (1.44) u H k,2 (R n ) ( 1 + ξ ) kû L 2 (R n ). 7. Let f L 1 (R), and set g(x) = x f(y) dy. Continuity of g follows from the Dominated Convergence Theorem. Show that (1.45) 1 g = f.
9 1. Sobolev Spaces 137 Hint. Given ϕ C (R), start with (1.46) dϕ x g(x) dx = ϕ (x)f(y) dy dx, dx and use Fubini s Theorem. Then use y ϕ (x) dx = ϕ(y). Alternative. Write the left side of (1.46) as lim h 1 [ϕ(x ] + h) ϕ(x) g(x) dx = lim h h and use (4.64). x+h f(y)ϕ(x) dy dx, 8. If u H 1,p (R n ) for some p [1, ) and j u = on a connected open set U R n, for 1 j n, show that u is (equal a.e. to a) constant on U. Hint. Approximate u by (1.6), i.e., by u ν = ϕ ν u, where ϕ ν C (Rn ) has support in { x < 1/ν}, ϕν dx = 1. Show that j (ϕ ν u) = on U ν U, where U ν U as ν. More generally, if j u = f j C(U), 1 j n, show that u is equal a.e. to a function in C 1 (U). 9. In case n = 1, deduce from Exercises 7 and 8 that, if u L 1 loc (R), (1.47) 1 u = f L 1 (R) = u(x) = c + for some constant c. x x f(y) dy, a.e. x R, 1. Let g H 2,1 (R), I = [a, b], and f = g I. Show that the estimate (9.75) concerning the trapezoidal rule holds in this setting.
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 informationSobolev 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 information2. Function spaces and approximation
2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C
More informationg(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 informationTD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle
TD M EDP 08 no Elliptic equations: regularity, maximum principle Estimates in the sup-norm I Let be an open bounded subset of R d of class C. Let A = (a ij ) be a symmetric matrix of functions of class
More information(d). Why does this imply that there is no bounded extension operator E : W 1,1 (U) W 1,1 (R n )? Proof. 2 k 1. a k 1 a k
Exercise For k 0,,... let k be the rectangle in the plane (2 k, 0 + ((0, (0, and for k, 2,... let [3, 2 k ] (0, ε k. Thus is a passage connecting the room k to the room k. Let ( k0 k (. We assume ε k
More informationRecall 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 informationSobolev embeddings and interpolations
embed2.tex, January, 2007 Sobolev embeddings and interpolations Pavel Krejčí This is a second iteration of a text, which is intended to be an introduction into Sobolev embeddings and interpolations. The
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationSobolevology. 1. Definitions and Notation. When α = 1 this seminorm is the same as the Lipschitz constant of the function f. 2.
Sobolevology 1. Definitions and Notation 1.1. The domain. is an open subset of R n. 1.2. Hölder seminorm. For α (, 1] the Hölder seminorm of exponent α of a function is given by f(x) f(y) [f] α = sup x
More informationCOMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM
COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM A metric space (M, d) is a set M with a metric d(x, y), x, y M that has the properties d(x, y) = d(y, x), x, y M d(x, y) d(x, z) + d(z, y), x,
More informationUnbounded operators on Hilbert spaces
Chapter 1 Unbounded operators on Hilbert spaces Definition 1.1. Let H 1, H 2 be Hilbert spaces and T : dom(t ) H 2 be a densely defined linear operator, i.e. dom(t ) is a dense linear subspace of H 1.
More informationReal Analysis Problems
Real Analysis Problems Cristian E. Gutiérrez September 14, 29 1 1 CONTINUITY 1 Continuity Problem 1.1 Let r n be the sequence of rational numbers and Prove that f(x) = 1. f is continuous on the irrationals.
More informationis a weak solution with the a ij,b i,c2 C 1 ( )
Thus @u @x i PDE 69 is a weak solution with the RHS @f @x i L. Thus u W 3, loc (). Iterating further, and using a generalized Sobolev imbedding gives that u is smooth. Theorem 3.33 (Local smoothness).
More informationSolution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0
Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p
More informationTHE 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 informationDistributions. Chapter INTRODUCTION
Chapter 6 Distributions 6.1 INTRODUCTION The notion of a weak derivative is an indispensable tool in dealing with partial differential equations. Its advantage is that it allows one to dispense with subtle
More informationSome lecture notes for Math 6050E: PDEs, Fall 2016
Some lecture notes for Math 65E: PDEs, Fall 216 Tianling Jin December 1, 216 1 Variational methods We discuss an example of the use of variational methods in obtaining existence of solutions. Theorem 1.1.
More informationTools from Lebesgue integration
Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given
More informationTraces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains
Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains Sergey E. Mikhailov Brunel University West London, Department of Mathematics, Uxbridge, UB8 3PH, UK J. Math. Analysis
More informationPDEs, Homework #3 Solutions. 1. Use Hölder s inequality to show that the solution of the heat equation
PDEs, Homework #3 Solutions. Use Hölder s inequality to show that the solution of the heat equation u t = ku xx, u(x, = φ(x (HE goes to zero as t, if φ is continuous and bounded with φ L p for some p.
More informationFunctional Analysis HW #3
Functional Analysis HW #3 Sangchul Lee October 26, 2015 1 Solutions Exercise 2.1. Let D = { f C([0, 1]) : f C([0, 1])} and define f d = f + f. Show that D is a Banach algebra and that the Gelfand transform
More informationPartial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces
Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As
More informationPartial Differential Equations 2 Variational Methods
Partial Differential Equations 2 Variational Methods Martin Brokate Contents 1 Variational Methods: Some Basics 1 2 Sobolev Spaces: Definition 9 3 Elliptic Boundary Value Problems 2 4 Boundary Conditions,
More information2 (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 information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationHARMONIC ANALYSIS. Date:
HARMONIC ANALYSIS Contents. Introduction 2. Hardy-Littlewood maximal function 3. Approximation by convolution 4. Muckenhaupt weights 4.. Calderón-Zygmund decomposition 5. Fourier transform 6. BMO (bounded
More informationThe Mollifier Theorem
The Mollifier Theorem Definition of the Mollifier The function Tx Kexp 1 if x 1 2 1 x 0 if x 1, x R n where the constant K is chosen such that R n Txdx 1, is a test function on Rn. Note that Tx vanishes,
More informationMATH 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 informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationREAL ANALYSIS I HOMEWORK 4
REAL ANALYSIS I HOMEWORK 4 CİHAN BAHRAN The questions are from Stein and Shakarchi s text, Chapter 2.. Given a collection of sets E, E 2,..., E n, construct another collection E, E 2,..., E N, with N =
More informationMath 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 informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More information3 (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 information2 A Model, Harmonic Map, Problem
ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or
More informationMany of you got these steps reversed or otherwise out of order.
Problem 1. Let (X, d X ) and (Y, d Y ) be metric spaces. Suppose that there is a bijection f : X Y such that for all x 1, x 2 X. 1 10 d X(x 1, x 2 ) d Y (f(x 1 ), f(x 2 )) 10d X (x 1, x 2 ) Show that if
More informationIntegration 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 informationThe Inverse Function Theorem via Newton s Method. Michael Taylor
The Inverse Function Theorem via Newton s Method Michael Taylor We aim to prove the following result, known as the inverse function theorem. Theorem 1. Let F be a C k map (k 1) from a neighborhood of p
More informationON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES
Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics
More informationProblem set 5, Real Analysis I, Spring, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, 1 x (log 1/ x ) 2 dx 1
Problem set 5, Real Analysis I, Spring, 25. (5) Consider the function on R defined by f(x) { x (log / x ) 2 if x /2, otherwise. (a) Verify that f is integrable. Solution: Compute since f is even, R f /2
More informationINTEGRATION ON MANIFOLDS and GAUSS-GREEN THEOREM
INTEGRATION ON MANIFOLS and GAUSS-GREEN THEOREM 1. Schwarz s paradox. Recall that for curves one defines length via polygonal approximation by line segments: a continuous curve γ : [a, b] R n is rectifiable
More informationAPPLICATIONS OF DIFFERENTIABILITY IN R n.
APPLICATIONS OF DIFFERENTIABILITY IN R n. MATANIA BEN-ARTZI April 2015 Functions here are defined on a subset T R n and take values in R m, where m can be smaller, equal or greater than n. The (open) ball
More informationTHE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r)
Appeared in Israel J. Math. 00 (997), 7 24 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION Juha Kinnunen Abstract. We prove that the Hardy Littlewood maximal operator is bounded in the Sobolev
More informationLectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.
Lectures on Sobolev Spaces S. Kesavan The Institute of Mathematical Sciences, Chennai. e-mail: kesh@imsc.res.in 2 1 Distributions In this section we will, very briefly, recall concepts from the theory
More informationBIHARMONIC WAVE MAPS INTO SPHERES
BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.
More information2) 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 informationJUHA KINNUNEN. Harmonic Analysis
JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes
More informationINVERSE FUNCTION THEOREM and SURFACES IN R n
INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that
More informationarxiv: v1 [math.ca] 15 Dec 2016
L p MAPPING PROPERTIES FOR NONLOCAL SCHRÖDINGER OPERATORS WITH CERTAIN POTENTIAL arxiv:62.0744v [math.ca] 5 Dec 206 WOOCHEOL CHOI AND YONG-CHEOL KIM Abstract. In this paper, we consider nonlocal Schrödinger
More information4 Riesz Kernels. Since the functions k i (ξ) = ξ i. are bounded functions it is clear that R
4 Riesz Kernels. A natural generalization of the Hilbert transform to higher dimension is mutiplication of the Fourier Transform by homogeneous functions of degree 0, the simplest ones being R i f(ξ) =
More informationSpaces with Ricci curvature bounded from below
Spaces with Ricci curvature bounded from below Nicola Gigli February 23, 2015 Topics 1) On the definition of spaces with Ricci curvature bounded from below 2) Analytic properties of RCD(K, N) spaces 3)
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationIntroduction to Functional Analysis
Introduction to Functional Analysis Carnegie Mellon University, 21-640, Spring 2014 Acknowledgements These notes are based on the lecture course given by Irene Fonseca but may differ from the exact lecture
More informationS chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.
Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable
More informationNew estimates for the div-curl-grad operators and elliptic problems with L1-data in the whole space and in the half-space
New estimates for the div-curl-grad operators and elliptic problems with L1-data in the whole space and in the half-space Chérif Amrouche, Huy Hoang Nguyen To cite this version: Chérif Amrouche, Huy Hoang
More informationSobolev spaces. Elliptic equations
Sobolev spaces. Elliptic equations Petru Mironescu December 2010 0 Introduction The purpose of these notes is to introduce some basic functional and harmonic analysis tools (Sobolev spaces, singular integrals)
More informationLecture Notes Math 632, PDE Spring Semester Sigmund Selberg Visiting Assistant Professor Johns Hopkins University
Lecture Notes Math 63, PDE Spring Semester 1 Sigmund Selberg Visiting Assistant Professor Johns Hopkins University CHAPTER 1 The basics We consider the equation 1.1. The wave equation on R 1+n u =, where
More informationTHE STEINER REARRANGEMENT IN ANY CODIMENSION
THE STEINER REARRANGEMENT IN ANY CODIMENSION GIUSEPPE MARIA CAPRIANI Abstract. We analyze the Steiner rearrangement in any codimension of Sobolev and BV functions. In particular, we prove a Pólya-Szegő
More informationTD 1: Hilbert Spaces and Applications
Université Paris-Dauphine Functional Analysis and PDEs Master MMD-MA 2017/2018 Generalities TD 1: Hilbert Spaces and Applications Exercise 1 (Generalized Parallelogram law). Let (H,, ) be a Hilbert space.
More informationGRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS
LE MATEMATICHE Vol. LI (1996) Fasc. II, pp. 335347 GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS CARLO SBORDONE Dedicated to Professor Francesco Guglielmino on his 7th birthday W
More information6. Duals of L p spaces
6 Duals of L p spaces This section deals with the problem if identifying the duals of L p spaces, p [1, ) There are essentially two cases of this problem: (i) p = 1; (ii) 1 < p < The major difference between
More informationMost 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 informationFall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.
TMA445 Linear Methods Fall 26 Norwegian University of Science and Technology Department of Mathematical Sciences Solutions to exercise set 9 Let X be a Hilbert space and T a bounded linear operator on
More informationNotions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy
Banach Spaces These notes provide an introduction to Banach spaces, which are complete normed vector spaces. For the purposes of these notes, all vector spaces are assumed to be over the real numbers.
More informationCAPACITIES ON METRIC SPACES
[June 8, 2001] CAPACITIES ON METRIC SPACES V. GOL DSHTEIN AND M. TROYANOV Abstract. We discuss the potential theory related to the variational capacity and the Sobolev capacity on metric measure spaces.
More informationHOMEOMORPHISMS OF BOUNDED VARIATION
HOMEOMORPHISMS OF BOUNDED VARIATION STANISLAV HENCL, PEKKA KOSKELA AND JANI ONNINEN Abstract. We show that the inverse of a planar homeomorphism of bounded variation is also of bounded variation. In higher
More informationThe infinity-laplacian and its properties
U.U.D.M. Project Report 2017:40 Julia Landström Examensarbete i matematik, 15 hp Handledare: Kaj Nyström Examinator: Martin Herschend December 2017 Department of Mathematics Uppsala University Department
More informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationHonours Analysis III
Honours Analysis III Math 354 Prof. Dmitry Jacobson Notes Taken By: R. Gibson Fall 2010 1 Contents 1 Overview 3 1.1 p-adic Distance............................................ 4 2 Introduction 5 2.1 Normed
More informationMATH6081A Homework 8. In addition, when 1 < p 2 the above inequality can be refined using Lorentz spaces: f
MATH68A Homework 8. Prove the Hausdorff-Young inequality, namely f f L L p p for all f L p (R n and all p 2. In addition, when < p 2 the above inequality can be refined using Lorentz spaces: f L p,p f
More informationBy (a), B ε (x) is a closed subset (which
Solutions to Homework #3. 1. Given a metric space (X, d), a point x X and ε > 0, define B ε (x) = {y X : d(y, x) ε}, called the closed ball of radius ε centered at x. (a) Prove that B ε (x) is always a
More informationREAL 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 informationNotes on Sobolev Spaces A. Visintin a.a
Notes on Sobolev Spaces A. Visintin a.a. 2017-18 Contents: 1. Hölder spaces. 2. Regularity of Euclidean domains. 3. Sobolev spaces of positive integer order. 4. Sobolev spaces of real integer order. 5.
More informationEuler Equations: local existence
Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u
More informationThe wave front set of a distribution
The wave front set of a distribution The Fourier transform of a smooth compactly supported function u(x) decays faster than any negative power of the dual variable ξ; that is for every number N there exists
More informationthe convolution of f and g) given by
09:53 /5/2000 TOPIC Characteristic functions, cont d This lecture develops an inversion formula for recovering the density of a smooth random variable X from its characteristic function, and uses that
More informationIntroduction to Sobolev Spaces
Introduction to Sobolev Spaces Lecture Notes MM692 2018-2 Joa Weber UNICAMP December 23, 2018 Contents 1 Introduction 1 1.1 Notation and conventions...................... 2 2 L p -spaces 5 2.1 Borel and
More informationMATH 819 FALL We considered solutions of this equation on the domain Ū, where
MATH 89 FALL. The D linear wave equation weak solutions We have considered the initial value problem for the wave equation in one space dimension: (a) (b) (c) u tt u xx = f(x, t) u(x, ) = g(x), u t (x,
More informationFourier Transform & Sobolev Spaces
Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev
More informationWiener Measure and Brownian Motion
Chapter 16 Wiener Measure and Brownian Motion Diffusion of particles is a product of their apparently random motion. The density u(t, x) of diffusing particles satisfies the diffusion equation (16.1) u
More informationLecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.
Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differential equations. 1 Metric spaces 2 Completeness and completion. 3 The contraction
More informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
More informationg 2 (x) (1/3)M 1 = (1/3)(2/3)M.
COMPACTNESS If C R n is closed and bounded, then by B-W it is sequentially compact: any sequence of points in C has a subsequence converging to a point in C Conversely, any sequentially compact C R n is
More informationMATH 6337: Homework 8 Solutions
6.1. MATH 6337: Homework 8 Solutions (a) Let be a measurable subset of 2 such that for almost every x, {y : (x, y) } has -measure zero. Show that has measure zero and that for almost every y, {x : (x,
More informationApplications of the Maximum Principle
Jim Lambers MAT 606 Spring Semester 2015-16 Lecture 26 Notes These notes correspond to Sections 7.4-7.6 in the text. Applications of the Maximum Principle The maximum principle for Laplace s equation is
More informationA metric space X is a non-empty set endowed with a metric ρ (x, y):
Chapter 1 Preliminaries References: Troianiello, G.M., 1987, Elliptic differential equations and obstacle problems, Plenum Press, New York. Friedman, A., 1982, Variational principles and free-boundary
More informationSOLUTIONS TO HOMEWORK ASSIGNMENT 4
SOLUTIONS TO HOMEWOK ASSIGNMENT 4 Exercise. A criterion for the image under the Hilbert transform to belong to L Let φ S be given. Show that Hφ L if and only if φx dx = 0. Solution: Suppose first that
More informationNotes 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 informationGLOBAL LIPSCHITZ CONTINUITY FOR MINIMA OF DEGENERATE PROBLEMS
GLOBAL LIPSCHITZ CONTINUITY FOR MINIMA OF DEGENERATE PROBLEMS PIERRE BOUSQUET AND LORENZO BRASCO Abstract. We consider the problem of minimizing the Lagrangian [F ( u+f u among functions on R N with given
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationRegularity for Poisson Equation
Regularity for Poisson Equation OcMountain Daylight Time. 4, 20 Intuitively, the solution u to the Poisson equation u= f () should have better regularity than the right hand side f. In particular one expects
More informationDifferential Forms and Applications to Complex Analysis, Harmonic Functions, and Degree Theory Michael Taylor
Differential Forms and Applications to Complex Analysis, Harmonic Functions, and Degree Theory Michael Taylor Contents 6. Differential forms 7. Products and exterior derivatives of forms 8. The general
More informationExam 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 informationFolland: 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 informationLecture 4 Lebesgue spaces and inequalities
Lecture 4: Lebesgue spaces and inequalities 1 of 10 Course: Theory of Probability I Term: Fall 2013 Instructor: Gordan Zitkovic Lecture 4 Lebesgue spaces and inequalities Lebesgue spaces We have seen how
More informationQuantitative Homogenization of Elliptic Operators with Periodic Coefficients
Quantitative Homogenization of Elliptic Operators with Periodic Coefficients Zhongwei Shen Abstract. These lecture notes introduce the quantitative homogenization theory for elliptic partial differential
More informationMATH 425, FINAL EXAM SOLUTIONS
MATH 425, FINAL EXAM SOLUTIONS Each exercise is worth 50 points. Exercise. a The operator L is defined on smooth functions of (x, y by: Is the operator L linear? Prove your answer. L (u := arctan(xy u
More informationMid Term-1 : Practice problems
Mid Term-1 : Practice problems These problems are meant only to provide practice; they do not necessarily reflect the difficulty level of the problems in the exam. The actual exam problems are likely to
More informationHomework I, Solutions
Homework I, Solutions I: (15 points) Exercise on lower semi-continuity: Let X be a normed space and f : X R be a function. We say that f is lower semi - continuous at x 0 if for every ε > 0 there exists
More information