Neste trabalho estudamos uma classe de equações de ondas da forma ∣∂tu∣p ∂ ttu - Δ∂ttu - αu + ∫∞0µ(s)Δu(t - s)ds +F(u) = h, definida num domínio limitado de R3, com condição de fronteira de Dirichlet e parâmetros α, ρ >0. Tais equações modelam problemas de viscoelasticidade não linear e têm sido estudados por diversos autores. Aqui, apresentamos um teorema de existência, unicidade e dependência contínua em relação aos dados iniciais, para soluções fracas, como discutido por Conti, Marchini & Pata (2014). Em seguida provamos um teorema novo sobre a existência de atratores globais para o sistema dinâmico associado ao problema, explorando tão somente a dissipação dada pelo termo de memória. Tal resultado generaliza substancialmente o trabalho pioneiro de Araújo, Ma & Qin (2013). / In this work we study a class of wave equations of the form ∣∂tu∣p ∂ ttu - αΔu + ∫∞0µ(s)Δu(t - s)ds +f(u) = h, defined in a bounded domain of R3, with Dirichlet boundary condition and parameters α, ρ > 0. Such equations model problems from nonlinear visco-elasticity and have been considered by several authors. Here, we prove the well-posedness of the problem, as discussed by Conti, Marchini & Pata (2014). Next, we prove a new result on the existence of global attractors for the dynamical system generated by the problem, by exploring the dissipation the memory term only. The result extends substantially the pioneering work by Araújo, Ma & Qin (2013).

Résumé / Abstract

Cette thèse est composée de deux parties qui sont relativement indépendantes l’un de l’autre. Dans la première partie,une autre théorie de la gravitation que l’on appelle la gravité de f(R), est étudiée. Une première analyse mathématique est discutée sur cette théorie, y compris la formulation mathématique du problème de Cauchy, la discussion sur le choix du couplage, et la formulation mathématique des équations différentielles. Ce système des équations différentielles est de quatrième ordre et très impliqué. Pour pouvoir établir l’existence locale, une série de transformations et reformulation et introduites. Elles nous amènent à une formulation que l’on l’appelle la formulation conforme augmenté. Avec cette formulation, l’existence locale est établie. La deuxième partie est consacrée à l’analyse d’un type de système non-linéaire composé des équations d’onde et équations de Klein-Gordon. Ce type de système apparaît naturellement dans de nombreux modèles physiques: le plus important, l’équation d’Einstein couplé avec un champ scalaire réel du massif et le système de la formulation conforme augmentée de la théorie de f(R). La difficulté principale est le manque de la symétrie: un des champs de vecteur de Killing conforme de l’opérateur d’onde, le champ de vecteur de scaling S := t∂ t +r∂ r, n’est pas un champ de vecteur de Killing conforme de l’opérateur de Klein Gordon. Pour franchir cette difficulté, un nouveau cadre, appelé la méthode de feuilletage hyperboloïdal, est introduit. Avec ce cadre, nous pouvons encadrer les équations d’onde et les équations de Klein-Gordon dans le même cadre. Cela nous permet d’établir un résultat d’existence globale pour les données initiales petites et localisées dans un compact. / This these is composed by two parts which are relatively independent to each other. In the first part an alternative theory of the gravitation, the so-called f(R) gravity, is studied. A first mathematical analysis is discussed on this theory, including the mathematical formulation of the Cauchy problem, the discussion on the choice of coupling, the mathematical formulation of the differential system. This system is four-order and highly involved. To establish the local well-posedness result, a series of transformations ans re-formulations is introduced and we finally arrived at a formulation, called the augmented conformal formulation with which we have managed to establish the local well-poseness theory.The second part is devoted to the analysis of a type of coupled wave and Klein-Gordon system. This kind of system arises naturally in many physical model, especially in the Einstein equation coupled with a real massive scalar field and the augmented conformal formulation of the f(R) gravity. The main difficulty to treat this type of system is the lack of symmetry: one of the conformal Killing vector filed of the linear wave operator, the scaling vector field S := t∂t+r∂r is not a conformal Killing vector field of the linear Klein-Gordon operator. To overpass this difficult, a new framework, called the hyperboloidal foliation method is introduced. With this framework we can encompass the wave equations and the Klein-Gordon equations in the same framework. This allowed us to establish a global well-posedness result for compactly supported, small amplitude initial data.

Dans cette thèse, nous nous intéressons à la contrôlabilité interne et à son coût pour une ou plusieurs équations aux dérivées partielles conservatives. ?Dans la première partie, nous introduisons et détaillons deux méthodes permettant d'estimer le coût du contrôle (et par dualité, de la constante d'observabilité) de l'équation des ondes avec potentiel $l^{\infty}$ en dimension un d'espace. La première utilise la propagation des ondes le long des caractéristiques en s'appuyant sur le rôle symétrique de la variable de temps et d'espace. La deuxième méthode repose sur la décomposition spectrale de l'équation des ondes et sur l'utilisation des inégalités d'ingham. L'estimation de la constante d'observabilité se ramène alors à l'étude d'un problème d'optimisation faisant intervenir les vecteurs propres du laplacien-dirichlet avec potentiel. Nous fournissons ensuite des propriétés qualitatives sur le minimiseurs ainsi qu'une estimation du minimum ne dépendant que de la mesure de l'ensemble d'observation. ?Dans la deuxième partie, nous étudions la contrôlabilité de certains systèmes d'équations avec un nombre de contrôles réduits, autrement dit le nombre de contrôles est plus petit que le nombre d'équations. En particulier, nous caractérisons exactement les données initiales qui peuvent être contrôlées pour des systèmes d'équations couplées de type schrödinger et nous énonçons une condition nécessaire et suffisante de type kalman pour des systèmes d'équations des ondes couplées. La preuve repose sur une méthode de contrôle fictif combinée à la résolution algébrique d'un système sous-déterminé et sur certains résultats de régularité. / In this work, we focus on the internal controllability and its cost for some linear partial differential equations. In the first part, we introduce and describe two methods to provide precise estimates of the cost of control (and by duality, of the observability constant) for general one dimensional wave equations with potential. The first one is based on a propagation argument along the characteristics relying on the symmetrical roles of the time and space variables. The second one uses a spectral decomposition of the solution of the wave equation and ingham's inequalities. This relates the estimation of the observability constant to the study of an optimal problem involving dirichlet eigenfunctions of laplacian with potential. We provide some qualitative properties of the minimizers, and also precise bounds on the minimum. In the second part, we are concerned with the controllability of some systems of equations by a reduced number of controls (i.e. the number of controls is less that the number of equations). In particular, in the case of coupled systems of schrödinger equations, we exactly characterize the initial conditions that can be controlled and we give a necessary and sufficient condition of kalman type for the controllability of coupled systems of wave equations. The proof relies on the fictitious control method coupled with the proof of an algebraic solvabilityproperty for some related underdetermined system, as well as on some regularity results.

In this thesis we study the global existence of small data solutions to the Cauchy problem for semilinear damped wave equations with an effective dissipation term, where the data are supposed to belong to different classes of regularity. We apply these results to the Cauchy problem for weakly coupled systems of semilinear effectively damped waves with respect to the defined classes of regularity for different power nonlinearities. We also presented blow-up results for semi-linear systems with weakly coupled damped waves.

Nesta dissertação apresentamos um método de quantização matemática e conceitualmente rigoroso para o campo escalar livre de interações. Trazemos de início alguns aspéctos importantes da Teoria de Distribuições e colocamos alguns pontos de geometria Lorentziana. O restante do trabalho é dividido em duas partes: na primeira, estudamos equações de onda em variedades Lorentzianas globalmente hiperbólicas e apresentamos o conceito de soluções fundamentais no contexto de equações locais. Em seguida, progressivamente construímos soluções fundamentais para o operador de onda a partir da distribuição de Riesz. Uma vez estabelecida uma solução para a equação de onda em uma vizinhança de um ponto da variedade, tratamos de construir uma solução global a partir da extensão do problema de Cauchy a toda a variedade, donde as soluções fundamentais dão lugar aos operadores de Green a partir da introdução de uma condição de contorno. Na última parte do trabalho, apresentamos um mínimo da Teoria de Categorias e Funtores para utilizar esse formalismo na contrução de um funtor de segunda quantização entre a categoria de variedades Lorentzianas globalmente hiperbólicas e a categoria de redes de álgebras C* satisfazendo os axiomas de Haag-Kastler. Ao fim, retomamos o caso particular do campo escalar quântico livre. / In this thesis we present a both mathematical and conceptually rigorous quantization method for the neutral scalar field free of interactions. Initially, we introduce some aspects of the Theory of Distributions and we establish some points of Lorentzian geometry. The rest of the work is divided in two parts: in the first one, we study wave equations on globally hyperbolic Lorentzian manifolds, hence presenting the concept of fundamental solutions within the context of locally defined wave equations. Next, we progressively construct fundamental solutions for the wave operator from the Riesz distribution. Once established a solution to the wave equation in a neighbourhood of a point of the manifold, we move forward to produce a global solution from the extension of the Cauchy problem to the whole manifold. At this stage, fundamental solutions are replaced by Green\'s operators by the imposition of appropriate boundary conditions. In the last part, we present a minimum on the Theory of Categories and Functors. This is followed by the use of this formalism in the development of a second-quantization functor between the category of Lorentzian globally hyperbolic manifolds and the category of nets of C*-algebras obeying Haag-Kastler axioms. Finally, we turn our attention to the particular case of the quantum free scalar field.

A periodic structure consists of spatially repeating unit cells. From man-made multi-span bridges to naturally occurring atomic lattices, periodic structures are ubiquitous. The periodicity can be exploited to generate frequency bands within which elastic wave propagation is impeded. A limitation to the linear periodic structure is that the filtering properties depend only on the structural design and periodicity which implies that the dispersion characteristics are fixed unless the overall structure or the periodicity is altered. The current research focuses on wave propagation in nonlinear periodic structures to explore tunability in filtering properties such as bandgaps, cut-off frequencies and response directionality. The first part of the research documents amplitude-dependent dispersion properties of weakly nonlinear periodic media through a general perturbation approach. The perturbation approach allows closed-form estimation of the effects of weak nonlinearities on wave propagation. Variation in bandstructure and bandgaps lead to tunable filtering and directional behavior. The latter is due to anisotropy in nonlinear interaction that generates low response regions, or "dead zones," within the structure.The general perturbation approach developed has also been applied to evaluate dispersion in a complex nonlinear periodic structure which is discretized using Finite Elements. The second part of the research focuses on wave dispersion in strongly nonlinear periodic structures which includes pre-compressed granular media as an example. Plane wave dispersion is studied through the harmonic balance method and it is shown that the cut-off frequencies and bandgaps vary significantly with wave amplitude. Acoustic wave beaming phenomenon is also observed in pre-compressed two-dimensional hexagonally packed granular media. Numerical simulations of wave propagation in finite lattices also demonstrated amplitude-dependent bandstructures and directional behavior so far observed.

Our knowledge of elastic wave propagation in general heterogeneous media with complex geological structures comes principally from numerical simulations. In this dissertation, I demonstrate through rigorous theoretical analyses and comprehensive numerical experiments that the Fourier method is a suitable method of choice for large scale 3D seismic modeling and imaging problems, due to its high accuracy and computational efficiency. The most attractive feature of the Fourier method is its ability to produce highly accurate solutions on relatively coarser grids, compared with other numerical methods for solving wave equations. To further advance the Fourier method, I identify two aspects of the method to focus on in this work, i.e., its implementation on modern clusters of computers and efficient high-order time stepping schemes. I propose two new parallel algorithms to improve the efficiency of the Fourier method on distributed memory systems using MPI. The first algorithm employs non-blocking all-to-all communications to optimize the conventional parallel Fourier modeling workflows by overlapping communication with computation. With a carefully designed communication-computation overlapping mechanism, a large amount of communication overhead can be concealed when implementing different kinds of wave equations. The second algorithm combines the advantages of both the Fourier method and the finite difference method by using convolutional high-order finite difference operators to evaluate the spatial derivatives in the decomposed direction. The high-order convolutional finite difference method guarantees a satisfactory accuracy and provides the flexibility of using non-blocking point-to-point communications for efficient interprocessor data exchange and the possibility of overlapping communication and computation. As a result, this hybrid method achieves an optimized balance between numerical accuracy and computational efficiency. To improve the overall accuracy of time domain Fourier simulations, I propose a family of new high-order time stepping schemes, based on a novel algorithm for designing time integration operators, to reduce temporal derivative discretization errors in a cost-effective fashion. I explore the pseudo-analytical method and propose high-order formulations to further improve its accuracy and ability to deal with spatial heterogeneities. I also extend the pseudo-analytical method to solve the variable-density acoustic and elastic wave equations. I thoroughly examine the finite difference method by conducting complete numerical dispersion and stability analyses. I comprehensively compare the finite difference method with the Fourier method and provide a series of detailed benchmarking tests of these two methods under a number of different simulation configurations. The Fourier method outperforms the finite difference method, in terms of both accuracy and efficiency, for both the theoretical studies and the numerical experiments, which provides solid evidence that the Fourier method is a superior scheme for large scale seismic modeling and imaging problems. / text

Dumb holes (also known as acoustic black holes) are fluid flows which include an "acoustic horizon:" a surface, analogous to a gravitational horizon, beyond which sound may pass but never classically return. Soundwaves in these flows will therefore experience "effective geometries" which are identical to black hole spacetimes up to a conformal factor. By adjusting the parameters of the fluid flow, it is possible to create an effective geometry which is conformal to the Anti-de Sitter black hole spacetime- a geometry which has recieved a great deal of attention in recent years due to its conjectured holographic duality to Conformal Field Theories. While we would not expect an acoustic analogue of the AdS-CFT correspondence to exist, this dumb hole provides a means, at least in principle, of experimentally testing the theoretical properties of the AdS spacetime. In particular, I have calculated the quasinormal mode spectrum of this acoustic geometry. / Graduate / 0986 / 0753 / jpbabb@yahoo.ca

Nesta dissertação apresentamos um método de quantização matemática e conceitualmente rigoroso para o campo escalar livre de interações. Trazemos de início alguns aspéctos importantes da Teoria de Distribuições e colocamos alguns pontos de geometria Lorentziana. O restante do trabalho é dividido em duas partes: na primeira, estudamos equações de onda em variedades Lorentzianas globalmente hiperbólicas e apresentamos o conceito de soluções fundamentais no contexto de equações locais. Em seguida, progressivamente construímos soluções fundamentais para o operador de onda a partir da distribuição de Riesz. Uma vez estabelecida uma solução para a equação de onda em uma vizinhança de um ponto da variedade, tratamos de construir uma solução global a partir da extensão do problema de Cauchy a toda a variedade, donde as soluções fundamentais dão lugar aos operadores de Green a partir da introdução de uma condição de contorno. Na última parte do trabalho, apresentamos um mínimo da Teoria de Categorias e Funtores para utilizar esse formalismo na contrução de um funtor de segunda quantização entre a categoria de variedades Lorentzianas globalmente hiperbólicas e a categoria de redes de álgebras C* satisfazendo os axiomas de Haag-Kastler. Ao fim, retomamos o caso particular do campo escalar quântico livre. / In this thesis we present a both mathematical and conceptually rigorous quantization method for the neutral scalar field free of interactions. Initially, we introduce some aspects of the Theory of Distributions and we establish some points of Lorentzian geometry. The rest of the work is divided in two parts: in the first one, we study wave equations on globally hyperbolic Lorentzian manifolds, hence presenting the concept of fundamental solutions within the context of locally defined wave equations. Next, we progressively construct fundamental solutions for the wave operator from the Riesz distribution. Once established a solution to the wave equation in a neighbourhood of a point of the manifold, we move forward to produce a global solution from the extension of the Cauchy problem to the whole manifold. At this stage, fundamental solutions are replaced by Green\'s operators by the imposition of appropriate boundary conditions. In the last part, we present a minimum on the Theory of Categories and Functors. This is followed by the use of this formalism in the development of a second-quantization functor between the category of Lorentzian globally hyperbolic manifolds and the category of nets of C*-algebras obeying Haag-Kastler axioms. Finally, we turn our attention to the particular case of the quantum free scalar field.