DOCSLIB.ORG

Extension Operators for Sobolev Spaces on Periodic Domains, Their Applications, and Homogenization of a Phase Field Model for Phase Transitions in Porous Media

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
Extension Operators for Sobolev Spaces on Periodic Domains, Their Applications, and Homogenization of a Phase Field Model for Phase Transitions in Porous Media Extension Operators for Sobolev Spaces on Periodic Domains, Their Applications, and Homogenization of a Phase Field Model for Phase Transitions in Porous Media von Martin H¨opker Dissertation zur Erlangung des Grades eines Doktors der Naturwissenschaften { Dr. rer. nat. { Vorgelegt im Fachbereich 3 (Mathematik & Informatik) der Universit¨atBremen im Mai 2016 Datum des Promotionskolloquiums: 12. Juli 2016 Betreuer: Prof. Dr. Michael B¨ohm (Universit¨atBremen) Gutachter: Prof. Dr. Alfred Schmidt (Universit¨atBremen) Prof. Dr. Ralph E. Showalter (Oregon State University) iii Abstract The first part of this thesis is concerned with extension operators for Sobolev spaceson periodic domains and their applications. When homogenizing nonlinear partial differ- ential equations in periodic domains by two-scale convergence, the need for uniformly bounded families of extension operators often arises. In this thesis, new extension op- erators that allow for estimates in the whole domain, even if the complement of the periodic domain is connected, are constructed. These extension operators exist if the domain is generalized rectangular. They are useful for homogenization problems with flux boundary conditions. Additionally, the existence of extension operators that respect zero and nonnegative traces on the exterior boundary is shown. These can be applied to problems with mixed or Dirichlet boundary conditions. Making use of this type of extension operators, uniform Poincar´eand Korn inequalities for functions with mixed boundary values in periodic domains are proven. Furthermore, a generalization of a compactness theorem of Meirmanov and Zimin, which is similar to the well-known Lions-Aubin compactness theorem and which is applicable in periodic domains, is presented. The above results are then applied to the homogenization by two-scale convergence of some quasilinear partial differential equations and variational inequalities with operators of Leray-Lions type in periodic domains with mixed boundary conditions. In the second part, a phase field model for phase transitions on the pore scale ofa porous medium is introduced. The existence and uniqueness of weak solutions is shown. Uniform a-priori estimates are established by making use of extension operators of the type of those that have previously been constructed in the first part of this thesis. By using two-scale convergence and again applying the extension operators, a homogenized phase field model is obtained. Finally, by applying the method of formal asymptotic expansion, a macroscopic sharp interface model for phase transitions in porous media is derived. Possible applications include the melting of permafrost soil and the frost attack on concrete. iv Zusammenfassung Der erste Teil dieser Arbeit behandelt Fortsetzungsoperatoren fur¨ Sobolev-R¨aume auf periodischen Gebieten und ihre Anwendungen. Im Zusammenhang mit der Homoge- nisierung nichtlinearer partieller Differentialgleichungen in periodischen Gebieten mit Hilfe von Zwei-Skalen-Konvergenz, werden h¨aufig gleichm¨aßig beschr¨ankte Familien von Fortsetzungsoperatoren ben¨otigt. In dieser Arbeit werden neue Fortsetzungsoperatoren konstruiert, welche gleichm¨aßige Absch¨atzungen im ganzen Gebiet erlauben, selbst wenn das Komplement des periodischen Gebietes eine zusammenh¨angende Menge bildet. Diese Fortsetzungsoperatoren existieren fur¨ verallgemeinert rechteckige Gebiete und finden An- wendungen bei Homogenisierungsproblemen mit Flussrandbedingungen. Zudem werden Fortsetzungsoperatoren, die verschwindende- und nichtnegative Spuren auf dem ¨außeren Rand berucksichtigen,¨ konstruiert. Diese lassen sich auf Probleme mit gemischten- oder Dirichlet-Randbedingungen anwenden. Unter Verwendung dieser Fortsetzungsoperatoren werden gleichm¨aßige Poincar´e-und Korn-Ungleichungen fur¨ Funktionen in periodischen Gebieten mit gemischten Randbe- dingungen bewiesen. Weiterhin wird eine Verallgemeinerung eines Kompaktheitssatzes von Meirmanov und Zimin gezeigt. Dieser ist ¨ahnlich zum bekannten Lemma von Lions- Aubin und l¨asst sich im Fall periodischer Gebiete anwenden. Die obigen Resultate werden angewendet, um einige quasilineare partielle Differen- tialgleichungen und Variationsungleichungen mit Operatoren vom Leray-Lions-Typ zu homogenisieren. Dies geschieht im Kontext periodischer Gebiete und gemischter Rand- bedingungen. Im zweiten Teil wird ein Phasenfeldmodell fur¨ Phasenuberg¨ ¨ange auf der Porenebene eines por¨osen Mediums vorgestellt. Die Existenz und Eindeutigkeit schwacher L¨osungen wird gezeigt. Gleichm¨aßige a-priori Absch¨atzungen werden durch Anwendung von Fort- setzungsoperatoren gewonnen. Diese Operatoren sind dabei vom gleichen Typ wie jene, die im ersten Teil der Arbeit konstruiert wurden. Mit Hilfe von Zwei-Skalen-Konvergenz und unter Verwendung der Fortsetzungsoperatoren ergibt sich ein homogenisiertes Pha- senfeldmodell. Schließlich, durch formale asymptotische Entwicklung, wird ein makrosko- pisches Modell fur¨ Phasenuberg¨ ¨ange in por¨osen Medien hergeleitet, bei dem die Phasen durch eine singul¨are Fl¨ache getrennt werden. Zu den m¨oglichen Anwendungen der Mo- delle z¨ahlen das Auftauen von Permafrostb¨oden sowie der Frostangriff auf Beton. v Acknowledgements First of all, I want to thank my advisor Prof. Dr. Michael B¨ohmfor his great support over the last several years. His constant advice and encouragement to pursue my own ideas have made this thesis possible. I am very sorry that he has lately fallen ill, and I wish him the very best for a quick recovery. In this respect, my sincere thanks also go to Prof. Dr. Alfred Schmidt, who, on a very short notice, agreed to examine my thesis. I also thank Prof. Dr. Ralph E. Showalter for taking interest in my work and for kindly agreeing to be the second examiner of my dissertation. Furthermore, I would like to thank my colleagues from the Research Group Modeling and Partial Differential Equations, Michael Eden, Simon Gr¨utzner,and PD Dr. Michael Wolff, for all of our innumerable and valuable discussions. Especially, I thank Michael Eden and Simon Gr¨utznerfor very carefully reading the manuscript of this thesis and for providing a lot of greatly helpful remarks and suggestions. Last but not least, I thank Julitta von Deetzen for taking care of all the administrative related matters. Contents List of Figures ix List of Symbols xi 1. Introduction 1 2. Mathematical Preliminaries 5 2.1. Notation and Definitions . 5 2.2. Homogenization and Two-Scale Convergence . 7 2.2.1. Homogenization . 7 2.2.2. Two-Scale Convergence . 8 2.2.3. Stationary Two-Scale Convergence . 8 2.2.4. Time-Dependent Two-Scale Convergence . 9 2.2.5. Time-Dependent Two-Scale Convergence in Periodic Domains . 11 3. Extension Operators in Periodic Domains 13 3.1. Introduction . 13 3.2. Assumptions and Definitions . 17 3.2.1. Basic Assumptions and Definitions . 17 3.2.2. The Boundary of P E ........................ 18 \ 3.3. Statement of the Results . 21 3.4. Proofs of the Results . 22 3.4.1. Local Extension Operators . 23 3.4.2. Construction of the Global Extension Operators . 28 4. On Poincar´e'sand Korn's Inequalities for Periodic Domains and Mixed Bound- ary Conditions 35 4.1. Introduction . 35 4.2. Poincar´e'sInequality . 36 4.3. Korn's Inequality . 39 5. On the Compactness Result of Meirmanov and Zimin 45 5.1. Introduction . 45 5.2. The Compactness Result . 47 viii Contents 6. Applications 53 6.1. Introduction . 53 6.2. Preliminaries . 54 6.3. Homogenization of Elliptic Problems with Dirichlet or Mixed Boundary Conditions in Periodic Domains . 55 6.3.1. The Elliptic Operators and Their Properties . 55 6.3.2. Elliptic Equations . 59 6.3.3. Elliptic Variational Inequalities . 61 6.4. Homogenization of Parabolic Equations with Dirichlet or Mixed Boundary Conditions in Periodic Domains . 66 6.4.1. Mathematical Preliminaries . 66 6.4.2. Homogenization . 68 7. Homogenization of a Phase Field Model for Phase Transitions in Porous Media 71 7.1. Introduction . 71 7.2. Modeling Phase Transitions . 73 7.3. The Microscopic Problem . 76 7.3.1. Definitions and Assumptions . 76 7.3.2. Classical Formulation . 79 7.3.3. Weak Formulation . 80 7.4. Existence . 82 7.4.1. Operator Formulation . 82 7.4.2. Mathematical Preliminaries . 83 7.4.3. Existence Proof . 86 7.5. Uniqueness . 104 7.6. Homogenization . 108 7.6.1. Preliminaries . 108 7.6.2. The Exterior Boundary . 108 7.6.3. Passing to the Limit . 110 7.6.4. Derivation of Homogenized Diffusion Tensors . 113 7.6.5. Properties of the Homogenized Diffusion Tensors . 115 7.6.6. The Full Homogenized Model . 116 7.6.7. Uniqueness . 117 7.7. Sharp Interface Limit of the Homogenized Model . 120 7.7.1. Scaling . 120 7.7.2. Parametrization of the Interface . 121 7.7.3. Outer Expansions . 122 7.7.4. Inner Expansions . 123 7.7.5. The Sharp Interface Model . 127 8. Summary and Outlook 129 Appendix A. Density of Smooth Functions in Sobolev Spaces 131 Appendix B. Monotone Operators 135 Bibliography 137 List of Figures 2.1. A 1-periodic medium E and the "-periodic domain Ω = Ω ("E). 6 " \ 2.2. The reference cell Y and its part Z = Y E. ................ 7 \ 2.3. The exterior boundary of a periodic domain. 7 3.1. Example of a reference cell in the pipe model of porous media. 14 3.2. Example of a generalized rectangular domain Ω. 15 3.3. Examples of AO's and their respective translations into "−1Ω. 18 3.4. Classification of the sets Ui........................... 19 3.5. A set Ui of Type 2. 19 3.6. The mapping Φi, corresponding to a set Ui of Type 2. 20 4.1. Construction of the auxiliary domain Ω.e . 43 7.1. The geometry of the Stefan problem. 73 7.2. The transition of the phase field variable 휒 across the phase interface, and the double-well potential g. .......................... 75 7.3. Schematic of the reference cell. 76 s 7.4. Schematic of the porous Medium Ω, consisting of the solid matrix Ω" and p the pore space Ω" . ............................... 77 List of Symbols (Strong) convergence, p. 6 ! * Weak convergence, p. 9 * * Weak-* convergence, p. 97 2 Two-scale convergence, p. 8 ! n ei The i-th unit vector in R , p. 6 xT Transpose of a vector or matrix, p.
Load more

Recommended publications
  • Arxiv:0906.4883V2 [Math.CA] 4 Jan 2010 Ro O Olna Yeblcsses[4.W Hwblwta El’ T Helly’S That Theorem
    THE KOLMOGOROV–RIESZ COMPACTNESS THEOREM HARALD HANCHE-OLSEN AND HELGE HOLDEN Abstract. We show that the Arzelà–Ascoli theorem and Kolmogorov com- pactness theorem both are consequences of a simple lemma on compactness in metric spaces. Their relation to Helly’s theorem is discussed. The paper contains a detailed discussion on the historical background of the Kolmogorov compactness theorem. 1. Introduction Compactness results in the spaces Lp(Rd) (1 p < ) are often vital in exis- tence proofs for nonlinear partial differential equations.≤ ∞ A necessary and sufficient condition for a subset of Lp(Rd) to be compact is given in what is often called the Kolmogorov compactness theorem, or Fréchet–Kolmogorov compactness theorem. Proofs of this theorem are frequently based on the Arzelà–Ascoli theorem. We here show how one can deduce both the Kolmogorov compactness theorem and the Arzelà–Ascoli theorem from one common lemma on compactness in metric spaces, which again is based on the fact that a metric space is compact if and only if it is complete and totally bounded. Furthermore, we trace out the historical roots of Kolmogorov’s compactness theorem, which originated in Kolmogorov’s classical paper [18] from 1931. However, there were several other approaches to the issue of describing compact subsets of Lp(Rd) prior to and after Kolmogorov, and several of these are described in Section 4. Furthermore, extensions to other spaces, say Lp(Rd) (0 p < 1), Orlicz spaces, or compact groups, are described. Helly’s theorem is often≤ used as a replacement for Kolmogorov’s compactness theorem, in particular in the context of nonlinear hyperbolic conservation laws, in spite of being more specialized (e.g., in the sense that its classical version requires one spatial dimension).
    [Show full text]
  • A Practical Guide to Compact Infinite Dimensional Parameter Spaces
    A Practical Guide to Compact Infinite Dimensional Parameter Spaces∗ Joachim Freybergery Matthew A. Mastenz May 24, 2018 Abstract Compactness is a widely used assumption in econometrics. In this paper, we gather and re- view general compactness results for many commonly used parameter spaces in nonparametric estimation, and we provide several new results. We consider three kinds of functions: (1) func- tions with bounded domains which satisfy standard norm bounds, (2) functions with bounded domains which do not satisfy standard norm bounds, and (3) functions with unbounded do- mains. In all three cases we provide two kinds of results, compact embedding and closedness, which together allow one to show that parameter spaces defined by a k · ks-norm bound are compact under a norm k · kc. We illustrate how the choice of norms affects the parameter space, the strength of the conclusions, as well as other regularity conditions in two common settings: nonparametric mean regression and nonparametric instrumental variables estimation. JEL classification: C14, C26, C51 Keywords: Nonparametric Estimation, Sieve Estimation, Trimming, Nonparametric Instrumental Variables ∗This paper was presented at Duke, the 2015 Triangle Econometrics Conference, and the 2016 North American and China Summer Meetings of the Econometric Society. We thank audiences at those seminars as well as Bruce Hansen, Kengo Kato, Jack Porter, Yoshi Rai, and Andres Santos for helpful conversations and comments. We also thank the editor and the referees for thoughtful feedback which improved this paper. yDepartment of Economics, University of Wisconsin-Madison, William H. Sewell Social Science Building, 1180 Observatory Drive, Madison, WI 53706, USA. [email protected] zCorresponding author.
    [Show full text]
  • Sobolev Met Poincaré
    MaxPlanckInstitut fur Mathematik in den Naturwissenschaften Leipzig Sob olev met Poincare by Piotr Hajlasz and Pekka Koskela PreprintNr Sob olev met Poincare Piotr Ha jlasz and Pekka Koskela Contents Intro duction What are Poincare and Sob olev inequalities Poincare inequalities p ointwise estimates and Sob olev classes Examples and necessary conditions Sob olev typ e inequalities by means of Riesz p otentials Trudinger inequality A version of the Sob olev emb edding theorem on spheres RellichKondrachov Sob olev classes in John domains John domains Sob olev typ e inequalities Poincare inequality examples Riemannian manifolds Upp er gradients Top ological manifolds Gluing and related constructions Further examples CarnotCaratheo dory spaces CarnotCaratheo dory metric Upp er gradients and Sob olev spaces Carnot groups Hormander condition Further generalizations Graphs Applications to PDE and nonlinear p otential theory Admissible weights Sob olev emb edding for p App endix Measures Uniform integrability p p spaces L
    [Show full text]
  • Reflections on Dubinski˘I's Nonlinear Compact
    PUBLICATIONS DE L’INSTITUT MATHÉMATIQUE Nouvelle série, tome 91(105) (2012), 95–110 DOI: 10.2298/PIM1205095B REFLECTIONS ON DUBINSKI˘I’S NONLINEAR COMPACT EMBEDDING THEOREM John W. Barrett and Endre Süli Abstract. We present an overview of a result by Yuli˘ıAndreevich Dubin- ski˘ı[Mat. Sb. 67 (109) (1965); translated in Amer. Math. Soc. Transl. (2) 67 (1968)], concerning the compact embedding of a seminormed set in Lp(0, T ; A0), where A0 is a Banach space and p ∈ [1, ∞]; we establish a variant of Dubin- ski˘ı’s theorem, where a seminormed nonnegative cone is used instead of a seminormed set; and we explore the connections of these results with a non- linear compact embedding theorem due to Emmanuel Maitre [Int. J. Math. Math. Sci. 27 (2003)]. 1. Introduction Dubinski˘ı’s theorem concerning the compact embedding of spaces of vector- valued functions was published (in Russian) in 1965 (see [7]), as an extension of an earlier result in this direction by Aubin, which appeared in 1963 (see [4]). The English translation of Dubinski˘ı’s original paper was included in a collection of ar- ticles by Soviet mathematicians that was published by the American Mathematical Society in 1968 (see [1, pp. 226–258]); the key theorem and its proof were also reproduced in an abridged form by J.-L. Lions in the, more accessible, 1969 mono- graph Quelques méthodes de résolution des problèmes aux limites non linéaire [11] (cf. Sec. 12.2, and in particular Theorem 12.1 on p. 141). Dubinski˘ı’s result was ref- erenced in Simon’s highly-cited 1987 article Compact Sets in the Space Lp(0,T ; B) (cf.
    [Show full text]
  • Some Remarks on the Space of Locally Sobolev-Slobodeckij Functions
    SOME REMARKS ON THE SPACE OF LOCALLY SOBOLEV-SLOBODECKIJ FUNCTIONS A. BEHZADAN AND M. HOLST ABSTRACT. The study of certain differential operators between Sobolev spaces of sec- tions of vector bundles on compact manifolds equipped with rough metric is closely related to the study of locally Sobolev functions on domains in the Euclidean space. In this paper we present a coherent rigorous study of some of the properties of locally Sobolev-Slobodeckij functions that are especially useful in the study of differential op- erators between sections of vector bundles on compact manifolds with rough metric. Results of this type in published literature generally can be found only for integer order Sobolev spaces W m;p or Bessel potential spaces Hs. Here we have presented the rele- vant results and their detailed proofs for Sobolev-Slobodeckij spaces W s;p where s does not need to be an integer. We also develop a number of results needed in the study of differential operators on manifolds that do not appear to be in the literature. CONTENTS 1. Introduction 1 2. Notation and Conventions2 3. Background Material3 4. Spaces of Locally Sobolev Functions 22 5. Overview of the Basic Properties 23 6. Other Properties 35 Acknowledgments 42 References 42 1. INTRODUCTION The study of elliptic PDEs on compact manifolds naturally leads to the study of Sobolev spaces of functions and more generally Sobolev spaces of sections of vector bundles. As it turns out, the study of certain differential operators between Sobolev spaces of sections of vector bundles on manifolds equipped with rough metric is closely related to the study of spaces of locally Sobolev functions on domains in the Euclidean arXiv:1806.02188v1 [math.AP] 4 Jun 2018 space (see [4,5]).
    [Show full text]
  • A First Course in Sobolev Spaces
    A First Course in Sobolev Spaces 'IOVANNI,EONI 'RADUATE3TUDIES IN-ATHEMATICS 6OLUME !MERICAN-ATHEMATICAL3OCIETY http://dx.doi.org/10.1090/gsm/105 A First Course in Sobolev Spaces A First Course in Sobolev Spaces Giovanni Leoni Graduate Studies in Mathematics Volume 105 American Mathematical Society Providence, Rhode Island Editorial Board David Cox (Chair) Steven G. Krantz Rafe Mazzeo Martin Scharlemann 2000 Mathematics Subject Classification. Primary 46E35; Secondary 26A24, 26A27, 26A30, 26A42, 26A45, 26A46, 26A48, 26B30. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-105 Library of Congress Cataloging-in-Publication Data Leoni, Giovanni, 1967– A first course in Sobolev spaces / Giovanni Leoni. p. cm. — (Graduate studies in mathematics ; v. 105) Includes bibliographical references and index. ISBN 978-0-8218-4768-8 (alk. paper) 1. Sobolev spaces. I. Title. QA323.L46 2009 515.782—dc22 2009007620 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 a chapter for use in teaching or research. Permission is granted to quote brief passages from this publication in reviews, provided the customary acknowledgmentofthesourceisgiven. Republication, systematic copying, or multiple reproduction of any material in this publication is permitted only under license from the American Mathematical Society. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294, USA. Requests can also be made by e-mail to [email protected]. c 2009 by the American Mathematical Society. All rights reserved.
    [Show full text]
  • Preparation for Oral Exam Main Theorem and Useful Corollary
    PREPARATION FOR ORAL EXAM MAIN THEOREM AND USEFUL COROLLARY PAN LIU Contents Part 1. The One Dimensional Cases - Sobolev Functions, BV Functions, and AC Fucntions 2 1. Sobolev Functions v.s. AC Functions v.s. BV Functions 2 Part 2. Sobolev Spaces 4 2. Basic Definition and Properties 4 3. Sobolev Embedding & Compact Embedding 8 1;p 4. The W0 (Ω) Space 10 Part 3. BV Spaces 12 5. Basic Definition and Properties 12 6. BV Embedding and Coarea Formula 15 7. The Reduced Boundary 17 Part 4. Elliptic PDEs 20 8. Laplace Equation 20 9. General Elliptic PDEs - Strong Solutions 22 10. General Elliptic PDEs - Weak Solutions 23 Part 5. Micellaneous 27 11. Measure Theory & Functional Analysis 27 12. Other Calculation Facts 32 13. Counterexamples and Some Useful Explanation 33 References 34 Date: June 27, 2015. 1 2 PAN LIU Part 1. The One Dimensional Cases - Sobolev Functions, BV Functions, and AC Fucntions 1. Sobolev Functions v.s. AC Functions v.s. BV Functions Theorem 1.1 (The Relationship Between W1;1 , BV , and AC ). We discuss this for I bounded and unbounded: (1) Let I be open bounded, then we have W1;1(I) = AC(I) ( BV(I) (2) Let I be unbounded, we have W1;1(I) ( AC(I) and W1;1(I) ( BV(I); but there is no relationship between AC(I) and BV(I), because AC is more or less a local property but BV is always a global property. Theorem 1.2 (The Algebraical Properties of AC(I), W1; p(I), and BV(I)).
    [Show full text]
  • Regular Propagators of Bilinear Quantum Systems Nabile Boussaid, Marco Caponigro, Thomas Chambrion
    Regular propagators of bilinear quantum systems Nabile Boussaid, Marco Caponigro, Thomas Chambrion To cite this version: Nabile Boussaid, Marco Caponigro, Thomas Chambrion. Regular propagators of bilinear quantum sys- tems. Journal of Functional Analysis, Elsevier, 2020, 278 (6), pp.108412. 10.1016/j.jfa.2019.108412. hal-01016299v3 HAL Id: hal-01016299 https://hal.archives-ouvertes.fr/hal-01016299v3 Submitted on 26 Sep 2019 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. Regular propagators of bilinear quantum systems Nabile Boussaïd Laboratoire de Mathématiques de Besançon, UMR 6623 Univ. Bourgogne Franche-Comté, Besançon, France [email protected] Marco Caponigro Équipe M2N Conservatoire National des Arts et Métiers, Paris, France [email protected] Thomas Chambrion Université de Lorraine, IECL, UMR 7502, Vandoeuvre-lès-Nancy, F-54506, France CNRS, IECL, UMR 7502, Vandoeuvre-lès-Nancy, F-54506, France Inria, SPHINX, Villers-lès-Nancy, F-54600, France [email protected] September 26, 2019 Abstract The present analysis deals with the regularity of solutions of bilinear control systems of the type x′ = (A + u(t)B)x where the state x belongs to some complex infinite dimensional Hilbert space, the (possibly unbounded) linear operators A and B are skew-adjoint and the control u is a real valued function.
    [Show full text]
  • A Note on Aubin-Lions-Dubinskii Lemmas
    A NOTE ON AUBIN-LIONS-DUBINSKII˘ LEMMAS XIUQING CHEN, ANSGAR JUNGEL,¨ AND JIAN-GUO LIU Abstract. Strong compactness results for families of functions in seminormed nonnegative cones in the spirit of the Aubin-Lions-Dubinski˘ılemma are proven, refining some recent results in the literature. The first theorem sharpens slightly a result of Dubinski˘ı(1965) for seminormed cones. The second theorem applies to piecewise constant functions in time and sharpens slightly the results of Dreher and J¨ungel (2012) and Chen and Liu (2012). An application is given, which is useful in the study of porous-medium or fast-diffusion type equations. 1. Introduction The Aubin-Lions lemma states criteria under which a set of functions is relatively compact in Lp(0, T; B), where p ≥ 1, T > 0, and B is a Banach space. The standard Aubin-Lions lemma states that if U is bounded in Lp(0, T; X) and ∂U/∂t = {∂u/∂t : u ∈ U} is bounded in Lr(0, T; Y), then U is relatively compact in Lp(0, T; B), under the conditions that ,X ֒→ B compactly, B ֒→ Y continuously and either 1 ≤ p < ∞, r = 1 or p = ∞, r > 1. Typically, when U consists of approximate solutions to an evolution equation, the boundedness of U in Lp(0, T; X) comes from suitable a priori estimates, and the boundedness of ∂U/∂t in Lr(0, T; Y) is a consequence of the evolution equation at hand. The compactness is needed to extract a sequence in the set of approximate solutions, which converges strongly in Lp(0, T; B).
    [Show full text]
  • Elements of Topology and Functional Analysis
    Appendix A Elements of topology and functional analysis Here, for the reader’s convenience, we collect fundamental concepts, definitions, and theorems used in this monograph, which are, however, rather standard and thus presented here mostly without proof, although some specific generalizations or modifications are accompanied by proofs. There are many textbooks and monographs on this subject, such as, e.g., [52, 84, 173, 175, 314, 344, 624]. A.1 Ordering A binary relation, denoted by Ä,onasetX is called an ordering if it is reflexive (i.e., x Ä x for all x 2 X), transitive (i.e., x1 Ä x2 & x2 Ä x3 imply x1 Ä x3 for all x1; x2; x3 2 X) and antisymmetric (i.e., x1 Ä x2 & x2 Ä x1 imply x1 D x2). The ordering Ä is called linear if x1 Ä x2 or x2 Ä x1 always holds for every x1; x2 2 X. An ordered set X is called directed if for every x1; x2 2 X, there is x3 2 X such that both x1 Ä x3 and x2 Ä x3. Instead of x1 Ä x2, we also write x2 x1.Byx1 < x2 we understand that x1 Ä x2 but x1 6D x2. Having two ordered sets X1 and X2 and a mapping f W X1 ! X2, we say that f is nondecreasing (respectively nonincreasing) if x1 Ä x2 implies f .x1/ Ä f .x2/ (respectively f .x1/ f .x2/). We say that x1 2 X is the greatest element of the ordered set X if x2 Ä x1 for every x2 2 X.
    [Show full text]
  • Compactness of Infinite Dimensional Parameter Spaces
    Compactness of infinite dimensional parameter spaces Joachim Freyberger Matthew Masten The Institute for Fiscal Studies Department of Economics, UCL cemmap working paper CWP01/16 Compactness of Infinite Dimensional Parameter Spaces∗ Joachim Freyberger† Matthew A. Masten‡ December 23, 2015 Abstract We provide general compactness results for many commonly used parameter spaces in non- parametric estimation. We consider three kinds of functions: (1) functions with bounded do- mains which satisfy standard norm bounds, (2) functions with bounded domains which do not satisfy standard norm bounds, and (3) functions with unbounded domains. In all three cases we provide two kinds of results, compact embedding and closedness, which together allow one to show that parameter spaces defined by a s-norm bound are compact under a norm c. We apply these results to nonparametric meank ·k regression and nonparametric instrumentalk variables ·k estimation. JEL classification: C14, C26, C51 Keywords: Nonparametric Estimation, Sieve Estimation, Trimming, Nonparametric Instrumental Variables ∗This paper was presented at Duke and the 2015 Triangle Econometrics Conference. We thank audiences at those seminars as well as Bruce Hansen, Jack Porter, Yoshi Rai, and Andres Santos for helpful conversations and comments. †Department of Economics, University of Wisconsin-Madison, [email protected] ‡Department of Economics, Duke University, [email protected] 1 1 Introduction Compactness is a widely used assumption in econometrics, for both finite and infinite dimensional parameter spaces. It can ensure the existence of extremum estimators and is an important step in many consistency proofs (e.g. Wald 1949). Even for noncompact parameter spaces, compactness results are still often used en route to proving consistency.
    [Show full text]
  • The Kolmogorov–Riesz Compactness Theorem$
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Elsevier - Publisher Connector Expositiones Mathematicae 28 (2010) 385–394 Contents lists available at ScienceDirect Expositiones Mathematicae journal homepage: www.elsevier.de/exmath The Kolmogorov–Riesz compactness theorem$ Harald Hanche-Olsen a, Helge Holden a,b,Ã a Department of Mathematical Sciences, Norwegian University of Science and Technology, NO–7491 Trondheim, Norway b Centre of Mathematics for Applications, University of Oslo, P.O. Box 1053, Blindern, NO–0316 Oslo, Norway article info abstract We show that the Arzela–Ascoli theorem and Kolmogorov MSC: compactness theorem both are consequences of a simple lemma primary, 46E30, 46E35; on compactness in metric spaces. Their relation to Helly’s secondary, 46N20 theorem is discussed. The paper contains a detailed discussion on the historical background of the Kolmogorov compactness Keywords: theorem. Kolmogorov–Riesz compactness theorem & 2010 Elsevier GmbH. All rights reserved. Compactness in Lp 1. Introduction Compactness results in the spaces LpðRdÞð1rpo1Þ are often vital in existence proofs for nonlinear partial differential equations. A necessary and sufficient condition for a subset of LpðRdÞ to be compact is given in what is often called the Kolmogorov compactness theorem, or Fre´chet– Kolmogorov compactness theorem. Proofs of this theorem are frequently based on the Arzela–Ascoli theorem. We here show how one can deduce both the Kolmogorov compactness theorem and the Arzela–Ascoli theorem from one common lemma on compactness in metric spaces, which again is based on the fact that a metric space is compact if and only if it is complete and totally bounded.
    [Show full text]