View from the Pennines: Using Maths I, Tomography and Fritz John

Total Page:16

File Type:pdf, Size:1020Kb

View from the Pennines: Using Maths I, Tomography and Fritz John VIEW FROM THE PENNINES: USING MATHS I, TOMOGRAPHY AND FRITZ JOHN PAUL GLENDINNING There is one man in the village who is instantly recognisable at al- most any distance, even when in his jeep. The reason is simple: he is never seen without his hat. This hat is a leather, wide-brimmed cow- boy hat, and it is the hat, not the man, which makes the identi cation possible. Some people seem born to wear hats. I nd it hard to picture Humphrey Bogart without a trilby, JR without a stetson or Churchill without a bowler. The mass wearing of hats on a daily basis is a thing of the past, but some descriptions still evoke an image with a hat as a necessary accessory. Take the following for example ... he had the air of a southern gentleman, still extremely good-looking, cigarillo-smoking, marvelously kind, po- lite and modest. [4] To me, this passage suggests that a Panama hat would be almost de rigeur for the man described. That man is Fritz John. Born in Berlin, John went to school in Danzig (now in Poland) and moved to Gottingenas a young man to join the group of mathematicians around Courant. His doctoral thesis was examined in haste as he ed Germany in the wake of the Nazi rise to power which remains so painful and so immediate to those who experienced it even at a this distance of time, as the following quote from Hildebrandt [4] shows. By the end of April [1933], Richard Courant and Max Born were kicked out of their professorships. Hoards of Nazi students, led by the assistant Weber and the student Teichmuller,terrorized the mathematical insti- tute. The "half-Jew" Fritz John lost his scholarship; only "Aryans" were now eligible for stipends. At the last minute, by good luck and the help of several colleagues, Fritz John was able to receive his doctoral degree; he was examined and promoted by Franz Rellich, who was only 27 years old but, as a Privatdozent, had the right to give Date: August 22, 2006. 1 2 PAUL GLENDINNING examinations. [...] Ten days later he married Charlotte Woellmer, equally without money, and their situation became even more precarious since by this time mar- riages between Aryans and non-Aryans were ocially discouraged, though not yet forbidden by law. John went to Cambridge in 1934, and ended up in Kentucky until the war, eventually rejoining Courant in New York in 1946 where he went on to become a founder member of the institute which was to be the Courant Institute of Mathematical Sciences. Whilst in Kentucky John published a paper which has become one of the main sources for three dimensional tomography (the non-invasive determination of density or other structure obtained by attenuation of waves as they pass through the body) [5]. This paper was from material in his thesis, and built on results of Johann Radon (1917) [9], which provides the mathematics for two dimensional tomography [3]. He considered the problem of relating the integrals along lines (as a function of the line), i.e. the ordered pairs Z ¨ © L; f(x(s); y(s); z(s))ds j lines L in R3 (1) L to the function f. In tomography, which hadn't been dreamed of in 1938, f represents the density of an object, and the key question is how much information about f can be obtained from measurements which amount to the evaluation of these line integrals over a subset of all possible lines. The rst remark (cf. [3]) is that by choosing an appropriate parametrization such as choosing lines to be of the form (a1t + b1; a2t + b2; t) the integrals take the form Z 1 J(a1; a2; b1; b2) = f(a1t + b1; a2t + b2; t)dt (2) 1 and so there are naturally four parameters in the integral description of the problem. However the function f itself is a function of three variables, and so there must be some redundancy in the integral for- mulation of (2). There are thus two natural questions. First, indepen- dent of the tomography applications, what is the connection between J(a1; a2; b1; b2) for di erent parameters? Second, if a point source is moved on a curve C around a body, what properties must C have in order for the information obtained about line integrals via attenuation to be enough to uniquely determine f from J along this path? TOMOGRAPHY AND FRITZ JOHN 3 John [5] showed that the answer to the rst question is that the redundancy can be described by a partial di erential equation, the ul- trahyperbolic equation, which is a generalization of the wave equation: @2J @2J = (3) @a1@b2 @a2@b1 and conversely that every solution of this equation with appropriate boundary conditions provides a solution to the inverse problem [7]. Equation (3) is easy to derive formally for suciently smooth functions f since by the chain rule Z @J 1 = tfi(a1t + b1; a2t + b2; t)dt @ai 1 th where fi is the partial derivative of f with respect to its i argument. Hence Z @2J 1 = tf12(a1t + b1; a2t + b2; t)dt (4) @a1@b2 1 and (3) follows from a similar calculation for @2J and the symmetry @a2@b1 of second derivatives, f12 = f21. There are di erent philosophies as to how this result can be used, but rst consider the second problem, which is more rooted in the methodology of tomography. To some extent this question is the to- mographic equivalent of asking which subsets of (1) are large enough to specify f uniquely. A point source is moved around the continuous, almost everywhere di erentiable, closed curve C and the attenuation of the x-rays is measured, thus providing the integrals along all lines which intersect C. Kirillov [6] shows that if the object to be measured lies in a bounded region then this provides enough information to reconstitute f provided every plane containing a point in intersects C, and if at least one of these intersections is transversal for each such plane then an explicit inversion formula is available [10]. This is a suf- cient, but not a necessary condition for unique inversion, and other arrangements are possible [2]. Explicit algorithms using John's ultrahyperbolic equation in tomog- raphy are still under development. There are currently two approaches. Patch [8] solves John's equations to augment the set of lines on which information is known, and hence simplify the inversion formula. On the other hand Defrise et al [1] use (3) as a consistency condition that can be used to obtain rst order correction terms to their rebinning algorithm. Whichever approach turns out to be most helpful, it is un- deniable that a problem which Fritz John chose because of its elegance and intrinsic interest has had a major in uence on the development of 4 PAUL GLENDINNING an area of practical importance which simply did not exist at the time at which the work was done. This provides another example of the diculties that directed research in mathematics imposes on the com- munity: applications and their theory do not necessarily follow in that order, and the identi cation of theory which is likely to have unforeseen practical applications is necessarily impractical. This is not to deny the need for direct applications in many contexts, but to emphasize the im- portance and complexity of the interaction between the fundamental or core areas of mathematics and the application of mathematics. As Klainerman decribes John [7]: ... Though the deepest motivation of his work came from the physical world, his modus operandi was that of the "pure mathematician." His starting point would be a simple-to-state and intriguing mathematical question from which he would proceed with utmost care, using rigorous and elegant arguments, simpli ed model prob- lems, examples, and counterexamples. Some of the most important practical applications of his work, such as nonlinear programming or the Radon-John transform, came as an afterthought, a bonus, rather than from an original applied intention. He didn't much care about devisive labels such as "pure" and "applied". He was simply a mathematician in the exemplary tradition of men like Fermat, Newton, Euler, Lagrange, Gauss, Rie- mann, Poincare,Hilbert, and Weyl. And the potatoes [3]? The earlies were sublime: creamy and smooth. The lates are still being eaten. They taste like potatoes. That's the comforting thing: you know where you are with potatoes. Acknowledgements: I am grateful to Bill Lionheart for useful guid- ance on both this View from the Pennines and [3]. Readers may be interested to learn that Bill is another hat wearer. He can frequently be seen in a grey tweed trilby sporting a green feather. c Paul Glendinning (2006) References [1] M. Defrise, F. Noo and H. Kudo (2003) Improved two-dimensional rebinning of helical cone-beam computerized tomography data using John's equation, In- verse Problems 19 S41-S54. [2] D.V. Finch (1985) Cone beam reconstruction with sources on a curve, SIAM Journal of Applied Mathematics 45 665-673. TOMOGRAPHY AND FRITZ JOHN 5 [3] P. Glendinning (2006) View from the Pennines: Using mathematics I, tomog- raphy and Johann Radon, Mathematics Today, 42 132-134. [4] S. Hildebrandt (1998) Remarks on the Life and Work of Fritz John, Communi- cations on Pure and Applied Mathematics LI 971-989. [5] F. John (1938) The ultrahyperbolic equation with four independent variables Duke Mathematics Journal 4 300-322. [6] A.A. Kirillov (1961) On a problem of I.M. Gel'fand, Soviet Mathematics Doklady 2 268-269.
Loading...
Loading...
Loading...
Loading...
Loading...

—— Preview end. ——

Recommended publications
  • Classics in Mathematics Richard Courant· Fritz John Introduction To
    Classics in Mathematics Richard Courant· Fritz John Introduction to Calculus and Analysis Volume I Springer-V erlag Berlin Heidelberg GmbH Richard Courant • Fritz John Introd uction to Calculus and Analysis Volume I Reprint of the 1989 Edition Springer Originally published in 1965 by Interscience Publishers, a division of John Wiley and Sons, Inc. Reprinted in 1989 by Springer-Verlag New York, Inc. Mathematics Subject Classification (1991): 26-XX, 26-01 Cataloging in Publication Data applied for Die Deutsche Bibliothek - CIP-Einheitsaufnahme Courant, Richard: Introduction to calcu1us and analysis / Richard Courant; Fritz John.- Reprint of the 1989 ed.- Berlin; Heidelberg; New York; Barcelona; Hong Kong; London; Milan; Paris; Singapore; Tokyo: Springer (Classics in mathematics) VoL 1 (1999) ISBN 978-3-540-65058-4 ISBN 978-3-642-58604-0 (eBook) DOI 10.1007/978-3-642-58604-0 Photograph of Richard Courant from: C. Reid, Courant in Gottingen and New York. The Story of an Improbable Mathematician, Springer New York, 1976 Photograph of Fritz John by kind permission of The Courant Institute of Mathematical Sciences, New York ISSN 1431-0821 This work is subject to copyright. All rights are reserved. whether the whole or part of the material is concemed. specifically the rights of trans1ation. reprinting. reuse of illustrations. recitation. broadcasting. reproduction on microfilm or in any other way. and storage in data banks. Duplication of this publication or parts thereof is permitted onlyunder the provisions of the German Copyright Law of September 9.1965. in its current version. and permission for use must always be obtained from Springer-Verlag. Violations are Iiable for prosecution under the German Copyright Law.
    [Show full text]
  • Fritz John, 1910–1994 an Elegant Construction of the Fundamental Solution for Par- Fritz John Died in New Rochelle, NY, on February 10, 1994
    people.qxp 3/16/99 5:26 PM Page 255 Mathematics People Mathematics of the AMS and the Society for Industrial and Moser Receives Wolf Prize Applied Mathematics (1968), the Craig Watson Medal of Jürgen Moser of the Eidgenössische Technische Hochschule the U.S. National Academy of Sciences (1969), the John von in Zürich will receive the 1994–1995 Wolf Prize in Mathe- Neumann Lectureship of SIAM (1984), the L. E. J. Brouwer matics. The noted German mathematician will be honored Medal (1984), an Honorary Professorship at the Instituto with the $100,000 award by the Israel-based Wolf Foun- de Matematica Pura e Applicada (1989), and an honorary dation for his “fundamental work on stability in Hamil- doctorate from the University of Bochum (1990). Moser is tonian mechanics and his profound and influential con- a member of the U.S. National Academy of Sciences. tributions to nonlinear differential equations.” The 1994–1995 Wolf Prizes will be presented in March —from Wolf Foundation News Release by the president of Israel, Ezer Weizman, at the Knesset (Parliament) building in Jerusalem. A total of $600,000 will be awarded for outstanding achievements in the fields Aisenstadt Prizes Announced of agriculture, chemistry, physics, medicine, the arts, and mathematics. The Wolf Foundation was established by the The Centre de Recherches Mathématiques in Montreal has late Ricardo Wolf, an inventor, diplomat, and philanthropist. announced that the third and fourth André Aisenstadt Among Moser’s most important achievements is his Mathematics Prizes have been awarded to Nigel D. Hig- role in the development of KAM (Kolmogorov-Arnold- son of Pennsylvania State University and Michael J.
    [Show full text]
  • Arxiv:2105.10149V2 [Math.HO] 27 May 2021
    Extended English version of the paper / Versión extendida en inglés del artículo 1 La Gaceta de la RSME, Vol. 23 (2020), Núm. 2, Págs. 243–261 Remembering Louis Nirenberg and his mathematics Juan Luis Vázquez, Real Academia de Ciencias, Spain Abstract. The article is dedicated to recalling the life and mathematics of Louis Nirenberg, a distinguished Canadian mathematician who recently died in New York, where he lived. An emblematic figure of analysis and partial differential equations in the last century, he was awarded the Abel Prize in 2015. From his watchtower at the Courant Institute in New York, he was for many years a global teacher and master. He was a good friend of Spain. arXiv:2105.10149v2 [math.HO] 27 May 2021 One of the wonders of mathematics is you go somewhere in the world and you meet other mathematicians, and it is like one big family. This large family is a wonderful joy.1 1. Introduction This article is dedicated to remembering the life and work of the prestigious Canadian mathematician Louis Nirenberg, born in Hamilton, Ontario, in 1925, who died in New York on January 26, 2020, at the age of 94. Professor for much of his life at the mythical Courant Institute of New York University, he was considered one of the best mathematical analysts of the 20th century, a specialist in the analysis of partial differential equations (PDEs for short). 1From an interview with Louis Nirenberg appeared in Notices of the AMS, 2002, [43] 2 Louis Nirenberg When the news of his death was received, it was a very sad moment for many mathematicians, but it was also the opportunity of reviewing an exemplary life and underlining some of its landmarks.
    [Show full text]
  • Regularity of Free Boundaries in Obstacle-Type Problems
    Regularity of Free Boundaries in Obstacle-Type Problems Arshak Petrosyan Henrik Shahgholian Nina Uraltseva Graduate Studies in Mathematics Volume 136 American Mathematical Society Regularity of Free Boundaries in Obstacle-Type Problems http://dx.doi.org/10.1090/gsm/136 Regularity of Free Boundaries in Obstacle-Type Problems Arshak Petrosyan Henrik Shahgholian Nina Uraltseva Graduate Studies in Mathematics Volume 136 American Mathematical Society Providence, Rhode Island EDITORIAL COMMITTEE David Cox (Chair) Daniel S. Freed Rafe Mazzeo Gigliola Staffilani 2010 Mathematics Subject Classification. Primary 35R35. For additional information and updates on this book, visit www.ams.org/bookpages/gsm-136 Library of Congress Cataloging-in-Publication Data Petrosyan, Arshak, 1975– Regularity of free boundaries in obstacle-type problems / Arshak Petrosyan, Henrik Shahgho- lian, Nina Uraltseva. p. cm. — (Graduate studies in mathematics ; v. 136) Includes bibliographical references and index. ISBN 978-0-8218-8794-3 (alk. paper) 1. Boundaqry value problems. I. Shahgholian, Henrik, 1960– II. Uraltseva, N. N. (Nina Nikolaevna) III. Title. QA379.P486 2012 515.353—dc23 2012010200 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 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. Requests for such permission should be addressed to the Acquisitions Department, American Mathematical Society, 201 Charles Street, Providence, Rhode Island 02904-2294 USA.
    [Show full text]
  • A Mollifier Approach to Regularize a Cauchy Problem for The
    A mollifier approach to regularize a Cauchy problem for the inhomogeneous Helmholtz equation Pierre MARECHAL´ ,∗ Walter Cedric SIMO TAO LEE,† Faouzi TRIKI‡ May 7, 2021 Abstract The Cauchy problem for the inhomogeneous Helmholtz equation with non-uniform refraction index is considered. The ill-posedness of this problem is tackled by means of the variational form of mollification. This approach is proved to be consistent, and the proposed numerical simulations are quite promising. 1 Introduction Let V be a C3;1 bounded domain of R3 with boundary @V . For x0 @V , we denote by ν(x0) the unit normal vector to @V pointing outward V . Let Γ be a nonempty2 open subset of @V . We consider the Cauchy problem for the inhomogeneous Helmholtz equation ∆u(x) + k2η(x)u(x) = S(x); x V; (1) 0 0 0 2 @νu(x ) = f(x ); x Γ; (2) 2 u(x0) = g(x0); x0 Γ: (3) 2 1 arXiv:2105.02665v1 [math.AP] 6 May 2021 Here, u = u(x) is the unknown amplitude of the incident field, η L (Ω) is the refraction index, k is a positive wave number, S L2(Ω) is the source function,2 and f L2(Γ) and 2 2 ∗Institut de Math´ematiques universit´e Paul Sabatier, 31062 Toulouse, France. Email: pr.marechal@gmail.com †Institut de Math´ematiques universit´e Paul Sabatier, 31062 Toulouse, France. Email: wsimo- tao@gmail.com ‡Laboratoire Jean Kuntzmann, UMR CNRS 5224, Universit´eGrenoble-Alpes, 700 Avenue Centrale, 38401 Saint-Martin-d'H`eres,France. Email: faouzi.triki@univ-grenoble-alpes.fr.
    [Show full text]
  • NBS-INA-The Institute for Numerical Analysis
    t PUBUCATiONS fl^ United States Department of Commerce I I^^^V" I ^1 I National Institute of Standards and Tectinology NAT L INST. OF STAND 4 TECH R.I.C. A111D3 733115 NIST Special Publication 730 NBS-INA — The Institute for Numerical Analysis - UCLA 1947-1954 Magnus R, Hestenes and John Todd -QC- 100 .U57 #730 1991 C.2 i I NIST Special Publication 730 NBS-INA — The Institute for Numerical Analysis - UCLA 1947-1954 Magnus R. Hestenes John Todd Department of Mathematics Department of Mathematics University of California California Institute of Technology at Los Angeles Pasadena, CA 91109 Los Angeles, CA 90078 Sponsored in part by: The Mathematical Association of America 1529 Eighteenth Street, N.W. Washington, DC 20036 August 1991 U.S. Department of Commerce Robert A. Mosbacher, Secretary National Institute of Standards and Technology John W. Lyons, Director National Institute of Standards U.S. Government Printing Office For sale by the Superintendent and Technology Washington: 1991 of Documents Special Publication 730 U.S. Government Printing Office Natl. Inst. Stand. Technol. Washington, DC 20402 Spec. Publ. 730 182 pages (Aug. 1991) CODEN: NSPUE2 ABSTRACT This is a history of the Institute for Numerical Analysis (INA) with special emphasis on its research program during the period 1947 to 1956. The Institute for Numerical Analysis was located on the campus of the University of California, Los Angeles. It was a section of the National Applied Mathematics Laboratories, which formed the Applied Mathematics Division of the National Bureau of Standards (now the National Institute of Standards and Technology), under the U.S.
    [Show full text]
  • Sonya References
    A.V. “BAL” BALAKRISHNAN, Ph.D. PROFESSIONAL LIBRARY GIFTED BY HIS BELOVED WIFE, SOPHIA E. BALAKRISHNAN Balakrishnan, A. V. 2014. Aeroelasticity: The Continuum Theory. Softcover edition. New York: Springer. Balakrishhan, A. V. 2012. Aeroelasticity: The Continuum Theory. New York: Springer. Balakrishnan, A. V. 2005. Introduction to Random Processes in Engineering. Softcover edition. New York: Wiley Interscience. A John Wiley & Sons, Inc. Publication. Balakrishnan, A. V. 1995. Introduction to Random Processes in Engineering. New York: Wiley Interscience. A John Wiley & Sons, Inc. Publication. Balakrishnan, A. V. 2000. Semigroups of Operators: Theory and Applications. The Proceedings of the International Conference in Newport Beach, DeceMber 14-18, 1998. Progress in Nonlinear Differential Equations and Their Applications. VoluMe 42. Basel Boston Berlin: Birkhauser. Balakrishnan, A. V., and Butts, Russell, editors. 1994. The Proceedings of the NASA – UCLA Workshop on Laser Propagation in Atmospheric Turbulence. Los Angeles, California, February 1- 3, 1994. CoMCon Conferences Proceedings. New York Los Angeles: OptiMization Software, Inc., Publications Division. Balakrishnan, A. V. 1992. Analiza Funkcjonalna Stosowana. Matematyka dla Politechnik. Warszawa: Wydawnictwo Naukowe PWN. Polish edition of Applied Functional Analysis, second edition. Springer-Verlag. 1981. Balakrishnan, A. V., editor. 1990. The Proceedings of the NASA-UCLA Workshop on Computational Techniques in Identification and Control of Flexible Flight Structures. CoMCon Conferences Proceedings. Lake Arrowhead, California, NoveMber 2-4, 1989. New York Los Angeles: OptiMization Software, Inc., Publications Division. Balakrishnan, A. V. 1988, second revised and enlarged edition. State Space: Theory of Systems. An Introduction. New York: OptiMization Software, Inc., Publications Division. Balakrishnan, A. V., and Zolesio, J. P., editors. 1988. The Proceedings of the ComCon Workshop on Stabilization of Flexible Structures.
    [Show full text]
  • Remembering Klaus Peters
    Remembering Klaus Peters Sigurdur Helgason and Dana Scott, Alice Peters and David Mumford Sigurdur Helgason and Dana would need a full commitment where he would Scott have responsibility for all aspects of the pub- lishing process: acquisition, editing, production, Klaus Peters as Mathematical Publisher pricing, promotion, etc. He realized that in order to build a world-class program, he would have to This piece is a supplement to a biographical note internationalize and involve American mathemati- in the December 2014 issue of the Notices dealing cians. Richard Courant, who had maintained close with the highly respected publisher of scientific ties with Springer even through the war, was his books, Dr. Klaus Peters. Here we intend to describe initial contact. They immediately forged a great in more detail his remarkable career as a publisher relationship, and Courant introduced Klaus to the of mathematical books. whole New York University/New Rochelle group, After his doctorate in complex analysis in 1962 including Jürgen Moser, Fritz John, Kurt Friedrichs, from the University of Erlangen, Klaus served Peter Lax, Cathleen Morawetz, among others, all as assistant professor at Erlangen for two years. of whom became trusted authors and advisors Then he was invited by Springer Verlag to be its and also close personal friends. He also had close first in-house mathematics editor. That same year contact with Peter Hilton and Paul Halmos, both Springer opened its American office in New York. In already editors of Ergebnisse der Mathematik. The 1972 Klaus was named one of Springer’s directors, connection with both Peter and Paul went beyond and he hired Alice Merker, who had earned degrees a professional relation, and Klaus considered both from Rochester and Chicago, to be a mathematics among his real friends.
    [Show full text]
  • 75 Years the Courant Institute of Mathematical Sciences at New York University
    Celebrating 75 Years The Courant Institute of Mathematical Sciences at New York University Professor Louis Nirenberg, Deserving Winner of the First Chern Medal by M.L. Ball Fall / Winter 2010 8, No. 1 Volume Photo: Dan Creighton In this Issue: Leslie Greengard, Louis Nirenberg, Peter Lax, and Fang Hua Lin at a special celebration on October 25th. The Chern Medal, awarded every four years at the Interna- stated that “Nirenberg is one of the outstanding analysts and Professor Louis Nirenberg tional Congress of Mathematicians, is given to “an individual geometers of the 20th century, and his work has had a major Wins First Chern Medal 1–2 whose accomplishments warrant the highest level of recognition influence in the development of several areas of mathematics Research Highlights: for outstanding achievements in the field of mathematics.” 1 and their applications.” Denis Zorin 3 How marvelously fitting that Louis Nirenberg, a Professor When describing how it felt to receive this great honor, In Memoriam: Emeritus of the Courant Institute, would be the Medal’s first Nirenberg commented, “I don’t think of myself as one of the Paul Garabedian 4 recipient. top mathematicians, but I’m very touched that people say that. Alumna Christina Sormani 5–6 I was of course delighted – actually doubly delighted because Awarded jointly by the International Mathematical Union Chern was an old friend for many years, so it was a particular Alumni Spotlight: (IMU) and the Chern Medal Foundation, the Chern Medal pleasure for me. Most of his career was at Berkeley and I Anil Singh 6 was created in memory of the brilliant Chinese mathematician, spent a number of summers there.” Puzzle: Clever Danes 7 Shiing-Shen Chern.
    [Show full text]
  • Effective Models for Long Time Wave Propagation in Locally Periodic Media
    MATHICSE Institute of Mathematics School of Basic Sciences MATHICSE Technical Report Nr. 15.2017 July 2017 Effective models for long time wave propagation in locally periodic media Assyr Abdulle, Timothé e Pouchon http://mathicse.epfl.ch Address: EPFL - SB – INSTITUTE of MATHEMATICS – Mathicse (Bâtiment MA) Station 8 - CH-1015 - Lausanne - Switzerland EFFECTIVE MODELS FOR LONG TIME WAVE PROPAGATION IN LOCALLY PERIODIC MEDIA ASSYR ABDULLE∗‡ AND TIMOTHEE´ POUCHON†‡ Abstract. A family of effective equations for the wave equation in locally periodic media over long time is derived. In particular, explicit formulas for the effective tensors are provided. To validate the derivation, an a priori error estimate between the effective solutions and the original wave is proved. As the dependence of the estimate on the domain is explicit, the result holds in arbitrarily large periodic hypercube. This constitutes the first analysis for the description of long time effects for the wave equation in locally periodic media. Thanks to this result, the long time a priori error analysis of the numerical homogenization method presented in [A. Abdulle and T. Pouchon, SIAM J. Numer. Anal., 54, 2016, pp. 1507–1534] is generalized to the case of a locally periodic tensor. Key words. homogenization, effective equations, wave equation, heterogeneous media, long time behavior, dispersive waves, a priori error analysis, multiscale method AMS subject classifications. 35B27, 74Q10, 74Q15, 35L05, (65M60, 65N30) 1. Introduction. The wave equation in heterogeneous media is used to model diverse multiscale appli- cations in engineering such as seismic inversion, medical imaging or the manufacture of composite materials. In such situations, the medium is described by a tensor aε, where ε> 0 denotes the characteristic length of the spatial variation of aε and is assumed to be much smaller than the wavelength of the initial data and the source term (ε ≪ 1).
    [Show full text]
  • Löwner–John Ellipsoids
    Documenta Math. 95 Lowner–John¨ Ellipsoids Martin Henk 2010 Mathematics Subject Classification: 52XX, 90CXX Keywords and Phrases: L¨owner-John ellipsoids, volume, ellipsoid method, (reverse) isoperimetric inequality, Kalai’s 3n-conjecture, norm approximation, non-negative homogeneous polynomials 1 The men behind the ellipsoids Before giving the mathematical description of the L¨owner–John ellipsoids and pointing out some of their far-ranging applications, I briefly illuminate the adventurous life of the two eminent mathematicians, by whom the ellipsoids are named: Charles Loewner (Karel L¨owner) and Fritz John. Karel L¨owner (see Figure 1) was born into a Jewish family in L´any, a small town about 30 km west of Prague, in 1893. Due to his father’s liking for German Figure 1: Charles Loewner in 1963 (Source: Wikimedia Commons) Documenta Mathematica Extra Volume ISMP (2012) 95–106 · 96 Martin Henk style education, Karel attended a German Gymnasium in Prague and in 1912 he began his studies at German Charles-Ferdinand University in Prague, where he not only studied mathematics, but also physics, astronomy, chemistry and meteorology. He made his Ph.D. in 1917 under supervision of Georg Pick on a distortion theorem for a class of holomorphic functions. In 1922 he moved to the University of Berlin, where he made his Habil- itation in 1923 on the solution of a special case of the famous Bieberbach conjecture. In 1928 he was appointed as non-permanent extraordinary profes- sor at Cologne, and in 1930 he moved back to Prague where he became first an extraordinary professor and then a full professor at the German University in Prague in 1934.
    [Show full text]
  • Interview with Louis Nirenberg
    Interview with Louis Nirenberg Early Experiences Louis Nirenberg is one of the outstanding analysts of the twentieth century. He has made Notices: What were fundamental contributions to the understand- your early experiences ing of linear and nonlinear partial differential with mathematics? equations and their application to complex Nirenberg: I always analysis and geometry. liked mathematics in He was born on February 28, 1925, in Hamil- school. My father was a ton, Ontario, Canada. After receiving his bach- Hebrew teacher, and he elor’s degree from McGill University in 1945, he wanted me to learn He- went to New York University as a graduate stu- brew. But I foolishly re- dent, obtaining his M.S. in 1947 and his Ph.D. sisted. I went to He- in 1949, under the direction of James Stoker. brew school for a Nirenberg then joined the faculty of NYU and while, and that didn’t was an original member of the Courant Institute take, and he tried to of Mathematical Sciences. After spending his give me lessons, but entire academic career at Courant, he retired in that didn’t take either. 1999. Then a friend of his Nirenberg received the AMS Bôcher Prize in gave me private lessons, and that man 1959 for his work on partial differential equa- Louis Nirenberg tions. In 1982 he was the first recipient in math- liked mathematical ematics of the Crafoord Prize, established by the puzzles. So half of the Royal Swedish Academy of Sciences in areas not so-called Hebrew lessons were spent on mathe- covered by the Nobel Prizes.
    [Show full text]