Vous êtes ici : Accueil > Sections CNU > 26 - Mathématiques appliquées et applications des mathématiques

26 - Mathématiques appliquées et applications des mathématiques

Les thèses se rapportant à la section CNU "26 - Mathématiques appliquées et applications des mathématiques"

Pour être informé de la mise en ligne des nouvelles thèses correspondant à la recherche effectuée, abonnez-vous au flux RSS : rss

accès internet    accès intranet    confidentialité
31 ressources ont été trouvées. Voici les résultats 1 à 10
Tri :   Date Auteur Titre thèses par page
  • Étude des solutions stationnaires d'un modèle de champs de phase cristallin    - Abourou Ella Appolinaire  -  19 septembre 2013

    Voir le résumé
    Voir le résumé
    Cette thèse porte essentiellement sur l'étude des solutions stationnaires, en dimension 1 d'espace, d'un modèle de champs de phase cristallin introduit par Elder en 2002. Ainsi, nous prouvons, par la méthode de réduction de Lyapunov-Schmidt et la technique des multiparamètres, l'existence de courbes de solutions bifurquantes stationnaires lorsque le noyau de l'opérateur linéarisé, au voisinage de la solution triviale est de dimension 2. Une parenthèse est ouverte pour la comparaison de l'énergie de la solution bifurquante par rapport à celle la solution triviale. Aussi, grâce au principe de la stabilité réduite, nous fournissons des ensembles précis de valeurs des paramètres de bifurcation pour lesquelles les solutions obtenues sont stables ou instables. Ces résultats théoriques sont corroborés par plusieurs tests numériques. Par ailleurs, dans le cas classique du noyau unidimensionel, nous établissons des diagrammes de phases permettant de comprendre les différentes orientations de courbes de solutions non triviales au voisinage de chaque point de bifurcation.

  • Analyse de quelques équations différentielles à retard et EDP modélisant les instabilités de surfaces    - Alriyabi Ali  -  08 mars 2013

    Voir le résumé
    Voir le résumé
    Cette thèse est divisée en deux parties principales : La première partie concerne la déformation plastique d'un matériau contraint. Nous commençons cette partie par une introduction physique sur la dislocation et son rôle dans l'étude de la déformation plastique. Nous exposons ensuite deux types de modélisation de la déformation plastique ce qui nous conduit à deux équations différentielles à retard de Mecking-Lüke-Grilhé. Nous présentons une analyse mathématique complète des deux modèles linéaire et non linéaire. Nous terminons cette partie par des tests numériques et une comparaison des deux modèles. La deuxième partie de la thèse traite l'instabilité de Rayleigh-Plateau. Cette étude porte sur les instabilités de surface d'un pore cylindrique sans contraintes. Nous nous intéressons à une EDP parabolique non linéaire d'ordre quatre, obtenue à partir d'une équation d'évolution des films minces. Le résultat principal est l'existence globale de la solution et la convergence vers la valeur moyenne de la donnée initiale en temps long. L'étude théorique est aussi appuyée comme dans la première partie par une validation numérique.

  • Study and optimal control of glial cells growth models    - Alsayed Hawraa  -  29 octobre 2021

    Voir le résumé
    Voir le résumé
    Cette thèse aborde différentes approches thérapeutiques pour les gliomes, soit directement, soit au niveau du métabolisme en utilisant la théorie du contrôle optimal. En effet, nous considérons tout d'abord un système couplant une équation d'Allen-Cahn modélisant la croissance tumorale, avec une équation d'évolution pour la dynamique des nutriments. Le traitement des gliomes est considéré en termes de contrôle qui représente la concentration du médicament cytotoxique à un taux donné. Notre objectif dans cette partie est de choisir le contrôle et le temps de traitement de telle sorte que la croissance tumorale correspondante et sa distribution finale soient la meilleure approximation possible des valeurs désirées. Notre première étape est donc consacrée à l'étude du caractère bien posé de notre système d'état, ce qui nous permet de définir l'opérateur contrôle-état qui est continu. Ensuite, nous montrons l'existence d'un minimiseur de notre fonction de coût, où notre opérateur contrôle-état est différentiable au sens de Fréchet. Ensuite, notre fonctionnelle de coût est également différentiable au sens de Fréchet par rapport au temps et au contrôle. Enfin, pour simplifier la condition d'optimalité nécessaire du premier ordre, nous considérons un système adjoint utilisant le principe de Lagrange pour lequel ce système a une solution régulière. D'autre part, nous savons que la progression et la malignité des gliomes sont liées au métabolisme, en particulier au déchet de glycolyse et de lactate. Ainsi, nous soulignons d'abord le fait que plus le gliome produit de lactate, plus il transporte l'excès dans le capillaire pour soutenir la prolifération, les métastases et la malignité. Par conséquent, nous considérons l'équation d'état comme un problème parabolique modélisant la dynamique du lactate intracellulaire. Notre premier défi consiste à ajouter un contrôle biologiquement pertinent qui agit comme une concentration d'un certain médicament pour inhiber la production de lactate. Puisque la dose de médicament et le temps ne doivent pas dépasser ou descendre en dessous d'un certain seuil dans le traitement du cancer, nous essayons de choisir le meilleur contrôle au moment le plus opportun afin que la concentration de lactate intracellulaire correspondante soit aussi proche que possible de notre évolution souhaitée et de la distribution finale du lactate. Cependant, comme nous l'avons dit plus haut, la cellule retire l'excès de lactate en le transportant à travers la membrane plasmique de la cellule dans le capillaire pour maintenir sa prolifération. Ceci nous a inspiré à cibler le transport du lactate en utilisant un inhibiteur de MCTs qui agit comme un terme de contrôle dans un système couplé de type EDO qui modélise la dynamique du lactate dans les domaines intracellulaire et capillaire. Nous abordons la question de savoir combien de temps un patient doit être traité et quelle est la dose optimale de médicament pour atteindre la concentration de lactate capillaire souhaitée. Pour atteindre notre objectif, nous considérons un problème de minimisation avec une fonction de coût conventionnelle associée au système d'EDO susmentionné. Tout d'abord, nous montrons l'existence d'une solution régulière unique et non négative de notre système EDO, puis nous définissons l'opérateur contrôle-état et montrons qu'il est continu sur la topologie correspondante. Puis, nous montrons l'existence d'une solution à notre problème de minimisation sous des contraintes données. Nous étudions ensuite l'existence d'une dérivée unique de l'opérateur contrôle-état et sa différentiabilité de Fréchet. Nous montrons ensuite la différentiabilité de Fréchet de la fonctionnelle de coût par rapport au temps et au contrôle. De plus, nous définissons le système adjoint par le principe de Lagrange, nous simplifions la condition d'optimalité nécessaire au premier ordre, et enfin, nous mettons en évidence le choix du terme de contrôle par des simulations numériques.

  • Équations de diffusion paramétrée par la portée des interactions à longue distance    - Andami Ovono Armel  -  24 février 2009

    Voir le résumé
    Voir le résumé
    Nous nous intéressons dans cette thèse à l'étude d'une équation parabolique quasilinéaire dans laquelle la diffusion est paramétrée par la longueur des différentes interactions non locales. Pour ce qui est du problème stationnaire associé, après avoir montré des résultats d'existence, d' unicité et de continuité. Nous présentons ensuite un critère général d' inversibilité dépendant du paramètre, ce critère très important va par la suite nous permettre en exemple d'application, de retrouver des résultats d'inversibilité déjà connus lorsque le paramètre est égale au diamètre du domaine. Nous donnons ensuite un résultat de principe de comparaisons de solutions symétriques radiales et une généralisation du compte du nombre de solutions. Enfin nous donnons quelques applications numériques utilisant une méthode de point fixe et de Newton pour illustrer ces résultats. Pour le problème d'évolution, après avoir montré l'existence d'un attracteur global associé à notre problème, nous démontrons une estimation L∞ de la solution en fonction d'estimations Lq, q > 1 utilisant des itérations de type Moser

  • Régularité de problèmes à données dans les espaces pondérés par la distance au bord via l'inégalité uniforme de Hopf et le principe de dualité    - Berdan Nada El  -  05 décembre 2016

    Voir le résumé
    Voir le résumé
    Cette thèse, comporte deux parties distinctes. Dans la première partie, on étudie l'existence et l'inexistence d'une inégalité qu'on a appelée l'inégalité de Hopf Uniforme (IHU), pour une équation linéaire de la forme Lv = f à coefficients bornés mesurables et sous les conditions de Dirichlet homogènes. L'IHU est une variante du principe de maximum, on l'a appliquée dans la preuve de la régularité W1;p 0 pour un problème semi-linéaire singulier : Lu = F(u) où les coefficients de L sont dans l'espace vmor (fonctions à oscillation moyenne évanescente) et F(u) est singulier en u = 0 F(0) = +∞. De plus, si les coefficients sont lipschitziens, on prouve que la régularité optimale du gradient de la solution u est bmor (fonctions à oscillation moyenne bornée i.e Grad u dans bmor). Dans la seconde partie, on s'intéresse à la régularité du système d'élasticité (équations stationnaires des ondes élastiques) avec une fonction source singulière au sens qu'elle n’est qu'intégrable par rapport à la fonction distance au bord du domaine. Via la dualité, nous montrons, selon ~f , que le problème admet une solution dite très faible dont le gradient n'est pas nécessairement intégrable sur tout le domaine mais uniquement localement. Nous déterminons aussi les fonctions vectorielles ~f pour lesquelles, ~u a son gradient intégrable sur tout l'espace de travail.

  • Sur l'approximation rationnelle pour le semi-groupe de transport    - Cherif Mohamed Amine  -  09 juillet 2010

    Voir le résumé
    Voir le résumé
    La notion de l'approximation rationnelle est normalement conçue pour la discrétisation en temps. Dans cette thèse nous mélangeons cette notion avec la notion de la convergence au sens de Kato qui découle d'une discrétisation en espace pour l'équation de transport neutronique. Nous appliquons cette procedure aux schémas d'Euler explicite et implicite, Crank-Nicolson et Prédicateur-Correcteur qui ont le degré de convergence 1,2 et 3 au sens de l'approximation rationnelle. Pour démontrer la convergence nous utiliserons le théorème de Cherno et nous donnons aussi des illustrations numérique pour justifier ces degrés de convergence. Dans le dernier chapitre nous donnons quelques nouvelles généralisations des théorèmes de point fixe de type Schauder et de type Krasnoselskii qui se basent sur la notion de la compacité faible sur des espaces Fréchet ayant la propriété de Dunford- Pettis et sur la notion de la U-équicontraction.

  • Méthodes mathématiques et numériques pour la modélisation des déformations et l'analyse de texture. Applications en imagerie médicale    - Chesseboeuf Clément  -  23 novembre 2017

    Voir le résumé
    Voir le résumé
    Nous décrivons une procédure numérique pour le recalage d'IRM cérébrales 3D. Le problème d'appariement est abordé à travers la distinction usuelle entre le modèle de déformation et le critère d'appariement. Le modèle de déformation est celui de l'anatomie computationnelle, fondé sur un groupe de difféomorphismes engendrés en intégrant des champs de vecteurs. Le décalage entre les images est évalué en comparant les lignes de niveau de ces images, représentées par un courant différentiel dans le dual d'un espace de champs de vecteurs. Le critère d'appariement obtenu est non local et rapide à calculer. On se place dans l'ensemble des difféomorphismes pour rechercher une déformation reliant les deux images. Pour cela, on minimise le critère en suivant le principe de l'algorithme sous-optimal. L'efficacité de l'algorithme est renforcée par une description eulérienne et périodique du mouvement. L'algorithme est appliqué pour le recalage d'images IRM cérébrale 3d, la procédure numérique menant à ces résultats est intégralement décrite. Nos travaux concernent aussi l'analyse des propriétés de l'algorithme. Pour cela, nous avons simplifié l'équation représentant l'évolution de l'image et étudié l'équation simplifiée en utilisant la théorie des solutions de viscosité. Nous étudions aussi le problème de détection de rupture dans la variance d'un signal aléatoire gaussien. La spécificité de notre modèle vient du cadre infill, ce qui signifie que la distribution des données dépend de la taille de l'échantillon. L'estimateur de l'instant de rupture est défini comme le point maximisant une fonction de contraste. Nous étudions la convergence de cette fonction et ensuite la convergence de l'estimateur associé. L'application la plus directe concerne l'estimation de changement dans le paramètre de Hurst d'un mouvement brownien fractionnaire. L'estimateur dépend d'un paramètre p > 0 et nos résultats montrent qu'il peut être intéressant de choisir p < 2.

  • Problèmes de valeurs propres pour des opérateurs multivoques    - Chrayteh Houssam  -  08 mars 2012

    Voir le résumé
    Voir le résumé
    L'objectif de notre recherche est d'étudier l'existence et la régularité des solutions pour des problèmes de valeurs propres faisant intervenir un opérateur →p-multivoque A : V → P(V*) sur un domaine régulier Ω C Rᶰ. Par l'intermédiaire des N-fonctions, nous construisons un opérateur →p-multivoque de Leray-Lions "fortement monotone" sur un espace d'Orlicz-Sobolev anisotrope. Nous signalons que la formulation théorique des problèmes associés à cet opérateur repose essentiellement sur la notion de sous-différentielle de Clarke, pour cela, nous donnons des nouvelles méthodes variationelles qui correspondent à la résolution de ces problèmes dans le cas "sous-critique" dans lequel la compacité joue un rôle important puis dans le cas critique lorsque nous perdons la compacité. Différentes applications sont données pour illustrer nos résultats abstraits, par exemple, un opérateur anisotrope aux exposants variables et un opérateur avec un poids de type Hardy.

  • Modélisation stochastique et analyse statistique de la pulsatilité en neuroendocrinologie    - Constant Camille  -  19 décembre 2019

    Voir le résumé
    Voir le résumé
    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.

  • Utilisation d'approches probabilistes basées sur les critères entropiques pour la recherche d'information sur supports multimédia    - Coq Guilhelm  -  05 décembre 2008

    Voir le résumé
    Voir le résumé
    Les problèmes de sélection de modèles se posent couramment dans un grand nombre de domaines applicatifs tels que la compression de données ou le traitement du signal et de l'image. Un des outils les plus utilisés pour résoudre ces problèmes se présente sous la forme d'une quantité réelle à minimiser appelée critère d'information ou critère entropique pénalisé. La principale motivation de ce travail de thèse est de justifier l'utilisation d'un tel critère face à un problème de sélection de modèles typiquement issu d'un contexte de traitement du signal. La justification attendue se doit, elle, d'avoir un solide fondement mathématique. Nous abordons aussi le problème classique de la détermination de l'ordre d'une autorégression. La régression gaussienne, permettant de détecter les harmoniques principales d'un signal bruité, est également abordée. Pour ces problèmes, nous donnons un critère dont l'utilisation est justifiée par la minimisation du coût résultant de l'estimation obtenue. Les chaînes de Markov multiples modèlisent la plupart des signaux discrets, comme les séquences de lettres ou les niveaux de gris d'une image. Nous nous intéressons au problème de la détermination de l'ordre d'une telle chaîne. Dans la continuité de ce problème nous considérons celui, a priori éloigné, de l'estimation d' une densité par un histogramme. Dans ces deux domaines, nous justifions l' utilisation d' un critère par des notions de codage auxquelles nous appliquons une forme simple du principe de " Minimum description Length ". Nous nous efforçons également, à travers ces différents domaines d'application, de présenter des méthodes alternatives d' utilisation des critères d' information. Ces méthodes, dites comparatives, présentent une complexité d' utilisation moindre que les méthodes rencontrées habituellement, tout en permettant une description précise du modèle.

|< << 1 2 3 4 >> >| thèses par page

Haut de page


  • Avec le service Ubib.fr, posez votre question par chat à un bibliothécaire dans la fenêtre ci-dessous :


    ou par messagerie électronique 7j/7 - 24h/24h, une réponse vous sera adressée sous 48h.
    Accédez au formulaire...
 
 

Université de Poitiers - 15, rue de l'Hôtel Dieu - 86034 POITIERS Cedex - France - Tél : (33) (0)5 49 45 30 00 - Fax : (33) (0)5 49 45 30 50
these@support.univ-poitiers.fr - Crédits et mentions légales