Les travaux de recherches présentés dans ce document sont axés autour de deux thèmes. La première thématique concerne l'élaboration de méthodes numériques pour la simulation des solutions d'équations de type Schrödinger linéaire et non linéaire intervenant en mécanique des fluides et en optique non linéaire, en couplant l'analyse de schémas numériques et la construction de conditions aux limites artificielles. Le deuxième thème aborde la modélisation de phénomènes d'instabilité dans le plasma ionosphérique terrestre.

Dans cette thèse, on étudie la contrôlabilité et la stabilisation de certaines équations aux dérivées partielles dispersives. On s'intéresse d'abord au problème du contrôle interne. Grâce à des méthodes d'analyse microlocale et à l'utilisation des espaces de Bourgain, on prouve la stabilisation et la contrôlabilité en grand temps de l'équation de Schrödinger non linéaire, d'abord sur un intervalle, puis sur des variétés de dimension 3. Dans le cas d'un intervalle, on raisonne à la régularité L^2, permettant ainsi de traiter une non-linéarité focalisante ou défocalisante. On obtient aussi des résultats de régularité supplémentaire pour le contrôle. De plus, on prouve la contrôlabilité aux trajectoires, dont on déduit une deuxième preuve de la contrôlabilité globale. On applique ensuite ces méthodes à l'équation de Korteweg-de Vries en données périodiques. Pour cette équation, on donne aussi un terme d'amortissement dépendant du temps permettant d'avoir un taux de décroissance exponentielle arbitraire. On étudie aussi l'équation de Klein-Gordon sur des variétés compactes avec une nonlinéarité critique. Sous des hypothèses légèrement plus fortes que la condition de contrôle géométrique, on prouve la stabilisation et la contrôlabilité en grand temps pour des données haute fréquence. La preuve nécessite la mise en oeuvre d'une décomposition en prols sur des variétés pour laquelle des effets géométriques doivent être analysés. Dans une dernière partie, on étudie le contrôle bilinéaire. Grâce à un effet régularisant, on établit la contrôlabilité locale de l'équation de Schrödinger sur un intervalle avec une preuve plus simple que dans la littérature existante, permettant ainsi d'atteindre les espaces optimaux et en temps arbitraire. La méthode est assez robuste pour être étendue à d'autres situations : les données radiales sur la boule, l'équation de Schrödinger non linéaire et des ondes non linéaire sur un intervalle.

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.

Dans cette thèse, on construit un grand nombre de solutions globales pour de nombreuses équations de Schrödinger sur-critiques. Le principe consiste à rendre la donnée initiale aléatoire, selon les mêmes méthodes que Nicolas Burq, Nikolay Tzvetkov et Laurent Thomann afin de gagner de la dérivabilité.On considère d'abord l'équation de Schrödinger cubique en dimension 3. En partant de variables aléatoires gaussiennes et de la base de L^2(R^3) formée des fonctions d'Hermite tensorielles, on construit des ensembles de solutions globales pour des données initiales qui sont moralement dans L^2(R^3). Les points clefs de la démonstration sont l'existence d'une estimée bilinéaire de type Bourgain pour l'oscillateur harmonique et la transformation de lentille qui permet de se ramener à prouver l'existence locale de solutions à l'équation de Schrödinger avec potentiel harmonique.On étudie ensuite l'effet régularisant pour prouver un théorème analogue où le gain de dérivée vaut 1/2-2/(p-1) où p correspond à la non linéarité de l'équation. Le gain est donc plus faible que précédemment mais la base de fonctions propres quelconques. De plus, la méthode s'appuyant sur des estimées linéaires, on établit le résultat pour des variables aléatoires dont la queue de distribution est à décroissance exponentielle.Enfin, on démontre des estimées multilinéaires en dimension 2 pour une base de fonctions propres quelconques ainsi que des inégalités de types chaos de Wiener pour une classe générale de variables aléatoires. Cela nous permet d'établir le théorème pour l'équation de Schrödinger quintique, avec un gain de dérivée égal à 1/3, dans le même cadre que la partie précédente.

Dans cette thèse, on construit un grand nombre de solutions globales pour de nombreuses équations de Schrödinger sur-critiques. Le principe consiste à rendre la donnée initiale aléatoire, selon les mêmes méthodes que Nicolas Burq, Nikolay Tzvetkov et Laurent Thomann afin de gagner de la dérivabilité.On considère d'abord l'équation de Schrödinger cubique en dimension 3. En partant de variables aléatoires gaussiennes et de la base de L^2(R^3) formée des fonctions d'Hermite tensorielles, on construit des ensembles de solutions globales pour des données initiales qui sont moralement dans L^2(R^3). Les points clefs de la démonstration sont l'existence d'une estimée bilinéaire de type Bourgain pour l'oscillateur harmonique et la transformation de lentille qui permet de se ramener à prouver l'existence locale de solutions à l'équation de Schrödinger avec potentiel harmonique.On étudie ensuite l'effet régularisant pour prouver un théorème analogue où le gain de dérivée vaut 1/2-2/(p-1) où p correspond à la non linéarité de l'équation. Le gain est donc plus faible que précédemment mais la base de fonctions propres quelconques. De plus, la méthode s'appuyant sur des estimées linéaires, on établit le résultat pour des variables aléatoires dont la queue de distribution est à décroissance exponentielle.Enfin, on démontre des estimées multilinéaires en dimension 2 pour une base de fonctions propres quelconques ainsi que des inégalités de types chaos de Wiener pour une classe générale de variables aléatoires. Cela nous permet d'établir le théorème pour l'équation de Schrödinger quintique, avec un gain de dérivée égal à 1/3, dans le même cadre que la partie précédente. / In this thesis, we build a large number of global solutions for many supercritical Schrödinger equations. The method is to make the random initial data, using the same methods that Nicolas Burq, Nikolay Tzvetkov and Laurent Thomann in order to obtain differentiability. First, we consider the cubic Schrödinger equation in three dimensional. Using Gaussian random variables and the basis of L^2(R^3) consists of tensorial Hermite functions, we construct sets of solutions for initial data that are morally in L^2(R^3). The main ingredients of the proof are the existence of Bourgain type bilinear estimates for the harmonic oscillator and the lens transform which can be reduced to prove a local existence of solutions for the Schrödinger equation with harmonic potential. Next, we study the smoothing effect to prove an analogous theorem which the gain of differentiability is equalto 1/2-2/(p-1) which p is the nonlinearity of the equation. This gain is lower than previously but the basis of eigenfunctions are general. As the method uses only linear estimates, we establish the result for a general class of random variables.Finally, we prove multilinear estimates in two dimensional for a basis of ordinaries eigenfunctions and Wienerchaos type inequalities for classical random variables. This allows us to establish the theorem for the quinticSchrödinger equation, with a gain of differentiability equals to 1/3, in the same context as the previous chapter.

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.

Nous nous intéressons, dans cette thèse, à l'étude des méthodes d'extrapolation polynômiales et à l'application de ces méthodes dans l'accélération de méthodes de points fixes pour des problèmes donnés. L'avantage de ces méthodes d'extrapolation est qu'elles utilisent uniquement une suite de vecteurs qui n'est pas forcément convergente, ou qui converge très lentement pour créer une nouvelle suite pouvant admettreune convergence quadratique. Le développement de méthodes cycliques permet, deplus, de limiter le coût de calculs et de stockage. Nous appliquons ces méthodes à la résolution des équations de Navier-Stokes stationnaires et incompressibles, à la résolution de la formulation Kohn-Sham de l'équation de Schrödinger et à la résolution d'équations elliptiques utilisant des méthodes multigrilles. Dans tous les cas, l'efficacité des méthodes d'extrapolation a été montrée.Nous montrons que lorsqu'elles sont appliquées à la résolution de systèmes linéaires, les méthodes d'extrapolation sont comparables aux méthodes de sous espaces de Krylov. En particulier, nous montrons l'équivalence entre la méthode MMPE et CMRH. Nous nous intéressons enfin, à la parallélisation de la méthode CMRH sur des processeurs à mémoire distribuée et à la recherche de préconditionneurs efficaces pour cette même méthode.

Nous nous intéressons, dans cette thèse, à l'étude des méthodes d'extrapolation polynômiales et à l'application de ces méthodes dans l'accélération de méthodes de points fixes pour des problèmes donnés. L'avantage de ces méthodes d'extrapolation est qu'elles utilisent uniquement une suite de vecteurs qui n'est pas forcément convergente, ou qui converge très lentement pour créer une nouvelle suite pouvant admettreune convergence quadratique. Le développement de méthodes cycliques permet, deplus, de limiter le coût de calculs et de stockage. Nous appliquons ces méthodes à la résolution des équations de Navier-Stokes stationnaires et incompressibles, à la résolution de la formulation Kohn-Sham de l'équation de Schrödinger et à la résolution d'équations elliptiques utilisant des méthodes multigrilles. Dans tous les cas, l'efficacité des méthodes d'extrapolation a été montrée.Nous montrons que lorsqu'elles sont appliquées à la résolution de systèmes linéaires, les méthodes d'extrapolation sont comparables aux méthodes de sous espaces de Krylov. En particulier, nous montrons l'équivalence entre la méthode MMPE et CMRH. Nous nous intéressons enfin, à la parallélisation de la méthode CMRH sur des processeurs à mémoire distribuée et à la recherche de préconditionneurs efficaces pour cette même méthode. / In this thesis, we study polynomial extrapolation methods. We discuss the design and implementation of these methods for computing solutions of fixed point methods. Extrapolation methods transform the original sequance into another sequence that converges to the same limit faster than the original one without having explicit knowledge of the sequence generator. Restarted methods permit to keep the storage requirement and the average of computational cost low. We apply these methods for computing steady state solutions of incompressible flow problems modelled by the Navier-Stokes equations, for solving the Schrödinger equation using the Kohn-Sham formulation and for solving elliptic equations using multigrid methods. In all cases, vector extrapolation methods have a useful role to play. We show that, when applied to linearly generated vector sequences, extrapolation methods are related to Krylov subspace methods. For example, we show that the MMPE approach is mathematically equivalent to CMRH method. We present an implementation of the CMRH iterative method suitable for parallel architectures with distributed memory. Finally, we present a preconditioned CMRH method.

Nous nous intéresserons d'abord aux équations stochastiques de Navier-Stokes bidimensionnelles (NS), de Ginzburg-Landau Complexes (CGL) et de Schrödinger non-linéaires (NLS) munies d'un bruit blanc en temps et régulier pour la variable spatiale. En nous appuyant sur des méthodes de couplages, nous établirons le caractère exponentiellement (resp polynomialement) mélangeant de NS et CGL (resp NLS) lorseque le bruit recouvre un nombre suffisant de bas modes. Deux des innovations majeures de ces résultats sont le fait que l'on s'autorise à traiter des équations non-dissipatives telles que NLS et que l'on considère des bruits non additifs.<br />Dans un deuxième temps, nous considérerons les équations de Navier-Stokes stochastiques tridimensionnelles (NS3D). Nous établirons la régularité Hp et Gevrey des solutions stationnaires de NS3D et nous en déduirons des informations sur l'échelle de dissipation de Kolmogorov (K41). Puis, nous établirons le caractère exponentiellement mélangeant des solutions de NS3D lorsque le bruit est à la fois suffisament régulier et non-dégénéré.