PRINCIPLES of APPLIED MATHEMATICS Transformation and Approximation Revised Edition

Total Page:16

File Type:pdf, Size:1020Kb

PRINCIPLES of APPLIED MATHEMATICS Transformation and Approximation Revised Edition PRINCIPLES OF To Kristine, Sammy, and Justin, APPLIED Still my best friends after all these years. MATHEMATICS Transformation and Approximation Revised Edition JAMES P. KEENER University of Utah Salt Lake City, Utah ADVANCED BOOK PROGRAM I ewI I I ~ Member of the Perseus Books Group Contents Preface to First Edition xi Preface to Second Edition xvii 1 Finite Dimensional Vector Spaces 1 1.1 Linear Vector Spaces ....... 1 1.2 Spectral Theory for Matrices . 9 1.3 Geometrical Significance of Eigenvalues 17 1.4 Fredholm Alternative Theorem . 24 1.5 Least Squares Solutions-Pseudo Inverses . 25 1.5.1 The Problem of Procrustes .... 41 Many of the designations used by manufacturers and sellers to distinguish their 42 products are claimed as trademarks. Where those designations appear in this 1.6 Applications of Eigenvalues and Eigenfunctions book and Westview Press was aware of a trademark claim, the designations have 1.6.1 Exponentiation of Matrices . 42 been printed in initial capital letters. 1.6.2 The Power Method and Positive Matrices 43 45 Library of Congress Catalog Card Number: 99-067545 1.6.3 Iteration Methods Further Reading . 47 ISBN: 0-7382-0129-4 Problems for Chapter 1 49 Copyright© 2000 by James P. Keener 2 Function Spaces 59 Westview Press books are available at special discounts for bulk purchases in the 2.1 Complete Vector Spaces .... 59 U.S. by corporations, institutions, and other organizations. For more informa­ 2.1.1 Sobolev Spaces ..... 65 tion, please contact the Special Markets Department at the Perseus Books Group, 2.2 Approximation in Hilbert Spaces 67 11 Cambridge Center, Cambridge, MA 02142, or call (617) 252-5298. 2.2.1 Fourier Series and Completeness 67 All rights reserved. No part of this publication may be reproduced, stored in a 2.2.2 Orthogonal Polynomials . 69 retrieval system, or transmitted, in any form or by any means, electric, mechani­ 2.2.3 Trigonometric Series . 73 cal, photocopying, recording, or otherwise, without the prior written permission 76 of the publisher. Printed in the United States of America. 2.2.4 Discrete Fourier Transforms . 2.2.5 Sine Functions 78 Westview Press is a member of the Perseus Books Group 2.2.6 Wavelets .... 79 2.2. 7 Finite Elements . 88 First printing, December 1999 Further Reading . 92 Problems for Chapter 2 . 93 Find us on the World Wide Web at http:/ /www.westviewpress.com v CONTENTS vii vi CONTENTS 3 Integral Equations 101 6 Complex Variable Theory 209 3.1 Introduction .............................. 101 6.1 Complex Valued Functions ..................... 209 3.2 Bounded Linear Operators in Hilbert Space . 105 6.2 The Calculus of Complex Functions . 214 3.3 Compact Operators ......................... 111 6.2.1 Differentiation-Analytic Functions ............. 214 3.4 Spectral Theory for Compact Operators .............. 114 6.2.2 Integration . 217 ? 3.5 Resolvent and Pseudo-Resolvent Kernels . 118 6.2.3 Cauchy Integral Formula . 220 3.6 Approximate Solutions . 121 6.2.4 Taylor and Laurent Series . 224 3. 7 Singular Integral Equations . 125 6.3 Fluid Flow and Conformal Mappings . 228 I~ Further R.eading . 127 6.3.1 Laplace's Equation . 228 Problems for Chapter 3 . · . 128 I 6.3.2 Conformal Mappings . 236 6.3.3 Free Boundary Problems . 243 4 Differential Operators 133 6.4 Contour Integration . 248 I 6.5 Special Functions . 259 4.1 Distributions and the Delta Function . 133 I 4.2 Green's Functions ......................... 144 ii! 6.5.1 The Gamma Function . 259 4.3 Differential Operators . 151 I 6.5.2 Bessel Functions . 262 4.3.1 Domain of an Operator . 151 " 6.5.3 Legendre Functions . 268 4.3.2 Adjoint of an Operator .................. 152 6.5.4 Sine Functions . 270 4.3.3 Inhomogeneous Boundary Data . 154 I Further Reading . 273 J Problems for Chapter 6 . ~ . 27 4 4.3.4 The Fredholm Alternative . 155 ~ 4.4 Least Squares Solutions . ~ 157 7 Transform and Spectral Theory 283 4.5 Eigenfunction Expansions . -~i 161 7.1 Spectrum of an Operator ...................... 283 4.5.1 'Irigonometric Functions . 164 I 7.2 Fourier Transforms ........ , ................. 284 4.5.2 Orthogonal Polynomials . 167 ~ 7.2.1 Transform Pairs .................... , .. 284 4.5.3 Special Functions . ~ 169 § 7.2.2 Completeness of Hermite and Laguerre Polynomials ... 297 4.5.4 Discretized Operators . 169 7.2.3 Sine Functions ........................ 299 Further R.eading . · · · · · · · · · · · · · 171 I Problems for Chapter 4 . 171 s" 7.2.4 Windowed Fourier Transforms ............... 300 I 7.2.5 Wavelets . 301 5 Calculus of V~iations 177 7.3 Related Integral Transforms ..................... 307 i 7.3.1 Laplace Transform ...................... 307 5.1 The Euler-Lagrange Equations ................... 177 ~ 5.1.1 Constrained Problems .................... 180 • 7.3.2 Mellin Transform ....................... 308 5.1.2 Several Unknown Functions . 181 I 7.3.3 Hankel Transform ...................... 309 5.1.3 Higher Order Derivatives . 184 I 7.4 Z Transforms ............................. 310 li 7.5 Scattering Theory .......................... 312 5.1.4 Variable Endpoints ...................... 184 ~ 5.1.5 Several Independent Variables . 185 7.5.1 Scattering Examples ..................... 318 5.2 Hamilton's Principle ......................... 186 7.5.2 Spectral Representations ................... 325 5.2.1 The Swinging Pendulum . 188 Further Reading . 327 I Problems for Chapter 7 . , . 328 5.2.2 The Vibrating String . 189 I 5.2.3 The Vibrating Rod . 189 ! Appendix: Fourier Transform Pairs . 335 5.2.4 Nonlinear Deformations of a Thin Beam . 193 i J 8 Partial Differential Equations 337 5.2.5 A Vibrating Membrane . 194 iii 5.3 Approximate Methods ........................ 195 ~ 8.1 Poisson's Equation .......................... 339 5.4 Eigenvalue Problems . 198 8.1.1 Fundamental Solutions .................... 339 5.4.1 Optimal Design of Structures . 201 8.1.2 The Method of Images .................... 343 Further R.eading . .. 202 8.1.3 Transform Methods . 344 Problems for Chapter 5 . 203 8.1.4 Hilbert Transforms ...................... 355 viii CONTENTS CONTENTS ix 8.1.5 Boundary Integral Equations ................ 357 Problems for Chapter 11 . 498 8.1.6 Eigenfunctions . 359 8.2 The Wave Equation . 365 12 Singular Perturbation Theory 505 8.2.1 Derivations .......................... 365 12.1 Initial Value Problems I . 505 8.2.2 Fundamental Solutions . 368 12.1.1 Van der Pol Equation .................... 508 8.2.3 Vibrations . 373 12.1.2 Adiabatic lnvariance . 510 8.2.4 Diffraction Patterns . 376 12.1.3 Averaging . , . 511 8.3 The a:eat Equation . 380 12.1.4 Homogenization Theory ....... , ........... 514 8.3.1 Derivations .......................... 380 12.2 Initial Value Problems II . , . 520 8.3.2 Fundamental Solutions . 383 12.2.1 Operational Amplifiers . 521 8.3.3 Transform Methods . 385 12.2.2 Enzyme Kinetics . 523 8.4 Differential-Difference Equations .................. 390 12.2.3 Slow Selection in Population Genetics . 526 8.4.1 Transform Methods ..................... 392 .~ 12.3 Boundary Value Problems . 528 8.4.2 Numerical Methods . 395 12.3.1 Matched Asymptotic Expansions . 528 I 12.3.2 Flame Fronts . 539 Further Reading . 400 ~ Problems for Chapter 8 . 402 12.3.3 Relaxation Dynamics . 542 12.3.4 Exponentially Slow Motion . 548 9 Inverse Scattering Transform 411 I Further Reading .............................. 551 9.1 Inverse Scattering .......................... 411 Problems for Chapter 12 . 552 9.2 Isospectral Flows . 417 i i Bibliography 559 9.3 Korteweg-deVries Equation ..................... 421 ~ ~ 9.4 The Toda Lattice . 426 I Selected Hints and Solutions 567 Further Reading . 432 I Problems for Chapter 9 . 433 Index 596 10 Asymptotic Expansions 437 ~ 10.1 Definitions and Properties ..................... 437 I 10.2 Integration by Parts ......................... 440 I 10.3 Laplace's Method . 442 10.4 Method of Steepest Descents . ; 449 I 10.5 Method of Stationary Phase . 456 Further Reading . ~ . 463 'I Problems for Chapter 10 . 463 11 Regular Perturbation Theory 469 ! 11.1 The Implicit Function Theorem .................. 469 I 11.2 Perturbation of Eigenvalues ..................... 475 * 11.3 Nonlinear Eigenvalue Problems ................... 478 I 11.3.1 Lyapunov-Schmidt Method ................. 482 I 11.4 Oscillations and Periodic Solutions ................. 482 ~ 11.4.1 Advance of the Perihelion of Mercury . 483 11.4.2 Vander Pol Oscillator .................... 485 11.4.3 Knotted Vortex Filaments .................. 488 11.4.4 The Melnikov Function . 493 11.5 Hopf Bifurcations ...... _. .................... 494 Further Reading . 496 Preface to First Edition Applied mathematics should read like good mystery, with an intriguing begin­ ning, a clever but systematic middle, and a satisfying resolution at the end. Often, however, the resolution of one mystery opens up a whole new problem, and the process starts all over. For the applied mathematical scientist, there is the goal to explain or predict the behavior of some physical situation. One begins by constructing a mathematical model which captures the essential fea­ tures of the problem without masking its content with overwhelming detail. Then comes the analysis of the model where every possible tool is tried, and some new tools developed, in order to understand the behavior of the model as thoroughly as possible. Finally, one must interpret and compare these results with real world facts. Sometimes this comparison is quite satisfactory, but most often one discovers that important features of the problem are not adequately 1 accounted for, and the process begins again. 1 Although every problem has its own distinctive features, through the years it has become apparent that there are a group of tools that are essential to the analysis of problems in many disciplines. This book is about those tools. But more than being just a grab bag of tools and techniques, the purpose of this book is to show that there is a systematic, even esthetic, explanation of how ~ I-?£ these classical tools work and fit together as a unit. Much of applied mathematical analysis can be summarized by the observa­ tion that we continually attempt to reduce our problems to ones that we already I know how to solve.
Recommended publications
  • Vector-Valued Holomorphic Functions
    Appendix A Vector-valued Holomorphic Functions Let X be a Banach space and let Ω ⊂ C be an open set. A function f :Ω→ X is holomorphic if f(z0 + h) − f(z0) f (z0) := lim (A.1) h→0 h h∈C\{0} exists for all z0 ∈ Ω. If f is holomorphic, then f is continuous and weakly holomorphic (i.e. x∗ ◦ f ∗ ∗ is holomorphic for all x ∈ X ). If Γ := {γ(t):t ∈ [a,b]} is a finite, piecewise smooth contour in Ω, we can form the contour integral f(z) dz. This coincides Γ b with the Bochner integral a f(γ(t))γ (t) dt (see Section 1.1). Similarly we can define integrals over infinite contours when the corresponding Bochner integral is absolutely convergent. Since 1 2 f(z) dz, x∗ = f(z),x∗ dz, Γ Γ many properties of holomorphic functions and contour integrals may be extended from the scalar to the vector-valued case, by applying the Hahn-Banach theorem. For example, Cauchy’s theorem is valid, and also Cauchy’s integral formula: 1 f(z) f(w)= dz (A.2) − 2πi |z−z0|=r z w whenever f is holomorphic in Ω, the closed ball B(z0,r) is contained in Ω and w ∈ B(z0,r). As in the scalar case one deduces Taylor’s theorem from this. Proposition A.1. Let f :Ω→ X be holomorphic, where Ω ⊂ C is open. Let z0 ∈ Ω,r>0 such that B(z0,r) ⊂ Ω.Then W. Arendt et al., Vector-valued Laplace Transforms and Cauchy Problems: Second Edition, 461 Monographs in Mathematics 96, DOI 10.1007/978-3-0348-0087-7, © Springer Basel AG 2011 462 A.
    [Show full text]
  • Polynomial Stability of Operator Semigroups
    POLYNOMIAL STABILITY OF OPERATOR SEMIGROUPS ANDRAS´ BATKAI,´ KLAUS-JOCHEN ENGEL, JAN PRUSS,¨ AND ROLAND SCHNAUBELT Abstract. We investigate polynomial decay of classical solutions of linear evolution equations. For bounded C0{semigroups on a Banach space this property is closely re- lated to polynomial growth estimates of the resolvent of the generator. For systems of commuting normal operators polynomial decay is characterized in terms of the location of the generator spectrum. The results are applied to systems of coupled wave-type equations. 1. Introduction The asymptotic theory of operator semigroups provides powerful tools for the investi- gation of the (exponential) convergence to 0 of mild and classical solutions of the linear Cauchy problem (1.1) u0(t) + Au(t) = 0; t ≥ 0; u(0) = x; where −A generates the strongly continuous operator semigroup (T (t))t≥0 on a Banach space X. In Section 2 we briefly review these results in order to provide the background for our paper. However, weakly damped systems of linear wave equations can exhibit a type of be- haviour not satisfactorily covered by semigroup theory so far: Classical solutions of (1.1) may converge to 0 polynomially, but not exponentially. Formulated in the framework of the evolution equation (1.1), certain systems lead to decay estimates of the form (1.2) kT (t)xk ≤ Ct−βkAαxk; x 2 D(Aα); t > 0; for some constants α; β > 0. Such results were obtained in the recent papers [1], [2], [10], [15]; see also the references therein. These authors used energy type estimates which are more or less closely related to the specific problem posed on a Hilbert space.
    [Show full text]
  • From Generalized Fourier Transforms to Coupled Supersymmetry
    FROM GENERALIZED FOURIER TRANSFORMS TO COUPLED SUPERSYMMETRY A Dissertation Presented to the Faculty of the Department of Mathematics University of Houston In Partial Fulfillment of the Requirements for the Degree Doctor of Philosophy By Cameron Louis Williams May 2017 FROM GENERALIZED FOURIER TRANSFORMS TO COUPLED SUPERSYMMETRY Cameron Louis Williams Approved: Dr. Bernhard G. Bodmann, Chairman Committee Members: Dr. Donald J. Kouri, Co-Chairman Dr. Mehrdad Kalantar Dr. Demetrio Labate Dr. John R. Klauder Department of Physics, University of Florida Dean, College of Natural Sciences and Mathematics ii Acknowledgements I would like to first thank my doctoral advisors Professors Donald Kouri and Bernhard Bodmann. I have had the opportunity to work with them for eight years. I started working under their tutelage as an undergraduate in mathematics at the University of Houston. During my undergraduate career, we pursued many different topics, each of which has been very rewarding and heavily impacted this thesis. The work in this thesis began the summer before my senior year and continued while I was pursuing my master's at the University of Waterloo. I returned to the University of Houston for my doctorate to finish the work we began during my undergraduate studies. It has since flourished in ways none of us had ever expected or even dreamed, due in no small part to Professors Kouri and Bodmann. I would not have been able to achieve this doctorate without their mentoring. I would like to thank my committee members Professors Mehrdad Kalantar and Demetrio Labate from the University of Houston and Professor John Klauder from the University of Florida for their helpful comments and corrections to this thesis.
    [Show full text]
  • Recent Developments in Some Non-Self-Adjoint Problems of Mathematical Physics
    RECENT DEVELOPMENTS IN SOME NON-SELF-ADJOINT PROBLEMS OF MATHEMATICAL PHYSICS C. L. DOLPH 1. Introduction. In view of the fact that a relatively small per­ centage of the membership of the American Mathematical Society have an opportunity to become acquainted with or follow the ever increasing activity in the fields of applied and immediately applicable mathematics, it is perhaps useful to attempt an assessment of recent trends in the areas with which I have some familiarity, namely in the field of diffraction and scattering theory and that part of transport theory where similar techniques are employed. While one would need the prescience of a Hubert to adequately carry out even this limited program, it is possible to pick out a few concepts and techniques which underlie many of the recent developments. The areas under consideration received a tremendous impetus as a result of the radar development of the last war and more recently as a result of reactor theory and the attempts to achieve controlled fusion. In many instances, it was the physicists and not the mathematicians who led the way to new methods which in some cases are only for­ mally understood mathematically to this day even though they may have been widely applied with frequent success. This area is also char­ acterized by the fact that the tools necessary to establish recent re­ sults have frequently been available for many years. This does not detract from the achievement of the authors who found this kind of result but once again illustrates the healthy influence physical prob­ lems can have on the development of mathematics and the dangers inherent when the two get too widely divorced.
    [Show full text]
  • D. Van Nostrand Company, Inc. Toronto New York London New York
    Introduction to Abstract Harmonic Analysis by LYNN H. LOOMIS Associate Professor of Mathematics Harvard University 1953 D. VAN NOSTRAND COMPANY, INC. TORONTO NEW YORK LONDON NEW YORK D. Van Nostrand Company, Inc., 250 Fourth Avenue, New York 3 TORONTO D. Van Nostrand Company (Canada), Ltd., 25 Hollinger Rd., Toronto LONDON Macmillan & Company, Ltd., St. Martin's Street, London, W.C. 2 COPYRIGHT, 1953, BV D. VAN NOSTRAND COMPANY, INC. Published simultaneously in Canada by D. VAN NOSTRAND COMPANY (Canada), LTD. All Rights Reserved This book, or any parts thereof, may not be reproduced in any form without written per- mission from the author and the publisher. Library of Congress Catalogue Card No. 53-5459 PRINTED IN THE UNITED STATES OF AMERICA PREFACE This book is an outcome of a course given at Harvard first by G. W. Mackey and later by the author. The original course was modeled on Weil's book [48] and covered essentially the material of that book with modifications. As Gelfand's theory of Banach algebras and its applicability to harmonic analysis on groups became better k lown, the methods and content of the course in- evitably shifted in this direction, and the present volume concerns itself almost exclusively with this point of view. Thus our devel- opment of the subject centers around Chapters IV and V, in which the elementary theory of Banach algebras is worked out, and groups are relegated to the supporting role of being the prin- cipal application. A typical result of this shift in emphasis and method is our treatment of the Plancherel theorem.
    [Show full text]
  • A Short History of Operator Theory
    7/17/12 History of Operator Theory A Short History of Operator Theory by Evans M. Harrell II © 2004. Unrestricted use is permitted, with proper attribution, for noncommercial purposes. In the first textbook on operator theory, Théorie des Opérations Linéaires, published in Warsaw 1932, Stefan Banach states that the subject of the book is the study of functions on spaces of infinite dimension, especially those he coyly refers to as spaces of type B, otherwise Banach spaces (definition). This was a good description for Banach, but tastes vary. I propose rather the "operational" definition that operators act like matrices. And what that means depends on who you are. If you are an engineering student, matrices are particular symbols you manipulate to solve linear systems. As a working engineer you may instead use Heaviside's operational calculus, in which you are permitted to do all sorts of dangerous manipulations of symbols for derivatives and what not, exactly as if they were matrices, in order to solve linear problems of applied analysis. About 90% of the time you will get the right answer, just like the student; somewhat more with experience. And that is good enough, if the bridges you build aren't where I drive. In mathematics the student of elementary analysis learns that matrices are linear functions relating finite- dimensional vector spaces, and conversely. As a working mathematician the analyst has lost all fear of minor matters like infinity, and will happy agree with Banach's definition. For the students of algebra, matrices are fun objects that can be added and multiplied, usually in flagrant disregard for the law (of commutativity).
    [Show full text]
  • Extensions of Positive Definite Functions
    Palle Jorgensen, Steen Pedersen, Feng Tian Extensions of Positive Definite Functions: Applications and Their Harmonic Analysis July 10, 2015 arXiv:1507.02547v1 [math.FA] 9 Jul 2015 Springer 2 Palle E.T. Jorgensen Department of Mathematics The University of Iowa Iowa City, IA 52242-1419, U.S.A. Email address: [email protected] URL: http://www.math.uiowa.edu/~jorgen/ Steen Pedersen Department of Mathematics Wright State University Dayton, OH 45435, U.S.A. E-mail address: [email protected], [email protected] URL: http://www.wright.edu/~steen.pedersen/ Feng Tian Department of Mathematics Trine University One University Avenue, Angola, IN 46703, U.S.A. E-mail address: [email protected], [email protected] 3 Dedicated to the memory of William B. Arveson1 (22 November 1934 – 15 November 2011) Edward Nelson2 (May 4, 1932 – September 10, 2014) 1 William Arveson (1934 – 2011) worked in operator algebras and harmonic analysis, and his re- sults have been influential in our thinking, and in our approach to the particular extension questions we consider here. In fact, Arveson’s deep and pioneering work on completely positive maps may be thought of as a non-commutative variant of our present extension questions. We have chosen to give our results in the commutative setting, but readers with interests in non-commutative analysis will be able to make the connections. While the non-commutative theory was initially motivated by the more classical commutative theory, the tools involved are different, and there are not always direct links between theorems in one area and the other.
    [Show full text]
  • View This Volume's Front and Back Matter
    http://dx.doi.org/10.1090/gsm/015 Selected Titles in This Series 15 Richard V. Kadison and John R. Ringrose, Fundamentals of the theory of operator algebras. Volume I: Elementary theory. 1997 14 Elliott H. Lieb and Michael Loss, Analysis. 1997 13 Paul C. Shields, The ergodic theory of discrete sample paths, 1996 12 N. V. Krylov, Lectures on elliptic and parabolic equations in Holder spaces, 1996 11 Jacques Dixmier, Enveloping algebras, 1996 Printing 10 Barry Simon, Representations of finite and compact groups, 1996 9 Dino Lorenzini, An invitation to arithmetic geometry, 1996 8 Winfried Just and Martin Weese, Discovering modern set theory. I: The basics, 1996 7 Gerald J. Janusz, Algebraic number fields, second edition, 1996 6 Jens Carsten Jantzen, Lectures on quantum groups, 1996 5 Rick Miranda, Algebraic curves and Riemann surfaces, 1995 4 Russell A. Gordon, The integrals of Lebesgue, Denjoy, Perron, and Henstock, 1994 3 William W. Adams and Philippe Loustaunau, An introduction to Grobner bases, 1994 2 Jack Graver, Brigitte Servatius, and Herman Servatius, Combinatorial rigidity, 1993 1 Ethan Akin, The general topology of dynamical systems, 1993 This page intentionally left blank Fundamental s of the Theor y of Operato r Algebra s Volume I: Elementary Theory Richard V. Kadison John R. Ringrose Graduate Studies in Mathematics Volume 15 |f American Mathematical Society Editorial Board James E. Humphreys(Chair) David J. Saltman David Sattinger Julius L. Shaneson Originally published by Academic Press, San Diego, California, © 1983 2000 Mathematics Subject Classification. Primary 46Lxx; Secondary 46-02, 47-01. Library of Congress Cataloging-in-Publication Data Kadison, Richard V., 1925- Fundamentals of the theory of operator algebras / Richard V.
    [Show full text]
  • Notes on Banach Algebras and Functional Calculus∗
    Notes on Banach Algebras and Functional Calculus∗ April 23, 2014 1 The Gelfand-Naimark theorem (proved on Feb 7) Theorem 1. If A is a commutative C∗-algebra and M is the maximal ideal space, of A then the Gelfand map Γ is a ∗-isometric isomorphism of A onto C(M). ∗ Corollary 1. If A is a C -algebra and A1 is the self-adjoint subalgebra generated by T 2 A, then σA(T ) = σA1 (T ). Proof. Evidently, σA(T ) ⊂ σA1 (T ). Let λ 2 σA1 . Working with T − λ instead of T we can assume that λ = 0. By the Gelfand theorem, T is invertible in ∗ ∗ σA1 iff Γ(T ) is invertible in C(M). Note that T T and TT are self-adjoint and if the result holds for self-adjoint elements, then it holds for all elements. ∗ −1 ∗ ∗ −1 ∗ ∗ Indeed (T T ) T T = I ) (T T ) T is a left inverse of T etc. Now AA, the C∗ sub-algebra generated by A = T ∗T is commutative and Theorem 1 applies. 2 ∗ ∗ Since kT k = kT T j 6= 0 unless T = 0, a trivial case, kak1 = kT T k > 0 where a = ΓA. Let MA be the maximal ideal space for A. If A is not invertible, by Gelfand's theorem, a(m) = 0 for some m 2 MA, and for any ", there is a neighborhood of m s.t. ja(m)j < "=4. We take " < kak and note that the set S = fx 2 MA : ja(x) 2 ("=3; "=2) is open and disjoint from M1.
    [Show full text]
  • History of Operator Theory
    A Short History of Operator Theory by Evans M. Harrell II © 2004. Unrestricted use is permitted, with proper attribution, for noncommercial purposes. In the first textbook on operator theory, Théorie des Opérations Linéaires, published in Warsaw 1932, Stefan Banach states that the subject of the book is the study of functions on spaces of infinite dimension, especially those he coyly refers to as spaces of type B, otherwise Banach spaces (definition). This was a good description for Banach, but tastes vary. I propose rather the "operational" definition that operators act like matrices. And what that means depends on who you are. If you are an engineering student, matrices are particular symbols you manipulate to solve linear systems. As a working engineer you may instead use Heaviside's operational calculus, in which you are permitted to do all sorts of dangerous manipulations of symbols for derivatives and what not, exactly as if they were matrices, in order to solve linear problems of applied analysis. About 90% of the time you will get the right answer, just like the student; somewhat more with experience. And that is good enough, if the bridges you build aren't where I drive. In mathematics the student of elementary analysis learns that matrices are linear functions relating finite-dimensional vector spaces, and conversely. As a working mathematician the analyst has lost all fear of minor matters like infinity, and will happy agree with Banach's definition. For the students of algebra, matrices are fun objects that can be added and multiplied, usually in flagrant disregard for the law (of commutativity).
    [Show full text]
  • Operator Spectral States
    Computers Math. Applic. Vol. 34, No. 5/6, pp. 467-508, 1997 Pergamon Copyright©1997 Elsevier Science Ltd Printed in Great Britain. All rights reserved 0898-1221/97 $17.00 + 0.00 PII: S0898-1221(97)00150-8 Operator Spectral States K. GUSTAFSON Department of Mathematics, University of Colorado Boulder, CO 80309, U.S.A. Abstract--In chemical physics, especially quantum mechanics, one encounters a myriad of phe- nomenological models based upon formal operator manipulations and calculations leading to spectral conclusions. Yet often the exact nature of such spectral results is unclear mathematically. On the other side, mathematical clarification can lead to greater physical insight. Two important illustrations of this symbiotic relationship are von Neumann's placing of the quantum mechanics of SchrSdinger, Heisenberg, and others, into a Hilbert space framework, and Schwartz's rendering of the Dirac ket and delta notation into the theory of distributions, some thirty years later. With chemical physics now actively treating time-symmetry breakings into nonunitary evolutions, complex resonances, computations concerning the spectrum as caused by underlying chaotic dynam- ical systems, it seems useful to gather together here elements of operator spectral theory to provide a mathematical framework into which such spectral results can be placed or from which they may be viewed. A particularly useful, clarifying, but little-known device, is that of operator state diagram, which I will develop rather fully in this paper. All operator dualities and hence much of operator theory may be systematically portrayed by these diagrams. From these diagrams, I then discuss operator spectral states, scattering states available from the essential spectrum of an operator, spectral states of shift operators, and rigged Hilbert space spectral states.
    [Show full text]