Lecture Notes on Real Analysis Université Pierre et Marie Curie (Paris 6) Nicolas Lerner
|
|
- Eleanor Grant
- 5 years ago
- Views:
Transcription
1 Lecture Notes on Real Analysis Université Pierre et Marie Curie (Paris 6) Nicolas Lerner March 16, 211
2 98 CHAPTER 3. INTRODUCTION TO THE THEORY OF DISTRIBUTIONS Proof. We start with n 3, noting that the function x 2 n is L 1 loc and homogeneous with degree 2 n, so that Δ x 2 n is homogeneous with degree n (see the remark (2)). Moreover, the function x 2 n = f(r 2 ), r 2 = x 2, f(t) = t 1 n 2 + is smooth outside and we can compute there Δ(f(r 2 )) = j j (f (r 2 )2x j ) = j f (r 2 )4x 2 j + 2nf (r 2 ) = 4r 2 f (r 2 ) + 2nf (r 2 ), so that with t = r 2, Δ(f(r 2 )) = 4t(1 n 2 )( n 2 )t n n(1 n 2 )t n 2 = t n n 2 (1 )( 2n + 2n) =. 2 As a result, Δ x 2 n is homogeneous with degree n and supported in {}. From the theorem 3.3.4, we obtain that Δ x 2 n = cδ }{{} + c j,α δ (α). homogeneous 1 j m α =j degree n }{{} homogeneous degree n j The lemma implies that for 1 j m, = α =j c j,αδ (α) and Δ x 2 n = cδ. It remains to determine the constant c. We calculate, using the previous formulas for the computation of Δ(f(r 2 )), here with f(t) = e πt, ( c = Δ x 2 n, e π x 2 = x 2 n e π x 2 4 x 2 π 2 2nπ ) dx = S n 1 + = S n 1 ( 1 2π [e πr2 = S n 1 ( n + 2), r 2 n+n 1 e πr2 (4π 2 r 2 2nπ)dr (4π 2 r 2 2nπ)] π + e πr2 8π 2 rdr ) giving (3.6.6). For the convenience of the reader, we calculate explicitely S n 1. We have indeed + 1 = dx = S n 1 r n 1 e πr2 dr R n e π x 2 }{{} = S n 1 π (1 n)/2 r=t 1/2 π 1/2 + t n 1 2 e t 1 2 t 1/2 dtπ 1/2 = S n 1 π n/2 2 1 Γ(n/2). Turning now our attention to the Cauchy-Riemann equation, we see that 1/z is also L 1 loc (R2 ), homogeneous of degree 1, and satisfies (z 1 ) = on the complement of {}, so that the same reasoning as above shows that (π 1 z 1 ) = cδ. To check the value of c, we write c = (π 1 z 1 ), e πz z = R 2 e πz z π 1 z 1 πzdxdy = 1, which gives (3.6.7). We are left with the Laplace equation in two dimensions and we note that with z = 1 2 ( x i y ), z = 1 2 ( x + i y ), we have in two dimensions Δ = 4 z z = 4 z z. (3.6.8)
3 3.6. SOME FUNDAMENTAL SOLUTIONS 99 Solving( the equation ) 4 E that z ln(z z) = z 1 = 1 z πz 1 leads us to try E = ln z and we check directly7 2π Δ( 1 2π ln z ) = π ( ) ln(z z) = π 1 ( ) z 1 = δ. z z z Hypoellipticity Definition Let P be a linear operator of type (3.6.1). We shall say that P is hypoelliptic when for all open subsets Ω of R n and all u D (Ω), we have singsupp u = singsupp P u. (3.6.9) It is obvious that singsupp P u singsupp u, so the hypoellipticity means that singsupp u singsupp P u, which is a very interesting piece of information since we can then determine the singularities of our (unknown) solution u, which are located at the same place as the singularities of the source f, which is known when we try to solve the equation P u = f. Theorem Let P be a linear operator of type (3.6.1) such that P has a fundamental solution E satisfying singsupp E = {}. (3.6.1) Then P is hypoelliptic. In particular the Laplace and the Cauchy-Riemann operators are hypoelliptic. N.B. The condition (3.6.1) appears as an iff condition for the hypoellipticity of the operator P since it is also a consequence of the hypoellipticity property. Proof. Assume that (3.6.1) holds, let Ω be an open subset of R n and u D (Ω). We consider f = P u D (Ω), x / singsupp f, χ Cc (Ω), χ = 1 near x. We have from the proposition that χu = χu P E = (P χu) E = ([P, χ]u) E + Cc (Rn ) {}}{ (χf) E }{{} C (R n ) and thus, using the the proposition for singular supports, we get singsupp(χu) singsupp([p, χ]u) + singsupp E = singsupp([p, χ]u) supp(u χ), and since χ is identically 1 near x, we get that x / supp(u χ), implying x / singsupp(χu), proving that x / singsupp u and the result. 7 ( Noting that ln(x 2 + y 2 ) and its first derivatives are L 1 loc (R2 ), we have for ϕ Cc (R 2 ), ) z ln z 2, ϕ = 1 ( x ϕ+i y ϕ) ln(x 2 +y 2 )dxdy = ϕ(x, y)(xr 2 iyr 2 )dxdy = (x+iy) 1 ϕ(x, y)dxdy. 2 R 2
4 1 CHAPTER 3. INTRODUCTION TO THE THEORY OF DISTRIBUTIONS 3.7 Appendix The Gamma function The gamma function Γ is a meromorphic function on C given for Re z > by the formula Γ(z) = + e t t z 1 dt. (3.7.1) For n N, we have Γ(n + 1) = n!; another interesting value is Γ(1/2) = π. The functional equation Γ(z + 1) = zγ(z) (3.7.2) is easy to prove for Re z > and can be used to extend the Γ function into a meromorphic function with simple poles at N and Res(Γ, k) = ( 1)k. For instance, for k! 1 < Re z with z we define Γ(z) = Γ(z + 1), where we can use (3.7.1) to define Γ(z + 1). z More generally for k N, 1 k < Re z k, z k, we can define Γ(z) = Γ(z + k + 1) z(z + 1)... (z + k). There are manifold references on the Gamma function. One of the most comprehensive is certainly the chapter VII of the Bourbaki volume Fonctions de variable réelle [2] LF spaces The Schwartz kernel theorem Coordinate transformations and pullbacks
5 14 CHAPTER 4. INTRODUCTION TO FOURIER ANALYSIS The Fourier transformation on S (R n ) Definition Let T be a tempered distribution ; the Fourier transform ˆT of T is the tempered distibution defined by the formula ˆT, ϕ S,S = T, ˆϕ S,S. (4.1.1) The linear form ˆT is obviously a tempered distribution since the Fourier transformation is continuous on S. Thanks to the lemma 3.1.7, if T S, the present definition of ˆT and (4.1.1) coincide. Note that for T, ϕ S, we have ˆT, ϕ = T (x)e 2iπx ξ ϕ(ξ)dxdξ = T, ˆϕ. This definition gives that δ = 1, (4.1.11) since δ, ϕ = δ, ϕ = ϕ() = ϕ(x)dx = 1, ϕ. Theorem The Fourier transformation is an isomorphism of S (R n ). Let T be a tempered distribution. Then we have 3 T = ˇˆT. (4.1.12) With obvious notations, we have the following extensions of (4.1.7), D α x T (ξ) = ξ α ˆT (ξ), (D α ξ ˆT )(ξ) = ( 1) α xα T (x)(ξ). (4.1.13) Proof. Using the notation ( ˇϕ)(x) = ϕ( x) for ϕ S, we define Š for S S by (see the remark 3.4.4), Š, ϕ S,S = S, ˇϕ S,S and we obtain for T S ˇˆT, ϕ S,S = ˆT, ˇϕ S,S = ˆT, ˆˇϕ S,S = T, ˆˇϕ S,S = T, ϕ S,S, where the last equality is due to the fact that ϕ ˇϕ commutes 4 with the Fourier transform and (4.1.4) means ˇˆϕ = ϕ, a formula also proven true on S by the previous line of equality. The formula (4.1.7) is true as well for T S since, with ϕ S and ϕ α (ξ) = ξ α ϕ(ξ), we have D α T, ϕ S,S = T, ( 1) α D α ˆϕ S,S = T, ϕ α S,S = ˆT, ϕ α S,S, and the other part is proven the same way. The following lemma will be useful. Lemma Let T S (R n ) be a homogeneous distribution of degree m. Then its Fourier transform is a homogeneous distribution of degree m n Proof. We check (ξ D ξ ) ˆT = ξ xt = (D x xt ) = n 2iπ ˆT 1 2iπ (x x T ) = so that the Euler equation (3.4.6) ξ ξ ˆT = (n + m) ˆT is satisfied. (n + m) 2iπ 3 According to the remark 3.4.4, Ť is the distribution defined by Ť, ϕ = T, ˇϕ and if T S, Ť is also a tempered distribution since ϕ ˇϕ is an involutive isomorphism of S. 4 If ϕ S, we have ˇϕ(ξ) = e 2iπx ξ ϕ( x)dx = e 2iπx ξ ϕ(x)dx = ˆϕ( ξ) = ˇˆϕ(ξ). ˆT,
6 4.1. FOURIER TRANSFORM OF TEMPERED DISTRIBUTIONS The Fourier transformation on L 1 (R n ) Theorem The Fourier transformation is linear continuous from L 1 (R n ) into L (R n ) and for u L 1 (R n ), we have û(ξ) = e 2iπx ξ u(x)dx, û L (R n ) u L 1 (R n ). (4.1.14) Proof. The formula (4.1.1) can be used to define directly the Fourier transform of a function in L 1 (R n ) and this gives an L (R n ) function which coincides with the Fourier transform: for a test function ϕ S (R n ), and u L 1 (R n ), we have by the definition (4.1.1) above and the Fubini theorem û, ϕ S,S = u(x) ˆϕ(x)dx = u(x)ϕ(ξ)e 2iπx ξ dxdξ = ũ(ξ)ϕ(ξ)dξ with ũ(ξ) = e 2iπx ξ u(x)dx which is thus the Fourier transform of u The Fourier transformation on L 2 (R n ) We refer the reader to the section 5.3 in Chapter Some standard examples of Fourier transform Let us consider the Heaviside function defined on R by H(x) = 1 for x >, H(x) = for x ; it is obviously a tempered distribution, so that we can compute its Fourier transform. With the notation of this section, we have, with δ the Dirac mass at, Ȟ(x) = H( x), Ĥ + Ȟ = ˆ1 = δ, Ĥ Ȟ = ŝign, 1 iπ = 1 2iπ 2 δ (ξ) = D sign(ξ) = ξŝignξ so that ξ ( ŝignξ 1 iπ pv(1/ξ)) = and from the theorem 3.2.8, we get ŝignξ 1 iπ pv(1/ξ) = cδ, with c = since the lhs is odd. We obtain ŝign(ξ) = 1 iπ pv 1 ξ, (4.1.15) pv( 1 πx ) = i sign ξ, (4.1.16) Ĥ = δ iπ pv(1 ξ ) = 1 (x i) 1 2iπ. (4.1.17) Let us consider now for < α < n the L 1 loc (Rn ) function u α (x) = x α n ( x is the Euclidean norm of x); since u α is also bounded for x 1, it is a tempered distribution. Let us calculate its Fourier transform v α. Since u α is homogeneous of degree α n, we get from the lemma that v α is a homogeneous distribution
7 16 CHAPTER 4. INTRODUCTION TO FOURIER ANALYSIS of degree α. On the other hand, if S O(R n ) (the orthogonal group), we have in the distribution sense (see the definition 3.4.3), since u α is a radial function, v α (Sξ) = v α (ξ). (4.1.18) The distribution ξ α v α (ξ) is homogeneous of degree on R n \{} and is also radial, i.e. satisfies (4.1.18). Moreover on R n \{}, the distribution v α is a C 1 function which coincides with e 2iπx ξ χ (x) x α n dx + ξ 2N e 2iπx ξ D x 2N( χ 1 (x) x α n) dx, where χ C c (R n ) is 1 near and χ 1 = 1 χ, N N, α + 1 < 2N. As a result ξ α v α (ξ) = c α on R n \{} and the distribution on R n (note that α < n) T = v α (ξ) c α ξ α is supported in {} and homogeneous (on R n ) with degree α. From the theorem and the lemma 3.4.8, the condition < α < n gives v α = c α ξ α. To find c α, we compute x α n e πx2 dx = u α, e πx2 = c α ξ α e πξ2 dξ which yields 2 1 Γ( α + + α 2 )π 2 = r α 1 e πr2 dr = c α We have proven the following lemma. r n α 1 e πr2 dr = c α 2 1 Γ( n α )π n α 2. 2 Lemma Let n N and α ], n[. The function u α (x) = x α n is L 1 loc (Rn ) and also a temperate distribution on R n. Its Fourier transform v α is also L 1 loc (Rn ) and given by v α (ξ) = ξ α π n 2 α Γ( α) 2 Γ( n α) The Poisson summation formula Wave packets We define for x R n, (y, η) R n R n ϕ y,η (x) = 2 n/4 e π(x y)2 e 2iπ(x y) η = 2 n/4 e π(x y iη)2 e πη2, (4.2.1) where for ζ = (ζ 1,..., ζ n ) C n, ζ 2 = ζj 2. (4.2.2) 1 j n We note that the function ϕ y,η is in S(R n ) and with L 2 norm 1. In fact, ϕ y,η appears as a phase translation of a normalized Gaussian. The following lemma introduces the wave packets transform as a Gabor wavelet.
8 4.2. THE POISSON SUMMATION FORMULA 17 Lemma Let u be a function in the Schwartz class S(R n ). We define (W u)(y, η) = (u, ϕ y,η ) L 2 (R n ) = 2 n/4 u(x)e π(x y)2 e 2iπ(x y) η dx (4.2.3) = 2 n/4 u(x)e π(y iη x)2 dxe πη2. (4.2.4) For u L 2 (R n ), the function T u defined by (T u)(y + iη) = e πη2 W u(y, η) = 2 n/4 u(x)e π(y+iη x)2 dx (4.2.5) is an entire function. The mapping u W u is continuous from S(R n ) to S(R 2n ) and isometric from L 2 (R n ) to L 2 (R 2n ). Moreover, we have the reconstruction formula u(x) = W u(y, η)ϕ y,η (x)dydη. (4.2.6) R n R n Proof. For u in S(R n ), we have W u(y, η) = e 2iπyη Ω1(η, y) where Ω 1 is the Fourier transform with respect to the first variable of the S(R 2n ) function Ω(x, y) = u(x)e π(x y)2 2 n/4. Thus the function W u belongs to S(R 2n ). It makes sense to compute 2 n/2 (W u, W u) L 2 (R 2n ) = lim u(x 1 )u(x 2 )e π[(x 1 y) 2 +(x 2 y) 2 +2i(x 1 x 2 )η+ɛ 2 η 2] dydηdx 1 dx 2. (4.2.7) ɛ + Now the last integral on R 4n converges absolutely and we can use the Fubini theorem. Integrating with respect to η involves the Fourier transform of a Gaussian function and we get ɛ n e πɛ 2 (x 1 x 2 ) 2. Since 2(x 1 y) 2 + 2(x 2 y) 2 = (x 1 + x 2 2y) 2 + (x 1 x 2 ) 2, integrating with respect to y yields a factor 2 n/2. We are left with (W u, W u) L 2 (R 2n ) = lim u(x 1 ) u(x 2 )e π(x 1 x 2 ) 2 /2 ɛ n e πɛ 2 (x 1 x 2 ) 2 dx 1 dx 2. (4.2.8) ɛ + Changing the variables, the integral is lim u(s + ɛt/2) u(s ɛt/2)e πɛ2 t 2 /2 e πt2 dtds = u 2 L ɛ 2 (R n ) + by Lebesgue s dominated convergence theorem: the triangle inequality and the estimate u(x) C(1 + x ) n 1 imply, with v = u/c, v(s + ɛt/2) v(s ɛt/2) (1 + s + ɛt/2 ) n 1 (1 + s + ɛt/2 ) n 1 (1 + s + ɛt/2 + s ɛt/2 ) n 1 (1 + 2 s ) n 1.
9 18 CHAPTER 4. INTRODUCTION TO FOURIER ANALYSIS Eventually, this proves that i.e. W u 2 L 2 (R 2n ) = u 2 L 2 (R n ) (4.2.9) W : L 2 (R n ) L 2 (R 2n ) with W W = id L 2 (R n ). (4.2.1) Noticing first that W u(y, η)ϕ y,η dydη belongs to L 2 (R n ) (with a norm smaller than W u L 1 (R 2n )) and applying Fubini s theorem, we get from the polarization of (4.2.9) for u, v S(R n ), (u, v) L 2 (R n ) = (W u, W v) L 2 (R 2n ) = W u(y, η)(ϕ y,η, v) L 2 (R n )dydη = ( W u(y, η)ϕ y,η dydη, v) L 2 (R n ), yielding the result of the lemma u = W u(y, η)ϕ y,η dydη Poisson s formula The following lemma is in fact the Poisson summation formula for Gaussian functions in one dimension. Lemma For all complex numbers z, the following series are absolutely converging and e πm2 e 2iπmz. (4.2.11) m Z e π(z+m)2 = m Z Proof. We set ω(z) = m Z e π(z+m)2. The function ω is entire and 1-periodic since for all m Z, z e π(z+m)2 is entire and for R > sup e π(z+m)2 sup e πz2 e πm2 e 2π m R l 1 (Z). z R z R Consequently, for z R, we obtain, expanding ω in Fourier series 5, ω(z) = k Z 1 e 2iπkz ω(x)e 2iπkx dx. 5 Note that we use this expansion only for a C 1-periodic function. The proof is simple and requires only to compute Re 1 k N e2iπkx sin π(2n+1)x = sin πx. Then one has to show that for a smooth 1-periodic function ω such that ω() =, 1 sin λx lim ω(x)dx =, λ + sin πx which is obvious since for a smooth ν (here we take ν(x) = ω(x)/ sin πx), 1 ν(x)sin λxdx = O(λ 1 ) by integration by parts.
10 4.3. FOURIER TRANSFORMATION AND CONVOLUTION 19 We also check, using Fubini s theorem on L 1 (, 1) l 1 (Z) 1 ω(x)e 2iπkx dx = m Z 1 m+1 e π(x+m)2 e 2iπkx dx = e πt2 e 2iπkt dt m Z m = e πt2 e 2iπkt = e πk2. R So the lemma is proven for real z and since both sides are entire functions, we conclude by analytic continuation. It is now straightforward to get the n-th dimensional version of the previous lemma: for all z C n, using the notation (4.2.2), we have = e πm2 e 2iπm z. (4.2.12) m Z n m Z n e π(z+m)2 Theorem (The Poisson summation formula). Let n be a positive integer and u be a function in S(R n ). Then we have u(k) = û(k), (4.2.13) k Z n k Z n where û stands for the Fourier transform of u. In other words the tempered distribution D = k Z n δ k is such that D = D. Proof. We write, according to (4.2.6) and to Fubini s theorem k Z n u(k) = W u(y, η)ϕ y,η (k)dydη k Z n = W u(y, η) ϕ y,η (k)dydη. k Z n Now, (4.2.12), (4.2.1) give k Z n ϕ y,η(k) = k Z n ϕ y,η(k), so that (4.2.6) and Fubini s theorem imply the result. 4.3 Fourier transformation and convolution Fourier transformation on E (R n ) Theorem Let u E (R n ). Then û is an entire function on C n. Proof. We have for ϕ D(R n ), according to the definition (3.4.14), û, ϕ = u, ˆϕ = u(x), e 2iπx ξ ϕ(ξ)dξ = u(x) ϕ(ξ), e 2iπx ξ E (R 2n ),E (R 2n ) = ϕ(ξ), u(x), e 2iπx ξ, }{{} ũ(ξ)
11 11 CHAPTER 4. INTRODUCTION TO FOURIER ANALYSIS an identity which implies û = ũ and moreover the function ũ is indeed entire, since with ζ C n, and ũ(ζ) = u(x), e 2iπx ζ the function ũ is C (C n ) from the corollary 3.4.2, and we can check that ũ = (a direct computation of ũ(ζ +h) u(ζ) provides elementarily the holomorphy of ũ). Definition The space O M (R n ) of multipliers of S (R n ) is the subspace of the functions f E (R n ) such that, α N n, C α >, N α N, x R n, ( α x f)(x) C α (1 + x ) Nα. (4.3.1) It is easy to check that, for f O M (R n ), the operator u fu is continuous from S (R n ) into itself, and by transposition from S (R n ) into itself: we have for T S (R n ), f O M (R n ), ft, ϕ S,S = T, fϕ S,S, and if p is a semi-norm of S, the continuity on S of the multiplication by f implies that there exists a semi-norm q on S such that for all ϕ S, p(fϕ) q(ϕ). A typical example of a function in O M (R n ) is e ip (x) where P is a real-valued polynomial: in fact the derivatives of e ip (x) are of type Q(x)e ip (x) where Q is a polynomial so that (4.3.1) holds. Lemma Let u E (R n ). Then û belongs to O M (R n ). Proof. We have already seen that û(ξ) = u(x), e 2iπx ξ is a smooth function so that (D α ξ u)(ξ) = u(x), e 2iπx ξ x α ( 1) α which implies (Dξ αu)(ξ) C sup β N x K sought result. β x (e 2iπx ξ x α ) C 1 (1 + ξ ) N, proving the Convolution and Fourier transformation Theorem Let u S (R n ), v E (R n ). Then the convolution u v belongs to S (R n ) and û v = ûˆv. (4.3.2) N.B. We note that both sides of the equality (4.3.2) make sense since the lhs is the Fourier transform of u v which belongs to S (this has to be proven) and ˆv belongs to O M (R n ) so that the product of û S with ˆv makes sense. Proof. Let us prove first that u v belongs to S. We have for ϕ D(R n ) and χ D(R n ) equal to 1 near the support of v, u v, ϕ D (R n ),D(R n ) = u(x) v(y), ϕ(x + y)χ(y) D (R 2n ),D(R 2n ). Now if ϕ S (R n ) the function (x, y) ϕ(x+y)χ(y) = Φ(x, y) belongs to S (R 2n ): it is a smooth function and x α y β γ x ρ yφ is a linear combination of terms of type (x + y) ω ( ν ϕ)(x + y)y λ ( µ χ)(y)
12 4.4. SOME FUNDAMENTAL SOLUTIONS 111 which are bounded as product of bounded terms. Moreover, if Φ S (R 2n ), the function ψ(x) = v(y), Φ(x, y) is smooth (see the corollary 3.4.2(2)) and belongs to S (R n ) since x α ( β x ψ)(x) = v(y), x α β x Φ(x, y) and for some compact subset K of R n, x α ( x β ψ)(x) = v(y), x α x β Φ(x, y) C sup x α x β y γ Φ(x, y) = p(φ), γ N y K where p is a semi-norm on S (R 2n ). As a result, we can extend u v to a continuous linear form on S (R n ) so that u v S (R n ). Let w S such 6 that ŵ = ûˆv. For ϕ S (R n ), we have On the other hand, we have ˆv(ξ) ˇˆϕ(ξ) = v(x), e 2iπx ξ so that w, ϕ S,S = ûˆv, ˇˆϕ S,S = û, ˆv ˇˆϕ S,S. ϕ(y)e 2iπy ξ dy = v(x) ϕ(y), e 2iπ(y x) ξ = v(x), ϕ(y), e 2iπ(y x) ξ = v(x), ˇϕ(y), e 2iπ(y+x) ξ = (v ˇϕ)(ξ), w, ϕ = û, (v ˇϕ) = ǔ, v ˇϕ = u( x), v(x y), ϕ( y) which gives w = u v and (4.3.2) The Riemann-Lebesgue lemma = u(x), v(y x), ϕ(y) = (u v), ϕ, Lemma Let u L 1 (R n ). Then from (4.1.14) û(ξ) = e 2iπx ξ u(x)dx; moreover û belongs to C () (Rn ), where C () (Rn ) stands for the space of continuous functions on R n tending to at infinity. In particular û is uniformly continuous. Proof. This follows from the Riemann-Lebesgue lemma (see e.g. the lemma in [9]); moreover, û(ξ + h) û(ξ) = u(x) e 2iπx h 1 dx = σ u (h), and the Lebesgue dominated convergence theorem implies that lim h σ u (h) =, implying as well the uniform continuity. 4.4 Some fundamental solutions The heat equation The heat operator is the following constant coefficient differential operator on R t R n x where the Laplace operator Δ x on R n is defined by (3.6.3). 6 Take w = ˇ ûˆv. t Δ x, (4.4.1)
13 112 CHAPTER 4. INTRODUCTION TO FOURIER ANALYSIS Theorem We define on R t R n x the L 1 loc function E(t, x) = (4πt) n/2 H(t)e x 2 4t. (4.4.2) The function E is C on the complement of {(, )} in R R n. The function E is a fundamental solution of the heat equation, i.e. t E Δ x E = δ (t) δ (x). Proof. To prove that E L 1 loc (Rn+1 ), we calculate for T, T + T t n/2 r n 1 e r2 4t dtdr }{{} = r=2t 1/2 ρ + t n/2 2 n 1 t (n 1)/2 ρ n 1 e ρ2 2t 1/2 dtdρ = 2 n T + ρ n 1 e ρ2 dρ < +. Moreover, the function E is obviously analytic on the open subset of R 1+n {(t, x) R R n, t }. Let us prove that E is C on R (R n \{}). With ρ defined in (3.1.1), the function ρ 1 defined by ρ 1 (t) = H(t)t n/2 ρ (t) is also C on R and E(t, x) = H( x 2 4t )( x 2 ) n/2e ( x 2 4t x n π n/2 = x n π n/2 4t ) ρ 1, 4t x 2 which is indeed smooth on R t (R n x\{}). We want to solve the equation t u Δ x u = δ (t)δ (x). If u belongs to S (R n+1 ), we can consider its Fourier transform v with respect to x (well-defined by transposition as the Fourier transform in (4.1.1)), and we end-up with the simple ODE with parameters on v, t v + 4π 2 ξ 2 v = δ (t). (4.4.3) It remains to determine a fundamental solution of that ODE: we have d dt + λ = e tλ d dt etλ, ( d dt + λ) (e tλ H(t)) = ( e tλ d dt etλ) (e tλ H(t)) = δ (t), (4.4.4) so that we can take v = H(t)e 4π2 t ξ 2, which belongs to S (R t R n ξ ). Taking the inverse Fourier transform with respect to ξ of both sides of (4.4.3) gives 7 with u S (R t R n ξ ) t u Δ x u = δ (t) δ (x). (4.4.5) To compute u, we check with ϕ D(R), ψ D(R n ), + u, ϕ ˇψ = v x, ϕ ψ = v, ϕ ˆψ = ϕ(t) R n 4π2t ξ 2 ˆψ(ξ)e dtdξ. We can use the Fubini theorem in that absolutely converging integral and use (4.1.2) to get + ( ) u, ϕ ˇψ = ϕ(t) (4πt) n/2 e π x 2 4πt ψ(x)dx dt = E, ϕ ˇψ, R n where the last equality is due to the Fubini theorem and the local integrability of E. We have thus E = u and E satisfies (4.4.5). The proof is complete. 7 The Fourier transformation obviously respects the tensor products.
14 Bibliography [1] N. Bourbaki, Éléments de mathématique. Topologie générale. Chapitres 1 à 4, Hermann, Paris, MR MR (5 #11111) [2], Éléments de mathématique, Hermann, Paris, 1976, Fonctions d une variable réelle, Théorie élémentaire, Nouvelle édition. MR MR58296 (58 #28327) [3] H. Brézis, Analyse fonctionnelle, Masson, [4] Gustave Choquet, Topology, Translated from the French by Amiel Feinstein. Pure and Applied Mathematics, Vol. XIX, Academic Press, New York, MR MR19365 (33 #1823) [5] John B. Conway, A course in functional analysis, second ed., Graduate Texts in Mathematics, vol. 96, Springer-Verlag, New York, 199. MR MR17713 (91e:461) [6] F.G. Friedlander, Introduction to the theory of distributions, Cambridge University Press, [7] L. Hörmander, The analysis of linear partial differential operators, Springer- Verlag, [8] Michael T. Lacey, Carleson s theorem: proof, complements, variations, Publ. Mat. 48 (24), no. 2, MR MR2917 (25e:422) [9] N. Lerner, Intégration, lerner/int.nte.html, 2. [1] University of St Andrews, History of mathematics, [11] Michael Reed and Barry Simon, Methods of modern mathematical physics. I, second ed., Academic Press Inc. [Harcourt Brace Jovanovich Publishers], New York, 198, Functional analysis. MR MR (85e:462) [12] W. Rudin, Real and complex analysis, McGraw-hill, [13], Functional analysis, McGraw-hill, [14] F. Treves, Topological vector spaces, distributions and kernels, Academic Press,
Introduction 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 informationSobolev spaces, Trace theorems and Green s functions.
Sobolev spaces, Trace theorems and Green s functions. Boundary Element Methods for Waves Scattering Numerical Analysis Seminar. Orane Jecker October 21, 2010 Plan Introduction 1 Useful definitions 2 Distributions
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 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 informationTraces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains
Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains Sergey E. Mikhailov Brunel University West London, Department of Mathematics, Uxbridge, UB8 3PH, UK J. Math. Analysis
More informationSTRUCTURE OF (w 1, w 2 )-TEMPERED ULTRADISTRIBUTION USING SHORT-TIME FOURIER TRANSFORM
ITALIAN JOURNAL OF PURE AND APPLIED MATHEMATICS N. 39 2018 (154 164) 154 STRUCTURE OF (w 1, w 2 )-TEMPERED ULTRADISTRIBUTION USING SHORT-TIME FOURIER TRANSFORM Hamed M. Obiedat Ibraheem Abu-falahah Department
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 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 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 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 informationFourier analysis, measures, and distributions. Alan Haynes
Fourier analysis, measures, and distributions Alan Haynes 1 Mathematics of diffraction Physical diffraction As a physical phenomenon, diffraction refers to interference of waves passing through some medium
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 informationA proof for the full Fourier series on [ π, π] is given here.
niform convergence of Fourier series A smooth function on an interval [a, b] may be represented by a full, sine, or cosine Fourier series, and pointwise convergence can be achieved, except possibly at
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 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 informationChapter One. The Calderón-Zygmund Theory I: Ellipticity
Chapter One The Calderón-Zygmund Theory I: Ellipticity Our story begins with a classical situation: convolution with homogeneous, Calderón- Zygmund ( kernels on R n. Let S n 1 R n denote the unit sphere
More informationON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM
ON WEAKLY NONLINEAR BACKWARD PARABOLIC PROBLEM OLEG ZUBELEVICH DEPARTMENT OF MATHEMATICS THE BUDGET AND TREASURY ACADEMY OF THE MINISTRY OF FINANCE OF THE RUSSIAN FEDERATION 7, ZLATOUSTINSKY MALIY PER.,
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 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 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 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 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 information17 The functional equation
18.785 Number theory I Fall 16 Lecture #17 11/8/16 17 The functional equation In the previous lecture we proved that the iemann zeta function ζ(s) has an Euler product and an analytic continuation to the
More informationINTRODUCTION TO REAL ANALYSIS II MATH 4332 BLECHER NOTES
INTRODUCTION TO REAL ANALYSIS II MATH 433 BLECHER NOTES. As in earlier classnotes. As in earlier classnotes (Fourier series) 3. Fourier series (continued) (NOTE: UNDERGRADS IN THE CLASS ARE NOT RESPONSIBLE
More informationMATH 825 FALL 2014 ANALYSIS AND GEOMETRY IN CARNOT-CARATHÉODORY SPACES
MATH 825 FALL 2014 ANALYSIS AND GEOMETRY IN CARNOT-CARATHÉODORY SPACES Contents 1. Introduction 1 1.1. Vector fields and flows 2 1.2. Metrics 2 1.3. Commutators 3 1.4. Consequences of Hörmander s condition
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 informationApplied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.
Applied Analysis APPM 44: Final exam 1:3pm 4:pm, Dec. 14, 29. Closed books. Problem 1: 2p Set I = [, 1]. Prove that there is a continuous function u on I such that 1 ux 1 x sin ut 2 dt = cosx, x I. Define
More informationFinite-dimensional spaces. C n is the space of n-tuples x = (x 1,..., x n ) of complex numbers. It is a Hilbert space with the inner product
Chapter 4 Hilbert Spaces 4.1 Inner Product Spaces Inner Product Space. A complex vector space E is called an inner product space (or a pre-hilbert space, or a unitary space) if there is a mapping (, )
More informationMicro-local analysis in Fourier Lebesgue and modulation spaces.
Micro-local analysis in Fourier Lebesgue and modulation spaces. Stevan Pilipović University of Novi Sad Nagoya, September 30, 2009 (Novi Sad) Nagoya, September 30, 2009 1 / 52 Introduction We introduce
More informationThe wave front set of a distribution
The wave front set of a distribution The Fourier transform of a smooth compactly supported function u(x) decays faster than any negative power of the dual variable ξ; that is for every number N there exists
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 informationMath 259: Introduction to Analytic Number Theory More about the Gamma function
Math 59: Introduction to Analytic Number Theory More about the Gamma function We collect some more facts about Γs as a function of a complex variable that will figure in our treatment of ζs and Ls, χ.
More informationThe Calderon-Vaillancourt Theorem
The Calderon-Vaillancourt Theorem What follows is a completely self contained proof of the Calderon-Vaillancourt Theorem on the L 2 boundedness of pseudo-differential operators. 1 The result Definition
More informationPartial Differential Equations, 2nd Edition, L.C.Evans Chapter 5 Sobolev Spaces
Partial Differential Equations, nd Edition, L.C.Evans Chapter 5 Sobolev Spaces Shih-Hsin Chen, Yung-Hsiang Huang 7.8.3 Abstract In these exercises always denote an open set of with smooth boundary. As
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 informationSobolev Spaces. Chapter 10
Chapter 1 Sobolev Spaces We now define spaces H 1,p (R n ), known as Sobolev spaces. For u to belong to H 1,p (R n ), we require that u L p (R n ) and that u have weak derivatives of first order in L p
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 information1 Fourier Integrals on L 2 (R) and L 1 (R).
18.103 Fall 2013 1 Fourier Integrals on L 2 () and L 1 (). The first part of these notes cover 3.5 of AG, without proofs. When we get to things not covered in the book, we will start giving proofs. The
More informationCHAPTER VI APPLICATIONS TO ANALYSIS
CHAPTER VI APPLICATIONS TO ANALYSIS We include in this chapter several subjects from classical analysis to which the notions of functional analysis can be applied. Some of these subjects are essential
More informationFourier transforms, I
(November 28, 2016) Fourier transforms, I Paul Garrett garrett@math.umn.edu http://www.math.umn.edu/ garrett/ [This document is http://www.math.umn.edu/ garrett/m/fun/notes 2016-17/Fourier transforms I.pdf]
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 informationL. Levaggi A. Tabacco WAVELETS ON THE INTERVAL AND RELATED TOPICS
Rend. Sem. Mat. Univ. Pol. Torino Vol. 57, 1999) L. Levaggi A. Tabacco WAVELETS ON THE INTERVAL AND RELATED TOPICS Abstract. We use an abstract framework to obtain a multilevel decomposition of a variety
More informationA NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES
A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES S. DEKEL, G. KERKYACHARIAN, G. KYRIAZIS, AND P. PETRUSHEV Abstract. A new proof is given of the atomic decomposition of Hardy spaces H p, 0 < p 1,
More informationReview of Multi-Calculus (Study Guide for Spivak s CHAPTER ONE TO THREE)
Review of Multi-Calculus (Study Guide for Spivak s CHPTER ONE TO THREE) This material is for June 9 to 16 (Monday to Monday) Chapter I: Functions on R n Dot product and norm for vectors in R n : Let X
More informationIntroduction to Pseudodifferential Operators
Introduction to Pseudodifferential Operators Mengxuan Yang Directed by Prof. Dean Baskin May, 206. Introductions and Motivations Classical Mechanics & Quantum Mechanics In classical mechanics, the status
More information3 (Due ). 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 ). Show that the open disk x 2 + y 2 < 1 is a countable union of planar elementary sets. Show that the closed disk x 2 + y 2 1 is a countable
More informationMULTIPLIERS ON SPACES OF FUNCTIONS ON A LOCALLY COMPACT ABELIAN GROUP WITH VALUES IN A HILBERT SPACE. Violeta Petkova
Serdica Math. J. 32 (2006), 215 226 MULTIPLIERS ON SPACES OF FUNCTIONS ON A LOCALLY COMPACT ABELIAN ROUP WITH VALUES IN A HILBERT SPACE Violeta Petkova Communicated by S. L. Troyansky We prove a representation
More informationFolland: Real Analysis, Chapter 8 Sébastien Picard
Folland: Real Analysis, Chapter 8 Sébastien Picard Problem 8.3 Let η(t) = e /t for t >, η(t) = for t. a. For k N and t >, η (k) (t) = P k (/t)e /t where P k is a polynomial of degree 2k. b. η (k) () exists
More informationII. FOURIER TRANSFORM ON L 1 (R)
II. FOURIER TRANSFORM ON L 1 (R) In this chapter we will discuss the Fourier transform of Lebesgue integrable functions defined on R. To fix the notation, we denote L 1 (R) = {f : R C f(t) dt < }. The
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 informationIntroduction to Harmonic Analysis
} Introduction to Harmonic Analysis LECTURE NOTES } Chengchun Hao Institute of Mathematics, AMSS, CAS Updated: April 8, 26 Contents The Fourier Transform and Tempered Distributions............ The L theory
More informationCHAPTER V DUAL SPACES
CHAPTER V DUAL SPACES DEFINITION Let (X, T ) be a (real) locally convex topological vector space. By the dual space X, or (X, T ), of X we mean the set of all continuous linear functionals on X. By the
More informationChapter 8 Integral Operators
Chapter 8 Integral Operators In our development of metrics, norms, inner products, and operator theory in Chapters 1 7 we only tangentially considered topics that involved the use of Lebesgue measure,
More informationIntroduction to Harmonic Analysis
LECTURES ON Introduction to Harmonic Analysis Chengchun Hao S n x n+ O θ cos θ sin θ S n x LECTURES ON INTRODUCTION TO HARMONIC ANALYSIS Chengchun Hao AMSS, Chinese Academy of Sciences Email: hcc@amss.ac.cn
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 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 informationContinuous Functions on Metric Spaces
Continuous Functions on Metric Spaces Math 201A, Fall 2016 1 Continuous functions Definition 1. Let (X, d X ) and (Y, d Y ) be metric spaces. A function f : X Y is continuous at a X if for every ɛ > 0
More informationCONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence
1 CONVERGENCE THEOR G. ALLAIRE CMAP, Ecole Polytechnique 1. Maximum principle 2. Oscillating test function 3. Two-scale convergence 4. Application to homogenization 5. General theory H-convergence) 6.
More information1.3.1 Definition and Basic Properties of Convolution
1.3 Convolution 15 1.3 Convolution Since L 1 (R) is a Banach space, we know that it has many useful properties. In particular the operations of addition and scalar multiplication are continuous. However,
More informationTHE L 2 -HODGE THEORY AND REPRESENTATION ON R n
THE L 2 -HODGE THEORY AND REPRESENTATION ON R n BAISHENG YAN Abstract. We present an elementary L 2 -Hodge theory on whole R n based on the minimization principle of the calculus of variations and some
More informationElements of Positive Definite Kernel and Reproducing Kernel Hilbert Space
Elements of Positive Definite Kernel and Reproducing Kernel Hilbert Space Statistical Inference with Reproducing Kernel Hilbert Space Kenji Fukumizu Institute of Statistical Mathematics, ROIS Department
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 informationChapter 9. Parabolic Equations. 9.1 Introduction. 9.2 Some Results from Functional Analysis
Chapter 9 Parabolic Equations 9.1 Introduction If u(x, t) represents the temperature in a body Ω R n at a point x Ω at time t, then the propagation (or diffusion) of heat is (approximately) described by
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 informationbe the set of complex valued 2π-periodic functions f on R such that
. Fourier series. Definition.. Given a real number P, we say a complex valued function f on R is P -periodic if f(x + P ) f(x) for all x R. We let be the set of complex valued -periodic functions f on
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 informationGradient estimates for eigenfunctions on compact Riemannian manifolds with boundary
Gradient estimates for eigenfunctions on compact Riemannian manifolds with boundary Xiangjin Xu Department of athematics Johns Hopkins University Baltimore, D 21218 Abstract The purpose of this paper is
More informationIntegral Representation Formula, Boundary Integral Operators and Calderón projection
Integral Representation Formula, Boundary Integral Operators and Calderón projection Seminar BEM on Wave Scattering Franziska Weber ETH Zürich October 22, 2010 Outline Integral Representation Formula Newton
More informationTopics in Harmonic Analysis Lecture 1: The Fourier transform
Topics in Harmonic Analysis Lecture 1: The Fourier transform Po-Lam Yung The Chinese University of Hong Kong Outline Fourier series on T: L 2 theory Convolutions The Dirichlet and Fejer kernels Pointwise
More informationON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP
Dedicated to Professor Gheorghe Bucur on the occasion of his 7th birthday ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP EMIL POPESCU Starting from the usual Cauchy problem, we give
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 informationINTRODUCTION TO NONLINEAR WAVE EQUATIONS
INTRODUCTION TO NONLINEAR WAVE EQUATIONS JONATHAN LUK Contents 1. Introduction 1. Linear wave equation via Fourier transform 4.1. Review of Fourier theory 4.. Returning to the linear wave equation 4 3.
More informationProblem set 2 The central limit theorem.
Problem set 2 The central limit theorem. Math 22a September 6, 204 Due Sept. 23 The purpose of this problem set is to walk through the proof of the central limit theorem of probability theory. Roughly
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 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 informationIntroduction to Harmonic Analysis
LECTURES ON Introduction to Harmonic Analysis Chengchun Hao S n x n+ O θ cos θ sin θ S n x LECTURES ON INTRODUCTION TO HARMONIC ANALYSIS Chengchun Hao AMSS, Chinese Academy of Sciences Email: hcc@amss.ac.cn
More informationApproximation by Conditionally Positive Definite Functions with Finitely Many Centers
Approximation by Conditionally Positive Definite Functions with Finitely Many Centers Jungho Yoon Abstract. The theory of interpolation by using conditionally positive definite function provides optimal
More informationPERIODIC HYPERFUNCTIONS AND FOURIER SERIES
PROCEEDINGS OF THE AMERICAN MATHEMATICAL SOCIETY Volume 128, Number 8, Pages 2421 2430 S 0002-9939(99)05281-8 Article electronically published on December 7, 1999 PERIODIC HYPERFUNCTIONS AND FOURIER SERIES
More informationFourier and Laplace Transforms, Convolution
Fourier and Laplace Transforms, Convolution Contents: 1. The Fourier transform in L 1. 2. Extensions of the Fourier transform. 3. The Laplace transform. 4. Convolution. 5. Fourier Transform and Differential
More informationFourier Series. 1. Review of Linear Algebra
Fourier Series In this section we give a short introduction to Fourier Analysis. If you are interested in Fourier analysis and would like to know more detail, I highly recommend the following book: Fourier
More informationBernoulli Numbers and their Applications
Bernoulli Numbers and their Applications James B Silva Abstract The Bernoulli numbers are a set of numbers that were discovered by Jacob Bernoulli (654-75). This set of numbers holds a deep relationship
More informationWAVELET EXPANSIONS OF DISTRIBUTIONS
WAVELET EXPANSIONS OF DISTRIBUTIONS JASSON VINDAS Abstract. These are lecture notes of a talk at the School of Mathematics of the National University of Costa Rica. The aim is to present a wavelet expansion
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 informationElliptic Problems for Pseudo Differential Equations in a Polyhedral Cone
Advances in Dynamical Systems and Applications ISSN 0973-5321, Volume 9, Number 2, pp. 227 237 (2014) http://campus.mst.edu/adsa Elliptic Problems for Pseudo Differential Equations in a Polyhedral Cone
More informationCHAPTER VIII HILBERT SPACES
CHAPTER VIII HILBERT SPACES DEFINITION Let X and Y be two complex vector spaces. A map T : X Y is called a conjugate-linear transformation if it is a reallinear transformation from X into Y, and if T (λx)
More information