UPThèses

L’objectif de cette thèse est de proposer plusieurs modèles probabilistes pour représenter l’activité calcique des neurones et comprendre son implication dans la sécrétion d’hormone GnRH. Ce travail s’appuie sur des expériences réalisées à l’INRA Centre Val-de-Loire. Le Chapitre 1 propose une modélisation continue, où nous étudions un processus markovien de type shot-noise. Le Chapitre 2 étudie un modèle discret de type AR(1) basé sur la discrétisation du modèle du Chapitre 1 et propose une première estimation des paramètres. Le Chapitre 3 propose un autre modèle discret de type AR(1) où les innovations sont la somme d’une variable de Bernouilli et d’une variable gaussienne représentant un bruit, avec prise en compte d’une tendance linéaire. Des estimations des paramètres sont proposées dans le but d’une détection des sauts dans les trajectoires des neurones. Le Chapitre 4 étudie une expérience biologique comportant 33 neurones. Avec la modélisation du Chapitre 3, nous détectons des instants de synchronisation (saut simultané d’une grande proportion des neurones de l’expérience) puis à l’aide de simulations, nous testons la qualité de la méthode utilisée et la comparons à une méthode expérimentale.

L’objet de ce travail est la classification des actions du groupe de Klein G≃(ℤ/2ℤ)² sur une surface K3, X, où G contient une involution non-symplectique qui agit trivialement sur le réseau de Neron-Severi de X, ainsi que la détermination du nombre de points qui en composent le lieu fixe. Cela est accompli avec des méthodes purement algébriques, grâce à la théorie de Smith, qui permet de relier la cohomologie du lieu fixe H*(Xᴳ, F₂) à la G-cohomologie de H*(X, F₂). Nous commençons par déterminer les différentes possibilités pour la cohomologie du G-module H²(X, F₂) (et par conséquent la cohomologie du lieu fixe Xᴳ), en donnant aussi des résultats partiels pour le cas plus général G≃(ℤ/pℤ)ⁿ. Ensuite nous étudions l’extension du réseau de cohomologie H²(X, ℤ) induite par l’action de G et nous donnons une formule reliant le nombre des point fixes qui composent Xᴳ, à certains invariants numériques de l’ex-tension: notamment les dimensions des groupes discriminants des réseaux invariants, mais aussi un nouvel invariant numérique, que nous montrons être indépendant des autres et nécessaire pour le calcul du lieu fixe. Pour conclure, en utilisant le théorème de Torelli, nous déterminons tous les possibilités pour une action de G sur X et nous donnons aussi des exemples géométriques avec les fibrations elliptiques, confirmant les résultats prouvés.

Il existe plusieurs filtrations intéressantes définies sur la sous-algèbre de Cartan d'une algèbre de Lie simple complexe issues de contextes très variés : l'une est la filtration principale qui provient du dual de Langlands, une autre provient de l'algèbre de Clifford associée à une forme bilinéaire invariante non-dégénérée, une autre encore provient de l'algèbre symétrique et la projection de Chevalley, deux autres enfin proviennent de l'algèbre enveloppante et des projections de Harish-Chandra. Il est connu que toutes ces filtrations coïncident. Ceci résulte des travaux de Rohr, Joseph et Alekseev-Moreau. La relation remarquable entre les filtrations principale et de Clifford fut essentiellement conjecturée par Kostant. L'objectif de ce mémoire de thèse est de proposer une nouvelle démonstration de l'égalité entre les filtrations symétrique et enveloppante pour une algèbre de Lie simple de type A ou C. Conjointement au résultat et Rohr et le théorème d'Alekseev-Moreau, ceci fournit une nouvelle démonstration de la conjecture de Kostant, c'est-à-dire une nouvelle démonstration du théorème de Joseph. Notre démonstration est très différentes de la sienne. Le point clé est d'utiliser une description explicite des invariants via la représentation standard, ce qui est possible en types A et C. Nous décrivons alors les images de leurs différentielles en termes d'objects combinatoires, appelés des chemins pondérés, dans le graphe cristallin de la représentation standard. Les démonstrations pour les types A et C sont assez similaires, mais ne nouveaux phénomènes apparaissent en type C, ce qui rend la démonstration nettement plus délicate dans ce cas.

Tout ce qui vit, naît, se nourrit, se reproduit et meurt. Pour le cerveau, la question se complexifie car à la survie des neurones s'ajoute le coût de l'activité cérébrale. La question de la gestion énergétique pour les neurones est particulière car les cellules de notre cerveau évoluent de manière concertée et non par compétition. On sait avec l'imagerie médicale que l'usine neuronale ne fonctionne pas uniquement grâce au glucose ; elle utilise d'autres apports énergétiques tels que le lactate ou le glutamate pour soutenir sa production. Lorsqu'une tumeur apparaît, elle change le métabolisme énergétique pour survivre et soutenir sa propre croissance. En particulier, les cellules cancéreuses se fournissent en lactate et choisissent leur substrat préféré en fonction de l'oxygène disponible. La modélisation mathématique des substrats énergétiques est un outil de choix pour décrire et prédire de tels flux. Coupler ces modèles à des données issues de l'IRM et de la SRM permet d'améliorer la prise en charge du patient présentant un gliome. Cette thèse propose l'approche de plusieurs dynamiques en substrat dans le cerveau sain et gliomateux en se basant sur des systèmes d'équations : échanges locaux en lactate (EDO, système lent-rapide), échanges globaux en substrats (EDO), cycle glutamate/glutamine (EDR) et échanges en lactate en dimensions supérieures (EDP). Ces modèles sont expliqués, décrits grâce aux mathématiques et permettent l'élaboration de simulations ajustées selon des données patient ou issues de la littérature. L'énergie est nécessaire au maintien de la vie. Mais si votre voisin consomme une partie de vos ressources, pouvez-vous encore espérer survivre ?

La thèse de Marion Chommaux a pour cadre le « programme de Langlands local », un domaine particulièrement actif et exigeant de la théorie des représentations des groupes p-adiques. Une branche en plein développement en est le « programme de Langlands relatif' », dont une des figures majeures est Dipendra Prasad. Ce dernier a proposé avec Takloo-Bighash en 2011 une conjecture concernant la distinction des séries discrètes des formes intérieures d'un groupe linéaire général sur un corps p-adique par le centralisateur des inversibles d'une extension quadratique de ce corps: la conjecture s'énonce en termes d'invariants galoisiens subtils. Dans sa thèse Marion résout complétement cette conjecture pour les représentations de Steinberg, et elle la démontre pour les cuspidales de niveau zéro dans le cas non-déployé. Dans ce cas un résultat notable est qu'elle obtient même un contre-exemple à une forme plus générale de la conjecture en question. Les techniques utilisées sont diverses. Dans le premier chapitre sur les représentations de Steinberg, c'est le lemme géométrique de Bernstein-Zelevinsky qui joue un rôle prépondérant dans le résultat de classification, mais des invariants analytiques tels que les fonctions L font leur apparition. Dans le second chapitre il s'agit de la théorie des types de Bushnell-Kutzko (plus précisément celle des paires admissibles de Bushnell-Henniart) ainsi que la géométrie de l'immeuble de Bruhat-Tits qui sont les éléments essentiels en théorie des représentations. Une fois la classification des cuspidales de niveau zéro distinguées obtenue, Marion réduit habilement la vérification de la conjecture du côté galoisien à un résultat de Fröhlich et Queyrut.

L'urne de Polya est l'exemple typique de processus stochastique avec renforcement. La limite presque sûre (p.s.) en temps existe, est aléatoire et non dégénérée. L'urne de Friedman est une généralisation naturelle dont la limite (proportion asymptotique en temps) n'est plus aléatoire. De nombreux modèles aléatoires sont fondés sur des processus de renforcement comme pour la conception d'essais cliniques au design adaptatif, en économie, ou pour des algorithmes stochastiques à des fins d'optimisation ou d'estimation non paramétrique. Dans ce mémoire, inspirés par de nombreux articles récents, nous introduisons une nouvelle famille de systèmes (finis) de processus de renforcement où l'interaction se traduit par un phénomène de renforcement collectif additif, de type champ moyen. Les deux taux de renforcement (l'un spécifique à chaque composante, l'autre collectif et commun à toutes les composantes) sont possiblement différents. Nous prouvons deux types de résultats mathématiques. Différents régimes de paramètres doivent être considérés : type de la règle (brièvement, Polya/Friedman), taux du renforcement. Nous prouvons l'existence d'une limite p.s. coommune à toutes les composantes du système (synchronisation). La nature de la limite (aléatoire/déterministe) est étudiée en fonction du régime de paramètres. Nous étudions également les fluctuations en prouvant des théorèmes centraux de la limite. Les changements d'échelle varient en fonction du régime considéré. Différentes vitesses de convergence sont ainsi établies.

Nous allons étudier les automorphismes des variétés symplectiques holomorphes irréductibles de type K3^[n], c'est-à-dire des variétés équivalentes par déformation au schéma de Hilbert de n points sur une surface K3, pour n > 1. Dans la première partie de la thèse, nous classifions les automorphismes du schéma de Hilbert de n points sur une surface K3 projective générique, dont le réseau de Picard est engendré par un fibré ample. Nous montrons que le groupe des automorphismes est soit trivial soit engendré par une involution non-symplectique et nous déterminons des conditions numériques et géométriques pour l’existence de l’involution. Dans la deuxième partie, nous étudions les automorphismes non-symplectiques d’ordre premier des variétés de type K3^[n]. Nous déterminons les propriétés du réseau invariant de l'automorphisme et de son complément orthogonal dans le deuxième réseau de cohomologie de la variété et nous classifions leurs classes d’isométrie. Dans le cas des involutions, e des automorphismes d’ordre premier impair pour n = 3, 4, nous montrons que toutes les actions en cohomologie dans notre classification sont réalisées par un automorphism non-symplectique sur une variété de type K3^[n]. Nous construisons explicitement l’immense majorité de ces automorphismes et, en particulier, nous présentons la construction d’un nouvel automorphisme d’ordre trois sur une famille de dimension dix de variétés de Lehn-Lehn-Sorger-van Straten de type K3^[4]. Pour n < 6, nous étudions aussi les espaces de modules de dimension maximal des variétés de type K3^[n] munies d’une involution non-symplectique.

Cette thèse est consacrée à l’étude théorique et numérique de plusieurs équations aux dérivées partielles non linéaires qui apparaissent dans la modélisation de la séparation de phase et des micro-systèmes électro-mécaniques (MSEM). Dans la première partie, nous étudions des modèles d’ordre élevé en séparation de phase pour lesquels nous obtenons le caractère bien posé et la dissipativité, ainsi que l’existence de l’attracteur global et, dans certains cas, des simulations numériques. De manière plus précise, nous considérons dans cette première partie des modèles de type Allen-Cahn et Cahn-Hilliard d’ordre élevé avec un potentiel régulier et des modèles de type Allen-Cahn d’ordre élevé avec un potentiel logarithmique. En outre, nous étudions des modèles anisotropes d’ordre élevé et des généralisations d’ordre élevé de l’équation de Cahn-Hilliard avec des applications en biologie, traitement d’images, etc. Nous étudions également la relaxation hyperbolique d’équations de Cahn-Hilliard anisotropes d’ordre élevé. Dans la seconde partie, nous proposons des schémas semi-discrets semi-implicites et implicites et totalement discrétisés afin de résoudre l’équation aux dérivées partielles non linéaire décrivant à la fois les effets élastiques et électrostatiques de condensateurs MSEM. Nous faisons une analyse théorique de ces schémas et de la convergence sous certaines conditions. De plus, plusieurs simulations numériques illustrent et appuient les résultats théoriques.

Dans cette thèse, nous calculons la forme d’un objet immergé d’aire donnée qui minimise la résistance de vague. Le corps, considéré lisse, avance à vitesse constante sous la surface libre d’un fluide qui est supposé parfait et incompressible. La résistance de vague est la traînée, c’est-à-dire la composante horizontale de la force exercée par le fluide sur l’obstacle. Nous utilisons les équations de Neumann-Kelvin 2D, qui s’obtiennent en linéarisant les équations d’Euler irrotationnelles avec surface libre. Le problème de Neumann-Kelvin est formulé comme une équation intégrale de frontière basée sur une solution fondamentale qui intègre la condition linéarisée à la surface libre. Nous utilisons une méthode de descente de gradient pour trouver un minimiseur local du problème de résistance de vague. Un gradient par rapport à la forme est calculé par la méthode de variation de frontières. Nous utilisons une approche level-set pour calculer la résistance de vague et gérer les déplacements de la frontière de l’obstacle. Nous obtenons une grande variété de formes optimales selon la profondeur de l’objet et sa vitesse.

Cette thèse est une étude théorique d’un système d’équations de Cahn-Hilliard/Allen-Cahn couplées qui représente un mélange binaire en séparation de phase. Le but principal de l’étude est le comportement asymptotique des solutions en termes d’attracteurs exponentiels/globaux. Pour cette raison, l’existence et l’unicité de la solution sont étudiées tout d’abord. Une des principales applications de ce modèle d’équations est la cristallographie. Dans la première partie de la thèse, on examine le modèle proposé avec des conditions de type Dirichlet sur le bord et une non linéarité régulière de type polynomial : on réussit à trouver un attracteur exponentiel et par conséquence un attracteur global de dimension finie. Une non linéarité singulière de type logarithmique est ensuite prise dans la deuxième partie, cette fonction étant approchée par une suite de fonctions régulières et l’existence d’un attracteur global est démontrée sous des conditions au bord de type Dirichlet. Enfin, dans la dernière partie, le système est couplé avec une équation pour la température: suivant la loi de Fourrier premièrement, puis la loi de type III de la thermo-élasticité. Dans les deux cas, la dynamique de l’équation est étudiée et un attracteur exponentiel est trouvé malgré la difficulté créée par l’équation hyperbolique dans le deuxième cas.