DOCSLIB.ORG

17. Weak and Strong Derivatives and Sobolev Spaces for This Section, Let

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
17. Weak and Strong Derivatives and Sobolev Spaces for This Section, Let 330 BRUCE K. DRIVER† 17. Weak and Strong Derivatives and Sobolev Spaces For this section, let Ω be an open subset of Rd, p,q,r [1, ],Lp(Ω)= p p p ∈ ∞ L (Ω, Ω,m) and Lloc(Ω)=Lloc(Ω, Ω,m), where m is Lebesgue measure on Rd B B d p Bp and Ω is the Borel σ —algebraonΩ. If Ω = R , we will simply write L and Lloc Bp d p d for L (R ) and Lloc(R ) respectively. Also let f,g := fgdm h i ZΩ for any pair of measurable functions f,g : Ω C such that fg L1(Ω). For example, by Hölder’s inequality, if f,g is defined→ for f Lp(Ω) and∈ g Lq(Ω) p h i ∈ ∈ when q = p 1 . The following simple but useful remark will be used (typically without further− comment) in the sequel. 1 1 1 Remark 17.1. Suppose r, p, q [1, ] are such that r− = p− + q− and ft f p q ∈ ∞ r → in L (Ω) and gt g in L (Ω) as t 0, then ftgt fg in L (Ω). Indeed, → → → ftgt fg = (ft f) gt + f (gt g) k − kr k − − kr ft f gt + f gt g 0 as t 0 ≤ k − kp k kq k kp k − kq → → d p p Definition 17.2 (Weak Differentiability). Let v R and f L (Ω)(f Lloc(Ω)) p ∈p ∈ ∈ then ∂vf is said to exist weakly in L (Ω)(Lloc(Ω)) if there exists a function g Lp(Ω)(g Lp (Ω)) such that ∈ ∈ loc (17.1) f,∂vφ = g, φ for all φ C∞(Ω). h i −h i ∈ c (w) The function g if it exists will be denoted by ∂v f. (By Corollary 9.27, there is at 1 (w) most one g L (Ω) such that Eq. (17.1) holds, so ∂v f is well defined.) ∈ loc 1 (w) 1 Lemma 17.3. Suppose f L (Ω) and ∂v f exists weakly in L (Ω). Then ∈ loc loc (w) (1) suppm(∂v f) suppm(f), where suppm(f) is the essential support of f relative to Lebesgue⊂ measure, see Definition 9.14. (w) (2) If f is continuously differentiable on U o Ω, then ∂v f = ∂vf a.e. on U. ⊂ Proof. (1) Since (w) ∂ f,φ = f,∂vφ =0for all φ C∞(Ω supp (f)), h v i −h i ∈ c \ m (w) and application of Corollary 9.27 shows ∂v f =0a.e. on Ω suppm(f). (w) \ (w) So by Lemma 9.15, Ω supp (f) Ω supp (∂v f), i.e. supp (∂v f) \ m ⊂ \ m m ⊂ suppm(f). 1 (2) Suppose that f U is C and let ψ Cc∞(U) which we view as a function d | ∈d in Cc∞(R ) by setting ψ 0 on R U. By Corollary 9.24, there exists ≡ \ γ Cc∞(Ω) such that 0 γ 1 and γ =1in a neighborhood of supp(ψ). ∈ ≤ ≤d 1 d Then by setting γf =0on R supp(γ) we may view γf Cc (R ) and so by standard integration by parts\ (see Lemma 9.25) and∈ the ordinary product rule, (w) ∂ f,ψ = f,∂vψ = γf,∂vψ h v i −h i −h i (17.2) = ∂v (γf) ,ψ = ∂vγ f + γ∂vf,ψ = ∂vf,ψ h i h · i h i REAL ANALYSIS LECTURE NOTES 331 wherein the last equality we have used ψ∂vγ =0and ψγ = ψ. Since Eq. (17.2) is true for all ψ Cc∞(U), an application of Corollary 9.27 with (w) ∈ (w) h = ∂v f(x) ∂vf(x) and µ = m shows ∂v f(x)=∂vf(x) for m —a.e. x U. − ∈ 1 d (w) Lemma 17.4 (Product Rule). Let f Lloc(Ω),v R and φ C∞(Ω). If ∂v f 1 (w) ∈ 1 ∈ ∈ exists in Lloc(Ω), then ∂v (φf) exists in Lloc(Ω) and (w) (w) ∂ (φf)=∂vφ f + φ∂ f a.e. v · v d 1 d Moreover if φ Cc∞(R ) and F := φf L (herewedefine F on R by setting d ∈ (w) ∈ (w) 1 d F =0on R Ω ), then ∂ F = ∂vφ f + φ∂v f exists weakly in L (R ). \ · Proof. Let ψ C∞(Ω), then ∈ c (w) φf, ∂vψ = f,φ∂vψ = f,∂v (φψ) ∂vφ ψ = ∂ f,φψ + ∂vφ f,ψ −h i −h i −h − · i h v i h · i (w) = φ∂ f,ψ + ∂vφ f,ψ . h v i h · i This proves the first assertion. To prove the second assertion let γ Cc∞(Ω) such ∈ d that 0 γ 1 and γ =1on a neighborhood of supp(φ). So for ψ Cc∞(R ), using ≤ ≤ ∈ ∂vγ =0on supp(φ) and γψ C∞(Ω), we find ∈ c F, ∂vψ = γF,∂vψ = F, γ∂vψ = (φf) ,∂v (γψ) ∂vγ ψ h i h i h i h − · i (w) = (φf) ,∂v (γψ) = ∂ (φf) , (γψ) h i −h v i (w) (w) = ∂vφ f + φ∂ f,γψ = ∂vφ f + φ∂ f,ψ . −h · v i −h · v i (w) (w) This show ∂v F = ∂vφ f + φ∂v f as desired. · p Lemma 17.5. Suppose p [1, ),v Rd and f L (Ω). ∈ ∞ ∈ ∈ loc p (w) p (1) If there exists fm m∞=1 Lloc(Ω) such that ∂v fm exists in Lloc(Ω) for { } ⊂ p all m and there exists g L (Ω) such that for all φ C∞(Ω), ∈ loc ∈ c lim fm,φ = f,φ and lim ∂vfm,φ = g,φ m m →∞h i h i →∞h i h i (w) p then ∂v f exists in Lloc(Ω) and ∂vf = g. (w) p (2) If ∂v f exists in Lloc(Ω) then there exists fn Cc∞(Ω) such that fn f p ∈ (w) p→ in L (K) (i.e. limn f fn Lp(K) =0)and ∂vfn ∂v f in L (K) →∞ k − k → for all K @@ Ω. Proof. (1) Since (w) f,∂vφ = lim fm,∂vφ = lim ∂ fm,φ = g, φ m m v h i →∞h i − →∞h i h i (w) p for all φ C∞(Ω),∂v f exists and is equal to g L (Ω). ∈ c ∈ loc (2) Let K0 := and ∅ c Kn := x Ω : x n and d(x, Ω ) 2/n { ∈ | | ≤ ≥ } o (so Kn Kn+1 Kn+1 for all n and Kn Ω as n or see Lemma ⊂ ⊂ o ↑ →∞ 8.10) and choose ψn C∞(K , [0, 1]) using Corollary 9.24 so that ψn =1 ∈ c n on a neighborhood of Kn 1. Given a compact set K Ω, for all sufficiently − ⊂ 332 BRUCE K. DRIVER† large m, ψmf = f on K and by Lemma 17.4 and item 1. of Lemma 17.3, we also have (w) (w) (w) ∂ (ψmf)=∂vψm f + ψm∂ f = ∂ f on K. v · v v This argument shows we may assume suppm(f) is a compact subset of Ω in which case we extend f to a function F on Rd by setting F = f on Ω c p d (w) (w) and F =0on Ω . This function F is in L (R ) and ∂v F = ∂v f. Indeed, d d if φ Cc∞(R ) and ψ Cc∞(R ) is chosen so that supp(ψ) Ω, 0 ψ 1 ∈ ∈ ⊂ ≤ ≤ and ψ =1in a neighborhood of suppm(f), then F, ∂vφ = F, ψ∂vφ = f,∂v (ψφ) h i h i h i = ∂(w)f,ψφ = ψ∂(w)f,φ −h v i −h v i (w) p d which shows ∂v F exist in L (R ) and (w) (w) (w) ∂v F = ψ∂v f =1Ω∂v f. d Let χ C∞(B0(1)) with d χdm =1and set δk(x)=n χ(nx). Then ∈ c R there exists N N and a compact subset K Ω such that fn := F δn ∈ R ⊂ ∗ ∈ Cc∞(Ω) and supp(fn) K for all n N. By Proposition 9.23 and the (w) ⊂ ≥ definition of ∂v F, ∂vfn(x)=F ∂vδn(x)= F (y)∂vδn(x y)dy ∗ d − ZR (w) (w) = F, ∂v [δn(x )] = ∂ F, δn(x ) = ∂ F δn(x). −h − · i h v − · i v ∗ (w) (w) p Hence by Theorem 9.20, fn F = f and ∂vfn ∂v F = ∂v f in L (Ω) as n . → → →∞ d p Definition 17.6 (Strong Differentiability). Let v R and f L , then ∂vf is p ∈ ∈p said to exist strongly in L if the limt 0 (τ tvf f) /t exists in L , where as above → − −(s) τvf(x):=f(x v). We will denote the limit by ∂v f. − p d (s) p (w) It is easily verified that if f L ,v R and ∂v f L exists then ∂v f exists (w) (s) ∈ ∈ ∈ d and ∂v f = ∂v f. To check this assertion, let φ Cc∞(R ) andthenusingRemark 17.1, ∈ (s) 1 τ tvf f ∂v f φ = L — lim − − φ. t 0 t · → Hence (s) τ tvf f τtvφ φ ∂v f φdm = lim − − φdm =lim f − dm d · t 0 d t t 0 d t ZR → ZR → ZR d d = 0 fτtvφdm = f 0τtvφdm = f ∂vφdm, dt| d d · dt| − d · ZR ZR ZR wherein we have used Corollary 5.43 to differentiate under the integral in the fourth (w) (s) equality. This shows ∂v f exists and is equal to ∂v f. What is somewhat more (w) (s) surprising is that the converse assertion that if ∂v f exists then so does ∂v f. The next theorem is a generalization of Theorem 10.36 from L2 to Lp.
Load more

Recommended publications
  • Sobolev Spaces, Theory and Applications
    Sobolev spaces, theory and applications Piotr Haj lasz1 Introduction These are the notes that I prepared for the participants of the Summer School in Mathematics in Jyv¨askyl¨a,August, 1998. I thank Pekka Koskela for his kind invitation. This is the second summer course that I delivere in Finland. Last August I delivered a similar course entitled Sobolev spaces and calculus of variations in Helsinki. The subject was similar, so it was not posible to avoid overlapping. However, the overlapping is little. I estimate it as 25%. While preparing the notes I used partially the notes that I prepared for the previous course. Moreover Lectures 9 and 10 are based on the text of my joint work with Pekka Koskela [33]. The notes probably will not cover all the material presented during the course and at the some time not all the material written here will be presented during the School. This is however, not so bad: if some of the results presented on lectures will go beyond the notes, then there will be some reasons to listen the course and at the same time if some of the results will be explained in more details in notes, then it might be worth to look at them. The notes were prepared in hurry and so there are many bugs and they are not complete. Some of the sections and theorems are unfinished. At the end of the notes I enclosed some references together with comments. This section was also prepared in hurry and so probably many of the authors who contributed to the subject were not mentioned.
    [Show full text]
  • Notes on Partial Differential Equations John K. Hunter
    Notes on Partial Differential Equations John K. Hunter Department of Mathematics, University of California at Davis Contents Chapter 1. Preliminaries 1 1.1. Euclidean space 1 1.2. Spaces of continuous functions 1 1.3. H¨olderspaces 2 1.4. Lp spaces 3 1.5. Compactness 6 1.6. Averages 7 1.7. Convolutions 7 1.8. Derivatives and multi-index notation 8 1.9. Mollifiers 10 1.10. Boundaries of open sets 12 1.11. Change of variables 16 1.12. Divergence theorem 16 Chapter 2. Laplace's equation 19 2.1. Mean value theorem 20 2.2. Derivative estimates and analyticity 23 2.3. Maximum principle 26 2.4. Harnack's inequality 31 2.5. Green's identities 32 2.6. Fundamental solution 33 2.7. The Newtonian potential 34 2.8. Singular integral operators 43 Chapter 3. Sobolev spaces 47 3.1. Weak derivatives 47 3.2. Examples 47 3.3. Distributions 50 3.4. Properties of weak derivatives 53 3.5. Sobolev spaces 56 3.6. Approximation of Sobolev functions 57 3.7. Sobolev embedding: p < n 57 3.8. Sobolev embedding: p > n 66 3.9. Boundary values of Sobolev functions 69 3.10. Compactness results 71 3.11. Sobolev functions on Ω ⊂ Rn 73 3.A. Lipschitz functions 75 3.B. Absolutely continuous functions 76 3.C. Functions of bounded variation 78 3.D. Borel measures on R 80 v vi CONTENTS 3.E. Radon measures on R 82 3.F. Lebesgue-Stieltjes measures 83 3.G. Integration 84 3.H. Summary 86 Chapter 4.
    [Show full text]
  • Lecture Notes for MATH 592A
    Lecture Notes for MATH 592A Vladislav Panferov February 25, 2008 1. Introduction As a motivation for developing the theory let’s consider the following boundary-value problem, u′′ + u = f(x) x Ω=(0, 1) − ∈ u(0) = 0, u(1) = 0, where f is a given (smooth) function. We know that the solution is unique, sat- isfies the stability estimate following from the maximum principle, and it can be expressed explicitly through Green’s function. However, there is another way “to say something about the solution”, quite independent of what we’ve done before. Let’s multuply the differential equation by u and integrate by parts. We get x=1 1 1 u′ u + (u′ 2 + u2) dx = f u dx. − x=0 0 0 h i Z Z The boundary terms vanish because of the boundary conditions. We introduce the following notations 1 1 u 2 = u2 dx (thenorm), and (f,u)= f udx (the inner product). k k Z0 Z0 Then the integral identity above can be written in the short form as u′ 2 + u 2 =(f,u). k k k k Now we notice the following inequality (f,u) 6 f u . (Cauchy-Schwarz) | | k kk k This may be familiar from linear algebra. For a quick proof notice that f + λu 2 = f 2 +2λ(f,u)+ λ2 u 2 0 k k k k k k ≥ 1 for any λ. This expression is a quadratic function in λ which has a minimum for λ = (f,u)/ u 2. Using this value of λ and rearranging the terms we get − k k (f,u)2 6 f 2 u 2.
    [Show full text]
  • Introduction to Sobolev Spaces
    Introduction to Sobolev Spaces Lecture Notes MM692 2018-2 Joa Weber UNICAMP December 23, 2018 Contents 1 Introduction1 1.1 Notation and conventions......................2 2 Lp-spaces5 2.1 Borel and Lebesgue measure space on Rn .............5 2.2 Definition...............................8 2.3 Basic properties............................ 11 3 Convolution 13 3.1 Convolution of functions....................... 13 3.2 Convolution of equivalence classes................. 15 3.3 Local Mollification.......................... 16 3.3.1 Locally integrable functions................. 16 3.3.2 Continuous functions..................... 17 3.4 Applications.............................. 18 4 Sobolev spaces 19 4.1 Weak derivatives of locally integrable functions.......... 19 1 4.1.1 The mother of all Sobolev spaces Lloc ........... 19 4.1.2 Examples........................... 20 4.1.3 ACL characterization.................... 21 4.1.4 Weak and partial derivatives................ 22 4.1.5 Approximation characterization............... 23 4.1.6 Bounded weakly differentiable means Lipschitz...... 24 4.1.7 Leibniz or product rule................... 24 4.1.8 Chain rule and change of coordinates............ 25 4.1.9 Equivalence classes of locally integrable functions..... 27 4.2 Definition and basic properties................... 27 4.2.1 The Sobolev spaces W k;p .................. 27 4.2.2 Difference quotient characterization of W 1;p ........ 29 k;p 4.2.3 The compact support Sobolev spaces W0 ........ 30 k;p 4.2.4 The local Sobolev spaces Wloc ............... 30 4.2.5 How the spaces relate.................... 31 4.2.6 Basic properties { products and coordinate change.... 31 i ii CONTENTS 5 Approximation and extension 33 5.1 Approximation............................ 33 5.1.1 Local approximation { any domain............. 33 5.1.2 Global approximation on bounded domains.......
    [Show full text]
  • Advanced Partial Differential Equations Prof. Dr. Thomas
    Advanced Partial Differential Equations Prof. Dr. Thomas Sørensen summer term 2015 Marcel Schaub July 2, 2015 1 Contents 0 Recall PDE 1 & Motivation 3 0.1 Recall PDE 1 . .3 1 Weak derivatives and Sobolev spaces 7 1.1 Sobolev spaces . .8 1.2 Approximation by smooth functions . 11 1.3 Extension of Sobolev functions . 13 1.4 Traces . 15 1.5 Sobolev inequalities . 17 2 Linear 2nd order elliptic PDE 25 2.1 Linear 2nd order elliptic partial differential operators . 25 2.2 Weak solutions . 26 2.3 Existence via Lax-Milgram . 28 2.4 Inhomogeneous bounday value problems . 35 2.5 The space H−1(U) ................................ 36 2.6 Regularity of weak solutions . 39 A Tutorials 58 A.1 Tutorial 1: Review of Integration . 58 A.2 Tutorial 2 . 59 A.3 Tutorial 3: Norms . 61 A.4 Tutorial 4 . 62 A.5 Tutorial 6 (Sheet 7) . 65 A.6 Tutorial 7 . 65 A.7 Tutorial 9 . 67 A.8 Tutorium 11 . 67 B Solutions of the problem sheets 70 B.1 Solution to Sheet 1 . 70 B.2 Solution to Sheet 2 . 71 B.3 Solution to Problem Sheet 3 . 73 B.4 Solution to Problem Sheet 4 . 76 B.5 Solution to Exercise Sheet 5 . 77 B.6 Solution to Exercise Sheet 7 . 81 B.7 Solution to problem sheet 8 . 84 B.8 Solution to Exercise Sheet 9 . 87 2 0 Recall PDE 1 & Motivation 0.1 Recall PDE 1 We mainly studied linear 2nd order equations – specifically, elliptic, parabolic and hyper- bolic equations. Concretely: • The Laplace equation ∆u = 0 (elliptic) • The Poisson equation −∆u = f (elliptic) • The Heat equation ut − ∆u = 0, ut − ∆u = f (parabolic) • The Wave equation utt − ∆u = 0, utt − ∆u = f (hyperbolic) We studied (“main motivation; goal”) well-posedness (à la Hadamard) 1.
    [Show full text]
  • Delta Functions and Distributions
    When functions have no value(s): Delta functions and distributions Steven G. Johnson, MIT course 18.303 notes Created October 2010, updated March 8, 2017. Abstract x = 0. That is, one would like the function δ(x) = 0 for all x 6= 0, but with R δ(x)dx = 1 for any in- These notes give a brief introduction to the mo- tegration region that includes x = 0; this concept tivations, concepts, and properties of distributions, is called a “Dirac delta function” or simply a “delta which generalize the notion of functions f(x) to al- function.” δ(x) is usually the simplest right-hand- low derivatives of discontinuities, “delta” functions, side for which to solve differential equations, yielding and other nice things. This generalization is in- a Green’s function. It is also the simplest way to creasingly important the more you work with linear consider physical effects that are concentrated within PDEs, as we do in 18.303. For example, Green’s func- very small volumes or times, for which you don’t ac- tions are extremely cumbersome if one does not al- tually want to worry about the microscopic details low delta functions. Moreover, solving PDEs with in this volume—for example, think of the concepts of functions that are not classically differentiable is of a “point charge,” a “point mass,” a force plucking a great practical importance (e.g. a plucked string with string at “one point,” a “kick” that “suddenly” imparts a triangle shape is not twice differentiable, making some momentum to an object, and so on.
    [Show full text]
  • Part I, Chapter 2 Weak Derivatives and Sobolev Spaces 2.1 Differentiation
    Part I, Chapter 2 Weak derivatives and Sobolev spaces We investigate in this chapter the notion of differentiation for Lebesgue inte- grable functions. We introduce an extension of the classical concept of deriva- tive and partial derivative which is called weak derivative. This notion will be used throughout the book. It is particularly useful when one tries to differen- tiate finite element functions that are continuous and piecewise polynomial. In that case one does not need to bother about the points where the classical derivative is multivalued to define the weak derivative. We also introduce the concept of Sobolev spaces. These spaces are useful to study the well-posedness of partial differential equations and their approximation using finite elements. 2.1 Differentiation We study here the concept of differentiation for Lebesgue integrable functions. 2.1.1 Lebesgue Points Theorem 2.1 (Lebesgue points). Let f L1(D). Let B(x,h) be the ball of radius h> 0 centered at x D. The following∈ holds true for a.e. x D: ∈ ∈ 1 lim f(y) f(x) dy =0. (2.1) h 0 B(x,h) | − | ↓ | | ZB(x,h) Points x D where (2.1) holds true are called Lebesgue points of f. ∈ Proof. See, e.g., Rudin [162, Thm. 7.6]. This result says that for a.e. x D, the averages of f( ) f(x) are small over small balls centered at x∈, i.e., f does not oscillate| · too− much| in the neighborhood of x. Notice that if the function f is continuous at x, then x is a Lebesgue point of f (recall that a continuous function is uniformly continuous over compact sets).
    [Show full text]
  • Lebegue-Bochner Spaces and Evolution Triples
    of Math al em rn a u ti o c J s l A a Int. J. Math. And Appl., 7(1)(2019), 41{52 n n d o i i t t a s n A ISSN: 2347-1557 r e p t p n l I i c • Available Online: http://ijmaa.in/ a t 7 i o 5 n 5 • s 1 - 7 4 I 3 S 2 S : N International Journal of Mathematics And its Applications Lebegue-Bochner Spaces and Evolution Triples Jula Kabeto Bunkure1,∗ 1 Department Mathematics, Ethiopian institute of Textile and Fashion Technology(EiEX), Bahir Dar University, Ethiopia. Abstract: The functional-analytic approach to the solution of partial differential equations requires knowledge of the properties of spaces of functions of one or several real variables. A large class of infinite dimensional dynamical systems (evolution systems) can be modeled as an abstract differential equation defined on a suitable Banach space or on a suitable manifold therein. The advantage of such an abstract formulation lies not only on its generality but also in the insight that can be gained about the many common unifying properties that tie together apparently diverse problems. It is clear that such a study relies on the knowledge of various spaces of vector valued functions (i.e., of Banach space valued functions). For this reason some facts about vector valued functions is introduced. We introduce the various notions of measurability for such functions and then based on them we define the different integrals corresponding to them. A function f :Ω ! X is strongly measurable if and only if it is the uniform limit almost everywhere of a sequence of countable-valued, Σ-measurable functions.
    [Show full text]
  • Sobolev-Type Inequalities on Riemannian Manifolds with Applications
    Sobolev-type inequalities on Riemannian manifolds with applications Thesis for the Degree of Doctor of Philosophy Csaba Farkas The Doctoral School of Applied Informatics and Applied Mathematics Academic advisor: prof. dr. Alexandru Kristály Institute of Applied Mathematics John von Neumann Faculty of Informatics Óbuda University Budapest, Hungary 2018 Contents Preface iv Acknowledgements vi 1. Preliminaries 1 1.1. Sobolev Spaces: Introduction.............................1 1.1.1. Weak derivatives and Sobolev spaces.....................1 1.2. Elements from the theory of calculus of variations..................3 1.2.1. Dirichlet principle: Introduction.......................3 1.2.2. Direct methods in calculus of variations...................4 1.2.3. Palais-Smale condition and the Mountain Pass theorem..........5 1.3. Elements from Riemannian geometry.........................6 I. Sobolev-type inequalities 10 2. Sobolev-type inequalities 11 2.1. Euclidean case..................................... 11 2.2. Riemannian case.................................... 13 3. Sobolev interpolation inequalities on Cartan-Hadamard manifolds 16 3.1. Statement of main results............................... 16 3.2. Proof of main results.................................. 18 4. Multipolar Hardy inequalities on Riemannian manifolds 24 4.1. Introduction and statement of main results..................... 24 4.2. Proof of Theorems 4.1.1 and 4.1.2........................... 27 4.2.1. Multipolar Hardy inequality: influence of curvature............. 27 4.2.2. Multipolar Hardy inequality with Topogonov-type comparision...... 31 4.3. A bipolar Schrödinger-type equation on Cartan-Hadamard manifolds....... 32 II. Applications 34 5. Schrödinger-Maxwell systems: the compact case 35 5.1. Introduction and motivation.............................. 35 5.2. Statement of main results............................... 36 5.3. Proof of the main results................................ 38 5.3.1. Schrödinger-Maxwell systems involving sublinear nonlinearity......
    [Show full text]
  • Pointwise Properties of Functions of Bounded Variation in Metric Spaces
    POINTWISE PROPERTIES OF FUNCTIONS OF BOUNDED VARIATION IN METRIC SPACES JUHA KINNUNEN, RIIKKA KORTE, NAGESWARI SHANMUGALINGAM AND HELI TUOMINEN Abstract. We study pointwise properties of functions of bounded variation on a metric space equipped with a doubling measure and a Poincar´einequality. In particular, we obtain a Lebesgue type result for BV functions. We also study approximations by Lips- chitz continuous functions and a version of the Leibniz rule. We give examples which show that our main result is optimal for BV functions in this generality. 1. Introduction This paper studies Lebesgue points for functions of bounded vari- ation on a metric measure space (X; d; µ) equipped with a doubling measure and supporting a Poincar´einequality. Here the metric d and the measure µ will be fixed, and we denote the triple (X; d; µ) simply by X. We say that x 2 X is a Lebesgue point of a locally integrable function u, if Z lim ju − u(x)j dµ = 0: r!0 B(x;r) Observe that if x 2 X is a Lebesgue point of u, then Z lim u dµ = u(x): r!0 B(x;r) By the Lebesgue differentiation theorem for doubling measures, almost every point with respect to the underlying measure is a Lebesgue point of a locally integrable function. In this work, we focus on pointwise properties of functions outside exceptional sets of codimension one. The set of non-Lebesgue points of a classical Sobolev function is a set of measure zero with respect the Hausdorff measure of codimension one and this holds true also in metric spaces supporting a doubling measure and a Poincar´einequality, see [11] and [12].
    [Show full text]
  • Sobolev and Bounded Variation Functions on Metric Measure Spaces
    Sobolev and Bounded Variation Functions on Metric Measure Spaces Luigi Ambrosio, Roberta Ghezzi Scuola Normale Superiore, Piazza dei Cavalieri 7, 56126 Pisa, Italy [email protected]. Institut de Math´ematiques de Bourgogne, UBFC, 9 Avenue Alain Savary, 21078 Dijon, France [email protected]. Contents Chapter 1. Introduction 1 1. History 1 2. Motivations 3 3. Examples of metric measure spaces 4 Chapter 2. H-Sobolev space and first tools of differential calculus 9 1. Relaxed slope and Cheeger energy 9 2. Elements of differential calculus 11 3. Reminders of convex analysis 14 4. Laplacian and integration by parts formula 15 5. Heat flow in (X; d; m) 16 Chapter 3. The Lagrangian (Beppo Levi) approach 19 1. Basic tools 19 2. The metric case 20 3. p-test plans and their relation with p-Modulus 22 4. The inclusion H1;p(X; d; m) ⊂ BL1;p(X; d; m) 24 5. Equivalence between H-space and BL-space 25 Chapter 4. Sobolev spaces via integration by parts 37 1. Vector fields 37 2. W 1;p-space and the inclusion H1;p(X; d; m) ⊂ W 1;p(X; d; m) 38 3. The inclusion W 1;p(X; d; m) ⊂ BL1;p(X; d; m) 40 Chapter 5. Functions of bounded variation 43 1. The spaces BV∗(X; d; m) and BVBL(X; d; m) 43 2. Structure of the perimeter measure 45 Bibliography 53 CHAPTER 1 Introduction These notes reflect, with minor modification and updates, the lectures given by the first author in occasion of the Trimester in Geometry, Analysis and Dynamics on Sub- Riemannian Manifolds held at Institut Henri Poincar´ein Paris, September 2014.
    [Show full text]
  • Weak Derivatives (Revisited). Motivation for Sobolev Spaces
    Yuliya Gorb Weak Derivatives (revisited). Motivation for Sobolev Spaces Lecture 04 January 23, 2014 Lecture 04 Weak Derivatives (revisited). Motivation for Sobolev Spaces Yuliya Gorb PDE II Weak Derivatives Suppose Ω ⊂ Rn is an open set Definition 1 A function f ∈ Lloc (Ω) is weakly differentiable w.r.t. xi if there exists a function 1 gi ∈ Lloc (Ω) s.t. ∂φ ∞ f dx = − gi φ dx, for all φ ∈ Cc (Ω) ∂xi Ω Ω th ∂f The function gi is called the weak i partial derivative of f , and denoted . ∂xi The weak derivative of C ∞-function coincides with the p.w. derivative. Definition n 1 Suppose that α ∈ N0 is a multi-index. A function f ∈ Lloc (Ω) has weak α α ∂ f 1 derivative D f = α ∈ Lloc (Ω) if ∂xi ∂αf ∂αφ φ dx =(−1)|α| f dx, for all φ ∈ C ∞(Ω). ∂x α ∂x α c Ω i Ω i Lecture 04 Weak Derivatives (revisited). Motivation for Sobolev Spaces Yuliya Gorb PDE II Properties of Weak Derivatives Product Rule: 1 1 If f ∈ Lloc (Ω) has weak partial derivative ∂i f ∈ Lloc (Ω) and ∞ ψ ∈ C (Ω), then ψf is weakly differentiable with respect to xi and ∂i (ψf ) = (∂i ψ)f + ψ(∂i f ). Chain Rule: Let f ∈ C 1(R) s.t. f ′ ∈ L∞(R). Suppose Ω ⊂ Rn is bounded, u is weakly differentiable on Ω. Then f ◦ u is weakly differentiable on Ω and D(f ◦ u)= f ′(u)Du. Lecture 04 Weak Derivatives (revisited). Motivation for Sobolev Spaces Yuliya Gorb PDE II Weak Derivatives (cont.) Theorem 1 A function f ∈ Lloc (Ω) is weakly differentiable in Ω if and only if there is a ∞ α 1 sequence {fn} of functions fn ∈ C (Ω) s.t.
    [Show full text]