Such ψn sequences are called approximate identity sequences.
Theorem (3.4.1)
Distributions represented by approximate identity sequences converge to the Dirac delta distribution as n→∞ i.e. ∀ϕ∈S:ψˉn(ϕ)=R∫ψn(t)ϕ(t)dt→δˉ(ϕ)=ϕ(0)
The proof of this is something students get tested on so let’s go over it here: \begin{proof} Let ϕ∈S. Then, ∫ψn(t)ϕ(t)dt−ϕ(0)=∫ψn(t)ϕ(t)dt−∫ψn(t)ϕ(0)dt=∫ψn(t)(ϕ(t)−ϕ(0))dt(😂) where the first equality uses the second property of s and the second applies linearity of the Riemann integral.
Since ϕ is continuous then ∀ϵ>0,∃δϵ>0 such that ∀∣t∣≤δϵ, we have that ∣ϕ(t)−ϕ(0)∣≤ϵ. Accordingly, n→∞limsup∫ψn(t)ϕ(t)dt−ϕ(0)=n→∞limsup∫ψn(t)(ϕ(t)−ϕ(0))dt≤n→∞limsup{t:∣t∣>δϵ}∫ψn(t)(ϕ(t)−ϕ(0))dt+n→∞limsup{t:∣t∣≤δϵ}∫ψn(t)(ϕ(t)−ϕ(0))dt≤n→∞limsup{t:∣t∣>δϵ}∫ψn(t)∣ϕ(t)−ϕ(0)∣dt+n→∞limsup{t:∣t∣≤δϵ}∫ψn(t)∣ϕ(t)−ϕ(0)∣dt≤(2t∈Rsup∣ϕ(t)∣)n→∞limsup{t:∣t∣>δϵ}∫ψn(t)dt+n→∞limsupϵ{t:∣t∣≤δϵ}∫ψn(t)dt≤ϵ Where we:
1st term we take total variation bound (idk how this works rigorously) 2nd term we use dialogue before equations (i.e., use fact that ϕ is continuous and the definition of δϵ).
1st term is 0 by third property and for the 2nd term the integral is 1 by property 2
Since ϵ is arbitrary, the result follows so that the limit above exists and is zero hence ∫ψn(t)ϕ(t)dt→δˉ(ϕ)=ϕ(0)\end{proof} >[!example] >An example of an is fn(t)={n00≤t≤n1elseWe can define the distributionfˉn(ϕ):=0∫∞fn(t)ϕ(t)dt.
Proposition (3.4.1)
Consider the sequence ψn(x)=cn(1+cos(x))n1{∣x∣≤π}where cn is so that ∫ψn(x)dx=1. We have that n→∞lim∣x∣≥δ∫ψn(x)dx=0,∀δ>0.
Theorem (3.4.2)
Consider the sequence ψn(x)=πxsin(nx).We have that for any ϕ∈Sn→∞lim∫ψn(x)ϕ(x)dx=ϕ(0)
Where we can restrict f,g to be inL2(R;R). We then have the following result
Theorem (3.4.3)
If ψn is an , then, (ψn∗f)(t)→f(t),∀f∈Cb([a,b];R).
Cor (3.4.1)
The space of smooth functions are dense in the space of continuous functions with compact support under the supremum norm.
Now, using and we can prove the following: >[!thm|3.4.4] >The family of complex exponentials in L2([−π,π];C): {en(t)}n∈Z={2π1eint}n∈Zforms a complete orthonormal sequence.