33.3. MIHLIN’S THEOREM 1131

Lemma 33.3.4 Let 33.3.25 hold and suppose ψ ∈C∞c (Rn \{0}). Then for each α, |α| ≤

L, there exists a constant C ≡C (α,n,ψ) independent of k such that

supx ∈Rn

|x||α|∣∣∣Dα

(ρ (x)ψ

(2kx))∣∣∣≤CC0.

Proof:

|x||α|∣∣∣Dα

(ρ (x)ψ

(2kx))∣∣∣≤ |x||α| ∑

β+γ=α

∣∣∣Dβρ (x)

∣∣∣2k|γ|∣∣∣Dγ

ψ

(2kx)∣∣∣

= ∑β+γ=α

|x||β |∣∣∣Dβ

ρ (x)∣∣∣ ∣∣∣2kx

∣∣∣|γ| ∣∣∣Dγψ

(2kx)∣∣∣

≤C0C (α,n) ∑|γ|≤|α|

sup{|z||γ| |Dγψ (z)| : z ∈ Rn}=C0C (α,n,ψ)

and this proves the lemma.

Lemma 33.3.5 There exists

φ ∈C∞c([

x :4−1 < |x|< 4]), φ (x)≥ 0,

and∞

∑k=−∞

φ

(2kx)= 1

for each x ̸= 0.

Proof: Letψ ≥ 0, ψ = 1 on

[2−1 ≤ |x| ≤ 2

],

spt(ψ)⊆[4−1 < |x|< 4

].

Consider

g(x) =∞

∑k=−∞

ψ

(2kx).

Then for each x, only finitely many terms are not equal to 0. Also, g(x)> 0 for all x ̸= 0. Toverify this last claim, note that for some k an integer, |x| ∈

[2l ,2l+2

]. Therefore, choose k an

integer such that 2k |x| ∈[2−1,2

]. For example, let k =−l−1. This works because 2k |x| ∈[

2l2k,2l+22k]=[2l−l−1,2l+2−l−1

]=[2−1,2

]. Therefore, for this value of k, ψ

(2kx)= 1

so g(x)> 0.Now notice that

g(2rx) =∞

∑k=−∞

ψ

(2k2rx

)=

∑k=−∞

ψ

(2kx)= g(x).

33.3. MIHLIN’S THEOREM 1131Lemma 33.3.4 Let 33.3.25 hold and suppose yw € Cz (R" \ {0}). Then for each a, |a| <L, there exists a constant C = C(a,n, W) independent of k such thatsp, xi* |p" (py (2))] secoProof:ix! [D* (p (x) w (2x) )f < ix" Yr [Bp (x)] 241"|| Dry (2'x)|B+y=a_ 1B| | 8 ILE ih|ot oes!" or (24)<CoC(a,n) Y sup{|z|!"' |D’y(z)| :z€ R"} =CoC(a,n, w)Inislor|and this proves the lemma.Lemma 33.3.5 There exists@ € Ce ([x:4! < |x| <4]), o(x) 50,andY 6 (2x) =1k=—0ofor eachx £0.Proof: Lety>0, y=1on [2°' < |x| <2],spt(y) C [471 < |x| <4].Consideres) = Y v(2'x).k=—c0Then for each x, only finitely many terms are not equal to 0. Also, g (x) > 0 for all x 4 0. Toverify this last claim, note that for some k an integer, |x| € [2', 2'+?| . Therefore, choose k aninteger such that 2* |x| € [2~', 2] . For example, let k = —/ — 1. This works because 2* |x| €[2!2k,2'*29k) = [2!-!! ai+2-l-1) = [271 2] . Therefore, for this value of k, y (2x) = 1so g(x) >0.Now notice thatg(2’x) = y. y (22'x) = y v (2x) = g(x).k=—00 k-=—co