Spelling suggestions: "subject:"problèmes aux limites"" "subject:"roblèmes aux limites""
1 |
Construction et analyse de conditions aux limites artificielles pour des équations de Schrödinger avec potentiels et non linéarités / Construction and analysis of artificial boundary conditions for Schrödinger equations with potentials or nonlinearitiesKlein, Pauline 03 November 2010 (has links)
L'équation de Schrödinger est une équation fondamentale de la physique, qui fait intervenir une fonction appelée potentiel, linéaire ou non linéaire, pouvant prendre différentes expressions selon le contexte physique. Pour résoudre numériquement cette équation, il faut se restreindre à un domaine borné en espace, en précisant sur la frontière de ce domaine de calcul des conditions aux limites artificielles (CLA) appropriées. En dimension un et pour un potentiel nul, la condition aux limites exacte est connue. L'objectif de cette thèse est de généraliser ces résultats en construisant des CLA approchées dans le cas d'un potentiel, linéaire ou non linéaire. A cette fin, nous proposons une recherche détaillée de méthodes permettant de tenir compte du potentiel, sans distinction selon ses propriétés mathématiques. Cette construction repose sur l'analyse microlocale et les règles du calcul symbolique associé aux opérateurs pseudodifférentiels. Les CLA obtenues se prêtent alors à une discrétisation et une implémentation numérique effective à l'aide d'un schéma de Crank-Nicolson suivi d'une méthode éléments finis linéaires. Dans ce travail, nous avons élaboré des familles de CLA pour l'équation en dimension un ou deux d'espace avec un potentiel linéaire ou non linéaire, ainsi que pour le problème stationnaire en dimension un. Dans chaque cas, de nombreuses simulations numériques ont été effectuées afin de comparer l'efficacité des conditions aux limites proposées par rapport aux autres méthodes existantes, ainsi que pour comparer entre elles les différentes familles de conditions aux limites construites suivant différentes stratégies / The Schrödinger equation is a fundamental equation involved in many physical domains. It deals with a linear or nonlinear function called potential, which can appear under various different expressions depending on the physical context. In order to solve the equation numerically, one has to restrict to a bounded spatial domain, and to add appropriate artificial boundary conditions (ABC) on the boundary of the computational domain. For the free-potential equation in one dimension, the exact boundary condition is known. The aim of this thesis is to generalize these results thanks to the construction of approximate ABC in the case of a linear or nonlinear potential. To this end, we propose a detailed research of methods taking the potential into account in the artifical boundary condition, without considering the mathematical properties of the considered potential. The construction of these CLA relies on microlocal analysis and the rules of symbolic calculus associated to pseudodifferential operators. These approximate boundary conditions can then be discretized and numerically computed, using a Crank-Nicolson scheme and a linear finite element method. In this work, we have derived families of ABCs for the Schrödinger equation in dimension one and two, with a linear or nonlinear potential, and for the stationary one-dimensional problem. In each case, many numerical simulations have been implemented in order to compare the efficiency of the new boundary conditions with respect to existing methods, and also in order to compare with one another the different families of boundary conditions developed following different strategies
|
2 |
Analyse et contrôle de quelques problèmes d'interaction fluide-structures / Analysis and Control of Some Problems of Fluid-Structures InteractionLiu, Yuning 14 November 2011 (has links)
Dans cette thèse, on s'intéresse au caractère bien posé et à la contrôlabilité de quelques systèmes d'interaction fluide-structure. Plus précisément, on considère le système constitué de structures déformables ou indéformables et d'un fluide visqueux incompressible. On suppose que le fluide satisfait les équations non linéaires de Navier-Stokes en dimension 2 ou 3 et de Burgers visqueux en dimension 1. Les équations du mouvement des structures sont obtenues en minimisant une énergie du système (principe de D'Alembert) ou en appliquant le principe fondamental de la dynamique (lois de Newton). Les principaux résultats de cette thèse concernent l?existence des solutions (faibles ou fortes) dans le cas déformable, et la contrôlabilité à zéro dans le cas indéformable / In this thesis, we consider the well-posedness and controllability of some systems of fluid-structure interaction. More precisely, we consider the system consisted of deformable or non-deformable structure and of a viscous incompressible fluid. We suppose that the fluid satisfy the Navier-Stokes equation in 2 or 3 dimensions and the viscous Burger equation in 1-d. The equations for the structures are obtained by minimizing certain energy of the system (D?Alembert principle) or by applying the fundamental principle of dynamics (Newton?s laws). The principal results of this thesis are: the existence of solutions (strong or weak) in the deformable case and the null-controllability in the non-deformable case
|
3 |
Extension de la théorie des espaces de tentes et applications à certains problèmes aux limites / Extensions of the theory of tent spaces and applications to boundary value problemsAmenta, Alexander 24 March 2016 (has links)
Nous étendons la théorie des espaces de tentes, définis classiquement sur R^n, à différents espaces métriques. Pour les espaces doublant nous montrons que la théorie usuelle «globale» reste valide, et pour les espaces «non-uniformément localement doublant» (y compris R^n avec la mesure gaussienne) nous établissons une théorie locale satisfaisante. Dans le contexte doublant nous prouvons des résultats de plongement du type Hardy–Littlewood–Sobolev pour des espaces de tentes a poids, et dans le cas particulier des espaces métriques non-bornes AD-réguliers nous identifions les espaces d’interpolation réelle (les «espaces-Z») des espaces de tentes a poids. Les espaces de tentes a poids et les espaces-Z sur R^n sont ensuite utilises pour construire les espaces de Hardy–Sobolev et de Besov adaptes a des opérateurs de Dirac perturbes. Ces espaces jouent un rôle clé dans la classification des solutions de systèmes du premier ordre de type Cauchy–Riemann (ou de manière équivalente, la classification des gradients conormaux des solutions de systèmes elliptiques de second ordre) dans les espaces de tentes à poids et les espaces-Z. Nous établissons cette classification, et en corollaire nous obtenons une classification utile des cas ou les problèmes de Neumann et de Régularité; sont bien poses, pour des systèmes elliptiques de second ordre avec coefficients complexes et données dans les espaces de Hardy–Sobolev et de Besov d’ordre s en (-1,0). / We extend the theory of tent spaces from Euclidean spaces to various types of metric measure spaces. For doubling spaces we show that the usual `global' theory remains valid, and for `non-uniformly locally doubling' spaces (including R^n with the Gaussian measure) we establish a satisfactory local theory. In the doubling context we show that Hardy–Littlewood–Sobolev-type embeddings hold in the scale of weighted tent spaces, and in the special case of unbounded AD-regular metric measure spaces we identify the real interpolants (the `Z-spaces') of weighted tent spaces.Weighted tent spaces and Z-spaces on R^n are used to construct Hardy–Sobolev and Besov spaces adapted to perturbed Dirac operators. These spaces play a key role in the classification of solutions to first-order Cauchy–Riemann systems (or equivalently, the classification of conormal gradients of solutions to second-order elliptic systems) within weighted tent spaces and Z-spaces. We establish this classification, and as a corollary we obtain a useful characterisation of well-posedness of Regularity and Neumann problems for second-order complex-coefficient elliptic systems with boundary data in Hardy--Sobolev and Besov spaces of order s in (-1,0).
|
4 |
Résolution de problèmes aux limites à l'aide de méthodes itératives hiérarchiques à préconditionneur variableEl Maliki, Abderrahman 12 April 2018 (has links)
L'objectif des travaux présentés dans la thèse concerne la résolution par itérations de systèmes algébriques à grande échelle. Ces systèmes sont issus de la discrétisation par éléments finis de problèmes aux limites. Dans la majorité des cas en 3D, la phase de résolution s'avère l'étape la plus exigeante en terme de ressources informatiques. Ainsi, il est impératif de développer des méthodes itératives efficaces et robustes pour un large éventail de problèmes aux limites. Dans cette thèse, nous nous plaçons dans le cadre des méthodes itératives de Krylov à préconditionneur variable, c'est-à-dire autorisant une flexibilité au niveau du choix du préconditionnement en cours d'itération. Nous visons principalement des problèmes de type convection-diffusion, d'élasticité et de Navier-Stokes discrétisés par des éléments finis quadratiques. Afin de réduire les coûts inhérents aux éléments quadratiques, nous proposons une méthode de résolution multi-niveaux basée sur la hiérarchie naturelle entre les éléments finis linéaires et quadratiques d'où le nom de méthode hiérarchique. Elle possède plusieurs points en commun avec les méthodes multi-grilles mais a l'avantage de s'appliquer aux géométries complexes et aux maillages non-structures. L'utilisation de cette méthode comme préconditionneur à une méthode de Krylov à préconditionneur variable permet d'obtenir une méthode très efficace. L'autre partie de la thèse, concerne la résolution globale et itérative des systèmes de type point selle. Ces systèmes proviennent de la discrétisation des équations linéarisées du problème de Navier-Stokes. La résolution efficace de ces systèmes joue un rôle majeur dans le traitement numérique des équations de Navier-Stokes. Pour cela, nous avons mis en place un préconditionneur adroite de format triangulaire par bloc. Pour rendre ce préconditionneur efficace, nous avons fait appel à trois ingrédients : l'ajout du terme rV(div(u)) aux équations continues de Navier-Stokes, une résolution efficace en vitesse par la méthode hiérarchique et une bonne approximation du complément de Schur. Nos tests numériques montrent l'efficacité des méthodes présentées dans ce travail.
|
5 |
Théorie des opérateurs sur les espaces de tentes / Operator theory on tent spacesHuang, Yi 12 November 2015 (has links)
Nous donnons un mécanisme de type Calderón-Zygmund concernant la théorie de l’extrapolationpour des opérateurs d’intégrale singulière sur les espaces de tentes. Pour des opérateursde régularité maximale sur les espaces de tentes, nous donnons des résultats optimaux enexploitant la structure des opérateurs intégraux de convolution et en utilisant des estimationsde la décroissance hors-diagonale du semi-groupe ou de la famille résolvante sous-jacente.Nous appliquons des techniques précédentes d’analyse harmonique et fonctionnelle pourestimer sur les espaces de tentes certains opérateurs d’intégrale évolutionnelle, nées de l’étudedes problèmes aux limites elliptiques et des systèmes non-autonomes du premier ordre. / We give a Calderón-Zygmund type machinery concerning the extrapolation theory for thesingular integral operators on tent spaces. For maximal regularity operators on tent space, wegive some optimal results by exploiting the structure of convolution integral operators and byusing the off-diagonal decay estimates of the underlying semigroup or resolvent family.We apply the previous harmonic and functional analysis techniques to estimate on tentspaces certain evolutionary integral operators arisen from the study of boundary value ellipticproblems and first order non-autonomous systems.
|
6 |
Interactions d’ondes et de bordMarcou, Alice 17 June 2011 (has links)
Tout d'abord, des ondes de surface, solutions de problèmes aux limites hyperboliques non linéaires, sont étudiées : on construit une solution BKW sous forme de développement infini en puissance de epsilon. On le justifie rigoureusement, en construisant une solution exacte, qui admet ce développement asymptotique. On montre que la solution n'est pas nécessairement purement localisée sur la frontière, même lorsque le terme source l'est ; l'exemple d'un cas particulier de l'élasticité est traité. Ensuite, on étudie la réflexion d'ondes non linéaires discontinues, pour des problèmes aux limites hyperboliques, faiblement bien posés, ni fortement stables, ni fortement instables. On étudie comment les singularités d'une solution striée sont réfléchies lorsque la solution atteint la frontière. On prouve des estimations striées et en normes infinies. On montre qu'une discontinuité du gradient de la solution à travers un hyperplan peut être réfléchie en une discontinuité de la solution elle-même. / We first study surface waves, solutions of hyperbolic nonlinear boundary value problems. We construct BKW solutions in the weakly nonlinear regime with infinite expansion in powers of ε. We rigorously justify this expansion,constructing exact solutions, which admit the asymptotic expansions. We also show that the solution is not necessarily localized at the order O(ε∞) in the interior, even if the data are ; a particular case of elasticity is studied: we prove that fast oscillatory elastic surface waves can produce non trivial internal non oscillatory displacements.Afterwards, we study the reflection of non linear discontinuous waves, for weakly well-posed hyperbolic boundary value problems, satisfying the (WR) condition, which has been introduced in [1, 12], that is in a case where the IBVP is neither strongly stable, nor strongly unstable. We study how the singularities of a striated solution are reflected when the solution hits the boundary. We prove striated estimates and L∞ estimates and observe the loss of one derivative: we show that a discontinuityof the gradient of the solution across an hyperplane can be reflected in a discontinuity across an hyperplane of the solution itself.
|
Page generated in 0.0482 seconds