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.     

A finite element-spherical harmonics radiation transport model for photon migration in turbid media

In this paper, we solve the steady-state form of the Boltzmann transport equation in homogeneous and heterogeneous tissue-like media with a finite element-spherical harmonics (FE-P_N) radiation transport method. We compare FE-transport and diffusion solutions in terms of the ratio of absorption to reduced scattering coefficient, (μ_a/μ_s′) and the anisotropy factor g. Two different scattering phase function formulas are employed to model anisotropic scattering in the slab media with high g-value. Influence of void-like heterogeneities, and of their boundaries with the surrounding medium on the transport of photons are also examined.     

Solutions of the WDVV Equations and Integrable Hierarchies of KP Type

We show that reductions of KP hierarchies related to the loop algebra of SL_n with homogeneous gradation give solutions of the Darboux-Egoroff system of PDE's. Using explicit dressing matrices of the Riemann-Hilbert problem generalized to include a set of commuting additional symmetries, we construct solutions of the Witten– Dijkgraaf–E. Verlinde–H. Verlinde equations.     

高电荷态Ar^q＋与Ne碰撞中入射离子电荷交换截面的研究

报道Ar^q Ne(q=8，9，11，12)碰撞体系中多电子转移过程，得到了多组实验测量电荷交换截面数据，讨论入射离子电荷交换截面、反冲离子产生截面与入射离子电荷态、能量以及散射离子电荷态的关系，并且将实验结果与Ar^q Ar碰撞体系进行对比研究。在修正分子库仑过垒模型的基础上，对实验现象做了合理的解释。