The method of stationary phase

Size: px
Start display at page:

Download "The method of stationary phase"

Transcription

1 Chapter The method of stationary phase In this chapter we introduce a very useful analytical tool which will allow us to find asymptotic expansions for integrals that cannot, in many cases, be calculated in any other way. As the chapter title indicates, this tool is known as the method of stationary phase". The general objective of the method is to find an asymptotic expression as for integrals of the form (.1) I a,φ(y, ) = e iφ(x,y) a (x, y) dx. This means that our goal is to find expressions of the form I a,φ(y, ) I(y, ) = O( N ) (or some variation on this) where I(y, ) is calculated explicitly. The intuition here is that when becomes very large φ(x, y) oscillates rapidly with respect to x and these oscillations will cancel out in the integral except at stationary points of φ (i.e. points where x φ =0). Thus the integral only depends on a and its derivatives at these stationary points. We will now proceed to make this rigorous..1 Assumptions and non-stationary case We begin by introducing assumptions about φ and a. Let U Rñ be open. We will build up results that gradually require stronger and stronger hypotheses on φ, but to begin we only suppose that φ C (R n x U y ). Also, we assume that for every fixed, a C (R n x U y ). Of course we must also have a hypothesis controlling the growth of a as. To do this we introduce the following definition. Definition.1 (Hypotheses on a.). If there exists an m R and <1 such that given any compact set K U and multi-index α sup y K α x a ( x,y) L p (R n x ) = O( m+ α ) 15

2 16 Chapter. The method of stationary phase we will say in this case that a I m,p (R n x U y ). We will usually only consider the cases p =1or. The first result of the chapter partially confirms the intuition presented in the introduction. Lemma.. Suppose that x φ is not zero anywhere on the support of a I m,1 (R n n U y ) for any. Then for every N N and compact set K U sup y K I a,φ(y, ) = O( N ) as. Proof. Given the hypotheses we have for any M N Rn x φ(x, y), x M e iφ(x,y) I a,φ(y, ) = (i x φ(x, y) ) M a (x, y)dx. Now we integrate by parts to obtain 1 M x φ(x, y) sup y K I a,φ (y, ) sup y K M x, R n x φ(x, y) a (x, y) dx C M,K M sup y K x α a ( x,y) L1 (R n x ) α M = O( m+( 1)M ). Therefore, by taking M (N + m)/(1 ) the proof is complete. This lemma settles the matter when there are no stationary points, and so we are now left with the more interesting and sophisticated case of evaluating (.1) in the case that φ has stationary points on the support of a. To begin this we add the additional hypothesis that all stationary points of φ are non-degenerate: Definition.3. If x φ(x, y) =0then x is called a non-degenerate stationary point of φ( x,y) if the Hessian xφ(x, y) is an invertible matrix. In particular this means that for fixed y the set of stationary points of φ( x,y) is discrete, and so by introducing a partition of unity we may reduce the asymptotic evaluation of (.1) to the case in which φ has exactly one non-degenerate stationary point on the support of a, and we may furthermore assume that for all and y, a ( x,y) has support contained within an arbitrarily small neighborhood of this stationary point. The idea now is to introduce a local change of coordinates using the so-called Morse Lemma that changes φ to a quadratic form. Then we will show how to asymptotically evaluate an integral in the form (.1) in the case that φ is a quadratic form using lemma Morse Lemma As mentioned above, we intend to introduce a local change of coordinates in x, smoothly depending on y, near a non-degenerate stationary point that transforms φ(x, y) into a quadratic

3 .. Morse Lemma 17 form with respect to x. That this is possible is a classical result known as the Morse Lemma, although the classical result generally does not include the parameter y. This proof largely follows one which can be found in [?]. Lemma.4 (Morse Lemma). Suppose y 0 U and x 0 is a non-degenerate stationary point for φ( x,y 0 ). Then there exists a neighborhood V U of y 0, a neighborhood W of x 0,a smooth function X : V W, and a function Ψ:W V R n such that 1. For every y V, X(y) is the unique stationary point, which is also nondegenerate, for φ( x,y) in W.. For every y V, the map W x Ψ(x, y) is a diffeomorphism onto its image and (.) φ(x, y) =φ(x(y),y)+ 1 Ψ(x, y)t xφ(x(y),y)ψ(x, y). Furthermore, Ψ(X(y),y)) = 0 and x Ψ(X(y),y)=Id. Proof. The existence of the function X with the claimed properties follows from the fact that for given y the stationary points are solutions of the equation 0= x φ(x, y). Since x 0 is a non-degenerate stationary point the implicit function theorem shows that this equation implicitly defines x as a function of y in some neighborhood of (x 0,y 0 ). To show that the function Ψ with the claimed properties exists we take the Taylor expansion of φ in x about X(y) which gives (note that the first derivative term vanishes because we are expanding at a stationary point) where φ(x, y) =φ(x(y),y)+ 1 (x X(y))T B(x, y)(x X(y)) B(x, y) = 1 0 (1 s) xφ(sx +(1 s)x(y),y)ds. We now wish to find a smooth matrix valued function R(x, y) such that Ψ(x, y) =R(x, y)(x X(y)) has the desired properties. From the previous formula this will satisfy (.) if (.3) R T xφ(x(y),y)r B(x, y) =0. Let us interpret the left hand side of this equation as a mapping from M n (R) R R n x V y (M n (R) is the set of n n matrices) to the symmetric matrices S n (R). If we take the differential of the left hand side with respect to R evaluated at the identity we obtain dr (dr) T xφ(x(y),y)+ xφ(x(y),y)dr which is surjective since when C is symmetric ( 1 xφ(x(y),y) 1 C) T xφ(x(y),y)+ xφ(x(y),y)( 1 xφ(x(y),y) 1 C)=C.

4 18 Chapter. The method of stationary phase Therefore, by the implicit function theorem again there exists a smooth matrix valued function R(x, y) defined on some neighborhood of (x 0,y 0 ) that satisfies (.3) everywhere that it s defined. Possibly shrinking the neighborhood where this is defined completes the proof except for the derivative of x Ψ. However this is straightforward since x x=x(y) Ψ(X(y),y)=( x R(x, y)(x X(y)) + R(x, y) x=x(y) =Id..3 Asymptotic formula Now let us apply the Morse lemma in order to complete the asymptotic evaluation of (.1). Indeed, we have the following result. Theorem.5. Suppose that a I m, (R n x U y ) I m,1 (R n x U y ) with <1/and that y 0 U and φ( x,y 0 ) has exactly one non-degenerate stationary point on the support of a ( x,y 0 ) at x 0. Then there exists a neighborhood V U of y 0 such that n/ π e i(sgn( x φ(x(y),y)) π 4 +φ(x(y),y)) sup y V I a,φ(y, ) a (X(y),y) x φ(x(y),y) = O( m n/ (1 ) ). Proof. Take V, W, X, and Ψ to be the sets and mappings guaranteed to exist by the Morse lemma. Then using lemma. and a partition of unity we can assume without loss of generality that a ( x,y) is supported in W for all y V. Thus, we can change variables in the integral I a,φ to =Ψ(x, y) to obtain I a,φ = = e iφ(x 0,y 0 ) e i φ(x 0,y 0 )+ T x φ(x(y),y) x a (Ψ 1 (, y),y) e it x φ(x(y),y) x f (, y) dx. 1 x Ψ(Ψ 1 (, y),y) d Now, applying F 1 and F and using the definition of F 1 on S (R n ) we obtain I a,φ = e iφ(x 0,y 0 ) F e it x φ(x(y),y) x F 1 (f (, y)) (ξ) dξ. Using lemma 1.6 and writing B(y) = xφ(x(y),y) gives n/ πi I a,φ = e iφ(x 0,y 0 ) π sgn(b(y)) e 4 e i B(y) ξt B(y) 1ξ F 1 Next we use Taylor s theorem to assert that for any integer M>0, e b = M b k /k!+b M+1 g M+1 (b) k=0 (f (, y)) (ξ) dξ.

5 .3. Asymptotic formula 19 where g M+1 (b) C (C) satisfies g M+1 (b) e b /(M + 1)! and so (1.) implies that, setting b = i ξt B(y) 1 ξ, n/ π e i(sgn(b) π 4 +φ(x(y),y)) M i k I a,φ B () k k! F 1,B 1 k f (ξ) dξ k=0 n/ π e i(sgn(b) π 4 +φ(x(y),y)) = i F 1,B 1 M+1 f (ξ) g M+1 (b)dξ. B Finally, since F 1 (f)(ξ)dx = f(0) by the Fourier inversion theorem the above equality implies, using also part of lemma., (.4) I a,φ n/ π e i(sgn(b) π 4 +φ(x(y),y)) B C n/ α M a (X(y),y) max(ceil( α /),1) [ α x a ](X(y),y) + C n/ (M+1) F 1 C m n/ (1 ) + C n/ (M+1),B 1 M+1 f (ξ) α n+1+(m+1) C m n/ (1 ) + C m n/+(m+1)( 1)+(n+1). L1 (R n ξ ) α x a (x, y) L1 (R n x ) The constants C may change from step to step, and in the second inequality we used lemma 1.5. The notation ceil( α /) just means that we round α / up to the nearest integer. Now, since <1/ we can take M sufficiently large so that (M + 1)( 1) + (n + 1) < (1 ) and this proves the result. Using the same method as in the proof of theorem.5 we could find an asymptotic expression for I a,φ to higher order. However the terms in the expansion become very complicated quite quickly. Nonetheless we will in some cases require explicit expressions for more than the first term of the asymptotic expansion. To get these expressions it will generally be easier to manipulate a (usually using integration by parts), and then apply the next result which is really a corollary of the proof of theorem.5. Corollary.6. Suppose we have the same hypotheses as in theorem.5 and use the same notation as in the proof. Further, assume that for all α N 1 and α x a (X(y),y)=0 [ x, xφ(x(y),y) 1 x N a ](X(y),y)=0.

6 0 Chapter. The method of stationary phase Then sup y V I a,φ(y, ) = O( m n/ (N+1)(1 ) ). Proof. We simply follow the proof of theorem.5 until (.4) which in this case, due to the vanishing of a at the stationary point, can be replaced by I a,φ(y, ) C m n/ (N+1)(1 ) + C m n/+(m+1)( 1)+(n+1). Once again we take M sufficiently large to establish the result.

LECTURE 5: THE METHOD OF STATIONARY PHASE

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

MATH 205C: STATIONARY PHASE LEMMA

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

Analysis II: The Implicit and Inverse Function Theorems

Analysis II: The Implicit and Inverse Function Theorems Analysis II: The Implicit and Inverse Function Theorems Jesse Ratzkin November 17, 2009 Let f : R n R m be C 1. When is the zero set Z = {x R n : f(x) = 0} the graph of another function? When is Z nicely

More information

FOURIER TRANSFORMS OF SURFACE MEASURE ON THE SPHERE MATH 565, FALL 2017

FOURIER TRANSFORMS OF SURFACE MEASURE ON THE SPHERE MATH 565, FALL 2017 FOURIER TRANSFORMS OF SURFACE MEASURE ON THE SPHERE MATH 565, FALL 17 1. Fourier transform of surface measure on the sphere Recall that the distribution u on R n defined as u, ψ = ψ(x) dσ(x) S n 1 is compactly

More information

(1 + 2y)y = x. ( x. The right-hand side is a standard integral, so in the end we have the implicit solution. y(x) + y 2 (x) = x2 2 +C.

(1 + 2y)y = x. ( x. The right-hand side is a standard integral, so in the end we have the implicit solution. y(x) + y 2 (x) = x2 2 +C. Midterm 1 33B-1 015 October 1 Find the exact solution of the initial value problem. Indicate the interval of existence. y = x, y( 1) = 0. 1 + y Solution. We observe that the equation is separable, and

More information

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f))

fy (X(g)) Y (f)x(g) gy (X(f)) Y (g)x(f)) = fx(y (g)) + gx(y (f)) fy (X(g)) gy (X(f)) 1. Basic algebra of vector fields Let V be a finite dimensional vector space over R. Recall that V = {L : V R} is defined to be the set of all linear maps to R. V is isomorphic to V, but there is no canonical

More information

First Order Differential Equations Lecture 3

First Order Differential Equations Lecture 3 First Order Differential Equations Lecture 3 Dibyajyoti Deb 3.1. Outline of Lecture Differences Between Linear and Nonlinear Equations Exact Equations and Integrating Factors 3.. Differences between Linear

More information

Oscillatory integrals

Oscillatory integrals Chapter Oscillatory integrals. Fourier transform on S The Fourier transform is a fundamental tool in microlocal analysis and its application to the theory of PDEs and inverse problems. In this first section

More information

Math 600 Day 1: Review of advanced Calculus

Math 600 Day 1: Review of advanced Calculus Math 600 Day 1: Review of advanced Calculus Ryan Blair University of Pennsylvania Thursday September 8, 2010 Ryan Blair (U Penn) Math 600 Day 1: Review of advanced Calculus Thursday September 8, 2010 1

More information

Chapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem

Chapter 4. Inverse Function Theorem. 4.1 The Inverse Function Theorem Chapter 4 Inverse Function Theorem d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d d dd d d d d This chapter

More information

arxiv: v1 [math.ca] 7 Aug 2015

arxiv: v1 [math.ca] 7 Aug 2015 THE WHITNEY EXTENSION THEOREM IN HIGH DIMENSIONS ALAN CHANG arxiv:1508.01779v1 [math.ca] 7 Aug 2015 Abstract. We prove a variant of the standard Whitney extension theorem for C m (R n ), in which the norm

More information

SARD S THEOREM ALEX WRIGHT

SARD S THEOREM ALEX WRIGHT SARD S THEOREM ALEX WRIGHT Abstract. A proof of Sard s Theorem is presented, and applications to the Whitney Embedding and Immersion Theorems, the existence of Morse functions, and the General Position

More information

Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality

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

Here we used the multiindex notation:

Here we used the multiindex notation: Mathematics Department Stanford University Math 51H Distributions Distributions first arose in solving partial differential equations by duality arguments; a later related benefit was that one could always

More information

DEVELOPMENT OF MORSE THEORY

DEVELOPMENT OF MORSE THEORY DEVELOPMENT OF MORSE THEORY MATTHEW STEED Abstract. In this paper, we develop Morse theory, which allows us to determine topological information about manifolds using certain real-valued functions defined

More information

Notes on Continued Fractions for Math 4400

Notes on Continued Fractions for Math 4400 . Continued fractions. Notes on Continued Fractions for Math 4400 The continued fraction expansion converts a positive real number α into a sequence of natural numbers. Conversely, a sequence of natural

More information

We have to prove now that (3.38) defines an orthonormal wavelet. It belongs to W 0 by Lemma and (3.55) with j = 1. We can write any f W 1 as

We have to prove now that (3.38) defines an orthonormal wavelet. It belongs to W 0 by Lemma and (3.55) with j = 1. We can write any f W 1 as 88 CHAPTER 3. WAVELETS AND APPLICATIONS We have to prove now that (3.38) defines an orthonormal wavelet. It belongs to W 0 by Lemma 3..7 and (3.55) with j =. We can write any f W as (3.58) f(ξ) = p(2ξ)ν(2ξ)

More information

Commutative Banach algebras 79

Commutative Banach algebras 79 8. Commutative Banach algebras In this chapter, we analyze commutative Banach algebras in greater detail. So we always assume that xy = yx for all x, y A here. Definition 8.1. Let A be a (commutative)

More information

Lagrangian submanifolds and generating functions

Lagrangian submanifolds and generating functions Chapter 4 Lagrangian submanifolds and generating functions Motivated by theorem 3.9 we will now study properties of the manifold Λ φ X (R n \{0}) for a clean phase function φ. As shown in section 3.3 Λ

More information

Fourier Transform & Sobolev Spaces

Fourier Transform & Sobolev Spaces Fourier Transform & Sobolev Spaces Michael Reiter, Arthur Schuster Summer Term 2008 Abstract We introduce the concept of weak derivative that allows us to define new interesting Hilbert spaces the Sobolev

More information

7 Asymptotics for Meromorphic Functions

7 Asymptotics for Meromorphic Functions Lecture G jacques@ucsd.edu 7 Asymptotics for Meromorphic Functions Hadamard s Theorem gives a broad description of the exponential growth of coefficients in power series, but the notion of exponential

More information

We denote the space of distributions on Ω by D ( Ω) 2.

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

Math 225B: Differential Geometry, Final

Math 225B: Differential Geometry, Final Math 225B: Differential Geometry, Final Ian Coley March 5, 204 Problem Spring 20,. Show that if X is a smooth vector field on a (smooth) manifold of dimension n and if X p is nonzero for some point of

More information

REVIEW OF DIFFERENTIAL CALCULUS

REVIEW OF DIFFERENTIAL CALCULUS REVIEW OF DIFFERENTIAL CALCULUS DONU ARAPURA 1. Limits and continuity To simplify the statements, we will often stick to two variables, but everything holds with any number of variables. Let f(x, y) be

More information

Problem List MATH 5143 Fall, 2013

Problem List MATH 5143 Fall, 2013 Problem List MATH 5143 Fall, 2013 On any problem you may use the result of any previous problem (even if you were not able to do it) and any information given in class up to the moment the problem was

More information

FIXED POINT ITERATIONS

FIXED POINT ITERATIONS FIXED POINT ITERATIONS MARKUS GRASMAIR 1. Fixed Point Iteration for Non-linear Equations Our goal is the solution of an equation (1) F (x) = 0, where F : R n R n is a continuous vector valued mapping in

More information

We thank F. Laudenbach for pointing out a mistake in Lemma 9.29, and C. Wendl for detecting a large number errors throughout the book.

We thank F. Laudenbach for pointing out a mistake in Lemma 9.29, and C. Wendl for detecting a large number errors throughout the book. ERRATA TO THE BOOK FROM STEIN TO WEINSTEIN AND BACK K. CIELIEBAK AND Y. ELIASHBERG We thank F. Laudenbach for pointing out a mistake in Lemma 9.29, and C. Wendl for detecting a large number errors throughout

More information

Lecture 11 Hyperbolicity.

Lecture 11 Hyperbolicity. Lecture 11 Hyperbolicity. 1 C 0 linearization near a hyperbolic point 2 invariant manifolds Hyperbolic linear maps. Let E be a Banach space. A linear map A : E E is called hyperbolic if we can find closed

More information

Bernstein s analytic continuation of complex powers

Bernstein s analytic continuation of complex powers (April 3, 20) Bernstein s analytic continuation of complex powers Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/. Analytic continuation of distributions 2. Statement of the theorems

More information

Magnetic wells in dimension three

Magnetic wells in dimension three Magnetic wells in dimension three Yuri A. Kordyukov joint with Bernard Helffer & Nicolas Raymond & San Vũ Ngọc Magnetic Fields and Semiclassical Analysis Rennes, May 21, 2015 Yuri A. Kordyukov (Ufa) Magnetic

More information

An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010

An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 An Introduction to Complex Analysis and Geometry John P. D Angelo, Pure and Applied Undergraduate Texts Volume 12, American Mathematical Society, 2010 John P. D Angelo, Univ. of Illinois, Urbana IL 61801.

More information

LECTURE 15: COMPLETENESS AND CONVEXITY

LECTURE 15: COMPLETENESS AND CONVEXITY LECTURE 15: COMPLETENESS AND CONVEXITY 1. The Hopf-Rinow Theorem Recall that a Riemannian manifold (M, g) is called geodesically complete if the maximal defining interval of any geodesic is R. On the other

More information

KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS

KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS KUIPER S THEOREM ON CONFORMALLY FLAT MANIFOLDS RALPH HOWARD DEPARTMENT OF MATHEMATICS UNIVERSITY OF SOUTH CAROLINA COLUMBIA, S.C. 29208, USA HOWARD@MATH.SC.EDU 1. Introduction These are notes to that show

More information

POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO

POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO POINTWISE BOUNDS ON QUASIMODES OF SEMICLASSICAL SCHRÖDINGER OPERATORS IN DIMENSION TWO HART F. SMITH AND MACIEJ ZWORSKI Abstract. We prove optimal pointwise bounds on quasimodes of semiclassical Schrödinger

More information

MULTIDIMENSIONAL SINGULAR λ-lemma

MULTIDIMENSIONAL SINGULAR λ-lemma Electronic Journal of Differential Equations, Vol. 23(23), No. 38, pp.1 9. ISSN: 172-6691. URL: http://ejde.math.swt.edu or http://ejde.math.unt.edu ftp ejde.math.swt.edu (login: ftp) MULTIDIMENSIONAL

More information

CHEVALLEY S THEOREM AND COMPLETE VARIETIES

CHEVALLEY S THEOREM AND COMPLETE VARIETIES CHEVALLEY S THEOREM AND COMPLETE VARIETIES BRIAN OSSERMAN In this note, we introduce the concept which plays the role of compactness for varieties completeness. We prove that completeness can be characterized

More information

MAT 257, Handout 13: December 5-7, 2011.

MAT 257, Handout 13: December 5-7, 2011. MAT 257, Handout 13: December 5-7, 2011. The Change of Variables Theorem. In these notes, I try to make more explicit some parts of Spivak s proof of the Change of Variable Theorem, and to supply most

More information

Multivariable Calculus

Multivariable Calculus 2 Multivariable Calculus 2.1 Limits and Continuity Problem 2.1.1 (Fa94) Let the function f : R n R n satisfy the following two conditions: (i) f (K ) is compact whenever K is a compact subset of R n. (ii)

More information

Math 2a Prac Lectures on Differential Equations

Math 2a Prac Lectures on Differential Equations Math 2a Prac Lectures on Differential Equations Prof. Dinakar Ramakrishnan 272 Sloan, 253-37 Caltech Office Hours: Fridays 4 5 PM Based on notes taken in class by Stephanie Laga, with a few added comments

More information

INVERSE FUNCTION THEOREM and SURFACES IN R n

INVERSE FUNCTION THEOREM and SURFACES IN R n INVERSE FUNCTION THEOREM and SURFACES IN R n Let f C k (U; R n ), with U R n open. Assume df(a) GL(R n ), where a U. The Inverse Function Theorem says there is an open neighborhood V U of a in R n so that

More information

Smooth Structure. lies on the boundary, then it is determined up to the identifications it 1 2

Smooth Structure. lies on the boundary, then it is determined up to the identifications it 1 2 132 3. Smooth Structure lies on the boundary, then it is determined up to the identifications 1 2 + it 1 2 + it on the vertical boundary and z 1/z on the circular part. Notice that since z z + 1 and z

More information

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.)

THEODORE VORONOV DIFFERENTIABLE MANIFOLDS. Fall Last updated: November 26, (Under construction.) 4 Vector fields Last updated: November 26, 2009. (Under construction.) 4.1 Tangent vectors as derivations After we have introduced topological notions, we can come back to analysis on manifolds. Let M

More information

Tools from Lebesgue integration

Tools from Lebesgue integration Tools from Lebesgue integration E.P. van den Ban Fall 2005 Introduction In these notes we describe some of the basic tools from the theory of Lebesgue integration. Definitions and results will be given

More information

Contents. 2 Partial Derivatives. 2.1 Limits and Continuity. Calculus III (part 2): Partial Derivatives (by Evan Dummit, 2017, v. 2.

Contents. 2 Partial Derivatives. 2.1 Limits and Continuity. Calculus III (part 2): Partial Derivatives (by Evan Dummit, 2017, v. 2. Calculus III (part 2): Partial Derivatives (by Evan Dummit, 2017, v 260) Contents 2 Partial Derivatives 1 21 Limits and Continuity 1 22 Partial Derivatives 5 23 Directional Derivatives and the Gradient

More information

u(0) = u 0, u(1) = u 1. To prove what we want we introduce a new function, where c = sup x [0,1] a(x) and ɛ 0:

u(0) = u 0, u(1) = u 1. To prove what we want we introduce a new function, where c = sup x [0,1] a(x) and ɛ 0: 6. Maximum Principles Goal: gives properties of a solution of a PDE without solving it. For the two-point boundary problem we shall show that the extreme values of the solution are attained on the boundary.

More information

INTRODUCTION TO REAL ANALYTIC GEOMETRY

INTRODUCTION TO REAL ANALYTIC GEOMETRY INTRODUCTION TO REAL ANALYTIC GEOMETRY KRZYSZTOF KURDYKA 1. Analytic functions in several variables 1.1. Summable families. Let (E, ) be a normed space over the field R or C, dim E

More information

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, )

Eilenberg-Steenrod properties. (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, ) II.3 : Eilenberg-Steenrod properties (Hatcher, 2.1, 2.3, 3.1; Conlon, 2.6, 8.1, 8.3 8.5 Definition. Let U be an open subset of R n for some n. The de Rham cohomology groups (U are the cohomology groups

More information

RANDOM PROPERTIES BENOIT PAUSADER

RANDOM PROPERTIES BENOIT PAUSADER RANDOM PROPERTIES BENOIT PAUSADER. Quasilinear problems In general, one consider the following trichotomy for nonlinear PDEs: A semilinear problem is a problem where the highest-order terms appears linearly

More information

Theorem 3.11 (Equidimensional Sard). Let f : M N be a C 1 map of n-manifolds, and let C M be the set of critical points. Then f (C) has measure zero.

Theorem 3.11 (Equidimensional Sard). Let f : M N be a C 1 map of n-manifolds, and let C M be the set of critical points. Then f (C) has measure zero. Now we investigate the measure of the critical values of a map f : M N where dim M = dim N. Of course the set of critical points need not have measure zero, but we shall see that because the values of

More information

Implicit Functions, Curves and Surfaces

Implicit Functions, Curves and Surfaces Chapter 11 Implicit Functions, Curves and Surfaces 11.1 Implicit Function Theorem Motivation. In many problems, objects or quantities of interest can only be described indirectly or implicitly. It is then

More information

On Cauchy s theorem and Green s theorem

On Cauchy s theorem and Green s theorem MA 525 On Cauchy s theorem and Green s theorem 1. Introduction No doubt the most important result in this course is Cauchy s theorem. There are many ways to formulate it, but the most simple, direct and

More information

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS

SPRING 2006 PRELIMINARY EXAMINATION SOLUTIONS SPRING 006 PRELIMINARY EXAMINATION SOLUTIONS 1A. Let G be the subgroup of the free abelian group Z 4 consisting of all integer vectors (x, y, z, w) such that x + 3y + 5z + 7w = 0. (a) Determine a linearly

More information

THE RESTRICTION PROBLEM AND THE TOMAS-STEIN THEOREM

THE RESTRICTION PROBLEM AND THE TOMAS-STEIN THEOREM THE RESTRICTION PROBLEM AND THE TOMAS-STEIN THEOREM DENNIS KRIVENTSOV Abstract. E. M. Stein s restriction problem for Fourier transforms is a deep and only partially solved conjecture in harmonic analysis.

More information

Whitney s Extension Problem for C m

Whitney s Extension Problem for C m Whitney s Extension Problem for C m by Charles Fefferman Department of Mathematics Princeton University Fine Hall Washington Road Princeton, New Jersey 08544 Email: cf@math.princeton.edu Supported by Grant

More information

Devoir 1. Valerio Proietti. November 5, 2014 EXERCISE 1. z f = g. supp g EXERCISE 2

Devoir 1. Valerio Proietti. November 5, 2014 EXERCISE 1. z f = g. supp g EXERCISE 2 GÉOMÉTRIE ANALITIQUE COMPLEXE UNIVERSITÉ PARIS-SUD Devoir Valerio Proietti November 5, 04 EXERCISE Thanks to Corollary 3.4 of [, p. ] we know that /πz is a fundamental solution of the operator z on C.

More information

Non-degeneracy of perturbed solutions of semilinear partial differential equations

Non-degeneracy of perturbed solutions of semilinear partial differential equations Non-degeneracy of perturbed solutions of semilinear partial differential equations Robert Magnus, Olivier Moschetta Abstract The equation u + F(V (εx, u = 0 is considered in R n. For small ε > 0 it is

More information

2. Function spaces and approximation

2. Function spaces and approximation 2.1 2. Function spaces and approximation 2.1. The space of test functions. Notation and prerequisites are collected in Appendix A. Let Ω be an open subset of R n. The space C0 (Ω), consisting of the C

More information

106 CHAPTER 3. TOPOLOGY OF THE REAL LINE. 2. The set of limit points of a set S is denoted L (S)

106 CHAPTER 3. TOPOLOGY OF THE REAL LINE. 2. The set of limit points of a set S is denoted L (S) 106 CHAPTER 3. TOPOLOGY OF THE REAL LINE 3.3 Limit Points 3.3.1 Main Definitions Intuitively speaking, a limit point of a set S in a space X is a point of X which can be approximated by points of S other

More information

Continued fractions for complex numbers and values of binary quadratic forms

Continued fractions for complex numbers and values of binary quadratic forms arxiv:110.3754v1 [math.nt] 18 Feb 011 Continued fractions for complex numbers and values of binary quadratic forms S.G. Dani and Arnaldo Nogueira February 1, 011 Abstract We describe various properties

More information

AUTOMORPHIC FORMS NOTES, PART I

AUTOMORPHIC FORMS NOTES, PART I AUTOMORPHIC FORMS NOTES, PART I DANIEL LITT The goal of these notes are to take the classical theory of modular/automorphic forms on the upper half plane and reinterpret them, first in terms L 2 (Γ \ SL(2,

More information

8.1 Bifurcations of Equilibria

8.1 Bifurcations of Equilibria 1 81 Bifurcations of Equilibria Bifurcation theory studies qualitative changes in solutions as a parameter varies In general one could study the bifurcation theory of ODEs PDEs integro-differential equations

More information

Math 115 ( ) Yum-Tong Siu 1. Canonical Transformation. Recall that the canonical equations (or Hamiltonian equations) = H

Math 115 ( ) Yum-Tong Siu 1. Canonical Transformation. Recall that the canonical equations (or Hamiltonian equations) = H Math 115 2006-2007) Yum-Tong Siu 1 ) Canonical Transformation Recall that the canonical equations or Hamiltonian equations) dy = H dx p dp = dx H, where p = F y, and H = F + y p come from the reduction

More information

11. Dimension. 96 Andreas Gathmann

11. Dimension. 96 Andreas Gathmann 96 Andreas Gathmann 11. Dimension We have already met several situations in this course in which it seemed to be desirable to have a notion of dimension (of a variety, or more generally of a ring): for

More information

Math 4263 Homework Set 1

Math 4263 Homework Set 1 Homework Set 1 1. Solve the following PDE/BVP 2. Solve the following PDE/BVP 2u t + 3u x = 0 u (x, 0) = sin (x) u x + e x u y = 0 u (0, y) = y 2 3. (a) Find the curves γ : t (x (t), y (t)) such that that

More information

4 Sobolev spaces, trace theorem and normal derivative

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

Day 5. Friday May 25, 2012

Day 5. Friday May 25, 2012 Day 5 Friday May 5, 01 1 Quantifiers So far, we have done math with the expectation that atoms are always either true or false. In reality though, we would like to talk about atoms like x > Whose truth

More information

(d). Why does this imply that there is no bounded extension operator E : W 1,1 (U) W 1,1 (R n )? Proof. 2 k 1. a k 1 a k

(d). Why does this imply that there is no bounded extension operator E : W 1,1 (U) W 1,1 (R n )? Proof. 2 k 1. a k 1 a k Exercise For k 0,,... let k be the rectangle in the plane (2 k, 0 + ((0, (0, and for k, 2,... let [3, 2 k ] (0, ε k. Thus is a passage connecting the room k to the room k. Let ( k0 k (. We assume ε k

More information

C m Extension by Linear Operators

C m Extension by Linear Operators C m Extension by Linear Operators by Charles Fefferman Department of Mathematics Princeton University Fine Hall Washington Road Princeton, New Jersey 08544 Email: cf@math.princeton.edu Partially supported

More information

The Hilbert transform

The Hilbert transform The Hilbert transform Definition and properties ecall the distribution pv(, defined by pv(/(ϕ := lim ɛ ɛ ϕ( d. The Hilbert transform is defined via the convolution with pv(/, namely (Hf( := π lim f( t

More information

arxiv: v1 [math.ca] 4 Aug 2017

arxiv: v1 [math.ca] 4 Aug 2017 arxiv:170802065v1 [mathca] 4 Aug 2017 THE IMPLICIT FUNCTION THEOREM FOR MAPS THAT ARE ONLY DIFFERENTIABLE: AN ELEMENTARY PROOF Oswaldo Rio Branco de Oliveira Abstract This article shows a very elementary

More information

Topological properties

Topological properties CHAPTER 4 Topological properties 1. Connectedness Definitions and examples Basic properties Connected components Connected versus path connected, again 2. Compactness Definition and first examples Topological

More information

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 2010 (Day 1)

QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 2010 (Day 1) QUALIFYING EXAMINATION Harvard University Department of Mathematics Tuesday August 31, 21 (Day 1) 1. (CA) Evaluate sin 2 x x 2 dx Solution. Let C be the curve on the complex plane from to +, which is along

More information

POWER SERIES AND ANALYTIC CONTINUATION

POWER SERIES AND ANALYTIC CONTINUATION POWER SERIES AND ANALYTIC CONTINUATION 1. Analytic functions Definition 1.1. A function f : Ω C C is complex-analytic if for each z 0 Ω there exists a power series f z0 (z) := a n (z z 0 ) n which converges

More information

One-dimensional Schrödinger equation

One-dimensional Schrödinger equation Chapter 1 One-dimensional Schrödinger equation In this chapter we will start from the harmonic oscillator to introduce a general numerical methodology to solve the one-dimensional, time-independent Schrödinger

More information

Notes on the Implicit Function Theorem

Notes on the Implicit Function Theorem CALIFORNIA INSTITUTE OF TECHNOLOGY Division of the Humanities and Social Sciences Notes on the Implicit Function Theorem KC Border v 20130827::1408 1 Implicit Function Theorems The Implicit Function Theorem

More information

FIXED POINT METHODS IN NONLINEAR ANALYSIS

FIXED POINT METHODS IN NONLINEAR ANALYSIS FIXED POINT METHODS IN NONLINEAR ANALYSIS ZACHARY SMITH Abstract. In this paper we present a selection of fixed point theorems with applications in nonlinear analysis. We begin with the Banach fixed point

More information

2x (x 2 + y 2 + 1) 2 2y. (x 2 + y 2 + 1) 4. 4xy. (1, 1)(x 1) + (1, 1)(y + 1) (1, 1)(x 1)(y + 1) 81 x y y + 7.

2x (x 2 + y 2 + 1) 2 2y. (x 2 + y 2 + 1) 4. 4xy. (1, 1)(x 1) + (1, 1)(y + 1) (1, 1)(x 1)(y + 1) 81 x y y + 7. Homework 8 Solutions, November 007. (1 We calculate some derivatives: f x = f y = x (x + y + 1 y (x + y + 1 x = (x + y + 1 4x (x + y + 1 4 y = (x + y + 1 4y (x + y + 1 4 x y = 4xy (x + y + 1 4 Substituting

More information

Compact operators on Banach spaces

Compact operators on Banach spaces Compact operators on Banach spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto November 12, 2017 1 Introduction In this note I prove several things about compact

More information

THE HARTMAN-GROBMAN THEOREM AND THE EQUIVALENCE OF LINEAR SYSTEMS

THE HARTMAN-GROBMAN THEOREM AND THE EQUIVALENCE OF LINEAR SYSTEMS THE HARTMAN-GROBMAN THEOREM AND THE EQUIVALENCE OF LINEAR SYSTEMS GUILLAUME LAJOIE Contents 1. Introduction 2 2. The Hartman-Grobman Theorem 2 2.1. Preliminaries 2 2.2. The discrete-time Case 4 2.3. The

More information

Average theorem, Restriction theorem and Strichartz estimates

Average theorem, Restriction theorem and Strichartz estimates Average theorem, Restriction theorem and trichartz estimates 2 August 27 Abstract We provide the details of the proof of the average theorem and the restriction theorem. Emphasis has been placed on the

More information

Kernel B Splines and Interpolation

Kernel B Splines and Interpolation Kernel B Splines and Interpolation M. Bozzini, L. Lenarduzzi and R. Schaback February 6, 5 Abstract This paper applies divided differences to conditionally positive definite kernels in order to generate

More information

Garrett: `Bernstein's analytic continuation of complex powers' 2 Let f be a polynomial in x 1 ; : : : ; x n with real coecients. For complex s, let f

Garrett: `Bernstein's analytic continuation of complex powers' 2 Let f be a polynomial in x 1 ; : : : ; x n with real coecients. For complex s, let f 1 Bernstein's analytic continuation of complex powers c1995, Paul Garrett, garrettmath.umn.edu version January 27, 1998 Analytic continuation of distributions Statement of the theorems on analytic continuation

More information

Notes on Real and Complex Analytic and Semianalytic Singularities

Notes on Real and Complex Analytic and Semianalytic Singularities Notes on Real and Complex Analytic and Semianalytic Singularities David B. Massey and Lê Dũng Tráng 1 Manifolds and Local, Ambient, Topological-type We assume that the reader is familiar with the notion

More information

Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations.

Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differenti. equations. Lecture 9 Metric spaces. The contraction fixed point theorem. The implicit function theorem. The existence of solutions to differential equations. 1 Metric spaces 2 Completeness and completion. 3 The contraction

More information

C 1 convex extensions of 1-jets from arbitrary subsets of R n, and applications

C 1 convex extensions of 1-jets from arbitrary subsets of R n, and applications C 1 convex extensions of 1-jets from arbitrary subsets of R n, and applications Daniel Azagra and Carlos Mudarra 11th Whitney Extension Problems Workshop Trinity College, Dublin, August 2018 Two related

More information

1. Bounded linear maps. A linear map T : E F of real Banach

1. Bounded linear maps. A linear map T : E F of real Banach DIFFERENTIABLE MAPS 1. Bounded linear maps. A linear map T : E F of real Banach spaces E, F is bounded if M > 0 so that for all v E: T v M v. If v r T v C for some positive constants r, C, then T is bounded:

More information

Handlebody Decomposition of a Manifold

Handlebody Decomposition of a Manifold Handlebody Decomposition of a Manifold Mahuya Datta Statistics and Mathematics Unit Indian Statistical Institute, Kolkata mahuya@isical.ac.in January 12, 2012 contents Introduction What is a handlebody

More information

Transformations from R m to R n.

Transformations from R m to R n. Transformations from R m to R n 1 Differentiablity First of all because of an unfortunate combination of traditions (the fact that we read from left to right and the way we define matrix multiplication

More information

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions

Economics 204 Fall 2011 Problem Set 2 Suggested Solutions Economics 24 Fall 211 Problem Set 2 Suggested Solutions 1. Determine whether the following sets are open, closed, both or neither under the topology induced by the usual metric. (Hint: think about limit

More information

A Note on V. I. Arnold s Chord Conjecture. Casim Abbas. 1 Introduction

A Note on V. I. Arnold s Chord Conjecture. Casim Abbas. 1 Introduction IMRN International Mathematics Research Notices 1999, No. 4 A Note on V. I. Arnold s Chord Conjecture Casim Abbas 1 Introduction This paper makes a contribution to a conjecture of V. I. Arnold in contact

More information

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39)

i = f iα : φ i (U i ) ψ α (V α ) which satisfy 1 ) Df iα = Df jβ D(φ j φ 1 i ). (39) 2.3 The derivative A description of the tangent bundle is not complete without defining the derivative of a general smooth map of manifolds f : M N. Such a map may be defined locally in charts (U i, φ

More information

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016

Department of Mathematics, University of California, Berkeley. GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 Department of Mathematics, University of California, Berkeley YOUR 1 OR 2 DIGIT EXAM NUMBER GRADUATE PRELIMINARY EXAMINATION, Part A Fall Semester 2016 1. Please write your 1- or 2-digit exam number on

More information

Problem List MATH 5173 Spring, 2014

Problem List MATH 5173 Spring, 2014 Problem List MATH 5173 Spring, 2014 The notation p/n means the problem with number n on page p of Perko. 1. 5/3 [Due Wednesday, January 15] 2. 6/5 and describe the relationship of the phase portraits [Due

More information

Lecture 9. = 1+z + 2! + z3. 1 = 0, it follows that the radius of convergence of (1) is.

Lecture 9. = 1+z + 2! + z3. 1 = 0, it follows that the radius of convergence of (1) is. The Exponential Function Lecture 9 The exponential function 1 plays a central role in analysis, more so in the case of complex analysis and is going to be our first example using the power series method.

More information

Solutions to Problem Set 5 for , Fall 2007

Solutions to Problem Set 5 for , Fall 2007 Solutions to Problem Set 5 for 18.101, Fall 2007 1 Exercise 1 Solution For the counterexample, let us consider M = (0, + ) and let us take V = on M. x Let W be the vector field on M that is identically

More information

g(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0)

g(x) = P (y) Proof. This is true for n = 0. Assume by the inductive hypothesis that g (n) (0) = 0 for some n. Compute g (n) (h) g (n) (0) Mollifiers and Smooth Functions We say a function f from C is C (or simply smooth) if all its derivatives to every order exist at every point of. For f : C, we say f is C if all partial derivatives to

More information

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation

Quadratic reciprocity (after Weil) 1. Standard set-up and Poisson summation (December 19, 010 Quadratic reciprocity (after Weil Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ I show that over global fields k (characteristic not the quadratic norm residue symbol

More information

MAT 530: Topology&Geometry, I Fall 2005

MAT 530: Topology&Geometry, I Fall 2005 MAT 530: Topology&Geometry, I Fall 2005 Midterm Solutions Note: These solutions are more detailed than solutions sufficient for full credit. Let X denote the set {a, b, c}. The collections Problem 1 5+5

More information

Energy method for wave equations

Energy method for wave equations Energy method for wave equations Willie Wong Based on commit 5dfb7e5 of 2017-11-06 13:29 Abstract We give an elementary discussion of the energy method (and particularly the vector field method) in the

More information

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS

THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS THE FUNDAMENTAL THEOREM OF ALGEBRA VIA PROPER MAPS KEITH CONRAD 1. Introduction The Fundamental Theorem of Algebra says every nonconstant polynomial with complex coefficients can be factored into linear

More information