The purpose of this section is to find the class of functions for which
the Fourier series makes sense. For this, we seek a correspondence between
function spaces and sequence spaces.
This will entail an equivalence between the Fourier coefficients and the
functions that they represent.

Here we will take Fourier series in complex form, ie the limit of the partial sums on

SN (x) = ∑ N-N f-n e2πinx

This is possible because

cos nx = (einx + e-inx ) / 2

sin nx = (einx - e-inx ) / 2i

Now just replace in

f(x) = A0/2 + ∑ ∞n=1 ( An cos nx + Bn sen nx) (1)

so, we get the complex format of the Fourier Series

And consider all functions Periodic square-integrable, ie the set

L2 (T) = { f functions: ∫π-π |f(x)|2 < ∞ }

This is an important example of
Hilbert Space
, is the space of square integrable functions, which also we will consider two functions as the same if they differ only in a set of measure zero.

Hilber't spaces are like vectorial spaces seen in the Linear Algebra section,
but with the difference of the infinite dimension at Hilbert spaces case.

# Hilbert Spaces

### Basic concepts and Principles

### Extended Theory

Lets

£2 (-π, π) = { f functions: ∫π-π |f(x)|2 < ∞ }

Now we make the following equivalence relation

f, g ∈ £2 (-π, π) , f R g <=> f(x) = g(x) a.e.

a. e. minds almost everywhere, in the sense that the set of points where the functions are different has measure zero.

To equivalence classes set

£2 (-π, π) / R

we call L2 (-π, π)

Note that this whole argument is just to say two functions equivalents if it are equal except on a set of measure zero.

On this space we make the scalar product

<f, g> = ∫π-πf(x) g(x) dx (1)

and so, obtain the following norm

|| f ||; = (∫π-π | f(x) | 2 dx) 1/2

It can be shown that this space of square integrable functions endowed with the inner product (1) is a Hilbert Space .

We consider now the space of square summable sequences, ie we consider the set

l 2 (Z) = { ( an )∞n=-∞ : ∑∞n=-∞ ( an ) 2 < ∞ }

Now, we can define the inner product and norm as follows

< ( an ), ( bn )> = ∑∞n=-∞ an bn

|| (an) || = ∑∞n=-∞ (an) 2

The following Theorem, shows us that all Hilbert space contains at least a Hilbert Space has got a Orthonormal System

Now, given a Hilbert Space, H and an Orthonormal System {un} of H, we can define the

T: H → l 2(Z)

x → T(x) = { <x, un> }∞n=-∞

The application is well defined by the

(∑∞n=-∞ < x, un > )1/2 ≤ || x ||

Let H be a Hilbert Space and {an} an Orthonormal System .

Them are Equivalent

1) {un} Is a complete Orthonormal System

2) The subspace spanned by {un} , ie, the set of finite linear combinations of elements {un} is dense in H.

3) The

∑∞n=-∞ < x, un > 2 = || x ||2

4) Fourier Transformation is an Isometry

Note: The last of these conditions is also called

Thus, any Hilbert space, H is essentially an L 2 which is isomorphic and isometric to a sequence space called here l 2 (Z).

Knowing this last and returning at contrary sense, we can say: if the Fourier coefficients are a complete orthonormal system in l 2 (Z), then it is possible to identify l 2 (Z) with functions space L 2.

Note: We say again: In resume we are identifying the sucesions space l 2 (Z) with the functions space L 2

In this way you can make a correspondence through Fourier Coefficients between the sets

T: L 2(T) → l 2(Z)

f → f^ = { fn }

Where fn = < f, e2πinx > = ∫π-π f(x) e-2πinx dx.

As this application is isomorphic and isometric, we have the

And

<f, g> = <f^, g^> = ∑∞n=-∞ fn gn

In particular, if {an} ∈ l2(Z) then the partial sums

SN (x) = ∑ N-N fn e2πinx

Forms a sequence converging to some function, f ∈ L2

£2 (-π, π) = { f functions: ∫π-π |f(x)|2 < ∞ }

Now we make the following equivalence relation

f, g ∈ £2 (-π, π) , f R g <=> f(x) = g(x) a.e.

a. e. minds almost everywhere, in the sense that the set of points where the functions are different has measure zero.

To equivalence classes set

£2 (-π, π) / R

we call L2 (-π, π)

Note that this whole argument is just to say two functions equivalents if it are equal except on a set of measure zero.

On this space we make the scalar product

<f, g> = ∫π-πf(x) g(x) dx (1)

and so, obtain the following norm

|| f ||; = (∫π-π | f(x) | 2 dx) 1/2

It can be shown that this space of square integrable functions endowed with the inner product (1) is a Hilbert Space .

We consider now the space of square summable sequences, ie we consider the set

l 2 (Z) = { ( an )∞n=-∞ : ∑∞n=-∞ ( an ) 2 < ∞ }

Now, we can define the inner product and norm as follows

< ( an ), ( bn )> = ∑∞n=-∞ an bn

|| (an) || = ∑∞n=-∞ (an) 2

The following Theorem, shows us that all Hilbert space contains at least a Hilbert Space has got a Orthonormal System

Now, given a Hilbert Space, H and an Orthonormal System {un} of H, we can define the

**Fourier Transform**as followsT: H → l 2(Z)

x → T(x) = { <x, un> }∞n=-∞

The application is well defined by the

**Bessel inequality**(∑∞n=-∞ < x, un > )1/2 ≤ || x ||

**Theorem (Complete orthonormal systems characterization)**

Let H be a Hilbert Space and {an} an Orthonormal System .

Them are Equivalent

1) {un} Is a complete Orthonormal System

2) The subspace spanned by {un} , ie, the set of finite linear combinations of elements {un} is dense in H.

3) The

**dBessel inequality**becomes the

**Plancherel Identity**

∑∞n=-∞ < x, un > 2 = || x ||2

4) Fourier Transformation is an Isometry

Note: The last of these conditions is also called

**The Riesz-Fischer Theorem**Thus, any Hilbert space, H is essentially an L 2 which is isomorphic and isometric to a sequence space called here l 2 (Z).

Knowing this last and returning at contrary sense, we can say: if the Fourier coefficients are a complete orthonormal system in l 2 (Z), then it is possible to identify l 2 (Z) with functions space L 2.

Note: We say again: In resume we are identifying the sucesions space l 2 (Z) with the functions space L 2

In this way you can make a correspondence through Fourier Coefficients between the sets

T: L 2(T) → l 2(Z)

f → f^ = { fn }

Where fn = < f, e2πinx > = ∫π-π f(x) e-2πinx dx.

As this application is isomorphic and isometric, we have the

**Plancherel identity**|| f || = || f^ || = ∑∞n=-∞ fnAnd

**Perseval identity**also holds<f, g> = <f^, g^> = ∑∞n=-∞ fn gn

In particular, if {an} ∈ l2(Z) then the partial sums

SN (x) = ∑ N-N fn e2πinx

Forms a sequence converging to some function, f ∈ L2

Thus we can identify f(x) with its Fourier series

f(x) = ∑∞n=-∞ fn e2πinx

f(x) = ∑∞n=-∞ fn e2πinx

# Was useful? want add anything?

Post here