Mathematical Tripos Part III Michaelmas 2017 Distribution Theory & Applications, Example sheet 1 (answers) Dr A.C.L. Ashton
|
|
- Logan Walters
- 5 years ago
- Views:
Transcription
1 Mathematical Tripos Part III Michaelmas 7 Distribution Theory & Applications, Eample sheet (answers) Dr A.C.L. Ashton Comments and corrections to acla@damtp.cam.ac.uk.. Construct a non-zero element of D () that vanishes outside (, ). Construct a non-zero element of D ( n ) that vanishes outside the ball B ɛ { n : < ɛ}. Answer: Consider the function ϕ() { ep ( ) ɛ You will find ϕ D( n ) and has the desired properties.. Given ϕ D(X), Taylor s theorem gives ϕ( + h), < ɛ, ɛ. α N h α α! α ϕ() + N (, h). Prove that supp ( N is contained in some fied compact K X for h sufficiently small. Show also that α N o ( h ) N uniformly in for each multi-inde α, i.e. prove [ sup α ] N (, h) h h N for each multi-inde α. [Hint: you may find it convenient to use the following form of remainder N (, h) α N+ h α (N + ) α! and note that (N + )! α N+ hα /α! (h + + h n ) N+. ] Answer: The remainder is N (, h) α N+ h α (N + ) α! ( t) N ( α ϕ)( + th) dt, ( t) N ( α ϕ)( + th) dt, For h n fied, it is clear that N (, h) vanishes unless + th supp(ϕ) for some t [, ]. Hence supp( N ) supp(ϕ) + B h. Choose h small enough so that the left hand side is contained in some compact subset of X. Also sup α N (, h) h β h n βn sup β! β N+ h β h n βn β! β N+ ( ) N+ h + + h n [ n /( ) ] / N+ h + + h n h N+ α+β ϕ( + th) dt where in the second to last line we used Cauchy-Schwarz. The implied constant in this final estimate will depend on {α, N, n, ϕ}. We see α N (, h) o( h N ) uniformly in. Consider the map d : supp(ϕ) [, ) defined by d() dist(, X), where d(, Y ) inf y Y y. Then d is continuous and d() > since X and supp(ϕ) are disjoint. Compactness of supp(ϕ) implies d() δ for some δ >, so taking h < δ would do.
2 3. Which elements of D(X) can be represented as a power series on X? Answer: None other than ϕ. For this problem define the set N { X : ϕ() } so that supp(ϕ) cl(n ). Take y on the boundary of the support of supp(ϕ), i.e. y N. By our hypothesis there eists a δ > such that that ϕ() coincides with with its Taylor series on B δ (y), i.e. ϕ() α ( y) α α ϕ(y), α! B δ (y). By continuity we have α ϕ(y) for each multi-inde α, meaning ϕ() on B δ (y) supp(ϕ). Since y N, there is a sequence n N with n y, so in particular there eists an N such that n B δ (y) for n > N. This means n B δ (y) supp(ϕ) for n > N, contradicting the fact ϕ( n ). 4. Prove the C Urysohn lemma: if K is a compact subset of X n, show that one can find a ϕ D(X) such that ϕ and ϕ on a neighbourhood of K. [Hint: Let χ be a characteristic (indicator) function on a neighbourhood of K and smooth it off by taking the convolution with a test function that approimates δ.] Answer: Choose ɛ > sufficiently small so that y 4ɛ when K and y X c n \ X. Following the hint, we introduce an indicator function on a neighbourhood of K: let χ on the set K ɛ {y : y ɛ for some K} and χ otherwise. Now fi ϕ D(X) with ϕ d and supp(ϕ) B. It follows that ϕ ɛ () ɛ n ϕ(/ɛ) is an approimation to the identity as ɛ and supp(ϕ ɛ ) B ɛ. We consider the function φ() (χ ϕ ɛ )() χ(y)ϕ ɛ ( y) dy. Certainly φ C (X) and it is clear that supp(φ) supp(χ) + supp(ϕ ɛ ) K ɛ + B ɛ K 3ɛ so φ D(X). Since ϕ ɛ d we have φ() ( ) ϕ ɛ (y) χ( y) dy which vanishes if y K ɛ for all y B ɛ. So φ in K ɛ and we are done. 5. Given T D (X), the derivative α T is defined by α T, ϕ ( ) α T, α ϕ ϕ D(X). Show that that α T D (X). If ord(t ) m what can you say about ord( α T )? Answer: By definition, for each compact K X there eist constants such that α T, ϕ def ( ) α T, α ϕ C sup α+β ϕ C sup γ ϕ β N γ N+ α for each ϕ D(X) with supp(ϕ) K. So α T D (X) and if ord(t ) m then ord( α T ) m + α. To construct a distribution for which this inequality is strict for a particular multi-inde, consider the linear map T, ϕ α ϕ(,,..., ) d and calculate T/ i for i and i. 6. Let T D (X) and f C (X). Prove that for each multi-inde α α (T f) ( ) α β f α β T β β α in D (X) (take the case X if you re still getting used to multi-indices).
3 Answer: Using the definitions we have (ft ), ϕ ft, ϕ T, fϕ T, (fϕ) + T, f ϕ (ft + f T ), ϕ i.e. (ft ) f T + ft in D (X). The general case is similar. 7. Let { k } k be a sequence in X with no it point in X. Consider the family of linear maps u α : D(X) C defined by u α, ϕ α ϕ( k ) for each multi-inde α. For which α is u α D (X)? What is ord(u α )? k Answer: If ϕ D(X) then there are only a finite number of the k contained in supp ϕ (if there were infinitely many inside the compact set supp ϕ, we would be able to go to a subsequence which converges, contradicting the fact that the sequence has no it points). Hence u α, ϕ k α ϕ( k ) k I α ϕ( k ) where I {k : k supp ϕ} is a finite set that depends only on supp(ϕ). So the linear map is welldefined. To see that it s a distribution: fi a compact K X, and take ϕ D(X) with supp ϕ K. Then u α, ϕ α ϕ( k ) sup α ϕ I sup β ϕ. k I k I β α Since I is dependent only on K, we deduce that u α D (X) for all multi-indices α and clearly ord(u α ) α. To show that the order is equal to α, set ϕ m () ( ) α ψ(m( )) for some ψ D( n ) with sufficiently small support and ψ(). Then sup β ϕ m m β α, since β ϕ m () ( ) β β γ ( ) α m γ ( γ ψ)(m( )), γ γ β and the right hand side vanishes unless /m. So sup β ϕ m as m if β < α. But u α, ϕ m α! so the ord(u α ) cannot be less than α. For intuition: our sequence of functions looks eactly like ( ) α localised closer and closer around the point. 8. Find the most general solution to the equations in D (). (a) u, (b) u δ, (c) ( e πi ) u Answer: (a) If u then (u ). In lectures we showed that v in D () implied v const in D (). Hence the general solution to u is u + const. (b) Try u cδ for a particular solution. Then u, ϕ u, (ϕ) u, ϕ u, ϕ c δ, ϕ. So we find u δ by setting u δ. Now we need to classify all solutions to the homogeneous problem. Consider equation v in D (). Introducing ρ D() with ρ in a neighbourhood of {} find v, ϕ v, ρϕ + v, ( ρ)ϕ. By Taylor s theorem ϕ() ϕ() + ϕ(), where ϕ C () and φ D(). And so v, ϕ ϕ() v, ρ + v, ρ ϕ + ( ρ())ϕ() φ() v, φ c δ, ϕ 3
4 where c v, ρ. We conclude that the most general solution to v in D () is v c δ. It follows that the most general solution to u is u c H + c, where H is the Heaviside function which satisfies H δ. So the general solution to u δ in D () is u c H + c δ. (c) It is clear that supp(u ) Z. Indeed, if supp(ϕ) Z then u, ϕ (e πi )u, (e πi ) ϕ since (e πi ) is smooth on supp(ϕ). Introduce the functions ρ n D() {, n ɛ ρ n (), n > ɛ where ɛ < / say (so supp(ρ n ) supp(ρ m ) for n m). Then we have (e πi )u, ϕ n (e πi )u n, ϕ n v n, ϕ where u n ρ n u and v n is defined accordingly. Now since the supports of the v n are disjoint and v n it must be the case that v n for each n. Indeed, we have v n, ϕ v n, ρ n ϕ m n v m, ρ n ϕ since supp(ρ n ϕ) supp(v m ) for m n. So our problem is reduced to solving (e πi )u n. We may concentrate on m since the other cases are just translations of this. We have u, ϕ u, ρ ϕ and by Taylor s theorem ϕ() ϕ() + ϕ() for some ϕ C (). Note that we can write where f C () and f > on supp(ρ ). Hence (e πi ) f() u, ϕ ϕ() u, ρ m + u, ρ ϕ c δ, ϕ + We deduce u c H + const. The general solution is then (e πi )u, ρ ϕ c δ, ϕ. f u const + n c n (τ n H). This is formal the series doesn t necessarily converge in D () for any old choice of {c n }. 9. Define the distribution u D ( ) by the locally integrable function {, y u(, y), otherwise. Show that u yu in D ( ). Can you give a physical interpretation of this result? Answer: We are required to compute u yu, ϕ u(, y) (ϕ ϕ yy ) d dy 4
5 We do the first term first: since u when < y we have ( ) u(, y)ϕ (, y) d dy ϕ (, y) d dy y ϕ (y, y) dy. Similarly for the second term ( u(, y)ϕ yy (, y) d dy ) ϕ yy (, y) dy d ϕ y (, ) d. Summing up these contributions and relabelling the dummy variables to τ we have u yu, ϕ ( d ϕ (τ, τ) + ϕ y (τ, τ)) dτ ϕ(τ, τ) dτ dτ i.e. u yu in D ( ). If y is a time-like coordinate then this corresponds to a step wave.. Compute ( n ) in D ( n ) for n 3, i.e. compute ( n ), ϕ n, ϕ ϕ d n for arbitrary ϕ D ( n ). Note that ( + + n) / and i ( / i). [Hint: use d ɛ d + d and treat each integral separately.] >ɛ Answer: Since n is locally integrable on n it follows that ϕ d ɛ n B ɛ (this can be checked using polar coordinates with d r n dr dσ n ). To look at the contribution from Bɛ, c first choose > sufficiently large so that supp(ϕ) B. Now apply Green s theorem to Ω ɛ B \ B ɛ and observe that ( n ) on Bɛ c for any ɛ >. ecall Green s theorem says ( (u v v u) d u v Ω ɛ n v u ) da n where da is the surface element on Ω ɛ. Setting u n, v ϕ and using polar coordinates with r we find ( ϕ n ϕ d r n rɛ r ϕ ) r (r n ) r n dσ n Ω ɛ where dσ n is the surface measure on S n. We have chosen > sufficiently large so that there are no contributions from the outer surface B. The it of the integral on the right is just ( ɛ ϕ ) ( n)ϕ rɛ dσ n (n )ω n ϕ() ɛ r rɛ S n where ω n S n dσ n. We deduce that ( n ) c n δ in D( n ), where c n ( n)ω n.. Let {f k } k be the sequence of smooth functions defined by f k () π Prove that f k δ in D (). Compute the its Ω ɛ k (k) +. in D (). (a) k k e k, (b) k k3 e ik sin(k), (c) k π 5
6 Answer: First few are straightforward, e.g. f k, ϕ k k π kϕ() + k d k π ϕ(/k) d ϕ() + where in the final step we used the dominated convergence theorem to interchange the it and the integral. Using the same substitution trick we find (a) f k. Integrating by parts we find (b) f k. For (c) proceed as follows: given ϕ D() fi > so that supp(ϕ) [, ]. Then f k, ϕ Using integration by parts on the first term we see sin(k) [ ] sin(k) ϕ() ϕ() d + ϕ() d π π [ ϕ() ϕ() sin(k) π ] d O ( ) k where the implied constant depends on ϕ. By changing variables in the second integral we deduce so that f k δ in D (). k f sin k, ϕ ϕ() d ϕ() k k k π. Compute the it in D (, ). k [ + k m cos(πm) ] Answer: Any ϕ D(, ) has an absolutely convergent Fourier series ϕ() n e iπn ˆϕ n, ˆϕ n e iπn ϕ() d. We have u k, ϕ m k m k e iπm ϕ() d ˆϕ n From this we deduce i.e. u k δ in D (, ). k u k, ϕ n ˆϕ n ϕ() 3. We define the principal value of /, written p.v.(/), by ( ) ϕ() p.v., ϕ ɛ >ɛ d for all ϕ D (). Prove that p.v.(/) D () and ord(p.v.(/)). Show that ( ) ( ) p.v. + iπδ in D (). ɛ iɛ 6
7 Answer: For a given ϕ D() fi > so that supp(ϕ) [, ]. Then [ ϕ() ɛ ] >ɛ d ϕ() + ɛ d ϕ() ϕ( ) d ɛ It follows that ( ) ϕ() ϕ( ) p.v., ϕ d. For each [, ] with supp(ϕ) [, ] we have ( ) p.v., ϕ ϕ() ϕ( ) d ϕ (y) dy d hence ( ) p.v., ϕ C sup ϕ C sup α ϕ. α ϕ (τ) dτ d, So p.v.(/) D () and ord(p.v.(/)). If ord(p.v.(/)) then p.v.(/), ϕ C K ϕ for all ϕ D() with supp ϕ K. But this can t be true: consider ϕ n with supp ϕ n [, ] and ϕ n on [/n, ]. Then since ϕ n () for each n (by continuity) we have ( ) ϕ n () ϕ n () p.v., ϕ n d d log n. /n So p.v.(/), ϕ n but ϕ n and supp ϕ n K [, ], so ord(p.v.(/)) >, and by previous it must be. A note for intuition: we picked a collection of test functions that were bounded, but whose derivatives necessarily got bigger and bigger near. For the net part ϕ() iɛ d ϕ() ϕ() iɛ ϕ() ϕ() iɛ ϕ() ϕ() iɛ d + ϕ() d + iϕ() d + iϕ() /ɛ /ɛ d iɛ ɛd + ɛ + ϕ() d + where we discarded one integral since the integrand was odd. Taking the it we get ɛ iɛ, ϕ ϕ() ϕ() d + iπϕ() Since the integrand in the first term is integrable, we can write it as ϕ() ϕ() + ɛ d ϕ() ϕ() ϕ() ϕ() d d d δ δ< < δ δ< < δ δ< < d The second of these vanishes and we deduce ɛ iɛ, ϕ which yields the desired result. 4. Show that (log ) p.v.(/) in D (). p.v. ( ), ϕ + iπδ, ϕ 7
8 Answer: We have (log ), ϕ log ϕ () d ɛ ɛ >ɛ p.v. log ϕ () d [ log(ɛ)ϕ( ɛ) log(ɛ)ϕ(ɛ) + ( ), ϕ where we used the fact ϕ(ɛ) ϕ( ɛ) O(ɛ) and ɛ log(ɛ) o(). 5. Let f f(z) be comple analytic on X C. Suppose f has zeros at {z i } in X with multiplicities {m i }. Prove that >ɛ ϕ() d ] log f π i m i δ zi in D (X), where + y is the Laplacian on. Answer: First we split the integral into neighbourhoods of the zeros of f and their complement log f, ϕ log f ϕ d log f ϕ d + log f ϕ d. X i B ɛ(z i) X\ B ɛ(z i) The first collection of integrals can be made as small as we please by making ɛ small. Indeed, in a neighbourhood of any z i we can write f(z) (z z i ) mi g(z) for some analytic g with g(z i ) so log f m i log z z i + log g in a neighbourhood of z i. So log f is clearly locally integrable. By Greens theorem ( ) log f ϕ ϕ log f d ( log f ϕ X\ B ɛ(z i) i B ɛ(z i) n ϕ ) log f ds n where s is the arc-length. Since log f e log(f) we know that log f is harmonic in X \ B ɛ (z i ), i.e. log f above. By translation invariance it is enough to understand the problem about z i. ( log f ϕ d log f ϕ X\B ɛ() B ɛ() n ϕ ) log f ds n π ( ϕ r (m i log r + log g ) (m i log r + log g ) ϕ ) r dθ r rɛ π m i ϕ(ɛ cos θ, ɛ sin θ) dθ + o() πm i ϕ() + o() where we used / n / r since on the boundary of X \ B ɛ () the normal points into B ɛ (). Taking the it ɛ we deduce log f, ϕ π i m i δ zi, ϕ. 6. Define the distribution u E ( 3 ) the locally integrable function {,, u(), >. Prove that i i( u/ i ) dσ in E ( 3 ), where dσ is the surface element on the sphere S 3. Answer: For ϕ E( 3 ) the divergence theorem gives u i, ϕ ( i ϕ) d (ϕ) d (ϕ) dσ ϕ dσ i i B i B S S since for S. 8
Fourier transform of tempered distributions
Fourier transform of tempered distributions 1 Test functions and distributions As we have seen before, many functions are not classical in the sense that they cannot be evaluated at any point. For eample,
More information2 Write down the range of values of α (real) or β (complex) for which the following integrals converge. (i) e z2 dz where {γ : z = se iα, < s < }
Mathematical Tripos Part II Michaelmas term 2007 Further Complex Methods, Examples sheet Dr S.T.C. Siklos Comments and corrections: e-mail to stcs@cam. Sheet with commentary available for supervisors.
More informationMeasure and Integration: Solutions of CW2
Measure and Integration: s of CW2 Fall 206 [G. Holzegel] December 9, 206 Problem of Sheet 5 a) Left (f n ) and (g n ) be sequences of integrable functions with f n (x) f (x) and g n (x) g (x) for almost
More informationHarmonic Analysis Homework 5
Harmonic Analysis Homework 5 Bruno Poggi Department of Mathematics, University of Minnesota November 4, 6 Notation Throughout, B, r is the ball of radius r with center in the understood metric space usually
More informationMetric Spaces and Topology
Chapter 2 Metric Spaces and Topology From an engineering perspective, the most important way to construct a topology on a set is to define the topology in terms of a metric on the set. This approach underlies
More informationMath Homework 2
Math 73 Homework Due: September 8, 6 Suppose that f is holomorphic in a region Ω, ie an open connected set Prove that in any of the following cases (a) R(f) is constant; (b) I(f) is constant; (c) f is
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 information= 1 2 x (x 1) + 1 {x} (1 {x}). [t] dt = 1 x (x 1) + O (1), [t] dt = 1 2 x2 + O (x), (where the error is not now zero when x is an integer.
Problem Sheet,. i) Draw the graphs for [] and {}. ii) Show that for α R, α+ α [t] dt = α and α+ α {t} dt =. Hint Split these integrals at the integer which must lie in any interval of length, such as [α,
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 informationDistribution Theory and Fundamental Solutions of Differential Operators
Final Degree Dissertation Degree in Mathematics Distribution Theory and Fundamental Solutions of Differential Operators Author: Daniel Eceizabarrena Pérez Supervisor: Javier Duoandikoetxea Zuazo Leioa,
More informationComplex Analysis Homework 9: Solutions
Complex Analysis Fall 2007 Homework 9: Solutions 3..4 (a) Let z C \ {ni : n Z}. Then /(n 2 + z 2 ) n /n 2 n 2 n n 2 + z 2. According to the it comparison test from calculus, the series n 2 + z 2 converges
More informationMath The Laplacian. 1 Green s Identities, Fundamental Solution
Math. 209 The Laplacian Green s Identities, Fundamental Solution Let be a bounded open set in R n, n 2, with smooth boundary. The fact that the boundary is smooth means that at each point x the external
More informationS chauder Theory. x 2. = log( x 1 + x 2 ) + 1 ( x 1 + x 2 ) 2. ( 5) x 1 + x 2 x 1 + x 2. 2 = 2 x 1. x 1 x 2. 1 x 1.
Sep. 1 9 Intuitively, the solution u to the Poisson equation S chauder Theory u = f 1 should have better regularity than the right hand side f. In particular one expects u to be twice more differentiable
More informationREAL AND COMPLEX ANALYSIS
REAL AND COMPLE ANALYSIS Third Edition Walter Rudin Professor of Mathematics University of Wisconsin, Madison Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any
More informationNATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II
NATIONAL UNIVERSITY OF SINGAPORE Department of Mathematics MA4247 Complex Analysis II Lecture Notes Part II Chapter 2 Further properties of analytic functions 21 Local/Global behavior of analytic functions;
More informationChapter 1. Distributions
Chapter 1 Distributions The concept of distribution generalises and extends the concept of function. A distribution is basically defined by its action on a set of test functions. It is indeed a linear
More informationMATH 566 LECTURE NOTES 1: HARMONIC FUNCTIONS
MATH 566 LECTURE NOTES 1: HARMONIC FUNCTIONS TSOGTGEREL GANTUMUR 1. The mean value property In this set of notes, we consider real-valued functions on two-dimensional domains, although it is straightforward
More informatione (x y)2 /4kt φ(y) dy, for t > 0. (4)
Math 24A October 26, 2 Viktor Grigoryan Heat equation: interpretation of the solution Last time we considered the IVP for the heat equation on the whole line { ut ku xx = ( < x
More informationMaths 212: Homework Solutions
Maths 212: Homework Solutions 1. The definition of A ensures that x π for all x A, so π is an upper bound of A. To show it is the least upper bound, suppose x < π and consider two cases. If x < 1, then
More informationPart IB. Further Analysis. Year
Year 2004 2003 2002 2001 10 2004 2/I/4E Let τ be the topology on N consisting of the empty set and all sets X N such that N \ X is finite. Let σ be the usual topology on R, and let ρ be the topology on
More informationSolutions to Tutorial 8 (Week 9)
The University of Sydney School of Mathematics and Statistics Solutions to Tutorial 8 (Week 9) MATH3961: Metric Spaces (Advanced) Semester 1, 2018 Web Page: http://www.maths.usyd.edu.au/u/ug/sm/math3961/
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 informationu xx + u yy = 0. (5.1)
Chapter 5 Laplace Equation The following equation is called Laplace equation in two independent variables x, y: The non-homogeneous problem u xx + u yy =. (5.1) u xx + u yy = F, (5.) where F is a function
More informationComplex Analysis, Stein and Shakarchi The Fourier Transform
Complex Analysis, Stein and Shakarchi Chapter 4 The Fourier Transform Yung-Hsiang Huang 2017.11.05 1 Exercises 1. Suppose f L 1 (), and f 0. Show that f 0. emark 1. This proof is observed by Newmann (published
More informationHarmonic sets and the harmonic prime number theorem
Harmonic sets and the harmonic prime number theorem Version: 9th September 2004 Kevin A. Broughan and Rory J. Casey University of Waikato, Hamilton, New Zealand E-mail: kab@waikato.ac.nz We restrict primes
More informationCHAPTER 6 bis. Distributions
CHAPTER 6 bis Distributions The Dirac function has proved extremely useful and convenient to physicists, even though many a mathematician was truly horrified when the Dirac function was described to him:
More informationLaplace s Equation. Chapter Mean Value Formulas
Chapter 1 Laplace s Equation Let be an open set in R n. A function u C 2 () is called harmonic in if it satisfies Laplace s equation n (1.1) u := D ii u = 0 in. i=1 A function u C 2 () is called subharmonic
More information4.4 Uniform Convergence of Sequences of Functions and the Derivative
4.4 Uniform Convergence of Sequences of Functions and the Derivative Say we have a sequence f n (x) of functions defined on some interval, [a, b]. Let s say they converge in some sense to a function f
More informationLectures on. Sobolev Spaces. S. Kesavan The Institute of Mathematical Sciences, Chennai.
Lectures on Sobolev Spaces S. Kesavan The Institute of Mathematical Sciences, Chennai. e-mail: kesh@imsc.res.in 2 1 Distributions In this section we will, very briefly, recall concepts from the theory
More informationLecture No 1 Introduction to Diffusion equations The heat equat
Lecture No 1 Introduction to Diffusion equations The heat equation Columbia University IAS summer program June, 2009 Outline of the lectures We will discuss some basic models of diffusion equations and
More information(z 0 ) = lim. = lim. = f. Similarly along a vertical line, we fix x = x 0 and vary y. Setting z = x 0 + iy, we get. = lim. = i f
. Holomorphic Harmonic Functions Basic notation. Considering C as R, with coordinates x y, z = x + iy denotes the stard complex coordinate, in the usual way. Definition.1. Let f : U C be a complex valued
More informationMath 361: Homework 1 Solutions
January 3, 4 Math 36: Homework Solutions. We say that two norms and on a vector space V are equivalent or comparable if the topology they define on V are the same, i.e., for any sequence of vectors {x
More informationA LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE. 1.
A LOWER BOUND ON BLOWUP RATES FOR THE 3D INCOMPRESSIBLE EULER EQUATION AND A SINGLE EXPONENTIAL BEALE-KATO-MAJDA ESTIMATE THOMAS CHEN AND NATAŠA PAVLOVIĆ Abstract. We prove a Beale-Kato-Majda criterion
More informationHartogs Theorem: separate analyticity implies joint Paul Garrett garrett/
(February 9, 25) Hartogs Theorem: separate analyticity implies joint Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ (The present proof of this old result roughly follows the proof
More information1.5 Approximate Identities
38 1 The Fourier Transform on L 1 (R) which are dense subspaces of L p (R). On these domains, P : D P L p (R) and M : D M L p (R). Show, however, that P and M are unbounded even when restricted to these
More informationEcon Lecture 3. Outline. 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n
Econ 204 2011 Lecture 3 Outline 1. Metric Spaces and Normed Spaces 2. Convergence of Sequences in Metric Spaces 3. Sequences in R and R n 1 Metric Spaces and Metrics Generalize distance and length notions
More informationMATH 220 solution to homework 1
MATH solution to homework Problem. Define z(s = u( + s, y + s, then z (s = u u ( + s, y + s + y ( + s, y + s = e y, z( y = u( y, = f( y, u(, y = z( = z( y + y If we prescribe the data u(, = f(, then z
More informationINTRODUCTION TO DISTRIBUTIONS
INTRODUCTION TO DISTRIBUTIONS TSOGTGEREL GANTUMUR Abstract. We introduce locally convex spaces by the seminorms approach, and present the fundamentals of distributions. Contents 1. Introduction 1 2. Locally
More informationMA30056: Complex Analysis. Revision: Checklist & Previous Exam Questions I
MA30056: Complex Analysis Revision: Checklist & Previous Exam Questions I Given z C and r > 0, define B r (z) and B r (z). Define what it means for a subset A C to be open/closed. If M A C, when is M said
More informationMATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5
MATH 722, COMPLEX ANALYSIS, SPRING 2009 PART 5.. The Arzela-Ascoli Theorem.. The Riemann mapping theorem Let X be a metric space, and let F be a family of continuous complex-valued functions on X. We have
More informationProblem Set 6: Solutions Math 201A: Fall a n x n,
Problem Set 6: Solutions Math 201A: Fall 2016 Problem 1. Is (x n ) n=0 a Schauder basis of C([0, 1])? No. If f(x) = a n x n, n=0 where the series converges uniformly on [0, 1], then f has a power series
More informationSynopsis of Complex Analysis. Ryan D. Reece
Synopsis of Complex Analysis Ryan D. Reece December 7, 2006 Chapter Complex Numbers. The Parts of a Complex Number A complex number, z, is an ordered pair of real numbers similar to the points in the real
More informationB 1 = {B(x, r) x = (x 1, x 2 ) H, 0 < r < x 2 }. (a) Show that B = B 1 B 2 is a basis for a topology on X.
Math 6342/7350: Topology and Geometry Sample Preliminary Exam Questions 1. For each of the following topological spaces X i, determine whether X i and X i X i are homeomorphic. (a) X 1 = [0, 1] (b) X 2
More informationMetric Spaces Lecture 17
Metric Spaces Lecture 17 Homeomorphisms At the end of last lecture an example was given of a bijective continuous function f such that f 1 is not continuous. For another example, consider the sets T =
More informationANALYSIS QUALIFYING EXAM FALL 2017: SOLUTIONS. 1 cos(nx) lim. n 2 x 2. g n (x) = 1 cos(nx) n 2 x 2. x 2.
ANALYSIS QUALIFYING EXAM FALL 27: SOLUTIONS Problem. Determine, with justification, the it cos(nx) n 2 x 2 dx. Solution. For an integer n >, define g n : (, ) R by Also define g : (, ) R by g(x) = g n
More informationThe uniform metric on product spaces
The uniform metric on product spaces Jordan Bell jordan.bell@gmail.com Department of Mathematics, University of Toronto April 3, 2014 1 Metric topology If (X, d) is a metric space, a X, and r > 0, then
More information(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define
Homework, Real Analysis I, Fall, 2010. (1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define ρ(f, g) = 1 0 f(x) g(x) dx. Show that
More informationProof. We indicate by α, β (finite or not) the end-points of I and call
C.6 Continuous functions Pag. 111 Proof of Corollary 4.25 Corollary 4.25 Let f be continuous on the interval I and suppose it admits non-zero its (finite or infinite) that are different in sign for x tending
More informationGreen s Functions and Distributions
CHAPTER 9 Green s Functions and Distributions 9.1. Boundary Value Problems We would like to study, and solve if possible, boundary value problems such as the following: (1.1) u = f in U u = g on U, where
More informationProblem Set 5: Solutions Math 201A: Fall 2016
Problem Set 5: s Math 21A: Fall 216 Problem 1. Define f : [1, ) [1, ) by f(x) = x + 1/x. Show that f(x) f(y) < x y for all x, y [1, ) with x y, but f has no fixed point. Why doesn t this example contradict
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 informationFUNDAMENTALS OF REAL ANALYSIS by. IV.1. Differentiation of Monotonic Functions
FUNDAMNTALS OF RAL ANALYSIS by Doğan Çömez IV. DIFFRNTIATION AND SIGND MASURS IV.1. Differentiation of Monotonic Functions Question: Can we calculate f easily? More eplicitly, can we hope for a result
More informationWe denote the derivative at x by DF (x) = L. With respect to the standard bases of R n and R m, DF (x) is simply the matrix of partial derivatives,
The derivative Let O be an open subset of R n, and F : O R m a continuous function We say F is differentiable at a point x O, with derivative L, if L : R n R m is a linear transformation such that, for
More information6.3 Fundamental solutions in d
6.3. Fundamental solutions in d 5 6.3 Fundamental solutions in d Since Lapalce equation is invariant under translations, and rotations (see Exercise 6.4), we look for solutions to Laplace equation having
More informationCOMPLEX ANALYSIS Spring 2014
COMPLEX ANALYSIS Spring 24 Homework 4 Solutions Exercise Do and hand in exercise, Chapter 3, p. 4. Solution. The exercise states: Show that if a
More informationSolutions Final Exam May. 14, 2014
Solutions Final Exam May. 14, 2014 1. Determine whether the following statements are true or false. Justify your answer (i.e., prove the claim, derive a contradiction or give a counter-example). (a) (10
More informationPiecewise Smooth Solutions to the Burgers-Hilbert Equation
Piecewise Smooth Solutions to the Burgers-Hilbert Equation Alberto Bressan and Tianyou Zhang Department of Mathematics, Penn State University, University Park, Pa 68, USA e-mails: bressan@mathpsuedu, zhang
More informationTaylor and Laurent Series
Chapter 4 Taylor and Laurent Series 4.. Taylor Series 4... Taylor Series for Holomorphic Functions. In Real Analysis, the Taylor series of a given function f : R R is given by: f (x + f (x (x x + f (x
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 informationRecall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm
Chapter 13 Radon Measures Recall that if X is a compact metric space, C(X), the space of continuous (real-valued) functions on X, is a Banach space with the norm (13.1) f = sup x X f(x). We want to identify
More informationSolutions to Complex Analysis Prelims Ben Strasser
Solutions to Complex Analysis Prelims Ben Strasser In preparation for the complex analysis prelim, I typed up solutions to some old exams. This document includes complete solutions to both exams in 23,
More information2 (Bonus). Let A X consist of points (x, y) such that either x or y is a rational number. Is A measurable? What is its Lebesgue measure?
MA 645-4A (Real Analysis), Dr. Chernov Homework assignment 1 (Due 9/5). Prove that every countable set A is measurable and µ(a) = 0. 2 (Bonus). Let A consist of points (x, y) such that either x or y is
More informationu( x) = g( y) ds y ( 1 ) U solves u = 0 in U; u = 0 on U. ( 3)
M ath 5 2 7 Fall 2 0 0 9 L ecture 4 ( S ep. 6, 2 0 0 9 ) Properties and Estimates of Laplace s and Poisson s Equations In our last lecture we derived the formulas for the solutions of Poisson s equation
More informationn 2 xi = x i. x i 2. r r ; i r 2 + V ( r) V ( r) = 0 r > 0. ( 1 1 ) a r n 1 ( 1 2) V( r) = b ln r + c n = 2 b r n 2 + c n 3 ( 1 3)
Sep. 7 The L aplace/ P oisson Equations: Explicit Formulas In this lecture we study the properties of the Laplace equation and the Poisson equation with Dirichlet boundary conditions through explicit representations
More informationReminder Notes for the Course on Distribution Theory
Reminder Notes for the Course on Distribution Theory T. C. Dorlas Dublin Institute for Advanced Studies School of Theoretical Physics 10 Burlington Road, Dublin 4, Ireland. Email: dorlas@stp.dias.ie March
More informationComplex Analysis Qualifying Exam Solutions
Complex Analysis Qualifying Exam Solutions May, 04 Part.. Let log z be the principal branch of the logarithm defined on G = {z C z (, 0]}. Show that if t > 0, then the equation log z = t has exactly one
More informationMAT389 Fall 2016, Problem Set 4
MAT389 Fall 2016, Problem Set 4 Harmonic conjugates 4.1 Check that each of the functions u(x, y) below is harmonic at every (x, y) R 2, and find the unique harmonic conjugate, v(x, y), satisfying v(0,
More information1 Continuity Classes C m (Ω)
0.1 Norms 0.1 Norms A norm on a linear space X is a function : X R with the properties: Positive Definite: x 0 x X (nonnegative) x = 0 x = 0 (strictly positive) λx = λ x x X, λ C(homogeneous) x + y x +
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 information8 8 THE RIEMANN MAPPING THEOREM. 8.1 Simply Connected Surfaces
8 8 THE RIEMANN MAPPING THEOREM 8.1 Simply Connected Surfaces Our aim is to prove the Riemann Mapping Theorem which states that every simply connected Riemann surface R is conformally equivalent to D,
More informationLecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University
Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University February 7, 2007 2 Contents 1 Metric Spaces 1 1.1 Basic definitions...........................
More informationSelected solutions for Homework 9
Math 424 B / 574 B Due Wednesday, Dec 09 Autumn 2015 Selected solutions for Homework 9 This file includes solutions only to those problems we did not have time to cover in class. We need the following
More informationcarries the circle w 1 onto the circle z R and sends w = 0 to z = a. The function u(s(w)) is harmonic in the unit circle w 1 and we obtain
4. Poisson formula In fact we can write down a formula for the values of u in the interior using only the values on the boundary, in the case when E is a closed disk. First note that (3.5) determines the
More information1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),
Real Analysis 2, Math 651, Spring 2005 April 26, 2005 1 Real Analysis 2, Math 651, Spring 2005 Krzysztof Chris Ciesielski 1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer
More informationPart IB Complex Analysis
Part IB Complex Analysis Theorems Based on lectures by I. Smith Notes taken by Dexter Chua Lent 2016 These notes are not endorsed by the lecturers, and I have modified them (often significantly) after
More information+ 2x sin x. f(b i ) f(a i ) < ɛ. i=1. i=1
Appendix To understand weak derivatives and distributional derivatives in the simplest context of functions of a single variable, we describe without proof some results from real analysis (see [7] and
More informationconverges as well if x < 1. 1 x n x n 1 1 = 2 a nx n
Solve the following 6 problems. 1. Prove that if series n=1 a nx n converges for all x such that x < 1, then the series n=1 a n xn 1 x converges as well if x < 1. n For x < 1, x n 0 as n, so there exists
More informationHW #1 SOLUTIONS. g(x) sin 1 x
HW #1 SOLUTIONS 1. Let f : [a, b] R and let v : I R, where I is an interval containing f([a, b]). Suppose that f is continuous at [a, b]. Suppose that lim s f() v(s) = v(f()). Using the ɛ δ definition
More informationMAS3706 Topology. Revision Lectures, May I do not answer enquiries as to what material will be in the exam.
MAS3706 Topology Revision Lectures, May 208 Z.A.Lykova It is essential that you read and try to understand the lecture notes from the beginning to the end. Many questions from the exam paper will be similar
More informationTwo Lemmas in Local Analytic Geometry
Two Lemmas in Local Analytic Geometry Charles L Epstein and Gennadi M Henkin Department of Mathematics, University of Pennsylvania and University of Paris, VI This paper is dedicated to Leon Ehrenpreis
More informationMATHS 730 FC Lecture Notes March 5, Introduction
1 INTRODUCTION MATHS 730 FC Lecture Notes March 5, 2014 1 Introduction Definition. If A, B are sets and there exists a bijection A B, they have the same cardinality, which we write as A, #A. If there exists
More informationMath 118B Solutions. Charles Martin. March 6, d i (x i, y i ) + d i (y i, z i ) = d(x, y) + d(y, z). i=1
Math 8B Solutions Charles Martin March 6, Homework Problems. Let (X i, d i ), i n, be finitely many metric spaces. Construct a metric on the product space X = X X n. Proof. Denote points in X as x = (x,
More informationMath 185 Fall 2015, Sample Final Exam Solutions
Math 185 Fall 2015, Sample Final Exam Solutions Nikhil Srivastava December 12, 2015 1. True or false: (a) If f is analytic in the annulus A = {z : 1 < z < 2} then there exist functions g and h such that
More informationPARTIAL DIFFERENTIAL EQUATIONS. Lecturer: D.M.A. Stuart MT 2007
PARTIAL DIFFERENTIAL EQUATIONS Lecturer: D.M.A. Stuart MT 2007 In addition to the sets of lecture notes written by previous lecturers ([1, 2]) the books [4, 7] are very good for the PDE topics in the course.
More informationSobolev spaces. May 18
Sobolev spaces May 18 2015 1 Weak derivatives The purpose of these notes is to give a very basic introduction to Sobolev spaces. More extensive treatments can e.g. be found in the classical references
More informationGaussian integrals. Calvin W. Johnson. September 9, The basic Gaussian and its normalization
Gaussian integrals Calvin W. Johnson September 9, 24 The basic Gaussian and its normalization The Gaussian function or the normal distribution, ep ( α 2), () is a widely used function in physics and mathematical
More informationWELL-POSEDNESS FOR HYPERBOLIC PROBLEMS (0.2)
WELL-POSEDNESS FOR HYPERBOLIC PROBLEMS We will use the familiar Hilbert spaces H = L 2 (Ω) and V = H 1 (Ω). We consider the Cauchy problem (.1) c u = ( 2 t c )u = f L 2 ((, T ) Ω) on [, T ] Ω u() = u H
More informationGreen s Theorem, Cauchy s Theorem, Cauchy s Formula
Math 425 Spring 2003 Green s Theorem, Cauchy s Theorem, Cauchy s Formula These notes supplement the discussion of real line integrals and Green s Theorem presented in.6 of our text, and they discuss applications
More informationChapter 1. Introduction to prime number theory. 1.1 The Prime Number Theorem
Chapter 1 Introduction to prime number theory 1.1 The Prime Number Theorem In the first part of this course, we focus on the theory of prime numbers. We use the following notation: we write f( g( as if
More informationConformal maps. Lent 2019 COMPLEX METHODS G. Taylor. A star means optional and not necessarily harder.
Lent 29 COMPLEX METHODS G. Taylor A star means optional and not necessarily harder. Conformal maps. (i) Let f(z) = az + b, with ad bc. Where in C is f conformal? cz + d (ii) Let f(z) = z +. What are the
More informationMath 172 Problem Set 8 Solutions
Math 72 Problem Set 8 Solutions Problem. (i We have (Fχ [ a,a] (ξ = χ [ a,a] e ixξ dx = a a e ixξ dx = iξ (e iax e iax = 2 sin aξ. ξ (ii We have (Fχ [, e ax (ξ = e ax e ixξ dx = e x(a+iξ dx = a + iξ where
More informationABSTRACT INTEGRATION CHAPTER ONE
CHAPTER ONE ABSTRACT INTEGRATION Version 1.1 No rights reserved. Any part of this work can be reproduced or transmitted in any form or by any means. Suggestions and errors are invited and can be mailed
More information, but still n=0 b n = b n = 1 n 6 n k=1k 5 a k. sin(x 2 + ax)
Analysis SEP Summer 25 Problem. (a)suppose (a n ) n= is a sequence of nonnegative real numbers such that n= a n
More informationPreliminary Exam 2018 Solutions to Morning Exam
Preliminary Exam 28 Solutions to Morning Exam Part I. Solve four of the following five problems. Problem. Consider the series n 2 (n log n) and n 2 (n(log n)2 ). Show that one converges and one diverges
More informationHarmonic Functions and Brownian motion
Harmonic Functions and Brownian motion Steven P. Lalley April 25, 211 1 Dynkin s Formula Denote by W t = (W 1 t, W 2 t,..., W d t ) a standard d dimensional Wiener process on (Ω, F, P ), and let F = (F
More informationMath 185 Homework Problems IV Solutions
Math 185 Homework Problems IV Solutions Instructor: Andrés Caicedo July 31, 22 12 Suppose that Ω is a domain which is not simply connected Show that the polynomials are not dense in H(Ω) PROOF As mentioned
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 information1 Lyapunov theory of stability
M.Kawski, APM 581 Diff Equns Intro to Lyapunov theory. November 15, 29 1 1 Lyapunov theory of stability Introduction. Lyapunov s second (or direct) method provides tools for studying (asymptotic) stability
More informationYou may not start to read the questions printed on the subsequent pages until instructed to do so by the Invigilator.
MATHEMATICAL TRIPOS Part IB Thursday 7 June 2007 9 to 12 PAPER 3 Before you begin read these instructions carefully. Each question in Section II carries twice the number of marks of each question in Section
More informationComplex varibles:contour integration examples
omple varibles:ontour integration eamples 1 Problem 1 onsider the problem d 2 + 1 If we take the substitution = tan θ then d = sec 2 θdθ, which leads to dθ = π sec 2 θ tan 2 θ + 1 dθ Net we consider the
More information