University of Florida/Eml5526/s11.team2.reiss.HW

Problem 2.6: Determination of orthogonal functions

Given

Consider the family of functions

\Im =\left\{{1,\cos(\omega x),\cos(2\omega x),\sin(\omega x),\sin(2\omega x)}\right\}

(4.1)

on the interval [0,T], where T= $2\Pi /\omega$

Find

A) Construct $\Gamma (\Im )$ and observe its properties
B) Find $\det[\Gamma (\Im )]$
C) Is $\Im$ an orthogonal basis

Solution

Construct $\Gamma (\Im )$ :

\Gamma (\Im )=\left({\begin{array}{*{20}{c}}{<{b_{1}},{b_{1}}>}&\ldots &{<{b_{1}},{b_{n}}>}\\\vdots &\ddots &\vdots \\{<{b_{n}},{b_{1}}>}&\cdots &{<{b_{n}},{b_{n}}>}\end{array}}\right)

(4.2)

where

{\begin{array}{l}{b_{1}}=1\\{b_{2}}=\cos(\omega x)\\{b_{3}}=\cos(2\omega x)\\{b_{4}}=\sin(\omega x)\\{b_{5}}=\sin(2\omega x)\end{array}}

In order to construct the matrix we must first define $<{b_{i}},{b_{j}}>$

$<{b_{i}},{b_{j}}>=\int _{x_{0}}^{x}{{b_{i}}(x){b_{j}}(x)dx}$

(4.3)

Because multiplication of continuous functions is communicative it can be shown from equation 4.3 that

$<{b_{i}},{b_{j}}>=<{b_{j}},{b_{i}}>$

(4.4)

And therefore $\Gamma (\Im )$ is a symmetric matrix

We must now evaluate the terms of the matrix

${\begin{array}{l}<{b_{1}},{b_{1}}>=<{b_{1}},{b_{1}}>=\int _{0}^{T}{1\cdot 1dx=x}|_{0}^{T}=T\\<{b_{1}},{b_{2}}>=<{b_{2}},{b_{1}}>=\int _{0}^{T}{1\cdot \cos(\omega x)dx={\frac {1}{\omega }}\sin(\omega x)|_{0}^{T}=0}\\<{b_{1}},{b_{3}}>=<{b_{3}},{b_{1}}>=\int _{0}^{T}{1\cdot \cos(2\omega x)dx={\frac {1}{2\omega }}\sin(2\omega x)|_{0}^{T}=0}\\<{b_{1}},{b_{4}}>=<{b_{4}},{b_{1}}>=\int _{0}^{T}{1\cdot \sin(\omega x)dx=-{\frac {1}{\omega }}\cos(\omega x)|_{0}^{T}=0}\\<{b_{1}},{b_{5}}>=<{b_{5}},{b_{1}}>=\int _{0}^{T}{1\cdot \sin(2\omega x)dx=-{\frac {1}{2\omega }}\cos(2\omega x)|_{0}^{T}=0}\\<{b_{2}},{b_{2}}>=<{b_{2}},{b_{2}}>=\int _{0}^{T}{\cos(\omega x)\cdot \cos(\omega x)dx=\left({{\frac {\sin(2\omega x)}{4\omega }}+{\frac {x}{2}}}\right)|_{0}^{T}={\frac {T}{2}}}\\<{b_{2}},{b_{3}}>=<{b_{3}},{b_{2}}>=\int _{0}^{T}{\cos(\omega x)\cdot \cos(2\omega x)dx=\left({\frac {3\sin(\omega x)+\sin(3\omega x)}{6\omega }}\right)|_{0}^{T}=0}\\<{b_{2}},{b_{4}}>=<{b_{4}},{b_{2}}>=\int _{0}^{T}{\cos(\omega x)\cdot \sin(\omega x)dx=-{\frac {{{\cos }^{2}}(\omega x)}{2\omega }}|_{0}^{T}=0}\\<{b_{2}},{b_{5}}>=<{b_{5}},{b_{2}}>=\int _{0}^{T}{\cos(\omega x)\cdot \sin(2\omega x)dx=-{\frac {2{{\cos }^{3}}(\omega x)}{3\omega }}|_{0}^{T}=0}\\<{b_{3}},{b_{3}}>=<{b_{3}},{b_{3}}>=\int _{0}^{T}{\cos(2\omega x)\cdot \cos(2\omega x)dx=\left({{\frac {\sin(4\omega x)}{8\omega }}+{\frac {x}{2}}}\right)|_{0}^{T}={\frac {T}{2}}}\\<{b_{3}},{b_{4}}>=<{b_{4}},{b_{3}}>=\int _{0}^{T}{\cos(2\omega x)\cdot \sin(\omega x)dx={\frac {\cos(3\omega x)-3\cos(\omega x)}{6\omega }}|_{0}^{T}=0}\\<{b_{3}},{b_{5}}>=<{b_{5}},{b_{3}}>=\int _{0}^{T}{\cos(2\omega x)\cdot \sin(2\omega x)dx=-{\frac {\cos(4\omega x)}{8\omega }}|_{0}^{T}=0}\\<{b_{4}},{b_{4}}>=<{b_{4}},{b_{4}}>=\int _{0}^{T}{\sin(\omega x)\cdot \sin(\omega x)dx=\left({-{\frac {\sin(2\omega x)}{4\omega }}+{\frac {x}{2}}}\right)|_{0}^{T}={\frac {T}{2}}}\\<{b_{4}},{b_{5}}>=<{b_{5}},{b_{4}}>=\int _{0}^{T}{\sin(\omega x)\cdot \sin(2\omega x)dx=\left({\frac {2{{\sin }^{3}}(\omega x)}{3\omega }}\right)|_{0}^{T}=0}\\<{b_{5}},{b_{5}}>=<{b_{5}},{b_{5}}>=\int _{0}^{T}{\sin(2\omega x)\cdot \sin(2\omega x)dx=\left({-{\frac {\sin(4\omega x)}{8\omega }}+{\frac {x}{2}}}\right)|_{0}^{T}={\frac {T}{2}}}\\\end{array}}$

All values were checked with Wolframalpha

The Gram matrix then becomes

$\Gamma (\Im )=\left({\begin{array}{*{20}{c}}T&0&0&0&0\\0&{\frac {T}{2}}&0&0&0\\0&0&{\frac {T}{2}}&0&0\\0&0&0&{\frac {T}{2}}&0\\0&0&0&0&{\frac {T}{2}}\end{array}}\right)$

(4.5)

As we can see the Gram matrix based constructed from this set of functions is a diagonal matrix

Finding $\det[\Gamma (\Im )]$

The determinant of a diagonal matrix is

${\begin{array}{l}\det(A)=\prod \limits _{i=1}^{n}{a_{ii}}\\\end{array}}$

(4.6)

Where

${A_{nxn}}=\left({\begin{array}{*{20}{c}}{a_{11}}&{}&0\\{}&\ddots &{}\\0&{}&{a_{nn}}\end{array}}\right)$

Based on equation 4.6

$\det[\Gamma (\Im )]=T\cdot {\frac {T}{2}}\cdot {\frac {T}{2}}\cdot {\frac {T}{2}}\cdot {\frac {T}{2}}={\frac {T^{5}}{16}}$

(4.7)

For the set to be an orthogonal basis the Gram matrix must be a diagonal matrix with a non-zero determinant. As we can see from equations 4.5 and 4.7 both of these criteria are satisfied. Thus the set of functions is an orthogonal basis.

This article is issued from Wikiversity. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.