Dans ce projet, nous étudions certaines classes d équations non-linéaires aux différences pour toutes les valeurs non-négatives admissibles de paramètres et de conditions initiales. Dans la première partie, nous présentons quelques définitions initiales et nécessaires de la stabilité dans la littérature des équations aux différences. Nous exprimons également plusieurs résultats connus et quelques théorèmes qui seront utiles dans notre recherche à la suite. Dans le deuxièllle chapitre, on étudie l'intervalle invariant, le caractère des sellli-cycles, la stabilité globale, et le "boundedness" de l'équation aux différences [Formule mathématique]. Dans la deuxième partie de ce travail, nous étudions la famille de modèles de la population, d'ordre supérieur, de l'équation logistique non-autonorne [Formule mathématique]. En particulier, le comporternent périodique, l'attractivité des solutions et la stabilité de solutions sont examinés en détail. Ce modèle représente les différentes croissances de population telles que la plupart des saumons et "spruce budworms" ayant assez de nourriture (feuillage). L'impact du caractère saisonnier , qui est indubitablenlent présent dans la croissance de la population, sur le comporternent des solutions (croissance de la population) est également envisagé. Enfin, nous présentons un modèle déterministe de l'infection par le VIH (virus d'immunodéficience hurnaine) en présence de la trithérapie. Puis la stabilité globale asymptotique de l'équilibre "disease-free" et l'équilibre endémique sont étudiés pour le modèle continu. En outre, le modèle est implicitement estimé par la méthode des différences finies, un système d'équations aux différences, afin de résoudre le système d 'IVP (problème aux valeurs initiales) . La dynamique du modèle estimé est complètement déterminée par une quantité de seuil R appelée le "basic reproduction number". Lorsque le nombre associé à la reproduction est inférieur à l'unité, le résultat indique que l'infection par le VIH peut être éliminée de la personne infectée. Un équilibre stable endémique existe lorsque le nombre associé à la reproduction est supérieur à l'unité (conduisant à la persistance et l'existence du VIH au sein de la personne infectée, puis de la communauté) .

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

Thèse numérisée par la Direction des bibliothèques de l'Université de Montréal.

No description available.

Le sujet de la thèse se rattache au calcul formel. La première partie est consacrée à l'étude et à la réalisation d'un logiciel de résolution d'équations différentielles. Ce logiciel DESIR est écrit pour le système de calcul formel REDUCE. Il permet d'obtenir les solutions formelles d'équations différentielles, d'un ordre quelconque, au voisinage de points réguliers et irréguliers. La deuxième partie est une étude approfondie des équations aux différences. Cette étude est orientée vers la recherche d'algorithme permettant de construire une base de solutions asymptotiques d'une équation aux différences linéaires à coefficients dans un corps de séries formelles

Cette thèse a pour objet l'étude d'équations fonctionnelles analytiques. Elle se divise en deux parties. La première, purement mathématique, concerne l'étude des équations aux q-différences et des équations voisines. Plus précisement, nous établissons des théorèmes d'indices et de croissance des solutions entières pour les équations mixtes différentielles-q-différences, généralisant les résultats connus dans le cadre des équations différentielles d'une part, des équations aux q-différences d'autre part. Par ailleurs, nous obtenons des théorèmes d'indices pour les développements en séries de q-factorielles, q-analogues des séries de factorielles. La seconde partie de cette thèse concerne la multisommation des séries formelles solutions d'équations différentielles linéaires algébriques. La théorie et la méthode des transformées de Laplace itérées nous donne une méthode effective permettant de sommer ces séries formelles. Le travail consiste à réaliser les algorithmes formels et numériques en créant les primitives informatiques nécessaires, en coordination avec le travail méné par d'autres équipes du groupe de travail CATHODE (Computer Algebra Tools for Handling Ordinary Differential Equations, projet européen Esprit).

Dans un premier temps, nous décrivons le complexe des solutions du transformé de Mellin algébrique d'un D-module M en fonction des solutions de M. Pour cela, nous définissons un foncteur de transformation de Mellin faisceautique. Nous montrons alors que le transformé de Mellin du complexe des solutions à décroissance rapide en 0 et à l'infini d'un D-module holonome régulier M est quasi-isomorphe au complexe des solutions du transformé de Mellin algébrique de M, l'hypothèse de régularité n'étant plus nécessaire à une variable.<br />Dans un second temps, nous faisons un travail analogue avec la transformation de Mellin inverse : les résultats sont plus partiels. Nous définissons une transformation de Mellin inverse faisceautique. Nous démontrons alors qu'il existe des morphismes naturels reliant le complexe des solutions du transformé de Mellin inverse algébrique d'un module aux différences avec le transformé de Mellin inverse faisceautique du complexe des solutions à croissance au plus exponentielle d'ordre 1 à l'infini dans des bandes verticales. Nous montrons ensuite que dans le cas d'un module aux différences à une variable et à une seule pente strictement positive, ces morphismes sont des isomorphismes.

Cette thèse s'intéresse à la transcription d'équations aux dérivées partielles vers des domaines discrets en exploitant le formalisme des équations aux différences partielles définies sur des graphes pondérés. Dans une première partie, nous proposons une transcription de l'opérateur p-laplacien normalisé au domaine des graphes comme une combinaison linéaire entre le laplacien infini non-local et le laplacien normalisé (ces deux opérateurs étant discrets). Cette adaptation peut être considérée comme une nouvelle classe d'opérateurs p-laplaciens sur graphes, qui interpolent entre le laplacien infini non-local et le laplacien normalisé. Dans une seconde partie, nous nous intéressons aux équations de propagation de fronts sur des graphes de topologie arbitraire. Ces équations sont obtenues par la transcription de la méthode des ensembles de niveaux, définie en continu, vers une formulation discrète définie sur le domaine des graphes. Au delà de la transcription en elle-même, nous proposons une formulation générale et des algorithmes efficaces pour la propagation simultanées de plusieurs fronts évoluant sur un graphe. Les approches proposées dans ces deux premières parties donnent lieu à de nombreuses applications en segmentation d'images et classification de données que nous illustrons dans ce manuscrit. Enfin, dans une troisième partie, nous présentons une application à l'aide au diagnostic informatisé concrétisant l'emploi des différents outils proposés dans les deux premières parties. Nous présentons également le logiciel Antarctic développé au cours de cette thèse.

Nous considérons des processus de diffusion, définis par des équations différentielles stochastiques, et puis nous nous intéressons à des problèmes de premier passage pour les chaînes de Markov en temps discret correspon- dant à ces processus de diffusion. Comme il est connu dans la littérature, ces chaînes convergent en loi vers la solution des équations différentielles stochas- tiques considérées. Notre contribution consiste à trouver des formules expli- cites pour la probabilité de premier passage et la durée de la partie pour ces chaînes de Markov à temps discret. Nous montrons aussi que les résultats ob- tenus convergent selon la métrique euclidienne (i.e topologie euclidienne) vers les quantités correspondantes pour les processus de diffusion. En dernier lieu, nous étudions un problème de commande optimale pour des chaînes de Markov en temps discret. L’objectif est de trouver la valeur qui mi- nimise l’espérance mathématique d’une certaine fonction de coût. Contraire- ment au cas continu, il n’existe pas de formule explicite pour cette valeur op- timale dans le cas discret. Ainsi, nous avons étudié dans cette thèse quelques cas particuliers pour lesquels nous avons trouvé cette valeur optimale. / We consider diffusion processes, defined by stochastic differential equa- tions, and then we focus on first passage problems for Markov chains in dis- crete time that correspond to these diffusion processes. As it is known in the literature, these Markov chains converge in distribution to the solution of the stochastic differential equations considered. Our contribution is to obtain ex- plicit formulas for the first passage probability and the duration of the game for the discrete-time Markov chains. We also show that the results obtained converge in the Euclidean metric to the corresponding quantities for the diffu- sion processes. Finally we study an optimal control problem for Markov chains in discrete time. The objective is to find the value which minimizes the expected value of a certain cost function. Unlike the continuous case, an explicit formula for this optimal value does not exist in the discrete case. Thus we study in this thesis some particular cases for which we found this optimal value.

No description available.