Orientador: Juliana Conceição Precioso Pereira / Banca: Lucas Catão de Freitas Ferreira / Banca: Andréa Cristina Prokopczyk Arita / Resumo: Neste trabalho, estudaremos as equações de Navier-Stokes em Rn e mostraremos a existência de solução global, quando a velocidade inicial u0(x) pertence ao espaço Lp-fraco e tem norma suficientemente pequena. A análise da evolução da solução é realizada em espaços funcionais de Kato-Fujita, invariantes pelo scaling de Navier-Stokes. Mostraremos também que se u0(x) é homogênea de grau −1, as soluções também são invariantes por este scaling, ou seja, elas são auto-similares. Além disso, mostraremos a estabilidade assintótica das soluções mild / Abstract: In this work, we study the Navier-Stokes equations in Rn and show the existence of global solution, when the initial velocity u0(x) belongs to weak Lp space with a sufficiently small norm. The evolution of the solution is analyzed in function spaces with Kato-Fujita type norms invariant by scaling of Navier-Stokes. We also show that if u0 is an homogeneous function of degree −1, the solutions are also invariant by that scaling, i.e., they are self-similar. Moreover, we show the asymptotic stability of mild solutions / Mestre

O objetivo deste projeto é o estudo de técnicas numéricas robustas para aproximação da solução de leis de conservação hiperbólicas escalares unidimensionais e bidimensionais e de sistemas de leis de conservação hiperbólicas. Para alcançar tal objetivo, estudamos esquemas conservativos com propriedades especiais, tais como, esquemas upwind, TVD, Godunov, limitante de fluxo e limitante de inclinação. A solução de um sistema de leis de conservação pode exibir descontinuidades do tipo choque, rarefação ou de contato. Assim, o desenvolvimento de técnicas numéricas capazes de reproduzir e tratar esses comportamentos é desejável. Além de representar corretamente a descontinuidade os esquemas numéricos têm ainda uma tarefa mais árdua; aquela de escolher a solução singular correta, a chamada solução entrópica. Os métodos de Godunov, limitantes de fluxo e limitantes de inclinação são técnicas numéricas que possuem as características apropriadas para aproximar a solução entrópica de uma lei de conservação. / The aim of this work is the study of robust numerical techniques for approximating the solution of scalar and systems of hyperbolic conservation laws. To achieve this, we studied conservative schemes with special properties, such as, schemes upwind, TVD, Godunov, flux limiters and slope limiters. The solution of a system of conservation laws can present discontinuities, like shocks, rarefaction or contact. Therefore, the development of numerical techniques capable of reproducing such featurs are highly desirable. Furthermore, besides resolving singularities, it is required that the numerical method chooses the correct weak solution, that is, the entropic solution. Godunov, flux limiters and slope limiters are techniques that show the appropriate behaviour when applied to conservation laws.

Neste trabalho consideramos sistemas de equações diferenciais parciais lineares de primeira ordem, com coeficientes analíticos, definidos em variedades analíticas reais, no caso particular em que seu coposto é igual a um. Demonstramos que esse tipo de sistema admite integrais primeiras locais, e buscamos caracterizar sua hipoelipticidade analítica local e global em termos de propriedades topológicas das mesmas. Também provamos a Fórmula de Aproximação de Baouendi-Trèves / In this work we consider systems of first-order linear partial differential equations, with analytic coefficients, defined on real-analytic manifolds, in the special case in which the corank is equal to one. We prove that this type of systems admits local first integrals, and we seek to characterize their local and global analytic hypoellipticity in terms of topological properties of these first integrals. We also prove the Baouendi-Trèves Approximation Formula

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2006-02-21Bitstream added on 2014-06-13T19:06:41Z : No. of bitstreams: 1 espiritosanto_jc_me_rcla.pdf: 785054 bytes, checksum: e0a0aa617df44723f497fff5bb484bf9 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho examinaremos a unicidade, existência e não-existência local e global de solução clássica para a equação da onda não-linear utt L uxx = F(u; @u), t; x 2 R. Estudaremos a comparação entre as soluções de utt L uxx = F(u) e wtt L wxx = G(w) a partir da comparação entre F e G. / In this work we study uniqueness, existence and non-existence of local and global classical solutions for the nonlinear wave equation utt Luxx = F(u; @u), t; x 2 R. We also establish some comparison results for the solutions u and w for the equations utt L uxx = F(u) and wtt L wxx = G(w) from the comparison of F and G.

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-03-20Bitstream added on 2014-06-13T19:47:28Z : No. of bitstreams: 1 figueroalopez_rn_me_sjrp.pdf: 751046 bytes, checksum: 50788892bf3e9440cb207b1489c88d57 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Neste trabalho vamos estudar um modelo matemático que descreve as oscilações não lineares de uma ponte suspensa. Este modelo é dado por um sistema de equações diferenciais parciais que estão acopladas. Basicamente, estudaremos a existência e unicidade da solução fraca do sistema. Usaremos a teoria de operadores maximais monótonos para modelo linear e os semigrupos fortemente contínuos de contração para o modelo não linear. / In this work we study a mathematical model which describes the nonlinear oscillations of a bridge suspended. This model is given by a system of partial di®erential equations which are coupled. Basically, we study the existence and uniqueness of weak solution of the system. We use the theory of maximal monotone operators to model linear and strongly continuous semigroups of contraction for the nonlinear model.

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-01-28Bitstream added on 2014-06-13T20:35:09Z : No. of bitstreams: 1 barros_aap_me_sjrp.pdf: 459604 bytes, checksum: 0a23c4af2e8f9afe3807f0dd603a1237 (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo desse trabalho é estudar problemas de valor de contorno com três pontos lineares e não ineares, também conhecidos como problemas não Isto é feito, usando as funções de Green, usadas para resolver problemas de valor de contorno com dois pontos. / The aim of this work is to study boundary value problems with three points also known as non-classical problems. This is done using the Green's functions, which are used to solve two-point boundary value problems.

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-06-17Bitstream added on 2014-06-13T20:47:30Z : No. of bitstreams: 1 bonafim_jc_me_sjrp.pdf: 1698215 bytes, checksum: e68379e8a9579b9930c663c9be300f9a (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo deste trabalho é apresentar o Teorema clássico de Unicidade de Holmgren e mostrar uma aplicação na teoria de controle em equações diferenciais parciais por meio de um exemplo relativamente simples / The aim of this work is to present the classical Holmgren's uniqueness theorem and give an application in control theory in partial di erential equations through a relatively simple example

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2010-02-24Bitstream added on 2014-06-13T19:26:00Z : No. of bitstreams: 1 rodrigues_jh_me_sjrp.pdf: 268543 bytes, checksum: 0e0267271ac9345209240061a2d8deae (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / O objetivo deste trabalho é apresentar uma ferramenta no estudo da teoria de controle das equações diferenciais parciais, o método HUM (Hilbert Uniqueness Method), introduzido por J. L. em meados dos anos 80, ver [7] e [8]. / The aim of this work is to present an important tool in the study of the control theory for partial differential equations, cf. HUM method (Hilbert Uniqueness Method), introduced by J. L. Lions around the 80's, see [7] e [8].

Made available in DSpace on 2014-06-11T19:26:55Z (GMT). No. of bitstreams: 0 Previous issue date: 2009-05-03Bitstream added on 2014-06-13T19:47:21Z : No. of bitstreams: 1 oliveira_epd_me_sjrp.pdf: 642519 bytes, checksum: 474599cad4c74685f4966e674284654d (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Apresentamos dois critérios para estudar a não existência, a existência e a unicidade dos ciclos limites dos campos de vetores planares. Aplicamos estes critérios para algumas famílias de campos de vetores polinomiais quadráticos e cúbicos, e computamos uma fórmula explícita para o número de ciclos limites que bifurcam a partir do centro x′ = −y, y′ = x, quando tratamos do sistema x′ = −y + εPn i+j=1 aijxiyj, y′ = x + εPn i+j=1 aijxiyj . Al´em disso, usando o segundo critério, apresentamos um método para obter a forma do ciclo limite bifurcado a partir do centro. / We present two new criteria for studying the nonexistence, existence and uniqueness of limit cycles of planar vector fields. We apply these criteria to some families of quadratic and cubic polynomial vector fields, and to compute an explicit formula for the number of limit cycles which bifurcate out of the linear centre x′ = −y, y′ = x, when we deal with the system x′ = −y + εPn i+j=1 aijxiyj , y′ = x + εPn i+j=1 aijxiyj . Moreover, by using the second criterion we present a method to derive the shape of the bifurcated limit cycles from a centre.

Made available in DSpace on 2014-06-11T19:27:08Z (GMT). No. of bitstreams: 0 Previous issue date: 2003-05-30Bitstream added on 2014-06-13T18:07:06Z : No. of bitstreams: 1 reis_vgn_me_sjrp.pdf: 1674980 bytes, checksum: f5115469b913f96355173e8e7a9aff79 (MD5) / O objetivo deste trabalho é apresentar a prova do Teorema de Existência e Unicidade de Solução, no contexto de soluções Viscosas, de um novo Modelo de Difusão Anisotrópica proposto recentemente para eliminação de Ruídos e Segmentação de Imagens Digitalizadas. / The objective of this work is to present the proof of the Theorem of Existence and Uniqueness of Solution in the context of Viscosity Solutions, of a new model of anisotropic diffusion recently proposed to noise elimination and segmentation of digitalized images.