Grâce au théorème d'hyperbolisation, nous savons précisément quand une variété de dimension trois compacte admet une métrique hyperbolique. Par ailleurs, d'après le théorème de rigidité de Mostow, cette structure géométrique est unique. Cependant, trouver des liens pratiques entre la géométrie et la topologie est un problème difficile. La plupart des résultats décrits dans cette thèse visent à concrétiser ces liens. Toute géodésique fermée orientée dans une surface hyperbolique admet un relèvement canonique dans le fibré tangent unitaire de la surface, et on peut donc le voir comme un nœud dans une variété de dimension trois. Les extérieurs des nœuds ainsi construits admettent une structure hyperbolique. Cette thèse a pour objet d'estimer le volume des extérieurs des relèvements canoniques. Pour toute surface hyperbolique on construit une suite de géodésique sur la surface, tel que les extérieurs associées ne sont pas homéomorphes entre elles et dont la suite des volumes respectifs est bornée. Aussi on minore le volume de l'extérieur à l'aide d'un réel explicite qui décrit une relation entre la géodésique et une décomposition en pantalons de la surface. Ceci donne une méthode pour construire une suite de géodésiques dont les volumes des extérieurs associées sont minorées en termes de la longueur de la géodésique correspondant. Dans le cas particulier de la surface modulaire, on obtient des estimations du volume de l'extérieur en termes de la période de la fraction continue associée à la géodésique. / Due to the Hyperbolization Theorem, we know precisely when does a given compact three dimensional manifold admits a hyperbolic metric. Moreover, by the Mostow's Rigidity Theorem this geometric structure is unique. However, finding effective and computable connections between the geometry and topology is a challenging problem. Most of the results on this thesis fit into the theme of making the connections more concrete. To every oriented closed geodesic on a hyperbolic surface has a canonical lift on the unit tangent bundle of the surface, and we can see it as a knot in a three dimensional manifold. The knot complement given in this way has a hyperbolic structure. The objective of this thesis is to estimate the volume of the canonical lift complement. For every hyperbolic surface we give a sequence of geodesics on the surface, such that the knot complements associated are not homeomorphic with each other and the sequence of the corresponding volumes is bounded. We also give a lower bound of the volume of the canonical lift complement by an explicit real number which describes a relation between the geodesic and a pants decomposition of the surface. This give us a method to construct a sequence of geodesics where the volume of the associated knot complements is bounded from below in terms of the length of the corresponding geodesic. For the particular case of the modular surface, we obtain estimations for the volume of the canonical lift complement in terms of the period of the continuous fraction expansion of the corresponding geodesic.

Dans cette thèse, la Méthode des Points Matériels (MPM) est étendue à l’approximation de Galerkin Discontinue (DG) et appliquée aux problèmes hyperboliques en mécanique des solides. La méthode résultante (DGMPM) a pour objectif de suivre précisément les ondes dans des solides subissant de fortes déformations et dont les modèles constitutifs dépendent de l’histoire du chargement. A la croisée des méthodes de types éléments finis et volumes finis, la DGMPM s’appuie sur une grille de calcul arbitraire dans laquelle des flux sont calculés au moyen de solveurs de Riemann approximés sur les arêtes entre les éléments. L’intérêt de ce type de solveurs est qu’ils permettent l’introduction de la structure caractéristique des solutions des équations aux dérivées partielles hyperboliques directement dans le schéma numérique. Les analyses de stabilité et de convergence ainsi que l’illustration de la méthode sur des simulations de problèmes unidimensionnels et bidimensionnels montrent que le schéma numérique permet d’améliorer le suivi des ondes par rapport à la MPM. Par ailleurs, un deuxième objectif poursuivi dans cette thèse consiste à caractériser la réponse des solides élastoplastiques à des sollicitations dynamiques en deux dimensions en vue d’améliorer la résolution numérique de ces problèmes. Bien qu’un certain nombre de travaux aient déjà été menés dans cette direction, les problèmes étudiés se limitent à des cas particuliers. Un cadre unifié pour l’étude de la propagation d’ondes simples dans les solides élastoplastiques en déformations et contraintes plane est proposé dans cette thèse. Les trajets de chargement suivis à l’intérieur de ces ondes simples sont de plus analysés. / In this thesis, the material point method (MPM) is extended to the discontinuous Galerkin approximation (DG) and applied to hyperbolic problems in solid mechanics. The resulting method (DGMPM) aims at accurately following waves in finite-deforming solids whose constitutive models may depend on the loading history. Merging finite volumes and finite elements methods, the DGMPM takes advantage of an arbitrary computational grid in which fluxes are evaluated at element faces by means of approximate Riemann solvers. This class of solvers enables the introduction of the characteristic structure of the solutions of hyperbolic partial differential equations within the numerical scheme. Convergence and stability analyses, along with one and two-dimensional numerical simulations,demonstrate that this approach enhances the MPM ability to track waves. On the other hand, a second purpose has been followed: it consists in identifying the response of two-dimensional elastoplastic solids to dynamic step-loadings in order to improve numerical results on these problems. Although some studies investigated similar questions, only particular cases have been treated. Thus,a generic framework for the study of the propagation of simple waves in elastic-plastic solids under plane stress and plane strain problems is proposed in this thesis. The loading paths followed inside those simple waves are further analyzed.

In this thesis, we present a collection of newly obtained results concerning the existence of vanishing viscosity solutions to the one-dimensional compressible Euler equations of gas dynamics, with and without geometric structure. We demonstrate the existence of such vanishing viscosity solutions, which we show to be entropy solutions, to the transonic nozzle problem and spherically symmetric Euler equations in Chapter 4, in both cases under the simple and natural assumption of relative finite-energy. In Chapter 5, we show that the viscous solutions of the one-dimensional compressible Navier-Stokes equations converge, as the viscosity tends to zero, to an entropy solution of the Euler equations, again under the assumption of relative finite-energy. In so doing, we develop a compactness framework for the solutions and approximate solutions to the Euler equations under the assumption of a physical pressure law. Finally, in Chapter 6, we consider the Euler equations in special relativity, and show the existence of bounded entropy solutions to these equations. In the process, we also construct fundamental solutions to the entropy equations and develop a compactness framework for the solutions and approximate solutions to the relativistic Euler equations.

Dans la première partie on propose un outil mathématique pour traiter les conditions aux limites dynamiques d'un problème couplé d'EDP. La simulation avec des conditions aux limites dynamiques nécessite quelques fois une condition de "switch" en temps des conditions aux limites de Dirichlet en Neumann. La méthode numérique (St DN) a été validée avec des mesures expérimentales pour le cas de la contamination croisée en industrie micro-électronique. Cet outil sera utilisé par la suite pour simuler le phénomène de « self-heating » dans les polymères et les hydrogels sous sollicitations dynamiques. Dans la deuxième partie, on s'intéresse à la modélisation du phénomène de self-heating dans les polymères, les hydrogels et les tissus biologiques. D'abord, nous nous sommes focalisés sur la modélisation de la loi constitutive de l'hydrogel de type HEMA-EGDMA. Nous avons utilisé la théorie des invariants polynomiaux pour définir la loi constitutive du matériau. Ensuite, nous avons mis en place un modèle théorique en thermomécanique couplée d'un milieu continu classique pour analyser la production de chaleur dans ce matériau. Deux potentiels thermodynamiques ont été proposés et identifiés avec les mesures expérimentales. Une nouvelle forme d'équation du mouvement non-linéaire et couplée a été obtenue (un système d'équation aux dérivées partielles parabolique et hyperbolique non-linéaire couplé avec des conditions aux limites dynamiques). Dans la troisième partie, une méthode numérique des équations thermomécaniques (couplage parabolique-hyperbolique) pour les modèles a été utilisée. Cette étape nous a permis, entre autres, de résoudre ce système couplé. La méthode est basée sur la méthode des éléments finis. Divers résultats expérimentaux obtenus sur ce phénomène de self-heating sont présentés dans ce travail suivi d'une étude de corrélations des résultats théoriques et expérimentaux. Dans la dernière partie de ce travail, ces divers résultats sont repris et leurs conséquences sur la modélisation du comportement de l'hydrogel naturel utilisé dans le domaine biomédical sont discutées. / In the first part, we propose a mathematical tool for treating the dynamic boundary conditions. The simulation within dynamic boundary condition requires sometimes ''switch'' condition in time of the Dirichlet to Neumann boundary condition (St DN). We propose a numerical method validated with experimental measurements for the case of cross-contamination in microelectronics industry. This tool will be used to compute self-heating in the polymers and hydrogels under dynamic loading. In the second part we focus on modeling the self-heating phenomenon in polymers, hydrogels and biological tissues. We develop constitutive law of the hydrogel type HEMA-EGDMA, focusing on the heat e.ects (dissipation) in this material. Then we set up a theoretical model of coupled thermo-mechanical classic continuum for a better understanding of the heat production in this media. We use polynomial invariants theory to define the constitutive law of the media. Two original thermodynamic potentials are proposed. Original non-linear and coupled governing equations were obtained and identified with the experimental measurements (non-linear parabolic-hyperbolic system with the dynamic boundary condition). In the third part, numerical methods were used to solve thermo-mechanical formalism for the model. This step deals with a numerical method of a coupled partial di.erential equation system of the self-heating (parabolic-hyperbolic coupling). Then, is step allows us, among other things, to propose an appropriate numerical methods to solve this system. The numerical method is based on the finite element methods. Numerous experimental results on the self-heating phenomenon are presented in this work together with correlations studies between the theoretical and experimental results. In the last part of the thesis, these various results will be presented and their impact on the modeling of the behavior of the natural hydrogel used in the biomedical field will be discussed.

Interaction of fluid with elastic tube is complicated issue studied by many scientific departments around the world. Object of this thesis is to analyze simplified one-dimensional model. At the beginning, used balance equations and basics of hyper-elasticity are presented. Then we review three most common materials used for the description of blood vessels and other soft tissues. For these materials we introduce a method which we use to derive a relation between tube deformation and transmural pressure (i.e. difference between inner and outer pressure). In mathematical section we give brief review of theory of nonlinear hyperbolic equations and some relatively new results in the field of existence and uniqueness of a solution of one-dimensional hyperbolic system. The "building stone" of these results is a solution of the so-called Riemann problem. We use a method for finding exact solutions to the Riemann problem to analyze studied model of fluid-tube interaction and study dependence of the qualitative behavior of the solution on the material properties of the tube wall.

Nesta dissertação de Mestrado será apresentada uma poderosa técnica numérica, conhecida como método Level Set, capaz de simular e analisar movimentos de curvas em diferentes cenários físicos. Tal método - formulado por Osher e Sethian [1] - está sedimentado na seguinte idéia: representar uma determinada curva (ou superfície) Γ como a curva de nível zero (zero level set) de uma função Φ de maior dimensão (denominada função Level Set). A equação diferencial do tipo Hamilton-Jacobi que descreve a evolução da função Level Set é discretizada através da utilização de acurados esquemas hiperbólicos e, como resultado de tal acurácia, obtém-se uma formulação numérica capaz de tratar eficazmente mudanças topológicas e/ou descontinuidades que, eventualmente, podem surgir no decorrer da propagação da curva (ou superfície) de nível zero. Em virtude da eficácia e versatilidade do método Level Set, esta técnica numérica está sendo amplamente aplicada à diversas áreas científicas, incluindo mecânica dos fluidos, processamento de imagens e visão computacional, crescimento de cristais, geometria computacional e ciência dos materiais. Particularmente, o propósito deste trabalho equivale ao estudo dos fundamentos do método Level Set e, por fim, visa-se aplicar tal modelo numérico à problemas existentes na área de crescimento de cristais. [1] S. Osher and J. A. Sethian, Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations, J. Comp. Phys., 79:12, 1988. / In this dissertation, we present a powerful numerical technique known as Level Set Method for computing and analyzing moving fronts in different physical settings. The method -formulated by Osher and Sethian [1] - is based on the following idea: a curve (or surface) is embedded as the zero level set of a higher-dimensional function Φ (called level set function). Then, we can link the evolution of this function Φ to the propagation of the curve itself through a time-dependent initial value problem. At any time, the curve is given by the zero level set of the time-dependent level set function Φ. The evolution of the level set function Φ is described by a Hamilton-Jacobi type partial differential equation, which can be discretised by the use of accurate methods for hyperbolic equations. As a result, the Level Set Method is able to track complex curves that can develop large spikes, sharp corners or change its topology as they evolve. Because of its versatility and efficacy, this numerical technique has found applications in a large number of areas, including fluid mechanics, image processing and computer vision, crystal growth, computational geometry and materials science. Particularly, the aim of this dissertation has been to understand the fundamentals of Level Set Method and its final goal is compute the motion of bondaries in crystal growth using this numerical model. [1] S. Osher and J. A. Sethian, Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations, J. Comp. Phys., 79:12, 1988.

Conselho Nacional de Desenvolvimento CientÃfico e TecnolÃgico / CoordenaÃÃo de AperfeiÃoamento de Pessoal de NÃvel Superior / Neste trabalho, provaremos alguns resultados sobre espectro essencial de uma classe de variedades Riemannianas, nÃo necessariamente completas, com condiÃÃes de curvatura na vizinhanÃa de um raio. Sobre essas condiÃÃes obtemos que o espectro essencial do operador de Laplace contÃm um intervalo. Como aplicaÃÃo, obteremos o espectro do operador de Laplace de regiÃes ilimitadas dos espaÃos formas, tais como a horobola do espaÃo hiperbÃlico e cones do espaÃo Euclidiano. Construiremos tambÃm um exemplo que indica a necessidade das condiÃÃes globais sobre o supremo das curvaturas seccionais fora de uma bola para que a variedade nÃo tenha espectro essencial. / In this thesis we consider a family of Riemannian manifolds, not necessarily complete, with curvature conditions in a neighborhood of a ray. Under these conditions we obtain that the essential spectrum of the Laplace operator contains an interval. The results presented in this thesis allow to determine the spectrum of the Laplace operator on unlimited regions of space forms, such as horoball in hyperbolic space and cones in Euclidean space. Also construct an example that shows the need of global conditions on the supreme sectional curvature outside a ball, so that the variety has no essential spectrum.

Made available in DSpace on 2016-04-27T16:58:51Z (GMT). No. of bitstreams: 1 Marilia Valerio Rocha.pdf: 8276158 bytes, checksum: d505c41608ef75bd40e4dec17fd3873e (MD5) Previous issue date: 2009-02-12 / This dissertation had as its main objective to propose an environment computational to the learning of Hyperbolic Geometry in the training of teachers of mathematics. Based on the Theory of Didactical Situation developed by Guy Brousseau (1986) and studies with the Comprehension of Demonstrations from Raymond Duval (1993), a didactic sequence has been prepared on the subject. The present work is oriented by the question to what extent the dinamic geometry could interfere in the build of hyperbolic geometry s concepts, in the axiomatic study by the professor of mathematics and how this new knowledge could contribute to your formation? This research is founded on some assumptions of Didactic Engieneering, described for Artigue (1988). The relevance of this research is justified by the Nacional Curriculum Guidelines for the courses off Bachelor s Degree in Mathematics, and shortage of teaching-material for the study of this content. Aimed at responding the question of research and gather information that enable the improvement of this didactic proposal, a pilot project was implemented with students of the Professional Master s Degree in Mathematics Education given by PUC-SP University. The results showed that the use of dinamic geometry in the formation of concepts of Hiperbolic Geometry, in the inicial axiomatic proposal, is a resource that contribute to understing these concepts / Esta dissertação teve como principal objetivo propor um ambiente computacional ao aprendizado da Geometria Hiperbólica na formação do professor de Matemática. Com base na Teoria das Situações Didáticas desenvolvida por Guy Brousseau (1986) e nos estudos sobre a compreensão das demonstrações, de Raymond Duval (1993), foi elaborada uma seqüência didática sobre o tema. A presente pesquisa orienta-se pela questão Em que medida a geometria dinâmica pode interferir na construção dos conceitos da Geometria Hiperbólica, no estudo axiomático realizado pelo professor de Matemática e como esse novo conhecimento pode contribuir para sua formação? . É fundamentada em alguns pressupostos da Engenharia Didática, descrita por Artigue (1988). Entende-se que a relevância desta pesquisa justifica-se nas orientações das Diretrizes Curriculares Nacionais para os cursos de Matemática, Bacharelado e Licenciatura (DCN) e na escassez de material didático para o estudo desse conteúdo. Visando a responder à questão de pesquisa e colher informações que possibilitem a melhoria desta proposta didática, aplicou-se um projeto-piloto com alunos do curso de Mestrado Profissional em Ensino de Matemática, ministrado pela Pontifícia Universidade Católica (PUC-SP). Os resultados apontaram que a utilização da geometria dinâmica na formação dos conceitos da Geometria Hiperbólica, em uma proposta axiomática inicial, é um recurso que contribui para a interiorização desses conceitos

Generalizando para o caso do bidisco hiperbólico as construções em (ANANIN; GROSSI; GUSEVISKII, 2011) e em (GROSSI, 2015), provamos que o fibrado trivial (tangente) sobre superfícies de gênero ≥ 1 (≥ 2) admite geometria modelada no bidisco hiperbólico. (O caso do fibrado trivial sobre o toro é particularmente curioso, pois a curvatura é nula na base e em cada fibra, mas não no fibrado.) Além do seu próprio valor intrínseco, estes exemplos se inserem no contexto da conjectura de Gromov, Lawson e Thurston. Originalmente, a conjectura de Gromov, Lawson e Thurston diz que um fibrado de discos sobre uma superfície conexa fechada orientável de gênero ≥ 2 admite métrica hiperbólica completa de curvatura constante se e só se ΙeΙ ≤ Ι XΙ, onde e é o número de Euler do fibrado e X é a caraterística de Euler da base. Posteriomente, observou-se que esta desigualdade também era válida em todos os fibrados de discos sobre superfícies com estrutura hiperbólica complexa (i.e., uniformizados pela 2-bola holomorfa) conhecidos. Por esta razão, passou-se a acreditar que a conjectura depende apenas de curvatura negativa lato sensu (digamos, à la Alexandrov) e não das especificidades de uma geometria hiperbólica particular. O bidisco hiperbólico é o caso mais simples que nos permite testar tal hipótese, pois está no limite de ser hiperbólico (a curvatura é ≤ 0). Construímos os dois casos extremais: = 0 (fibrado trivial) e ΙeΙ = ΙXΙ (fibrado tangente). Além disso, provamos alguns resultados relacionados à teoria de Teichmüller no contexto de fibrados de discos uniformizados pelo bidisco hiperbólico. / Generalizing the constructions in (ANANIN; GROSSI; GUSEVISKII, 2011) and in (GROSSI, 2015) to the hyperbolic bidisc, we show that the trivial (tangent) bundle over genus ≥ 1 (≥ 2) surfaces admits a geometric structure modelled on the hyperbolic bidisc. (The case of the trivial bundle over the torus is particularly interesting because the curvature vanishes on the base and on every fiber, but is non-null on the bundle.) Aside from their intrinsic value, these examples also play a role in the context of the Gromov, Lawson and Thurston conjecture (GLT conjecture). Originally, the GLT conjecture states that a disc bundle over a connected oriented closed surface of genus ≥ 2 admits a complete hyperbolic metric of constant curvature if and only if ΙeΙ ≤ ΙXΙ, where stands for the Euler number of the bundle and , for the Euler characteristic of the base. Afterwards, it was observed that this inequality also holds for every known example of disc bundles over surfaces equipped with complex hyperbolic structure (i.e., uniformized by the holomoprhic 2-ball). So, one started to believe that the conjecture depends only on negative curvature lato sensu (say, à la Alexandrov) and not on the particularities of an specific hyperbolic geometry. The hyperbolic bidisc is the simplest case allowing us to test such hypothesis since it lies on the frontier of being hyperbolic (curvature is ≥ 0). We construct the two extremal cases: e = 0 (trivial bundle) and ΙeΙ = ΙXΙ (tangent bundle). We also prove a few results related to Teichmüllers theory in the context of disc bundles uniformized by the hyperbolic bidisc.

Nesta dissertação de Mestrado será apresentada uma poderosa técnica numérica, conhecida como método Level Set, capaz de simular e analisar movimentos de curvas em diferentes cenários físicos. Tal método - formulado por Osher e Sethian [1] - está sedimentado na seguinte idéia: representar uma determinada curva (ou superfície) Γ como a curva de nível zero (zero level set) de uma função Φ de maior dimensão (denominada função Level Set). A equação diferencial do tipo Hamilton-Jacobi que descreve a evolução da função Level Set é discretizada através da utilização de acurados esquemas hiperbólicos e, como resultado de tal acurácia, obtém-se uma formulação numérica capaz de tratar eficazmente mudanças topológicas e/ou descontinuidades que, eventualmente, podem surgir no decorrer da propagação da curva (ou superfície) de nível zero. Em virtude da eficácia e versatilidade do método Level Set, esta técnica numérica está sendo amplamente aplicada à diversas áreas científicas, incluindo mecânica dos fluidos, processamento de imagens e visão computacional, crescimento de cristais, geometria computacional e ciência dos materiais. Particularmente, o propósito deste trabalho equivale ao estudo dos fundamentos do método Level Set e, por fim, visa-se aplicar tal modelo numérico à problemas existentes na área de crescimento de cristais. [1] S. Osher and J. A. Sethian, Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations, J. Comp. Phys., 79:12, 1988. / In this dissertation, we present a powerful numerical technique known as Level Set Method for computing and analyzing moving fronts in different physical settings. The method -formulated by Osher and Sethian [1] - is based on the following idea: a curve (or surface) is embedded as the zero level set of a higher-dimensional function Φ (called level set function). Then, we can link the evolution of this function Φ to the propagation of the curve itself through a time-dependent initial value problem. At any time, the curve is given by the zero level set of the time-dependent level set function Φ. The evolution of the level set function Φ is described by a Hamilton-Jacobi type partial differential equation, which can be discretised by the use of accurate methods for hyperbolic equations. As a result, the Level Set Method is able to track complex curves that can develop large spikes, sharp corners or change its topology as they evolve. Because of its versatility and efficacy, this numerical technique has found applications in a large number of areas, including fluid mechanics, image processing and computer vision, crystal growth, computational geometry and materials science. Particularly, the aim of this dissertation has been to understand the fundamentals of Level Set Method and its final goal is compute the motion of bondaries in crystal growth using this numerical model. [1] S. Osher and J. A. Sethian, Fronts propagating with curvature-dependent speed: Algorithms based on Hamilton-Jacobi formulations, J. Comp. Phys., 79:12, 1988.