Spelling suggestions: "subject:"equations"" "subject:"aquations""
241 |
Une méthode d'éléments finis mixtes duale raffinée pour le couplage des équations de Navier-Stokes et de la chaleurBrahmi, Ahcène 12 April 2018 (has links)
Ce travail est consacré à l'étude du couplage des équations de Navier-Stokes et de la chaleur posées dans un domaine polygonal non convexe. Après avoir analysé le comportement singulier des solutions de ces équations près des coins du domaine considéré, nous présentons une formulation mixte duale de ces équations basée sur l'introduction de deux nouvelles inconnues : a qui est le tenseur gradient de la vitesse et le champ vectoriel ^ qui désigne le gradient de la température. Ensuite, en considérant une famille de maillage Th du domaine fi, nous analysons une méthode d'éléments finis mixte duale basée sur cette dernière formulation en utilisant l'élément fini de Raviart-Thomas de plus bas degré pour approximer les nouvelles inconnues cr et <^ sur chaque triangle K de la triangulation Th. Tandis que les variables n, p et T seront approximées par des polynômes de degré zéro sur chaque triangle K. En particulier, nous montrons que l'on peut retrouver l'ordre de convergence quasi-optimal si le maillage est raffiné suivant certaines règles qui sont essentiellement celles introduites par G. Raugel et basées sur le fait que les solutions sont régulières dans des espaces de Sobolev à poids. Nous discutons les aspects d'implémentation de la méthode d'éléments finis mixte duale raffinée pour ces équations en utilisant un algorithme de point fixe combiné à une formulation hybride de deux systèmes issus du découplage du problème discret : l'un correspondant aux équations de Navier-Stokes et l'autre à l'équation de la chaleur. Nos résultats numériques obtenus, en plus de confirmer l'ordre de convergence optimal pour un problème test posé dans un domaine polygonal non convexe, sont tout-à-fait comparables avec ceux existants dans la littérature pour la convection naturelle dans une cavité carrée.
|
242 |
Méthodes semi-analytiques en vibration non linéaireMottard, Patrick 17 April 2018 (has links)
Cet ouvrage traite des vibrations non linéaires pour un système discret à un degré de liberté. Deux types d'équations différentielles non linéaires sont étudiés. Il s'agit de l'équation de type polynomiale et l'équation à tronçons linéaires. L'équation différentielle polynomiale utilise les différentes puissances du déplacement et de la vitesse afin de représenter la raideur et l'amortissement. L'équation à tronçons linéaires est quant à elle définie par de multiples segments de droites. Deux types de problèmes sont considérés, soit le problème de la résolution de l'équation différentielle et le problème de l'identification de cette dernière à partir de mesures expérimentales. Pour les deux types d'équations différentielles à l'étude, des méthodes de résolution et d'identification sont développées. Les méthodes de résolution des deux équations différentielles sont issues de méthodes analytiques déjà existantes dans la documentation scientifique. Par contre, ces méthodes sont ici résolues de manière numérique, d'où l'appellation «méthodes semi-analytiques». L'identification de l'équation polynomiale se base sur la méthode des moindres carrés alors que la méthode d'identification de l'équation à tronçons linéaires est construite spécifiquement pour cette forme d'équation. Une étude expérimentale est conduite sur trois systèmes différents afin d'explorer la viabilité pratique des méthodes d'identification des paramètres. Ces trois systèmes utilisent le comportement non linéaire d'une mousse synthétique, des poutres à grande déformation et des poutres à grande déformation asymétriques.
|
243 |
Fonction L p-adique d'une forme modulaireDion, Cédric 02 February 2024 (has links)
L'objectif de ce mémoire est de donner la construction de la fonction L p-adique associée à une forme modulaire en suivant l'exposition de [MTT86] et d'étudier les cœfficients du développement en série de puissances de cette fonction. Dans le chapitre 1, nous introduisons les nombres p-adiques. Le corps des nombres p-adiques est déni de manière arithmétique et est un outil important en théorie des nombres. Nous étudierons également les fonctions dont le domaine est les p-adiques et les distributions p-adiques. Ensuite, nous verrons les notions de base sur les formes modulaires et nous présenterons leur fonction L complexe. Dans le chapitre 2, nous construirons une distribution p-adique µf attachée à une forme modulaires avec la propriété que cette dernière interpole les valeurs de la fonction L complexe de f. Par la suite, nous dérivons l'équation fonctionnelle pour la fonction L p-adique obtenue parla distribution µf . Finalement, dans le chapitre 3, nous démontrerons des conséquences de l'équation fonctionnelle. Certains résultats de ce chapitre sont nouveaux et ont été publiés dans [DS19].
|
244 |
Éléments finis d'ordre élevé pour maillages hybrides - Application à la résolution de systèmes hyperboliques linéaires en régimes harmonique et temporelBergot, Morgane 22 November 2010 (has links) (PDF)
Dans cette thèse, nous nous intéressons à la construction d'éléments finis d'ordre élevé adaptés aux maillages hybrides, pour la résolution de systèmes hyperboliques linéaires en régimes harmonique et temporel. L'accent est plus particulièrement porté sur la construction d'éléments pyramidaux. On étudie trois formulations pour lesquelles on cherche des éléments finis "optimaux" au sens de la convergence dans la norme de l'espace considéré pour la formulation. Pour les formulations H^1 et H(rot), on construit des éléments finis "optimaux" nodaux et hp. Les matrices élémentaires sont évaluées grâce à des formules de quadrature adaptées et des estimations d'erreur sont effectuées pour vérifier la convergence des éléments optimaux construits. Pour la formulation discontinue LDG (Local Discontinuous Galerkin), on présente des éléments utilisant des fonctions de base orthogonales permettant de mettre au point une construction de la matrice de masse et un produit matrice-vecteur rapides. Dans le cas des trois formulations, on étudie les propriétés numériques des éléments construits, on vérifie que l'on retrouve bien numériquement la convergence théorique et on compare nos éléments avec d'autres éléments trouvés dans la littérature. Finalement, on présente des expériences numériques en 3D avec l'équation des ondes ou de Helmholtz, et les équations de Maxwell dans le cas des régimes temporels et harmoniques. On montre ainsi l'efficacité des maillages hybrides par rapport aux maillages purement tétraédriques ou aux maillages hexaédriques obtenus en découpant chaque tétraèdre d'un maillage purement tétraédrique en quatre hexaèdres.
|
245 |
Extrapolation vectorielle et applications aux équations aux dérivées partiellesDuminil, Sébastien 06 July 2012 (has links) (PDF)
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.
|
246 |
Intégration numérique et éléments finis d'ordre élevé appliqués aux équations de Maxwell en régime harmoniqueDuruflé, Marc 07 February 2006 (has links) (PDF)
Dans cette thèse, nous nous intéressons à la résolution des <br />équations de Maxwell en régime fréquentiel, afin de calculer<br />précisément la signature radar de cibles diverses. Pour avoir<br />une grande précision nécessaire pour des expérience de grande taille,<br /> nous utilisons des méthodes d'ordre élevé.<br /><br />Dans le cas scalaire, les éléments finis spectraux hexaédriques<br />avec condensation de masse, permettent d'obtenir un produit matrice vecteur <br />rapide et peux coûteux en stockage. Dans le cas vectoriel, les hexaèdres<br />de la première famille ne réalisent pas la condensation de masse, mais on peut<br />écrire un algorithme rapide de produit matrice-vecteur. Des résultats<br />numériques 3-D montrent la performance de l'algorithme proposé.<br /><br />Nous traitons également le cas où la géométrie présente<br />une symétrie de révolution. On est alors ramenés à une succession<br />de problèmes 2-D indépendants.<br />Nous proposons une méthode éléments finis d'ordre élevé <br />couplée à des équations intégrales d'ordre élevé.
|
247 |
Modèles paramétriques de processus de branchement uni et multi-types / Parametric models for single and multi-type branching processesOuaari, Amel 11 July 2018 (has links)
L'objet de cette thèse concerne la proposition de modèles paramétriques des processus de branchement uni et multi-types. Nous mettons en valeur l’intérêt de la théorie des processus de branchement et du développement nécessaire des différents outils et de concepts propres à plusieurs domaines. Pour cela, nous commençons par rappeler quelques définitions et résultats de la théorie des processus de branchement uni et multi-types, et ce en temps discret comme en temps continu. On se consacre par la suite au développement méthodologique de ces modèles.Dans la deuxième partie de ce mémoire, nous étudions seulement l'évolution d’une seule population en temps continu, et présentons quelques familles de lois paramétriques, associées à des processus de branchement homogènes particuliers. Des méthodes récursives de calcul, ainsi que des propriétés pertinentes, concernant ces distributions de probabilité, sont dérivées des fonctions génératrices satisfaisant certaines équations aux dérivées partielles linéaires précisés. Les familles proposées seront utiles à la modélisation de systèmes plus cohérents en dynamique de populations, puisqu'on y montre que les hypothèses usuelles de distributions de Poisson ne peuvent être argumentées.Dans la troisième partie, nous étudions le comportement de l'évolution de plusieurs populations en interactions. Nous y présentons aussi des modèles paramétriques de lois, associés à des processus de branchement multi-types en temps continu et homogènes en temps. Nous considérons ensuite un modèle particulier, où une population ``mère donneuse" autonome alimente en individus K populations filles, qui sont, elles, en interaction. Ce modèle est bien adapté à l'étude des systèmes dynamiques des populations en interaction qui reste à la fois simple, mais riche en variétés de comportement. L'étude du système multi-types se fait via l'évolution des fonctions génératrices de la loi multidimensionnelles des effectifs. Pour cela, utilisant les équations différentielles ordinaires et aux dérivées partielles, nous établissons les équations implicites des distributions temporelles et multidimensionnelles, et discutons des méthodes analytiques ou numériques de leur résolution. Nous développons ensuite des exemples de modèles et en particulier celui concernant 3 et 4 populations.En conclusion, nous argumentons la pertinence de cette approche, et l’interprétation des paramètres, qui sont d'un grand intérêt pour le développement de méthodes d'inférence statistique, pour de nombreux domaines d'applications. / This thesis aims to propose parametric models for single and multi-type branching processes. The importance of the theory of branching processes is pointed out. Hence, developing various tools and specific concepts in several domains is important for applications. For those purpose, we recall some definitions and results of the single-and-multi-type branching processes theory in discrete and continuous case. Afterward, we focus on the methodological development of those models.In the second part, the evolution of a single population in the continuous case has been studied. Then, some parametric distribution families associated to particular branching mechanisms are explored. Recursive computational procedure and relevant properties concerning the associted probability distributions are derived from generating functions that satisfy specified linear partial differential equations. The suggested families are useful for the modeling of systems that are more coherent with population dynamics, contrarily to the usual hypothesis of Poisson distributions, that cannot be argued.In the third part, the evolution of different populations with interaction is explored. Similarly, some parametric models of homogeneous multi-type branching processes in continuous time are proposed. Afterwards, we consider a particular model where an autonomous donor parent population feeds in individuals, K types progeny populations that interacts. This model is well adapted to the study of dynamical systems of populations in interaction. This simple model, but has a rich variety of behaviors.The study of such systems is also done regarding the evolution of generating functions of multidimensional ndividual countrings. To achievea such study, ordinary and partial differential equations are used to establish the implicit equations of temporal and multidimensional distributions. Analytical and numerical methods for equation resolution are then discussed, and examples of particular models are developed.In conclusion, the relevancy of this approach is argumed, censidering parameters interpretation in the development of inference methods for the various applied domains.
|
248 |
Analyse et simulation d'équations de Schrödinger déterministes et stochastiques. Applications aux condensats de Bose-Einstein en rotation / Analysis and simulation of deterministic and stochastic Schrödinger equations. Applications to rotating Bose-Einstein condensatesDuboscq, Romain 28 November 2013 (has links)
Dans cette thèse, nous étudions différents aspects mathématiques et numériques des équations de Gross-Pitaevskii et de Schrödinger non linéaire. Nous commençons (chapitre 1) par introduire différents modèles à partir des systèmes physiques que sont les condensats de Bose-Einstein et les impulsions lumineuses dans les fibres optiques. Cette modélisation conduit aux équations aux dérivées partielles stochastiques suivantes : l'équation de Gross-Pitaevskii stochastique et l'équation de Schrödinger non linéaire avec dispersion aléatoire. Ensuite, dans le second chapitre, nous nous intéressons au problème de l'existence et l'unicité d'une solution de ces équations. On montre notamment que le problème de Cauchy a une solution pour l'équation de Gross-Pitaevskii stochastique avec rotation grâce à la construction de la solution associée au problème. Nous abordons ensuite dans le troisième chapitre le problème du calcul des états stationnaires pour l'équation de Gross-Pitaevskii. Nous développons une méthode pseudo-spectrale de discrétisation du Continuous Normalized Gradient Flow, associée à une résolution itérative préconditionnée des sous-espaces de Krylov. Le quatrième chapitre concerne l'étude de schémas pseudo-spectraux pour la dynamique de l'équation de Gross-Pitaevskii et de Schrödinger non linéaire. On procède à une étude numérique de ces schémas (schéma de splitting de Lie et de Strang, ainsi qu'un schéma de relaxation). De plus, on analyse le schéma de Lie dans le cadre de l'équation de Schrödinger non linéaire avec dispersion aléatoire. Finalement, nous présentons, dans le cinquième chapitre, une boîte à outils Matlab (GPELab) développée dans le but de fournir les méthodes numériques que nous avons étudiées / The aim of this Thesis is to study various mathematical and numerical aspects related to the Gross-Pitaevskii and nonlinear Schrödinger equations. We begin (chapter 1) by introducing a few models starting from the physics of Bose-Einstein condensates and optical fibers. This naturally leads to introducing a stochastic Gross-Pitaevskii equation and a nonlinear Schrödinger equation with random dispersion. Next, in the second chapter, we analyze the existence and uniqueness problem for these two equations. We prove that the Cauchy problem admits a solution for the stochastic Gross-Pitaevskii equation with a rotational term by constructing the solution associated with the linear. The third chapter is concerned with the computation of stationary states for the Gross-Pitaevskii equation. We develop a pseudo-spectral approximation scheme for the Continuous Normalized Gradient Flow formulation, combined with preconditioned Krylov subspace methods. This original approach leads to the robust and efficient computation of ground states for fast rotations and strong nonlinearities. In the fourth chapter, we consider some pseudo-spectral schemes for computing the dynamics of the Gross-Pitaevskii and nonlinear Schrödinger equations. These schemes (the Lie's and Strang's splitting schemes and the relaxation scheme) are numerically studied. Moreover, we proceed to a rigorous numerical analysis of the Lie scheme for the associated stochastic PDEs. Finally, we present in the fifth chapter a Matlab toolbox (called GPELab) that provides computational solutions based on the schemes previously introduced in the Thesis
|
249 |
Libéralisation commerciale et réaction de l'offre des huiles alimentaires dans les pays de l'Union Economique et Monétaire Ouest Afrique (UEMOA) / Trade liberalization and supply response of edible oils in west african economic and monetary union (WAEMU) countriesHomegnon, Noukpo 05 July 2018 (has links)
La production locale des huiles alimentaires ne constitue plus une ligne de défense crédible face aux importations dans les pays de l’UEMOA. Cette réalité contraste avec les objectifs de la politique agricole et du tarif extérieur commun (TEC) de l’UEMOA censés protéger la production communautaire. Ainsi, sous l’éclairage de la littérature économique et en se basant sur des données empiriques, nous avons utilisé les équations simultanées par pays de l’UEMOA, les équations des données de panel et les équations gravitationnelles en données de panel pour déterminer l’impact de la libéralisation commerciale sur l’offre des huiles alimentaires dans les pays de l’UEMOA.Les résultats obtenus convergent vers une même conclusion : la confrontation des objectifs de protection de la production communautaire et d’ouverture commerciale aux tests de cohérence révèle des incohérences et des contradictions. Les politiques de libéralisation commerciale ont plutôt favorisé une déstructuration du tissu productif et une désorganisation de l’architecture commerciale. De facto, l’offre des huiles alimentaires affiche deux réactions contradictoires au regard de la libéralisation commerciale au sein des pays de l’UEMOA : une réaction dépressive affichée par la production qui plombe et une réaction explosive affichée par les importations qui flambent et qui sont attirées par des rentes de réexportation. Cependant, ces rentes constituent des mirages qui réservent des implications économiques aux conséquences destructrices avec l’adoption du TEC-CEDEAO. / Local production of edible oils in the WAEMU’s countries is no longer a credible defense line against imports. This reality contrasts with the objectives of agriculture policy and WAEMU’s Common External Tariff (CET) which are supposed to protect Community production. Thus, under the light of the economic literature and based on empirical data, we used simultaneous equations for each country of WAEMU, panel data and gravity equations with panel data to determine the impact of trade liberalization on supply of edible oils in WAEMU’s countries.The results obtained converge towards the same conclusion: the confrontation of objectives of protecting local production and trade openness policy with the coherence’s tests reveals some inconsistencies and contradictions. Thus, WAEMU fails to reconcile the Union's trade openness objectives with the protection objectives of edible oils producers. Trade liberalization policies have tended to favor a disintegration of the productive structure and disruption of trade architecture. Thus, the supply of edible oils shows two contradictory reactions with regard to the trade liberalization within the WAEMU’s countries: a depressive reaction displayed by the production and an explosive reaction displayed by the imports which are attracted by re-export rents. However, these rents are mirages that reserve destructive economic implications with the adoption of ECOWAS’CET.
|
250 |
Couplage de modèles de dimensions hétérogènes et application en hydrodynamique / Dimensionally heterogeneous models coupling and hydrodynamic applicationTayachi, Manel 28 October 2013 (has links)
Les travaux de thèse présentés dans ce manuscrit portent sur l’étude d’électrodes de silicium, matériau prometteur pour remplacer le graphite en tant que matériau actif d’électrode négative pour accumulateur Li-ion. Les mécanismes de (dé)lithiation du silicium sont d’abord étudiés, par Spectroscopie des Electrons Auger (AES). En utilisant cette technique de caractérisation de surface, qui permet d’analyser les particules individuellement dans leur environnement d’électrode, nos résultats montrent que la première lithiation du silicium s’effectue selon un mécanisme biphasé cr-Si / a-Li3,1Si tandis que les processus de (dé)lithiation suivants apparaissent complètement différents et sont du type solution solide. Ces mécanismes d’insertion / désinsertion du lithium conduisent à des variations volumiques importantes des particules de matériau actif lors du cyclage, à l’origine d’une détérioration rapide des performances électrochimiques. En combinant plusieurs techniques de caractérisation, les mécanismes de dégradation d’une électrode de silicium sont étudiés au cours du vieillissement. En utilisant en particulier la spectroscopie d’impédance électrochimique et des analyses par porosimétrie mercure, une véritable dynamique de la porosité de l’électrode est mise en évidence lors du cyclage. Un modèle de dégradation, mettant en cause principalement l’instabilité de la Solid Electrolyte Interphase (SEI) à la surface des particules de silicium, est proposé. Pour tenter de stabiliser cette couche de passivation et ainsi améliorer les performances électrochimiques des électrodes de silicium, l’influence de deux paramètres est étudiée : l’électrolyte et le « domaine de lithiation » du silicium, ce dernier paramètre étant associé à l’évolution de la composition du matériau actif lors du cyclage. A l’issue de ces travaux, des performances prometteuses sont obtenues pour des accumulateurs Li-ion comprenant une électrode de silicium. / The work presented here focuses on electrodes made of silicon, a promising material to replace graphite as an anode active material for Li-ion Batteries (LIBs). The first part of the manuscript is dedicated to the study of silicon (de)lithiation mechanisms by Auger Electron Spectroscopy (AES). By using this technique of surface characterization, which allows investigating individual particles in their electrode environment, our results show that the first silicon lithiation occurs through a two-phase region mechanism cr-Si / a-Li3,1Si, whereas the following (de)lithiation steps are solid solution type process. Upon (de)alloying with lithium, silicon particles undergo huge volume variations leading to a quick capacity fading. By combining several techniques of characterization, the failure mechanisms of a silicon electrode are studied during aging. In particular, by using electrochemical impedance spectroscopy and mercury porosimetry analyses, an impressive dynamic upon cycling of the electrode porosity is shown. A model, which mainly attributes the capacity fading to the Solid Electrolyte Interphase instability at the silicon particles surface, is proposed. To try to stabilize this passivation layer and thus improve silicon electrodes electrochemical performances, the influence of two parameters is studied: the electrolyte and the “lithiation domain” of silicon; the latter is associated with the evolution of the active material composition upon cycling. Finally, by using these last results, promising performances are obtained for silicon electrode containing LIBs.
|
Page generated in 0.0774 seconds