Made available in DSpace on 2014-08-27T14:36:46Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-09-16Bitstream added on 2014-08-27T15:57:18Z : No. of bitstreams: 1 000722977.pdf: 686481 bytes, checksum: 12d3608646823cdd7066cbaaae5388ee (MD5) / Neste trabalho estudamos problemas elípticos do seguinte tipo: (P) Lu+V(x)|x|?ap* |u|p?2u = K(x)|x|?ap* f(u), em RN, em que V,K :RN ? R são potenciais não negativos que podem tender a zero no in?nito, f :RN ?R tem crescimento subcrítico e Lu é um operador elíptico. Quando Lu é o operador p-Laplaciano com peso, isto é, Lu = Lapu = ?div(|x|?ap|?u|p?2?u), provamos resultados de existência de solução positiva para K(x) ? 1 em RN e de solução positiva de energia mínima para K podendo tender a zero no in?nito. No primeiro caso a técnica é baseada num argumento de truncamento, introduzido por del Pino e Felmer em [34] e usado por Alves e Souto em [10], que nos permite uma abordagem variacional. No segundo caso, usamos novamente a abordagem variacional e o principal argumento, usado por Alves e Souto em [11], é considerar convenientes condições de crescimento sobre os potenciais para obter imersões compactas no espaço todo. Esta última técnica foi adaptada para obter resultados de existência de solução de energia mínima não trivial para o operador Lu = ?2u = ?(?u) / In this work we studied elliptic problems of the following type: (P) Lu+V(x)|x|?ap* |u|p?2u = K(x)|x|?ap* f(u), em RN, em que V,K :RN ? R are nonnegative potentials that can vanish at in?nity, f :RN ?R has a subcritical growth and Lu is an elliptic operator. When Lu is the weighted p-laplacian operator, namely, Lu = Lapu = ?div(|x|?ap|?u|p?2?u), we prove existence results of positive solution for K(x) ? 1 in RN and positive ground state solution for the case when K may tend to zero in in?nity. In the ?rst case the technique is a truncation argument, introduced by del Pino and Felmer, in [34], and used by Alves and Souto, in [10], that allows us to use a variational approach. In the second case, we also use the variational approach and the main argument, used by Alves and Souto, in [11], is to consider suitable growth conditions on the potentials to obtain compact embedded in the whole space. This last technique was adapted to obtain existence of nontrivial ground state solution for operator Lu = ?2u = ?(?u)

Made available in DSpace on 2014-11-10T11:09:53Z (GMT). No. of bitstreams: 0 Previous issue date: 2013-08-02Bitstream added on 2014-11-10T11:57:46Z : No. of bitstreams: 1 000788290.pdf: 1350300 bytes, checksum: efc63ae2b101504d42d2745bc5a4a3c9 (MD5) / Fundação de Amparo à Pesquisa do Estado de São Paulo (FAPESP) / Neste trabalho estudaremos a aproximaçãoo de equações diferenciais parabólicas semilineares através de sua discretização via o método de elementos finitos. Vamos provar que os atratores da discretizaçãoao se comportam continuamente quando o tamanho do passo tende a zero estendendo os resultados de [17]. Vamos também calcular a taxa de convergência dos atratores em termos do passo da discretização / In this work we study the approximation of semilinear parabolic di erential equations through their discretization via the nite element method. We prove that the attractors of discretization behave continuously when the step size tends to zero extending the results of [17]. We also calculate the rate of convergence of attractors in terms of step of discretization

Made available in DSpace on 2015-03-03T11:52:20Z (GMT). No. of bitstreams: 0 Previous issue date: 2014-03-21Bitstream added on 2015-03-03T12:07:29Z : No. of bitstreams: 1 000807686.pdf: 640594 bytes, checksum: 5f03868558021011a2c766ab0ec3808c (MD5) / Coordenação de Aperfeiçoamento de Pessoal de Nível Superior (CAPES) / Esta dissertaçãoé um estudo sobre a controlabilidade de sistemas de controle descritos por equações diferenciais abstratas. Primeiramente, são apresentados alguns resultados de controlabilidade para sistemas lineares e sem retardo. Em seguida, é estabelecido um critério para a controlabilidade aproximada de sistemas lineares com retardo, através da comparação entre o conjunto atingível destes sistemas com o conjunto atingível dos sistemas sem retardo. Por fim, é apresentada uma generalização do resultado anterior para sistemas do tipo neutro com retardo / This dissertation is a study on the controllability of control systems described by abstract differential equations. First, some results of controllability for linear systems without delay are presented. Then, a criterion for the approximate controllability of linear systems with delay is established by comparing the reachable set of these systems with the reachable set of the systems without delay. Finally, a generalization of the previous result for systems of neutral type with delay is presented

Dissertação (mestrado)—Universidade de Brasília, Faculdade Gama/Faculdade de Tecnologia, Programa de Mestrado em Integridade de Materiais da Engenharia, 2013. / Submitted by Luiza Silva Almeida (luizaalmeida@bce.unb.br) on 2013-07-29T20:12:42Z No. of bitstreams: 1 2013_AlisonBarrosdaSilva.pdf: 2500317 bytes, checksum: f79dd0a45771dd19237a3350bb9dc492 (MD5) / Approved for entry into archive by Leandro Silva Borges(leandroborges@bce.unb.br) on 2013-07-29T20:16:05Z (GMT) No. of bitstreams: 1 2013_AlisonBarrosdaSilva.pdf: 2500317 bytes, checksum: f79dd0a45771dd19237a3350bb9dc492 (MD5) / Made available in DSpace on 2013-07-29T20:16:05Z (GMT). No. of bitstreams: 1 2013_AlisonBarrosdaSilva.pdf: 2500317 bytes, checksum: f79dd0a45771dd19237a3350bb9dc492 (MD5) / Um problema potencial pode ser caracterizado como um problema da natureza cuja solução pode ser obtida através da Equação de Laplace, que é uma equação diferencial parcial de segunda ordem. A presença de problemas potenciais na natureza fez com que fosse desenvolvida uma área de pesquisa dedicada ao seu estudo. Em problemas de múltiplas dimensões o tratamento analítico pode ser inviável, sendo assim, é comum o uso de modelagem numérica a fim de obter suas soluções. Existem diversos modelos numéricos capazes de resolver a Equação de Laplace, dentre eles estão o Método dos Elementos Finitos (MEF), Método dos Volumes Finitos (MVF), Método das Diferenças Finitas (MDF) e Método dos Elementos de Contorno (MEC). Dentre os métodos citados, o MEC é o mais recente, e atualmente está sendo muito utilizado na resolução de problemas de grandes dimensões e de domínios semi-infinitos. O MEC utiliza uma formulação matemática baseada no Teorema de Green a fim de reduzir uma dimensão do problema. Assim, é possível obter um ganho no custo compu- tacional, apesar do esforço matemático ser maior. Apesar do ganho obtido, as matrizes geradas pelo método são cheias e não-simétricas, fazendo com que o custo computacional ainda seja elevado. Devido à crescente exigência dos usuários de computadores no quesito qualidade grá- fica, as fabricantes desse tipo de hardware se viram forçadas a desenvolver novas tecnolo- gias capazes de suprir essa demanda, surgindo assim, as placas gráficas com processadores e memórias dedicadas. Este tipo de hardware chamou a atenção da comunidade científica por ser paralelo por natureza, sendo capaz de obter um desempenho comparado a um supercomputador. Opresentetrabalhovisaaimplementaçãodeumabibliotecaparalelaadaptadaa estrutura de placas gráficas para resolução de sistemas de equações lineares obtidos a partir da discretização de problemas potenciais com o MEC, utilizando a linguagem de programação OpenCL, a fim de avaliar a viabilidade de seu uso em ambiente híbrido, ou seja, contendo uma ou mais Central Processing Units (CPUs) e Graphics Processing Units (GPUs). A implementação foi validada, sendo aplicada ao problema de um fluido potencial em torno de um cilindro circular impenetrável e diversas técnicas de otimização do algoritmo foram avaliadas de forma a fornecer uma base de conhecimento para futuros trabalhos que venham utilizar GPUs. Os resultados mostram que uma implementação do método iterativo de Jacobi, que é utilizado na resolução de sistemas lineares, com paralelização trivial, semelhante ao pro- blema de N-Corpos (N-Body), não oferece um desempenho expressivo que justifique o uso de computação massivamente paralela, por outro lado, utilizando as técnicas de otimiza- ções apresentadas, é possível obter um ganho de até 5.5 vezes em relação ao algoritmo serial. Além disso, o trabalho aponta limitações na alocação de memória disponibilizada pela implementação OpenCL da fabricante AMD ATI. _______________________________________________________________________________________ ABSTRACT / A potential problem could be defined as a nature problem that satisfies The Laplace’s Equation, that is, a second order differential equation. The significant presence of po- tential problems in nature made it necessary to develop a research area dedicated to its study. This kind of problem can be solved using Laplace’s Equation as a tool, a partial second order differential equation. Analytical approaches may be impractical for higher dimensions, so it is common to use numerical modeling to obtain solutions. There are many numerical models capable of solving Laplace’s Equations, among them the Finite element method (FEM), Finite Volume Method (FVM), Finite Difference method (FDM) and the Boundary Element Method (BEM). Among these, the BEM is the most recent and is currently being used for higher dimensions and semi-infinite domain problems. The BEM uses a mathematical formulation based on Green’s Theorem to reduce one dimension of the problem, and as such, makes it possible to obtain computational gain, in spite of the higher mathematical efforts. A side effect of this gain is that the generated matrices are full and asymmetrical, making the computational cost to be still high. Computer user’s demand for higher quality graphics push manufactures to develop new technologies, suck as discrete graphic boards with dedicates processors an memory. This kind of hardware drew attention from the scientific community for its parallel nature being capable of performing Teraflop order of magnitude calculations for single precision math and Gigaflops order of magnitude calculations for double precision. This works intends to implement a parallel library using the BEM on graphic boards using the OpenCL programming language, to evaluate the viability of a hybrid (CPU and GPU) environment. The implementation was validated by being applied to a po- tential fluid around a solid cylinder and many algorithm optimization techniques was implemented to create a knowledge base to futures works using GPUs. The results show that an implementation of Jacobi’s iterative method, normally used on linear system solving, and a trivial parallelization similar to the one used on the N-Body solution does not show an expressive performance to justify massive parallel computing,due to the high number of memory accesses. Although, using the suggested optimization techniques, it is possible to reach a 5.5 gain when compared the same algorithm running serially.

Este texto apresenta alguns dos elementos básicos envolvidos em um estudo introdutório das equações diferencias estocásticas. Tais equações modelam problemas a tempo contínuo em que as grandezas de interesse estão sujeitas a certos tipos de perturbações aleatórias. Em nosso estudo, a aleatoriedade nessas equações será representada por um termo que envolve o processo estocástico conhecido como Movimento Browniano. Para um tratamento matematicamente rigoroso dessas equações, faremos uso da Integral Estocástica de Itô. A construção dessa integral é um dos principais objetivos do texto. Depois de desenvolver os conceitos necessários, apresentaremos alguns exemplos e provaremos existência e unicidade de solução para equações diferenciais estocásticas satisfazendo certas hipóteses. / This text presents some of the basic elements involved in an introductory study of stochastic differential equations. Such equations describe certain kinds of random perturbations on continuous time models. In our study, the randomness in these equations will be represented by a term involving the stochastic process known as Brownian Motion. For a mathematically rigorous treatment of these equations, we use the Itô Stochastic Integral. The construction of this integral is one of the main goals of the text. After developing the necessary concepts, we present some examples and prove existence and uniqueness of solution of stochastic differential equations satisfying some hypothesis.

Orientador: Ronan Antonio dos Reis / Resumo: O intuito deste trabalho é estudar ações de semigrupos em variedades flag com ênfase nos conjuntos controláveis efetivos para tais ações. A princípio, é feito um resumo sobre a teoria de Lie e a estrutura dos grupos de Lie semi-simples, nos capítulos 1 e 2, e a introdução dos conjuntos controláveis, no capítulo 3.A seguir, no capítulo 4, tratamos da caracterização do conjunto controlável invariante na variedade flag maximal G/P pelas câmaras de Weyl que interceptam o interior do semigrupo S, e da relação w → D_w que caracteriza os conjuntos controláveis efetivos nessa variedade.No capítulo 5, estudamos os subgrupos W(S) = { w ε W : D_w = D1 } que são importantes para descrever a bijeção W(S)w → D_w que nos fornece o número exato de conjuntos controláveis efetivos em G/P. E por fim, através das projeções π_Θ: G/P → G/P_Θ, estudamos os conjuntos controláveis nas variedades G/P_Θ, e a caracterização dos mesmos pela relação W(S)wW_Θ → D_w^Θ / Abstract: The objective of this work is to study semigroup actions in ag manifolds with emphasis on e ective control sets for such actions. Initially, we present some preliminaries about Lie theory. Next, we study the structure of real semi-simple Lie groups. In the sequence, we study the control sets Dw, as well as the invariant control sets for actions of semigroups in homogeneous spaces of Lie groups, specially in the ag manifolds. We study several results, such as the existence and uniqueness of the invariant control set in ag manifolds, their properties, among other results. Also, we study the control sets DΘ w for semigroups acting on the other ag manifolds G/PΘ, specially on the number of control sets in G/PΘ, as well as some examples of applications / Mestre

Orientador: Elso Drigo Filho / Coorientador: Jorge Chahine / Banca: Mário José de Oliveira / Banca: Regina Maria Ricotta / Resumo: A equação de Fokker-Planck é utilizada para descrever processos estocásticos e possui aplicações em muitos ramos da física, química e biologia. Para obter a solução da equação de Fokker-Planck, podemos mapeá-la em uma equação tipo Schrödinger através de mudanças apropriadas nas funções envolvidas. A vantagem dessa associação é que se pode construir a distribuição de probabilidade da equação de Fokker-Planck usando soluções conhecidas da equação de Schrödinger. Neste trabalho, fazendo uso dessa associação, apresentamos a solução da equação de Fokker-Planck para um potencial biestável relacionado ao oscilador harmônico duplo. As funções de onda e os autovalores encontrados através da equação tipo Schrödinger permitem construir a distribuição de probabilidade como uma série de... (Resumo completo, clicar acesso eletrônico abaixo) / Abstract: The Fokker-Panck equation is used in describing stochastic processes and can be applied in many branches of physics, chemistry and biology. The solution of the Fokker-Planck equation can be obtained by mapping it in a Schrödinger type equation via appropriate changes in the functions involved. The advantage of this combination is that one can construct the probability distribution the Fokker-Planck equation by using well-known solutions of the Schrödinger equation. In this work, making use of such a combination, we present the solution of the Fokker-Planck equation for a bistable potential related to the double-harmonic oscillator. The wave functions and autovalues found by solving the Schrödinger type equation allows the construction of the probability distribution as a series of functions. Thus, we can observe the... (Complete abstract click electronic access below) / Mestre

Orientador: Paulo Ricardo da Silva / Banca: Maurício Firmino Silva Lima / Banca: Luci Any Francisco Roberto / Resumo: 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. / Abstract: 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. / Mestre

Orientador: Germán Jesus Lozada Cruz / Banca: Alexandre Nolasco de Carvalho / Banca: Waldemar Donizete Bastos / Resumo: 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. / Abstract: 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. / Mestre

Orientador: Juliana Conceição Precioso Pereira / Banca: Waldemar Donizete Bastos / Banca: Lidiane dos Santos Monteiro Lima / Resumo: Neste trabalho analisamos as equações de Navier-Stokes em R^n, (n≤3) e mostramos boa colocação global, quando a velocidade inicial pertence ao espaço de Morrey e tem norma suficientemente pequena. Mostramos, também, que se o dado inicial é uma função homogênea de grau -1 então as soluções mild são autossimilares. Além disso, apresentamos um resultado de estabilidade assintótica das soluções mild / Abstract: In this work we will analyze the Navier-Stokes equations in R n, (n ≥ 3) and we will show global well-posedness, when the initial velocity belongs to the Morrey space M p, λ and with a sufficiently small norm. We will also show that if the initial data is a homogeneous function of degree −1, then the mild solutions are self-similar. Moreover, we will present an asymptotic stability result of the mild solutions / Mestre