Thèse de doctorat : Mathématiques : Tours : 2008. / Titre provenant de l'écran-titre.

Thèse doctorat : Mathématiques : Strasbourg 1 : 2006. / Titre provenant de l'écran-titre. Bibliogr. 5 p.

Première partie : Le retournement de mot est une opération de réécriture liée à une présentation (de semigroupe dans ce travail). Dans les bons cas, le retournement donne une solution au problème de mot. Sinon, il existe un moyen d'ajouter des relations à une présentation pour la rendre complète. D'un autre côté, les bases de Gröbner fournissent un moyen de compléter une présentation qui résout le problème de mot. On montre que les deux méthodes sont différentes ; une classification des divergences est proposée. On introduit ensuite une extension du retournement pour contourner le défaut de complétude de certaines présentations et on montre son efficacité sur la présentation d'Heisenberg — qui est incomplète. Deuxième partie : On se restreint aux présentations d'Artin-Tits des monoïdes de tresses. On montre que la distance combinatoire maximale entre deux mots de tresse équivalents est au moins quartique en leur largeur. On montre des critères simples pour qu'un diagramme de van Kampen (ou un diagramme de retournement) réalise la distance combinatoire entre deux mots équivalents. On calcule ensuite des bornes pour deux nombres liés au retournement de mot, et plus particulièrement pour les mots de tresse de largeurs arbitrairement grandes : le premier est, partant d'un mot, la longueur maximale d'une suite de retournements et le second la longueur du mot terminal (qui existe et est unique) d'une telle suite. Pour le premier, on montre une minoration quartique en la longueur du mot de départ ; pour le second, on établit une majoration cubique en la longueur.

L'analyse idempotente étudie les espaces linéaires de dimension infinie dans lesquels l'opération maximum se substitue à l'addition habituelle. Nous démontrons un ensemble de résultats dans ce cadre, en soulignant l'intérêt des outils d'approximation fournis par la théorie des domaines et des treillis continus. Deux champs d'étude sont considérés : l'intégration et la convexité. En intégration idempotente, les propriétés des mesures maxitives à valeurs dans un domaine, telles que la régularité au sens topologique, sont revues et complétées ; nous élaborons une réciproque au théorème de Radon-Nikodym idempotent ; avec la généralisation Z de la théorie des domaines nous dépassons différents travaux liés aux représentations de type Riesz des formes linéaires continues sur un module idempotent. En convexité tropicale, nous obtenons un théorème de type Krein-Milman dans différentes structures algébriques ordonnées, dont les semitreillis et les modules idempotents topologiques localement convexes ; pour cette dernière structure nous prouvons un théorème de représentation intégrale de type Choquet : tout élément d'un compact convexe K peut être représenté par une mesure de possibilité supportée par les points extrêmes de K. Des réflexions sont finalement abordées sur l'unification de l'analyse classique et de l'analyse idempotente. La principale piste envisagée vient de la notion de semigroupe inverse, qui généralise de façon satisfaisante à la fois les groupes et les semitreillis. Dans cette perspective nous examinons les propriétés "miroir" entre semigroupes inverses et semitreillis, dont la continuité fait partie. Nous élargissons ce point de vue en conclusion.

L'objectif de ce travail est l'étude de divers roblèmes d'équations aux dérivées partielles non linéaires du type hyperbolique et d'autres du type elliptique-parabolique faisant intervenir un opérateur en forme divergentielle du type Leray-Lions. Ces équations sont d'une façon générale mal posées dans le cadre de solutions faibles (i.e. au sens des distributions), car en général on n'a pas l'unicité. Des formulations plus appropriées ont alors vu le jour : les solutions appelées SOLA, les solutions entropiques et les solutions renormalisées. Cette thèse composée de cinq chapitres, présente des résultats d'existence et d'unicité de solutions entropiques et renormalisées pour quatre problèmes non linéaires du type mentionnés ci-dessus. Après un bref exposé de définitions et résultats nécessaires à la suite du travail, nous prouvons au chapitre 2 l'existence et l'unicité de la solution entropique pour un problème elliptique du type diffusion-convection avec des conditions non linéaires sur le bord. Ces conditions englobent en particulier les conditions usuelles. Dans le même axe, au chapitre 3, l'existence et l'unicité de la solution entropique d'un problème parabolique avec absorption dépendant de la variable d'espace sont démontrés. Le chapitre 4 a pour but de présenter un résultat d'existence de solutions renormalisées pour un problème de Stefan non linéaire. Le dernier résultat, présenté au chapitre 5, est l'existence et l'unicité de la solution entropique d'un problème de lois de conservation scalaires avec des conditions non linéaires sur le bord.

Cette thèse est composée de deux parties. Nous étudions dans la première la conjecture de Wilf pour les semi-groupes numériques et la résolvons dans certains cas. Dans la seconde nous considérons une classe de semi-groupes presque arithmétiques et donnons pour ces semi-groupes des formules explicites pour la base d’Apéry, le nombre de Frobenius, et les nombres de pseudo-Frobenius. Nouscaractérisons aussi ceux qui sont symétriques (resp. pseudo-symétriques). / The thesis is made up of two parts. We study in the first part Wilf’s conjecture for numerical semigroups. We give an equivalent form of Wilf’s conjecture in terms of the Apéry set, embedding dimension and multiplicity of a numerical semigroup. We also give an affirmative answer for the conjecture in certain cases. In the second part, we consider a class of almost arithmetic numerical semigroups and give for this class of semigroups explicit formulas for the Apéry set, the Frobenius number, the genus and the pseudo-Frobenius numbers. We also characterize the symmetric (resp. pseudo-symmetric) numerical semigroups for this class of numerical semigroups.

Ce travail traite du contrôle des systèmes décrits par des Equations aux Dérivés Partielles. La structure de Commande par Modèle Interne est étendue aux systèmes hyperboliques de dimension infinie, à contrôle frontière. Les EDP considérées sont celles de Saint-Venant, non linéaires, décrivant les écoulements à surface libre. <br />Le modèle utilisé est une linéarisation autour d'un écoulement permanent dont les coefficients dépendent de la variable d'espace. Les pentes et frottements sont non nuls, prenant en compte les phénomènes variables le long du canal. <br />L'analyse et la synthèse du contrôle sont réalisées en considérant le système en boucle fermée comme une perturbation de celui en boucle ouverte. Les perturbations portent sur les opérateurs, les semigroupes et le spectre dans un espace de Hilbert. L'opérateur hyperbolique Ae(x)dx+ Be(x) est caractérisé explicitement sans transformation préalable, en dimension une d'espace, où Ae(x) et Be(x) sont bornés. <br />Pour la synthèse de commande, une structure de contrôle frontière par modèle interne est utilisée, après avoir été ramené sous forme Kalmanienne abstraite. L'analyse de la stabilité en boucle fermée, par la théorie de la perturbation en dimension infinie, permet de donner des conditions suffisantes sur les paramètres de synthèse d'une loi de commande du type intégral et/ou proportionnel. <br />Les résultats en simulation et expérimentaux sur le canal de Valence montrent la faisabilité de l'approche. Elle est testée dans le cas monobief et multibiefs.

Ce travail est une contribution à l'étude de la limite singulière des équations et des systèmes de Réaction-Diffusion. Ces derniers modélisent des problèmes issus de la physique, de la chimie, de la biologie et des sciences de la technologie. En effet, ce type de problème se présente dans la nature et sont caractérisés par la présence de paramètres qui, lorsqu' ils sont suffisamment grands, donnent lieu généralement à un phénomène appelé couches limites. Cette thèse est composée de cinq chapitres traitant les limites singulières des équations et des systèmes de Réaction Diffusion ainsi que l' existence et l'unicité de solution pour un problème d'obstacle et de quelques EDPs elliptique-parabolique doublement non linéaire avec un opérateur de type Leray Lions. Dans le premier chapitre, nous présentons des résultats théoriques et abstraits sur les limites singulières, où nous traitons aussi la compétition entre deux ou plusieurs opérateurs. Nous appliquons ces résultats dans le contexte des équations aux dérivées partielles et nous étudions le comportement de la solution d'un modèle, lorsque les coefficients de diffusion et/ou de réaction deviennent très grands. Dans les deux chapitres qui suivent, nous considérons un système de réaction diffusion intervenant dans des modèles (macroscopiques) de diffusion dans un milieu hétérogène. Nous présentons d'abord une analyse mathématique (existence et unicité de la solution), ensuite nous étudions le comportement de la solution lorsque le paramètre d'homogénéité devient très grand sur un sous domaine. Le chapitre trois est dédié à l'analyse numérique d'un modèle linéaire, nous prouvons l' existence d'une solution approchée satisfaisant des propriétés de stabilité et de convergence vers la solution du problème continu indépendamment du paramètre d'homogénéité. Le chapitre quatre a pour objet l'étude de l'existence et l'unicité de la solution d'un problème d'obstacle doublement non linéaire avec des contraintes bilatérales, dépendantes de l'espace. Enfin, dans le cinquième chapitre, nous présentons une généralisation des résultats du chapitre trois au cas d'un opérateur de type Leray-Lions et une réaction qui dépend de l'espace.