Alloying by high dose ion implantation of iron into magnesium and aluminium

Alloys of the systems Fe–Al (mixable over the whole concentration range) and Fe–Mg (insoluble with each other) were produced by implantation of Fe ions into Al and Mg, respectively. The implantation energy was 200 keV and the ion doses ranged from 1 × 10₁₄ to 9 × 10₁₇cm^-2The obtained implantation profiles were determined by Auger electron spectroscopy depth profiling. Maximum iron concentrations reached were up to 60 at.% for implantation into Al and 94 at.% for implantation into Mg. Phase analysis of the implanted layers was performed by conversion electron Mössbauer spectroscopy and X‐ray diffraction. For implantation into Mg, two different kinds of Mössbauer spectra were obtained: at low doses paramagnetic doublets indicating at least two different iron sites and at high doses a dominant ferromagnetic six‐line‐pattern with a small paramagnetic fraction. The X‐ray diffraction pattern concluded that in the latter case a dilated αiron lattice is formed. For implantation into Al, the Mössbauer spectra were doublet structures very similar to those obtained at amorphous Fe–Al alloys produced by rapid quenching methods. They also indicated at least two different main iron environments. For the highest implanted sample a ferromagnetic six‐line‐pattern with magnetic field values close to those of Fe₃Al appeared.     

Bücherbesprechungen

Ohne Zusammenfassung     

Fold‐2‐covering triangular embeddings

For a graph G and a positive integer m, G_(m) is the graph obtained from G by replacing every vertex by an independent set of size m and every edge by m² edges joining all possible new pairs of ends. If G triangulates a surface, then it is easy to see from Euler's formula that G_(m) can, in principle, triangulate a surface. For m prime and at least 7, it has previously been shown that in fact G_(m) does triangulate a surface, and in fact does so as a “covering with folds” of the original triangulation. For m = 5, this would be a consequence of Tutte's 5‐Flow Conjecture. In this work, we investigate the case m = 2 and describe simple classes of triangulations G for which G₍₂₎ does have a triangulation that covers G “with folds,” as well as providing a simple infinite class of triangulations G of the sphere for which G₍₂₎ does not triangulate any surface. © 2003 Wiley Periodicals, Inc. J Graph Theory 43: 79–92, 2003     

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     

Classification of the space spanned by theta series and applications

We determine a class of functions spanned by theta series of higher degree. We give two applications: A simple proof of the inversion formula of such theta series and a classification of skew-holomorphic Jacobi forms.

     

Zeros of functions with finite Dirichlet integral

In this paper, we refine a result of Nagel, Rudin, and Shapiro (1982) concerning the zeros of holomorphic functions on the unit disk with finite Dirichlet integral.

     

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).