Mass matrix | EPFL Graph Search

In analytical mechanics, the mass matrix is a symmetric matrix M that expresses the connection between the time derivative \mathbf\dot q of the generalized coordinate vector q of a system and the kinetic energy T of that system, by the equation :T = \frac{1}{2} \mathbf{\dot q}^\textsf{T} \mathbf{M} \mathbf{\dot q} where \mathbf{\dot q}^\textsf{T} denotes the transpose of the vector \mathbf{\dot q}. This equation is analogous to the formula for the kinetic energy of a particle with mass m and velocity v, namely :T = \frac{1}{2} m|\mathbf{v}|^2 = \frac{1}{2} \mathbf{v} \cdot m\mathbf{v} and can be derived from it, by expressing the position of each particle of the system in terms of q. In general, the mass matrix M depends on the state q, and therefore varies with time. Lagrangian mechanics yields an ordinary differential equation (actually, a system of coupled differential e

Metastable supersymmetry breaking in N=2 non-linear sigma-models

Jean-Claude Jacot, Claudio Scrucca

We perform a general study of the issue of metastability for supersymmetry-breaking vacua in theories with N=1 and N=2 global supersymmetry. This problem turns out to capture all the important qualitative features of the corresponding question in theories with local supersymmetry, where gravitational effects induce only quantitative modifications. Moreover, it allows to directly compare the conditions arising in the N=1 and N=2 cases, since the latter becomes particular case of the former in the rigid limit. Our strategy consists in a systematic investigation of the danger of instability coming from the sGoldstini scalars, whose masses are entirely due to supersymmetry breaking mass-splitting effects. We start by reviewing the metastability conditions arising in general N=1 non-linear sigma-models with chiral and vector multiplets. We then turn to the case of general N=2 non-linear sigma-models with hyper and vector multiplets. We first reproduce and clarify the known no-go theorems applying to theories with only Abelian vector multiplets and only hyper multiplets, and then derive new results applying to more general cases. To make the comparison with N=1 models as clear as possible, we rely on a formulation of N=2 models where one of the supersymmetries is manifestly realized in terms of ordinary superfields, whereas the other is realized through non-trivial transformations. We give a self-contained account of such a construction of N=2 theories in N=1 superspace, generalizing previous work on various aspects to reach a general and coordinate-covariant construction. We also present a direct computation of the supertrace of the mass matrix.

Elsevier2010

Model-Based Estimation of Three-Dimensional Stiffness Parameters in Photonic-Force Microscopy

Elena Bertseva, Andrzej Kulik, Amardeep Singh, Philippe Thévenaz, Michaël Unser

We propose a system to characterize the 3-D diffusion properties of the probing bead trapped by a photonic-force microscope. We follow a model-based approach, where the model of the dynamics of the bead is given by the Langevin equation. Our procedure combines software and analog hardware to measure the corresponding stiffness matrix. We are able to estimate all its elements in real time, including off-diagonal terms. To achieve our goal, we have built a simple analog computer that performs a continuous preprocessing of the data, which can be subsequently digitized at a much lower rate than is otherwise required. We also provide an effective numerical algorithm for compensating the correlation bias introduced by a quadrant photodiode detector in the microscope. We validate our approach using simulated data and show that our bias-compensation scheme effectively improves the accuracy of the system. Moreover, we perform experiments with the real system and demonstrate real-time capabilities. Finally, we suggest a simple adjunction that would allow one to determine the mass matrix as well.

Institute of Electrical and Electronics Engineers2010

Object-oriented finite element programming

New technologies in computer science applied to numerical computations open the door to alternative approaches to mechanical problems using the finite element method. In classical approaches, theoretical developments often become cumbersome and the computer model which follows shows resemblance with the initial problem statement. The first step in the development consists usually in the analysis of the physics of the problem to simulate. The problem is generally described by a set of equations including partial differential equations. This first model is then replaced by successive equivalent or approximated models. The final result consists in a mathematical description of elemental matrices and algorithms describing the matrix form of the problem. The traditional approach consists then in constructing a computer model, generally complex and often quite different from the original mathematical description, thus making further corrections difficult. Therefore, the crucial problem of both the software architecture and the choice of the appropriate programming language is raised. Partially breaking with this approach, we propose a new approach to develop and program finite element formulations. The approach is based on a hybrid symbolic/numerical approach on the one hand, and on a high level software tool, object-oriented programming (supported here by the languages Smalltalk and C++) on the other hand. The aim of this work is to develop an appropriate environment for the algebraic manipulations needed for a finite element formulation applied to an initial boundary value problem, and also to perform efficient numerical computations. The new environment should make it possible to manage al1 the concepts necessary to solve a physical problem: manipulation of partial differential equations, variational formulations, integration by parts, weak forms, finite element approximations… The concepts manipulated therefore remain closely related to the original mathematical framework. The result of these symbolic manipulations is a set of elemental data (mass matrix, stiffness matrix, tangent stiffness matrix,…) to be introduced in a classical numerical code. The object-oriented paradigm is essential to the success of the implementation. In the context of the finite element codes, the object-oriented approach has already proved its capacity to represent and handle complex structures and phenomena. This is confirmed here with the symbolic environment for derivation of finite element formulations in which objects such as expression, integral and variational formulation appear. The link between both the numerical world and the symbolic world is based on an object-oriented concept for automatic programmation of matrix forms derived from the finite element method. As a result, a global environment in which the numerical is capable of evolving, using a language close to the natural mathematical one, is achieved. The potential of the approach is further demonstrated, on the one hand, by the wide range of problems solved in linear mechanics (electrodynamics in 1 and 2D, heat diffusion,…) as well as in nonlinear mechanics (advection dominated 1D problem, Navier Stokes problem), and, on the other hand by the diversity of the formulations manipulated (Galerkin formulations, space-time Galerkin formulations continuous in space and discontinuous in time, generalized Galerkin least-squares formulations).

EPFL1997

Object-oriented finite element programming

EPFL1997