Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2010. / Submitted by Shayane Marques Zica (marquacizh@uol.com.br) on 2011-02-17T12:39:59Z No. of bitstreams: 1 2010_MaxwellLizetedaSilva.pdf: 831448 bytes, checksum: f15f4701e9ba427c098fdf4159c112c2 (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2011-03-30T02:26:39Z (GMT) No. of bitstreams: 1 2010_MaxwellLizetedaSilva.pdf: 831448 bytes, checksum: f15f4701e9ba427c098fdf4159c112c2 (MD5) / Made available in DSpace on 2011-03-30T02:26:39Z (GMT). No. of bitstreams: 1 2010_MaxwellLizetedaSilva.pdf: 831448 bytes, checksum: f15f4701e9ba427c098fdf4159c112c2 (MD5) / Consideramos o problema semilinear -∆u+m(x)u = a (x) f (u) em um domínio suave limitado Ω∁RN; sob as condições de Neumann na fronteira, quando a ∈ C(Ω) troca de sinal eDigite a equação aqui.m e f : R ! R possui crescimento superlinear subcrítico. Os resultados estão baseados no primeiro autovalor do operador- ∆ + m; sob as mesmas condições de fronteira. Inicialmente, utilizando o método de minimização com vínculo, estabelecemos a existência de uma solução positiva para o problema superlinear homogêneo no caso de perturbações adequadas do potencial m: Posteriormente, aplicamos o método de minimax e a teoria de Morse em dimensão infinita para demonstrar que o problema não homogêneo possui pelo menos três soluções não triviais. Um resultado de existência de três soluções para o problema perturbado também é apresentado. _________________________________________________________________________________ ABSTRACT / We consider the semilinear problem -∆u+m(x)u = a (x) f (u) on a bounded smooth domain Ω∁RN; under Neumann boundary conditions, when a ∈ C(Ω)changes sign in and f : R ! R has superlinear and subcritical growth. The results are based on the first eigenvalue for the operator ∆ + m; under the same boundary conditions. Initially, using the constrained minimization method, we establish the existence of a positive solution for the homogeneous superlinear problem when we have a suitable perturbation of the potential function m: Posteriorly, applying the minimax method and the infinite dimensional Morse theory, we establish the existence of at least three nontrivial solutions for the nonhomogeneous problem. A result concerning the existence of three solution for the perturbed problem is also presented.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2011. / Submitted by alcianira lima persch (alcyrpl@yahoo.com.br) on 2011-06-28T19:47:54Z No. of bitstreams: 1 2011_ManuelaCaetanoMartinsdeRezende.pdf: 2564047 bytes, checksum: 97b9b2a9bf641f22916bd222874a0c57 (MD5) / Approved for entry into archive by Elna Araújo(elna@bce.unb.br) on 2011-06-29T16:13:14Z (GMT) No. of bitstreams: 1 2011_ManuelaCaetanoMartinsdeRezende.pdf: 2564047 bytes, checksum: 97b9b2a9bf641f22916bd222874a0c57 (MD5) / Made available in DSpace on 2011-06-29T16:13:14Z (GMT). No. of bitstreams: 1 2011_ManuelaCaetanoMartinsdeRezende.pdf: 2564047 bytes, checksum: 97b9b2a9bf641f22916bd222874a0c57 (MD5) / Neste trabalho, estabelecemos existência de soluções positivas para a classe de problemas <: _p u = g(x; u) + _f(x; u) + _V (x;ru) em u > 0 em e u = 0 em @; em que _p é o operador p-Laplaciano, 1 < p < 1; _ > 0 e _ _ 0 são parâmetros reais; g; f : _(0;1) ! [0;1) e V : _RN ! R são funções contínuas satisfazendo hipóteses adequadas e _ RN é um domínio limitado regular ou = RN. Quando = RN, a condição u(x) = 0 quando x 2 @ significa que u(x) ! 0 quando jxj ! 1. Nenhuma condição de monotonicidade e (ou) singularidade é exigida das nãolinearidades g e f, mas termos singulares e superlineares são incluídos em nossos resultados, que utilizam uma técnica de monotonização-regularização, métodos de sub e supersolução e argumentos de aproximação. As dificuldades decorrentes da presença do termo convectivo V e da perda de elipticidade do operador p-Laplaciano são contornadas por meio de princípios de comparação, um deles estabelecido neste trabalho. _________________________________________________________________________________ ABSTRACT / In this work, we establish the existence of positive solutions for the problem <: _p u = g(x; u) + _f(x; u) + _V (x;ru) in u > 0 in e u = 0 on @; where _p is the p-Laplacian operator, 1 < p < 1; _ and _ are real parameters; g; f : _ (0;1) ! [0;1) and V : _ RN ! R are continuous functions satisfying appropriated hypotheses and _ RN is a smooth bounded domain or = RN. When = RN, the condition u(x) = 0 on @ means that u(x) ! 0 when jxj ! 1. No monotonicity conditions and (or) the existence of singularity is required on the nonlinearities g and f, but singular and super linear terms are included in our results, which use a regularization and monotonicity technique, sub and super solutions methods and approximation arguments. The difficulties arising from the presence of the convective term V and the loss elipticity of the p-Laplacian operator are overcome by comparison principles, one of this principle is established in this work.

Tese (doutorado)—Universidade de Brasília, Instituto de Ciências Exatas, Departamento de Matemática, 2010. / Submitted by Albânia Cézar de Melo (albania@bce.unb.br) on 2011-05-18T14:09:38Z No. of bitstreams: 1 2010_BiankaCarneiroLeandro.pdf: 409098 bytes, checksum: 18adb739fc0294fc9cfca6e7913914af (MD5) / Approved for entry into archive by Daniel Ribeiro(daniel@bce.unb.br) on 2011-05-26T00:34:11Z (GMT) No. of bitstreams: 1 2010_BiankaCarneiroLeandro.pdf: 409098 bytes, checksum: 18adb739fc0294fc9cfca6e7913914af (MD5) / Made available in DSpace on 2011-05-26T00:34:11Z (GMT). No. of bitstreams: 1 2010_BiankaCarneiroLeandro.pdf: 409098 bytes, checksum: 18adb739fc0294fc9cfca6e7913914af (MD5) / Consideramos o espaço pseudo-Euclidiano (Rn, g), com coordenadas x = (x1, ..., xn), n _ 3, e gij = _ij"i, "i = ±1. Seja T um tensor simétrico de ordem 2, definido por T = nXi,j=1 "jFij(xk)dxi dxj , onde k ´e fixo, "jFij(xk) = "iFji(xk), 8i, j tais que i 6= j e para j0 fixo, Fij(xk) = cij , 8i, j tais que i, j, j0 s˜ao distintos, com cij 2 R. Além disso, assumimos que existem um intervalo aberto I _ R e l0 6= j0 tais que F0 l0j0(xk) 6= 0, 8xk 2 I. Obtemos condições necessrias e suficientes para que tal tensor admita métrica ¯g, conforme a g, que resolva a equação do tensor de Ricci, Ric ¯g = T. _________________________________________________________________________________ ABSTRACT / We consider the pseudo-Euclidean space (Rn, g), with coordinates x = (x1, ..., xn), n _ 3, and gij = _ij"i. Let T be a symmetric tensor of order 2, defined by T = nXi,j=1 "jFij(xk)dxidxj , where k is fixed, "jFij(xk) = "iFji(xk), 8i, j such that i 6= j and for j0 fixed, Fij(xk) = cij , 8i, j such that i, j, j0 are distinct, with cij 2 R. Moreover, we assume that there is an open interval I _ R and l0 6= j0 such that F0 l0j0(xk) 6= 0, 8xk 2 I. We provide necessary and sufficient conditions for such a tensor to admit a metric ¯g, conformal to g, that solves the Ricci tensor equation, Ric ¯g = T.

O estudo de propagação de epidemias tem gerado uma série de trabalhos propondo distintos modelos que buscam representar possíveis cenários para que se possa ter um maior controle sobre a propagação. O grande objetivo destes estudos _e a capacidade de não somente reproduzir a evolução de epidemias passadas mas poder prever e, na medida do possível, evitar o surgimento de novos surtos epidêmicos ou erradicar um estado endêmico. Boa parte destes trabalhos utilizam como base o modelo Suscetível-Infectante-Removido, ou modelo SIR, de Kermack e McKendrick. No entanto, abordagens semelhantes porém via modelos matemáticos e simulações computacionais têm apresentado distintos comportamentos devido ao fato de que o primeiro assume uma taxa de remoção constante, o que representa uma distribuição exponencial do período de infecção na população, enquanto as simulações em geral utilizam um período de infecção fixo e idêntico para todos os indivíduos da população. Em função disto, utilizamos um modelo matemático que vem a ser uma generalização do modelo SIR utilizando equações com atraso, de forma que podemos inserir explicitamente o tipo de distribuição nas equações. Desta forma, vimos que o modelo matemático consegue reproduzir tanto o comportamento temporal médio das simulações para diversas distribuições como também reproduz o resultado do modelo SIR original quando é utilizada uma distribuição exponencial. Fizemos estas comparações tanto para os modelos sem dinâmica vital como para os modelos em que tal dinâmica está presente e vimos que o modelo com atraso sempre consegue reproduzir o comportamento médio das simulações para as distribuições testadas. Além disto, vimos que a evolução temporal da epidemia depende fortemente da distribuição do período de infecção, e que no caso em que a dinâmica vital está presente esta dependência também aparece no limiar epidêmico e no estado endêmico. Como este modelo permite inserir a distribuição populacional do período de infecção, o aplicamos para estudar políticas de tratamento em que o efeito deste leva à redução do período de infecção e vimos que é possível determinar a fração mínima da população que deve receber tratamento para que uma situação de epidemia iminente seja contida. Embora o modelo SIR seja muito útil para modelar uma grande variedade de doenças, ele se aplica somente aquelas em que os indivíduos infectados adquirem imunidade permanente ou morrem com a enfermidade. No entanto, existe uma classe de doenças na qual esta imunidade adquirida é apenas temporária, onde os indivíduos voltam a ser suscetíveis após transcorrido um certo período de tempo. Tais doenças possuem uma evolução t__- pica representada pelo modelo Suscetível-Infectante-Recuperado-Suscetível, ou modelo SIRS. Estas doenças normalmente apresentam um quadro endêmico com surtos epidêmicos cíclicos. A existência de tais oscilações em epidemias é, há muito tempo, um desafio para a formulação de modelos epidemiológicos. Se elas são resultado de agentes externos e sazonais, ou se surgem da dinâmica intrínseca da doença é uma questão em aberto. É sabido que termos de atraso temporal fixos desestabilizam o estado estacionário do modelo SIRS padrão, dando origem a oscilações sustentadas para certos valores dos parâmetros epidemiológicos. Neste trabalho, partindo do modelo SIRS padrão, estudamos uma generalização dos termos relativos ao tempo em que os agentes permanecem infectantes ou imunes. Apresentamos diagramas de oscilação (para as amplitudes e períodos de oscilação) em termos dos parâmetros do modelo, que mostram como a forma das distribuições destes tempos característicos (de infectividade e imunidade) influencia as oscilações. A formulação é feita em termos de equações diferenciais com atraso analisadas através de integração numérica e linearização. Também apresentamos uma simulação deste modelo ressaltando onde ela reforça os resultados do modelo determinístico e, onde isto não ocorre, o porque das divergências. Além destes modelos de campo médio, construímos um modelo de agentes para estudarmos a influência da mobilidade dos agentes na propagação de uma doença com dinâmica Suscetível-Infectante-Suscetível (SIS). Neste modelo, ao definirmos a taxa reprodutiva básica da doença com base nos parâmetros relevantes, vimos que a dependência do estado endêmico segue a mesma regra dos modelos de campo médio, porém o limiar epidêmico _e o mesmo que se obtém para a aplicação do modelo SIS em uma rede bidimensional. Outro resultado importante desta abordagem é o fato de que, dependendo da densidade de agentes, é possível obter estados endêmicos oscilatórios, que é o que em geral se vê na realidade mas que não _e reproduzido nos modelos de campo médio, apenas em modelos em que os contatos entre os agentes é definido através de uma rede. / The study of epidemic propagation has generated a series of researches proposing di erent models that tries to represent possible scenarios so that we could have more control over the propagation process. The aim of these studies is the ability not only of reproducing past epidemic evolutions but to forecast and, if possible, avoid new epidemic bursts or eradicate endemic states. Most of the research n this area are based on the Susceptible-Infective- Removed model, or SIR model, proposed by Kermack and McKendrick. Nevertheless, similar approaches using mathematical models or computational simulations have presented distinct behavior due to the fact that the rst assumes a constant removal rate, which represents an exponential distribution of the infectious period in the population, while simulations in general uses a xed infectious period identical to each individual in the population. In view of that, we have used a mathematical model which is a generalization of the SIR model using delayed equations, so that we can insert those time distributions explicitly into the equations. With this model, we show that the mathematical model can reproduce the average behavior of the time evolution given by simulations for several distributions and also the standard SIR model when we use an exponential distribution. We have done comparisons for model with and without vital dynamics and we show that the model with time delay can always reproduce the mean behavior of the simulations for all distributions tested. In addition, we can see that the time evolution of the epidemic spread is highly dependent on the infectious period distribution. When adding vital dynamics this dependence is also present in the epidemic threshold and endemic state. Given that this model allows us to use the population distribution of the infectious period, we applied it to study treatment policies where the e ect of such treatment reduces this period and we show that is possible to determine the minimum fraction of the population that must be treated in order to prevent an epidemic burst or an endemic state. Although the SIR model is very useful to model a great variety of diseases, it can only be applied to those where the infected individuals acquire permanent immunity or die with the disease. Nevertheless, there is a huge class of diseases where the acquired immunity is only temporary, so that the individuals become susceptible again after a given period. Such diseases have a typical evolution represented by the Susceptible-Infective- Removed-Susceptible model, or SIRS model. They usually have an endemic state with cyclic epidemic bursts. The existence of such oscillations in epidemics has been, since a very long time, a challenge for the formulation of epidemiological models. If they result from external and seasonal forces or if they emerge from the intrinsic dynamics of the disease is an open question. It is known that xed time delays destabilize the stationary states of the standard SIRS model, given rise to sustained oscillations for certain values of the epidemiological parameters of the model. In this work, starting from the standard SIRS model, we study a generalization of the terms relative to the infectious and immunity periods. We present oscillation diagrams (for the amplitude and period of oscillations) in terms of the parameters of the model, which shows how the shape of those characteristic time distributions (infectious and immunity) in uence the oscillations. The model formulation is made with integro-di erential equations with delay analyzed by numerical integration and linearization of the system. We also present a simulation of this model highlighting where it agrees with the results of the deterministic model and, when it diverges, explaining why it diverges. Along with those mean eld models, we have also built an agent based model to study the impact of agent mobility in the disease propagation of a Susceptible- Infective-Susceptible (SIS) dynamic. In this model, by de ning the basic reproduction rate in terms of the relevant parameters, we show that the endemic state has the same dependency on it as the mean eld models, but the epidemic threshold is the same as the one obtained by the implementation of the SIS model in a bidimensinal lattice. Another important result of this approach is the fact that, given the agents density, it is possible to obtain oscillatory endemic states, a common result in real diseases but absent in the mean eld models, being present only when the contact between agents is de ned by a network.

Neste trabalho apresenta-se uma solu c~ao para um problema abstrato de Cauchy. Basicamente, d a-se uma formula c~ao abstrata para certos tipos de equa c~oes diferenciais parciais n~ao lineares de evolu c~ao em espa cos de Nikol'skii, tais espa cos possuem boas propriedades de regularidade e resultados de imers~ao compacta, num certo sentido s~ao intermedi arios entre os espa cos de Holder e os espa cos de Sobolev. Aplicando o m etodo de Galerkin, prova-se resultados de exist^encia global de solu c~oes fracas, como tamb em a exist^encia de solu c~oes fracas com a propriedade de reprodu c~ao. E impondo mais hip oteses sobre os operadores envolvidos demonstra-se unicidade de solu c~oes fracas.

Neste trabalho, vamos apresentar uma prova elementar de um resultado obtido originalmente por M. Wiegner em 1986 sobre o decaimento na norma L2 de soluções das equações de Navier-Stokes incompressíveis em dimensão 2 ou 3, desenvolvendo em detalhe uma derivação alternativa proposta por T. Hagstrom, H. Kreiss, J. Lorenz e P. Zingano recentemente em 2002. / In this work, we will present an elementary derivation of an important result originally obtained by M. Wiegner in 1986 concerning the L2 decay of solutions to the incompressible Navier-Stokes equations in space dimension 2 or 3. Here, we give a detailed derivation of an alternative approach recently developed by T. Hagstrom, H. Kreiss, J. Lorenz and P. Zingano in 2002.

Neste trabalho analisamos a Equação de Lienard. Posteriormente, apresentamos um estudo completo do retrato de fase da Equação de Van der Pol, mostrando que ela possui uma solução periódica e que toda solução não periódica tende para ela. Ao fim do trabalho apresentamos uma prova para sistemas de equações diferenciais mais gerais do que a de Lienard. / In this work we analysed the Lienard Equations. Later, we did a complete study of the phase portrait of the Van der Pol Equation, proving that it has a periodic solution and that every non periodic solution tends to this periodic solution. At the final of this \vork, we presented a proof to more general systems of differencial equations than Lienard.

Neste trabalho desenvolveu-se um modelo matemático para o escoamento reativo em meios porosos. O modelo foi verificado em duas situações problemas: escoamento com precipitação e/ou dissolução de minerais, onde a calcita é o principal mineral; e combustão em meio poroso. O modelo baseia-se em um conjunto de equações diferenciais não lineares constituído da equação da quantidade de movimento, equação da temperatura, equações das concentrações das espécies (minerais) e equações de frações de massa das espécies (combustão). O conjunto foi!! discretizado pelo método de diferenças finitas centrais com TVD (Total Variation Diminishing) para o caso da combustão. O sistema foi resolvido através dos métodos de Gauss-Seidel e de Runge-Kutta simplificado. Os testes realizados em ambos os casos mostraram-se satisfatórios quando comparados com dados da literatura. / This work develops a mathematical model for reactive flow in porous media. The model is verified in two problem situations: flow with precipitation and/or dissolution of minerals, where calcite is the principal mineral, and combustion in porous media. The model is based on a set of nonlinear diferential equations consisting of the quantity of momentum equation, temperature equation, equations of species concentrations (minerals) and equations of mass fractions of species (combustion) equation. The set is discretized by the central finite diference method with TVD (Total Variation Diminishing ) in the event of combustion. The system is solved by the Gauss-Seidel and the simplified Runge-Kutta. The tests performed in both cases were satisfactory when compared to data found in the literature.

Neste trabalho estamos interessados em estudar o conjunto das geodésicas que minimizam comprimento de arco entre dois pontos quaisquer. Estas são chamadas de geodésicas minimais. Mais precisamente, dada uma métrica riemanniana g sobre o wro bidimensional iremos considerar o seu levantamento ao plano JR2 . Uma geodésica c : R -7 JR2 é minimal se para todo intervalo [a, b], temos que c([a, b]) é a curva de menor comprimento ligando c(a) a c(b). Vamos considerar aqui um número de rotação a fixado e analisar o conjunto das geodésicas minimais que possuem este número de rotação. Analisaremos questões que envolvem a recorrência e o comportamento assintótico de geodésicas. Por exemplo, uma geodésica mínima recorrente com número de rotação racional será uma geodésica periódica. / In this work we are interested in studying the set of geodesiés that minimize the are length between any h,·o of its points. These are called minimizing geodesics. Wore precisely, given a riemaniann metric g on the two-dimensional torus we will consider its lifting to the plane R2 . A geodesic c: R -7 JR2 is minimal if for any interval [a, b], we have that c([ a, b]) is the curve of smaller Jength connecting c(a) and c(b). we will consider here a fixed rot.ation number a and we will show several results about the set of minimal geodesics with such rotation number. We will analyze questions like recurrence and the asymptotic beha,·ior of such geodesics. For example: a recurrent minimal geodesic with rational rotation number will be a closed geodesic.

O objetivo desta tese é introduzir o método dos elementos de contorno como uma nova técnica para resolver problemas da mecânica do contínuo. Por ser a primeira tese sobre o assunto, no curso de Pós-Graduação da UFRGS, não foram omitidos os princípios básicos do método e a tese se desenvolve sobre o as pacto teórico em todos os capítulos. Os exemplos apresentados são acadêmicos e os resultados foram obtidos com a implementação de diferentes programas para cada capítulo. O método dos elementos de contorno e aplicado a problemas de potencial em reg1oes bidimensionais. São analisados os casos das equaç6es de Laplace, Poisson, circulação estacionária e fluxo transiente de calor. Para as equações de Laplace e Poisson são analisados os elementos constante, linear, quadrático e quadrático isoparamétrico. No caso de circulação estacionária, são analisados dois métodos para a resolução do mesmo problema e são utilizados os elementos constante e linear. Para o fluxo transiente de calor somente o elemento linear é analisado, sendo que são desenvolvidos também dois métodos para a resolução do mesmo problema. Para todos os casos acima é utilizado o "Método Direto" para o desenvolvimento das equações de cantor no. A partir da equação governante e das condições de contorno, aplica-se um método dos resíduos ponderados e integra-se por partes até obter-se uma equação que envolva integrais somente sobre o contorno. / The objective of this thesis is to introduce the ·method of boundary elements, a new technique to solve problems in continuum mechanics. Being the Civil Engineering Post course of UFRGS first thesis on this subject, Graduation the basic principles of the method were not excluded, and theoretical aspect of the work are developed in each chapter. Academic examples are presented, whose results were obtained by the implementation of different computer programs for each chapter. The method of boundary elernents is applied to potential problems in two dimensional regions. The equations analysed are those of Laplace, Poisson, steady state circulation and transient heat transfer. For the Laplace and Poisson equations constant, linear, quadratic and quadratic isoparametric elements were used. fu the case of steady state circulation two different schemes are developed using constant and linear elernents.For transient heat transfer problems two solution rnethods are also developed using the linear element only. In all cases the "Direct Method" is used for the developrnent of the boundary equations. Starting frorn the governing equations and the boundary conditions a weighted residual rnethod ~ applied. Using integration by parts a set of equations are obtained wich involve integrals along the boundary only.