The Calderon-Vaillancourt Theorem

Similar documents
Topics in Harmonic Analysis Lecture 6: Pseudodifferential calculus and almost orthogonality

CHARACTERIZATIONS OF PSEUDODIFFERENTIAL OPERATORS ON THE CIRCLE

Math 172 Problem Set 8 Solutions

Topics in Harmonic Analysis Lecture 1: The Fourier transform

ALMOST ORTHOGONALITY AND A CLASS OF BOUNDED BILINEAR PSEUDODIFFERENTIAL OPERATORS

Fourier Transform & Sobolev Spaces

SOLUTIONS TO HOMEWORK ASSIGNMENT 4

2. Function spaces and approximation

Sharp Gårding inequality on compact Lie groups.

A new class of pseudodifferential operators with mixed homogenities

Chapter One. The Calderón-Zygmund Theory I: Ellipticity

On a class of pseudodifferential operators with mixed homogeneities

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

Singular Integrals. 1 Calderon-Zygmund decomposition

Chapter 8 Integral Operators

Micro-local analysis in Fourier Lebesgue and modulation spaces.

Sobolev Spaces. Chapter 10

Kernel Method: Data Analysis with Positive Definite Kernels

Unbounded operators on Hilbert spaces

L p -boundedness of the Hilbert transform

On Fréchet algebras with the dominating norm property

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

1 Definition and Basic Properties of Compa Operator

REAL ANALYSIS II HOMEWORK 3. Conway, Page 49

Chapter 7: Bounded Operators in Hilbert Spaces

Functional Analysis. Martin Brokate. 1 Normed Spaces 2. 2 Hilbert Spaces The Principle of Uniform Boundedness 32

An introduction to some aspects of functional analysis

HERMITE MULTIPLIERS AND PSEUDO-MULTIPLIERS

ESTIMATES FOR MAXIMAL SINGULAR INTEGRALS

Regularizations of Singular Integral Operators (joint work with C. Liaw)

Sobolev spaces. May 18

Lecture Notes in Advanced Calculus 1 (80315) Raz Kupferman Institute of Mathematics The Hebrew University

Math 699 Reading Course, Spring 2007 Rouben Rostamian Homogenization of Differential Equations May 11, 2007 by Alen Agheksanterian

Sobolev Spaces. Chapter Hölder spaces

PDEs, Homework #3 Solutions. 1. Use Hölder s inequality to show that the solution of the heat equation

1 Functional Analysis

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

MAT 449 : Problem Set 7

Real Analysis Notes. Thomas Goller

i=1 β i,i.e. = β 1 x β x β 1 1 xβ d

MTH 503: Functional Analysis

Introduction to Microlocal Analysis

Functional Analysis Exercise Class

ON THE FRACTIONAL CAUCHY PROBLEM ASSOCIATED WITH A FELLER SEMIGROUP

SPECTRAL THEOREM FOR COMPACT SELF-ADJOINT OPERATORS

V. CHOUSIONIS AND X. TOLSA

Partial Differential Equations 2 Variational Methods

Analysis IV : Assignment 3 Solutions John Toth, Winter ,...). In particular for every fixed m N the sequence (u (n)

Infinite-dimensional Vector Spaces and Sequences

An introduction to pseudo-differential operators

Your first day at work MATH 806 (Fall 2015)

8 Singular Integral Operators and L p -Regularity Theory

Bilinear pseudodifferential operators: the Coifman-Meyer class and beyond

Fourier Series. ,..., e ixn ). Conversely, each 2π-periodic function φ : R n C induces a unique φ : T n C for which φ(e ix 1

THE L 2 -HODGE THEORY AND REPRESENTATION ON R n

MATH 173: Problem Set 5 Solutions

Probability and Measure

Real Variables # 10 : Hilbert Spaces II

Functional Analysis Exercise Class

Notes. 1 Fourier transform and L p spaces. March 9, For a function in f L 1 (R n ) define the Fourier transform. ˆf(ξ) = f(x)e 2πi x,ξ dx.

Reminder Notes for the Course on Distribution Theory

Five Mini-Courses on Analysis

CHAPTER VIII HILBERT SPACES

Wiener Measure and Brownian Motion

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?

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

TOOLS FROM HARMONIC ANALYSIS

Multilinear local Tb Theorem for Square functions

Partial Differential Equations and Sobolev Spaces MAT-INF4300 autumn Snorre H. Christiansen November 10, 2016

MAXIMAL AVERAGE ALONG VARIABLE LINES. 1. Introduction

A NEW PROOF OF THE ATOMIC DECOMPOSITION OF HARDY SPACES

FRAMES AND TIME-FREQUENCY ANALYSIS

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

Math 205b Homework 2 Solutions

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?

WEYL S LEMMA, ONE OF MANY. Daniel W. Stroock

Elliptic Problems for Pseudo Differential Equations in a Polyhedral Cone

Lecture 4 Lebesgue spaces and inequalities

be the set of complex valued 2π-periodic functions f on R such that

Tools from Lebesgue integration

Theory and applications of time-frequency analysis

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

EXISTENCE AND REGULARITY RESULTS FOR SOME NONLINEAR PARABOLIC EQUATIONS

EXPOSITORY NOTES ON DISTRIBUTION THEORY, FALL 2018

Introduction to Pseudodifferential Operators

New Proof of Hörmander multiplier Theorem on compact manifolds without boundary

From the N-body problem to the cubic NLS equation

arxiv: v2 [math.pr] 27 Oct 2015

n 1 f = f m, m=0 n 1 k=0 Note that if n = 2, we essentially get example (i) (but for complex functions).

SOBOLEV SPACE ESTIMATES AND SYMBOLIC CALCULUS FOR BILINEAR PSEUDODIFFERENTIAL OPERATORS

and finally, any second order divergence form elliptic operator

Math 46, Applied Math (Spring 2008): Final

MAT 578 FUNCTIONAL ANALYSIS EXERCISES

Functional Analysis Winter 2018/2019

Riemann integral and Jordan measure are generalized to unbounded functions. is a Jordan measurable set, and its volume is a Riemann integral, R n

The fractional Hankel transformation of certain tempered distributions and pseudo-differential operators

The spectral zeta function

MATH MEASURE THEORY AND FOURIER ANALYSIS. Contents

Semiclassical Analysis and Magnetic Fields

Homework If the inverse T 1 of a closed linear operator exists, show that T 1 is a closed linear operator.

Transcription:

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 1.1. The symbol class S 0 00 is the space of smooth functions b on R d R d such that for all α, β N d. α x β ξ b(x, ξ) C αβ, x, ξ R d, For the next definition, we recall that ϕ(ξ) = e iy ξ ϕ(y)dy. Definition 1.2 (Pseudo-differential operator). Given b S00, 0 the pseudo-differential operator of symbol b, Op(b), is the operator defined by Op(b)ϕ(x) = (2π) d e ix ξ b(x, ξ) ϕ(ξ)dξ, for all ϕ in the Schwartz space S(R d ). Theorem 1.3 (Calderon-Vaillancourt). There exists C, N CV > 0 such that for all b S 0 00 and all ϕ S(R d ) Op(b)ϕ L2 (R d ) C max x α β ξ b L ϕ L α+β N 2 (R ). (1.1) d CV The next sections are devoted to the proof of this theorem. 2 The Schur estimate Let K S(R 2d ) and consider the associated operator Au(x) = K(x, y)u(y)dy, R d defined for any u L p (R d ), p [1, ]. Introduce the norms A l Schur := sup x K(x, y) dy, A r Schur := sup y K(x, y) dx. 1

Proposition 2.1. For all p [1, ] and all u L p (R d ), Au L p with the convention that C 1 1/p 1 C 1/p 2 = C 1 if p =. A 1 1/p l Schur A 1/p r Schur u L p, Proof. Assume that p <. Observe that for each x R d, Hölder s inequality yields K(x, y)u(y) dy = K(x, y) 1 1/p K(x, y) 1/p u(y) dy ( ) 1 1/p ( K(x, y) dy K(x, y) u(y) p dy) 1/p. Hence we have ( ) p K(x, y)u(y) dy A p 1 l Schur K(x, y) u(y) p dy. By integrating this inequality with respect to x and using the Fubini Theorem, we obtain the result. If p =, the estimate is obvious. 3 The Cotlar-Knapp-Stein criterion Consider a countable family (A j ) j N of bounded operators on L 2 (R d ). We will actually assume that each A j is compact, which will not be a restriction for the final application. The only reason for this (non necessary) additional condition is that the spectral theorem for self-adjoint operators is maybe more elementary, or at least more popular, for compact operators than the general theorem of Von Neumann. For simplicity, denotes the operator norm on L 2 (R d ). Proposition 3.1. Assume that sup A j A k 1/2 M, j k sup k A k A j 1/2 M. j Then, if we set we have S N = j N A j, S N M, N N. Proof. Consider the self-adjoint (and compact) operator The Spectral Theorem then yields S N 2 = H N := S NS N. sup (SN S N ϕ, ϕ) = H N = max σ(h N ) ϕ L 2 =1 as well as H m N = H N m, m N, 2

so that S N = H m N 1/2m. (3.1) One then writes HN m = A j 1 A k1 A j m A km, j 1 k 1 j m k m where all indices are taken between 0 and N 1, and observes that A j 1 A k1 A j m A km A j 1 A k1 A j m A k m and A j 1 A km A k1 A j 2 A km 1 A j m. Therefore, since min(a, b) (ab) 1/2 for all a, b 0 and A k M for all k, we have HN m M A j 1 A k1 1/2 A k1 A j 2 1/2 A km 1 A j m 1/2 A j m A km 1/2 j 1 k 1 j 2 j m k m M M 2m 1. j 1<N Using (3.1), we thus have S N N 1/2m M and get the result by letting m. 4 Phase space translations For (q, p) R d R d define U(q, p) by U(q, p)ϕ(x) = e ix p ϕ(x q), say for ϕ in the Schwartz space S(R d ). These operators are obviously unitary on L 2 (R d ). They also satisfy the relations and U(q, p) = e iq p U( q, p), (4.1) U(q 1, p 1 )U(q 2, p 2 ) = e ip1 q2 U(q 1 + q 2, p 1 + p 2 ), (4.2) which are both easily seen by elementary calculations. We also define τ q,p by τ q,p a(x, ξ) = a(x q, ξ p). Lemma 4.1. For all (q, p) R d R d and a S(R 2d ), U(q, p)op(a)u(q, p) = Op (τ q,p a). Proof. It follows from (4.1) and the Fubini Theorem since U(q, p)op(a)u(q, p) ϕ(x) = e ip x (2π) d e i(x q) ξ a(x q, ξ)e iy ξ e iq p e ip y ϕ(y + q)dydξ = (2π) d e i(x z) ζ a(x q, ζ p)ϕ(z)dzdζ = Op (τ q,p a) ϕ(x) by the change of variables ξ = ζ p and y + q = z. 3

Lemma 4.2. There exists χ C 0 (R 2d ) such that (q,p) Z 2d τ q,p χ 1. Proof. The result has nothing to do with the dimension and easily follows from the existence of θ C 0 (R) such that 1 = j Z θ(x j). We can construct the latter by choosing θ 0 C 0 (R) such that θ 0 and θ 1 on [0, 1] so that the following smooth and 1 periodic function Θ(x) := j N θ 0 (x j) is bounded from below by 1 since x j belongs to [0, 1] for some j. considering θ = θ 0 /Θ and then χ with χ = θ θ. One then obtains θ by 5 Elementary symbolic calculus In this section we give the minimal symbolic calculus properties required for the proof of the Calderon-Vaillancourt Theorem. We start by observing that, if a S(R 2d ), the operator Op(a) (see Definition 1.2) has a kernel K Op(a) (x, y) = (2π) d â(x, y x),, (5.1) where â denotes the Fourier transform of a with respect to ξ. This follows from the Fubini theorem by expanding ϕ(ξ) into e iy ξ ϕ(y)dy in the definition of Op(a)ϕ. Clearly, this kernel belongs to S(R 2d ) and thus so does the kernel of Op(a) which is given by K Op(a) (x, y) = (2π) d â(y, x y). (5.2) It will be sufficient for the present purpose to show that Op(a) is of the form Op(a ) for some Schwartz function a depending continuously on a in the Schwartz space. To describe this continuity, we introduce the (semi)norms of the Schwartz space, where N N. a N,S := max α+β N x N ξ N x α β ξ a L, (5.3) Proposition 5.1 (Stablity of Op(S(R 2d )) by adjunction). There exists an antilinear map a a on S(R 2d ) such that (Op(a) ψ, ϕ) L 2 = (ψ, Op(a )ϕ) L 2, ψ, ϕ S(R d ), and continuous in the sense that for all N 1 N there exists C > 0 and N 2 N such that Proof. By (5.2), we look for a Schwartz function a such that a N1,S C a N2,S. (5.4) â (x, y x) = â(y, x y), 4

ie â (x, z) = â(x + z, z) = â(x + z, z). Taking the inverse Fourier transform, we get a (x, ξ) = (2π) d e iξ z â(x + z, z)dz. This function depends continuously on a in the Schwartz space since, by expanding x δ = (x+z z) δ by the binomial formula, one easily checks that x δ ξ µ α x β ξ a is a linear combination of e iξ z z δ (x + z) δ µ z (z β α x â(x + z, z) ) dz, with δ + δ = δ. This implies that x δ ξ µ x α β ξ a L is bounded by some seminorm of â in S(R 2d ) hence by some seminorm of a. 6 Proof of the theorem Using Lemma 4.2, we write first b = bτ q,p χ = τ q,p (χτ q, p b). (6.1) (q,p) Z 2d (q,p) For simplicity, we set We also introduce b q,p = χτ q, p b. B q,p := Op (bτ q,p χ) (6.2) = U(q, p)op(b q,p )U(q, p). (6.3) the second line being a consequence of Lemma 4.1. To be in position to use the Cotlar-Knapp-Stein criterion, we mainly need the following result. Proposition 6.1. There exist C > 0 and N CV > 0 such that, for all (q 1, p 1 ), (q 2, p 2 ) Z 2d and all b S 0 00, we have and B q1,p 1 Bq 2,p 2 L2 L 2 C q 1 q 2 2d 2 p 1 p 2 2d 2 max x α ξ b 2 L, (6.4) α+β N CV Bq 1,p 1 B q2,p 2 L 2 L 2 C q 1 q 2 2d 2 p 1 p 2 2d 2 max x α ξ b 2 L. (6.5) α+β N CV The proof goes in two steps. The first remark is that the family (b q,p ) (q,p) Z 2d S(R 2d ). To state this property more precisely, we use the notation (5.3). is bounded in Lemma 6.2. For all N N, there exists C > 0 such that, for all (q, p) Z 2d and all b S 0 00, b q,p N,S C max α+β N α x β ξ b L. (6.6) Proof. It is an easy consequence of the Leibniz rule, using that x N ξ N is bounded on the support of χ. 5

Lemma 6.3. For all D > 0, there exist C > 0 and N > 0 such that, Op(a 1 )U(q, p)op(a 2 )U(q, p) C q D p D a 1 N,S a 2 N,S, for all a 1, a 2 S(R d ) and all q, p Z d. Proof. By Lemma 4.1, we have U(q, p)op(a 2 )U(q, p) = Op(τ q,p (a 2 )) so the kernel K q,p of the operator Op(a 1 )U(q, p)op(a 2 )U(q, p) is given by K q,p (x, y) = (2π) 2d â 1 (x, z x) τ q,p a 2 (z, y z)dz = (2π) 2d â 1 (x, z x)e ip (z y) â 2 (z q, y z)dz, and it is not hard to check that it is a Schwartz function. By Proposition 2.1, it is then sufficient to show that K q,p (x, y) C D q D p D x y d 1 a 1 N,S a 2 N,S. To get the latter, we compute (x y) α q β p γ K q,p by expanding q β = (q z + z x + x) β, (x y) α = (x z + z y) α using the binomial law, and integrations by part to handle the term p γ. We obtain a linear combination of integrals of the form ( ) e ip z z γ x β (z x) β +α â 1 (x, z x)(y z) α (z q) β â 2 (z q, y z) dz, with β + β + β = β and α + α. These integrals are bounded by seminorms of a 1 and a 2 (uniformly with respect to (x y), q, p) and the result follows then easily. Proof of Proposition 6.1. We have B q1,p 1 B q 2,p 2 L2 L 2 = U(q 1, p 1 )Op(b q1,p 1 )U(q 1, p 1 ) U(q 2, p 2 )Op(b q2,p 2 ) U(q 2, p 2 ) L2 L 2 = Op(b q1,p 1 )U(q 1, p 1 ) U(q 2, p 2 )Op(b q2,p 2 ) U(q 2, p 2 ) U(q 1, p 1 ) L2 L 2 = Op(b q1,p 1 )U(q 2 q 1, p 2 p 1 )Op(b q2,p 2 ) U(q 2 q 1, p 2 p 1 ) L2 L 2 using the unitarity of U(q 1, p 1 ) to get the second line and the identities (4.1) and (4.2) to get the third one. Then, by writing Op(b q2,p 2 ) = Op ( b q 2,p 2 ) according to Proposition 5.1, Lemma 6.3 gives the estimate B q1,p 1 Bq 2,p 2 L2 L 2 C q 1 q 2 2d 2 p 1 p 2 2d 2 b q1,p 1 N1,S b q 2,p 2 N1,S for some N 1 depending only on d. Using (5.4) and (6.6), the seminorms in the right hand side can be replaced by max α+β N2 x α β ξ b 2 L and we get (6.4). The proof of (6.5) is similar. We recall that we assumed that the operators A j in Proposition 3.1 were compact 1. This condition is fullfilled by the operators B q,p. Proposition 6.4. For all (q, p) Z 2d, B q,p is compact on L 2 (R d ). 1 we recall that is assumption is only for simplicity and can be removed 6

Proof. Recall that B q,p is given by (6.3). Since b q,p belongs to C0 (R d ), the kernel of Op(b q,p ) belongs to the Schwartz class (see (5.1)), hence to L 2 (R 2d ), and thus is Hilbert-Schmidt. Set now b N = q + p bτ q,pχ so that Lemma 6.5. For all ψ, ϕ S(R d ), Op(b N ) = q + p N B q,p. (ψ, Op(b N )ϕ) L 2 (ψ, Op(b)ϕ) L 2, N. Proof. It suffices to observe that (ψ, Op(b N )ϕ) L 2 = (2π) d (2π) d e ix ξ ψ(x)b N (x, ξ) ϕ(ξ)dξdx e ix ξ ψ(x)b(x, ξ) ϕ(ξ)dξdx, where the first line follows from Fubini s Theorem and the second one by dominated convergence since b N b pointwise with b N bounded. Proof of Theorem 1.3. By Propositions 3.1, 6.1 and 6.4, there exists C > 0 and N CV such that, for all N and all b Op(b N ) L 2 L 2 C max α+β N CV α x β ξ b L. Thus, for all ψ, ϕ S(R d ), the Cauchy-Schwarz inequality yields (ψ, Op(b N )ϕ) L 2 C max x α β ξ b L ϕ L α+β N 2 (R ) ψ d L 2 (R ). (6.7) d CV By Lemma 6.5, we can let N go to and thus replace b N by b in the left hand side of (6.7). Taking then the supremum over those ψ such that ψ L 2 = 1, we get the result. 7