Spectral Geometry of Riemann Surfaces
|
|
- Alice Jones
- 6 years ago
- Views:
Transcription
1 Spectral Geometry of Riemann Surfaces These are rough notes on Spectral Geometry and their application to hyperbolic riemann surfaces. They are based on Buser s text Geometry and Spectra of Compact Riemann Surfaces and Chavel s Eigenvalues in Riemannian Geometry. 1 Preliminaries We will generally take to be an m-dimensional closed, connected manifold. The Laplacian is the differential operator most simply defined as = div grad In geodesic coordinates it can be rewritten in the following, familiar form u(p) = m 2 u () x 2 i=1 i Green s formula will be essential f gd = grad f, grad g d We will not worry too much with regularity assumptions, although these are important. 2 Heat Equation One intuitive way to open this discussion is to discuss the heat equation on. We seek a function p(x, y, t) on (, ) satisfying the following three properties. p t = xp p(x, y, t) = p(y, x, t) lim P (x, y, t)f(y)d(y) = f(x) t 1
2 The first condition is geometric in nature: the heat kernel p should disperse heat over time in a way that is proportional to local heat averages. The second and third conditions will be essential when using the heat kernel as the kernel of an integral transform. Theorem: For closed, connected, there exists a unique heat kernel p, and moreover for < t < 1 we have the estimate 3 Spectral Theory p(x, y, t) c t m/2 Solving the heat equation on can be accomplished by understanding the eigenvalue problem on. That is, finding smooth ϕ and constants λ for which ϕ = λϕ The Spectral Theorem promises us the existence of a complete, L 2 - orthonormal eigenfunctions ϕ, ϕ 1, and associated eigenvalues λ, λ 1,. If we arrange the eigenvalues in increasing order = λ < λ 1 λ 2 then λ n as n. oreover, p (x, y, t) = e λnt ϕ n (x)ϕ n (y) n= where the converge above is uniform on for each t >. The proof of the Spectral Theorem follows from the following classical results. Theorem (Hilbert-Schmidt): Take closed, and K : R continuous and symmetric. Define the following integral transform on f L 2 () K[f](x) = K(x, y)f(y)d(y) Then the eigenvalues problem K[ϕ] = ηϕ has a complete, orthonormal system of functions in L 2. Call these ϕ, ϕ 1, and their associated eigenvalues η, η 1,. Crucially, one can recover the kernel from these functions 2
3 K(x, y) = η n ϕ n (x)ϕ n (y) n= However, this theorem only guarantees this convergence in L 2. Theorem (ercer): If η i then the converge is uniform on. 4 Small Eigenvalues Before elucidating the connection between the spectral theory of and the geometry of, we offer up some strange results about the eigenvalue distribution in the case when is a compact, hyperbolic Riemann Surface S. Theorem: For any S of genus g, we have λ 4g 2 (S) > 1 4. That is, there is a genus-dependent absolute bound on the number of eigenvalues less than 1/4. Contrast this with Theorem: For any n and for ϵ > arbitrarily small, there exists a Riemann Surface S of genus g with λ n (S) 1/4 + ϵ. Here are two more theorems which we will not prove. Theorem: For any δ > there exists S of genus g with λ 2g 3 (S) δ. Theorem: There exists a universal constant c > independent of the genus such that λ 2g 2 (S) c when g 2. 5 The inimax Principles The inimax Principles give upper and lower bounds on the eigenvalues of in terms of something explicitly computable, although still analytic. Here is a general closed manifold of any dimension. (Upper Bound) Let f, f 1,, f k be smooth functions with L 2 -norm equal to 1, and whose supports intersect in measure zero sets. Then λ k () max grad f i 2 d i k 3
4 oreover, equality holds precisely if f is a λ k eigenfunction. Proof: Take the eigenfunctions ϕ,, ϕ k 1. Since our system of (k + 1) functions f i are linearly independent, we can find some element in their span which has norm-squared 1 and is independent from these k eigenfunctions. Write this as ext, define the Fourier coeffient α j = f = β f + + β k f k fϕ j d ow we try to subtract off the projection of f to the k through m eigenfunctions, for m > k. grad(f By Green s formula, this becomes = m α j ϕ j ) 2 d j=k grad f 2 d m αjλ 2 j Here λ j λ k and by Parseval s Theorem the sum of the squares of the Fourier coeffients is 1, From this we obtain that λ k αj 2 = 1 j=k j=k grad f 2 d Since the f i had disjoint supports this is just = k i= β 2 i grad f i 2 d Since the L 2 norm of f, which is equal to 1, is also the sum of the β 2 i, this sum is bounded by 4
5 max grad f i 2 d i k The case of the equality for f a λ k eigenfunction is apparent from the proof. Intuition: While the f i are not eigenfunctions, Green s theorem lets us recover some average of their constituent frequencies through the L 2 norm of their gradients. Having enough independent functions means that some combination of them f only has higher modes, and the disjointness of the f i lets us bound the L 2 norm of the gradient of f by the L 2 norm of the gradients of the f i. (Lower Bound): Let split as the union of 1,, k, compact domains with positive measure, which intersect pairwise in zero measure. Define ν() = grad f 2 d where f ranges over smooth functions for which f 2 d = 1 fd = Then λ k () min 1 i k ν( i) Proof: We work in L 2 instead of C. Let χ i be the characteristic function of i. Take the linear combination ϕ = α ϕ + + α k ϕ k that has L 2 () norm equal to 1 and that is orthogonal to these characteristic functions. By definition of ν( i ), grad ϕ 2 d ν( i ) ϕ 2 d i i Thus grad ϕ 2 d min 1 i k ν( i) At the same time by Green s Theorem 5
6 grad ϕ 2 d = ϕ ϕd = k λ j ()αj 2 Since the L 2 norm of ϕ on, which is the sum of the squares of the α 2 j, is equal to 1, this is bounded by λ k (). Intuition: As before, we use the L 2 norm of the gradient to obtain the eigenvalues. We can find one function ϕ to have mean zero on all the i by using enough modes: more sets i means more nodes are necessary. Green s theorem then produces the eigenvalues for the modes used on the one hand, and we can lower-bound the largest of these by using the quantities ν( i ) which are designed to serve as lower bounds to the L 2 norm of the gradient. j= 6 Cheeger s Inequality The quantity ν() that emerged in the lower bounds is sometimes called the fundamental tone of. Although we defined it earlier as an infimum, it also has a simpler analytic description, which can be seen by applying the upper-bound in the minimax principle to the subset. Since might have boundary, we consider only eigenfunctions ϕ on which vanish on the boundary. The principal implies that the infimum, and thus the fundamental tone, is obtained by an eigenfuction with the lowest eigenvalue on. In any event, the fundamental tone is still hard to compute. However, we can estimate it from below with a geometric value Cheeger s isoperimetric constant. In what follows, we assume = S is a closed, connected surface. Let S be a closed subset with positive area and piecewise smooth boundary (it is possible for = S). Cheeger s isoperimetric constant is defined as l(a) h() = inf min( B, B ) where A ranges over all finite unions of piecewise smooth curves that separate into disjoint, relatively open subsets B and B. B and B need not be connected, but we can assume that they are without affecting the constant. A small Cheeger s constant means that it is possible to cut up into two big pieces with a very short curve. Think of a dumbell with a thin 6
7 midbar and large weights on either end. Theorem (Cheeger s inequality): ν() (1/4)h 2 (). Proof: Let s take u to be an eigenfunction for. We compute Thus by Cauchy-Schwarz grad u 2 = 2u(grad u) ( ) 2 4 u 2 d grad u 2 d grad u 2 d For the next step in the proof we use the co-area formula grad u 2 dv = A(t)dt where A(t) is the length of the line {u 2 (x) = t}. ow h() V (t)dt where V (t) is the volume of the set {u 2 (x) > t. This inequality is clear from the definition of the Cheeger constant. Finally, we use integration by parts = h() tv (t)dt = h() u 2 d Putting all this together gives us the inequality we want. Intuition: We can estimate the fundamental tone by estimating the eigenvalues on. Cauchy-Schwarz gives us a lower bound in terms of the gradient of u 2, and the co-area formula allows us to reformulate this as a geometric integral which can be estimated using Cheeger s constant and the norm of u 2. 7 Eigenvalue Estimates We can know prove some of the eigenvalue results we mentioned earlier. 7
8 Theorem: For any n and for ϵ > arbitrarily small, there exists a Riemann Surface S of genus g with λ n (S) 1/4 + ϵ. Proof: We need to take S with a sufficiently large collar. Let s take a local model isometric to [ w, w] R/[τ τ + l] with metric ds 2 = dρ 2 + cosh 2 ρdτ 2. The w coordinate moves along the collar and the τ coordinate around it. Take < a < b w. Consider the function f on the annulus defined by Write f = df/dρ. We have C ab = [a, b] R/[τ τ + l] f(ρ, t) = f(ρ) = e ρ/2 sin C ab grad f 2 d = l b a π(ρ a) b a (f (ρ)) 2 cosh ρdρ We know that cosh ρ (1/2)e ρ and that for ρ a, Thus C ab grad f 2 d cosh ρ (1/2)(1 + e 2a )e ρ ( ) π2 (b a) 2 (1 + e 2a ) f 2 d C ab ow we can split the collar into n disjoint annuli of this kind and let a and (b a) be arbitrarily large. Applying the minimax theorem completes the proof. Theorem: For any S of genus g, we have λ 4g 2 (S) > 1 4. That is, there is a genus-dependent absolute bound on the number of eigenvalues less than 1/4. Proof: Take a Riemann Surface S and consider a canonical fundamental polygon with 4g sides. Draw diagonals from the fixed vertex p, cutting the polygon into 4g 2 triangles which descend to a decomposition of S into 4g 2 geodesic triangles. Let us apply the other half of the minimax theorem to this decomposition by first showing that ν(t ) (1/4) for any such triangle. ow we use Cheeger s inequality. We want to find some 8
9 number ϵ(t ) > such that for one-dimensional submanifold A cutting up T into connected B and B we have l(a) min( B, B ) 1 + ϵ(t ) There are three ways that A can cut up such a triangle, by having ends on one, two, or no sides. Let us consider the case when A has ends on both side of T. We take local coordinates ds 2 = dρ 2 + sinh 2 ρdσ 2 Let B be the domain with the distinguished vertex on its boundary, and parametrize A by α(t) = (ρ(t), σ(t)). Let R be the diameter of T, and write Then 1 + ϵ(t ) = sinh R 1 + cosh R 1 l(α(t)) = 1 sinh ρ(t) σ(t) dt (1 + (T )) ( ρ 2 (t) + (sinh 2 ρ(t)) σ 2 (t)) 1/2 1 (cosh ρ(t) 1) σ(t) dt (1 + ϵ(t )) B 9
Finite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationReal Variables # 10 : Hilbert Spaces II
randon ehring Real Variables # 0 : Hilbert Spaces II Exercise 20 For any sequence {f n } in H with f n = for all n, there exists f H and a subsequence {f nk } such that for all g H, one has lim (f n k,
More informationDefinition and basic properties of heat kernels I, An introduction
Definition and basic properties of heat kernels I, An introduction Zhiqin Lu, Department of Mathematics, UC Irvine, Irvine CA 92697 April 23, 2010 In this lecture, we will answer the following questions:
More information5 Compact linear operators
5 Compact linear operators One of the most important results of Linear Algebra is that for every selfadjoint linear map A on a finite-dimensional space, there exists a basis consisting of eigenvectors.
More informationON THE ANALYTIC SYSTOLE OF RIEMANNIAN SURFACES OF FINITE TYPE
ON THE ANALYTIC SYSTOLE O RIEMANNIAN SURACES O INITE TYPE WERNER BALLMANN, HENRIK MATTHIESEN, AND SUGATA MONDAL Abstract. In [2] we introduced, for a Riemannian surface S, the quantity Λ(S) := inf λ 0
More informationThe following definition is fundamental.
1. Some Basics from Linear Algebra With these notes, I will try and clarify certain topics that I only quickly mention in class. First and foremost, I will assume that you are familiar with many basic
More informationContribution from: Springer Verlag Berlin Heidelberg 2005 ISBN
Contribution from: Mathematical Physics Studies Vol. 7 Perspectives in Analysis Essays in Honor of Lennart Carleson s 75th Birthday Michael Benedicks, Peter W. Jones, Stanislav Smirnov (Eds.) Springer
More informationFunctional Analysis Review
Outline 9.520: Statistical Learning Theory and Applications February 8, 2010 Outline 1 2 3 4 Vector Space Outline A vector space is a set V with binary operations +: V V V and : R V V such that for all
More informationExtremal eigenvalue problems for surfaces
Extremal eigenvalue problems for surfaces Richard Schoen Stanford University - Chen-Jung Hsu Lecture 3, Academia Sinica, ROC - December 4, 2013 Plan of Lecture The general lecture plan: Part 1: Introduction:
More informationAn extremal eigenvalue problem for surfaces with boundary
An extremal eigenvalue problem for surfaces with boundary Richard Schoen Stanford University - Conference in Geometric Analysis, UC Irvine - January 15, 2012 - Joint project with Ailana Fraser Plan of
More informationThe Laplace-Beltrami-Operator on Riemannian Manifolds. 1 Why do we need the Laplace-Beltrami-Operator?
Frank Schmidt Computer Vision Group - Technische Universität ünchen Abstract This report mainly illustrates a way to compute the Laplace-Beltrami-Operator on a Riemannian anifold and gives information
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 informationA NEW CHARACTERIZATION OF GROMOV HYPERBOLICITY FOR NEGATIVELY CURVED SURFACES. José M. Rodríguez (1) and Eva Tourís (1)(2)
A NEW CHARACTERIZATION OF GROMOV HYPERBOLICITY FOR NEGATIVELY CURVED SURFACES José M. Rodríguez (1) and Eva Tourís (1)(2) Abstract In this paper we show that to check Gromov hyperbolicity of any surface
More informationReview and problem list for Applied Math I
Review and problem list for Applied Math I (This is a first version of a serious review sheet; it may contain errors and it certainly omits a number of topic which were covered in the course. Let me know
More informationMath 350 Fall 2011 Notes about inner product spaces. In this notes we state and prove some important properties of inner product spaces.
Math 350 Fall 2011 Notes about inner product spaces In this notes we state and prove some important properties of inner product spaces. First, recall the dot product on R n : if x, y R n, say x = (x 1,...,
More informationJacobians of degenerate Riemann surfaces and graphs
Jacobians of degenerate Riemann surfaces and graphs Peter Buser Eran Makover Björn Mützel Mika Seppälä Robert Silhol Graph Theory and Interactions Durham July 2013 In physics we learned the following rule
More informationLaplacian on Riemannian manifolds
Laplacian on Riemannian manifolds Bruno Colbois May 21-22, 2010, Carthage Lecture 1: Introduction, basic results and examples Lecture 2: The case of the negatively curved compact manifolds Lecture 3: Estimates
More informationUsing heat invariants to hear the geometry of orbifolds. Emily Dryden CAMGSD
Using heat invariants to hear the geometry of orbifolds Emily Dryden CAMGSD 7 March 2006 1 The Plan 1. Historical motivation 2. Orbifolds 3. Heat kernel and heat invariants 4. Applications 2 Historical
More informationDIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17
DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17 6. Geodesics A parametrized line γ : [a, b] R n in R n is straight (and the parametrization is uniform) if the vector γ (t) does not depend on t. Thus,
More informationLinear Algebra Massoud Malek
CSUEB Linear Algebra Massoud Malek Inner Product and Normed Space In all that follows, the n n identity matrix is denoted by I n, the n n zero matrix by Z n, and the zero vector by θ n An inner product
More informationStable minimal cones in R 8 and R 9 with constant scalar curvature
Revista Colombiana de Matemáticas Volumen 6 (2002), páginas 97 106 Stable minimal cones in R 8 and R 9 with constant scalar curvature Oscar Perdomo* Universidad del Valle, Cali, COLOMBIA Abstract. In this
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 informationTake-Home Final Examination of Math 55a (January 17 to January 23, 2004)
Take-Home Final Eamination of Math 55a January 17 to January 3, 004) N.B. For problems which are similar to those on the homework assignments, complete self-contained solutions are required and homework
More informationRecall that any inner product space V has an associated norm defined by
Hilbert Spaces Recall that any inner product space V has an associated norm defined by v = v v. Thus an inner product space can be viewed as a special kind of normed vector space. In particular every inner
More informationUPPER BOUNDS FOR EIGENVALUES OF THE DISCRETE AND CONTINUOUS LAPLACE OPERATORS
UPPER BOUNDS FOR EIGENVALUES OF THE DISCRETE AND CONTINUOUS LAPLACE OPERATORS F. R. K. Chung University of Pennsylvania, Philadelphia, Pennsylvania 904 A. Grigor yan Imperial College, London, SW7 B UK
More informationHeat Kernel and Analysis on Manifolds Excerpt with Exercises. Alexander Grigor yan
Heat Kernel and Analysis on Manifolds Excerpt with Exercises Alexander Grigor yan Department of Mathematics, University of Bielefeld, 33501 Bielefeld, Germany 2000 Mathematics Subject Classification. Primary
More informationThe Laplacian ( ) Matthias Vestner Dr. Emanuele Rodolà Room , Informatik IX
The Laplacian (26.05.2014) Matthias Vestner Dr. Emanuele Rodolà {vestner,rodola}@in.tum.de Room 02.09.058, Informatik IX Seminar «The metric approach to shape matching» Alfonso Ros Wednesday, May 28th
More informationSPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT
SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT Abstract. These are the letcure notes prepared for the workshop on Functional Analysis and Operator Algebras to be held at NIT-Karnataka,
More informationHilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality
(October 29, 2016) Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/03 hsp.pdf] Hilbert spaces are
More informationLecture 3: Review of Linear Algebra
ECE 83 Fall 2 Statistical Signal Processing instructor: R Nowak Lecture 3: Review of Linear Algebra Very often in this course we will represent signals as vectors and operators (eg, filters, transforms,
More informationDS-GA 1002 Lecture notes 0 Fall Linear Algebra. These notes provide a review of basic concepts in linear algebra.
DS-GA 1002 Lecture notes 0 Fall 2016 Linear Algebra These notes provide a review of basic concepts in linear algebra. 1 Vector spaces You are no doubt familiar with vectors in R 2 or R 3, i.e. [ ] 1.1
More informationOn compact operators
On compact operators Alen Aleanderian * Abstract In this basic note, we consider some basic properties of compact operators. We also consider the spectrum of compact operators on Hilbert spaces. A basic
More informationLecture 3: Review of Linear Algebra
ECE 83 Fall 2 Statistical Signal Processing instructor: R Nowak, scribe: R Nowak Lecture 3: Review of Linear Algebra Very often in this course we will represent signals as vectors and operators (eg, filters,
More informationarxiv: v1 [math.dg] 29 Sep 2017
SMALL EIGENVALUES OF SURFACES - OLD AND NEW WERNER BALLMANN, HENRIK MATTHIESEN, AND SUGATA MONDAL arxiv:1710.00021v1 [math.dg] 29 Sep 2017 Abstract. We discuss our recent work on small eigenvalues of surfaces.
More information( sin(t), cos(t), 1) dt =
Differential Geometry MT451 Problems/Homework Recommended Reading: Morgan F. Riemannian geometry, a beginner s guide Klingenberg W. A Course in Differential Geometry do Carmo M.P. Differential geometry
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More informationHilbert Spaces: Infinite-Dimensional Vector Spaces
Hilbert Spaces: Infinite-Dimensional Vector Spaces PHYS 500 - Southern Illinois University October 27, 2016 PHYS 500 - Southern Illinois University Hilbert Spaces: Infinite-Dimensional Vector Spaces October
More informationarxiv:math/ v3 [math.dg] 17 Sep 2004
arxiv:math/0308099v3 [math.dg] 17 Sep 004 An Extension of Barta s Theorem and Geometric Applications G. Pacelli Bessa J. Fábio ontenegro arch 6, 008 Abstract We prove an extension of a theorem of Barta
More informationFourier Series. 1. Review of Linear Algebra
Fourier Series In this section we give a short introduction to Fourier Analysis. If you are interested in Fourier analysis and would like to know more detail, I highly recommend the following book: Fourier
More informationMATH 332: Vector Analysis Summer 2005 Homework
MATH 332, (Vector Analysis), Summer 2005: Homework 1 Instructor: Ivan Avramidi MATH 332: Vector Analysis Summer 2005 Homework Set 1. (Scalar Product, Equation of a Plane, Vector Product) Sections: 1.9,
More informationInner product spaces. Layers of structure:
Inner product spaces Layers of structure: vector space normed linear space inner product space The abstract definition of an inner product, which we will see very shortly, is simple (and by itself is pretty
More information215 Problem 1. (a) Define the total variation distance µ ν tv for probability distributions µ, ν on a finite set S. Show that
15 Problem 1. (a) Define the total variation distance µ ν tv for probability distributions µ, ν on a finite set S. Show that µ ν tv = (1/) x S µ(x) ν(x) = x S(µ(x) ν(x)) + where a + = max(a, 0). Show that
More informationthe neumann-cheeger constant of the jungle gym
the neumann-cheeger constant of the jungle gym Itai Benjamini Isaac Chavel Edgar A. Feldman Our jungle gyms are dimensional differentiable manifolds M, with preferred Riemannian metrics, associated to
More informationCMS winter meeting 2008, Ottawa. The heat kernel on connected sums
CMS winter meeting 2008, Ottawa The heat kernel on connected sums Laurent Saloff-Coste (Cornell University) December 8 2008 p(t, x, y) = The heat kernel ) 1 x y 2 exp ( (4πt) n/2 4t The heat kernel is:
More informationEuler Characteristic of Two-Dimensional Manifolds
Euler Characteristic of Two-Dimensional Manifolds M. Hafiz Khusyairi August 2008 In this work we will discuss an important notion from topology, namely Euler Characteristic and we will discuss several
More informationON THE GROUND STATE OF QUANTUM LAYERS
ON THE GROUND STATE OF QUANTUM LAYERS ZHIQIN LU 1. Introduction The problem is from mesoscopic physics: let p : R 3 be an embedded surface in R 3, we assume that (1) is orientable, complete, but non-compact;
More informationApplied/Numerical Analysis Qualifying Exam
Applied/Numerical Analysis Qualifying Exam Cover Sheet Applied Analysis Part Policy on misprints: The qualifying exam committee tries to proofread exams as carefully as possible. Nevertheless, the exam
More information2. Review of Linear Algebra
2. Review of Linear Algebra ECE 83, Spring 217 In this course we will represent signals as vectors and operators (e.g., filters, transforms, etc) as matrices. This lecture reviews basic concepts from linear
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationMATH 220: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY
MATH 22: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY When discussing separation of variables, we noted that at the last step we need to express the inhomogeneous initial or boundary data as
More informationFunctional Analysis Review
Functional Analysis Review Lorenzo Rosasco slides courtesy of Andre Wibisono 9.520: Statistical Learning Theory and Applications September 9, 2013 1 2 3 4 Vector Space A vector space is a set V with binary
More informationTHEOREMS, ETC., FOR MATH 515
THEOREMS, ETC., FOR MATH 515 Proposition 1 (=comment on page 17). If A is an algebra, then any finite union or finite intersection of sets in A is also in A. Proposition 2 (=Proposition 1.1). For every
More informationVector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.
Vector Spaces Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms. For each two vectors a, b ν there exists a summation procedure: a +
More informationFunctional Analysis I
Functional Analysis I Course Notes by Stefan Richter Transcribed and Annotated by Gregory Zitelli Polar Decomposition Definition. An operator W B(H) is called a partial isometry if W x = X for all x (ker
More informationI teach myself... Hilbert spaces
I teach myself... Hilbert spaces by F.J.Sayas, for MATH 806 November 4, 2015 This document will be growing with the semester. Every in red is for you to justify. Even if we start with the basic definition
More informationSurfaces in spheres: biharmonic and CMC
Surfaces in spheres: biharmonic and CMC E. Loubeau (joint with C. Oniciuc) Université de Bretagne Occidentale, France May 2014 Biharmonic maps Definition Bienergy functional at φ : (M, g) (N, h) E 2 (φ)
More informationTHE UNIFORMISATION THEOREM OF RIEMANN SURFACES
THE UNIFORISATION THEORE OF RIEANN SURFACES 1. What is the aim of this seminar? Recall that a compact oriented surface is a g -holed object. (Classification of surfaces.) It can be obtained through a 4g
More informationDRAFT: April 28, 2008
1 DRAFT: April 28, 2008 1 Lectures on PDEs- APMA- E6301 DRAFT IN PROGRESS Michael I. Weinstein April 28, 2008 Contents 1 First order partial differential equations and the method of characteristics 4 2
More informationM435: INTRODUCTION TO DIFFERENTIAL GEOMETRY
M435: INTODUCTION TO DIFFNTIAL GOMTY MAK POWLL Contents 7. The Gauss-Bonnet Theorem 1 7.1. Statement of local Gauss-Bonnet theorem 1 7.2. Area of geodesic triangles 2 7.3. Special case of the plane 2 7.4.
More informationInner products. Theorem (basic properties): Given vectors u, v, w in an inner product space V, and a scalar k, the following properties hold:
Inner products Definition: An inner product on a real vector space V is an operation (function) that assigns to each pair of vectors ( u, v) in V a scalar u, v satisfying the following axioms: 1. u, v
More informationHilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.
Hilbert Spaces Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space. Vector Space. Vector space, ν, over the field of complex numbers,
More informationChapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.
Chapter 1 Preliminaries The purpose of this chapter is to provide some basic background information. Linear Space Hilbert Space Basic Principles 1 2 Preliminaries Linear Space The notion of linear space
More information2. Signal Space Concepts
2. Signal Space Concepts R.G. Gallager The signal-space viewpoint is one of the foundations of modern digital communications. Credit for popularizing this viewpoint is often given to the classic text of
More informationInformation geometry for bivariate distribution control
Information geometry for bivariate distribution control C.T.J.Dodson + Hong Wang Mathematics + Control Systems Centre, University of Manchester Institute of Science and Technology Optimal control of stochastic
More informationGeometric bounds for Steklov eigenvalues
Geometric bounds for Steklov eigenvalues Luigi Provenzano École Polytechnique Fédérale de Lausanne, Switzerland Joint work with Joachim Stubbe June 20, 2017 luigi.provenzano@epfl.ch (EPFL) Steklov eigenvalues
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 informationGeometric inequalities for black holes
Geometric inequalities for black holes Sergio Dain FaMAF-Universidad Nacional de Córdoba, CONICET, Argentina. 3 August, 2012 Einstein equations (vacuum) The spacetime is a four dimensional manifold M with
More informationVectors in Function Spaces
Jim Lambers MAT 66 Spring Semester 15-16 Lecture 18 Notes These notes correspond to Section 6.3 in the text. Vectors in Function Spaces We begin with some necessary terminology. A vector space V, also
More informationYour first day at work MATH 806 (Fall 2015)
Your first day at work MATH 806 (Fall 2015) 1. Let X be a set (with no particular algebraic structure). A function d : X X R is called a metric on X (and then X is called a metric space) when d satisfies
More informationMAT 578 FUNCTIONAL ANALYSIS EXERCISES
MAT 578 FUNCTIONAL ANALYSIS EXERCISES JOHN QUIGG Exercise 1. Prove that if A is bounded in a topological vector space, then for every neighborhood V of 0 there exists c > 0 such that tv A for all t > c.
More informationSPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS
SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS TSOGTGEREL GANTUMUR Abstract. After establishing discrete spectra for a large class of elliptic operators, we present some fundamental spectral properties
More informationInner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that. (1) (2) (3) x x > 0 for x 0.
Inner Product Spaces An inner product on a complex linear space X is a function x y from X X C such that (1) () () (4) x 1 + x y = x 1 y + x y y x = x y x αy = α x y x x > 0 for x 0 Consequently, (5) (6)
More information08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms
(February 24, 2017) 08a. Operators on Hilbert spaces Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2016-17/08a-ops
More information96 CHAPTER 4. HILBERT SPACES. Spaces of square integrable functions. Take a Cauchy sequence f n in L 2 so that. f n f m 1 (b a) f n f m 2.
96 CHAPTER 4. HILBERT SPACES 4.2 Hilbert Spaces Hilbert Space. An inner product space is called a Hilbert space if it is complete as a normed space. Examples. Spaces of sequences The space l 2 of square
More informationPseudo-Poincaré Inequalities and Applications to Sobolev Inequalities
Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities Laurent Saloff-Coste Abstract Most smoothing procedures are via averaging. Pseudo-Poincaré inequalities give a basic L p -norm control
More informationAnalysis in weighted spaces : preliminary version
Analysis in weighted spaces : preliminary version Frank Pacard To cite this version: Frank Pacard. Analysis in weighted spaces : preliminary version. 3rd cycle. Téhéran (Iran, 2006, pp.75.
More informationMicrolocal analysis and inverse problems Lecture 3 : Carleman estimates
Microlocal analysis and inverse problems ecture 3 : Carleman estimates David Dos Santos Ferreira AGA Université de Paris 13 Monday May 16 Instituto de Ciencias Matemáticas, Madrid David Dos Santos Ferreira
More informationSpectral Gap for Complete Graphs: Upper and Lower Estimates
ISSN: 1401-5617 Spectral Gap for Complete Graphs: Upper and Lower Estimates Pavel Kurasov Research Reports in Mathematics Number, 015 Department of Mathematics Stockholm University Electronic version of
More informationHilbert Spaces. Contents
Hilbert Spaces Contents 1 Introducing Hilbert Spaces 1 1.1 Basic definitions........................... 1 1.2 Results about norms and inner products.............. 3 1.3 Banach and Hilbert spaces......................
More informationEigenvalue (mis)behavior on manifolds
Bucknell University Lehigh University October 20, 2010 Outline 1 Isoperimetric inequalities 2 3 4 A little history Rayleigh quotients The Original Isoperimetric Inequality The Problem of Queen Dido: maximize
More informationMATH 124B: HOMEWORK 2
MATH 24B: HOMEWORK 2 Suggested due date: August 5th, 26 () Consider the geometric series ( ) n x 2n. (a) Does it converge pointwise in the interval < x
More informationDiameters and eigenvalues
CHAPTER 3 Diameters and eigenvalues 31 The diameter of a graph In a graph G, the distance between two vertices u and v, denoted by d(u, v), is defined to be the length of a shortest path joining u and
More informationCOMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE
COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE MICHAEL LAUZON AND SERGEI TREIL Abstract. In this paper we find a necessary and sufficient condition for two closed subspaces, X and Y, of a Hilbert
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 informationArc Length and Riemannian Metric Geometry
Arc Length and Riemannian Metric Geometry References: 1 W F Reynolds, Hyperbolic geometry on a hyperboloid, Amer Math Monthly 100 (1993) 442 455 2 Wikipedia page Metric tensor The most pertinent parts
More informationGromov hyperbolicity of Denjoy domains
Universidad Carlos III de Madrid Repositorio institucional e-archivo Grupo de Análisis Matemático Aplicado (GAMA) http://e-archivo.uc3m.es DM - GAMA - Artículos de Revistas 2006-08 Gromov hyperbolicity
More informationEigenvalue comparisons in graph theory
Eigenvalue comparisons in graph theory Gregory T. Quenell July 1994 1 Introduction A standard technique for estimating the eigenvalues of the Laplacian on a compact Riemannian manifold M with bounded curvature
More informationLECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM
LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM Contents 1. The Atiyah-Guillemin-Sternberg Convexity Theorem 1 2. Proof of the Atiyah-Guillemin-Sternberg Convexity theorem 3 3. Morse theory
More informationSELECTED SAMPLE FINAL EXAM SOLUTIONS - MATH 5378, SPRING 2013
SELECTED SAMPLE FINAL EXAM SOLUTIONS - MATH 5378, SPRING 03 Problem (). This problem is perhaps too hard for an actual exam, but very instructional, and simpler problems using these ideas will be on the
More informationACM/CMS 107 Linear Analysis & Applications Fall 2017 Assignment 2: PDEs and Finite Element Methods Due: 7th November 2017
ACM/CMS 17 Linear Analysis & Applications Fall 217 Assignment 2: PDEs and Finite Element Methods Due: 7th November 217 For this assignment the following MATLAB code will be required: Introduction http://wwwmdunloporg/cms17/assignment2zip
More informationElements of Convex Optimization Theory
Elements of Convex Optimization Theory Costis Skiadas August 2015 This is a revised and extended version of Appendix A of Skiadas (2009), providing a self-contained overview of elements of convex optimization
More informationSpectral Graph Theory Lecture 2. The Laplacian. Daniel A. Spielman September 4, x T M x. ψ i = arg min
Spectral Graph Theory Lecture 2 The Laplacian Daniel A. Spielman September 4, 2015 Disclaimer These notes are not necessarily an accurate representation of what happened in class. The notes written before
More informationHilbert spaces. Let H be a complex vector space. Scalar product, on H : For all x, y, z H and α, β C α x + β y, z = α x, z + β y, z x, y = y, x
Hilbert spaces Let H be a complex vector space. Scalar product, on H : For all x, y, z H and α, β C α x + β y, z = α x, z + β y, z x, y = y, x x, x 0 x, x = 0 x = 0 Orthogonality: x y x, y = 0 A scalar
More informationIntroduction to Signal Spaces
Introduction to Signal Spaces Selin Aviyente Department of Electrical and Computer Engineering Michigan State University January 12, 2010 Motivation Outline 1 Motivation 2 Vector Space 3 Inner Product
More informationEigenvalues and Eigenfunctions of the Laplacian
The Waterloo Mathematics Review 23 Eigenvalues and Eigenfunctions of the Laplacian Mihai Nica University of Waterloo mcnica@uwaterloo.ca Abstract: The problem of determining the eigenvalues and eigenvectors
More informationTEICHMÜLLER SPACE MATTHEW WOOLF
TEICHMÜLLER SPACE MATTHEW WOOLF Abstract. It is a well-known fact that every Riemann surface with negative Euler characteristic admits a hyperbolic metric. But this metric is by no means unique indeed,
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 informationQuasi-local mass and isometric embedding
Quasi-local mass and isometric embedding Mu-Tao Wang, Columbia University September 23, 2015, IHP Recent Advances in Mathematical General Relativity Joint work with Po-Ning Chen and Shing-Tung Yau. The
More informationRudin Real and Complex Analysis - Harmonic Functions
Rudin Real and Complex Analysis - Harmonic Functions Aaron Lou December 2018 1 Notes 1.1 The Cauchy-Riemann Equations 11.1: The Operators and Suppose f is a complex function defined in a plane open set
More informationManifold Regularization
9.520: Statistical Learning Theory and Applications arch 3rd, 200 anifold Regularization Lecturer: Lorenzo Rosasco Scribe: Hooyoung Chung Introduction In this lecture we introduce a class of learning algorithms,
More information