Zeta Functions and Regularized Determinants for Elliptic Operators. Elmar Schrohe Institut für Analysis
|
|
- Judith Bates
- 5 years ago
- Views:
Transcription
1 Zeta Functions and Regularized Determinants for Elliptic Operators Elmar Schrohe Institut für Analysis
2 PDE: The Sound of Drums How Things Started If you heard, in a dark room, two drums playing, a large one and a small one, you could probably distinguish the two: Both drums produce many different frequencies, but those of the smaller one are higher than those of the larger one. Question: Can you make this precise?
3 PDE: The Sound of Drums Ω R 2 smooth, bounded domain. (Elementary) Physics A membrane, held fixed at the boundary, is set in motion. Its vertical displacement u = u(x, t) (in the direction perpendicular to the membrane) satisfies the wave equation. Mathematical Formulation: A Boundary Value Problem Wave Equation: 2 t u u = 0 in Ω. Clenching: Dirichlet Boundary Condition: u Ω = 0.
4 PDE: The Sound of Drums Ω R 2 smooth, bounded domain. (Elementary) Physics A membrane, held fixed at the boundary, is set in motion. Its vertical displacement u = u(x, t) (in the direction perpendicular to the membrane) satisfies the wave equation. Mathematical Formulation: A Boundary Value Problem Wave Equation: 2 t u u = 0 in Ω. Clenching: Dirichlet Boundary Condition: u Ω = 0.
5 PDE: The Sound of Drums Separation Ansatz Find time harmonic solutions Pure tones Write u(x, t) = v(x)e iωt. Wave Equation: 2 t u u = 0 in Ω. Dirichlet Boundary Condition: ω 2 v(x)e iωt v(x)e iωt = 0. v Ω = 0. Eigenvalue Problem for the Dirichlet-Laplace Operator D Write λ = ω 2. Then we obtain the eigenvalue problem v = λv in Ω and v Ω = 0.
6 PDE: The Sound of Drums Separation Ansatz Find time harmonic solutions Pure tones Write u(x, t) = v(x)e iωt. Wave Equation: 2 t u u = 0 in Ω. Dirichlet Boundary Condition: ω 2 v(x)e iωt v(x)e iωt = 0. v Ω = 0. Eigenvalue Problem for the Dirichlet-Laplace Operator D Write λ = ω 2. Then we obtain the eigenvalue problem v = λv in Ω and v Ω = 0.
7 PDE: The Sound of Drums Separation Ansatz Find time harmonic solutions Pure tones Write u(x, t) = v(x)e iωt. Wave Equation: 2 t u u = 0 in Ω. Dirichlet Boundary Condition: ω 2 v(x)e iωt v(x)e iωt = 0. v Ω = 0. Eigenvalue Problem for the Dirichlet-Laplace Operator D Write λ = ω 2. Then we obtain the eigenvalue problem v = λv in Ω and v Ω = 0.
8 PDE: The Sound of Drums First Observation (Functional Analysis) There is an infinite number of eigenvalues. 0 < λ 1 < λ 2 λ 3... H.A. Lorentz Lorentz Conjecture On the occasion of a series of lectures in Göttingen in 1910, the Dutch physicist H.A. Lorentz stated the conjecture that λ k 2π vol Ω k.
9 PDE: The Sound of Drums The Conjecture λ k 2π vol Ω k. Hilbert s Opinion Supposedly Hilbert considered the problems to be very difficult and did not expect a solution during his lifetime.
10 PDE: The Sound of Drums The Conjecture λ k 2π vol Ω k. Weyl s Solution Only one year later, Hermann Weyl solved the problem. In fact, for a smooth bounded domain in R n λ k (2π)n ω n vol Ω k2/n as k, where ω n is the volume of the unit sphere in R n.
11 Extensions Weyl s Formula in n Dimensions λ k Weyl s formula provides a link between (2π)n ω n vol Ω k2/n (1) Analysis (namely the eigenvalues of the Laplace operator) and Geometry (namely the volume of the domain). It shows that one can hear the volume of a drum. Question: Can one hear more then just the volume? Or: Are there more terms for the asymptotic expansion (1)? In general, this is not possible, but:
12 Extensions Weyl s Formula in n Dimensions λ k Weyl s formula provides a link between (2π)n ω n vol Ω k2/n (1) Analysis (namely the eigenvalues of the Laplace operator) and Geometry (namely the volume of the domain). It shows that one can hear the volume of a drum. Question: Can one hear more then just the volume? Or: Are there more terms for the asymptotic expansion (1)? In general, this is not possible, but:
13 Zeta Functions and Heat Trace Expansions Partition Function ( Heat Trace ) Z(t) = e λ k t. Since λ k c n k 2/n : The sum converges for all t > 0. As the λ k are the eigenvalues of the Dirichlet Problem, we can write k=1 Z(t) = Tr(e t D ). Zeta Function ζ D (s) = Since λ k c n k 2/n : The sum converges for all Re s < n/2 and defines a holomorphic function in this half-plane. k=1 λ s k ζ D (s) = Tr(( D ) s ).
14 Example Laplacian on S 1 (no Boundary) On S 1, has the eigenfunctions e ikt, k Z, eigenvalues 0 with multiplicity 1, and 1, 4, 9..., with multiplicity 2. Thus ζ (s) = 2 k 2s = 2ζ( 2s) k=1 with the Riemann zeta function. Holomorphic for Re s < 1/2. Extends meromorphically to C. Simple pole in s = 1/2 Regular in s = 0.
15 Trace Expansions Asymptotic Expansion for the Partition Function As t 0 +, Tr e t D j=0 a j t j n 2, where the coefficients carry geometric information: a 0 volume of Ω a 1 volume of Ω a j, j 2 curvature terms. (Minakshisundaram&Pleijel, McKean&Singer, Gilkey,... )
16 Trace Expansions Meromorphic Extension of the Zeta Function ζ D extends to a meromorphic function on C: At most simple poles in the points s j = j n 2. No pole in s = 0. Residue in s j coincides with coefficient a j (up to universal factor). Connection L(Tr e t D )(s) = 0 t s 1 Tr(e t D )dt = Γ(s)ζ D ( s) i.e. the zeta function is up to sign and a Γ-factor the Laplace transform of the partition function. Indeed 0 t s 1 e tλ dt = λ s (λt) s 1 e λt d(λt) = λ s Γ(s). 0
17 Complex Powers Dunford Integral Let P be an unbounded operator in a Banach space with a ray of minimal growth, i.e. C does not intersect spec(p) R = {re iφ : r 0}, φ [0, 2π) (P λi ) 1 = O(λ 1 ) as λ. Define P s = i 2π C λ s (P λi ) 1 dλ, Re s < 0. C: From to re iφ, r > 0, along R. Clockwise about origin on S(0, r). Back to on R.
18 Complex Powers Properties of P s s P s is an analytic family of bounded operators P s P t = P s+t, Re s, Re t < 0. P 1 = P 1 (inverse of P). Define P s = { P s, Re s < 0 P k P s k, k integer, 1 Re s k < 0.
19 Pseudodifferential Operators (ψdo s) Fourier Transform on Rapidly Decreasing Functions Let f S(R n ), ξ R n. (Ff )(ξ) = ˆf (ξ) = (2π) n/2 e ixξ f (x) dx, f S(R n ) (F 1 f )(x) = (2π) n/2 e ixξ f (ξ) dξ, Fourier Transform and Differentiation F 1 ξ α Ff (x) = D α f (x) For P = α m a α(x)d α and p(x, ξ) = α m a α(x)ξ α, Pu(x) = (2π) n/2 e ixξ p(x, ξ)fu(ξ) dξ. ψdo s: Replace polynomial p by more general functions.
20 Pseudodifferential Operators (continued) Symbol Classes S µ = {p = p(x, ξ) C : D α ξ Dβ x p(x, ξ) = O((1 + ξ ) µ α ) } Definition: Symbol defines Operator p S µ defines the operator op p : S(R n ) S(R n ) by (op p)u(x) = (2π) n/2 e ixξ p(x, ξ)fu(ξ) dξ.
21 Pseudodifferential Operators (continued) Asymptotic Expansions p S µ has the asymptotic expansion p j=0 p µ j with symbols p µ j S µ j if, for each N, p j<n p µ j S µ N Classical Symbols p is classical, if p p µ j with p µ j S µ j positively homogeneous of degree µ j in ξ for all ξ 1, i.e. p µ j (x, tξ) = t µ j p(x, ξ), x R n, ξ R n, ξ 1, t 1. Theorem Given a sequence (p j ) j=0 with p j S µ j, there exists a symbol p S µ such that p p j.
22 Pseudodifferential Operators (continued) Theorem: Composition Let p and q be symbols of orders µ 1 and µ 2. Then op p op q is a ψdo with a symbol r S µ 1+µ 2. It has the asymptotic expansion r(x, ξ) α 1 α! α ξ p(x, ξ)dα x q(x, ξ) Write: r = p#q. If p and q are classical, then so is p#q.
23 Pseudodifferential Operators (continued) Ellipticity A classical p p µ j S µ is elliptic of order µ, if p µ (x, ξ) is invertible for x R n, ξ = 1. Theorem: Parametrices If p S µ is classical and elliptic, then there exists q S µ with p#q 1 and q#p 1. q is also classical and elliptic of order µ. q is called a parametrix to p.
24 Pseudodifferential Operators (continued) Let X be a closed manifold, dim X = n. Definition: ψdo s on Manifolds An operator P : C (X ) C (X ) is a ψdo of order µ on X, provided that, in all local coordinates, it can be written as a ψdo on R n with a symbol in S µ. Theorem: Mapping Properties If P is a ψdo of order µ, then P extends to a bounded operator for each s R. Properties of Sobolev Spaces P : H s (X ) H s µ (X ) H s (X ) H t (X ) is compact for s > t. H s (X ) H t (X ) is trace class for s t > n.
25 Seeley s Construction of Complex Powers The Situation X closed manifold of dimension n P ψdo of order µ > 0, classical, elliptic Local symbols p p µ j Assume p µ has a ray R of minimal growth: p µ (x, ξ) λ is invertible for all x, ξ, ξ 1, λ R and the inverse is O(λ 1 ). The Plan Define local symbols q = q(x, ξ; λ), depending on λ R, with an asymptotic expansion q(x, ξ; λ) q µ j (x, ξ; λ) such that q(x, ξ; λ)(p(x, ξ) λ) 1.
26 Parametrix Construction The plan requires that q µ (x, ξ, λ) = (p µ (x, ξ) λ) 1 q µ j (x, ξ, λ) = 1 α! α ξ q µ k(x, ξ, λ) D α x p µ l (x, ξ)(p µ (x, ξ) λ) 1, j = 1, 2,..., where the sum extends over all α, k and l such that k + l + α = j and k < j.
27 Parametrix Construction q µ j is a linear combination of terms of the form (p µ λ) 1 α 1 ξ β 1 with Moreover x p µ k1 (p µ λ) 1... αr k k r + α α r = j. ξ βr x p µ kr (p µ λ) 1 q µ j (x, tξ, t µ λ) = t µ j q µ α j (x, ξ, λ).
28 Parametrix Construction Theorem We then find a symbol q = q(x, ξ; λ) with q q µ j. These local symbols can be patched to a parameter-dependent pseudodifferential operator Q(λ) on X such that Q(λ)(P λ) I = R 1 (λ) where R 1 is of arbitrarily negative order and R 1 (λ) = O(λ 1 ) as λ on the ray R, say in L(L 2 (X )). Similarly, one obtains Q(λ) with (P λ) Q(λ) I = R 2 (λ) R 2 (λ) = O(λ 1 ) as λ.
29 Parametrix Construction Corollary (P λ) 1 exists for large λ on R and is O(λ 1 ). (P λ) 1 Q(λ) = O(λ 2 ). (P λ) 1 Q(λ) is of arbitrarily negative order.
30 Complex Powers P s = i 2π C λ s (P λi ) 1 dλ, Re s < 0. (P λi ) 1 Q(λ) is of arbitrarily negative order. Recall Q(λ) has local symbol q(x, ξ; λ) q µ j (x, ξ; λ). Hence (P λ) 1 is a ψdo with same expansion as Q(λ). Theorem P s is a ψdo of order µ Re s. Its symbol p (s) has an expansion p (s) (x, ξ) c j (x, ξ; s), where c j (x, ξ; s) = 1 λ s q µ j (x, ξ; λ) dλ, 2πi C
31 Complex Powers Homogeneity Substituting λ = t µ σ and using the homogeneity c j (x, tξ; s) = i λ s q µ j (x, tξ; λ) dλ 2π C = t µs+µ i σ s q µ j (x, tξ, t µ σ) dσ 2π C = t µs+µ µ j i σ s q µ j (x, ξ, σ) dσ 2π C = t µs j c j (x, ξ; s). Note that the deformation of the contour is irrelevant as λ q(x, ξ; λ) is holomorphic in the area in between.
32 Pseudodifferential Operators and Their Trace Let r S m (R n R n ) for some m < n. Then (op r)u(x) = (2π) n/2 e ixξ r(x, ξ)fu(ξ)dξ = (2π) n e i(x y)ξ r(x, ξ)u(y)dydξ = k(x, y)u(y)dy, where k(x, y) = (2π) n e i(x y)ξ r(x, ξ)dξ. The integral exists, since m < n and defines a continuous function k. If r has compact support in x, then op r is trace class and Tr(op r) = k(x, x)dx.
33 The Trace of P s P s is a ψdo of order µ Re s. Hence it is trace class for Re s < n/µ. Moreover P s is a holomorphic operator family. We therefore easily obtain the first part of Theorem s Tr(P s ) is a holomorphic function on Re s < n/µ. It extends to a meromorphic function on C with at most simple poles in s j = (j n)/µ. s = 0 never is a pole.
34 Idea of the Proof The local symbols p (s) have the asymptotic expansion p (s) (x, ξ) c j (x, ξ; s). The function k j (x, x; s) associated with c j (x, ξ; s) is k j (x, x; s) = (2π) n c j (x, ξ; s)dξ. We split the integral into the part, where ξ 1 and where ξ 1. The integral over ξ 1 gives an entire function of s no contribution to the singularities. We only have to consider the integral over ξ 1.
35 Idea of the Proof For ξ 1, we have c j (x, tξ; s) = t µs j c(x, ξ; s) Using polar coordinates c j (x, ξ; s)dξ = c j (x, tη)t n 1 ds(η)dt ξ 1 = = 1 S c j (x, η)ds(η) t µs j+n 1 dt S 1 1 c j (x, η)t n 1 ds(η) µs j + n So we obtain at most a simple pole in s j = (j n)/µ. It is more work to show that the residue at s = 0 vanishes. S
36 Regularized Determinant Matrices Suppose P is a selfadjoint (n n)-matrix with positive eigenvalues λ 1,..., λ n. Then n det P = λ k, k=1 Since dλ s /ds = λ s ln λ, this yields ln det P = ln λ k = d ds λ s k = d s=0 ds Tr P s. s=0 Ray-Singer Regularized Determinant (1971) P be an unbounded operator on Hilbert space; Tr P s exists for Re s << 0, has a meromorphic extension to C, regular at s = 0. Then define ( ) d det P = exp ds Tr P s. s=0
Lectures in Noncommutative Geometry Seminar 2005 TRACE FUNCTIONALS AND TRACE DEFECT FORMULAS...
Lectures in Noncommutative Geometry Seminar 2005 TRACE FUNCTIONALS AND TRACE DEFECT FORMULAS... I. Traces on classical ψdo s. We consider: X compact boundaryless n-dimensional manifold (closed). E hermitian
More informationThe spectral zeta function
The spectral zeta function Bernd Ammann June 4, 215 Abstract In this talk we introduce spectral zeta functions. The spectral zeta function of the Laplace-Beltrami operator was already introduced by Minakshisundaram
More informationNew residue definitions arising from zeta values for boundary
New residue definitions arising from zeta values for boundary value problems Gerd Grubb Copenhagen University September 16, 2008 Introduction Closed manifolds Manifolds with boundary The noncommutative
More informationSpectral Zeta Functions and Gauss-Bonnet Theorems in Noncommutative Geometry
Spectral Zeta Functions and Gauss-Bonnet Theorems in Noncommutative Geometry Masoud Khalkhali (joint work with Farzad Fathizadeh) Masoud Khalkhali (joint work with Farzad Fathizadeh) Spectral Zeta () Functions
More informationIntroduction to Index Theory. Elmar Schrohe Institut für Analysis
Introduction to Index Theory Elmar Schrohe Institut für Analysis Basics Background In analysis and pde, you want to solve equations. In good cases: Linearize, end up with Au = f, where A L(E, F ) is a
More informationBFK-gluing formula for zeta-determinants of Laplacians and a warped product metric
BFK-gluing formula for zeta-determinants of Laplacians and a warped product metric Yoonweon Lee (Inha University, Korea) Geometric and Singular Analysis Potsdam University February 20-24, 2017 (Joint work
More informationHeat Kernel Asymptotics on Manifolds
Heat Kernel Asymptotics on Manifolds Ivan Avramidi New Mexico Tech Motivation Evolution Eqs (Heat transfer, Diffusion) Quantum Theory and Statistical Physics (Partition Function, Correlation Functions)
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 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 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 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 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 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 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 informationSpectral Functions for Regular Sturm-Liouville Problems
Spectral Functions for Regular Sturm-Liouville Problems Guglielmo Fucci Department of Mathematics East Carolina University May 15, 13 Regular One-dimensional Sturm-Liouville Problems Let I = [, 1 R, and
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 informationBoundary problems for fractional Laplacians and other mu-transmission operators
Boundary roblems for fractional Lalacians and other mu-transmission oerators Gerd Grubb Coenhagen University Geometry and Analysis Seminar June 20, 2014 Introduction Consider P a equal to ( ) a or to A
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 informationSpectral theory of first order elliptic systems
Spectral theory of first order elliptic systems Dmitri Vassiliev (University College London) 24 May 2013 Conference Complex Analysis & Dynamical Systems VI Nahariya, Israel 1 Typical problem in my subject
More informationCounting stationary modes: a discrete view of geometry and dynamics
Counting stationary modes: a discrete view of geometry and dynamics Stéphane Nonnenmacher Institut de Physique Théorique, CEA Saclay September 20th, 2012 Weyl Law at 100, Fields Institute Outline A (sketchy)
More informationSpectral functions of subordinated Brownian motion
Spectral functions of subordinated Brownian motion M.A. Fahrenwaldt 12 1 Institut für Mathematische Stochastik Leibniz Universität Hannover, Germany 2 EBZ Business School, Bochum, Germany Berlin, 23 October
More informationDixmier s trace for boundary value problems
manuscripta math. 96, 23 28 (998) c Springer-Verlag 998 Ryszard Nest Elmar Schrohe Dixmier s trace for boundary value problems Received: 3 January 998 Abstract. Let X be a smooth manifold with boundary
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 informationDeterminant of the Schrödinger Operator on a Metric Graph
Contemporary Mathematics Volume 00, XXXX Determinant of the Schrödinger Operator on a Metric Graph Leonid Friedlander Abstract. In the paper, we derive a formula for computing the determinant of a Schrödinger
More informationIndex theory on manifolds with corners: Generalized Gauss-Bonnet formulas
Index theory on singular manifolds I p. 1/4 Index theory on singular manifolds I Index theory on manifolds with corners: Generalized Gauss-Bonnet formulas Paul Loya Index theory on singular manifolds I
More informationMath212a Lecture 5 Applications of the spectral theorem for compact self-adjoint operators, 2. Gårding s inequality and its conseque
Math212a Lecture 5 Applications of the spectral theorem for compact self-adjoint operators, 2. Gårding s inequality and its consequences. September 16, 2014 1 Review of Sobolev spaces. Distributions and
More informationWeyl Law at 101. Masoud Khalkhali Colloquium, UWO, 2012
Weyl Law at 101 Masoud Khalkhali Colloquium, UWO, 2012 Figure: Sun s Spectrum; notice the black lines AX = λx Dramatis Personae: Physics: Planck, Einstein, Lorentz, Sommerfeld, among others; quantum mechanics
More informationNotes for Elliptic operators
Notes for 18.117 Elliptic operators 1 Differential operators on R n Let U be an open subset of R n and let D k be the differential operator, 1 1 x k. For every multi-index, α = α 1,...,α n, we define A
More informationHEAT KERNEL EXPANSIONS IN THE CASE OF CONIC SINGULARITIES
HEAT KERNEL EXPANSIONS IN THE CASE OF CONIC SINGULARITIES ROBERT SEELEY January 29, 2003 Abstract For positive elliptic differential operators, the asymptotic expansion of the heat trace tr(e t ) and its
More informationComplex manifolds, Kahler metrics, differential and harmonic forms
Complex manifolds, Kahler metrics, differential and harmonic forms Cattani June 16, 2010 1 Lecture 1 Definition 1.1 (Complex Manifold). A complex manifold is a manifold with coordinates holomorphic on
More informationInvariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem
PETER B. GILKEY Department of Mathematics, University of Oregon Invariance Theory, the Heat Equation, and the Atiyah-Singer Index Theorem Second Edition CRC PRESS Boca Raton Ann Arbor London Tokyo Contents
More informationNotes on the Riemann Zeta Function
Notes on the Riemann Zeta Function March 9, 5 The Zeta Function. Definition and Analyticity The Riemann zeta function is defined for Re(s) > as follows: ζ(s) = n n s. The fact that this function is analytic
More informationThe oblique derivative problem for general elliptic systems in Lipschitz domains
M. MITREA The oblique derivative problem for general elliptic systems in Lipschitz domains Let M be a smooth, oriented, connected, compact, boundaryless manifold of real dimension m, and let T M and T
More informationA Survey of Inverse Spectral Results
A Survey of Inverse Spectral Results Ivana Alexandrova Riemannian Geometry Spring 2000 The existence of the Laplace-Beltrami operator has allowed mathematicians to carry out Fourier analysis on Riemannian
More informationOn the BCOV Conjecture
Department of Mathematics University of California, Irvine December 14, 2007 Mirror Symmetry The objects to study By Mirror Symmetry, for any CY threefold, there should be another CY threefold X, called
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 informationGRADUATE MATHEMATICS COURSES, FALL 2018
GRADUATE MATHEMATICS COURSES, FALL 2018 Math 5043: Introduction to Numerical Analysis MW 9:00 10:20 Prof. D. Szyld During the first semester of this course, the student is introduced to basic concepts
More informationDeterminant of the Schrödinger Operator on a Metric Graph, by Leonid Friedlander, University of Arizona. 1. Introduction
Determinant of the Schrödinger Operator on a Metric Graph, by Leonid Friedlander, University of Arizona 1. Introduction Let G be a metric graph. This means that each edge of G is being considered as a
More informationMeromorphic continuation of zeta functions associated to elliptic operators
Meromorphic continuation of zeta functions associated to elliptic operators Nigel Higson November 9, 006 Abstract We give a new proof of the meromorphic continuation property of zeta functions associated
More information1 The functional equation for ζ
18.785: Analytic Number Theory, MIT, spring 27 (K.S. Kedlaya) The functional equation for the Riemann zeta function In this unit, we establish the functional equation property for the Riemann zeta function,
More informationLEGENDRE POLYNOMIALS AND APPLICATIONS. We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.
LEGENDRE POLYNOMIALS AND APPLICATIONS We construct Legendre polynomials and apply them to solve Dirichlet problems in spherical coordinates.. Legendre equation: series solutions The Legendre equation is
More informationAn inverse source problem in optical molecular imaging
An inverse source problem in optical molecular imaging Plamen Stefanov 1 Gunther Uhlmann 2 1 2 University of Washington Formulation Direct Problem Singular Operators Inverse Problem Proof Conclusion Figure:
More information1 + z 1 x (2x y)e x2 xy. xe x2 xy. x x3 e x, lim x log(x). (3 + i) 2 17i + 1. = 1 2e + e 2 = cosh(1) 1 + i, 2 + 3i, 13 exp i arctan
Complex Analysis I MT333P Problems/Homework Recommended Reading: Bak Newman: Complex Analysis Springer Conway: Functions of One Complex Variable Springer Ahlfors: Complex Analysis McGraw-Hill Jaenich:
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 informationMiroslav Engliš. (Ω) possesses a reproducing kernel the Bergman kernel B(x, y) of Ω; namely, B(, y) L 2 hol
BOUNDARY SINGULARITY OF POISSON AND HARMONIC BERGMAN KERNELS Miroslav Engliš Abstract. We give a complete description of the boundary behaviour of the Poisson kernel and the harmonic Bergman kernel of
More informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
More informationEstimates for the resolvent and spectral gaps for non self-adjoint operators. University Bordeaux
for the resolvent and spectral gaps for non self-adjoint operators 1 / 29 Estimates for the resolvent and spectral gaps for non self-adjoint operators Vesselin Petkov University Bordeaux Mathematics Days
More informationON THE SINGULARITIES OF THE ZETA AND ETA FUNCTIONS OF AN ELLIPTIC OPERATOR
ON THE SINGULARITIES OF THE ZETA AND ETA FUNCTIONS OF AN ELLIPTIC OPERATOR PAUL LOYA, SERGIU MOROIANU, AND RAPHAËL PONGE Abstract. Let P be a selfadoint elliptic operator of order m > 0 acting on the sections
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 informationTHE SELBERG TRACE FORMULA OF COMPACT RIEMANN SURFACES
THE SELBERG TRACE FORMULA OF COMPACT RIEMANN SURFACES IGOR PROKHORENKOV 1. Introduction to the Selberg Trace Formula This is a talk about the paper H. P. McKean: Selberg s Trace Formula as applied to a
More informationMATH 311: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE
MATH 3: COMPLEX ANALYSIS CONTOUR INTEGRALS LECTURE Recall the Residue Theorem: Let be a simple closed loop, traversed counterclockwise. Let f be a function that is analytic on and meromorphic inside. Then
More informationk=0 /D : S + S /D = K 1 2 (3.5) consistently with the relation (1.75) and the Riemann-Roch-Hirzebruch-Atiyah-Singer index formula
20 VASILY PESTUN 3. Lecture: Grothendieck-Riemann-Roch-Hirzebruch-Atiyah-Singer Index theorems 3.. Index for a holomorphic vector bundle. For a holomorphic vector bundle E over a complex variety of dim
More information7 Planar systems of linear ODE
7 Planar systems of linear ODE Here I restrict my attention to a very special class of autonomous ODE: linear ODE with constant coefficients This is arguably the only class of ODE for which explicit solution
More informationFINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016
FINITE GROUPS AND EQUATIONS OVER FINITE FIELDS A PROBLEM SET FOR ARIZONA WINTER SCHOOL 2016 PREPARED BY SHABNAM AKHTARI Introduction and Notations The problems in Part I are related to Andrew Sutherland
More informationShort note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique
Short note on compact operators - Monday 24 th March, 2014 Sylvester Eriksson-Bique 1 Introduction In this note I will give a short outline about the structure theory of compact operators. I restrict attention
More informationVariations on Quantum Ergodic Theorems. Michael Taylor
Notes available on my website, under Downloadable Lecture Notes 8. Seminar talks and AMS talks See also 4. Spectral theory 7. Quantum mechanics connections Basic quantization: a function on phase space
More informationSpectral Triples on the Sierpinski Gasket
Spectral Triples on the Sierpinski Gasket Fabio Cipriani Dipartimento di Matematica Politecnico di Milano - Italy ( Joint works with D. Guido, T. Isola, J.-L. Sauvageot ) AMS Meeting "Analysis, Probability
More information17 The functional equation
18.785 Number theory I Fall 16 Lecture #17 11/8/16 17 The functional equation In the previous lecture we proved that the iemann zeta function ζ(s) has an Euler product and an analytic continuation to the
More informationi=1 α i. Given an m-times continuously
1 Fundamentals 1.1 Classification and characteristics Let Ω R d, d N, d 2, be an open set and α = (α 1,, α d ) T N d 0, N 0 := N {0}, a multiindex with α := d i=1 α i. Given an m-times continuously differentiable
More informationSome Mathematical and Physical Background
Some Mathematical and Physical Background Linear partial differential operators Let H be a second-order, elliptic, self-adjoint PDO, on scalar functions, in a d-dimensional region Prototypical categories
More informationSpectral Geometry. Bruno Iochum. Centre de Physique Théorique Aix Marseille Univ, Université de Toulon, CNRS, CPT, Marseille, France
Spectral Geometry arxiv:72.05945v [math-ph] 6 Dec 207 Bruno Iochum Centre de Physique Théorique Aix Marseille Univ, Université de Toulon, CNRS, CPT, Marseille, France Notes of lectures delivered at the
More information1 Distributions (due January 22, 2009)
Distributions (due January 22, 29). The distribution derivative of the locally integrable function ln( x ) is the principal value distribution /x. We know that, φ = lim φ(x) dx. x ɛ x Show that x, φ =
More informationDirac Operator. Göttingen Mathematical Institute. Paul Baum Penn State 6 February, 2017
Dirac Operator Göttingen Mathematical Institute Paul Baum Penn State 6 February, 2017 Five lectures: 1. Dirac operator 2. Atiyah-Singer revisited 3. What is K-homology? 4. The Riemann-Roch theorem 5. K-theory
More informationA review: The Laplacian and the d Alembertian. j=1
Chapter One A review: The Laplacian and the d Alembertian 1.1 THE LAPLACIAN One of the main goals of this course is to understand well the solution of wave equation both in Euclidean space and on manifolds
More informationPROBLEMS IN UNBOUNDED CYLINDRICAL DOMAINS
PROBLEMS IN UNBOUNDED CYLINDRICAL DOMAINS PATRICK GUIDOTTI Mathematics Department, University of California, Patrick Guidotti, 103 Multipurpose Science and Technology Bldg, Irvine, CA 92697, USA 1. Introduction
More informationNoncommutative Geometry. Nigel Higson Penn State University
Noncommutative Geometry Nigel Higson Penn State University Noncommutative Geometry Alain Connes 1 What is Noncommutative Geometry? Geometric spaces approached through their algebras of functions. The spaces
More informationScientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1
Scientific Computing WS 2018/2019 Lecture 15 Jürgen Fuhrmann juergen.fuhrmann@wias-berlin.de Lecture 15 Slide 1 Lecture 15 Slide 2 Problems with strong formulation Writing the PDE with divergence and gradient
More information4 Sobolev spaces, trace theorem and normal derivative
4 Sobolev spaces, trace theorem and normal derivative Throughout, n will be a sufficiently smooth, bounded domain. We use the standard Sobolev spaces H 0 ( n ) := L 2 ( n ), H 0 () := L 2 (), H k ( n ),
More informationApplications of elliptic operator theory to the isotropic interior transmission eigenvalue problem
arxiv:1212.6785v4 [math-ph] 24 Oct 2013 Applications of elliptic operator theory to the isotropic interior transmission eigenvalue problem E.Lakshtanov B.Vainberg Abstract The paper concerns the isotropic
More informationBianchi IX Cosmologies, Spectral Action, and Modular Forms
Bianchi IX Cosmologies, Spectral Action, and Modular Forms Matilde Marcolli, Ma148 Spring 2016 Topics in Mathematical Physics References: Wentao Fan, Farzad Fathizadeh, Matilde Marcolli, Spectral Action
More informationUNIQUENESS OF TRACES ON LOG-POLYHOMOGENEOUS PDOS
Author manuscript, published in "Journal of the Australian Mathematical Society 90, 2 (2011) 171-181" DOI : 10.1017/S1446788711001194 UNIQUENESS OF TRACES ON LOG-POLYHOMOGENEOUS PDOS C. DUCOURTIOUX and
More informationThe Local Index Formula in Noncommutative Geometry
The Local Index Formula in Noncommutative Geometry Nigel Higson Pennsylvania State University, University Park, Pennsylvania, USA (Dedicated to H. Bass on the occasion of his 70th birthday) Lectures given
More informationHerbert Stahl s proof of the BMV conjecture
Herbert Stahl s proof of the BMV conjecture A. Eremenko August 25, 203 Theorem. Let A and B be two n n Hermitian matrices, where B is positive semi-definite. Then the function is absolutely monotone, that
More informationProblem 1A. Calculus. Problem 3A. Real analysis. f(x) = 0 x = 0.
Problem A. Calculus Find the length of the spiral given in polar coordinates by r = e θ, < θ 0. Solution: The length is 0 θ= ds where by Pythagoras ds = dr 2 + (rdθ) 2 = dθ 2e θ, so the length is 0 2e
More informationKernel approximation, elliptic PDE and boundary effects
Kernel approximation, elliptic PDE and boundary effects Thomas Hangelbroek University of Hawaii at Manoa Schloss Rauischholzhausen, 2016 work supported by: NSF DMS-1413726 Surface Spline Approximation
More informationTwo special equations: Bessel s and Legendre s equations. p Fourier-Bessel and Fourier-Legendre series. p
LECTURE 1 Table of Contents Two special equations: Bessel s and Legendre s equations. p. 259-268. Fourier-Bessel and Fourier-Legendre series. p. 453-460. Boundary value problems in other coordinate system.
More informationSpectral theory of differential operators: what s it all about and what is its use
Spectral theory of differential operators: what s it all about and what is its use Dmitri Vassiliev University College London 19 January 2018 Basic example of a problem in my subject area Acoustic resonator.
More informationOrdinary Differential Equations II
Ordinary Differential Equations II February 23 2017 Separation of variables Wave eq. (PDE) 2 u t (t, x) = 2 u 2 c2 (t, x), x2 c > 0 constant. Describes small vibrations in a homogeneous string. u(t, x)
More informationA SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY
A SHARP STABILITY ESTIMATE IN TENSOR TOMOGRAPHY PLAMEN STEFANOV 1. Introduction Let (M, g) be a compact Riemannian manifold with boundary. The geodesic ray transform I of symmetric 2-tensor fields f is
More informationPART IV Spectral Methods
PART IV Spectral Methods Additional References: R. Peyret, Spectral methods for incompressible viscous flow, Springer (2002), B. Mercier, An introduction to the numerical analysis of spectral methods,
More informationWave equation on manifolds and finite speed of propagation
Wave equation on manifolds and finite speed of propagation Ethan Y. Jaffe Let M be a Riemannian manifold (without boundary), and let be the (negative of) the Laplace-Beltrami operator. In this note, we
More informationζ (s) = s 1 s {u} [u] ζ (s) = s 0 u 1+sdu, {u} Note how the integral runs from 0 and not 1.
Problem Sheet 3. From Theorem 3. we have ζ (s) = + s s {u} u+sdu, (45) valid for Res > 0. i) Deduce that for Res >. [u] ζ (s) = s u +sdu ote the integral contains [u] in place of {u}. ii) Deduce that for
More informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More informationAri Laptev and Timo Weidl. Department of Mathematics Royal Institute of Technology SE Stockholm Sweden
RECENT RESULTS ON LIEB-THIRRING INEQUALITIES Ari Laptev and Timo Weidl Department of Mathematics Royal Institute of Technology SE-10044 Stockholm Sweden laptev@math.kth.se weidl@math.kth.se June 3, 2000
More informationIntroduction to Mathematical Physics
Introduction to Mathematical Physics Methods and Concepts Second Edition Chun Wa Wong Department of Physics and Astronomy University of California Los Angeles OXFORD UNIVERSITY PRESS Contents 1 Vectors
More informationDiscontinuous Galerkin methods for fractional diffusion problems
Discontinuous Galerkin methods for fractional diffusion problems Bill McLean Kassem Mustapha School of Maths and Stats, University of NSW KFUPM, Dhahran Leipzig, 7 October, 2010 Outline Sub-diffusion Equation
More informationA new class of pseudodifferential operators with mixed homogenities
A new class of pseudodifferential operators with mixed homogenities Po-Lam Yung University of Oxford Jan 20, 2014 Introduction Given a smooth distribution of hyperplanes on R N (or more generally on a
More informationLECTURE 5: THE METHOD OF STATIONARY PHASE
LECTURE 5: THE METHOD OF STATIONARY PHASE Some notions.. A crash course on Fourier transform For j =,, n, j = x j. D j = i j. For any multi-index α = (α,, α n ) N n. α = α + + α n. α! = α! α n!. x α =
More informationLinear Algebra 2 More on determinants and Evalues Exercises and Thanksgiving Activities
Linear Algebra 2 More on determinants and Evalues Exercises and Thanksgiving Activities 2. Determinant of a linear transformation, change of basis. In the solution set of Homework 1, New Series, I included
More informationComplex Analysis Important Concepts
Complex Analysis Important Concepts Travis Askham April 1, 2012 Contents 1 Complex Differentiation 2 1.1 Definition and Characterization.............................. 2 1.2 Examples..........................................
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 informationPartial Differential Equations
Partial Differential Equations T. W. Körner after Joshi and Wassermann October 12, 2002 Small print These notes are a digest of much more complete notes by M. S. Joshi and A. J. Wassermann which are also
More informationSYMMETRIZED TRACE AND SYMMETRIZED DETERMINANT OF ODD CLASS PSEUDO-DIFFERENTIAL OPERATORS
SYMMETRIZED TRACE AND SYMMETRIZED DETERMINANT OF ODD CLASS PSEUDO-DIFFERENTIAL OPERATORS MAXIM BRAVERMAN Abstract. We introduce a new canonical trace on odd class logarithmic pseudo-differential operators
More informationAnalytic number theory for probabilists
Analytic number theory for probabilists E. Kowalski ETH Zürich 27 October 2008 Je crois que je l ai su tout de suite : je partirais sur le Zéta, ce serait mon navire Argo, celui qui me conduirait à la
More informationCourse Description for Real Analysis, Math 156
Course Description for Real Analysis, Math 156 In this class, we will study elliptic PDE, Fourier analysis, and dispersive PDE. Here is a quick summary of the topics will study study. They re described
More informationLECTURE III Asymmetric Simple Exclusion Process: Bethe Ansatz Approach to the Kolmogorov Equations. Craig A. Tracy UC Davis
LECTURE III Asymmetric Simple Exclusion Process: Bethe Ansatz Approach to the Kolmogorov Equations Craig A. Tracy UC Davis Bielefeld, August 2013 ASEP on Integer Lattice q p suppressed both suppressed
More informationMATH3383. Quantum Mechanics. Appendix D: Hermite Equation; Orthogonal Polynomials
MATH3383. Quantum Mechanics. Appendix D: Hermite Equation; Orthogonal Polynomials. Hermite Equation In the study of the eigenvalue problem of the Hamiltonian for the quantum harmonic oscillator we have
More informationNotes by Maksim Maydanskiy.
SPECTRAL FLOW IN MORSE THEORY. 1 Introduction Notes by Maksim Maydanskiy. Spectral flow is a general formula or computing the Fredholm index of an operator d ds +A(s) : L1,2 (R, H) L 2 (R, H) for a family
More informationSINC PACK, and Separation of Variables
SINC PACK, and Separation of Variables Frank Stenger Abstract This talk consists of a proof of part of Stenger s SINC-PACK computer package (an approx. 400-page tutorial + about 250 Matlab programs) that
More informationMA 412 Complex Analysis Final Exam
MA 4 Complex Analysis Final Exam Summer II Session, August 9, 00.. Find all the values of ( 8i) /3. Sketch the solutions. Answer: We start by writing 8i in polar form and then we ll compute the cubic root:
More information