Submitted by Maria Cristina (library@lncc.br) on 2015-04-06T17:02:05Z No. of bitstreams: 1 Tese-Gilmar Garbugio.pdf: 673919 bytes, checksum: a4c6ba4e7e0a9da9bbd2bc2e537fdf37 (MD5) / Approved for entry into archive by Maria Cristina (library@lncc.br) on 2015-04-06T17:02:27Z (GMT) No. of bitstreams: 1 Tese-Gilmar Garbugio.pdf: 673919 bytes, checksum: a4c6ba4e7e0a9da9bbd2bc2e537fdf37 (MD5) / Made available in DSpace on 2015-04-06T17:02:41Z (GMT). No. of bitstreams: 1 Tese-Gilmar Garbugio.pdf: 673919 bytes, checksum: a4c6ba4e7e0a9da9bbd2bc2e537fdf37 (MD5) Previous issue date: 2014-12-19 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (Capes) / In this work we study the use the Fourier law for the heat equation, which produces an evolution equation of parabolic type, which in turn produces the so-called paradox of infinite propagation velocity. This thesis proposes alternative models to avoid this problem. To achieve this, developing physical criteria about modeling of elastic systems is necessary, so that the paradox of infinite propagation velocity does not occur. We discussed various theories of heat propagation, such as the Maxwell-Cattaneo law. The thermodynamic theory, called thermoelasticity III, was adapted for modeling curved beams. Once the usage of the studied thermoelastic models is justified, the method used to validate such models is the semigroup theory. We will study the qualitative properties of the corresponding thermoelastic models, in particular the uniform stability of the solution. Finally, we prove results for exponential and polynomial stability of solutions for the Bresse beam models. / Neste trabalho estudamos a equação do calor com a lei de Fourier, resultando em uma equação de evolução do tipo parabólica, e isso nos leva ao chamado paradoxo da velocidade de propagação infinita. A tese propõe modelos alternativos para evitar este problema. Para isto é necessário desenvolver critérios físicos, sobre a modelagem de sistemas elásticos, de tal forma que o paradoxo da velocidade infinita de propagação não aconteça. Discutimos diversas teorias da propagação do calor, como a lei de Maxwell-Cattaneo. A teoria termodinâmica, denominada termoelasticidade III, foi adaptada para a modelagem de vigas curvas. Uma vez justificados os modelos termoelásticos estudados, o método usado para validar tais modelos é a teoria de semigrupos. Estudaremos as propriedades qualitativas dos correspondentes modelos termoelásticos, como a estabilidade uniforme das soluções. Finalmente, provamos resultados de estabilidade exponencial e polinomial de soluções para os modelos de viga de Bresse.

Made available in DSpace on 2014-06-11T19:22:18Z (GMT). No. of bitstreams: 0 Previous issue date: 2011-02-25Bitstream added on 2014-06-13T20:48:30Z : No. of bitstreams: 1 rosa_ra_me_sjrp.pdf: 528158 bytes, checksum: 87eb91b0d9f48ee60092159a596eccf5 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Neste trabalho vamos estudar a existência e unicidade de solução para equações da forma { u + Au = f(t,u) u(t0)= u0 ∈ X, (I) onde X é um espaço de Banach, A : D(A) ⊂ X → X é um operador linear, f é uma função não linear conhecida, u0 ∈ X é um dado inical conhecido e u : I ⊂ R → X é uma função desconhecida e t0 ∈ I. Faremos este estudo usando a Teoria dos Semigrupos de Operadores Lineares. Para melhor entendimento do estudo das equações (I), faremos duas aplicações. A primeira tratando de um modelo (linear) de divisão celular e a segunda, do modelo (não linear) de condução do calor. / In this work we will study the existence and uniqueness of the solutions for the following equation { u + Au = f(t,u) u(t0)= u0 ∈ X, (I) where X is a Banach space, A : D(A) ⊂ X → X is a linear operator, f is a nonlinear function, u : I ⊂ R → X is unknown function. In this study we will use the theory of semigroup of linear operators. For a best understanding of the study of equations (I), we will do two applications. The first one, is a (linear) model of cellular division and the second one, is about the (nonlinear) model od conduction of the heat.

Neste trabalho estudaremos a existência de soluções fracas, pseudo quase periódicas e periódicas, para uma classe de sistemas não autônomo do tipo neutro com retardamento não limitado modelados na forma \' d SUP. dt\' (u(t) + F(t, ut)) = A(t)u(t) + G(t, \'u IND.t\' ), t \'PERTENCE A\' (0, a), \'u IND. 0\' = \'varphi\' \'PERTENCE A\' B, onde {A(t)} ´e uma família de operadores lineares fechados, com um dom´?nio comum D =D(A(t)), a história ut : (-\'INFINITO\'1, 0] \'SETA\' X, \'u IND. t\'(THETA) = u(t+\'THETA\'), pertence a um espaço de fase abstrato B definido axiomaticamente e F,G : [0, a] × B \'SETA\' X são funções apropriadas. Para obter alguns de nossos resultados, precisaremos usar as propriedades da família de operadores de evolução (U(t, s))\'t > OU=\'s, para o sistema u? (t) - A(t)u(t) = 0, t \'Pertencer A\' (0, a), \'u IND.0\' = \'phi\', onde U(t, s) ´e uma fam´?lia de operadores lineares limitados em X / In this work we study the existence of mild, pseudo almost-periodic and periodic solution, concepts introduced be later for a class of abstract neutral functional systems with unbounded delay in the form \'d SUP dt\' (u(t) + F(t, \'u IND.t\')) = A(t)u(t) + G(t, \'u IND. t\'), t IT BELONGS\' (0, a), \'u IND.0\' = \'varphi\' \'IT BELONGS\' , where is a family of closed linear operator in a Banach space X, with a common domain D = D(A(t)), t \'IT BELONGS\' R, densely defined in X; the history \'u IND. t\' : (-\'THE infinite\', 0] \' ARROW\' X, ut(\'THETA\') = x(t+\'THETA\'), belongs to some abstract phase space B defined axiomatically and F,G : I ×B \'ARROW\' X are appropriate functions and I is a bounded or unbounded interval in R. To establish some of our results, we will use the properties of a systems of evolution (U(t, s))\' t IND. > OR =\'s, for a system in the form u? (t) - A(t)u(t) = 0, t \'IT BELONGS\' (0, a), \'u IND.0\' = \'PHI\', where (U(t, s))\'t IND. > 0R =\'s is a family of bounded linear operators on X

Sistemas de reação-difusão têm sido largamente estudados em diferentes contextos e através de diferentes métodos, motivados pela sua constante aparição em modelos de interação em contextos químicos, biológicos e ainda em fenômenos ecológicos. Neste trabalho nos propomos a estudar existência e unicidade - tanto do ponto de vista local como global - de soluções para uma classe de sistemas de reação-difusão acoplados, denidos em R^2, utilizando como ferramenta a teoria de semigrupos de operadores lineares. Apresentamos dois importantes exemplos: o modelo de Rosenzweig-MacArthur e um particular caso da classe de equações lambda-omega. Para o primeiro obtemos um resultado de existência e unicidade global utilizando um método de comparação envolvendo sub e super-soluções. Investigamos ainda a existência de soluções de ondas viajantes periódicas através do teorema de Bifurcação de Hopf. Já para o caso da equação lambda-omega obtemos a existência e unicidade de solucões, entretanto, a partir da aplicação da teoria de semigrupos de operadores lineares. / Reaction-diffusion systems have been widely studied in a broad variety of contexts in a large amount of disctinct approaches. It is due firstly by their constant appearance in interaction models in disciplines such as chemistry, biology and, more specific, ecology. The aim of this thesis is to provide an existence-uniqueness result - both from the local as well as from the global point of view - for solutions of a particular class of coupled reaction-diffusion systems defined over R^2. It is done applying the well established theory of semigroups of linear operators. Two remarkable examples of such systems are discussed: the Rosenzweig-MacArthur predator-prey model and a special case of lambda-omega class of equations. For the former one, an existence and uniqueness result is obtained through a comparison method - based on the notions of lower and upper solutions. Moreover, we investigate the existence of periodic travelling wave solutions via a Hopf bifurcation theorem. For the lambda-omega model another existence and uniqueness for solutions is obtained, on its turn, through the machinery obtained previously from the theory of semigroups for linear operators.

This research investigates existing relationships between the three apparently unrelated subjects: Markov process, Semigroups and Partial difierential equations. Markov processes define semigroups through their transition functions. Conversely particular semigroups determine transition functions and can be regarded as Markov processes. We have exploited these relationships to study some Markov chains. The infnitesimal generator of a Feller semigroup on the closure of a bounded domain of Rn; (n ^ 2), is an integro-diferential operator in the interior of the domain and verifes a boundary condition. The existence of a Feller semigroup defined by a diferential operator and a boundary condition is due to the existence of solution of a bounded value problem. From this result other existence suficient conditions on the existence of Feller semigroups have been obtained and we have applied some of them to construct Feller semigroups on the unity disk of R2. / Decision Sciences / M. Sc. (Operations Research)

Submitted by Johnny Rodrigues (johnnyrodrigues@ufcg.edu.br) on 2018-08-09T17:18:23Z No. of bitstreams: 1 MICHEL BARROS SILVA - DISSERTAÇÃO PPGMAT 2014..pdf: 335576 bytes, checksum: f2ee6b6d68cdefa6c32e300154d28756 (MD5) / Made available in DSpace on 2018-08-09T17:18:23Z (GMT). No. of bitstreams: 1 MICHEL BARROS SILVA - DISSERTAÇÃO PPGMAT 2014..pdf: 335576 bytes, checksum: f2ee6b6d68cdefa6c32e300154d28756 (MD5) Previous issue date: 2014-02 / Capes / Para ler o reumo deste trabalho recomendamos o download do arquivo, pois o mesmo possui fórmulas e caracteres matemáticos que não foram possíveis transcreve-los. / To read the progress of this work we recommend downloading the file, as it has formulas and mathematical characters that could not be transcribed.

Neste trabalho estudaremos a existência de soluções fracas, pseudo quase periódicas e periódicas, para uma classe de sistemas não autônomo do tipo neutro com retardamento não limitado modelados na forma \' d SUP. dt\' (u(t) + F(t, ut)) = A(t)u(t) + G(t, \'u IND.t\' ), t \'PERTENCE A\' (0, a), \'u IND. 0\' = \'varphi\' \'PERTENCE A\' B, onde {A(t)} ´e uma família de operadores lineares fechados, com um dom´?nio comum D =D(A(t)), a história ut : (-\'INFINITO\'1, 0] \'SETA\' X, \'u IND. t\'(THETA) = u(t+\'THETA\'), pertence a um espaço de fase abstrato B definido axiomaticamente e F,G : [0, a] × B \'SETA\' X são funções apropriadas. Para obter alguns de nossos resultados, precisaremos usar as propriedades da família de operadores de evolução (U(t, s))\'t > OU=\'s, para o sistema u? (t) - A(t)u(t) = 0, t \'Pertencer A\' (0, a), \'u IND.0\' = \'phi\', onde U(t, s) ´e uma fam´?lia de operadores lineares limitados em X / In this work we study the existence of mild, pseudo almost-periodic and periodic solution, concepts introduced be later for a class of abstract neutral functional systems with unbounded delay in the form \'d SUP dt\' (u(t) + F(t, \'u IND.t\')) = A(t)u(t) + G(t, \'u IND. t\'), t IT BELONGS\' (0, a), \'u IND.0\' = \'varphi\' \'IT BELONGS\' , where is a family of closed linear operator in a Banach space X, with a common domain D = D(A(t)), t \'IT BELONGS\' R, densely defined in X; the history \'u IND. t\' : (-\'THE infinite\', 0] \' ARROW\' X, ut(\'THETA\') = x(t+\'THETA\'), belongs to some abstract phase space B defined axiomatically and F,G : I ×B \'ARROW\' X are appropriate functions and I is a bounded or unbounded interval in R. To establish some of our results, we will use the properties of a systems of evolution (U(t, s))\' t IND. > OR =\'s, for a system in the form u? (t) - A(t)u(t) = 0, t \'IT BELONGS\' (0, a), \'u IND.0\' = \'PHI\', where (U(t, s))\'t IND. > 0R =\'s is a family of bounded linear operators on X

Submitted by Maike Costa (maiksebas@gmail.com) on 2016-03-22T13:00:30Z No. of bitstreams: 1 arquivototal.pdf: 1160851 bytes, checksum: 7135123aaf3823254b3e52ab8d141d6d (MD5) / Made available in DSpace on 2016-03-22T13:00:30Z (GMT). No. of bitstreams: 1 arquivototal.pdf: 1160851 bytes, checksum: 7135123aaf3823254b3e52ab8d141d6d (MD5) Previous issue date: 2015-03-12 / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior - CAPES / In this work, we present an introduction to the theory of C0-semigroup (and C0-group) of bounded linear operators, and we show that wave operator in RN is the in nitesimal generator of a C0-group of bounded linear operators in a appropriate Banach space. / Neste trabalho apresentamos uma introdu c~ao a teoria de C0􀀀semigrupos (e C0􀀀gru po) de operadores lineares e limitados, e mostramos que operador de ondas em RN e o gerador in nitesimal de um C0􀀀grupo de operadores lineares e limitados em um espa co de Banach apropriado.

Orientador: Luiz Antonio Barrera San Martin / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matemática, Estatística e Computação Científica / Made available in DSpace on 2018-08-10T09:55:18Z (GMT). No. of bitstreams: 1 Santos_LaercioJosedos_D.pdf: 632399 bytes, checksum: 25069afc192f7633f7f8cd6bdce8e96e (MD5) Previous issue date: 2007 / Resumo: Este trabalho divide-se em duas partes. Na primeira parte, obtemos condições necessárias e suficientes para que uma família de classes laterais de um subgrupo de Lie gere um subsemigrupo com interior não vazio. Aplicamos essas condições aos pares simétricos, onde o grupo é semi-simples. Como consequência, mostramos que o subgrupo dos pontos fixos de vários automorfismos involutivos é maximal como semigrupo. Na segunda parte, definimos a função característica de um subsemigrupo de um grupo de Lie semi-simples e, encontramos um subconjunto do domínio de definição dessa função. Fizemos isto usando a teoria geral de semigrupos em grupos semi-simples. Usamos a função característica de um semigrupo, com algumas hipóteses adicionais, para introduzir uma métrica Riemanniana nas órbitas do subgrupo das unidades do semigrupo. Com essa métrica, obtemos uma condição necessária para que um subgrupo possa ser imerso em um semigrupo próprio com interior não vazio / Abstract: This work is made of two parts. In the first one, we gave necessary and sufficient conditions for a family of cosets of a Lie subgroup to generate a subsemigroup with nonempty interior. We apply these conditions to symmetric pairs where the group is semi-simple. As a consequence we prove that for several involutive automorphisms the fixed points subgroup is a maximal semigroup. In the second part, we define a characteristic function of a subsemigroup of a semi- simple Lie group and we find a subset where the function is defined. This is made through general theory of semigroups in semi-simple groups. The characteristic function is used, together with some additional hypothesis, for to create a Riemannian metric in the orbits of the unity subgroup of the semigroup. With this metric we gave a necessary condition for a subgroup be embedded in a proper semigroup with nonempty interior / Doutorado / Teoria de Lie / Doutor em Matemática

Orientador: Jose Luiz Boldrini / Tese (doutorado) - Universidade Estadual de Campinas, Instituto de Matematica, Estatistica e Computação Cientifica / Made available in DSpace on 2018-08-16T08:01:27Z (GMT). No. of bitstreams: 1 Araujo_AndersonLuisAlbuquerquede_D.pdf: 2998474 bytes, checksum: 42b9a1d5dce58179e95cafd3db8b57b8 (MD5) Previous issue date: 2010 / Resumo: A proliferação de mosquitos em regiões habitadas é uma importante questão de saúde pública, uma vez que tais insetos são vetores de várias doenças infecciosas. Assim, o estudo de técnicas de controle de populações de mosquitos tem um papel relevante na busca da eficiência no seu combate; em particular, a compreensão adequada de modelos matemáticos que descrevem tais situações pode auxiliar na tomada de decisão sobre quais seriam os procedimentos mais adequados para atingir este fim. Com este objetivo, neste trabalho fizemos a análise matemática rigorosa de um certo problema de controle ótimo associado a uma equação diferencial parcial que modela o crescimento e a difusão de uma população de mosquitos em uma região dada. Analisamos o problema de controlar tal população através da aplicação de inseticida por uma unidade volante de pulverização, buscando trajetórias ótimas a serem seguidas por esta unidade a fim de minimizar um certo funcional que envolve tanto a população total quanto os custos da operação / Abstract: The proliferation of mosquitoes in inhabited regions is an important public health issue since these insects are vectors of several infectious diseases. Thus, the study of techniques for controlling of mosquito populations has an important role in the quest for efficient combat techniques; in particular, the adequate understanding of mathematical models that describe such situations may help in the decision process of finding appropriate procedures to attain that. With this goal, in this work we performed a rigorous mathematical analysis of a certain optimal control problem associated to a partial differential equation modeling the growth and spreading of the mosquito population in a given region. We analyze the problem of controlling such population through the application of insecticide by a spraying unit; our objective is to search for optimal paths to be followed by this unit in order to minimize a certain functional that involves both the whole mosquito population and the operational costs / Doutorado / Analise Matematica / Doutor em Matemática