Sobolev Spaces. Chapter 10

Size: px
Start display at page:

Download "Sobolev Spaces. Chapter 10"

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

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

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

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

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

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

TD M1 EDP 2018 no 2 Elliptic equations: regularity, maximum principle TD M EDP 08 no Elliptic equations: regularity, maximum principle Estimates in the sup-norm I Let be an open bounded subset of R d of class C. Let A = (a ij ) be a symmetric matrix of functions of class

More information

(d). Why does this imply that there is no bounded extension operator E : W 1,1 (U) W 1,1 (R n )? Proof. 2 k 1. a k 1 a k

(d). Why does this imply that there is no bounded extension operator E : W 1,1 (U) W 1,1 (R n )? Proof. 2 k 1. a k 1 a k Exercise For k 0,,... let k be the rectangle in the plane (2 k, 0 + ((0, (0, and for k, 2,... let [3, 2 k ] (0, ε k. Thus is a passage connecting the room k to the room k. Let ( k0 k (. We assume ε k

More information

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

Sobolev embeddings and interpolations

Sobolev embeddings and interpolations embed2.tex, January, 2007 Sobolev embeddings and interpolations Pavel Krejčí This is a second iteration of a text, which is intended to be an introduction into Sobolev embeddings and interpolations. The

More information

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

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

COMPLETE METRIC SPACES AND THE CONTRACTION MAPPING THEOREM

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

Unbounded operators on Hilbert spaces

Unbounded operators on Hilbert spaces Chapter 1 Unbounded operators on Hilbert spaces Definition 1.1. Let H 1, H 2 be Hilbert spaces and T : dom(t ) H 2 be a densely defined linear operator, i.e. dom(t ) is a dense linear subspace of H 1.

More information

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

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

is a weak solution with the a ij,b i,c2 C 1 ( ) Thus @u @x i PDE 69 is a weak solution with the RHS @f @x i L. Thus u W 3, loc (). Iterating further, and using a generalized Sobolev imbedding gives that u is smooth. Theorem 3.33 (Local smoothness).

More information

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

Solution Sheet 3. Solution Consider. with the metric. We also define a subset. and thus for any x, y X 0 Solution Sheet Throughout this sheet denotes a domain of R n with sufficiently smooth boundary. 1. Let 1 p

More information

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some

More information

Distributions. Chapter INTRODUCTION

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

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

Some lecture notes for Math 6050E: PDEs, Fall 2016 Some lecture notes for Math 65E: PDEs, Fall 216 Tianling Jin December 1, 216 1 Variational methods We discuss an example of the use of variational methods in obtaining existence of solutions. Theorem 1.1.

More information

Tools from Lebesgue integration

Tools from Lebesgue integration Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given

More information

Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains

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

PDEs, Homework #3 Solutions. 1. Use Hölder s inequality to show that the solution of the heat equation

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

Functional Analysis HW #3

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

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

Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As

More information

Partial Differential Equations 2 Variational Methods

Partial Differential Equations 2 Variational Methods Partial Differential Equations 2 Variational Methods Martin Brokate Contents 1 Variational Methods: Some Basics 1 2 Sobolev Spaces: Definition 9 3 Elliptic Boundary Value Problems 2 4 Boundary Conditions,

More information

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

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

HARMONIC ANALYSIS. Date:

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

The Mollifier Theorem

The Mollifier Theorem The Mollifier Theorem Definition of the Mollifier The function Tx Kexp 1 if x 1 2 1 x 0 if x 1, x R n where the constant K is chosen such that R n Txdx 1, is a test function on Rn. Note that Tx vanishes,

More information

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

Partial Differential Equations

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

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product

Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )

More information

REAL ANALYSIS I HOMEWORK 4

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

THE INVERSE FUNCTION THEOREM

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

2 A Model, Harmonic Map, Problem

2 A Model, Harmonic Map, Problem ELLIPTIC SYSTEMS JOHN E. HUTCHINSON Department of Mathematics School of Mathematical Sciences, A.N.U. 1 Introduction Elliptic equations model the behaviour of scalar quantities u, such as temperature or

More information

Many of you got these steps reversed or otherwise out of order.

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

The Inverse Function Theorem via Newton s Method. Michael Taylor

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

ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES

ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Annales Academiæ Scientiarum Fennicæ Mathematica Volumen 29, 2004, 167 176 ON BOUNDEDNESS OF MAXIMAL FUNCTIONS IN SOBOLEV SPACES Piotr Haj lasz and Jani Onninen Warsaw University, Institute of Mathematics

More information

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

INTEGRATION ON MANIFOLDS and GAUSS-GREEN THEOREM

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

APPLICATIONS OF DIFFERENTIABILITY IN R n.

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

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

THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION. Juha Kinnunen. 1 f(y) dy, B(x, r) B(x,r) Appeared in Israel J. Math. 00 (997), 7 24 THE HARDY LITTLEWOOD MAXIMAL FUNCTION OF A SOBOLEV FUNCTION Juha Kinnunen Abstract. We prove that the Hardy Littlewood maximal operator is bounded in the Sobolev

More information

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

Lectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai. Lectures on Sobolev Spaces S. Kesavan The Institute of Mathematical Sciences, Chennai. e-mail: kesh@imsc.res.in 2 1 Distributions In this section we will, very briefly, recall concepts from the theory

More information

BIHARMONIC WAVE MAPS INTO SPHERES

BIHARMONIC WAVE MAPS INTO SPHERES BIHARMONIC WAVE MAPS INTO SPHERES SEBASTIAN HERR, TOBIAS LAMM, AND ROLAND SCHNAUBELT Abstract. A global weak solution of the biharmonic wave map equation in the energy space for spherical targets is constructed.

More information

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

JUHA KINNUNEN. Harmonic Analysis

JUHA KINNUNEN. Harmonic Analysis JUHA KINNUNEN Harmonic Analysis Department of Mathematics and Systems Analysis, Aalto University 27 Contents Calderón-Zygmund decomposition. Dyadic subcubes of a cube.........................2 Dyadic cubes

More information

INVERSE FUNCTION THEOREM and SURFACES IN R n

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

arxiv: v1 [math.ca] 15 Dec 2016

arxiv: 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 information

4 Riesz Kernels. Since the functions k i (ξ) = ξ i. are bounded functions it is clear that R

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

Spaces with Ricci curvature bounded from below

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

Introduction to Functional Analysis

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

S chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.

S chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1. Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable

More information

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

Sobolev spaces. Elliptic equations

Sobolev spaces. Elliptic equations Sobolev spaces. Elliptic equations Petru Mironescu December 2010 0 Introduction The purpose of these notes is to introduce some basic functional and harmonic analysis tools (Sobolev spaces, singular integrals)

More information

Lecture Notes Math 632, PDE Spring Semester Sigmund Selberg Visiting Assistant Professor Johns Hopkins University

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

THE STEINER REARRANGEMENT IN ANY CODIMENSION

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

TD 1: Hilbert Spaces and Applications

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

GRAND SOBOLEV SPACES AND THEIR APPLICATIONS TO VARIATIONAL PROBLEMS

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

6. Duals of L p spaces

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

Fall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.

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

Notions such as convergent sequence and Cauchy sequence make sense for any metric space. Convergent Sequences are Cauchy

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

CAPACITIES ON METRIC SPACES

CAPACITIES ON METRIC SPACES [June 8, 2001] CAPACITIES ON METRIC SPACES V. GOL DSHTEIN AND M. TROYANOV Abstract. We discuss the potential theory related to the variational capacity and the Sobolev capacity on metric measure spaces.

More information

HOMEOMORPHISMS OF BOUNDED VARIATION

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

The infinity-laplacian and its properties

The infinity-laplacian and its properties U.U.D.M. Project Report 2017:40 Julia Landström Examensarbete i matematik, 15 hp Handledare: Kaj Nyström Examinator: Martin Herschend December 2017 Department of Mathematics Uppsala University Department

More information

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

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

Honours Analysis III

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

MATH6081A Homework 8. In addition, when 1 < p 2 the above inequality can be refined using Lorentz spaces: f

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

By (a), B ε (x) is a closed subset (which

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

Notes on Sobolev Spaces A. Visintin a.a

Notes on Sobolev Spaces A. Visintin a.a Notes on Sobolev Spaces A. Visintin a.a. 2017-18 Contents: 1. Hölder spaces. 2. Regularity of Euclidean domains. 3. Sobolev spaces of positive integer order. 4. Sobolev spaces of real integer order. 5.

More information

Euler Equations: local existence

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

The wave front set of a distribution

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

the convolution of f and g) given by

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

Introduction to Sobolev Spaces

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

MATH 819 FALL We considered solutions of this equation on the domain Ū, where

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

Fourier Transform & Sobolev Spaces

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

Wiener Measure and Brownian Motion

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

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

Outline of Fourier Series: Math 201B

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

g 2 (x) (1/3)M 1 = (1/3)(2/3)M.

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

MATH 6337: Homework 8 Solutions

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

Applications of the Maximum Principle

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

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

A metric space X is a non-empty set endowed with a metric ρ (x, y): Chapter 1 Preliminaries References: Troianiello, G.M., 1987, Elliptic differential equations and obstacle problems, Plenum Press, New York. Friedman, A., 1982, Variational principles and free-boundary

More information

SOLUTIONS TO HOMEWORK ASSIGNMENT 4

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

GLOBAL LIPSCHITZ CONTINUITY FOR MINIMA OF DEGENERATE PROBLEMS

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

Maths 212: Homework Solutions

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

Regularity for Poisson Equation

Regularity for Poisson Equation Regularity for Poisson Equation OcMountain Daylight Time. 4, 20 Intuitively, the solution u to the Poisson equation u= f () should have better regularity than the right hand side f. In particular one expects

More information

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

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

Lecture 4 Lebesgue spaces and inequalities

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

Quantitative Homogenization of Elliptic Operators with Periodic Coefficients

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

MATH 425, FINAL EXAM SOLUTIONS

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

Mid Term-1 : Practice problems

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

Homework I, Solutions

Homework I, Solutions Homework I, Solutions I: (15 points) Exercise on lower semi-continuity: Let X be a normed space and f : X R be a function. We say that f is lower semi - continuous at x 0 if for every ε > 0 there exists

More information