TD 1: Hilbert Spaces and Applications

Similar documents
Introduction to Functional Analysis

Finite-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

Partial Differential Equations

Your first day at work MATH 806 (Fall 2015)

Probability and Measure

2) Let X be a compact space. Prove that the space C(X) of continuous real-valued functions is a complete metric space.

Functional Analysis. Franck Sueur Metric spaces Definitions Completeness Compactness Separability...

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

Real Analysis, 2nd Edition, G.B.Folland Elements of Functional Analysis

Errata Applied Analysis

THEOREMS, ETC., FOR MATH 515

Analysis Preliminary Exam Workshop: Hilbert Spaces

Functional Analysis II held by Prof. Dr. Moritz Weber in summer 18

MTH 503: Functional Analysis

Contents: 1. Minimization. 2. The theorem of Lions-Stampacchia for variational inequalities. 3. Γ -Convergence. 4. Duality mapping.

Chapter 7: Bounded Operators in Hilbert Spaces

Applied Analysis (APPM 5440): Final exam 1:30pm 4:00pm, Dec. 14, Closed books.

I teach myself... Hilbert spaces

2 (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?

Selçuk Demir WS 2017 Functional Analysis Homework Sheet

Scientific Computing WS 2018/2019. Lecture 15. Jürgen Fuhrmann Lecture 15 Slide 1

Chapter 1. Preliminaries. The purpose of this chapter is to provide some basic background information. Linear Space. Hilbert Space.

Measurable functions are approximately nice, even if look terrible.

CHAPTER VIII HILBERT SPACES

3 (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?

t y n (s) ds. t y(s) ds, x(t) = x(0) +

Fall TMA4145 Linear Methods. Solutions to exercise set 9. 1 Let X be a Hilbert space and T a bounded linear operator on X.

Analysis Comprehensive Exam Questions Fall F(x) = 1 x. f(t)dt. t 1 2. tf 2 (t)dt. and g(t, x) = 2 t. 2 t

1 Inner Product Space

Your first day at work MATH 806 (Fall 2015)

Fourier Transform & Sobolev Spaces

Sobolev Spaces. Chapter 10

FUNCTIONAL ANALYSIS HAHN-BANACH THEOREM. F (m 2 ) + α m 2 + x 0

Elementary linear algebra

SPECTRAL THEOREM FOR SYMMETRIC OPERATORS WITH COMPACT RESOLVENT

Vector Spaces. Vector space, ν, over the field of complex numbers, C, is a set of elements a, b,..., satisfying the following axioms.

4 Hilbert spaces. The proof of the Hilbert basis theorem is not mathematics, it is theology. Camille Jordan

Singular Integrals. 1 Calderon-Zygmund decomposition

Spectral Theory, with an Introduction to Operator Means. William L. Green

PROBLEMS. (b) (Polarization Identity) Show that in any inner product space

Notes on Distributions

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

REAL AND COMPLEX ANALYSIS

Hilbert Spaces. Hilbert space is a vector space with some extra structure. We start with formal (axiomatic) definition of a vector space.

MATH & MATH FUNCTIONS OF A REAL VARIABLE EXERCISES FALL 2015 & SPRING Scientia Imperii Decus et Tutamen 1

Real Analysis Problems

Hilbert Space Problems

Kernel Method: Data Analysis with Positive Definite Kernels

Lecture Notes in Functional Analysis

Locally convex spaces, the hyperplane separation theorem, and the Krein-Milman theorem

Second Order Elliptic PDE

Weak Topologies, Reflexivity, Adjoint operators

5 Compact linear operators

PDEs in Image Processing, Tutorials

The following definition is fundamental.

MA5206 Homework 4. Group 4. April 26, ϕ 1 = 1, ϕ n (x) = 1 n 2 ϕ 1(n 2 x). = 1 and h n C 0. For any ξ ( 1 n, 2 n 2 ), n 3, h n (t) ξ t dt

A Brief Introduction to Functional Analysis

l(y j ) = 0 for all y j (1)

MATH 113 SPRING 2015

(1) Consider the space S consisting of all continuous real-valued functions on the closed interval [0, 1]. For f, g S, define

Chapter 1. Introduction

OPERATOR THEORY ON HILBERT SPACE. Class notes. John Petrovic

MAT 449 : Problem Set 7

1 Functional Analysis

The Dirichlet-to-Neumann operator

Compact operators on Banach spaces

USING FUNCTIONAL ANALYSIS AND SOBOLEV SPACES TO SOLVE POISSON S EQUATION

Homework I, Solutions

Traces, extensions and co-normal derivatives for elliptic systems on Lipschitz domains

Problem Set 6: Solutions Math 201A: Fall a n x n,

08a. Operators on Hilbert spaces. 1. Boundedness, continuity, operator norms

3. (a) What is a simple function? What is an integrable function? How is f dµ defined? Define it first

Overview of normed linear spaces

4 Linear operators and linear functionals

1 Definition and Basic Properties of Compa Operator

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

CONVERGENCE THEORY. G. ALLAIRE CMAP, Ecole Polytechnique. 1. Maximum principle. 2. Oscillating test function. 3. Two-scale convergence

2. Dual space is essential for the concept of gradient which, in turn, leads to the variational analysis of Lagrange multipliers.

L p Spaces and Convexity

2.3 Variational form of boundary value problems

Aliprantis, Border: Infinite-dimensional Analysis A Hitchhiker s Guide

HARMONIC ANALYSIS. Date:

MATHS 730 FC Lecture Notes March 5, Introduction

LECTURE 7. k=1 (, v k)u k. Moreover r

here, this space is in fact infinite-dimensional, so t σ ess. Exercise Let T B(H) be a self-adjoint operator on an infinitedimensional

Analysis Qualifying Exam

SOLUTIONS TO SOME PROBLEMS

Differentiation and function spaces

Metric Spaces. Exercises Fall 2017 Lecturer: Viveka Erlandsson. Written by M.van den Berg

1/12/05: sec 3.1 and my article: How good is the Lebesgue measure?, Math. Intelligencer 11(2) (1989),

MAT 449 : Problem Set 4

David Hilbert was old and partly deaf in the nineteen thirties. Yet being a diligent

THE PROBLEMS FOR THE SECOND TEST FOR BRIEF SOLUTIONS

Real Analysis Notes. Thomas Goller

EXAMINATION SOLUTIONS

Measure and Integration: Solutions of CW2

LINEAR ALGEBRA BOOT CAMP WEEK 4: THE SPECTRAL THEOREM

1. Subspaces A subset M of Hilbert space H is a subspace of it is closed under the operation of forming linear combinations;i.e.,

Math 209B Homework 2

j=1 x j p, if 1 p <, x i ξ : x i < ξ} 0 as p.

Transcription:

Université Paris-Dauphine Functional Analysis and PDEs Master MMD-MA 2017/2018 Generalities TD 1: Hilbert Spaces and Applications Exercise 1 (Generalized Parallelogram law). Let (H,, ) be a Hilbert space. Let n [ 2, + [. Let (x 1,... x n ) H n. Prove that n x i 2 = 1 2 n ε 1 x 1 +... + ε n x n 2. i=1 (ε 1,...,ε n) {,1} n Exercise 2. We consider [X], endowed with the following scalar product: P, Q = 0 P (x)q(x)dx. 1. Prove that this is indeed a scalar product. 2. Find a sequence of polynomials (P n ) n N that converges uniformly to exp on [0, 1]. 3. Deduce that (P n ) n N exp for the norm associated to the scalar product,. 4. What can we deduce on ([X],, )? Exercise 3 ( Fréchet-von Neumann-Jordan Theorem). Let E be a real Banach space endowed with a norm that verifies the parallelogram law We introduce x + y 2 + x y 2 = 2 ( x 2 + y 2), (x, y) E 2. x, y := 1 2 ( x + y 2 x 2 y 2), (x, y) E 2. We propose to verify that this expression defines a scalar product that verifies moreover x, x = x 2. 1. Prove that x, y = y, x, x, y = x, y, and x, 2y = 2 x, y, (x, y) E 2. 2. Prove that x + y, z = x, z + y, z, (x, y, z) E 3. 3. Prove that λx, y = λ x, y, (λ, x, y) ( E 2 ). One may first treat the case λ N, then λ Z and λ Q. 4. Conclude. Exercise 4 (Complexification of a real Hilbert space). Let (H,, ) be a Hilbert space. We consider the product linear space H C := H H, where we define, for (x, y) H H, i.(x, y) := ( y, x). 1. Find an addition and an extern multiplication law that enable to endow H C with structure of complex linear space. Prove that the restriction of this structure for real numbers coincide with the usual structure of product linear space on H H. 2. We identify H and H {0}. Identifty ih to a real subspace of H C. Prove that as a real linear space, H C is the direct sum of H and ih. 3. Let (z 1, z 2 ) H C H C, that we decompose in a unique way as z j = x j + iy j, j = 1, 2. We define z 1, z 2 H C := x 1, x 2 + y 1, y 2 + i ( x 1, y 2 x 2, y 1 ). Prove that it is the unique hermitian product that extend the scalar product on H. The space H C is called the complexified linear space of H. 1

Projection on a closed convex set. Exercise 5. We consider the space E = (C 0 ([, 1], ), ), and F be the linear subspace of odd functions whose integral is zero on [0, 1]. Let ϕ : t [, 1] t. 1. Prove that F is closed. 2. Prove that d(ϕ, F ) 1/2. 3. Does there exist some ψ F such that ϕ ψ = 1/2? 4. Prove that d(ϕ, F ) = 1/2. Hint: try to approximate t 1/2 by some appropriate functions in F. Comment. Exercise 6. We consider the space E = (C 0 ([, 1], ), ) and D the straight line generated by x 1 x. Prove that the distance between D and the function x 1 is reached at several points. Comment. Exercise 7. Let (H,, ) be a Hilbert space. Compute the projection on the closed unit ball. Exercise 8. Let (H,, ) be a Hilbert space. Prove that any closed convex set admits a unique element of minimal norm. Exercise 9. Let H = l 2 (N, ), endowed with the canonical scalar product. We introduce C := {(x n ) n N x n 0}. Prove that C is a closed convex set and compute the orthogonal projection on C. Exercise 10 (Nested closed convex sets and projection, I). Let (C i ) i N be a sequence of closed convex sets (H,, ) such that C 1 C 2... C n.... We introduce C = n=1 C n and we assume that C 0. We denote by P i the orthogonal projection on C i. 1. Prove that C is a closed convex set.let P denote the orthogonal projection on C. 2. We fix some h H, and we introduce a i = P i (h). Prove that the sequence h a i i N is increasing and bounded from above. 3. Prove that a i P (h) as i. Hint: first prove that (a i ) N is a Cauchy sequence by using question 2. Exercise 11 (Nested closed convex sets and projection, II). Let (C i ) i N be a sequence of nonempty closed convex sets (H,, ) such that C 1 C 2... C n.... We introduce C = n=1 C n and we assume that C 0.We denote by P i the orthogonal projection on C i. 1. Prove that C is a closed convex set.let P denote the orthogonal projection on C. 2. We fix some h H, and we introduce a i = P i (h). Prove that a i P (h) asi. One may begin with proving that (a i ) N is a Cauchy sequence. Exercise 12 (Geometric Hahn-Banach Theorem, Hilbert version). Let C be a closed convex set of a real Hilbert space (H,, ). 1. Let x H. Prove that there exists f H and α such that What does it mean from a geometrical point of view? f(x) < α < f(y), y C. 2. Deduce that any proper closed convex set (i.e. different from H) can be written as an intersection of closed half-spaces. 3. Prove that any proper linear subspace can be written as an intersection of closed hyperplanes. 4. Let Ĉ another closed convex set, assumed to be compact, such that C Ĉ =. Prove that there exists f H such that sup f(x) < inf f(y). x C y Ĉ What does it mean from a geometrical point of view? Does this property still hold true if Ĉ is assumed to be only closed? 2

Exercise 13 (Conditional expectation). Let (Ω, A, P ) be a probability space and G a sub σ algebra of A. Let X L 1 (Ω, ). Prove the following properties of the conditional expectation: 1. If Z is G measurable and essentially bounded, then E[ZE[X G]] = ZE[X G]. 2. E[E[X G]] = E[X]. 3. If H a sub σ algebra G, alors E[E[X G] H] = E[X H]. 4. If Z is G measurable and essentially bounded, then E[XZ G] = ZE[X G]. 5. If X is G measurable, then E[X G] = X. 6. If ϕ is a convex function such that ϕ(x) is integrable, then E[ϕ(X) G] ϕ(e[x G]). iesz epresentation Theorem. Exercise 14. Let E be the space of complex sequences (u n ) n N that vanishes identically after some index, endowed with the usual hermitian product. 1. Prove that the following application ϕ : u = (u n ) E u nn n=1 is a linear continuous form on E. 2. Does there exists an element a E such that ϕ(u) = a, u? What can we deduce on E? Exercise 15 (adon-nykodym Theorem, weak version). Let (X, T ) be a measurable space, let µ and ν two finite measures on X. We assume that for any measurable set A, we have ν(a) µ(a). 1. Prove that for any non-negative measurable function h, we have X h(x)dν(x) X h(x)dµ(x). 2. Deduce that L 2 (µ) L 2 (ν) and that for g L 2 (µ), we have g L2 (ν) g L2 (µ). 3. Prove that ϕ : g L 2 (µ) g(x)dν(x) is a linear continuous form. X 4. Deduce that there exists a measurable function f such that ν is the density measure of f with respect to µ, i.e. for any measurable set A, we have ν(a) = A f(x)dµ(x). Exercise 16 (Universality of the convolution). Let f a function from N (N N ) with real values. For x N, we introduce τ x f : y f(y x). An operator T acting on the function of L 2 ( N ) is said to be invariant by translation if T (τ x f) = τ x (T f). We now consider T : L 2 ( N ) C b ( N ) a linear continuous operator, assumed to be invariant by translation. 1. Prove that f T f(0) L 2 ( N ). 2. Writing T f(x) = τ x (T f)(0), deduce the existence of some g L 2 ( N ) such that T f(x) = f g(x). Exercise 17 (Adjoint operator). Let u be a continuous linear endomorphism on a real or complex Hilbert space H,,, and let y H. 1. Prove that there exists a unique z H such that for any x H, we have u(x), y = x, z. We consider u : y z for z defined as in the previous question. u is called the adjoint operator of u. 2. Prove that u is a linear continuous operator such that u u. 3. Prove that u = u. 4. Prove that u L c (U) u L c (U) is anti-linear, continous, bijective with continuous inverse. 5. Let v L c (H). Prove that (u v) = v u. 6. Prove that u = u. 7. Prove that u u = u 2 = u u. 8. Prove that Ker(u ) = Im(u). Describe also Ker(u ). 3

Exercise 18 (Computation of adjoint operators). 1. We consider H = l 2 (N, C) and (a n ) n N a bounded sequence of complex numbers. We consider T : (u n ) n N (a n u n ) n N. Prove that T is linear continuous from H to H and compute its adjoint operator. 2. We consider H = l 2 (N, C). We consider S : (u n ) n N = (u 0, u 1,...) (v n ) n N := (0, u 0, u 1,...). Prove that S is linear continuous from H to H and compute its adjoint operator. 3. We consider H = L 2 ([0, 1], C) and K : [0, 1] [0, 1] C a continuous function. We consider U : f H ( x 0 K(x, y)f(y)dy ). Prove that U is linear continuous from H to H and compute its adjoint operator. Exercise 19 (Canonical Gelfand triple). Let (Ω, T, µ) be a measure space. We consider H = L 2 (Ω, ). Let m be some measurable function with real values such that there exists δ > 0 such that for any x Ω, one has m(x) δ, and m(x) < almost everywhere. We consider V := {f measurable function Ω mf 2 dµ < }. 1. Prove that V H with continuous inclusion, and that V is dense in H. 2. Identify V with a simple space. Orthogonality and Hilbert basis. Exercise 20. Let E be the space of complex sequences (u n ) n N that vanishes identically after some index, endowed with the usual hermitien product. We consider ϕ : u = (u n ) E u nn n=1, which is a linear continuous form on E. 1. Prove that Ker(ϕ) is a close hyperplane, and that Ker(ϕ) = {0}. 2. More generally, if (H,, ) is a (real or complex) non-complete pre-hilbert space, prove that there exists some closed hyperplane whose orthogonal is reduced to {0}. Hint: we admit that H can be included in a Hilbert space (Ĥ,, ), and that H is dense in Ĥ. Exercise 21. Let H = l 2 (N, C). We fix some n N and we consider M = {(x k ) k N H n k=0 M = 0}. 1. Prove that M is a closed subspace of H. 2. Find the orthogonal complement of M. 3. Compute the distance between (1, 0, 0,...) and M. Exercise 22 (Characterization of orthogonal projections). Let (H,, ) be a Hilbert space and p L c (H) a projection on H, i.e. a linear continuous operator verifying p p = p. 1. Prove that H can be written as the direct sum of ange(p) and Ker(p). 2. Prove that p is an orthogonal projection p is 1-Lipschitz. Hint: for, make a picture and consider some x (Ker(p)). Exercise 23. Let E = C 0 ([0, 1], ), endowed with the L 2 -scalar product. Let C = {f E f(0) = 0}. Prove that F = {0}. Comment. Exercise 24. let (H,, ) be a separable Hilbert space. Prove that any orthonormal family can be extended as a Hilbert basis of H. Exercise 25. and find 1. Compute amongst all g L 2 (, 1) satisfying the constraints g(x)dx = min x 3 ax 2 bx c 2 dx, a,b,c max x 3 g(x)dx xg(x)dx = g(x)dx = 0; g(x) 2 dx = 1. 4

2. Let (H,, ) a Hilbert space. let x 0 H and M a closed subspace of H, find a maximization problem associated to the minimization problem min x M x 0 x as in the previous question. Exercise 26. Let H = L 2 (), and V = {f Cc ()/ f(t)dt = 0}. ecall that Cc () is the set of C functions with compact support (i.e. vanishing identically outside of their support), that L 2 () is a Hilbert space for the usual scalar product and that Cc () is dense in L 2 (). 1. let φ Cc () such that φ(t)dt = 1. Let (n, t) N, φ n (t) = 1 n φ ( t n ). (a) Prove that (b) Let g Cc (). Let Prove that h is in the subspace V. 2. Deduce that φ n 0 in H. n + ( h = g g(t)dt ) φ n. V C c (). 3. Conclude that V is dense is H. Exercise 27 (Shannon Sampling Theorem). Let BL 2 = {f L 2 () f = 0 on \ [/2, 1/2]}. 1. Prove that BL 2 is a closed subspace of L 2. We will now consider that BL 2 is a Hilbert space for the L 2 scalar product. 2. Prove that any f BL 2 is continuous and that f f 2. 3. Compute the Fourier transform of the characteristic function of [/2, 1/2]. We will call this function sinc. 4. Let τ x f : y f(y x). Prove that {τ k (sinc) k Z} is a Hilbert basis of BL 2. Give an interpretation of this result. In this case, what gives the Parseval identity? 5. We decompose f BL 2 as f(x) = k Z f kτ k (sinc)(x). Prove that the convergence is uniform. 6. Prove that any f BL 2 is en entire function. Exercise 28 (Orthogonal polynomials). Let I be an interval of. We call weight function a measurable function ρ, positive, such that I x n ρ(x) <, n N. We denote by L 2 (I, ρ) the space of square integrable functions with density measure ρ, endowed with the canonical scalar product f, g := ρ(x)f(x)ḡ(x)dx. ecall that it is a Hilbert space. 1. Prove that L 2 (I, ρ) contains all polynomials. I 2. Prove that there exists a unique unitary family of orthogonal polynomials (P n ) n N such that for every n N, deg(p n ) = n. 3. Prove that the zeros of P n are distinct, reals, and all in the interval I. One can introduce the polynomials S(x) = m i=1 (x x i), where x i are the points in I where P n changes sign. 4. Prove that for any n 1 we have the following induction formula P n+1 = (X A n )P n B n P n, where A n = XP n, P n P n, P n and B n = XP n, P n P n, P n. 5

5. Prove by induction that for any n N, we have P n+1(x)p n (x) P n(x)p n+1 (x) > 0. Deduce that between (in a strict sense) each root of P n, there is exactly one root of P n+1. 6. Example (Hermite polynomials): let I = and ρ(x) = e x2 (it is a weight function). (a) Compute P 0, P 1, P 2, P 3. (b) Prove that for any n N, we have (c) Prove that P n 2 = π 1/4 n!. ( ) P n (X) = ()n 2 d n 2 2 n ex dx n e x. Let ξ, n N and n x, Pn(x) ξ ( iξx) k :=. k! k=0 (d) Prove that x, P ξ n(x) e iξx. n + (e) Prove that (n, x) N, P ξ n(x) e ξx. (f) Let f L 2 (). We assume that : n N, P n, f = 0. Let g(x) = e x2 2 f(x). Prove that g L 1 (). (g) Prove that ξ, ĝ(ξ) = Hint. One can compute the integrals P ξ n(x)g(x)dx. (h) Deduce that f identically vanishes. e iξx g(x)dx = 0. (i) Give a Hilbert basis of L 2 (, e x2 ). 7. Deduce from the above example a Hilbert basis of L 2 (). Other applications. Exercise 29. leth = l 2 (N, ). ecall that H is a Hilbert space for the scalar product (x, y) H 2, < x, y > H = Are the following bilinear forms continuous and coercive? (i) a(x, y) = + x n y n+1, (ii) b(x, y) = + x n+1 y n+1, + x n y n. (iii) c(x, y) = x 0 y 0 + + (x n+1 x n )(y n+1 y n ), (iv) d(x, y) = + ) (x n+1 y n+1 + 2x n y n+1 + 2x n y n. Exercise 30 (Babuska-Lax-Milgram Theorem, 1971). We consider two real Hilbert spaces (U,, ) and (V, ( )), and a : U V a bilinear continuous form, i.e. β > 0 such that for all (u, v) U V, we have a(u, v) β u U v V. We assume moreover that a is weakly coercive in the following sense: there exists α > 0 such that sup v =1 a(u, v) c u and for all v 0 H, one has sup u =1 a(u, v) > 0. Let l V. Prove that there exists a unique u U such that a(u, v) = l(v), v V. 6

Exercise 31 (Schrödinger equation). Let L > 0. We consider the following equation, called Schrödinger equation with Dirichlet boundary conditions i t u + xx u = 0 in ]0, + [ ]0, L[, u(0, x) = u 0 (x) C 2 [0, L], (1) u(t, x = 0) = u(t, x = L) = 0 on [0, [. A solution (1) is a function u C 1 ([0, T ] [0, L] such that for every t 0, we have x u(t, x) C 2 ([0, L]), verifying (1). 1. Find the solutions of this equation that have separated variables. 2. Prove the existence of a solution. 3. Prove that any solution u to (1) is such that the energy is conserved: L 0 u 2 (t)dt = L 0 u 2 0(x)dx. One can multiply the first line of (1) by ū, integrate on [0, L], then do an integration by parts. 4. Deduce the uniqueness of the solution. 5. Prove that u is in fact defined in [0, L]. This property is called reversibility in time. Exercise 32 (2D heat equation). Let L 1 > 0 and L 2 > 0. We consider the following equation, called heat equation on a rectangle with Dirichlet boundary conditions t u xx u yy u = 0 in ]0, + [ ]0, L 1 [ ]0, L 1 [, lim u(0, x) = u 0(x) L 2 ([0, L 1 ] [0, L 2 ]), t 0 + u(t, 0, y) = u(t, L 1, y) = 0 in ]0, [ [0, L 2 ], u(t, x, 0) = u(t, x, L 2 ) = 0 in ]0, [ [0, L 2 ]. Mimicking what was done during the course, prove that there exists a unique solution (in appropriate class) of this equation. Hint: prove that functions with separated variables x and y are dense in L 2 (]0, L 1 [ ]0, L 2 ]). Exercise 33 (Orthonormal basis of Haar wavelets). Let x [0, 1/2[ 1 ψ(x) : x [/2, 1] x [0, 1] 0. For j Z and k Z, we introduce ψ j,k (x) := 1 ψ( x 2j k 2 j 2 2 j ). The goal of this exercise is to prove that the ψ j,k form a Hilbert basis of L 2 (). In what follows, W j denotes the space of functions of L 2 () that are constants on intervals of the form 2 j + z with z Z and of null mean value. 1. Prove that the ψ j,k form an orthonormal family of L 2 (). 2. Find a base of W j. 3. Prove that the functions in L 1 () L 2 () with null mean value are dense in L 2 (). Hint: for f L 1 () L 2 (), one can consider, for > 0, the function f 4. Deduce that the ψ j,k form an orthonormal basis of L 2 (). f χ [0,]. 7