Searcharxiv⌕ Search

arXiv subjects

François Dubois

Publications and source records attributed to François Dubois.

At least 37 records · Page 2Linked to original sources

A variational symplectic scheme based on Simpson's quadrature

We propose a variational symplectic numerical method for the time integration of dynamical systems issued from the least action principle. We assume a quadratic internal interpolation of the state and we approximate the action in a small time step by the Simpson's quadrature formula. The resulting scheme is explicited for an elementary harmonic oscillator. It is a stable, explicit, and symplectic scheme satisfying the conservation of an approximate energy. Numerical tests illustrate our theoretical study.

math.NA↗

Interception of a bolide ?

We present a review of the literature on the subject of a possible collision between the Earthand a meteorite or comet. We emphasize the global effects when sufficient energy is involved.We propose several types of human actions adapted to the physico-chemical nature of thecollider bolide.

astro-ph.EP↗

Pourquoi la gamme a sept notes? Une math{é}matique des notes et des gammes

We present an algebraic construction of music notes and show how to associate them inseveral ways to construct music ranges. Then a family of ranges emerge with a fixed number of notes: two, three, five, seven, twelve, seventeen, etc. A classification of these scales is simple with the concept of multiplicative structure. The action of such a multiplicative structure on a music note introduces the definition of tonality. Multiplicative structure classification is then straightforward with the notions of type and mode. We detail the case of music scales with five and seven notes and propose musical examples for a wide range of modes.

math.HO↗

On lattice Boltzmann scheme, finite volumes and boundary conditions

We develop the idea that a natural link between Boltzmann schemes and finite volumes exists naturally: the conserved mass and momentum during the collision phase of the Boltzmann scheme induces general expressions for mass and momentum fluxes. We treat a unidimensional case and focus our development in two dimensions on possible flux boundary conditions. Several test cases show that a high level of accuracy can be achieved with this scheme.

nlin.CG↗

Riemannian formulation of Pontrygin's principle for robotic manipulators

In this work, we consider a mechanical system whose mass tensor implements a scalar product in a Riemannian manifold. This system is controlled with the help of forces and torques. A cost functional is minimized to achieve an optimal trajectory. In this contribution, this cost function is supposed to be an arbitrary regular function invariant under a change of coordinates. Optimal control evolution based on Pontryagin's principle induces a covariant second-order ordinary differential equation for an adjoint variable featuring the Riemann curvature tensor. This second order time evolution is derived in this contribution.

math.OC↗

A result of convergence for a mono-dimensional two-velocities lattice Boltzmann scheme

We consider a mono-dimensional two-velocities scheme used to approximate the solutions of a scalar hyperbolic conservative partial differential equation. We prove the convergence of the discrete solution toward the unique entropy solution by first estimating the supremum norm and the total variation of the discrete solution, and second by constructing a discrete kinetic entropy-entropy flux pair being given a continuous entropy-entropy flux pair of the hyperbolic system. We finally illustrate our results with numerical simulations of the advection equation and the Burgers equation.

math.AP↗

On hyperbolic systems with entropy velocity covariant under the action of a group

For hyperbolic systems of conservation laws in one space dimension with a mathematical entropy, we define the notion of entropy velocity. Then we give sufficient conditions for such a system to be covariant under the action of a group of space-time transformations. These conditions naturally introduce a representation of the group in the space of states. We construct such hyperbolic system from the knowledge of data on the manifold of null velocity. We apply these ideas for Galileo, Lorentz and circular groups. We focus on particular non trivial examples for two by two systems of conservation laws.

math.AP↗

Pontryagin calculus in Riemannian geometry

In this contribution, we study systems with a finite number of degrees of freedom as in robotics. A key idea is to consider the mass tensor associated to the kinetic energy as a metric in a Riemannian configuration space. We apply Pontryagin's framework to derive an optimal evolution of the control forces and torques applied to the mechanical system. This equation under covariant form uses explicitly the Riemann curvature tensor. This contribution is dedicated to the memory of Claude Vall{é}e (1945-2014).

math.DS↗

On anti bounce back boundary condition for lattice Boltzmann schemes

In this contribution, we recall the derivation of the anti bounce back boundary condition for the D2Q9 lattice Boltzmann scheme. We recall various elements of the state of the art for anti bounce back applied to linear heat and acoustics equations and in particular the possibility to take into account curved boundaries. We present an asymptotic analysis that allows an expansion of all the fields in the boundary cells. This analysis based on the Taylor expansion method confirms the well known behaviour of anti bounce back boundary for the heat equation. The analysis puts also in evidence a hidden differential boundary condition in the case of linear acoustics. Indeed, we observe discrepancies in the first layers near the boundary. To reduce these discrepancies, we propose a new boundary condition mixing bounce back for the oblique links and anti bounce back for the normal link. This boundary condition is able to enforce both pressure and tangential velocity on the boundary. Numerical tests for the Poiseuille flow illustrate our theoretical analysis and show improvements in the quality of the flow.

math.NA↗

Unexpected convergence of lattice Boltzmann schemes

In this work, we study numerically the convergence of the scalar D2Q9 lattice Boltzmann scheme with multiple relaxation times when the time step is proportional to the space step and tends to zero. We do this by a combination of theory and numerical experiment. The classical formal analysis when all the relaxation parameters are fixed and the time step tends to zero shows that the numerical solution converges to solutions of the heat equation, with a constraint connecting the diffusivity, the space step and the coefficient of relaxation of the momentum. If the diffusivity is fixed and the space step tends to zero, the relaxation parameter for the momentum is very small, causing a discrepency between the previous analysis and the numerical results. We propose a new analysis of the method for this specific situation of evanescent relaxation, based on the dispersion equation of the lattice Boltzmann scheme. A new asymptotic partial differential equation, the damped acoustic system, is emergent as a result of this formal analysis. Complementary numerical experiments establish the convergence of the scalar D2Q9 lattice Boltzmann scheme with multiple relaxation times and acoustic scaling in this specific case of evanescent relaxation towards the numerical solution of the damped acoustic system.

math.NA↗

Generalized bounce back boundary condition for the nine velocities two-dimensional lattice Boltzmann scheme

In a previous work, we have proposed a method for the analysis of the bounce back boundary condition with the Taylor expansion method in the linear case. In this work two new schemes of modified bounce back are proposed. The first one is based on the expansion of the iteration of the internal scheme of the lattice Boltzmann method. The analysis puts in evidence some defects and a generalized version is proposed with a set of essentially four possible parameters to adjust. We propose to reduce this number to two with the elimination of spurious density first order terms. Thus a new scheme for bounce back is found exact up to second order and allows an accurate simulation of the Poiseuille flow for a specific combination of the relaxation and boundary coefficients. We have validated the general expansion of the value in the first cell in terms of given values on the boundary for a stationary "accordion" test case.

math.NA↗

A stability property for a mono-dimensional three velocities scheme with relative velocity

In this contribution, we study a stability notion for a fundamental linear one-dimensional lattice Boltzmann scheme, this notion being related to the maximum principle. We seek to characterize the parameters of the scheme that guarantee the preservation of the non-negativity of the particle distribution functions. In the context of the relative velocity schemes, we derive necessary and sufficient conditions for the non-negativity preserving property. These conditions are then expressed in a simple way when the relative velocity is reduced to zero. For the general case, we propose some simple necessary conditions on the relaxation parameters and we put in evidence numerically the non-negativity preserving regions. Numerical experiments show finally that no oscillations occur for the propagation of a non-smooth profile if the non-negativity preserving property is satisfied.

math.AP↗

Raviart-Thomas finite elements of Petrov-Galerkin type

The mixed finite element method for the Poisson problem with the Raviart-Thomas elements of low-level can be interpreted as a finite volume method with a non-local gradient. In this contribution, we propose a variant of Petrov-Galerkin type for this problem to ensure a local computation of the gradient at the interfaces of the elements. The shape functions are the Raviart-Thomas finite elements. Our goal is to define test functions that are in duality with these shape functions: Precisely, the shape and test functions will be asked to satisfy a L2-orthogonality property. The general theory of Babuška brings necessary and sufficient stability conditions for a Petrov-Galerkin mixed problem to be convergent. We propose specific constraints for the dual test functions in order to ensure stability. With this choice, we prove that the mixed Petrov-Galerkin scheme is identical to the four point finite volumes scheme of Herbin, and to the mass lumping approach developed by Baranger, Maitre and Oudin. Finally, we construct a family of dual test functions that satisfy the stability conditions. Convergence is proven with the usual techniques of mixed finite elements.

math.NA↗

Equivalent partial differential equations of a lattice Boltzmann scheme

We show that when we formulate the lattice Boltzmann equation with a small time step $Δ$t and an associated space scale $Δ$x, a Taylor expansion joined with the so-called equivalent equation methodology leads to establish macroscopic fluid equations as a formal limit. We recover the Euler equations of gas dynamics at the first order and the compressible Navier-Stokes equations at the second order. 1) Discrete geometry $\bullet$ We denote by d the dimension of space and by L a regular d-dimensional lattice. Such a lattice is composed by a set L 0 of nodes or vertices and a set L 1 of links or edges between two vertices. From a practical point of view, given a vertex x, there exists a set V (x) of neighbouring nodes, including the node x itself. We consider here that the lattice L is parametrized by a space step $Δ$x > 0. For the fundamental example called D2Q9 (see e.g. Lallemand and Luo, 2000), the set V (x) is given with the help of the family of vectors (e j) 0$\le$j$\le$J defined by J = 8, (1.1) e j = 0 0 , 1 0 , 0 1 , --1 0 , 0 --1 , 1 1 , --1 1 , --1 --1 , 1 --1 and the vicinity (1.2) V (x) = { x + $Δ$x e j , 0 $\le$ j $\le$ J } .

math.NA↗

Curious convergence properties of lattice Boltzmann schemes for diffusion with acoustic scaling

We consider the D1Q3 lattice Boltzmann scheme with an acoustic scale for the simulation of diffusive processes. When the mesh is refined while holding the diffusivity constant, we first obtain asymptotic convergence. When the mesh size tends to zero, however, this convergence breaks down in a curious fashion, and we observe qualitative discrepancies from analytical solutions of the heat equation. In this work, a new asymptotic analysis is derived to explain this phenomenon using the Taylor expansion method, and a partial differential equation of acoustic type is obtained in the asymptotic limit. We show that the error between the D1Q3 numerical solution and a finite-difference approximation of this acoustic-type partial differential equation tends to zero in the asymptotic limit. In addition, a wave vector analysis of this asymptotic regime demonstrates that the dispersion equation has nontrivial complex eigenvalues, a sign of underlying propagation phenomena, and a portent of the unusual convergence properties mentioned above.

math.NA↗

Comparison of Simulations of Convective Flows

We show that a single particle distribution for the D2Q13 lattice Boltzmann scheme can simulate coupled effects involving advection and diffusion of velocity and temperature. We consider various test cases: non-linear waves with periodic boundary conditions, a test case with buoyancy, propagation of transverse waves, Couette and Poiseuille flows. We test various boundary conditions and propose to mix bounce-back and anti-bounce-back numerical boundary conditions to take into account velocity and temperature Dirichlet conditions. We present also first results for the de Vahl Davis heated cavity. Our results are compared with the coupled D2Q9-D2Q5 lattice Boltzmann approach for the Boussinesq system and with an elementary finite differences solver for the compressible Navier-Stokes equations.

math.NA↗

Lattice Boltzmann model approximated with finite difference expressions

We show that the asymptotic properties of the link-wise artificial compressibility method are not compatible with a correct approximation of fluid properties. We propose to adapt the previous method through a framework suggested by the Taylor expansion method and to replace first order terms in the expansion by appropriate three or five points finite differences and to add non linear terms. The "FD-LBM" scheme obtained by this method is tested in two dimensions for shear wave, Stokes modes and Poiseuille flow. The results are compared with the usual lattice Boltzmann method in the framework of multiple relaxation times.

math.NA↗