You are on page 1of 76

Ps-graduao no IMPA

Mestrado e Doutorado em Matemtica


Pura e Aplicada

2017
CONTEDO

DIREO e CORPO DOCENTE 05

DADOS GERAIS 10

1 O IMPA

1.1 Histrico 10
1.2 Localizao 10
1.3 Finalidades 10
1.4 Estrutura Administrativa 10
1.5 Biblioteca 11
1.6 Apoio Computacional 11
1.7 Publicaes 11

2 ATIVIDADES DO IMPA

2.1 Ps-Graduao 12
2.2 Pesquisa 13
2.2.1 lgebra 14
2.2.2 Anlise/Equaes Dif. Parciais 15
2.2.3 Computao Grfica 16
2.2.4 Dinmica dos Fluidos 17
2.2.5 Economia Matemtica 18
2.2.6 Geometria Complexa e Folheaes Holomorfas 19
2.2.7 Geometria Diferencial 20
2.2.8 Geometria Simpltica 21
2.2.9 Otimizao 22
2.2.10 Probabilidade 23
2.2.11 Sistemas Dinmicos e Teoria Ergdica 24
2.3 Pesquisadores Visitantes. Ps-Doutorado 25
2.4 Reunies Cientficas 25
2.4.1 Colquio Brasileiro de Matemtica 25
2.4.2 Reunies por rea de Pesquisa 25

2
3 ENSINO

3.1 Programa de Iniciao Cientfica 26


3.2 Programa de Vero 26
3.3 Programas de Ps-Graduao 26
3.4 Documentos para admisso 26
3.5 Bolsas 27
3.5.1 Bolsas de Iniciao Cientfica 27
3.5.2 Bolsas de Mestrado e Doutorado 27
3.6 Disciplinas e Crditos 27
3.7 Perodos Letivos 28
3.8 Inscries e Cancelamentos em Disciplinas 28
3.8.1 Nmero Mnimo de Disciplinas 28
3.9 Critrio de Avaliao do Rendimento 28

4 INFORMAES DIVERSAS

4.1 Certificado de Aperfeioamento 29


4.2 Orientao 29
4.3 Trancamento de Matrcula 29

5 MESTRADO

5.1 Condies de Admisso (vide item 3.4) 29


5.2 Disciplinas de 1 ano 30
5.3 Disciplinas de 2 ano 30
5.4 Dissertao de Mestrado 31
5.5 Condies para Concesso do Grau de Mestre 31
5.6 Sugesto de Roteiro 32

6 DOUTORADO EM MATEMTICA

6.1 Condies de Admisso (vide item 3.4) 35


6.2 Condies para Concesso do Grau de Doutor 35
6.3 Estgio I e II 35
6.4 Exame de Qualificao 36
6.5 Tese de Doutorado 36
6.6 Oferta Anual de Disciplinas de Doutorado 37
3
7 - LISTA DE DISCIPLINAS 38

8 - PROGRAMAS DAS DISCIPLINAS

8.1 Iniciao Cientfica 40


8.2 Mestrado 41
8.3 Doutorado 53

4
DIRETORES DO IMPA

Marcelo Viana
Claudio Landim

CORPO DE PESQUISADORES

01. Alcides Lins Neto


Doutor, IMPA

02. Alexei Mailybaev


PhD, Moscow State Lomonosov University

03. Alfredo Noel Iusem


PhD, Stanford University

04. Alosio Pessoa de Arajo


PhD, University of California, Berkeley

05. Andr Nachbin


PhD, New York University

06. Augusto Quadros


PhD, ETH Zurich

07. Benar Fux Svaiter


Doutor, IMPA

08. Carlos Gustavo Tamm de Araujo Moreira


Doutor, IMPA

09. Carolina Bhering Araujo


PhD, Princeton University

10. Claudio Landim


Docteur, Universit de Paris 7

11. Dan Marchesin


PhD, New York University

12. Diego Nehab


PhD, Princeton University

13. Eduardo de Sequeira Esteves


PhD, Massachusetts Institute of Technology, Cambridge

14. Emanuel Carneiro


PhD, University of Texas, Austin

15. Enrique Ramiro Pujals


Doutor, IMPA
5
16. Felipe Linares
PhD, Pennsylvania State University

17. Henrique Bursztyn


PhD, University of California, Berkeley

18. Hermano Frid Neto


Doutor, IMPA

19. Hossein Movasati


Doutor, IMPA

20. Hubert Lacoin


Docteur, Universit de Paris 7

21. Jorge P. Zubelli


PhD, University of California, Berkeley

22. Jorge Vitrio Pereira


Doutor, IMPA

23. Jos Mara Espinar Garcia


Doutor, Universidad de Granada

24. Karl Otto Sthr


Dr. rer. nat. Bonn Universtiy

25. Lucio Ladislao Rodrguez


PhD, Brown University

26. Luis Adrian Florit


Doutor, IMPA

27. Luiz Carlos Pacheco Rodrigues Velho


PhD, University of Toronto

28. Luiz Henrique de Figueiredo


Doutor, IMPA

29. Marcelo Miranda Viana da Silva


Doutor, IMPA

30. Marcos Dajczer


Doutor, IMPA

31. Mikhail Belolipetskiy


PhD, Novosibirsk State University

32. Mikhail Solodov


PhD, University of Wisconsin

33. Milton David Jara Valenzuela


Doutor, IMPA
6
34. Oliver Lorscheid
PhD, Utrecht University

35. Paulo Roberto Grossi Sad


Doutor, IMPA

36. Rafael Jos Irio Jnior


PhD, University of California, Berkeley

37. Reimundo Heluani


PhD, Massachusetts Institute of Technology

38. Robert David Morris


PhD, University of Memphis

39. Roberto Imbuzeiro Moraes Felinto de Oliveira


PhD, New York University

40. Vinicius Gripp Barros Ramos


PhD, University of California, Berkeley

PESQUISADORES EMRITOS
01. Csar Camacho
PhD, University of California, Berkeley

02. Elon Lages Lima


PhD, University of Chicago

03. Jacob Palis Jnior


PhD, University of California, Berkeley

04. Manfredo Perdigo do Carmo


PhD, University of California, Berkeley

05. Mauricio Mattos Peixoto


Doutor, UFRJ

PESQUISADORES HONORRIOS

01. tienne Ghys


Ph.D, Universit Lille

02. Luis Caffarelli


Ph.D, University of Minnesota

03. Steve Smale


Ph.D, University of Michigan

7
PESQUISADORES EXTRAORDINRIOS

01. Artur vila


Doutor, IMPA

02. Harold Rosenberg


PhD. University of California, Berkeley

8
9
DADOS GERAIS

1. O IMPA

1.1 Histrico
Foi criado em 15/10/1952 e em 07/08/1956 teve a sua existncia homologada por
decreto do Presidente da Repblica, como unidade vinculada ao Conselho Nacional de
Desenvolvimento Cientfico e Tecnolgico (CNPq).
Em 27/12/2000, por meio do Decreto n 3703, foi transformado em Associao
Instituto Nacional de Matemtica Pura e Aplicada (IMPA), como Organizao Social.

1.2 Localizao
O IMPA est localizado no Bairro Jardim Botnico, no Rio de Janeiro. Seu
endereo :

Associao Instituto Nacional de Matemtica Pura e Aplicada IMPA


Estrada Dona Castorina, 110 Jardim Botnico
22460-320 Rio de Janeiro-RJ
http://www.impa.br
Tel.: (021) 2529-5000
Fax: (021) 2512-4115

1.3 Finalidades
O IMPA tem por finalidade o ensino e a investigao cientfica no campo da
Matemtica Pura e Aplicada, assim como a difuso e aprimoramento da cultura
matemtica no pas.
Um dos objetivos cooperar para a formao, no Brasil, de equipes de matemticos
capazes de propiciar o exerccio da pesquisa matemtica como atividade permanente
nos Departamentos de Matemtica das Universidades. Outro objetivo formar pessoal
capacitado a trabalhar e a fazer pesquisas em rgos pblicos e privados, cujas
atividades requeiram utilizao de tcnicas de Matemtica e suas aplicaes. Isto tem
colocado o IMPA em posio de destaque nacional e internacional. O IMPA
desempenha um papel fundamental na formao de mestres e doutores, na elaborao
de uma literatura matemtica brasileira de alta qualidade, na organizao sistemtica
de programas de ps-doutorado de longa e curta durao, na realizao bi-anual dos
Colquios Brasileiros de Matemtica, na realizao anual de reunies cientficas de
elevado nvel e em mbito internacional, no intercmbio e na realizao de projetos
conjuntos de pesquisa com centros matemticos nacionais e estrangeiros, no
oferecimento de cursos de iniciao cientfica e na manuteno de uma biblioteca
completa e atualizada de Matemtica.

1.4 Estrutura Administrativa


A orientao e o planejamento das atividades do IMPA so atribuies da Diretoria,
composta de um Diretor Geral e de um Diretor Adjunto, assessorados pelo rgo
consultivo, o Conselho Tcnico Cientfico. A Direo do IMPA assessorada, ainda,
por 8 (oito) Coordenaes. Com exceo das Coordenaes de Administrao,
Financeira e de Projetos Especiais, cada Coordenao assessorada por uma comisso
formada por membros do Corpo Cientfico do IMPA.
10
1.5 Biblioteca
A Biblioteca do IMPA possui um grande acervo de livros clssicos e modernos e
recebe regularmente cerca de quinhentos dos mais importantes peridicos de
Matemtica e reas cientficas afins. biblioteca de referncia no Brasil e considerada
de excelente nvel em padro internacional.
A Biblioteca faz parte da rede de bibliotecas-base do Programa de Comutao
Bibliogrfica (COMUT), que permite a obteno de cpias de documentos de
bibliotecas, centros de documentao e bancos de dados integrantes de uma rede
comum. Est aberta ao pblico para consultas e tambm mantm servio de
emprstimo com outras bibliotecas do Rio de Janeiro, alm de disponibilizar o seu
catlogo na Internet, para consultas ao acervo bibliogrfico. O IMPA tambm
franqueia comunidade o acesso ao salo de leitura, que tem uma bela vista para a
Floresta da Tijuca e para a Lagoa Rodrigo de Freitas, inclusive nos fins-de-semana.
A Biblioteca do IMPA permite acesso, atravs da Internet, s seguintes bases de
dados: MathSciNet; Zentralblatt MATH Database, MATH DI Database, ISI Web of
Knowledge (Citation Database), alm de texto completo de artigos e peridicos atravs
do Portal da CAPES.

e-mail: library@impa.br

1.6 Apoio Computacional

O IMPA possui um ambiente computacional de excelente padro internacional,


muito bem estruturado e conectado Internet, que utilizado pelos pesquisadores,
visitantes, alunos e funcionrios para realizao das suas atividades.
A rede local, consiste de um backbone Gigabit Ethernet em fibra tica e conexes em
cabo UTP, categoria 6, interligando aproximadamente 650 estaes de trabalho
heterogneas e outros perifricos. A sua conexo com a RedeRio realizada atravs
da PUC-Rio por um enlace de 10Mbps, enquanto que com a RNP a conexo
realizada atravs do n do backbone no CBPF,com velocidadede 100Mbps.
O IMPA mantm vrios laboratrios de aplicaes especficas como o Laboratrio
de Dinmica dos Fluidos, Laboratrio de Viso e Computao Grfica, Laboratrio de
Estereoscpica, Laboratrio de Alunos e Laboratrios de Treinamento.

e-mail: cin@impa.br

1.7 Publicaes

Considerando a necessidade de uma literatura matemtica brasileira, o IMPA criou


diversas sries de publicaes com textos para graduao e ps-graduao, e
monografias de nvel avanado. A fim de que seus efeitos se faam sentir com mais
rapidez e se irradiem mais amplamente, d-se maior nfase publicao de textos em
nvel de ps-graduao.

As sries de publicaes elaboradas pelo IMPA so:

Coleo Publicaes Matemticas: formada de trabalhos expositrios que tanto


podem conter resultados de pesquisa como textos de cursos ou seminrios. Esta
coleo substitui e amplia as Monografias de Matemtica (que chegou em 1993 ao seu
sexagsimo volume). Alguns dos ttulos das Monografias de Matemtica foram
traduzidos e publicados como subsrie da ''Springer Lecture Notes in Mathematics''.
11
Coleo Projeto Euclides: divulga teorias matemticas relevantes, atualizadas, com
vistas a contribuir para a formao de cientistas e de tcnicos de alto nvel. Do
enfoque especial aos assuntos centrais dos currculos de ps-graduao e de interesse
tambm para reas que realizam pesquisa no Pas.

Coleo Matemtica Universitria: uma srie de livros escritos por matemticos


com grande competncia e experincia didtica, inteiramente adaptados aos currculos
e formao de alunos, que servem como textos para cursos em nvel de graduao
nas universidades brasileiras, portuguesas e latino-americanas.

Coleo Matemtica e Aplicaes: tem por objetivo publicar livros em nvel de


graduao, mestrado ou doutorado, em reas que utilizem de forma integrada tcnicas
de outros ramos da Cincia associadas a modelos matemticos. Ela inclui os textos
publicados anteriormente na Srie Computao Matemtica.

Coleo Informes de Matemtica: tem como objetivo a rpida divulgao de resultados


de pesquisa que podero mais tarde aparecer em peridicos especializados. Esta
coleo constituda por trabalhos de pesquisa, teses e dissertaes e pode ser
consultada (a partir de 2001) no servidor de pr-publicaes do IMPA.

e-mail: ddic@impa.br

2. ATIVIDADES DO IMPA

2.1 Ps-Graduao

O IMPA est credenciado pelo Conselho Federal de Educao, desde 1971, como
centro de ps-graduao em Matemtica Pura e Aplicada, aos nveis de Mestrado e
Doutorado.
No Curso de Mestrado, o estudante adquire cultura bsica que lhe permitir ensinar
qualquer disciplina da Matemtica em nvel de graduao ou exercer atividades
profissionais que requerem aplicaes da Matemtica a problemas tcnicos ou
cientficos. O Doutorado tem por finalidade a formao de pesquisadores. Sua
exigncia fundamental consiste na elaborao de uma tese que constitua contribuio
original e relevante para o progresso da Matemtica.
O IMPA d uma nfase especial ao Doutorado. Com este propsito, o Mestrado foi
concebido de forma a permitir tambm um acesso rpido ao Doutorado.
Como preparao para a Ps-Graduao o IMPA tem um programa de Iniciao
Cientfica com dois objetivos: i) completar o treinamento bsico da graduao, de
maneira a habilitar o estudante para o Mestrado; ii) dar uma oportunidade para que
estudantes que ainda estejam cursando graduao em Matemtica, Engenharia, Fsica,
etc., testem sua aptido e seu interesse pela Matemtica em cursos do IMPA, visando
um possvel engajamento na ps-graduao.

12
2.2 Pesquisa

No momento, o IMPA conta com onze grupos de pesquisa distribudos pelas


seguintes reas:

lgebra

Anlise / Equaes Diferenciais Parciais

Computao Grfica

Dinmica dos Fluidos

Economia Matemtica

Geometria Complexa e Folheaes Holomorfas

Geometria Diferencial

Geometria Simpltica

Otimizao

Probabilidade

Sistemas Dinmicos e Teoria Ergdica

A seguir, ser feito um breve resumo sobre as atividades desenvolvidas atualmente


em cada uma das reas acima mencionadas, com a indicao de suas principais linhas
de pesquisa.

13
2.2.1 lgebra

As pesquisas em lgebra no IMPA tm sido realizadas nas seguintes reas:

Geometria Algbrica

Teoria dos Nmeros

lgebra Comutativa

A Geometria Algbrica estuda a classificao, as propriedades de interseo e as


singularidades de conjuntos definidos por equaes polinomiais a vrias variveis.
Classicamente, ela se originou no estudo das curvas e superfcies definidas por tais
equaes. Neste aspecto tem muitas ligaes com o estudo das variedades analticas e
diferenciais. Muitos de seus mtodos so tipicamente da Topologia Algbrica e de
certas partes da Anlise. Em seu aspecto local, a Geometria Algbrica pode ser
expressa na linguagem da lgebra Comutativa. No aspecto global, lana mo de
mtodos cohomolgicos, os quais tem influenciado outras partes da Matemtica.

A Teoria dos Nmeros teve seu impulso inicial na busca de solues inteiras e
racionais de equaes a coeficientes inteiros (equaes diofantinas). Entre outras
coisas, isso levou ao estudo das extenses algbricas finitas do corpo dos nmeros
racionais e ao estudo da aritmtica das variedades algbricas.

Os esforos para resolver abstratamente certos problemas que surgiram na Geometria


Algbrica e na Teoria dos Nmeros Algbricos deram origem lgebra Comutativa,
cujos objetivos principais so a classificao dos anis comutativos e a determinao
de suas estruturas, segundo propriedades geomtricas, aritmticas e algbricas.

Os resultados alcanados nestes tpicos de pesquisa fundamental tm encontrado


ampla aplicao, tanto terica (Fsica, Biologia, etc.) como prtica (Criptografia,
Cdigos, etc.)

No IMPA as principais linhas de pesquisa so:

Singularidades de curvas algbricas;

Curvas algbricas e seus espaos de classificao;

Fibrados vetoriais sobre curvas algbricas;

Curvas algbricas sobre corpos finitos e seus pontos racionais;

Curvas racionais em variedades algbricas.

14
2.2.2 Anlise / Equaes Diferenciais Parciais

As pesquisas em Anlise no IMPA se desenvolvem nos seguintes setores:

Equaes Diferenciais Parciais da Fsica Matemtica: So estudadas equaes de


evoluo no lineares, por exemplo, as de Korteweg-de Vries, Benjamin-Ono,
Navier-Stokes e Euler, e so abordados aspectos tais como a existncia de solues,
a unicidade, dependncia dos dados iniciais e o comportamento assinttico. Outro
tema importante a equao de Schrdinger com funes hamiltonianas
dependentes do tempo, que estudada atravs das propriedades espectrais dos
operadores associados.

Problemas Inversos e Aplicaes: A teoria de problemas inversos se dedica


determinao de parmetros ou funes que entram em modelos fsicos com base
em propriedades ou observaes das solues das equaes que caracterizam tais
modelos. Em geral os modelos considerados levam a equaes diferenciais parciais
cuja soluo requer a utilizao de mtodos numricos conjuntamente com tcnicas
analticas. A rea de problemas inversos tem sido objeto de grande atividade recente
e tem interfaces multi-disciplinares com aplicaes como, por exemplo, em
tomografia computadorizada, geofsica, semi-condutores e finanas quantitativas.

Slitons e Anlise No-Linear: Slitons so ondas de grande amplitude que se


propagam em meios no-lineares e interagem sem mudanas substanciais na sua
forma. Esta teoria se desenvolveu acentuadamente a partir da dcada de 70,
buscando compreender a suepreendente robustez deste fenmeno e desenvolver as
suas inmeras aplicaes, da engenharia tica transmisso de sinais.

Leis de Conservao, Equaes Cinticas, Equaes da Mecnica dos Fluidos e


Teoria Geomtrica da Medida s Equaes Diferenciais: Nesses tpicos so
estudados sistemas de equaes diferenciais parciais no-lineares que surgem na
mecnica do contnuo, na teoria cintica dos gases da mecnica dos fluidos clssica
e relativstica. A Teoria Geomtrica da Medida desempenha um papel fundamental
no estudo dessas equaes em questes como a regularidade, homogenizao,
comportamento assinttico, etc. Tambm so analisados mtodos de aproximao
tais como diferenas finitas, mtodos de relaxao e mtodos cinticos. Os
problemas tratados tm em geral uma forte motivao em aplicaes tais como
fluidos em meios porosos, filtrao, dinmica dos gases, cintica dos gases,
eletromagnetismo, fluxos de trfico, transporte timo de massas, etc.

15
2.2.3 Computao Grfica

O Projeto Visgraf de Viso e Computao Grfica, foi criado em 1989, para


promover e desenvolver as atividades de pesquisa, ensino e desenvolvimento de
projetos nas reas afins que envolvem modelos geomtricos e imagens. O interesse do
IMPA pela Computao Grfica datava de uns dez anos antes, no incio da dcada de
oitenta, quando foi adquirido um terminal grfico Textronix que atualmente parte da
coleo histrica do laboratrio.

O Visgraf adota a filosofia de que a Computao Grfica um ramo aplicado da


Matemtica. Como tal, o grupo est muito interessado nos fundamentos matemticos
da Computao Grfica e em suas aplicaes. As reas principais de pesquisa do
Laboratrio so: Processamento, Sntese e Anlise de Imagens; Visualizao;
Modelagem Geomtrica; Interao; Animao e Multimdia.
Segue-se um resumo mais detalhado das linhas de pesquisa em execuo pelo
grupo.
Modelagem e Visualizao
Estruturas de Malhas Hierrquicas
Mtodos Numricos Intervalares
Superfcies de Subdiviso 4-8
Sntese de Formas em Multi-escala
Textura Dinmica de Superfcies Implcitas

Viso e Processamento de Imagens


rbitro Virtual
Quantizao de Imagens
Meio-tom Digital com curvas de preenchimento do espao

Animao e Multimdia
Visorama: Realidade Virtual com Panoramas
Captura e Processamento de Movimento
Deformao e Metamorfose de Objetos Grficos
Cenrios Virtuais e Composio de Imagens

Interfaces e Aplicaes
VisMed: Visualizao e Anlise de Imagens Mdicas
Fotografia 3D
Visualizao de Dados Geogrficos
Bancos de Dados de Vdeo

O Projeto Visgraf apoiado pela FINEP, CNPq, FAPERJ, e mantm colaborao


regular com o Tecgraf e o Matmdia da PUC-Rio, o CMA da Ecole Polytechnique e o
Media Research Lab do Courant Institute of Mathematical Sciences.

16
2.2.4 Dinmica dos Fluidos

Dinmica dos Fluidos uma rea de pesquisa muito antiga e ao mesmo tempo de
intensa atividade em pesquisa at a presente data. Nesta rea, confluem tcnicas de
Anlise Matemtica, Anlise Assinttica, Anlise Numrica, Probabilidade, Teoria de
Leis de Conservao e de Equaes de Reao-Difuso, de Sistemas Dinmicos, como
Teoria de Bifurcaes, dentre outras. Devido sua relevncia tecnolgica e grande
gama de problemas matemticos interessantes que origina, continua sendo uma das
reas mais importantes de Equaes Diferenciais Parciais. Nas ltimas dcadas tem
sido impulsionada pelo uso intensivo de computadores, no qual a Anlise Numrica
de grande importncia, passando a ser uma rea central em Computao Cientfica.

A partir de 1987 estabeleceu-se no IMPA um pequeno grupo de pesquisa em


Dinmica dos Fluidos com nfase em aplicaes teis ao pas. As principais so:
Recuperao de Petrleo, Aspectos de Modelagem, Previso Numrica de Tempo e de
Modelagem Ambiental, Propagao de Ondas em Meios Heterogneos e Anlise
Numrica, Decomposio de Domnios e Computao Paralela. Mais detalhadamente,
o grupo tem trabalhado em:

Escoamento em Reservatrios Petrolferos;


Modelagem Geofsica: escoamentos no oceano, no subsolo, na atmosfera e em rios;
Propagao de Ondas Costeiras e Ondas Acsticas em meios heterogneos;
Anlise Numrica, Decomposio de Domnios e Computao Paralela.

O Laboratrio de Dinmica dos Fluidos Computacional (www.fluid.impa.br)


utilizado para a realizao de experimentos computacionais e para aulas prticas. As
atividades do grupo espalham-se por uma rede de colaboradores, envolvendo muitas
instituies, tanto brasileiras como estrangeiras, com a realizao de projetos
conjuntos. As suas atividades tm recebido apoio de diversas instituies e
agnciaspfinanciadoras.

17
2.2.5 Economia Matemtica

A Economia Matemtica consiste na aplicao da Matemtica ao desenvolvimento


de modelos econmicos, com o propsito de construir uma Teoria Econmica rigorosa
e unificada. As tcnicas da Anlise Funcional, Topologia, Topologia Diferencial so
de amplo uso no modelo econmico central: A Teoria do Equilbrio Geral. Equaes
Diferenciais e Sistemas Dinmicos provm aos economistas matemticos as
ferramentas bsicas para a anlise do processo ou dinmica econmica. Probabilidade
fundamental no estudo de modelos econmicos, onde risco e incerteza esto
presentes.
Aliada Economia Matemtica, tem-se a Econometria, que estuda as propriedades
dos processos de gerao de dados, das tcnicas de anlise de dados econmicos e os
mtodos de estimao e testes de hipteses econmicas. Nessa rea, o ferramental
desenvolvido pela Estatstica central.
As principais reas de pesquisa desenvolvidas no IMPA atualmente so:

Equilbrio Geral, Economia Dinmica e Teoria do Capital;


Informao e Assimtrica;
Mercados Incompletos e Bancarrota.

18
2.2.6 Geometria Complexa e Folheaes Holomorfas

A teoria das equaes diferenciais complexas foi iniciada no sculo XIX com
os trabalhos de Briot e Bouquet, Poincar, Picard, Darboux, Painlev, Halphen e j no
incio do sculo XX, Dulac. Quando uma equao vem dada por polinmios, ela
define de maneira natural uma folheao por folhas de dimenso um no espao
euclidiano ou em uma de suas compactificaes. A questo principal consiste em
analisar a dinmica das solues (as folhas), tanto local quanto globalmente.
A pesquisa moderna na rea foi retomada por Reeb na Frana, inspirado pelos
trabalhos de Painlev, e por Petrovsky, Landis e Iliashenko na Rssia, motivados pelo
16o problema de Hilbert. A dcada de 70 trouxe intenso desenvolvimento na Frana,
com as contribuies de Moussu, Mattei, Cerveau, Martinet e Ramis, e no Brasil com
os avanos alcanados pelo grupo do IMPA. Desde ento o grupo tem tido
contribuio fundamental no estabelecimento de teoremas importantes,
frequentemente com a colaborao de pesquisadores de universidades brasileiras.
Os fenmenos modelados por equaes diferenciais polinomiais reais geram,
de uma maneira natural, equaes diferenciais complexas. A interface entre a equao
real e a sua complexificada conduz a uma melhor compreenso do fenmeno
modelado. Uma das razes que o estudo do problema complexificado permite a
utilizao de ferramentas provenientes da Anlise Complexa e da Geometria
Algbrica, revelando aspectos no aparentes do problema real e produzindo resultados
que podem ser interpretados no contexto original. Inversamente, o estudo de equaes
diferenciais do tipo Picard-Fuchs e aquelas provenientes de conexes de Gauss-
Manin resulta em demonstraes rigorosas de alguns teoremas fundamentais da
Geometria Algbrica, como o teorema de Noether-Lefschetz. Tais equaes so
satisfeitas por perodos de fibraes e deram origem teoria de Hodge em Geometria
Algbrica.
A pesquisa desenvolvida no IMPA trata de uma variada gama de problemas
que vo desde questes clssicas de integrabilidade por meio de funes
transcendentes at questes mais modernas sobre a dinmica de folheaes e
aplicaes em Geometria Algbrica e Teoria de Hodge. Algumas linhas desta pesquisa
so:

Conjuntos limites de folheaes;


Estrutura transversal de folheaes complexas;
Folheaes projetivas de codimenso um Geometria birracional de folheaes;
Linearizao de folheaes e vizinhanas normais;
Solues algbricas de equaes diferenciais algbricas;
Uniformizao das folhas de uma folheao complexa;
ndices e invariantes de folheaes projetivas;
Componentes irredutveis dos espaos de folheaes 16 problema de Hilbert e
zeros de integrais abelianas;
Equaes de Picard-Fuchs, e teoria de Picard-Lefschetz;
Equaes diferenciais de formas modulares;
Variedades de Calabi-Yau Ciclos de Hodge e ciclos algbricos.

19
2.2.7 Geometria Diferencial

A Geometria Diferencial consiste em aplicaes dos mtodos da Anlise local e


global a problemas de Geometria. Ela tem profundas interligaes com outros
domnios da Matemtica tais como: Equaes Diferenciais Parciais (subvariedades
mnimas), Topologia (Teoria de Morse e classes caractersticas), Funes Analticas
Complexas (variedades complexas), Sistemas Dinmicos (fluxo geodsico) e Teoria
dos Grupos (variedades homogneas). A linguagem e os modelos da Geometria
Diferencial tm encontrado aplicaes em domnios afins tais como a Relatividade e a
Mecnica Celeste. Dado este carter interdisciplinar, a Geometria Diferencial tem
mostrado grande vitalidade e tem se desenvolvido em vrias direes que apresentam
um considervel volume de pesquisas nos dias atuais.
No IMPA, as principais linhas atuais de pesquisa em Geometria Diferencial esto
vinculadas Geometria Riemanniana. Entre elas, podemos mencionar:

Subvariedades Mnimas e de Curvatura Mdia Constante;

Curvatura e Topologia;

Imerses Isomtricas;

Anlise Geomtrica.

20
2.2.8 Geometria Simpltica

Geometria Simpltica um ramo da Geometria Diferencial com razes histricas na


formulao geomtrica da mecnica clssica do sculo XIX, conhecida como
formalismo Hamiltoniano". Seus desenvolvimentos recentes, contudo, so fruto de
sua ntima relao com reas diversas da Matemtica (incluindo topologia, dinmica e
geometria complexa e Fsica Matemtica contemporneas).

No mbito simpltico, os chamados "colchetes de Poisson'' (originados nos


trabalhos clssicos de Poisson, Jacobi, Lie e Hamilton) tem papel de destaque e levam
ao conceito de "variedades de Poisson", que generalizam variedades simplticas. A
geometria de Poisson tornou-se um ativo campo de pesquisa a partir dos anos 1980,
combinando tcnicas de geometria simpltica, teoria de folheaes e teoria de Lie. Por
outro lado, estruturas de Poisson surgem naturalmente como limites semi-clssicos de
sistemas qunticos, e podem ser vistas como objetos intermedirios entre a Geometria
Diferencial e o mundo das lgebras no-comutativas.

As principais linhas de pesquisa desenvolvidas no IMPA atualmente so:

Geometria simpltica equivariante: aes Hamiltonianas e aplicaes momento;

Variedades de Poisson e geometrias relacionadas: estruturas de Dirac e


algebrides de Courant, geometria complexa generalizada;

Groupoides e algebroides de Lie;

Geometria de Poisson e quantizao por deformao; relaes com


geometria no-comutativa.

21
2.2.9 Otimizao

As atividades na rea no IMPA comearam nos anos 70 com o grupo ento


denominado de Pesquisa Operacional. Atualmente, os interesses de pesquisa do grupo
concentram-se em otimizao contnua e reas correlatas. Entre os tpicos especficos
de pesquisa, mencionamos:

Mtodos iterativos para otimizao convexa ou viabilidade convexa de grande


porte, com aplicaes em reconstruo de imagens a partir de projees (por
exemplo, tomografia computadorizada);
Mtodos computacionais para problemas de complementariedade no linear e
desigualdades variacionais;
Generalizaes do mtodo de ponto proximal para otimizao convexa e
desigualdades variacionais montonas (incluindo recentemente casos no convexos
e no montonos);
Mtodos no montonos para otimizao no linear;
Teorias de regularidade em dimenso finita (particularmente, 2-regularidade);
Extenses de operadores montonos maximais, generalizando o -subdiferencial de
uma funo convexa;
Otimizao em espaos de Banach;
Estudo do espao dos cones convexos e fechados;
Otimizao de funes a valores vetoriais.

22
2.2.10 Probabilidade

A Teoria da Probabilidade visa fundamentalmente a modelagem de fenmenos


sujeitos a incerteza. Sua utilizao no planejamento e inferncia estatstica bastante
conhecida. Ela se tem revelado de grande importncia em reas tais como Engenharia
Eltrica, Teoria da Informao (deteco de sinal, controle) e Fsica (Mecnica
Estatstica, Clssica ou Quntica). Ademais, modelos, conceitos e mtodos
probabilsticos so hoje amplamente utilizados em Qumica, Cincias Sociais e
Cincias Econmicas.

As principais linhas de pesquisa no IMPA so:

Comportamento Hidrodinmico de Sistemas de Partculas;


Pequenas Perturbaes Aleatrias de Sistemas Determinsticos;
Percolao;
Sistemas Markovianos com Infinitas Componentes em Interao.

Um objetivo importante obter modelos matematicamente rigorosos que favoream


o entendimento de questes delicadas, ligadas Mecnica Estatstica, tais como o
limite hidrodinmico. Examinam-se tambm conexes com problemas estatsticos de
reconstruo de imagens.

23
2.2.11 Sistemas Dinmicos e Teoria Ergdica
Na segunda metade do sculo XIX, um dos maiores gnios da matemtica de
todos os tempos, Henri Poincar, inicia seus trabalhos cientficos buscando
compreender o comportamento a longo prazo das trajetrias das equaes diferenciais,
sem necessariamente integr-las, ou seja, explicit-las em termos de funes
conhecidas, como as polinomiais, trigonomtricas, exponenciais e logaritmicas.
Poincar props desde o incio que tal estudo fosse restrito maioria das equaes
diferenciais, pois do contrrio ele no seria vivel. Nasce assim, a Teoria Qualitativa
dos Sistemas Dinmicos. A seguir ela se enriquece com os trabalhos de Poincar sobre
sistemas conservativos, especialmente aqueles da mecnica celeste, buscando
compreender a evoluo do sistema solar. O mesmo pode-se dizer quanto evoluo
dos fenmenos naturais de um modo geral.
Esta teoria teve contribuies fundamentais de alguns dos maiores
matemticos do sculo XX, tais como Lyapunov, Andronov, Birkhoff e Kolmogorov.
Neste processo, sua abrangncia cresceu muito, passando-se a contemplar outros
modelos de evoluo no tempo alm das equaes diferenciais: iteraes de
transformaes, equaes diferenciais com retardamento, equaes diferenciais
parciais de evoluo, transformaes e equaes diferenciais estocsticas. Ao mesmo
tempo, intensificou-se a aplicao de resultados e mtodos de Sistemas Dinmicos na
explicao de fenmenos complexos nas diversas cincias: Qumica (reaes
qumicas, processos industriais), Fsica (turbulncia, transio de fase, tica), Biologia
(competio de espcies, neurobiologia), Economia (modelos de crescimento
econmico, mercado financeiro) e muitos outros.
Entre as ferramentas utilizadas por Poincar, menciona-se o estudo das
medidas de probabilidade invariantes sob a ao do sistema, que o objetivo da Teoria
Ergdica. Esta teoria relaciona-se diretamente aos trabalhos de Boltzmann, Maxwell e
Gibbs, que fundaram a Teoria Cintica dos Gases na segunda metade do sculo XIX.
Os teoremas ergdicos provados por Birkhoff e Von Neumann nas primeiras dcadas
do sculo XX, muito contriburam para estabelecer os fundamentos desta rea, que iria
mostrar-se notavelmente bem sucedida no mbito dos sistemas dinmicos
diferenciveis. Alm dos trabalhos pioneiros de Kolmogorov sobre turbulncia, outro
fato notvel foi a constatao, a partir dos trabalhos de Lorenz sobre conveco e
previso do tempo, no incio da dcada de setenta, de que estocasticidade no uma
caracterstica apenas dos sistemas complexos: mesmo fenmenos determinsticos com
leis de evoluo simples no-lineares podem comportar-se de modo at certo ponto
imprevisvel. De fato, as trajetrias de tais sistemas so, com probabilidade total,
sensveis a longo prazo s condies iniciais, comportamento este atualmente
chamado de catico. A Teoria Ergdica pode conduzir a uma descrio bastante
satisfatria desse comportamento, em termos estatsticos ou probabilsticos.
A pesquisa do grupo de Sistemas Dinmicos do IMPA abrange as principais reas
de interesse atual na Dinmica Dissipativa e tambm direes importantes da
Dinmica Conservativa, em que se supe a existncia de uma medida invariante
especial, traduzindo alguma lei de conservao. As atuais linhas de pesquisa no IMPA
so:
Atratores estranhos, medidas fsicas, estabilidade estocstica;
Bifurcaes homoclnicas e dimenses fractais;
Dinmica simpltica;
Dinmica uni-dimensional;
Expoentes de Lyapunov e hiperbolicidade no-uniforme;
Hiperbolicidade parcial, decomposio dominada, robustez dinmica.

24
2.3 Pesquisadores Visitantes. Ps-Doutorado

O IMPA tem um amplo programa de pesquisadores visitantes, comparvel aos dos


melhores centros internacionais. O alto padro cientfico dos projetos de pesquisa
conjuntos desenvolvidos com visitantes do IMPA, do Brasil e do exterior, tem dado
uma contribuio valiosa para o estimulante ambiente que a instituio proporciona
aos seus alunos, em todos os nveis, sobretudo no de Doutorado.
O IMPA mantm intenso intercmbio com pesquisadores das universidades
brasileiras, contribuindo para o progresso da pesquisa matemtica em nosso pas. Por
outro lado, o IMPA, seus pesquisadores e alunos beneficiam-se da presena frequente
destes pesquisadores nacionais. Assim, anualmente, um nmero significativo de
bolsistas de Ps-Doutorado oriundos de nossas universidades tm estagiado no IMPA
por perodos de 6 meses a 1 ano, sendo suas bolsas, s vezes, renovadas para perodos
de at 2 anos. H ainda o Programa de Ps-Doutorado de Vero, especialmente
destinado aos pesquisadores nacionais, os quais tm usufrudo de maneira crescente
desta ocasio para se dedicarem aos seus trabalhos de pesquisa e s atividades de
seminrios e conferncias, bem como ao desenvolvimento conjunto de pesquisas com
membros do corpo cientfico do IMPA ou com visitantes de outros centros.

e-mail: dac@impa.br

2.4 Reunies Cientficas

2.4.1 Colquio Brasileiro de Matemtica

O Colquio Brasileiro de Matemtica uma ampla reunio cientfica organizada


pelo IMPA congregando bianualmente cerca de 1000 estudantes e pesquisadores das
diversas reas existentes do pas, em Matemtica, Matemtica Aplicada e Estatstica.
Tem representado um dos mais significativos elos de unidade da Matemtica
Brasileira, ao longo de quase quatro dcadas de existncia.
Os ltimos Colquios, do 15o ao 28o tm-se realizado no IMPA, devido a sua
adequada infraestrutura e seu ambiente cientfico. So oferecidos cursos elementares e
avanados, cujos professores preparam textos especialmente para este fim. O programa
oferece tambm conferncias de diversos tipos: conferncias plenrias, de carter geral
e proferidas por destacados matemticos, conferncias de divulgao cientfica,
conferncias especializadas e comunicaes.

2.4.2 Reunies por reas de Pesquisa

O IMPA tem realizado vrias reunies anuais em diversas reas de pesquisa. Estas
reunies e o programa de pesquisadores visitantes proporcionam perodos
concentrados de troca de idias com destacados especialistas. Permitem ainda divulgar
as pesquisas realizadas no Brasil, em especial no IMPA, inclusive as teses de nossos
doutorandos, bem como tomar conhecimento em primeira mo de pesquisas
importantes realizadas no exterior. As reunies cientficas representam, assim, mais
um estmulo aos pesquisadores brasileiros e alunos de Doutorado de nossas
instituies.

25
3 ENSINO
e-mail: ensino@impa.br

3.1 Programa de Iniciao Cientfica

As disciplinas de Iniciao Cientfica so destinadas a alunos de Matemtica,


Engenharia, Fsica, Cincias Econmicas, Estatstica e outros cursos superiores. Os
alunos inscritos no Programa de Iniciao Cientfica do IMPA podem receber bolsas
de estudo do CNPq (v. item 3.5.1). O Edital referente ao Programa Institucional de
Bolsas de Iniciao Cientfica (PIBIC) divulgado anualmente, geralmente, nos meses
de maio ou junho.

3.2 Programa de Vero

Nos meses de janeiro e fevereiro o IMPA oferece um Programa Especial de Vero


para professores e alunos de outras instituies, sem interrupo das atividades
normais de ensino e pesquisa. Neste perodo so tambm oferecidos cursos de
Iniciao Cientfica para alunos de graduao do Rio de Janeiro e de outros Estados.
Muitos alunos de ps-graduao de outras instituies tm participado do Programa de
Vero contribuindo para um maior intercmbio entre os diversos centros matemticos.
Para o Programa de Vero, o IMPA oferece algumas bolsas com durao de dois
meses para alunos que no residem na cidade do Rio de Janeiro. Os pedidos de bolsas
para este perodo devem ser realizados no site do IMPA: http://ensino.impa.br, por
meio de formulrio eletrnico, at o dia 30 de setembro.

3.3 Programas de Ps-Graduao

Os alunos regularmente matriculados so admitidos em um dos seguintes


programas:

a) Mestrado (Opes: Matemtica; Economia Matemtica; Computao Grfica;


Matemtica Computacional e Modelagem)

b) Doutorado

Existem na Ps-Graduao do IMPA duas categorias de alunos: alunos


regularmente matriculados e alunos de cursos livres.
possvel a inscrio em disciplinas isoladas no IMPA, como aluno de curso livre,
a critrio da Coordenao de Ensino. Os alunos de cursos livres obtm crditos
correspondentes s disciplinas cursadas que so validados no caso de uma posterior
admisso aos programas de Ps-Graduao.

3.4 Documentos para admisso

O pedido de admisso aos programas de Ps-Graduao do IMPA analisado pela


Comisso de Ensino e deve ser feito por meio de candidatura online, no endereo
http://ensino.impa.br, do qual constam as seguintes etapas:

Para todos os programas:

I - Formulrio eletrnico, devidamente preenchido pelo candidato;

26
II Anexar o histrico escolar oficial, emitido pela Instituio onde o candidato
realizou seus estudos superiores. Se o candidato estiver ainda cursando a graduao,
deve enviar um histrico escolar to completo quanto possvel. A emisso do diploma
de mestrado e doutorado condicionada apresentao do diploma de concluso de
curso;

III - Duas folhas de referncia preenchidas por professores ou outros profissionais


qualificados, por meio eletrnico;

IV - Uma pequena carta, escrita pelo candidato, dizendo quais sero os seus planos
durante e depois do curso a que se candidata. Incluir na mesma uma lista dos livros de
Matemtica, em nvel universitrio, dos quais j leu parte substancial;

V- Um retrato 3 x 4 (digitalizado).

3.5 Bolsas

Visando melhor rendimento no Programa de Ps-Graduao, aconselha-se aos


candidatos admitidos pelo IMPA a iniciarem seus estudos no Perodo de Vero. Para
isto, o IMPA concede-lhes prioridade na distribuio das bolsas de Vero (janeiro-
fevereiro) mencionadas no item 3.2.

3.5.1 Bolsas de Iniciao Cientfica

As bolsas de Iniciao Cientfica so concedidas a alunos de excelente desempenho


atravs do Programa Institucional de Bolsas de Iniciao Cientfica (PIBIC) e outros
programas de responsabilidade de pesquisadores do IMPA. A seleo de candidatos
ocorre normalmente durante o ms de junho. obrigao do aluno bolsista de
Iniciao Cientfica cursar pelo menos uma disciplina por perodo letivo ou participar
de um projeto junto ao professor orientador. As informaes sobre a disponibilidade
destas bolsas podem ser obtidas na Diviso de Ensino.

3.5.2 Bolsas de Mestrado e Doutorado

Estas bolsas so geralmente concedidas pelo Conselho Nacional de


Desenvolvimento Cientfico e Tecnolgico (CNPq) e pela Fundao Coordenao de
Aperfeioamento de Pessoal de Nvel Superior (CAPES). A vigncia de 2 anos para
o programa de mestrado e de 4 anos para o programa de doutorado.
As entidades que fornecem bolsas exigem a aceitao prvia do candidato em uma
instituio e estabelecem prazos para a apresentao dos pedidos. Os interessados em
bolsas de Ps-Graduao devem solicitar admisso ao IMPA no perodo de 1 de
maro a 31 de outubro de cada ano. Pedidos fora do prazo podem ser eventualmente
considerados.

3.6 Disciplinas e crditos

As disciplinas do IMPA so oferecidas nos nveis: Iniciao Cientfica, Mestrado


Profissional, Mestrado e Doutorado.
As disciplinas de Iniciao Cientfica so destinadas a despertar e avaliar vocaes,
e completar o treinamento bsico do estudante de graduao com vistas ao seu

27
aproveitamento na ps-graduao em Matemtica. Ocasionalmente, tais disciplinas
podem ser usadas para cobrir lacunas de formao de candidatos ao Mestrado.
As disciplinas de Ps-Graduao tm a durao de um perodo letivo e constam de
trs horas de aula semanais, exceto no Perodo do Vero quando a carga horria de
seis horas semanais. Cada crdito corresponde a cerca de 16 horas de aula. Em geral
no so computadas aulas/horas de exerccios.
A aprovao em disciplinas de Iniciao Cientfica no contada como crdito de
Ps-Graduao.
O programa de estudos de cada candidato elaborado sob a superviso de um
orientador, designado pela Comisso de Ensino.
Para reconhecimento de crditos cursados em outras instituies, o candidato dever
dirigir um pedido a Comisso de Ensino, anexando as ementas das disciplinas e graus
obtidos. Podero ser reconhecidos, a critrio da Comisso de Ensino, um mximo de
12 crditos obtidos em programas de Ps-Graduao de outras instituies.

3.7 Perodos letivos


Perodo de Vero: janeiro fevereiro
Segundo Perodo: maro junho
Terceiro Perodo: agosto novembro

3.8 Inscries e cancelamentos em disciplinas por meio eletrnico

As inscries nas disciplinas oferecidas no IMPA estaro abertas durante 30


(trinta) dias: 15 (quinze) dias antes e 15 (quinze) dias aps o incio de cada perodo
letivo.
At a metade de cada perodo letivo o aluno regular pode cancelar sua inscrio em
qualquer das disciplinas, respeitado o nmero mnimo de disciplinas a serem cursadas
(vide item 3.8.1).
A inscrio e o cancelamento em uma disciplina, para os alunos matriculados no
IMPA, necessitam do consentimento do seu orientador e aprovao da Coordenao de
Ensino.

3.8.1 Nmero mnimo de disciplinas

Todo aluno bolsista no IMPA considerado em regime de tempo integral, devendo


cursar pelo menos uma disciplina no perodo de Vero (janeiro-fevereiro) e pelo
menos duas disciplinas nos demais perodos letivos. As excees devem ser
autorizadas pela Comisso de Ensino.
Entre as disciplinas acima referidas podem ser includas: Elaborao da Dissertao
de Mestrado, Elaborao de Tese de Doutorado e Seminrios. Tambm podem ser
includos os Cursos de Leitura, desde que aprovados pelo professor orientador e pelo
professor encarregado do curso.
Os alunos matriculados, mesmo em regime de tempo parcial, devem se inscrever
em disciplinas e tm que justificar junto Comisso de Ensino as suas eventuais
ausncias nos perodos letivos do IMPA.

3.9 Critrio de Avaliao do Rendimento

O aproveitamento em cada disciplina avaliado mediante provas, trabalhos


individuais ou exposies orais. O processo de avaliao da responsabilidade do

28
professor encarregado da disciplina, respeitadas as normas gerais da Comisso de
Ensino.
O rendimento do aluno em disciplinas usualmente medido por um dos graus A, B,
C, e F, sendo F o nico grau reprovatrio. No entanto, em Seminrios e em alguns
cursos avanados do Doutorado o rendimento medido pelos graus P (aprovatrio) e F
(reprovatrio).
A Comisso de Ensino acompanha o rendimento do aluno ao longo do programa e
caso considere o desempenho insatisfatrio pode optar pelo seu desligamento. De
modo geral, cada grau F ou C obtido deve ser compensado por um grau A. Alm
disso, a obteno de dois graus F normalmente implica no desligamento do programa.
Utiliza-se ainda o grau I (incompleto) para indicar que o aluno completar o
trabalho da disciplina em poca posterior. No caso deste grau no ser completado at
60 dias aps o trmino do curso, ele ser transformado em grau F.
O grau I ser aceito pela Comisso de Ensino apenas em situaes excepcionais e
amplamente justificadas.

4 INFORMAES DIVERSAS

4.1 Certificado de Aperfeioamento

Pode ser fornecido um Certificado de Aperfeioamento ao aluno que obtiver


aprovao em disciplinas de Ps-Graduao perfazendo, no mnimo, 12 crditos.

4.2 Orientao

Cada aluno matriculado no IMPA tem um professor orientador acadmico que deve
aprovar o programa de estudos do candidato no princpio de cada perodo letivo e
acompanhar o seu desempenho acadmico.

4.3 Trancamento de Matrcula

O pedido de trancamento de matrcula deve ser encaminhado Comisso de Ensino


com aprovao do orientador. O perodo mximo de trancamento 2 (dois) anos. O
retorno ao programa no automtico e depende de uma avaliao da Comisso de
Ensino.

5. MESTRADO
O programa de Mestrado em Matemtica do IMPA consta atualmente das seguintes
opes:
Matemtica
Economia Matemtica
Computao Grfica
Matemtica Computacional e Modelagem

5.1 Condies de Admisso (vide item 3.4)

Ter concludo curso universitrio ou possuir conhecimentos matemticos


considerados suficientes pela Comisso de Ensino.

29
5.2 Disciplinas de 1 ano
Em cada um das opes dos programas de mestrado existe um conjunto de
disciplinas listadas abaixo, que devero ser cursadas durante o primeiro ano. Ao final
do primeiro ano, todos os alunos sero avaliados pela Comisso de Ensino e espera-se
destes um desempenho de excelncia. Os alunos que no obtiverem pelo menos 3
graus A ou B nas disciplinas do 1 ano sero desligados do programa.
Opo Matemtica: Anlise no Rn, lgebra I, Anlise Complexa, Medida e
Integrao, Anlise em Variedades.
Opo Economia Matemtica: Anlise no Rn, Economia Matemtica e Finanas I,
Microeconomia e Medida e Integrao.
Opo Computao Grfica: Anlise no Rn, lgebra Linear e Aplicaes,
Sistemas Grficos 3D, Algoritmos, Processamento de Imagens.
Opo Matemtica Computacional e Modelagem: Anlise no Rn, lgebra Linear
e Aplicaes, Anlise Complexa, Medida e Integrao, Eletiva 1 (escolhida entre
cursos regulares).

5.3 Disciplinas de 2 ano

Opo Matemtica
Cursar 5 disciplinas em pelo menos 3 grupos abaixo:

Grupo 1 Grupo 2 Grupo 3 Grupo 4 Grupo 5


lgebra II Analise Geometria Diferencial Dinmica Cadeia de Markov
Funcional Hiperblica
lgebra Analise Geometria EDO Combinatria I
Comutativa Harmnica Riemanniana

Corpos de EDP Geometria Simpltica Introduo s Combinatria II


Funes Folheaes
Algbricas Holomorfas
Curvas Algbricas EDP: Teoria Grupo Fundamental e Superfcies de Introduo a
Linear Espaos de Riemann Mecnica Estatstica
Recobrimento
Geometria Teoria Introduo Teoria Ergdica Probabilidade I
Algbrica I Analtica dos Geometria Complexa Diferencivel
Nmeros
Geometria Teoria Teoria Geomtrica Topologia Probabilidade II
Algbrica II Espectral dos Grupos Diferencial

Introduo Topologia das Processos


Teoria dos - Variedades - Estocsticos
Nmeros
Introduo s - - - -
lgebras de Lie
Teoria Algbrica
dos Nmeros - - - -
Representaes de
grupos finitos - - - -

30
Opo Economia Matemtica
Eletiva 1
Probabilidade I
Otimizao ou Anlise Numrica
Eletiva 2
Tpicos de Economia Matemtica

Opo Computao Grfica


Processamento Geomtrico
Temas em Computao Visual
Eletiva 1 (escolhida entre cursos regulares)
Eletiva 2

Opo Matemtica Computacional e Modelagem


Anlise Numrica
Equaes Diferenciais Ordinrias
Equaes Diferenciais Parciais
Eletiva 2 (Anlise Funcional, Curso de Leitura em Modelagem Computacional ou outra)
Eletiva 3 (escolhida entre cursos regulares)
Qualquer disciplina de 2 ano pode ser substituda por uma cadeira mais avanada
da mesma rea (por exemplo, EDP: Teoria Linear no lugar de EDP; Geometria
Riemanniana no lugar de Geometria Diferencial), desde que aprovada pelo orientador
acadmico e pela Coordenao de Ensino.

Para reconhecimento de crditos cursados em outras instituies, o aluno dever


dirigir um pedido Comisso de Ensino, anexando as ementas das disciplinas e graus
obtidos. Podero ser reconhecidos, critrio da Comisso de Ensino, um mximo de
12 crditos obtidos em programas de Ps-Graduao de outras instituies.

Alunos com rendimento satisfatrio no programa de mestrado em matemtica


podem, mediante aprovao do orientador e da Coordenao de Ensino, substituir a
dissertao por duas disciplinas de doutorado ou por uma disciplina de doutorado e
pelo Seminrio de Pesquisa. O Seminrio de Pesquisa pretende dar oportunidade aos
alunos de mestrado de tomarem contato com a atividade de pesquisa em Matemtica,
buscando e lendo a literatura sobre um tpico acessvel. Nele, cada aluno dever
preparar uma exposio sobre o tema aprovado pelos pesquisadores responsveis pelo
Seminrio, redigir um artigo expositrio sobre o mesmo e acompanhar as exposies
dos outros alunos matriculados. Sero atribudos graus, como em disciplinas regulares
da ps-graduao, de acordo com o aproveitamento do aluno.

5.4 Dissertao de Mestrado


A elaborao da dissertao dever ser orientada por um professor do IMPA. A
inscrio em Elaborao de Dissertao corresponde a 3 crditos. A Dissertao de
Mestrado consiste numa exposio sistemtica e pessoal de um tpico aprovado pelo
orientador. Depois de redigida a dissertao, o aluno deve entregar um exemplar
Coordenao de Ensino e fazer uma exposio oral perante uma banca composta de
trs professores, nomeada pela Comisso de Ensino. Uma vez aprovado pela banca, o
candidato deve entregar um exemplar em verso eletrnica, para constar da
documentao do IMPA.
31
Os alunos admitidos no programa de mestrado na opo matemtica podero se
inscrever em Elaborao de Dissertao no mximo por dois perodos letivos. Os
alunos admitidos no programa de mestrado em matemtica nas demais opes podero
se inscrever em Elaborao de Dissertao no mximo por trs perodos letivos.

5.5 Condies para Concesso do Grau de Mestre


O grau de Mestre concedido ao aluno matriculado no IMPA que cumprir as
seguintes condies:
a) Obter, no mnimo, 36 crditos de Ps-Graduao no programa de mestrado na
opo Matemtica, na opo Matemtica Computacional e Modelagem e na opo
Computao Grfica e 32 crditos para a opo Economia Matemtica.
b) Ser considerado aprovado nas disciplinas do 1 ano com pelo menos 3 graus A
ou B (vide item 5.2).
c) Opo Matemtica: Redigir, sob a orientao de um professor do IMPA, uma
dissertao de mestrado que deve ser aprovada por uma banca designada pela
Comisso de Ensino; ou cursar pelo menos duas disciplinas de doutorado obtendo
conceitos A ou B; ou cursar uma disciplina de doutorado e participar do Seminrio de
Pesquisa obtendo conceitos A ou B. No caso de optar por substituir a dissertao de
mestrado, o aluno deve submeter, previamente, Comisso de Ensino, um
planejamento de atividades o qual deve ser aprovado pelo orientador.
Opes Economia Matemtica e Matemtica Computacional e Modelagem:
Redigir, sob a orientao de um professor do IMPA, uma dissertao de mestrado que
deve ser aprovada por uma banca designada pela Comisso de Ensino ou cursar pelo
menos duas disciplinas de doutorado obtendo conceitos A ou B. No caso de optar por
substituir a dissertao de mestrado, o aluno deve submeter, previamente, Comisso
de Ensino, um planejamento de atividades o qual deve ser aprovado pelo orientador.
Opo Computao Grfica: Redigir, sob a orientao de um professor do
IMPA, uma dissertao de mestrado que deve ser aprovada por uma banca designada
pela Comisso de Ensino.

d) Demonstrar conhecimentos em nvel de leitura em Ingls.

e) Ter sido aluno regularmente matriculado no IMPA durante pelo menos dois
perodos letivos.

f) Ser aprovado nas disciplinas de 2 ano e obter conceitos mnimos, conforme


abaixo:

Opo Matemtica: obter, no mnimo, quatro graus A ou B nas disciplinas de 2 ano


(vide item 5.3).
Opes: Computao Grfica, Economia Matemtica e Matemtica
Computacional e Modelagem: obter, no mnimo, trs graus A ou B nas disciplinas
de 2 ano (vide item 5.3).

32
5.6 Sugesto de Roteiro

No perodo Agosto-Novembro de seu segundo ano no Programa de Mestrado o


aluno dever iniciar o trabalho de dissertao que ser concludo no vero seguinte ou
fazer a primeira das duas disciplinas de doutorado, que substituiro a dissertao,
fazendo a segunda no vero seguinte ou cursar o seminrio de pesquisa e uma
disciplina de doutorado no vero seguinte.

Opo Matemtica

Perodo 1o Ano 2o Ano 3o Ano


Vero Disciplina de Iniciao Disciplina de Mestrado ou Disciplina de Doutorado
Cientfica Doutorado ou Elaborao de Dissertao
Anlise no Rn
Trs disciplinas de 2 ano
2o Perodo lgebra I vide item 5.3

Anlise Complexa

Duas disciplinas de 2 ano


Medida e Integrao vide item 5.3

3o perodo Disciplina de Doutorado ou


Anlise em Variedades Seminrio de Pesquisa ou
Elaborao de Dissertao

Opo Economia Matemtica

Perodo 1o Ano 2o Ano 3o Ano


Vero Int. Econ. Mat. (+) Eletiva 1 Disciplina de Doutorado ou
ou Anlise na Reta (+) Elaborao de Dissertao
Probabilidade I
Anlise no Rn
2o perodo Otimizao ou
Anlise Numrica
Microeconomia
Eletiva 2
Medida e Integrao Tpicos de Economia
Matemtica
3o perodo Economia Matemtica e
Finanas I Disciplina de Doutorado ou
Elaborao de Dissertao

Obs.: ( + ) Disciplinas de Iniciao Cientfica


Obs. 2: As disciplinas eletivas devero ser escolhidas entre as disciplinas regulares do Mestrado, Doutorado e
Mestrado Profissional em Finanas, excetuando Otimizao 1 e Probabilidade e Processos Estocsticos deste
programa. Estas disciplinas devero ser aprovadas pelo orientador acadmico.

33
Opo Computao Grfica

Perodo 1o Ano 2o Ano 3o Ano


Disciplina de Iniciao Temas em Computao Elaborao de Dissertao
Vero Cientfica Visual

Anlise no Rn Processamento Geomtrico

2o Perodo lg. Linear e Aplicaes Eletiva 1

Sistemas Grficos 3D Elaborao de Dissertao

Algoritmos Eletiva 2

3o Perodo Processamento de Elaborao de Dissertao


Imagens

Obs.: As disciplinas eletivas devero ser escolhidas entre as disciplinas regulares e devero ser
aprovadas pelo orientador acadmico.

Opo Matemtica Computacional e Modelagem

Perodo 1o Ano 2o Ano 3o Ano

Com Dissertao Sem Dissertao Com Dissertao Sem Dissertao

Disciplina de Elaborao de Disciplina de


Vero Iniciao Eletiva 2 Eletiva 2 Dissertao Doutorado
Cientfica
Anlise no Rn Anlise Anlise
Numrica Numrica
lgebra Linear
2o perodo e Aplicaes EDO EDO

Anlise Elaborao de Eletiva 3


Complexa Dissertao
Medida e Elaborao de Disciplina de
3o perodo Integrao Dissertao Doutorado

Eletiva 1 EDP EDP

Obs. 1: A dissertao obrigatria nesse mestrado para alunos em programas especiais (programas de
agncias diferentes de CAPES e CNPq)
Obs. 2: As disciplinas eletivas devero ser escolhidas entre as disciplinas regulares e devero ser
aprovadas pelo orientador acadmico.

34
6. DOUTORADO EM MATEMTICA

6.1 Condies de admisso (vide item 3.4)

Ter concludo curso universitrio ou possuir conhecimentos matemticos,


experincia e maturidade considerados suficientes pela Comisso de Ensino.

6.2 Condies para Concesso do Grau de Doutor

O Grau de Doutor concedido ao aluno devidamente matriculado no IMPA que


cumprir as seguintes condies:

a) Obter quinze crditos em disciplinas de doutorado;

b) Ser aprovado no Exame de Qualificao;

c) Elaborar uma Tese de Doutorado, representando um trabalho de pesquisa original e


significativo sobre teoria matemtica relevante;

d) Ser aprovado no exame de ingls cientfico oferecido no instituto;

e) Ter permanecido durante pelo menos trs perodos letivos como aluno devidamente
matriculado no IMPA;

f) Ser aprovado em pelo menos uma disciplina em trs reas distintas.

So consideradas reas distintas, entre outras:

lgebra
Anlise / Equaes Diferenciais Parciais
Computao Grfica
Dinmica dos Fluidos
Economia Matemtica
Geometria Complexa e Folheaes Holomorfas
Geometria Diferencial
Geometria Simpltica
Otimizao
Probabilidade
Sistemas Dinmicos e Teoria Ergdica

6.3 Estgio I e II

O Programa de Doutorado do IMPA consta de duas etapas: Estgio I e Estgio II.


Ao final do primeiro ano, o desempenho do aluno ser examinado pela Comisso
de Ensino, para efeito de admisso ao Estgio II.

35
6.4 Exame de Qualificao

O Exame de Qualificao dever ser realizado com no mximo um ano e meio


aps o incio do programa em um nico exame oral.
O contedo do exame dever ser de pelo menos quatro cursos do IMPA. Dois
destes cursos devero ser da rea de especializao e os outros dois de reas distintas
da especializao.
A banca ser composta por no mnimo trs membros: o orientador e mais um
pesquisador da rea de especializao, e mais um pesquisador de cada rea abordada.
O exame ser realizado nas duas primeiras semanas de cada perodo letivo. A
designao da banca e a definio do dia do exame ficaro a cargo da Coordenao de
Ensino.
A ementa do exame dever ser enviada pelo orientador do aluno para a aprovao
da Coordenao de Ensino ao final do primeiro ano do programa e ao menos 30 dias
antes do perodo de exames pretendido.
recomendado ao aluno (com aprovao do orientador) preparar previamente
uma exposio de 10 a 15 minutos sobre um dos assuntos da sua ementa. Esta
exposio ser apresentada banca no incio do exame oral.

6.5 Tese de Doutorado


A elaborao da tese deve ser orientada por um professor do IMPA que pode no
ser o mesmo que orientou o aluno antes de seu Exame de Qualificao. A Tese de
Doutorado constitui a principal exigncia para a obteno desse grau. Aps ter
cumprido a exigncia do idioma e depois de redigida a tese, o aluno deve enviar a
verso preliminar Diviso de Ensino com no mnimo 30 dias antes da data sugerida
para a defesa. O orientador de tese deve sugerir uma banca, composta por 5 membros
efetivos e 1 suplente, sendo pelo menos 3 do Instituto, a ser aprovada pela
Coordenao de Ensino.
Se o parecer da banca for favorvel aceitao da tese, o candidato faz uma
exposio pblica oral da mesma e aps arguido pela banca examinadora. tambm
facultado aos membros do corpo cientfico do IMPA dirigir perguntas ao candidato
sobre o assunto da tese.
Uma vez aprovado pela banca, o candidato deve enviar a verso final da Tese com
at 30 dias para a Diviso de Ensino.
Os alunos admitidos no programa de doutorado, podem se inscrever em Preparao
de Tese no mximo por oito perodos letivos.

36
6.6 Oferta Anual de Disciplinas de Doutorado

Vero Maro Agosto


lgebra Comutativa* lgebra Comutativa* lgebras de Vrtices
Anlise Funcional Anlise Harmnica *** Anlise Harmnica ***
Corpos de Funes Algbricas Anlise Numrica Dinmica dos Fluidos ***
Curvas Algbricas Combinatria II Economia Dinmica **
Economia Dinmica ** Dinmica dos Fluidos *** Economia Mat. e Finanas II#
Economia Mat. e Finanas II# Dinmica Hiperblica EDP e Aplicaes ***
Geometria Simpltica# Economia Mat. e Finanas II# EDP: Teoria Linear
Introduo Mecnica Estatstica EDP e Aplicaes *** Fluidos em Meios Porosos
Mtodos Numricos para EDP ** Geometria Algbrica II Folheaes Holomorfas
Representaes de Grupos Finitos Geometria Riemanniana Geometria Algbrica I
Superfcies Algbricas Geometria Simpltica# Geometria das Subvariedades
Teoria Analtica dos Nmeros Int. Geometria Complexa Geometria Simpltica #
Topologia Diferencial Int. s Folheaes Holomorfas Introduo lgebra de Lie
Mtodos Matemticos para Mtodos Computacionais de
Problemas Inversos Otimizao
Otimizao Mtodos Numricos para EDP **
Processamento Geomtrico Paralelismo em Arquiteturas
Processos Estocsticos Modernas
Sistemas Grficos 3D Probabilidade II
Subvariedades Mnimas*** Processamento de Imagens
Teoria Algbrica dos Subvariedades Mnimas***
Nmeros*** Teoria Algbrica dos
Teoria Espectral Nmeros***
Teoria Geomtrica da Teoria Geomtrica dos Grupos
Medida*** Teoria Ergdica Diferencivel
Topologia das Variedades Teoria Geomtrica da Medida***
Tpicos de Teoria de Hodge
Legenda:
#
disciplinas sem perodo definido.
* disciplinas normalmente oferecidas nos perodos de vero e maro.
** disciplinas normalmente oferecidas nos perodos de vero e agosto.
*** disciplinas normalmente oferecidas nos perodos de maro e agosto.

37
7 LISTA DE DISCIPLINAS

Iniciao Cientfica

Anlise na Reta
Computao Grfica 2D
Introduo lgebra Linear
Introduo Economia Matemtica
Introduo Teoria de Vibraes e Ondas

Mestrado Crditos

lgebra Linear e Aplicaes 3


lgebra I 3
lgebra II 3
Algoritmos 3
Anlise Complexa 3
Anlise em Variedades 3
Anlise no Rn 3
Anlise Numrica 3
Cadeia de Markov 3
Combinatria I 3
Economia Matemtica e Finanas I 3
Equaes Diferenciais Ordinrias 3
Equaes Diferenciais Parciais 3
Elaborao de Dissertao 3
Geometria Diferencial 3
Grupo Fundamental e Espao de Recobrimento 3
Introduo Mecnica Estatstica 3
Introduo Teoria dos Nmeros 3
Medida e Integrao 3
Microeconomia 3
Modelagem Computacional 3
Otimizao 3
Paralelismo em Arquiteturas Modernas 3
Probabilidade I 3
Processamento de Imagens 3
Processamento Geomtrico 3
Representaes de Grupos Finitos 3
Sistemas Grficos 3D 3

Doutorado Crditos

lgebra Comutativa 3
lgebras de Vrtices 3
Anlise Funcional 3
Anlise Geomtrica 3
Anlise Harmnica 3
Anlise Numrica 3
38
Combinatria II 3
Corpos de Funes Algbricas 3
Curvas Algbricas 3
Dinmica dos Fluidos 3
Dinmica Hiperblica 3
Economia Dinmica 3
Economia Matemtica e Finanas II 3
Equaes Diferenciais Parciais e Aplicaes 3
Equaes Diferenciais Parciais: Teoria Linear 3
Fluidos em Meios Porosos 3
Folheaes Holomorfas 3
Geometria Algbrica I 3
Geometria Algbrica II 3
Geometria das Subvariedades 3
Geometria Riemanniana 3
Geometria Simpltica 3
Introduo Geometria Complexa 3
Introduo Mecnica Estatstica 3
Introduo s lgebras de Lie 3
Introduo s Folheaes Holomorfas 3
Mtodos Computacionais de Otimizao 3
Mtodos Matemticos para os Problemas Inversos 3
Mtodos Numricos para Equaes Diferenciais Parciais 3
Otimizao 3
Paralelismo em Arquiteturas Modernas 3
Probabilidade II 3
Processamento de Imagens 3
Processamento Geomtrico 3
Processos Estocsticos 3
Representaes de Grupos Finitos 3
Sistemas Grficos 3D 3
Subvariedades Mnimas 3
Superfcies Algbricas 3
Superfcies de Riemann 3
Teoria Algbrica dos Nmeros 3
Teoria Analtica dos Nmeros 3
Teoria dos Jogos No Cooperativos 3
Teoria Ergdica Diferencivel 3
Teoria Espectral 3
Teoria Geomtrica da Medida 3
Teoria Geomtrica dos Grupos 3
Topologia das Variedades 3
Topologia Diferencial 3

39
8. PROGRAMAS DAS DISCIPLINAS
8.1 Iniciao Cientfica

8.1.1 Anlise na Reta


Induo matemtica. Propriedades bsicas dos nmeros reais. Limite de uma
sequncia. Sries de nmeros reais. Convergncia absoluta e condicional. Principais
testes de convergncia de sries. Noes de topologia na reta. Funes contnuas;
operaes. Teorema do valor intermedirio. Teorema de Weierstrass sobre extremos de
funes contnuas. Continuidade uniforme. Derivada num ponto. Regra da cadeia.
Relao entre derivada e crescimento. Teorema do valor mdio. Funes convexas.
Funes integrveis. Teorema fundamental do clculo. Mudana de varivel.
Integrao por partes. Teorema da mdia. Frmula de Taylor.

Referncias:

LANG, S. - Analysis I, Reading, Mass., Addison-Wesley, 1968.


LIMA, E. L. - Anlise Real, Vol. 1, Rio de Janeiro, IMPA. Coleo Matemtica
Universitria, 1999.
LIMA, E. L. - Curso de Anlise, Vol.1, Rio de Janeiro, IMPA, Projeto Euclides,
1989.
RUDIN, W. - Principles of Mathematical Analysis. 2nd ed., New York, McGraw-
Hill, 1964.

8.1.2 Computao Grfica 2D


Percepo e espaos de cor. Transparncia e composio. Imagens digitais.
Amostragem e reconstruo. Transformaes do plano. Curvas polinomiais.
Preenchimento. Recorte. Visibilidade. Estruturas de acelerao. Gradientes de cor.
Operaes em imagens. Animao.

Referncias:

Artigos diversos

8.1.3 Introduo lgebra Linear


Espaos vetoriais, bases, dimenso. Transformaes lineares, ncleo, imagem,
projees e soma direta. Matrizes. Eliminao gaussiana. Produto interno. Teorema
espectral para operadores auto-adjuntos. Operadores ortogonais e anti-simtricos.
Pseudo-inversa, formas quadrticas e superfcies quadrticas. Determinantes.
Polinmio caracterstico. Espaos vetoriais complexos, forma triangular. Teorema
espectral para operadores normais, hermitianos e unitrios. Operadores nilpotentes.
Forma cannica de Jordan.

Referncias:

HALMOS, P. R. - Finite Dimensional Vector Spaces. Ed. Van Nostrand,


Princeton, New Jersey, 1958.

40
LIMA, E. L. - lgebra Linear. Coleo Matemtica Universitria, IMPA, 1995.

8.1.4 Introduo Economia Matemtica


O comportamento dos agentes econmicos: consumidores e firmas. Equilbrio
Walrasiano. Optimalidade de Pareto. Teoria da escolha social.

Referncias:

ARAJO, A. - Introduo Economia Matemtica. Rio de Janeiro, IMPA, 14


Colquio Brasileiro de Matemtica, 1984.
KREPS, D. - A Course in Microeconomic Theory, MIT Press, 1990.

8.1.5 Introduo Teoria de Vibraes e Ondas

Pr-requisitos: Cursos de graduao em Equaes Diferenciais Ordinrias e lgebra


Linear.

Equaes do movimento: princpio variacional, simetrias, leis de conservao.


Oscilaes: autovalores, estabilidade, ressonncias. Ondas lineares: equaes discretas
e contnuas, o mtodo espectral. Ondas nonlineares: modelos matemticos, solues
bsicas, aplicaes.

Referncias:

ARNOLD, V.I. - Mathematical Methods of Classical Mechanics. Springer, 1989.


WHITHAM, G.B. - Linear and Nonlinear Waves. New York, Wiley, 1974

8.2 Mestrado

8.2.1 lgebra Linear e Aplicaes


Pr-requisitos: lgebra Linear (graduao) e Anlise na Reta (graduao).

Fundamentos de lgebra matricial: operaes elementares e soluo de sistemas


lineares: problemas mal condicionados. Espaos lineares: os quatro espaos lineares
associados a uma matriz; aplicaes lineares: mudanas de base. Teoria espectral:
determinantes, autovalores/autovetores; espaos normados; projees ortogonais e
oblquas; mnimos quadrados e outros mtodos de minimizao; matrizes positivas
definidas (aplicaes auto-adjuntas). Clculo matricial: regras de diferenciao e
funes matriciais (exponencial de uma matriz). Aplicaes em modelagem e anlise
numrica.

Referncias:

LAX, P. - Linear Algebra, New York. John Wiley, 1997.


LIMA, E. L. - lgebra Linear. Coleo Matemtica Universitria, IMPA, 1995.
STRANG, G. - Linear Algebra and its Applications. 3 ed. San Diego. HBJ, 1988.

41
8.2.2 lgebra I
Anis euclidianos, inteiros de Gauss. Anis fatoriais, critrio de Eisenstein, lema de
Gauss. Polinmios simtricos, algoritmo de Newton. Resultante, teorema de Bezout.
Mdulos sobre domnios principais, forma cannica de Jordan. Teorema da base de
Hilbert. Teorema dos zeros de Hilbert. Grupos, grupos quocientes. Teorema de
Lagrange. Grupos finitos com dois geradores. Grupos de permutaes. Teorema de
Sylow. Teorema de Jordan-Hlder. Grupos solveis.

Referncias:

ARTIN, M. - Algebra. Prentice-Hall, New Jersey, 1991.


GARCIA, A. and LEQUAIN, Y. - lgebra: um curso de Introduo. Rio de
Janeiro, IMPA, Projeto Euclides, 1988.
JACOBSON, N. - Lectures in Abstract Algebra, Vol. I, Van Nostrand, New York,
1951.
VAN DER WAERDEN, B. L. - lgebra Moderna. Vol. I, Lisboa, Sociedade
Portuguesa de Matemtica, 1948.

8.2.3 lgebra II
Equao do terceiro grau (discriminante). Construo com rgua e compasso. Corpo de
fatorao e grupo de Galois de um polinmio. Teorema fundamental da teoria de
Galois. Corpos finitos. Funes simtricas. Extenses ciclotmicas. Grupos solveis.
Solubilidade por radicais. Extenses transcendentes. Base e grau de transcendncia.
Extenses transcendentes puras, teorema de Luroth. Bases separantes.

Referncias:

ARTIN, M. - Algebra. Prentice-Hall, New Jersey, 1991.


ENDLER, O. - Teoria dos Corpos, Rio de Janeiro, (Monografias de Matemtica, n
44), IMPA, 1987.
LANG, S. - Algebra. Reading, Mass., Addison-Wesley, 1965.
VAN DER WAERDEN, B. L. - lgebra Moderna. Vol. 1, Lisboa, Sociedade
Portuguesa de Matemtica, 1948.

8.2.4 Algoritmos
Conceitos bsicos: algoritmos, modelos de computao, computabilidade,
complexidade. Anlise de algoritmos: recorrncias, crescimento assinttico de
funes. Ordenao: limites inferiores, algoritmos timos, heaps, priority queues.
Algoritmos em grafos: busca em largura e em profundidade, conectividade,
componentes conexas, rvores geradoras.
Algoritmos em matemtica: polinmios, FFT, aritmtica modular, testes de
primalidade, criptografia RSA. Algoritmos geomtricos: fecho convexo, localizao
de pontos, interseo de segmentos, par mais prximo, crculo mnimo, triangulao
de polgonos, triangulao de pontos. Problemas NP-completos.

42
Referncia:

THOMAS H. CORMEN, CHARLES E. LEISERSON, RONALD L. - Introduction


to Algorithms, Third Edition. Rivest and Clifford Stein MIT Press, 2009 ISBN-
10: 0-262-03384-4 ISBN-13: 978-0-262-03384-8

8.2.5 Anlise Complexa


Sequncias e sries de funes: convergncia uniforme, sries de potncias. Funes
analticas: sries de potncias, frmula integral de Cauchy. Sries de Taylor e de
Laurent. Singularidades. Teorema de resduos e aplicaes. Aplicaes conformes.
Teorema da representao conforme de Riemann. Funes harmnicas no plano.
Integrais curvilneas (homotopia).

Referncias:

AHLFORS, L. - Complex Analysis. New York, McGraw-Will, 1966.


CARTAN, H. - Therie lementaire des Fonctions Analytiques d'une ou Plusieurs
Variables Complexes. Paris, Hermann, 1961.
CONWAY, J. B. - Functions of One Complex Variable, Berlin, Springer-Verlag,
1978.
KNOPP, K. - Theory of Functions, Vol.2, New York, Dover, 1945.
LIMA, E. L. - Curso de Anlise. Vol. 2. Rio de Janeiro, IMPA, Projeto Euclides,
1989.

8.2.6 Anlise em Variedades


Pr-requisitos: Anlise no Rn

Variedades diferenciveis, variedades com bordo, variedades orientveis. Partio da


unidade. Aplicao: Teorema do mergulho de Whitney para variedades compactas.
Fibrado tangente, cotangente. Aplicaes diferenciveis, valores regulares. Formas
alternadas, formas diferenciais, diferencial exterior. Integrais de superfcies. Teorema
de Stokes. Cohomologia de De Rham. Sequncia de Mayer-Vietoris. Invarincia por
Homotopia. Campos de vetores como sees e como derivaes. Tensores.
Aplicaes.

Referncias:
LIMA, E.L. - Curso de Anlise - Vol. 2. Rio de Janeiro, IMPA, Projeto Euclides,
1989.
LIMA, E.L. - Homologia basica. Rio de Janeiro, IMPA, Projeto Euclides, 2009.
SPIVAK, M. - Calculus on Manifolds. New York. Benjamin, 1965.
TU, L. W. - An introduction to manifolds. Universitext. Springer, New York, 2008.

8.2.7 Anlise no Rn
Topologia do espao euclidiano. Aplicaes diferenciveis entre espaos euclidianos.
Derivada como transformao linear. O gradiente. Regra da cadeia. Caminhos no Rn.
Aplicaes de classe Cn : frmula de Taylor. Sequncias e sries de funes. Teorema
da funo inversa; formas locais de imerses e submerses; funes implcitas:
teorema do posto. Superfcies; multiplicadores de Lagrange. Integrais mltiplas.
43
Integral superior e integral inferior de uma funo limitada num retngulo. Mudanas
de variveis em integrais mltiplas.

Referncias:

COURANT, R. Differential and Integral Calculus. Vol. 2, New York,


Interscience, 1937.
LANG, S. - Undergraduate analysis. New York: Springer-Verlag, 1983.
LIMA, E. L. - Anlise no espao Rn. Coleo Matemtica Universitria, Rio de
Janeiro, IMPA, 2004.
LIMA, E. L. - Curso de Anlise. Vols. 1 e 2. Rio de Janeiro, IMPA, Projeto
Euclides, 1989.
LIMA, E. L. Anlise real. Vol. 2 Coleo Matemtica Universitria, Rio de
Janeiro, IMPA, 2004.

8.2.8 Anlise Numrica


Pr-requisitos: lgebra Linear e Aplicaes, Anlise no Rn e Anlise Complexa.

Anlise de erros, interpolao, integrao numrica. lgebra linear numrica: mtodos


diretos e iterativos para sistemas lineares. Sistemas no lineares: mtodos de Newton.
Tpicos complementares: a) Problemas de autovalores. b) Mtodos numricos em
equaes diferenciais ordinrias. c) Outros tpicos de interesse atual.

Referncias:

GOLUB, E., VAN LOAN, C. - Matrix Computations. John Hopkins. Univ. Press,
1983.
ORTEGA, J. M. - Numerical Analysis, A Second Course. New York, Academic
Press, 1972.
STOER, J., BULIRSCH, R. - Introduction to Numerical Analysis. Berlin,
Springer- Verlag, 1980.

OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.2.9 Cadeia de Markov


Pr-requisitos: Familiariedade com conceitos elementares de probabilidade (no nvel
do Captulo 1 de "Probabilidade: Um Curso em Nvel Intermedirio" de Barry James,
por exemplo). Algum conhecimento de lgebra linear e/ou lgebra elementar
aconselhvel, porm no imprescindvel.

O curso estar baseado no livro "Markov Chains and Mixing Times" de Levin, Peres e
Wilmer, e constar de duas partes. A primeira parte, de aproximandamente um ms de
durao, cobrir os primeiros captulos do livro e intoduzir conceitos bsicos sobre
Cadeias de Markov. A segunda parte do curso cobrir tpicos selecionados do livro de
Levin, Peres e Wilmer e/ou outras fontes, e incluir aplicaes da teoria de Cadeias de
Markov em reas de pesquisa recente.

44
Referncia:
LEVIN, D. A., PERES, Y. , WILMER E. L. - Markov chains and mixing times,
Providence, R.I. : American Mathematical Society, c2009.

8.2.10 Combinatria I
Conjuntos: teoremas de Sperner, Erds-Ko-Rado, Kruskal-Katona. Grafos: rvores,
nmero cromtico, grafos planares, teoremas extremais de Turan, Kvri-Ss-Turn e
Erds-Stone. Teoria de Ramsey. Grafos aleatorias. O lema de Szemeredi e aplicaes.
Tcnicas da lgebra e Topologia em Combinatria. Combinatria Aditiva.

Referncias:

BOLLOBS, B. - Modern Graph Theory, New York : Springer, c1998.


ALON, N., SPENCER, JOEL H. - The Probabilistic Method, 3rd ed. Hoboken,
N.J.: Wiley, c2008.

8.2.11 Economia Matemtica e Finanas I


Maximizao individual: preferncias, utilidade, teorema de representao. Equilbrio
Walrasiano: Existncia e optimalidade de Pareto. Teoria do ncleo (core): Teorema de
Debreu-Scarf. Teorema da impossibilidade de Arrow. Teoria dos jogos: Manimax,
equilbrio de Nash-Cournot e o valor de Shapley. Equilbrio geral e finanas: medidas
equivalentes de Martingale e preos de Arrow e Debreu. Derivativos.

Referncias:

ARAUJO, A. - Introduo Economia Matemtica, Rio de Janeiro, 14o Colquio


Brasileiro de Matemtica, IMPA, 1984.
DEBREU, G. - Theory of Value, Cowles Foundation, Yale University Press, 1959.
DUFFIER, D. - Dynamic Asset Pricing Theory, 2nd ed., Princeton University
Press, 1996.
HUANG, C., LITZENBERG, R. - Foundations for Financial Economics, North-
Holland Publishing Co., New York-Amsterdam, 1988.
MAS-COLELL, A., WHINSTON, M., GREEN, J. - Microeconomic Theory,
Oxford University Press, 1995.

8.2.12 Equaes Diferenciais Ordinrias


Teorema de existncia e unicidade. Dependncia diferencivel das condies iniciais.
Equaes lineares. Exponencial de matrizes. Classificao dos campos lineares. Forma
cannica de Jordan. Equaes lineares no autnomas: soluo fundamental e teorema
de Liouville. Equaes lineares no homogneas. Equaes com coeficientes
peridicos, teorema de Floquet. Estabilidade e instabilidade assinttica de um ponto
singular de uma equao autnoma. Funes de Lyapounov. Pontos fixos hiperblicos.
Enunciado do teorema de linearizao de Grobman-Hartman. Fluxo associado a uma
equao autnoma. Conjuntos limites. Campos gradientes. Campos Hamiltonianos.
Campos no plano: rbitas peridicas e teorema de Poincar-Bendixon. rbitas
peridicas hiperblicas. Equao de Van der Pol.

45
Referncias:

ARNOLD, V. - Equations Differentialles Ordinaires. Moscou, Ed. Mir, 1974.


HIRSCH, M., SMALE, S. - Differential Equations Dynamical Systems and Linear
Algebra. New York, Academic Press, 1974.
PONTRYAGIN, L. S. - Ordinary Differential Equations. Reading, Mass., Addison-
Wesley, 1969.
SOTOMAYOR, J. - Lies de Equaes Diferenciais Ordinrias. Rio de Janeiro,
IMPA, Projeto Euclides, 1979.

8.2.13 Equaes Diferenciais Parciais

Pr-requisitos: Anlise no Rn, Medida e integrao

A equao geral de primeira ordem para uma funo de duas variveis e o problema de
Cauchy associado. Sugestes de tpicos adicionais: Introduo ao problema de
Cauchy para equaes de evolues no lineares. Classificao de equao de segunda
ordem em duas variveis independentes. Problemas com condies de contorno e/ou
condies iniciais. Problemas bem-postos. Exemplos. O mtodo de separao de
variveis e o problema de conduo de calor em uma barra finita. Sries de Fourier em
senos e co-senos e na forma complexa. Convergncia pontual. Relaes entre a
diferenciabilidade e a transformada de Fourier. Convergncia uniforme. Aplicaes
aos problemas de conduo de calor em uma barra, da corda vibrante finita e de
Dirichlet no retngulo. Aproximao por convoluo e aplicaes (teorema de Fejer e
o problema de Dirichlet no disco unitrio). Distribuies peridicas. O espao L2[-
,], como subespao das distribuies peridicas. Noes de espaos de Hilbert.
Aplicaes s equaes de calor, onda, Poisson e Schrndinger. Equaes lineares e
quase-lineares de primeira ordem. Mtodo das caractersticas. O problema de Cauchy
para a equao quase-linear. A equao de Korteweg-de Vries nos espaos de Sobolev
do crculo. Separao de variveis e o problema de valor inicial para a equao de
calor na reta. A transformada de Fourier em R. A frmula de inverso. O espao de
Schwartz e a transformada de Fourier. Distribuies temperadas. Os espaos L2(R).
Aplicaes s equaes de calor, onda, Poisson e Schrdinger.

Referncias:

EVANS, L. C. - Partial Differential Equations, Graduate Studies in Mathematics,


19, AMS, 1998.
FIGUEIREDO, D.G. - Anlise de Fourier e Equaes Diferenciais Parciais. Rio de
Janeiro, IMPA, Projeto Euclides, 1977.
GUSTAFSON, K. - Introduction to Partial Differential Equations and Hilbert space
methods, New York, Wiley, 1980.
IRIO JR., R., IRIO, V. - Equaes Diferenciais Parciais, uma introduo. Rio
de Janeiro, IMPA, Projeto Euclides, 1988.
JOHN, F. - Partial Differential Equations, Springer-Verlag, New York, Third
edition, 1978.
SOBOLEV, S. L. - Partial Differential Equations of Mathematical Physics.
Reading Mass., Addison-Wesley, 1964.

46
8.2.14 Geometria Diferencial
Pr-requisitos: Anlise em Variedades (variedades e tensores), Teorema fundamental
das equaes diferenciais ordinrias (podendo ser cursada em paralelo).

Curvas e superfcies no R3. Primeira forma fundamental, rea. Aplicao normal de


Gauss; direes principais, curvatura Gaussiana e curvatura mdia, linhas de curvatura.
Exemplos clssicos de superfcies. Geometria intrnseca: mtrica e derivada
covariante, o teorema Egregium; curvatura geodsica; equaes das geodsicas,
clculo de geodsicas em superfcies. O teorema de Gauss-Bonnet. Rigidez da esfera
em R3 e Teorema de Alexandrov. Fibrados, fibrados vetoriais e fibrados principais.
Conexes em fibrados. Mapas de fibrados, pull-back. Subfibrados e Teorema de
Frobenius. Teoria de Chern-Weil. Teorema de Gauss-Bonnet em dimenses
superiores. Outros tpicos.

Referncias:

CARMO, M. - Differential Geometry of Curves and Surfaces. Englewood Cliffs,


Prentice-Hall, 1976.
DUPONT, J. Fiber Bundles in Gauge Theory, Arhus Universitet, 2003.
DUPONT, J. Curvature and Characteristic Classes, Springer, 1978.
KOBAYASHI, S. e NOMIZU, K. Foundations of Differential Geometry, Wiley
Interscience, 1996.
MADSEN, H. From Calculus to Cohomology: De Rham Cohomology and
Characteristic Classes, Cambridge University Press, 1997.
MONTIEL, S. e ROS, A. - Curves and Surfaces, Graduate Studies in Mathematics,
vol. 69, AMS, 2005.
POOR, W. A. Differential Geometric Structures, Dover Publications; Dover Ed
edition, 2007.
SPIVAK, M. - A Comprehensive Introduction to Differential Geometry, vol.3,
Berkeley, Publish or Perish, 1979.

8.2.15 Grupo Fundamental e Espao de Recobrimento

Homotopia. Grupo fundamental. Exemplos e aplicaes: grupo fundamental do


crculo, espaos projetivos, grupos clssicos. Teorema de Seifert e Van Kampen.
Espaos de recobrimento. Recobrimento e grupo fundamental. Recobrimento
universal. Grupo fundamental das superfcies compactas. Recobrimento duplo
orientado. Outros tpicos.

Referncias:

FULTON, W. - Algebraic topology, Springer, 1999.


LIMA, E. L. - Grupo Fundamental e Espaos de Recobrimento. Projeto Euclides.
Rio de Janeiro, IMPA, 2006.
MASSEY, W. S. - A Basic Course in Algebraic Topology, Graduate Texts in
Mathematics, Springer-Verlag, 1991.

47
8.2.16 Introduo Mecnica Estatstica

Sistemas hamiltonianos, teorema de Liouville, teorema da recorrncia de Poicarr,


teorema de Birkhoff, hiptese de Boltzmann, ensembles estatsticos, medida de Gibbs,
modelo de Ising, limite termodinmico, desigualdade de FKG, transio de fase,
diagrama de fase, modelos de FK, teoria de Pirogov-Sinai:

Referncias:

FEYNMAN, R.P. - Statistical mechanics; A set of lectures. Reading, Mass.: W. A.


Benjamin, 1972.
PRESUTTI, E. - Scaling limits in statistical mechanics and microstructures in
continuum mechanics. Berlin: Springer, 2009.
SACHA FRIEDLI. - Elements of Statistical Mechanics and Large Deviation
Theory.
YVAN VELENIK. - Le Modle de Ising.
OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.2.17 Introduo Teoria dos Nmeros


Divisibilidade. Congruncias. A funo de Euler. O teorema de Euler. Razes
primitivas. Equaes diofantinas simples. Reciprocidade quadrtica. Testes de
primalidade. O critrio de Lucas-Lehmer. Fraes contnuas e aproximaes
diofantinas. Comentrios sobre espectro de Lagrange. O teorema de Khintchine.
Estimativas assintticas de funes aritmticas. O teorema de Dirichlet. O teorema dos
nmeros primos.

Referncias:

HARDY, G. H., WRIGHT, E. M. - An introduction to the theory of numbers, 3


ed., Oxford, at the Clarendon Press, 1954.
IRELAND, K., ROSEN, M. - A classical introduction to modern numbers theory,
2 ed., New York, Springer -Verlag, 1982 - 1990.
CASSELS, J. W. S. - An introduction to diophantine aproximations, Cambridge,
at the University Press, 1957.
VINOGRADOV, I. M. - Elements of number theory, Dover, 1954.
MOREIRA, C. G., SALDANHA, N. - Primos de Mersenne e outros primos muito
grandes - 22 Colquio Brasileiro de Matemtica. Rio de Janeiro. Terceira edio,
IMPA, 2008.
BROCHERO, F., MOREIRA, C.G., SALDANHA, N., TENGAN, E. - Teoria dos
nmeros - um passeio pelo mundo inteiro com primos e outros nmeros familiares,
Projeto Euclides, IMPA, 2010.

8.2.18 Medida e Integrao


Pr-requisito: Anlise no Rn

48
Teoremas de extenso de medidas e integrais. Teoremas bsicos de convergncia.
Medidas com sinal. Teorema de decomposio de Hahn-Jordan. Medidas
absolutamente contnuas. Teorema de decomposio de Lebesgue. Teorema de Radon
Nikodym. Espaos Lp: Propriedades bsicas, dualidade. Espaos produto. Teorema de
Fubini-Tonelli. Teorema de representao de Riesz-Markov. Convergncia em
medida. Relao entre diferenciao e integrao: Teorema de Vitali. Teorema de
diferenciao de Lebesgue.

Referncias:

ARMANDO CASTRO JR, A. Curso de Teoria da Medida. Rio de Janeiro,


IMPA, Projeto Euclides, 2. ed., 2008.
BARTLE, R. - The Elements of Integration, New York, J. Wiley, 1966.
FERNANDEZ, P. - Medida e Integrao. Rio de Janeiro, IMPA, Projeto Euclides,
1976.
ISNARD, C. - Introduo Medida e Integrao. Projeto Euclides, IMPA, 2007.
ROYDEN, M. - Real Analysis. New York, The MacMillan, 1963.
RUDIN, W. - Real and Complex Analysis. New York, Mc-Graw Hill, 1966.

8.2.19 Microeconomia
Maximizao com restries. Teoria do consumidor. Teoria da firma. Concorrncia
perfeita. Monoplios. Economia em presena de incerteza. Bens pblicos e
externalidade.

Referncias:

KREPS, D. - A Course in Microeconomic Theory, Princeton University Press,


1990.
MAS-COLELL, A., WHINSTON, M., GREEN, J. - Microeconomic Theory,
Oxford University Press, 1995.
VARIAN, H. - Microeconomic Analysis, 2nd ed., New York, W. W. Norton &
Company, 1984.

8.2.20 Modelagem Computacional


Pr-requisitos: lgebra Linear e Aplicaes, Anlise no Rn, Anlise Complexa e
conhecimentos slidos de EDO e EDP no nvel de graduao: equao da onda, do
calor e equao de Laplace em domnios finitos, separao de variveis.

Introduo modelagem via problemas de dinmica de populaes. Fundamentos


tericos de Equaes Diferenciais Ordinrias (EDOs). Dependncia contnua nos
parmetros e dados. Mtodos numricos para a soluo de EDOs. Mtodos explcitos e
implcitos, mtodos de passo nico ou mltiplo. O problema teste e a regio de
estabilidade absoluta para os respectivos mtodos. Amortecimento esprio de solues
numricas. Equaes rgidas. Validao computacional atravs de experimentos
usando o MATLAB. Introduo modelagem via equaes diferenciais parciais:
mecanismos de transporte e difuso. Soluo numrica da equao de adveco-
difuso: mtodos explcitos e implcitos. Soluo numrica da equao da presso

49
(Laplace). Validao computacional atravs de experimentos usando o MATLAB.
Evidncia computacional da condio de CFL e de difuso numrica para a equao de
adveco.
Aplicaes: modelagem de escoamentos em meios porosos e de escoamentos em guas
rasas. Modelos lineares e no-lineares.

Referncias:

BURDEN, R.L. and FAIRES, J.D. - Numerical Analysis, 5th. ed., PWS-Kent
Publishing Company, 1993.
COOPER, J.M. - Introduction to Partial Differential Equations with MATLAB,
Birkhuser, 1998.
NACHBIN, A. e TABAK, E. - Equaes Diferenciais em Modelagem Matemtica
e Computacional, 21o Colquio Brasileiro de Matemtica, IMPA, 1997.
STRIKWERDA, J.C. - Finite Difference Schemes and Partial Differential
Equations, Brooks/Cole Publishing, 1989.

8.2.21 Otimizao
Existncia de solues. Condies de otimalidade para problemas sem restries.
Condies de otimalidade em forma primal para problemas com restries. O cone
tangente. Condies de otimalidade no caso das restries de igualdade (condies de
Lagrange, condies de segunda ordem). Conjuntos convexos. Teoremas de
separao. Teoremas de alternativa. Funes convexas. Condies de otimalidade no
caso das restries de igualdade e desigualdade (condies de Karush-Kuhn-Tucker,
condies de segunda ordem). Elementos da Teoria de Dualidade.

Referncias:

BAZARAA, M. S., SHERALI, H. D., SHETTY, C. M. - Nonlinear programming:


Theory and algorithms. 3nd ed. Wiley-Interscience, John Wiley & Sons, Hoboken,
NJ, 2006.
BERTSEKAS, D. P. - Nonlinear programming, Belmont, Mass.: Athena Scientific,
1995.
IZMAILOV, A., SOLODOV, M. - Otimizao, volume 1: Rio de Janeiro, IMPA,
2005.
LUENBERGER, D. G. - Linear and nonlinear programming. 2nd ed. Kluwer
Academic Publishers, Boston, MA, 2003.
PERESSINI, A. L.; SULLIVAN, F. E., UHL, J. J., JR- The mathematics of
nonlinear programming. Undergraduate Texts in Mathematics. Springer-Verlag,
New York, 1988.
ROCKAFELLAR, R. T. - Convex Analysis. Princeton Univ. Press, 1970.

OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.2.22 Paralelismo em Arquiteturas Modernas


Arquitetura de sistemas computacionais contemporneos, com nfase em sistemas
com mltiplos processadores, processadores com mltiplos ncleos, e unidades

50
aritmticas vetoriais. Histria dos sistemas grficos, passando do hardware com
funcionalidade fixa para o programvel. Programao de cada estgio do sistema
grfico, com nfase em aplicaes de visualizao em tempo real. Arquitetura das
placas de vdeo modernas. Problemas e algoritmos adequados a cada tipo de
arquitetura.

Referncias:

AKENINE-MLLER, T.; Haines, E.; Hoffman, N. Real -Time Rendering 3rd


edition, A K Peters, July 2008.
FOG, A. - Optimizing software in C++, An optimization guide for Windows,
Linux and Mac platforms, February 2012.
FOG, A. - Optimizing subroutines in assembly language: An optimization guide
for x86 platforms, February 2012
KESSENICH, J. (editor) - The OpenGL Shading Language (Language version
4.20), August 2011.
KIRK, D. B.; HWU, W. W.- Programming Massively Parallel Processors: A
Hands-on Approach, February 2010
NVIDIA CUDA C - Programming Guide (Version 4.2), April 2012.
MUNSHI, A. (editor) - The OpenCL Specification (Version 1.2), November 2011.
OpenMP Application Program Interface (Version 3.1), July 2011.
SEGAL, M.; AKELEY, K. - The OpenGL Graphics System: A Specification
(Version 4.2, Core Profile), August 2011.

OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.2.23 Probabilidade I
Pr-requisitos: Medida e Integrao (convergncia de integrais, espaos Lp, espaos
produto).

Espaos de probabilidade. Variveis e vetores aleatrios. Distribuies de


probabilidade e funes de distribuio em Rn. Independncia estocstica. Esperana
de variveis aleatrias: propriedades e desigualdades bsicas, teoremas de
convergncia. Distribuio e esperana condicionais: teoremas de existncia e
regularizao. Leis dos grandes nmeros: lei fraca, lema de Borel-Cantelli, lei forte.
Teoremas de uma, duas e trs sries. Funes caractersticas e convergncia em
distribuio em Rn . Teorema de Lindeberg-Feller.

Referncias:

CHUNG, K. L. - A Course in Probability Theory, 2nd ed. New York, Academic


Press, 1974.
FELLER, W. - An Introduction to Probability Theory and its Applications, Vol. II,
2nd ed., New York, John Wiley & Sons, 1966.
SHIRYAYEV, A. N. - Probability. New York, Springer-Verlag, 1984.
VARADHAN, S.R.S. - Probability Theory, New York, Courant Institute of
Mathematical Sciences, 2001.

51
8.2.24 Processamento de Imagens
Noes sobre a teoria de sinais. Fundamentos de cor. Padres de cor. Imagem digital.
Quantizao. Operaes com imagens. Dithering, warping de imagem. Aplicaes.

Referncias:

GOMES, J. de M., VELHO, L. - Computao Grfica: Imagem. Publicao


IMPA/SBM, 1993.
GOMES, J. de M., VELHO, L. - Image Processing for Computer Graphics.
Springer-Verlag, 1997.

OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.2.25 Processamento Geomtrico


Conceitos bsicos: estruturas de dados para malhas poligonais, algoritmos de
triangulao. Aquisio de dados via scanners 3D. Remoo de rudos e erros de
aquisio. Criao de malhas iniciais. Operaes de suavizao, converso, anlise
espectral. Geometria diferencial discreta.

Referncias:

BOTSCH M., KOBBELT L., PAULY M., ALLIEZ P., LEVY B. - A K PETERS
LTD. - Polygon mesh processing ISBN: 978-1-56881-426-1.
http://www.akpeters.com/product.asp?ProdCode=4261

OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.2.26 Representaes de Grupos Finitos

We will cover the basic of representation theory of finite groups. Denitions and basic
properties. Reducibility, Schur's Lemma. Tensor products. Characters, conjugacy
classes and projection formulas. Semidirect products and induced representations.
Simmetric groups, Young diagrams.Frobenius Character formula.

Referncias:

SIMON, B. - Representations of finite and compact groups, Graduate studies in


mathematics, vol. 10. AMS, 1996.
FULTON, W., HARRIS, J. - Representation Theory, a first course, Graduate text
in mathematics, vol. 129. Springer, 1991.

OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.2.27 Sistemas Grficos 3D


Geometria. Sistemas de cor. Objetos e dispositivos grficos. Imagem digital. Descrio
de cenas 3D. Modelos geomtricos. Tcnicas de modelagem. Vnculos e hierarquias.
52
Rasterizao. Recorte. Visibilidade. Cmera virtual e transformaes. Luz e material.
Iluminao global. Textura e mapeamentos. Arquitetura de Sistemas 3D.

Referncias:

FOLEY, J., VAN DAM, A., FEINER, S., HUGHES, J. - Computer Graphics:
Principles and Practice, 2nd edition in C, Addison-Wesley, reading, MA, 1990.
GOMES, J. de M., VELHO, L. - Introduo Computao Grfica - Sociedade
Brasileira de Computao, SP, 1990.
NEIDER, J., DAVIS, T., WOO, M. - The OpenGL Programming Guide, Addison-
Wesley, Reading, MA, 1993.

OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.3 Doutorado

8.3.1 lgebra Comutativa


Anis e mdulos noetherianos: decomposio primria, teoria da dimenso de Krull.
Extenses inteiras. lgebras de tipo finito sobre um corpo: lema de normalizao de
Noether; teorema dos zeros de Hilbert; fecho inteiro de uma lgebra de tipo finito.
lgebra local: sistema de parmetros e profundidade; anis locais regulares e de
Cohen-Macaulay; teorema dos "Syzygies" (Hilbert); caracterizao homolgica dos
anis regulares (Serre-Auslander-Buchsbaum). Polinmio caracterstico: polinmio
caracterstico de Hilbert-Serre; polinmio caracterstico de Samuel; anis graduados e
multiplicidade: aplicao: invariantes de geometria algbrica.

Referncias:

ATIYAH, M. F., MACDONALD, I. G. - Introduction to Commutative Algebra.


Reading, Mass., Addison-Wesley, 1969.
MATSUMURA, H. - Commutative Algebra. Reading, Mass., Benjamin-
Commings, 1980.
SERRE, J. P. - Algebre Locale - Multiplicits. Berlin. Springer-Verlag, 1965.
ZARISKI, O., SAMUEL, P. - Comutative Algebra. Vols. 1 e 2, New York, Van-
Nostrand, 1960.

8.3.2 lgebra de Vrtices

O objetivo deste curso ser explicar uma das mltiplas conexes entre a teoria de
representaes de lgebras de Lie de dimenso infinita (e mais geralmente lgebras de
vrtices) e a geometria de espaos de moduli (de curvas algbricas, fibrados principais,
etc.). Seguiremos principalmente [2,3] e daremos ateno especial ao caso de curvas
elticas onde podemos ver a teoria abstrata de maneira mais concreta em termos de
lgebra linear seguindo [4].

Os tpicos incluiro:
53
1) Estrutura de lgebras de vrtices. Definio e exemplos. A lgebra de Virasoro e
pesos conformes. lgebras de vrtices afins e lgebras de Kac-Moody. lgebras de
Lie e de Poisson associadas a lgebras de vrtices.
2)Teoria de representaes de lgebras de vrtices. Definio de mdulo e exemplos.
Relao com teoria de Lie. lgebra de Zhu. lgebras de retculos. lgebras de
Vrtices racionais. Modularidade dos caracteres: O teorema de Zhu.
3) Feixes em curvas algbricas associados a lgebras de vrtices. Formulao
independente das coordenadas. Correladores e funes de n-pontos. Feixes de lgebras
de Lie e blocos conformes.
4) Feixes em espaos de moduli ligados a lgebras de vrtices. Blocos conformes para
famlias de curvas. O fibrado determinante em Mg e a conexo cannica. Inseres
mltiplas de pontos. Torcer por fibrados principais e a conexo de KZ em BunG
5) O caso de gnus 0 e 1. Formas modulares e a condio de cofinitude C_2. ODE
correspondente a funes de trao. Convergncia e modularidade de caracteres.

Referncias:

BEILINSON, A.; DRINFELD, V. - Chiral algebras. Number 51,Colloquium


Publications. AMS, 2004. [1]
FRENKEL, E.; BEN-ZVI, D. - Vertex algebras and algebraic curves. Number 88,
Mathematical surveis and monographs. AMS, 2001. [2]
KAC, V. - Vertex algebras for beginners. Volume 10. University lecture series.
AMS 1996. [3]
ZHU, Y. - Modular invariance of characters of vertex operator algebras. J. Amer.
Math. Soc. 9(1) 237--302, 1996. [4]

8.3.3 Anlise Funcional

Pr-requisitos: Anlise no Rn , Medida e Integrao.

Espaos vetoriais normados. Espaos de Banach. Espao quociente. Operadores


lineares e seus adjuntos. Teorema de Hahn-Banach. Teorema da limitao uniforme.
Teorema do grfico fechado. Teorema da aplicao aberta. Topologia fraca. Teorema
de Banach-Alaoglu. Espaos reflexivos. Espaos de Hilbert. Conjuntos ortonormais.
Teorema da representao de Riesz. Operadores compactos. Teoria espectral de
operadores compactos auto-adjuntos. Alternativa de Fredholm.

Referncias:

BACHMAN, G., NARICI, L. - Functional Analysis. New York, Academic Press,


1966.
DUNFORD, N., SCHWARTZ, J. - Linear Operators, Vol. 1, Wiley Interscience
Press, 1966.
REED, M., SIMON, B. - Methods of Modern Mathematical. Physics, Vol.1. New
York, Academic Press, 1972.
RIESZ, F., NAGY, B. - Functional Analysis. New York, Frederick Ungar, 1955.

54
8.3.4 Anlise Geomtrica
Pr-requisitos: Anlise Funcional e Geometria Riemanniana

Clculo Tensorial. Operador de Laplace-Beltrami. Frmula de Bochner-Weitzenbock.


Comparao do Laplaciano. Comparao de volume de Bishop-Gromov. Teorema da
Decomposio de Cheeger-Gromoll. Estimativa do gradiente de funes harmnicas.
Teorema tipo-Liouville de Yau para variedades com curvatura de Ricci no-negativa.
Espectro do Laplaciano. Teoremas de comparao de autovalor. Teorema da rigidez de
Cheng. Estabilidade de hipersuperfcies mnimas. Mtodos no-lineares: variacional,
sub e supersolues, mtodo da continuidade, equao do calor, grau de Leray-
Schauder, tcnicas de perturbao. Aplicaes: teoria de Hodge, curvatura de Gauss
prescrita, problema de Dirichlet para superfcies mnimas, fluxo de Ricci em
superfcies, aplicaes harmnicas. Outros tpicos.

Referncias:

AUBIN. T. - Some nonlinear problems in Riemannian geometry, Springer, 1998.


GILBARG, D., TRUDINGER, N. - Elliptic partial differential equations of second
order, Berlin Heidelberg, New York, Springer-Verlag, 1998.
JOST, J. - Riemannian Geometry and Geometric Analysis, Berlin Heidelberg, New
York, Springer-Verlag, 1995.
LI, P. - Lecture Notes on Geometric Analysis, 1992.
SCHOEN. R., YAU. S.T. - Lectures on Differential Geometry, International Press,
1994.

8.3.5 Anlise Harmnica

Pr-requisito: Teoria Espectral

Transformada de Fourier: Teoria bsica L1 da transformada de Fourier; a teoria L2 e o


teorema de Plancherel; a classe de distribuies temperadas. Noes fundamentais da
teoria de variveis reais: a funo maximal; comportamento prximo pontos gerais
de conjuntos mensurveis; decomposio em cubos de conjuntos abertos em Rn; um
teorema de interpolao para Lp; Interpolao de operadores: o teorema de
convexidade de M. Riesz e interpolao de operadores em espaos Lp; o teorema de
interpolao de Marcinkiewicz; espaos L(p,q); interpolao de famlias analticas de
operadores. Integrais singulares: a transformada de Hilbert; operadores integrais
singulares com ncleo mpar; operadores integrais singulares com ncleo par;
operadores integrais singulares que comutam com dilataes; anlogos valores
vetoriais. Transformadas de Riesz: integrais de Poisson. Esfricos harmnicos: as
transformadas de Riesz; integrais de Poisson e aproximaes da identidade;
transformadas de Riesz de ordens mais altas e esfricos harmnicos. Sries de Fourier
mltiplas: propriedades elementares; a frmula da somao de Poisson; transformaes
multiplicadoras. A teoria de Littlewood-Paley e multiplicadores: a funo g de
Littlewood-Paley; a funo g (); multiplicadores; aplicao dos operadores de somas
parciais; a decomposio didica; o teorema de multiplicador de Marcinkiewicz.
Espaos de Hardy: caracterizao maximal de Hp; decomposio atmica de Hp;
integrais singulares. Hp e BMO: o espao de funes de oscilao mdia limitada; a

55
funo "sharp"; uma abordagem elementar e uma verso didica; outras propriedades
de BMO; um teorema de interpolao.

Referncias:

DUOANDIKOETXEA, J. - Fourier Analysis. Graduate Studies in Mathematics,


29, AMS, Providence, RI 2001.
STEIN, E., WEISS, G. - Introduction to Fourier Analysis on Euclidean Spaces,
Princeton University Press, Princeton, New Jersey, 1971.
STEIN, E. - Singular Integrals and Differentiability Properties of Functions,
Princeton University Press, Princeton, New Jersey, 1970.
STEIN, E. - Harmonic Analysis, Princeton University Press, Princeton, New
Jersey, 1993.

8.3.6 Anlise Numrica

Pr-requisitos: lgebra Linear e Aplicaes, Anlise no Rn e Anlise Complexa.

Anlise de erros, interpolao, integrao numrica. lgebra linear numrica: mtodos


diretos e iterativos para sistemas lineares. Sistemas no lineares: mtodos de Newton.
Tpicos complementares: a) Problemas de autovalores. b) Mtodos numricos em
equaes diferenciais ordinrias. c) Outros tpicos de interesse atual.

Referncias:

GOLUB, E., VAN LOAN, C. - Matrix Computations. John Hopkins. Univ. Press,
1983.
ORTEGA, J. M. - Numerical Analysis, A Second Course. New York, Academic
Press, 1972.
STOER, J., BULIRSCH, R. - Introduction to Numerical Analysis. Berlin,
Springer- Verlag, 1980.

OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.3.7 Combinatria II
Teoria de Ramsey: Teorema de van der Waerden, Rado e Hales-Jewett; nmeros de
Ramsey de grafos com grau limitado, cotas para nmeros de Ramsey diagonais, fora
da diagonal e de hipergrafos. Progresso recente em teoria de Ramsey para grafos. O
mtodo probabilstico: A componente gigante, nmero cromtico de G(n, p), o lema
local, nibble de Rodl, processos aleatrios de grafos, desigualdades de concentrao,
discrepncia (seis desvios-padro bastam, teorema de Beck-Fiala), escolha aleatria
dependente. Mtodos algbricos e topolgicos: O mtodo polinomial (o nullstellensatz
combinatorial, a conjectura de Kakeya em corpos finitos); a desigualdade modular de
Frankl-Wilson e aplicaes (refutao da conjectura de Borsuk, cotas inferiores
construtivas para nmeros de Ramsey, o nmero cromtico do plano); aplicaes do
teorema de Borsuk-Ulam. Combinatria aditiva: Conjuntos-soma (teoremas de
Cauchy-Davenport e Freiman), teorema de Balog-Szemerdi-Gowers, conjuntos sem
somas (conjectura de Cameron-Erdos), prova do teorema de Roth, discusso a respeito
do teorema de Szemerdi. O mtodo de containers para hipergrafos: Erdos-Stone em

56
G(n; p), o teorema de Szemerdi esparso, problemas do tipo Ramsey em G(n; p),
contagem e estrutura tpica dos grafos sem cpias de H.

Referncias:

N. Alon and J. H. Spencer. - The probabilistic method, 3a edio, Wiley, nwe


York, 2008.
L. Babai and P. Frankl. - Linear algebra methods in combinatorics, Departament of
Computer Science, University of Chicago, verso preliminar, 1991.
B. Bollogs. - Modern Graph Theory (Graduate Texts in Mathematics), Springer-
Verlag, New York, 1998.
J. Matousek. - Thirty-three miniatures (mathematical and algorithmic applications
of linear algebra), AMS, 2010.
T. Tao and V. Vu. - Additive combinatorics, Cambridge Studies in Advanced
Mathematics, CUP, 2006.

8.3.8 Corpos de Funes Algbricas


Superfcies abstratas de Riemann. Valorizaes. Mtodos locais. Polgono de Newton.
Diferenciais. Teorema dos resduos. Adeles. Teorema de Riemann-Roch. Frmula de
Hurwitz. Funes elpiticas e hiperelpticas. Pontos de Weierstrass. Divisores muito
amplos. Curvas algbricas no-singulares. Superfcies compactas de Riemann.

Referncias:

CHEVALLEY, C. - Introduction to the Theory of Algebraic Functions of one


Variable, New York, AMS Math. Surveys, 1951.
DEURING, M. - Lecture on the Theory of Algebraic Functions of one Variable.
Berlin, Springer-Verlag, Lectures Notes in Mathematics, 314,1973.
LANG, S. - Introduction to Algebraic and Abelian Functions. 2nd ed., Reading,
Mass., Addison-Wesley, New York, Springer-Verlag, 1982.
STICHTENOTH, H. - Algebraic Function Fields and Codes, New York, Springer-
Verlag, 1993.

8.3.9 Curvas Algbricas


Teorema de Bezout: geometria projetiva, resultante, multiplicidades de interseo.
Pontos singulares: critrio de Jacobi, ramos de curvas, teorema de preparao de
Weierstrass, lema de Hensel, sries de Newton-Puisuex. Frmulas de Plcker:
dualidade de Poncelet-Gergonne, curva polar, pontos de inflexo, Hessiana. Teorema
fundamental de Max Noether: divisores, curvas adjuntas. Curvas cbicas: invariante
modular, estrutura de grupo. Resoluo de singularidades: funes racionais, Blowing-
up, transformaes quadrticas. Teorema de Riemann-Roch: diferenciais, frmula de
Riemann-Hurwitz, pontos de Weierstrass, curvas hiperelticas, curvas de gnero 3.

Referncias:

ARBARELLO, E - Geometry of Algebraic Curves, vol. I, New York, Springer


Verlag, 1985.

57
COOLIDGE, J. L. - A Treatise on Algebraic Plane Curves, Dover, 1959.
FULTON, W. - Algebraic Curves. New York, Benjamin, 1969.
WALKER, R. J. - Algebraic Curves. New York, Dover, 1950.

8.3.10 Dinmica dos Fluidos


Pr-requisitos: lgebra Linear e Aplicaes, Anlise no Rn, Anlise Complexa e
EDOs e EDPs.

Modelagem matemtica: leis da termodinmica, esforos elementares sobre as


partculas de um fluido, Leis de Newton e derivao das equaes de Euler e Navier-
Stokes. Teoremas de conservao de Kelvin e teorema de Helmholtz. Escoamento de
fluidos incompressveis (hidrodinmica) e invscidos: escoamentos irrotacionais (teoria
do potencial, mapeamento conforme e teorema de Blasius) e escoamentos com
vorticidade (funes complexas com singularidades). Escoamento de fluidos
levemente viscosos: anlise dimensional, noes de camada limite e anlise assinttica
via as equaes de Prandtl. Problemas de fronteira livre: propagao de ondas de
gravidade lineares e no-lineares, e dinmica de interfaces. Problemas geofsicos e
atmosfricos.

Referncias:

ACHESON, D. J. - Elementary Fluid Dynamics, Oxford University Press, 1990.


BATCHELOR, G. - An Introduction to Fluid Dynamics, Cambridge University
Press, 1967.
CHORIN, A. J., MARSDEN, J. E. - A Mathematical Introduction to Fluid
Mechanics, second edition, Springer-Verlag, 1990.
COURANT, R., FRIEDRICHS, K. O. - Supersonic Flow and Shock Waves,
Springer-Verlag, 1976.
WHITHAM, G. - Linear and Nonlinear Waves. New York, John Wiley, 1974.

8.311 Dinmica Hiperblica


Difeomorfismos do crculo: nmero de rotao e teorema de Poincar-Denjoy;
difeomorfismos estruturalmente estveis. Comentrios sobre linearizao diferencivel
global. Ponto fixo hiperblico e linearizao topolgica. Teorema da variedade estvel
e lema de inclinao. Genericidade de rbitas peridicas hiperblicas e ligaes
transversais de selas (teorema de Kupka-Smale). Conjuntos hiperblicos: folheaes
estvel e instvel; exemplos: ferradura, solenide, difeomorfismo derivado de Anosov,
atrator de Plynkin. Persistncia e estabilidade de conjuntos hiperblicos: lema de
sombreamento. Estabilidade de difeomorfismos globalmente hiperblicos (Anosov).
Filtrao e decomposio espectral dos difeomorfismos axioma A. Teorema da -
estabilidade. Ciclos e exemplos de sistemas -instveis. Princpio de reduo da
dinmica variedade central. Tpicos adicionais: estabilidade de ligaes transversais
de sela. Comentrios sobre a estabilidade de sistemas Morse-Smale. Comentrios
sobre as conjecturas da estabilidade e da -estabilidade. Recorrncias de campos
vetoriais em superfcies. Comentrios sobre a densidade de campos estveis. Closing
Lemma e questes correlatas. Elementos da teoria das bifurcaes.

58
Referncias:

DE MELO, W., VAN STRIEN, S. - One-Dimensional Dynamics, Berlin, Springer-


Verlag, 1993.
PALIS, J., de MELO, W. - Introduction to Dynamical Systems, Berlin, Springer-
Verlag, 1982. Verso Original: Projeto Euclides, IMPA, 1987.
PALIS, J., TAKENS, F. - Hyperbolicity & Sensitive Chaotic Dynamics at
Homoclinic Bifurcations, Cambridge University Press, 1993.
SHUB, M. - Global Stability of Dynamical Systems. New York, Springer-Verlag,
1987.

8.3.12 Economia Dinmica

Existncia de timos. Equaes de Euler-Lagrange e condies de transversalidade. O


mtodo de Bellman. O teorema de Blackwell. Propriedades da funo valor. O teorema
de Turnpike. Existncia de solues caticas. O caso da incerteza: existncia de
medidas invariantes, convergncia fraca para o estado estacionrio. O modelo de
Brock e Mirman.

Referncias:

ARAJO, A. - Introduo Economia Dinmica, Colquio Brasileiro de


Matemtica, IMPA, 1993.
STOKEY, N., LUCAS, R. - Recursive Methods in Economics Dynamics, Harvard
Press, 1989.
WITTLE, P. - Optimization Over Time, Vols. I, II, New York: John Wiley and
Sons, 1982.

8.3.13 Economia Matemtica e Finanas II


Mercados incompletos. Teorema de existncia de Radner. Existncia genrica.
Indeterminao dos equilbrios. Equilbrio geral com um nmero infinito de bens. O
teorema de Bewley. A propriedade das preferncias. Equilbrio em reticulados de
Banach. Teorema de Mas-Colell. Equilbrio em finanas: utilidades separveis. Outros
tpicos de equilbrio geral. A abordagem diferencial. Unicidade local. Teoremas de
agregao. Teorema de Sonnenschein-Mantel-Debreu.

Referncias:

BEWLEY, T. - Existence of Equilibria in Economies with Infinitely Many


Commodities, Journal of Economic Theory 4, 1972.
DEBREU, G. - Mathematical Economics, Twenty papers of Gerard Debreu,
Econometric Society Monographs 4, Cambridge University Press, 1989.
MAGILL, M., SHAFER, W. - Incomplete Markets - Chapter 30, Handbook of
Mathematical Economics, Vol. IV, ed. Hildenbrand and Sonnenschein. North
Holland, Amsterdam, 1991.
MAS-COLELL, A., ZAME, W. - Equilibrium Theory in Infinite Dimensional
Spaces, in: Handbook of Mathematical Economics vol. IV, ed. W. Hildenbrand e
H. Sonneschein, North Holland, Amsterdam, 1991.

59
8.3.14 Equaes Diferenciais Parciais e Aplicaes
Pr-requisitos: lgebra Linear e Aplicaes, Anlise no Rn, Anlise Complexa e
EDOs e EDPs.

Equaes no lineares de primeira ordem. O problema de Cauchy para equaes quasi-


lineares. Equao de Burgers e a condio o choque (condio de Rankine-Hugoniot).
Ondas de choque e ondas de rarefao. Equaes Hiperblicos de segunda ordem.
Propagao de singularidade. A equao da onda. Equaes de guas Rasas. O
teorema de Cauchy-Kowalevski, a identidade de Green e o teorema de unicidade de
Holmgren. Solues fracas; distribuies. Equaes elipticas. A equao de Laplace. A
Equao de Poison para a presso ou funo de corrente. Equao da onda em
variveis espaciais. Mtodo das mdias esfricas e o princpio de Huygens. Princpio
de Duhamel. Se o tempo permitir, tpicos em anlise assinttica de EDPs: anlise
assinttica de solues, anlise assinttica de operadores.

Referncias:

COURANT, R. and HILBERT, D. - Methods of Mathematical Physics, vol. II,


Partial Differential Equations, Intersciense Publisher, 1953.
EVANS, L.C. - Partial Differential Equations (Graduate Studies in Mathematics, v.
19) GSM/19, AMS, 1998.
JOHN, F. - Partial Differential Equations, Springer-Verlag, 1982.
WHITHAM, G. B. - Linear and Nonlinear Waves, Wiley-Interscience, 1974.
ZAUDERER, E. - Partial Differential Equations of Applied Mathematics, 2nd ed.,
John Wiley, 2000.

8.3.15 Equaes Diferenciais Parciais: Teoria Linear


Pr-requisito: Anlise Funcional

Espaos de Sobolev: aproximao por funes diferenciveis; derivada fraca;


extenso; trao. Espaos de Hlder. Incluses de Sobolev. Compacidade de
Kondrachov. Equaes elticas de segunda ordem : solues fracas; teorema de Lax-
Milgram; alternativa de Fredholm; teoria de regularidade; princpio do mximo.
Desigualdade de Poincar. Problemas de autovalor. Equaes lineares de evoluo:
equaes parablicas; equaes hiperblicas; teoria de semigrupos. Outros tpicos e
aplicaes.

Referncias:

EVANS, L. C. - Partial Differential Equations (Graduate Studies in Mathematics),


volume 19. American Mathematical Society, 1998.
MCOWEN, R. - Partial Differential Equations: Methods and Applications, Prentice
Hall (2002).

8.3.16 Fluidos em Meios Porosos


Pr-requisitos: EDP, Mtodos Numricos para EDP.
Co-requisitos: Dinmica dos Fluidos, EDP e Aplicaes.

60
Meio poroso, lei de Darcy, escoamento monofsico incompressvel. Equao dos gases
em meios porosos. Escoamento bifsico, lei de Muskat, problema de Goursat para
equao de Buckley Leverett. Efeitos de gravidade. Presso capilar. Equao de
Burgers viscosa, equao de Rapoport-Leas. Aplicaes. Estrutura interna de
descontinuidade. Efeitos de fronteira em testemunhos rochosos. Mtodos de BJN para
inverso de permeabilidades. Escoamento bifsico com variao de viscosidade.
Aplicaes: injeo de polmeros e surfactantes. Escoamento trmico bifsico
incompressvel. Conservao de energia. Injeo de gua quente ou vapor. Reaes
exotrmicas. Escoamento miscvel. Aplicaes: injeo de CO2. Escoamento trifsico.
Ondas viajantes. Modelos de permeabilidade. Modelo de Black-oil. Soluo do
problema de Riemann. Aplicaes: WAG. Escoamento em duas dimenses
horizontais. Estabilidade de frentes. Fingering. Efeitos de varredura. Modelos em trs
dimenses tipo camada de bolo. Tpicos avanados. Adsoro. Equaes de estado e
anlise PVT. Histerese em escoamentos petrolferos. Reservatrios de gs condensado.
Simuladores de reservatrios petrolferos. Mtodos numricos, IMPES, etc.

Referncias:

BEDRIKOVETSKY, P. - Mathematical Theory of Oil and Gas Recovery, Kluwer


Academic Publishers, 1993.
LAKE, L. W. - Enhanced Oil Recovery, Prentice Hall, Englewood Cliffs, 1989.
LEVEQUE, R. - Numerical Methods for Conservation Laws, Birkhuser, Berlin,
1992.
SCHEIDEGGER, A. - Physics of Fluids in Porous Media, Unviersity of Toronto
Press, 1963.
WHITHAM, B. - Linear and Non Linear Waves, John Wiley, 1984.

Obs: Tecnologias Envolvidas: Matemtica..Aplicada, Dinmica..dos..Fluidos e


Recuperao.

8.3.17 Folheaes Holomorfas


Pr-requisitos: Introduo s Folheaes Holomorfas e Superfcies de Riemann (esta
podendo ser cursada em paralelo)

Fibrados lineares e divisores. Interseo em superfcies. Fibrados associados a


folheaes, frmulas de interseo, aplicaes, Teoremas de ndice . Teorema da
Separatriz, Folheaes de Riccati e folheaes turbulentas. Realizao de
monodromias, Formas logartmicas e campos de vetores. Teorema de Jouanolou.
Classificao de campos holomorfos em superfcies projetivas, Introduo teoria
birracional (modelos minimais, dimenso de Kodaira). Aplicaes.

Referncias:

BRUNELLA, M. - Birational geometry of foliations. Publicaes Matemticas do


IMPA. Instituto de Matemtica Pura e Aplicada (IMPA), Rio de Janeiro, 2004.
GMEZ-MONT, X., ORTZ-BOBADILLA, L. - Sistemas dinmicos holomorfos
em superfcies. Mxico: Sociedad Matemtica Mexicana, 1989.

61
3.18 Geometria Algbrica I
Variedades afins e projetivas, Nullstellensatz. Topologia de Zariski. Funes racionais
e morfismos. Variedades normais. Normalizao. Diferenciais e no-singularidade.
Critrio jacobiano. Blow-up. Aplicaes racionais. Curvas. Curvas no singulares e
corpos de funes. Interseo em Pn. Teorema de Bezout.

Referncias:

HARRIS, J. - Algebraic Geometry (A first course), GTM 133, Springer-Verlag,


1992.
HARTSHORNE, R. - Algebriac Geometry. Berlin, Springer, 1977.
SEMPLE, J. G., ROTH, L. - Algebraic Geometry, Oxford University Press, 1949.
SHAFAREVICH, I. - Basic Algebraic Geometry. Berlin, Springer-Verlag, 1974.

8.3.19 Geometria Algbrica II


Feixes e esquemas. Morfismos de esquemas. Feixes de mdulos e feixes coerentes.
Divisores de Cartier e Weil. Fibrados em linhas e classes de divisores de Cartier.
Diferenciais. Cohomologia de feixes coerentes. Cohomologia de espao projetivo.
Teorema de dualidade de Serre. Teorema de Riemann-Roch para curvas e superfcies,
algumas aplicaes.

Referncias:

ARBARELLO, E. - Geometry of Algebraic Curves vol. I, New York, Springer-


Verlag, 1985.
GRIFFITHS, P., HARRIS, J. - Principles of Algebraic Geometry. New York,
Wiley- Interscience, 1978.
HARTSHORNE, R. - Algebraic Geometry. Berlin, Springer, 1977.
MUMFORD, D. - The Red Book of Varieties and Schemes. Berlin, Springer-
Verlag, 1988.

8.3.20 Geometria das Subvariedades


Pr-requisitos: Geometria Riemanniana (e seus pr-requisitos)

As equaes fundamentais e o teorema fundamental das imerses isomtricas.


Imerses umblicas e mnimas. Hipersuperfcies convexas. Subvariedades com
curvatura no positiva. Reduo de codimenso. Imerses isomtricas entre espaos de
curvatura seccional constante. Rigidez isomtrica local. Rigidez isomtrica global.
Composio de imerses isomtricas. Subvariedades conformemente euclideanas.
Imerses conformes. Outros Tpicos.

Referncias:

DO CARMO, M. - O Mtodo do Referencial Mvel. Rio de Janeiro, III ELAM,


IMPA, 1976.
DAJCZER, M. et al - Submanifolds and Isometric Immersions, Houston, Publish
or Perish, 1990.

62
RODRIGUEZ, L. - Geometria das Subvariedades. Rio de Janeiro, Monografias de
Matemtica, IMPA, 1976.
SPIVAK, M. - A Comprehensive Introduction to Differential Geometry, Berkeley,
Publish or Perish, 1970-75.

8.3.21 Geometria Riemanniana


Pr-requisitos: Anlise no Rn, teorema fundamental das EDO, algum conhecimento
de Geometria Diferencial, EDP e espaos de recobrimento.

Mtricas riemannianas. Conexo de Levi-Civitta. Geodsicas. Vizinhanas normais e


totalmente normais. Tensor de Curvatura. Derivao covariante de tensores. Campos
de Jacobi e pontos conjugados. Imerses isomtricas; equaes de Gauss , Ricci e
Codazzi. Variedades riemannianas completas; Teorema de Hopf-Rinov, teorema de
Hadamard. Espaos de curvatura constante. Variaes do comprimento de arco;
aplicaes. Teorema de comparao de Rauch; teorema de Bonnet-Myers, teorema de
Synge e outras aplicaes. O teorema do ndice de Morse. O lugar dos pontos
mnimos. Outros tpicos.

Referncias:

CARMO, M. - Geometria Riemanniana, Rio de Janeiro, IMPA, Projeto Euclides,


1979.
CHEEGER, J., EBIN, D. - Comparison Theorems in Riemannian Geometry,
Amsterdam, North-Holland, 1975.
JOST, J. - Riemannian Geometry and Geometric Analysis, Berlin Heildelberg,
New York, Springer Verlag, 1995.
ONEILL, B.- Semi-Riemannian Geometry with applications to Relativity, New
York, Academic Press, 1983.
PETERSEN, P. Riemannian Geometry, Graduate Texts in Mathematics, Springer-
Verlag, 2006.

8.3.22 Geometria Simpltica


Pr-requisito: Topologia das Variedades

lgebra linear simpltica; variedades simplticas e simplectomorfismos; estrutura


simpltica do fibrado cotangente. Subvariedades (lagrangianas, isotrpicas, co-
isotrpicas) e funes geradoras; Mtodos de Moser, teoremas de Darboux-Weinstein
(teorema da vizinhana lagrangiana e aplicaes). Estruturas quase-complexas
compatveis e variedades Khler. Campos e sistemas hamiltonianos, colchetes de
Poisson, princpios variacionais; variedades de Poisson. Sistemas integrveis: teorema
de Arnold-Liouville e existncia de variveis ao-ngulo. Geometria das aes
hamiltonianas: aes do grupo de simplectomorfismos, aplicaes momento
(obstrues para existncia, unicidade). Reduo simpltica e aplicaes.
Outros tpicos: teorema de Duistermaat-Heckman, teorema de convexidade de Atiyah-
Guillemin-Sternberg, teorema de Delzant; Introduo topologia simpltica e
invariantes globais.

63
Referncias:

CANNAS DA SILVA, A. Lectures on Symplectic Geometry, Lectures Notes in


Mathematics 1764, Springer-Verlag, 2001.
GUILLEMIN, V., STERNBERG, S. Symplectic Techniques in Physics,
Cambridge University Press, 1990.
MCDUFF, D., SALAMON, D. Introduction to Symplectic Topology , Oxford
Math. Monographs, Oxford Univ. Press, 1995.

8.3.23 Introduo Geometria Complexa

Pr-requisito: Anlise Complexa

Teorema de Hartogs no polidisco. Teorema de extenso de Hartogs. Domnios


holomorficamente convexos. Pseudoconvexidade. Relaes entre convexidade
holomorfa e pseudoconvexidade. Lemma e cohomologias de Dolbeault. Problemas de
Cousin. Feixes, cohomologia de Cech com coeficientes em feixes. Seqncias exatas
curtas e  equncias longas associadas. Resolues finas. Variedades de Stein.
Teoremas A e B de Cartan (enunciados) e aplicaes. Variedades de Kaehler.
Decomposio de Hodge. Relaes entre fibrados lineares e divisores. Primeira classe
de Chern, Dualidade de Serre.

Referncias:
CHABAT, S. - Introduction `a l'Analyse Complexe, Vol.2. MIR, 1990.
GUNNING, R. - Introduction to Holomorphic Functions of Several Variables, Vol.
I, II e III Belmont, Ed. Wadsworth, 1990.
FRITZSCHE, K., GRAUERT, H. - From Holomorphic Functions to Complex
Manifolds. Graduate Texts in Mathematics, 213. Springer-Verlag, New York,
2002.
VOISIN, C.- Hodge Theory and Complex Algebraic Geometry, I.

8.3.24 Introduo Mecnica Estatstica


Sistemas hamiltonianos, teorema de Liouville, teorema da recorrncia de Poincar,
teorema de Birkhoff, hiptese de Boltzmann, ensembles estatsticos, medida de Gibbs,
modelo de Ising, limite termodinmico, desigualdade de FKG, transio de fase,
diagrama de fase, modelos de FK, teoria de Pirogov-Sinai:

Referncias:

FEYNMAN, R.P. - Statistical mechanics; A set of lectures. Reading, Mass.: W. A.


Benjamin, 1972.
PRESUTTI, E. - Scaling limits in statistical mechanics and microstructures in
continuum mechanics. Berlin: Springer, 2009.
SACHA FRIEDLI. - Elements of Statistical Mechanics and Large Deviation
Theory.
YVAN VELENIK. - Le Modle de Ising.
OBS: Esta disciplina ministrada como Mestrado / Doutorado.

64
8.3.25 Introduo s lgebras de Lie
Estudaremos os conceitos bsicos de estruturas e representaes de lgebras de Lie de
dimenso finita sobre os nmeros complexos. O curso no assume conhecimentos
bsicos de teoria de representaes ou teoria de Lie, mas uma boa base em lgebra
linear ser de utilidade. Comearemos o curso com as estruturas bsicas de lgebras de
Lie: ideais, homomorfismos, quocientes, lgebras nilpotentes, etc.
Depois, demonstraremos a classificao de lgebras de Lie semisimples de dimenso
finita sobre .
Finalmente introduziremos as representaes de peso mximo e a classificao das
representaes de dimenso finita de lgebras de Lie simples sobre assim como a
frmula de caracter de Weyl. Seguiremos cuidadosamente a referncia [2], mas sero
de utilidade as referncias [1] and [3].

Referncias:
HUMPHREYS, J.E. - Introduction to Lie algebras and representation theory,
Springer-Verlag, New York-Berlin, 1978. Second printing, revised. [1]
KAC, V. G. - Lecture notes on lie algebras. MIT course, 2010. Available at
http://math.mit.edu/classes/18.745/classnotes.html. [2]
KNAPP, A. W. - Lie groups beyond an introduction, volume 140 of Progress in
mathematics. Birkhuser, 1996. [3]

8.3.26 Introduo s Folheaes Holomorfas


Pr-requisitos: Anlise Complexa

Singularidades de campos holomorfos. Holonomia (o mapa de retorno de Poincar).


Clculo da parte linear da holonomia. Teorema de linearizao de Poincar. Teorema
de Poincar-Dulac. Blow-up de uma singularidade. Singularidades reduzidas e
Teorema de reduo. Folheaes no plano projetivo. Folhas algbricas. Teorema de
Darboux-Jouanolou. Densidade de folhas para folheaes afins genricas. Inexistncia
de folha algbrica para folheaes projetivas genricas e folheao de Jouanolou.
Teorema do ndice no plano projetivo. Classificao das folheaes dadas por formas
meromorfas fechadas. Critrio de Mattei-Moussu para existncia de integrais
primeiras holomorfas, Grupos de germes de difeomorfismos. Grupos solveis.
Teorema de Nakai.

Referncias:

ARNOLD, V. I. - Geometrical Methods in the Theory of Ordinary Differential


Equations. New York, Springer-Verlag, 1983.
BRUNELLA, M. - Birational geometry of foliations. Publicaes Matemticas do
IMPA. Instituto de Matemtica Pura e Aplicada (IMPA), Rio de Janeiro, 2004.
CAMACHO, C., SAD. P. - Pontos Singulares de Equaes Diferenciais
Analticas. 16 Colquio Brasileiro de Matemtica, Rio de Janeiro, IMPA, 1987.
GOMEZ-MONT, X., ORTZ-BOBADILLA, L. - Sistemas Dinmicos
Holomorfos en Superfcies. Mxico: Sociedad Matemtica Mexicana, 1989.
LORAY, F. - Pseudo-groupe dune Singularit de Feuilletage Holomorphe en
Dimension Deux. Disponvel em http://hal.archives-ouvertes.fr/ccsd-00016434,
2006.
65
NETO, A.L.; SCRDUA, B. - Introduo Teoria das Folheaes Algbricas
Complexas,
http://www.impa.br/opencms/pt/biblioteca/cbm/21CBM/21_CBM_97_02.pdf

8.3.27 Mtodos Computacionais de Otimizao


Mtodos de otimizao uni-dimensional. Mtodos para otimizao irrestrita (mtodos
de descida e busca linear, o mtodo do gradiente, o mtodo de Newton, mtodos
quase-Newton, mtodos de direes conjugadas). Estratgias de globalizao de
convergncia. Mtodos para otimizao com restries (mtodos do gradiente
projetado, mtodos de direes viveis, penalizao externa, penalizao interna,
Lagrangianas aumentadas, programao quadrtica seqencial). Mtodos para
otimizao no-diferencivel (mtodos de subgradiente, o mtodo de planos cortantes,
mtodos de feixe).

Referncias:

BERTSEKAS, D.P. - Nonlinear Programming. Athena Scientific, 1995.


BONNANS, J.F., GILBERT J-CH., LEMARCHAL, C., SAGASTIZBAL, C. -
Numerical optimization: theoretical and practical aspects. 2nd ed, Berlin; New
York. Springer, 2006.
DENNIS JR, J. E., SCHNABEL, R. B. - Numerical methods for unconstrained
optimization and nonlinear equations. Corrected reprint of the 1983 original.
Classics in Applied Mathematics, 16. Society for Industrial and Applied
Mathematics (SIAM), Philadelphia, PA, 1996.
IZMAILOV, A. E., SOLODOV, M. - Otimizao, volume 2. Rio de Janeiro,
IMPA, 2007.

8.3.28 Mtodos Matemticos para os Problemas Inversos


Pr-requisitos: Anlise Funcional, Teoria Espectral, Noes de Anlise Numrica e
EDPs Computacionais.

Modelos de propagao de sinais e de ondas em meios heterogneos. Problemas


diretos relacionados equaes elticas, hiperblicas e parablicas. Anlise assinttica
de altas frequncias. Problemas inversos em geofsica. Sismologia por reflexo.
Aquisio e tratamento de dados. Deconvoluo. Problemas mal postos e bem postos.
Mtodos computacionais em problemas inversos: teorema da decomposio em
valores singulares. Sistemas esparsos. Minimizao de funcionais, mtodo de Newton
e suas variantes. Mtodos de Levenberg-Marquadt. Pacotes computacionais como
LINPACK, MATLAB, Mapple, Seismic Unix etc. Limitaes destes pacotes. Tcnicas
de tratamento de sinais, FFT, filtragem, wavelets. Transformada de Radon e suas
generalizaes para meios heterogneos. Sismologia por reflexo, migrao ssmica,
imageamento ssmico e tomografia geofsica.

Referncias:

BAUMEISTER, J. - Stable Solution of Inverse Problems, Vieweg Braunschweig,


1987.

66
BAUMEISTER, J., LEITO, A. - Topics in Inverse Problems. 25th Brazilian
Mathematics Colloquium, IMPA mathematical Publications, Rio de Janeiro, 2005,
viii, 193 p., [isbn 85-244-0224-5]
BIONDO, B. - 3-D Seismic Imaging Stanford University, 1999.
CLAERBOUT, J. - Fundamentals of Geophysical Data Processing: With
Applications to Petroleum Prospecting. New York: Mc Graw-Hill, Series Title:
McGraw-Hill International Series in the Earth and Planetary Sciences, 1976.
COLTON, D., KRESS, R. - Inverse Acoustic and Eletromagnetic Scathering
Theory, Second Editon, Springer, Berlim, 1998.
ZUBELLI, J. P. - Na Introduction to Inverse Problems. Examples methods and
questions. 1a ed., Rio de Janeiro: IMPA-22, Colquio Brasileiro de Matemtica, v.
1, 86 p., 1999.

8.3.29 Mtodos Numricos para Equaes Diferenciais Parciais


Pr-requisitos: lgebra Linear e Aplicaes, Anlise no Rn, Anlise Complexa,
Anlise Numrica, EDOs e EDPs.

Anlise numrica de equaes diferenciais parciais elpticas. Soluo numrica da


equao de Laplace e Poisson via o mtodo de Diferenas Finitas (MDF), via o
Mtodo de Elementos Finitos (MEF), via Mtodos Espectrais (e.g. Resolvente Rpido
de Poisson) e via o Mtodo de Integrais de Contorno (MIC). Anlise numrica de
equaes diferenciais parciais hiperblicas. Soluo numrica da equao de
conveco (e.g. equao da onda) via o MDF. Noes de consistncia e estabilidade.
Anlise de estabilidade via equao de disperso. Anlise de estabilidade de von
Neumann. Noes sobre: anlise de Fourier com furnes de grade, aliasing e a
frmula do somatrio de Poisson. Noes de dissipao numrica, disperso numrica
e equao diferencial modificada. Teorema de equivalncia de Lax. Soluo numrica
de problemas com descontinuidade. Soluo numrica de Leis de Conservao.
Anlise Numrica de equaes diferenciais parciais parablicas. Soluo numrica da
equao de difuso (e. g. calor) pelo MDF e por mtodos espectrais.

Referncias:

AMES, W. F. - Numerical Methods for Partial Differential Equations, 3rd.ed,


Academic Press, 1992.
GOTTLIEB, D., ORSZAG, S. A. - Numerical Analysis of Spectral Methods,
SIAM, 1977.
ISAACSON, E. e KELLER, H. - Analysis of Numerical Methods, Dover, 1966.
LE VEQUE, R. J. - Numerical Methods for Conservation Laws, Birkhuser, 1992.
RICHTMEYER, R. D. e MORTON, K. W. Difference Methods for Initial
Value Problems, Krieger Publ. Co., 2nd ed. , 1967.
SMITH, G. D. - Numerical Solution of Partial Differential Equations, Finite
Difference Methods, 3rd. ed., Oxford University Press, 1985.
TREFETHEN, L. N. - Spectral Methods in MATLAB, SIAM, 2000.

8.3.30 Otimizao
Existncia de solues. Condies de otimalidade para problemas sem restries.
Condies de otimalidade em forma primal para problemas com restries. O cone
67
tangente. Condies de otimalidade no caso das restries de igualdade (condies de
Lagrange, condies de segunda ordem). Conjuntos convexos. Teoremas de separao.
Teoremas de alternativa. Funes convexas. Condies de otimalidade no caso das
restries de igualdade e desigualdade (condies de Karush-Kuhn-Tucker, condies
de segunda ordem). Elementos da Teoria de Dualidade.

Referncias:

BAZARAA, M. S., SHERALI, H. D., SHETTY, C. M. - Nonlinear programming:


Theory and algorithms. 3nd ed. Wiley-Interscience, John Wiley & Sons, Hoboken,
NJ, 2006.
BERTSEKAS, D. P. - Nonlinear programming, Belmont, Mass.: Athena Scientific,
1995.
IZMAILOV, A., SOLODOV, M. - Otimizao, volume 1: Rio de Janeiro, IMPA,
2005.
LUENBERGER, D. G. - Linear and nonlinear programming. 2nd ed. Kluwer
Academic Publishers, Boston, MA, 2003.
PERESSINI, A. L.; SULLIVAN, F. E., UHL, J. J., JR. - The mathematics of
nonlinear programming. Undergraduate Texts in Mathematics. Springer-Verlag,
New York, 1988.
ROCKAFELLAR, R. T. - Convex Analysis. Princeton Univ. Press, 1970.

OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.3.31 Paralelismo em Arquiteturas Modernas


Arquitetura de sistemas computacionais contemporneos, com nfase em sistemas
com mltiplos processadores, processadores com mltiplos ncleos, e unidades
aritmticas vetoriais. Histria dos sistemas grficos, passando do hardware com
funcionalidade fixa para o programvel. Programao de cada estgio do sistema
grfico, com nfase em aplicaes de visualizao em tempo real. Arquitetura das
placas de vdeo modernas. Problemas e algoritmos adequados a cada tipo de
arquitetura.

Referncias:

AKENINE-MLLER, T.; Haines, E.; Hoffman, N. Real-Time Rendering 3rd


edition, A K Peters, July 2008.
FOG, A. Optimizing software in C++, An optimization guide for Windows, Linux
and Mac platforms", February 2012.
FOG, A. Optimizing subroutines in assembly language: An optimization guide for
x86 platforms", February 2012.
KESSENICH, J. (editor) "The OpenGL Shading Language" (Language version
4.20), August 2011.
KIRK, D. B.; HWU, W. W.; "Programming Massively Parallel Processors: A
Hands-on Approach", February 2010
MUNSHI, A. (editor) "The OpenCL Specification" (Version 1.2), November 2011.
"NVIDIA CUDA C Programming Guide" (Version 4.2), April 2012.
OpenMP Application Program Interface (Version 3.1), July 2011.
SEGAL, M.; AKELEY, K. "The OpenGL Graphics System: A Specification"
(Version 4.2, Core Profile), August 2011.
68
OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.3.32 Probabilidade II
Pr-requisitos: Medida e Integrao. Probabilidade I - muito til, mas no
estritamente fundamental.

Leis infinitamente divisveis. Teoria de martingais em tempo discreto: desigualdades


de Doob, parada opcional, desigualdade de cruzamentos e convergncia. Cadeias de
Markov; passeios aleatrios em espao enumervel, transincia e recorrncia. Teorema
ergdico de Birkoff. Convergncia fraca em espaos mtricos poloneses e o teorema
de Prohorov. Movimento Browniano e o Teorema de Donsker.

Referncias:

BILLINGSLEY, P. - Convergence of Probability Measures. New York, J. Wiley,


1968.
CHUNG, K. L. - A Course in Probability Theory, 2nd ed., New York, Academic
Press, 1974.
NEVEU, J. - Discrete Parameter Martingales. Oxford, North-Holland, 1975.
SHIRYAYEV, A. N. - Probability, New York, Springer-Verlag, 1984.
VARADHAN, S. R. S. - Probability Theory, New York, Courant Institute of
Mathematical Sciences, 2001.

8.3.33 Processamento de Imagens


Noes sobre a teoria de sinais. Fundamentos de cor. Padres de cor. Imagem digital.
Quantizao. Operaes com imagens. Dithering, warping de imagem. Aplicaes.

Referncias:

GOMES, J. de M., VELHO, L. - Computao Grfica: Imagem. Publicao


IMPA/SBM, 1993.
GOMES, J. de M., VELHO, L. - Image Processing for Computer Graphics.
Springer-Verlag, 1997.

OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.3.34 Processamento Geomtrico

Conceitos bsicos: estruturas de dados para malhas poligonais, algoritmos de


triangulao. Aquisio de dados via scanners 3D. Remoo de rudos e erros de
aquisio. Criao de malhas iniciais. Operaes de suavizao, converso, anlise
espectral. Geometria diferencial discreta.

Referncias:
BOTSCH M., KOBBELT L., PAULY M., ALLIEZ P., LEVY B. - A K PETERS
LTD. - http://www.akpeters.com/product.asp?ProdCode=4261

69
OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.3.35 Processos Estocsticos


Pr-requisito: Probabilidade II.

Processos em tempo contnuo: incrementos independentes, martingais. Processos


Markovianos: construo, Teorema de Hille-Yosida, propriedades bsicas, processos
de Feller. Integrao estocstica e difuses. Outros tpicos de acordo com interesses
do instrutor e da turma.

Referncias:

BILLINGSLEY, P. - Convergence of Probability Measures. New York, J. Wiley,


1968.
KARATZAS, I., SHREVE, S. - Brownian Motion and Stochastic Calculus (2a
edio). New York, Springer-Verlag, 2008.
REVUZ, D., YOR, M. - Continuous Martingales and Brownian Motion (3a
edio). New York, Springer-Verlag, 2004.
ROGERS, L. C. G., WILLIAMS, D. - Diffusions, Markov Processes, and
Martingales, Vol 1: Foundations, Cambridge, Cambridge University Press, 2000.
ROGERS, L. C. G., WILLIAMS, D. - Diffusions, Markov Processes, and
Martingales, Vol 2: It Calculus, Cambridge, Cambridge University Press, 2000.
VARADHAN, S.R.S. - Stochastic Processes, New York, Courant Institute of
Mathemetical Sciences, 2001.

8.3.36 Representaes de Grupos Finitos

We will cover the basic of representation theory of finite groups. Denitions and basic
properties. Reducibility, Schur's Lemma. Tensor products. Characters, conjugacy
classes and projection formulas. Semidirect products and induced representations.
Simmetric groups, Young diagrams.Frobenius Character formula.

Referncias:

SIMON, B. - Representations of finite and compact groups, Graduate studies in


mathematics, vol. 10. AMS, 1996.
FULTON, W., HARRIS, J. - Representation Theory, a first course, Graduate text
in mathematics, vol 129. Springer, 1991.

OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.3.37 Sistemas Grficos 3D


Geometria. Sistemas de cor. Objetos e dispositivos grficos. Imagem digital. Descrio
de cenas 3D. Modelos geomtricos. Tcnicas de modelagem. Vnculos e hierarquias.
Rasterizao. Recorte. Visibilidade. Cmera virtual e Transformaes. Luz e material.
Iluminao global. Textura e mapeamentos. Arquitetura de Sistemas 3D.

70
Referncias:

FOLEY, J., VAN DAM, A., FEINER, S., HUGHES, J. - Computer Graphics:
Principles and Practice, 2nd edition in C, Addison-Wesley, reading, MA, 1990.
GOMES, J. de M., VELHO, L. - Introduo Computao Grfica - Sociedade
Brasileira de Computao, SP, 1990.
NEIDER, J., DAVIS, T., WOO, M. - The OpenGL Programming Guide, Addison-
Wesley, Reading, MA, 1993.

OBS: Esta disciplina ministrada como Mestrado / Doutorado.

8.3.38 Subvariedades Mnimas


Pr-requisitos: Geometria Diferencial (e seus pr-requisitos)

Subvariedades mnimas de uma variedade Riemanniana como pontos crticos do


funcional volume. Frmulas da primeira e segunda variao do volume. Exemplos
clssicos em formas espaciais e variedades Khler. Estabilidade e estimativas de
curvatura de Schoen e Colding-Minicozzi. Aplicaes para a compacidade de famlias
de superfcies mnimas estveis. Teoria global de superfcies mnimas em 3-variedades
homogneas. Outros tpicos.

Referncias:

COLDING, T. e MINICOZZI, W. P. - An Excursion into Geometric Analysis,


Surveys in Differential Geometry, International Press, 2004.
LAWSON, B. - Lectures on Minimal Submanifolds, Berkeley, Publish or Perish,
1980.
OSSERMAN, R. - A Survey of Minimal Submanifolds, 1st ed., New York, Van
Nostrand,1969. New York, 2nd ed., Dover Publ, 1988.

8.3.39 Superfcies Algbricas

Teoria de interseo; Riemann-Roch; blowups, o teorema de contrabilidade de


Castelnuovo e transformaes birracionais; superfcies regradas; superfcies racionais;
o teorema de racionalidade de Castelnuovo. Tpicos extras (conforme o tempo
permita) a serem escolhidos dentre os seguintes: transformaes elementares, o grupo
de Cremona no plano, a classifio de Enriques, etc.

Referncia:

BEAUVILLE, A. - Complex algebraic surfaces. 2nd ed. New York: Cambridge


University Press, 1996.

8.3.40 Superfcies de Riemann


Pr-requisito: Anlise Complexa

Funes harmnicas e subharmnicas. Problema de Dirichlet. Existncia de funes


meromorfas. Espaos de recobrimento. Teorema de uniformizao. Funes e

71
diferenciais meromorfas. Frmula de Hurwitz. Teorema de Riemann-Roch. Teorema
de Abel-Jacobi.

Referncias:

FARKAS, H., KRA, I. - Riemann Surfaces. Berlim, Springer-Verlag, 1980.


REYSSAT, E. - Quelques Aspects des surfaces de Riemann, Birkuser, 1989.

8.3.41 Teoria Algbrica dos Nmeros


Inteiros algbricos. Anel dos inteiros algbricos de um corpo de nmeros, bases e
discriminante. Ideais, ideais primos. Grupo de classes, finitude do grupo de classes.
Fatorao nica e ideais primos. Norma de ideais. Discriminante, diferente e
ramificao. Igualdade fundamental. Corpos quadrticos e lei de reciprocidade
quadrtica. Corpos ciclotmicos. Teorema de Dirichlet (unidade). Funo zeta e L-
sries de corpos de nmeros, frmula analtica do nmero de classes.

Referncias:

BOREVICH, Z. I., SHAFAREVICH, I. R. - Number Theory, New York,


Academic Press, 1966.
ENDLER, O. - Teoria dos Nmeros Algbricos. Rio de janeiro, IMPA, Projeto
Euclides, 1986.
RIBENBOIM, P. - Algebraic Numbers, New York, Wiley-Interscience, 1972.
SAMUEL, P. - Thorie Algbrique des Nombres, Paris, Hermann, 1967.

8.3.42 Teoria Analtica dos Nmeros


Pr-requesitos: Varivel Complexa.

Arithmetic functions; The Riemann zeta-function; Dirichlet characters; Dirichlet L-


functions; Gauss sums; Ciclotomy; Primes in arithmetic progression; Functional
equation for L-functions; Zero-free regions for z (s) and other L-functions; Prime
Number Theorem; Siegel's theorem; Sieve methods; Exponential sums; Consequences
of the Riemann hypothesis; Explicit formulas; Extremal functions and Fourier analysis
methods; Elliptic functions; Weierstrass P-function; Eisenstein series; Identities
involving sums of powers of divisors; Ramanujan tau function; Jacobi theta functions;
Two-squares theorem; Four-squares theorem.

Referncias:

CHANDRASEKHARAN, K. - Elliptic functions, Springer, 1985.


DAVENPORT, H. - Multiplicative Number Theory, Third Edition, Springer, 2000.
IWANIEC, H., KOWALSKI, E. - Analytic Number Theory, AMS Colloquium
Publications, Volume 53, 2004.
STEIN, E. M., SHAKARCHI, R. - Complex analysis, Princeton Lectures in
Analysis, II, Princeton University Press, 2003.
TITCHMARSH, E. C., - The theory of the Riemann zeta-function, Second Edition,
Oxford Science Publications, 1986.
ZAGIER, D. - Elliptic modular forms and their applications, Universitext,
Springer, 2008.
72
8.3.43 Teoria dos Jogos No Cooperativos
Modelando situaes de competio. Jogos na forma extensiva. Jogos na forma
normal. Jogos na forma estratgia. Estratgias mistas e o teorema de Khun. Solues
de Jogos no cooperativos. Dominncia e dominncia iterada. Equilbrio de Nash.
Equilbrio perfeito em subjogos; equilbrio perfeito com mo trmula; equilbrio
sequencial. Aplicaes dos conceitos de equilbrio. Jogos com informao incompleta
ou imperfeita. Equilbrio bayesiano. Equilbrio bayesiano imperfeito. Aplicaes.
Jogos repetidos. Modelos de barganha.

Referncias:

FUNDENBERG, D., KREPS, D. - A Theory of Learning, Experimentation and


Equilibrium in Games. Minnesota, Stanford Univ., 1989.
SCHELLING, T. - The Strategy of Conflict, 2nd ed., Harvard Univ. Press, 1980.
THOMAS, L. - Games, Theory and Applications, Chichester, Ellis Harwoos, 1984.

8.3.44 Teoria Ergdica Diferencivel


Teorema de recorrncia de Poincar e teorema ergdico de Birkhoff. Existncia de
medidas invariantes para transformaes contnuas. Transformaes ergdicas e
misturadoras. Transformaes unicamente ergdicas. Exemplos: shifts, automorfismos
e translaes do toro. Decomposio ergdica de medidas invariantes. Entropia
mtrica e topolgica. Transformaes expansoras e existncia de medidas variacionais.
Tpicos adicionais: Princpio variacional. Estado de equilbrio. Atratores hiperblicos
e medida de Sinai-Ruelle-Bowen. Teorema de Oseledec. Desigualdade de Ruelle.
Fmula de entropia de Pesin. Teoria ergdica de sistemas no-uniformemente
hiperblicos.

Referncias:

BOWEN, R. - Equilibrium States and the Ergodic Theory of Anosov


Diffeomorfisms. Berlin, Springer-Verlag, 1975.
CRAIZER, M. - Entropia das Funes Internas. Rio de Janeiro, IMPA, 1989.
MA, R. - Ergodic Theory and Diferentiable Dynamics. Berlin, Springer-Verlag,
1987.

8.3.45 Teoria Espectral


Pr-requisitos: Medida e Integrao, Anlise Funcional.

Operadores lineares limitados e no limitados. Operadores integrais, operadores de


multiplicao e operadores diferenciais. O teorema de extenso para operadores
limitados. A transformada de Fourier em L1 ( Rn ), S ( Rn ) e L2 ( Rn ). Distribuies de
L. Schawartz, distribuies temperadas e distribuies de suporte compacto. Os
espaos de Sobolev Hs ( Rn ). Aplicaes s equaes de evoluo, lineares e no
lineares. Operadores fechados, fechveis, simtricos e auto-adjuntos. Resolvente e
espectro. A transformada de Cayley. Diferenciao de medidas. O teorema de
decomposio de Hahn. O teorema de decomposio de Radon-Nikodyn. Integrais de
Riemann-Stieltjes e Lebesque-Stieltjes. O teorema espetral para operadores auto-
73
adjuntos nas formas de integrais espectrais, de operador de multiplicao e de clculo
funcional. O teorema de Stone.

Referncias:

HILLE, E. - Methods in Classical and Functional Analysis. Reading, Mass.,


Addison-Wesley Pub. Co., 1972.
KOLMOGOROV, A. N., FOMIN, S. V. - Introductory Real Analysis, Dover Publ.,
Inc. Translated from the seconde russian edition, 1970.
REED. M., BARRY, S. - Methods of Modern Mathematical Physics vols. I e II,
New York: Academic Press, 1972-1978.
RIESZ, F., SZ. -NAGY, B. - Functional Analysis, Frederick Ungar Publ.Co.
Translated from the second french edition, 1955.
RUDIN, W. - Real and Complex Analysis. New York, McGraw-Hill, 1966.
STONE, M. - Linear Transformations in Hilbert Space and their Applications to
Analysis, Amer. Math. Soc. Colloq. Publ., vol. 15, 1932.
THAYER, J. - Operadores Auto-adjuntos e Equaes Diferenciais Parciais. Rio de
Janeiro, Projeto Euclides, IMPA, 1987.

8.3.46 Teoria Geomtrica da Medida


Medidas de Hausdorff; densidades; medidas de Randon. Funes Lipschitz; Funes
BV. Subvariedades de R{n+k}; a frmula da rea; frmulas da primeira e segunda
variao; a frmula da co-rea. Conjuntos contavelmente n-retificveis, propriedades
de tangente; gradientes, Jacobianos, rea, co-rea; o Teorema de estrutura; conjuntos
localmente de permetro finito. Teoria das n-varifolds retificveis; propriedades e
definies bsicas; primeira variao; frmulas de monotonicidade e conseqncias
bsicas; desigualdades de Poincar e Sobolev; outras consequncias das frmulas de
monotonicidade. O Teorema de regularidade de Allard; aproximao Lipschitz;
aproximao por funes harmnicas; Lema do decaimento de Tilt-Excesso; Teorema
principal de regularidade: primeira verso; Teorema principal de regularidade:
segunda verso.

Referncias:

EVANS, L.C., GARIEPY, R.J. - Measure Theory and Fine Properties of


Functions, CRC Press, 1992.
FEDERER, H. - Geometric Measure Theory, Springer-Verlag, New York, 1969.
GIUSTI, E. - Minimal Surfaces and Functions of Bounded Variation, Birkhauser,
Boston, 1984.
SIMON, L. - Lectures on Geometric Measure Theory, Proceedings of the Centre
for Mathematical Analysis, Australian National Unviersity, Vol. 3, 1983.

8.3.47 Teoria Geomtrica dos Grupos


Pr-requisitos: Basic Group Theory and Riemannian Geometry

Groups and presentations: abelian groups, solvable groups, nilpotent groups, Jordan's
theorem, free groups and group presentations. Cayley graphs, coarse geometry, quasi-
isometries, Gromov-hyperbolic spaces, hyperbolic groups, ideal boundaries and some
further properties of hyperbolic groups. Coarse topology: metric cell complexes, the
74
ends of a space, Rips complexes. Tits alternative. Growth of groups and Gromov's
theorem. Other proofs of Gromov's theorem. Further topics include: Quasi-isometries
of nonuniform lattices in hyperbolic spaces, Schwartz Rigidity Theorem, Mostow
Rigidity Theorem.

Referncias:

GHYS, E., DE LA HARPE, P. - Sur les groupes hyperboliques dapres Mikhael


Gromov. Progress in Maths. No. 83, Birkhauser, 1990.
BRIDSON, M., HAEFLIGER A. - Metric spaces of non-positive curvature,
Springer-Verlag, Berlin, 1999.
DRUTU, C., KAPOVICH, M. - Lectures on Geometric Group Theory, preliminary
version of the book at www.math.ucdavis.edu/~kapovich/EPR/ggt.pdf.

8.3.48 Topologia das Variedades


Pr-requisito: Anlise Vetorial

Variedades diferenciveis, exemplos; fibrados vetoriais, grupos de Lie e espaos


homogneos. Campos de vetores e formas diferenciais. Distribuies e o teorema de
Frobenius; aplicaes na teoria de grupos de Lie. Integrao de formas. Cohomologia
de de Rham; suporte compacto. Invarincia homotpica, seqncia de Mayer-Vietoris;
exemplos e aplicaes. Dualidade de Poincar. Homologia e cohomologia
singular. Teorema de Rham. Topicos adicionais: frmulas de Kunneth e coeficientes
universais, cohomologia de Cech, outros.

Referncias:

BREDON, G. - Topology and Geometry , Springer-Verlag, 1993.


LEE, J. - Introduction to Smooth Manifolds, Springer-Verlag, 2002.
LIMA, E. - Homologia Bsica, Projeto Euclides, 2009.
WARNER, F. - Foundations of Differentiable Manifolds and Lie Groups,Springer-
Verlag, 1983.

8.3.49 Topologia Diferencial


Pr-requisitos: Anlise Vetorial e Anlise no Rn

Variedades: definio e exemplos. Variedades com bordo. Variedades orientveis.


Parties da unidade. Teorema de Sard. Topologia Cr (domnio compacto). Espaos de
jatos e transversalidade nos jatos. Teoremas de Whitney. Grau mdulo dois e grau de
Brower. Invarincia por homotopia.
Aplicaes: teorema do ponto fixo de Brower, teorema da invarincia da dimenso.
Teorema de Hopf da classificao homotpica das aplicaes na esfera. Teoria da
interseo e grau. Invarincia por homotopia do nmero de interseo. Campos de
vetores e caracterstica de Euler. ndice de Poincar-Hopf. Teorema de Poincar-Hopf.
Teorema de Lefschetz.

Referncias:

75
HIRSH, M. - Differential Topology. Graduate Texts in Mathematics, 33. Springer-
Verlag, New York, 1994.
LIMA. E. L. - Introduo Topologia Diferencial. Rio de Janeiro, IMPA, 2005.
MILNOR, J. - Topology from the Differentiable Viewpoint. Charlottesville,
Princeton Univ. Press, 2nd (1969).

76