MA319 Partial Differential Equations Amol Sasane

Total Page:16

File Type:pdf, Size:1020Kb

MA319 Partial Differential Equations Amol Sasane MA319 Partial Differential Equations Amol Sasane Contents Introduction 1 What is a Partial Differential Equation? 1 Why study PDEs? 9 What does “study” mean? 9 Function spaces, operators, solutions 10 Order of a PDE 11 Linear versus nonlinear 11 Homogeneous versus nonhomogeneous 12 The classical trinity 13 Initial Boundary Value Problems 15 Some historical remarks 17 Chapter 1. First Order PDEs 19 §1.1. An example of deriving a PDE: traffic flow 19 §1.2. The method of characteristics 22 Chapter 2. The classical trinity 29 §2.1. Classification of second order linear PDEs 29 §2.2. Uniqueness and stability 31 §2.3. Discretization and the finite difference method 45 Chapter 3. Separation of variables 49 §3.1. Fourier series 49 §3.2. Dimensionless form 54 §3.3. Diffusion equation with Dirichlet conditions 55 §3.4. Diffusion equation with Neumann conditions 62 v vi Contents §3.5. Wave equation with Dirichlet conditions 65 §3.6. Laplace equation 74 §3.7. Inhomogeneous Dirichlet and Neumann problems 77 p˚q §3.8. Proof of the Fourier Series Theorem 83 Chapter 4. Integral transform methods 89 §4.1. Fourier transform 90 §4.2. The Diffusion equation 96 §4.3. Application: European option pricing 101 §4.4. Dirichlet’s problem for a half plane 105 §4.5. Oscillations of an infinite string 109 §4.6. The Laplace transform method 112 §4.7. Proof of the Fourier Transform Theorem 119 Chapter 5. Distributions and weak solutions 121 §5.1. Test functions, distributions, and examples 122 §5.2. Derivatives in the distributional sense 126 §5.3. Weak solutions 128 §5.4. Fourier transform 133 Solutions 135 Solutions to the exercises from the Introduction 135 Solutions to the exercises from Chapter 1 148 Solutions to the exercises from Chapter 2 152 Solutions to the exercises from Chapter 3 162 Solutions to the exercises from Chapter 4 175 Solutions to the exercises from Chapter 5 186 Bibliography 193 Index 195 Introduction What is a Partial Differential Equation? A Partial Differential Equation (PDE) is an equation involving known and unknown functions of several real variables and their partial derivatives. So a PDE is analogous to an ODE (Ordinary differential equation, which is an equation involving known and unknown functions of one variable t, usually thought of as time), except that now we have functions of several variables (say, t,x1, ,xn). ¨ ¨ ¨ Exercise 0.1 (ODE background). In our study of PDEs, we will need the knowledge of solutions to the following two ODEs, and the aim of this exercise is to quickly recall this. (1) (First order linear ODE). Let a : R R be a continuous function. Show that the initial value problem Ñ x1 t a t x t , t R, p q“ p q p q P x ti xi R. " p q“ P t has a unique solution, given by x t exp a τ dτ xi,t R. p q“ t p q ¨ P ´ ż i ¯ (2) (Second order linear ODE). Let λ R. The aim of this exercise is to show that the equation P x2 t λx t 0, x 0 A and x1 0 B (0.1) p q` p q“ p q“ p q“ has the unique solution given by B A cos kt sin kt if λ k2, k 0 p q` k p q “ ą $ x t ’ A Bt if λ 0 p q“ ’ ` “ &’ B 2 A cosh kt sinh kt if λ k , k 0. k ’ p q` p q “´ ą ’ To see this, first%’ verify that the x given by the formula above is a solution. One can show that if A, B are zero, then 0 is the only solution, as follows. First note that by virtue of the equation x2 λx 0, it is clear that x is infinitely many 2n ` n“n 2n 1 n 1 n times differentiable. Moreover, xp q 1 λ x and xp ´ q 1 ´ λ x. Since “ p´ q “ p´ q 1 2 Introduction k x 0 x1 0 0, it follows that xp q 0 0 for all k. Using a Taylor polynomial of degreep q “2np q1 “, Taylor’s Formula givesp theq “ existence of a θ 0, 1 such that ´ P p q 2n xp q θt 2 x t p qt n. p q“ 2n ! p q Now suppose we choose any c 0, and let M 0 be such that x t M on c,c . 2n n ą ą | p q| ď r´ s Then xp q t λ M on c,c . Thus | p q| ď | | r´ s n 2n λ M 2n λ c n 0 x t | | c M p | | q Ñ8 M 0 0. ď | p q| ď 2n ! “ ¨ 2n ! ÝÑ ¨ “ p q ap q Thus x 0 on c,c . But as c 0 was arbitrary, we conclude that x 0 on R. The” uniquenessr´ tos (0.1) nową follows immediately by just considering” the difference of two possible solutions. Here are a few examples of PDEs. Example 0.1 (Transport Equation). Consider u u B x,t B x,t 0. t p q` xp q“ u B B The function x,t u x,t is the unknown function. In the sequel, it will be conve- p q ÞÑ p q nient to use the notation u ut : B , “ t Bu ux : B . “ x B The transport equation can then be written simply as ut ux 0. ♦ ` “ In general, if w is a smooth enough function of the variables x1,x2, ,xn (and possi- ¨ ¨ ¨ bly several others), then it will be convenient to use the following notation: nw wx1 xn : B . ¨¨¨ “ x1 xn B ¨¨¨B Example 0.2 (Mathematical physics). Most of the equations in Mathematical Physics are PDEs. So PDEs describe our physical universe! For example in (nonrelativistic) quantum mechanics, the fundamental equation is the Schrödinger equation. For the hydrogen atom, this equation is ℏ2 e2 iℏΨt Ψxx Ψyy Ψzz Ψ, ´ “ 2mp ` ` q` x2 y2 z2 ` ` where a m is the mass of the electron, e is the charge of the electron, ℏ is h 2π, and h is Planck’s constant, { Ψ is the “wave function”. What is a Partial Differential Equation? 3 Note that this is a PDE. The quantity Ψ 2dxdydz | | ¡Ω gives the probability of finding the electron in the region Ω R3 at time t. (This equa- Ă tion can be used for example to explain the energy levels of the electron in the hydrogen atom. Variations of the equation explain the structure of all atoms and molecules, and so all of Chemistry!) As opposed to the above PDE example, with just one equation, one can also have a system of PDEs where there are m 1 equations in ℓ 1 unknowns. A classical ą ą example is the Maxwell equations1 of electromagnetism describing the evolution of the electric field E and the magnetic field B. ∇ E ρ ∇ ¨ “ B ...and there was light! E B t ∇ ˆB “´0 B ∇ ¨ “ E B j B t ˆ “ ` B In Einstein’s theory of General Relativity, describing spacetime, the “spacetime metric” is obtained as a solution to a PDE called the Einstein field equation. ♦ Exercise 0.2 (Schrödinger equation). (1) (Probability is conserved). Consider the free one dimensional Schrödinger equation ℏ2 iℏΨt Ψxx. “´2m Show that for any C8 solution Ψ: R 0, C such that Ψ ,t has compact support for all t, ˆr 8q Ñ p¨ q 8 8 Ψ x, t 2dx Ψ x, 0 2dx. | p q| “ | p q| ż´8 ż´8 (2) The one dimensional Schrödinger equation is ℏ2 iℏΨt Ψxx V x Ψ, “´2m ` p q ¨ 1See Exercise 0.3 for an explanation of the notation ∇ and ∇ . ˆ ¨ 4 Introduction where V is the potential energy. One method to find solutions is to assume that variables separate, that is, the solution has the form Ψ x, t X x T t . p q“ p q p q Substituting this in the Schrödinger equation gives ℏ2 iℏT 1 t 2 X2 x V x X x p q ´ m p q` p q p q . T t “ X x p q p q As the left hand side depends only on t and the right hand side only on x, the only way equality can occur is if both sides are equal to the same constant, say E (for “energy”). So we obtain the equation following for T , iE T 1 t ´ T t , p q“ ℏ p q which has the solution iEt Et Et T t C exp ´ C cos i sin . p q“ ℏ “ ℏ ´ ℏ ´ ¯ ˆ ´ ¯ ´ ¯˙ The equation for X is ℏ2 X2 x V x E X x 0. ´2m p q ` p p q´ q p q“ Consider a free particle of mass m confined to the interval 0 x π (so that V 0 in 0, π ), and suppose that Ψ 0,t Ψ π,t 0 for all t. (Imagineă ă the particle to” be inp an “infiniteq potential well”.)p Showq“ thatp thisq“ problem has a nontrivial solution if and only if n2ℏ2 E , n 1, 2, 3, . “ 2m “ ¨ ¨ ¨ Sketch the probability density function Ψ 2 when n 1, 2, and compute the probabil- ity that the particle is in the interval 0,|1 |4 in each“ case. r { s Exercise 0.3 (curl:=∇ and div:=∇ ). The aim of this exercise is to introduce the fundamental operators called curl andˆ divergence¨ from vector calculus. A vector field v : R3 R3 is just a map which assigns to every point x R3 a vector v x .
Recommended publications
  • Stepanov and Weyl Almost Periodic Functions on Locally Compact
    STEPANOV AND WEYL ALMOST PERIODICITY IN LOCALLY COMPACT ABELIAN GROUPS TIMO SPINDELER Abstract. We study Stepanov and Weyl almost periodic functions on locally compact Abelian groups, which naturally appear in the theory of aperiodic order. 1. Introduction Almost periodic functions are natural generalisations of periodic functions, and they ap- pear in many different areas of mathematics. They are well studied objects on the real line because they are used in boundary value problems for differential equations [13]. A system- atic treatment of these functions can be found in [5]. Also, there is a well established theory for Bohr almost periodic functions and weakly almost periodic functions on locally compact Abelian groups [6, 8]. Bohr almost periodic functions turned out to be an important tool in harmonic analysis. Firstly, they are used to study finite-dimensional representations of locally compact Abelian groups [7, Ch. 16.2]. Secondly, they describe those autocorrelations which give rise to a pure point diffraction measure; more on that below. However, recent progress in the study of aperiodic order and dynamical systems [10, 11, 18] makes it clear that we also need to aim at a better understanding of Stepanov and Weyl almost periodic functions on locally compact Abelian groups. Let us be more precise. Meyer sets and cut and project sets are important tools in the study of aperiodic order, since they are used to model quasicrystals. If µ denotes a translation bounded measure (e.g. the Dirac comb of a Meyer set), then the diffraction measure γµ, which −1 is the Fourier transform of the autocorrelation γµ := limn An (µ A µ A ), indicates →∞ | | | n ∗ | n how (dis)ordered the system that µ models is [1]; note that (An)n∈N is a suitable averagingc sequence.
    [Show full text]
  • Generalized Harmonic Analysis Represents the Culmination and Combination of a Number of Very Diverse Mathematical Movements
    GEbIERALIZED HARMONIC ANALYSIS. 1 BY NORBERT WIENER of CAMBRIDGE, MASS., U. S. A. Page Introduction ............ ............... 118 Chapter I. Precursors of the present theory. 1. Plancherel's theorem 120 2. Schuster's periodogranf analysis 126 Chapter II. Spectra. 3. The spectrum of an arbitrary function Of a single variable .... 132 4. The total spectral intensity ................. 137 5. Tauberian theorems and spectral intensity . 141 6. Bochner's generalizations of harmonic analysis and their spectrum theories .......................... 153 7. The Hahn generalization of harmonic analysis .......... 164 Chapter III. Extensions of spectrum theory. 8. Harmonic analysis in more than one dimension ......... 172 9. Coherency matrices ..................... 182 10. Harmonic analysis and transformation groups .......... 195 Chapter IV. Examples of functions with spectra. tl. Examples of functions with continuous spectra ......... 201 12. Spectra depending on an infinite sequence of choices ...... 210 13. Spectra and integration in" function space 214 Chapter V. Almost periodic functions. 14. The spectrum of an almost periodic function .......... 234 15. The Parseval theorem for almost periodic functions 238 16. The Weierstrass theorem for almost periodic functions ...... 239 17. Certain generalizations of almost periodic functions ........ 242 1 18 Norbert Wiener. Introduction. Generalized harmonic analysis represents the culmination and combination of a number of very diverse mathematical movements. The theory of almost periodic functions
    [Show full text]
  • Semi Periodic Maps on Complex Manifolds
    Semi periodic maps on complex manifolds Ali Reza Khatoon Abadi Department of Mathematics, Islamic azad university,Tehran’s West branch,Tehran,IRAN H.R.Rezazadeh and F.Golgoii∗ Department of Mathematics,Islamic Azad university,KARAJ branch,Karaj,IRAN In this letter we proved this theorem: if F be a holomorphic mapping of TΩ to a mapping manifold X such that for every compact subset K ⊂ Ω the mapping F is uniformly continues on TK and F (TK ) m ′ is a relatively compact subset of X. If the restriction of F (z) to some hyperplane R + iy is semi periodic, then F (z) is an semi mapping of TΩ to X. PACS numbers: HISTORY In mathematics, an almost(semi) periodic function is, loosely speaking, a function of a real number that is periodic to within any desired level of accuracy, given suitably long, well-distributed ”almost-periods”. The concept was first studied by Harald Bohr and later generalized by Vyacheslav Stepanov, Hermann Weyl and Abram Samoilovitch Besicovitch, amongst others. There is also a notion of almost periodic functions on locally compact abelian groups, first studied by John von Neumann. Almost periodicity is a property of dynamical systems that appear to retrace their paths through phase space, but not exactly. An example would be a planetary system, with planets in orbits moving with periods that are not commensurable (i.e., with a period vector that is not proportional to a vector of integers). A theorem of Kronecker from diophantine approximation can be used to show that any particular configuration that occurs once, will recur to within any specified accuracy: if we wait long enough we can observe the planets all return to within a second of arc to the positions they once were in.There are several different inequivalent definitions of almost periodic functions.
    [Show full text]
  • Finite Products Sets and Minimally Almost Periodic Groups
    Journal of Functional Analysis 270 (2016) 2126–2167 Contents lists available at ScienceDirect Journal of Functional Analysis www.elsevier.com/locate/jfa Finite products sets and minimally almost periodic groups V. Bergelson a,1, J.C. Christopherson a, D. Robertson a,∗, P. Zorin-Kranich b,2 a Department of Mathematics, The Ohio State University, 231 West 18th Avenue, Columbus, OH 43210-1174, USA b Institute of Mathematics, Hebrew University, Givat Ram, Jerusalem, 91904, Israel a r t i c l e i n f o a b s t r a c t Article history: We characterize those locally compact, second countable, Received 25 May 2014 amenable groups in which a density version of Hindman’s Accepted 18 December 2015 theorem holds and those countable, amenable groups in Available online 12 January 2016 which a two-sided density version of Hindman’s theorem Communicated by P. Biane holds. In both cases the possible failure can be attributed MSC: to an abundance of finite-dimensional unitary representations, 37A15 which allows us to construct sets with large density that do not contain any shift of a set of measurable recurrence, let alone a Keywords: shift of a finite products set. The possible success is connected Correspondence principle to the ergodic–theoretic phenomenon of weak mixing via a Finite products set two-sided version of the Furstenberg correspondence principle. Weak mixing We also construct subsets with large density that are not piecewise syndetic in arbitrary non-compact amenable groups. For countably infinite amenable groups, the symbolic systems * Corresponding author. E-mail addresses: [email protected] (V.
    [Show full text]
  • Structure of Fourier Exponents of Almost Periodic Functions and Periodicity of Almost Periodic Functions
    Mathematica Bohemica Alexandr Fischer Structure of Fourier exponents of almost periodic functions and periodicity of almost periodic functions Mathematica Bohemica, Vol. 121 (1996), No. 3, 249–262 Persistent URL: http://dml.cz/dmlcz/125993 Terms of use: © Institute of Mathematics AS CR, 1996 Institute of Mathematics of the Czech Academy of Sciences provides access to digitized documents strictly for personal use. Each copy of any part of this document must contain these Terms of use. This document has been digitized, optimized for electronic delivery and stamped with digital signature within the project DML-CZ: The Czech Digital Mathematics Library http://dml.cz 121 (1996) MATHEMATICA BOHEMICA No. 3, 249-262 STRUCTURE OF FOURIER EXPONENTS OF ALMOST PERIODIC FUNCTIONS AND PERIODICITY OF ALMOST PERIODIC FUNCTIONS ALEXANDR FISCHER, Praha (Received October 12, 1993) Summary. The paper deals with almost periodic functions which are limits of sequences of continuous periodic functions, and determines the structure of their Fourier exponents and their ranges. It is shown that the class CP(&) of continuous periodic functions is not densely distributed in the space AP(Sf). Keywords: almost periodicity (Bohr), Fourier coefficient, Fourier exponent, Bochner transformation AMS classification: 42A75 1. INTRODUCTION 1.1. Preliminaries. Oscillating motions enjoy a privileged position in many technical as well as theoretical domains. The central role is played here by peri­ odic motions represented by periodic functions. Unfortunately, the class of periodic functions is not linear since the sum of two periodic functions, which do not have a non-zero period in common, gives rise to a non-periodic function. This lack of linearity is circumvented by introducing almost periodic functions.
    [Show full text]
  • Linear Fـnctionals on Almost Periodic Functions
    LINEAR FÜNCTIONALS ON ALMOST PERIODIC FUNCTIONS BY EDWIN HEWITT 0. Introduction 0.1 We consider in the present communication the space 21 consisting of all almost periodic continuous functions on the real line. For our purposes, it is convenient to describe 21 as the set of all uniform limits of trigonometric polynomials n 0.1.1 E ct^e''** (t, real, a, complex). Our aim is, first, to present two realizations of the space 21* of all bounded complex linear functional on 21, and, second, to use these realizations for the study of positive definite functions which are not necessarily continuous. In this fashion, we obtain a generalization of Bochner's representation theo- rem for continuous positive definite functions as well as various facts concern- ing positive definite functions and their structure. 0.2 Throughout the present paper, the symbol R denotes the real num- bers, considered either as an additive group or as a field; K the field of com- plex numbers; T the multiplicative group of complex numbers of absolute value 1 ; Tm the complete Cartesian product of m groups each identical with T, m being any cardinal number greater than 1. The characteristic function of a subset B of a set X is denoted by \b- If G is any locally compact Abelian group, we denote the group of all continuous characters of G by the symbol G]. G] is given the usual compact-open topology. If X is any topological space, we denote the set of all complex-valued continuous functions on X which are bounded in absolute value by the symbol &(X).
    [Show full text]
  • Almost Periodic Movements in Uniform Spaces Gary Hosler Meisters Iowa State College
    Iowa State University Capstones, Theses and Retrospective Theses and Dissertations Dissertations 1958 Almost periodic movements in uniform spaces Gary Hosler Meisters Iowa State College Follow this and additional works at: https://lib.dr.iastate.edu/rtd Part of the Mathematics Commons Recommended Citation Meisters, Gary Hosler, "Almost periodic movements in uniform spaces " (1958). Retrospective Theses and Dissertations. 1611. https://lib.dr.iastate.edu/rtd/1611 This Dissertation is brought to you for free and open access by the Iowa State University Capstones, Theses and Dissertations at Iowa State University Digital Repository. It has been accepted for inclusion in Retrospective Theses and Dissertations by an authorized administrator of Iowa State University Digital Repository. For more information, please contact [email protected]. ALMOST PERIODIC MOVEMENTS IN UNIFORM SPACES by Gary Hosier MeIsters A Dissertation Submitted to the Graduate Faculty in Partial Fulfillment of The Requirements for the Degree of DOCTOR OF PHILOSOPHY Ma J or Sub ject: Mathematics Approved: Signature was redacted for privacy. In Charge of Majo Work Signature was redacted for privacy. He bf Major Department Signature was redacted for privacy. Dean' of Graduate Céllege Iowa State College 1958 il TABLE OF CONTENTS I. INTRODUCTION 1 II. PRELIMINARIES 6 A. Almost Periodic Functions 6 B. Topological Spaces 9 C. Uniform Spaces 16 III. ALMOST PERIODIC MOVEMENTS IN UNIFORM SPACES 25 A. Uniformly Continuous Families of Almost Periodic Movements 25 B. Uniformly Continuous Families of Almost Periodic Movements in Complete Uniform Spaces 38 C. The Approximation Theorem 59 IV. ON ALMOST PERIODIC SOLUTIONS OF A CLASS OF DIFFERENTIAL EQUATIONS 71 V.
    [Show full text]
  • An Access-Dictionary of Internationalist High Tech Latinate English
    An Access-Dictionary of Internationalist High Tech Latinate English Excerpted from Word Power, Public Speaking Confidence, and Dictionary-Based Learning, Copyright © 2007 by Robert Oliphant, columnist, Education News Author of The Latin-Old English Glossary in British Museum MS 3376 (Mouton, 1966) and A Piano for Mrs. Cimino (Prentice Hall, 1980) INTRODUCTION Strictly speaking, this is simply a list of technical terms: 30,680 of them presented in an alphabetical sequence of 52 professional subject fields ranging from Aeronautics to Zoology. Practically considered, though, every item on the list can be quickly accessed in the Random House Webster’s Unabridged Dictionary (RHU), updated second edition of 2007, or in its CD – ROM WordGenius® version. So what’s here is actually an in-depth learning tool for mastering the basic vocabularies of what today can fairly be called American-Pronunciation Internationalist High Tech Latinate English. Dictionary authority. This list, by virtue of its dictionary link, has far more authority than a conventional professional-subject glossary, even the one offered online by the University of Maryland Medical Center. American dictionaries, after all, have always assigned their technical terms to professional experts in specific fields, identified those experts in print, and in effect held them responsible for the accuracy and comprehensiveness of each entry. Even more important, the entries themselves offer learners a complete sketch of each target word (headword). Memorization. For professionals, memorization is a basic career requirement. Any physician will tell you how much of it is called for in medical school and how hard it is, thanks to thousands of strange, exotic shapes like <myocardium> that have to be taken apart in the mind and reassembled like pieces of an unpronounceable jigsaw puzzle.
    [Show full text]
  • Almost Periodic Functions)
    ALMOST PERIODIC TYPE FUNCTIONS AND DENSITIES Marko Kostić To cite this version: Marko Kostić. ALMOST PERIODIC TYPE FUNCTIONS AND DENSITIES. 2020. hal-02523952 HAL Id: hal-02523952 https://hal.archives-ouvertes.fr/hal-02523952 Preprint submitted on 29 Mar 2020 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. ALMOST PERIODIC TYPE FUNCTIONS AND DENSITIES MARKO KOSTIC´ Abstract. In this paper, we introduce and analyze the notions of g-almost periodicity and Stepanov g-almost periodicity for functions with values in complex Banach spaces. In order to do that, we use the recently introduced notions of lower and upper (Banach) g-densities. We also analyze uniformly re- current functions, generalized almost automorphic functions and apply our re- sults in the qualitative analysis of solutions of inhomogeneous abstract integro- differential inclusions. We present plenty of illustrative examples, results of independent interest, questions and unsolved problems. 1. Introduction and Preliminaries The concept of almost periodicity was first studied by H. Bohr around 1925 and later generalized by many other mathematicians (cf. the research monographs by A. S. Besicovitch [5], H. Bohr [7], A. M. Fink [16], B. M.
    [Show full text]
  • Construction of Almost Periodic Functions with Given Properties
    Electronic Journal of Differential Equations, Vol. 2011 (2011), No. 29, pp. 1–25. ISSN: 1072-6691. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu ftp ejde.math.txstate.edu CONSTRUCTION OF ALMOST PERIODIC FUNCTIONS WITH GIVEN PROPERTIES MICHAL VESELY´ Abstract. We define almost periodic functions with values in a pseudometric space X . We mention the Bohr and the Bochner definition of almost peri- odicity. We present one modifiable method for constructing almost periodic functions in X . Applying this method, we prove that in any neighbourhood of an almost periodic skew-Hermitian linear differential system there exists a system which does not possess a nontrivial almost periodic solution. 1. Introduction This paper is motivated by [35] where almost periodic sequences and linear dif- ference systems are considered. Here we will consider almost periodic functions and linear differential systems. Our aim is to show a way one can generate almost periodic functions with several prescribed properties. Since our process can be used for generalizations of classical (complex valued) almost periodic functions, we in- troduce the almost periodicity in pseudometric spaces and we present our method for almost periodic functions with values in a pseudometric space X . Note that we obtain the most important case if X is a Banach space, and that the theory of almost periodic functions of real variable with values in a Banach space, given by Bochner [3], is in its essential lines similar to the theory of classical almost periodic functions which is due to Bohr [4], [5]. We introduce almost periodic functions in pseudometric spaces using a trivial extension of the Bohr concept, where the modulus is replaced by the distance.
    [Show full text]
  • SALOMON BOCHNER August 20, 1899–May 2, 1982 by ANTHONY
    SALOMON BOCHNER August 20, 1899–May 2, 1982 BY ANTHONY W. KNAPP Salomon Bochner was a mathematician whose research profoundly influenced the development of a wide area of analysis in the last three quarters of the twentieth century. He contributed to the fields of almost periodic functions, classical Fourier analysis, complex analysis in one and several variables, differential geometry, Lie groups, probability, and history of science, among others. He did not often write long papers. Instead he would typically distill the essence of one or more topics he was studying, begin a paper with a treatment not far removed from axiomatics, show in a few strokes how some new theorem followed by making additional assumptions, and conclude with how that theorem simulta- neously unified and elucidated old results while producing new ones of considerable interest. Part of the power of his method was that he would weave together his different fields of interest, using each field to reinforce the others. The effect on the body of known mathematics was often to introduce a completely new point of view and inspire other mathematicians to follow new lines of investigation at which his work hinted. His early work on almost periodic functions on the line illustrates this ap- proach. Harald Bohr of Copenhagen, younger brother of Niels, had established himself as a notable mathematician by writing two papers1 in the Acta Mathemat- ica in 1924 and 1925, each about 100 pages long, introducing these functions and establishing basic theorems about them. The Acta at that time was the premier international journal in mathematics, and Bohr’s work was considered to be of top quality.
    [Show full text]
  • Almost-Periodic Single-Valued and Multivalued Functions
    APPENDIX 1 599 APPENDIX 1 ALMOST-PERIODIC SINGLE-VALUED AND MULTIVALUED FUNCTIONS In this supplement, the hierarchy of almost-periodic function spaces is mainly clarified. The various types of definitions of almost-periodic functions are examined and compared. Apart from the standard definitions, we also introduce new classes and comment some, less traditional, definitions, to make a picture as much as pos­ sible complete. All is related to possible applications to nonlinear almost-periodic oscillations. The material for this exposition is based on the papers [AndBeGr], [AndBeL]. In the theory of almost-periodic (a.p.) functions, there are used many various definitions, mostly related to the names of H. Bohr, S. Bochner, V. V. Stepanov, H. Weyland A. S. Besicovitch ([AP-M], [BH-M], [BJM-M], [Bes-M], [BeBo], [Bo­ M], [BF], [BPS-M], [Cor-M], [Fav-M], [GKL-M], [Lev-M], [LZ-M], [Muc], [NG-M], [Pn-M]). On the other hand, it is sometimes difficult to recognize whether these defi­ nitions are equivalent or if one follows from another. It is well-known that, for example, the definitions of uniformly a.p. (u.a.p. or Bohr-type a.p.) functions, done in terms of a relative density ofthe set of almost-periods (the Bohr-type criterion), a compactness of the set of translates (the Bochner-type criterion, sometimes called normality), the closure of the set of trigonometric polynomials in the sup-norm metric, are equivalent (see, for example, [Bes-M], [Cor-M]). The same is true for the Stepanov class of a.p. functions ([Bes-M], [BF], [GKL­ M], [Pn-M]), but if we would like to make some analogy for, e.g., the Besicovitch class of a.p.
    [Show full text]