Cette thèse a pour objet d'étudier l'influence de la discrétisation d'une équation différentielle sur les variétés stables et instables dans deux exemples concrets : l'équation logistique et l'équation du pendule. L'équation logistique est équivalente à un système qui admet deux points selles A et B. Il est connu que la variété stable en A coïncide avec la variété instable en B. En améliorant des résultats antérieures de A. Fruchard et R. Schäfke, nous montrons que les deux variétés ne coïncident plus pour l'équation discrétisée. La démonstration est basée sur une modification d'une approche développée par R. Schäfke et H. Volkmer. Nous construisons d'abord une solution formelle à coefficients polynomiaux. Ensuite, nous donnons une approximation asymptotique des coefficients de la solution formelle. Ces estimations nous permettent d'obtenir une quasi-solution c'est à dire une fonction qui vérifie l'équation aux différences avec une erreur exponentiellement petite, puis de déterminer le comportement asymptotique de la distance entre les deux variétés. Pour conclure, nous démontrons qu'une constante alpha dans le terme dominant de la distance entre les variétés n'est pas nulle et nous donnons une approximation précise de cette constante. La deuxième partie de cette thèse est consacrée à une étude analogue concernant l'équation du pendule et de sa discrétisation (Application standard). Des résultats similaires ont été obtenus par Lazutkin et al., mais la preuve que nous avons utilisée est complètement différente. Ce cas est plus difficile que le précédent parce qu'il s'agit d'une équation du second ordre.

Cette thèse se compose de deux parties principales. La première a pour objet la régularité maximale des équations d'évolution. Plus précisemment, étant donnée une famille d'opérateurs dépendant du temps, on s'intéresse à l'existence et l'unicité d'une solution au problème de Cauchy non-autonome associé. Sous l'hypothèse de continuité relative, on montre que la régularité maximale de la famille se ramène à la régularité de chaque opérateur. Nous obtenons des résultats de même nature pour le problème du second ordre. Dans la deuxième partie, deux problèmes de théorie spectrale des opérateurs de Schrödinger sur les variétés sont abordés. Tout d'abord, on obtient une minoration du bas du spectre essentiel au moyen de quantités liées au potentiel. Ce résultat permet notamment d'obtenir des critères de compacité de la résolvante. Le dernier chapitre traîte d'estimation du type Cwikel-Lieb-Rozenblum du nombre de valeurs propres qui apparaissent sous le spectre essentiel. La majoration obtenue fait directement intervenir le noyau de la chaleur du Laplacien sur la variété.

Dans une première partie, on donne une condition nécessaire et suffisante à ce qu'un opérateur de Schrödinger sur une variété complète non-compacte ait un nombre fini de valeurs propres négatives. Dans une deuxième partie, on s'intéresse à la transformée de Riesz sur une classe de variétés complètes non-compactes vérifiant une inégalité de Sobolev. On montre d'abord une estimée gaussienne pour le noyau de la chaleur d'opérateurs de Schrödinger généralisés, comme par exemple le Laplacien de Hodge agissant sur les formes différentielles, puis on utilise ceci pour montrer que la transformée de Riesz est bornée sur les espaces $L^p$ si $p$ est compris entre $1$ et la dimension de Sobolev. Enfin, on montre un résultat de perturbation pour la transformée de Riesz.

La thèse s'inscrit dans le domaine de la modélisation et de la validation des systèmes modernes complexes. Les systèmes actuels sont en fait d'une complexité sans cesse croissante et formés de plus en plus de composants de natures différentes. Ceci rend leur processus de conception et de validation coûteux et difficile. Il semble être la simple façon permettant de faire face à cette hétérogénéité et à cette complexité est l'approche orientée composant. Suivant cette approche, le système est une entité formée par un ensemble des composants interconnectés. Les composants définissent une interface qui permet d'abstraire leur modèle interne (boîte noire), ce qui favorise la modularité et la réutilisation des composants. L'interaction entre ces composants se fait conformément à un ensemble des règles pré-établies, permettant ainsi d'avoir une vision globale de comportement du système. La conception ainsi que la validation des systèmes modernes reste alors problématique à cause de la nécessité de prendre en compte l'hétérogénéité des différents composants. Dans ce cadre, dans un premier temps, nous définirons un cadre formel générique dans lequel une large famille de formalismes de description de systèmes à base d'états peut être naturellement capturée. Ainsi, nous allons définir un ensemble de règles de composition permettant de mettre en correspondance les différents composants et ainsi de constituer un modèle global du système à concevoir. Dans un second temps, nous proposerons une approche de test d'intégration qui permet de valider le comportement d'un système complexe sous l'hypothèse que chaque composant est testé et validé. Cette approche vise à générer automatiquement des cas de test en s'appuyant sur un modèle global décrit dans notre framework du système sous test.

Le secteur du transport routier de marchandises a une position importante dans l’économie française. Au cœur des métiers du transport, l’exploitant planifie les tournées que le conducteur routier exécute. Ces deux métiers travaillent en interdépendance. Ces opérateurs peuvent être confrontés à une multitude de risques professionnels : physiques, psychosociaux... Les questions relatives à la prévention de leurs risques professionnels sont importantes à considérer. Ce doctorat propose d’aborder la question de la santé des exploitants et des conducteurs à partir de leur activité collective qui peut être ou non protectrice de leur santé. Pour ce faire, notre objectif est de comprendre les mécanismes à l’origine de l’activité collective des opérateurs dans des situations de faibles et fortes distances professionnelles et physiques. Les effets de l’activité collective sur la santé des opérateurs sont analysés à partir du soutien social. La méthode proposée repose sur une démarche ergonomique d’analyse de l’activité à partir d’observations sur le terrain et de protocoles verbaux. Nous proposons trois études de cas dans lesquelles varient les degrés des distances professionnelles et physiques. La première étude de cas a permis de caractériser l’activité collective, les processus de coordination nécessaires à cette activité, ainsi que le soutien social chez des exploitants confrontés à une forte distance professionnelle et ceci en forte et faible distance physique. La deuxième étude porte sur les mêmes concepts que précédemment mais cette fois, chez des exploitants présentant une faible distance professionnelle. Enfin, la troisième étude souligne les liens entre la coordination et le soutien social dans l’activité collective d’exploitants et de conducteurs, se réalisant exclusivement en situation de forte distance professionnelle et physique. Les résultats principaux montrent que les formes et degrés de distance affectent l’activité collective de façon différente : si des liens sont observés entre les actions collectives et la distance physique chez des opérateurs en forte distance professionnelle ; une absence de ces liens est relevée chez des opérateurs en faible distance professionnelle. Par ailleurs, le soutien social qui s’exprime majoritairement comme une ressource pour les opérateurs dans les trois études, se révèle comme une contrainte dans certaines de leurs situations de travail. / The transportation of goods is a key position in the French economy. The transport operator plans the rounds and the truck driver goes these rounds. There is a mutual interdependence in their work. These operators can be faced with several occupational risks: physical, psychosocial…Regarding their health prevention, questions are strategic. This doctoral thesis aims to consider the question of operator’s health with regard to their collective activity. The objective is to understand the origins of operator’s collective activity on professional and physical distance. The effects of collective activity on the health will be analysed from the social support. The proposed method consists on an ergonomic approach of activity with field observations and oral agreements. There are three studies case in which levels of professional and physical distances differ. The first study case characterized the collective activity, the coordination process and social support on operators faced with strong professional distance and small and strong physical distance. The second study case is on the same approach than the first but this time operators are faced with small professional distance. Lastly, the third study case emphasizes the connections between coordination and social support on operator’s collective activity with strong professional and physical distance. The main results indicate that all forms and levels of distance affect collective activity differently. Indeed, we can note that there is a link between collective actions and physical distance on operators with a strong professional distance. However, these links on operators with a small professional distance are absent. Otherwise, social support represents mostly a resource for the operators in these three studies. Nevertheless, it appears to be a constraint on particular work situation.

La thèse s’inscrit dans le domaine de la modélisation et de la validation des systèmes modernes complexes. Les systèmes actuels sont en fait d’une complexité sans cesse croissante et formés de plus en plus de composants de natures différentes. Ceci rend leur processus de conception et de validation coûteux et difficile. Il semble être la simple façon permettant de faire face à cette hétérogénéité et à cette complexité est l’approche orientée composant. Suivant cette approche, le système est une entité formée par un ensemble des composants interconnectés. Les composants définissent une interface qui permet d’abstraire leur modèle interne (boîte noire), ce qui favorise la modularité et la réutilisation des composants. L’interaction entre ces composants se fait conformément à un ensemble des règles pré-établies, permettant ainsi d’avoir une vision globale de comportement du système. La conception ainsi que la validation des systèmes modernes reste alors problématique à cause de la nécessité de prendre en compte l’hétérogénéité des différents composants. Dans ce cadre, dans un premier temps, nous définirons un cadre formel générique dans lequel une large famille de formalismes de description de systèmes à base d’états peut être naturellement capturée. Ainsi, nous allons définir un ensemble de règles de composition permettant de mettre en correspondance les différents composants et ainsi de constituer un modèle global du système à concevoir. Dans un second temps, nous proposerons une approche de test d’intégration qui permet de valider le comportement d’un système complexe sous l’hypothèse que chaque composant est testé et validé. Cette approche vise à générer automatiquement des cas de test en s’appuyant sur un modèle global décrit dans notre framework du système sous test. / In spite of several decades of research, assuring the quality of software systems still represents a major and serious problem nowadays for the industry with respect to both results and costs. This thesis comes within the scope of a proposal centered on a generic unified framework for both complex software systems modeling and testing. The contribution of this paper is then twofold: first, it defines a unified framework for modelling generic components, as well as a formalization of integration rules to combine their behaviour. This is based on a coalgebraic definition of components, which is a categorical representation allowing the unification of a large family of formalisms for specifying state-based systems. Second, it studies compositional conformance testing i.e. checking whether an implementation made from correct interacting components combined with integration operators conforms to its specification

Cette thèse traite de la théorie spectrale des opérateurs de Schrödinger discrets H(λ) := - Δ + b sur Zd et plus généralement sur des graphes pondérés infinis. Plus précisément, nous étudions le comportement des fonctions spectrales qui représentent les bornes du spectre de ces opérateurs. Un des principaux résultats est l'obtention d'une condition nécessaire et suffisante sur le potentiel b pour que le bas du spectre soit strictement positif. L'étude du haut du spectre est également considérée.Nous étudions tout d'abord ces questions pour les opérateurs de Schrödinger discrets sur Zd. La régularité de cet espace permet alors d'obtenir des résultats spécifiques dans ce cas particulier. Nous généralisons ensuite nos travaux au cas des graphes infinis pondérés. Les techniques développées dans ce cadre nous permettent également d'étudier le comportement asymptotique du bas du spectre pour les grandes valeurs de λ. / This thesis deals with the spectral theory of discrete Schrödinger operators H(λ) := - Δ + b on Zd and more generally on in#nite weighted graphs. Precisely, we study the behavior of the spectral functions which represent the spectral bounds of these operators. One of the main results is the obtention of a necessary and sufficient condition on the potential b such that the bottom of the spectrum is stricly positive.The study of the top of the spectrum is also treated.We first study these questions for discrete Schrödinger operators on Zd. The regularity of this space provides specific results in this particular case. Then we extend our work to the case of infinite weighted graphs. Moreover, the technics developed in this framework allow us to study the asymptotic behavior of the bottom of the spectrum for large values of λ.

Dans cette thèse, nous allons prouver des estimations de décorrelation des valeurs propres pour plusieurs modèles d'opérateurs de Schrödinger aléatoires en dimension un, dans le régime localisé, tant que nous avons des estimations de Wegner. Ceci permet l'étude des statistiques spectrales.Nous commencerons donc par présenter les hypothèses sur lesquelles nous nous appuyons et les différents modèles considérés.Nous étudierons ensuite les estimations de Minami, qui peuvent être vues comme des estimations de décorrélation des valeurs propres proches. Nous montrerons qu'en dimension un, elles sont conséquences des estimations de Wegner et de l'hypothèse de localisation. Les estimations prouvées ici ont un domaine de validité plus restreint que les estimations de Minami classiques, mais sont suffisantes pour notre étude.Nous étudierons ensuite les estimations de décorrélation des valeurs propres éloignées pour les différents modèles présentés. Nous montrerons qu'elles sont conséquences des estimations de Minami, des estimations de Wegner et de l'hypothèse de localisation. Les preuves données seront différentes selon les modèles étudiés.Enfin, nous montrerons que ces résultats permettent d'étudier les statistiques spectrales, dans le régime localisé. Par exemple, les estimations de décorrélation permettent de montrer que les statistiques locales des niveaux d'énergies, prises à deux énergies différentes, convergent faiblement vers deux processus de Poisson indépendants sur $\R$ d'intensité la mesure de Lebesgue. / In this thesis, we will prove decorrelation estimates of eigenvalues for several models of random Schrödinger operators in dimension one, in the localized regime, provided we have Wegner estimates. This will allow us to study spectral statistics.We will begin with the presentation of the hypotheses needed in our proofs and the models under consideration.We will continue with the study of the Minami estimates, which can be seen as decorrelation estimates of close eigenvalues. We will show that, in dimension one and in the localized regime, they are the consequences of the Wegner estimates. The results proven here have a area of validity smaller than the usual Minami estimates, but it will suffice for our study.Next, we will study the decorrelation estimates of distant eigenvalues for the models under consideration. We will show that they are consequences of the Minami estimates and the Wegner estimates, in the localized regime. The proofs will be different from one model to another.Eventually, we will show that these results allow us to study spectral statistics in the localized regime. For instance, the decorrelation estimates will be used to prove that the local energy level statistics, taken at two distincts energy levels, converge weakly to two independent Poisson processes on $\R$ with intensity the Lebesgue measure.

Le but de cette thèse est d'analyser et de développer les objets mathématiques apparus dans l'article "New classical limits of quantum theories" de S. G. Rajeev, notamment les (loc.sit) "limites néoclassiques" dans le contexte de la théorie des formes modulaires. Afin de voir au mieux quels sont les objets en jeu dans l'étude de Rajeev, on a dans une première étape construit certains modèles-jouets afin de mener dedans des calculs similaires que ceux exposés dans l'article en question tout en essayant d'étudier le rapprochement avec des objets et théories mathématiques rigoureuses, notamment la quantification kählerienne, la géométrie algébrique arithmétique et la formule pour la trace des opérateurs de Hecke. Dans une deuxième étape, on a développé un cadre mathématique rigoureux où vivent naturellement les objets de l'étude de Rajeev. Ce cadre devrait servir dans la suite afin de faire de manière rigoureuse les calculs de "limite néoclassique" dans ce contexte ci. Ainsi les objets développés devraient servir aux mathématiciens de mieux comprendre les idées des physiciens et aux physiciens de pouvoir pousser plus loin les calculs de perturbations / The goal of this thesis is to analyze and to develop the mathematical objects that appeared in "New classical limits of quantum theories" of S. G. Rajeev, especially the (loc. sit) "neoclassical limits" in the context of the contexte of the theory of modular forms. To see what are the objects involved in the study of Rajeev, we constructed certain toy models where could develop similar calculations as those done in the article mentioned above. This was done by trying to compare these toy models with rigorous mathematical theories, for example Kähler quantization, algebric geometry and the trace formula for Hecke operators. After that we developed a rigorous mathematical frame where the objects introduced by Rajeev naturally live. This frame should be used in the futur to do the "neoclassical limit" calculations in this context. So the objects developed could be used by the mathematicians to understand the physical ideas and by the physicists to push further the calculations of perturbation

Les fonctions de corrélation en théorie conforme des champs peuvent être décrites par un développement en produit d'opérateurs. Celui-ci contient l'entièreté des informations nécessaires pour caractériser ces théories. Ceci a donné naissance aux équations de type bootstrap. Quelques résultats numériques ont démontré l'ecacité de cette méthode, mais aucun résultat théorique n'est en mesure de valider ceux-ci. De récents résultats ont permis d'inverser les développements en produit d'opérateurs an d'obtenir une forme analytique des données conformes. Ces relations nécessitent toutefois la forme complète des fonctions de corrélation. Celles-ci ne sont généralement pas connues ce qui rend ces relations peu utiles. Nous proposons ici une transformation intégrale du développement en produit d'opérateurs utilisant les relations d'inversion. Cette relation permet d'obtenir une forme reliant les données conformes des différents canaux. Dans le cas de quatre champs scalaires identiques, cette relation peut être utilisée en récurrence en deux et quatre dimensions. Ceci pourrait permettre de valider les résultats connus en plus de prédire de nouveaux modèles. / Correlation functions in conformal eld theory can be expressed with the help of the operator product expansion. The latter contains all the necessary information to characterize those theories. This expansion has given rise to the bootstrap equations. The bootstrap program has led to interesting numerical results but analytic equivalents have yet to be found. Some recent results introduced the inversion formula to the operator product expansion which allows one to nd the conformal data for the correlation function. Those relations need the complete form of the correlation function which are not usually known. This renders those inversion formulas hard to use for the bootstrap program. Here, we propose an integral transformation of the operator product expansion that uses the inversion formula. This gives us a way to relate the conformal data of the different crossing symmetry channels. In the case of four identical scalar elds, this relation can be used as a recurrence relation in two and four dimensions. This might validate known results and also nd some new systems.