Part 2 Introduction to Microlocal Analysis
|
|
- Ashley Hines
- 5 years ago
- Views:
Transcription
1 Part 2 Introduction to Microlocal Analysis Birsen Yazıcı & Venky Krishnan Rensselaer Polytechnic Institute Electrical, Computer and Systems Engineering August 2 nd, 2010
2 Outline PART II Pseudodifferential (ψdos) and Fourier Integral Operators (FIOs) Definitions Motivation for the study of FIOs and ψdos Symbols/Amplitudes/Filters Propagation of singularities Singular support Wavefront Sets Method of Stationary Phase Effect of ψdos and FIOs on Singular Support and Wavefront Sets Inversion of FIOs Canonical Relations Construction of Filters Conclusion B. Yazıcı & V. Krishnan 2
3 Outline PART II ψdo and FIO Definitions Motivation for the study of FIOs and ψdos Symbols/Amplitudes/Filters Propagation of singularities Singular support Wavefront Sets Method of Stationary Phase Effect of ψdos and FIOs on Singular Support and Wavefront Sets Inversion of FIOs Canonical Relations Construction of Filters Conclusion B. Yazıcı & V. Krishnan 3
4 Definition The Radon Transform Fourier slice theorem θ Radon transform is an FIO p B. Yazıcı & V. Krishnan 4
5 ψdos and FIOs General integral representations: ψdos: FIOs: Phase function Symbols/Amplitudes/Filters Output variable Frequency variable Input variable B. Yazıcı & V. Krishnan 5
6 Motivation for study of FIOs Measured data in several imaging problems in the form of Exact determination of often not possible. Inhomogeneities in the medium carry much information. Reconstruct the inhomogeneities (modeled as singularities or sharp changes of ) FIOs propagate singularities in specific ways. Inversion of FIOs reconstructs the singularities of the medium. B. Yazıcı & V. Krishnan 6
7 Symbol of a PDE Linear partial differential operators: Symbol of the PDE B. Yazıcı & V. Krishnan 7
8 Estimates for the Symbol - Polynomial in Let and be any multi-indexes. For in a bounded subset Differentiation with respect to degree of the polynomial does not change the Differentiation with respect to the polynomial. lowers the degree of B. Yazıcı & V. Krishnan 8
9 Symbols for ψdos and FIOs Consider that satisfy the estimate Behave like polynomials or inverse of polynomials in as grows or decays in powers of. Differentiation with respect to lowers the order of growth or increases the order of decay. Symbol of order. The order need not be an integer. Needed for the method of stationary phase/high frequency approximations. B. Yazıcı & V. Krishnan 9
10 Symbols - Examples Symbol - Not a symbol where is a smooth function. Not a symbol B. Yazıcı & V. Krishnan 10
11 Pseudodifferential Operators A pseudodifferential operator of order satisfies the amplitude estimate phase term, highly oscillating B. Yazıcı & V. Krishnan 11
12 Pseudodifferential Operators - Examples Linear partial differential operators Operator Time-invariant filters in signal processing Time-invariant filters Approx. by a rational polynomial of degree m B. Yazıcı & V. Krishnan 12
13 Pseudodifferential Operators - Examples If is a time-varying convolution: In the Fourier domain Approx. by a rational polynomial with time-varying coefficients of order m This is a pseudodifferential operator. B. Yazıcı & V. Krishnan 13
14 Fourier Integral Operators Operators more general than DOs. More general phase function. Phase function retains the essential properties of that of PseudoDOs. One important difference: Dimensions of can be all different Example: Radon transform: B. Yazıcı & V. Krishnan 14
15 Phase Function of FIOs Phase function should satisfy the following properties: Real-valued and smooth in Homogeneous of order 1 in and are nonzero vectors for B. Yazıcı & V. Krishnan 15
16 Fourier Integral Operators Fourier integral operators: satisfies properties of a phase function satisfies estimates B. Yazıcı & V. Krishnan 16
17 Outline PART II ψdo and FIO Definitions Motivation for the study of FIOs and ψdos Symbols/Amplitudes/Filters Propagation of singularities Singular support Wavefront Sets Method of Stationary Phase Effect of ψdos and FIOs on Singular Support and Wavefront Sets Inversion of FIOs Canonical Relations Construction of Filters Conclusion B. Yazıcı & V. Krishnan 17
18 Singular Support The set of points where a function is not smooth Not smooth not infinitely differentiable The set of non-smooth points singular support Notation: Singular points Singular support of is B. Yazıcı & V. Krishnan 18
19 Singular Support - Examples Consider the square S on the plane : Let be the function: is the boundary of the square. B. Yazıcı & V. Krishnan 19
20 Singular Support - Examples Consider the function on the plane: First order derivatives exist. Higher order derivatives do not exist at points on the unit circle. B. Yazıcı & V. Krishnan 20
21 Wavefront Sets Wavefront sets Directions of singularity at the location of a singularity Smoothness of a function corresponds to decay of its Fourier transform Localize a function near the location of a singularity and consider the localized Fourier transform Microlocal information Consider directions in which the localized Fourier transform does not decay B. Yazıcı & V. Krishnan 21
22 Wavefront Sets Windowing function Function with a fold singularity Windowed function localizing a singular point Localization The two functions are multiplied Fourier transform in this direction Not a singular direction. Behavior of the directional Fourier transform Singular directions are characterized based on the behavior of the localized Fourier transform. B. Yazıcı & V. Krishnan 22
23 Windowing function Function with a fold singularity Windowed function localizing a singular point Localization Wavefront Sets The two functions are multiplied Fourier transform in this direction Singular directions. Singular directions are characterized based on the behavior of the localized Fourier transform. B. Yazıcı & V. Krishnan 23
24 Wavefront Sets a location of singularity for a function and consider a direction is microlocally smooth near if the localized Fourier transform decays rapidly The complement of the set of points near which is microlocally smooth is called the wavefront set of Denoted B. Yazıcı & V. Krishnan 24
25 Wavefront Sets-Examples Left figure Circle in red is the singular support of Right figure- Arrows indicate the wavefront set directions at points belonging to B. Yazıcı & V. Krishnan 25
26 Wavefront Sets-Examples Left figure Square in red is the singular support of Right figure- Arrows indicate the wavefront set directions at points belonging to B. Yazıcı & V. Krishnan 26
27 Propagation of Singularities Goal Understand how a PseudoDO or an FIO carries the singularities of to or. This singularity does not appear in the output space This singularity appears in three places in the output space B. Yazıcı & V. Krishnan 27
28 Method of Stationary Phase Expansion for certain oscillatory integrals of the form Conditions: a critical point: Critical point is non-degenerate: B. Yazıcı & V. Krishnan 28
29 Method of Stationary Phase Near the origin the function stays positive. Hence nonzero contribution to the integral. B. Yazıcı & V. Krishnan 29
30 Method of Stationary Phase Asymptotic expansion for the integral The first term in the asymptotic expansion n - Dimension of the integral Special case of the stationary phase method sgn Difference of the number of positive and negative eigenvalues B. Yazıcı & V. Krishnan 30
31 Method of Stationary Phase - Application Relation between amplitudes and symbols of PseudoDOs. Using MSP: B. Yazıcı & V. Krishnan 31
32 Effect of ψdos on Singular Support Goal: Understand the effect of ψdo on the singular support of a function What is the relation between and? Important tools: Amplitude estimates Method of stationary phase B. Yazıcı & V. Krishnan 32
33 Effect of ψdos on Singular Support Kernel representation for a ψdo: Use the method of stationary phase for this kernel B. Yazıcı & V. Krishnan 33
34 Effect of ψdos on Singular Support Derivative with respect to the frequency variable: For no stationary points Kernel is smooth in the complement of the set: The relation: B. Yazıcı & V. Krishnan 34
35 Effect of FIOs on Singular Support Kernel representation for FIOs Kernel of FIO B. Yazıcı & V. Krishnan 35
36 Effect of FIOs on Singular Support Use the method of stationary phase: The major contribution to comes from the set of points The relationship: B. Yazıcı & V. Krishnan 36
37 Effect of FIOs on Singular Support- Example Forward model for SAI: Phase function: The singularities of the kernel lie in B. Yazıcı & V. Krishnan 37
38 Effect of FIOs on Singular Support- Example Based on the relation between singular supports: If a point, the singularity at could propagate to (some or all of) Obtain a precise description of how propagation of singularities occur. B. Yazıcı & V. Krishnan 38
39 Effect of ψdos and FIOs on Wavefront Sets Let be a PseudoDO Let be an FIO B. Yazıcı & V. Krishnan 39
40 SAI Example - Revisited Phase function in SAI: Hat Unit vector H denotes projection on to the ground. Doppler B. Yazıcı & V. Krishnan 40
41 SAI Example - Revisited This wavefront set direction is not propagated to the data B. Yazıcı & V. Krishnan 41
42 Outline PART II ψdo and FIO Definitions Motivation for the study of FIOs and ψdos Symbols/Amplitudes/Filters Propagation of singularities Singular support Wavefront Sets Method of Stationary Phase Effect of ψdos and FIOs on Singular Support and Wavefront Sets Inversion of FIOs Canonical Relations Construction of Filters Conclusion B. Yazıcı & V. Krishnan 42
43 Canonical Relations Recall Kernel for ψdos: Kernel for FIOs: Canonical Relations Wavefront sets of the kernels of ψdos and FIOs B. Yazıcı & V. Krishnan 43
44 Canonical Relations Treat kernels as functions: Wavefront set of the kernel of PseudoDO: Wavefront set of input data Wavefront set of the kernel of FIO: Wavefront set of output data Criticality condition in SPM B. Yazıcı & V. Krishnan 44
45 Canonical Relations The wavefront set relation for PseudoDOs reinterpreted as The wavefront set relation for FIOs reinterpreted as Interpreted as composition of relations B. Yazıcı & V. Krishnan 45
46 Composition of Relations If and If and B. Yazıcı & V. Krishnan 46
47 Hörmander-Sato Lemma Consider two FIOs: with canonical relation and with canonical relation. Hörmander-Sato Lemma: Analyze propagation of singularities or wavefront sets using this lemma B. Yazıcı & V. Krishnan 47
48 Inversion of FIOs Construct approximate inverse of Choose so that the location and orientation of the singularities are preserved Microlocal Analysis If is a pseudo-differential operator preserves location and orientation of singularities Analyze propagation of singularities /wavefront sets B. Yazıcı & V. Krishnan 48
49 Inversion of FIOs To choose such that is a PseudoDO: is the L 2 -adjoint (backprojection operator). is a PseudoDO. Reconstructs the singularities at the correct location and orientation. Will not reconstruct at the right strength. Design a filter to reconstruct singularities at the right strength. B. Yazıcı & V. Krishnan 49
50 Construction of Filters Consider a PseudoDO Find another ψdo Choose such that B. Yazıcı & V. Krishnan 50
51 Construction of Filters Kernel representation for the composition: Choose such that The composition in terms of symbols: B. Yazıcı & V. Krishnan 51
52 Construction of Filters Using SPM: Set Let where in are homogeneous of decreasing order B. Yazıcı & V. Krishnan 52
53 Construction of Filters Iteratively determine etc B. Yazıcı & V. Krishnan 53
54 Conclusion Several wave-based imaging problems Data models are FIOs Inhomogeneities of a medium modeled as singularities Singularities Wavefront Set (location and orientation) Pseudodifferential operators and Fourier integral operators propagate wavefront sets in specific ways Back propagation Reconstructs the singularities at the right location and orientation An appropriate choice of filter reconstructs the singularities at the right strength B. Yazıcı & V. Krishnan 54
Part 2 Introduction to Microlocal Analysis
Part 2 Introduction to Microlocal Analysis Birsen Yazıcı& Venky Krishnan Rensselaer Polytechnic Institute Electrical, Computer and Systems Engineering March 15 th, 2010 Outline PART II Pseudodifferential(ψDOs)
More informationLECTURES ON MICROLOCAL CHARACTERIZATIONS IN LIMITED-ANGLE
LECTURES ON MICROLOCAL CHARACTERIZATIONS IN LIMITED-ANGLE TOMOGRAPHY Jürgen Frikel 4 LECTURES 1 Nov. 11: Introduction to the mathematics of computerized tomography 2 Today: Introduction to the basic concepts
More informationEQ: What are limits, and how do we find them? Finite limits as x ± Horizontal Asymptote. Example Horizontal Asymptote
Finite limits as x ± The symbol for infinity ( ) does not represent a real number. We use to describe the behavior of a function when the values in its domain or range outgrow all finite bounds. For example,
More information(i) Represent discrete-time signals using transform. (ii) Understand the relationship between transform and discrete-time Fourier transform
z Transform Chapter Intended Learning Outcomes: (i) Represent discrete-time signals using transform (ii) Understand the relationship between transform and discrete-time Fourier transform (iii) Understand
More informationHölder regularity estimation by Hart Smith and Curvelet transforms
Hölder regularity estimation by Hart Smith and Curvelet transforms Jouni Sampo Lappeenranta University Of Technology Department of Mathematics and Physics Finland 18th September 2007 This research is done
More informationLecture 19 IIR Filters
Lecture 19 IIR Filters Fundamentals of Digital Signal Processing Spring, 2012 Wei-Ta Chu 2012/5/10 1 General IIR Difference Equation IIR system: infinite-impulse response system The most general class
More informationMicrolocal Analysis : a short introduction
Microlocal Analysis : a short introduction Plamen Stefanov Purdue University Mini Course, Fields Institute, 2012 Plamen Stefanov (Purdue University ) Microlocal Analysis : a short introduction 1 / 25 Introduction
More informationAn inverse scattering problem in random media
An inverse scattering problem in random media Pedro Caro Joint work with: Tapio Helin & Matti Lassas Computational and Analytic Problems in Spectral Theory June 8, 2016 Outline Introduction and motivation
More informationMICROLOCAL ANALYSIS METHODS
MICROLOCAL ANALYSIS METHODS PLAMEN STEFANOV One of the fundamental ideas of classical analysis is a thorough study of functions near a point, i.e., locally. Microlocal analysis, loosely speaking, is analysis
More informationMicrolocal Methods in X-ray Tomography
Microlocal Methods in X-ray Tomography Plamen Stefanov Purdue University Lecture I: Euclidean X-ray tomography Mini Course, Fields Institute, 2012 Plamen Stefanov (Purdue University ) Microlocal Methods
More informationChapter Intended Learning Outcomes: (i) Understanding the relationship between transform and the Fourier transform for discrete-time signals
z Transform Chapter Intended Learning Outcomes: (i) Understanding the relationship between transform and the Fourier transform for discrete-time signals (ii) Understanding the characteristics and properties
More informationSEMICLASSICAL LAGRANGIAN DISTRIBUTIONS
SEMICLASSICAL LAGRANGIAN DISTRIBUTIONS SEMYON DYATLOV Abstract. These are (rather sloppy) notes for the talk given in UC Berkeley in March 2012, attempting to explain the global theory of semiclassical
More informationThe Schrödinger propagator for scattering metrics
The Schrödinger propagator for scattering metrics Andrew Hassell (Australian National University) joint work with Jared Wunsch (Northwestern) MSRI, May 5-9, 2003 http://arxiv.org/math.ap/0301341 1 Schrödinger
More informationSharp estimates for a class of hyperbolic pseudo-differential equations
Results in Math., 41 (2002), 361-368. Sharp estimates for a class of hyperbolic pseudo-differential equations Michael Ruzhansky Abstract In this paper we consider the Cauchy problem for a class of hyperbolic
More informationLecture 2: Some basic principles of the b-calculus
Lecture 2: Some basic principles of the b-calculus Daniel Grieser (Carl von Ossietzky Universität Oldenburg) September 20, 2012 Summer School Singular Analysis Daniel Grieser (Oldenburg) Lecture 2: Some
More informationGabor Deconvolution. Gary Margrave and Michael Lamoureux
Gabor Deconvolution Gary Margrave and Michael Lamoureux = Outline The Gabor idea The continuous Gabor transform The discrete Gabor transform A nonstationary trace model Gabor deconvolution Examples = Gabor
More informationMultiplication of Distributions
Multiplication of Distributions Christian Brouder Institut de Minéralogie, de Physique des Matériaux et de Cosmochimie UPMC, Paris quantum field theory Feynman diagram x 2 x 3 x 1 x 4 x 5 x 6 G x 7 Feynman
More informationElliptic Regularity. Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n.
Elliptic Regularity Throughout we assume all vector bundles are smooth bundles with metrics over a Riemannian manifold X n. 1 Review of Hodge Theory In this note I outline the proof of the following Fundamental
More informationGeneralized Functions Theory and Technique Second Edition
Ram P. Kanwal Generalized Functions Theory and Technique Second Edition Birkhauser Boston Basel Berlin Contents Preface to the Second Edition x Chapter 1. The Dirac Delta Function and Delta Sequences 1
More informationTopics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality
Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Po-Lam Yung The Chinese University of Hong Kong Introduction While multiplier operators are very useful in studying
More informationIntroduction to Biomedical Engineering
Introduction to Biomedical Engineering Biosignal processing Kung-Bin Sung 6/11/2007 1 Outline Chapter 10: Biosignal processing Characteristics of biosignals Frequency domain representation and analysis
More informationFractional order operators on bounded domains
on bounded domains Gerd Grubb Copenhagen University Geometry seminar, Stanford University September 23, 2015 1. Fractional-order pseudodifferential operators A prominent example of a fractional-order pseudodifferential
More informationCS 179: LECTURE 16 MODEL COMPLEXITY, REGULARIZATION, AND CONVOLUTIONAL NETS
CS 179: LECTURE 16 MODEL COMPLEXITY, REGULARIZATION, AND CONVOLUTIONAL NETS LAST TIME Intro to cudnn Deep neural nets using cublas and cudnn TODAY Building a better model for image classification Overfitting
More informationGabor multipliers for pseudodifferential operators and wavefield propagators
Gabor multipliers for pseudodifferential operators and wavefield propagators Michael P. Lamoureux, Gary F. Margrave and Peter C. Gibson ABSTRACT Gabor multipliers We summarize some applications of Gabor
More informationHyperbolic Component Boundaries
Hyperbolic Component Boundaries John Milnor Stony Brook University Gyeongju, August 23, 2014 Revised version. The conjectures on page 16 were problematic, and have been corrected. The Problem Hyperbolic
More informationAutomatic Control Systems theory overview (discrete time systems)
Automatic Control Systems theory overview (discrete time systems) Prof. Luca Bascetta (luca.bascetta@polimi.it) Politecnico di Milano Dipartimento di Elettronica, Informazione e Bioingegneria Motivations
More informationMultidimensional partitions of unity and Gaussian terrains
and Gaussian terrains Richard A. Bale, Jeff P. Grossman, Gary F. Margrave, and Michael P. Lamoureu ABSTRACT Partitions of unity play an important rôle as amplitude-preserving windows for nonstationary
More informationPolynomial Approximation: The Fourier System
Polynomial Approximation: The Fourier System Charles B. I. Chilaka CASA Seminar 17th October, 2007 Outline 1 Introduction and problem formulation 2 The continuous Fourier expansion 3 The discrete Fourier
More informationThe Fractional Fourier Transform with Applications in Optics and Signal Processing
* The Fractional Fourier Transform with Applications in Optics and Signal Processing Haldun M. Ozaktas Bilkent University, Ankara, Turkey Zeev Zalevsky Tel Aviv University, Tel Aviv, Israel M. Alper Kutay
More informationEigenvalues and Eigenvectors
LECTURE 3 Eigenvalues and Eigenvectors Definition 3.. Let A be an n n matrix. The eigenvalue-eigenvector problem for A is the problem of finding numbers λ and vectors v R 3 such that Av = λv. If λ, v are
More informationSelf-similar solutions for classical heat-conduction mechanisms
Self-similar solutions for classical heat-conduction mechanisms Imre Ferenc Barna 1 2 & Robert Kersner 1) KFKI Atomic Energy Research Institute of the Hungarian Academy of Sciences 2) University of Pécs,
More informationMB-JASS D Reconstruction. Hannes Hofmann March 2006
MB-JASS 2006 2-D Reconstruction Hannes Hofmann 19 29 March 2006 Outline Projections Radon Transform Fourier-Slice-Theorem Filtered Backprojection Ramp Filter 19 29 Mar 2006 Hannes Hofmann 2 Parallel Projections
More informationPartial Differential Equations
Partial Differential Equations Analytical Solution Techniques J. Kevorkian University of Washington Wadsworth & Brooks/Cole Advanced Books & Software Pacific Grove, California C H A P T E R 1 The Diffusion
More informationSimplifying Rational Expressions and Functions
Department of Mathematics Grossmont College October 15, 2012 Recall: The Number Types Definition The set of whole numbers, ={0, 1, 2, 3, 4,...} is the set of natural numbers unioned with zero, written
More informationPage 404. Lecture 22: Simple Harmonic Oscillator: Energy Basis Date Given: 2008/11/19 Date Revised: 2008/11/19
Page 404 Lecture : Simple Harmonic Oscillator: Energy Basis Date Given: 008/11/19 Date Revised: 008/11/19 Coordinate Basis Section 6. The One-Dimensional Simple Harmonic Oscillator: Coordinate Basis Page
More informationSPREADING OF LAGRANGIAN REGULARITY ON RATIONAL INVARIANT TORI
SPREADING OF LAGRANGIAN REGULARITY ON RATIONAL INVARIANT TORI JARED WUNSCH Abstract. Let P h be a self-adjoint semiclassical pseudodifferential operator on a manifold M such that the bicharacteristic flow
More information2.2. Limits Involving Infinity. Copyright 2007 Pearson Education, Inc. Publishing as Pearson Prentice Hall
2.2 Limits Involving Infinity Copyright 2007 Pearson Education, Inc. Publishing as Pearson Prentice Hall Finite Limits as x ± What you ll learn about Sandwich Theorem Revisited Infinite Limits as x a End
More informationCan There Be a General Theory of Fourier Integral Operators?
Can There Be a General Theory of Fourier Integral Operators? Allan Greenleaf University of Rochester Conference on Inverse Problems in Honor of Gunther Uhlmann UC, Irvine June 21, 2012 How I started working
More informationDecoupling of modes for the elastic wave equation in media of limited smoothness
Decoupling of modes for the elastic wave equation in media of limited smoothness Valeriy Brytik 1 Maarten V. de Hoop 1 Hart F. Smith Gunther Uhlmann September, 1 1 Center for Computational and Applied
More information2 The Fourier Transform
2 The Fourier Transform The Fourier transform decomposes a signal defined on an infinite time interval into a λ-frequency component, where λ can be any real(or even complex) number. 2.1 Informal Development
More informationContents Introduction and Review Boundary Behavior The Heisenberg Group Analysis on the Heisenberg Group
Contents 1 Introduction and Review... 1 1.1 Harmonic Analysis on the Disc... 1 1.1.1 The Boundary Behavior of Holomorphic Functions... 4 Exercises... 15 2 Boundary Behavior... 19 2.1 The Modern Era...
More informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationSpectral Processing. Misha Kazhdan
Spectral Processing Misha Kazhdan [Taubin, 1995] A Signal Processing Approach to Fair Surface Design [Desbrun, et al., 1999] Implicit Fairing of Arbitrary Meshes [Vallet and Levy, 2008] Spectral Geometry
More informationApplications of microlocal analysis to some hyperbolic inverse problems
Purdue University Purdue e-pubs Open Access Dissertations Theses and Dissertations Spring 2015 Applications of microlocal analysis to some hyperbolic inverse problems Andrew J Homan Purdue University Follow
More informationTraces and Determinants of
Traces and Determinants of Pseudodifferential Operators Simon Scott King's College London OXFORD UNIVERSITY PRESS CONTENTS INTRODUCTION 1 1 Traces 7 1.1 Definition and uniqueness of a trace 7 1.1.1 Traces
More informationUniformly accurate averaging numerical schemes for oscillatory evolution equations
Uniformly accurate averaging numerical schemes for oscillatory evolution equations Philippe Chartier University of Rennes, INRIA Joint work with M. Lemou (University of Rennes-CNRS), F. Méhats (University
More informationChapter 12. The cross ratio Klein s Erlanger program The projective line. Math 4520, Fall 2017
Chapter 12 The cross ratio Math 4520, Fall 2017 We have studied the collineations of a projective plane, the automorphisms of the underlying field, the linear functions of Affine geometry, etc. We have
More informationLinear Algebra. Min Yan
Linear Algebra Min Yan January 2, 2018 2 Contents 1 Vector Space 7 1.1 Definition................................. 7 1.1.1 Axioms of Vector Space..................... 7 1.1.2 Consequence of Axiom......................
More informationAn Introduction to Filterbank Frames
An Introduction to Filterbank Frames Brody Dylan Johnson St. Louis University October 19, 2010 Brody Dylan Johnson (St. Louis University) An Introduction to Filterbank Frames October 19, 2010 1 / 34 Overview
More informationNotation. 0,1,2,, 1 with addition and multiplication modulo
Notation Q,, The set of all natural numbers 1,2,3, The set of all integers The set of all rational numbers The set of all real numbers The group of permutations of distinct symbols 0,1,2,,1 with addition
More informationIn these chapter 2A notes write vectors in boldface to reduce the ambiguity of the notation.
1 2 Linear Systems In these chapter 2A notes write vectors in boldface to reduce the ambiguity of the notation 21 Matrix ODEs Let and is a scalar A linear function satisfies Linear superposition ) Linear
More informationON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS
Bendikov, A. and Saloff-Coste, L. Osaka J. Math. 4 (5), 677 7 ON THE REGULARITY OF SAMPLE PATHS OF SUB-ELLIPTIC DIFFUSIONS ON MANIFOLDS ALEXANDER BENDIKOV and LAURENT SALOFF-COSTE (Received March 4, 4)
More informationMIT (Spring 2014)
18.311 MIT (Spring 014) Rodolfo R. Rosales May 6, 014. Problem Set # 08. Due: Last day of lectures. IMPORTANT: Turn in the regular and the special problems stapled in two SEPARATE packages. Print your
More informationA Walking Tour of Microlocal Analysis
A Walking Tour of Microlocal Analysis Jeff Schonert August 10, 2006 Abstract We summarize some of the basic principles of microlocal analysis and their applications. After reviewing distributions, we then
More informationNOTES FOR CARDIFF LECTURES ON MICROLOCAL ANALYSIS
NOTES FOR CARDIFF LECTURES ON MICROLOCAL ANALYSIS JARED WUNSCH Note that these lectures overlap with Alex s to a degree, to ensure a smooth handoff between lecturers! Our notation is mostly, but not completely,
More information5.3 The Upper Half Plane
Remark. Combining Schwarz Lemma with the map g α, we can obtain some inequalities of analytic maps f : D D. For example, if z D and w = f(z) D, then the composition h := g w f g z satisfies the condition
More informationRobustly transitive diffeomorphisms
Robustly transitive diffeomorphisms Todd Fisher tfisher@math.byu.edu Department of Mathematics, Brigham Young University Summer School, Chengdu, China 2009 Dynamical systems The setting for a dynamical
More informationWhen is the single-scattering approximation valid? Allan Greenleaf
When is the single-scattering approximation valid? Allan Greenleaf University of Rochester, USA Mathematical and Computational Aspects of Radar Imaging ICERM October 17, 2017 Partially supported by DMS-1362271,
More informationTitle Project Summary
Title Project Summary The aim of the project is an estimation theory of those special functions of analysis called zeta functions after the zeta function of Euler (1730). The desired estimates generalize
More informationSeismic inverse scattering by reverse time migration
Seismic inverse scattering by reverse time migration Chris Stolk 1, Tim Op t Root 2, Maarten de Hoop 3 1 University of Amsterdam 2 University of Twente 3 Purdue University MSRI Inverse Problems Seminar,
More informationNonuniqueness in Anisotropic Traveltime Tomography under the Radon Transform Approximation. Bill Menke, December 2017 and January 2018
Nonuniqueness in Anisotropic Traveltime Tomography under the Radon Transform Approximation Bill Menke, December 2017 and January 2018 (This work follows up upon my 2015 BSSA paper on the same subject).
More informationRepresentation theory and quantum mechanics tutorial Spin and the hydrogen atom
Representation theory and quantum mechanics tutorial Spin and the hydrogen atom Justin Campbell August 3, 2017 1 Representations of SU 2 and SO 3 (R) 1.1 The following observation is long overdue. Proposition
More information8. Diagonalization.
8. Diagonalization 8.1. Matrix Representations of Linear Transformations Matrix of A Linear Operator with Respect to A Basis We know that every linear transformation T: R n R m has an associated standard
More informationIntroduction to the z-transform
z-transforms and applications Introduction to the z-transform The z-transform is useful for the manipulation of discrete data sequences and has acquired a new significance in the formulation and analysis
More informationA system that is both linear and time-invariant is called linear time-invariant (LTI).
The Cooper Union Department of Electrical Engineering ECE111 Signal Processing & Systems Analysis Lecture Notes: Time, Frequency & Transform Domains February 28, 2012 Signals & Systems Signals are mapped
More informationElements of linear algebra
Elements of linear algebra Elements of linear algebra A vector space S is a set (numbers, vectors, functions) which has addition and scalar multiplication defined, so that the linear combination c 1 v
More informationBrief notes on Fourier Transform MSRI 18th 24th July 2009
Brief notes on Fourier Transform MSRI 18th 24th July 2009 P. Kuchment Contents 1 Some linear algebra 2 2 Fourier series 2 2.1 Fourier series expansions....................... 2 2.2 Properties of Fourier
More informationLocal smoothing and Strichartz estimates for manifolds with degenerate hyperbolic trapping
Local smoothing and Strichartz estimates for manifolds with degenerate hyperbolic trapping H. Christianson partly joint work with J. Wunsch (Northwestern) Department of Mathematics University of North
More informationResearch Article Attracting Periodic Cycles for an Optimal Fourth-Order Nonlinear Solver
Abstract and Applied Analysis Volume 01, Article ID 63893, 8 pages doi:10.1155/01/63893 Research Article Attracting Periodic Cycles for an Optimal Fourth-Order Nonlinear Solver Mi Young Lee and Changbum
More informationBoundary problems for fractional Laplacians
Boundary problems for fractional Laplacians Gerd Grubb Copenhagen University Spectral Theory Workshop University of Kent April 14 17, 2014 Introduction The fractional Laplacian ( ) a, 0 < a < 1, has attracted
More informationSINGULARITY DETECTION AND PROCESSING WITH WAVELETS
SINGULARITY DETECTION AND PROCESSING WITH WAVELETS Stephane Mallat and Wen Liang Hwang Courant Institute of Mathematical Sciences New York University, New York, NY 10012 Technical Report March 1991 Abstract
More informationIntroduction to analysis on manifolds with corners
Introduction to analysis on manifolds with corners Daniel Grieser (Carl von Ossietzky Universität Oldenburg) June 19, 20 and 21, 2017 Summer School and Workshop The Sen conjecture and beyond, UCL Daniel
More informationALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA
ALGEBRA QUALIFYING EXAM PROBLEMS LINEAR ALGEBRA Kent State University Department of Mathematical Sciences Compiled and Maintained by Donald L. White Version: August 29, 2017 CONTENTS LINEAR ALGEBRA AND
More informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
More informationSolutions to Practice Final
s to Practice Final 1. (a) What is φ(0 100 ) where φ is Euler s φ-function? (b) Find an integer x such that 140x 1 (mod 01). Hint: gcd(140, 01) = 7. (a) φ(0 100 ) = φ(4 100 5 100 ) = φ( 00 5 100 ) = (
More informationS. Marmorat (POEMS - INRIA Rocquencourt) F. Collino (CERFACS) J.-D. Benamou (POEMS - INRIA Rocquencourt)
Numerical MicroLocal Analysis (NMLA) S. Marmorat (POEMS - INRIA Rocquencourt) F. Collino (CERFACS) J.-D. Benamou (POEMS - INRIA Rocquencourt) Given frequency domain wave data, the proposed algorithm gives
More informationLecture 9 February 2, 2016
MATH 262/CME 372: Applied Fourier Analysis and Winter 26 Elements of Modern Signal Processing Lecture 9 February 2, 26 Prof. Emmanuel Candes Scribe: Carlos A. Sing-Long, Edited by E. Bates Outline Agenda:
More informationFast Algorithms for the Computation of Oscillatory Integrals
Fast Algorithms for the Computation of Oscillatory Integrals Emmanuel Candès California Institute of Technology EPSRC Symposium Capstone Conference Warwick Mathematics Institute, July 2009 Collaborators
More informationEigenvalues and eigenfunctions of the Laplacian. Andrew Hassell
Eigenvalues and eigenfunctions of the Laplacian Andrew Hassell 1 2 The setting In this talk I will consider the Laplace operator,, on various geometric spaces M. Here, M will be either a bounded Euclidean
More informationAPPLIED PARTIM DIFFERENTIAL EQUATIONS with Fourier Series and Boundary Value Problems
APPLIED PARTIM DIFFERENTIAL EQUATIONS with Fourier Series and Boundary Value Problems Fourth Edition Richard Haberman Department of Mathematics Southern Methodist University PEARSON Prentice Hall PEARSON
More informationTHERMO AND PHOTOACOUSTIC TOMOGRAPHY WITH VARIABLE SPEED AND PLANAR DETECTORS
THERMO AND PHOTOACOUSTIC TOMOGRAPHY WITH VARIABLE SPEED AND PLANAR DETECTORS PLAMEN STEFANOV AND YANG YANG Abstract. We analyze the mathematical model of multiwave tomography with a variable speed with
More informationTitle. Statistical behaviour of optical vortex fields. F. Stef Roux. CSIR National Laser Centre, South Africa
. p.1/37 Title Statistical behaviour of optical vortex fields F. Stef Roux CSIR National Laser Centre, South Africa Colloquium presented at School of Physics National University of Ireland Galway, Ireland
More informationFINITE-DIMENSIONAL LINEAR ALGEBRA
DISCRETE MATHEMATICS AND ITS APPLICATIONS Series Editor KENNETH H ROSEN FINITE-DIMENSIONAL LINEAR ALGEBRA Mark S Gockenbach Michigan Technological University Houghton, USA CRC Press Taylor & Francis Croup
More informationMagnetic wells in dimension three
Magnetic wells in dimension three Yuri A. Kordyukov joint with Bernard Helffer & Nicolas Raymond & San Vũ Ngọc Magnetic Fields and Semiclassical Analysis Rennes, May 21, 2015 Yuri A. Kordyukov (Ufa) Magnetic
More informationClassical Fourier Analysis
Loukas Grafakos Classical Fourier Analysis Second Edition 4y Springer 1 IP Spaces and Interpolation 1 1.1 V and Weak IP 1 1.1.1 The Distribution Function 2 1.1.2 Convergence in Measure 5 1.1.3 A First
More informationChapter 1. Introduction
Chapter 1 Introduction In a seismic experiment one tries to obtain information about the subsurface from measurements at the surface, using elastic waves. To this end elastic waves in the subsurface are
More informationZeta Functions and Regularized Determinants for Elliptic Operators. Elmar Schrohe Institut für Analysis
Zeta Functions and Regularized Determinants for Elliptic Operators Elmar Schrohe Institut für Analysis PDE: The Sound of Drums How Things Started If you heard, in a dark room, two drums playing, a large
More informationApproximation by Conditionally Positive Definite Functions with Finitely Many Centers
Approximation by Conditionally Positive Definite Functions with Finitely Many Centers Jungho Yoon Abstract. The theory of interpolation by using conditionally positive definite function provides optimal
More informationThe Klein-Gordon equation
Lecture 8 The Klein-Gordon equation WS2010/11: Introduction to Nuclear and Particle Physics The bosons in field theory Bosons with spin 0 scalar (or pseudo-scalar) meson fields canonical field quantization
More informationFractional Index Theory
Fractional Index Theory Index a ( + ) = Z Â(Z ) Q Workshop on Geometry and Lie Groups The University of Hong Kong Institute of Mathematical Research 26 March 2011 Mathai Varghese School of Mathematical
More informationHardy martingales and Jensen s Inequality
Hardy martingales and Jensen s Inequality Nakhlé H. Asmar and Stephen J. Montgomery Smith Department of Mathematics University of Missouri Columbia Columbia, Missouri 65211 U. S. A. Abstract Hardy martingales
More informationCHAPTER 6 Quantum Mechanics II
CHAPTER 6 Quantum Mechanics II 6.1 6.2 6.3 6.4 6.5 6.6 6.7 The Schrödinger Wave Equation Expectation Values Infinite Square-Well Potential Finite Square-Well Potential Three-Dimensional Infinite-Potential
More informationA Banach Gelfand Triple Framework for Regularization and App
A Banach Gelfand Triple Framework for Regularization and Hans G. Feichtinger 1 hans.feichtinger@univie.ac.at December 5, 2008 1 Work partially supported by EUCETIFA and MOHAWI Hans G. Feichtinger hans.feichtinger@univie.ac.at
More informationTyn Myint-U Lokenath Debnath. Linear Partial Differential Equations for Scientists and Engineers. Fourth Edition. Birkhauser Boston Basel Berlin
Tyn Myint-U Lokenath Debnath Linear Partial Differential Equations for Scientists and Engineers Fourth Edition Birkhauser Boston Basel Berlin Preface to the Fourth Edition Preface to the Third Edition
More informationLAURENT SERIES AND SINGULARITIES
LAURENT SERIES AND SINGULARITIES Introduction So far we have studied analytic functions Locally, such functions are represented by power series Globally, the bounded ones are constant, the ones that get
More informationNonlinear Stationary Subdivision
Nonlinear Stationary Subdivision Michael S. Floater SINTEF P. O. Box 4 Blindern, 034 Oslo, Norway E-mail: michael.floater@math.sintef.no Charles A. Micchelli IBM Corporation T.J. Watson Research Center
More informationarxiv: v1 [math.cv] 18 Aug 2015
arxiv:508.04376v [math.cv] 8 Aug 205 Saddle-point integration of C bump functions Steven G. Johnson, MIT Applied Mathematics Created November 23, 2006; updated August 9, 205 Abstract This technical note
More informationImage amplitudes in reverse time migration/inversion
Image amplitudes in reverse time migration/inversion Chris Stolk 1, Tim Op t Root 2, Maarten de Hoop 3 1 University of Amsterdam 2 University of Twente 3 Purdue University TRIP Seminar, October 6, 2010
More informationSharp Gårding inequality on compact Lie groups.
15-19.10.2012, ESI, Wien, Phase space methods for pseudo-differential operators Ville Turunen, Aalto University, Finland (ville.turunen@aalto.fi) M. Ruzhansky, V. Turunen: Sharp Gårding inequality on compact
More informationLecture 9 Nonlinear Control Design. Course Outline. Exact linearization: example [one-link robot] Exact Feedback Linearization
Lecture 9 Nonlinear Control Design Course Outline Eact-linearization Lyapunov-based design Lab Adaptive control Sliding modes control Literature: [Khalil, ch.s 13, 14.1,14.] and [Glad-Ljung,ch.17] Lecture
More information