L'objectif de cette thèse est de traiter de deux aspects différents de la théorie de l'exposant de Lyapunov de cocycles de Schrödinger définis par une dynamique ergodique. Dans la première partie, on s'intéresse aux estimées de grandes déviations de type Bourgain & Goldstein pour des cocycles quasi-périodiques, puis pour ceux définis par le doublement de l'angle. Après avoir montré que seule une estimée par dessus sur une bande complexe est nécessaire pour avoir la minoration, on redémontre cette inégalité pour une dynamique quasi-périodique en utilisant des techniques de mouvement brownien en lien avec des fonctions sous-harmoniques. Ensuite on adapte la méthode au cas du doublement de l'angle pour lequel on prouve des estimées de grandes déviations sur les branches inverses de cette dynamique. Dans la deuxième partie sont étudiés des cocycles de Schrödinger dont la dynamique est une somme de dynamiques quasi-périodique et aléatoire. On démontre que, dans le régime perturbatif, les développements asymptotiques de l'exposant de Lyapunov attaché à ces cocycles sont similaires à ceux déjà démontrés dans le cas aléatoire par Figotin & Pastur ou Sadel & Schulz-Baldes. L'analyse se fait en fonction du caractère diophantien ou résonant de l'énergie par rapport à la fréquence diophantienne de la partie quasi-périodique du potentiel. / In this thesis we are interested in the Lyapunov exponent of ergodic Schrödinger cocycles. These cocycles occur in the analysis of solutions to the Schrödinger equation where the potential is defined with ergodic dynamics. We study two distinct aspects related to the the Lyapunov exponent for different kinds of dynamics. First we focus on a large deviation theorem for quasi-periodic cocycles and then for potentials defined by the doubling map. We prove that estimates of Bourgain & Goldstein type are granted if an upper estimate involved in the theorem is true on a strip of the complex plane. Then we establish a new technique to prove this upper bound in the quasi-periodic setting, based on subharmonic arguments suggested by Avila, Jitomirskaya & Sadel. We adapt afterwards the method to the doubling map and prove a large deviation theorem for the inverse branches of this dynamics. In the second part, we establish an asymptotic development similar to the results of Figotin & Pastur and Sadel & Schulz-Baldes for the Lyapunov exponent of Schrödinger cocycles at small coupling when the potential is a mixture of quasi-periodic and random. The analysis distinguishes the cases when the energy is either diophantine or resonant with respect to the frequency of the quasi-periodic part of the potential.

Änderungen von Datenstromanfragen zur Laufzeit werden insbesondere durch zustandsbehaftete Datenstromoperatoren erschwert. Da die Zustände im Arbeitsspeicher abgelegt sind und bei einem Neustart verloren gehen, wurden in der Vergangenheit Migrationsverfahren entwickelt, um die inneren Operatorzustände bei einem Änderungsvorgang zu erhalten. Die Migrationsverfahren basieren auf zwei unterschiedlichen Ansätzen - Zustandstransfer und Parallelausführung - sind jedoch aufgrund ihrer Realisierung auf eine zentrale Ausführung beschränkt. Mit wachsenden Anforderungen in Bezug auf Datenmengen und Antwortzeiten werden Datenstromsysteme vermehrt verteilt ausgeführt, beispielsweise durch Sensornetze oder verteilte IT-Systeme. Zur Anpassung der Anfragen zur Laufzeit sind existierende Migrationsstrategien nicht oder nur bedingt geeignet. Diese Arbeit leistet einen Beitrag zur Lösung dieser Problematik und zur Optimierung der Migration in Datenstromsystemen. Am Beispiel von präventiven Instandhaltungsstrategien in Fabrikumgebungen werden Anforderungen für die Datenstromverarbeitung und insbesondere für die Migration abgeleitet. Das generelle Ziel ist demnach eine möglichst schnelle Migration bei gleichzeitiger Ergebnisausgabe. In einer detaillierten Analyse der existierenden Migrationsstrategien werden deren Stärken und Schwächen bezüglich der gestellten Anforderungen diskutiert. Für die Adaption von laufenden Datenstromanfragen wird eine allgemeine Methodik vorgestellt, welche als Basis für die neuen Strategien dient. Diese Adaptionsmethodik unterstützt zwei Verfahren zur Bestimmung von Migrationskonfigurationen - ein numerisches Verfahren für periodische Datenströme und ein heuristisches Verfahren, welches auch auf aperiodische Datenströme angewendet werden kann. Eine wesentliche Funktionalität zur Minimierung der Migrationsdauer ist dabei die Beschränkung auf notwendige Zustandswerte, da in verteilten Umgebungen eine Übertragungszeit für den Zustandstransfer veranschlagt werden muss - zwei Aspekte, die bei existierenden Verfahren nicht berücksichtigt werden. Durch die Verwendung von neu entwickelten Zustandstransfermethoden kann zudem die Übertragungsreihenfolge der einzelnen Zustandswerte beeinflusst werden. Die Konzepte wurden in einem OSGi-basierten Prototyp implementiert und zudem simulativ analysiert. Mit einer umfassenden Evaluierung wird die Funktionsfähigkeit aller Komponenten und Konzepte demonstriert. Der Performance-Vergleich zwischen den existierenden und den neuen Migrationsstrategien fällt deutlich zu Gunsten der neuen Strategien aus, die zudem in der Lage sind, alle Anforderungen zu erfüllen.

The lattice point problem in dynamical systems investigates the distribution of certain objects with some length property in the space that the dynamics is defined. This problem in different contexts can be interpreted differently. In the context of symbolic dynamical systems, we are trying to investigate the growth of N(T), the number of finite words subject to a specific ergodic length T, as T tends to infinity. This problem has been investigated by Pollicott and Urbański to a great extent. We try to investigate it further, by relaxing a condition in the context of deterministic dynamical systems. Moreover, we investigate this problem in the context of random dynamical systems. The method for us is considering the Fourier-Stieltjes transform of N(T) and expressing it via a Poincaré series for which the spectral gap property of the transfer operator, enables us to apply some appropriate Tauberian theorems to understand asymptotic growth of N(T). For counting in the random dynamics, we use some results from probability theory.

La compréhension des phénomènes thermiques et mécaniques mis en jeu lors de la mise en forme des matériaux est généralement réalisée avec l’aide de simulations numériques. Ces simulations montrent leurs limites pour les procédés qui conduisent à de très grandes déformations de la matière. Dans ce cas, de très fortes distorsions du maillage se produisent pendant le calcul, entrainant une augmentation de l’erreur, voire l’arrêt prématuré de la simulation. Cette étude porte sur le développement d’une stratégie de remaillage adaptative afin d’éviter les distorsions des éléments pendant les simulations en grandes transformations. La méthode proposée a été intégrée dans un environnement de calcul utilisant le solveur ABAQUS/Explicit, un mailleur 3D et un algorithme de transfert de champ.La méthode h-adaptative en combinaison avec un critère de contrôle basé sur l’endommagement et un estimateur d’erreur de type Zienkiewicz-Zhu Z2 (SPR-amélioré) ont été implantés. Le maillage initial est remplacé par un nouveau maillage avec le niveau de qualité désiré par l’utilisateur, tout en minimisant le nombre des degrés de liberté. Cette technique s’est montrée robuste et entièrement automatique pour déterminer la taille optimale des nouveaux éléments. Une fois le nouveau maillage généré, toutes les variables doivent être soigneusement transférées. Plusieurs techniques de transfert sont décrites et comparées. Des améliorations permettant d’augmenter leurs efficacités en termes de diffusion de l’information et de stabilité numérique ont été proposées. Une attention particulière est portée à la restauration de l'équilibre mécanique local du système. Les différentes techniques développées ont permis de modéliser différents procédés entrainant de grandes déformations élastoplastiques avec endommagement. Dans toutes les applications testées, il a été montré une amélioration de la précision et de la qualité des résultats numériques obtenus. Pour des opérations d’usinage, des mesures de champs cinématiques à travers la technique de corrélation d’images ont été réalisées afin de déterminer les champs de déformation en pointe d’outil. Ces mesures ont servi à la validation de la simulation numérique à l’échelle locale. La comparaison des champs cinématiques expérimentaux avec ceux issus du calcul éléments finis met en évidence la robustesse du processus d’adaptation du maillage proposée pour retranscrire les phénomènes locaux observés expérimentalement. En effet, la reproduction de l’écoulement de la matière sur les bords et la géométrie du copeau sont en très bonne corrélation avec les résultats expérimentaux. Ce développement a permis de proposer une description nouvelle du processus de formation des bandes de cisaillement. / In this work, a fully automated adaptive remeshing strategy, based on a tetrahedral element to simulate various 3D metal forming processes, was proposed. The aim of this work is to solve problems associated with the severe mesh distortion that occurs during the computation and which may be incompatible with the evolution of the physical behavior of the FE solution. Indeed, the quality of the mesh conditions affects the accuracy of the calculations. The proposed strategy is integrated in a computational platform which integrates a finite element solver (Abaqus/Explicit), 3D mesh generation and a field transfer algorithm.The base idea is to use the h-adaptive methodology in the combination with a damage-criterion error and Zienkiewicz-Zhu Z2 type error estimator (SPR-improved) to locally control the mesh modification-as-needed. Once a new mesh is generated, all history-dependent variables need to be carefully transferred between subsequent meshes. Therefore, different transfer techniques are described and compared. An important part of this work concerns the presentation of the proposed modification of the field transfer operator and a special attention is given to restore the local mechanical equilibrium of the system. During the large elasto-plastic deformation simulation with damage, the necessary steps for remeshing the mechanical structure are presented. The several types of applications are also given. For all studied applications, the above strategy can improve the accuracy and quality of numerical results. It also has benefits to decide how refined a mesh needs to be to reach a particular level of accuracy, or how coarse the mesh can be without unacceptably impacting solution accuracy.For the machining processes, kinematic field measurements using Digital image Correlation were performed to validate the numerical simulation at the local level. The comparison of the experimental kinematic fields and those resulting from the FE calculation highlights the robustness of the proposed mesh adaptation process which can transcribe the experimental local phenomena. Also, the reproduction of the material flow at the edges and the chip are correlated with the experimental results accurately. Finally, the physical study of the numerical results can be allowed to propose an innovative description of ASB formation.

Cette thèse est consacrée à l’étude du modèle d’accrochage en environnementfaiblement corrélé. Le modèle d’accrochage s’applique à de multiples situationstelles que la localisation d’un polymère au voisinage d’une interface unidimensionnelle,la transition de mouillage ou encore la dénaturation de l’ADN, le pointcommun étant la présence d’une transition entre une phase localisée et une phasedélocalisée.Nous commençons par donner un aperçu des résultats disponibles sur lescourbes et exposants critiques pour le modèle homogène puis pour le modèledésordonné lorsque le désordre est une suite de variables aléatoires indépendanteset identiquement distribuées (i.i.d.). Dans ce dernier cas, nous donnons égalementune borne sur la courbe critique quenched à haute température, dans un régimeoù le désordre est dit pertinent.Nous étudions ensuite le modèle d’accrochage désordonné dans le cas où ledésordre est gaussien et les corrélations ont une portée finie, à l’aide de la théoriedes processus de renouvellement markoviens. Nous donnons dans ce cas une expressionde la courbe annealed à l’aide de la plus grande valeur propre d’une matricede transfert ainsi que l’exposant critique annealed. Nous généralisons ensuite lescritères de pertinence et de non pertinence du désordre prouvés dans le cas i.i.d.Nous nous intéressons ensuite à des désordres dont les corrélations ont uneportée de corrélation infinie. Dans un premier temps, nous généralisons la démarcheutilisée dans le cas d’une portée de corrélations finie et obtenons le comportementcritique annealed dans le cas d’un désordre gaussien sous des hypothèses dedécroissance forte des corrélations. Nous utilisons pour cela les propriétés spectralesdes opérateurs de transfert pour des décalages sur des suites d’entiers etdes potentiels à variations sommables. Dans un deuxième temps, nous donnonsquelques résultats dans le cas où le désordre est donné par une chaîne de Markov. / In this dissertation we study the pinning model with weakly correlated disorder.The pinning model applies to various situations such as localization of a polymernear a one-dimensional interface, wetting transition and DNA denaturation, whichall display a transition between a localized phase and a delocalized phase.We start by giving a survey of the available results concerning critical pointsand exponents, first for the homogeneous setup and then for the inhomogeneousone, in the case when disorder is given by a sequence of independent and identicallydistributed (i.i.d.) random variables. In the latter case, we also provide a hightemperaturebound on the quenched critical curve in a case of relevant disorder.We then study the random pinning model when disorder is gaussian and hascorrelations with finite range, using the theory of Markov renewal processes. Weexpress the annealed critical curve in terms of the largest eigenvalue of a transfermatrix and we give the annealed critical exponent. We then generalize the criteriafor disorder relevance/irrelevance that were proved for the i.i.d. case.Next we are interested in disorder sequences with infinite range correlations.At first we generalize the method used to deal with finite range correlations andobtain the annealed critical behaviour in the case of gaussian disorder assumingfast decay of correlations. We use to this end the spectral properties of transferoperators for shifts on integer sequences and potentials with summable variations.Secondly we provide some results when disorder is a Markov chain.

L'analyse dynamique intègre des outils propres aux systèmes dynamiques (comme l'opérateur de transfert) au cadre de la combinatoire analytique, et permet ainsi l'analyse d'un grand nombre d'algorithmes et objets qu'on peut associer naturellement à un système dynamique. Dans ce manuscrit de thèse, nous présentons, dans la perspective de l'analyse dynamique, l'étude probabiliste de plusieurs problèmes qui semblent à priori bien différents : l'analyse probabiliste de la fonction de récurrence des mots de Sturm, et l'étude probabiliste de l'algorithme du “logarithme continu”. Les mots de Sturm constituent une famille omniprésente en combinatoire des mots. Ce sont, dans un sens précis, les mots les plus simples qui ne sont pas ultimement périodiques. Les mots de Sturm ont déjà été beaucoup étudiés, notamment par Morse et Hedlund (1940) qui en ont exhibé une caractérisation fondamentale comme des codages discrets de droites à pente irrationnelle. Ce résultat relie ainsi les mots de Sturm au système dynamique d'Euclide. Les mots de Sturm n'avaient jamais été étudiés d'un point de vue probabiliste. Ici nous introduisons deux modèles probabilistes naturels (et bien complémentaires) et y analysons le comportement probabiliste (et asymptotique) de la “fonction de récurrence” ; nous quantifions sa valeur moyenne et décrivons sa distribution sous chacun de ces deux modèles : l'un est naturel du point de vue algorithmique (mais original du point de vue de l'analyse dynamique), et l'autre permet naturellement de quantifier des classes de plus mauvais cas. Nous discutons la relation entre ces deux modèles et leurs méthodes respectives, en exhibant un lien potentiel qui utilise la transformée de Mellin. Nous avons aussi considéré (et c'est un travail en cours qui vise à unifier les approches) les mots associés à deux familles particulières de pentes : les pentes irrationnelles quadratiques, et les pentes rationnelles (qui donnent lieu aux mots de Christoffel). L'algorithme du logarithme continu est introduit par Gosper dans Hakmem (1978) comme une mutation de l'algorithme classique des fractions continues. Il calcule le plus grand commun diviseur de deux nombres naturels en utilisant uniquement des shifts binaires et des soustractions. Le pire des cas a été étudié récemment par Shallit (2016), qui a donné des bornes précises pour le nombre d'étapes et a exhibé une famille d'entrées sur laquelle l'algorithme atteint cette borne. Dans cette thèse, nous étudions le nombre moyen d'étapes, tout comme d'autres paramètres importants de l'algorithme. Grâce à des méthodes d'analyse dynamique, nous exhibons des constantes mathématiques précises. Le système dynamique ressemble à première vue à celui d'Euclide, et a été étudié d'abord par Chan (2005) avec des méthodes ergodiques. Cependant, la présence des puissances de 2 dans les quotients change la nature de l'algorithme et donne une nature dyadique aux principaux paramètres de l'algorithme, qui ne peuvent donc pas être simplement caractérisés dans le monde réel.C'est pourquoi nous introduisons un nouveau système dynamique, avec une nouvelle composante dyadique, et travaillons dans ce système à deux composantes, l'une réelle, et l'autre dyadique. Grâce à ce nouveau système mixte, nous obtenons l'analyse en moyenne de l'algorithme. / Dynamical Analysis incorporates tools from dynamical systems, namely theTransfer Operator, into the framework of Analytic Combinatorics, permitting the analysis of numerous algorithms and objects naturally associated with an underlying dynamical system.This dissertation presents, in the integrated framework of Dynamical Analysis, the probabilistic analysis of seemingly distinct problems in a unified way: the probabilistic study of the recurrence function of Sturmian words, and the probabilistic study of the Continued Logarithm algorithm.Sturmian words are a fundamental family of words in Word Combinatorics. They are in a precise sense the simplest infinite words that are not eventually periodic. Sturmian words have been well studied over the years, notably by Morse and Hedlund (1940) who demonstrated that they present a notable number theoretical characterization as discrete codings of lines with irrationalslope, relating them naturally to dynamical systems, in particular the Euclidean dynamical system. These words have never been studied from a probabilistic perspective. Here, we quantify the recurrence properties of a ``random'' Sturmian word, which are dictated by the so-called ``recurrence function''; we perform a complete asymptotic probabilistic study of this function, quantifying its mean and describing its distribution under two different probabilistic models, which present different virtues: one is a naturaly choice from an algorithmic point of view (but is innovative from the point of view of dynamical analysis), while the other allows a natural quantification of the worst-case growth of the recurrence function. We discuss the relation between these two distinct models and their respective techniques, explaining also how the two seemingly different techniques employed could be linked through the use of the Mellin transform. In this dissertation we also discuss our ongoing work regarding two special families of Sturmian words: those associated with a quadratic irrational slope, and those with a rational slope (not properly Sturmian). Our work seems to show the possibility of a unified study.The Continued Logarithm Algorithm, introduced by Gosper in Hakmem (1978) as a mutation of classical continued fractions, computes the greatest common divisor of two natural numbers by performing division-like steps involving only binary shifts and substractions. Its worst-case performance was studied recently by Shallit (2016), who showed a precise upper-bound for the number of steps and gave a family of inputs attaining this bound. In this dissertation we employ dynamical analysis to study the average running time of the algorithm, giving precise mathematical constants for the asymptotics, as well as other parameters of interest. The underlying dynamical system is akin to the Euclidean one, and was first studied by Chan (around 2005) from an ergodic, but the presence of powers of 2 in the quotients ingrains into the central parameters a dyadic flavour that cannot be grasped solely by studying this system. We thus introduce a dyadic component and deal with a two-component system. With this new mixed system at hand, we then provide a complete average-case analysis of the algorithm by Dynamical Analysis.

Cette thèse traite de l’étude des objets reliés au codage de Bowen-Series du flot géodésiquepour des surfaces hyperboliques de volume fini. On démontre d’abord que le billard géodésiqueassocié à domaine fondamental even corners d’un groupe fuchsien cofini est conjuguéà une bijection du tore, appelée codage étendu, dont l’un des facteurs est la transformationde Bowen-Series. L’intérêt principal de cette conjugaison est qu’elle ne fait toujours intervenirqu’un nombre fini d’objets. On retrouve ensuite des résultats classiques sur le codage deBowen-Series : il est orbite-équivalent au groupe, ses points périodiques sont denses, et ses orbitespériodiques sont en bijection avec les classes d’équivalence d’hyperboliques primitifs dugroupe ; ce qui permet finalement de relier sa fonction zeta de Ruelle à la fonction zeta de Selberg.Les preuves de ces résultats s’appuient sur un lemme combinatoire qui abstrait la propriétéd’orbite-équivalence à des familles de relations qui peuvent être définies sur tout ensemble surlequel agit le groupe. Il est aussi possible de conjuguer le codage étendu à un sous-shift detype fini, sauf pour un ensemble dénombrable de points. Enfin, on prouve que les distributionspropres pour la valeur propre 1 de l’opérateur de transfert sont les distributions de Helgason defonctions propres du laplacien sur la surface, puis que l’on peut associer à toute telle distributionpropre une fonction propre non triviale de l’opérateur de transfert et que ce procédé admet uninverse dans certains cas. / This thesis focuses on the study of the objects linked to the Bowen-Series coding of the geodesicflow for hyperbolic surfaces of finite volume. It is first proved that the geodesic billiardassociated with an even corners fundamental domain for a cofinite fuchsian group is conjugatedwith a bijection of the torus, called extended coding, one factor of which is the Bowen-Seriestransform. The sharpest property of that conjugacy is that it always only involves a finite numberof objects. Some classical results about the Bowen-Series coding are then rediscovered : itis orbit-equivalent with the group, its periodic points are dense, and its periodic orbits are inbijection with conjugacy classes of primitive hyperbolic isometries ; which eventually links itsRuelle zeta function to the Selberg zeta function. The proofs of those results use a combinatoriallemma that abstracts the orbit-equivalence property to families of relations that can be definedon every set on which the group acts. The extended coding is also proved to be conjugated witha subshift of finite type, except for a countable set of points. Finally, it is shown that eigendistributionsof the transfer operator for the eigenvalue 1 are the Helgason boundary values ofeigenfunction of laplacian on the surface, plus that one can associate to each such eigendistributiona non-trivial eigenfunction of the transfer operator and that this process has a reciprocalin some cases.