fourier functions form an orthonormal set

Evaluation Error: SyntaxError: Unexpected token '>'

at DataviewInlineApi.eval (plugin:dataview:19027:21)
at evalInContext (plugin:dataview:19028:7)
at asyncEvalInContext (plugin:dataview:19038:32)
at DataviewJSRenderer.render (plugin:dataview:19064:19)
at DataviewJSRenderer.onload (plugin:dataview:18606:14)
at DataviewJSRenderer.load (app://obsidian.md/app.js:1:1214378)
at DataviewApi.executeJs (plugin:dataview:19607:18)
at DataviewCompiler.eval (plugin:digitalgarden:10763:23)
at Generator.next (<anonymous>)
at fulfilled (plugin:digitalgarden:77:24)

Proposition

The subset of functions ${\frac{e^{i n x}}{\sqrt{2 π}}}_{n \in Z}$ is an orthonormal subset of $L^{2} ([- π, π])$

Note

if we don't like working with complex exponentials we can use

e^{i x} = \cos x + i \sin x

And work out everything we need.

Proof

Note that

\begin{aligned} ⟨ e^{i n x}, e^{i m x} ⟩ & = \int_{- π}^{π} e^{i n x} \overset{―}{e^{i m x}} d x \\ = \int_{- π}^{π} e^{i (n - m) x} d x \\ = {\begin{cases} 2 π, & m = n \\ \frac{1}{i (n - m)} e^{i (n - m) x} |_{- π}^{π} = 0 & m \neq n \end{cases} \end{aligned}

Since the exponential is periodic in $2 π$ . Normalizing by $2 π$ yields

⟨ \frac{e^{i n x}}{\sqrt{2 π}}, \frac{e^{i m x}}{\sqrt{2 π}} ⟩ = {\begin{cases} 1 & m = n \\ 0 & m \neq n \end{cases}

Giving us our orthonormal set.

References

fourier functions form an orthonormal set

References

See Also

Mentions