1·Basic Spectral Theory
Total Page:16
File Type:pdf, Size:1020Kb
Load more
Recommended publications
-
Criss-Cross Type Algorithms for Computing the Real Pseudospectral Abscissa
CRISS-CROSS TYPE ALGORITHMS FOR COMPUTING THE REAL PSEUDOSPECTRAL ABSCISSA DING LU∗ AND BART VANDEREYCKEN∗ Abstract. The real "-pseudospectrum of a real matrix A consists of the eigenvalues of all real matrices that are "-close to A. The closeness is commonly measured in spectral or Frobenius norm. The real "-pseudospectral abscissa, which is the largest real part of these eigenvalues for a prescribed value ", measures the structured robust stability of A. In this paper, we introduce a criss-cross type algorithm to compute the real "-pseudospectral abscissa for the spectral norm. Our algorithm is based on a superset characterization of the real pseudospectrum where each criss and cross search involves solving linear eigenvalue problems and singular value optimization problems. The new algorithm is proved to be globally convergent, and observed to be locally linearly convergent. Moreover, we propose a subspace projection framework in which we combine the criss-cross algorithm with subspace projection techniques to solve large-scale problems. The subspace acceleration is proved to be locally superlinearly convergent. The robustness and efficiency of the proposed algorithms are demonstrated on numerical examples. Key words. eigenvalue problem, real pseudospectra, spectral abscissa, subspace methods, criss- cross methods, robust stability AMS subject classifications. 15A18, 93B35, 30E10, 65F15 1. Introduction. The real "-pseudospectrum of a matrix A 2 Rn×n is defined as R n×n (1) Λ" (A) = fλ 2 C : λ 2 Λ(A + E) with E 2 R ; kEk ≤ "g; where Λ(A) denotes the eigenvalues of a matrix A and k · k is the spectral norm. It is also known as the real unstructured spectral value set (see, e.g., [9, 13, 11]) and it can be regarded as a generalization of the more standard complex pseudospectrum (see, e.g., [23, 24]). -
The Generalized Triangular Decomposition
MATHEMATICS OF COMPUTATION Volume 77, Number 262, April 2008, Pages 1037–1056 S 0025-5718(07)02014-5 Article electronically published on October 1, 2007 THE GENERALIZED TRIANGULAR DECOMPOSITION YI JIANG, WILLIAM W. HAGER, AND JIAN LI Abstract. Given a complex matrix H, we consider the decomposition H = QRP∗,whereR is upper triangular and Q and P have orthonormal columns. Special instances of this decomposition include the singular value decompo- sition (SVD) and the Schur decomposition where R is an upper triangular matrix with the eigenvalues of H on the diagonal. We show that any diag- onal for R can be achieved that satisfies Weyl’s multiplicative majorization conditions: k k K K |ri|≤ σi, 1 ≤ k<K, |ri| = σi, i=1 i=1 i=1 i=1 where K is the rank of H, σi is the i-th largest singular value of H,andri is the i-th largest (in magnitude) diagonal element of R. Given a vector r which satisfies Weyl’s conditions, we call the decomposition H = QRP∗,whereR is upper triangular with prescribed diagonal r, the generalized triangular decom- position (GTD). A direct (nonrecursive) algorithm is developed for computing the GTD. This algorithm starts with the SVD and applies a series of permu- tations and Givens rotations to obtain the GTD. The numerical stability of the GTD update step is established. The GTD can be used to optimize the power utilization of a communication channel, while taking into account qual- ity of service requirements for subchannels. Another application of the GTD is to inverse eigenvalue problems where the goal is to construct matrices with prescribed eigenvalues and singular values. -
CSE 275 Matrix Computation
CSE 275 Matrix Computation Ming-Hsuan Yang Electrical Engineering and Computer Science University of California at Merced Merced, CA 95344 http://faculty.ucmerced.edu/mhyang Lecture 13 1 / 22 Overview Eigenvalue problem Schur decomposition Eigenvalue algorithms 2 / 22 Reading Chapter 24 of Numerical Linear Algebra by Llyod Trefethen and David Bau Chapter 7 of Matrix Computations by Gene Golub and Charles Van Loan 3 / 22 Eigenvalues and eigenvectors Let A 2 Cm×m be a square matrix, a nonzero x 2 Cm is an eigenvector of A, and λ 2 C is its corresponding eigenvalue if Ax = λx Idea: the action of a matrix A on a subspace S 2 Cm may sometimes mimic scalar multiplication When it happens, the special subspace S is called an eigenspace, and any nonzero x 2 S is an eigenvector The set of all eigenvalues of a matrix A is the spectrum of A, a subset of C denoted by Λ(A) 4 / 22 Eigenvalues and eigenvectors (cont'd) Ax = λx Algorithmically: simplify solutions of certain problems by reducing a coupled system to a collection of scalar problems Physically: give insight into the behavior of evolving systems governed by linear equations, e.g., resonance (of musical instruments when struck or plucked or bowed), stability (of fluid flows with small perturbations) 5 / 22 Eigendecomposition An eigendecomposition (eigenvalue decomposition) of a square matrix A is a factorization A = X ΛX −1 where X is a nonsingular and Λ is diagonal Equivalently, AX = X Λ 2 3 λ1 6 λ2 7 A x x ··· x = x x ··· x 6 7 1 2 m 1 2 m 6 . -
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. -
The Schur Decomposition Week 5 UCSB 2014
Math 108B Professor: Padraic Bartlett Lecture 5: The Schur Decomposition Week 5 UCSB 2014 Repeatedly through the past three weeks, we have taken some matrix A and written A in the form A = UBU −1; where B was a diagonal matrix, and U was a change-of-basis matrix. However, on HW #2, we saw that this was not always possible: in particular, you proved 1 1 in problem 4 that for the matrix A = , there was no possible basis under which A 0 1 would become a diagonal matrix: i.e. you proved that there was no diagonal matrix D and basis B = f(b11; b21); (b12; b22)g such that b b b b −1 A = 11 12 · D · 11 12 : b21 b22 b21 b22 This is a bit of a shame, because diagonal matrices (for reasons discussed earlier) are pretty fantastic: they're easy to raise to large powers and calculate determinants of, and it would have been nice if every linear transformation was diagonal in some basis. So: what now? Do we simply assume that some matrices cannot be written in a \nice" form in any basis, and that we should assume that operations like matrix exponentiation and finding determinants is going to just be awful in many situations? The answer, as you may have guessed by the fact that these notes have more pages after this one, is no! In particular, while diagonalization1 might not always be possible, there is something fairly close that is - the Schur decomposition. Our goal for this week is to prove this, and study its applications. -
Finite-Dimensional Spectral Theory Part I: from Cn to the Schur Decomposition
Finite-dimensional spectral theory part I: from Cn to the Schur decomposition Ed Bueler MATH 617 Functional Analysis Spring 2020 Ed Bueler (MATH 617) Finite-dimensional spectral theory Spring 2020 1 / 26 linear algebra versus functional analysis these slides are about linear algebra, i.e. vector spaces of finite dimension, and linear operators on those spaces, i.e. matrices one definition of functional analysis might be: “rigorous extension of linear algebra to 1-dimensional topological vector spaces” ◦ it is important to understand the finite-dimensional case! the goal of these part I slides is to prove the Schur decomposition and the spectral theorem for matrices good references for these slides: ◦ L. Trefethen & D. Bau, Numerical Linear Algebra, SIAM Press 1997 ◦ G. Strang, Introduction to Linear Algebra, 5th ed., Wellesley-Cambridge Press, 2016 ◦ G. Golub & C. van Loan, Matrix Computations, 4th ed., Johns Hopkins University Press 2013 Ed Bueler (MATH 617) Finite-dimensional spectral theory Spring 2020 2 / 26 the spectrum of a matrix the spectrum σ(A) of a square matrix A is its set of eigenvalues ◦ reminder later about the definition of eigenvalues ◦ σ(A) is a subset of the complex plane C ◦ the plural of spectrum is spectra; the adjectival is spectral graphing σ(A) gives the matrix a personality ◦ example below: random, nonsymmetric, real 20 × 20 matrix 6 4 2 >> A = randn(20,20); ) >> lam = eig(A); λ 0 >> plot(real(lam),imag(lam),’o’) Im( >> grid on >> xlabel(’Re(\lambda)’) -2 >> ylabel(’Im(\lambda)’) -4 -6 -6 -4 -2 0 2 4 6 Re(λ) Ed Bueler (MATH 617) Finite-dimensional spectral theory Spring 2020 3 / 26 Cn is an inner product space we use complex numbers C from now on ◦ why? because eigenvalues can be complex even for a real matrix ◦ recall: if α = x + iy 2 C then α = x − iy is the conjugate let Cn be the space of (column) vectors with complex entries: 2v13 = 6 . -
Proquest Dissertations
RICE UNIVERSITY Magnetic Damping of an Elastic Conductor by Jeffrey M. Hokanson A THESIS SUBMITTED IN PARTIAL FULFILLMENT OF THE REQUIREMENTS FOR THE DEGREE Master of Arts APPROVED, THESIS COMMITTEE: IJU&_ Mark Embread Co-chair Associate Professor of Computational and Applied M/jmematics Steven J. Cox, (Co-chair Professor of Computational and Applied Mathematics David Damanik Associate Professor of Mathematics Houston, Texas April, 2009 UMI Number: 1466785 INFORMATION TO USERS The quality of this reproduction is dependent upon the quality of the copy submitted. Broken or indistinct print, colored or poor quality illustrations and photographs, print bleed-through, substandard margins, and improper alignment can adversely affect reproduction. In the unlikely event that the author did not send a complete manuscript and there are missing pages, these will be noted. Also, if unauthorized copyright material had to be removed, a note will indicate the deletion. UMI® UMI Microform 1466785 Copyright 2009 by ProQuest LLC All rights reserved. This microform edition is protected against unauthorized copying under Title 17, United States Code. ProQuest LLC 789 East Eisenhower Parkway P.O. Box 1346 Ann Arbor, Ml 48106-1346 ii ABSTRACT Magnetic Damping of an Elastic Conductor by Jeffrey M. Hokanson Many applications call for a design that maximizes the rate of energy decay. Typical problems of this class include one dimensional damped wave operators, where energy dissipation is caused by a damping operator acting on the velocity. Two damping operators are well understood: a multiplication operator (known as viscous damping) and a scaled Laplacian (known as Kelvin-Voigt damping). Paralleling the analysis of viscous damping, this thesis investigates energy decay for a novel third operator known as magnetic damping, where the damping is expressed via a rank-one self-adjoint operator, dependent on a function a. -
The Electromagnetic Spectrum
The Electromagnetic Spectrum Wavelength/frequency/energy MAP TAP 2003-2004 The Electromagnetic Spectrum 1 Teacher Page • Content: Physical Science—The Electromagnetic Spectrum • Grade Level: High School • Creator: Dorothy Walk • Curriculum Objectives: SC 1; Intro Phys/Chem IV.A (waves) MAP TAP 2003-2004 The Electromagnetic Spectrum 2 MAP TAP 2003-2004 The Electromagnetic Spectrum 3 What is it? • The electromagnetic spectrum is the complete spectrum or continuum of light including radio waves, infrared, visible light, ultraviolet light, X- rays and gamma rays • An electromagnetic wave consists of electric and magnetic fields which vibrates thus making waves. MAP TAP 2003-2004 The Electromagnetic Spectrum 4 Waves • Properties of waves include speed, frequency and wavelength • Speed (s), frequency (f) and wavelength (l) are related in the formula l x f = s • All light travels at a speed of 3 s 108 m/s in a vacuum MAP TAP 2003-2004 The Electromagnetic Spectrum 5 Wavelength, Frequency and Energy • Since all light travels at the same speed, wavelength and frequency have an indirect relationship. • Light with a short wavelength will have a high frequency and light with a long wavelength will have a low frequency. • Light with short wavelengths has high energy and long wavelength has low energy MAP TAP 2003-2004 The Electromagnetic Spectrum 6 MAP TAP 2003-2004 The Electromagnetic Spectrum 7 Radio waves • Low energy waves with long wavelengths • Includes FM, AM, radar and TV waves • Wavelengths of 10-1m and longer • Low frequency • Used in many -
Including Far Red in an LED Lighting Spectrum
technically speaking BY ERIK RUNKLE Including Far Red in an LED Lighting Spectrum Far red (FR) is a one of the radiation (or light) wavebands larger leaves can be desired for other crops. that regulates plant growth and development. Many people We have learned that blue light (and to a smaller extent, consider FR as radiation with wavelengths between 700 and total light intensity) can influence the effects of FR. When the 800 nm, although 700 to 750 nm is, by far, the most active. intensity of blue light is high, adding FR only slightly increases By definition, FR is just outside the photosynthetically active extension growth. Therefore, the utility of including FR in an radiation (PAR) waveband, but it can directly and indirectly indoor lighting spectrum is greater under lower intensities increase growth. In addition, it can accelerate of blue light. One compelling reason to deliver at least some flowering of some crops, especially long-day plants, FR light indoors is to induce early flowering of young plants, which are those that flower when the nights are short. especially long-day plants. As we learn more about the effects of FR on plants, growers sometimes wonder, is it beneficial to include FR in a light-emitting diode (LED) spectrum? "As the DLI increases, Not surprisingly, the answer is, it depends on the application and crop. In the May 2016 issue of GPN, I wrote about the the utility of FR in effects of FR on plant growth and flowering (https:// bit.ly/2YkxHCO). Briefly, leaf size and stem length photoperiodic lighting increase as the intensity of FR increases, although the magnitude depends on the crop and other characteristics of the light environment. -
The Notion of Observable and the Moment Problem for ∗-Algebras and Their GNS Representations
The notion of observable and the moment problem for ∗-algebras and their GNS representations Nicol`oDragoa, Valter Morettib Department of Mathematics, University of Trento, and INFN-TIFPA via Sommarive 14, I-38123 Povo (Trento), Italy. [email protected], [email protected] February, 17, 2020 Abstract We address some usually overlooked issues concerning the use of ∗-algebras in quantum theory and their physical interpretation. If A is a ∗-algebra describing a quantum system and ! : A ! C a state, we focus in particular on the interpretation of !(a) as expectation value for an algebraic observable a = a∗ 2 A, studying the problem of finding a probability n measure reproducing the moments f!(a )gn2N. This problem enjoys a close relation with the selfadjointness of the (in general only symmetric) operator π!(a) in the GNS representation of ! and thus it has important consequences for the interpretation of a as an observable. We n provide physical examples (also from QFT) where the moment problem for f!(a )gn2N does not admit a unique solution. To reduce this ambiguity, we consider the moment problem n ∗ (a) for the sequences f!b(a )gn2N, being b 2 A and !b(·) := !(b · b). Letting µ!b be a n solution of the moment problem for the sequence f!b(a )gn2N, we introduce a consistency (a) relation on the family fµ!b gb2A. We prove a 1-1 correspondence between consistent families (a) fµ!b gb2A and positive operator-valued measures (POVM) associated with the symmetric (a) operator π!(a). In particular there exists a unique consistent family of fµ!b gb2A if and only if π!(a) is maximally symmetric. -
Asymptotic Spectral Measures: Between Quantum Theory and E
Asymptotic Spectral Measures: Between Quantum Theory and E-theory Jody Trout Department of Mathematics Dartmouth College Hanover, NH 03755 Email: [email protected] Abstract— We review the relationship between positive of classical observables to the C∗-algebra of quantum operator-valued measures (POVMs) in quantum measurement observables. See the papers [12]–[14] and theB books [15], C∗ E theory and asymptotic morphisms in the -algebra -theory of [16] for more on the connections between operator algebra Connes and Higson. The theory of asymptotic spectral measures, as introduced by Martinez and Trout [1], is integrally related K-theory, E-theory, and quantization. to positive asymptotic morphisms on locally compact spaces In [1], Martinez and Trout showed that there is a fundamen- via an asymptotic Riesz Representation Theorem. Examples tal quantum-E-theory relationship by introducing the concept and applications to quantum physics, including quantum noise of an asymptotic spectral measure (ASM or asymptotic PVM) models, semiclassical limits, pure spin one-half systems and quantum information processing will also be discussed. A~ ~ :Σ ( ) { } ∈(0,1] →B H I. INTRODUCTION associated to a measurable space (X, Σ). (See Definition 4.1.) In the von Neumann Hilbert space model [2] of quantum Roughly, this is a continuous family of POV-measures which mechanics, quantum observables are modeled as self-adjoint are “asymptotically” projective (or quasiprojective) as ~ 0: → operators on the Hilbert space of states of the quantum system. ′ ′ A~(∆ ∆ ) A~(∆)A~(∆ ) 0 as ~ 0 The Spectral Theorem relates this theoretical view of a quan- ∩ − → → tum observable to the more operational one of a projection- for certain measurable sets ∆, ∆′ Σ. -
The Non–Symmetric Eigenvalue Problem
Chapter 4 of Calculus++: The Non{symmetric Eigenvalue Problem by Eric A Carlen Professor of Mathematics Georgia Tech c 2003 by the author, all rights reserved 1-1 Table of Contents Overview ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 1-3 Section 1: Schur factorization 1.1 The non{symmetric eigenvalue problem :::::::::::::::::::::::::::::::::::::: 1-4 1.2 What is the Schur factorization? ::::::::::::::::::::::::::::::::::::::::::::: 1-4 1.3 The 2 × 2 case ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 1-5 Section 2: Complex eigenvectors and the geometry of Cn 2.1 Why get complicated? ::::::::::::::::::::::::::::::::::::::::::::::::::::::: 1-8 2.2 Algebra and geometry in Cn ::::::::::::::::::::::::::::::::::::::::::::::::: 1-8 2.3 Unitary matrices :::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 1-11 2.4 Schur factorization in general ::::::::::::::::::::::::::::::::::::::::::::::: 1-11 Section: 3 Householder reflections 3.1 Reflection matrices ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::1-15 3.2 The n × n case ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::::1-17 3.3 Householder reflection matrices and the QR factorization :::::::::::::::::::: 1-19 3.4 The complex case ::::::::::::::::::::::::::::::::::::::::::::::::::::::::::: 1-23 Section: 4 The QR iteration 4.1 What the QR iteration is ::::::::::::::::::::::::::::::::::::::::::::::::::: 1-25 4.2 When and how QR iteration works :::::::::::::::::::::::::::::::::::::::::: 1-28 4.3 What to do when QR iteration