The method of stationary phase
|
|
- Asher Rose
- 5 years ago
- Views:
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 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 informationMATH 205C: STATIONARY PHASE LEMMA
MATH 205C: STATIONARY PHASE LEMMA For ω, consider an integral of the form I(ω) = e iωf(x) u(x) dx, where u Cc (R n ) complex valued, with support in a compact set K, and f C (R n ) real valued. Thus, I(ω)
More informationAnalysis 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 informationFOURIER 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.
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 informationfy (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 informationFirst 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 informationOscillatory 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 informationMath 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 informationChapter 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 informationarxiv: 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 informationSARD 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 informationTopics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality
Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality Po-Lam Yung The Chinese University of Hong Kong Introduction While multiplier operators are very useful in studying
More informationHere 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 informationDEVELOPMENT 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 informationNotes 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 informationWe 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 informationCommutative 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 informationLagrangian 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 informationFourier 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 information7 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 informationWe denote the space of distributions on Ω by D ( Ω) 2.
Sep. 1 0, 008 Distributions Distributions are generalized functions. Some familiarity with the theory of distributions helps understanding of various function spaces which play important roles in the study
More informationMath 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 informationREVIEW 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 informationProblem 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 informationFIXED 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 informationWe 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 informationLecture 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 informationBernstein 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 informationMagnetic wells in dimension three
Magnetic wells in dimension three Yuri A. Kordyukov joint with Bernard Helffer & Nicolas Raymond & San Vũ Ngọc Magnetic Fields and Semiclassical Analysis Rennes, May 21, 2015 Yuri A. Kordyukov (Ufa) Magnetic
More informationAn 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 informationLECTURE 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 informationKUIPER 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 informationPOINTWISE 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 informationMULTIDIMENSIONAL 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 informationCHEVALLEY 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 informationMAT 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 informationMultivariable 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 informationMath 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 informationINVERSE 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 informationSmooth 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 informationTHEODORE 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 informationTools 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 informationContents. 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 informationu(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 informationINTRODUCTION 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 informationEilenberg-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 informationRANDOM 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 informationTheorem 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 informationImplicit 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 informationOn 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 informationSPRING 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 informationTHE 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 informationWhitney 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 informationDevoir 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 informationNon-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 information2. 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 information106 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 informationContinued 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 informationAUTOMORPHIC 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 information8.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 informationMath 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 information11. 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 informationMath 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 information4 Sobolev spaces, trace theorem and normal derivative
4 Sobolev spaces, trace theorem and normal derivative Throughout, n will be a sufficiently smooth, bounded domain. We use the standard Sobolev spaces H 0 ( n ) := L 2 ( n ), H 0 () := L 2 (), H k ( n ),
More informationDay 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
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 informationC 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 informationThe 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 informationarxiv: 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 informationTopological 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 informationQUALIFYING 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 informationPOWER 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 informationOne-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 informationNotes 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 informationFIXED 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 information2x (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 informationCompact 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 informationTHE 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 informationAverage 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 informationKernel 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 informationGarrett: `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 informationNotes 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 informationLecture 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 informationC 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 information1. 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 informationHandlebody 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 informationTransformations 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 informationEconomics 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 informationA 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 informationi = 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 informationDepartment 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 informationProblem 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 informationLecture 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 informationSolutions 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 informationg(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 informationQuadratic 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 informationMAT 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 informationEnergy 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 informationTHE 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