LECTURENOTE for the COURSE PARTIAL DIFFERENTIAL EQUATIONS 2, MATS340, 9 POINTS Contents 1. Introduction 3 2. Sobolev Spaces 3 2

Total Page:16

File Type:pdf, Size:1020Kb

LECTURENOTE for the COURSE PARTIAL DIFFERENTIAL EQUATIONS 2, MATS340, 9 POINTS Contents 1. Introduction 3 2. Sobolev Spaces 3 2 LECTURENOTE FOR THE COURSE PARTIAL DIFFERENTIAL EQUATIONS 2, MATS340, 9 POINTS MIKKO PARVIAINEN UNIVERSITY OF JYVASKYL¨ A¨ Contents 1. Introduction3 2. Sobolev spaces3 2.1. Notations3 2.2. Reminders (from the Measure and Integration)4 2.3. Weak derivatives6 2.4. Approximations 17 2.5. Global approximation in Sobolev space 22 k;p 2.6. Sobolev spaces with zero boundary values: W0 (Ω) 24 2.7. Properties of W 1;p(Ω), 1 ≤ p < 1 26 2.8. Difference quotient characterization of Sobolev spaces 29 2.9. Sobolev type inequalities 33 2.9.1. Gagliardo-Nirenberg-Sobolev inequality, 1 ≤ p < n 33 2.9.2. Poincare's inequalities 39 2.9.3. Morrey's inequality, p > n 43 2.9.4. Lipschitz functions and W 1;1 45 2.10. Compactness theorem 46 3. Elliptic linear PDEs 47 3.1. Weak solutions 49 3.2. Existence 53 3.3. Variational method 56 3.4. Uniqueness 60 3.5. Regularity 62 3.5.1. Local L2-regularity 63 3.5.2. Global L2-regularity 70 3.5.3. Local Lp-regularity 72 3.5.4. Cα regularity using De Giorgi's method 73 3.6. Comparison and max principles 83 3.6.1. Strong maximum principle 85 Date: March 13, 2017. 1 2 PDE 2 4. Linear parabolic equations 87 4.1. Existence: Galerkin method 93 4.2. Standard time mollification 98 4.3. Steklov averages 99 4.4. Uniqueness 100 4.5. Cα regularity using Moser's method 102 4.6. H¨oldercontinuity 112 4.7. Remarks 114 5. Schauder estimates 115 6. Notes and comments 126 PDE 2 3 1. Introduction This lecture note contains a sketch of the lectures. More illustrations and examples are presented during the lectures. Partial differential equations (PDEs) have a great variety of applica- tions to mechanics, electrostatics, quantum mechanics and many other fields of physics as well as to finance. In addition, PDEs have a rich mathematical theory. In the ICM at 1900, a German mathematician David Hilbert published part of a nowadays legendary list of 23 mathematical problems that have been very influential for 20th century mathematics. We are interested in particular with the problems: (1) 20th problem: Has not every regular variational problem a solu- tion provided certain assumptions regarding the given boundary conditions, and provided that, if needed, the notion of solutions shall be suitably extended? (2) 19 th problem: Are the solutions of regular problems in the calculus of variations always necessarily analytic? Comments: • Variational problems and PDEs have a tight connection. We will return to this later. • As Hilbert suggested, in most of the cases we will have to relax the definition of the solution to PDEs to obtain existence of a solution. Still we would like to preserve the uniqueness and to some extend regularity and stability. These are the question swe will deal with in this course. 2. Sobolev spaces 2.1. Notations. DOM = Lebesgue's dominated convergence theorem; n Ω ⊂ R open set, bounded unless otherwise stated q 2 2 n jxj = x1 + ::: + xn for x 2 R ; m(E) = jEj = a Lebesgue measure of a set E Z 1 Z : : : dy = : : : dy B(0;") jB(0;")j B(0;") f :Ω ! R a function spt f = fx 2 Ω: f(x) 6= 0g = the support of f C(Ω) = ff : f continuous in Ωg 4 PDE 2 C0(Ω) = ff 2 C(Ω) : spt f is compact subset of Ωg Ck(Ω) = ff 2 C(Ω) : f is k times continuously differentiableg k k C0 (Ω) = C (Ω) \ C0(Ω) 1 1 k C (Ω) = \k=1C (Ω) = smooth functions 1 1 C0 (Ω) = C (Ω) \ C0(Ω) = compactly supported smooth functions Remark 2.1. Recall that u 2 Ck(Ω) () Dαu 2 C(Ω) n for multi-index α = (α1; : : : ; αn) 2 N and jαj := α1 + ::: + αn ≤ k, where @α1 @αn Dαu := ::: : α1 αn @x1 @xn Example 2.2 (Warning). It is not always the case that spt f ⊂ Ω. Example 2.3. (1) ( x2; x ≥ 0 f : R ! R; f(x) = −x2; x < 0 f 2 C1(Ω) n C2(Ω) (2) ( 1=(jxj2−1) n e ; jxj < 1 ' : R ! R;'(x) = 0; jxj ≥ 1: 1 ' 2 C0 (Ω); spt ' ⊂ B(0; 1) Exercise. 2.2. Reminders (from the Measure and Integration). Let E be Lebesgue measurable, 1 ≤ p ≤ 1, and f : E ! [−∞; 1] a Lebesgue measurable function. Then we define ( R p 1=p E jfj dx ; p < 1 jjfjjLp(E) = ess supE jfj; p = 1: where ess sup jfj := inffM : jfj ≤ M a.e. in Eg: E PDE 2 5 Then we define Lp(E) to be a a linear space of all Lebesgue measur- able functions f : E ! [−∞; 1] for which jjfjjLp(E) < 1: If we identify functions that coincide a.e., then this will be a Banach space with the norm defined above. We also recall p p Lloc(E) := ff : E ! [−∞; 1]: f 2 L (F ) for each F b Eg; where b means that F is a compact subset of E. Remark 2.4. There is usually no inclusions between Lp spaces: p q q p L * L L * L : This can be seen by recalling that xα 2 L1((0; 1)) () α > −1 xα 2 L1((1; 1)) () α < −1: Thus if we let 1 ≤ p < q ≤ 1 and choose β > 0 such that 1 1 − > −β > − q p we have x−β 2 Lp((0; 1)); but x−β 2= Lq((0; 1)) x−β 2= Lp((1; 1)); but x−β 2 Lq((1; 1)): Nonetheless, H¨older'sinequality is often a useful tool: jjfgjjL1 ≤ jjfjjLp jjgjjLq ; that is Z Z Z jfgj dx ≤ jfjp dx1=p jgjq dx1=q; where 1 ≤ p; q ≤ 1 are H¨older-conjugates that is 1 1 + = 1: q p This implies, in particular, for 1 ≤ p0 < q0 ≤ 1 and for a set jEj < 1 that f 2 Lq0 (E) ) f 2 Lp0 (E) 6 PDE 2 because (1 − p0=q0 = (q0 − p0)=q0) Z 0 Z 0 0 0 Z 0 0 0 jfjp dx ≤ 1q0=(q0−p0) dx(q −p )=q jfjq dxp =q E E E (q0−p0)=q0 p0 ≤ jEj jjfjj 0 : Lq (E) Also the following inequalities are worth recalling. Young's inequality: for each " > 0, 1 < p; q < 1; 1=p + 1=q = 1 and a; b ≥ 0 it holds ab ≤ "ap + Cbq; where C = C("; p; q) (meaning that C depends on the quantities in the parenthesis). Minkowski's inequality: for 1 ≤ p ≤ 1 and f; g 2 Lp(E) it holds that jjf + gjjLp(E) ≤ jjfjjLp(E) + jjgjjLp(E) : 1 1 2.3. Weak derivatives. Let u 2 C (Ω) and ' 2 C0 (Ω). Then by integrating by parts Z @' Z @u u dx = − ' dx; for i = 1; : : : ; n: Ω @xi Ω @xi Observe that ' vanishes at the boundary and thus there is no boundary term above. More generally for multi-index α, jαj ≤ k, and u 2 Ck(Ω), we have Z Z uDα' dx = (−1)jαj Dαu' dx: Ω Ω Remark 2.5. Observe that the left hand side does not require u to be continuously differentiable. This will be our starting point for defining weak derivatives for functions that are not continuous differentiable. 1 Definition 2.6. Let u; v 2 Lloc(Ω) and α a multi-index. Then v is αth weak partial derivative of u if Z Z uDα' dx = (−1)jαj v' dx; Ω Ω 1 for every test function ' 2 C0 (Ω). We denote Dαu := v: We denote weak partial derivatives with the familiar notation @u : @xi We also use @u @u Du = ( ;:::; ) @x1 @xn PDE 2 7 for the weak gradient. Example 2.7. ( x; 0 < x ≤ 1 u : (0; 2) ! R; u(x) = 1; 1 < x < 2: We claim that the weak derivative is ( 1; 0 < x ≤ 1 u0 = v = 0; 1 < x < 2: 1 This is in Lloc so by definition, the task is to show that Z Z v' dx = −1 u'0 dx: (0;2) (0;2) To see this, we calculate Z Z Z u'0 dx = u'0 dx + u'0 dx (0;2) (0;1) (1;2) = u(1)'(1) − u(0)'(0) + u(2)'(2) −u(1)'(1) | {z } | {z } 0 0 Z Z − u0 ' dx − u0 ' dx |{z} |{z} (0;1) 1 (1;2) 0 Z = − ' dx (0;1) Z = − v' dx: (0;2) Note that above u2 = C1((0; 2)) and u0 2= C((0; 2)). Also observe that weak derivatives are only defined a.e. and thus it is irrelevant what is the point value for example at 1. We found one weak derivative but could there be several? Answer: No, weak derivatives are unique up to a set of measure zero. Theorem 2.8. A weak αth derivate of u is uniquely defined up to a set of measure zero. 1 Proof. Suppose that v; v 2 Lloc(Ω) satisfy Z Z uDα' dx = (−1)jαj v' dx Ω Ω Z = (−1)jαj v' dx Ω 8 PDE 2 1 for all ' 2 C0 (Ω). It follows that Z (v − v)' dx = 0 Ω 1 for every ' 2 C0 (Ω). This implies that v = v a.e. by the following reason: 0 1 0 1 0 Let Ω b Ω and observe that C0 (Ω ) is dense in L (Ω ). Indeed, then there exists 1 0 'i 2 C0 (Ω ); j'ij ≤ 2 such that 0 'i ! sign(v − v) a.e. in Ω ; (more about approximations later) where 8 1 x > 0 <> sign(x) = 0 x = 0 :>−1 x < 0: Then Z 0 = lim (v − v)'i dx i Ω0 DOM, below Z = lim(v − v)'i dx Ω0 i Z = (v − v) sign(v − v) dx Ω0 Z = jv − vj dx; Ω0 1 0 where the use of DOM is based on j(v − v)'ij ≤ 2(jvj + jvj) 2 L (Ω ).
Recommended publications
  • Geometric Integration Theory Contents
    Steven G. Krantz Harold R. Parks Geometric Integration Theory Contents Preface v 1 Basics 1 1.1 Smooth Functions . 1 1.2Measures.............................. 6 1.2.1 Lebesgue Measure . 11 1.3Integration............................. 14 1.3.1 Measurable Functions . 14 1.3.2 The Integral . 17 1.3.3 Lebesgue Spaces . 23 1.3.4 Product Measures and the Fubini–Tonelli Theorem . 25 1.4 The Exterior Algebra . 27 1.5 The Hausdorff Distance and Steiner Symmetrization . 30 1.6 Borel and Suslin Sets . 41 2 Carath´eodory’s Construction and Lower-Dimensional Mea- sures 53 2.1 The Basic Definition . 53 2.1.1 Hausdorff Measure and Spherical Measure . 55 2.1.2 A Measure Based on Parallelepipeds . 57 2.1.3 Projections and Convexity . 57 2.1.4 Other Geometric Measures . 59 2.1.5 Summary . 61 2.2 The Densities of a Measure . 64 2.3 A One-Dimensional Example . 66 2.4 Carath´eodory’s Construction and Mappings . 67 2.5 The Concept of Hausdorff Dimension . 70 2.6 Some Cantor Set Examples . 73 i ii CONTENTS 2.6.1 Basic Examples . 73 2.6.2 Some Generalized Cantor Sets . 76 2.6.3 Cantor Sets in Higher Dimensions . 78 3 Invariant Measures and the Construction of Haar Measure 81 3.1 The Fundamental Theorem . 82 3.2 Haar Measure for the Orthogonal Group and the Grassmanian 90 3.2.1 Remarks on the Manifold Structure of G(N,M).... 94 4 Covering Theorems and the Differentiation of Integrals 97 4.1 Wiener’s Covering Lemma and its Variants .
    [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]
  • Proving the Regularity of the Reduced Boundary of Perimeter Minimizing Sets with the De Giorgi Lemma
    PROVING THE REGULARITY OF THE REDUCED BOUNDARY OF PERIMETER MINIMIZING SETS WITH THE DE GIORGI LEMMA Presented by Antonio Farah In partial fulfillment of the requirements for graduation with the Dean's Scholars Honors Degree in Mathematics Honors, Department of Mathematics Dr. Stefania Patrizi, Supervising Professor Dr. David Rusin, Honors Advisor, Department of Mathematics THE UNIVERSITY OF TEXAS AT AUSTIN May 2020 Acknowledgements I deeply appreciate the continued guidance and support of Dr. Stefania Patrizi, who supervised the research and preparation of this Honors Thesis. Dr. Patrizi kindly dedicated numerous sessions to this project, motivating and expanding my learning. I also greatly appreciate the support of Dr. Irene Gamba and of Dr. Francesco Maggi on the project, who generously helped with their reading and support. Further, I am grateful to Dr. David Rusin, who also provided valuable help on this project in his role of Honors Advisor in the Department of Mathematics. Moreover, I would like to express my gratitude to the Department of Mathematics' Faculty and Administration, to the College of Natural Sciences' Administration, and to the Dean's Scholars Honors Program of The University of Texas at Austin for my educational experience. 1 Abstract The Plateau problem consists of finding the set that minimizes its perimeter among all sets of a certain volume. Such set is known as a minimal set, or perimeter minimizing set. The problem was considered intractable until the 1960's, when the development of geometric measure theory by researchers such as Fleming, Federer, and De Giorgi provided the necessary tools to find minimal sets.
    [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]
  • Optimal Filter and Mollifier for Piecewise Smooth Spectral Data
    MATHEMATICS OF COMPUTATION Volume 75, Number 254, Pages 767–790 S 0025-5718(06)01822-9 Article electronically published on January 23, 2006 OPTIMAL FILTER AND MOLLIFIER FOR PIECEWISE SMOOTH SPECTRAL DATA JARED TANNER This paper is dedicated to Eitan Tadmor for his direction Abstract. We discuss the reconstruction of piecewise smooth data from its (pseudo-) spectral information. Spectral projections enjoy superior resolution provided the function is globally smooth, while the presence of jump disconti- nuities is responsible for spurious O(1) Gibbs’ oscillations in the neighborhood of edges and an overall deterioration of the convergence rate to the unaccept- able first order. Classical filters and mollifiers are constructed to have compact support in the Fourier (frequency) and physical (time) spaces respectively, and are dilated by the projection order or the width of the smooth region to main- tain this compact support in the appropriate region. Here we construct a noncompactly supported filter and mollifier with optimal joint time-frequency localization for a given number of vanishing moments, resulting in a new fun- damental dilation relationship that adaptively links the time and frequency domains. Not giving preference to either space allows for a more balanced error decomposition, which when minimized yields an optimal filter and mol- lifier that retain the robustness of classical filters, yet obtain true exponential accuracy. 1. Introduction The Fourier projection of a 2π periodic function π ˆ ikx ˆ 1 −ikx (1.1) SN f(x):= fke , fk := f(x)e dx, 2π − |k|≤N π enjoys the well-known spectral convergence rate, that is, the convergence rate is as rapid as the global smoothness of f(·) permits.
    [Show full text]
  • Friedrich Symmetric Systems
    viii CHAPTER 8 Friedrich symmetric systems In this chapter, we describe a theory due to Friedrich [13] for positive symmet- ric systems, which gives the existence and uniqueness of weak solutions of boundary value problems under appropriate positivity conditions on the PDE and the bound- ary conditions. No assumptions about the type of the PDE are required, and the theory applies equally well to hyperbolic, elliptic, and mixed-type systems. 8.1. A BVP for symmetric systems Let Ω be a domain in Rn with boundary ∂Ω. Consider a BVP for an m × m system of PDEs for u :Ω → Rm of the form i A ∂iu + Cu = f in Ω, (8.1) B−u =0 on ∂Ω, where Ai, C, B− are m × m coefficient matrices, f : Ω → Rm, and we use the summation convention. We assume throughout that Ai is symmetric. We define a boundary matrix on ∂Ω by i (8.2) B = νiA where ν is the outward unit normal to ∂Ω. We assume that the boundary is non- characteristic and that (8.1) satisfies the following smoothness conditions. Definition 8.1. The BVP (8.1) is smooth if: (1) The domain Ω is bounded and has C2-boundary. (2) The symmetric matrices Ai : Ω → Rm×m are continuously differentiable on the closure Ω, and C : Ω → Rm×m is continuous on Ω. × (3) The boundary matrix B− : ∂Ω → Rm m is continuous on ∂Ω. These assumptions can be relaxed, but our goal is to describe the theory in its basic form with a minimum of technicalities.
    [Show full text]
  • Geodesic Completeness for Sobolev Hs-Metrics on the Diffeomorphisms Group of the Circle Joachim Escher, Boris Kolev
    Geodesic Completeness for Sobolev Hs-metrics on the Diffeomorphisms Group of the Circle Joachim Escher, Boris Kolev To cite this version: Joachim Escher, Boris Kolev. Geodesic Completeness for Sobolev Hs-metrics on the Diffeomorphisms Group of the Circle. 2013. hal-00851606v1 HAL Id: hal-00851606 https://hal.archives-ouvertes.fr/hal-00851606v1 Preprint submitted on 15 Aug 2013 (v1), last revised 24 May 2014 (v2) 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. GEODESIC COMPLETENESS FOR SOBOLEV Hs-METRICS ON THE DIFFEOMORPHISMS GROUP OF THE CIRCLE JOACHIM ESCHER AND BORIS KOLEV Abstract. We prove that the weak Riemannian metric induced by the fractional Sobolev norm H s on the diffeomorphisms group of the circle is geodesically complete, provided s > 3/2. 1. Introduction The interest in right-invariant metrics on the diffeomorphism group of the circle started when it was discovered by Kouranbaeva [17] that the Camassa– Holm equation [3] could be recast as the Euler equation of the right-invariant metric on Diff∞(S1) induced by the H1 Sobolev inner product on the corre- sponding Lie algebra C∞(S1). The well-posedness of the geodesics flow for the right-invariant metric induced by the Hk inner product was obtained by Constantin and Kolev [5], for k ∈ N, k ≥ 1, following the pioneering work of Ebin and Marsden [8].
    [Show full text]
  • Lecture Notes Advanced Analysis
    Lecture Notes Advanced Analysis Course held by Notes written by Prof. Emanuele Paolini Francesco Paolo Maiale Department of Mathematics Pisa University May 11, 2018 Disclaimer These notes came out of the Advanced Analysis course, held by Professor Emanuele Paolini in the second semester of the academic year 2016/2017. They include all the topics that were discussed in class; I added some remarks, simple proof, etc.. for my convenience. I have used them to study for the exam; hence they have been reviewed thoroughly. Unfor- tunately, there may still be many mistakes and oversights; to report them, send me an email at francescopaolo (dot) maiale (at) gmail (dot) com. Contents I Topological Vector Spaces5 1 Introduction 6 2 Locally Convex Spaces8 2.1 Introduction to TVS....................................8 2.1.1 Classification of TVS (?) .............................9 2.2 Separation Properties of TVS...............................9 2.2.1 Separation Theorem................................ 11 2.2.2 Balanced and Convex Basis............................ 13 2.3 Locally Convex Spaces................................... 16 2.3.1 Characterization via Subbasis........................... 16 2.3.2 Characterization via Seminorms......................... 17 3 Space of Compactly Supported Functions 25 3.1 Locally Convex Topology of C0(Ω) ............................ 25 3.2 Locally Convex Topology of C1(Ω) ........................... 26 3.3 Locally Convex Topology of DK (Ω) ............................ 28 3.3.1 Existence of Test Functions............................ 28 3.4 Locally Convex Topology of D(Ω) ............................. 29 II Distributions Theory 36 4 Distribution Theory 37 4.1 Definitions and Main Properties.............................. 37 4.2 Localization and Support of a Distribution....................... 43 4.3 Derivative Form of Distributions............................. 48 4.4 Convolution........................................
    [Show full text]
  • ORDINARY DIFFERENTIAL EQUATIONS with DELTA FUNCTION TERMS Marko Nedeljkov and Michael Oberguggenberger
    PUBLICATIONS DE L’INSTITUT MATHÉMATIQUE Nouvelle série, tome 91(105) (2012), 125–135 DOI: 10.2298/PIM1205125N ORDINARY DIFFERENTIAL EQUATIONS WITH DELTA FUNCTION TERMS Marko Nedeljkov and Michael Oberguggenberger Abstract. This article is devoted to nonlinear ordinary differential equations with additive or multiplicative terms consisting of Dirac delta functions or derivatives thereof. Regularizing the delta function terms produces a family of smooth solutions. Conditions on the nonlinear terms, relating to the order of the derivatives of the delta function part, are established so that the regularized solutions converge to a limiting distribution. Introduction This paper is devoted to ordinary differential equations (and systems) of the form ′ (s) (0.1) y (t)= f(t,y(t)) + g(y(t))δ , y(t0)= y0, where δ(s) denotes the s-th derivative of the Dirac delta function. The case of constant g(y) ≡ α will be referred to as the additive case, the general case with s = 0 will be called the multiplicative case. We shall replace the delta function by −1 a family of regularizations φε(t)= ε φ(t/ε) and ask under what conditions on f, g and s the family of regularized solutions admits a limit as ε → 0. In the case of partial differential equations, such weak limits have been termed delta waves and studied in various situations, see e.g. [15, 16, 21]. The interest in problem (0.1) comes also from the fact that such equations have been proven to admit solutions in the Colombeau algebra of generalized functions [5, 8, 10]. Equations of the type (0.1) with s = 0 arise in nonsmooth mechanics [1, 3, 7, 14] and are referred to as measure differential equations or impulsive differential equations, often considered under the form N ′ y (t)= f(t,y(t)) + gi(y(t))δ(t − ti).
    [Show full text]
  • Adaptive Mollifiers – High Resolution Recovery of Piecewise Smooth
    .... ..... ..... .... c 2001 .... .... .... .... 001 Adaptive Mollifiers – High Resolution Recovery of Piecewise Smooth Data from its Spectral Information Eitan Tadmor Jared Tanner January 8, 2018 To Ron DeVore with Friendship and Appreciation Abstract We discuss the reconstruction of piecewise smooth data from its (pseudo-) spectral informa- tion. Spectral projections enjoy superior resolution provided the data is globally smooth, while the presence of jump discontinuities is responsible for spurious (1) Gibbs oscillations in the neighborhood of edges and an overall deterioration to the unacceOptable first-order convergence rate. The purpose is to regain the superior accuracy in the piecewise smooth case, and this is achieved by mollification. Here we utilize a modified version of the two-parameter family of spectral mollifiers intro- duced by Gottlieb & Tadmor [GoTa85]. The ubiquitous one-parameter, finite-order mollifiers are based on dilation. In contrast, our mollifiers achieve their high resolution by an intricate process of high-order cancelation. To this end, we first implement a localization step using edge detection procedure, [GeTa00a, GeTa00b]. The accurate recovery of piecewise smooth data is then carried out in the direction of smoothness away from the edges, and adaptivity is responsible for the high resolution. The resulting adaptive mollifier greatly accelerates the convergence rate, recovering piecewise analytic data within exponential accuracy while removing spurious oscilla- tions that remained in [GoTa85]. Thus, these adaptive mollifiers offer a robust, general-purpose “black box” procedure for accurate post processing of piecewise smooth data. Contents 1 Introduction 2 2 Spectral Mollifiers 3 2.1 The two-parameter spectral mollifier ψp,θ ........................ 3 arXiv:math/0112017v1 [math.NA] 3 Dec 2001 2.2 Error analysis for spectral mollifier .
    [Show full text]
  • Fourier Transform & Sobolev Spaces
    Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new inter- esting Hilbert spaces—the Sobolev spaces. Furthermore we discuss the Fourier transform and its relevance for Sobolev spaces. We follow largely the presentation of [Werner, Funktionalanalysis (Springer 2005); V.1.9–V.2.14]. 1 Test Functions & Weak Derivatives Motivation 1.1 (test functions and weak derivatives). In this paragraph we want to extend the concept of derivative to introduce new Hilbert spaces of “weakly differentiable” functions. Remark 1.2 (Notation). We are going to use the following notational conventions: n Pn 2 (i) Let x R , we write x for the euclidean norm of x, x := k=1 x . 2 j j j j k P (ii) If x; y Rn, we denote the standard scalar product simply by xy := n x y . 2 k=1 k k (iii) We employ the following notation for polynomials: we simply write x f for the function x 7! f (x)x if f : Rn R. ! Definition 1.3 (test functions). Let Ω Rn be open. Then we define the set of test functions (or C - ⊆ 1 functions with compact support) on Ω as n o D(Ω):= ' C1(Ω; C) : supp('):= x : '(x) = 0 Ω is compact 2 6 ⊆ We call supp(') the support of '. Example 1.4 (of a test function). The function ( c exp(( x 2 1) 1) for x < 1, '(x) = · j j − − j j 0 for x 1, j j ≥ is a test function on Rn (c.f.
    [Show full text]
  • Arxiv:1612.05103V5 [Math.CA] 23 Jun 2018 Is− Completely≥ Monotone If and Only If It Is the Laplace Transform of a Radon Measure on [0, ) ([28,6])
    A GENERALIZED DEFINITION OF CAPUTO DERIVATIVES AND ITS APPLICATION TO FRACTIONAL ODES LEI LI∗ AND JIAN-GUO LIU† Abstract. We propose a generalized definition of Caputo derivatives from t = 0 of order γ (0, 1) using a convolution group, and we build a convenient framework for studying initial value∈ problems of general nonlinear time fractional differential equations. Our strategy is to define a modified Riemann–Liouville fractional calculus, which agrees with the traditional Riemann–Liouville definition for t > 0 but includes some singularities at t = 0 so that the group property holds. Then, making use of this fractional calculus, we introduce the generalized definition of Caputo derivatives. The new definition is consistent with various definitions in the literature while revealing the underlying group structure. The underlying group property makes many properties of Caputo derivatives natural. In particular, it allows us to deconvolve the fractional differential equations to integral equations with completely monotone kernels, which then enables us to prove the general comparison principle with the most general conditions. This then allows for a priori energy estimates of fractional PDEs. Since the new definition is valid for locally integrable functions that can blow up in finite time, it provides a framework for solutions to fractional ODEs and fractional PDEs. Many fundamental results for fractional ODEs are revisited within this framework under very weak conditions. Key words. convolution group, fractional calculus, completely monotone function, Riemann– Liouville derivative, Caputo derivative, fractional ODE AMS subject classifications. Primary 26A33, 47D03, secondary 34A08, 46F10 1. Introduction. The fractional calculus in continuous time has been used widely in physics and engineering for memory effect, viscoelasticity, porous media, etc.
    [Show full text]