Neste trabalho apresentamos um teorema que explicita condições necessárias e suficientes para que um polinômio f(X) 2 Q[X] seja solúvel por radicais reais, juntamente com algumas aplicações do mesmo. Além disso, mostramos que em Q[X] sempre e possível encontrar o grupo de Galois de qualquer polinômio f(X) 2 Q[X]. / In this text we present a Theorem which gives necessary and suficient conditions for a polynomial f(X) with rational coe cients to be soluble by real radicals, as well as some applications of this result. We also show that it is always possible to explicit the Galois group of any polynomial f(X) 2 Q[X].

Estudamos a estabilidade de equações diferenças usando o Método Direto de Lyapunov e estendemos os resultados através do Princípio de Invariância de La Salle. Apresentamos generalizações e ilustrações de aplicação destes resultados. / We study the stability of difference equations by using Lyapunov's Direct Method and we extend the results through La Salle's Invariance Principie. Generalizations and representative examples of the application of these results are given.

O estudo das equações de Navier-Stokes desperta interesse dos estudiosos da área da análise numérica, visto que a partir destas pode-se determinar os campos de velocidade e pressão de um escoamento. Com estas equações também pode-se aproximar coeficientes aerodinâmicos, fato de grande interesse nas indústria automobilística e aeronáutica. Por isso, propõe-se estudar a aproximação das equações de Navier Stokes via o método de elementos finitos, que tem se mostrado um bom método de resolução de problemas envolvendo fiuidos. Estudam-se métodos de linearização do termo convectivo. Apresentam-se três propostas de métodos de discretização temporal para as equações dadas. Através da análise de erro e taxas de convergência para problemas com solução exata conhecida, comparam-se diferentes espaços de discretização espacial e diferentes métodos de discretização temporal. Introduz-se um modelo de regularização e através do cálculo dos coeficientes de arrasto e sustentação comprova-se a sua efetividade (no sentido de que ele permite trabalhar com malhas mais grossas, mas ainda obter soluções comparáveis àquelas obtidas por DNS). / The study of the Navier-Stokes equations arouses interest of researchers in the area of numerical analysis, since from these one can determine the velocity and pressure fields of a fiow. These equations approach aerodynamic coefficients, a fact of great interest in the aeronautical and automotive industries. Therefore, we propose to study an approximation of the Navier Stokes equations through the finite element method, which has shown to be a good method for solving problems involving fiuids. Ve study methods of linearizing the convective term, and present three methods for time discretization. Through error analysis and convergence rates for problems with known exact solution, we compare different spatial and time discretization methods. By calculating the drag and lift coefficients around a cilinder we confirm the effectiveness of the Leray-deconvolution model in comparison to direct simulation (DNS) for solving problems with coarser meshes.

Este trabalho tem por objetivo estudar a regularidade de soluções de Equações Diferenciais Parciais Elípticas da forma Lu = f, para f 2 Lp(­), onde p > 1. Para isto, usamos a Decomposição de Calderon-Zygmund e um resultado que é consequência deste, o Teorema da Interpolação de Marcinkiewicz. Além disso, usando quocientes-diferença provamos a regularidade das soluções para o caso p = 2 e L = ¡¢ de uma forma alternativa.

Este trabalho trata do tipo de dado intervalar e da importância da especificação de uma semântica para garantir a correção e a interpretação coerente de resultados gerados, tais como de soluções de equações envolvendo este tipo de dado. Para tanto, realiza um estudo comparativo das semânticas de envoltória intervalar de reais e de número-intervalo, procurando identificar a influência de cada uma sobre definições fundamentais, tais como as das operações aritméticas e a do tipo de solução encontrado. Uma vez caracterizadas as semânticas associadas ao tipo de dado intervalar, o trabalho apresenta resultados que permitem mapear algebricamente a operação de multiplicação de números-intervalo tanto na representação de extremo inferior e extremo superior como na representação por ponto médio e diâmetro. Com base nesses resultados apresenta os mapeamentos das expressões algébricas que definem as potências positivas inteiras tanto para a semântica de número-intervalo como para a de envoltória de reais. Conjugando os resultados obtidos com a semântica de número-intervalo, o trabalho apresenta procedimentos algorítmicos para a determinação de dois tipos de soluções de equações intervalares: solução própria, a obtida diretamente a partir da relação de igualdade estrutural algébrica entre intervalos, e envoltória intervalar de soluções reais, normalmente referenciada como a solução intervalar usual. Exemplos são apresentados para a validação dos procedimentos, bem como para a discussão do significado de cada tipo de solução sob o enfoque semântico.

Neste trabalho estuda-se o problema de contato num sistema termoelástico unidimensional, como objeto de estudo é usado uma barra metálica que está no interior de uma viga. Primeiro, modela-se o sistema fisicamente e depois demonstra-se que o sistema possui solução através do método penalizado. Depois é feita a discretização numérica para fazer as simulações gráficas com os dados de quatro materiais pesquisados. Os resultados obtidos nos testes dos diferentes materiais foram satisfatórios já que foi mostrado que o comportamento de um sistema acoplado é válido para materiais com coeficiente diferentes e depende da relação entre a energia e diferença de temperatura.

The topological derivative measures the sensitivity of a given shape functional with respect to an infinitesimal singular domain perturbation, such as the insertion of holes, inclusions or source-terms. The topological derivative has been successfully applied in obtaining the optimal topology for a large class of physics and engineering problems. In this work a methodology for the topology optimization of structures under plane strain assumption is presented. The idea is to minimize the structural compliance under volume constraint. Since we are dealing with multiple load-cases, a multi-objective optimization problem is proposed, where the topological sensitivity is obtained as a sum of the topological derivatives associated with each load-case. The volume constraint is imposed through the Augmented Lagrangian Method. The obtained result is used to devise a topology optimization algorithm based on the topological derivative together with a level-set domain representation method. Finally, the proposed methodology is illustrated in a set of finite element-based numerical examples of structural optimization. / A derivada topológica mede a sensibilidade de um dado funcional com respeito a uma perturbação singular infinitesimal no domínio, como a inserção de furos, inclusões ou até mesmo termos fonte. A derivada topológica vem sendo utilizada com sucesso na obtenção da topologia ótima para uma grande classe de problemas da física e da engenharia. Neste trabalho é apresentada uma metodologia de otimização topológica para o problema de elasticidade linear em estado plano de deformação, minimizando a flexibilidade da estrutura submetida a múltiplos casos de carregamentos e atendendo a uma restrição de volume. Para tratamento dos múltiplos casos de carregamento é proposto um problema de otimização multiobjetivo em que a sensibilidade é obtida como a soma das derivadas topológicas para cada caso de carregamento. O método do Lagrangeano Aumentado é utilizado no controle de volume. O resultado obtido é então empregado na construção de um algoritmo de otimização topológica baseado na derivada topológica conjuntamente com uma representação do domínio por função level-set. Finalmente, a metodologia proposta é validada através de diversos experimentos numéricos.

A derivada topológica é um campo escalar que mede a sensibilidade de um dado funcional de forma quando o domínio de definição do problema sofre uma perturbação singular infinitesimal, como a inserção de furos, inclusões ou termos fontes. Este conceito tem sido reconhecido como uma poderosa ferramenta na obtenção da topologia ótima em diversos problemas da física e da engenharia; e vem sendo objeto de estudo em áreas de pesquisa como otimização topológica, processamento de imagens e problemas inversos. No presente trabalho, a derivada topológica é aplicada no contexto de otimização topológica de estruturas em estado plano de tensões, sujeitas a múltiplos casos de carregamento. Em particular,a complacência da estrutura é minimizada com restrição de volume imposta através do método do lagrangeano aumentado. Desde que lida-se com múltiplos casos de carregamento, é proposto um problema de otimização multiobjetivo e a sensibilidade é dada pela soma das derivadas topológicas para cada caso de carregamento. O resultado obtido é então utilizado como direção de descida da função custo em um algoritmo de otimização estrutural baseado na derivada topológica e na representação do domínio por função level-set. Finalmente, são apresentados alguns exemplos numéricos que permitem validar a metodologia proposta. / The topological derivative measures the sensitivity of a given shape functional with respect to an infinitesimal singular domain perturbation, such as the insertion of holes, inclusions or source-terms. The topological derivative has been successfully applied in the treatment of a wide range of problems such as topology optimization, inverse analysis and image processing. In this work the topological derivative is applied in the context of topology optimization of structures under plane stress assumptions and subject to multiple load cases. In particular, the structural compliance is minimized under volume constraint imposed through the Augmented Lagrangian Method. Since we are dealing with multiple load cases, a multi-objective optimization problem is proposed and the topological sensitivity is obtained as a sum of the topological derivatives associated with each load case. The obtained result is used to devise a topology optimization algorithm based on the topological derivative together with a level-set domain representation method. Finally, several finite element-based examples of structural optimization are presented.

Nesta tese, investigamos a interação não linear entre tripletos de ondas, segundo a perspectiva das equações de Zakharov. Analisamos, em primeiro lugar, o tripleto puro, estudando a influência do caos na coerência da interação de três ondas que apresentam descasamento de frequência angular. O caos torna-se proeminente, quando as aproximações adiabáticas, que levam a um modelo integrável, deixam de ser válidas. Nos regimes regulares, onde a intensidade dos campos é suficientemente baixa, há um valor de bifurcação para a defasagem entre as frequências do tripleto, abaixo do qual a coerência e o sincronismo das fases são dominantes. Nos regimes caóticos, por outro lado, não há tal valor de bifurcação e o sincronismo entre as fases não pode mais ser observado. A seguir, analisamos o papel do caos e de efeitos de não equilíbrio dinâmico, na interação de três grupos de ondas, cada qual com muitos modos. O modelo democrático apresentado, é uma extensão da interação entre um tripleto puro, onde muitos modos são adicionados a cada um dos três modos do tripleto, de modo a simular um espectro de banda larga. Incluimos características não integráveis, resultantes da presença derivada de ordem mais alta em um dos grupos envolvidos, e estudamos efeitos de não equilíbrio, os quais são gerados quando o correspondente tripleto puro apresenta intensa troca de energia. Com simulações e estimativas, mostrando que, em relação ao critério de transição do caso adiabático e estacionário, a presença do caos e dos efeitos de não equilíbrio reduzem substancialmente a coerência das ondas. Finalmente, introduzimos um modelo no qual é imposta uma regra de seleção ressonante sobre os termos não lineares das equações que governam a interação entre um tripleto de pacotes de onda de banda larga. Restringindo-nos às aproximações adiabáticas, analisamos a transição da coerência para a incoerência, usando estimativas analíticas e simulações. Como regra geral, termos não lineares induzem à coerência através do processo de acoplamento das fases. Contudo, em contraste com o modelo democrático, as não linearidades provocam alargamento dos pacotes. A excitação de modos ressonantes detém o alargamento dos pacotes e destroi a coerência, implicando num critério de transição equivalente ao do modelo democrático. / In this thesis we investigate the non-linear interaction of a wave triplet in the context of the Zakharov equations. We first analyze the influence of chaos on the coherence of the mismatched pure three-wave interaction. Chaos becomes prominent when adiabatic approximations leading to an integrable model for the system cease to be valid. In regular regimes where the field leves are sufficiently small, there is a characteristic value for the frequency mismatch of the triplet bellow wich coherence and phase locking are dominant. In chaotic regimes, on the other hand, there is no such value and phase synchronism can no longer be observed. We then analyze the role of chaos and nonequilibrium dynamical effects in the interaction of three groups of waves with many modes each. The democratic model presented is a refined model of the pure triplet interaction where many modes are added to each of the three single modes of the triplet in order to simulate broad-band spectra. We include nonintegrable features resulting from the presence of higer-order time derivatives in one of the groups involved, and study nonequilibrium effects, wich are generated when the underlying pure triplet undergoes intense energy exchange. With simulations and estimates we show that the presence of chaos and nonequilibrium effects reduces substantially wave coherence, in comparision to the criterion of transition of the stationary adiabatic case. Finally, it is introduced a model where ressonat wave vector selection rules are imposed on the nonlinear terms of the governing equations of a broad-band triplet interaction. Under the adiabatic approximation we analyze the transition from coherence to incoherence, using analytical estimates and simulations. As a general rule, nonlinear terms induce coherence via a phase-locking process. However, in contrast to the democratic model, wave vector spread results from nonlinearity. The excitation of ressonant modes arrests wave vector spread and destroys the coherence, implying in a transition criteria that is equivalent to the one obtained for the democratic model.

O caos e a incoerência nas interações conservativas de três ondas e a transição súbita para o caos na equação não linear de Klein Gordon são estudados. É analisada a influência da presença de caos sobre a incoerência no problema da interação de um tripleto de ondas quando um modelo de aproximação adiabática deixa de ser válido. É encontrado um limiar para o valor do descasamento do tripleto de ondas, abaixo do qual a coerência e o acoplamento entre as ondas é o comportamento dominante. Na equação não linear de Klein Gordon estudou-se a transição entre um regime de dinâmica modulacional para um de caos espaço temporal e foi encontrada uma curva crítica no plano amplitude-frequência que o divide em regiões onde só existe transição para o caos caso o valor de amplitude exceder um certo limiar.