DOCSLIB.ORG

A First Course in Sobolev Spaces Second Edition

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
A First Course in Sobolev Spaces Second Edition GRADUATE STUDIES IN MATHEMATICS 181 A First Course in Sobolev Spaces Second Edition Giovanni Leoni American Mathematical Society 10.1090/gsm/181 A First Course in Sobolev Spaces Second Edition GRADUATE STUDIES IN MATHEMATICS 181 A First Course in Sobolev Spaces Second Edition Giovanni Leoni American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE Dan Abramovich Daniel S. Freed (Chair) Gigliola Staffilani Jeff A. Viaclovsky 2010 Mathematics Subject Classification. Primary 46E35; Secondary 26A27, 26A30, 26A42, 26A45, 26A46, 26A48, 26B30, 30H25. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-181 Library of Congress Cataloging-in-Publication Data Names: Leoni, Giovanni, 1967– Title: A first course in Sobolev spaces / Giovanni Leoni. Description: Second edition. | Providence, Rhode Island : American Mathematical Society, [2017] | Series: Graduate studies in mathematics; volume 181 | Includes bibliographical references and index. Identifiers: LCCN 2017009991 | ISBN 9781470429218 (alk. paper) Subjects: LCSH: Sobolev spaces. Classification: LCC QA323 .L46 2017 | DDC 515/.782–dc23 LC record available at https://lccn.loc.gov/2017009991 Copying and reprinting. Individual readers of this publication, and nonprofit libraries acting for them, are permitted to make fair use of the material, such as to copy select pages for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgment of the source is given. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Permissions to reuse portions of AMS publication content are handled by Copyright Clearance Center’s RightsLink service. For more information, please visit: http://www.ams.org/rightslink. Send requests for translation rights and licensed reprints to [email protected]. Excluded from these provisions is material for which the author holds copyright. In such cases, requests for permission to reuse or reprint material should be addressed directly to the author(s). Copyright ownership is indicated on the copyright page, or on the lower right-hand corner of the first page of each article within proceedings volumes. c 2017 by the American Mathematical Society. All rights reserved. The American Mathematical Society retains all rights except those granted to the United States Government. Printed in the United States of America. ∞ The paper used in this book is acid-free and falls within the guidelines established to ensure permanence and durability. Visit the AMS home page at http://www.ams.org/ 10987654321 222120191817 In memory of my Ph.D. advisor, James Serrin Contents Preface xiii Preface to the Second Edition xiii Preface to the First Edition xv Acknowledgments xxi Second Edition xxi First Edition xxii Part 1. Functions of One Variable Chapter 1. Monotone Functions 3 §1.1. Continuity 3 §1.2. Differentiability 9 Chapter 2. Functions of Bounded Pointwise Variation 29 §2.1. Pointwise Variation 29 §2.2. Continuity 34 §2.3. Differentiability 40 §2.4. Monotone Versus BPV 44 §2.5. The Space BPV (I; Y )47 §2.6. Composition in BPV (I; Y )55 §2.7. Banach Indicatrix 59 Chapter 3. Absolutely Continuous Functions 67 §3.1. AC(I; Y )VersusBPV (I; Y )67 §3.2. The Fundamental Theorem of Calculus 71 vii viii Contents §3.3. Lusin (N) Property 84 §3.4. Superposition in AC(I; Y )91 §3.5. Chain Rule 95 §3.6. Change of Variables 100 §3.7. Singular Functions 103 Chapter 4. Decreasing Rearrangement 111 §4.1. Definition and First Properties 111 §4.2. Function Spaces and Decreasing Rearrangement 126 Chapter 5. Curves 133 §5.1. Rectifiable Curves 133 §5.2. Arclength 143 §5.3. Length Distance 146 §5.4. Curves and Hausdorff Measure 149 §5.5. Jordan’s Curve Theorem 152 Chapter 6. Lebesgue–Stieltjes Measures 157 §6.1. Measures Versus Increasing Functions 157 §6.2. Vector-valued Measures Versus BPV (I; Y ) 168 §6.3. Decomposition of Measures 177 Chapter 7. Functions of Bounded Variation and Sobolev Functions 183 §7.1. BV (Ω) Versus BPV (Ω) 183 §7.2. Sobolev Functions Versus Absolutely Continuous Functions 188 §7.3. Interpolation Inequalities 196 Chapter 8. The Infinite-Dimensional Case 205 §8.1. The Bochner Integral 205 §8.2. Lp Spaces on Banach Spaces 212 §8.3. Functions of Bounded Pointwise Variation 220 §8.4. Absolute Continuous Functions 224 §8.5. Sobolev Functions 229 Part 2. Functions of Several Variables Chapter 9. Change of Variables and the Divergence Theorem 239 §9.1. Directional Derivatives and Differentiability 239 §9.2. Lipschitz Continuous Functions 242 §9.3. The Area Formula: The C1 Case 249 Contents ix §9.4. The Area Formula: The Differentiable Case 262 §9.5. The Divergence Theorem 273 Chapter 10. Distributions 281 §10.1. The Spaces DK (Ω), D(Ω), and D (Ω) 281 §10.2. Order of a Distribution 288 §10.3. Derivatives of Distributions and Distributions as Derivatives 290 §10.4. Rapidly Decreasing Functions and Tempered Distributions 298 §10.5. Convolutions 302 §10.6. Convolution of Distributions 305 §10.7. Fourier Transforms 309 §10.8. Littlewood–Paley Decomposition 316 Chapter 11. Sobolev Spaces 319 §11.1. Definition and Main Properties 319 §11.2. Density of Smooth Functions 325 §11.3. Absolute Continuity on Lines 336 §11.4. Duals and Weak Convergence 344 §11.5. A Characterization of W 1,p(Ω) 349 Chapter 12. Sobolev Spaces: Embeddings 355 §12.1. Embeddings: mp < N 356 §12.2. Embeddings: mp = N 372 §12.3. Embeddings: mp > N 378 §12.4. Superposition 387 §12.5. Interpolation Inequalities in RN 399 Chapter 13. Sobolev Spaces: Further Properties 411 §13.1. Extension Domains 411 §13.2. Poincar´e Inequalities 430 §13.3. Interpolation Inequalities in Domains 449 Chapter 14. Functions of Bounded Variation 459 §14.1. Definition and Main Properties 459 §14.2. Approximation by Smooth Functions 462 §14.3. Bounded Pointwise Variation on Lines 468 §14.4. Coarea Formula for BV Functions 478 §14.5. Embeddings and Isoperimetric Inequalities 482 x Contents §14.6. Density of Smooth Sets 489 §14.7. A Characterization of BV (Ω) 493 Chapter 15. Sobolev Spaces: Symmetrization 497 §15.1. Symmetrization in Lp Spaces 497 §15.2. Lorentz Spaces 502 §15.3. Symmetrization of W 1,p and BV Functions 504 §15.4. Sobolev Embeddings Revisited 510 Chapter 16. Interpolation of Banach Spaces 517 §16.1. Interpolation: K-Method 517 §16.2. Interpolation: J-Method 526 §16.3. Duality 530 §16.4. Lorentz Spaces as Interpolation Spaces 535 Chapter 17. Besov Spaces 539 s,p §17.1. Besov Spaces Bq 539 §17.2. Some Equivalent Seminorms 545 §17.3. Besov Spaces as Interpolation Spaces 551 §17.4. Sobolev Embeddings 561 s,p + − §17.5. The Limit of Bq as s → 0 and s → m 565 §17.6. Besov Spaces and Derivatives 571 §17.7. Yet Another Equivalent Norm 578 §17.8. And More Embeddings 585 Chapter 18. Sobolev Spaces: Traces 591 §18.1. The Trace Operator 592 §18.2. Traces of Functions in W 1,1(Ω) 598 §18.3. Traces of Functions in BV (Ω) 605 §18.4. Traces of Functions in W 1,p(Ω), p>1 606 §18.5. Traces of Functions in W m,1(Ω) 621 §18.6. Traces of Functions in W m,p(Ω), p>1 626 §18.7. Besov Spaces and Weighted Sobolev Spaces 626 Appendix A. Functional Analysis 635 §A.1. Topological Spaces 635 §A.2. Metric Spaces 638 §A.3. Topological Vector Spaces 639 Contents xi §A.4. Normed Spaces 643 §A.5. Weak Topologies 645 §A.6. Hilbert Spaces 648 Appendix B. Measures 651 §B.1. Outer Measures and Measures 651 §B.2. Measurable and Integrable Functions 655 §B.3. Integrals Depending on a Parameter 662 §B.4. Product Spaces 663 §B.5. Radon–Nikodym’s and Lebesgue’s Decomposition Theorems 665 §B.6. Signed Measures 666 §B.7. Lp Spaces 668 §B.8. Modes of Convergence 673 §B.9. Radon Measures 676 §B.10. Covering Theorems in RN 678 Appendix C. The Lebesgue and Hausdorff Measures 681 §C.1. The Lebesgue Measure 681 §C.2. The Brunn–Minkowski Inequality 683 §C.3. Mollifiers 687 §C.4. Maximal Functions 694 §C.5. BMO Spaces 695 §C.6. Hardy’s Inequality 698 §C.7. Hausdorff Measures 699 Appendix D. Notes 703 Appendix E. Notation and List of Symbols 711 Bibliography 717 Index 729 Preface The Author List, I: giving credit where credit is due. The first author: Senior grad student in the project. Made the figures. — Jorge Cham, www.phdcomics.com Preface to the Second Edition There are a lot of changes in the second edition. In the first part of the book, starting from Chapter 2, instead of considering real-valued functions, I treat functions u : I → Y ,whereI ⊆ R is an interval and Y is a metric space. This change is motivated by the addition of a new chapter, Chapter 8, where I introduce the Bochner integral and study functions mapping time into Banach spaces. This type of functions plays a crucial role in evolution equations. Another important addition in the first part of the book is Section 7 in Chapter 7, which begins the study of interpolation inequalities for Sobolev functions of one variable. One wants to estimate some appropriate norm of an intermediate derivative in terms of the norms of the function and the highest-order derivative. Except for Chapter 8, the first part of the book is meant as a text- book for an advanced undergraduate course or beginning graduate course on real analysis or functions of one variable. One should sim- ply take Y to be the real line R so that H1 reduces to the Lebesgue measure L1. All the results needed from measure theory are listed in the appendices at the end of the book.
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]
  • 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]
  • Five Lectures on Optimal Transportation: Geometry, Regularity and Applications
    FIVE LECTURES ON OPTIMAL TRANSPORTATION: GEOMETRY, REGULARITY AND APPLICATIONS ROBERT J. MCCANN∗ AND NESTOR GUILLEN Abstract. In this series of lectures we introduce the Monge-Kantorovich problem of optimally transporting one distribution of mass onto another, where optimality is measured against a cost function c(x, y). Connections to geometry, inequalities, and partial differential equations will be discussed, focusing in particular on recent developments in the regularity theory for Monge-Amp`ere type equations. An ap- plication to microeconomics will also be described, which amounts to finding the equilibrium price distribution for a monopolist marketing a multidimensional line of products to a population of anonymous agents whose preferences are known only statistically. c 2010 by Robert J. McCann. All rights reserved. Contents Preamble 2 1. An introduction to optimal transportation 2 1.1. Monge-Kantorovich problem: transporting ore from mines to factories 2 1.2. Wasserstein distance and geometric applications 3 1.3. Brenier’s theorem and convex gradients 4 1.4. Fully-nonlinear degenerate-elliptic Monge-Amp`eretype PDE 4 1.5. Applications 5 1.6. Euclidean isoperimetric inequality 5 1.7. Kantorovich’s reformulation of Monge’s problem 6 2. Existence, uniqueness, and characterization of optimal maps 6 2.1. Linear programming duality 8 2.2. Game theory 8 2.3. Relevance to optimal transport: Kantorovich-Koopmans duality 9 2.4. Characterizing optimality by duality 9 2.5. Existence of optimal maps and uniqueness of optimal measures 10 3. Methods for obtaining regularity of optimal mappings 11 3.1. Rectifiability: differentiability almost everywhere 12 3.2. From regularity a.e.
    [Show full text]
  • Function Spaces Mikko Salo
    Function spaces Lecture notes, Fall 2008 Mikko Salo Department of Mathematics and Statistics University of Helsinki Contents Chapter 1. Introduction 1 Chapter 2. Interpolation theory 5 2.1. Classical results 5 2.2. Abstract interpolation 13 2.3. Real interpolation 16 2.4. Interpolation of Lp spaces 20 Chapter 3. Fractional Sobolev spaces, Besov and Triebel spaces 27 3.1. Fourier analysis 28 3.2. Fractional Sobolev spaces 33 3.3. Littlewood-Paley theory 39 3.4. Besov and Triebel spaces 44 3.5. H¨olderand Zygmund spaces 54 3.6. Embedding theorems 60 Bibliography 63 v CHAPTER 1 Introduction In mathematical analysis one deals with functions which are dif- ferentiable (such as continuously differentiable) or integrable (such as square integrable or Lp). It is often natural to combine the smoothness and integrability requirements, which leads one to introduce various spaces of functions. This course will give a brief introduction to certain function spaces which are commonly encountered in analysis. This will include H¨older, Lipschitz, Zygmund, Sobolev, Besov, and Triebel-Lizorkin type spaces. We will try to highlight typical uses of these spaces, and will also give an account of interpolation theory which is an important tool in their study. The first part of the course covered integer order Sobolev spaces in domains in Rn, following Evans [4, Chapter 5]. These lecture notes contain the second part of the course. Here the emphasis is on Sobolev type spaces where the smoothness index may be any real number. This second part of the course is more or less self-contained, in that we will use the first part mainly as motivation.
    [Show full text]
  • L P and Sobolev Spaces
    NOTES ON Lp AND SOBOLEV SPACES STEVE SHKOLLER 1. Lp spaces 1.1. Definitions and basic properties. Definition 1.1. Let 0 < p < 1 and let (X; M; µ) denote a measure space. If f : X ! R is a measurable function, then we define 1 Z p p kfkLp(X) := jfj dx and kfkL1(X) := ess supx2X jf(x)j : X Note that kfkLp(X) may take the value 1. Definition 1.2. The space Lp(X) is the set p L (X) = ff : X ! R j kfkLp(X) < 1g : The space Lp(X) satisfies the following vector space properties: (1) For each α 2 R, if f 2 Lp(X) then αf 2 Lp(X); (2) If f; g 2 Lp(X), then jf + gjp ≤ 2p−1(jfjp + jgjp) ; so that f + g 2 Lp(X). (3) The triangle inequality is valid if p ≥ 1. The most interesting cases are p = 1; 2; 1, while all of the Lp arise often in nonlinear estimates. Definition 1.3. The space lp, called \little Lp", will be useful when we introduce Sobolev spaces on the torus and the Fourier series. For 1 ≤ p < 1, we set ( 1 ) p 1 X p l = fxngn=1 j jxnj < 1 : n=1 1.2. Basic inequalities. Lemma 1.4. For λ 2 (0; 1), xλ ≤ (1 − λ) + λx. Proof. Set f(x) = (1 − λ) + λx − xλ; hence, f 0(x) = λ − λxλ−1 = 0 if and only if λ(1 − xλ−1) = 0 so that x = 1 is the critical point of f. In particular, the minimum occurs at x = 1 with value f(1) = 0 ≤ (1 − λ) + λx − xλ : Lemma 1.5.
    [Show full text]
  • The Logarithmic Sobolev Inequality Along the Ricci Flow
    The Logarithmic Sobolev Inequality Along The Ricci Flow (revised version) Rugang Ye Department of Mathematics University of California, Santa Barbara July 20, 2007 1. Introduction 2. The Sobolev inequality 3. The logarithmic Sobolev inequality on a Riemannian manifold 4. The logarithmic Sobolev inequality along the Ricci flow 5. The Sobolev inequality along the Ricci flow 6. The κ-noncollapsing estimate Appendix A. The logarithmic Sobolev inequalities on the euclidean space Appendix B. The estimate of e−tH Appendix C. From the estimate for e−tH to the Sobolev inequality 1 Introduction Consider a compact manifold M of dimension n 3. Let g = g(t) be a smooth arXiv:0707.2424v4 [math.DG] 29 Aug 2007 solution of the Ricci flow ≥ ∂g = 2Ric (1.1) ∂t − on M [0, T ) for some (finite or infinite) T > 0 with a given initial metric g(0) = g . × 0 Theorem A For each σ > 0 and each t [0, T ) there holds ∈ R n σ u2 ln u2dvol σ ( u 2 + u2)dvol ln σ + A (t + )+ A (1.2) ≤ |∇ | 4 − 2 1 4 2 ZM ZM 1 for all u W 1,2(M) with u2dvol =1, where ∈ M R 4 A1 = 2 min Rg0 , ˜ 2 n − CS(M,g0) volg0 (M) n A = n ln C˜ (M,g )+ (ln n 1), 2 S 0 2 − and all geometric quantities are associated with the metric g(t) (e.g. the volume form dvol and the scalar curvature R), except the scalar curvature Rg0 , the modified Sobolev ˜ constant CS(M,g0) (see Section 2 for its definition) and the volume volg0 (M) which are those of the initial metric g0.
    [Show full text]
  • 27. Sobolev Inequalities 27.1
    ANALYSIS TOOLS WITH APPLICATIONS 493 27. Sobolev Inequalities 27.1. Morrey’s Inequality. d 1 d Notation 27.1. Let S − be the sphere of radius one centered at zero inside R . d 1 d For a set Γ S − ,x R , and r (0, ), let ⊂ ∈ ∈ ∞ Γx,r x + sω : ω Γ such that 0 s r . ≡ { ∈ ≤ ≤ } So Γx,r = x + Γ0,r where Γ0,r is a cone based on Γ, seeFigure49below. Γ Γ Figure 49. The cone Γ0,r. d 1 Notation 27.2. If Γ S − is a measurable set let Γ = σ(Γ) be the surface “area” of Γ. ⊂ | | Notation 27.3. If Ω Rd is a measurable set and f : Rd C is a measurable function let ⊂ → 1 fΩ := f(x)dx := f(x)dx. − m(Ω) Ω ZΩ Z By Theorem 8.35, r d 1 (27.1) f(y)dy = f(x + y)dy = dt t − f(x + tω) dσ(ω) Γx,r Γ0,r 0 Z Z Z ZΓ and letting f =1in this equation implies d (27.2) m(Γx,r)= Γ r /d. | | d 1 Lemma 27.4. Let Γ S − be a measurable set such that Γ > 0. For u 1 ⊂ | | ∈ C (Γx,r), 1 u(y) (27.3) u(y) u(x) dy |∇ d | 1 dy. − | − | ≤ Γ x y − ΓZx,r | |ΓZx,r | − | 494 BRUCE K. DRIVER† d 1 Proof. Write y = x + sω with ω S − , then by the fundamental theorem of calculus, ∈ s u(x + sω) u(x)= u(x + tω) ωdt − ∇ · Z0 and therefore, s u(x + sω) u(x) dσ(ω) u(x + tω) dσ(ω)dt | − | ≤ 0 Γ |∇ | ZΓ Z Z s d 1 u(x + tω) = t − dt |∇ d | 1 dσ(ω) 0 Γ x + tω x − Z Z | − | u(y) u(y) = |∇ d | 1 dy |∇ d | 1 dy, y x − ≤ x y − ΓZx,s | − | ΓZx,r | − | wherein the second equality we have used Eq.
    [Show full text]
  • Sobolev Inequalities in Familiar and Unfamiliar Settings
    Sobolev Inequalities in Familiar and Unfamiliar Settings Laurent Salo®-Coste Abstract The classical Sobolev inequalities play a key role in analysis in Euclidean spaces and in the study of solutions of partial di®erential equations. In fact, they are extremely flexible tools and are useful in many di®erent settings. This paper gives a glimpse of assortments of such applications in a variety of contexts. 1 Introduction There are few articles that have turned out to be as influential and truly im- portant as S.L. Sobolev 1938 article [93] (the American translation appeared in 1963), where he introduces his famed inequalities. It is the idea of a func- tional inequality itself that Sobolev brings to life in his paper, as well as the now so familiar notion of an a priori inequality, i.e., a functional inequality established under some strong hypothesis and that might be extended later, perhaps almost automatically, to its natural domain of de¯nition. (These ideas are also related to the theory of distributions which did not exist at the time and whose magni¯cent development by L. Schwartz was, in part, anticipated in the work of S.L. Sobolev.) The most basic and important applications of Sobolev inequalities are to the study of partial di®erential equations. Simply put, Sobolev inequalities provide some of the very basic tools in the study of the existence, regularity, and uniqueness of the solutions of all sorts of partial di®erential equations, lin- ear and nonlinear, elliptic, parabolic, and hyperbolic. I leave to others, much better quali¯ed than me, to discuss these beautiful developments.
    [Show full text]
  • Banach Space Operators with a Bounded H∞ Functional Calculus
    J. Austral. Math. Soc. (Series A) 60 (1996), 51-89 BANACH SPACE OPERATORS WITH A BOUNDED H°° FUNCTIONAL CALCULUS - MICHAEL COWLING, IAN DOUST, ALAN MCINTOSH and ATSUSHIYAGI (Received 19 August 1993) Communicated by A. H. Dooley Abstract In this paper, we give a general definition for f(T) when T is a linear operator acting in a Banach space, whose spectrum lies within some sector, and which satisfies certain resolvent bounds, and when / is holomorphic on a larger sector. We also examine how certain properties of this functional calculus, such as the existence of a bounded H°° functional calculus, bounds on the imaginary powers, and square function estimates are related. In particular we show that, if T is acting in a reflexive Lp space, then T has a bounded H°° functional calculus if and only if both T and its dual satisfy square function estimates. Examples are given to show that some of the theorems that hold for operators in a Hilbert space do not extend to the general Banach space setting. 1991 Mathematics subject classification (Amer. Math. Soc): 47A60. 1. Introduction and notation Operators whose spectrum lies in some sector of the complex plane, and whose resolvents satisfy certain bounds, have been extensively studied, both in abstract settings and for their applications to differential equations. For example the m- accretive and m-sectorial operators studied in [12] fall into this class. An extensive list of examples of such operators may be found in [17], which also includes a good description of some of the applications: diffusion semigroups, Stokes' operators, etc.
    [Show full text]
  • Sharp Log–Sobolev Inequalities
    PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 126, Number 10, October 1998, Pages 2903{2904 S 0002-9939(98)04406-2 SHARP LOG{SOBOLEV INEQUALITIES OSCAR S. ROTHAUS (Communicated by Palle E. T. Jorgensen) Abstract. We show existence of a wide variety of Log{Sobolev inequalities in which the constant is exactly that required by the Poincar´e inequality which may be inferred from the Log{Sobolev. We are given a smooth compact Riemannian manifold M, intrinsic gradient , and volume element dµ — we assume W.L.O.G. that µ(M)=1—andasmooth∇ positive function m, giving rise to a probability measure mdµ = dm, for which we have a log–Sobolev inequality (LSI): (1) ρ f 2dm f 2 ln f 2dm f 2dm ln f 2dm: |∇ | ≥ | | | | − | | | | ZM ZM ZM ZM It is well known that ρ 2/λ,whereλis the first non–zero eigenvalue of the Schr¨odinger operator ≥ m f ∆f + f ∇ ; → ∇ · m (∆ the usual Laplacian) attached to the Dirichlet form in (1). We call the LSI sharp if ρ =2/λ. Many examples of sharp inequalities are known, the most familiar arising from M the sphere with the usual metric scaled to give M unit volume, and m =1. We will show here that for every compact homogeneous Riemannian manifold, there are a continuum of choices of m for which sharp LSI’s exist. We follow the notation and conclusions of [1], which we now briefly review. For every M as described initially there is a least constant ρ0(M), the hypercontractive constant for M, such that (2) ρ (M) f 2dµ f 2 ln f 2dµ f 2dµ ln f 2dµ.
    [Show full text]
  • Trace and Extension Theorems for Sobolev-Type Functions in Metric
    TRACE AND EXTENSION THEOREMS FOR SOBOLEV-TYPE FUNCTIONS IN METRIC SPACES LUKÁŠ MALÝ Abstract. Trace classes of Sobolev-type functions in metric spaces are subject of this paper. In particular, functions on domains whose boundary has an upper codimension-θ bound are consid- ered. Based on a Poincaré inequality, existence of a Borel measurable trace is proven whenever the power of integrability of the “gradient” exceeds θ. The trace T is shown to be a compact operator mapping a Sobolev-type space on a domain into a Besov space on the boundary. Sucient condi- tions for T to be surjective are found and counterexamples showing that surjectivity may fail are also provided. The case when the exponent of integrability of the “gradient” is equal to θ, i.e., the codimension of the boundary, is also discussed. Under some additional assumptions, the trace lies in Lθ on the boundary then. Essential sharpness of these extra assumptions is illustrated by an example. 1. Introduction and Overview Over the past two decades, analysis in metric measure spaces (and non-linear potential theory, in particular) has attracteda lot of attention, e.g., [3, 4, 14, 15, 21, 28]. See also [19, Chapter 22] and referencestherein. The metricspace setting provides a wide framework to study partial dierential equations and, specically, boundary value problems. These seek to nd solutions to an equation in a domain, subject to a prescribed boundary condition. Most thoroughly studied problems deal with the Dirichlet boundary condition, where a trace of the solution is prescribed, and with the Neumann condition, where the normal derivative of the solution at the boundary is given.
    [Show full text]
  • Sobolev's Inequality Under a Curvature-Dimension Condition
    Sobolev’s inequality under a curvature-dimension condition Louis Dupaigne, Ivan Gentil, Simon Zugmeyer To cite this version: Louis Dupaigne, Ivan Gentil, Simon Zugmeyer. Sobolev’s inequality under a curvature-dimension condition. 2021. hal-03006155v3 HAL Id: hal-03006155 https://hal.archives-ouvertes.fr/hal-03006155v3 Preprint submitted on 19 Jan 2021 HAL is a multi-disciplinary open access L’archive ouverte pluridisciplinaire HAL, est archive for the deposit and dissemination of sci- destinée au dépôt et à la diffusion de documents entific research documents, whether they are pub- scientifiques de niveau recherche, publiés ou non, lished or not. The documents may come from émanant des établissements d’enseignement et de teaching and research institutions in France or recherche français ou étrangers, des laboratoires abroad, or from public or private research centers. publics ou privés. Sobolev's inequality under a curvature-dimension condition Louis Dupaigne, Ivan Gentil, Simon Zugmeyer January 19, 2021 R´esum´e Dans cette note, nous proposons une nouvelle preuve de l'in´egalit´ede Sobolev sur les vari´et´es`a courbure de Ricci minor´eepar une constante positive. Le r´esultatavait ´et´eobtenu en 1983 par Ilias. Nous pr´esentons une preuve tr`escourte de ce th´eor`eme, dressons l'´etatde l'art pour cette fameuse in´egalit´eet expliquons en quoi notre m´ethode, qui repose sur un flot de gradient, est simple et robuste. En particulier, nous ´elucidonsles calculs utilis´esdans des travaux pr´ec´edents, `acommencer par un c´el`ebrearticle de Bidaut-V´eron et V´eronpubli´een 1991. Abstract In this note we present a new proof of Sobolev's inequality under a uniform lower bound of the Ricci curvature.
    [Show full text]