complementos de matemática 1 -...
TRANSCRIPT
![Page 1: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/1.jpg)
Complementos de Matemática 1
COMPLEMENTOS DE MATEMÁTICA
MÓDULO 1
• Séries de Fourier
• Equações Diferenciais com Derivadas Parciais
![Page 2: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/2.jpg)
Complementos de Matemática 2
• Jean Baptiste Joseph Fourier (1768-1830) viveu na época de
Napoleão, para quem trabalhou na França e no Egipto ocupado
![Page 3: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/3.jpg)
Complementos de Matemática 3
pelos franceses.
• Imortalizado pelas séries trigonométricas que introduziu em 1807.
• Fourier foi levado a desenvolver as (suas) séries ao estudar a
propagação de calor em corpos sólidos, admitindo que essa
propagação teria forma ondulatória e que a forma mais simples
de uma onda é uma função senoidal;
• Existe uma vasta classe de funções, periódicas, que podem ser
decompostas como soma (infinita) de senos e cossenos.
![Page 4: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/4.jpg)
Complementos de Matemática 4
![Page 5: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/5.jpg)
Complementos de Matemática 5
Definição
Seja f uma função real de variável real, periódica de período 2π.
Então, a expressão
a0 + a1 cos(x) + b1sen(x) + a2 cos(2x) + b2sen(2x) + ...
ou, sob a forma mais compacta
a0 +
+∞∑
k=1
(ak cos(kx) + bksen(kx)) . (1)
designa-se série de Fourier de f e os coeficientes a0, ak, e bk,
k = 1, 2, ..., coeficientes de Fourier de f , com
![Page 6: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/6.jpg)
Complementos de Matemática 6
a0 =1
2π
∫ π
−π
f(x) dx
ak =1
π
∫ π
−π
f(x) cos(kx) dx
bk =1
π
∫ π
−π
f(x)sen(kx) dx
![Page 7: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/7.jpg)
Complementos de Matemática 7
Função periódica
Seja f : R → R uma função. Diz-se que f é periódica de período
T 6= 0 se f(x + T ) = f(x), ∀x ∈ Df . Ao menor valor de T nestas
condições chama-se período fundamental ou simplesmente período.
Determinação dos coeficientes de Fourier de f
Suponhamos que a função f , periódica e de período 2π, pode ser
representada por uma série convergente para f(x), no intervalo
[−π, π], isto é, que
![Page 8: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/8.jpg)
Complementos de Matemática 8
f(x) = a0 ++∞∑
k=1
(ak cos(kx) + bksen(kx)).
Determinar a0
Integrando ambos os membros∫ π
−π
f(x) dx =
∫ π
−π
(a0 +
+∞∑
k=1
(ak cos(kx) + bksen(kx))
)dx
∫ π
−π
f(x) dx =
∫ π
−π
a0 dx ++∞∑
k=1
(∫ π
−π
ak cos(kx) dx +
∫ π
−π
bksen(kx) dx
)
![Page 9: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/9.jpg)
Complementos de Matemática 9
∫ π
−π
f(x) dx =
∫ π
−π
a0 dx +
∫ π
−π
a1 cos(x) dx +
∫ π
−π
b1sen(x) dx +∫ π
−π
a2 cos(2x) dx +
∫ π
−π
b2sen(2x) dx + ...
calculando cada um dos integrais do segundo membro
∫ π
−π
a0 dx = a0 × 2π
∫ π
−π
a1 cos(x) dx = a1 [sen(x)]π−π = 0
∫ π
−π
b1sen(x) dx = b1 [− cos(x)]π−π = 0
![Page 10: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/10.jpg)
Complementos de Matemática 10
∫ π
−π
a2 cos(2x) dx = a2
[sen(2x)
2
]π
−π
= 0
∫ π
−π
b2sen(2x) dx = b2
[−
cos(2x)
2
]π
−π
= 0
...
assim,
∫ π
−π
f(x) dx = a0 × 2π + 0 + 0 + ... ⇒ a0 =1
2π
∫ π
−π
f(x) dx
Determinar a1
Multiplicando ambos os membros por cos(x) e depois integrando
![Page 11: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/11.jpg)
Complementos de Matemática 11
ambos os membros∫ π
−π
f(x) cos(x) dx =∫ π
−π
a0 cos(x) dx +
∫ π
−π
a1 cos2(x) dx +
∫ π
−π
b1sen(x) cos(x) dx
+
∫ π
−π
a2 cos(2x) cos(x) dx +
∫ π
−π
b2sen(2x) cos(x) dx + ...
calculando cada um dos integrais do segundo membro
∫ π
−π
a0 cos(x) dx = a0 × 0 = 0
∫ π
−π
a1 cos2(x) dx = a1
[sen(x)
2+
x
2
]π
−π
= a1π
![Page 12: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/12.jpg)
Complementos de Matemática 12
∫ π
−π
b1sen(x) cos(x) dx = 0
∫ π
−π
a2 cos(2x) cos(x) dx = 0
∫ π
−π
b2sen(2x) cos(x) dx = 0
...
assim,
∫ π
−π
f(x) cos(x) dx = a1π ⇒ a1 =1
π
∫ π
−π
f(x) cos(x) dx.
![Page 13: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/13.jpg)
Complementos de Matemática 13
De modo análogo
b1 =1
π
∫ π
−π
f(x)sen(x) dx.
E, em geral,
ak =1
π
∫ π
−π
f(x) cos(kx) dx
bk =1
π
∫ π
−π
f(x)sen(kx) dx.
Conclusão , se f(x), f(x)sen(kx) e f(x) cos(kx) são integráveis
então os coeficientes de Fourier existem.
![Page 14: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/14.jpg)
Complementos de Matemática 14
Função periódica de período 2L
Sendo f(x) uma função periódica, de período 2L e f(x) = f
(L
πt
)
então, a função f
(L
πt
)tem período 2π.
a0 =1
2π
∫ π
−π
f
(L
πt
)dt
ak =1
π
∫ π
−π
f
(L
πt
)cos(kt) dt
bk =1
π
∫ π
−π
f
(L
πt
)sen(kt) dt.
![Page 15: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/15.jpg)
Complementos de Matemática 15
Como x =L
πt, t =
π
Lx e dt =
π
Ldx, vem
a0 =1
2L
∫ L
−L
f(x) dx
ak =1
L
∫ L
−L
f(x) coskπx
Ldx
bk =1
L
∫ L
−L
f(x)senkπx
Ldx
Assim, a série de Fourier de f(x) de período 2L é dada por
a0 ++∞∑
k=1
(ak cos
kπx
L+ bksen
kπx
L
). (2)
![Page 16: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/16.jpg)
Complementos de Matemática 16
Condições de convergência de uma série de Fourier
Teorema
Supondo que f , é uma função periódica de período 2L e que f(x) e
f ′(x) são seccionalmente contínuas em ] − L, L[, então a série de
Fourier de f é convergente e a soma da série coincide com:
• f(x) se a função é contínua no ponto x;
•f(x+
0 ) + f(x−0 )
2, se x0 é um ponto de descontinuidade.
![Page 17: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/17.jpg)
Complementos de Matemática 17
a b
aUma função é seccionalmente contínua num intervalo I, limitado, se:
• Tem um número finito de pontos de descontinuidade;
• Os limites laterais existem e são finitos;
• No intervalo de pontos de descontinuidade consecutivos, a função é contínua.
bf(x+
0 ) = limx→x
+
0
f(x) e f(x−
0 ) = limx→x
−
0
f(x)
![Page 18: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/18.jpg)
Complementos de Matemática 18
Séries de Fourier de Funções Impares e Pares
Seja f uma função ímpar periódica de período 2L, então os
coeficientes de Fourier,
a0 = 0 ,
pois como f é ímpar,∫ L
−L
f(x) dx = 0
ak = 0 ,
porque f(x) coskπx
Lé ímpar.
![Page 19: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/19.jpg)
Complementos de Matemática 19
bk =2
L
∫ L
0f(x)sen
kπx
Ldx ,
porque f(x)senkπx
Lé par.
Neste caso, quando f é ímpar e periódica de período 2L,
f(x) =
+∞∑
k=1
bk senkπx
L(3)
![Page 20: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/20.jpg)
Complementos de Matemática 20
Seja f uma função par periódica de período 2L, então os
coeficientes de Fourier,
a0 =1
L
∫ L
0f(x) dx ,
pois como f é par,∫ L
−L
f(x) dx = 2
∫ L
0f(x) dx
ak =2
L
∫ L
0f(x) cos
kπx
Ldx ,
porque f(x) coskπx
Lé par.
![Page 21: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/21.jpg)
Complementos de Matemática 21
bk = 0 ,
porque f(x) senkπx
Lé ímpar.
Neste caso, quando f é par e periódica de período 2L,
f(x) =a0
2+
+∞∑
k=1
ak coskπx
L. (4)
![Page 22: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/22.jpg)
Complementos de Matemática 22
Desenvolvimento em série de Fourier de funçõesnão periódicas
Seja f : [a, b] uma função seccionalmente diferenciável. Considere-se
uma função f̃ , periódica de período 2L, com 2L ≥ |b − a| e
seccionalmente diferenciável tal que f̃(x) = f(x), ∀x ∈ [a, b].
Desenvolvendo em série de Fourier a função f̃ , temos
a0 ++∞∑
k=1
(ak cos
kπx
L+ bk sen
kπx
L
)=
1
2[f̃(x+) + f̃(x−)]
=1
2[f(x+) + f(x−)]
, em
todos os pontos de x ∈ [a, b]
(f̃ diz-se um prolongamento de f ).
![Page 23: Complementos de Matemática 1 - grigori.impa.brgrigori.impa.br/data/_uploaded/Arquivos/Métodos/Slides-SF.pdf · COMPLEMENTOS DE MATEMÁTICA MÓDULO 1 • Séries de Fourier • Equações](https://reader033.vdocuments.net/reader033/viewer/2022060405/5f0f38197e708231d44313ce/html5/thumbnails/23.jpg)
Complementos de Matemática 23
Um caso particular importante, quando f [0, L] → R, de entre os
inúmeros prolongamentos, pode-se escolher um prolongamento por
uma função ímpar ou por par.
Exemplo:
f1 é um prolongamento por uma função par e f2 por uma função
ímpar.
Desenvolvendo f1 em série de Fourier, teríamos uma série de
cosenos e f2 uma série de senos.