Spelling suggestions: "subject:"minimiser"" "subject:"minimises""
1 |
Analyse dans les espaces de Banach / Analysis in Banach spacesProcházka, Antonín 24 June 2009 (has links)
Cette thèse traite quatre sujets différents de la théorie des espaces de Banach: Le premier est une caractérisation de la propriété de Radon-Nikodym en utilisant la notion du jeu des points et tranches: Le deuxième est une évaluation de l'indice de dentabilité préfaible des espaces C(K) où K est un compact du hauteur dénombrable: Le troisième est un renormage des espaces non séparables qui est simultanément LUC, lisse et approximable par des normes d'une lissité plus élevée. Le quatrième est une approche par le théorème de Baire aux principes variationnels paramétriques. La thèse commence par une introduction qui examine le contexte de ces résultats. / The thesis deals with four topics in the theory of Banach spaces. The first of them is a characterization of the Radon-Nikodym property using the notion of point-slice games. The second is a computation of the w* dentability index of the spaces C(K), where K is a compact of countable height. The third is a renorming result in nonseparable spaces, producing norms which are differentiable, LUR and approximated by norms of higher smoothness. The fourth topic is a Baire cathegory approach to parametric smooth variational principles. The thesis features an introduction which surveys the background of these results.
|
2 |
Existence non existence et multiplicité d'ondes stationnaires normalisées pour quelques équations non linéaires elliptiquesLuo, Tingjian 18 December 2013 (has links) (PDF)
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.
|
3 |
Sur quelques problèmes de reconstruction en imagerie MA-TIRF et en optimisation parcimonieuse par relaxation continue exacte de critères pénalisés en norme-l0 / On some reconstruction problems in MA-TIRF imaging and in sparse optimization using continuous exact relaxation of l0-penalized criteriaSoubies, Emmanuel 14 October 2016 (has links)
Cette thèse s'intéresse à deux problèmes rencontrés en traitement du signal et des images. Le premierconcerne la reconstruction 3D de structures biologiques à partir d'acquisitions multi-angles enmicroscopie par réflexion totale interne (MA-TIRF). Dans ce contexte, nous proposons de résoudre leproblème inverse avec une approche variationnelle et étudions l'effet de la régularisation. Une batteried'expériences, simples à mettre en oeuvre, sont ensuite proposées pour étalonner le système et valider lemodèle utilisé. La méthode proposée s'est montrée être en mesure de reconstruire avec précision unéchantillon phantom de géométrie connue sur une épaisseur de 400 nm, de co-localiser deux moléculesfluorescentes marquant les mêmes structures biologiques et d'observer des phénomènes biologiquesconnus, le tout avec une résolution axiale de l'ordre de 20 nm. La deuxième partie de cette thèseconsidère plus précisément la régularisation l0 et la minimisation du critère moindres carrés pénalisé (l2-l0) dans le contexte des relaxations continues exactes de cette fonctionnelle. Nous proposons dans unpremier temps la pénalité CEL0 (Continuous Exact l0) résultant en une relaxation de la fonctionnelle l2-l0 préservant ses minimiseurs globaux et pour laquelle de tout minimiseur local on peut définir unminimiseur local de l2-l0 par un simple seuillage. Par ailleurs, nous montrons que cette relaxation éliminedes minimiseurs locaux de la fonctionnelle initiale. La minimisation de cette fonctionnelle avec desalgorithmes d'optimisation non-convexe est ensuite utilisée pour différentes applications montrantl'intérêt de la minimisation de la relaxation par rapport à une minimisation directe du critère l2-l0. Enfin,une vue unifiée des pénalités continues de la littérature est proposée dans ce contexte de reformulationexacte du problème / This thesis is devoted to two problems encountered in signal and image processing. The first oneconcerns the 3D reconstruction of biological structures from multi-angle total interval reflectionfluorescence microscopy (MA-TIRF). Within this context, we propose to tackle the inverse problem byusing a variational approach and we analyze the effect of the regularization. A set of simple experimentsis then proposed to both calibrate the system and validate the used model. The proposed method hasbeen shown to be able to reconstruct precisely a phantom sample of known geometry on a 400 nmdepth layer, to co-localize two fluorescent molecules used to mark the same biological structures andalso to observe known biological phenomena, everything with an axial resolution of 20 nm. The secondpart of this thesis considers more precisely the l0 regularization and the minimization of the penalizedleast squares criteria (l2-l0) within the context of exact continuous relaxations of this functional. Firstly,we propose the Continuous Exact l0 (CEL0) penalty leading to a relaxation of the l2-l0 functional whichpreserves its global minimizers and for which from each local minimizer we can define a local minimizerof l2-l0 by a simple thresholding. Moreover, we show that this relaxed functional eliminates some localminimizers of the initial functional. The minimization of this functional with nonsmooth nonconvexalgorithms is then used on various applications showing the interest of minimizing the relaxation incontrast to a direct minimization of the l2-l0 criteria. Finally we propose a unified view of continuouspenalties of the literature within this exact problem reformulation framework
|
4 |
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.
|
Page generated in 0.0326 seconds