H2cin Capitulo IV

1
J.L. de Medeiros & Oflia Q.F. Arajo
DISCIPLINA
Mtodos Matemticos Aplicados a

Processos Qumicos e Bioqumicos
Captulo IV : Funes Ortogonais e
Sries de Fourier
Jos Luiz de Medeiros e Oflia Q.F. Arajo
Engenharia Qumica UFRJ
jlm@eq.ufrj.br, ofelia@eq.ufrj.br
Tel. 21-2562-7535
Cap. IV : Funes Ortogonais e Sries de Fourier

1. Definies
: Varivel independente
{n ( x )} : Famlia inf inita ( n = 0 ,1,2 ,...) de
funes de x em [ a ,b ]
p( x )
: Funo peso da famlia de funes ( p( x ) 0 )
[ a ,b ]
: Intervalo ( ) associado famlia de funes {n ( x )}
Q.I .
: Sigla para funo de Quadrado Integrvel
: Smbolo para famlia ortogonal de funes {n ( x )}
S .F .
: Srie de Fourier

1. Definies
Funo Par e Funo mpar :
F ( x ) Par F ( x ) = F ( x )
Ex. F ( x ) = x 2 , F ( x ) = cos( x )
F ( x ) mpar F ( x ) = F ( x )
Ex. F ( x ) = x 3 , F ( x ) = sen( x )
F ( x) mpar e Contnua F (0) = 0

Demonstrao : F ( x) = F ( x); Com x = 0 :
F (0) = F (0) F (0) = F (0) F (0) = 0
a
F ( x ).dx = 0
F ( x ) mpar
a
a
a
a
0
a
0
a
0
a
Demonstrao : F ( x ).dx =
F ( x ).dx + F ( x ).dx = F ( x ).dx F ( x ).dx =
F ( x ).dx + F ( y ).dy = F ( x ).dx F ( y ).dy = 0

1. Definies
Funo Q.I.
F ( x ) Q.I . em [ a ,b ] sob p( x ) quando :

b
2
p
(
x
).
F
( x ) dx existe; i .e.
2
p
(
x
).
F
( x ) dx <
Exemplo 1 : g( x ) = 1 / x No Q.I . em [ 0 ,1 ] sob p( x ) = 1 :

1
1
x 2 dx = x 0 = +
0
Exemplo 2 : g ( x ) = 1 / x Q.I . em [ 0 ,1 ] sob p( x ) = x 2 :
1
2
x
1
x2
dx = dx = x 0 = 1
0

1. Definies
Famlia Ortogonal de Funes
{n ( x )}
Famlia Ortogonal de Funes Q.I . em [ a ,b ] sob p( x ) :
p( x ).n ( x ).m ( x ) dx = 0
(n m)
1a
(n = m)
1b
a
b
2
p
(
x
).
n ( x ) dx = K n > 0
{n(x)}

1. Definies
{sen( nx )} ( n = 1,2 ,...)
Famlia de Funes Q .I . em [ , ] sob p( x ) = 1
sen( nx ).sen( mx ) dx = 0
(n m)
2
sen
( nx ) dx =K n > 0
Exemplo
(n = m)

1. Definies
{sen( nx )} ( n = 1,2 ,...)
Exemplo
Famlia de Funes Q.I . em [ , ] sob p( x ) = 1
sen( nx ) cos( mx )
cos( nx ) cos( mx )
+
dx
sen
(
nx
).
sen
(
mx
)
dx
=

m
m/ n
sen( nx ).sen( mx ) dx =
cos( nx ) cos( mx )
dx
m/ n
cos( nx )sen( mx )
sen( nx )sen( mx )
sen
(
nx
).
sen
(
mx
)
dx
=
+
dx
2
2
2

m /n
m /n
sen( nx ).sen( mx ) dx =
0
2
1 n / m
=0
(n m)
sen( nx ).sen( mx ) dx = 0
(n m)

1. Definies
{sen( nx )} ( n = 1,2 ,...)
Famlia de Funes Q.I . em [ , ] sob p( x ) = 1
1 cos( 2nx )
x
sen( 2nx )
2
dx =
= >0
sen ( nx ) dx =
2
2
4n
sen( nx ).sen( mx ).dx =
(n = m)
sen( nx ).sen( mx ).dx = > 0
Exemplo
(n = m)

1. Definies
Famlia Ortonormal de Funes
{ n ( x )}
Famlia Ortonormal de Funes Q .I . em [ a ,b ] sob p( x ) :
p( x ). n ( x ). m ( x ) dx = 0
(n m)
2a
(n = m)
2b
a
b
2
p
(
x
).
n ( x ) dx = 1
10

1. Definies
Converter Famlia Ortogonal de Funes em Famlia Ortonormal
{n ( x)}
Famlia Ortogonal de Funes Q.I . em [a, b] sob p ( x) :
p( x). ( x).
n
( x) dx = 0 (n m)
a
b
2
p
(
x
).
n ( x ) dx = K n > 0 ( n = m)
Definindo se n ( x ) =
n ( x )
Kn
Teremos { n ( x )} tal que :
11

1. Definies
Converter Famlia Ortogonal de Funes em Famlia Ortonormal
b
p( x ). n ( x ). m ( x ) dx =
a
b
1
2
p( x ). n ( x ) dx = K n
a
1
KnKm
p( x ).n ( x ).m ( x ) dx = 0
(n m)
p( x ).n2 ( x ) dx
Kn
=
=1
Kn
{n(x)} Ortonormal
12

1. Definies
Famlia Ortonormal de Funes
{sen( nx )} ( n = 1,2 ,...)
Exemplo
Famlia de Funes Q .I . em [ , ] sob p( x ) = 1
sen( nx )
Definindo se n ( x ) =

2
sen ( nx ) dx =K n =
sen(nx)
Famlia Ortonormal de Funes Q.I . em [ , ], sob p( x) = 1

pois
b
p( x)
( x) m ( x) dx =
sen(nx).sen(mx) dx = 0
p( x). ( x) dx
2
n
2
sen
(nx) dx = 1
a
( n m)
13

2. Srie de Fourier
# 1: Considere F(x) Q.I. em [a,b] sob p(x)

F ( x ) Q.I . em [ a ,b ] sob p( x ) :
b
2
p
(
x
).
F
( x ) dx <
# 2: Considere a Famlia Ortogonal {n(x)} em [a,b] sob p(x)
{n ( x )}
Famlia de Funes Q .I . em [ a ,b ] sob p( x ) :
p( x ).n ( x ).m ( x ) dx = 0
(n m)
a
b
2
p
(
x
).
n ( x ) dx = K n > 0
(n = m)
14

2. Srie de Fourier
# 3: Considere a Srie Infinita E(x) construda com {n(x)}
E( x ) = Ann ( x )
n =1
Note que a Srie de E(x) poder no convergir para certos x ou

mesmo para nenhum x . Naturalmente, admitimos o contrrio ...
# 4: Considere o Resduo de E(x) com respeito a F(x)
( x ) = F ( x ) E( x ) = F ( x ) Ann ( x )
n =1
# 5: Considere a Medida da falta de aderncia de E(x) a F(x) :

b
= p( x ).2 ( x ).dx > 0

a
15

2. Srie de Fourier
# 6: Calculamos este Funcional de Falta de Aderncia a F(x)

a
= p( x ) F ( x ) Ann ( x ) dx
n =1
n =1
= p( x ).F 2 ( x ).dx 2 An p( x )F ( x )n ( x ).dx +
+ An Am p( x )n ( x )m ( x ).dx
n =1 m =1
# 7: Devido Ortogonalidade da Famlia :

a
n =1
n =1
= p( x ).F 2 ( x ).dx 2 An p( x )F ( x )n ( x ).dx + An2 p( x )n2 ( x ).dx
16

2. Srie de Fourier
# 8: Obtemos coeficientes { An } para maximizar aderncia da S.F.

Min ( x ) na mdia Min Pto. Est . de
{ An }
{ An }
P.E.
{ An }
{ An }
= 0 (k = 1,2,...)
Ak
17

2. Srie de Fourier
# 8: Obtemos coeficientes { An } para maximizar aderncia da S.F.
= 0 ( k = 1,2 ,...)
Ak
a
n =1
n =1
= p( x ).F 2 ( x ).dx 2 An p( x )F ( x )n ( x ).dx + An2 p( x )n2 ( x ).dx

b
= 0 2 p( x )F ( x )k ( x ).dx
Ak
a
+ 2 Ak p( x )k2 ( x ).dx = 0
a
b
( k = 1,2 ,...)
p( x )k2 ( x ).dx
Coeficientes de Fourier
p( x )F ( x )k ( x ).dx
Ak =
18

2. Srie de Fourier
Srie de Fourier de F(x) em {n(x)}
Resumo
E( x ) = Ann ( x )
n =1
Coeficientes { An } na Expanso de F(x) em {n(x)} obtidos de

modo a Minimizar o Funcional :
2
= p( x ) F ( x ) Ann ( x ) dx
n =1
Coeficientes de Fourier
p( x )F ( x )k ( x ).dx
Ak =
a
b
( k = 1,2 ,...)
p( x )k2 ( x ).dx
19

2. Srie de Fourier
Funo Nula
F ( x ) Funo
b
Nula
em [ a , b ] sob
p ( x ), quando
p ( x ). F 2 ( x ) dx = 0
Note que F(x) = 0 Funo Nula; mas no necessariamente F(x)

deve ser identicamente nula para ser Funo Nula. A funo seguinte
uma Funo Nula em [a,b] sob p(x) e no identicamente nula:
F(x)
20

2. Srie de Fourier
Funo Nula
b
F ( x) Funo Nula em [a, b] sob p ( x) p ( x).F 2 ( x) dx = 0

a
Observamos tambm que qualquer funo multiplicada por uma

Funo Nula tambm uma Funo Nula. Sendo F(x) Funo Nula:
b
p ( x ). F ( x ). n ( x ). dx = 0
( n = 1, 2 ,...)
{ n ( x) } Famlia em [a, b] sob
p ( x).
Isto , a Funo Nula Ortogonal a Todos os Membros de uma

Famlia Ortogonal de Funes.
21

2. Srie de Fourier
Naturalmente cabe perguntar se a relao (8) valeria tambm para
funes F(x) que no fossem Funes Nulas. Isto , se haveria F(x)
Ortogonal a toda uma Famlia Ortogonal de Funes, onde F(x) no
uma Funo Nula.
b
p ( x ). F ( x ). n ( x ). dx = 0
( n = 1, 2 ,...)
{ n ( x) } Famlia em [a, b] sob
p ( x).
b
Neste caso, todos os

coeficientes An da S.F.
de F(x) valem Zero :
p( x )F ( x )k ( x ).dx
Ak =
a
b
2
p
(
x
)
k ( x ).dx
=0
( k = 1,2 ,...)
22

2. Srie de Fourier
A Famlia { cos(nx) } (n=0,1,2,...) Ortogonal em [-, ] com p(x)=1
cos( nx ). cos( mx ). dx = 0 ( n m ),
cos 2 ( nx ) . dx > 0
Mas os coeficientes de Fourier da funo F(x) = x nesta Famlia so

todos Nulos, embora esta funo No seja uma Funo Nula :
b
p( x) F ( x) ( x).dx x. cos(kx).dx
k
Ak =
p
(
x
)
k ( x ).dx
2
cos
(kx).dx
=0
(k = 0,1,2,...)
Por que ?
23

2. Srie de Fourier
Como visto, No Basta a Ortogonalidade da Famlia {n(x)} para
garantir que qualquer funo Q.I. tenha expanso em S.F. sobre os
membros da Famlia.
O que Necessrio que a Famlia, alm de Ortogonal, seja
Completa de acordo com a seguinte definio :
A Famlia de Funes Ortogonais {n ( x)} em [a, b] sob peso p( x),
dita ser Completa se a Re lao Segu int e Valer apenas para
F ( x) Funo Nula :
b
p( x).F ( x). ( x).dx = 0

n
(n = 1,2,...)
24

2. Srie de Fourier
Como visto, No Basta a Ortogonalidade da Famlia {n(x)} para
garantir que qualquer funo Q.I. possa tenha expanso em S.F.
sobre os membros da Famlia.
O que Necessrio que a Famlia, alm de Ortogonal, seja
Completa de acordo com a seguinte definio :
A Famlia de Funes Ortogonais {n ( x)} em [a, b] sob peso p( x),
dita ser Completa se a Re lao Segu int e Valer apenas para
F ( x) Funo Nula :
b
p( x).F ( x). ( x).dx = 0

n
(n = 1,2,...)
i.e. para Todos os Membros da Famlia !
25

2. Srie de Fourier
Teorema 4.1
Seja a Expanso E ( x) = Ann ( x) da Funo F ( x) Q.I .

n =1
em termos da Famlia COMPLETA de Funes Ortogonais {n ( x)}

em [a, b] sob peso p( x).
Seja a Srie
A ( x)
n n
Convergente, podendo ser Integrada
n =1
Termo a Termo.
Ento a Soma da Srie E ( x) Difere de F ( x) no Mximo
por uma Funo Nula.
26

2. Srie de Fourier
Teorema 4.1
Demonstrao
Seja o Re sduo da S .F .
( x) = F ( x) E ( x)
( x) = F ( x) Ann ( x)
n =1
Para demonstrar o Teorema devemos mostrar que ( x) uma

Funo Nula; i.e. que ( x) a todos os membros de {n ( x)}.
27

2. Srie de Fourier
Teorema 4.1
Demonstrao
Multiplicando ( x) por p( x).k ( x) e int egrando (.)dx :

a
n =1
p( x )( x )k ( x )dx = p( x )F ( x )k ( x )dx An p( x )n ( x )k ( x )dx

Usando a Ortogonalidade da Famlia :
b
p( x)( x) ( x)dx = p( x) F ( x)
k
( x)dx Ak p ( x)k ( x)k ( x)dx

a
28

2. Srie de Fourier
Teorema 4.1
b
p( x)( x)
Demonstrao
b
( x)dx = p( x) F ( x) k ( x)dx Ak p ( x)k ( x)k ( x)dx
Com os Coeficientes de Fourier :

b
p( x) F ( x)
Ak =
( x).dx
=0
(k = 1,2,...)
2
p
(
x
)
k ( x ).dx
p( x)( x)
a
( x)dx = p( x) F ( x)k ( x)dx p ( x) F ( x)k ( x)dx = 0

(k = 1,2,...)
29

2. Srie de Fourier
Teorema 4.1
Demonstrao
p( x)( x) ( x)dx = 0
k
(k = 1,2,...) ( x) Funo Nula
Por tan to
F ( x) Ann ( x) Funo Nula ou Identicamente Nula

n =1
Requisitos :
(1) F(x) Q.I. em [a,b] sob p(x)
(2) { n(x) } Ortogonal em [a,b] sob p(x) e Completa
(3) S.F. Converge e Integrvel Termo a Termo
30

2. Srie de Fourier
Definio 4.1 : A Sequncia de Funes Sn(x) dita convergir na
mdia para F(x) , Q.I. em [a,b] sob p(x), se :
b
lim
2
(
)
p
(
x
)
F
(
x
)
S
(
x
)
dx = 0
n
na
Definio 4.2 : Se Sn(x) a n-sima Soma Parcial da S.F. de
F(x), qualquer Q.I. em [a,b] sob p(x), em termos da Famlia
Ortogonal {n(x)}, em [a,b] sob p(x) :
n
S n ( x ) = Ak k ( x )
10
k =1
e Sn(x) Converge na Mdia para F(x), ento {n(x)} Fechado.
31

2. Srie de Fourier
A Igualdade de Parseval para Famlia Ortogonal Fechada.
Seja {n(x)}, Famlia Ortogonal em [a,b] sob p(x), Fechada;
Seja F(x) Q.I. em [a,b] sob p(x); Ento vale a Igualdade de
Parseval abaixo:
Teorema 4.2
b
p( x) F
( x)dx = A
2
n
n =1
p( x)
2
n
( x)dx
11
a
b
Com Famlia Ortonormal
2
p
(
x
)
n ( x ) dx = 1, tem se a I .P. clssica :
a
b
p( x) F
a
( x)dx = A
2
n
n =1
12
32

2. Srie de Fourier
Demonstrao :
Teorema 4.2
{n ( x)} em [a, b] sob p ( x). {n ( x)} tambm Fechada.

N
Seja o Aproximante S .F . de F ( x) de Ordem N : S N ( x) = Ann ( x)

n =1
Como {n ( x)} Fechada :

2
lim p ( x)(F ( x) S N ( x) ) dx = 0
N a
b
lim p ( x) F ( x) Ann ( x) dx = 0
n =1
N a
N
33

2. Srie de Fourier
Demonstrao :
b
lim
N
Teorema 4.2
2
p
x
F
x
A
x
(
)
(
)
(
)
dx = 0
n n
a
n =1
b
N
b
2
p ( x) F ( x)dx 2 An p ( x) F ( x) n ( x)dx
n =1
a
a
0 = lim
b
N N
N
A
A
p
(
x
)
(
x
)
(
x
)
dx
+
k n
k
n
k
=
1
n
=
1
a
34

2. Srie de Fourier
Demonstrao :
Teorema 4.2
Devido Ortogonalidade da Famlia , a relao torna se :

b
b
N
N
b
2
2
2
0 = lim p ( x) F ( x)dx 2 An p ( x) F ( x)n ( x)dx + An p ( x)n ( x)dx
n =1
n =1
a
a
N a
b
p( x) F ( x) ( x).dx
n
Com os Coeficientes de Fourier : An =
a
b
2
p
(
x
)
n ( x ).dx
b
b
N
N
b
2
2
2
2
2
0 = lim p ( x) F ( x)dx 2 An p ( x)n ( x)dx + An p ( x) n ( x)dx
n =1
n =1
a
a
N a
35

2. Srie de Fourier
Demonstrao :
Teorema 4.2
b
b
N
N
b
2
2
2
2
2
0 = lim p ( x) F ( x)dx 2 An p ( x)n ( x)dx + An p ( x) n ( x)dx
n =1
n =1
a
a
N a
b
N
b
2
2
2
0 = lim p ( x) F ( x)dx An p ( x) n ( x)dx
n =1
a
N a
n =1
0 = p ( x) F 2 ( x)dx An2 p ( x)n2 ( x)dx

b
n =1
2
2
2
p
(
x
)
F
(
x
)
dx
=
A
p
(
x
)
n
n ( x ) dx
11
36

2. Srie de Fourier
Demonstrao :
b
p ( x) F
Teorema 4.2
( x)dx = A
2
n
n =1
p( x)
2
n
11
( x)dx
a
b
Se, adicionalmente, a Famlia Ortonormal : p ( x)n2 ( x)dx = 1,

a
tem se a forma clssica da Igualdade de Parseval :

b
2
p
(
x
).
F
(
x
).
dx
=
A
n
n =1
12
37

2. Srie de Fourier
Observao :
Teorema 4.2
A Igualdade de Parseval tambm poderia ser mostrada
para { n ( x)} em [a, b] sob p ( x) e COMPLETA.
Sendo {n ( x)} Completa, ( x) = F ( x) Ann Funo Nula.

n =1
b
Pela definio de Funo Nula : p( x) F ( x) Ann ( x) dx = 0

n =1
a
b
n =1
0 = p ( x).F 2 ( x).dx 2 An p ( x).F ( x). n ( x).dx
+ An Am p ( x).n ( x).m ( x).dx

n =1 m =1
38

2. Srie de Fourier
Demonstrao :
Teorema 4.2
Pela Ortogonalidade :
b
n =1
n =1
0 = p ( x).F 2 ( x).dx 2 An p( x).F ( x). n ( x).dx + An2 p ( x).n2 ( x).dx

b
p( x) F ( x) ( x).dx
n
Com os Coeficientes de Fourier : An =
a
b
2
p
(
x
)
( x).dx
n
n =1
n =1
0 = p ( x).F 2 ( x).dx 2 An2 p ( x).n2 ( x).dx + An2 p ( x). n2 ( x).dx

b
0 = p ( x).F ( x).dx A
2
2
n
n =1
2
p
(
x
).
n ( x ).dx
39

2. Srie de Fourier
Demonstrao :
b
Teorema 4.2
0 = p ( x).F ( x).dx A
2
2
n
n =1
2
p
(
x
).
n ( x ).dx
n =1
2
2
2
p
(
x
).
F
(
x
).
dx
=
A
p
(
x
).
n
n ( x ).dx
11
Com Famlia Ortonormal
2
p
(
x
)
k ( x )dx = 1, tem se a I .P . Clssica
2
2
p
(
x
).
F
(
x
).
dx
=
A
n
n =1
12

2. Srie de Fourier
Seja {n(x)}, Famlia Ortogonal em [a,b] sob p(x), Completa;
Ento {n(x)} tambm Fechado com respeito ao espao de
Teorema 4.3
funes Q.I. em [a,b] sob p(x)
Seja {n(x)}, Famlia Ortogonal em [a,b] sob p(x), Fechada com
respeito ao espao de funes Q.I. em [a,b] sob p(x).
Teorema 4.4
Ento {n(x)} tambm Completa.
40
41

2. Srie de Fourier
Construir a S.F. de F(x) = x com {n(x)} = {sen(nx) (n=1,2,...)} U
{cos(nx) (n=0,1,...)}. A Famlia {n(x)} Ortogonal em [-, ],
com p(x)=1 e Completa.
Exemplo 4.1
n =1
n =0
Escrevemos F ( x) = x, E ( x) = Bn sen(nx) + An cos(nx)
Ak =
x. cos(kx).dx
=0
(k = 0,1,2,...)
2
cos
(kx).dx
x.sen(kx).dx
Bk =
2
sen
(kx).dx
cos(kx)
cos(kx)
x
+
dx
k
k
1 cos(2kx)
dx
2
cos(kx)
sen(kx)
x
+
k
k 2
=
sen(2kx)
4k
42

2. Srie de Fourier
Exemplo 4.1
F ( x) = x, E ( x) = Bn sen(nx)
n =1
Bk =
cos(k )
cos(k )
2 cos(k )
k
k
=
2.(1) k 2.(1) k +1
Bk =
=
k
k
(k = 1,2,...)
(k = 1,2,...)
2
1
2
1
2
B1 = 2, B2 = 1, B3 = , B4 = , B5 = , B6 = , B7 = , ...
3
2
5
3
7
43

2. Srie de Fourier
Exemplo 4.1
F ( x) = x, E ( x) = Bn sen(nx)
n =1
2.(1) k 2.(1) k +1
Bk =
=
k
k
N
Aproximante S .F . de O ( N ) : S N ( x) = Bn sen(nx)
n =1
(k = 1,2,...)

2. Srie de Fourier
44

2. Srie de Fourier
Notar a Aderncia Restrita ao Intervalo [-, ]
45
46

2. Srie de Fourier
Construir a S.F. de F(x) = -1 (x<0), F(x)=1 (x>0) [No-Contnua]
com {n(x)} = {sen(nx) (n=1,2,...)} U {cos(nx) (n=0,1,...)}. {n(x)}
Ortogonal em [-, ], com p(x)=1 e Completa.
Exemplo 4.2
+ 1, x > 0
F ( x) = 0, x = 0
1, x < 0
n =1
n =0
E ( x) = Bn sen(nx) + An cos(nx)
47

2. Srie de Fourier
Exemplo 4.2
+ 1, x > 0
F ( x) = 0, x = 0
1, x < 0
Funo mpar
n =1
n =0
E ( x) = Bn sen(nx) + An cos(nx)
Ak =
x. cos(kx).dx
2
cos
(kx).dx
=0
(k = 0,1,2,...)
48

2. Srie de Fourier
Exemplo 4.2
+ 1, x > 0
F ( x) = 0, x = 0
1, x < 0
Funo mpar : S termos Seno na S.F.
E ( x) = Bn sen(nx)
n =1
N
n =1
49

2. Srie de Fourier
Exemplo 4.2
+ 1, x > 0
F ( x) = 0, x = 0 , E ( x) = Bn sen(nx)
n =1
1, x < 0
cos(kx) 0 cos(kx)
F ( x)sen(kx).dx sen(kx)dx + 0 sen(kx)dx

k
k
0
=
=
Bk =
sen(2kx)
1 cos(2kx)
2
dx
sen (kx).dx
2
4k
Bk =
2 cos(k ) cos( k )
k
k
k
2 (1) k (1) k

+
k k
k
2
Bk =
1 (1) k
k
50

2. Srie de Fourier
Exemplo 4.2
+ 1, x > 0
F ( x) = 0, x = 0
1, x < 0
E ( x) = Bn sen(nx)
n =1
N
n =1
Bk =
2
1 (1) k
k

2. Srie de Fourier
51
52

2. Srie de Fourier
Aderncia Restrita ao Intervalo [-, ]
53

3. Teorema de Sturm-Liouville
Este Teorema justifica o surgimento de Famlia {n(x)} Ortogonal
Teorema 4.5
em [a,b ], sob p(x), de EDO-2 Lineares
Seja a EDO 2 Linear Homognea :
d
r ( x). y (1) + {q ( x) + . p ( x)}y = 0
dx
Sob Condies de Contorno Lineares e Homogneas :
a1 y (a ) + a2 y (1) (a ) = 0
b1 y (b) + b2 y (b) = 0
(1)
13
14
onde :
a1 , a2 so cons tan tes no nulas ao mesmo tempo;
b1 , b2 so cons tan tes no nulas ao mesmo tempo;
r ( x) e p ( x) so contnuas em [a, b]; q ( x) contnua ao menos em (a, b)
parmetro numrico a buscar para viabilizar Soluo No Trivial
54

Este Teorema justifica o surgimento de Famlia {n(x)} Ortogonal
Teorema 4.5
em [a,b ], sob p(x), de EDO-2 Lineares
Sejam as Solues No Triviais de Eq.(13) + (14) : y1 ( x), y2 ( x), y3 ( x),...
viabilizadas pelos respectivos valores de
: 1 ,
2 ,
3 ,...
Ento as Solues No Triviais de Eq.(13) + (14), { yn ( x)} definem

uma Famlia Ortogonal de Funes em [a, b] sob peso p ( x).
55

Observaes
Teorema 4.5
Note que y(x) = 0 resolve trivialmente as Eqs. (13) e (14). Mas s

queremos solues no-triviais y(x) 0 .
Note que (13) uma EDO-2 Linear e Homognea; e que as
Condies de Contorno (14) tambm so Equaes Lineares, de
Coeficientes Constantes, e Homogneas.
Note que as constantes a1 e a2 no podem ser nulas
simultaneamente; o mesmo acontecendo com b1 e b2 .
56

Demonstrao
Teorema 4.5
Sejam Solues No Triviais de Eq.(13) + (14) : yn ( x) 0 e ym ( x) 0,
viabilizadas por respectivos valores diferentes de : n m .
Assim :
d
r ( x). ym(1) + q ( x) ym = m p ( x) ym
dx
d
r ( x). yn(1) + q ( x) yn = n p( x) yn
dx
a1 ym (a ) + a2 ym(1) (a ) = 0
a1 yn (a ) + a2 yn(1) ( a) = 0
14b
b1 ym (b) + b2 ym(1) (b) = 0
14c
b1 yn (b) + b2 yn(1) (b) = 0
14d
13a
13b
14a
57

Demonstrao
Eqs. (14a ) e (14b) podem ser escritas como :
a1 ym (a ) + a2 ym(1) ( a) = 0
a1 yn (a) + a2 y (a ) = 0
(1)
n
ym (a)

yn (a )
ym(1) (a ) a1 0
=
(1)
y n ( a ) a 2 0
Eqs. (14c) e (14d ) podem ser escritas como :

(1)
b
(1)
y
(
b
)
y
0
m
m (b) 1
b1 ym (b) + b2 ym (b) = 0

=
(1)
yn (b) yn (b) b2 0
b1 yn (b) + b2 yn(1) (b) = 0
Teorema 4.5
15a
15b
58

Demonstrao
Teorema 4.5
Multiplicando (13a ) por yn ( x), (13b) por ym ( x), e subtraindo as :

d
d
(1)
yn
r ( x). ym ym
r ( x). yn(1) = (n m ) p ( x) yn ym
dx
dx
Integrando se esta igualdade em (.).dx :

a
b
d
d
(1)
(1)
y
r
(
x
).
y
y
r
(
x
).
y
m
m
n
a n dx
dx
.dx = (n m ) p ( x) yn ym dx
Com o mtodo das partes no lado esquerdo :

b
b
b
d
(1)
(1)
(1) (1)
(
)
(
).
.
=
(
).
r
(
x
).
y
y
r
x
y
dx
r
x
y
y
m
m
n
m y n dx
a n dx
a a
b
b
b
d
(1)
(1)
(1) (1)
y
r
(
x
).
y
.
dx
=
r
(
x
).
y
y
r
(
x
).
y
yn dx
m
n
n
m
m
a dx
a a
59

Demonstrao
Teorema 4.5
Obtemos :
r ( x). ym(1) yn
b
a
r ( x). yn(1) ym
b
a
= (n m ) p ( x) yn ym .dx
a
r (b) ym(1) (b) yn (b) yn(1) (b) ym (b) +
r (a ) ym(1) (a ) yn (a ) yn(1) (a ) ym (a ) = (n m ) p ( x) yn ym .dx

a
60

Demonstrao
Teorema 4.5
Neste ponto, usamos os SQHs das Eqs. (15a ) e (15b) :
ym (a )
yn (a)
ym(1) (a ) a1 0
=
(1)
y n ( a ) a 2 0
15a
ym (b) ym(1) (b) b1 0
=
(1)
15b
b
0
(
)
(
)
y
b
y
b
2
n
n
Estes SQHs devem ser satisfeitos por solues no triviais que
obrigam as respectivas matrizes a serem Singulares ( DET = Zero) :

a1
(1)
(1)
y
(
a
)
y
(
a
)
y
(
a
)
y
m
n
n
m (a) = 0
a
2
b1
(1)
(1)
y
(
b
)
y
(
b
)
y
(
b
)
y
m
n
n
m (b) = 0
b
2
61

Demonstrao
Teorema 4.5
r (b) ym(1) (b) yn (b) yn(1) (b) ym (b) +
r (a ) ym(1) (a ) yn (a ) yn(1) (a ) ym (a ) = (n m ) p ( x) yn ym .dx

a
ym (a) yn(1) (a) yn (a ) ym(1) (a ) = 0

Pela Singularidade dos SQHs
(1)
(1)
y
(
b
)
y
(
b
)
y
(
b
)
y
n
n
m (b) = 0
m
b
(n m ) p ( x) yn ym .dx = 0 , como n m
a
p ( x) y
ym .dx = 0
Solues no-triviais de um Problema Sturm-Liouville [PSL]

yn(x) 0 e ym (x) 0, referentes a valores distintos, n m , so
funes ortogonais em [a,b] com peso p(x).

Portanto, para estabelecer o surgimento de Famlia {n(x)}
Ortogonal (em [a,b ], sob p(x)), em um dado Problema de Valor
de Contorno (PVC) em EDO-2, deve-se estud-lo cuidadosamente
para verificar se ele um Problema de Sturm-Liouville [PSL].
Isto , para verificar se estamos diante de um Problema de Valor
de Contorno com EDO-2 Linear Homognea e Condies de
Contorno Lineares e Homogneas.
Problemas PSL daro origem, ao serem resolvidos, a solues
ortogonais {n(x)}. Estas solues devem ser pesquisadas
atribuindo-se srie de valores adequados ao parmetro
conforme garantido pelo Teorema 4.5.
62
63

Recapitulando a forma de um Problema Sturm-Liouville [PSL]
EDO 2 Linear Homognea :
d
r ( x). y (1) + {q( x) + . p ( x)}y = 0
dx
Condies de Contorno Lineares e Homogneas :
13
a1 y (a) + a2 y (1) (a ) = 0
14
b1 y (b) + b2 y (1) (b) = 0
onde :
a, b pontos dados para aplicao de Condies de Contorno
a1 , a2 const., dadas, no nulas ao mesmo tempo;
b1 , b2 const., dadas, no nulas ao mesmo tempo;
r ( x) e p ( x) dadas e contnuas em [a, b]; q( x) dada e contnua em (a, b)
parmetro a buscar para viabilizar Soluo No Trivial

Exemplo 4.3 : Obter a Soluo do Problema de Valor de
Contorno abaixo:
y( 2 ) + .y = 0
y( 0 ) = 0 , y( L ) = 0
64
65

Exemplo 4.3
y( 2 ) + .y = 0
y( 0 ) = 0 , y( L ) = 0
Resoluo
# 1: Reconhecemos neste PVC um PSL aps colocao na forma:

d (1)
y
dx
( )
r( x ) = 1
+ .y = 0 p( x ) = 1
q( x ) = 0
y( 0 ) = 0
{a = 0 , a1 = 1, a2 = 0
y( L ) = 0
{b = L , b1 = 1, b2 = 0

# 2: Resolvendo PVC para EDO-2 Lin. Hom. com Coef. Const. :

y( x ) = exp( .x )
Substituindo se em y ( 2 ) + . y = 0 Eq. Caracterstica : 2 + = 0
Razes da E .C . : = .
A Sol . Completa da EDO 2 Homognea apresenta 3 casos em :
Caso 1 : < 0
Caso 2 : = 0
Caso 3 : > 0
66
67

# 3: Caso 1 : < 0 2 razes reais distintas = (- )1/2

= Sol . Compl . Hom. y H ( x ) = C1 exp( x ) + C2 exp( x )
CCs para y H ( x ) : C1 + C2 = 0
C1 exp( L ) + C2 exp( L ) = 0
1
1
CCs como SQH :

exp( L ) exp( L
C1 0
C1 0
= M =
) C2 0
C2 0
[ ]
DET ( M ) = exp( L ) exp( L ) 0 para < 0 ( M no sin gular )

C1 0
SQH s admite a Sol . Trivial = y H ( x ) = 0
C2 0
Caso 1 sem y(x) 0
68

# 4: Caso 2 : = 0 2 razes reais iguais (raiz dupla) = 0

= 0 Sol . Compl . Hom. y H ( x ) = C1 exp( 0 x ) + C2 .x. exp( 0 x )
y H ( x ) = C1 + C2 .x
CCs para y H ( x ) : C1 + 0.C2 = 0
C1 + L.C2 = 0
C1 0
1 0 C1 0
CCs como SQH :
= M =
1 L C2 0
C2 0
[ ]
DET ( M ) = L 0 ( M no sin gular )

C1 0
C2 0
Caso 2 sem y(x) 0
69

# 5: Caso 3 : > 0 2 razes complexas conj. = ( - )1/2 = i ()1/2

= i Sol . Compl . Hom. y H ( x ) = C1 cos( x ) + C2 sen( x )
CCs para y H ( x ) : C1 + 0.C2 = 0
C1 cos( L ) + C2 sen( L ) = 0
1
0
C1 0
C1 0
CCs como SQH :
= M =
cos( L ) sen( L ) C2 0
C2 0
[ ]
DET ( M ) = sen( L ) DET ( M ) = 0 se = 1. ,2. ,3. ,...

L
L
L
n = n. n = 12 .
,2 2 .
2
2
,3 2 .
2
2
,... n = n
2
2
( n = 1,2 ,3,...)
L
L
C1 + 0.C2 = 0
SQH tem Sols. No Triv . :

C1 = 0 , C2 0
C1 cos( n ) + C2 sen( n ) = 0
70

n = n. n = 1 .
L
2
2
,2 .
2
2
,3 .
2
2
,... n = n
y H ( x ) = C2 sen( x n ) y H ( x ) = C2 sen(
2
2
( n = 1,2 ,3,...)
nx
nx
) y H ( x ) = C2 sen(
)
L
L
Por q?
n =
n 2 2
L2
yn ( x ) = sen(
n x
) ( n = 1,2 ,...)
L
Caso 3 com y(x) 0
71

n = n. n = 1 .
L
2
2
,2 .
2
2
,3 .
2
2
,... n = n
y H ( x ) = C2 sen( x n ) y H ( x ) = C2 sen(
2
2
( n = 1,2 ,3,...)
nx
nx
) y H ( x ) = C2 sen(
)
L
L
Por q?
n =
n 2 2
L2
yn ( x ) = sen(
n x
) ( n = 1,2 ,...)
L
Identifica-se a Famlia { yn(x) } sem C2

Caso 3 com y(x) 0
72

# 6: Surge, portanto, deste PVC, a Famlia Ortogonal de Solues :

n =
n 2 2
L2
yn ( x ) = sen(
{ yn ( x )} = { sen(
nx
) ( n = 1,2 ,...)
L
nx
)} ( n = 1,2 ,...)
L
Famlia em [ 0 , L ] sob peso p( x ) = 1
L
n x
mx
).sen(
).dx = 0 ( n m )
sen(
L
L
0
L
sen 2 ( nx ).dx = L
(n = m)
L
2
0

Exemplo 4.4 : Obter a Soluo do Problema de Valor de
Contorno abaixo:
y( 2 ) + .y = 0
y( 1 )( 0 ) = 0 , y( 1 )( L ) = 0
73
74

y( 2 ) + .y = 0
Exemplo 4.4
y( 1 )( 0 ) = 0 , y( 1 )( L ) = 0
Resoluo
# 1: Reconhecemos neste PVC um PSL aps colocao na forma :

d (1)
y
dx
( )
r( x ) = 1
+ . y = 0 p( x ) = 1
q( x ) = 0
y( 1 )( 0 ) = 0
{a = 0 , a 1 = 0 , a2 = 1
y( 1 )( L ) = 0
{b = L , b1 = 0 , b2 = 1

# 2: Resolvendo PVC para EDO-2 Lin. Hom. com Coef. Const. :

y( x ) = exp( .x )
Substituindo se em y ( 2 ) + . y = 0 Eq. Caracterstica : 2 + = 0
Razes da E .C . : = .
A Sol . Completa da EDO 2 Homognea apresenta 3 casos em :
Caso 1 : < 0
Caso 2 : = 0
Caso 3 : > 0
75
76

# 3: Caso 1 : < 0 2 razes reais distintas = (- )1/2

= Sol . Compl . Hom. y H ( x ) = C1 exp( x ) + C2 exp( x )
CCs para y (H1 ) ( x ) = C1 exp( x ) C2 exp( x )
C1 C2 = 0
C1 exp( L ) C2 exp( L ) = 0
C1 0

CCs como SQH :
=
exp( L ) exp( L ) C2 0
C1 0
M = DET ( M ) = (exp( L ) exp( L )) 0 para < 0
C2 0
C1 0
C2 0
[ ]
Caso 1 sem y(x) 0
77

# 4: Caso 2 : = 0 2 razes reais iguais (raiz dupla) = 0

= 0 Sol . Compl . Hom. y H ( x ) = C1 exp( 0 x ) + C2 .x.exp( 0 x )
y H ( x ) = C1 + C2 .x
CCs para y (H1 ) ( x ) = 0.C1 + C2
0.C1 + C2 = 0 ( x = 0 )
0.C1 + C2 = 0 ( x = L )
C1 0
0 1 C1 0
CCs como SQH :
= M = DET ( M ) = 0
0 1 C2 0
C2 0
SQH admite a Sol . No Trivial C1 0 ,C2 = 0 y H ( x ) = C1
[ ]
0 = 0 y0 = 1
0 = 0 y0 = 1
Caso 2 com y(x) 0
78


= i Sol . Compl . Hom. y H ( x ) = C1 cos( x ) + C2 sen( x )
CCs para y (H1 ) ( x ) = C1 sen( x ) + C2 cos( x )
0.C1 + C2 = 0
C1 sen( L ) + C2 cos( L ) = 0
0
1
C1 0
C1 0
= M =
CCs como SQH :
sen( L ) cos( L ) C2 0
C2 0
[ ]
DET ( M ) = sen( L ) DET ( M ) = 0 se = 1. ,2. ,3. ,...

L
L
L
n = n. n = 1 .
L
2
2
,2 .
2
2
,3 .
2
2
,... n =
n 2 2
2
( n = 1,2 ,3,...)
L
L
0.C1 + C2 = 0
SQH tem Sols. No Triv . :

C1 0 , C2 = 0
C1sen( n ) + C2 cos( n ) = 0
79


y H ( x ) = C1 cos( x n ) y H ( x ) = C1 cos(
n =
n 2 2
L2
yn ( x ) = cos(
nx
nx
) y H ( x ) = C1 cos(
)
L
L
nx
) ( n = 1,2 ,...)
L
Caso 3 com y(x) 0
80


y H ( x ) = C1 cos( x n ) y H ( x ) = C1 cos(
n =
n 2 2
L2
yn ( x ) = cos(
nx
nx
) y H ( x ) = C1 cos(
)
L
L
nx
) ( n = 1,2 ,...)
L
Identifica-se a Famlia { yn(x) } sem C1

Caso 3 com y(x) 0
81

# 6: Reunindo Casos 2 e 3 com Solues No-Triviais do PSL

0 = 0 y0 ( x ) = 1
( n = 0 )
n 2 2
nx
n = 2 yn ( x ) = cos(
) ( n = 1,2 ,...)
L
n =
n 2 2
L2
n x
yn ( x ) = cos(
) ( n = 0 ,1,2 ,...)
L
Casos 2 e 3 com y(x) 0
82

# 7: Surge deste PVC, a Famlia Ortogonal de Solues :

n =
n 2 2
L2
yn ( x ) = cos(
{ yn ( x )} = {cos(
n x
) ( n = 0 ,1,2 ,...)
L
n x
)} ( n = 0 ,1,2 ,...)
L
Famlia em [ 0 , L ] sob peso p( x ) = 1
L
nx
mx
cos(
).
cos(
).dx = 0
(n m)
L
L
0
L
L
n
x
L
cos 2 (
).dx = ( n = m > 0 ), 1.dx = L ( n = m = 0 )
L
2
0
0

H2cin Capitulo IV

Enviado por

Dados do documento

Título original

Direitos autorais

Formatos disponíveis

Compartilhar este documento

Compartilhar ou incorporar documento

Opções de compartilhamento

Você considera este documento útil?

Este conteúdo é inapropriado?

Direitos autorais:

Formatos disponíveis

H2cin Capitulo IV

Enviado por

Direitos autorais:

Formatos disponíveis

1

J.L. de Medeiros & Oflia Q.F. Arajo

Mtodos Matemticos Aplicados a

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

{n ( x )} : Famlia inf inita ( n = 0 ,1,2 ,...) de

: Funo peso da famlia de funes ( p( x ) 0 )

: Intervalo ( ) associado famlia de funes {n ( x )}

: Sigla para funo de Quadrado Integrvel

: Smbolo para famlia ortogonal de funes {n ( x )}

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

F ( x) mpar e Contnua F (0) = 0

F ( x ).dx + F ( x ).dx = F ( x ).dx F ( x ).dx =

F ( x ).dx + F ( y ).dy = F ( x ).dx F ( y ).dy = 0

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

F ( x ) Q.I . em [ a ,b ] sob p( x ) quando :

Exemplo 1 : g( x ) = 1 / x No Q.I . em [ 0 ,1 ] sob p( x ) = 1 :

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

Famlia Ortogonal de Funes Q.I . em [ a ,b ] sob p( x ) :

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

{sen( nx )} ( n = 1,2 ,...)

Famlia de Funes Q .I . em [ , ] sob p( x ) = 1

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

{sen( nx )} ( n = 1,2 ,...)

Famlia de Funes Q.I . em [ , ] sob p( x ) = 1

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

{sen( nx )} ( n = 1,2 ,...)

Famlia de Funes Q.I . em [ , ] sob p( x ) = 1

sen( nx ).sen( mx ).dx =

sen( nx ).sen( mx ).dx = > 0

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

Famlia Ortonormal de Funes Q .I . em [ a ,b ] sob p( x ) :

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

Famlia Ortogonal de Funes Q.I . em [a, b] sob p ( x) :

Teremos { n ( x )} tal que :

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

{sen( nx )} ( n = 1,2 ,...)

Famlia de Funes Q .I . em [ , ] sob p( x ) = 1

Famlia Ortonormal de Funes Q.I . em [ , ], sob p( x) = 1

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

# 1: Considere F(x) Q.I. em [a,b] sob p(x)

# 2: Considere a Famlia Ortogonal {n(x)} em [a,b] sob p(x)

Famlia de Funes Q .I . em [ a ,b ] sob p( x ) :

J.L. de Medeiros & Oflia Q.F. Arajo

Cap. IV : Funes Ortogonais e Sries de Fourier

# 3: Considere a Srie Infinita E(x) construda com {n(x)}

Note que a Srie de E(x) poder no convergir para certos x ou

# 4: Considere o Resduo de E(x) com respeito a F(x)

# 5: Considere a Medida da falta de aderncia de E(x) a F(x) :

= p( x ).2 ( x ).dx > 0

J.L. de Medeiros & Oflia Q.F. Arajo