A fundamental and enduring challenge in science and technology is the quantitative prediction of time-dependent nonlinear phenomena. While dynamical simulation (for ballistic trajectories) was one of the first applications of the digital computer, the problems treated, the methods used, and their implementation have all changed a great deal over the years. Astronomers use simulation to study long term evolution of the solar system. Molecular simulations are essential for the design of new materials and for drug discovery. Simulation can replace or guide experiment, which often is difficult or even impossible to carry out as our ability to fabricate the necessary devices is limited.

During the last decades, we have seen dramatic increases in computing power, bringing to the fore an ever widening spectrum of applications for dynamical simulation. At the boundaries of different modeling regimes, it is found that computations based on the fundamental laws of physics are under-resolved in the textbook sense of numerical methods. Because of the vast range of scales involved in modeling even relatively simple biological or material functions, this limitation will not be overcome by simply requiring more computing power within any realistic time. One therefore has to develop numerical methods which capture crucial structures even if the method is far from ``converging" in the mathematical sense. In this context, we are forced increasingly to think of the numerical algorithm as a part of the modeling process itself. A major step forward in this area has been the development of structure-preserving or ``geometric" integrators which maintain conservation laws, dissipation rates, or other key features of the continuous dynamical model. Conservation of energy and momentum are fundamental for many physical models; more complicated invariants are maintained in applications such as molecular dynamics and play a key role in determining the long term stability of methods. In mechanical models (biodynamics, vehicle simulation, astrodynamics) the available structure may include constraint dynamics, actuator or thruster geometry, dissipation rates and properties determined by nonlinear forms of damping.

In recent years the growth of geometric integration has been very noticeable. Features such as
*symplecticity*or
*time-reversibility*are now widely recognized as essential properties to preserve, owing to their physical significance. This has motivated a lot of research
,
,
and led to many significant theoretical achievements (symplectic and symmetric methods, volume-preserving
integrators, Lie-group methods, ...). In practice, a few simple schemes such as the Verlet method or the Störmer method have been used for years with great success in molecular dynamics or astronomy. However, they now need to be further improved in order to fit the tremendous increase of
complexity and size of the models.

To become more specific, the project
*IPSO*aims at finding and implementing new structure-preserving schemes and at understanding the behavior of existing ones for the following type of problems:

systems of differential equations posed on a manifold.

systems of differential-algebraic equations of index 2 or 3, where the constraints are part of the equations.

Hamiltonian systems and constrained Hamiltonian systems (which are special cases of the first two items though with some additional structure).

highly-oscillatory systems (with a special focus of those resulting from the Schrödinger equation).

Although the field of application of the ideas contained in geometric integration is extremely wide (e.g. robotics, astronomy, simulation of vehicle dynamics, biomechanical modeling, biomolecular dynamics, geodynamics, chemistry...),
*IPSO*will mainly concentrate on applications for
*molecular dynamics simulation*and
*laser simulation*:

There is a large demand in biomolecular modeling for models that integrate microscopic molecular dynamics simulation into statistical macroscopic quantities. These simulations involve huge systems of ordinary differential equations over very long time intervals. This is a typical situation where the determination of accurate trajectories is out of reach and where one has to rely on the good qualitative behavior of structure-preserving integrators. Due to the complexity of the problem, more efficient numerical schemes need to be developed.

The demand for new models and/or new structure-preserving schemes is also quite large in laser simulations. The propagation of lasers induces, in most practical cases, several well-separated scales: the intrinsically highly-oscillatory
*waves*travel over long distances. In this situation, filtering the oscillations in order to capture the long-term trend is what is required by physicists and engineers.

In many physical situations, the time-evolution of certain quantities may be written as a Cauchy problem for a differential equation of the form

For a given
y_{0}, the solution
y(
t)at time
tis denoted
_{t}(
y_{0}). For fixed
t,
_{t}becomes a function of
y_{0}called the
*flow*of (
). From this point of view, a numerical scheme with step size
hfor solving (
) may be regarded as an approximation
_{h}of
_{h}. One of the main questions of
*geometric integration*is whether
*intrinsic*properties of
_{t}may be passed on to
_{h}.

This question can be more specifically addressed in the following situations:

The system ( ) is said to be -reversible if there exists an involutive linear map such that

It is then natural to require that
_{h}satisfies the same relation. If this is so,
_{h}is said to be
*symmetric*. Symmetric methods for reversible systems of ODEs are just as much important as
*symplectic*methods for Hamiltonian systems and offer an interesting alternative to symplectic methods.

The system (
) is said to have an invariant manifold
gwhenever

is kept
*globally*invariant by
_{t}. In terms of derivatives and for sufficiently differentiable functions
fand
g, this means that

As an example, we mention Lie-group equations, for which the manifold has an additional group structure. This could possibly be exploited for the space-discretisation. Numerical methods amenable to this sort of problems have been reviewed in a recent paper
and divided into two classes, according to whether they use
gexplicitly or through a projection step. In both cases, the numerical solution is forced to live on the manifold at the expense of some Newton's iterations.

Hamiltonian problems are ordinary differential equations of the form:

with some prescribed initial values
(
p(0),
q(0)) = (
p
_{0},
q
_{0})and for some scalar function
H, called the Hamiltonian. In this situation,
His an invariant of the problem. The evolution equation (
) can thus be regarded as a differential equation on the manifold

Besides the Hamiltonian function, there might exist other invariants for such systems: when there exist
dinvariants in involution, the system (
) is said to be
*integrable*. Consider now the parallelogram
Poriginating from the point
and spanned by the two vectors
and
, and let
(
,
)be the sum of the
*oriented*areas of the projections over the planes
(
p
_{i},
q
_{i})of
P,

where
Jis the
*canonical symplectic*matrix

A continuously differentiable map
gfrom
to itself is called symplectic if it preserves
, i.e. if

A fundamental property of Hamiltonian systems is that their exact flow is symplectic. Integrable Hamiltonian systems behave in a very remarkable way: as a matter of fact, their invariants persist under small perturbations, as shown in the celebrated theory of Kolmogorov,
Arnold and Moser. This behavior motivates the introduction of
*symplectic*numerical flows that share most of the properties of the exact flow. For practical simulations of Hamiltonian systems, symplectic methods possess an important advantage: the error-growth as a function of time is indeed linear, whereas it would typically be quadratic for
non-symplectic methods.

Whenever the number of differential equations is insufficient to determine the solution of the system, it may become necessary to solve the differential part and the constraint part altogether. Systems of this sort are called differential-algebraic systems. They can be classified according to their index, yet for the purpose of this expository section, it is enough to present the so-called index-2 systems

where initial values
(
y(0),
z(0)) = (
y
_{0},
z
_{0})are given and assumed to be consistent with the constraint manifold. By constraint manifold, we imply the intersection of the manifold

and of the so-called hidden manifold

This manifold
is the manifold on which the exact solution
(
y(
t),
z(
t))of (
) lives.

There exists a whole set of schemes which provide a numerical approximation lying on . Furthermore, this solution can be projected on the manifold by standard projection techniques. However, it it worth mentioning that a projection destroys the symmetry of the underlying scheme, so that the construction of a symmetric numerical scheme preserving requires a more sophisticated approach.

In applications to molecular dynamics or quantum dynamics for instance, the right-hand side of (
) involves
*fast*forces (short-range interactions) and
*slow*forces (long-range interactions). Since
*fast*forces are much cheaper to evaluate than
*slow*forces, it seems highly desirable to design numerical methods for which the number of evaluations of slow forces is not (at least not too much) affected by the presence of fast forces.

A typical model of highly-oscillatory systems is the second-order differential equations

where the potential
V(
q)is a sum of potentials
V=
W+
Uacting on different time-scales, with
^{2}Wpositive definite and
. In order to get a bounded error propagation in the linearized equations for an explicit numerical method, the step size must be restricted according to

where
Cis a constant depending on the numerical method and where
is the highest frequency of the problem, i.e. in this situation the square root of the largest eigenvalue of
^{2}W. In applications to molecular dynamics for instance,
*fast*forces deriving from
W(short-range interactions) are much cheaper to evaluate than
*slow*forces deriving from
U(long-range interactions). In this case, it thus seems highly desirable to design numerical methods for which the number of evaluations of slow forces is not (at least not too much) affected by the presence of fast forces.

Another prominent example of highly-oscillatory systems is encountered in quantum dynamics where the Schrödinger equation is the model to be used. Assuming that the Laplacian has been discretized in space, one indeed gets the
*time*-dependent Schrödinger equation:

where
H(
t)is finite-dimensional matrix and where
typically is the square-root of a mass-ratio (say electron/ion for instance) and is small (
or smaller). Through the coupling with classical mechanics (
H(
t)is obtained by solving some equations from classical mechanics), we are confronted once again to two different time-scales, 1 and
. In this situation also, it is thus desirable to devise a numerical method able to advance the solution by a time-step
h>
.

Given the Hamiltonian structure of the Schrödinger equation, we are led to consider the question of energy preservation for time-discretization schemes.

At a higher level, the Schrödinger equation is a partial differential equation which may exhibit Hamiltonian structures. This is the case of the time-dependent Schrödinger equation, which we may write as

where
=
(
x,
t)is the wave function depending on the spatial variables
with
(e.g., with
d= 1or 3 in the partition) and the time
. Here,
is a (small) positive number representing the scaled Planck constant and
iis the complex imaginary unit. The Hamiltonian operator
His written

H
T
V

with the kinetic and potential energy operators

where
m_{k}>0is a particle mass and
_{xk}the Laplacian in the variable
, and where the real-valued potential
Vacts as a multiplication operator on
.

The multiplication by
iin (
) plays the role of the multiplication by
Jin classical mechanics, and the energy
is conserved along the solution of (
), using the physicists' notations
where
denotes the Hermitian
L^{2}-product over the phase space. In quantum mechanics, the number
Nof particles is very large making the direct approximation of (
) very difficult.

The numerical approximation of ( ) can be obtained using projections onto submanifolds of the phase space, leading to various PDEs or ODEs: see , for reviews, and for the case of Gaussian wave packets dynamics detailed in Section . However the long-time behavior of these approximated solutions is well understood only in this latter case, where the dynamics turns out to be finite dimensional. In the general case, it is very difficult to prove the preservation of qualitative properties of ( ) such as energy conservation or growth in time of Sobolev norms. The reason for this is that backward error analysis is not directly applicable for PDEs. Overwhelming these difficulties is thus a very interesting challenge.

A particularly interesting case of study is given by symmetric splitting methods, such as the Strang splitting:

_{1}
i
t
V
i
t
i
t
V
_{0}

where
tis the time increment (we have set all the parameters to 1 in the equation). As the Laplace operator is unbounded, we cannot apply the standard methods used in ODEs to derive long-time properties of these schemes. However, its projection onto finite dimensional submanifolds (such as
Gaussian wave packets space or FEM finite dimensional space of functions in
x) may exhibit Hamiltonian or Poisson structure, whose long-time properties turn out to be more tractable.

The Helmholtz equation modelizes the propagation of waves in a medium with variable refraction index. It is a simplified version of the Maxwell system for electro-magnetic waves.

The high-frequency regime is characterized by the fact that the typical wavelength of the signals under consideration is much smaller than the typical distance of observation of those signals. Hence, in the high-frequency regime, the Helmholtz equation at once involves highly oscillatory phenomena that are to be described in some asymptotic way. Quantitatively, the Helmholtz equation reads

Here,
is the small adimensional parameter that measures the typical wavelength of the signal,
n(
x)is the space-dependent refraction index, and
is a given (possibly dependent on
) source term. The unknown is
. One may think of an antenna emitting waves in the whole space (this is the
), thus creating at any point
xthe signal
along the propagation. The small
term takes into account damping of the waves as they propagate.

One important scientific objective typically is to describe the high-frequency regime in terms of
*rays*propagating in the medium, that are possibly refracted at interfaces, or bounce on boundaries, etc. Ultimately, one would like to replace the true numerical resolution of the Helmholtz equation by that of a simpler, asymptotic model, formulated in terms of rays.

In some sense, and in comparison with, say, the wave equation, the specificity of the Helmholtz equation is the following. While the wave equation typically describes the evolution of waves between some initial time and some given observation time, the Helmholtz equation takes into account
at once the propagation of waves over
*infinitely long*time intervals. Qualitatively, in order to have a good understanding of the signal observed in some bounded region of space, one readily needs to be able to describe the propagative phenomena in the whole space, up to infinity. In other words, the ``rays'' we refer to
above need to be understood from the initial time up to infinity. This is a central difficulty in the analysis of the high-frequency behaviour of the Helmholtz equation.

The Schrödinger equation is the appropriate to describe transport phenomena at the scale of electrons. However, for real devices, it is important to derive models valid at a larger scale.

In semi-conductors, the Schrödinger equation is the ultimate model that allows to obtain quantitative information about electronic transport in crystals. It reads, in convenient adimensional units,

where
V(
x)is the potential and
(
t,
x)is the time- and space-dependent wave function. However, the size of real devices makes it important to derive simplified models that are valid at a larger scale. Typically, one wishes to have kinetic transport equations. As is well-known, this requirement needs
one to be able to describe ``collisions'' between electrons in these devices, a concept that makes sense at the macroscopic level, while it does not at the microscopic (electronic) level. Quantitatively, the question is the following: can one obtain the Boltzmann equation (an equation that
describes collisional phenomena) as an asymptotic model for the Schrödinger equation, along the physically relevant micro-macro asymptotics? From the point of view of modelling, one wishes here to understand what are the ``good objects'', or, in more technical words, what are the relevant
``cross-sections'', that describe the elementary collisional phenomena. Quantitatively, the Boltzmann equation reads, in a simplified, linearized, form :

Here, the unknown is
f(
x,
v,
t), the probability that a particle sits at position
x, with a velocity
v, at time
t. Also,
is called the cross-section, and it describes the probability that a particle ``jumps'' from velocity
vto velocity
(or the converse) after a collision process.

The technique consists in solving an approximate initial value problem on an approximate invariant manifold for which an atlas consisting of
*easily computable*charts exists. The numerical solution obtained is this way never drifts off the exact manifold considerably even for long-time integration.

Instead of solving the initial Cauchy problem, the technique consists in solving an approximate initial value problem of the form:

on an invariant manifold
, where
and
approximate
fand
gin a sense that remains to be defined. The idea behind this approximation is to replace the differential manifold
by a suitable approximation
for which an atlas consisting of
*easily computable*charts exists. If this is the case, one can reformulate the vector field
on each domain of the atlas in an
*easy*way. The main obstacle of
*parametrization*methods
or of
*Lie-methods*
is then overcome.

The numerical solution obtained is this way obviously does not lie on the exact manifold: it lives on the approximate manifold
. Nevertheless, it never drifts off the exact manifold considerably, if
and
are chosen appropriately
*close*to each other.

An obvious prerequisite for this idea to make sense is the existence of a neighborhood
of
containing the approximate manifold
and on which the vector field
fis well-defined. In contrast, if this assumption is fulfilled, then it is possible to construct a new admissible vector field
given
. By admissible, we mean tangent to the manifold
, i.e. such that

where, for convenience, we have denoted . For any , we can indeed define

where is the projection along .

Laser physics considers the propagation over long space (or time) scales of high frequency waves. Typically, one has to deal with the propagation of a wave having a wavelength of the order of
10
^{-6}
m, over distances of the order
10
^{-2}
mto
10
^{4}
m. In these situations, the propagation produces both a short-scale oscillation and exhibits a long term trend (drift, dispersion, nonlinear interaction with the medium, or so), which contains the physically important feature. For this reason, one needs to develop
ways of filtering the irrelevant high-oscillations, and to build up models and/or numerical schemes that do give information on the long-term behavior. In other terms, one needs to develop high-frequency models and/or high-frequency schemes.

This task has been partially performed in the context of a contract with Alcatel, in that we developed a new numerical scheme to discretize directly the high-frequency model derived from physical laws.

Generally speaking, the demand in developing such models or schemes in the context of laser physics, or laser/matter interaction, is large. It involves both modeling and numerics (description of oscillations, structure preserving algorithms to capture the long-time behaviour, etc).

In a very similar spirit, but at a different level of modelling, one would like to understand the very coupling between a laser propagating in, say, a fiber, and the atoms that build up the fiber itself.

The standard, quantum, model in this direction is called the Bloch model: it is a Schrödinger like equation that describes the evolution of the atoms, when coupled to the laser field. Here the laser field induces a potential that acts directly on the atom, and the link bewteeen this potential and the laser itself is given by the so-called dipolar matrix, a matrix made up of physical coefficients that describe the polarization of the atom under the applied field.

The scientific objective here is twofold. First, one wishes to obtain tractable asymptotic models that average out the high oscillations of the atomic system and of the laser's field. A typical phenomenon here is the
*resonance*between the field and the energy levels of the atomic system. Second, one wishes to obtain good numerical schemes in order to solve the Bloch equation, beyond the oscillatory phenomena entailed by this model.

In classical molecular dynamics, the equations describe the evolution of atoms or molecules under the action of forces deriving from several interaction potentials. These potentials may be short-range or long-range and are treated differently in most molecular simulation codes. In fact, long-range potentials are computed at only a fraction of the number of steps. By doing so, one replaces the vector field by an approximate one and alternates steps with the exact field and steps with the approximate one. Although such methods have been known and used with success for years, very little is known on how the ``space" approximation (of the vector field) and the time discretization should be combined in order to optimize the convergence. Also, the fraction of steps where the exact field is used for the computation is mainly determined by heuristic reasons and a more precise analysis seems necessary. Finally, let us mention that similar questions arise when dealing with constrained differential equations, which are a by-product of many simplified models in molecular dynamics (this is the case for instance if one replaces the highly-oscillatory components by constraints).

Given a Hamiltonian dynamics of the form (
), it is a common problem (for instance in molecular dynamics simulations) to estimate the
*space*average of an observable
Aover a manifold
S(say a surface of constant energy for instance)

through the limit of the
*time*average

The conditions under which the two quantities coincide are not known in general and this is a difficult and largely open question linked to the
*ergodicity*of the system. In contrast, if the Hamiltonian system is assumed to be
*integrable*, a well-known result states that, under a
*diophantine*condition, the time-average converges to its space-counterpart with a rate of
1/
T.

In a first step, in collaboration with the INRIA-team MICMAC of the Ecole Nationale des Ponts et Chaussées, we have shown that the convergence of the
*time*average (
) toward the
*space*average (
) can be accelerated through the use of weighted integrals of the form

where
is a
*filter*function. This has led us to the definition of a close-to-optimal filter which brings a significant speed-up. To become of practical use, the integrals involved in the averages need to be discretized and evaluated not along the exact trajectory, which is obviously not available,
but along a numerical approximation of it. In this context, symplectic integrators naturally come into play, since the length
Tof the interval of integration is allowed to become ``as large as necessary'' for the convergence to occur. The use of some basic symplectic schemes in combination with filtered averages define a practical method, which, in some physically relevant situations, has
proven to be a real improvement over the usual averaging technique, as demonstrated by numerical experiments
.

The work described in this section has been conducted in collaboration with Chr. Lubich, from the University of Tübingen (Germany).

Gaussian wavepacket dynamics is widely used in quantum molecular dynamics, see for instance
,
. In this case, an approximation to the wave function
(
x,
t)solution of (
) is sought for in the form

with

where
|·|and
·denote the Euclidean norm and inner product on
, respectively. The parameters
and
represent the position and momentum average, respectively:
and
. Further,
a_{k}=
_{k}+
i_{k}(with
_{k}>0) is a complex width parameter,
c_{k}=
_{k}+
i_{k}is a complex phase parameter, and
is a real phase. (Only the sum of the phases
is determined uniquely. The partition of the phases is made by convenience so that each
_{k}is of unit norm.)

The Dirac-Frenkel-McLachlan variational principle yields equations of motion for these parameters. It turns out that this system of ordinary differential equations has a Poisson structure inherited from the Hamiltonian structure of the Schrödinger equation, and that to the semi classical limit 0, these equations tend to the finite dimensional Hamiltonian system , .

In , C. Lubich and E. Faou show that the projection of the splitting scheme ( ) onto the sub-manifold made of Gaussian wave packets yields a numerical scheme that is a Poisson integrator, which can be computed explicitly. Using backward error analysis, this shows in particular the preservation of energy for exponentially long time. If the potential has a rotational symmetry so that the angular momentum is conserved in the full quantum dynamics, then the numerical integrator also preserves the angular momentum.

In the classical limit
0, the position and momentum approximations
q_{k}^{n},
p_{k}^{n}converge to the position and momentum approximations obtained by applying the Störmer-Verlet method to the classical limit system
,
.

In references and , we have studied the reaction of an atomic system under an applied laser field. The original equation is the aforementioned Bloch model, a Schrödinger like equation, and the laser field then takes the form of a highly oscillatory forcing term in the equation. Here, the dominant phenomenon lies in the resonant interaction between the oscillatory modes of the field and the natural oscillatory modes ( =energy levels) of the atom itself.

Following the physical literature, we prove in this paper that this coupling is asymptotically described by a so-called rate equation, i.e. a linear Boltzmann equation. It describes the transitions of the electronic cloud between the atom's energy levels, as they are induced by the laser's forcing. The main difficulty in this analysis lies in the averaging out of high-oscillations, together with the sorting out of the ``resonances'' in the model.

This work has recently been extended in two directions:

First, in a joint work with T. Goudon (Lille) and P. Degond (Toulouse), the classical counterpart of the above question is analysed, i.e. the authors start from a classical, Vlasov-like, equation, and perform the natural averaging procedure (work to appear in J. Stat. Phys.)

Second, in a joint work with Eric Dumas (Grenoble), the physically realistic situation of a true laser (described by a complete Maxwell system), interacting with an atom (described by the Bloch equations) is analysed. Again, resonances play a key role in the asymptotics, and the authors eventually prove that the fully coupled laser+atom system is well described by a Boltzmann equation (for the atom), which takes into account transition phenomena between energy levels, coupled with a Schroedinger equation (for the laser), which takes into account propagation in the forward direction and dispersion in the transverse plane.

In references
and
, we study the behavior of a system made up of a large number
Nof electrons. These electrons are all coupled through a given potential. This is a simplified version of a gas of electrons as it may be encountered in true semi-conductor devices. Following the physically relevant orders of magnitude, we study this system over large
time intervals, and when the coupling is weak. It is well known in the semi-conductor-physics literature that such a situation is well described, asymptotically, by a nonlinear Boltzmann equation.

In Ref. , we give a partial result that indeed establishes the convergence of the original Schrödinger equation toward the nonlinear Boltzmann equation. In Ref. , we study the case when the fermionic behaviour of the electrons is taken into account, i.e. when the Pauli exclusion principle is used. We compute the associated corrective terms in the limiting Boltzmann equation.

In Ref. , we study the so-called radiation condition at infinity in the high-frequency Helmholtz equation. This leads us to a very precise analysis of the geometric features of wave propagation in a medium with variable refraction index. In some sense, we prove that, if the refraction index is such that the rays are not captured in bounded regions of space, then the Sommerfeld radiation condition at infinity is a reasonable boundary condition along the high-frequency process. This criterion is shown to be ``optimal'' in that rays captured in bounded regions do provide anomalous propagative phenomena that rule out the Sommerfeld radiation condition. We use here a wave packets approach, in a similar spirit as in .

Given a system of differential equations (
), a B-series
B(
)is a formal expression of the form

where the index set
is the set of rooted trees ,
|·|,
and
Fare real functions defined on
, and where
ais a function defined on
as well which characterizes the B-series itself. In this work, conducted in collaboration with A. Murua from the University of Basque Country, we provide algebraic conditions for the preservation of general invariants (quadratic, polynomial or Hamiltonian) by numerical methods which
can be written as B-series. The existence of a modified invariant is also investigated and turns out to be equivalent, up to a conjugation, to the preservation of the exact invariant. A striking corollary is that a
*symplectic*method is formally conjugate to a method that preserves the Hamitonian exactly. Another surprising consequence is that the underlying one-step method of a symmetric multistep scheme is formally conjugate to a canonical B-series when applied to Newton's equations of
motion.

To be more specific, we prove the following results:

a B-series integrator possesses a modified invariant for all problems with an invariant if and only if it is conjugate to the exact flow;

a B-series integrator possesses a modified invariant for all problems with a
*quadratic*invariant if and only if it is conjugate to a
*symplectic*method;

a B-series integrator possesses a modified Hamiltonian for all
*Hamiltonian*problems if and only if it is conjugate to a method that preserves the Hamiltonian exactly;

a symplectic B-series is formally conjugate to a B-series that preserves the Hamiltonian exactly.

The corresponding paper is under revision and is available at http://www.irisa.fr/ipso/perso/chartier/#publications

This is a joint work with E. Hairer, from the University of Geneva.

and two numerical integrators
y_{n+ 1}=
_{f,
h}(
y_{n})and
y_{n+ 1}=
_{f,
h}(
y_{n}). The problem that we address is the study of a modified differential equation, written as a formal series in powers of the step size
h,

such that the numerical solution of the method applied to ( ) is (formally) equal to the numerical solution of the method applied to the modified differential equation ( ), i.e.,

This a joint work with Ander Murua, from the University of San Sebastian.

We aim in at characterizing B-series integrators that preserve general invariants or volume form. As in , S-series arise naturally: in accordance with B-series that have to be extended to the situation of split systems, we consider here S-series for coloured trees.

We derive new results concerning the preservation of both invariants and volume-form in a purely algebraic setting.

The corresponding paper is about to be submitted.

We started to study the long-time energy conservation of splitting methods applied to the linear Schrödinger equation. It turns out that this energy conservation is almost equivalent to the long time conservation of high-order Sobolev norms of the approximated solution. Starting from
analyticity assumptions on the potential
V(
x), we showed the following results:

**1.**If
Vis sufficiently small, in the analytical sense, Sobolev bounds of the initial value are preserved for the
*exact*solution of the linear Schrödinger equation. Though this results sounds reasonable, we were not able to find it in the literature.

**2.**If the phase space is the torus (i.e. if periodicity boundary conditions are assumed) and if
Vis small, we showed that the Sobolev bounds are conserved over long time if a non resonance assumption on the step size is assumed. Namely, in the case of the dimension one, if
tis the stepsize, this assumption is written

for suitable constants
and
>1. Here, long time conservation means that the stepsize
tis fixed, and that the conservation holds for times of order
^{-
N}where
measures the smallness of
Vand where
Nis arbitrary. Using the conservation of these Sobolev
*a posteriori*bounds for the approximated solution, we are now able to use classical methods of backward error analysis and to show the long-time conservation of energy under the condition (
).

A paper on these results is in preparation.

In molecular dynamics, we study the statistical properties of classical dynamical systems preserving a given measure and an energy depending on the situation: while Hamiltonian systems preserve the standard Liouville measure on energy surfaces, Nosé-Hoover systems preserve a Boltzmann-like measure describing the dynamics at constant temperature. A standard problem is that if these systems preserve the correct measure, they are in general not ergodic, and exhibit usually hidden invariants making the simulations irrelevant.

Here, we introduce extensions of these systems by simply adding time-dependent terms in the symplectic structure itself. By doing so, we
*shake*the system without changing the measure and energy conservation properties. These
*shakers*seem to increase considerably the ergodic properties of the system. They can depend on time in a deterministic way (typically, depend on a collection of harmonic oscillator) or be stochastic processes.

An application on this idea to the Nosé-Hoover system is very interesting for the chemists community. A paper on this subject is in preparation.

We are concerned here with numerical methods which combine spatial and time discretization in order to increase the stability, or to respect the features of the problem up to a prescribed tolerance. At this point, we would like to point out the specificity of our approach, for most existing methods either strictly respect the manifold or embed a drift that goes out of control with increasing time. The methods we are concerned with rely on an ``a-priori" spatial approximation of the manifold with a specified error, together with a time-approximation that preserves exactly this approximated manifold. The distance of the numerical solution to the exact manifold is thus expected to remain bounded, even for infinite times if the manifold is compact. It has probably become clear to the reader that other structural properties of the exact solution, such as symplecticity or symmetry, will impose restrictions both on the space-discretization and on the time-discretization that we are willing to combine.

The question of the computational cost of this a-priori discretization of the manifold has to be addressed: at present, the performances of the various existing methods for solving one and only one trajectory seem out of reach. However, the positions are reversed if many trajectories need to be computed. It may also be the case that the vector field is not known on the whole set of definition of the equations, in which case some ``reconstruction" of it is anyway necessary. We will thus focus on applications which belong to at least one of the two categories.

The first schemes we propose rely on the following construction:

The phase space (i.e. the invariant manifold) is triangulated as

where the
K_{j}'s are compact connected domains with piecewise smooth boundaries
K_{j}and
Jis a countable set of indices. Note that we will mainly consider the cases where the
K_{j}'s are hyper-triangles or hypercubes.

On each domain
K_{j}an approximation
of
fis known of a given order
kindependent of
j, that is to say

where
is a characteristic dimension of the triangulation and
Ca positive constant independent of
j.

If we approximate the solution of the initial value problem (
) on each domain
K_{j}by a
p-th order one-step method, then an error bound of the form

can be obtained, where
hdenotes the maximum step-size used for the time integration and
E(
T)the global error of the solution at time
T. Based on this somehow usual convergence analysis, we can elaborate a first-order method of Euler type, for first-order approximations of the vector field, or various second-order schemes for affine approximations of the vector field. Something very noticeable in
these methods is the a-posteriori determination of the time. As a matter of fact, since the approximate manifold is defined in terms of local charts on the
K_{j}'s, the representation of
has to be changed whenever the numerical solution leaves an element of the triangulation. This makes necessary to determine the exit time, i.e. the time necessary for a trajectory with initial value in
K_{j}or on the boundary of
K_{j}to leave
K_{j}(note that even in the case where the manifold is simply
, it might be highly beneficial to resort to the same technique in order to use a high-order numerical method on each
K_{j}, since the global degree of smoothness of the approximation
of
fmay be much lower than the degree of smoothness of the
's). Once the trajectory has left
K_{j}, it enters a new element
K_{l}of the triangulation and it can be advanced in time using the corresponding approximation
of
f. As a consequence, the sequence of times at which approximations of the solution are computed partly depends on the space discretization.

Note that whenever the function
fis
-reversible, i.e. such that
for a reflexive
, and if the triangulation respects this property, one may build symmetric schemes in the same way.

First results with numerical schemes of this kind will be reported soon in a forthcoming publication.

Alcatel contract.

partners : INRIA, Alcatel CIT

time : from December 2003 until December 2005.

The results presented in this section have been obtained jointly with the engineers from the laboratory of optronics from Alcatel Marcoussis. This project with Alcatel is devoted to the mathematical and numerical aspects of a model for a
n^{th}order cascaded Raman device. In their discretized version, the equations involve waves traveling backward and forward in the cavity, and interacting together via the Raman gain. In its most general form, a n-th order cascaded Raman fiber laser is described by a set of partial
differential equations. However, it has become common, based on the experience that only a few frequencies contribute significantly to the phenomenon, to discretize the full spectrum and to simulate the resulting system of ordinary differential equations. Using a change of variable, the
questions of existence and uniqueness of a solution have been solved and a more efficient and more stable algorithm has been proposed and implemented
,
. However, this initial work has emphasized some limitations, and it now appears necessary to consider a more
elaborated model, including the whole spectrum of frequencies: while the previous model describes in a reasonable way the so-called Self-Phase-Modulation (SPM), and the Cross-Phase-Modulation (XPM) effects, it does not take into account the so-called Four-Wave-Mixing (FWM). Is it possible to
modify the model in order to encode FWM ?

Let us be more precise. The above model is a high-frequency model that is asymptotic to the Maxwell system. Here, the nonlinear terms stem from cubic nonlinearities at the Maxwell level, that encode the reaction of the fiber to the applied laser field. In that picture, FWM terms correspond to nonlinear terms that have been neglected in the asymptotic process leading from Maxwell's equations to the above Lotka-Volterra like model. The question is thus to recover those neglected terms upon making a refined asymptotic analysis that takes into account the true physical orders of magnitude of the various phenomena.

This model is currently under development and should certainly require a different numerical technique. The end of the contract has consequently been postponed to 2005.

The ARC Prestissimo will now be continued through the newly funded ACI (Action Concertée incitative) 2004-2006 entitled ``Simulation Moléculaire'' and taking place within the program ``Nouvelles Interfaces des Mathématiques''. This action associates 20 researchers and 8 teams :

E. Cancès (MICMAC-CERMICS),

Y. Achdou (Laboratoire J.L. Lions, Université Paris VI) ,

O. Atabek (Laboratoire Photo-physique Moléculaire, Université Paris Sud Orsay),

P. Rouchon (Centre Automatique et Systèmes, Ecole des Mines de Paris),

G. Zerah (Service Physique de la Matière Condensée, CEA-DAM, Ile-de-France),

A. Savin (Laboratoire de Chimie Théorique, Université Paris VI),

M. Shoenauer (Projet TAO, INRIA),

P. Chartier (Equipe IPSO, INRIA).

The main objective of this action is to propose new numerical schemes for the simulation of molecules, both at the atomistic scale (this was the focus of PRESTISSIMO) and at the quantum scale. The main objective of this ACI is to improve the numerical methods in many aspects of molecular simulation and at different scales : quantum, atomistic, and higher... The idea is to bring together mathematicians with various skills (PDEs/ODE, control, optimization...) and chemists and physicists in order to have the largest possible impact on applications. The kick-off meeting took place at CERMICS in october under the leadership of Claude Le Bris.

The team is involved in a recently accepted ACI named ``High-frequency methods for ordinary and partial differential equations'', François Castella being in charge of the project. The other partners of the action are listed below:

Laboratoire de Modélisation et de Calcul - IMAG - CNRS UMR 5523 B.P. 53 - 38041 Grenoble Cedex 9

Département de Mathématiques - Université des Sciences et Technologies de Lille

The main objective of this ACI is to settle a work-group dedicated to the study of high frequency methods for ordinary differential and partial differential equations. The methods we have in mind include homogeneization for PDEs, averaging for ODEs, kinetic methods and geometric optics. The idea is to share some of the techniques used in the PDE and ODE communities with possible applications to Hamiltonian systems, molecular and population dynamics, semi-conductors and laser-matter interactions.

The INGEMOL project is concerned with the numerical simulation of differential equations by so-called geometric methods, i.e. methods preserving some of the qualitative features of the exact solution. Conserving the energy or the symmetry is often physically relevant and of paramount importance in some applications such as molecular simulation or propagation of laser waves in fibers (these are the main applications considered within the project, though several others are possible: robotics, celestial mechanics…). Though a lot has been achieved by numerical analysts in the domain of numerical integration during the last two decades, with most significantly the introduction of symplectic schemes and their analysis through backward error techniques, a lot remains to be done in situations where the existing theory fails to give a useful answer; the goal of the INGEMOL project is to help solving these difficulties in some well-identified cases : 1. whenever symmetric multi-step methods are used for Hamiltonian systems, 2. whenever splitting methods are used for the Schrödinger equation, 3. whenever the system under consideration has highly-oscillating solutions.

Taking into account in the theory the unboundedness of the operators or the high oscillations of the solutions allows for the construction, in a second step, of more appropriate numerical schemes with fewer or none of the present restrictions.

Eventually, it is planned to implement the new schemes with in view their application to the simulation of laser waves and to molecular simulation.

P. Chartier is coordinator of the project. INGEMOL associates the following persons and teams:

F. Castella, P. Chartier, M. Crouzeix, G. Dujardin, E. Faou, G. Vilmart: IPSO

Ch. Chipot: Structure et réactivité des systèmes moléculaire complexes, CNRS, Nancy.

S. Descombes: ENS LYON.

E. Cancès, C. Le Bris, F. Legoll, T. Lelièvre, G. Stoltz: CERMICS, ENPC, Marne-la-Vallée.

P. Chartier is chair of the scientific committee of the international conference SciCADE'07.

P. Chartier is member of the scientific committee of the "Journées en l'honneur de Michel Crouzeix" of CANUM'05.

P. Chartier is member of the editorial board of M2AN from January 2006 on.

E. Faou is chair of the organization committee of the international conference SciCADE'07.

F. Castella is a member of the organizing commitee of the GdR ``GRIP'' (Systèmes de Particules - leader : Th. Goudon).

F. Castella has organized the summer school of the GDR ``EAPQ'' ( Amplitude equations, leader : E. Lombard).

F. Castella has organized with F. Golse (ENS Paris) the conference ``Systèmes à grand nombre de particules: approches déterministes et stochastiques'' in Rennes. The proceedings of this conference will be published in ``Communications in Mathematical Sciences''.

F. Castella is in charge, since 2001, of the weekly seminar of numerical analysis at the University of Rennes I.

F. Castella is the director of the GdR CNRS 'CHANT' ('equations Cinetiques et Hyperboliques : Aspects Numeriques, Theoriques, et de modelisation'). [budget=15000 Euros per year, approximately 200 persons, and about 4 events organized per year].

P. Chartier is member of the COST (Advisory Committee for Scientific and Technological Orientations) at INRIA.

P. Chartier is member of the Comité des Projets at INRIA-Rennes.

E. Faou is member of the Commission Personnel at INRIA-Rennes.

E. Faou is member of the Commission d'Evaluation at INRIA.

E. Faou is member of commission de spécialistes, section 26, of the Ecole Normale Supérieure de Cachan.

F. Castella is the leader of an "Action Concertée Incitative" ``Jeunes chercheuses et jeunes chercheur'' on
*High-frequency methods for ordinary and partial differential equations*.

F. Castella is member of the evaluation committee of the Austrian Graduate Program "Differential Equations Models in Science and Engineering'' (leader : C. Schmeiser, Vienna).

F. Castella is member of commission de spécialistes, sections 25-26-34, of the University of Lille.

F. Castella is member of commission de spécialistes, section 26, of INSA, University of Rennes I.

F. Castella is member of commission de spécialistes, section 26, of the Ecole Normale Supérieure de Cachan.

E. Faou is oral examiner at ENS Cachan Bruz (``agrégation'').

F. Castella : "Electronic transport in semi-conductors'', with B. Vinter (Thalès group), DEA ``MMSAP'' of Versailles, Paris VI, and Ecole Polytechnique.

F. Castella : "Numerical methods for hyperbolic problems", with G. Caloz (University of Rennes I), DEA of Mathematics, University of Rennes I.

F. Castella : "Mathematical models in propagation phenomena", DESS of the University of Rennes I.

P. Chartier was invited to give a talk at SciCADE'05.

P. Chartier was invited to give a lecture at the workshop MULTIMAT organized by Grégoire Allaire.

P. Chartier gave a talk at the ACI "Molecular Simulation Moléculaire" organised by C. Le Bris.

P. Chartier gave seminars at ENS Cachan and ENS Lyon.

E. Faou was invited to give a talk at SciCADE'05.

F. Castella gave seminars at the universities of Nice, Nantes, Paris VI, ENS Paris, Bilbao, Rome, Grenoble, Bordeaux.

F. Castella was invited to give a talk at the conference "High-frequency wave propagation" in the Center for Scientific Computation and Mathematical Modeling, University of Maryland.

P. Chartier visited the University of San Sabastian for one week, at the invitation of A. Murua.

P. Chartier visited the University of Geneva for one week, at the invitation of E. Hairer.

F. Castella visited Bejing, China, for two weeks at the invitation of P. Zhang. He gave a series of lectures for post-doctoral students at the Morningside center, Chinese Academy of Sciences.

F. Castella visited the University of Roma ``La Sapienza'', at the invitation of M. Pulvirenti.

The team has invited the following persons :

A. Murua, from the University of Basque Country, for a one-week visit.

P. Tupper, Mc Gill University, for a one-week visit.

S. Reich, Postdam University, for a one-week visit.