Dissertations / Theses on the topic 'Théorie classique de la nucléation'
To see the other types of publications on this topic, follow the link: Théorie classique de la nucléation.
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the top 50 dissertations / theses for your research on the topic 'Théorie classique de la nucléation.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Browse dissertations / theses on a wide variety of disciplines and organise your bibliography correctly.
1
Lauer, Andrew Robert. "Voies de nucléation classiques et non-classiques du sulfate de strontium : étude en milieux confinés et non-confinés." Electronic Thesis or Diss., Université Grenoble Alpes, 2024. http://www.theses.fr/2024GRALU009.
Full textAbstract:
Classiquement, la nucléation solide est considérée comme un processus stochastique dans lequel des groupes de monomères se rassemblent au hasard pour former un noyau solide sous l'effet de l'agitation ou du mouvement brownien au sein d'un fluide supercritique. Cependant, les observations modernes mettent en lumière d'autres voies par lesquelles les réactions de nucléation peuvent se produire, en particulier par le biais de mécanismes à plusieurs étapes avec des espèces intermédiaires à l'échelle nanométrique. Ici, nous explorons la nucléation du sulfate de strontium à partir d'une solution aqueuse dans le cadre de différentes théories de nucléation. Tout d'abord, nous proposons la présence d'un intermédiaire participant à la nucléation de la célestine, et l'apparition en fonction de la concentration de cette voie de nucléation non classique est discutée en termes de théorie de la nucléation à méso-échelle. Nous examinons également le sulfate de strontium hémihydraté, une phase transitoire relativement peu connue qui précède la célestine thermodynamiquement stable dans certaines conditions. Le Raman in situ et la XRD révèlent que cette phase est une phase minérale indépendante qui, lorsqu'elle est présente, se dissout avant la nucléation de la célestine stable. Les différences observées entre la voie de nucléation de cette phase hydratée et celle de la célestine révèlent un mécanisme possible de sélection des phases et des polymorphes au cours des réactions de nucléation. Enfin, l'influence du nanoconfinement sur les réactions de nucléation dans le système Sr-SO4-H2O est explorée, fournissant des preuves supplémentaires de l'existence d'un intermédiaire de nucléation et démontrant le potentiel de la contre-diffusion dans les milieux poreux comme méthode d'exploration de la nature fondamentale de la nucléation elle-mêmeClassically, solid nucleation is considered to be a stochastic process in which clusters of monomers randomly come together into solid a solid nucleus due to agitation or Brownian motion within a supercritical fluid. However, modern observations shed new light on alternative pathways via which nucleation reactions can occur, specifically via multi-step mechanisms with nano-scale intermediate species. Here, we explore the nucleation of strontium sulfate from aqueous solution within the framework of various nucleation theories. First, we propose the presence of an intermediate participating in the nucleation of celestine, and the concentration-dependent appearance of this non-classical nucleation pathway is discussed in terms of mesoscale nucleation theory. We also examine strontium sulfate hemihydrate, a relatively little-known transient phase that precedes the thermodynamically stable celestine under certain conditions. In situ Raman and XRD reveal that this phase is an independent mineral phase that, when present, dissolves before the nucleation of the stable celestine. The differences in the observed nucleation pathway of this hydrated phase and that of celestine reveals a possible mechanism for phase and polymorph selection during nucleation reactions. Finally, the influence of nanoconfinement on nucleation reactions in the Sr-SO4-H2O system is explored, providing further evidence for the existence of a nucleation intermediate and demonstrating the potential of counterdiffusion in porous media as a method to explore the fundamental nature of nucleation itself
2
Bossert, Marine. "Étude expérimentale de la cavitation dans les milieux mésoporeux." Electronic Thesis or Diss., Sorbonne université, 2022. http://www.theses.fr/2022SORUS236.
Full textAbstract:
Cette thèse présente une étude expérimentale de la cavitation dans des matériaux mésoporeux silicium poreux et l'alumine poreuse, a priori constitués de pores droits et indépendants, de quelques dizaines de nanomètres de diamètre. Nous avons développé une technique simple pour réduire l'ouverture des pores, afin de favoriser l'évaporation dans les pores par cavitation. La quantité de liquide adsorbé est mesurée avec précision par interférométrie. La première partie de la thèse présente les preuves directes de l'existence de la cavitation dans les nanopores. Dans des pores larges (d > 10 nm) et sur une grande gamme de température, les seuils pour l'azote sont cohérents avec les prédictions de la Théorie Classique de la Nucléation (CNT). Loin du point critique, nous observons une déviation de l'ordre de 20% entre les seuils mesurés et théoriques. Cette déviation peut s'interpréter dans le cadre de la CNT, si on prend en compte la dépendance de la tension de surface avec la courbure des bulles. Pour des matériaux avec des pores étroits, en particulier le SBA16 (d ≈ 6 nm), les seuils de cavitation dépendent du rapport des rayons du germe critique et du pore, indiquant un effet de confinement. La deuxième partie de la thèse est consacrée au silicium poreux. Des mesures systématiques d’isothermes d'adsorption en fonction de la température sur différents types d'échantillons montrent que la structure du silicium poreux ressemble plus à un réseau de pores 3D désordonnés et interconnectés qu’à une assemblée de pores droits et indépendants. De plus, des mesures sous contrainte mécanique externe montrent que les effets élastiques ont un impact négligeable sur l'adsorptionThis thesis presents an experimental study of cavitation in porous silicon and porous alumina, mesoporous materials which are both generally thought to be made of straight, independent pores, with a diameter of few tens of nanometers. In order for the pores to empty through cavitation, we developed a simple technique to reduce their aperture. In the first part of the thesis, we demonstrate that cavitation occurs in nanopores. In large pores (d > 10 nm) and over a wide temperature range the cavitation thresholds measured for nitrogen are consistent with predictions from Classical Nucleation Theory (CNT). Far from the critical point, we observe a deviation of the order of 20% between the measured and theoretical thresholds. This deviation can be interpreted in the CNT framework by taking into account the surface tension dependence with the curvature of the bubbles. For materials with small pores - such as SBA16 (d ≈ 6 nm) - the cavitation threshold depends on the ratio between the radii of the critical nuclei and the pore, illustrating the presence of interactions between the bubble and the pore walls. The second part of the thesis is dedicated to porous silicon. Systematic measurements of adsorption isotherms with nitrogen and helium over a wide range of temperature in numerous samples suggest that the structure of porous silicon looks more like a disordered and interconnected 3D pore network than an array of straight independent pores. Moreover, sorption measurements on samples under an external stress show that the coupling between mechanics and adsorption is negligible
3
Govin, Mike. "Méthodes KAM en mécanique quantique et classique." Dijon, 1997. http://www.theses.fr/1997DIJOS020.
Full textAbstract:
Dans la première partie nous avons appliqué des itérations KAM quantiques à des matrices réelles symétriques de dimension finie. Nous avons montré numériquement que la méthode KAM converge pour presque toutes les valeurs du paramètre de perturbation à l'exception d'un ensemble de Julia de mesure nulle. Cet ensemble de Julia est dû à la compétition entre différents points fixes. La localisation de cet ensemble de Julia est reliée aux presque-croisements dans le spectre du Hamiltonien mais dépend de la transformation unitaire choisie. Dans la seconde partie nous avons développé une iteration KAM classique en représentation de Lie. La rapidité de l'algorithme numérique de la transformation de Lie permet de prendre un grand nombre de coefficients de Fourier pour représenter le Hamiltonien. Nous avons applique cette itération KAM à un Hamiltonien à deux degrés de liberté quadratique dans les variables action et nous nous sommes intéressés au tore invariant ayant pour fréquence le nombre d'or. Nous avons montré numériquement que pour ce modèle l'itération KAM converge jusqu'à la perturbation critique pour laquelle le tore invariant étudié se brise. Nous avons ensuite développé une transformation de renormalisation. La renormalisation permet d'obtenir une valeur précise de la perturbation critique avec un petit nombre de coefficients de Fourier. Nous avons trouvé un point fixe quadratique réel non trivial avec une structure auto-similaire situe sur une surface critique et nous avons déterminé un exposant critique caractérisant ce point fixe.
4
Terpereau, Ronan. "Schémas de Hilbert invariants et théorie classique des invariants." Phd thesis, Université de Grenoble, 2012. http://tel.archives-ouvertes.fr/tel-00748952.
Full textAbstract:
Pour toute variété affine W munie d'une opération d'un groupe réductif G, le schéma de Hilbert invariant est un espace de modules qui classifie les sous-schémas fermés de W, stables par l'opération de G, et dont l'algèbre affine est somme directe de G-modules simples avec des multiplicités finies préalablement fixées. Dans cette thèse , on étudie d'abord le schéma de Hilbert invariant, noté H, qui paramètre les sous-schémas fermés GL(V)-stables Z de W=n1 V oplus n2 V^* tels que k[Z] est isomorphe à la représentation régulière de GL(V) comme GL(V)-module. Si dim(V)<3,on montre que H est une variété lisse, et donc que le morphisme de Hilbert-Chow gamma: H -> W//G est une résolution des singularités du quotient W//G. En revanche, si dim(V)=3, on montre que H est singulier. Lorsque dim(V)<3, on décrit H par des équations et aussi comme l'espace total d'un fibré vectoriel homogène au dessus d'un produit de deux grassmanniennes. On se place ensuite dans le cadre symplectique en prenant n1=n2 et en remplaçant W par la fibre en 0 de l'application moment mu: W -> End(V). On considère alors le schéma de Hilbert invariant H' qui paramètre les sous-schémas contenus dans mu^{-1}(0). On montre que H' est toujours réductible, mais que sa composante principale Hp' est lisse lorsque dim(V)<3. Dans ce cas, le morphisme de Hilbert-Chow est une résolution (parfois symplectique) des singularités du quotient mu^{-1}(0)//G. Lorsque dim(V)<3, on décrit Hp' comme l'espace total d'un fibré vectoriel homogène au dessus d'une variété de drapeaux. Enfin, on obtient des résultats similaires lorsque l'on remplace GL(V) par un autre groupe classique (SL(V), SO(V), O(V), Sp(V)) que l'on fait opérer d'abord dans W=nV, puis dans la fibre en 0 de l'application moment.
5
Ibn, el Farouk Abdelhamid. "Le système verbal de l'arabe classique, théorie et description." Paris 5, 1994. http://www.theses.fr/1994PA05H102.
Full textAbstract:
Notre recherche intitulée le système verbal de l'arabe classique, théorie et description, a pour but de proposer une grammaire fonctionnelle du système verbal de l'arabe classique. Nous avons alors abouti au dégagement de deux classes fondamentales. La première comprend trois déterminants verbaux, le futur, le potentiel et le passé, alors que la seconde ne contient guère que le parfait. Nous avons aussi tente de révéler le rôle de l'ordre des mots et celui de l'accord entre le sujet et l'indice de personne en tant que marqueurs fonctionnels, en remettant en question l'existence d'un paradigme casuel en arabe classiqueOur research, entitled the classical Arabic’s verbal system, theory and description, endeavors to present a functional grammar of classical Arabic’s verbal system. We have managed to distinguish two fundamental classes. The first his three verbal determinants, the future, the potential, and the past, whereas the second only has the perfect. We have also tried to reveal that word order and agreement between subject and personal pronoun operate as functional markers ; thus putting into question the existence of a case system in classical Arabic
6
Perez, Cortes Sergio. "La désagregation d'une théorie : le cas de l'économie politique classique." Paris 1, 1987. http://www.theses.fr/1987PA010612.
Full textAbstract:
Ce travail presente une analyse des causes qui ont amene au declin et a l'extinction de l'economie politique classique, et parmi ces causes, examine en particulier les caracteristiques de la premiere critique socialiste qui se developpe entre 1820 et 1840. En resume, on essaie de prouver que dans le cas de l'economie classique, l'apparition et la dissolution de la theorie sont des processus simultanes. Les debats ses situent frequemment autour des questions methodologiques, parce que c'est dans le domaine methodologique que se refletent d'habitude les difficultes propres a la production de l'unite de l'objet pense.
7
Zouania, Barry. "L'économie du contrat : essai d'une théorie néo-classique du contrat." Toulouse 1, 2007. http://www.theses.fr/2007TOU10044.
Full textAbstract:
L'économie du contrat désigne l'équilibre du contrat voulu par les parties. Elle n'est ni une nouvelle condition de validité du contrat, ni un nouveau mécanisme garantissant l'équilibre contractuel jusque dans l'exécution, à l'instar de ce que peuvent être l'exception d'inexécution, l'action résolutoire ou le droit de rétention. Son originalité réside en ce qu'elle est un standard d'interprétation de la volonté des parties. Sa particularité par rapport à une règle d'interprétation générale, tient en ce qu'elle est une référence d'application particulière, une norme privée. L'avènement de ce nouvel instrument se révèle d'autant plus utile que l'interventionnisme du contractant ou du juge sur le contrat se développent actuellement de manière remarquable. L'économie du contrat montre alors que la force obligatoire s'attache moins à une volonté déclarée des parties, purement formelle et contingente, qu'au respect dû pour un certain équilibre des intérêts dans l'échange. Cette conception de la force obligatoire n'est pas simplement théorique mais véhicule avec elle des solutions concordantes concernant les causes et la date de la naissance des créances contractuelles, la durée contractuelle, l'intangibilité du contrat, ou encore la détermination de la loi applicable. L'économie du contrat est alors l'occasion d'un travail critique plus fondamental, du double point de vue historique et scientifique, sur la réduction conceptuelle du contrat à la seule dimension subjective de l'accord de volontés qui s'est lentement opérée au fil du développement puis du triomphe du consensualisme. L'économie du contrat rappelle que le contrat forme indivisiblement un échange de volontés (conventio) et un échange de prestations (synallagma), une commutation volontaire. Cette nouvelle règle d'interprétation jette ainsi un pont entre les deux éléments premiers de tout engagement contractuel ; elle relie la volonté à sa cause. Elle rappelle, en outre, au droit moderne, la valeur de l'antique conception du synallagma qui voit dans le contrat un échange, rappel d'autant plus utile que le contrat, que l'on dit actuellement " en crise ", est en quête d'identité et se cherche une philosophie. Elle permet, enfin, de ressusciter le trésor de savoirs parfois oubliés, propres à une culture juridique si ce n'est à une civilisation. La découverte ou redécouverte de ce fonds commun n'est pas son moindre mérite au moment où s'élaborent, à l'échelon européen et international, des projets de codification du droit des contrats.
8
Maillet, Jean-Michel. "Structures algébriques et intégrabilité en théorie classique et quantique des champs." Paris 6, 1986. http://www.theses.fr/1986PA066124.
Full textAbstract:
On présente l'élaboration et le développement des structures intégrables nouvelles en théorie classique et quantique des champs et leurs applications à des modèles pour lesquels les méthodes et structures usuelles ne peuvent être appliquées.
9
Geoffroy, Guillaume. "Réalisabilité classique : nouveaux outils et applications." Thesis, Aix-Marseille, 2019. http://www.theses.fr/2019AIXM0099/document.
Full textAbstract:
La réalisabilité classique de Jean-Louis Krivine associe à chaque modèle de calcul et chaque modèle de la théorie des ensembles un nouveau modèle de la théorie des ensembles, appelé modèle de réalisabilité, d'une façon similaire au forcing. Chaque modèle de réalisabilité est muni d’une algèbre de Boole caractéristique $\gimel 2$ (gimel 2), dont la structure donne des informations sur les propriétés du modèle de réalisabilité. En particulier, les modèles de forcing correspondent au cas où $\gimel 2$ est l'algèbre de Boole à deux éléments.Ce travail présente de nouveaux outils pour manipuler les modèles de réalisabilité et donne de nouveaux résultats obtenus en les exploitant. L'un d'entre eux est qu'au premier ordre, la théorie des algèbres de Boole à au moins deux éléments est complète pour $\gimel 2$, au sens où $\gimel 2$ eut être rendue élémentairement équivalente à n'importe quelle algèbre de Boole. Deux autres résultats montrent que $\gimel 2$ peut être utilisée pour étudier les modèles dénotationnels de langage de programmation (chacun part d'un modèle dénotationnel et classifie ses degrés de parallélisme à l'aide de $\gimel 2$). Un autre résultat montre que la technique de Jean-Louis Krivine pour réaliser l'axiome des choix dépendants à partir de l'instruction quote peut se généraliser à des formes plus fortes de choix. Enfin, un dernier résultat, obtenu en collaboration avec Laura Fontanella, accompagne le précédent en adaptant la condition d'antichaîne dénombrable du forcing au cadre de la réalisabilité, ce qui semble semble ouvrir une piste prometteuse pour réaliser l'axiome du choixJean-Louis Krivine's classical realizability defines, from any given model of computation and any given model of set theory, a new model of set theory called the realizability model, in a similar way to forcing. Each realizability model is equipped with a characteristic Boolean algebra $\gimel 2$ (gimel 2), whose structure encodes important information about the properties of the realizability model. For instance, forcing models are precisely the realizability models in which $\gimel 2$ is the Boolean algebra with to elements.This document defines new tools for studying realizability models and exploits them to derive new results. One such result is that, as far as first-order logic is concerned, the theory of Boolean algebras with at least two elements is complete for $\gimel 2$, meaning that for each Boolean algebra B (with at least two elements), there exists a realizability model in which $\gimel 2$ is elementarily equivalent to B. Next, two results show that $\gimel 2$ can be used as a tool to study denotational models of programming languages (each one of them takes a particular denotational model and classifies its degrees of parallelism using $\gimel 2$). Moving to set theory, another results generalizes Jean-Louis Krivine's technique of realizing the axiom of dependant choices using the instruction quote to higher forms of choice. Finally, a last result, which is joint work with Laura Fontanella, complements the previous one by adapting the countable antichain condition from forcing to classical realizability, which seems to open a new, promising approach to the problem of realizing the full axiom of choice
10
Detcherry, Renaud. "Analyse semi-classique des opérateurs courbes en TQFT." Thesis, Paris 6, 2015. http://www.theses.fr/2015PA066252/document.
Full textAbstract:
Witten, Reshetikhin et Turaev ont défini des invariants des variétés topologiques de dimension 3, dits "quantiques" qui s'étendent en une structure de TQFT, c'est-à-dire un foncteur monoïdal d'une catégorie de cobordismes vers la catégorie des espaces vectoriels complexes. Nous étudions ici leur asymptotique. Dans ce cadre, les courbes sur une surface induisent des endomorphismes des espaces de TQFT, appelés opérateurs courbes, qui sont l'un des objets centraux du mémoire. Tous ces invariants dépendant d'un paramètre entier r, on s'intéresse à leur comportement quand r tend vers l'infini. On s'aperçoit alors que les invariants quantiques sont liés à des objets plus géométriques, comme les espaces des modules des représentations dans SU2 du groupe fondamental d'une surface. La première partie de la thèse introduit la notion de TQFT et les invariants de Witten-Reshetikhin-Turaev, puis donne des rudiments de géométrie de l'espace des modules SU2 d'une surface et de quantification géométrique. La deuxième partie présente un résultat sur l'asymptotique des coefficients de matrices des opérateurs courbes en TQFT. A partir de calcul d'écheveau et d'un théorème de Bullock, on relie les deux premiers termes de leur développement aux fonctions traces associées aux multicourbes. Cette thèse aboutit dans la troisième partie à un résultat asymptotique pour les coefficients de matrices des représentations quantiques. Un modèle géométrique est proposé pour les espaces de TQFT associés aux surfaces, et il est montré que les opérateurs courbes s'identifient alors à des opérateurs de Toeplitz. Des méthodes standards d'analyse semi-classiques permettent d'en déduire le résultatIn this thesis we study the asymptotics of some invariants of 3-manifolds, known as "quantum invariants" which were defined by Witten, Reshetikhin and Turaev. These invariants are part of a TQFT structure, that is a monoidal functor for a category of cobordism to the category of complex vector spaces. In this setting, curves on surfaces induce endomorphisms of TQFT vector spaces, called curve operators, which are one of the main object in our study. All these invariants depend of an integer parameter r, and we are interested in their behavior when r tends to infinity. We can then see that quantum invariants are related to more geometric objects, like the moduli space of conjugacy classes of SU2 representations of the fundamental group of a surface. The thesis is divided in 3 parts: in the first one we introduce the notion of TQFT and the Witten-Reshetikhin-Turaev invariants, then we give basic properties of the SU2-moduli spaces and explain the general approach of geometric quantification. In the second one we present a result on the asymptotics of matrix coefficients of curve operators. Using skein calculus and a theorem of Bullock, we express the first two terms of their expansion in terms of trace functions on the SU2-moduli space associated to multicurves. The final part gives an asymptotic expansion of matrix coefficents of quantum representations. A geometric model for TQFT vector spaces is defined, and we show that curve operators can be seen as Toeplitz operators in this model. Standard tools of semi-classical analysis allow us to deduce the result from this
11
Roubert, Benoît. "Approche semi-classique de l'information quantique." Toulouse 3, 2010. http://thesesups.ups-tlse.fr/1123/.
Full textAbstract:
Aujourd'hui, une large communauté de scientifiques travaille en vue de la réalisation d'un ordinateur quantique, une machine dont il est montré qu'elle peut offrir, au moins en théorie, et en particulier pour les problèmes dont la complexité croît exponentiellement avec la taille du système, des performances inaccessibles à ses homologues classiques. Cette thèse s'intéresse à la possibilité de réaliser une approche semi-classique de l'information quantique dans deux domaines d'intérêt : celui du clonage approché d'un qubit, et celui de l'amplification de spins dans des chaînes de spins. Dans la première partie de cette thèse est étudié le rôle de l'interférence dans les cloneurs quantiques. Nous étudions en particulier le cas de cloneurs sans interférence (au sens définit dans la thèse) qui se révèle être un cas intermédiaire (que l'on peut qualifier de semi-classique) entre les cloneurs purement quantiques (qui propagent cohérences et probabilités des matrices densités) et les cloneurs classiques (qui ne propagent que les probabilités). Dans la seconde partie, on s'intéresse au phénomène d'amplification de spin qui permet d'amplifier l'état d'un spin unique comme état de polarisation de la chaîne toute entière, problème pour lequel l'approche semi-classique (valable en raison du grand nombre de spins) est utilisée pour montrer l'importance inattendue jouée par les effets de bords dans de tels systèmesToday, a large community of scientists is working to make possible the achievement of a quantum computer, a machine that can offer at least in theory (and especially for problems whose complexity grows exponentially with the size of the system) a degree of performance inaccessible to its classical counterpart. This thesis is looking at the possibility of producing a semi-classical approach of quantum information in two areas of interest: the cloning of a qubit, and the amplification of spin in spin chains. In the first part of this thesis is studied the role of interference in quantum cloners. We study in particular the case of cloners without interference (as defined, in the thesis) that turned out to be an intermediary case (that can be qualified of semi-classical) between purely quantum cloners (which propagate coherences and probabilities of density matrices) and classical cloners (which carry only the probabilities). In the second part, the phenomenon of amplification is studied in spin chains, which allows to amplify the state of a unique spin in a state of polarization of the entire chain, problem for which the semi-classical approach (valid because of the large number of spins) is used to show the unexpectedly important role played by the edge effects in these kind of systems
12
Bomble, Laëtitia. "Contrôle de la dynamique de systèmes complexes : Application à l'information quantique et classique." Paris 11, 2010. http://www.theses.fr/2010PA112087.
Full textAbstract:
Cette thèse porte sur la recherche et l’étude de nouveaux moyens de coder et manipuler de l’information sur des systèmes quantiques. On peut, sur ceux-ci, continuer d’utiliser la logique usuelle (classique) afin de gagner en taille et en rapidité, ou développer une nouvelle logique (quantique) utilisant les propriétés quantiques de ces systèmes afin de faire des opérations irréalisables en logique classique. Les supports de l’information retenus ici sont des états propres de molécules. Pour pouvoir y manipuler l’information, il faut en contrôler la dynamique, ici par l’emploi d’un champ laser mis en forme pour faire sur la molécule une transformation précise (impulsions TT ou STIRAP optimisées par algorithmes génétiques, ou calculées par contrôle optimal). L’objectif de ce travail était de rechercher des systèmes quantiques candidats parmi les molécules pour le calcul classique et quantique, et d’y simuler des portes logiques, avec des encodages de l’information et des méthodes de contrôle variées. Pour le calcul classique, l’implémentation d’un additionneur au moyen de processus STIRAP sur le dioxyde de soufre a été simulée, proposant ainsi une mise en œuvre pour l’implémentation d’une porte classique sur un système moléculaire quantique. Pour le calcul quantique, des circuits ont été implémentés par computation vibrationnelle sur le chlorure de bromoacétyl nitreux, l’acide nitreux et le thiosphogène contrôlés par contrôle optimal, confirmant le potentiel présenté par les molécules polyatomiques pour le calcul quantique. L’utilisation d’un réseau de molécules diatomiques ultra-froides piégées couplée par interaction dipolaire, comme support logique a également été étudiéeThis thesis is dedicated to the study and research of new ways of implementing and manipulating information on quantum systems. On such systems, the usual (classical) logic can be used, improving size and duration, or a new logic (quantum) using quantum properties of this systems can be developed allowing new logic operations. The systems used are here eigen states of molecules. In the order of mapped information in such systems, we need to be able to manipulate their dynamics, here we use a laser field designed to make a determined transformation on the molecule (pi-pulse or STIRAP pulses designed by genetic algorithms or pulses generated by optimal control). The goal of this thesis was to search quantum systems among the molecules to be used as candidates for classical and quantum computation and to modelize on them logic gates with various implementations and ways of control. On the classical computation aspect, a simulation of a full adder by a STIRAP process on sulfur dioxide has been made and so a realization of a classical gate on a quantum system has been proposed. On the quantum computation aspect, some circuits has been implemented by vibrational computing on bromoacetyl chloride on nitrous acid and on thiophosgene controlled by optimal control. The utilization on a network of ultra-cold trapped diatomic molecules coupled by dipolar interaction has also been studied
13
Caporali, Cordeiro Renato. "Vers une théorie de la richesse sociale : une relecture de l'économie classique." Paris, EHESS, 1992. http://www.theses.fr/1992EHES0028.
Full textAbstract:
A la naissance de la pensee economique, la notion de richesse etait centrale. Elle designait a la fois l'objet et l'objectif de l'economie politique. Au long de l'evolution historique decette science, cependant, le probleme de la richesse cede place a celui de valeur d'echange : la question de l'origine, nature et implications des objets d'usage qui constituent la consommation privee et sociale sur la reproduction de cette richesse est remplacee par la question des rapports d'echange etablis entre les agents prives ou entre les classes sociales. Ce glissement peut etre legitime, mais le probleme reside dans l'identification implicite ou explicite -- qui ne resiste pas a l'examen critique -- entre les notions de richesse et de valeur. Cette these reprend des problemes qu'une relecture des economistes classiques a la lumiere de certains themes de l'ecologie politique contemporaine peut susciter. Dans chaque chapitre on s'approchera d'une problematique de ce que nous proposons d'appeler << science des richesses >> : la definition de richesse comme etant les valeurs d'usage pour la consommation sociale, la nature prise comme cadre, base et limite de la richesse, l'importance des comportements sociaux, et l'identification de la specificite de la problematique de la richesse par rapport a celle de la valeur (les theories de la valeur d'echange)At the dawn of the economic thought, the notion of wealth was essential. It embraced at the same time the object and the objective of political economy. All along the historical evolution of this science, however, the problem of wealth gradually gave way to that of exchange value: the question of the origin, nature and implications of objects of use that constituted the private and social consumption over the reproduction of this wealth was replaced by the question of the exchange relationship established among private agents or between social classes. This transition may be legitimate, but the problem dwells in implicit or explicit identification -- which does not bear a critical examination -- between the notions of wealth and value. This thesis focuses again on the problems that can be raised through a reading of classic economists at the light of certain themes of contemporary political ecology. In each chapter we shall approach the main aspects of that which we propose calling <>. Wealth being defined as the goods for social consumption, nature considered as the frame, the basis and the limits of wealth, the importance of social behaviour, and the identification of the peculiar traits presents in the problem of wealth in relation to that of value (the theories of exchange value)
14
Garay, Mauricio D. "Théorie classique et legendrienne des aplatissements évanescents des courbes planes et spatiales." Paris 7, 2001. https://tel.archives-ouvertes.fr/tel-00001243.
Full text
15
GARAY, Mauricio. "Théorie classique et legendrienne des points d'aplatissement évanescents des courbes planes et spatiales." Phd thesis, Université Paris-Diderot - Paris VII, 2001. http://tel.archives-ouvertes.fr/tel-00001243.
Full textAbstract:
Un point d'aplatissement d'une courbe (réelle $C^\infty$ ou complexe holomorphe) de l'espace projectif (réel ou complexe) de dimension $n$ est un point de la courbe pour lequel l'hyperplan osculateur à un contact plus élevé qu'en un point ordinaire. Pour $n=2$, les points d'aplatissement sont communément appelés les points d'inflexions.\\ Dans la première partie de la thèse étudie les familles de courbes par rapport aux points d'aplatissement.\\ On introduit une notion de forme normale par rapport aux aplatissements des fibres d'une application $f:(\KM^n,0) \to (\KM^{n-1},0)$, avec $\KM=\RM$ ou $\KM=\CM$,\\ Ensuite, on commence la classification des germes d'applications (réels $C^\infty$ ou complexes holomorphes) $f:(\KM^n,0) \to (\KM^{n-1},0)$, avec $\KM=\RM$ ou $\KM=\CM$, par rapport aux points d'aplatissement des fibres de l'application. On introduit la notion de déformation verselle par rapport aux aplatissements, et on calcule ces déformations pour les fonctions de Morse de deux variables. Enfin, on définit ``les invariants fondamentaux de topologie projective'' d'un germe $f:(\KM^n,0) \to (\KM^{n-1},0)$ et on calcule ces invariants pour les éléments de la classification.\\ Dans une deuxième partie, on tente d'inclure la théorie des aplatissements des courbes en développant la théorie de propagation des fronts d'onde. par le biais d'un théorème de déformations verselles pour les applications legendriennes. On généralise des résultats de Kazarian sur les courbes spatiales au cas variétés de dimension quelconque. Notamment, on démontre un théorème sur la bifurcation des courbes paraboliques de certaines familles de surfaces dans l'espace projectif.
16
Nekroumi, Mohammed. "L'interrogation : essai d'une théorie syntaxique et pragmatique à partir d'un corpus d'arabe classique." Aix-Marseille 1, 1993. http://www.theses.fr/1993AIX10042.
Full textAbstract:
Le present travail se propose d'etablir, a travers l'etude du phenomene de l'interrogation en arabe classique, un lien entre deux categories de recherche linguistique. L'une concerne la theorie linguistique generale et l'autre s'adresse au domaine particulier de la langue decrite. La theorie syntaxique esquissee dans cette tentative s'est donnee pour tache de montrer les relations qu'entretiennent la structure syntaxique de la phrase interrogative et la structure informative que constitue le message. Un tel rapprochement a permis de degager certains traits semantico-syntaxiques propres a la structure interrogative. L'examen de quelques phenomenes tels que celui de l'ordre des mots ou celui de la flexion casuelle a contribue de facon claire a distinguer les rapports entre ordre lineaire et ordre structural d'un cote, et entre fonctions syntaxiques et roles informatifs de l'autres. L'analyse pragmatique de l'interrogation a repose, quant a elle, sur la conception juridique de l'illocutoire. La description des faits de l7arabe classique a permis de montrer l'interet de la demarche d'analyse qui consiste a integrer, des le niveau de la phrase, des aspects relevant de l'activite discursive.
17
Brassart, Matthieu. "Limite semi-classique de transformées de Wigner dans des milieux périodiques ou aléatoires." Nice, 2002. http://www.theses.fr/2002NICE5751.
Full textAbstract:
Cette thèse concerne l'homogénéisation, ou limite semi-classique, des transformées de Wigner associées à des suites bornées solutions d'une équation de Schro͏̈dinger ou d'un système hyperbolique linéaire du premier ordre. On établit diverses équations de transport satisfaites par les mesures de Wigner limites lorsque qu'un petit paramètre tend vers zéro. Une première partie résume les propriétés générales de la transformation en rappelant son lien avec le calcul pseudo-différentiel. Une seconde partie étudie la perturbation des hamiltoniens périodiques par des potentiels réguliers apériodiques au moyen d'estimations de commutation concernant les décompositions de Bloch. Une troisième partie étudie sous une hypothèse de couplage faible l'homogénéisation de certains milieux aléatoires évoluant chaotiquement selon une dynamique réversible mais gouvernés en moyenne par une dynamique irréversible de type Bolztmann. Une quatrième partie clarifie au moyen du formalisme des transformées de Wigner un résultat connu d'existence-unicité pour la hiérarchie infinie BBGKY du problème de Schr"odinger à N particules, lorsque N tend vers l'infini, dans l'approximation de champ moyenThis thesis is concerned with the homogenization (or semi-classical limit) of various Wigner transforms associated to bounded sequences which solve a Schr"odinger equation or a first order linear hyperbolic system. Transport equations are derived for the limiting Wigner measure when a small parameter goes to zero. A first part describes the general properties of Wigner transforms and recalls their links to pseudo-differential calculus. A second part studies the perturbation of periodic hamiltonians by regular aperiodic potentials by means of commutation estimates concerning Bloch decompositions. A third part studies in the weak coupling limit a class of random media which are chaotically governed by reversible dynamics but statistically governed by irreversible dynamics of Boltzmann's type. Using the Wigner formalism a fourth part clarifies a known result of existence-unicity for the BBGKY infinite hierarchy of Schr"odinger problem with N particles, when N goes to infinity, in the mean field approximation
18
Lageste, Christian. "La théorie des cycles politiques dans l'antiquité gréco-romaine." Aix-Marseille 3, 2006. http://www.theses.fr/2006AIX32015.
Full textAbstract:
Entendue comme une succession ordonnée, régulière et répétée de régimes politiques, la théorie des cycles politiques qui apparaît pour la première fois chez Platon représente une synthèse méthodique entre l'évolution historique des régimes politiques des cités grecques, les divers aspects de la conception présocratique du temps et l'effort de classification des formes d'organisation étatique. Platon élabore la première théorie qui combine à la fois une conception déterministe et transformiste de l'histoire à travers une approche juridique et morale, matérielle et psychologique de la transformation inéluctable des régimes. Avec Aristote, la théorie se dote d'un caractère empirique, se projette sur toute l'histoire institutionnelle des cités grecques. Il n'est plus alors question d'un ordre strict de succession des régimes politiques, mais d'une véritable tentative pour comprendre la causalité de la ruine des républiques dont Aristote dresse un bilan exhaustif et thématique. A Rome avec Polybe, la théorie trouve son expression la plus explicite et la plus achevée. Dénuée de tout fondement cosmologique, l'anakuklôsis s'érige alors en véritable loi naturelle des Etats pouvant expliquer le cheminement des institutions de Carthage et de Rome, et d'autre part, la supériorité de la constitution romaine sur celle des cités rivales. Elle s'impose alors dans l'esprit des penseurs républicains comme la justification historique de la meilleure constitution mais n'en exclut pas moins l'idée d'une décadence inéluctable de la République sur laquelle les juristes, historiens et poètes n'ont cessé de méditer à travers les thèmes récurrents de l'éternité de Rome, la corruption des moeurs ancestrales ou la nostalgie d'un âge d'or révolu mais voué à réapparaître périodiquement. Cicéron reprendra lui aussi de Polybe la théorie des cycles et du régime mixte dans un ordre et une logique comparables. Mais l'approche cicéronienne reste éclectique et constitue en fait la dernière version des cycles politiques de l'Antiquité, instrumentalisée par Auguste sous les traits d'une prétendue restauration de la République. Sous l'Empire, la théorie subit de profondes mutations et disparaît au profit de conceptions cycliques du temps plus historiques, poétiques ou cosmologiques auxquelles, malgré leur acceptation de certains aspects du temps cyclique, s'attaqueront les penseurs chrétiens. Dans son expression purement politique, la théorie n'a semble-t-il jamais subi d'attaque directe dans l'Antiquité et se présente même comme un lieu commun chez les plus grands penseurs politiques de l'Antiquité païenne, désireux de mettre en lumière les fondements d'une temporalité propre au domaine politique, de systématiser et d'ériger en loi du devenir constitutionnel le transformisme institutionnel caractéristique de l'évolution même de la cité grecque et romaine. Elle constitue une réflexion sur la naissance, la croissance, l'apogée, le déclin et la mort des organisations politiques et sur les mécanismes du passage de l'une à l'autre. Elle s'inscrit dans un processus juridico-politique faisant appel aux lois de l'histoire et à la quête du meilleur régime qui témoigne de toute l'interaction entre l'histoire des institutions et l'histoire de la pensée politiqueThe theory of political cycles as a orderly, regular and repetitive succession of forms of governments that appears for the first time with Plato is a methodical synthesis between the greek cities governments' historical evolution, the different aspects of the presocratic conceptions of time and the typology of constitutional forms. Plato elaborates the first theory that combines both determinist and transformist conceptions of history through a juridical and moral, material and psychological approach of the unavoidable political change. With Aristotle, the theory becomes empirical and concerns the whole institutional history of the greek cities. He gives up the strict determinism of the platonism in order to understand the causality of political change. With Polybius at Rome, the theory becomes more complete to explain the natural laws of constitutional evolution of cities as Rome or Carthage, the superiority and the durability of the roman mixed constitution even if it will degenerate too, as every political bodies, political decadence on which every jurists, poets, historians will take care through ideas of Roman eternity, moral corruption, cyclical reappearance of golden age. Cicero after Polybius links the political cycle with the mixed constitution. His approach is eclectic and his conception of the political cycle is the last of the Antiquity, even if it will be used by Augustus to proclaim the restoration of the Republic. Under the Empire, the theory suffers from several mutations and disappears, replaced by poetical, historical, philosophical and cosmological cyclic conceptions of time and roman evolution attacked by christian thinkers who accept nevertheless some aspects of the pagan cyclical view of time. Never directly attacked in its strictly political or constitutional version, the theory of political cycles has been accepted as a common place by the most important political thinkers of the pagan Antiquity in order to definite a political temporality and the laws of constitutional change and becoming of the greek and roman cities. It finally represents a general reflection about the laws of birth, growth, decline and death of the constitutional organizations through juridical and political process based on the laws of history and the search of the best government, and an important contribution to the understanding of the links between the history of institutions and the history of political ideas
19
Raţiu, Dan-Eugen. "Peinture et théorie de l'art au XVIIe siècle : Nicolas Poussin et la doctrine classique." Paris 1, 2005. http://www.theses.fr/2005PA010578.
Full textAbstract:
Ce travail propose une analyse de la pensée artistique de Poussin en relation avec la doctrine classique - l'"Ut poesis pictura", l'"Ut rhetorica pictura", le discours académique -, et sa pratique picturale. Les objectifs sont d'éclairer ses caractéristiques et ses enjeux, sa place dans le cadre de la pensée de l'art à l'âge classique et son rôle dans l'émergence d'une nouvelle idée de la peinture. Nous défendons la thèse qu'il s'agit de la réflexion d'un peintre qui, loin d'être soumise aux données historiques et culturelles, mobilise des ressources propres pour adapter d'une manière nouvelles les concepts de la tradition classique et aboutit à redéfinir la nature, les fins et les moyens de son art, les principes de la production créatrice et la bonne manière de considéere les tableaux. Cette interprétation différente de celle avancée par la critique intellectualiste académique ou moderne, permet de reconsidérer le sens des notions de "peinture philosophique" et de "peintre philosophe" quant à Poussin.
20
Barrois, Louis. "Empirisme et dynamique classique dans la théorie du champ électromagnétique de J. Clerk Maxwell." Paris 4, 1993. http://www.theses.fr/1993PA040114.
Full textAbstract:
Pour réaliser vers 1865 la seconde grande synthèse de la physique classique, Maxwell a emprunté à Ampère le schéma d'interaction entre circuits, l'hypothèse des courants dans les aimants et l’équation solénoïdale. Chez Faraday, il trouve un contenu empirique étendu relatif aux diélectriques et à l'induction, ainsi que l'idée du champ associé à une action de proche en proche. L'extension et la formalisation de ces notions s’effectue d'abord selon le support de modèles mécaniques, puis par l'introduction du courant de déplacements, hypothèse destinée, en l'absence d'une connaissance précise des diélectriques, à permettre l'expression de la lumière comme onde électromagnétique. Le recours à la dynamique de Lagrange assure la stabilisation des intuitions. L'interprétation électrocinétique de l'expression langrangienne de l'interaction entre deux circuits permet de déduire les effets mécaniques des effets électromagnétiques. L'épistémologie de Maxwell porte trace de ce parcours, dont l'aboutissement, un nouveau terme théorique, le champ, associe à un système d'équations, se situé au point de départ de l'entreprise d’EinsteinIn order to build the second great synthesis of classical physics around 1865, Maxwell borrowed Ampere's interaction pattern, the hypothesis of currents in magnets and the solenoidal equation. In Faraday he found extensive empirical contents concerning dielectrics and induction, as well as the idea of the field associated to an action by degrees. The extension and formalization of these concepts is firstly carried out using mechanical models as supports then by introducing the displacement current. Lacking precise knowledge of dielectrics, this hypothesis was intended to enable light to be expressed as an electromagnetic wave. Recourse to the Lagrange’s dynamics stabilizes the intuitions. The electromagnetic interpretation of the interaction between two circuits enables mechanical effects to be deduced from electromagnetic effects. Maxwell’s epistemology shows traces of this path which arrives at a new theoretical term, i. E. The field associated with a system of equations. This theoretical term leaves off where Einstein’s research starts
21
Planat, Mathieu. "Aspects dynamiques des courants autour de la transition quantique-classique." Strasbourg, 2011. http://www.theses.fr/2011STRA6166.
Full textAbstract:
Cette thèse s'inscrit dans la problématique de la transition quantique-classique et, plus particulièrement, dans le cadre de la construction de l'électromagnétisme classique à partir de l'électrodynamique quantique sous-jacente en faisant appel à la théorie de la décohérence. Pour cela, il est nécessaire d'utiliser un cadre théorique permettant de définir des observables sur des états mixtes afin de rendre compte de l'intervention d'un environnement. Les observables et les phénomènes sont décrits ici au moyen de fonctions de Green. La valeur moyenne du champ électromagnétique et celle de courants de charges ont été introduites pour des résolutions d'espace-temps appartenant au domaine quantique. Ces moyennes sont définies à partir de conditions initiales: les équations du mouvement retardées leur correspondant ont été obtenues par application du principe variationnel à l'ordre d'une boucle. En outre, ces relations font intervenir la polarisabilité d'un environnement constitué de charges dont l'étude a été menée dans le vide ainsi qu'à température et densité finies. Enfin, la décohérence du champ électromagnétique a pu être établie par le calcul perturbatif de la matrice densité réduite de cette observable. Pour une résolution microscopique, les chemins consistants correspondent à ceux dont les modes définissent des excitations collectives de faible temps de vie: c'est le signal d'un régime fortement dissipatif nécessaire à l'établissement d'une limite classique au sens de la décohérenceThis thesis is about the quantum to classical crossover. More specifically, this work is motivated by the derivation of classical electromagnetism from the underlying quantum electrodynamics using the theory of decoherence. To achieve this goal, the use of a framework allowing mixed states for observables is needed in order to take into account the effects of an environment. Observables and phenomena are described here by means of Green's functions. Expectation values of the electromagnetic field and of the electric currents are introduced at space-time resolution which belongs to the quantum domain. These quantities are defined by initial values: they obey retarded equations of motion which can be derived from an action principle and which are obtained at one-loop order. These relations bring in the polarizability of an environment of charges which is studied in vaccuo as well as at finite temperature and density. Finally, decoherence of the electromagnetic field is established by a perturbative calculation of the reduced density matrix for this field. At the microscopic scale, consistency depends on histories which define short life-time collective excitations: this is the mark of a strongly dissipative situation which is necessary if one wants to establish a classical regime within the framework of decoherence
22
Suárez, Jaime. "Etude comparative classique/quantique des collisions atomiques dans les plasmas de fusion thermonucléaire." Bordeaux 1, 2005. http://www.theses.fr/2005BOR12981.
Full textAbstract:
On présente une étude théorique comparative des traitements classiques et semi-classiques des collisions Ne10+ + H(1s) et Ar18+ + H(1s), d'intérêt pour la physique des plasmas de fusion. Dans l'approche semi-classique, le projectile suit des trajectoires rectilignes classiques tandis que le mouvement électronique est décrit quantiquement. On cherche alors une solution à l'équation de Schrödinger dépendante du temps sous la forme d'une fonction d'onde totale développée sur une base finie d'états représentant les canaux de capture, d'excitation et d'ionisation. Dans l'approche classique, le projectile est encore astreint à suivre des trajectoires rectilignes et on introduit une distribution statistique de trajectoires indépendantes pour rendre compte du mouvement de l'électron. Une grande attention est portée à l'étude de la dynamique de la méthode classique dans le domaine des basses énergies d'impact. On analyse différentes distributions classiques employées pour simuler les conditions initiales quantiques et les effets de chacune d'entre elles sur les sections efficaces. On vérifie aussi la validité de la méthode de partition de l'espace de phases, basée sur la reproduction de la multiplicité des niveaux quantiques. On étudie finalement la capacité du formalisme classique à décrire correctement, par rapport à la méthode semi-classique considérée exacte, les mécanismes physiques qui apparaissent dans ce type de collisions, et proposons des améliorations pour de futurs travaux.
23
Rouhling, Damien. "Outils pour la formalisation en analyse classique : une étude de cas en théorie du contrôle." Thesis, Université Côte d'Azur (ComUE), 2019. http://www.theses.fr/2019AZUR4058.
Full textAbstract:
Il s'agit de mettre à l'épreuve une bibliothèque d'analyse dans l'assistant de preuve Coq au travers d'une étude de cas en théorie du contrôle. Nous formalisons une preuve de stabilité pour le pendule inversé, un exemple classique en théorie du contrôle. Le contrôle du pendule inversé est un défi en raison de sa non-linéarité, à tel point que ce système est souvent utilisé comme référence pour l'essai de nouvelles techniques de contrôle. Durant cette étude de cas, nous identifions des défauts des outils aujourd'hui accessibles pour la formalisation en analyse classique et nous en développons d'autres afin d'atteindre le but de cette étude de cas. En particulier, nous essayons d'imiter le style de preuve sur papier grâce à de nouvelles notations et de nouveaux mécanismes d'inférence. C'est une étape essentielle pour rendre la preuve formelle plus accessible aux mathématiciens. Ensuite, nous développons une nouvelle bibliothèque d'analyse classique en Coq, qui intègre ces nouveaux outils et qui essaie de pallier les limitations de la bibliothèque que nous avons testée, en particulier dans le domaine du raisonnement asymptotique. Nous testons aussi cette nouvelle bibliothèque sur la même preuve formelle et tirons des conclusions sur ses forces et faiblesses. Enfin, nous esquissons une nouvelle méthodologie pour répondre aux limitations de notre bibliothèque dans le domaine du calcul. Nous exploitons une technique appelée raffinement afin de refactoriser la méthode de preuve par réflexion, une technique qui automatise les preuves grâce au calcul et qui de plus réduit la taille des termes de preuves. Nous mettons en œuvre cette méthodologie sur l'exemple du raisonnement arithmétique dans les anneaux et expliquons comment ce travail pourrait servir à généraliser des outils déjà existantsIn this thesis, we put a library for analysis in the Coq proof assistant to the test through a case study in control theory. We formalise a proof of stability for the inverted pendulum, a standard example in control theory. Controlling the inverted pendulum is challenging because of its non-linearity, so that this system is often used as a benchmark for new control techniques. Through this case study, we identify issues in the tools that are currently available for the formalisation of classical analysis and we develop new ones in order to achieve our formalisation goal. In particular, we try to imitate the pen-and-paper proof style thanks to new notations and inference mechanisms. This is an essential step to make formal proofs more accessible to mathematicians. We then develop a new library for classical analysis in Coq that integrates these new tools and tries to palliate the limitations of the library we tested, especially in the domain of asymptotic reasoning. We also experiment with this new library on the same formal proof and draw lessons on its strengths and weaknesses. Finally, we sketch a new methodology in order to address the limitations of our library in the particular domain of computation. We exploit a technique called refinement to refactor the methodology of proof by reflection, a technique that automates proofs through computation and also reduces the size of proof terms. We implement this methodology on the example of arithmetic reasoning in rings and discuss how this work could be used to generalise existing tools
24
Payet, Jimmy. "États fondamentaux dans l'approximation quasi-classique pour des modèles d'électrodynamique quantique non relativiste." Electronic Thesis or Diss., Université de Lorraine, 2023. http://www.theses.fr/2023LORR0045.
Full textAbstract:
Dans cette thèse, on s'intéresse à des modèles de théorie quantique des champs décrivant les interactions entre une particule non relativiste et un champ de radiation quantifié. En particulier, on s'intéresse à la minimisation de l'énergie quasi-classique des modèles considérés, c'est-à-dire l'énergie du système lorsque le champ se trouve dans un état cohérent. Un premier résultat concerne le modèle spin-boson, c'est un modèle simple (mais non trivial) où la particule non relativiste est décrite par un système de dimension finie et est couplée linéairement à un champ quantifié scalaire. On obtient pour ce modèle une expression explicite de l'énergie fondamentale quasi-classique et de l'ensemble des minimiseurs, pour toute valeur de la constante de couplage. On montre également que l'ensemble des minimiseurs est trivial si la constante de couplage est inférieure à une valeur critique. D'autre part, on obtient l'existence d'un état fondamental pour l'énergie lorsque le champ se trouve dans une superposition de deux états cohérents. On considère ensuite des modèles pour lesquels la particule non relativiste est décrite par un opérateur de Schrödinger. Dans le cas où le couplage entre la particule et le champ est linéaire en les opérateurs de création et d'annihilation (modèle de Nelson, modèle du Polaron), on montre l'existence et l'unicité d'un état fondamental quasi-classique associé à l'énergie quasi-classique, à symétrie de phase près. On suppose le potentiel extérieur confinant ou liant et nous n'imposons pas de troncature ultraviolette dans la définition de la fonctionnelle d'énergie. Nous obtenons ensuite un développement asymptotique de l'énergie fondamentale quasi-classique lorsque le paramètre de couplage tend vers 0. Enfin, en faisant dépendre l'énergie du paramètre ultraviolet, on montre que les états fondamentaux, ainsi que les énergies fondamentales associées convergent dans la limite ultraviolette. Dans le cas du modèle standard de l'électrodynamique quantique non relativiste, sous des hypothèses similaires, on montre l'existence d'un état fondamental quasi-classique. Nous obtenons aussi un développement asymptotique lorsque le paramètre de couplage tend vers 0 et la convergence dans la limite ultraviolette de l'énergie fondamentaleIn this thesis, we study quantum field theory models that describe the interactions between a non-relativistic particle and a quantized radiation field. In particular, we focus on the minimization of the quasi-classical energy of the considered models, i.e. the energy of the system when the field is in a coherent state. A first result concerns the Spin-boson model. It is a simple (but non-trivial) model where the non-relativistic particle is described by a finite dimensional system and is linearly coupled to a quantized scalar field. We obtain an explicit expression for the quasi-classical ground state energy and the set of minimizers for this model, for any values of the coupling constant. We also prove that the set of minimizers is trivial when the coupling constant is below a critical value. We also obtain the existence of a ground state for the energy when the field is in a superposition of two coherent states.Next, we consider models where the non-relativistic particle is described by a Schrödinger operator. In the case where the coupling between the particle and the field is linear in the creation and annihilation operators (Nelson model, polaron model for instance), we show the existence and uniqueness of a quasi-classical ground state associated with the quasi-classical energy, up to a phase symmetry. We consider a general external potential, either bindind or confining, and do not impose an ultraviolet cutoff in the definition of the energy functional. Then, we obtain an asymptotic expansion of the quasi-classical ground state energy as the coupling parameter goes to 0. Finally, by making the energy depend on the ultraviolet parameter, we prove that the ground states and associated ground state energies converge in the ultraviolet limit. In the case of the standard model of non-relativistic quantum electrodynamics with a spin, under similar assumptions, we show the existence of a quasi-classical ground state. We also obtain an asymptotic expansion as the coupling parameter tends to 0 and the convergence of the ground state energies in the ultraviolet limit
25
Cormier, Olivier. "Résolution des équations différentielles linéaires d'ordre 4 et 5 : application à la théorie de Galois classique." Rennes 1, 2001. http://www.theses.fr/2001REN10048.
Full textAbstract:
L'objet de cette thèse porte sur l'étude des équations différentielles homogènes à coefficients dans un corps différentiel de corps de constantes algébriquement clos de caractéristique nulle. Dans un premier temps nous considérons un polynôme bivarié et montrons comment, à partir de l'équation différentielle linéaire satisfaite par les racines du polynôme, nous pouvons calculer une factorisation absolue du polynôme, déterminer son groupe de Galois classique et calculer le genre de la courbe définie par ce polynôme. Dans une seconde partie, nous nous intéressons aux solutions liouvilliennes (obtenues par compositions de fonctions algébriques, d'intégrales et d'exponentielles) des équations différentielles d'ordre 4 et 5. Nous donnons tous les degrés minimaux possibles d'une dérivée logarithmique algébrique et, à partir de la liste des sous-groupes primitifs finis unimodulaires. , nous donnons les ingrédients nécessaires aux calculs des polynômes minimaux des dérivées logarithmiques algébriques et des solutions algébriques de l'équation. Enfin, dans une dernière partie, nous construisons des exemples d'équations pour les sous-groupes primitifs finis unimodulaires en degré 4. Les pré-calculs de la partie précédente nous permettent de trouver un polynôme dont le groupe de Galois est un des groupes primitifs finis. Nous illustrons cette méthode pour le groupe SL(2,7).
26
Carmier, Pierre. "Une étude semi-classique du magnéto-transport dans les jonctions n-p de graphène." Paris 11, 2010. http://www.theses.fr/2010PA112039.
Full textAbstract:
Dans ce travail de thèse, j'étudie le transport des électrons dans le graphène en régime d'effet Hall, lorsqu'un potentiel électrostatique crée une jonction n-p dans le matériau. Cette configuration se distingue de celle dans les gaz d'électrons bidimensionnels usuels en raison de la structure de bande singulière du graphène, qui accroît significativement le couplage inter-bande via le paradoxe de Klein et entraîne également l'existence d'un effet Hall quantique anormal. Je commence par développer un formalisme semi-classique adapté à la nature pseudo-relativiste des électrons dans le graphène, dont l'outil central est l'approximation semi-classique de la fonction de Green à une particule. Cette dernière possède une contribution de phase dont je montre qu'elle doit être distinguée de la phase de Berry à laquelle il est communément fait référence dans ce contexte. Ce formalisme est ensuite mis à contribution afin d'étudier le magnéto-transport à travers une jonction n-p dans un ruban de graphène. Dans le régime magnétique (E < B), je montre que la conductance associée aux états excités est essentiellement nulle tandis que celle de l'état fondamental dépend des conditions aux bords du ruban. Dans le régime électrique (E > B), lorsque le potentiel électrostatique est abrupte à l'échelle de la longueur magnétique, j'obtiens en faisant appel au formalisme de Fisher-Lee-Baranger-Stone une expression semi-classique pour la conductance. Le comportement de cette dernière est discuté et comparé aux résultats expérimentaux obtenus en 2007 par Williams, DiCarlo et Marcus à HarvardThis thesis deals with electronic transport in graphene n-p junctions in the quantum Hall regime. The kind of transport featured in this configuration is different from what is commonly known in standard two-dimensional electron gases. Indeed, graphene's unusual band structure causes both a significant increase in the likeliness of inter-band tunneling via the Klein paradox and an anomalous quantum Hall effect. I start by developping a semiclassical formalism which takes into account the pseudo-relativistic nature of charge carriers in graphene. The central mathematical tool of this formalism is a semiclassical approximation to the single particle Green's function. Along the way, I comment on a particular phase contribution arising in the Green's function in graphene, and show it must be distinguished from a Berry phase which is commonly referred to in this context. The semiclassical Green's function is then put to use to study magnetotransport through a n-p junction in a graphene nanoribbon. In the magnetic regime (E < B), I show the conductance of excited states is essentially zero, while that of the ground state depends on the boundary conditions considered at the edge of the ribbon. In the electric regime (E > B), for a step-like electrostatic potential (abrupt on the scale of the magnetic length), I derive a semiclassical expression for the conductance based on the framework introduced by Fisher and Lee and generalized by Baranger and Stone. Behavior of the conductance is discussed and compared to what Williams, DiCarlo and Marcus observed experimentally at Harvard in 2007
27
Novakovic, Novak. "Sémantique algébrique des ressources pour la logique classique." Thesis, Vandoeuvre-les-Nancy, INPL, 2011. http://www.theses.fr/2011INPL075N/document.
Full textAbstract:
Le thème général de cette thèse est l’exploitation de l’interaction entre la sémantique dénotationnelle et la syntaxe. Des sémantiques satisfaisantes ont été découvertes pour les preuves en logique intuitionniste et linéaire, mais dans le cas de la logique classique, la solution du problème est connue pour être particulièrement difficile. Ce travail commence par l’étude d’une interprétation concrète des preuves classiques dans la catégorie des ensembles ordonnés et bimodules, qui mène à l’extraction d’invariants significatifs. Suit une généralisation de cette sémantique concrète, soit l’interprétation des preuves classiques dans une catégorie compacte fermée où chaque objet est doté d’une structure d’algèbre de Frobenius. Ceci nous mène à une définition de réseaux de démonstrations pour la logique classique. Le concept de correction, l’élimination des coupures et le problème de la “full completeness” sont abordés au moyen d’un enrichissement naturel dans les ordres sur la catégorie de Frobenius, produisant une catégorie pour l'élimination des coupures et un concept de ressources pour la logique classique. Revenant sur notre première sémantique concrète, nous montrons que nous avons une représentation fidèle de la catégorie de Frobenius dans la catégorie des ensembles ordonnés et bimodulesThe general theme of this thesis is the exploitation of the fruitful interaction between denotational semantics and syntax. Satisfying semantics have been discovered for proofs in intuitionistic and certain linear logics, but for the classical case, solving the problem is notoriously difficult.This work begins with investigations of concrete interpretations of classical proofs in the category of posets and bimodules, resulting in the definition of meaningful invariants of proofs. Then, generalizing this concrete semantics, classical proofs are interpreted in a free symmetric compact closed category where each object is endowed with the structure of a Frobenius algebra. The generalization paves a way for a theory of proof nets for classical proofs. Correctness, cut elimination and the issue of full completeness are addressed through natural order enrichments defined on the Frobenius category, yielding a category with cut elimination and a concept of resources in classical logic. Revisiting our initial concrete semantics, we show we have a faithful representation of the Frobenius category in the category of posets and bimodules
28
Lengrand, Stéphane. "Normalisation & Equivalence en Théorie de la Démonstration & Théorie des Types." Phd thesis, Université Paris-Diderot - Paris VII, 2006. http://tel.archives-ouvertes.fr/tel-00134646.
Full textAbstract:
Au coeur des liens entre Théorie de la Démonstration et Théorie des Types, la correspondance de Curry-Howard fournit des termes de preuves aux aspects calculatoires et équipés de théories équationnelles, i.e. des notions de normalisation et d'équivalence. Cette thèse contribue à étendre son cadre à des formalismes (comme le calcul des séquents) appropriés à des considérations d'ordre logique comme la recherche de preuve, à des systèmes expressifs dépassant la logique propositionnelle comme des théories des types, et aux raisonnements classiques plutôt qu'intuitionistes.La première partie est intitulée Termes de Preuve pour la Logique Intuitioniste Implicationnelle, avec des contributions en déduction naturelle et calcul des séquents, normalisation et élimination des coupures, sémantiques en appel par nom et par valeur. En particulier elle introduit des calculs de termes de preuve pour le calcul des séquents depth-bounded G4 et la déduction naturelle multiplicative. Cette dernière donne lieu à un calcul de substitutions explicites avec affaiblissements et contractions, qui raffine la beta-réduction.
La deuxième partie, intitulée Théorie des Types en Calcul des Séquents, développe une théorie des Pure Type Sequent Calculi, équivalents aux Systèmes de Types Purs mais mieux adaptés à la recherche de preuve.
La troisième partie, intitulée Vers la Logique Classique, étudie des approches à la Théorie des Types classique. Elle développe un calcul des séquents pour une version classique du Système Fomega. Une approche à la question de l'équivalence de preuves classiques consiste à calculer les représentants canoniques de preuves équivalentes dans le cadre du Calcul des Structures.
29
Ayyadi, Asma El. "Couplage des modèles classique-quantique. Simulation de la diode à effet tunnel." Toulouse, INSA, 2002. http://www.theses.fr/2002ISAT0026.
Full textAbstract:
L'objectif principal de ce travail de thèse concerne l'étude des modèles couplant des équations de type dérive-diffusion avec des équations de type Schrödinger. Ces problèmes sont motivés par des applications à la physique des dispositifs semi-conducteurs. Nous avons dérivé un modèle hybride dérive-diffusion/quantique à partir du modèle cinétique introduit par Ben Abdallah ('98), en supposant que l'opérateur de collisions est linéaire. Une approximation du second ordre conduit à l'introduction des termes correcteurs de couche limite, nécessitant la résolution de problèmes de Milne. La condition aux limites obtenue s'exprime par une relation de proportionnalité entre les niveaux de Fermi et le courant. L'approximation du coefficient de proportionnalité a été faite à partir de deux approches : l'approximation d'albédo et le schéma itératif introduit par Golse-Klar ('95). L'analyse du modèle est complétée par un travail d'expérimentation numérique. Nous avons généralisé l'approche précédente à une statistique de Fermi-Dirac, et donc l'opérateur de Boltzmann est remplacée par le modèle non linéaire. Dans la dernière partie de la thèse nous avons pris en compte des effets collisionnels dans la zone quantique par l'intermédiaire de l'équation de Pauli. Ainsi nous avons donné des conditions de transmission cinétique/quantique généralisant le modèle de Ben Abdallah. Le modèle fluide est ensuite dérivé comme dans les chapitres précédents. En dernier lieu, nous avons présenté une version transitoire du modèle hybrideThe principal objective of this work of thesis is to deal with the problem of coupling macroscopic fluid models (namely the Drift-Diffusion model) with quantum models (namely the Schrödinger equation) for those semiconductor devices where quantum effects play an important role only in a (small) portion of the domain. The hybrid classic-quantum models derived here are then coupled self-consistently with Poisson equation on the whole domain. The starting point for deducing the interface conditions is the kinetic-quantum coupling studied by Ben Abdallah ('98). The interface conditions are obtained with a diffusion limiting process. Second order interface conditions incorporating kinetic boundary layer corrections are derived. Two analytical formulae for the extrapolation coefficient appearing in the second order interface conditions, are proposed : the first one is based on the approximation of the albedo operator and the second one is an iteration procedure first introduced by Golse-Klar ('95). Resonant tunnelling diodes are simulated for two test cases of the results of the literature and the model shows good performance. Chapter 3 contains the extension of the results of the previous chapter to the case of Fermi-Dirac statistics and it follows the same structure. In the chapter 4 collisions are included in the quantum model via the Pauli equation. Appropriate interface conditions are deduced. Chapter 5 deals with the time dependant case with Boltzmann statistics
30
Raffaelli, Bernard. "Analyse semi-classique des phénomènes de résonance et d’absorption par des trous noirs." Corte, 2011. https://tel.archives-ouvertes.fr/tel-00653074.
Full textAbstract:
Au delà de la simple définition formelle d'un trou noir comme solution des équations d'Einstein dans le vide, il existe, comme l'a souligné Kip Thorne, depuis 1971 et l'observation du système binaire Cygnus X1, jusqu'aux hypothèses les plus récentes relatives à l'existence de trous noirs supermassifs au centre de nombreuses galaxies, des indices observationnels confortant leur existence dans l'Univers et motivant ainsi leur étude. En physique, nous le savons, pour obtenir des informations essentielles sur les interactions entre particules fondamentales, atomes, molécules, etc. . . , ainsi que sur la structure des objets composés, nous devons procéder à des expériences de collision ou plus précisément de diffusion. C'est ce qui constitue précisément l'objet de ce travail de thèse. En effet, en analysant comment un trou noir interagit avec son environnement, nous sommes en droit d'attendre des informations essentielles sur ces ''objets invisibles''. Cette étude sera également très utile pour comprendre, notamment, le signal que l'on devrait recevoir, prochainement, par le biais de la nouvelle génération de détecteurs d'ondes gravitationnelles. Ce travail se concentre donc principalement sur les phénomènes sous-jacents aux processus de diffusion par des trous noirs, i. E. Les phénomènes de résonance et d'absorption. Toute l'originalité de cette étude repose sur le fait que nous proposons de nous intéresser à ces phénomènes du point de vue d'une théorie semiclassique dite " théorie du moment angulaire complexe ", mettant ainsi au cœur de la physique des trous noirs les concepts de matrice S ainsi que les techniques relatives aux pôles de Regge, tel que l'a suggéré implicitement Chandrasekhar au milieu des années soixante-dix. Cette approche nous permet de donner une interprétation physique, simple et intuitive, des phénomènes de résonance et d'absorption d'un champ, en l'occurrence d'un champ scalaire, massif ou non, par des trous noirsBeyond the mathematical definition of a black hole as a solution of Einstein equations in vacuum, there are some observational clues, as pointed out by Kip Thorne, from the first observation of the binary system Cygnus X1 to recent assumptions related to the presence of hypothetical supermassive black holes in the center of various galaxies, concerning their existence in our Universe and consequently encouraging their study. In physics, it is wellknown that in order to obtain information on interactions between fundamental particles, atoms, molecules, etc…, and on the structure of composite objects, we have to make collision experiments or, more precisely, scattering experiments. This is precisely the aim of this work. Indeed, studying how a black hole can interact with its environment, we should obtain fundamental information about those “invisible objects”. This work is also useful to understand the kind of signals one could detect by the future gravitational waves astronomy devices. This thesis is mainly focused on resonance and absorption phenomena by black holes. The originality of this study is about the use of a semiclassical method known as the “complex angular momentum theory”, which brings concepts like S matrix, Regge poles techniques, into high energy black hole physics as suggested implicitly by Chandrasekhar in the middle of the seventies. This approach allows us to have simple and quite intuitive physical interpretations of resonance and absorption phenomena related to the scattering of a scalar, massive or not, field by black holes
31
Novakovic, Novak. "Sémantique algébrique des ressources pour la logique classique." Electronic Thesis or Diss., Vandoeuvre-les-Nancy, INPL, 2011. http://www.theses.fr/2011INPL075N.
Full textAbstract:
Le thème général de cette thèse est l’exploitation de l’interaction entre la sémantique dénotationnelle et la syntaxe. Des sémantiques satisfaisantes ont été découvertes pour les preuves en logique intuitionniste et linéaire, mais dans le cas de la logique classique, la solution du problème est connue pour être particulièrement difficile. Ce travail commence par l’étude d’une interprétation concrète des preuves classiques dans la catégorie des ensembles ordonnés et bimodules, qui mène à l’extraction d’invariants significatifs. Suit une généralisation de cette sémantique concrète, soit l’interprétation des preuves classiques dans une catégorie compacte fermée où chaque objet est doté d’une structure d’algèbre de Frobenius. Ceci nous mène à une définition de réseaux de démonstrations pour la logique classique. Le concept de correction, l’élimination des coupures et le problème de la “full completeness” sont abordés au moyen d’un enrichissement naturel dans les ordres sur la catégorie de Frobenius, produisant une catégorie pour l'élimination des coupures et un concept de ressources pour la logique classique. Revenant sur notre première sémantique concrète, nous montrons que nous avons une représentation fidèle de la catégorie de Frobenius dans la catégorie des ensembles ordonnés et bimodulesThe general theme of this thesis is the exploitation of the fruitful interaction between denotational semantics and syntax. Satisfying semantics have been discovered for proofs in intuitionistic and certain linear logics, but for the classical case, solving the problem is notoriously difficult.This work begins with investigations of concrete interpretations of classical proofs in the category of posets and bimodules, resulting in the definition of meaningful invariants of proofs. Then, generalizing this concrete semantics, classical proofs are interpreted in a free symmetric compact closed category where each object is endowed with the structure of a Frobenius algebra. The generalization paves a way for a theory of proof nets for classical proofs. Correctness, cut elimination and the issue of full completeness are addressed through natural order enrichments defined on the Frobenius category, yielding a category with cut elimination and a concept of resources in classical logic. Revisiting our initial concrete semantics, we show we have a faithful representation of the Frobenius category in the category of posets and bimodules
32
Nikseresht, Iraj. "La physique quantique au regard de la physique classique et de la physique dans l'Antiquité." Paris 1, 2003. http://www.theses.fr/2003PA010520.
Full textAbstract:
La physique moderne, notamment la théorie des quanta et la découverte de Max Planck a soulevé une série de problèmes très généraux d'ordre strictement physique, mais qui ont obligé les physiciens à sortir du cadre étroit de leur discipline et à reprendre à leur compte certaines grandes questions philosophiques. N. Bohr, W. Heisenberg, W. Pauli, M. Born, P. Dirac, P. Jordan et J. Von Newmann ont été les principaux artisans de la mécanique quantique et des partisans de l'interprétation "dite de Copenhague". M. Planck, A. Einstein E. Schrodinger et L. De Broglie ont aussi apporté des contributions essentielles à la théorie quantique, en s ' opposant à l' interprétation de Copenhague. Aux yeux de Heisenberg et de Bohr, la naissance de la physique quantique est apparue comme une révolution radicale dans les concepts sur lesquels la description de la Nature avait été fondée jusqu' alors. Ce fut un nouveau " fondement de la science de la Nature ", selon W. Heisenberg, qui soulignait la " rupture réelle dans la structure de la science, voir le changement apporté dans la réalité " , qui exigeant une réflexion rétrospective sur l' ensemble de la science et de la philosophie moderne; et Schrodinger évoquait non sans lyrisme l'attitude " passionnante, neuve et révolutionnaire ". Cela explique le recours à la philosophie qui a réuni et opposé les différents fondateurs de la théorie quantique. Des philosophes aussi différents que Kojève, Heidegger, Cassirer, Hermann, Carnap, Reichenbach, Meyerson ou Bachelard ont fait de la physique quantique un sujet central de préoccupation; on trouve dans leurs oeuvres des références explicites à la physique quantique. On se propose de parler ici de Heisenberg qui est de tous les fondateurs de la mécanique quantique celui qui parle le plus et le plus précisément des grecs. Il parle des présocratiques (qu'il lit à travers Nietzsche) de Démocrite et de Platon, enfin d' Aristote, qui est à ses yeux, le philosophe qui permet de penser, grâce à la notion de puissance, le problème de la transition possible à l'acte. Dans ce travail nous allons parler des liens historiques entre la physique quantique et la physique au cours de 1 'histoire. Ces liens sont sûrement plus intéressants pour l'historien que pour le physicien, mais le physicien peut aussi, en s'intéressant aux autres anciens, avoir des intuitions qui l'aident à résoudre certaines des problèmes qu'il rencontre aujourd'hui
33
Vinet, Loïc. "Approche semi-classique de la physique des ions lourds aux énergies intermédiaires." Paris 11, 1986. http://www.theses.fr/1986PA112199.
Full textAbstract:
L'étude des collisions entre ions lourds dans le domaine des énergies intermédiaires (10 à 100 MeV/A), peut être abordée par une approche semi-classique : l'équation de Vlasov nucléaire. Il est possible de décomposer la fonction de distribution à un corps sur une base d'états cohérents appropriée aux études dynamiques. Cette méthode est appliquée au cas des dalles de matière nucléaire semi-infinie et les résultats sont comparés à ceux de TDHF. A symétrie sphérique, la résonance géante monopolaire isoscalaire, les régimes d'évaporation, de formation de noyaux bulles et de vaporisation complète sont obtenus. L'extension à trois dimensions d'espace indépendantes et à l'équation de Landau-Vlasov où les interactions résiduelles à deux corps sont prises en compte par le terme de collision d’Uehling-Uhlenbeck, a conduit à l’étude générale de l'instabilité dynamique des noyaux fortement excités. L'application aux collisions d'ions lourds donne une description des principaux mécanismes de réaction, et fait apparaître un mécanisme de fusion inefficace pour la réaction 40Ar (35 MeV/A) + 27Al. Les multiplicités de particules alpha en coïncidence avec les résidus d'évaporation détectés dans l'expérience 40Ar (27 MeV/A) + 27Al, ont été extraites. Au regard des résultats théoriques, différents scénario sont proposés (limitation de voie d'entrée et désintégration en voie de sortie) pour expliquer la disparition de la composante de fusion observée pour ce système au-delà de 32 MeV/AThe study of heavy ion collisions at intermediate energies (10 to 100 MeV/A), can be undertaken by a semi-classical approach: the nuclear Vlasov equation. It is possible to decompose the one body distribution function over a suitable coherent state basis for dynamical studies. This method is applied for colliding slabs, and the results are compared with those of TDHF. With imposed spherica1 symmetry, the isoscalar monopole resonance, evaporation, formation of bubble nuclei and total evaporation, are obtained. The extension to three dimensions and to the Landau-Vlasov equation through the residual interaction included in the Uehling-Uhlenbeck collision term permits a general study of the dynamical instability of highly excited nuclei. The application to heavy ion collisions gives a description of bath the main mechanisms of reaction, and the ineffective fusion for the system 40Ar (35 MeV/A) + 27Al. Alpha particle multiplicities in correlation with evaporated residues in the experience 40Ar (27 MeV/A) +27Al, have been extracted. From theoretical results, different scenario are proposed (entrance channel limitation and exit channel disintegration), in order to explain the disappearance of the fusion component observed for this system at energies above 32 MeV/A
34
Khuat-Duy, David. "Formule des traces semi-classique pour une énergie critique et construction de quasi-modes à l'aide d'états cohérents." Paris 9, 1996. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1996PA090045.
Full textAbstract:
Nous étudions le spectre d'un opérateur quantique connaissant en partie la dynamique classique du système hamiltonien associé. La première et principale partie de cette thèse se propose d'établir une formule des traces semi-classique de type Gutzwiller pour un opérateur de Schrödinger dans le cas où le système classique possède, sur la surface d’énergie considérée, non seulement des orbites périodiques mais également des points fixes : l’énergie considérée est alors valeur critique de l'hamiltonien. La deuxième partie présente une construction de quasi-modes obtenus par superposition d'états cohérents sur une orbite périodique stable.
35
Erreygers, Guido. "Terre, rente et choix de techniques : une étude sur la théorie néo-ricardienne." Paris 10, 1990. http://www.theses.fr/1990PA100076.
Full textAbstract:
La thèse traite de la position des ressources naturelles non-reproductibles (brièvement : les terres) au sein de la théorie néo-ricardienne. Le but est exclusivement théorique, à savoir d'examiner si l'intégration des terres dans la théorie néo-ricardienne est faite d'une manière cohérente, et de déterminer les effets de leur présence sur certains aspects de la théorie. La première partie est consacrée à l'analyse des théories de la rente des trois auteurs les plus importants de l'économie politique classique (Smith, Ricardo, Marx). Dans la deuxième partie, la théorie de la rente de Piero Sraffa, la référence principale de la théorie néo-ricardienne, est présentée, critiquée et amendée. Dans la troisième partie, le point de vue étroit de Sraffa est abandonné, et les effets de la présence de terres sur le choix de techniques sont analysés. Le résultat le plus important de la thèse est la démonstration d'un théorème nouveau sur l'unicité des techniques de cout minimal en presence de terresThe thesis concerns the position of non-reproducible natural resources (in short : 'lands') within the neo-ricardian theory. The aim is exclusively theoretical, namely to examine whether the integration of land into the neo-ricardian theory is done in a coherent way, and to determine the effects of their presence on certain aspects of the theory. The first part deals with an analysis of the theories of rent of the three most important writers of classical political economy (Smith, Ricardo, Marx). In the second part, the theory of rent of Piero Sraffa, the principle point of reference of neo-ricardian conomics, is presented, criticized and amended. In the third part, Sraffa’s narrow point of view is abandoned, and the effects of the presence of land on the choice of techniques are analysed. The most important result of the thesis is the demonstration of a new theorem on the uniqueness of cost-minimizing techniques in the presence of land
36
Gilles, Joël. "Pour une théorie du paysage au XVIIème et au XVIIIème siècles en France." Paris 1, 1993. http://www.theses.fr/1993PA010504.
Full textAbstract:
Penser le paysage comme genre, c'est s'interdire d'emblée toute explicitation de ce qui travaille, non pas un certain type d'imitation, dont les objets seraient ceux des "sites champêtres", mais une pratique et une pensée picturales particulières, qui débordent largement la dénomination traditionnelle du paysage. Le paysage ne serait pas seulement un genre pictural, mais plus largement - et plus confusément - une catégorie esthétique. Le projet est donc de montrer qu'en ce lieu de la peinture, plus qu'en tout autre, peut se repérer la genèse de l'esthétique moderne dans l'affirmation d'un acte créateur, en place de l'imitation. Non pas en suivant l'histoire d'un genre dans ses descriptions ou typologies diverses héroïque, champêtre, historique. . . - mais en repérant la place qui lui est assignée dans le système des artsIn order to discuss the landscape as a form of painting, it is essential to block out notions concerning imitation as such or concerning the fact that the object to be painted is one view or another of the countryside; the main point is that the landscape is a specific practice of painting and a specific pictorial conceptualisation which goes well beyond the traditional category called "landscape painting". The landscape is not simply a kind of painting but on a broader level - and on a less easily defined one - an esthetic category. The project here is to show how, in its own area of exploration, landscape painting, perhaps more than any other, points to the genesis of modern esthetics in the affirmation of the creative act rather than imitation. Not by following the history of landscape painting in its diversified descriptions and typology : heroic, rural scenes, historical scenes etc. - but by delineating the place which has been assigned to the landscape in the system of the arts
37
Ben-Kiran, Taoufiq. "Étude d'un problème de perturbation singulière elliptique non classique." Nancy 1, 1989. http://www.theses.fr/1989NAN10040.
Full textAbstract:
On construit des exemples de problèmes de perturbation singulière elliptique non classique (dans le problème limite, l'opérateur différentiel, et l'opérateur frontière sont d'ordre 2) dans lesquels les données du problème perturbé convergent vers les données du problème limité, tandis que le problème limité n'a pas de solution. On montre que la solution du problème perturbé, bien posé, diverge dans des espaces convenables et on donne des estimations de l'ordre de divergence
38
Negra, Sourour. "Estimation semi-classique du courant quantique en présence d'un grand champ magnétique variable." Phd thesis, Université Paris Sud - Paris XI, 2008. http://tel.archives-ouvertes.fr/tel-00286992.
Full textAbstract:
L'opérateur de Pauli décrit l'énergie d'un électron soumis à un champ magnétique et à un potentiel électrique externe. La présence d'un champ magnétique induit naturellement l'existence d'une quantité: le courant. D'une manière formelle, cette quantité peut être considérer comme étant la dérivée de l'énergie par rapport au potentiel magnétique. Dans cette thèse, nous établissons une asymptotique du courant en présence d'un champ magnétique variable de grande intensité. Dans ce calcul nous utilisons une identité de commutateur qui nous conduits à l'estimation de la somme des valeurs propres négatives d'un opérateur de Pauli modifié. La technique utilisée s'appuie sur la construction des états cohérents (pour approcher les fonctions propres) et des inégalités de Lieb-Thirring pour contrôler les termes d'erreurs.
39
Gaillard, Cécile. "Cinétique de formation de l'hydrate de méthane dans une boucle de laboratoire." Toulouse, INPT, 1996. http://www.theses.fr/1996INPT028G.
Full textAbstract:
Le present travail etudie la cinetique de formation de l'hydrate de methane dans une boucle de laboratoire, dans laquelle circule une charge liquide saturee en methane, sous une pression pouvant atteindre soixante quinze bars, laquelle est maintenue constante pendant toute la duree des essais grace a un appoint de methane. Dans un premier temps, l'auteur mene l'etude de l'influence de la pression, comprise entre 20 et 75 bars, de la vitesse de circulation, comprise entre 1,5 et 3 m/s, de la vitesse de refroidissement, comprise entre 1 et 15c/h, et de la teneur en hydrocarbures liquides, comprise entre 0 et 95% en volume, sur la cinetique de formation de l'hydrate de methane. Une nouvelle methode de prediction des vitesses de nucleation, croissance, et agglomeration est ensuite proposee. Ce travail est fonde sur les lois classiques de cristallisation en solution, et sur les mesures experimentales de debit de methane d'appoint. Il existe un bon accord entre les simulations et ces mesures. C'est pourquoi, la presente etude se termine par l'application de cette nouvelle methode a l'evaluation de l'efficacite de quelques additifs cinetiques a inhiber la nucleation des particules d'hydrate de methane, et de quelques agents de surface dispersants a limiter leur croissance et leur agglomeration
40
Gaudillière, Alexandre. "Fuga dalla metastabililità per dinamiche stocastiche conservative." Paris 11, 2006. http://www.theses.fr/2006PA112187.
Full textAbstract:
Nous étudions la fuite de la métastabilité pour un gaz de particules évoluant sous la dynamique conservative de Kawasaki à basse température et à l'intérieur d'un domaine bi-dimensionel de volume exponentiellement grand en la température inverse. Nous décrivons d'abord les trajectoires typiques suivies par le système, dans la version locale du modèle, lors de la première transition entre la métastabilité et la stabilité. Nous établissons ensuite une propriété des marches aléatoires dans le plan qui permet d'étendre les résultats obtenus pour la version locale du modèle à la dynamique originale de Kawasaki. Nous donnons une minoration de la probabilité de non-collision avant un long temps T pour un système de n marches aléatoires avec obstacles fixes. Par ‘collision' il faut entendre collision avec les obstacles fixes aussi bien qu'entre les particules elles-mêmes. Forts de ces résultats nous pouvons prédire les principaux traits de la fuite de la métastabilité pour la dynamique originale de KawasakiWe study the escape from metastability for a gas of particles evolving under the conservative Kawasaki dynamics, at low tempure and inside a two-dimensional box with exponentially large volune in the inverse temperature. We first describe the typical trajectories followed by the system, in the local version of the model, along the first transition between metastability and stability. Then we prove a property of planar random walks which allows to extend the results obtained for the local version of the model to the original Kawaski dynamics. We give a lower bound for the non-collision probability before a long time T for a system of n random walks with fixed obstacles. By ‘collision' we mean collision with the fixed obstacles as well as collision between the particles themselves. On the basis of these results we can predict the main features of the escape from metastability for the original Kawasaki dynamics
41
Rosell, Olivier. "Répartition du revenu et reproduction du capital : une approche classique." Thesis, Paris 10, 2012. http://www.theses.fr/2012PA100182.
Full textAbstract:
Cette thèse montre que l’on peut trouver dans la théorie classique contemporaine deux conceptions du salaire selon que l’évaluation du travail salarié est le résultat d’une lutte pour le partage de la valeur ajoutée (salaire exogène) ou du jeu concurrentiel sur le marché du travail (salaire endogène). Sur cette base, nous soutenons que l’approche classique, dont les antécédents historiques reposent sur les œuvres de David Ricardo (1772-1823) et d’un auteur méconnu, Robert Torrens (1780-1864), est susceptible de rendre compte : 1) du partage de la valeur ajoutée et de son influence sur les prix relatifs dans les économies à l’équilibre et en déséquilibre, 2) du statut global des salariés, c'est-à-dire à la fois dans la production et dans les échanges, 3) de la condition d’existence du profit défini comme la rémunération d’une pratique spécifiquement capitaliste. Le chapitre I reconsidère les arguments qui font de Torrens l’antécédent historique du concept de salaire exogène. Le chapitre II expose sa théorie des prix, sur la base de laquelle le chapitre III étudie la relation entre les variables de répartition et les prix relatifs dans les économies à l’équilibre et en déséquilibre. Le chapitre IV analyse la répartition des biens de consommation finale entre les membres de la société (salariés et capitalistes). Le chapitre V dégage les éléments centraux de la théorie physique du salaire de Torrens. Par rapport au corpus théorique actuel issu des travaux de Piero Sraffa, cette théorie se singularise par un salaire réel déterminé par la concurrence sur le marché du travail et une expression du taux de profit en termes d’un surtravail, non assimilable à du travail non payéThe dissertation shows that contemporary classical theory relies on two representations of the idea of ‘wages’. Those representations depend on the way labour is valued. If wages are the result of a struggle for added value, they are seen as exogenous. On the other hand, if wages are the result of competition in labour markets, they are seen as endogenous. The classical theory, which is based on Ricardo and Torrens’ seminal works allows to understand: 1) the distribution of added value, and its effects on relative prices in economies both in equilibrium and disequilibrium, 2) the position of wage-earners in the processes of production and exchange, 3) the source of profits defined as compensation of specifically capitalist practice. Chapter I discusses Torrens’ contribution to the classical idea of exogenous wages. Chapter II presents Torrens’ theory of prices. This theory is then used in chapter III to analyse the relationships between distribution variables and relative prices in economies in equilibrium or in disequilibrium. Chapter IV focuses on the distribution of final goods among wage earners and capitalists. The last chapter (V) underlines the main features of Torrens’ theory of wages. In comparison with Sraffa’s work, this theory proposes first that real wages are fixed on labour market, and then that the rate of profit can be defined as a surplus labour, but not as an unpaid labour
42
Miquey, Étienne. "Réalisabilité classique et effets de bord." Thesis, Sorbonne Paris Cité, 2017. http://www.theses.fr/2017USPCC031/document.
Full textAbstract:
Cette thèse s'intéresse au contenu calculatoire des preuves classiques, et plus spécifiquement aux preuves avec effets de bord et à la réalisabilité classique de Krivine. Le manuscrit est divisé en trois parties, dont la première consiste en une introduction étendue des concepts utilisés par la suite. La seconde partie porte sur l’interprétation calculatoire de l’axiome du choix dépendant en logique classique. Ce travail s'inscrit dans la continuité du système dPAω d'Hugo Herbelin, qui permet d’adapter la preuve constructive de l’axiome du choix en théorie des types de Martin-Löf pour en faire une preuve constructive de l’axiome du choix dépendant dans un cadre compatible avec la logique classique. L'objectif principal de cette partie est de démontrer la propriété de normalisation pour dPAω, sur laquelle repose la cohérence du système. La difficulté d'une telle preuve est liée à la présence simultanée de types dépendants (pour la partie constructive du choix), d'opérateurs de contrôle (pour la logique classique), d'objets co-inductifs (pour "encoder" les fonctions de type N → A par des streams (a₀,a₁,...)) et d'évaluation paresseuse avec partage (pour ces objets co-inductifs). Ces difficultés sont étudiées séparément dans un premier temps. En particulier, on montre la normalisation du call-by-need classique (présenté comme une extension du λµµ̃-calcul avec des environnements partagé), en utilisant notamment des techniques de réalisabilité à la Krivine. On développe ensuite un calcul des séquents classique avec types dépendants, définie comme une adaptation du λµµ̃-calcul, dont la correction est prouvée à l'aide d'une traduction CPS tenant compte des dépendances. Enfin, une variante en calcul des séquents du système dPAω est introduite, combinant les deux points précédents, dont la normalisation est finalement prouvée à l'aide de techniques de réalisabilité. La dernière partie, d'avantage orientée vers la sémantique, porte sur l’étude de la dualité entre l’appel par nom (call-by-name) et l’appel par valeur (call-by-value) dans un cadre purement algébrique inspiré par les travaux autour de la réalisabilité classique (et notamment les algèbres de réalisabilité de Krivine). Ce travail se base sur une notion d'algèbres implicatives développée par Alexandre Miquel, une structure algébrique très simple généralisant à la fois les algèbres de Boole complètes et les algèbres de réalisabilité de Krivine, de manière à exprimer dans un même cadre la théorie du forcing (au sens de Cohen) et la théorie de la réalisabilité classique (au sens de Krivine). Le principal défaut de cette structure est qu’elle est très orientée vers le λ-calcul, et ne permet d’interpréter fidèlement que les langages en appel par nom. Pour remédier à cette situation, on introduit deux variantes des algèbres implicatives les algèbres disjonctives, centrées sur le “par” de la logique linéaire (mais dans un cadre non linéaire) et naturellement adaptées aux langages en appel par nom, et les algèbres conjonctives, centrées sur le “tenseur” de la logique linéaire et adaptées aux langages en appel par valeur. On prouve en particulier que les algèbres disjonctives ne sont que des cas particuliers d'algèbres implicatives et que l'on peut obtenir une algèbre conjonctive à partir d'une algèbre disjonctive (par renversement de l’ordre sous-jacent). De plus, on montre comment interpréter dans ces cadres les fragments du système L de Guillaume Munch-Maccagnoni en appel par valeur (dans les algèbres conjonctives) et en appel par nom (dans les algèbres disjonctives)This thesis focuses on the computational content of classical proofs, and specifically on proofs with side-effects and Krivine classical realizability. The manuscript is divided in three parts, the first of which consists of a detailed introduction to the concepts used in the sequel.The second part deals with the computational content of the axiom of dependent choice in classical logic. This works is in the continuity of the system dPAω developed Hugo Herbelin. This calculus allows us to adapt the constructive proof of the axiom of choice in Martin-Löf's type theory in order to turn it into a constructive proof of the axiom of dependent choice in a setting compatible with classical logic. The principal goal of this part is to prove the property of normalization for dPAω, on which relies the consistency of the system. Such a proof is hard to obtain, due to the simultaneous presence of dependent types (for the constructive part of the choice), of control operators (for classical logic), of co-inductive objects (in order to "encode" functions of type N → A as streams (a₀,a₁,...)) and of lazy evaluation with sharing (for this co-inductive objects). These difficulties are first studied separately. In particular, we prove the normalization of classical call-by-need (presented as an extension of the λµ̃µ-calculus with shared environments) by means of realizability techniques. Next, we develop a classical sequent calculus with dependent types, defined again as an adaptation of the λµ̃µ-calculus, whose soundness is proved thanks to a CPS translation which takes the dependencies into account. Last, a sequent-calculus variant of dPAω is introduced, combining the two previous systems. Its normalization is finally proved using realizability techniques. The last part, more oriented towards semantics, studies the duality between the call-by-name and the call-by-value evaluation strategies in a purely algebraic setting, inspired from several works around classical realizability (and in particular Krivine realizability algebras). This work relies on the notion of implicative algebras developed by Alexandre Miquel, a very simple algebraic structure generalizing at the same time complete Boolean algebras and Krivine realizability algebras, in such a way that it allows us to express in a same setting the theory of forcing (in the sense of Cohen) and the theory of classical realizability (in the sense of Krivine). The main default of these structures is that they are deeply oriented towards the λ-calculus, and that they only allows to faithfully interpret languages in call-by-name. To remediate the situation, we introduce two variants of implicative algebras: disjunctive algebras, centered on the "par" connective of linear logic (but in a non-linear framework) and naturally adapted to languages in call-by-name; and conjunctives algebras, centered on the "tensor" connective of linear logic and adapted to languages in call-by-value. Amongst other things, we prove that disjunctive algebras are particular cases of implicative algebras and that conjunctive algebras can be obtained from disjunctive algebras (by reversing the underlying order). Moreover, we show how to interpret in these frameworks the fragments of Guillaume Munch-Maccagnoni's system L corresponding to a call-by-value calculus (within conjunctive algebras) and to a call-by-name calculus (within disjunctive algebras)
43
Gnandou, Ide. "La théorie des anticipations rationnelles et la nouvelle macroéconomie classique : portée, sens et signification pour l'analyse économique avec une étude de comportements économiques au Niger." Paris 9, 1989. https://portail.bu.dauphine.fr/fileviewer/index.php?doc=1989PA090018.
Full textAbstract:
La nouvelle école classique (NEC) constitue une véritable innovation dans la théorie économique. Par ses hypothèses de base, sa démarche et enfin ses recommandations, elle pose d'importants problèmes que la macroéconomie keynésienne dominante sur plusieurs années a ignorés. L'hypothèse d'anticipations rationnelles (A. R) combinée à des éléments du taux naturel de Friedman-Phelps et du concept d'équilibre de Hayek permirent aux nouveaux classiques de développer un modèle théorique très controversé au niveau de la fonction d'offre essentiellement dite "courbe d'offre de Lucas". Lucas, Sargent, Barro, etc. . . Vont, par une démonstration cohérente et rigoureuse, remettre en cause l'efficacité de la macroéconométrie usuelle et l'intervention de l'état dans l'économie. Ces conclusions vont susciter d'importantes réactions au sein de la profession économique. Celle des économistes keynésiens sont particulièrement vives. A l'image de Tobin, Buiter et Taylor, ils vont contester d'abord le réalisme des hypothèses du modèle d'équilibre de la nec. Par la suite ils vont développer des modèles de contre propositions aux thèses des nouveaux classiques. Le débat n'est pas facile à apprécier du fait même du caractère inobservable des anticipations qui obligent à poser des hypothèses arbitraires dans leur modélisation. Ces difficultés objectives expliquent le recours à une procédure très théorique pour analyser la rationalité des agents économiques du secteur du BTP au Niger et la responsabilité du gouvernement de ce pays dans la "crise" actuelle.
44
Raffaelli, Bernard. "Analyse semi-classique des phénomènes de résonance et d'absorption par des trous noirs." Phd thesis, Université Pascal Paoli, 2011. http://tel.archives-ouvertes.fr/tel-00653074.
Full textAbstract:
Au delà de la simple définition formelle d'un trou noir comme solution des équations d'Einstein dans le vide, il existe, comme l'a souligné Kip Thorne, depuis 1971 et l'observation du système binaire Cygnus X1, jusqu'aux hypothèses les plus récentes relatives à l'existence de trous noirs supermassifs au centre de nombreuses galaxies, des indices observationnels confortant leur existence dans l'Univers et motivant ainsi leur étude. En physique, nous le savons, pour obtenir des informations essentielles sur les interactions entre particules fondamentales, atomes, molécules, etc..., ainsi que sur la structure des objets composés, nous devons procéder à des expériences de collision ou plus précisément de diffusion. C'est ce qui constitue précisément l'objet de ce travail de thèse. En effet, en analysant comment un trou noir interagit avec son environnement, nous sommes en droit d'attendre des informations essentielles sur ces ''objets invisibles''. Cette étude sera également très utile pour comprendre, notamment, le signal que l'on devrait recevoir, prochainement, par le biais de la nouvelle génération de détecteurs d'ondes gravitationnelles. Ce travail se concentre donc principalement sur les phénomènes sous-jacents aux processus de diffusion par des trous noirs, i.e. les phénomènes de résonance et d'absorption. Toute l'originalité de cette étude repose sur le fait que nous proposons de nous intéresser à ces phénomènes du point de vue d'une théorie semiclassique dite " théorie du moment angulaire complexe ", mettant ainsi au cœur de la physique des trous noirs les concepts de matrice S ainsi que les techniques relatives aux pôles de Regge, tel que l'a suggéré implicitement Chandrasekhar au milieu des années soixante-dix. Cette approche nous permet de donner une interprétation physique, simple et intuitive, des phénomènes de résonance et d'absorption d'un champ, en l'occurrence d'un champ scalaire, massif ou non, par des trous noirs.
45
Poulain, d. andecy Loic. "Algèbres de Hecke cyclotomiques : représentations, fusion et limite classique." Thesis, Aix-Marseille, 2012. http://www.theses.fr/2012AIXM4036/document.
Full textAbstract:
Une approche inductive est développée pour la théorie des représentations de la chaîne des algèbres de Hecke cyclotomiques de type G(m,1,n). Cette approche repose sur l'étude du spectre d'une famille commutative maximale, formée par les analogues des éléments de Jucys--Murphy.Les représentations irréductibles, paramétrées par les multi-partitions, sont construites avec l'aide d'une nouvelle algèbre associative, dont l'espace vectoriel sous-jacent est le produit tensoriel de l'algèbre de Hecke cyclotomique avec l'algèbre associative libre engendrée par les multi-tableaux standards.L'analogue de cette approche est présentée pour la limite classique, c'est-à-dire la chaîne des groupes de réflexions complexes de type G(m,1,n).Dans une seconde partie, une base des algèbres de Hecke cyclotomiques est donnée et la platitude de la déformation est montrée sans utiliser la théorie des représentations. Ces résultats sont généralisés aux algèbres de Hecke affines de type A.Ensuite, une procédure de fusion est présentée pour les groupes de réflexions complexes et les algèbres de Hecke cyclotomiques de type G(m,1,n). Dans les deux cas, un ensemble complet d'idempotents primitifs orthogonaux est obtenu par évaluation consécutive d'une fonction rationnelle.Dans une troisième partie, une nouvelle présentation est obtenue pour les sous-groupes alternés de tous les groupes de Coxeter. Les générateurs sont reliés aux arêtes orientées du graphe de Coxeter. Cette présentation est ensuite étendue, pour tous les types, aux extensions spinorielles des groupes alternés, aux algèbres de Hecke alternées et aux sous-groupes alternés des groupes de tressesAn inductive approach to the representation theory of the chain of the cyclotomic Hecke algebras of type G(m,1,n) is developed. This approach relies on the study of the spectrum of a maximal commutative family formed by the analogues of the Jucys--Murphy elements.The irreducible representations, labelled by the multi-partitions, are constructed with the help of a new associative algebra, whose underlying vector space is the tensor product of the cyclotomic Hecke algebra with the free associative algebra generated by the standard multi-tableaux.The analogue of this approach is presented for the classical limit, that is for the chain of complex reflection groups of type G(m,1,n).In a second part, a basis of the cyclotomic Hecke algebras is given and the flatness of the deformation is proved without using the representation theory. These results are extended to the affine Hecke algebras of type A.Then a fusion procedure is presented for the complex reflection groups and the cyclotomic Hecke algebras of type G(m,1,n). In both cases, a complete set of primitive orthogonal idempotents is obtained by successive evaluations of a rational fonction.In a third part, a new presentation is obtained for the alternating subgroups of all Coxeter groups. The generators are related to oriented edges of the Coxeter graph. This presentation is then extended, for all types, to the spinor extensions of the alternating groups, the alternating Hecke algebras and the alternating subgroups of braid groups
46
Sibari, Hassane. "Transport classique et quantique dans les hétérojonctions GaAlAs/GaAs : rôle des états d'interface." Montpellier 2, 1992. http://www.theses.fr/1992MON20251.
Full textAbstract:
L'analyse des phenomenes de transport classique et quantique dans les heterojonctions gaalas-gaas laisse envisager l'existence d'etats additionnels, situes a l'interface de l'heterojonction. En effet, d'une part, l'analyse de la mobilite des electrons du canal 2d revele que les valeurs theoriques de la mobilite sont toujours superieures aux valeurs experimentales. Ceci met en evidence l'existence d'un mode de diffusion supplementaire que nous attribuons aux etats situes a l'interface de l'heterojonction. D'autre part, l'etude de l'equilibre des charges dans l'heterojonction montre que le transfert calcule d'electrons, depuis les etats donneurs de gaalas vers le canal bidimensionnel de gaas est toujours inferieur a la valeur experimentale. Nous expliquons cette difference par la contribution au transfert des etats d'interface de type donneur. Ceci permet egalement d'expliquer les variations (decroissance) de la densite d'electrons ns avec la temperature entre 77k et 4. 2k (on tient compte du caractere metastable des donneurs si de la couche de gaalas dope. Nous etudions par la suite l'effet hall quantique. Nous montrons que l'hypothese d'un systeme 2d d'electrons non isole permet d'expliquer parfaitement les resultats experimentaux sans avoir recours au concept de localisation. Les etats d'interface peuvent encore une fois jouer le role de reservoir pour le systeme 2d et permettent le freinage du niveau de fermi. Condition necessaire pour la formation des plateaux de hall
47
Iachella, Mathilde. "Nucléation, Croissance et Morphologie de Nanoparticules d'Or et d'Or-Cuivre sur Support Rutile par la Théorie de la Fonctionnelle de la Densité." Thesis, Lyon, 2016. http://www.theses.fr/2016LYSEN034/document.
Full textAbstract:
Dans cette étude, la nucléation, la croissance, la morphologie et la réactivité de nanoparticules Au, Cu et AuCu sont examinées sur support rutile TiO2 (110) stoechiométrique, réduit et hydraté. En premier lieu, la nucléation a été modélisée via l’adsorption et la diffusion d’atomes Au et Cu, à l’aide de calculs de type théorie de la fonctionnelle de la densité (DFT), et de diagrammes d’énergie libre en condition réaliste.Les résultats DFT+U ont montré le rôle promoteur des espèces hydroxyles en surface sur la nucléation, en accord avec les mesures expérimentales de microscopie STM. Ensuite, les propriétés thermodynamiques de croissance et de coalescence de clusters Au et Cu (de 1 à 38 atomes) ont été étudiées par une approche systématique qui a déterminé précisément la stabilité relative d’un grand nombre de structures, tout en soulignant la différence de compétition nucléation/croissance entre les deux métaux. Pour des tailles de particules comprises entre 38 et 201 atomes, et des morphologies variées, la stabilité absolue d’agrégats purs Au et Cu et de nanoalliages AuCu a été évaluée à l’aide de calculs d’énergie de surface. Cette approche a révélé l’existence de relations linéaires entre composition chimique et stabilité. Enfin, la réactivité de nanoparticules Au, Cu et AuCu a été examinée suivant deux aspects : le dépôt de clusters de 38 atomes sur support rutile stoechiométrique, et l’adsorption du monoxyde de carbone à l’interface entre le métal et le support.Cette adsorption est une étape clé pour la réaction d’oxydation du CO ; un procédé important en catalyse hétérogèneIn this study, the nucleation, growth, morphology and reactivity of Au, Cu and AuCu nanoparticles have been examined on rutile TiO2 (110) stoiciometric, reduced and hydrated supports. First, the nucleation has been modeled via the adsorption and diffusion of Au and Cu atoms, thanks to density functional theory (DFT) calculations, and free energy diagrams in realistic conditions. DFT+U results have shown the promotor role of surface hydroxyl species on the nucleation, in agreement with STM experimental measurements.Then, the growth and coalescence thermodynamic properties for Au and Cu clusters (from 1 to 38 atoms) have been investigated with a systematic approach which has determinated precisely the relative stability for a large number of structures, and has underlined the difference for the competition between nucleation and growth between the two metals. For particles in the range 38-201 atoms and varied morphologies, the absolute stability of Au and Cu aggregates and AuCu nanoalloys has been evaluated through surface energy calculations. This approach has revealed the existence of linear relations between the chemical composition and the stability.Finally, the reactivity of Au, Cu and AuCu nanoparticles has been examined following two aspects : the deposition of 38 atoms clustered on the stoichiometric rutile support, and the adsorption of carbon monoxide at the interface between the metal and the support. This adsorption is a key step for the CO oxidation reaction ; an important process in heterogeneous catalysis
48
Storey, Pipa. "Ondes de matière dans des potentiels périodiques en temps : étude semi-classique." Phd thesis, Université Pierre et Marie Curie - Paris VI, 1996. http://tel.archives-ouvertes.fr/tel-00011911.
Full textAbstract:
La limite semi-classique de la mécanique quantique est analogue à la limite des petits longueurs d'ondes de l'électromagnétisme, les trajectoires classiques des particules jouant le rôle des rayons optiques. Dans ce mémoire, des méthodes semi-classiques sont appliquées à la diffusion d'un faisceau atomique par un potentiel modulé périodiquement dans le temps. Des caustiques, analogues aux points focaux optiques, se produisent dans l'espace des énergies aux limites de la région permise classiquement. De même que l'optique géométrique n'est pas valable aux points focaux, où elle prédit une intensité infinie, les méthodes semi-classiques élémentaires comme BKW sont inapplicables près des caustiques. Un traitement semi-classique plus performant s'obtient par la méthode d'approximation uniforme, que nous avons généralisée au cas des problèmes périodiques Les résultats sont en bon accord avec les prédictions quantiques, aussi bien dans la région des énergies permises que dans celle des énergies interdites, où les trajectoires sont complexes.
49
Lenglart, Elie. "La théorie générale des conflits de lois à l’épreuve de l’individualisme." Thesis, Paris 2, 2019. http://www.theses.fr/2019PA020075.
Full textAbstract:
L’individualisme constitue l’un des traits spécifiques de la conception moderne du droit. Son apparition semble en effet avoir bouleversé le sens et la teneur du phénomène juridique, en scellant le passage d’une conception classique à une vision moderne du droit. Naturellement, une telle évolution ne s’est pas produite instantanément. Elle est le produit d’une mutation profonde qui se traduit au sein de la représentation du monde à laquelle adhère désormais notre modernité à la suite d’un changement très net de paradigme philosophique. L’étude de cette transformation est indispensable afin de saisir la signification fondamentale de la tendance individualiste au sein de notre modernité et d’en mesurer pleinement les implications essentielles. Le droit international privé n’y est pas demeuré insensible. Cette évolution a entrainé des conséquences décisives. En effet, la théorie générale des conflits de lois est toujours fondée sur une certaine conception du droit lui-même. L’émergence d’une conception individualiste du droit à l’époque moderne a donc produit d’importants bouleversements au sein de la discipline. La perception du conflit de lois a évolué, les méthodes employées pour le résoudre se sont modifiées, et les valeurs ainsi que les finalités poursuivies en ont été considérablement impactées. La théorie des conflits de lois paraît désormais s’être restructurée autour de la prise en considération prioritaire des intérêts individuels. Ce caractère contraste fortement avec l’équilibre qui singularisait la théorie classique des conflits de lois. Pour en donner toute la mesure, une étude de l’individualisme au sein de la théorie générale des conflits de lois s’imposeIndividualism is one the characteristic features of modern legal theories. The emergence of individualism has so profoundly altered the meaning of the judicial phenomenon that it may be considered as the decisive factor in the evolution from a classical to a modern conception of the Law. This evolution is the product of a substantial mutation of our vision of the world, inextricably linked to a change of philosophical paradigm. The analysis of this evolution is essential not only to the understanding of the meaning of the Individualism doctrine but also to apprehend its main repercussions. International private Law has also been influenced by this evolution. The Conflict of Laws doctrine is necessarily based on a specific conception of the Law itself. Thus, the emergence of the individualistic approach of the Law undoubtedly has decisive consequences on this field: the methods used to solve conflicts of laws have evolved while the goals have been substantially altered. The Conflict of Laws doctrine is now structured toward the sole analysis of individual interests. This new feature is radically opposed to the balance that characterized the classical approach of Conflict of Laws. In order to reveal the extent of the implications of the Individualism on this field, a study of the concept within the Conflict of Laws doctrine is necessary
50
Sbai, Youssef. "Analyse semi-classique des opérateurs périodiques perturbés." Thesis, Bordeaux, 2015. http://www.theses.fr/2015BORD0270/document.
Full textAbstract:
Cette thèse traite de certaines propriétés spectrales de deux classes spécifiques des opérateurs périodiques. Nous nous intéressons tout d’abord à un modèle périodique perturbée par un opérateur dépendant d’un petit paramètre semi-classique. Nous obtenons alors le comportement asymptotique de la fonction du comptage des valeurs propres dans les gaps spectrales avec une estimation optimale du reste. Le second modèle étudié dans cette thèse est un modèle elliptique périodique d’ordre deux perturbée par un opérateur dépendant d’une grande constante de couplage. Nous donnons également la description de la fonction de compactage des valeurs propres lorsque la constante de couplage tend vers l’infini. La dernière partie de cette thèse discute l’étude du spectre discret de l’opérateur de Schrödinger avec un potentiel très oscillent dépendant d’un petit paramètre semi-classiqueThis Ph.D thesis deals with some spectral properties of two specific classes of two periodic operators. We are firstly interested in the model periodic perturbed by operator depending on a small semi-classical constant. We obtain an asymptotic behavior of the eigenvalue counting function in the spectral gaps with scharp remainder estimate. The second model studied in this thesis is a two-dimensional periodic elliptic second order opera-tor perturbed by operator depending on a large coupling constant. We also give the description of the counting function of eigenvalues when the coupling constant tends to infinity. The last part of this thesis highlights the study the spectrum of a Schrödinger operator perturbed by a fast oscillatingdecaying potential depending on a small parameter