Commande optimale et jeux différentiels linéaires quadratiques

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Classification analytique de systèmes différentiels linéaires déployant une singularité irrégulière de rang de Poincaré 1

Cette thèse traite de la classification analytique du déploiement de systèmes différentiels linéaires ayant une singularité irrégulière. Elle est composée de deux articles sur le sujet: le premier présente des résultats obtenus lors de l'étude de la confluence de l'équation hypergéométrique et peut être considéré comme un cas particulier du second; le deuxième contient les théorèmes et résultats principaux. Dans les deux articles, nous considérons la confluence de deux points singuliers réguliers en un point singulier irrégulier et nous étudions les conséquences de la divergence des solutions au point singulier irrégulier sur le comportement des solutions du système déployé. Pour ce faire, nous recouvrons un voisinage de l'origine (de manière ramifiée) dans l'espace du paramètre de déploiement $\epsilon$. La monodromie d'une base de solutions bien choisie est directement reliée aux matrices de Stokes déployées. Ces dernières donnent une interprétation géométrique aux matrices de Stokes, incluant le lien (existant au moins pour les cas génériques) entre la divergence des solutions à $\epsilon=0$ et la présence de solutions logarithmiques autour des points singuliers réguliers lors de la résonance. La monodromie d'intégrales premières de systèmes de Riccati correspondants est aussi interprétée en fonction des éléments des matrices de Stokes déployées. De plus, dans le second article, nous donnons le système complet d'invariants analytiques pour le déploiement de systèmes différentiels linéaires $x^2y'=A(x)y$ ayant une singularité irrégulière de rang de Poincaré $1$ à l'origine au-dessus d'un voisinage fixé $\mathbb{D}_r$ dans la variable $x$. Ce système est constitué d'une partie formelle, donnée par des polynômes, et d'une partie analytique, donnée par une classe d'équivalence de matrices de Stokes déployées. Pour chaque valeur du paramètre $\epsilon$ dans un secteur pointé à l'origine d'ouverture plus grande que $2\pi$, nous recouvrons l'espace de la variable, $\mathbb{D}_r$, avec deux secteurs et, au-dessus de chacun, nous choisissons une base de solutions du système déployé. Cette base sert à définir les matrices de Stokes déployées. Finalement, nous prouvons un théorème de réalisation des invariants qui satisfont une condition nécessaire et suffisante, identifiant ainsi l'ensemble des modules.

L'ensemble des EDO d'ordres 2 et 3 invariantes sous SL(2,R) et leur discrétisation préservant les symétries

Mémoire numérisé par la Division de la gestion de documents et des archives de l'Université de Montréal

Implémentation de la répartition de charge et du mode TOT pour la simulation d’un détecteur Timepix à pixels

Les détecteurs à pixels Medipix ont été développés par la collaboration Medipix et permettent de faire de l'imagerie en temps réel. Leur surface active de près de $2\cm^2$ est divisée en 65536~pixels de $55\times 55\um^2$ chacun. Seize de ces détecteurs, les Medipix2, sont installés dans l'expérience ATLAS au CERN afin de mesurer en temps réel les champs de radiation produits par les collisions de hadrons au LHC. Ils seront prochainement remplacés par des Timepix, la plus récente version de ces détecteurs, qui permettent de mesurer directement l'énergie déposée dans chaque pixel en mode \textit{time-over-threshold} (TOT) lors du passage d'une particule dans le semi-conducteur. En vue d'améliorer l'analyse des données recueillies avec ces détecteurs Timepix dans ATLAS, un projet de simulation Geant4 a été amorcé par John Id\'{a}rraga à l'Université de Montréal. Dans le cadre de l'expérience ATLAS, cette simulation pourra être utilisée conjointement avec Athena, le programme d'analyse d'ATLAS, et la simulation complète du détecteur ATLAS. Sous l'effet de leur propre répulsion, les porteurs de charge créés dans le semi-conducteur sont diffusés vers les pixels adjacents causant un dépôt d'énergie dans plusieurs pixels sous l'effet du partage de charges. Un modèle effectif de cette diffusion latérale a été développé pour reproduire ce phénomène sans résoudre d'équation différentielle de transport de charge. Ce modèle, ainsi que le mode TOT du Timepix, qui permet de mesurer l'énergie déposée dans le détecteur, ont été inclus dans la simulation afin de reproduire adéquatement les traces laissées par les particules dans le semi-conducteur. On a d'abord étalonné le détecteur pixel par pixel à l'aide d'une source de $\Am$ et de $\Ba$. Ensuite, on a validé la simulation à l'aide de mesures d'interactions de protons et de particules $\alpha$ produits au générateur Tandem van de Graaff du Laboratoire René-J.-A.-Lévesque de l'Université de Montréal.

Systèmes superintégrables avec spin et intégrales du mouvement d’ordre deux

Ce mémoire est une partie d’un programme de recherche qui étudie la superintégrabilité des systèmes avec spin. Plus particulièrement, nous nous intéressons à un hamiltonien avec interaction spin-orbite en trois dimensions admettant une intégrale du mouvement qui est un polynôme matriciel d’ordre deux dans l’impulsion. Puisque nous considérons un hamiltonien invariant sous rotation et sous parité, nous classifions les intégrales du mouvement selon des multiplets irréductibles de O(3). Nous calculons le commutateur entre l’hamiltonien et un opérateur général d’ordre deux dans l’impulsion scalaire, pseudoscalaire, vecteur et pseudovecteur. Nous donnons la classification complète des systèmes admettant des intégrales du mouvement scalaire et vectorielle. Nous trouvons une condition nécessaire à remplir pour le potentiel sous forme d’une équation différentielle pour les cas pseudo-scalaire et pseudo-vectoriel. Nous utilisons la réduction par symétrie pour obtenir des solutions particulières de ces équations.

Modélisation du carnet d'ordres limites et prévision de séries temporelles

Le contenu de cette thèse est divisé de la façon suivante. Après un premier chapitre d’introduction, le Chapitre 2 est consacré à introduire aussi simplement que possible certaines des théories qui seront utilisées dans les deux premiers articles. Dans un premier temps, nous discuterons des points importants pour la construction de l’intégrale stochastique par rapport aux semimartingales avec paramètre spatial. Ensuite, nous décrirons les principaux résultats de la théorie de l’évaluation en monde neutre au risque et, finalement, nous donnerons une brève description d’une méthode d’optimisation connue sous le nom de dualité. Les Chapitres 3 et 4 traitent de la modélisation de l’illiquidité et font l’objet de deux articles. Le premier propose un modèle en temps continu pour la structure et le comportement du carnet d’ordres limites. Le comportement du portefeuille d’un investisseur utilisant des ordres de marché est déduit et des conditions permettant d’éliminer les possibilités d’arbitrages sont données. Grâce à la formule d’Itô généralisée il est aussi possible d’écrire la valeur du portefeuille comme une équation différentielle stochastique. Un exemple complet de modèle de marché est présenté de même qu’une méthode de calibrage. Dans le deuxième article, écrit en collaboration avec Bruno Rémillard, nous proposons un modèle similaire mais cette fois-ci en temps discret. La question de tarification des produits dérivés est étudiée et des solutions pour le prix des options européennes de vente et d’achat sont données sous forme explicite. Des conditions spécifiques à ce modèle qui permettent d’éliminer l’arbitrage sont aussi données. Grâce à la méthode duale, nous montrons qu’il est aussi possible d’écrire le prix des options européennes comme un problème d’optimisation d’une espérance sur en ensemble de mesures de probabilité. Le Chapitre 5 contient le troisième article de la thèse et porte sur un sujet différent. Dans cet article, aussi écrit en collaboration avec Bruno Rémillard, nous proposons une méthode de prévision des séries temporelles basée sur les copules multivariées. Afin de mieux comprendre le gain en performance que donne cette méthode, nous étudions à l’aide d’expériences numériques l’effet de la force et la structure de dépendance sur les prévisions. Puisque les copules permettent d’isoler la structure de dépendance et les distributions marginales, nous étudions l’impact de différentes distributions marginales sur la performance des prévisions. Finalement, nous étudions aussi l’effet des erreurs d’estimation sur la performance des prévisions. Dans tous les cas, nous comparons la performance des prévisions en utilisant des prévisions provenant d’une série bivariée et d’une série univariée, ce qui permet d’illustrer l’avantage de cette méthode. Dans un intérêt plus pratique, nous présentons une application complète sur des données financières.

Caractère intrinsèque des matrices de Stokes

Il est connu qu’une équation différentielle linéaire, x^(k+1)Y' = A(x)Y, au voisinage d’un point singulier irrégulier non-résonant est uniquement déterminée (à isomorphisme analytique près) par : (1) sa forme normale formelle, (2) sa collection de matrices de Stokes. La définition des matrices de Stokes fait appel à un ordre sur les parties réelles des valeurs propres du système, ordre qui peut être perturbé par une rotation en x. Dans ce mémoire, nous avons établi le caractère intrinsèque de cette relation : nous avons donc établi comment la nouvelle collection de matrices de Stokes obtenue après une rotation en x qui change l’ordre des parties réelles des valeurs propres dépend de la collection initiale. Pour ce faire, nous donnons un chapitre de préliminaires généraux sur la forme normale des équations différentielles ordinaires puis un chapitre sur le phénomène de Stokes pour les équations différentielles linéaires. Le troisième chapitre contient nos résultats.

Discrétisation des équations différentielles ordinaires avec préservation de leurs symétries

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

Équations différentielles à retard et leur application en hématopoïèse, avec étude du cas de la neutropénie cyclique

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

Analyse des bifurcations dans un modèle du flutter auriculaire

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

L'experience effective vs l'experience potentielle dans l'estimation de l'e quation de salaire des femmes.

Rapport de recherche

Modulation différentielle par la privation de sommeil des processus attentionnels frontaux et pariétaux: une étude de potentiels évoqués cognitifs

L’objectif de la présente étude visait à évaluer les effets différentiels de la privation de sommeil (PS) sur le fonctionnement cognitif sous-tendu par les substrats cérébraux distincts, impliqués dans le réseau fronto-pariétal attentionnel, lors de l’administration d’une tâche simple et de courte durée. Les potentiels évoqués cognitifs, avec sites d’enregistrement multiples, ont été prévilégiés afin d’apprécier les effets de la PS sur l’activité cognitive rapide et ses corrélats topographiques. Le matin suivant une PS totale d’une durée de 24 heures et suivant une nuit de sommeil normale, vingt participants ont exécuté une tâche oddball visuelle à 3 stimuli. L’amplitude et la latence ont été analysées pour la P200 et la N200 à titre d’indices frontaux, tandis que la P300 a été analysée, à titre de composante à contribution à la fois frontale et pariétale. Suite à la PS, une augmentation non spécifique de l’amplitude de la P200 frontale à l’hémisphère gauche, ainsi qu’une perte de latéralisation spécifique à la présentation des stimuli cibles, ont été observées. À l’opposé, l’amplitude de la P300 était réduite de façon prédominante dans la région pariétale pour les stimuli cibles. Enfin, un délai de latence non spécifique pour la N200 et la P300, ainsi qu’une atteinte de la performance (temps de réaction ralentis et nombre d’erreurs plus élevé) ont également été objectivées. Les résultats confirment qu’une PS de durée modérée entraîne une altération des processus attentionnels pouvant être objectivée à la fois par les mesures comportementales et électrophysiologiques. Ces modifications sont présentes à toutes les étapes de traitement, tel que démontré par les effets touchant la P200, la N200 et la P300. Qui plus est, la PS affecte différemment les composantes à prédominance frontale et pariétale.

L'éclatement en géométrie algébrique, différentielle et symplectique

L'éclatement est une transformation jouant un rôle important en géométrie, car il permet de résoudre des singularités, de relier des variétés birationnellement équivalentes, et de construire des variétés possédant des propriétés inédites. Ce mémoire présente d'abord l'éclatement tel que développé en géométrie algébrique classique. Nous l'étudierons pour le cas des variétés affines et (quasi-)projectives, en un point, et le long d'un idéal et d'une sous-variété. Nous poursuivrons en étudiant l'extension de cette construction à la catégorie différentiable, sur les corps réels et complexes, en un point et le long d'une sous-variété. Nous conclurons cette section en explorant un exemple de résolution de singularité. Ensuite nous passerons à la catégorie symplectique, où nous ferons la même chose que pour le cas différentiable complexe, en portant une attention particulière à la forme symplectique définie sur la variété. Nous terminerons en étudiant un théorème dû à François Lalonde, où l'éclatement joue un rôle clé dans la démonstration. Ce théorème affirme que toute 4-variété fibrée par des 2-sphères sur une surface de Riemann, et différente du produit cartésien de deux 2-sphères, peut être équipée d'une 2-forme qui lui confère une structure symplectique réglée par des courbes holomorphes par rapport à sa structure presque complexe, et telle que l'aire symplectique de la base est inférieure à la capacité de la variété. La preuve repose sur l'utilisation de l'éclatement symplectique. En effet, en éclatant symplectiquement une boule contenue dans la 4-variété, il est possible d'obtenir une fibration contenant deux sphères d'auto-intersection -1 distinctes: la pré-image du point où est fait l'éclatement complexe usuel, et la transformation propre de la fibre. Ces dernières sont dites exceptionnelles, et donc il est possible de procéder à l'inverse de l'éclatement - la contraction - sur chacune d'elles. En l'accomplissant sur la deuxième, nous obtenons une variété minimale, et en combinant les informations sur les aires symplectiques de ses classes d'homologies et de celles de la variété originale nous obtenons le résultat.

Comparaison des méthodes d'analyse de l'expression différentielle basée sur la dépendance des niveaux d'expression

La technologie des microarrays demeure à ce jour un outil important pour la mesure de l'expression génique. Au-delà de la technologie elle-même, l'analyse des données provenant des microarrays constitue un problème statistique complexe, ce qui explique la myriade de méthodes proposées pour le pré-traitement et en particulier, l'analyse de l'expression différentielle. Toutefois, l'absence de données de calibration ou de méthodologie de comparaison appropriée a empêché l'émergence d'un consensus quant aux méthodes d'analyse optimales. En conséquence, la décision de l'analyste de choisir telle méthode plutôt qu'une autre se fera la plupart du temps de façon subjective, en se basant par exemple sur la facilité d'utilisation, l'accès au logiciel ou la popularité. Ce mémoire présente une approche nouvelle au problème de la comparaison des méthodes d'analyse de l'expression différentielle. Plus de 800 pipelines d'analyse sont appliqués à plus d'une centaine d'expériences sur deux plateformes Affymetrix différentes. La performance de chacun des pipelines est évaluée en calculant le niveau moyen de co-régulation par l'entremise de scores d'enrichissements pour différentes collections de signatures moléculaires. L'approche comparative proposée repose donc sur un ensemble varié de données biologiques pertinentes, ne confond pas la reproductibilité avec l'exactitude et peut facilement être appliquée à de nouvelles méthodes. Parmi les méthodes testées, la supériorité de la sommarisation FARMS et de la statistique de l'expression différentielle TREAT est sans équivoque. De plus, les résultats obtenus quant à la statistique d'expression différentielle corroborent les conclusions d'autres études récentes à propos de l'importance de prendre en compte la grandeur du changement en plus de sa significativité statistique.

Contribution différentielle du tissu adipeux mâle et femelle dans l’établissement du diabète de type 2 et des altérations cardiovasculaires : rôle de l’apport lipidique

Au cours des dernières années, il est devenu évident que les sociétés des pays industrialisés sont à haut risque de maladies métaboliques. Une alimentation riche en énergie (lipide/glucide), combinée à une sédentarité accrue, est un facteur environnemental contribuant à l'augmentation de la prévalence de maladies reliées spécifiquement à des troubles endocriniens comme l'obésité et le diabète. Le traitement de ces désordres métaboliques doit donc passer par la connaissance et la compréhension des mécanismes moléculaires qui contrôlent ces désordres et le développement de traitements ciblés vers les facteurs responsables. Le tissu adipeux est une glande endocrine qui sécrète des substances, regroupées sous le terme d'adipokines, qui contrôlent l'homéostasie énergétique. L'augmentation de la masse adipeuse est responsable du développement de dérégulation hormonale qui mène à des dysfonctions physiologiques et métaboliques. Pour contrecarrer le développement démesuré du tissu adipeux, la signalisation insulinique ainsi que l’apport énergétique, responsables de la différenciation adipocytaire, doivent être inhibés. In vivo, la leptine, adipokine dont la concentration est corrélée à la masse adipeuse, présente des actions pro ou anti-insuliniques dans l’organisme pour réguler ce phénomène. Elle favorise l’effet inhibiteur de l’insuline sur la synthèse hépatique de glucose alors qu’elle s’oppose à son action sur l’expression des enzymes glucokinase et phosphoénol-pyruvate carboxykinase. La leptine influence aussi le taux circulant de triglycérides en diminuant sa concentration plasmatique. D'autre part, l'adiponectine, adipokine insulino- sensibilisante, voit sa sécrétion diminuée avec la prise de poids. La sensibilité à l'insuline est ainsi diminuée au fur et à mesure que le débalancement de ces deux adipokines s'accentue. La résistance à l'insuline s'installe alors pour s'opposer au stockage énergétique et à la prise illimitée de poids et la glycémie augmente. L'augmentation du glucose sanguin stimule la sécrétion d'insuline au niveau des cellules pancréatiques. C'est le diabète caractérisé par une hyperglycémie et une résistance à l'insuline. Le diabète, une des premières causes de mortalité dans le monde, est plus répandu sous sa forme non insulinodépendante (diabète de type 2, DT2) liée à l'obésité. Récemment, différents facteurs de transcription ont été identifiés comme régulateurs de l'expression d'une panoplie de gènes impliqués dans le métabolisme glucidique et lipidique. Parmi eux, les récepteurs des inducteurs de la prolifération des peroxysomes (PPAR, Peroxisome Proliferator-Activated Receptor), appartenant à la famille des récepteurs nucléaires. Les PPAR ont été démontrés comme ayant un rôle central dans le contrôle de la transcription des gènes codants pour des protéines impliquées dans le métabolisme : les adipokines. PPARg, en plus de son implication dans le contrôle de l'homéostasie glucidique et lipidique, est reconnu comme étant un facteur de transcription pivot régulant l'adipogenèse du fait de son expression majeure dans le tissu adipeux. D'autre part, il est bien établi maintenant que l'obésité et le diabète sont des facteurs contribuant au développement du processus inflammatoire vasculaire caractéristique de l’athérosclérose. En effet, les cellules endothéliales et musculaires lisses, principales composantes de la média de l’artère, sont très sensibles aux altérations métaboliques. Une diminution de la sensibilité à l’insuline entraine une réduction de la disponibilité du glucose et l’utilisation des acides gras comme alternatif par ces cellules. Ceci induit l’accumulation des acides gras oxydés dans l’intima et leur filtration dans la média pour former un core lipidique. Bien que l’induction de la dysfonction endothéliale soit impliquée très précocement, certaines études pointent l’accumulation lipidique dans les cellules musculaires lisses vasculaires (CML) et leur dysfonction comme déclencheurs de l’athérosclérose. Ce travail visait donc, dans un premier temps, à développer un modèle d'altérations métaboliques liées à la modulation de l'activité du tissu adipeux via une alimentation riche en lipides. Dans un second temps, cette étude tentait d'évaluer l’impact des adipocytes de souris sur les CML vasculaires et sur la modulation de leurs fonctions dans ce modèle d'altérations métaboliques et DT2 liés à l'alimentation et à l'obésité. Ainsi, par le biais de deux diètes pauvres en cholestérol à profil lipidique différent, nous avons développé un modèle murin présentant divers stades d'altérations du métabolisme allant jusqu'au DT2 en lien avec l'obésité chez les mâles et chez les femelles. D’autre part, des signes de cardiomyopathie ainsi qu’une modulation du taux des adipokines sont reliés à ces mêmes diètes. Parallèlement, l’activité de PPAR!2 est modulée chez les souris sous diètes enrichies en gras. Ensuite, nous avons démontré que les adipocytes, provenant de souris alimentées avec une diète enrichie en gras, modulaient la migration et la prolifération des CML comparativement au groupe contrôle. Ces modulations dépendaient en grande partie de la nature de la diète consommée, mais également du sexe de la souris. Par ailleurs, les altérations fonctionnelles des CML, couplées à des modulations géniques, sont associées aux changements du profil de sécrétion des adipokines mesurées chez les adipocytes. L’ensemble de ces travaux suggère une action directe de la nature de la stimulation du tissu adipeux blanc dans la modulation du profil de sécrétion des adipokines et l'induction du DT2 in vivo. Ces altérations de la physiologie adipocytaire se reflètent in vitro où le tissu adipeux contribue aux altérations physiopathologiques des CML liées au DT2. Ainsi, cette étude est l'une des premières à établir un lien direct entre les modulations adipocytaires et les effets de leurs sécrétions sur la physiologie des CML. Ces observations peuvent être exploitées cliniquement dans un développement futur d’outils thérapeutiques visant à prévenir et à traiter les troubles métaboliques et le DT2, en ciblant le tissu adipeux comme entité métabolique et endocrine.