Spectral Properties of Four-Dimensional Compact Flat Manifolds

We study the spectral properties of a large class of compact flat Riemannian manifolds of dimension 4, namely, those whose corresponding Bieberbach groups have the canonical lattice as translation lattice. By using the explicit expression of the heat trace of the Laplacian acting on p-forms, we determine all p-isospectral and L-isospectral pairs and we show that in this class of manifolds, isospectrality on functions and isospectrality on p-forms for all values of p are equivalent to each other. The list shows for any p, 1 ≤ p ≤ 3, many p-isospectral pairs that are not isospectral on functions and have different lengths of closed geodesics. We also determine all length isospectral pairs (i.e. with the same length multiplicities), showing that there are two weak length isospectral pairs that are not length isospectral, and many pairs, p-isospectral for all p and not length isospectral. Mathematics Subject Classifications (2000): 58J53, 58C22, 20H15.     

Bronze roman mirrors: the secret of brightness

The surface microchemical structure of high tin leaded bronze Roman mirrors has been studied by means of scanning electron microscopy combined with energy dispersive spectrometry (SEM-EDS), X-ray diffraction (XRD) and optical microscopy (OM) techniques. The results allowed understanding of the origin of their high chemical stability and silvery-lustrous appearance. Indeed, some areas of the selected Roman mirrors are still characterised by a highly reflective and silver coloured surface even though they have been buried in the soil for about 2000 years. The micro-chemical results obtained from these areas have revealed that the mirror surface was tin enriched via inverse-segregation phenomenon by tailoring the cooling parameters. Furthermore, the presence of tin could be likely enhanced via cycles of oxidation and selective copper corrosion processes, thus resulting in a tin surface enrichment as a semi-transparent amorphous-like tin oxide (SnO₂) film, as well as a copper depletion at the outer surfaces.     

Mass‐lumping or not mass‐lumping for eigenvalue problems

In this article we analyze the effect of mass‐lumping in the linear triangular finite element approximation of second‐order elliptic eigenvalue problems. We prove that the eigenvalue obtained by using mass‐lumping is always below the one obtained with exact integration. For singular eigenfunctions, as those arising in non convex polygons, we prove that the eigenvalue obtained with mass‐lumping is above the exact eigenvalue when the mesh size is small enough. So, we conclude that the use of mass‐lumping is convenient in the singular case. When the eigenfunction is smooth several numerical experiments suggest that the eigenvalue computed with mass‐lumping is below the exact one if the mesh is not too coarse. © 2003 Wiley Periodicals, Inc. Numer Methods Partial Differential Eq 19: 653–664, 2003     

Shape Optimization for Semi-Linear Elliptic Equations Based on an Embedding Domain Method

We study a class of shape optimization problems for semi-linear elliptic equations with Dirichlet boundary conditions in smooth domains in ℝ². A part of the boundary of the domain is variable as the graph of a smooth function. The problem is equivalently reformulated on a fixed domain. Continuity of the solution to the state equation with respect to domain variations is shown. This is used to obtain differentiability in the general case, and moreover a useful formula for the gradient of the cost functional in the case where the principal part of the differential operator is the Laplacian. Online publication 23 January 2004.     

Stable products of spheres in the non-linear coupling of oscillators or quasi-periodic motions

For generic families of vector fields or transformations, normally hyperbolic invariant products of spheres appear near partially elliptic rest points. To cite this article: M. Kammerer-Colin de Verdière, C. R. Acad. Sci. Paris, Ser. I 339 (2004).     

Teaching proof in the context of physics

This paper describes an application of statics to geometrical proofs in the classroom. The aim of the study was to find out whether the use of concepts and arguments from statics can help students understand and produce proofs of geometrical theorems. The two theorems studied were (1) that the medians in a triangle meet at a single point which is the centre of gravity of the triangle, and (2) the Varignon theorem, that the lines joining the midpoints of successive sides of a quadrilateral form a parallelogram. The classroom experiment showed that most students were successful in using arguments from statics in their proofs, and that they gained a better understanding of the theorems. These findings lend support to the claim that the introduction of statics helps students produce proofs and grasp their meaning.     

Learning to See: Making Sense of the Mathematics of Change in Middle School

In this article, we will describe the results of a study of 6th grade students learning about the mathematics of change. The students in this study worked with software environments for the computer and the graphing calculator that included a simulation of a moving elevator, linked to a graph of its velocity vs. time. We will describe how the students and their teacher negotiated the mathematical meanings of these representations, in interaction with the software and other representational tools available in the classroom. The class developed ways of selectively attending to specific features of stacks of centimeter cubes, hand-drawn graphs, and graphs (labeled velocity vs. time) on the computer screen. In addition, the class became adept at imagining the motions that corresponded to various velocity vs. time graphs. In this article, we describe this development as a process of learning to see mathematical representations of motion. The main question this article addresses is: How do students learn to see mathematical representations in ways that are consistent with the discipline of mathematics? This revised version was published online in July 2006 with corrections to the Cover Date.     

General covariance of the non-abelian DBI-action: checks and balances

We perform three tests on our proposal to implement diffeomorphism invariance in the non-abelian D0-brane DBI action as a base-point independence constraint between matrix Riemann normal coordinate systems. First, we show that T-duality along an isometry correctly interchanges the potential and kinetic terms in the action. Second, we show that the method to impose base-point independence using an auxiliary dN²-dimensional nonlinear sigma model also works for metrics which are curved along the brane, provided a physical gauge choice is made at the end. Third, we show that without alteration this method is applicable to higher order in velocities. Testing specifically to order 4, we elucidate the range of validity of the symmetrized trace approximation to the non-abelian DBI action.