PROJETO DE PESQUISA

INTEGRAL DE LEBESGUE E SÉRIES DE FOURIER

Vertente: Pesquisa

Orientador: Adalberto Panobianco Bergamasco

Perı́odo: 01/09/2021 - 31/08/2022

1. Tı́tulo

O tı́tulo deste projeto de pesquisa, submetido ao Programa Unificado de Bolsas

(PUB), é: “Integral de Lebesgue e Séries de Fourier”.

2. Resumo

Este projeto começa com uma introdução à Teoria da Medida, direcionada ao

uso da Integral de Lebesgue.

A seguir, estudam-se alguns tópicos da Análise Funcional necessários para o

aprendizado das propriedades das Séries Abstratas de Fourier, além de presentes

em aplicações das Séries de Fourier às EDP’s.

Por fim, é feito um estudo centrado nas próprias Séries de Fourier, usando-as

como ferramenta para melhor entender as propriedades de Espaços de Hilbert, em

especial o isomorfismo entre o espaço de funções L2 e o espaço de sequências `2 .

3. Justificativa

O trabalho proposto visa melhor justificar e demonstrar as proposições comuns de

um curso de Cálculo IV, alicerçando-se em ideias mais gerais do que as encontradas

em um curso de Cálculo.

Dado um espaço de medida (X, M, µ) e 1 ≤ p < ∞, Lp é o espaço vetorial das

classes de equivalência (f ∼ g se f (x) = g(x), em µ-quase todo ponto) de funções

R p
f : X → R, em que X |f | dµ < ∞.
 O caso particular de espaço Lp em que p = 2 será tratado com mais detalhes, por

ser um exemplo de Espaço de Hilbert rico em propriedades relacionadas às Séries

de Fourier. A separabilidade do espaço L2 será usada para mostrar que existe um

isomorfismo entre o espaço de funções L2 e o espaço de sequências `2 .

Serão usadas propriedades gerais das Séries de Fourier obtidas no contexto da

Análise Funcional, como

P 2 2
n∈N |hx, en i| ≤ kxk , x ∈ X (A Desigualidade de Bessel, válida para (en )n∈N ,

uma sequência ortonormal do EVPI X. Obtendo a igualdade se en ∈ M , sendo M

um conjunto total e X, um Espaço de Hilbert.)

e
R∞ R∞
−∞
|f (x)| dx = −∞
|F[f ](ξ)| dξ (O Teorema de Plancherel, em que F é a Trans-

formada de Fourier.)

para especificar o operador que define o isomorfismo cuja existência foi garantida.

Ao desenvolver o trabalho, o aluno terá a oportunidade de aplicar conceitos de

Análise Funcional principalmente durante o estudo das Séries de Fourier Abstra-

P
tas: n∈N hf, en ien , en ∈ M (M uma base ortonormal), enquanto aplica concei-

tos de Teoria da Medida ao realizar cálculos com Integrais de Lebesgue, exigidos

pelo estudo das Séries de Fourier tomando uma base ortonormal de funções trigo-
−1 π
f (t)e−int dt einx .
P R
nométricas: n∈Z (2π) −π

4. Resultados Anteriores

Não se aplica.

5. Objetivos

É pretendido um tratamento dos temas esperados de um curso introdutório so-

bre Teoria da Medida, enquanto oferecendo ao aluno a possibilidade de aprender

alguns resultados importantes da Analise Funcional. O trabalho culmina com o uso

de ferramentas da Teoria da Medida e da Análise Funcional para estudar alguns

Espaços de Hilbert, usando as Séries de Fourier.

 6. Métodos

A execução do trabalho se dá sobretudo com a pesquisa bibliográfica, resolução de

exercı́cios e apresentação de seminários por parte do aluno. Serão feitos comentários

pelo orientador ao próprio aluno, bem como nos relatórios sobre a exposição dos

seminários pelo aluno e outras tarefas a ele atribuı́das.

7. Detalhamento das Atividades a serem Desenvolvidas pelo Bolsista

O único bolsista previsto para executar o projeto deve cumprir o roteiro de

estudos detalhado no cronograma por meio da pesquisa bibliográfica e resolução

de exercı́cios teóricos, utilizando primáriamente as referências mencionadas neste

documento. O orientador deverá acompanhar o progresso do aluno bolsista por

meio de reuniões particulares, esclarecendo suas eventuais dúvidas. Ademais o

aluno apresentará tópicos de sua escolha (dentre os detalhados no cronograma)

em seminários frequentes, além de registrar seu progresso em relatórios. Cabe

ao orientador avaliar e direcionar o aluno dado seu desempenho nas atividades

elencadas acima.

8. Resultados Previstos

No decorrer das atividades previstas nesse projeto para o aluno, serão desen-

volvidos relatórios, apresentados seminários e redigidas resoluções para exercı́cios

teóricos, propostos pelos livros indicados neste documento. Além disso, pretende-se

que o bolsista possa apresentar em um simpósio de iniciação cientı́fica os conheci-

mentos adquiridos ao longo desta bolsa.

9. Cronograma de Execução

Serão desenvolvidos os seguintes tópicos:

(1) Teoria da Medida. Tópicos: Conjuntos e funções mensuráveis; a Medida

Exterior; a Medida de Lebesgue; a Integral de Lebesgue; principais teore-

mas da Teoria da Medida (Teorema da Convergência Monótona/Dominada,

Teorema de Extensão de Carathéodory, Lema de Fatou, etc.). Usaremos

 [4] como referência principal e [6] para suplementar os estudos.

(2) Análise Funcional. Tópicos: Espaços com produto interno; espaços Lp ; con-

juntos e bases ortonormais; Bessel e Parseval; Séries (abstratas) de Fourier;

teoremas clássicos da Análise Funcional (PLU, Aplicação Aberta, Hahn-

Banach, etc.); Distribuições de Schwartz - se o tempo permitir. Usaremos

[5] como referência principal e [2] para suplementar os estudos.

(3) Séries de Fourier. Tópicos: Propriedades de convergência das Séries de Fou-

rier; a Transformada de Fourier e suas proporiedades; o Espaço de Schwartz

(S); a Transformada de Fourier em dimensões maiores (Rd ) e Análise de

Fourier finita com aplicações - se o tempo permitir. Usaremos [3] como

referência principal e [1] para suplementar os estudos.

Pretendemos seguir o seguinte cronograma de trabalho: o conteúdo do item

1 (Teoria da Medida) e parte do item 2 (primeiros resultados sobre Espaços de

Hilbert) será abordado nos primeiros seis meses (de setembro a fevereiro), enquanto

que o restante será coberto no perı́odo seguinte (de março a agosto). Os tópicos

sucedidos por “se o tempo permitir” no roteiro acima serão idealmente estudados

somente após o estudo dos demais conteúdos.

10. Outras Informações Relevantes para o processo de Avaliação

Para a boa execução deste projeto de pesquisa, é fortemente recomendável - é

quase necessário - que o candidato tenha obtido aprovação nos cursos de Cálculo,

desde o Cálculo I ao Cálculo IV. Este último é muito importante, pois nele o

estudante tem um contato intenso com as Séries de Fourier. Por outro lado, nos

cursos de Cálculo não se consegue em geral justificar, demonstrar muitos dos fatos

importantes; o espı́rito destes cursos tem sido que o aluno entenda os conceitos e

os resultados bem como aprenda a computar, entre outras coisas, muitas séries de

Fourier.
 Um dos objetivos do presente projeto é justamente complementar, consolidar a

formação do bolsista, de modo a entender melhor a justificativa e o alcance dos

resultados teóricos.

O tema e o espı́rito deste projeto se encaixa perfeitamente dentro da atuação em

pesquisa do orientador ao longo dos anos.

Este projeto se enquadra no contexto da Análise Matemática.

Referências

[1] D.G. Figueiredo. Análise de Fourier e Equações Diferenciais Parciais. Projeto Euclides,

IMPA, Rio de Janeiro - RJ, 1977.

[2] E. Kreyszig. Introductory Functional Analysis with Applications. Wiley, 1989.

[3] Elias M. Stein and Rami Shakarchi. Fourier Analysis: An Introduction. Princeton University

Press, 2003.

[4] Elias M. Stein and Rami Shakarchi. Real Analysis: Measure Theory, Integration and Hilbert

Spaces. Princeton University Press, 2005.

[5] Elias M. Stein and Rami Shakarchi. Functional Analysis: An Introduction to Further Topics

in Analysis. Princeton University Press, 2011.

[6] Terence Tao. An Introduction to Measure Theory. AMS, 2011.