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

On covering bridged plane triangulations with balls

We show that every plane graph of diameter 2r in which all inner faces are triangles and all inner vertices have degree larger than 5 can be covered with two balls of radius r. © 2003 Wiley Periodicals, Inc. J Graph Theory 44: 65–80, 2003     

Mathematical and numerical analysis of a simplified time-dependent viscoelastic flow

A time-dependent model corresponding to an Oldroyd-B viscoelastic fluid is considered, the convective terms being disregarded. Global existence in time is proved in Banach spaces provided the data are small enough, using the implicit function theorem and a maximum regularity property for a three fields Stokes problem. A finite element discretization in space is then proposed. Existence of the numerical solution is proved for small data, so as a priori error estimates, using again an implicit function theorem. Supported by the Swiss National Science Foundation. Fellowship PBEL2–114311.     

An alternative approach for non-linear optimal control problems based on the method of moments

We propose an alternative method for computing effectively the solution of non-linear, fixed-terminal-time, optimal control problems when they are given in Lagrange, Bolza or Mayer forms. This method works well when the nonlinearities in the control variable can be expressed as polynomials. The essential of this proposal is the transformation of a non-linear, non-convex optimal control problem into an equivalent optimal control problem with linear and convex structure. The method is based on global optimization of polynomials by the method of moments. With this method we can determine either the existence or lacking of minimizers. In addition, we can calculate generalized solutions when the original problem lacks of minimizers. We also present the numerical schemes to solve several examples arising in science and technology.     

The role of variable surface charge and surface complexation in the adsorption of humic acid on magnetite

The ionic strength dependence of humic acid (HA) adsorption on magnetite (Fe₃O₄) was investigated at pH 5, 8 and 9, where variable charged magnetite is positive, neutral and negative, respectively. The adsorption studies revealed that HA has high affinity to magnetite surface especially at lower pH, where interacting partners have opposite charges. However, in spite of electrostatic repulsion at pH 9 notable amounts of humate are adsorbed. Increasing ionic strength enhances HA adsorption at each pH due to charge screening. The dominant interaction is probably a ligand-exchange reaction, nevertheless the Coulombic contribution to the organic matter accumulation on oxide surface is also significant under acidic condition. The results from size exclusion chromatography demonstrate that the smaller size HA fractions enriched with functional groups are adsorbed preferentially on the surface of magnetite at pH 8 in dilute NaCl solution.     

Left, right, and inner socles of associative systems

We investigate the basic properties of the different socles that can be considered in not necessarily semiprime associative systems. Among other things, we show that the socle defined as the sum of minimal (or minimal and trivial) inner ideals is always an ideal. When trivial inner ideals are included, this inner socle contains the socles defined in terms of minimal left or right ideals. This revised version was published online in June 2006 with corrections to the Cover Date.     

On the Hahn--Mazurkiewicz theorem

The following generalization of the Hahn-Mazurkiewicz theorem is proved: Let (E,e) be a locally compact locally connected metric space. Let M be a continuum in this space and let d,e∈ M. Then there is a continuous mapping f: [0,1]→E such that f(0) = d, f(1)= e and M⊂f([0,1]). Also some corollaries of this theorem are proved.     

Derivation of the k–ε model for locally homogeneous turbulence by homogenization techniques

We derive the incompressible and compressible k–ε model for locally homogeneous turbulence. The model is rigorously derived on formal mathematical grounds using the MPP modelling technique. This lets us calculate by either analytical or numerical means the closure constants of the model. To cite this article: T. Chacón Rebollo, D. Franco Coronil, C. R. Acad. Sci. Paris, Ser. I 337 (2003).     

Interpretation of the polyelectrolyte and antipolyelectrolyte effects of poly(N‐vinylimidazole‐co‐sodium styrenesulfonate) hydrogels

Hydrogels of N‐vinylimidazole (VI) and sodium styrenesulfonate (SSS) were synthesized in aqueous solution by radical crosslinking copolymerization with N,N′‐methylene‐bis(acrylamide) as crosslinker. Swelling in several saline solutions was measured for hydrogel samples synthesized with different comonomer concentrations (C_T = 10, 25, or 40%) and with SSS mole fractions covering a broad range (f_SSS = 0–0.7), while the crosslinker ratio was 2 wt % in all cases. The degree of swelling in aqueous solution with a specific ionic strength (μ), plotted versus the SSS composition of the feed, shows a minimum for any set of samples synthesized with a fixed C_T. The dependence of swelling on μ shows both polyelectrolyte (f_SSS beyond the minimum) and antipolyelectrolyte behaviors (in the low f_SSS limit). It was found that the nonGaussian factor of the crosslinking density and the polymer‐solvent interaction parameter increase with f_SSS for any C_T. Moreover, in the low f_SSS limit, the osmotic swelling pressure is governed not only by the ionic contribution, but also by the polymer‐solvent mixing and, the concentration of mobile counterions inside the gel is not proportional to the net fixed charge but to the addition of cationic and anionic side groups, what discards the formation of ionic pairs. The antipolyelectrolyte effect is interpreted as due to the increasing protonation of VI as μ goes up. © 2007 Wiley Periodicals, Inc. J Polym Sci Part B: Polym Phys 45: 1683–1693, 2007