Você está na página 1de 5

Espaos de Dimenso Infinita e a Srie de Fourier

Guilherme Martignago Zilli


Programa de Ps-Graduao em Engenharia Eltrica
Universidade Federal de Santa Catarina
Florianpolis, SC, Brasil
guilherme.m.zilli@gmail.com


AbstractThis paper briefly introduces the infinite
dimensional spaces, its representation as a vector with infinite
components or as function, and their definitions of inner product
and length. The paper also introduces the Fourier series in a
linear algebra approach, proving that sines, cosines, and their
harmonics are candidates to a base of an infinite-dimensional
function space and that any periodic function can be projected
onto this base. The least square solution is present as the solution
that best projects the function onto the Fourier series base.
Keywordsinfinite dimentional space; function space; Fourier
series; least square;
I. INTRODUO
Este trabalho introduz brevemente os espaos de dimenso
infinita, que podem representados por vetores com infinitas
componentes ou por funes. Para estes espaos, assim como
para os espaos com dimenso finita, so definidos o produto
interno e a norma. Um exemplo de espao de funes com
infinitas componentes a Srie de Fourier. Atravs da srie de
Fourier, uma funo peridica pode ser aproximada por uma
soma de infinitas funes sinodais e suas harmnicas.
Na seo II so apresentados os espaos de dimenso
infinita e suas definies de produto interno e norma. Na seo
III apresentada a srie de Fourier, provando que as funes
seno e cosseno e suas harmnicas formam uma base na qual
qualquer funo peridica pode ser projetada. So apresentados
ainda como os coeficientes da srie de Fourier so calculados.
Na seo IV, a soluo aproximada por mnimos quadrados de
equaes na forma Ax=b que no possuem solues exatas
apresentada, assim como a relao desta soluo com os
coeficientes da srie de Fourier. A seo V apresenta uma
aplicao prtica da srie de Fourier. Por fim, na seo VI so
apresentas as consideraes finais.
II. ESPAOS DE DIMENSO INFINITA
De acordo com [1], um conjunto de vetores linearmente
independente de um espao linear X dito uma base de X se
qualquer vetor de X pode ser representado como uma nica
combinao linear destes vetores. O nmero mximo de
vetores linearmente independentes em um espao vetorial
chamado dimenso do espao linear.
Ainda segundo [1], em um espao vetorial n-dimensional,
qualquer conjunto de n vetores linearmente independentes se
qualifica como uma base para este espao.
Entretanto, os espaos vetoriais podem assumir dimenses
infinitas. Duas possibilidades podem ocorrer: um vetor
formado por infinitas componentes, i.e, x = (x1, x2, x3, ...); ou
um vetor definido por uma funo f(x) [2]. A seguir so
definidos os produtos internos e normas para ambos os casos.
A. Espao de vetores com infinitas componentes
O produto interno de dois vetores com infinitas
componentes definido como uma srie infinita:

1 1 2 2 3 3
... v w v w v w = + + + v w (1) o + | = _. (1) (1)
Note que, diferente dos vetores com dimenso finita, a
existncia do produto interno de vetores com dimenso infinita
est condicionado convergncia da srie (Eq. (1)).
A norma (ou comprimento) ao quadrado do vetor definida
por:

2
2 2 2
1 2 3
... v v v = = + + + v v v (2) o + | = _. (1) (1)
O vetor v = (v
1
, v
2
, ...) pertence um espao de Hilbert de
dimenso infinita se e somente se possuir norma ||v|| finita.
Alm disso, sejam v e w vetores com comprimento finito, a
inequalidade de Schwarz (|vw| ||v|| ||w||) garante que o
produto interno entre estes vetores ser um valor finito.
B. Espao de funes
No caso de espaos vetoriais definidos por funes, o
produto interno entre duas funes f(x) e g(x) definidas no
intervalo (t
1
,t
2
) dado pela integral:

2
1
, ( ) ( )
t
t
f g f x g x dx =
}
(3) o + | = _. (1) (1)
A norma ao quadrado dada por:
( )
2
1
2 2
( )
t
t
f f x dx =
}
(4) o + | = _. (1) (1)
III. SRIES DE FOURIER
A Srie de Fourier considerada um espao de dimenso
infinita, e conecta os espaos vetoriais com infinitas
componentes com os espaos vetoriais formados por funes
[2]. A Srie de Fourier permite que qualquer sinal peridico
f(x) que atendam as condies de Dirichlet, com perodo T
0
e
frequncia angular
0
=2/T
0
, seja descrito como uma soma de
sinais sinodais com frequncias mltiplas inteiras de
0
[3]. A
Srie Trigonomtrica de Fourier expressa atravs da Eq. (5).

0 0 0
1
( ) cos( ) ( )
n n
n
f x a a n x b sen n x e e

=
= + +

(5) o + | = _. (1) (1)


A Srie Trigonomtrica de Fourier consiste na combinao
linear (com infinitos termos) de vetores no espao de funes,
no caso, senos e cossenos. Estas funes constituem, de fato,
uma base ortogonal.
A. Bases para espao da Srie de Fourier
Dois vetores v e w so ditos ortogonais se o produto interno
< vw > for nulo e a relao ||v||
2
+||w||
2
=||v+w||
2
for satisfeita
[4]. Para o espao de funes so utilizadas as definies de
produto interno e norma ao quadrado apresentadas nas
equaes (3) e (4), respectivamente. As funes senos ou
cossenos so ortogonais a todas as outras funes da srie.
A demonstrao da ortogonalidade destas funes
apresentada por partes:
- Ortogonalidade entre cossenos:
Sejam as funes cos(nx) e cos(mx), com n e m inteiros,
o produto interno entre elas dado por:

( ) ( )
2
0
2
0
2
cos( ), cos( ) cos( ) cos( )
cos ( ) cos ( )
2
0, se
cos( ) , se
nx mx nx mx dx
n m x n m x
dx
n m
nx n m
t
t
=
+ +
=
=

=

=

}
}
(6) o + | = _. (1) (1)

- Ortogonalidade entre senos:
Sejam as funes sin(nx) e sin(mx), com n e m inteiros, o
produto interno entre elas dado por:

( ) ( )
2
0
2
0
2
sin( ), sin( ) sin( ) sin( )
cos ( ) cos ( )
2
0, se
sin( ) , se
nx mx nx mx dx
n m x n m x
dx
n m
nx n m
t
t
=
+
=
=

=

=

}
}
(7) o + | = _. (1) (1)

- Ortogonalidade entre senos e cossenos:
Sejam as funes sin(nx) e cos(mx), com n e m inteiros, o
produto interno entre elas dado por:

( ) ( )
2
0
2
0
sin( ), cos( ) sin( ) cos( )
sin ( ) sin ( )
2
0 ,
nx mx nx mx dx
n m x n m x
dx
n m
t
t
=
+ +
=
=
}
}
(8) o + | = _. (1) (1)
A norma das funes dada por:

2
2
0
2
0
2 2
0 0
cos( ) cos( ) cos( )
1 cos(2 )
2
1 cos(2 )
2 2
nx nx nx dx
nx
dx
nx
dx dx
t
t
t t
t
=
+
=
= +
=
}
}
} }
(9) o + | = _. (1) (1)

2
2
0
2
0
2 2
0 0
sin( ) cos( ) cos( )
1 cos(2 )
2
1 cos(2 )
2 2
nx nx nx dx
nx
dx
nx
dx dx
t
t
t t
t
=

=
=
=
}
}
} }
(10) o + | = _. (1) (1)
A constante que acompanha o termo a0 corresponde a
funo cos(nx) para n=0 (uma vez que sin(0x)=0). A
ortogonalidade em relao s outras funes verificada
atravs das equaes (6) e (8). A norma ao quadrado dada
por:

2 2
2
0
cos(0 ) 1
1 1 2
x
dx
t
t
=
= =
}
(11) o + | = _. (1) (1)
Assim, o conjunto de funes , uma base para a srie de
Fourier, tal que:
{1, cos( ),sin( ), cos(2 ),sin(2 ),...} x x x x | = (12) o + | = _. (1) (1)
Para obter uma base ortonormal (ortogonal com
componentes normalizadas), basta dividir cada uma das
funes da base pela sua norma, obtendo assim:

1 cos( ) sin( ) cos(2 )
, , , ,...
1 cos( ) sin( ) cos(2 )
1 cos( ) sin( ) cos(2 ) sin(2 )
, , , , ,...
2
norm
x x x
x x x
x x x x
|
t t t t t


=
`

)

=
`
)
(13) o + | = _. (1) (1)
Desse modo, o vetor de funes
norm
forma uma base
ortonormal para a Srie de Fourier.
B. Coeficientes da Srie de Fourier
A expanso da Srie de Fourier apresentada na equao (5)
pode ser expressa como:

0 1 1 2
2 3 3
( ) cos( ) sin( ) cos(2 )
sin(2 ) cos(3 ) sin(3 ) ...
f x a a x b x a x
b x a x b x
= + + + +
+ + +
(14) o + | = _. (1) (1)
onde os termos (a
0
, a
1
, b
1
, a
2
, b
2
, ...) so chamados de
coeficientes da Srie de Fourier. Uma das abordagens
utilizadas para determinao destes coeficientes consiste na
multiplicao de ambos os lados da equao (14) pela funo
correspondente ao vetor que se deseja encontrar, e.g. sin(x)
para b
1
ou cos(2x) para b
2
. Em seguida, integram-se todos os
termos da equao no intervalo [0,2]. O clculo de alguns
coeficientes demonstrado a seguir:
1) Clculo de a
0
:

2 2 2
0 1
0 0 0
2 2
1 2
0 0
( ) cos( )
sin( ) cos(2 ) ...
f x dx a dx a x dx
b x dx a x dx
t t t
t t
= + +
+ +
} } }
} }
(15) o + | = _. (1) (1)
A maior parte das integrais converge para zero, restando
apenas:

2 2
0
0 0
( ) f x dx a dx
t t
=
} }
(16) o + | = _. (1) (1)
A partir da equao (16) pode-se encontrar a expresso para
o clculo do coeficiente a
0
:

2
0
0 2
0
( )
( ),1
1,1
1
f x dx
f x
a
dx
t
t
= =
}
}
(17) o + | = _. (1) (1)
2) Clculo de a
1
:

2 2
0
0 0
2 2
1 1
0 0
( ) cos( ) cos( )
cos( ) cos( ) sin( ) cos( ) ...
f x x dx a x dx
a x x dx b x x dx
t t
t t
= +
+ +
} }
} }
(18) o + | = _. (1) (1)
Que resulta em:

2 2
1
0 0
( ) cos( ) cos( ) cos( ) f x x dx a x x dx
t t
=
} }
(19) o + | = _. (1) (1)

2
0
1 2
0
( ) cos( )
( ), cos( )
cos( ), cos( )
cos( ) cos( )
f x x dx
f x x
a
x x
x x dx
t
t
= =
}
}
(20) o + | = _. (1) (1)
3) Clculo de b
1
:

2 2
0
0 0
2 2
1 1
0 0
( ) sin( ) sin( )
cos( ) sin( ) sin( ) sin( ) ...
f x x dx a x dx
a x x dx b x x dx
t t
t t
= +
+ +
} }
} }
(21) o + | = _. (1) (1)

2 2
1
0 0
( ) sin( ) sin( ) sin( ) f x dx b x x dx x
t t
=
} }
(22) o + | = _. (1) (1)

2
0
1 2
0
( )sin( )
( ), sin( )
sin( ), sin( )
sin( )sin( )
f x x dx
f x x
b
x x
x x dx
t
t
= =
}
}
(23) o + | = _. (1) (1)
De maneira anloga, podem ser encontrados todos os outros
coeficientes da srie.

Outra abordagem para o clculo dos coeficientes da Srie
de Fourier atravs da projeo de vetores. Sabe-se que a
projeo de um vetor b em uma reta, com direes dadas pelo
vetor a, expressa como:
p xa = (24) o + | = _. (1) (1)
com:

T
T
a b
x
a a
= (25) o + | = _. (1) (1)
onde o produto
T
a bcorresponde ao produto interno <a,b>para
o caso onde a e b so vetores. O vetor p um mltiplo do vetor
a, i,e, p e a so colineares, e a x um escalar que determina a
relao entre p e a.
A Srie de Fourier pode ser ento interpretada como a
projeo da funo f(x) nas funes que formam a sua base

norm
, apresentada em (13). Os coeficientes da srie (a
0
, a
1
, b
1
,
a
2
, b
2
, ...) equivalem aos x's , o que corresponde exatamente ao
resultado da primeira abordagem.
IV. APROXIMAES POR MNIMOS QUADRADOS
Conforme o que foi demonstrado na seo anterior, um
vetor b pode ser projetado em uma reta, com direes dadas
pelo vetor a. Sua projeo expressa como p=xa.
Entretanto, como apontado em [4], a projeo do vetor b em a
resulta em um vetor e, que corresponde diferena entre o
vetor b e sua projeo p. O vetor erro sempre ortogonal ao
vetor a e inevitavelmente diferente de 0 a menos que os
vetores a e b sejam colineares. O vetor erro, e, dado por:
e b p = (26) o + | = _. (1) (1)
Essa projeo pode ser estendida para uma projeo em um
subespao. Neste caso, a equao (24) torna-se:
p Ax = (27) o + | = _. (1) (1)
A matriz de projeo, que produz p=Pb, dada por
P=A(A
T
A)
-1
A
T
. O vetor e, neste caso, dado por:
Ax e b = (28) o + | = _. (1) (1)
As equaes na forma Ax=b, como a Eq. (27), tm uma
soluo x apenas se o vetor b pertencer ao espao coluna C(A).
De fato, se o vetor b pertencer ao espao coluna de A, a
projeo p tambm pertencer, e o erro eser zero.
Quando no se consegue encontrar uma soluo exata para
Ax=b, pode-se encontrar uma soluo aproximada x para qual
o somatrio dos quadrados das componentes (norma
euclidiana) do vetor e mnimo. Isto , a equao Ax=b=p+e
no possui soluo, mas possvel resolver
Ax =p, tal que a
||e|| seja mnimo. Essa aproximao chamada de aproximao
por mnimos quadrados.
A soluo dos mnimos quadrados x, de acordo com [4],
dada por:

T T
A Ax A b = (27) o + | = _. (1) (1)
A. Relao dos Mnimos Quadrados com a Srie de Fourier
A Srie de Fourier pode ser escrita na forma matricial,
como apresentado na Eq. (30).

0
1
1
1 0 0
0 cos( ) 0
( )
0 0 sin( )
a
x a
f x
x b
( (
( (
( (
=
( (
( (

(30) o + | = _. (1) (1)
De acordo com [2] o conjunto dos coeficientes da Srie de
Fourier representa a soluo mnima quadrtica da Equao
(29). O coeficiente a
1
, por exemplo, torna a equao a
1
.cos(x) o
mais prximo possvel de f(x), uma vez que no h a soluo
exata para a
1
.cos(x)= f(x). Do mesmo modo, cada um dos
coeficientes representa a melhor soluo para a projeo de f(x)
nas suas funes correspondentes.
V. APLICAES DA SRIE DE FOURIER
A srie de Fourier possui uma ampla diversidade de
aplicaes em fsica, matemtica e engenharia. Um exemplo de
aplicao, apresentado em [5] e [6] trata da utilizao da srie
de Fourier para identificao de sistemas. Em [5] apresentado
um algoritmo para identificao sistemas lineares invariantes
no tempo com parmetros concentrados e distribudos. No
trabalho, por exemplo, consideram-se os sistemas LTIs com
parmetros concentrados, na forma:

( ) ( 1) (1)
1 1 0
( ) ( 1) (1)
1 1 0
( ) ( ) ... ( ) ( )
( ) ( ) ... ( ) ( )
n n
n
m m
m m
y t a y t a y t a y t
b u t b u t bu t b u t

+ + + +
= + + + +
(31) o + | = _. (1) (1)
Os sinais de entrada e sada so expandidos em sries de
Fourier finitas e os termos so integrados sucessivamente n
vezes. A soluo de algumas equaes matriciais permite
encontrar os coeficientes de srie de Fourier e dos parmetros
do sistema.
Em [6] o autor desenvolve um raciocnio semelhante para
sistemas lineares e no lineares descritos em equaes de
estados. O autor apresenta ainda as matrizes operacionais de
integrao e de diferenciao para descrever as equaes na
forma integral e diferencial.
VI. CONSIDERAES FINAIS

Neste trabalho foram apresentados os espaos de dimenso
infinita, que incluem espaos de vetores com infinitas
componentes e os espaos de funes. Foi apresentada tambm
a srie de Fourier como um espao de funes com infinitas
componentes. As funes senos e cossenos foram apresentadas
como uma possvel base para o espao da srie de Fourier e
duas abordagens para o clculo dos coeficientes da srie foram
apresentados. Alm disso, mostrou-se que o clculo dos
coeficientes da srie corresponde a soluo para qual a
projeo da funo f(x) nas bases do espao definido para a
srie mais se aproxima da prpria funo, i.e. a projeo da
funo f(x) possu o menor erro quadrtico em relao f(x).
Foi apresentado tambm um exemplo de aplicao das
sries de Fourier no problema de identificao de sistemas. A
aplicao, apresentada em [5] e [6] mostram tcnicas para
estimao de parmetros de sistemas lineares e no lineares,
com parmetros concentrados ou distribudos e para sistemas
variantes e invariantes no tempo.
REFERENCES
[1] C. T. Chen, Linear System Theory and Design. 3
th
ed. New York, NY:
Oxford University Press, 1999.
[2] G. Strang, Linear Algebra and its Application. 4
th
ed. Belmont, CA:
Brooks/Cole, 2006.
[3] A. V. Oppenheim, A.S. Willsky, S. H. Nawab. Signals & Systems. 2
nd

ed. Upper Saddle River, NJ: Prentice Hall
[4] G. Strang, Introduction to Linear Algebra. 4
th
ed. Wellesley, MA:
Cambridge Press, 2009.
[5] B. M. Mohan, K. B. Datta. Identification via Fourier series for a class
of lumped and distributed parameter systems, in IEEE Transactions on
Circuits and Systems, vol 36, pp. 1454-1458, November 1989.
[6] D. Alejo, L. Isidro, R. Jess, A. Alvarez, Parameter estimation of linear
and nonlinear systems based on orthogonal series, in Procedia
Engineering, vol 35, pp. 67-76, 2012.