MATH 220: THE FOURIER TRANSFORM TEMPERED DISTRIBUTIONS. Beforehand we constructed distributions by taking the set Cc
|
|
- Grant Clark
- 5 years ago
- Views:
Transcription
1 MATH 220: THE FOURIER TRANSFORM TEMPERED DISTRIBUTIONS Beforehand we constructed distributions by taking the set Cc ( ) as the set of very nice functions, and defined distributions as continuous linear maps u : Cc ( ) C (or into reals). While this was an appropriate class when studying just derivatives, we have seen that for the Fourier transform the set of very nice functions is that of Schwartz functions. Thus, we expect that the set S ( ) of corresponding distributions should consist of continuous linear maps u : S( ) C. In order to make this into a definition, we need a notion of convergence on S( ). Since Cc ( ) S( ), it is not unreasonable to expect that if a sequence {φ j } j=1 converges to some φ Cc ( ) inside the space Cc ( ) (i.e. in the sense of Cc ( )- convergence), then it should also converge to φ in the sense of S-convergence. We shall see that this is the case, which implies that every u S lies in D as well: for if φ j φ in Cc ( ) then φ j φ in S, hence u(φ j ) u(φ) by the continuity of u as an element of S. Thus, S D, i.e. S is a special class of distributions. In order to motivate the definition of S-convergence, recall that S = S( ) is the set of functions φ C ( ) with the property that for any multiindices α, β N n, x α β φ is bounded. Here we wrote x α = x α1 1 xα xαn n, and β = x β x βn n ; with xj = x j. With this in mind, convergence of a sequence φ m S, m N, to some φ S, in S is defined as follows. We say that φ m converges to φ in S if for all multiindices α, β, sup x α β (φ m φ) 0 as m, i.e. if x α β φ m converges to x α β φ uniformly. A tempered distribution u is defined as a continuous linear functional on S (this is written as u S ), i.e. as a map u : S C which is linear: u(aφ + bψ) = au(φ) + bu(ψ) for all a, b C, φ, ψ S, and which is continuous: if φ m converges to φ in S then lim m u(φ m ) = u(φ) (this is convergence of complex numbers). As mentioned already, any tempered distribution is a distribution, since φ Cc implies φ S, and convergence of a sequence in Cc implies that in S (recall that convergence of a sequence in Cc means that the supports stay inside a fixed compact set and the convergence of all derivatives is uniform). The converse is of course not true; e.g. any continuous function f on defines a distribution, but f(x)φ(x) dx will not converge for all φ S if f grows too fast at infinity; e.g. f(x) = e x 2 does not define a tempered distribution. On the other hand, any continuous function f satisfying an estimate f(x) C(1 + x ) N for some N and C defines a tempered distribution u = ι f via u(ψ) = ι f (ψ) = f(x)ψ(x) dx, ψ S, since f(x)ψ(x) dx CM (1 + x ) N (1 + x ) N n 1 dx <, M = sup ( (1 + x ) N+n+1 ψ ) <. 1
2 2 This is the reason for the tempered terminology: the growth of f is tempered at infinity. Another example of such a distribution u S is the delta distribution: u = δ a, given by δ a (φ) = φ(a) for φ S. A more extreme example is the following, on R for simplicity: Let a > 0, and let u = k Z δ ak, i.e. for φ S(R), let u(φ) = k Z φ(ak). This sum converges, since φ(x) C(1+ x 2 ) 1 as φ S, and k Z C(1+a2 k 2 ) 1 converges. It is also continuous since if φ j φ in S, then (1 + x 2 )φ j (1 + x 2 )φ uniformly on R, hence u(φ j ) u(φ) (1 + a 2 k 2 ) φ j (ak) φ(ax) (1 + a 2 k 2 ) 1 k Z ( sup (1 + x 2 ) φ j (x) φ(x) ) (1 + a 2 k 2 ) 1 x R k Z ( sup (1 + x 2 ) φ j (x) φ(x) ) (1 + a 2 k 2 ) 1, x R k Z and the last sum converges, so u(φ j ) u(φ) 0 as j. We defined the Fourier transform on S as (Fφ)() = ˆφ() = e ix φ(x) dx, and the inverse Fourier transform as (F 1 ψ)(x) = (2π) n e ix ψ() d. The Fourier transform satisfies the relation ˆφ()ψ() d = φ(x) ˆψ(x) dx, φ, ψ S. (Of course, we could have denoted the variable of integration by x on both sides.) Indeed, explicitly writing out the Fourier transforms, ( ) e ix φ(x) dx ψ() d = e ix φ(x)ψ() dx d ( ) = φ(x) e ix ψ() d dx, where the middle integral converges absolutely (since φ, ψ decrease rapidly at infinity), hence the order of integration can be changed. Of course, this argument does not really require φ, ψ S, it suffices if they decrease fast enough at infinity, e.g. φ(x) C(1 + x ) s for some s > n, and similarly for ψ. In the language of distributional pairing this just says that the tempered distribtions ι φ, resp. ι ˆφ, defined by φ, resp. ˆφ, satisfy ι ˆφ(ψ) = ι φ ( ˆψ), ψ S.
3 3 Motivated by this, we define the Fourier transform of an arbitrary tempered distribution u S by (Fu)(ψ) = u( ˆψ), ψ S. It is easy to check that û = Fu is indeed a tempered distribution, and as observed above, this definition is consistent with the original one if u is a tempered distribution given by a Schwartz function φ (or one with enough decay at infinity). It is also easy to see that the Fourier transform, when thus extended to a map F : S S, still has the standard properties, e.g. F(D xj u) = j Fu. Indeed, by definition, for all ψ S, (F(D xj u))(ψ) = (D xj u)(fψ) = u(d xj Fψ) = u(f( j ψ)) = (Fu)( j ψ) = ( j Fu)(ψ), finishing the proof. The inverse Fourier transform of a tempered distribution is defined analogously, and it satisfies F 1 u(ψ) = u(f 1 ψ), F 1 F = Id = FF 1 on tempered distributions as well. Again, this is an immediate consequence of the corresponding properties for S, for (F 1 Fu)(ψ) = Fu(F 1 ψ) = u(ff 1 ψ) = u(ψ). As an example, we find the Fourier transform of the distribution u = ι 1 given by the constant function 1. Namely, for all ψ S, û(ψ) = u( ˆψ) = ˆψ(x) dx = (2π) n F 1 ( ˆψ)(0) = (2π) n ψ(0) = (2π) n δ 0 (ψ). Here the first equality is from the definition of the Fourier transform of a tempered distribution, the second from the definition of u, the third by realizing that the integral of any function φ (in this case φ = ˆψ) is just (2π) n times its inverse Fourier transform evaluated at the origin (directly from the definition of F 1 as an integral), the fourth from F 1 F = Id on Schwartz functions, and the last from the definition of the delta distribution. Thus, Fu = (2π) n δ 0, which is often written as F1 = (2π) n δ 0. Similarly, the Fourier transform of the tempered distribution u given by the function f(x) = e ix a, where a is a fixed constant, is given by (2π) n δ a since û(ψ) = u( ˆψ) = e ix a ˆψ(x) dx = (2π) n F 1 ( ˆψ)(a) = (2π) n ψ(a) = (2π) n δ a (ψ), while its inverse Fourier transform is given by δ a since F 1 u(ψ) = u(f 1 ψ) = e ix a F 1 ψ(x) dx = F(F 1 ψ)( a) = ψ( a) = δ a (ψ). We can also perform analogous calculations on δ b, b : Fδ b (ψ) = δ b (Fψ) = (Fψ)(b) = e ix b ψ(x) dx, i.e. the Fourier transform of δ b is the tempered distribution given by the function f(x) = e ix b. With b = a, the previous calculations confirm what we knew anyway namely that FF 1 f = f (for this particular f).
4 4 We can now use tempered distributions to solve the wave equation on. Thus, consider the PDE ( 2 t c 2 )u = 0, u(0, x) = φ(x), u t (0, x) = ψ(x). Take the partial Fourier transform û of u in x to get ( 2 t + c 2 2 )û = 0, û(0, ) = Fφ(), û t (0, ) = Fψ(). For each this is an ODE that is easy to solve, with the result that Thus, û(t, ) = cos(c t)fφ() + sin(c t) Fψ(). c ( u = F 1 cos(c t)fφ() + sin(c t) ) Fψ(). c This can be rewritten in terms of convolutions, namely ( ) sin(c t) u(t, x) = F 1 (cos(c t)) x φ + F 1 x ψ(), c so it remains to evaluate the inverse Fourier transforms of these explicit functions. We only do this in R (i.e. n = 1). Here we need to be a little careful as we might be taking the convolution of two distributions in principle! However, any distribution can be convolved with elements of Cc ( ). Indeed, if f C( ), φ Cc ( ) then f φ(x) = f(y)φ(x y) dy = ι f (φ x ), where we write φ x (y) = φ(x y). Note that f φ C ( ) in fact, as differentiation under the integral sign shows (the derivatives fall on φ!). We make the consistent definition for u D ( ) that so u φ C ( ) since (u φ)(x) = u(φ x ), xj (u φ) = u( xj φ x ), in analogy with differentiation under the integral sign. As an example, δ a φ(x) = δ a (φ x ) = φ(x a). With some work one can even make sense of convolving distributions, as long as one of them has compact support, but we do not pursue this here, as we shall see directly that our formula makes sense for distributions even. We also note that for f(x) = H(a x ), a > 0, where H is the Heaviside step function (so H(s) = 1 for s 0, H(s) = 0 for s < 0), a x+a f φ(x) = H(a y )φ(x y) dx = φ(x y) dy = φ(s) ds, where we wrote s = x y. Returning to the actual transforms, (using that cos is even, sin is odd) a x a F 1 (cos(ct)) = 1 1 (F e ict + F 1 e ict ) = (δ ct + δ ct ),
5 5 while (note that 1 sin(ct) is continuous, indeed C, at = 0!) from the homework so In summary, F x H(ct x ) = 2 sin(ct), F 1 (c 1 1 sin(ct)) = 1 H(ct x ). 2c u(t, x) = 1 2 (δ ct + δ ct )) x φ + 1 2c H(ct x ) x ψ = 1 2 (φ(x ct) + φ(x + ct)) + 1 2c x+ct x ct ψ(y) dy, so we recover d Alembert s formula. In order to have more examples of tempered distributions, note that any distribution that vanishes at infinity should be tempered. Of course, we need to make sense of this. We recall that the support of a continuous function f, denoted by supp f, is the closure of the set {x : f(x) 0}. Thus, x / supp f if and only if there exists a neighborhood U of x such that y U implies f(y) = 0. Thus, supp f is closed by definition; so for continuous functions on, it is compact if and only if it is bounded. The support of a distribution u is defined similarly. One says that x / supp u if there exists a neighborhood U of x, such that on U, u is given by the zero function. That is, x / supp u if there exists U as above such that for all φ Cc with supp φ U, u(φ) = 0. For example, if u = δ a is the delta distribution at a, then supp u = {a}, since u(φ) = φ(a), so if x a, taking U as a neighborhood of x that is disjoint from a, u(φ) = 0 follows for all φ Cc with supp φ U. With this definition of the support one in fact concludes that if u D, φ Cc and supp u supp φ = then u(φ) = 0. Note that if u is a distribution and supp u is compact, u, which is a priori a map u : Cc C, extends to a map u : C ( ) C, i.e. u(φ) is naturally defined if φ is just smooth, and does not have compact support. To see this, let f Cc be identically one in a neighborhood of supp u, and for φ C ( ) define u(φ) = u(fφ), noting that fφ Cc. If u = ι g is given by integration against a continuous function g of compact support, this just says that we defined for φ C ( ) ι g (φ) = g(x)f(x)φ(x) dx = g(x)φ(x) dx, which is of course the standard definition if φ had compact support. Note that the second equality above holds since we are assuming that f is identically 1 on supp g, i.e. wherever f is not 1, g necessarily vanishes. We should still check that the definition of the extension of u does not depend on the choice of f (which follows from the above calculation if u is given by a continuous function g). But this can be checked easily, for if f 0 is another function in Cc which is identically one on supp u, then we need to make sure that u(fφ) = u(f 0 φ) for all φ C ( ), i.e. that u((f f 0 )φ) = 0 for all φ C ( ). But f = f 0 = 1 on a neighborhood of supp u, so (f f 0 )φ vanishes there, hence u((f f 0 )φ) = 0 indeed. Moreover, any distribution u of compact support, e.g. δ a for a, is tempered. Indeed, ψ S certainly implies that ψ C ( ), so u(ψ) is defined, and it is easy
6 6 to check that this gives a tempered distribution. In particular, δ a (ψ) = ψ(a), is a tempered distribution as we have already seen. Note that the Fourier transform of a compactly supported distribution can be calculated directly. Indeed, g (x) = e ix is a C function (of x), and compactly supported distributions can be evaluated on these. Thus, we can define Fu as the tempered distribution given by the function u(g ). For example, if u = δ b, then Fu is given by the function δ b (g ) = g (b) = e i b in accordance with our previous calculation. Of course, if u is given by a continuous function f of compact support, then u(g ) = f(x)g (x) dx = e ix f(x) dx = (Ff)() indeed, this motivated the definition of Fu. This definition is also consistent with the general one for tempered distributions, as we have seen on the particular example of delta distributions. Indeed, in general, ( ) u(g )φ() d = u g φ() d = u(fφ) = (Fu)(φ). The fact that for compactly supported distributions u, Fu is given by u(g ) shows directly that for such u, Fu is given by a C function: u(g ) = u(e ix ), and differentiating this with respect to simply differentiates g, i.e. simply gives another exponential (times a linear function), which is still C.
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 informationEXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018
EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018 While these notes are under construction, I expect there will be many typos. The main reference for this is volume 1 of Hörmander, The analysis of liner
More informationMATH 173: PRACTICE MIDTERM SOLUTIONS
MATH 73: PACTICE MIDTEM SOLUTIONS This is a closed book, closed notes, no electronic devices exam. There are 5 problems. Solve all of them. Write your solutions to problems and in blue book #, and your
More informationMATH 220: MIDTERM OCTOBER 29, 2015
MATH 22: MIDTERM OCTOBER 29, 25 This is a closed book, closed notes, no electronic devices exam. There are 5 problems. Solve Problems -3 and one of Problems 4 and 5. Write your solutions to problems and
More informationTOPICS IN FOURIER ANALYSIS-IV. Contents
TOPICS IN FOURIER ANALYSIS-IV M.T. NAIR Contents 1. Test functions and distributions 2 2. Convolution revisited 8 3. Proof of uniqueness theorem 13 4. A characterization of distributions 14 5. Distributions
More informationLECTURE 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 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 informationIntroduction to Microlocal Analysis
Introduction to Microlocal Analysis First lecture: Basics Dorothea Bahns (Göttingen) Third Summer School on Dynamical Approaches in Spectral Geometry Microlocal Methods in Global Analysis University of
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 informationHomework I, Solutions
Homework I, Solutions I: (15 points) Exercise on lower semi-continuity: Let X be a normed space and f : X R be a function. We say that f is lower semi - continuous at x 0 if for every ε > 0 there exists
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 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 informationMath 342 Partial Differential Equations «Viktor Grigoryan
Math 342 Partial Differential Equations «Viktor Grigoryan 15 Heat with a source So far we considered homogeneous wave and heat equations and the associated initial value problems on the whole line, as
More informationu t = u p (t)q(x) = p(t) q(x) p (t) p(t) for some λ. = λ = q(x) q(x)
. Separation of variables / Fourier series The following notes were authored initially by Jason Murphy, and subsequently edited and expanded by Mihaela Ifrim, Daniel Tataru, and myself. We turn to 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 informationMATH 220: Problem Set 3 Solutions
MATH 220: Problem Set 3 Solutions Problem 1. Let ψ C() be given by: 0, x < 1, 1 + x, 1 < x < 0, ψ(x) = 1 x, 0 < x < 1, 0, x > 1, so that it verifies ψ 0, ψ(x) = 0 if x 1 and ψ(x)dx = 1. Consider (ψ j )
More informationMath 220A - Fall 2002 Homework 5 Solutions
Math 0A - Fall 00 Homework 5 Solutions. Consider the initial-value problem for the hyperbolic equation u tt + u xt 0u xx 0 < x 0 u t (x, 0) ψ(x). Use energy methods to show that the domain of dependence
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 informationFourier 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 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 informationUnbounded operators on Hilbert spaces
Chapter 1 Unbounded operators on Hilbert spaces Definition 1.1. Let H 1, H 2 be Hilbert spaces and T : dom(t ) H 2 be a densely defined linear operator, i.e. dom(t ) is a dense linear subspace of H 1.
More informationEuler Equations: local existence
Euler Equations: local existence Mat 529, Lesson 2. 1 Active scalars formulation We start with a lemma. Lemma 1. Assume that w is a magnetization variable, i.e. t w + u w + ( u) w = 0. If u = Pw then u
More informationMATH 819 FALL We considered solutions of this equation on the domain Ū, where
MATH 89 FALL. The D linear wave equation weak solutions We have considered the initial value problem for the wave equation in one space dimension: (a) (b) (c) u tt u xx = f(x, t) u(x, ) = g(x), u t (x,
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 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 informationTHE INVERSE FUNCTION THEOREM
THE INVERSE FUNCTION THEOREM W. PATRICK HOOPER The implicit function theorem is the following result: Theorem 1. Let f be a C 1 function from a neighborhood of a point a R n into R n. Suppose A = Df(a)
More informationOn an uniqueness theorem for characteristic functions
ISSN 392-53 Nonlinear Analysis: Modelling and Control, 207, Vol. 22, No. 3, 42 420 https://doi.org/0.5388/na.207.3.9 On an uniqueness theorem for characteristic functions Saulius Norvidas Institute of
More information13. Fourier transforms
(December 16, 2017) 13. Fourier transforms Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/real/notes 2017-18/13 Fourier transforms.pdf]
More informationFOURIER METHODS AND DISTRIBUTIONS: SOLUTIONS
Centre for Mathematical Sciences Mathematics, Faculty of Science FOURIER METHODS AND DISTRIBUTIONS: SOLUTIONS. We make the Ansatz u(x, y) = ϕ(x)ψ(y) and look for a solution which satisfies the boundary
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 informationMATH 131P: PRACTICE FINAL SOLUTIONS DECEMBER 12, 2012
MATH 3P: PRACTICE FINAL SOLUTIONS DECEMBER, This is a closed ook, closed notes, no calculators/computers exam. There are 6 prolems. Write your solutions to Prolems -3 in lue ook #, and your solutions to
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 411 NOTES (UNDER CONSTRUCTION)
MATH 411 NOTES (NDE CONSTCTION 1. Notes on compact sets. This is similar to ideas you learned in Math 410, except open sets had not yet been defined. Definition 1.1. K n is compact if for every covering
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 informationSOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES
Communications on Stochastic Analysis Vol. 4, No. 3 010) 45-431 Serials Publications www.serialspublications.com SOLUTIONS OF SEMILINEAR WAVE EQUATION VIA STOCHASTIC CASCADES YURI BAKHTIN* AND CARL MUELLER
More informationx λ ϕ(x)dx x λ ϕ(x)dx = xλ+1 λ + 1 ϕ(x) u = xλ+1 λ + 1 dv = ϕ (x)dx (x))dx = ϕ(x)
1. Distributions A distribution is a linear functional L : D R (or C) where D = C c (R n ) which is linear and continuous. 1.1. Topology on D. Let K R n be a compact set. Define D K := {f D : f outside
More informationJASSON VINDAS AND RICARDO ESTRADA
A QUICK DISTRIBUTIONAL WAY TO THE PRIME NUMBER THEOREM JASSON VINDAS AND RICARDO ESTRADA Abstract. We use distribution theory (generalized functions) to show the prime number theorem. No tauberian results
More informationLecture Notes Math 632, PDE Spring Semester Sigmund Selberg Visiting Assistant Professor Johns Hopkins University
Lecture Notes Math 63, PDE Spring Semester 1 Sigmund Selberg Visiting Assistant Professor Johns Hopkins University CHAPTER 1 The basics We consider the equation 1.1. The wave equation on R 1+n u =, where
More informationA review: The Laplacian and the d Alembertian. j=1
Chapter One A review: The Laplacian and the d Alembertian 1.1 THE LAPLACIAN One of the main goals of this course is to understand well the solution of wave equation both in Euclidean space and on manifolds
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 informationDangerous and Illegal Operations in Calculus Do we avoid differentiating discontinuous functions because it s impossible, unwise, or simply out of
Dangerous and Illegal Operations in Calculus Do we avoid differentiating discontinuous functions because it s impossible, unwise, or simply out of ignorance and fear? Despite the risks, many natural phenomena
More information5. Fourier transformation of distributions
5.1 5. Fourier transformation of distributions 5.1. Rapidly decreasing functions. In the following we study an important tool in the treatment of differential operators, the Fourier transform. To begin
More informationI. DISTRIBUTION SPACES
1.1 I. DISTIBUTION SPACES 1. Motivation and overview 1.1. Introduction. In the study of ordinary differential equations one can get very far by using just the classical concept of differentiability, working
More information1 Fourier transform as unitary equivalence
Tel Aviv University, 009 Intro to functional analysis 1 1 Fourier transform as unitary equivalence 1a Introduction..................... 1 1b Exponential map................... 1c Exponential map as an
More informationProblem 3. Give an example of a sequence of continuous functions on a compact domain converging pointwise but not uniformly to a continuous function
Problem 3. Give an example of a sequence of continuous functions on a compact domain converging pointwise but not uniformly to a continuous function Solution. If we does not need the pointwise limit of
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 informationMath 220a - Fall 2002 Homework 6 Solutions
Math a - Fall Homework 6 Solutions. Use the method of reflection to solve the initial-boundary value problem on the interval < x < l, u tt c u xx = < x < l u(x, = < x < l u t (x, = x < x < l u(, t = =
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 informationLecture 17. Higher boundary regularity. April 15 th, We extend our results to include the boundary. Let u C 2 (Ω) C 0 ( Ω) be a solution of
Lecture 7 April 5 th, 004 Higher boundary regularity We extend our results to include the boundary. Higher a priori regularity upto the boundary. Let u C () C 0 ( ) be a solution of Lu = f on, u = ϕ on.
More informationPROBLEMS IN UNBOUNDED CYLINDRICAL DOMAINS
PROBLEMS IN UNBOUNDED CYLINDRICAL DOMAINS PATRICK GUIDOTTI Mathematics Department, University of California, Patrick Guidotti, 103 Multipurpose Science and Technology Bldg, Irvine, CA 92697, USA 1. Introduction
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 informationMATH 425, HOMEWORK 3 SOLUTIONS
MATH 425, HOMEWORK 3 SOLUTIONS Exercise. (The differentiation property of the heat equation In this exercise, we will use the fact that the derivative of a solution to the heat equation again solves the
More informationMATH 220 solution to homework 5
MATH 220 solution to homework 5 Problem. (i Define E(t = k(t + p(t = then E (t = 2 = 2 = 2 u t u tt + u x u xt dx u 2 t + u 2 x dx, u t u xx + u x u xt dx x [u tu x ] dx. Because f and g are compactly
More informationMATH 220: Problem Set 3 Solutions
MATH 220: Problem Set 3 Solutions Problem 1. Let ψ C() be given by: 0, < 1, 1 +, 1 < < 0, ψ() = 1, 0 < < 1, 0, > 1, so that it verifies ψ 0, ψ() = 0 if 1 and ψ()d = 1. Consider (ψ j ) j 1 constructed as
More informationMATH 220: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY
MATH 22: INNER PRODUCT SPACES, SYMMETRIC OPERATORS, ORTHOGONALITY When discussing separation of variables, we noted that at the last step we need to express the inhomogeneous initial or boundary data as
More information2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.
University of Bergen General Functional Analysis Problems with solutions 6 ) Prove that is unique in any normed space. Solution of ) Let us suppose that there are 2 zeros and 2. Then = + 2 = 2 + = 2. 2)
More informationMath 311, Partial Differential Equations, Winter 2015, Midterm
Score: Name: Math 3, Partial Differential Equations, Winter 205, Midterm Instructions. Write all solutions in the space provided, and use the back pages if you have to. 2. The test is out of 60. There
More informationCONVERGENCE OF EXTERIOR SOLUTIONS TO RADIAL CAUCHY SOLUTIONS FOR 2 t U c 2 U = 0
Electronic Journal of Differential Equations, Vol. 206 (206), No. 266, pp. 6. ISSN: 072-669. URL: http://ejde.math.txstate.edu or http://ejde.math.unt.edu CONVERGENCE OF EXTERIOR SOLUTIONS TO RADIAL CAUCHY
More informationPartial Differential Equations
Part II Partial Differential Equations Year 2015 2014 2013 2012 2011 2010 2009 2008 2007 2006 2005 2015 Paper 4, Section II 29E Partial Differential Equations 72 (a) Show that the Cauchy problem for u(x,
More information1 Fourier Integrals of finite measures.
18.103 Fall 2013 1 Fourier Integrals of finite measures. Denote the space of finite, positive, measures on by M + () = {µ : µ is a positive measure on ; µ() < } Proposition 1 For µ M + (), we define the
More informationWeek 6 Notes, Math 865, Tanveer
Week 6 Notes, Math 865, Tanveer. Energy Methods for Euler and Navier-Stokes Equation We will consider this week basic energy estimates. These are estimates on the L 2 spatial norms of the solution u(x,
More informationMATH FALL 2014
MATH 126 - FALL 2014 JASON MURPHY Abstract. These notes are meant to supplement the lectures for Math 126 (Introduction to PDE) in the Fall of 2014 at the University of California, Berkeley. Contents 1.
More informationSolutions in the sense of distributions. Solutions in the sense of distributions Definition, non uniqueness
Solutions in the sense of distributions Definition, non uniqueness 1. Notion of distributions In order to build weak solutions to the Hopf equation, we need to define derivatives of non smooth functions,
More informationWEAK VORTICITY FORMULATION FOR THE INCOMPRESSIBLE 2D EULER EQUATIONS IN DOMAINS WITH BOUNDARY
WEAK VORTICITY FORMULATION FOR THE INCOMPRESSIBLE 2D EULER EQUATIONS IN DOMAINS WITH BOUNDARY D. IFTIMIE, M. C. LOPES FILHO, H. J. NUSSENZVEIG LOPES AND F. SUEUR Abstract. In this article we examine the
More informationMath 205b Homework 2 Solutions
Math 5b Homework Solutions January 5, 5 Problem (R-S, II.) () For the R case, we just expand the right hand side and use the symmetry of the inner product: ( x y x y ) = = ((x, x) (y, y) (x, y) (y, x)
More informationLecture Notes on PDEs
Lecture Notes on PDEs Alberto Bressan February 26, 2012 1 Elliptic equations Let IR n be a bounded open set Given measurable functions a ij, b i, c : IR, consider the linear, second order differential
More informationThe Colombeau theory of generalized functions
The Colombeau theory of generalized functions Tạ Ngọc Trí Mathematics Master thesis specialized in Analysis 1 supervised by Prof. Dr. Tom H. Koornwinder KdV Institute, Faculty of Science University of
More informationWhat can you really measure? (Realistically) How to differentiate nondifferentiable functions?
I. Introduction & Motivation I.1. Physical motivation. What can you really measure? (Realistically) T (x) vs. T (x)ϕ(x) dx. I.2. Mathematical motivation. How to differentiate nondifferentiable functions?
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 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 informationMATH 425, FINAL EXAM SOLUTIONS
MATH 425, FINAL EXAM SOLUTIONS Each exercise is worth 50 points. Exercise. a The operator L is defined on smooth functions of (x, y by: Is the operator L linear? Prove your answer. L (u := arctan(xy u
More informationOutline of Fourier Series: Math 201B
Outline of Fourier Series: Math 201B February 24, 2011 1 Functions and convolutions 1.1 Periodic functions Periodic functions. Let = R/(2πZ) denote the circle, or onedimensional torus. A function f : C
More informationWavelets and regularization of the Cauchy problem for the Laplace equation
J. Math. Anal. Appl. 338 008440 1447 www.elsevier.com/locate/jmaa Wavelets and regularization of the Cauchy problem for the Laplace equation Chun-Yu Qiu, Chu-Li Fu School of Mathematics and Statistics,
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 informationFOURIER TRANSFORMS. 1. Fourier series 1.1. The trigonometric system. The sequence of functions
FOURIER TRANSFORMS. Fourier series.. The trigonometric system. The sequence of functions, cos x, sin x,..., cos nx, sin nx,... is called the trigonometric system. These functions have period π. The trigonometric
More informationThe Implicit and Inverse Function Theorems Notes to supplement Chapter 13.
The Implicit and Inverse Function Theorems Notes to supplement Chapter 13. Remark: These notes are still in draft form. Examples will be added to Section 5. If you see any errors, please let me know. 1.
More informationMicrolocal Methods in X-ray Tomography
Microlocal Methods in X-ray Tomography Plamen Stefanov Purdue University Lecture I: Euclidean X-ray tomography Mini Course, Fields Institute, 2012 Plamen Stefanov (Purdue University ) Microlocal Methods
More informationSome approximation theorems in Math 522. I. Approximations of continuous functions by smooth functions
Some approximation theorems in Math 522 I. Approximations of continuous functions by smooth functions The goal is to approximate continuous functions vanishing at ± by smooth functions. In a previous homewor
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 informationPropagating terraces and the dynamics of front-like solutions of reaction-diffusion equations on R
Propagating terraces and the dynamics of front-like solutions of reaction-diffusion equations on R P. Poláčik School of Mathematics, University of Minnesota Minneapolis, MN 55455 Abstract We consider semilinear
More informationUNIVERSITY OF MANITOBA
Question Points Score INSTRUCTIONS TO STUDENTS: This is a 6 hour examination. No extra time will be given. No texts, notes, or other aids are permitted. There are no calculators, cellphones or electronic
More informationThe first order quasi-linear PDEs
Chapter 2 The first order quasi-linear PDEs The first order quasi-linear PDEs have the following general form: F (x, u, Du) = 0, (2.1) where x = (x 1, x 2,, x 3 ) R n, u = u(x), Du is the gradient of u.
More informationChapter III Beyond L 2 : Fourier transform of distributions
Chapter III Beyond L 2 : Fourier transform of distributions 113 1 Basic definitions and first examples In this section we generalize the theory of the Fourier transform developed in Section 1 to distributions.
More informationTOOLS FROM HARMONIC ANALYSIS
TOOLS FROM HARMONIC ANALYSIS BRADLY STADIE Abstract. The Fourier transform can be thought of as a map that decomposes a function into oscillatory functions. In this paper, we will apply this decomposition
More informationHOMEWORK 2 - RIEMANNIAN GEOMETRY. 1. Problems In what follows (M, g) will always denote a Riemannian manifold with a Levi-Civita connection.
HOMEWORK 2 - RIEMANNIAN GEOMETRY ANDRÉ NEVES 1. Problems In what follows (M, g will always denote a Riemannian manifold with a Levi-Civita connection. 1 Let X, Y, Z be vector fields on M so that X(p Z(p
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 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 informationFOURIER INVERSION. an additive character in each of its arguments. The Fourier transform of f is
FOURIER INVERSION 1. The Fourier Transform and the Inverse Fourier Transform Consider functions f, g : R n C, and consider the bilinear, symmetric function ψ : R n R n C, ψ(, ) = ep(2πi ), an additive
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 informationFOURIER SERIES WITH THE CONTINUOUS PRIMITIVE INTEGRAL
Real Analysis Exchange Summer Symposium XXXVI, 2012, pp. 30 35 Erik Talvila, Department of Mathematics and Statistics, University of the Fraser Valley, Chilliwack, BC V2R 0N3, Canada. email: Erik.Talvila@ufv.ca
More information12.7 Heat Equation: Modeling Very Long Bars.
568 CHAP. Partial Differential Equations (PDEs).7 Heat Equation: Modeling Very Long Bars. Solution by Fourier Integrals and Transforms Our discussion of the heat equation () u t c u x in the last section
More information8 Singular Integral Operators and L p -Regularity Theory
8 Singular Integral Operators and L p -Regularity Theory 8. Motivation See hand-written notes! 8.2 Mikhlin Multiplier Theorem Recall that the Fourier transformation F and the inverse Fourier transformation
More informationChapter 3 Second Order Linear Equations
Partial Differential Equations (Math 3303) A Ë@ Õæ Aë áöß @. X. @ 2015-2014 ú GA JË@ É Ë@ Chapter 3 Second Order Linear Equations Second-order partial differential equations for an known function u(x,
More informationSOLUTIONS TO HOMEWORK ASSIGNMENT 4
SOLUTIONS TO HOMEWOK ASSIGNMENT 4 Exercise. A criterion for the image under the Hilbert transform to belong to L Let φ S be given. Show that Hφ L if and only if φx dx = 0. Solution: Suppose first that
More informationConservation law equations : problem set
Conservation law equations : problem set Luis Silvestre For Isaac Neal and Elia Portnoy in the 2018 summer bootcamp 1 Method of characteristics For the problems in this section, assume that the solutions
More informationMathematical Tripos Part III Michaelmas 2017 Distribution Theory & Applications, Example sheet 1 (answers) Dr A.C.L. Ashton
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
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 informationBoundary value problems for partial differential equations
Boundary value problems for partial differential equations Henrik Schlichtkrull March 11, 213 1 Boundary value problem 2 1 Introduction This note contains a brief introduction to linear partial differential
More information4 Divergence theorem and its consequences
Tel Aviv University, 205/6 Analysis-IV 65 4 Divergence theorem and its consequences 4a Divergence and flux................. 65 4b Piecewise smooth case............... 67 4c Divergence of gradient: Laplacian........
More information(3) A bilinear map B : S(R n ) S(R m ) B is continuous (for the product topology) if and only if there exist C, N and M such that
The material here can be found in Hörmander Volume 1, Chapter VII but he ha already done almot all of ditribution theory by thi point(!) Johi and Friedlander Chapter 8. Recall that S( ) i a complete metric
More information