Orientador: Messias Meneguette Júnior / Banca: Heloisa Helena Marino Silva / Banca: Marcos Tadeu de Oliveira Pimenta. / Resumo: Neste trabalho é estudada a estabilidade para a equação de Stokes com diferentes condições de contorno em um esquema implícito. São consideradas análise pelo modonormal (método de Fourier) e pela computação numérica do fator de amplificação / Abstract: In this work we studied the stability for the Stokes equation with different boundary conditions in an implicit scheme. The normal-mode analysis (Fourier method) and numerical computation of the amplification factor are considered / Mestre

En el presente trabajo consiste en probar el Teorema Fundamental De Eilenberg ( segunda forma) usando el método de la topología algebraica que consiste en asociar a cada espacio topológico x. / This word consiste in prove the Fundamental theorem of Eilenberg (Second Form ) using the methds of algebraic topology that consists in associate to each space a group.

Made available in DSpace on 2014-06-11T19:26:56Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-04-13Bitstream added on 2014-06-13T20:55:43Z : No. of bitstreams: 1 mialich_fr_me_sjrp.pdf: 707207 bytes, checksum: 0335d58e9114dcc029b4d78ec2a82f51 (MD5) / Este trabalho tem como tema central Poliedros e o Teorema de Euler. Foi feita uma breve análise da definição de Poliedros e apresentadas algumas considerações históricas a respeito dos Poliedros e o Teorema de Euler. Foram abordadas duas versões/demonstrações do Teorema de Euler, a primeira para poliedros convexos, e a segunda, conhecida como de Teorema de Euler segundo Cauchy (que engloba certos poliedros não convexos, que são homeomorfos à esfera). Ainda, como consequência do Teorema de Euler, foi demonstrado o teorema da existência de apenas cinco poliedros regulares, conhecidos como Poliedros de Platão. Analisou-se também o conteúdo/ensino de Poliedros em certos documentos oficiais (PCN, Currículo do Estado de SP, Matrizes do SARESP e ENEM). Por último foi elaborada uma proposta de atividades explorando poliedros, o Teorema de Euler e os conteúdos de área, volume e planificação, bem como análise e resolução de algumas questões do SARESP e ENEM (relativas a tais conteúdos), utilizando, para melhor compreensão e visualização, o software matemático Poly, a fim de construir uma aprendizagem mais significativa para os alunos. Com o desenvolvimento do trabalho foi possível compreender melhor a definição de poliedros, o Teorema de Euler e refletir um pouco sobre o desenvolvimento das pesquisas Matemáticas a partir de alguns aspectos históricos. Através da análise do conteúdo, em certos documentos oficiais, pode-se verificar que o assunto/tema tratado no trabalho faz parte desses documentos e têm sido cobrados em avaliações, mas, em geral, de forma bastante simples. Observamos também, que em algumas questões analisadas os enunciados não estavam muito claros, o que pode confundir os alunos / This work has as its central theme Polyhedra and Euler's Theorem. We made a brief analysis of the definition of Polyhedra and some historical considerations about Polyhedra and Euler's Theorem. We considered two versions/proofs of Euler's Theorem, the first for convex polyhedra, and the second, known as Euler's Theorem according to Cauchy (which includes certain nonconvex polyhedra that are homeomorphic to the sphere). Also, as a consequence of Euler's theorem, it was demonstrated the theorem of existence of only five regular polyhedra, known as Plato’s Polyhedra. We also analyzed the content/teaching of Polyhedra in certain official documents (PCN, SP State Curriculum, SARESP matrices and ENEM). Finally we presented a proposal of activities exploring polyhedra, Euler's Theorem, the contents area, volume and planning, as well as an analysis and resolution of some questions from SARESP and ENEM (for such contents), by using, for better understanding and visualization, the Poly mathematical software in order to build a more meaningful learning for students. With the development of this work we got a better understand of the definition of polyhedra, the Euler's Theorem and we reflected a little on research and development of mathematics from some historical aspects. By analysing the content in certain official documents, it can be seen that the subject/topics covered in this work are parts of these documents and have been rated in tests, but generally in a quite simple form. We also observed that in some questions discussed, the statements were not very clear, which can confuse the students

Made available in DSpace on 2014-06-11T19:27:08Z (GMT). No. of bitstreams: 0 Previous issue date: 2012-08-31Bitstream added on 2014-06-13T19:47:38Z : No. of bitstreams: 1 menezes_cl_me_prud.pdf: 537017 bytes, checksum: 903487eb7b8ea31bd975c66d5fc494ef (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho é estudada a estabilidade para a equação de Stokes com diferentes condições de contorno em um esquema implícito. São consideradas análise pelo modonormal (método de Fourier) e pela computação numérica do fator de amplificação / In this work we studied the stability for the Stokes equation with different boundary conditions in an implicit scheme. The normal-mode analysis (Fourier method) and numerical computation of the amplification factor are considered

Este trabalho tem por objetivo estudar a regularidade de soluções de Equações Diferenciais Parciais Elípticas da forma Lu = f, para f 2 Lp(­), onde p > 1. Para isto, usamos a Decomposição de Calderon-Zygmund e um resultado que é consequência deste, o Teorema da Interpolação de Marcinkiewicz. Além disso, usando quocientes-diferença provamos a regularidade das soluções para o caso p = 2 e L = ¡¢ de uma forma alternativa.

O presente trabalho discute formalmente vários aspectos da teoria de cópulas tanto no caso bidimensional quanto no caso m-dimensional. São apresentados os principais teoremas da teoria de cópulas, métodos recentes e tradicionais para a construção de cópulas, algumas cópulas associadas a funcionais do Movimento Browniano são calculadas e alguns métodos de estimação baseados em cópulas são apresentados. / The present work formally discusses several aspects of the copula's theory in the bidimensional case and in the m-dimensional case. Here we present the main theorems, recent and traditional methods for copulas' construction and copulas associated with some functionals of the Brownian Motion. Some traditional copula-based estimation methods are also presented.

Este trabalho tem por objetivo estudar a unicidade de soluções positivas para o problema de valores de fronteira dado por: Laplaciano de u mais f(u) igual a zero e u>0, na bola de raio r em Rn, e u=0 na fronteira desta bola, onde f(u) é dada pela soma de u na potência p com u na potência q, com 1<q<p, (n-2)p<n+2 e n(p-1)<(=)2(q+1) e n>2. Sendo assim, temos por finalidade demostrar o teorema que garante a unicidade de solução positiva para o problema dado.

Seguindo os trabalhos de William Parry e Mark Pollicott, analisamos expressões de funções zeta dinâmicas e construímos probabilidades envolvendo somas em órbitas periódicas, que chamamos de zeta-medidas. Mostramos que as zeta-medidas são ferramentas úteis para aproximar o equilíbrio de um potencial Holder e que podem ser usadas para aproximar a probabilidade maximizante. Para alguns casos, mostramos que esta convergência satisfaz um princípio dos grandes desvios sem assumir unicidade da probabilidade maximizante. Como as iterações do Operador de Ruelle podem ser usadas para aproximar o equilíbrio de um potencial Holder, tomando um limite em duas variáveis, mostramos que elas podem ser usadas para aproximar a probabilidade maximizante. Supondo a unicidade da probabilidade maximizante, mostramos que esta convergência satisfaz um princípio dos grandes desvios com o mesmo funcional obtido por Baraviera-Lopes-Thieullen, para as medidas de equilíbrio. Mostramos antes que este funcional difere do obtido para zeta-medidas. Em uma seção independente, construímos um ponto cujo w-limite não contém pontos periódicos. Este w-limite pode ser aproximado exponencialmente em N por órbitas periódicas de tamanho menor ou igual a N. / We follow the works of William Parry and Mark Pollicott considering expressions of dinamical zeta functions and construct probabilities over sum on periodic orbits, that we call zeta-measures. We show that zeta-measures are useful tools to approximate the equilibrium measure of a H¨older potential and also they can be used to approximate the maximizing measure. In some cases, we show that this convergence satisfies a Large Deviation Principle (LDP) without assuming unicity of the maximizing measure. The Ruelle Operator can be used to approximate the equilibrium measure of a H¨older potential, so taking a limit on two variables, we show that they can be used to aproximate the maximizing measure. When there is a unique maximizing measure, we show that this convergence satisfies a LDP with the same functional given by Baraviera-Lopes-Thieullen, for equilibrium measures. We have shown before that this functional isn’t the same for zeta-measures. In a independent section we construct a point such that the w-limit set doesn’t have periodic points. This w-limit set can be approximate exponencialy in N by periocic orbits with period smaller than N.

Frequentemente em pesquisas médicas ou epidemiológicas, múltiplas medidas de um mesmo sujeito são tomadas ao longo do tempo, caracterizando um estudo com dados longitudinais. Nos últimos anos, a técnica estatística que tem sido mais utilizada para a análise desses estudos é o modelo misto, pois este permite incorporar a provável correlação das observações de um mesmo indivíduo e é flexível para lidar com situações de desbalanceamento e dados faltantes. Um modelo misto muito utilizado nesses casos é o modelo de coeficientes aleatórios, que permite que a relação da variável resposta com o tempo seja descrita através de uma função matemática. Há duas abordagens para se analisar o modelo misto: clássica e Bayesiana. Para se aplicar o método Bayesiano nesse caso, deve-se utilizar um dos métodos MCMC, já que a distribuição a posteriori não é analiticamente derivável. O método MCMC utilizado neste trabalho foi o Amostrador de Gibbs. As duas abordagens podem levar a resultados diferentes, deixando o pesquisador em dúvida sobre qual método utilizar. Poucos estudos compararam a abordagem clássica e a Bayesiana para a análise de dados longitudinais via modelos mistos. O objetivo deste trabalho é proceder a um estudo de simulação, para comparar estas abordagens em termos de vício e precisão. Compararam-se os estimadores Bayesianos média, moda (estimada não-parametricamente) e mediana a posteriori e o estimador clássico obtido pelo método REML. Simulou-se um modelo que envolve efeito de tempo e de uma covariável denominada tratamento, assumindo a estrutura Componentes de Variância para as duas matrizes de covariâncias do modelo misto. Diferentes configurações de tamanho de amostra e desbalanceamento foram adotadas, para avaliar o desempenho dos métodos frente a essas situações. Em cada uma das configurações, foram realizadas 1000 replicações no software R. As maiores diferenças encontradas foram em relação a alguns componentes de variância, sendo que pelo menos um dos estimadores Bayesianos apresentou erro quadrático médio menor do que o estimador clássico em todas as configurações. Não foi possível identificar um único estimador Bayesiano como sendo o melhor para todos os casos estudados. A moda mostrou-se um estimador com boas propriedades em algumas situações e por isso sugere-se que o mesmo seja implementado no software WinBUGS. / Frequently in medical or epidemiologic research, multiple measures of the same subject are observed over the time. This characterizes a study with longitudinal data. In the last years, the statistical technique that has been used in the analysis of these studies is the mixed model, because it permits to model the probable correlation between the observations of the same individual, and it handles well with situations of unbalanceament and missing data. A mixed model that has been used in these cases is the random coefficients model. It allows the relationship between the response variable and the time to be described through a mathematical function. There are two approaches to analyze mixed models: the classical and the Bayesian methods. In order to apply the Bayesian inference in this case, the MCMC methods have to be used, because the posterior distribution is not analytically derivable. The MCMC method used in this work was the Gibbs Sampler. The two approaches may produce different results, and because of that the researcher may be in doubt of what method to use. In the literature, there are few studies that compare the classical and the Bayesian approach in the analysis of longitudinal data using mixed models with an analytical way. So, the objective of this work is to proceed a simulation study to compare the Bayesian and classical inferences in terms of bias and precision. The Bayesian estimators posterior mean, (non-parametric) mode and median, and the classical estimator obtained by the REML method were compared. We simulated a model that involves the effects of time and a covariable named “treatment”, and that assumes a Variance Components structure for the two covariance matrices of the mixed model. Different configurations of sample size and unbalanced data were adopted, to see the performance of the methods with these situations. In each of these configurations, 1000 replications were proceeded in the R software. The main differences founded were in the estimation of the variance components of the random effects. For these parameters, one of the Bayesian estimators had lower mean square error than the classical in all of the configurations. It was not possible to identify one best Bayesian estimator in all the cases studied. The mode seems an estimator with good properties in some situations and because of that it should be implemented in the WinBUGS software.

Dissertação (mestrado) - Universidade Federal de Santa Catarina, Centro de Ciências Físicas e Matemáticas, Programa de Pós-graduação em Matemática e Computação Científica, Florianópolis, 2011 / Made available in DSpace on 2012-10-26T06:47:41Z (GMT). No. of bitstreams: 1 290254.pdf: 695349 bytes, checksum: b04328a607895ee2ea597e358a060ca3 (MD5) / Este trabalho apresenta resultados teóricos e práticos sobre às equações de Stokes e sobre o método de Galerkin descontínuo aplicado às equações de Stokes. Primeiramente apresentamos o teorema de Lax-Milgram que garante, para alguns problemas existência e unicidade. Mostrando que o problema de Stokes não se enquadra nas hipóteses do teorema de Lax-Milgram, criamos uma motivação para estudar existência e unicidade via condição Inf-Sup. Apresentamos para isso uma série de teoremas determinando condições que um problema precisa satisfazer para que existência e unicidade sejam satisfeitas. Essas condições foram enunciadas demonstradas num contexto mais geral. Por isso, mostramos que o problema de Stokes, de fato, satisfaz essas condições e, portanto, é um problema com existência e unicidade de solução. Depois disso, o problema é discretizado usando o método de Galerkin descontínuo para depois ser implementado e testado. Também enunciamos e demonstramos teoremas com estimativas de erro a priori na norma energia e L²(?) para o campo de velocidade, e na norma L²(?) para a pressão. Por último apresentamos os resultados numéricos em dois problemas teste retirados da literatura e discutimos aspectos sobre a implementação e estabilização do método.