Approximate identity sequence

Definition (3.4.1)

Let ψn:RR\psi_{n}:\mathbb{R}\to \mathbb{R} be a sequence such that

  • ψn(t)0\psi_{n}(t)\ge 0, tR,nNt\in \mathbb{R},n\in \mathbb{N}.
  • ψn(t)dt=1\int\limits \psi_{n}(t) \, dt=1, nNn\in \mathbb{N}.
  • limnδtψn(t)dt=0\lim_{ n \to \infty }\int\limits _{\delta\le |t|}\psi_{n}(t) \, dt=0, δ>0\forall\delta>0.

Such ψn\psi_{n} sequences are called approximate identity sequences.

Theorem (3.4.1)

Distributions represented by approximate identity sequences converge to the Dirac delta distribution as nn\to \infty i.e. ϕS:ψˉn(ϕ)=Rψn(t)ϕ(t)dtδˉ(ϕ)=ϕ(0)\forall\phi\in \mathcal{S}:\bar{\psi}_{n}(\phi)=\int\limits _{\mathbb{R}}\psi_{n}(t)\phi(t) \, dt \to\bar{\delta}(\phi)=\phi(0)

The proof of this is something students get tested on so let’s go over it here: \begin{proof} Let ϕS\phi \in \mathcal{S}. Then, ψn(t)ϕ(t)dtϕ(0)=ψn(t)ϕ(t)dtψn(t)ϕ(0)dt=ψn(t)(ϕ(t)ϕ(0))dt\begin{align} \int\limits \psi_{n}(t)\phi(t) \, dt -\phi(0)&= \int\limits \psi_{n}(t)\phi(t) \, dt -\int\limits \psi_{n}(t)\phi(0) \, dt\\ &= \int\limits \psi_{n}(t)(\phi(t)-\phi(0)) \, dt \tag{😂} \end{align} where the first equality uses the second property of s and the second applies linearity of the Riemann integral.

Since ϕ\phi is continuous then ϵ>0,δϵ>0\forall\epsilon>0,\exists\delta_{\epsilon}>0 such that tδϵ\forall|t|\le \delta_{\epsilon}, we have that ϕ(t)ϕ(0)ϵ|\phi(t)-\phi(0)| \le \epsilon. Accordingly, lim supnψn(t)ϕ(t)dtϕ(0)=lim supnψn(t)(ϕ(t)ϕ(0))dtlim supn{t:t>δϵ}ψn(t)(ϕ(t)ϕ(0))dt+lim supn{t:tδϵ}ψn(t)(ϕ(t)ϕ(0))dtlim supn{t:t>δϵ}ψn(t)ϕ(t)ϕ(0)dt+lim supn{t:tδϵ}ψn(t)ϕ(t)ϕ(0)dt(2suptRϕ(t))lim supn{t:t>δϵ}ψn(t)dt+lim supnϵ{t:tδϵ}ψn(t)dtϵ\begin{align*} &\limsup_{ n \to \infty } \left| \int\limits \psi_{n}(t)\phi(t) \, dt-\phi(0) \right| = \limsup_{ n \to \infty } \left| \int\limits \psi_{n}(t)(\phi(t)-\phi(0)) \, dt \right| \\ &\le \limsup_{ n \to \infty } \left| \int\limits _{\{ t:|t|>\delta_{\epsilon} \}}\psi_{n}(t)(\phi(t)-\phi(0)) \, dt \right| + \limsup_{ n \to \infty } \left| \int\limits _{\{ t:|t|\le\delta_{\epsilon} \}}\psi_{n}(t)(\phi(t)-\phi(0)) \, dt \right| \\ &\le \limsup_{ n \to \infty }\int\limits _{\{ t:|t|>\delta_{\epsilon} \}}\psi_{n}(t) \left| \phi(t)-\phi(0) \right| \, dt + \limsup_{ n \to \infty }\int\limits _{\{ t:|t|\le\delta_{\epsilon} \}}\psi_{n}(t) \left| \phi(t)-\phi(0) \right| \, dt \\ &\le \left( 2\sup_{t\in \mathbb{R}}|\phi(t)| \right) \limsup_{ n \to \infty }\int\limits _{\{ t:|t|>\delta_{\epsilon} \}}\psi_{n}(t)\, dt + \limsup_{ n \to \infty }\epsilon\int\limits _{\{ t:|t|\le\delta_{\epsilon} \}}\psi_{n}(t) \, dt \\ &\le \epsilon \end{align*} Where we:

  1. Apply (😂)(😂)
  2. Triangle inequality of the 1 norm.
  3. Integral Triangle Inequality plus property 1 of
  4. 1st term we take total variation bound (idk how this works rigorously) 2nd term we use dialogue before equations (i.e., use fact that ϕ\phi is continuous and the definition of δϵ\delta_{\epsilon}).
  5. 1st term is 0 by third property and for the 2nd term the integral is 1 by property 2

Since ϵ\epsilon is arbitrary, the result follows so that the limit above exists and is zero hence ψn(t)ϕ(t)dtδˉ(ϕ)=ϕ(0)\int\limits \psi_{n}(t)\phi(t) \, dt \to\bar{\delta}(\phi)=\phi(0) \end{proof} >[!example] >An example of an is fn(t)={n0t1n0elsef_{n}(t)=\begin{cases} n & 0\le t\le \frac{1}{n}\\0 & \text{else}\end{cases}We can define the distribution fˉn(ϕ):=0fn(t)ϕ(t)dt.\bar{f}_{n}(\phi):=\int\limits _{0}^{\infty}f_{n}(t)\phi(t) \, dt .

Proposition (3.4.1)

Consider the sequence ψn(x)=cn(1+cos(x))n1{xπ}\psi_{n}(x)=c_{n}(1+\cos (x))^{n}\mathbb{1}_{\{ |x|\le\pi \}}where cnc_{n} is so that ψn(x)dx=1\int\limits \psi_{n}(x) \, dx=1. We have that limnxδψn(x)dx=0,δ>0.\lim_{ n \to \infty } \int\limits _{|x|\ge \delta} \psi_{n}(x) \, dx =0,\quad\forall\delta>0.

Theorem (3.4.2)

Consider the sequence ψn(x)=sin(nx)πx.\psi _{n}(x)= \frac{\sin(nx)}{\pi x}.We have that for any ϕS\phi \in \mathcal{S} limnψn(x)ϕ(x)dx=ϕ(0)\lim_{ n \to \infty } \int\limits \psi_{n}(x)\phi(x) \, dx =\phi(0)

Recall the Convolution operation: Convolution

Where we can restrict f,gf,g to be inL2L^{2}(R;R)(\mathbb{R};\mathbb{R}). We then have the following result

Theorem (3.4.3)

If ψn\psi_{n} is an , then, (ψnf)(t)f(t),fCb([a,b];R).(\psi_{n}*f)(t)\to f(t),\quad\forall f\in C^{b}([a,b];\mathbb{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 L2L^{2}([π,π];C)([-\pi,\pi];\mathbb{C}): {en(t)}nZ={12πeint}nZ\{ e_{n}(t) \}_{n\in \mathbb{Z}}=\left\{ \frac{1}{\sqrt{ 2\pi }}e^{int} \right\}_{n\in \mathbb{Z}}forms a complete orthonormal sequence.