2017
CONTEDO
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
4 INFORMAES DIVERSAS
5 MESTRADO
6 DOUTORADO EM MATEMTICA
4
DIRETORES DO IMPA
Marcelo Viana
Claudio Landim
CORPO DE PESQUISADORES
PESQUISADORES EMRITOS
01. Csar Camacho
PhD, University of California, Berkeley
PESQUISADORES HONORRIOS
7
PESQUISADORES EXTRAORDINRIOS
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 :
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.
e-mail: library@impa.br
e-mail: cin@impa.br
1.7 Publicaes
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
lgebra
Computao Grfica
Economia Matemtica
Geometria Diferencial
Geometria Simpltica
Otimizao
Probabilidade
13
2.2.1 lgebra
Geometria Algbrica
lgebra Comutativa
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.
14
2.2.2 Anlise / Equaes Diferenciais Parciais
15
2.2.3 Computao Grfica
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
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.
17
2.2.5 Economia Matemtica
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:
19
2.2.7 Geometria Diferencial
Curvatura e Topologia;
Imerses Isomtricas;
Anlise Geomtrica.
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
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
e-mail: dac@impa.br
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
b) Doutorado
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;
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
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.
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.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.
5. MESTRADO
O programa de Mestrado em Matemtica do IMPA consta atualmente das seguintes
opes:
Matemtica
Economia Matemtica
Computao Grfica
Matemtica Computacional e Modelagem
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).
Opo Matemtica
Cursar 5 disciplinas em pelo menos 3 grupos abaixo:
30
Opo Economia Matemtica
Eletiva 1
Probabilidade I
Otimizao ou Anlise Numrica
Eletiva 2
Tpicos de Economia Matemtica
e) Ter sido aluno regularmente matriculado no IMPA durante pelo menos dois
perodos letivos.
32
5.6 Sugesto de Roteiro
Opo Matemtica
Anlise Complexa
33
Opo Computao Grfica
Algoritmos Eletiva 2
Obs.: As disciplinas eletivas devero ser escolhidas entre as disciplinas regulares e devero ser
aprovadas pelo orientador acadmico.
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
e) Ter permanecido durante pelo menos trs perodos letivos como aluno devidamente
matriculado no IMPA;
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
35
6.4 Exame de Qualificao
36
6.6 Oferta Anual de Disciplinas de Doutorado
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
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
Referncias:
Referncias:
Artigos diversos
Referncias:
40
LIMA, E. L. - lgebra Linear. Coleo Matemtica Universitria, IMPA, 1995.
Referncias:
Referncias:
8.2 Mestrado
Referncias:
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:
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:
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:
Referncias:
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:
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.
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:
Referncias:
45
Referncias:
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:
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).
Referncias:
Referncias:
47
8.2.16 Introduo Mecnica Estatstica
Referncias:
Referncias:
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:
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:
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:
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:
8.2.23 Probabilidade I
Pr-requisitos: Medida e Integrao (convergncia de integrais, espaos Lp, espaos
produto).
Referncias:
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:
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
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:
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.
8.3 Doutorado
Referncias:
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:
Referncias:
54
8.3.4 Anlise Geomtrica
Pr-requisitos: Anlise Funcional e Geometria Riemanniana
Referncias:
55
funo "sharp"; uma abordagem elementar e uma verso didica; outras propriedades
de BMO; um teorema de interpolao.
Referncias:
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.
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:
Referncias:
Referncias:
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.
Referncias:
58
Referncias:
Referncias:
Referncias:
59
8.3.14 Equaes Diferenciais Parciais e Aplicaes
Pr-requisitos: lgebra Linear e Aplicaes, Anlise no Rn, Anlise Complexa e
EDOs e EDPs.
Referncias:
Referncias:
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:
Referncias:
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:
Referncias:
Referncias:
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.
Referncias:
63
Referncias:
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.
Referncias:
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]
Referncias:
Referncias:
Referncias:
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.
Referncias:
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:
Referncias:
8.3.32 Probabilidade II
Pr-requisitos: Medida e Integrao. Probabilidade I - muito til, mas no
estritamente fundamental.
Referncias:
Referncias:
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.
Referncias:
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:
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.
Referncias:
Referncia:
71
diferenciais meromorfas. Frmula de Hurwitz. Teorema de Riemann-Roch. Teorema
de Abel-Jacobi.
Referncias:
Referncias:
Referncias:
Referncias:
Referncias:
Referncias:
Referncias:
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:
Referncias:
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