Realization of an OpenMath Server for REDUCE

Various approaches and standards for transferring mathematical objects between different computer programs in multimedia environment in the framework of the OpenMath project are described. The use of these standards might revolutionize the exchange of mathematical information caused by the development of computer algebra tools and telecommunication possibilities. The standards make it possible to create databases and easily save and use mathematical objects obtained in different applications, e.g., to exchange the data obtained in different computer algebra systems and place information on the Internet. Bibliography: 9 titles.     

Closure laws for a two-fluid two-pressure modelLois de fermeture pour un modèle à deux pressions d'écoulement diphasique

Closure laws for interfacial pressure and interfacial velocity are proposed within the frame work of two-pressure two-phase flow models. These enable us to ensure positivity of void fractions, mass fractions and internal energies when investigating field by field waves in the Riemann problem. To cite this article: F. Coquel et al., C. R. Acad. Sci. Paris, Ser. I 334 (2002) 927–932.     

Unexpected end‐groups of poly(acrylic acid) prepared by RAFT polymerization

Low‐molecular‐weight poly(acrylic acid) (PAA) was synthesized by reversible addition fragmentation chain transfer polymerization with a trithiocarbonate as chain‐transfer agent (CTA). With a combination of NMR spectroscopy and matrix‐assisted laser desorption/ionization time‐of‐flight mass spectrometry, the PAA end‐groups of the polymer were analyzed before and after neutralization by sodium hydroxide. The polymer prior to neutralization is made up of the expected trithiocarbonate chain‐ends and of the H‐terminated chains issued from a reaction of transfer to solvent. After neutralization, the trithiocarbonates are transformed into thiols, disulfides, thiolactones, and additional H‐terminated chains. By quantifying the different end‐groups, it was possible to demonstrate that fragmentation is the rate limiting step in the transfer reaction. © 2004 Wiley Periodicals, Inc. J Polym Sci Part A: Polym Chem 42: 5439–5462, 2004     

A comparison theorem for a piecewise Lipschitz continuous Hamiltonian and application to Shape-from-Shading problems

Summary The reconstruction from a shaded image of a Lambertian and not self-shadowing surface illuminated by a single distant pointwise light source may be written as a first-order Hamilton-Jacobi equation.In this paper, we continue the investigation begun in E. Rouy and A. Tourin into the uniqueness of the solution of this equation; the approach is based on the viscosity solutions theory and the dynamic programming principle.More precisely, we concentrate here on the uniqueness of the viscosity solution of this equation in case the measured luminous intensity reflected by the surface is discontinuous along a smooth curve. We prove a general comparison result for a piecewise Lipschitz continuous Hamiltonian and illustrate it by numerical experiments.     

Single electron tunneling rates in multijunction circuits

The rate of electron tunneling through normal metal tunnel junctions is calculated for the case of ultrasmall junction capacitances. The so-called Coulomb blockade of electron tunneling at low temperatures is shown to be strongly affected by the external electrical circuit. Under the common experimental condition of a low impedance environment the Coulomb blockade is suppressed for single tunnel junctions. However, a Coulomb gap structure emerges for junctions embedded in a high impedance environment. For a double junction setup a Coulomb blockade of tunneling arises even for low impedance environments due to the charge quantization on the metallic island between the junctions. An approach using circuit analysis is presented which allows to reduce the calculation of tunneling rates in multijunction circuits to those of a single junction in series with an effective capacitance. The range of validity of the socalled local rule and global rule rates is clarified. It is found that the tunneling rate tends towards the global rule rate as the number of junctions is increased. Some specific results are given for a one-dimensional array of tunnel junctions.     

Functional Quantization and Small Ball Probabilities for Gaussian Processes

Quantization consists in studying the L ^r -error induced by the approximation of a random vector X by a vector (quantized version) taking a finite number n of values. We investigate this problem for Gaussian random vectors in an infinite dimensional Banach space and in particular, for Gaussian processes. A precise link proved by Fehringer⁽⁴⁾ and Dereich et al. ⁽³⁾ relates lower and upper bounds for small ball probabilities with upper and lower bounds for the quantization error, respectively. We establish a complete relationship by showing that the same holds for the direction from the quantization error to small ball probabilities. This allows us to compute the exact rate of convergence to zero of the minimal L ^r -quantization error from logarithmic small ball asymptotics and vice versa.     

Un modèle mathématique de cyclone

The source waves are some particular solutions to genuinely non linear hyperbolic systems with a source term, whose propagation velocity is a constant determined by the roots of this source term. We propose a system of 2 equations on a 2 dimension space, which model the velocity field of the atmosphere near the ground. The source term is made of three parts: a given pressure gradient, a friction or aspiration effect and the Coriolis force. In the case where these parameters are constant, we build a solution which is a constant outside a circular crown. The internal circle represents the eye's wall of the hurricane and corresponds to a share shock wave. The external circle is a set generating the bifurcation which actually models the hurricane. To cite this article: A.-Y. LeRoux et al., C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Contractibility of Efficient Frontier of Simply Shaded Sets

In finite dimensional Euclidean space, we prove the contractibility of the efficient frontier of simply shaded sets. This work extends the result of Peleg [7], which confirms the contractibility of the efficient frontier in the convex case.