Spelling suggestions: "subject:"deméthodes variationnelle"" "subject:"etméthodes variationnelle""
41 |
Méthodes variationnelles et topologiques pour l'étude de modèles non liénaires issus de la mécanique relativiste / Variational and topological methods for the study of nonlinear models from relativistic quantum mechanics.Le Treust, Loïc 05 July 2013 (has links)
Cette thèse porte sur l'étude de modèles non linéaires issus de la mécanique quantique relativiste.Dans la première partie, nous démontrons à l'aide d'une méthode de tir l'existence d'une infinité de solutions d'équations de Dirac non linéaires provenant d'un modèle de hadrons et d'un modèle de la physique des noyaux.Dans la seconde partie, nous prouvons par des méthodes variationnelles l'existence d'un état fondamental et d'états excités pour deux modèles de la physique des hadrons. Par la suite, nous étudions la transition de phase reliant les deux modèles grâce à la Gamma-convergence.La dernière partie est consacrée à l'étude d'un autre modèle de hadrons dans lequel les fonctions d'onde des quarks sont parfaitement localisées. Nous énonçons quelques résultats préliminaires que nous avons obtenus. / This thesis is devoted to the study of nonlinear models from relativistic quantum mechanics.In the first part, we show thanks to a shooting method, the existence of infinitely many solutions of nonlinear Dirac equations of two models from the physics of hadrons and the physics of the nucleus.In the second part, we prove thanks to variational methods the existence of a ground state and excited states for two models of the physics of hadrons. Next, we study the phase transition which links the models thanks to the $\Gamma$-convergence.The last part is devoted to the study of another model from the physics of hadrons in which the wave functions are perfectly confined. We give some preliminary results.
|
42 |
Fonctions presque-périodiques et Équations DifférentiellesLassoued, Dhaou 09 December 2013 (has links) (PDF)
Cette thèse porte sur les équations d'évolution et s'articule autour de trois parties. Dans la première partie, on se propose de se concentrer sur le critère oscillatoire de certaines équations différentielles. Des résultats classiques sur les fonctions presque-périodiques sont rassemblés dans le premier chapitre. Le deuxième chapitre de cette thèse a pour objectif de prouver l'existence d'une solution presque-périodique de Besicovitch d'une équation différentielle de second ordre sur un espace de Hilbert. L'approche utilisée se base sur un formalisme variationnel. La deuxième partie de cette thèse traite le comportement asymptotique des problèmes de Cauchy dans le cas non autonome. Les semi-groupes et les familles d'évolution étant les outils principaux utilisés dans cette partie, le troisième chapitre introduit des résultats importants de cette théorie, notamment ceux permettant de caractériser la stabilité des semi-groupes et des familles d'évolution périodiques. Dans le quatrième chapitre de cette contribution, on prouve, en utilisant une approche basée sur les semi-groupes, un résultat liant la bornitude de solutions de problèmes de Cauchy périodiques et la stabilité exponentielle uniforme des familles d'évolution issues de ces problèmes. Dans une troisième partie, on focalise l'attention sur quelques résultats sur la dichotomie exponentielle comme une propriété liée au comportement asymptotique des systèmes différentiels. Quelques résultats connus sont, par suite, réunis au cinquième chapitre qui introduit brièvement la notion de dichotomie exponentielle. Dans un dernier chapitre, une caractérisation de la dichotomie exponentielle d'une famille d'évolution en termes de bornitude des solutions de problèmes de Cauchy opératoriels correspondants sera démontrée.
|
43 |
Reconstruction, Détection et Régularisation de Données DiscrètesBougleux, Sébastien 05 December 2007 (has links) (PDF)
Cette thèse traite des problématiques de structuration et de traitement de données discrètes organisées ou non. Elle se décompose en deux parties. La première partie concerne la structuration de données représentées par des ensembles de points du plan ou de l'espace Euclidien. Dans ce contexte, nous considérons les problèmes de la reconstruction polygonale de courbes planaires et de la détection de formes géométriques 3D connues. Ces deux problèmes sont traités par des techniques de géométrie algorithmique et combinatoire, basées sur le diagramme de Voronoï et la triangulation de Delaunay. Dans le cadre de la reconstruction de courbes planaires, nous proposons une famille hiérarchique de sous-graphes du graphe de Gabriel, que nous appelons les beta-CRUSTS Locaux. Nous étudions les propriétés de cette famille, qui nous permettent de concevoir un algorithme de reconstruction des courbes simples. Ensuite, nous proposons une méthode de détection de formes géométriques connues à partir d'un ensemble de points 3D (nous nous restreignons au cas des structures linéaires et planaires), plongés dans un milieu bruité ou non. Cette méthode est basée sur une extension des alpha-formes, générées à partir de boules ellipsoïdales. Dans une deuxième partie, nous traitons le problème de la régularisation de données par des méthodes variationnelles discrètes sur graphes pondérés, de topologie quelconque. Pour cela, nous proposons une large famille de fonctionnelles discrètes, basées sur les normes L2 et Lp du gradient. Ceci conduit à des processus de diffusion linéaire ou non-linéaire sur graphes. Ce formalisme étend un certain nombre de modèles variationnels, que nous appliquons à des problèmes de restauration, de lissage, et de simplification d'images et de maillages.
|
44 |
Existence non existence et multiplicité d'ondes stationnaires normalisées pour quelques équations non linéaires elliptiques / Existence, non existence et multiplicité d'ondes stationnaires normalisées pour quelques équations non linéaires elliptiquesExistence, non-existence and multiplicity of normalized standing waves for some nonlinear elliptic equationsLuo, Tingjian 18 December 2013 (has links)
Dans cette thèse, nous étudions l’existence, non existence et multiplicité des ondes stationnairesavec les normes prescrites pour deux types d’équations aux dérivées partiellesnon linéaires elliptiques découlant de différents modèles physiques. La stabilité orbitale desondes stationnaires est également étudiée dans certains cas. Les principales méthodes denos preuves sont des arguments variationnels. Les solutions sont obtenues comme pointscritiques de fonctionnelle associée sur une contrainte.La thèse se compose de sept chapitres. Le Chapitre 1 est l’introduction de la thèse. Dansles Chapitres 2 à 4, nous étudions une classe d’équations de Schrödinger-Poisson-Slaternon linéaires. Nous établissons dans le Chapitre 2 des résultats optimaux non existencede solutions d’énergie minimale ayant une norme L2 prescrite. Dans le Chapitre 3, nousmontrons un résultat d’existence de solutions L2 normalisées, dans une cas où la fonctionnelleassociée n’est pas bornée inférieurement sur la contrainte. Nos solutions sonttrouvées comme des points de selle de la fonctionnelle, mais ils correspondent à des solutionsd’énergée minimale. Nous montrons également que les ondes stationnaires associéessont orbitalement instables. Ici, puisque nos points critiques présumés ne sont pas desminimiseurs globaux, il n’est pas possible d’utiliser de façon systématique les méthodesde compacité par concentration développées par P. L. Lions. Ensuite, dans le Chapitre4, nous montrons que sous les hypothèses du Chapitre 3, il existe une infinité de solutionsayant une norme L2 prescrite. Dans les deux chapitres suivants, nous étudions uneclasse d’équations de Schrödinger quasi-linéaires. Des résultats optimaux non existence desolutions d’énergie minimale sont donnés dans le Chapitre 5. Dans le Chapitre 6, nousprouvons l’existence de deux solutions positives ayant une norme donnée. L’une d’elles,relativement à la contrainte L2, est de type point selle. L’autre est un minimum, soit localou global. Le fait que la fonctionnelle naturelle associée à cette équation n’est pas biendéfinie nécessite l’utilisation d’une méthode de perturbation pour obtenir ces deux pointscritiques. Enfin, au Chapitre 7, nous mentionnons quelques questions que cette thèse asoulevées. / In this thesis, we study the existence, non-existence and multiplicity of standing waves withprescribed norms for two types of nonlinear elliptic partial differential equations arisingfrom various physical models. The orbital stability of the standing waves is also discussedin some cases. The main ingredients of our proofs are variational arguments. The solutionsare found as critical points of an associated functional on a constraint.The thesis consists of seven chapters. Chapter 1 is the Introduction of the thesis.In Chapters 2 to 4, we study a class of nonlinear Schrödinger-Poisson-Slater equations.We establish in Chapter 2 sharp non-existence results of least energy solutions having aprescribed L2-norm. In Chapter 3 we prove an existence result for L2-normalized solutions,in a situation where the associated functional is unbounded from below on the constraint.Our solutions are found as saddle points of the functional but they correspond to leastenergy solutions. We also prove that the associated standing waves are orbitally unstable.Here a key feature is that, since our suspected critical points are not global minimizers, itis not possible to use in a standard way the machinery of compactness by concentrationdeveloped by P. L. Lions. Then, in Chapter 4, we prove that under the assumptions ofChapter 3, there do exist infinitely many solutions having a prescribed L2-norm. In thefollowing two chapters, we investigate a class of quasi-linear Schrödinger equations. Sharpnon-existence results of least energy solutions are given in Chapter 5. In Chapter 6 weprove the existence of two positive solutions having a given norm. One of them, is relativeto the L2-norm constraint, of saddle point type. The other one is a minimum, either localor global. The fact that the natural functional associated with this equation is not welldefined requires the use of a perturbation approach to obtain these two critical points.Finally, in Chapter 7 we mention some questions that this thesis has raised.
|
45 |
Inégalités de Landau-Kolmogorov dans des espaces de Sobolev / Landau-Kolmogorov inequalities in Sobolev spacesAbbas, Lamia 18 February 2012 (has links)
Ce travail est dédié à l’étude des inégalités de type Landau-Kolmogorov en normes L2. Les mesures utilisées sont celles d’Hermite, de Laguerre-Sonin et de Jacobi. Ces inégalités sont obtenues en utilisant une méthode variationnelle. Elles font intervenir la norme d’un polynômes p et celles de ces dérivées. Dans un premier temps, on s'intéresse aux inégalités en une variable réelle qui font intervenir un nombre quelconque de normes. Les constantes correspondantes sont prises dans le domaine où une certaine forme bilinéaire est définie positive. Ensuite, on généralise ces résultats aux polynômes à plusieurs variables réelles en utilisant le produit tensoriel dans L2 et en faisant intervenir au plus les dérivées partielles secondes. Pour les mesures d'Hermite et de Laguerre-Sonin, ces inégalités sont étendues à toutes les fonctions d'un espace de Sobolev. Pour la mesure de Jacobi on donne des inégalités uniquement pour les polynômes d'un degré fixé par rapport à chaque variable. / This thesis is devoted to Landau-Kolmogorov type inequalities in L2 norm. The measures which are used, are the Hermite, the Laguerre-Sonin and the Jacobi ones. These inequalities are obtained by using a variational method and the involved the square norms of a polynomial p and some of its derivatives. Initially, we focused on inequalities in one real variable that involve any number of norms. The corresponding constants are taken in the domain where a certain biblinear form is positive definite. Then we generalize these results to polynomials in several real variables using the tensor product in L2 and involving at most the second partial derivatives. For the Hermite and Laguerrre-Sonin cases, these inequalities are extended to all functions of a Sobolev space. For the Jacobi case inequalities are given only for polynomials of degree fixed with respect to each variable.
|
46 |
Méthodes variationnelles pour la segmentation d'images à partir de modèles : applications en imagerie médicalePrevost, Raphaël 21 October 2013 (has links) (PDF)
La segmentation d'images médicales est depuis longtemps un sujet de recherche actif. Cette thèse traite des méthodes de segmentation basées modèles, qui sont un bon compromis entre généricité et capacité d'utilisation d'informations a priori sur l'organe cible. Notre but est de construire un algorithme de segmentation pouvant tirer profit d'une grande variété d'informations extérieures telles que des bases de données annotées (via l'apprentissage statistique), d'autres images du même patient (via la co-segmentation) et des interactions de l'utilisateur. Ce travail est basé sur la déformation de modèle implicite, une méthode variationnelle reposant sur une représentation implicite des formes. Après avoir amélioré sa formulation mathématique, nous montrons son potentiel sur des problèmes cliniques difficiles. Nous introduisons ensuite différentes généralisations, indépendantes mais complémentaires, visant à enrichir le modèle de forme et d'apparence utilisé. La diversité des applications cliniques traitées prouve la généricité et l'efficacité de nos contributions.
|
47 |
Mathematical modelling of image processing problems : theoretical studies and applications to joint registration and segmentation / Modélisation mathématique de problèmes relatifs au traitement d'images : étude théorique et applications aux méthodes conjointes de recalage et de segmentationDebroux, Noémie 15 March 2018 (has links)
Dans cette thèse, nous nous proposons d'étudier et de traiter conjointement plusieurs problèmes phares en traitement d'images incluant le recalage d'images qui vise à apparier deux images via une transformation, la segmentation d'images dont le but est de délimiter les contours des objets présents au sein d'une image, et la décomposition d'images intimement liée au débruitage, partitionnant une image en une version plus régulière de celle-ci et sa partie complémentaire oscillante appelée texture, par des approches variationnelles locales et non locales. Les relations étroites existant entre ces différents problèmes motivent l'introduction de modèles conjoints dans lesquels chaque tâche aide les autres, surmontant ainsi certaines difficultés inhérentes au problème isolé. Le premier modèle proposé aborde la problématique de recalage d'images guidé par des résultats intermédiaires de segmentation préservant la topologie, dans un cadre variationnel. Un second modèle de segmentation et de recalage conjoint est introduit, étudié théoriquement et numériquement puis mis à l'épreuve à travers plusieurs simulations numériques. Le dernier modèle présenté tente de répondre à un besoin précis du CEREMA (Centre d'Études et d'Expertise sur les Risques, l'Environnement, la Mobilité et l'Aménagement) à savoir la détection automatique de fissures sur des images d'enrobés bitumineux. De part la complexité des images à traiter, une méthode conjointe de décomposition et de segmentation de structures fines est mise en place, puis justifiée théoriquement et numériquement, et enfin validée sur les images fournies. / In this thesis, we study and jointly address several important image processing problems including registration that aims at aligning images through a deformation, image segmentation whose goal consists in finding the edges delineating the objects inside an image, and image decomposition closely related to image denoising, and attempting to partition an image into a smoother version of it named cartoon and its complementary oscillatory part called texture, with both local and nonlocal variational approaches. The first proposed model addresses the topology-preserving segmentation-guided registration problem in a variational framework. A second joint segmentation and registration model is introduced, theoretically and numerically studied, then tested on various numerical simulations. The last model presented in this work tries to answer a more specific need expressed by the CEREMA (Centre of analysis and expertise on risks, environment, mobility and planning), namely automatic crack recovery detection on bituminous surface images. Due to the image complexity, a joint fine structure decomposition and segmentation model is proposed to deal with this problem. It is then theoretically and numerically justified and validated on the provided images.
|
Page generated in 0.1259 seconds