Spectral Geometry of Riemann Surfaces

Size: px
Start display at page:

Download "Spectral Geometry of Riemann Surfaces"

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

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 information

Real Variables # 10 : Hilbert Spaces II

Real 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 information

Definition and basic properties of heat kernels I, An introduction

Definition 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 information

5 Compact linear operators

5 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 information

ON THE ANALYTIC SYSTOLE OF RIEMANNIAN SURFACES OF FINITE TYPE

ON 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 information

The following definition is fundamental.

The 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 information

Contribution from: Springer Verlag Berlin Heidelberg 2005 ISBN

Contribution 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 information

Functional Analysis Review

Functional 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 information

Extremal eigenvalue problems for surfaces

Extremal 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 information

An extremal eigenvalue problem for surfaces with boundary

An 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 information

The Laplace-Beltrami-Operator on Riemannian Manifolds. 1 Why do we need the Laplace-Beltrami-Operator?

The 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 information

THE SELBERG TRACE FORMULA OF COMPACT RIEMANN SURFACES

THE 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 information

A 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) 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 information

Review and problem list for Applied Math I

Review 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 information

Math 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. 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 information

Jacobians of degenerate Riemann surfaces and graphs

Jacobians 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 information

Laplacian on Riemannian manifolds

Laplacian 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 information

Using heat invariants to hear the geometry of orbifolds. Emily Dryden CAMGSD

Using 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 information

DIFFERENTIAL GEOMETRY, LECTURE 16-17, JULY 14-17

DIFFERENTIAL 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 information

Linear Algebra Massoud Malek

Linear 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 information

Stable minimal cones in R 8 and R 9 with constant scalar curvature

Stable 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 information

Spectral Processing. Misha Kazhdan

Spectral 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 information

Take-Home Final Examination of Math 55a (January 17 to January 23, 2004)

Take-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 information

Recall that any inner product space V has an associated norm defined by

Recall 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 information

UPPER BOUNDS FOR EIGENVALUES OF THE DISCRETE AND CONTINUOUS LAPLACE OPERATORS

UPPER 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 information

Heat Kernel and Analysis on Manifolds Excerpt with Exercises. Alexander Grigor yan

Heat 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 information

The Laplacian ( ) Matthias Vestner Dr. Emanuele Rodolà Room , Informatik IX

The 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 information

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT

SPECTRAL 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 information

Hilbert spaces. 1. Cauchy-Schwarz-Bunyakowsky inequality

Hilbert 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 information

Lecture 3: Review of Linear Algebra

Lecture 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 information

DS-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 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 information

On compact operators

On 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 information

Lecture 3: Review of Linear Algebra

Lecture 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 information

arxiv: v1 [math.dg] 29 Sep 2017

arxiv: 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 =

( 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 information

CHAPTER VIII HILBERT SPACES

CHAPTER 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 information

Hilbert Spaces: Infinite-Dimensional Vector Spaces

Hilbert 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 information

arxiv:math/ v3 [math.dg] 17 Sep 2004

arxiv: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 information

Fourier Series. 1. Review of Linear Algebra

Fourier 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 information

MATH 332: Vector Analysis Summer 2005 Homework

MATH 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 information

Inner product spaces. Layers of structure:

Inner 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 information

215 Problem 1. (a) Define the total variation distance µ ν tv for probability distributions µ, ν on a finite set S. Show that

215 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 information

the neumann-cheeger constant of the jungle gym

the 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 information

CMS winter meeting 2008, Ottawa. The heat kernel on connected sums

CMS 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 information

Euler Characteristic of Two-Dimensional Manifolds

Euler 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 information

ON THE GROUND STATE OF QUANTUM LAYERS

ON 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 information

Applied/Numerical Analysis Qualifying Exam

Applied/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 information

2. Review of Linear Algebra

2. 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 information

Your first day at work MATH 806 (Fall 2015)

Your 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 information

MATH 220: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY

MATH 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 information

Functional Analysis Review

Functional 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 information

THEOREMS, ETC., FOR MATH 515

THEOREMS, 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 information

Vector 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. 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 information

Functional Analysis I

Functional 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 information

I teach myself... Hilbert spaces

I 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 information

Surfaces in spheres: biharmonic and CMC

Surfaces 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 information

THE UNIFORMISATION THEOREM OF RIEMANN SURFACES

THE 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 information

DRAFT: April 28, 2008

DRAFT: 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 information

M435: INTRODUCTION TO DIFFERENTIAL GEOMETRY

M435: 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 information

Inner 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. 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 information

Hilbert 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. 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 information

Chapter 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. 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 information

2. Signal Space Concepts

2. 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 information

Information geometry for bivariate distribution control

Information 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 information

Geometric bounds for Steklov eigenvalues

Geometric 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 information

Short note on compact operators - Monday 24 th March, Sylvester Eriksson-Bique

Short 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 information

Geometric inequalities for black holes

Geometric 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 information

Vectors in Function Spaces

Vectors 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 information

Your first day at work MATH 806 (Fall 2015)

Your 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 information

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

MAT 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 information

SPECTRAL PROPERTIES OF THE LAPLACIAN ON BOUNDED DOMAINS

SPECTRAL 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 information

Inner 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) (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 information

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

08a. 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 information

96 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. 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 information

Pseudo-Poincaré Inequalities and Applications to Sobolev Inequalities

Pseudo-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 information

Analysis in weighted spaces : preliminary version

Analysis 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 information

Microlocal analysis and inverse problems Lecture 3 : Carleman estimates

Microlocal 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 information

Spectral Gap for Complete Graphs: Upper and Lower Estimates

Spectral 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 information

Hilbert Spaces. Contents

Hilbert 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 information

Eigenvalue (mis)behavior on manifolds

Eigenvalue (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 information

MATH 124B: HOMEWORK 2

MATH 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 information

Diameters and eigenvalues

Diameters 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 information

COMMON COMPLEMENTS OF TWO SUBSPACES OF A HILBERT SPACE

COMMON 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 information

Eigenvalues and eigenfunctions of the Laplacian. Andrew Hassell

Eigenvalues 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 information

Arc Length and Riemannian Metric Geometry

Arc 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 information

Gromov hyperbolicity of Denjoy domains

Gromov 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 information

Eigenvalue comparisons in graph theory

Eigenvalue 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 information

LECTURE 10: THE ATIYAH-GUILLEMIN-STERNBERG CONVEXITY THEOREM

LECTURE 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 information

SELECTED SAMPLE FINAL EXAM SOLUTIONS - MATH 5378, SPRING 2013

SELECTED 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 information

ACM/CMS 107 Linear Analysis & Applications Fall 2017 Assignment 2: PDEs and Finite Element Methods Due: 7th November 2017

ACM/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 information

Elements of Convex Optimization Theory

Elements 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 information

Spectral 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, 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 information

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

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 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 information

Introduction to Signal Spaces

Introduction 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 information

Eigenvalues and Eigenfunctions of the Laplacian

Eigenvalues 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 information

TEICHMÜLLER SPACE MATTHEW WOOLF

TEICHMÜ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 information

Variations on Quantum Ergodic Theorems. Michael Taylor

Variations 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 information

Quasi-local mass and isometric embedding

Quasi-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 information

Rudin Real and Complex Analysis - Harmonic Functions

Rudin 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 information

Manifold Regularization

Manifold 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