Twin Paradox and the Logical Foundation of Relativity Theory

We study the foundation of space-time theory in the framework of first-order logic (FOL). Since the foundation of mathematics has been successfully carried through (via set theory) in FOL, it is not entirely impossible to do the same for space-time theory (or relativity). First we recall a simple and streamlined FOL-axiomatization Specrel of special relativity from the literature. Specrel is complete with respect to questions about inertial motion. Then we ask ourselves whether we can prove the usual relativistic properties of accelerated motion (e.g., clocks in acceleration) in Specrel. As it turns out, this is practically equivalent to asking whether Specrel is strong enough to “handle” (or treat) accelerated observers. We show that there is a mathematical principle called induction (IND) coming from real analysis which needs to be added to Specrel in order to handle situations involving relativistic acceleration. We present an extended version AccRel of Specrel which is strong enough to handle accelerated motion, in particular, accelerated observers. Among others, we show that~the Twin Paradox becomes provable in AccRel, but it is not provable without IND.     

An attempt on the calculation of relativistic potential energy curves: Noble gas difluorides

Total energy SCF calculations were performed for noble gas difluorides in a relativistic procedure and compared with analogous non-relativistic calculations. The discrete variational method with numerical basis functions was used. Rather smooth potential energy curves could be obtained. The theoretical Kr-F and Xe-F bond distances were calculated to be 3.5 a.u. and 3.6 a.u. which should be compared with the experimental values of 3.54 a.u. and 3.7 a.u. Although the dissociation energies are off by a factor of about five it was found that ArF₂ may be a stable molecule. Theoretical ionization energies for the outer levels reproduce the experimental values for KrF₂ and XeF₂ to within 2 eV.     

Multiplicité des solutions d'équilibre d'une coque de Marguerre–von Kármán membranaireMultiplicity of solutions to the Marguerre–von Kármán membrane equations

We build explicitly an infinite number of equilibrium solutions of unloaded Marguerre–von Kármán membrane shells. This construction is based upon the existence of three elementary solutions, together with the solution of a Monge–Ampère equation associated with a partition of the reference configuration of the shell. To cite this article: A. Léger, B. Miara, C. R. Acad. Sci. Paris, Ser. I 335 (2002) 649–654.     

On the Behavior of Some Second Order Nonlinear Differential Equations

Qualitative behavior of second order nonlinear differential equations of type y″+p(t)y+q(t)f(y)=0, is studied. It includes properties such as positivity, number of zeros, oscillating nature, boundedness and monotonicity of the solutions.     

The Center Problem for a Linear Center Perturbed by Homogeneous Polynomials

The centers of the polynomial differential systems with homogeneous polynomials have been studied for the degrees s = 2, 3, 4, 5. for s = 2, 3, and partially classified for s = 4, 5. In this paper we recall and we give new centers for s = 6, 7 a linear center perturbed by They are completely classified these results for s = 2, 3, 4, 5,     

Well-posed absorbing layer for hyperbolic problems

Summary. The perfectly matched layer (PML) is an efficient tool to simulate propagation phenomena in free space on unbounded domain. In this paper we consider a new type of absorbing layer for Maxwell's equations and the linearized Euler equations which is also valid for several classes of first order hyperbolic systems. The definition of this layer appears as a slight modification of the PML technique. We show that the associated Cauchy problem is well-posed in suitable spaces. This theory is finally illustrated by some numerical results. It must be underlined that the discretization of this layer leads to a new discretization of the classical PML formulation. Received May 5, 2000 / Published online November 15, 2001     

The Role of a Specific Response of Media in the Vavilov-Cherenkov Effect

It is shown that the condition υ > υ_p (ω), which is necessary in order to trigger the Vavilov-Cherenkov effect, determines the interval of radiated frequencies and it alone cannot establish a strong restriction to the velocity of the particle. It is exhibited that it is possible to define a general lower bound for the velocity of the particle, which does not depend on the frequency when both, a specific response of the medium is taken into account and the mentioned condition is considered. The minimum value of the phase velocity of light in the medium determines the existence of such general lower bound.