Academic literature on the topic 'Non-conformes'

Thème majeur dans l’histoire de la philosophie, le problème des universaux a été transmis à l’Occident latin principalement par l’exégèse que, dans son Second commentaire sur l’Isagoge, Boèce a donnée du célèbre « Questionnaire de Porphyre sur les genres et les espèces ». Notre étude se penche sur la série de notions philosophiques clés, parfois difficiles à cerner, qui, dans ce commentaire séminal, forment la trame rédactionnelle, souvent mal saisie, de la Solution boécienne d’une Aporie qui prétend avoir démontré l’impossibilité de l’existence des genres et des espèces (entre autres par l’argument du regressus ad infinitum), ainsi que les vices rédhibitoires de leurs intellections (conformes ou non conformes). Chez Boèce, tout cela concerne fondamentalement le rapport entre la pensée et le réel.

L’enrichissement des éléments finis standard est un outil performant pour améliorer la qualité d’approximation. L’idée principale de cette approche est d’ajouter aux fonctions de base un ensemble de fonctions censées améliorer la qualité des solutions approchées. Le choix de ces dernières est crucial et est en grande partie basé sur la connaissance a priori de quelques informations telles que les caractéristiques de la solution, de la géométrie du problème à résoudre, etc. L’efficacité de cette approche pour résoudre une équation aux dérivées partielles dans un maillage fixe, sans avoir recours au raffinement, a été prouvée dans de nombreuses applications dans la littérature. La clé de son succès repose principalement sur le bon choix des fonctions de base et plus particulièrement celui des fonctions d’enrichissement. Une question importante se pose alors : quelles conditions faut-il imposer sur les fonctions d’enrichissement afin qu’elles génèrent des éléments finis bien définis ?Dans cette thèse sont abordés différents aspects d’une approche générale d’enrichissement d’éléments finis. Notre première contribution porte principalement sur l’enrichissement de l’élément fini du type Q_1. Par contre, notre seconde contribution, certainement la plus importante, met l’accent sur une approche plus générale pour enrichir n’importe quel élément fini qu’il soit P_k, Q_k ou autres, conformes ou non conformes. Cette approche a conduit à l’obtention des versions enrichies de l’élément de Han, l’élément de Rannacher-Turek et l’élément de Wilson, qui font maintenant partie des codes d’éléments finis les plus couramment utilisés en milieu industriel. Pour établir ces extensions, nous avons eu recours à l’élaboration de nouvelles formules de quadrature multidimensionnelles appropriées généralisant les formules classiques bien connues en dimension 1, dites du “point milieu,” des “trapèzes” et de leurs versions perturbées, ainsi que la formule de Simpson. Elles peuvent être vues comme des extensions naturelles de ces formules en dimension supérieure. Ces dernières, en plus de leurs tests numériques implémentés sous MATLAB, version R2016a, ont fait l’objet de notre troisième contribution. Nous mettons particulièrement l’accent sur la détermination explicite des meilleures constantes possibles apparaissant dans les estimations d’erreur pour ces formules d’intégration. Enfin, dans la quatrième contribution nous testons notre approche pour résoudre numériquement le problème d’élasticité linéaire à l’aide d’un maillage rectangulaire. Nous effectuons l’analyse numérique aussi bien l’analyse de l’erreur d’approximation et résultats de convergence que l’analyse de l’erreur de consistance. Nous montrons également comment cette dernière peut être établie à n’importe quel ordre, généralisant ainsi certains travaux menés dans le domaine. Nous réalisons la mise en œuvre de la méthode et donnons quelques résultats numériques établis à l’aide de la bibliothèque libre d’éléments finis GetFEM++, version 5.0. Le but principal de cette partie sert aussi bien à la validation de nos résultats théoriques, qu’à montrer comment notre approche permet d’élargir la gamme de choix des fonctions d’enrichissement. En outre, elle permet de montrer comment cette large gamme de choix peut aider à avoir des solutions optimales et également à améliorer la validité et la qualité de l’espace d’approximation enrichie
The enrichment of standard finite elements is a powerful tool to improve the quality of approximation. The main idea of this approach is to incorporate some additional functions on the set of basis functions. These latter are requested to improve the accuracy of the approximate solution. Their best choice is crucial and is based on the knowledge of some a priori information, such as the characteristics of the solution, the geometry of the problem to be solved, etc. The efficiency of such an approach for finding numerical solutions of partial differential equations using a fixed mesh, without recourse to refinement, was proved in numerous applications in the literature. However, the key to its success lies mainly on the best choice of the basis functions, and more particularly those of enrichment functions.An important question then arises: How to suitably choose them, in such a way that they generate a well-defined finite element ?In this thesis, we present a general approach that enables an enrichment of the finite element approximation. This was the subject of our first contribution, which was devoted to the enrichment of the classical Q_1 element, as a first step. As a second step, in our second contribution, we have developed a more general framework for enriching any finite element either P_k, Q_k or others, conforming or nonconforming. As an illustration of how to use this framework to build new enriched finite elements, we have introduced the extensions of some well-known nonconforming finite elements, notably, Han element, Rannacher-Turek element and Wilson element, which are now part of the main code of finite element methods. To establish these extensions, we have introduced a new family of multivariate versions of the classical trapezoidal, midpoint and Simpson rules. These latter, in addition to their numerical tests under MATLAB, version R2016a, have been the subject of our third contribution. They may be viewed as an extension of the well-known trapezoidal, midpoint and Simpson’s one-dimensional rules to higher dimensions. We particularly pay attention to the explicit expressions of the best possible constants appearing in the error estimates for these cubatute formulas. Finally, in the fourth contribution we apply our approach to numerically solving the linear elasticity problem based on a rectangular mesh. We carry out the numerical analysis of the approximation error and also for the consistency error, and show how the latter can be established to any order. This constitutes a generalization of some work already done in the field. In addition to our theoretical results, we have also made some numerical tests, which were achieved by using the GetFEM++ library, version 5.0. The aim of this contribution was not only to confirm our theoretical predictions, but also to show how the new developed framework allows us to expand the range of choices of enrichment functions. Furthermore, we have shown how this wide choices range can help us to improve some approximation properties and to get the optimal solutions for the particular problem of elasticity

La physique des phénomènes de surface a progressé en même temps que les modèles décrivant des transitions de phase dans le volume. A deux dimensions, en particulier, les théories des champs invariantes sous les transformations conformes se sont révélées des outils extrêmement puissants pour décrire de manière non-perturbative les transitions de phase. L'étude des phénomènes de surface dans ce contexte a produit de nombreux résultats exacts tels que des exposants critiques et des fonctions de corrélations dans divers modèles critiques. Dans cette thèse nous nous intéressons à des théories statistiques à deux dimensions dont les degrés de liberté sont non locaux, comme par exemple des polymères en solution. Ces théories peuvent être formulées localement au prix de poids de Boltzmann négatifs ou complexes, elles sont alors non-unitaires. Nous nous intéressons aux effets de surface dans ces théories, et décrivons les différentes conditions au bord qui sont compatibles avec l'invariance conforme. Notre stratégie n'est pas de formuler une approche axiomatique, mais plutôt de partir de modèles concrets sur réseau, et d'étudier leur limite continue.

Cette thèse s'intéresse à la conception de méthodes de discrétisation non-conforme pour un modèle de poromécanique. Le but de ce travail est de simplifier les couplages liant la géomécanique d'un milieu poreux à l'écoulement polyphasique compositionnel ayant cours en son sein tels qu'ils sont réalisés actuellement dans l'industrie pétrolière, en discrétisant sur un même maillage, typiquement non-conforme car à l'image de la lithologie, la mécanique et l'écoulement. La nouveauté consiste donc à traiter la mécanique par une méthode d'approximation non-conforme sur maillages généraux. Dans cette thèse, nous nous concentrons sur un modèle d'élasticité linéaire. Les difficultés inhérentes à son approximation non-conforme sont son manque de coercivité (se traduisant par la nécessité de satisfaire une inégalité de Korn sur un espace discret discontinu), ainsi que le phénomène de verrouillage numérique lorsque le matériau tend à devenir incompressible. Dans une première partie, nous construisons un espace d'approximation sur maillages généraux, s'apparentant à une extension de l'espace de Crouzeix-Raviart. Nous explicitons ses propriétés d'approximation et de conformité, et montrons que ce dernier est adapté à une discrétisation primale coercive et robuste au locking du modèle d'élasticité sur maillages généraux. La méthode proposée est moins coûteuse que son équivalent éléments finis (en termes de propriétés) P2. Nous nous intéressons dans une deuxième partie à l'approximation non-conforme d'un modèle couplé de poroélasticité. Nous étudions la convergence d'une famille de schémas numériques dont la discrétisation en espace utilise le formalisme des schémas Gradient, auquel appartient la méthode développée pour la mécanique. Nous prouvons la convergence de telles approximations vers la solution de régularité minimale du problème continu, indépendamment des paramètres physiques du système

Dans cette thèse nous nous intéressons à des théories statistiques à deux dimensions dont les degrés de liberté sont non locaux, comme par exemple des polymères en solution. Ces théories peuvent être formulées localement au prix de poids de Boltzmann négatifs ou complexes, elles sont alors non-unitaires. Nous nous intéressons aux effets de surface dans ces théories, et décrivons les différentes conditions au bord qui sont compatibles avec l'invariance conforme. Notre stratégie n'est pas de formuler une approche axiomatique, mais plutôt de partir de modèles concrets sur réseau, et d'étudier leur limite continue. Dans ces modèles, les configurations du système sont en général définies en termes d'objets géométriques non-locaux. Nos résultats peuvent être reformulés dans le cadre de l'évolution (stochastique) de Schramm-Loewner (SLE), qui décrit ces objets géométriques directement dans la limite continue. Dans certains cas, les modèles étudiés ici pourraient également être vus comme des modèles jouets pour les théories logarithmiques. Si l'on veut comprendre la structure algébrique d'une théorie conforme logarithmique, il est plus simple de partir d'une théorie avec bord, puisque la même théorie dans le volume mélange les actions de l'algèbre chirale et de l'algèbre anti-chirale. Par exemple, il doit être possible d'extraire des paramètres universels caractérisant l'indécomposabilité des représentations de l'algèbre de Virasoro à partir de modèles sur réseau avec un bord. D'autres résultats de cette thèse peuvent être utilisés pour prédire des quantités universelles caractéristiques de points critiques quantiques de systèmes unidimensionnels (par exemple des chaînes de spin), comme des entropies d'intrication ou des fidélités, en particulier dans des systèmes de taille finie
Ln this thesis, we are interested in sorne statistical field theories in two dimensions, with non-local degrees of freedom. For example, polymers in a good solvant are described by such theories. One can try to turn these theories into local ones, but the price to pay is that we get negative or even complex Boltzmann weights: these theories are then non-unitary. We are interested in surface effects, and in finding out which boundary conditions are compatible with conformal invariance in these theories. Our strategy does not involve an axiomatic approach, but rather relies on concrete lattice models which have an interesting scaling limit. Ln these models, the configurations of the model are given in terms of geometrical objects that are non-local. Our results can be reformulated in the context of the (stochastic) Schramm-Loewner Evolution (SLE), which gives a description of these objects directly in the scaling limit. Ln sorne cases, the models we study can be considered as toy-models for logarithmic theories. Indeed, it should be easier to understand the algebraic structure which underlies a particular theory in the boundary case, because in the bulk theory the actions of the chiral and anti-chiral algebras are mixed. For example, it must be possible to extract universal parameters which caracterize the indecomposability of representations of the Virasoro algebra. Sorne other results in this thesis can be used to compute sorne universal quantities which appear at quantum critical points of 1+1D systems (e. G. Gapless spin chains), such as entanglement entropies or fidlities, in particular in finite-size systems

Cette thèse étudie les méthodes de décomposition de domaine généralement classées soit comme des méthodes de Schwarz avec recouvrement ou des méthodes par sous-structuration s'appuyant sur des sous-domaines sans recouvrement. Nous nous focalisons principalement sur la méthode des éléments finis joints, aussi appelée la méthode mortar, une approche non conforme des méthodes par sous-structuration impliquant des contraintes de continuité faible sur l'espace d'approximation. Nous introduisons un framework élément fini pour la conception et l'analyse des préconditionneurs par sous-structuration pour une résolution efficace du système linéaire provenant d'une telle méthode de discrétisation. Une attention particulière est accordée à la construction du préconditionneur grille grossière, notamment la principale variante proposée dans ce travailutilisant la méthode de Galerkin Discontinue avec pénalisation intérieure comme problème grossier. D'autres méthodes de décomposition de domaine, telles que les méthodes de Schwarz et la méthode dite three-field sont étudiées dans l'objectif d'établir un environnement de programmation générique d'enseignement et de recherche pour une large gamme de ces méthodes. Nous développons un framework de calcul avancé et dédié à la mise en oeuvre parallèle des méthodesnumériques et des préconditionneurs introduits dans cette thèse. L'efficacité et la scalabilité des préconditionneurs, ainsi que la performance des algorithmes parallèles sont illustrées par des expériences numériques effectuées sur des architectures parallèles à très grande échelle
This thesis investigates domain decomposition methods, commonly classified as either overlapping Schwarz methods or iterative substructuring methods relying on nonoverlapping subdomains. We mainly focus on the mortar finite element method, a nonconforming approach of substructuring method involving weak continuity constraints on the approximation space. We introduce a finiteelement framework for the design and the analysis of the substructuring preconditioners for an efficient solution of the linear system arising from such a discretization method. Particular consideration is given to the construction of the coarse grid preconditioner, specifically the main variantproposed in this work, using a Discontinuous Galerkin interior penalty method as coarse problem. Other domain decomposition methods, such as Schwarz methods and the so-called three-field method are surveyed with the purpose of establishing a generic teaching and research programming environment for a wide range of these methods. We develop an advanced computational framework dedicated to the parallel implementation of numerical methods and preconditioners introduced in this thesis. The efficiency and the scalability of the preconditioners, and the performance of parallel algorithms are illustrated by numerical experiments performed on large scale parallel architectures

Ce mémoire est un exposé synthétique d'une partie des travaux que j'ai accomplis après la fin de ma thèse. Au cours des dernières années, j'ai été amené à m'intéresser à la discrétisation de problèmes provenant de différentes applications en mécanique des fluides. L'élément commun à tous ces problèmes est la présence de termes diffusifs du second ordre. Pour des raisons différentes, j'ai considéré des discrétisations non conformes, c'est-à-dire, basées sur des espaces discrets non contenus dans l'espace continu naturellement associé à la formulation faible du problème. Plus précisément, dans les travaux présentés dans ce mémoire on retrouve essentiellement deux grandes familles de méthodes : les méthodes dites de Galerkine discontinues et les méthodes volumes finis. Ce document s'organise comme suit. Les Chapitres 1–3 fournissent les renseignements administratifs relatifs au dossier de demande d'habilitation, dont un curriculum vitæ, une description succincte de l'ensemble de mes travaux et la liste complète des publications. Les Chapitres 4–5 relatent les efforts entrepris au sujet de la discrétisation de problèmes avec diffusion par des méthodes non conformes. Plus précisément, le Chapitre 4 est consacré aux méthodes de Galerkine discontinues, tandis que le Chapitre 5 traite des méthodes volumes finis. Même si l'accent est généralement mis sur les motivations des travaux et sur le développement de la ligne de pensée, des détails sont fournis quand cela s'avère nécessaire pour apporter un complément d'information par rapport aux publications, ou bien pour indiquer des pistes de recherche futures. Le rapport contient aussi une annexe contenant les résumés des thèses actuellement en cours. Dans la dernière partie de ce mémoire on peut trouver le texte intégral des publications. Pour faciliter la lecture, mes publications sont citées dans le texte avec un numéro progressif, tandis que les articles de la bibliographie générale sont cités avec les initiales des auteurs.

Cette these est dediee a l'etude de quelques theories conformes non rationnelles, qui apparaissent dans le cadre de la theorie des cordes. Contrairement aux theories conformes rationnelles, qui ont beneficie de tres nombreuses etudes dans les toutes dernieres decennies, les theories non rationnelles ne sont pas encore bien comprises. Une meilleure comprehension est pourtant necessaire pour mieux apprehender la theorie des cordes dans des fonds courbes non compacts, et pour pouvoir a terme s'attaquer a des problemes cosmologiques. Dans la mesure ou la these a frequemment recours a des notions et a des resultats de la theorie des groupes de Lie et de la theorie conforme des champs, des introductions detaillees a ces domaines sont presentees a l'attention des lecteurs qui ne sont pas familiarise avec eux. La these presente ensuite le travail qui a ete realise au cours du doctorat. Ce travail s'est attaque a des espaces presentant pour symetrie l'algebre de Heisenberg, a une extension de la formule de Verlinde pour des theories conformes non rationnelles (comme H_3^+), et aux cordes ouvertes rigides contraintes sur des orbites co-adjointes d'algebres de Lie.

Cette these est dediee a l'etude de quelques theories conformes non rationnelles, qui apparaissent dans le cadre de la theorie des cordes. Contrairement aux theories conformes rationnelles, qui ont beneficie de tres nombreuses etudes dans les toutes dernieres decennies, les theories non rationnelles ne sont pas encore bien comprises. Une meilleure comprehension est pourtant necessaire pour mieux apprehender la theorie des cordes dans des fonds courbes non compacts, et pour pouvoir a terme s'attaquer a des problemes cosmologiques. Dans la mesure ou la these a frequemment recours a des notions et a des resultats de la theorie des groupes de Lie et de la theorie conforme des champs, des introductions detaillees a ces domaines sont presentees a l'attention des lecteurs qui ne sont pas familiarise avec eux. La these presente ensuite le travail qui a ete realise au cours du doctorat. Ce travail s'est attaque a des espaces presentant pour symetrie l'algebre de Heisenberg, a une extension de la formule de Verlinde pour des theories conformes non rationnelles (comme H_3^+), et aux cordes ouvertes rigides contraintes sur des orbites co-adjointes d'algebres de Lie.

Dans cette thèse nous nous intéressons à l'analyse d'erreur a priori et a posteriori de méthodes d'éléments finis mixtes et non-conformes. Nous considérons en particulier les équations de Darcy à perméabilité fortement variable et les équations de convection-diffusion-réaction en régime de convection dominante. Nous discrétisons les équations de Darcy par une méthode d'éléments finis mixtes non-conformes de type Petrov-Galerkin appelée schéma boîte. Les techniques d'estimations d'erreur a posteriori par résidu et hiérarchique conduisent à des estimateurs d'erreur a posteriori fiables et optimaux indépendamment des fluctuations de la perméabilité. Les résultats théoriques sont validés numériquement sur différents cas tests présentant de forts contrastes de perméabilité. Enfin, nous montrons comment les indicateurs d'erreur obtenus permettent de générer des maillages adaptatifs. Nous discrétisons les équations de convection-diffusion-réaction par des éléments finis nonconformes. Deux méthodes de stabilisation sont étudiées: la stabilisation par viscosité de sous-maille, conduisant à un schéma boîte et la méthode de pénalisation sur les faces. Nous montrons que les deux schémas ainsi obtenus ont les mêmes propriétés de convergence que les approximations par éléments finis conformes. Grâce aux techniques d'estimations d'erreur par résidu nous obtenons des estimateurs d'erreur a posteriori fiables et optimaux. Certains des indicateurs d'erreur sont robustes au sens de Verfürth, c'est à dire que le rapport des constantes intervenant dans les inégalités de fiabilité et d'optimalité explose en au plus l'inverse du nombre de Péclet. Les résultats théoriques sont validés numériquement et les indicateurs d'erreur a posteriori obtenus permettent de générer des maillages adaptatifs sur des problèmes présentant des couches intérieures.