Scattering Theory Wi4211 Advanced Topics in Analysis

Total Page:16

File Type:pdf, Size:1020Kb

Scattering Theory Wi4211 Advanced Topics in Analysis Scattering Theory wi4211 Advanced Topics in Analysis Erik Koelink Spring 2006 ii Contents 1 Introduction 1 1.1 Scattering theory . 1 1.2 Inverse scattering method . 2 1.3 Overview . 3 2 Schr¨odinger operators and their spectrum 5 d2 2.1 The operator − dx2 ................................. 5 d2 2.2 The Schr¨odingeroperator − dx2 + q ........................ 7 2.3 The essential spectrum of Schr¨odinger operators . 12 2.4 Bound states and discrete spectrum . 15 2.5 Explicit examples of potentials . 18 2.5.1 Indicator functions as potential . 18 2.5.2 cosh−2-potential . 19 2.5.3 Exponential potential . 23 3 Scattering and wave operators 27 3.1 Time-dependent Schr¨odinger equation . 27 3.2 Scattering and wave operators . 28 3.3 Domains of the wave operators for the Schr¨odingeroperator . 35 3.4 Completeness . 37 4 Schr¨odinger operators and scattering data 47 4.1 Jost solutions . 47 4.2 Scattering data: transmission and reflection coefficients . 57 4.3 Fourier transform properties of the Jost solutions . 65 4.4 Gelfand-Levitan-Marchenko integral equation . 70 4.5 Reflectionless potentials . 77 5 Inverse scattering method and the Korteweg-de Vries equation 83 5.1 The Korteweg-de Vries equation and some solutions . 83 5.2 The KdV equation related to the Schr¨odinger operator . 89 5.3 Lax pairs . 91 5.4 Time evolution of the spectral data . 95 iii iv 5.5 Pure soliton solutions to the KdV-equation . 97 6 Preliminaries and results from functional analysis 103 6.1 Hilbert spaces . 103 6.2 Operators . 106 6.3 Fourier transform and Sobolev spaces . 108 6.4 Spectral theorem . 112 6.5 Spectrum and essential spectrum for self-adjoint operators . 114 6.6 Absolutely continuous and singular spectrum . 119 Bibliography 123 Index 125 Chapter 1 Introduction According to Reed and Simon [9], scattering theory is the study of an interacting system on a time and/or distance scale which is large compared to the scale of the actual interaction. This is a natural phenomenon occuring in several branches of physics; optics (think of the blue sky), acoustics, x-ray, sonar, particle physics,. In this course we focus on the mathematical aspects of scattering theory, and on an important application in non-linear partial differential equations. 1.1 Scattering theory As an example motivating the first chapters we consider the following situation occuring in quantum mechanics. Consider a particle of mass m moving in three-dimensional space R3 according to a potential V (x, t), x ∈ R3 the spatial coordinate and time t ∈ R. In quantum R 2 mechanics this is modelled by a wave function ψ(x, t) satisfying 3 |ψ(x, t)| dx = 1 for all R time t, and the wave function is interpreted as a probability distribution for each time t. This means that for each time t, the probability that the particle is in the set A ⊂ R3 is given by R 2 A |ψ(x, t)| dx. Similarly, the probability distribution of the momentum for this particle is given by |ψˆ(p, t)|2, where Z ˆ 1 −ip·x ψ(p, t) = √ 3 e ψ(x, t) dx 3 2π R is the Fourier transform of the wave function with respect to spatial variable x. (Here we have scaled Planck’s constant ~ to 1.) Using the fact that the Fourier transform interchanges differentiation and multiplication the expected value for the momentum can be expressed in terms of a differential operator. The kinetic energy, corresponding to |p|2/2m, at time t of −1 the particle can be expressed as 2m h∆ψ, ψi, where we take the inner product corresponding to the Hilbert space L2(R3) and ∆ is the three-dimensional Laplacian (i.e. with respect to the spatial coordinates x). 1 2 Chapter 1: Introduction The potential energy at time t of the particle is described by hV ψ, ψi, so that (total) energy of the particle at time t can be written as −1 E = hHψ, ψi,H = ∆ + V, 2m where we have suppressed the time-dependence. The operator H is known as the energy operator, or as Hamiltonian, or as Schr¨odingeroperator. In case the potential V is independent of time and suitably localised in the spatial coordinate, we can view H as a perturbation of −1 the corresponding free operator H0 = 2m ∆. This can be interpreted that we have a ‘free’ particle scattered by the (time-independent) potential V . The free operator H0 is a well- known operator, and we can ask how its properties transfer to the perturbed operator H. Of course, this will depend on the conditions imposed on the potential V . In Chapter 2 we study this situation in greater detail for the case the spatial dimension is 1, but the general perturbation techniques apply in more general situations as well. In general the potentials for which these results apply are called short-range potentials. In quantum mechanics the time evolution of the wave function is determined by the time- dependent Schr¨odinger equation ∂ i ψ(x, t) = Hψ(x, t). (1.1.1) ∂t We want to consider solutions that behave as solutions to the corresponding free time- dependent Schr¨odinger equation, i.e. (1.1.1) with H replaced by H0, for time to ∞ or −∞. In case of the spatial dimension being 1 and for a time-independent potential V , we study this situation more closely in Chapter 2. We do this for more general (possibly unbounded) self-adjoint operators acting a Hilbert space. 1 Let us assume that m = 2 , then we can write the solution to the free time-dependent Schr¨odinger equation as Z ψ(x, t) = F (p) eip·xe−i|p|2t2 dp, 3 R where F (p) denotes the distribution of the momenta at time t = 0 (up to a constant). This ip·x follows easily since the exponentials e are eigenfunctions of H0 = −∆ for the eigenvalue |p|2. For the general case the solution is given by Z −i|p|2t2 ψ(x, t) = F (p) ψp(x) e dp, 3 R 2 ip·x where Hψp = |p| ψp and where we can expect ψp(x) ∼ e if the potential V is sufficiently ‘nice’. We study this situation more closely in Chapter 4 in case the spatial dimension is one. 1.2 Inverse scattering method As indicated in Section 4.2 we give an explicit relation between the potential q in the Schr¨o- d2 dinger operator − dx2 + q and its scattering data consisting of the reflection and transition Chapter 1: Introduction 3 coefficient R and T in Chapter 4. To be specific, in Section 4.2 we discuss the transition q 7→ {R, T }, which is called the direct problem, and in Section 4.4 we discuss the transition {R, T } 7→ q, the inverse problem. In case we take a time-dependent potential q(x, t), the scattering data also becomes time-dependent. It has been shown that certain non-linear partial differential equations (with respect to t and x) for q imply that the corresponding time evolution of the scattering data R and T is linear! Or, scattering can be used to linearise some non-linear partial differential equations. The basic, and most famous, example is the Korteweg-de Vries equation, KdV-equation for short, qt(x, t) − 6 q(x, t) qx(x, t) + qxxx(x, t) = 0, which was introduced in 1894 in order to model the solitary waves encountered by James Scott Russell in 1834 while riding on horseback along the canal from Edinburgh to Glasgow. Although the Korteweg-de Vries paper “On the change of form of long waves advancing in a rectangular canal, and on a new type of long stationary waves”, Philosophical Magazine, 39 (1895), 422–443, is now probably the most cited paper by Dutch mathematicians, the KdV-equation lay dormant for a long time until it was rediscovered by Kruskal and Zabusky in 1965 for the Fermi-Pasta-Ulam problem on finite heat conductivity in solids. Kruskal and Zabusky performed numerical experiments, and found numerical evidence for the solitary waves as observed by Scott Russell, which were named “solitons” by Kruskal and Zabusky. The fundamental discovery made by Gardner, Greene, Kruskal and Miura in 1967 is that if q is a solution to the KdV-equation, then the spectrum of the Schr¨odingerwith time-dependent potential q is independent of time, and moreover, the time evolution for the scattering data, i.e. the reflection and transmission coefficient, is a simple linear differential equation. We discuss this method in Chapter 5. In particular, we discuss some of the soliton solutions. This gave way to a solution method, nowadays called the inverse scattering method, or inverse spectral method, for classes of non-linear partial differential equations. Amongst others, similar methods work for well-known partial differential equations such as the modified 2 KdV-equation qt − 6q qx + qxxx = 0, the sine-Gordon equation qxt = sin q, the non-linear 2 Schr¨odinger equation qt = qxx + |q| q, and many others. Nowadays, there are many families of partial differential equations that can be solved using similar ideas by realising them as conditions for isospectrality of certain linear problem. For the isospectrality we use the method of Lax pairs in Section 5.3. There have been several approaches and extensions to the KdV-equations, notably as integrable systems with infinitely many conserved Poisson-commuting quantities. We refer to [1], [8]. 1.3 Overview The contents of these lecture notes are as follows. In Chapter 6 we collect some results from functional analysis, especially on unbounded self-adjoint operators and the spectral theorem, Fourier analysis, especially related to Sobolev and Hardy spaces.
Recommended publications
  • Contact Lax Pairs and Associated (3+ 1)-Dimensional Integrable Dispersionless Systems
    Contact Lax pairs and associated (3+1)-dimensional integrable dispersionless systems Maciej B laszak a and Artur Sergyeyev b a Faculty of Physics, Division of Mathematical Physics, A. Mickiewicz University Umultowska 85, 61-614 Pozna´n, Poland E-mail [email protected] b Mathematical Institute, Silesian University in Opava, Na Rybn´ıˇcku 1, 74601 Opava, Czech Republic E-mail [email protected] January 17, 2019 Abstract We review the recent approach to the construction of (3+1)-dimensional integrable dispersionless partial differential systems based on their contact Lax pairs and the related R-matrix theory for the Lie algebra of functions with respect to the contact bracket. We discuss various kinds of Lax representations for such systems, in particular, linear nonisospectral contact Lax pairs and nonlinear contact Lax pairs as well as the relations among the two. Finally, we present a large number of examples with finite and infinite number of dependent variables, as well as the reductions of these examples to lower-dimensional integrable dispersionless systems. 1 Introduction Integrable systems play an important role in modern mathematics and theoretical and mathematical arXiv:1901.05181v1 [nlin.SI] 16 Jan 2019 physics, cf. e.g. [15, 34], and, since according to general relativity our spacetime is four-dimensional, integrable systems in four independent variables ((3+1)D for short; likewise (n+1)D is shorthand for n + 1 independent variables) are particularly interesting. For a long time it appeared that such systems were very difficult to find but in a recent paper by one of us [39] a novel systematic and effective construction for a large new class of integrable (3+1)D systems was introduced.
    [Show full text]
  • Discrete-Continuous and Classical-Quantum
    Under consideration for publication in Math. Struct. in Comp. Science Discrete-continuous and classical-quantum T. Paul C.N.R.S., D.M.A., Ecole Normale Sup´erieure Received 21 November 2006 Abstract A discussion concerning the opposition between discretness and continuum in quantum mechanics is presented. In particular this duality is shown to be present not only in the early days of the theory, but remains actual, featuring different aspects of discretization. In particular discreteness of quantum mechanics is a key-stone for quantum information and quantum computation. A conclusion involving a concept of completeness linking dis- creteness and continuum is proposed. 1. Discrete-continuous in the old quantum theory Discretness is obviously a fundamental aspect of Quantum Mechanics. When you send white light, that is a continuous spectrum of colors, on a mono-atomic gas, you get back precise line spectra and only Quantum Mechanics can explain this phenomenon. In fact the birth of quantum physics involves more discretization than discretness : in the famous Max Planck’s paper of 1900, and even more explicitly in the 1905 paper by Einstein about the photo-electric effect, what is really done is what a computer does: an integral is replaced by a discrete sum. And the discretization length is given by the Planck’s constant. This idea will be later on applied by Niels Bohr during the years 1910’s to the atomic model. Already one has to notice that during that time another form of discretization had appeared : the atomic model. It is astonishing to notice how long it took to accept the atomic hypothesis (Perrin 1905).
    [Show full text]
  • Arxiv:2012.03456V1 [Nlin.SI] 7 Dec 2020 Emphasis on the Kdv Equation
    Integrable systems: From the inverse spectral transform to zero curvature condition Basir Ahamed Khan,1, ∗ Supriya Chatterjee,2 Sekh Golam Ali,3 and Benoy Talukdar4 1Department of Physics, Krishnath College, Berhampore, Murshidabad 742101, India 2Department of Physics, Bidhannagar College, EB-2, Sector-1, Salt Lake, Kolkata 700064, India 3Department of Physics, Kazi Nazrul University, Asansol 713303, India 4Department of Physics, Visva-Bharati University, Santiniketan 731235, India This `research-survey' is meant for beginners in the studies of integrable systems. Here we outline some analytical methods for dealing with a class of nonlinear partial differential equations. We pay special attention to `inverse spectral transform', `Lax pair representation', and `zero-curvature condition' as applied to these equations. We provide a number of interesting exmples to gain some physico-mathematical feeling for the methods presented. PACS numbers: Keywords: Nonlinear Partial Differential Equations, Integrable Systems, Inverse Spectral Method, Lax Pairs, Zero Curvature Condition 1. Introduction Integrable systems are represented by nonlinear partial differential equations (NLPDEs) which, in principle, can be solved by analytic methods. This necessarily implies that the solution of such equations can be constructed using a finite number of algebraic operations and integrations. The inverse scattering method as discovered by Gardner, Greene, Kruskal and Miura [1] represents a very useful tool to analytically solve a class of nonlinear differential equa- tions which support soliton solutions. Solitons are localized waves that propagate without change in their properties (shape, velocity etc.). These waves are stable against mutual collision and retain their identities except for some trivial phase change. Mechanistically, the linear and nonlinear terms in NLPDEs have opposite effects on the wave propagation.
    [Show full text]
  • The Idea of a Lax Pair–Part II∗ Continuum Wave Equations
    GENERAL ARTICLE The Idea of a Lax Pair–Part II∗ Continuum Wave Equations Govind S. Krishnaswami and T R Vishnu In Part I [1], we introduced the idea of a Lax pair and ex- plained how it could be used to obtain conserved quantities for systems of particles. Here, we extend these ideas to con- tinuum mechanical systems of fields such as the linear wave equation for vibrations of a stretched string and the Korteweg- de Vries (KdV) equation for water waves. Unlike the Lax ma- trices for systems of particles, here Lax pairs are differential operators. A key idea is to view the Lax equation as a com- Govind Krishnaswami is on the faculty of the Chennai patibility condition between a pair of linear equations. This is Mathematical Institute. He used to obtain a geometric reformulation of the Lax equation works on various problems in as the condition for a certain curvature to vanish. This ‘zero theoretical and mathematical curvature representation’ then leads to a recipe for finding physics. (typically an infinite sequence of) conserved quantities. 1. Introduction In the first part of this article [1], we introduced the idea of a dy- namical system: one whose variables evolve in time, typically via T R Vishnu is a PhD student at the Chennai Mathematical differential equations. It was pointed out that conserved quanti- Institute. He has been ties, which are dynamical variables that are constant along trajec- working on integrable tories help in simplifying the dynamics and solving the equations systems. of motion (EOM) both in the classical and quantum settings.
    [Show full text]
  • On the Linear Stability of Plane Couette Flow for an Oldroyd-B Fluid and Its
    J. Non-Newtonian Fluid Mech. 127 (2005) 169–190 On the linear stability of plane Couette flow for an Oldroyd-B fluid and its numerical approximation Raz Kupferman Institute of Mathematics, The Hebrew University, Jerusalem, 91904, Israel Received 14 December 2004; received in revised form 10 February 2005; accepted 7 March 2005 Abstract It is well known that plane Couette flow for an Oldroyd-B fluid is linearly stable, yet, most numerical methods predict spurious instabilities at sufficiently high Weissenberg number. In this paper we examine the reasons which cause this qualitative discrepancy. We identify a family of distribution-valued eigenfunctions, which have been overlooked by previous analyses. These singular eigenfunctions span a family of non- modal stress perturbations which are divergence-free, and therefore do not couple back into the velocity field. Although these perturbations decay eventually, they exhibit transient amplification during which their “passive" transport by shearing streamlines generates large cross- stream gradients. This filamentation process produces numerical under-resolution, accompanied with a growth of truncation errors. We believe that the unphysical behavior has to be addressed by fine-scale modelling, such as artificial stress diffusivity, or other non-local couplings. © 2005 Elsevier B.V. All rights reserved. Keywords: Couette flow; Oldroyd-B model; Linear stability; Generalized functions; Non-normal operators; Stress diffusion 1. Introduction divided into two main groups: (i) numerical solutions of the boundary value problem defined by the linearized system The linear stability of Couette flow for viscoelastic fluids (e.g. [2,3]) and (ii) stability analysis of numerical methods is a classical problem whose study originated with the pi- for time-dependent flows, with the objective of understand- oneering work of Gorodtsov and Leonov (GL) back in the ing how spurious solutions emerge in computations.
    [Show full text]
  • A 2-Ghz Discrete-Spectrum Waveband-Division Microscopic Imaging System
    Optics Communications 338 (2015) 22–26 Contents lists available at ScienceDirect Optics Communications journal homepage: www.elsevier.com/locate/optcom A 2-GHz discrete-spectrum waveband-division microscopic imaging system Fangjian Xing, Hongwei Chen n, Cheng Lei, Minghua Chen, Sigang Yang, Shizhong Xie Tsinghua National Laboratory for Information Science and Technology (TNList), Department of Electronic Engineering, Tsinghua University, Beijing 100084, P.R. China article info abstract Article history: Limited by dispersion-induced pulse overlap, the frame rate of serial time-encoded amplified microscopy Received 26 June 2014 is confined to the megahertz range. Replacing the ultra-short mode-locked pulse laser by a multi-wa- Received in revised form velength source, based on waveband-division technique, a serial time stretch microscopic imaging sys- 1 September 2014 tem with a line scan rate of in the gigahertz range is proposed and experimentally demonstrated. In this Accepted 4 September 2014 study, we present a surface scanning imaging system with a record line scan rate of 2 GHz and 15 pixels. Available online 22 October 2014 Using a rectangular spectrum and a sufficiently large wavelength spacing for waveband-division, the Keywords: resulting 2D image is achieved with good quality. Such a superfast imaging system increases the single- Real-time imaging shot temporal resolution towards the sub-nanosecond regime. Ultrafast & 2014 Elsevier B.V. All rights reserved. Discrete spectrum Wavelength-to-space-to-time mapping GHz imaging 1. Introduction elements with a broadband mode-locked laser to achieve ultrafast single pixel imaging. An important feature of STEAM is the spec- Most of the current research in optical microscopic imaging trum of the broadband laser source.
    [Show full text]
  • A Highly Efficient Spectral-Galerkin Method Based on Tensor Product for Fourth-Order Steklov Equation with Boundary Eigenvalue
    An et al. Journal of Inequalities and Applications (2016)2016:211 DOI 10.1186/s13660-016-1158-1 R E S E A R C H Open Access A highly efficient spectral-Galerkin method based on tensor product for fourth-order Steklov equation with boundary eigenvalue Jing An1,HaiBi1 and Zhendong Luo2* *Correspondence: [email protected] Abstract 2School of Mathematics and Physics, North China Electric Power In this study, a highly efficient spectral-Galerkin method is posed for the fourth-order University, No. 2, Bei Nong Road, Steklov equation with boundary eigenvalue. By making use of the spectral theory of Changping District, Beijing, 102206, compact operators and the error formulas of projective operators, we first obtain the China Full list of author information is error estimates of approximative eigenvalues and eigenfunctions. Then we build a 1 ∩ 2 available at the end of the article suitable set of basis functions included in H0() H () and establish the matrix model for the discrete spectral-Galerkin scheme by adopting the tensor product. Finally, we use some numerical experiments to verify the correctness of the theoretical results. MSC: 65N35; 65N30 Keywords: fourth-order Steklov equation with boundary eigenvalue; spectral-Galerkin method; error estimates; tensor product 1 Introduction Increasing attention has recently been paid to numerical approximations for Steklov equa- tions with boundary eigenvalue, arising in fluid mechanics, electromagnetism, etc. (see, e.g.,[–]). However, most existing work usually treated the second-order Steklov equa- tions with boundary eigenvalue and there are relatively few articles treating fourth-order ones. The fourth-order Steklov equations with boundary eigenvalue also have been used in both mathematics and physics, for example, the main eigenvalues play a very key role in the positivity-preserving properties for the biharmonic-operator under the border conditions w = w – χwν =on∂ (see []).
    [Show full text]
  • Chebyshev and Fourier Spectral Methods 2000
    Chebyshev and Fourier Spectral Methods Second Edition John P. Boyd University of Michigan Ann Arbor, Michigan 48109-2143 email: [email protected] http://www-personal.engin.umich.edu/jpboyd/ 2000 DOVER Publications, Inc. 31 East 2nd Street Mineola, New York 11501 1 Dedication To Marilyn, Ian, and Emma “A computation is a temptation that should be resisted as long as possible.” — J. P. Boyd, paraphrasing T. S. Eliot i Contents PREFACE x Acknowledgments xiv Errata and Extended-Bibliography xvi 1 Introduction 1 1.1 Series expansions .................................. 1 1.2 First Example .................................... 2 1.3 Comparison with finite element methods .................... 4 1.4 Comparisons with Finite Differences ....................... 6 1.5 Parallel Computers ................................. 9 1.6 Choice of basis functions .............................. 9 1.7 Boundary conditions ................................ 10 1.8 Non-Interpolating and Pseudospectral ...................... 12 1.9 Nonlinearity ..................................... 13 1.10 Time-dependent problems ............................. 15 1.11 FAQ: Frequently Asked Questions ........................ 16 1.12 The Chrysalis .................................... 17 2 Chebyshev & Fourier Series 19 2.1 Introduction ..................................... 19 2.2 Fourier series .................................... 20 2.3 Orders of Convergence ............................... 25 2.4 Convergence Order ................................. 27 2.5 Assumption of Equal Errors ...........................
    [Show full text]
  • Isospectral Families of High-Order Systems∗
    Isospectral Families of High-order Systems∗ Peter Lancaster† Department of Mathematics and Statistics University of Calgary Calgary T2N 1N4, Alberta, Canada and Uwe Prells School of Mechanical, Materials, Manufacturing Engineering & Management University of Nottingham Nottingham NG7 2RD United Kingdom November 28, 2006 Keywords: Matrix Polynomials, Isospectral Systems, Structure Preserving Transformations, Palindromic Symmetries. Abstract Earlier work of the authors concerning the generation of isospectral families of second or- der (vibrating) systems is generalized to higher-order systems (with no spectrum at infinity). Results and techniques are developed first for systems without symmetries, then with Hermi- tian symmetry and, finally, with palindromic symmetry. The construction of linearizations which retain such symmetries is discussed. In both cases, the notion of strictly isospectral families of systems is introduced - implying that properties of both the spectrum and the sign-characteristic are preserved. Open questions remain in the case of strictly isospectral families of palindromic systems. Intimate connections between Hermitian and unitary sys- tems are discussed in an Appendix. ∗The authors are grateful to an anonymous reviewer for perceptive comments which led to significant improve- ments in exposition. †The research of Peter Lancaster was partly supported by a grant from the Natural Sciences and Engineering Research Council of Canada 1 1 Introduction ` By a high-order system we mean an n × n matrix polynomial L(λ) = A`λ + ··· + A1λ + A0 n×n with coefficients in C . Such a polynomial with A` 6= 0 is said to have degree `, (sometimes referred to as “order” `) and “high-order” implies that ` ≥ 2. It will be assumed throughout that the leading coefficient A` is nonsingular.
    [Show full text]
  • Introduction to Spectral Methods
    Introduction to spectral methods Eric Gourgoulhon Laboratoire de l’Univers et de ses Th´eories (LUTH) CNRS / Observatoire de Paris Meudon, France Based on a collaboration with Silvano Bonazzola, Philippe Grandcl´ement,Jean-Alain Marck & J´eromeNovak [email protected] http://www.luth.obspm.fr 4th EU Network Meeting, Palma de Mallorca, Sept. 2002 1 Plan 1. Basic principles 2. Legendre and Chebyshev expansions 3. An illustrative example 4. Spectral methods in numerical relativity 2 1 Basic principles 3 Solving a partial differential equation Consider the PDE with boundary condition Lu(x) = s(x); x 2 U ½ IRd (1) Bu(y) = 0; y 2 @U; (2) where L and B are linear differential operators. Question: What is a numerical solution of (1)-(2)? Answer: It is a function u¯ which satisfies (2) and makes the residual R := Lu¯ ¡ s small. 4 What do you mean by “small” ? Answer in the framework of Method of Weighted Residuals (MWR): Search for solutions u¯ in a finite-dimensional sub-space PN of some Hilbert space W (typically a L2 space). Expansion functions = trial functions : basis of PN : (Á0;:::;ÁN ) XN u¯ is expanded in terms of the trial functions: u¯(x) = u˜n Án(x) n=0 Test functions : family of functions (Â0;:::;ÂN ) to define the smallness of the residual R, by means of the Hilbert space scalar product: 8 n 2 f0;:::;Ng; (Ân;R) = 0 5 Various numerical methods Classification according to the trial functions Án: Finite difference: trial functions = overlapping local polynomials of low order Finite element: trial functions = local smooth functions (polynomial
    [Show full text]
  • Math 660-Lecture 15: Spectral Methods: Fourier Pseduo-Spectral Method
    Math 660-Lecture 15: Spectral methods: Fourier pseduo-spectral method The topics here will be in the book `Spectral methods in Matlab' (Chap- ter 3); Another reference book is `Spectral methods in chemistry and physics.' 1 Spectral methods v.s. pseudo-spectral methods 1.1 Spectral method A spectral method is to represent the solution of a differential equation in terms of a basis of some vector space and then reduce the differential equations to an ODE system for the coefficients. In this sense, the (contin- uous) Fourier Transform and the Finite Element methods are all spectral methods. In particular, suppose we have some equation T (u) = f(x) where T is some temporal-spatial operator for the differential equation. Then, under the basis we have the error: X X R(x) = T ( ci(t)φi(x)) − f~iφi i i Pick test functions fχjg, which is the dual basis of fφi(x)g (if the space is a Hilbert space like in FEM, these two are identical) and we require hχj;Ri = 0: This then gives a system of equations for cj. • Advantages: Reduce differential operators to multiplications, and solv- ing ODEs might be easier. • Disadvatange: The multiplication in the spatial variable becomes con- volution. Then, we may have a big matrix-vector multiplication. 1.2 Pseudo-spectral method Here, represent the solution in terms of the basis but impose the equa- tion only at discrete points. As we can see, the pseudo-spectral method in some sense is a spectral method in discrete space. There are some typical pseudo-spectral methods 1 • Fourier Pseudo-spectral method with trigonometric basis • Chebyshev pseudo-spectral method with Chebyshev polynomial basis • Collocation methods with polynomial basis (especially for ODEs solvers); (Some people also call the pseudo-spectral method the collocation method.) For discrete points, we often choose χj = δ(x − xj), so that we require R(xj) = 0: The pseudo-spectral method may have efficient algorithms, which makes solving PDEs fast.
    [Show full text]
  • Improving Frequency Resolution of Discrete Spectra
    AGH University of Science and Technology, Kraków, Poland Faculty of Electrical Engineering, Automatics, Computer Science and Electronics Marek GĄSIOR Improving Frequency Resolution of Discrete Spectra A doctoral dissertation done under guidance of Professor Mariusz ZIÓŁKO Kraków 2006 - II - Marek Gąsior, Improving frequency resolution of discrete spectra Akademia Górniczo-Hutnicza w Krakowie Wydział Elektrotechniki, Automatyki, Informatyki i Elektroniki Marek GĄSIOR Poprawa rozdzielczości częstotliwościowej widm dyskretnych Rozprawa doktorska wykonana pod kierunkiem prof. dra hab. inż. Mariusza ZIÓŁKO Kraków 2006 Marek Gąsior, Improving frequency resolution of discrete spectra - III - - IV - Marek Gąsior, Improving frequency resolution of discrete spectra To my Parents Moim Rodzicom Acknowledgements I would like to thank all those who influenced this work. They were in particular the Promotor, Professor Mariusz Ziółko, who also triggered my interest in digital signal processing already during mastership studies; my CERN colleagues, especially Jeroen Belleman and José Luis González, from whose experience I profited so much. I am also indebted to Jean Pierre Potier, Uli Raich and Rhodri Jones for supporting these studies. Separately I would like to thank my wife Agata for her patience, understanding and sacrifice without which this work would never have been done, as well as my parents, Krystyna and Jan, for my education. To them I dedicate this doctoral dissertation. Podziękowania Pragnę podziękować wszystkim, którzy mieli wpływ na kształt niniejszej pracy. W szczególności byli to Promotor, Pan profesor Mariusz Ziółko, który także zaszczepił u mnie zainteresowanie cyfrowym przetwarzaniem sygnałów jeszcze w czasie studiów magisterskich; moi koledzy z CERNu, przede wszystkim Jeroen Belleman i José Luis González, z których doświadczenia skorzystałem tak wiele.
    [Show full text]