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

Size: px
Start display at page:

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

Transcription

1 Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang Abstract In these exercises always denote an open set of with smooth boundary. As usual, all given functions are assumed smooth, unless otherwise stated.. Suppose k Z, < γ. Show that C,β () is a Banach space. Proof. We prove the case k = for simplicity. The general case is almost the same (except we need the standard convergence theorem between {f n } and {Df n }). Given a Cauchy sequence {f n } C,β (), then there is a f C() such that f n f uniformly and a constant M > such that for each n N and s t, f n (s) f n (t) s t β M. Then for each s t, there is some N = N(s, t) N such that f(s) f(t) f(s) f N (s) + f N (s) f N (t) + f N (t) f(t) s t β + M s t β. Therefore, f C,β (). It remains to show f n f in C,β (). For each s, t and ɛ >, by Cauchy s criteria, we can find a N = N(ɛ) such that for k, n N f k (s) f n (s) f k (t) + f n (t) ɛ s t β Department of Math., National Taiwan niversity. d3@ntu.edu.tw Department of Math., National Taiwan niversity. d4@ntu.edu.tw

2 For each η >, we can find a K = K(η, s, t) > N, such that f(x) f K (x) η for x = s, or x = t. Therefore, for every n N f(s) f n (s) f(t)+f n (t) f(s) f K (s) + f K (s) f n (s) f K (t)+f n (t) + f(t) f K (t) η+ɛ s t β. Letting η, we obtain that f(s) f n (s) f(t) + f n (t) ɛ s t β for all n N(ɛ).. Proof. u C,γ = sup u(x) + sup Set t s.t. ( t)β + t = γ. Then u(x) u(y) x y γ = u(x) u(y) x y γ. ( ) t ( ) t u(x) u(y) u(x) u(y). x y β x y u C,γ u t u t + [u] t [u] t C,β C, := a t b t + a t b t. Since y = x t, < t <, is a concave function, we have ( a t b t + a t b t a ( b ) t a ( b ) ) t = (a + a ) + a + a a a + a a Then (a + a ) ( b a + a + b a + a = (a + a ) t (b + b ). ) t u C,γ u t u t + [u] t C,β [u] t C, ( u + [u] C,β) t ( u + [u] C,) t = u t C,β u t C,. Remark. There is a general convexity theorem for Higher-order Hölder norm (due to Hörmander), see Helms [4, chapter 8]. 3. Omit. 4. Assume u W,p (, ) for some p <. (a) Show that u is equal a.e. to an absolutely continuous function and u belongs to L p (, ). (b) Prove that if < p <, then for a.e. x, y [, ], u(x) u(y) x y p u p.

3 Proof. (b) follows easily from (a) and Hölder inequality. For (a), denote the weak derivative of u by u w. Define v(t) = t u w(s) ds, then v is absolutely continuous. Given φ C c, [v u]φ dx = = x = t u w(t) dtφ (x) dx φ (x) dxu w(t) dt + φ(t)u w(t) dt + u(x)φ (x) dx u w(x)φ(x) dx u w(x)φ(x) dx =. (This argument avoids the use of the Lebesgue Differentiation theorem if we only want to show the -d weakly differentiable function F = H a.e., an absolutely continuous function.) We are done if we use Exercise. There are many other way to prove the second fundamental lemma of calculus of variations without using mollifications. We also note such statement is true for distributions. For example, see []. 5. Proof. For any V W, we can find a smooth function u such that u on V and supp(u) W. Take ε = 3 dist(v, W c ) >. Let φ ɛ (z) be the standard mollifier supported in { z ɛ}, V := {z : dist(z, V ) < ɛ} and u(x) := χ V φ ε (x) = χ V (x y)φ ε (y) dy = φ ε (y) dy. x V Then u is smooth (by LDCT), u = on V and supported in {dist(x, V ) ɛ} W. 6. Apply Exercise 5. We omit it since it can be found in many Differential Geometry textbooks. 7. Proof. u p ds = = u p α ν ds div ( u p α) dx u p div α + ( u p ) α dx 8. Proof. Consider u n (x) = n dist(x, ) +. Note that u n C(Ū), u n(x) and {u n (x)} is decreasing to for each x, MCT tells us u n p,. On the other hand, u n p, = p, is a positive constant. Hence T u n p, u n p, = u n p, u n p, which means T will not be bounded, if T exists. 3

4 9. Proof. Given u H () H (), there exists u k C (Ū) with u k u in H (), and v k Cc (Ū) with v k u in H (). Hence { u k } and { u k } are bounded in L. Note u k u k n ds = div (u k u k ) dx = u k dx + u k u k dx. The right-hand side tends to u dx + u u dx. Note u k u k n ds = = div ((u k v k ) u k ) dx (u k v k ) u k + (u k v k ) u k dx. which tends to by Hölder and (u k v k ) in H (). Therefore, for all u H () H(), u + u u dx = Then we apply Hölder s inequality to get the desired inequality.. Proof. (Sketch) (b) is similar to (a). To prove (a), we start with the formula in Hint, do integration by parts once, and then apply the generalized Hölder with exponents pair (p, p, p p ).. Proof. Given K, compact. Then u L (K). Note that the weak derivative D(u η ɛ ) = Du η ɛ =. Since is connected and u η ɛ is smooth, u η ε is a constant c ɛ which will converges to u in L (K) as ɛ and hence {c } n= forms a Cauchy sequence (note that K n has finite measure) that will converges to some constant c. Therefore, u = c a.e. in K and hence in.. Proof. Consider in R, let u(x) = χ (,) (x). 3. Proof. Consider = B(, ) {(x, y) x > } in R, let u(x, y) = rθ in polar coordinate. ( ) 4. Let n >. Show that log log + W,n (B x ()). Proof. u(x) n dx = ω n ( log log + ) n r n dr, let t = r r log log( + t) n = ω n dt tn t log log( + t) n log log( + t) n Since lim =, there is T > such that < for t T. Then t t t u(x) n log log( + t) n dx = ω n dt tn t T log log( + t) n ω n dt + ω tn n dt <. t tn 4

5 On the other hand, we omit the proof that the first weak derivative of u exists and u xi = log( + ) + x x x i x 3. So u xi n dx ω n log( + ) + n r r r r n dr, let t = r = ω n log( + t) n ( + t) n tn dt ω n n <. log s n e sn esn ds (s = log( + t)) 5. Proof. Applying Poincaré inequality, ( Applying Hölider inequality, ) ( ) ( ) u dx (u) dx + u (u) dx ( ) (u) + C Du dx. (u) ( {u } u dx dx {u } ( = ( α) ) ( {u } ) u dx. ) u dx Therefore, ( ) ( u α dx ) ( ) u dx + C Du dx, Since α <, we proved the desired inequality ( )( ) ( ) α u dx C Du dx. Remark. For further discussions on Poincare-Type inequality, see G.Leoni [5, Section.] and L.Tartar [7, Section -]. 5

6 6. Proof. For any u C c ( ), x u u dx = u div x = ( x u n R x n x dx. ) dx, by Divergence theorem The Hölder s inequality implies that n Rn u ( x dx u ) ( R x dx n Rn Given u H ( ), there exists a sequence u k C c u dx ). ( ) converging to u in H. By picking a further subsequence, we may assume u k converging to u pointwisely. Fatou s lemma implies u dx = liminf k u k dx liminf k (n ) 4 u k (n Rn ) u dx x 4 x dx. Remark 3. This proof is simpler than the one suggested in the hint. Also note that the same approximation argument should be applied at the end of the proof to Theorem 7 on page 96. Remark 4. A family of inequalities that interpolate between Hardy and Sobolev inequalities is given by the Hardy-Sobolev inequality, ( u p n n x dx p ) p C(p) u dx for any u Cc ( ), where p n/(n ), n 3. One huge extensions and improvements of the Hardy-Sobolev inequalities is the Caffarelli-Kohn-Nirenberg inequalities established in their well-know paper []. See also a further generalization by C.S.Lin [6]. 7. Proof. For p <, there is a sequence u m W,p C () such that u m u in W,p. Then F (u m ) F (u) p sup F p u m u p, as m. F (u m )Du m F (u)du p sup F Du m Du p + F (u m ) F (u) p Du p. p to a subsequence, we know u m converges to u a.e. Since F is continuous, F (u m ) converge to F (u) a.e. Hence the last integral tends to by the dominate convergence theorem. Consequently, {F (u m )} and {F (u m )Du m } converge to F (u) and F (u)du in L p. By the uniqueness of weak derivative, D[F (u)] = F (u)du. On the other hand, F (u) L p since F (u) F u + F (). 6

7 Remark 5. Note that the hypothesis is bounded is only used to show F (u) L p. Such restriction can be removed if we know F () =. (Still need F L.) A trivial counterexample for unbounded and F () is F. 8. Proof. (a) and (c) follow from (b), (b) is proved by the method given in the hint easily. Note that can be unbounded. (See the remark for problem 7.) 9. Proof. Let φ be a smooth, bounded, nondecreasing function, such that φ is bounded and φ(z) = z, if z. Let u ɛ (x) := ɛφ(u/ɛ). Since u L, u is finite a.e. Therefore u ɛ as ɛ a.e.. Moreover by the mean-value theorem, for a.e. x u ɛ (x) = ɛ φ(u(x)/ɛ) φ(/ɛ) sup(φ ) u(x) L Hence u ɛ in L by dominated convergence theorem. By exercise 7, {Du ɛ } = {φ (u/ɛ)du} is bounded on L. Given w Cc (), (Du ɛ )w = u ɛ Dw, since u ɛ L Apply the density argument with the help of boundedness of { Du ɛ L }, we know the above is true for any w L. Take w = (Du)χ {u=} L, we see Du = φ (u/ɛ)du Du = Du ɛ (Du)χ {u=}, as ɛ {u=} {u=} which is the desired result. Remark 6. In the next two problems, we define the norm in fractional Sobolev spaces by u H s ( ) = ( + ξ ) s û(ξ) dξ, for s R. which is different from Evans definition. This definition works for negative power s.. (Sobolev Lemma) Proof. Since u H s L, Fourier inversion formula on L implies that u( x) = û(x) in L sense. However ( û(ξ) dξ = u H s ( ) ] ) [( ( + ξ ) s [ ] ) û(ξ) dξ ( + ξ ) s dξ ( ) Rn ( + ξ ) s dξ C u H s (R ), since s > n, n we know û L, and the inversion formula holds pointwisely now, this tells us that for each x u(x) e ix ξ û(ξ) dξ C u (π) n/ H s ( ) 7

8 Remark 7. It s true that for s = k + α + n, < α <, Hs is continuously embedded in C k,α. Remark 8. The converse of Sobolev lemma is true: If H s is continuously embedded in C k, then s > k + n. The proof is sketched in Folland [3, page 95].. (H s is an algebra if s > n/) We need the following convolution identity for Fourier transform on L ( ) : Lemma 9. ûv = (π) n/ û ˆv, u, v L. Proof. Since s, ( + ξ ) s/ ( + ξ η + η ) ) s/ ( + ξ η + η ) s/ s[ ( + ξ η ) s/ + ( + η ) s/]. Hence (( uv H = ( + ξ ) s ûv(ξ) dξ (π) n + ξ ) s/ ( u v )(ξ) ) dξ s ( [( C(n, s) + ξ η ) s/ + ( + η ) s/] û(ξ η) ˆv(η) dη ) dξ ( [( = C + ξ η ) s/ û(ξ η) ˆv(η) dη + ( + η ) s/] û(η) ˆv(ξ η) dη ) dξ C ( s û ˆv (ξ)) + ( û sˆv(ξ)) dξ, where x := ( + x ) /. C ( < > s û L ˆv L + û L < ) >s ˆv L, by Young s inequality. C u H s v H s, since ˆv C v H s Acknowledge The authors would like to thank Tommaso Seneci for his/her reminder that the original proof for problem 9 is wrong. (7.8.) References [] Luis Caffarelli, Robert Kohn, and Louis Nirenberg. First order interpolation inequalities with weights. Compositio Mathematica, 53(3):59 75,

9 [] Bernard Dacorogna. Direct methods in the calculus of variations, volume 78. Springer Science & Business Media, 7. [3] Gerald B Folland. Introduction to Partial Differential Equations. Princeton university press, nd edition, 995. [4] Lester L Helms. Potential Theory. Springer Science & Business Media, nd edition, 4. [5] Giovanni Leoni. A first course in Sobolev spaces, volume 5. American Mathematical Society Providence, RI, 9. [6] Chang Shou Lin. Interpolation inequalities with weights. Communications in Partial Differential Equations, (4):55 538, 986. [7] Luc Tartar. An introduction to Sobolev spaces and interpolation spaces, volume 3. Springer Science & Business Media, 7. 9

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

Partial Differential Equations, 2nd Edition, L.C.Evans The Calculus of Variations Partial Differential Equations, 2nd Edition, L.C.Evans Chapter 8 The Calculus of Variations Yung-Hsiang Huang 2018.03.25 Notation: denotes a bounded smooth, open subset of R n. All given functions are

More information

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

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

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

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

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

The Dirichlet s P rinciple. In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: Oct. 1 The Dirichlet s P rinciple In this lecture we discuss an alternative formulation of the Dirichlet problem for the Laplace equation: 1. Dirichlet s Principle. u = in, u = g on. ( 1 ) If we multiply

More information

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE

FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE FUNCTIONAL ANALYSIS LECTURE NOTES: WEAK AND WEAK* CONVERGENCE CHRISTOPHER HEIL 1. Weak and Weak* Convergence of Vectors Definition 1.1. Let X be a normed linear space, and let x n, x X. a. We say that

More information

Elliptic PDEs of 2nd Order, Gilbarg and Trudinger

Elliptic PDEs of 2nd Order, Gilbarg and Trudinger Elliptic PDEs of 2nd Order, Gilbarg and Trudinger Chapter 2 Laplace Equation Yung-Hsiang Huang 207.07.07. Mimic the proof for Theorem 3.. 2. Proof. I think we should assume u C 2 (Ω Γ). Let W be an open

More information

Real and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory

Real and Complex Analysis, 3rd Edition, W.Rudin Elementary Hilbert Space Theory Real and Complex Analysis, 3rd Edition, W.Rudin Chapter 4 Elementary Hilbert Space Theory Yung-Hsiang Huang. It s easy to see M (M ) and the latter is a closed subspace of H. Given F be a closed subspace

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

Theory of PDE Homework 5

Theory of PDE Homework 5 Theory of PDE Homework 5 Adrienne Sands March 22, 27. (Evans 5./2) Show by eamle that if we have D h u L (V ) C for all < h < 2 dist(v, ), it does not necessarily follow that u W, (V ). Proof. Let u()

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

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

The De Giorgi-Nash-Moser Estimates

The De Giorgi-Nash-Moser Estimates The De Giorgi-Nash-Moser Estimates We are going to discuss the the equation Lu D i (a ij (x)d j u) = 0 in B 4 R n. (1) The a ij, with i, j {1,..., n}, are functions on the ball B 4. Here and in the following

More information

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction

SHARP BOUNDARY TRACE INEQUALITIES. 1. Introduction SHARP BOUNDARY TRACE INEQUALITIES GILES AUCHMUTY Abstract. This paper describes sharp inequalities for the trace of Sobolev functions on the boundary of a bounded region R N. The inequalities bound (semi-)norms

More information

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

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

NONLOCAL DIFFUSION EQUATIONS

NONLOCAL DIFFUSION EQUATIONS NONLOCAL DIFFUSION EQUATIONS JULIO D. ROSSI (ALICANTE, SPAIN AND BUENOS AIRES, ARGENTINA) jrossi@dm.uba.ar http://mate.dm.uba.ar/ jrossi 2011 Non-local diffusion. The function J. Let J : R N R, nonnegative,

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

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

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

HARDY INEQUALITIES WITH BOUNDARY TERMS. x 2 dx u 2 dx. (1.2) u 2 = u 2 dx.

HARDY INEQUALITIES WITH BOUNDARY TERMS. x 2 dx u 2 dx. (1.2) u 2 = u 2 dx. Electronic Journal of Differential Equations, Vol. 003(003), No. 3, pp. 1 8. ISSN: 107-6691. UL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) HADY INEQUALITIES

More information

P(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law:

P(E t, Ω)dt, (2) 4t has an advantage with respect. to the compactly supported mollifiers, i.e., the function W (t)f satisfies a semigroup law: Introduction Functions of bounded variation, usually denoted by BV, have had and have an important role in several problems of calculus of variations. The main features that make BV functions suitable

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

Complex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm

Complex Analysis, Stein and Shakarchi Meromorphic Functions and the Logarithm Complex Analysis, Stein and Shakarchi Chapter 3 Meromorphic Functions and the Logarithm Yung-Hsiang Huang 217.11.5 Exercises 1. From the identity sin πz = eiπz e iπz 2i, it s easy to show its zeros are

More information

Variable Exponents Spaces and Their Applications to Fluid Dynamics

Variable Exponents Spaces and Their Applications to Fluid Dynamics Variable Exponents Spaces and Their Applications to Fluid Dynamics Martin Rapp TU Darmstadt November 7, 213 Martin Rapp (TU Darmstadt) Variable Exponent Spaces November 7, 213 1 / 14 Overview 1 Variable

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

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

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

Poisson Equation in Sobolev Spaces

Poisson Equation in Sobolev Spaces Poisson Equation in Sobolev Spaces OcMountain Dayligt Time. 6, 011 Today we discuss te Poisson equation in Sobolev spaces. It s existence, uniqueness, and regularity. Weak Solution. u = f in, u = g on

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

Regularity of Weak Solution to Parabolic Fractional p-laplacian

Regularity of Weak Solution to Parabolic Fractional p-laplacian Regularity of Weak Solution to Parabolic Fractional p-laplacian Lan Tang at BCAM Seminar July 18th, 2012 Table of contents 1 1. Introduction 1.1. Background 1.2. Some Classical Results for Local Case 2

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

Theory of PDE Homework 2

Theory of PDE Homework 2 Theory of PDE Homework 2 Adrienne Sands April 18, 2017 In the following exercises we assume the coefficients of the various PDE are smooth and satisfy the uniform ellipticity condition. R n is always an

More information

We denote the space of distributions on Ω by D ( Ω) 2.

We denote the space of distributions on Ω by D ( Ω) 2. Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study

More information

Week 6 Notes, Math 865, Tanveer

Week 6 Notes, Math 865, Tanveer Week 6 Notes, Math 865, Tanveer. Energy Methods for Euler and Navier-Stokes Equation We will consider this week basic energy estimates. These are estimates on the L 2 spatial norms of the solution u(x,

More information

Partial Differential Equations and Sobolev Spaces MAT-INF4300 autumn Snorre H. Christiansen November 10, 2016

Partial Differential Equations and Sobolev Spaces MAT-INF4300 autumn Snorre H. Christiansen November 10, 2016 Partial Differential Equations and Sobolev Spaces MAT-INF4300 autumn 2016 Snorre H. Christiansen November 10, 2016 1 2 Contents 1 Introduction 5 2 Notations for differential operators 7 3 Generalities

More information

Conservation law equations : problem set

Conservation law equations : problem set Conservation law equations : problem set Luis Silvestre For Isaac Neal and Elia Portnoy in the 2018 summer bootcamp 1 Method of characteristics For the problems in this section, assume that the solutions

More information

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

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

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

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

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

AN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W 1,p FOR EVERY p > 2 BUT NOT ON H0

AN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W 1,p FOR EVERY p > 2 BUT NOT ON H0 AN EXAMPLE OF FUNCTIONAL WHICH IS WEAKLY LOWER SEMICONTINUOUS ON W,p FOR EVERY p > BUT NOT ON H FERNANDO FARRONI, RAFFAELLA GIOVA AND FRANÇOIS MURAT Abstract. In this note we give an example of functional

More information

MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA

MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA MINIMAL GRAPHS PART I: EXISTENCE OF LIPSCHITZ WEAK SOLUTIONS TO THE DIRICHLET PROBLEM WITH C 2 BOUNDARY DATA SPENCER HUGHES In these notes we prove that for any given smooth function on the boundary of

More information

Introduction. Christophe Prange. February 9, This set of lectures is motivated by the following kind of phenomena:

Introduction. Christophe Prange. February 9, This set of lectures is motivated by the following kind of phenomena: Christophe Prange February 9, 206 This set of lectures is motivated by the following kind of phenomena: sin(x/ε) 0, while sin 2 (x/ε) /2. Therefore the weak limit of the product is in general different

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

n E(X t T n = lim X s Tn = X s

n E(X t T n = lim X s Tn = X s Stochastic Calculus Example sheet - Lent 15 Michael Tehranchi Problem 1. Let X be a local martingale. Prove that X is a uniformly integrable martingale if and only X is of class D. Solution 1. If If direction:

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

Complex Analysis, Stein and Shakarchi The Fourier Transform

Complex Analysis, Stein and Shakarchi The Fourier Transform Complex Analysis, Stein and Shakarchi Chapter 4 The Fourier Transform Yung-Hsiang Huang 2017.11.05 1 Exercises 1. Suppose f L 1 (), and f 0. Show that f 0. emark 1. This proof is observed by Newmann (published

More information

WELL-POSEDNESS FOR HYPERBOLIC PROBLEMS (0.2)

WELL-POSEDNESS FOR HYPERBOLIC PROBLEMS (0.2) WELL-POSEDNESS FOR HYPERBOLIC PROBLEMS We will use the familiar Hilbert spaces H = L 2 (Ω) and V = H 1 (Ω). We consider the Cauchy problem (.1) c u = ( 2 t c )u = f L 2 ((, T ) Ω) on [, T ] Ω u() = u H

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

(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

Methods on Nonlinear Elliptic Equations

Methods on Nonlinear Elliptic Equations Wenxiong Chen and Congming Li Methods on Nonlinear Elliptic Equations SPIN AIMS internal project number, if known Monograph September 22, 2008 AIMS Preface In this book we intend to present basic materials

More information

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

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

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

u xx + u yy = 0. (5.1)

u xx + u yy = 0. (5.1) Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function

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

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

EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018

EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner

More information

Institut für Mathematik

Institut für Mathematik RHEINISCH-WESTFÄLISCHE TECHNISCHE HOCHSCHULE AACHEN Institut für Mathematik Travelling Wave Solutions of the Heat Equation in Three Dimensional Cylinders with Non-Linear Dissipation on the Boundary by

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

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

Universität des Saarlandes. Fachrichtung 6.1 Mathematik

Universität des Saarlandes. Fachrichtung 6.1 Mathematik Universität des Saarlandes U N I V E R S I T A S S A R A V I E N I S S Fachrichtung 6.1 Mathematik Preprint Nr. 225 Estimates of the second-order derivatives for solutions to the two-phase parabolic problem

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

Lax Solution Part 4. October 27, 2016

Lax Solution Part 4.   October 27, 2016 Lax Solution Part 4 www.mathtuition88.com October 27, 2016 Textbook: Functional Analysis by Peter D. Lax Exercises: Ch 16: Q2 4. Ch 21: Q1, 2, 9, 10. Ch 28: 1, 5, 9, 10. 1 Chapter 16 Exercise 2 Let h =

More information

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first Math 632/6321: Theory of Functions of a Real Variable Sample Preinary Exam Questions 1. Let (, M, µ) be a measure space. (a) Prove that if µ() < and if 1 p < q

More information

A generalised Ladyzhenskaya inequality and a coupled parabolic-elliptic problem

A generalised Ladyzhenskaya inequality and a coupled parabolic-elliptic problem A generalised Ladyzhenskaya inequality and a coupled parabolic-elliptic problem Dave McCormick joint work with James Robinson and José Rodrigo Mathematics and Statistics Centre for Doctoral Training University

More information

On the Brezis and Mironescu conjecture concerning a Gagliardo-Nirenberg inequality for fractional Sobolev norms

On the Brezis and Mironescu conjecture concerning a Gagliardo-Nirenberg inequality for fractional Sobolev norms On the Brezis and Mironescu conjecture concerning a Gagliardo-Nirenberg inequality for fractional Sobolev norms Vladimir Maz ya Tatyana Shaposhnikova Abstract We prove the Gagliardo-Nirenberg type inequality

More information

Riesz Representation Theorems

Riesz Representation Theorems Chapter 6 Riesz Representation Theorems 6.1 Dual Spaces Definition 6.1.1. Let V and W be vector spaces over R. We let L(V, W ) = {T : V W T is linear}. The space L(V, R) is denoted by V and elements of

More information

DETERMINATION OF THE BLOW-UP RATE FOR THE SEMILINEAR WAVE EQUATION

DETERMINATION OF THE BLOW-UP RATE FOR THE SEMILINEAR WAVE EQUATION DETERMINATION OF THE LOW-UP RATE FOR THE SEMILINEAR WAVE EQUATION y FRANK MERLE and HATEM ZAAG Abstract. In this paper, we find the optimal blow-up rate for the semilinear wave equation with a power nonlinearity.

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

Mathematical Research Letters 4, (1997) HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS. Juha Kinnunen and Olli Martio

Mathematical Research Letters 4, (1997) HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS. Juha Kinnunen and Olli Martio Mathematical Research Letters 4, 489 500 1997) HARDY S INEQUALITIES FOR SOBOLEV FUNCTIONS Juha Kinnunen and Olli Martio Abstract. The fractional maximal function of the gradient gives a pointwise interpretation

More information

Stability for parabolic quasiminimizers. Y. Fujishima, J. Habermann, J. Kinnunen and M. Masson

Stability for parabolic quasiminimizers. Y. Fujishima, J. Habermann, J. Kinnunen and M. Masson Stability for parabolic quasiminimizers Y. Fujishima, J. Habermann, J. Kinnunen and M. Masson REPORT No. 1, 213/214, fall ISSN 113-467X ISRN IML-R- -1-13/14- -SE+fall STABILITY FOR PARABOLIC QUASIMINIMIZERS

More information

Real Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation

Real Analysis, 2nd Edition, G.B.Folland Signed Measures and Differentiation Real Analysis, 2nd dition, G.B.Folland Chapter 3 Signed Measures and Differentiation Yung-Hsiang Huang 3. Signed Measures. Proof. The first part is proved by using addivitiy and consider F j = j j, 0 =.

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

On some nonlinear parabolic equation involving variable exponents

On some nonlinear parabolic equation involving variable exponents On some nonlinear parabolic equation involving variable exponents Goro Akagi (Kobe University, Japan) Based on a joint work with Giulio Schimperna (Pavia Univ., Italy) Workshop DIMO-2013 Diffuse Interface

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

On the uniqueness of heat flow of harmonic maps and hydrodynamic flow of nematic liquid crystals

On the uniqueness of heat flow of harmonic maps and hydrodynamic flow of nematic liquid crystals On the uniqueness of heat flow of harmonic maps and hydrodynamic flow of nematic liquid crystals Fanghua Lin Changyou Wang Dedicated to Professor Roger Temam on the occasion of his 7th birthday Abstract

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

ON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM. Paweł Goncerz

ON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM. Paweł Goncerz Opuscula Mathematica Vol. 32 No. 3 2012 http://dx.doi.org/10.7494/opmath.2012.32.3.473 ON THE EXISTENCE OF THREE SOLUTIONS FOR QUASILINEAR ELLIPTIC PROBLEM Paweł Goncerz Abstract. We consider a quasilinear

More information

A CONVEX-CONCAVE ELLIPTIC PROBLEM WITH A PARAMETER ON THE BOUNDARY CONDITION

A CONVEX-CONCAVE ELLIPTIC PROBLEM WITH A PARAMETER ON THE BOUNDARY CONDITION A CONVEX-CONCAVE ELLIPTIC PROBLEM WITH A PARAMETER ON THE BOUNDARY CONDITION JORGE GARCÍA-MELIÁN, JULIO D. ROSSI AND JOSÉ C. SABINA DE LIS Abstract. In this paper we study existence and multiplicity of

More information

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

MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY MATH 263: PROBLEM SET 1: BUNDLES, SHEAVES AND HODGE THEORY 0.1. Vector Bundles and Connection 1-forms. Let E X be a complex vector bundle of rank r over a smooth manifold. Recall the following abstract

More information

Eigenvalues and Eigenfunctions of the Laplacian

Eigenvalues and Eigenfunctions of the Laplacian The Waterloo Mathematics Review 23 Eigenvalues and Eigenfunctions of the Laplacian Mihai Nica University of Waterloo mcnica@uwaterloo.ca Abstract: The problem of determining the eigenvalues and eigenvectors

More information

Nonlinear aspects of Calderón-Zygmund theory

Nonlinear aspects of Calderón-Zygmund theory Ancona, June 7 2011 Overture: The standard CZ theory Consider the model case u = f in R n Overture: The standard CZ theory Consider the model case u = f in R n Then f L q implies D 2 u L q 1 < q < with

More information

A Concise Course on Stochastic Partial Differential Equations

A Concise Course on Stochastic Partial Differential Equations A Concise Course on Stochastic Partial Differential Equations Michael Röckner Reference: C. Prevot, M. Röckner: Springer LN in Math. 1905, Berlin (2007) And see the references therein for the original

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

MATHS 730 FC Lecture Notes March 5, Introduction

MATHS 730 FC Lecture Notes March 5, Introduction 1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists

More information

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM

ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,

More information

NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES

NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES NECESSARY CONDITIONS FOR WEIGHTED POINTWISE HARDY INEQUALITIES JUHA LEHRBÄCK Abstract. We establish necessary conditions for domains Ω R n which admit the pointwise (p, β)-hardy inequality u(x) Cd Ω(x)

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

REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID

REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID REMARKS ON THE VANISHING OBSTACLE LIMIT FOR A 3D VISCOUS INCOMPRESSIBLE FLUID DRAGOŞ IFTIMIE AND JAMES P. KELLIHER Abstract. In [Math. Ann. 336 (2006), 449-489] the authors consider the two dimensional

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

MA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt

MA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt MA526 Homework 4 Group 4 April 26, 26 Qn 6.2 Show that H is not bounded as a map: L L. Deduce from this that H is not bounded as a map L L. Let {ϕ n } be an approximation of the identity s.t. ϕ C, sptϕ

More information

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

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

RENORMALIZED SOLUTIONS ON QUASI OPEN SETS WITH NONHOMOGENEOUS BOUNDARY VALUES TONI HUKKANEN

RENORMALIZED SOLUTIONS ON QUASI OPEN SETS WITH NONHOMOGENEOUS BOUNDARY VALUES TONI HUKKANEN RENORMALIZED SOLTIONS ON QASI OPEN SETS WITH NONHOMOGENEOS BONDARY VALES TONI HKKANEN Acknowledgements I wish to express my sincere gratitude to my advisor, Professor Tero Kilpeläinen, for the excellent

More information

Minimization problems on the Hardy-Sobolev inequality

Minimization problems on the Hardy-Sobolev inequality manuscript No. (will be inserted by the editor) Minimization problems on the Hardy-Sobolev inequality Masato Hashizume Received: date / Accepted: date Abstract We study minimization problems on Hardy-Sobolev

More information

Notes on Partial Differential Equations. John K. Hunter. Department of Mathematics, University of California at Davis

Notes on Partial Differential Equations. John K. Hunter. Department of Mathematics, University of California at Davis Notes on Partial Differential Equations John K. Hunter Department of Mathematics, University of California at Davis Abstract. These are notes from a two-quarter class on PDEs that are heavily based on

More information