Scribd
Upload
18 views1 page

4

This document discusses properties of a function σ, including that σ(D(x, r)) is proportional to r^n-1 and |σ̂(ξ)| is bounded by (1 + |ξ|)^(-n-1/2). It then defines a cutoff function φ and uses it to decompose the Fourier transform σ̂ into terms Kj, where Kj convolves φ(2^-j x) with σ̂. Estimates are derived for the convolution operators involving Kj and K-∞ in L1→L∞ and L2→L2 norms.

Uploaded by

Ola
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
18 views1 page

4

This document discusses properties of a function σ, including that σ(D(x, r)) is proportional to r^n-1 and |σ̂(ξ)| is bounded by (1 + |ξ|)^(-n-1/2). It then defines a cutoff function φ and uses it to decompose the Fourier transform σ̂ into terms Kj, where Kj convolves φ(2^-j x) with σ̂. Estimates are derived for the convolution operators involving Kj and K-∞ in L1→L∞ and L2→L2 norms.

Uploaded by

Ola
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1

which suffices by Lemma 7.3.

The relevant properties of σ will be

σ(D(x, r)) . r n−1 , (78)

which reflects the n − 1-dimensionality of the sphere, and the bound

|σ̂(ξ)| . (1 + |ξ|)−
n−1
2 (79)

from Corollary 6.6.


Let φ be a C ∞ function with the following properties:
1
supp φ ⊂ {x : ≤ x ≤ 1},
4
X
if |x| ≥ 1 then φ(2−j x) = 1.
j≥0

Such a function may be obtained as follows: let χ be a C ∞ function which is equal to


1 when |x| ≥ 1 and to 0 when |x| ≤ 12 , and let φ(x) = χ(2x) − χ(x).
We now cut up σ̂ as follows:
X
∞
σ̂ = K−∞ + Kj ,
j=0

where
Kj (x) = φ(2−j x)σ̂(x),
X
∞
K−∞ (x) = (1 − φ(2−j x))σ̂.
j=0

Then K−∞ is a C0∞ function, so

kK−∞ ∗ f kq . kf kp

by Young’s inequality, provided q ≥ p. In particular, since q > 2 we may take p = q 0 .


We now consider the terms in the sum. The logic will be that we estimate convolution
with Kj as an operator from L1 to L∞ and from L2 to L2 , and then we use Riesz-Thorin.
We have
kKj k∞ . 2−j 2
n−1

by (79). Using the trivial bound kKj ∗ f k∞ ≤ kKj k∞ kf k1 we conclude our L1 → L∞


bound,
kKj ∗ f k∞ . 2−j 2 kf k1 .
n−1
(80)
On the other hand, we can use (78) to estimate K cj . Namely, let ψ = φ̂. Note also that
σ̂ = σ̌, since σ and therefore σ̂ are invariant under the reflection x → −x. Accordingly,
we have
cj = ψ 2−j ∗ σ,
K

46

You might also like