Orientador: João Frederico da Costa Azevedo Meyer / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Científica / Made available in DSpace on 2018-07-20T22:56:46Z (GMT). No. of bitstreams: 1 AyalaBravo_CedricMarceloAugusto_M.pdf: 2097930 bytes, checksum: 3d9491c293fb4700bbbcd6302f3e4d8d (MD5) Previous issue date: 1995 / Resumo: Não informado / Abstract: Not informed / Mestrado / Mestre em Matemática

Orientador: Jose Roberto Bonilha / Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Civil / Made available in DSpace on 2018-07-23T00:24:03Z (GMT). No. of bitstreams: 1 Martins_MarciaVianaLisboa_M.pdf: 2921848 bytes, checksum: 65a171340054ec685e50f369e7d1cb1c (MD5) Previous issue date: 1997 / Resumo: O escoamento nos cursos d'água litorâneos faz-se em regime não permanente. Escoamento é descrito pelas equações diferenciais parciais de Saint Venant, que admitem modelação matemática, desde que se conheça os parâmetros geométricos do leito fluvial e das condições de contorno. Na engenharia, a utilização desses modelos é restrita devido ao custo dos trabalhos de campo necessários à obtenção dos parâmetros geométricos. Neste trabalho, demonstra-se que na região, entre a Serra do Mar e o Oceano Atlântico, os cursos d'água podem ser substituídos por canais de grande largura. Esta hipótese simplifica o modelo matemático, reduz os trabalhos de campo e pode viabilizar a aplicação prática desses modelos / Abstract: The unsteady flow in open channels is described by the Saint Venant partial differential equations, wich can be solved by mathematical models provided that the river bed geometric parameters and boundary conditions are known. In engeneering, the application of these models is restricted due to the high cost of the field work required to obtain the geometric parameters . In this dissertation, it is emonstrated that the rivers in the region between the Mar mountain range and Atlantic Ocean can be substituted by a very wide channel. This assumption simplifies the mathematical models, reduces the field work and may enable the practical application of these models / Mestrado / Recursos Hidricos / Mestre em Engenharia Civil

Orientador: Marcelo Martins dos Santos / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-07-23T15:33:17Z (GMT). No. of bitstreams: 1 Marostegan_LucianeA_M.pdf: 1181557 bytes, checksum: 80e884c6d5a6349aa52b509e776075ef (MD5) Previous issue date: 1998 / Resumo: Não informado. / Abstract: Not informed. / Mestrado / Mestre em Matemática

Orientador: Marcelo da Silva Montenegro / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-08T06:27:08Z (GMT). No. of bitstreams: 1 Ottoboni_RafaelRodrigo_M.pdf: 900733 bytes, checksum: ddb6b509b4ec4392f5b2145085b216b5 (MD5) Previous issue date: 2007 / Resumo: Por apresentar basicamente fórmulas, o resumo na íntegra, poderá ser visualizado no texto completo da tese digital / Abstract: The complete abstract is available with the full electronic digital thesis or dissertations / Mestrado / Mestre em Matemática

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

Orientador: Pedro José Catuogno / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-26T02:18:47Z (GMT). No. of bitstreams: 1 Castrequini_RafaelAndretto_D.pdf: 917541 bytes, checksum: c03f74c254be62fceaa032d8a3fd40ec (MD5) Previous issue date: 2014 / Resumo: Provaremos uma fórmula do tipo Itô-Ventzel para caminhos Hölder cujo expoente é maior que 1/3. Os exemplos fundamentais de caminhos onde a fórmula é válida é o movimento Browniano fracionário. Nossa fórmula estende (e coincide) a versão clássica feita por H. Kunita na década de 80. As ferramentas utilizadas residem no contexto dos rough paths seguindo a abordagem de M. Gubinelli. Tais tecnicas começaram a serem desenvolvidas por T. Lyons no final de 90. Como aplicação, estudaremos equações diferenciais dirigidas por caminhos cujo expoente é maior que 1/2 (Sistemas de Young). Onde a idéia aqui é empregar nossa fórmula aplicando o método das caracteristicas nesse contexto, seguindo novamente os trabalhos de H. Kunita / Abstract: We prove an Itô-Ventezel type formula for Hölder paths with exponent is greater than 1/3. The most important class of examples of theses paths is given by fractional Brownian motion. Our formula is an extension (and agree) to classic version done by H. Kunita in 80's. The technical tools used rely on rough path theory following M. Gubinelli's approach. Those techniques were developed in the late 90's. by T. Lyons. As an application, we study differential equations driven by paths with exponent greater than 1/2 (Young Systems). The ideia here is to employ our formula together with method of characteristics in this setting, following Kunita's work / Doutorado / Matematica / Doutor em Matemática

Orientador: Gabriela del Valle Planas / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-22T17:29:39Z (GMT). No. of bitstreams: 1 Pereira_AndreFerreirae_M.pdf: 967651 bytes, checksum: 4e743209ab695b1d8abf765f74afdd41 (MD5) Previous issue date: 2013 / Resumo: Nesta dissertação investigamos um problema de evolução do tipo campo de fase que descreve o processo de solidificação isotérmica de uma liga binária. O modelo consiste de um sistema altamente não linear de equações diferenciais parciais para o campo de fase, que é a variável que identifica as fases, e para a concentração de um dos materiais. O sistema é complementado com condições de fronteira do tipo Neumann e condições iniciais. Estudaremos duas situações: no primeiro caso o coeficiente de difusão da equação da concentração é maior ou igual a uma constante positiva e desta forma a equação é parabólica. No segundo caso, o coeficiente de difusão pode se anular, perdendo o caráter parabólico. Resultados de existência, regularidade, estabilidade e unicidade para a solução são estabelecidos para o primeiro modelo. Já no segundo caso, por ser um problema degenerado, espera-se obter menos regularidade para a solução. De fato, é obtido apenas um resultado de existência de solução fraca. Em ambos os casos é estabelecido um princípio do máximo para as soluções, o qual justifica as condições impostas sobre as não linearidades / Abstract: In this dissertation we investigate an evolution problem of phase-field type describing an isothermal solidification process for a binary alloy. The model is a highly non-linear system of partial differential equations for the phase-field parameter (which identifies the phase) and the relative concentration. Neumann boundary conditions and initial conditions are added to complete the model. We study two cases: in the first case, the diffusion coefficient in the concentration equation is bounded from below by a positive constant, and then this equation is parabolic. In the second case, the diffusion coefficient can be zero; so when it vanishes the equation loses its parabolic character. Some results on existence, regularity and stability for the solution are established for the first model. In the second case, as the problem became degenerate, it is expected to obtain less regularity for the solution. Indeed, we only obtain existence of a weak solution. In both cases, a maximum principle for the solution is established, which justifies the conditions imposed to the nonlinear terms / Mestrado / Matematica / Mestre em Matemática

Orientador: José Luiz Boldrini / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática Estatística e Computação Científica / Made available in DSpace on 2018-08-22T23:56:27Z (GMT). No. of bitstreams: 1 SilvaFilho_CiceroAlfredoda_D.pdf: 1540276 bytes, checksum: fa10c28a1782367f39180dfe7a92ec2b (MD5) Previous issue date: 2013 / Resumo: O objetivo do trabalho é o de analisar de forma matematicamente rigorosa dois problemas de controle ótimo com restrições dadas por sistemas de equações diferenciais que incluem a equação de transporte com renovação, bem como um conjunto de restrições para a classe dos controles. Tais sistemas modelam as dinâmicas de populações de mosquitos (considerados em dois grupos: indivíduos jovens, em fase aquática, e adultos) e suas interações com os recursos do meio ambiente (alimentos, por exemplo); além disso, leva-se em conta o processo de maturação da população jovem, a qual fica, portanto estruturada por idade e cuja dinâmica é governada por uma equação de transporte com renovação. Nestes problemas, as populações estão submetidas à atuação de um controle externo, um agente químico, por exemplo, que afeta as respectivas taxas de mortalidade, modificando-as; no caso dos indivíduos jovens, tal atuação pode depender do nível de maturação (idade) do indivíduo. O primeiro problema considera apenas a variação no tempo da população de adultos, enquanto que o segundo problema leva em conta também a sua distribuição espacial. Em cada um desses problemas, mostra-se, sob certas condições, a existência de controle ótimo, isto é, um controle que minimiza um dado funcional objetivo; obtêm-se também as correspondentes condições de otimalidade que caracterizam tal controle ótimo / Abstract: The objective of this work is to analyze in a mathematically rigorous way two optimal control problems with restrictions given by systems of differential equations including the transport equation with renewal, as well as, a restriction set for the controls. Such systems model the dynamics of mosquito populations (considered in two groups: young individual, in aquatic phase, and adults) and their interaction with the environmental resources (food material, for instance); moreover, the maturation process of the population of young individuals is taken in consideration, and thus it becomes age structured and its dynamics is governed by a transport equation with renewal. In these problems, the populations are submitted to the action of an external control, a chemical agent, for instance, which affects the respective mortality rates, changing them; in the case of the young individuals, such action may depend on the individual maturation level. The firs problem considers only the time variation of the adult population; the second problem takes in consideration also its spatial distribution. In each of those problems, it is shown that, under certain conditions, there exists optimal contra, that is, a control minimizing a given objective functional; the associated optimality conditions characterizing such optimal controls are also obtained / Doutorado / Matematica Aplicada / Doutor em Matemática Aplicada

Orientadores : Marcelo Martins dos Santos, Petronio Pulino / Dissertação (mestrado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-02T01:17:05Z (GMT). No. of bitstreams: 1 Lambert_WandersonJose_M.pdf: 3442154 bytes, checksum: d92cb6cb0111e7f125edb659bf6c302e (MD5) Previous issue date: 2002 / Resumo: Neste trabalho, estudamos a convergência do Método dos Volumes Finitos aplicado a Leis de Conservação Escalares Multidimensional, seguindo os trabalhos de Cockburn et aI. [7] e Benharbit et. aI [3]. Tratamos aqui, o Problema de Valor Inicial e de Fronteira (PVIF). O Método dos Volumes Finitos é aplicado a diversos problemas, principalmente em dinâmica de fluidos, desde os anos 50, mas somente nos últimos 15 anos que foi melhorado. A grande vantagem deste método é que ele trata bem geometrias complexas e choques, comuns em Leis de Conservação. A convergência segue da unicidade da Solução em Medida (MV-Solution) para uma Lei de Conservação, Szepessy [59]. Compacidade Compensada, Soluções em Medida e Medidas de Young para Leis de Conservação apareceram primeiramente nos trabalhos de Murat [46]-[47], Tartar [62]-[63] e Diperna [15]-[17], para Problemas de Valor Inicial e para Sistemas de Leis de Conservação 2 x 2; e, depois disso, para um PVIF por Szepessy [59]. Seguindo estes artigos, Cockburn et aI. and Benharbit et. aI obtiveram, independentemente, a convergência forte para do esquema para a única solução entrópica descontínua no sentido de Bardos [2] / Abstract: In this report, we study the convergence of the Finite Volume Method applied to multidimensional Scalar Conservation Laws, follows from Cockburn et. aI [7] and Benharbit et. al [3]. It is treated the Initial and Boundary Value Problem (IBVP). Finite Volume Method is applied to several problems, mainly in fluid dynamical, since 50's years, but only in the last 15 years that has been improved. The great advantage this method is that is applied for complexes geometries and for shocks, commons in Conservation Laws. The convergence follows from Szepessy's [59] uniqueness result in the class of the entropy measure-valued solution. Compensated Compactness, MV-Solution and Measure Young for Conservation Laws has been appeared from Murat [46]-[47], Tartar [62]-[63] and Diperna's works [15]-[17], for Initial Value Problem (IVP) and 2 x 2 Hyperbolic Systems of Conservation Laws; and, thereafter, for (BIVP) by Szepessy [59]. In follows these articles, Cockburn et al. and Benharbit et. al obtain, independently, the strong convergence of the scheme to the unique entropy discontinuous solution in the sense the Bardos [2] / Mestrado / Mestre em Matemática