Justification of the Shallow-Water Limit for a Rigid-Lid Flow with Bottom Topography

The so-called lake equations arise as the shallow-water limit of the rigid-lid equations—three-dimensional Euler equations with a rigid-lid upper boundary condition—in a horizontally periodic basin with bottom topography. We prove an a priori estimate in the Sobolev space H ^m for m≥ 3 which shows that a solution to the rigid-lid equations can be approximated by a solution of the lake equations for an interval of time which can be estimated in terms of the initial deviation from a columnar configuration and the magnitude of the initial data in H ^m , the gradient of the bottom topography in H ^m+1 , and the aspect ratio of the basin. In particular, any solution to the lake equations remains close to some solution of the rigid-lid equations for an interval of time that can be made arbitrarily large by choosing the aspect ratio of the basin small. Received 10 October 1996 and accepted 15 May 1997     

Une axiomatisation de la substitution

We investigate the notion of substitution in an abstract way, without defining it explicitly. We single out the essential features of the operation of performing a substitution in order to define a concept of substitutive structure, called logos. We then prove a completeness theorem making precise and justifying the intuition that formulas true for the usual substitution can be proved from the logos axioms only. To cite this article: M. Crabbé, C. R. Acad. Sci. Paris, Ser. I 338 (2004).     

The Dedekind-MacNeille completion as a reflector

We introduce a special type of order-preserving maps between quasiordered sets, the so-called cut-stable maps. These form the largest morphism class such that the corresponding category of quasiordered sets contains the category of complete lattices and complete homomorphisms as a full reflective subcategory, the reflector being given by the Dedekind-MacNeille completion (alias normal completion or completion by cuts). Suitable restriction of the object class leads to the category of separated quasiordered sets and its full reflective subcategory of completely distributive lattices. Similar reflections are obtained for continuous lattices, algebraic lattices, etc.     

Rigid nitronyl-nitroxide-labelled anchoring molecules: syntheses, structural and magnetic investigations

The syntheses of two rigid organic molecular rods bearing a nitronyl-nitroxide radical and a terminal nitrogen-based functionality like a pyridine or a cyano group are reported. Both new paramagnetic molecules are fully characterized, including crystal structure analysis. Furthermore their magnetic behaviours in the crystalline state are investigated and their spin concentration corroborate their excellent purity. While the pyridine functionalized rod is synthesized by converting the corresponding benzaldehyde to the phenyl-nitronyl-nitroxide radical, the synthesis of the cyano functionalized rod demonstrates the accessibility of highly sophisticated spin-labelled molecules via cross-coupling reaction with a meta-iodo-phenyl-nitronyl-nitroxide moiety.     

Effect of Ga doping on magneto-transport properties in colossal magnetoresistive La0.7Ca0.3Mn1−xGaxO3 (0<x<0.1)

Samples of La_0.7Ca_0.3Mn_1−xGa_xO₃ with x=0, 0.025, 0.05 and 0.10 were prepared by standard solid-state reaction. They were first characterized chemically, including the microstructure. The magnetic properties and various transport properties, i.e. the electrical resistivity, magnetoresistivity (for a field below 8 T), thermoelectric power and thermal conductivity measured each time on the same sample, are reported. The markedly different behaviour of the x=0.1 sample from those with a smaller Ga content, is discussed. The dilution of the Mn³⁺/Mn⁴⁺ interactions with Ga doping considerably reduces the ferromagnetic double exchange interaction within the manganese lattice leading to a decrease of the Curie temperature. The polaron binding energy varies from 224 to 243 meV with increased Ga doping.     

Weak distributive laws and their role in lattices of congruences and equational theories

By a result of Pigozzi and Kogalovskii, every algebraic latticeL having a completely join —irreducible top element can be represented as the lattice L() of equational theories extending some fixed theory . Conversely, strengthening a recent result due to Lampe, we show that such a representationL=L() forcesL to satisfy the following condition: if the top element ofL is the join of a nonempty subsetB ofL then there are elementsb..., B such thata=(... (((b₁ a) b₂) a) ... b_n) a for alla L. In presence of modularity, this equation reduces to the identitya=(a b₁) ... (a b_n). Motivated by these facts, we study several weak forms of distributive laws in arbitrary lattices and related types of prime elements. The main tool for applications to universal algebra is a generalized version of Lampe's Zipper Lemma.Presented by Ralph Freese.