-
Ensemble Data Assimilation for Particle-based Methods
Authors:
Marius Duvillard,
Loïc Giraldi,
Olivier Le Maître
Abstract:
This study presents a novel approach to applying data assimilation techniques for particle-based simulations using the Ensemble Kalman Filter. While data assimilation methods have been effectively applied to Eulerian simulations, their application in Lagrangian solution discretizations has not been properly explored. We introduce two specific methodologies to address this gap. The first methodolog…
▽ More
This study presents a novel approach to applying data assimilation techniques for particle-based simulations using the Ensemble Kalman Filter. While data assimilation methods have been effectively applied to Eulerian simulations, their application in Lagrangian solution discretizations has not been properly explored. We introduce two specific methodologies to address this gap. The first methodology employs an intermediary Eulerian transformation that combines a projection with a remeshing process. The second is a purely Lagrangian scheme designed for situations where remeshing is not appropriate. The second is a purely Lagrangian scheme that is applicable when remeshing is not adapted. These methods are evaluated using a one-dimensional advection-diffusion model with periodic boundaries. Performance benchmarks for the one-dimensional scenario are conducted against a grid-based assimilation filter Subsequently, assimilation schemes are applied to a non-linear two-dimensional incompressible flow problem, solved via the Vortex-In-Cell method. The results demonstrate the feasibility of applying these methods in more complex scenarios, highlighting their effectiveness in both the one-dimensional and two-dimensional contexts.
△ Less
Submitted 8 December, 2024; v1 submitted 25 October, 2024;
originally announced October 2024.
-
Parametric Shape Optimization of Flagellated Micro-Swimmers Using Bayesian Techniques
Authors:
Lucas Palazzolo,
Laëtitia Giraldi,
Mickael Binois,
Luca Berti
Abstract:
Understanding and optimizing the design of helical micro-swimmers is crucial for advancing their application in various fields. This study presents an innovative approach combining Free-Form Deformation with Bayesian Optimization to enhance the shape of these swimmers. Our method facilitates the computation of generic swimmer shapes that achieve optimal average speed and efficiency. Applied to bot…
▽ More
Understanding and optimizing the design of helical micro-swimmers is crucial for advancing their application in various fields. This study presents an innovative approach combining Free-Form Deformation with Bayesian Optimization to enhance the shape of these swimmers. Our method facilitates the computation of generic swimmer shapes that achieve optimal average speed and efficiency. Applied to both monoflagellated and biflagellated swimmers, our optimization framework has led to the identification of new optimal shapes. These shapes are compared with biological counterparts, highlighting a diverse range of swimmers, including both pushers and pullers.
△ Less
Submitted 18 September, 2024;
originally announced September 2024.
-
Towards a computational framework using finite element methods with Arbitrary Lagrangian-Eulerian approach for swimmers with contact
Authors:
Céline Van Landeghem,
Luca Berti,
Laëtitia Giraldi,
Christophe Prud'Homme
Abstract:
Swimming involves a body's capability to navigate through a fluid by undergoing self-deformations. Typically, fluid dynamics are described by the Navier-Stokes equations, and when integrated with a swimming body, it results in a highly intricate model. This paper introduces a computational framework for simulating the movement of multiple swimmers with various geometries immersed in a Navier-Stoke…
▽ More
Swimming involves a body's capability to navigate through a fluid by undergoing self-deformations. Typically, fluid dynamics are described by the Navier-Stokes equations, and when integrated with a swimming body, it results in a highly intricate model. This paper introduces a computational framework for simulating the movement of multiple swimmers with various geometries immersed in a Navier-Stokes fluid. The approach relies on the finite element method with an Arbitrary Lagrangian-Eulerian (ALE) framework to handle swimmer displacements. Numerous numerical experiments demonstrate the adaptability of the computational framework across various scenarios.All the implementations are made using the Feel++ finite element library.
△ Less
Submitted 26 August, 2024;
originally announced August 2024.
-
Mathematical and computational framework for moving and colliding rigid bodies in a Newtonian fluid
Authors:
Céline Van Landeghem,
Luca Berti,
Vincent Chabannes,
Christophe Prud'Homme,
Agathe Chouippe,
Yannick Hoarau,
Laëtitia Giraldi
Abstract:
We studied numerically the dynamics of colliding rigid bodies in a Newtonian fluid. The finite element method is used to solve the fluid-body interaction and the fluid motion is described in the Arbitrary-Lagrangian-Eulerian framework. To model the interactions between bodies, we consider a repulsive collision-avoidance model, defined by R. Glowinski. The main emphasis in this work is the generali…
▽ More
We studied numerically the dynamics of colliding rigid bodies in a Newtonian fluid. The finite element method is used to solve the fluid-body interaction and the fluid motion is described in the Arbitrary-Lagrangian-Eulerian framework. To model the interactions between bodies, we consider a repulsive collision-avoidance model, defined by R. Glowinski. The main emphasis in this work is the generalization of this collision model to multiple rigid bodies of arbitrary shape. Our model first uses a narrow-band fast marching method to detect the set of colliding bodies. Then, collision forces and torques are computed for these bodies via a general expression, which does not depend on their shape. Numerical experiments examining the performance of the narrow-band fast marching method and the parallel execution of the collision algorithm are discussed. We validate our model with literature results and show various applications of colliding bodies in two and three dimensions. In these applications, the bodies move due to forces such as gravity, a fluid flow, or their own actuation. Finally, we present a tool to create arbitrarily shaped bodies in discretized fluid domains, enabling conforming body-fluid interface and allowing to perform simulations of fluid-body interactions with collision treatment in these realistic environments. All simulations are conducted with the Feel++ open source library.
△ Less
Submitted 29 February, 2024;
originally announced February 2024.
-
Shapes enhancing the propulsion of multiflagellated helical microswimmers
Authors:
Luca Berti,
Mickaël Binois,
François Alouges,
Matthieu Aussal,
Christophe Prud'Homme,
Laetitia Giraldi
Abstract:
In this paper we are interested in optimizing the shape of multi-flagellated helical microswimmers. Mimicking the propagation of helical waves along the flagella, they self-propel by rotating their tails. The swimmer's dynamics is computed using the Boundary Element Method, implemented in the open source Matlab library $Gypsilab$. We exploit a Bayesian optimization algorithm to maximize the swimme…
▽ More
In this paper we are interested in optimizing the shape of multi-flagellated helical microswimmers. Mimicking the propagation of helical waves along the flagella, they self-propel by rotating their tails. The swimmer's dynamics is computed using the Boundary Element Method, implemented in the open source Matlab library $Gypsilab$. We exploit a Bayesian optimization algorithm to maximize the swimmer's speeds through their shape optimization. Our results show that the optimal tail shapes are helices with large wavelength, such that the shape periodicity is disregarded. Moreover, the best propulsion speed is achieved for elongated heads when the swimmer has one or two flagella. Surprisingly, a round head is obtained when more flagella are considered. Our results indicate that the position and number of flagella modify the propulsion pattern and play a significant role in the optimal design of the head. It appears that Bayesian optimization is a promising method for performance improvement in microswimming.
△ Less
Submitted 9 March, 2021;
originally announced March 2021.
-
Swimming at Low Reynolds Number
Authors:
Luca Berti,
Laetitia Giraldi,
Christophe Prud'Homme
Abstract:
We address the swimming problem at low Reynolds number. This regime, which is typically used for micro-swimmers, is described by Stokes equations. We couple a PDE solver of Stokes equations, derived from the Feel++ finite elements library, to a quaternion-based rigid-body solver. We validate our numerical results both on a 2D exact solution and on an exact solution for a rotating rigid body respec…
▽ More
We address the swimming problem at low Reynolds number. This regime, which is typically used for micro-swimmers, is described by Stokes equations. We couple a PDE solver of Stokes equations, derived from the Feel++ finite elements library, to a quaternion-based rigid-body solver. We validate our numerical results both on a 2D exact solution and on an exact solution for a rotating rigid body respectively. Finally, we apply them to simulate the motion of a one-hinged swimmer, which obeys to the scallop theorem.
△ Less
Submitted 27 November, 2019;
originally announced November 2019.
-
Necessary conditions for local controllability of a particular class of systems with two scalar controls
Authors:
Laetitia Giraldi,
Pierre Lissy,
Clément Moreau,
Jean-Baptiste Pomet
Abstract:
We consider affine control systems with two scalar controls, such that one control vector field vanishes at an equilibrium state. We state two necessary conditions of local controllability around this equilibrium, involving the iterated Lie brackets of the system vector fields, with controls that are either bounded, small in L $\infty$ or small in W 1,$\infty$. These results are illustrated with s…
▽ More
We consider affine control systems with two scalar controls, such that one control vector field vanishes at an equilibrium state. We state two necessary conditions of local controllability around this equilibrium, involving the iterated Lie brackets of the system vector fields, with controls that are either bounded, small in L $\infty$ or small in W 1,$\infty$. These results are illustrated with several examples.
△ Less
Submitted 10 July, 2019;
originally announced July 2019.
-
Optimal projection of observations in a Bayesian setting
Authors:
Loïc Giraldi,
Olivier P. Le Maître,
Ibrahim Hoteit,
Omar M. Knio
Abstract:
Optimal dimensionality reduction methods are proposed for the Bayesian inference of a Gaussian linear model with additive noise in presence of overabundant data. Three different optimal projections of the observations are proposed based on information theory: the projection that minimizes the Kullback-Leibler divergence between the posterior distributions of the original and the projected models,…
▽ More
Optimal dimensionality reduction methods are proposed for the Bayesian inference of a Gaussian linear model with additive noise in presence of overabundant data. Three different optimal projections of the observations are proposed based on information theory: the projection that minimizes the Kullback-Leibler divergence between the posterior distributions of the original and the projected models, the one that minimizes the expected Kullback-Leibler divergence between the same distributions, and the one that maximizes the mutual information between the parameter of interest and the projected observations. The first two optimization problems are formulated as the determination of an optimal subspace and therefore the solution is computed using Riemannian optimization algorithms on the Grassmann manifold. Regarding the maximization of the mutual information, it is shown that there exists an optimal subspace that minimizes the entropy of the posterior distribution of the reduced model; a basis of the subspace can be computed as the solution to a generalized eigenvalue problem; an a priori error estimate on the mutual information is available for this particular solution; and that the dimensionality of the subspace to exactly conserve the mutual information between the input and the output of the models is less than the number of parameters to be inferred. Numerical applications to linear and nonlinear models are used to assess the efficiency of the proposed approaches, and to highlight their advantages compared to standard approaches based on the principal component analysis of the observations.
△ Less
Submitted 12 February, 2018; v1 submitted 19 September, 2017;
originally announced September 2017.
-
Addendum to "Local Controllability of the Two-Link Magneto-Elastic Micro-Swimmer"
Authors:
Laetitia Giraldi,
Pierre Lissy,
Clément Moreau,
Jean-Baptiste Pomet
Abstract:
In the above mentioned note (<hal-01145537>, <arXiv:1506.05918>, published in IEEE Trans. Autom. Cont., 2017), the first and fourth authors proved a local controllability result around the straight configuration for a class of magneto-elastic micro-swimmers.That result is weaker than the usual small-time local controllability (STLC), and the authors left the STLC question open. The present addendu…
▽ More
In the above mentioned note (<hal-01145537>, <arXiv:1506.05918>, published in IEEE Trans. Autom. Cont., 2017), the first and fourth authors proved a local controllability result around the straight configuration for a class of magneto-elastic micro-swimmers.That result is weaker than the usual small-time local controllability (STLC), and the authors left the STLC question open. The present addendum closes it by showing that these systems cannot be STLC.
△ Less
Submitted 5 July, 2017;
originally announced July 2017.
-
Weakly intrusive low-rank approximation method for nonlinear parameter-dependent equations
Authors:
Loic Giraldi,
Anthony Nouy
Abstract:
This paper presents a weakly intrusive strategy for computing a low-rank approximation of the solution of a system of nonlinear parameter-dependent equations. The proposed strategy relies on a Newton-like iterative solver which only requires evaluations of the residual of the parameter-dependent equation and of a preconditioner (such as the differential of the residual) for instances of the parame…
▽ More
This paper presents a weakly intrusive strategy for computing a low-rank approximation of the solution of a system of nonlinear parameter-dependent equations. The proposed strategy relies on a Newton-like iterative solver which only requires evaluations of the residual of the parameter-dependent equation and of a preconditioner (such as the differential of the residual) for instances of the parameters independently. The algorithm provides an approximation of the set of solutions associated with a possibly large number of instances of the parameters, with a computational complexity which can be orders of magnitude lower than when using the same Newton-like solver for all instances of the parameters. The reduction of complexity requires efficient strategies for obtaining low-rank approximations of the residual, of the preconditioner, and of the increment at each iteration of the algorithm. For the approximation of the residual and the preconditioner, weakly intrusive variants of the empirical interpolation method are introduced, which require evaluations of entries of the residual and the preconditioner. Then, an approximation of the increment is obtained by using a greedy algorithm for low-rank approximation, and a low-rank approximation of the iterate is finally obtained by using a truncated singular value decomposition. When the preconditioner is the differential of the residual, the proposed algorithm is interpreted as an inexact Newton solver for which a detailed convergence analysis is provided. Numerical examples illustrate the efficiency of the method.
△ Less
Submitted 5 March, 2019; v1 submitted 30 June, 2017;
originally announced June 2017.
-
Can Magnetic Multilayers Propel Artificial Microswimmers Mimicking Sperm Cells?
Authors:
Francois Alouges,
Antonio DeSimone,
Laetitia Giraldi,
Marta Zoppello
Abstract:
We formulate and solve the equations governing the dynamics of a microscopic artificial swimmer composed of a head and of a tail made of a thin film of permanent magnetic material. This is a variant of the model swimmer proposed by Dreyfus et al. in 2005, whose tail is a filament obtained from the assembly of super-paramagnetic beads. The swimmer is actuated by an oscillating magnetic field, and i…
▽ More
We formulate and solve the equations governing the dynamics of a microscopic artificial swimmer composed of a head and of a tail made of a thin film of permanent magnetic material. This is a variant of the model swimmer proposed by Dreyfus et al. in 2005, whose tail is a filament obtained from the assembly of super-paramagnetic beads. The swimmer is actuated by an oscillating magnetic field, and its geometry is inspired by that of sperm cells. Using values for the geometric and material parameters that are realistic for a magnetic multilayer, we show that the model swimmer can reach swimming speeds exceeding one body length per second, under reasonable values of the driving magnetic field. This provides a proof of principle for the viability of the concept. In addition, we discuss the possibility to steer the system along curved paths. Finally, we compare the propulsion mechanism (swimming `gait') of our swimmer with that of sperm cells. The main difference between the two is that, contrary to its biological template, our artificial system does not rely on the propagation of bending waves along the tail, at least for the range of material and geometric parameters explored in this article.
△ Less
Submitted 14 February, 2017;
originally announced February 2017.
-
Purcell magneto-elastic swimmer controlled by an external magnetic field
Authors:
François Alouges,
Antonio Desimone,
Laetitia Giraldi,
Marta Zoppello
Abstract:
This paper focuses on the mechanism of propulsion of a Purcell swimmer whose segments are magnetized and react to an external magnetic field applied into the fluid. By an asymptotic analysis, we prove that it is possible to steer the swimmer along a chosen direction when the control functions are prescribed as an oscillating field. Moreover, we discuss what are the main obstructions to overcome in…
▽ More
This paper focuses on the mechanism of propulsion of a Purcell swimmer whose segments are magnetized and react to an external magnetic field applied into the fluid. By an asymptotic analysis, we prove that it is possible to steer the swimmer along a chosen direction when the control functions are prescribed as an oscillating field. Moreover, we discuss what are the main obstructions to overcome in order to get classical controllability result for this system.
△ Less
Submitted 7 November, 2016;
originally announced November 2016.
-
Controllability of a bent 3-link magnetic microswimmer
Authors:
Laetitia Giraldi,
Pierre Lissy,
Clément Moreau,
Jean-Baptiste Pomet
Abstract:
- In this paper, we focus on a variant of a 3-link magnetic microswimmer which consists of three rigid magnetized segments connected by two torsional springs. In particular, we assume that one of the springs is twisted so that the swimmer is not aligned at rest. By acting on it with an external magnetic field, the swimmer twists and moves through the surrounding fluid. By considering the external…
▽ More
- In this paper, we focus on a variant of a 3-link magnetic microswimmer which consists of three rigid magnetized segments connected by two torsional springs. In particular, we assume that one of the springs is twisted so that the swimmer is not aligned at rest. By acting on it with an external magnetic field, the swimmer twists and moves through the surrounding fluid. By considering the external magnetic field as a control function, we state a local partial controllability result around the equilibrium states. Then, we propose a constructive method to find the magnetic field that allows the swimmer to move along a prescribed trajectory. Finally, we show numerical simulations in which the swimmer moves along a prescribed path.
△ Less
Submitted 3 November, 2016;
originally announced November 2016.
-
Local Controllability of the Two-Link Magneto-Elastic Micro-Swimmer
Authors:
Laetitia Giraldi,
Jean-Baptiste Pomet
Abstract:
A recent promising technique for robotic micro-swimmers is to endow them with a magnetization and apply an external magnetic field to provoke their deformation. In this note we consider a simple planar micro-swimmer model made of two magnetized segments connected by an elastic joint, controlled via a magnetic field. After recalling the analytical model, we establish a local controllability re…
▽ More
A recent promising technique for robotic micro-swimmers is to endow them with a magnetization and apply an external magnetic field to provoke their deformation. In this note we consider a simple planar micro-swimmer model made of two magnetized segments connected by an elastic joint, controlled via a magnetic field. After recalling the analytical model, we establish a local controllability result around the straight position of the swimmer.
△ Less
Submitted 6 December, 2016; v1 submitted 19 June, 2015;
originally announced June 2015.
-
Pattern selection in a biomechanical model for the growth of walled cells
Authors:
Vincent Calvez,
Laetitia Giraldi
Abstract:
In this paper, we analyse a model for the growth of three-dimensional walled cells. In this model the biomechanical expansion of the cell is coupled with the geometry of its wall. We consider that the density of building material depends on the curvature of the cell wall, thus yield-ing possible anisotropic growth. The dynamics of the axisymmetric cell wall is described by a system of nonlinear PD…
▽ More
In this paper, we analyse a model for the growth of three-dimensional walled cells. In this model the biomechanical expansion of the cell is coupled with the geometry of its wall. We consider that the density of building material depends on the curvature of the cell wall, thus yield-ing possible anisotropic growth. The dynamics of the axisymmetric cell wall is described by a system of nonlinear PDE including a nonlin-ear convection-diffusion equation coupled with a Poisson equation. We develop the linear stability analysis of the spherical symmetric config-uration in expansion. We identify three critical parameters that play a role in the possible instability of the radially symmetric shape, namely the degree of nonlinearity of the coupling, the effective diffusion of the building material, and the Poisson's ratio of the cell wall. We also investigate numerically pattern selection in the nonlinear regime. All the results are also obtained for a simpler, but similar, two-dimensional model.
△ Less
Submitted 19 February, 2015;
originally announced February 2015.
-
Optimal Design for Purcell Three-link Swimmer
Authors:
Laetitia Giraldi,
Pierre Martinon,
Marta Zoppello
Abstract:
In this paper we address the question of the optimal design for the Purcell 3-link swim-mer. More precisely we investigate the best link length ratio which maximizes its displace-ment. The dynamics of the swimmer is expressed as an ODE, using the Resistive Force Theory [13]. Among a set of optimal strategies of deformation (strokes), we provide an asymptotic estimate of the displacement for small…
▽ More
In this paper we address the question of the optimal design for the Purcell 3-link swim-mer. More precisely we investigate the best link length ratio which maximizes its displace-ment. The dynamics of the swimmer is expressed as an ODE, using the Resistive Force Theory [13]. Among a set of optimal strategies of deformation (strokes), we provide an asymptotic estimate of the displacement for small deformations, from which we derive the optimal link ratio. Numerical simulations are in good agreement with this theoretical esti-mate, and also cover larger amplitudes of deformation. Compared with the classical design of the Purcell swimmer, we observe a gain in displacement of roughly 60%.
△ Less
Submitted 28 December, 2014;
originally announced December 2014.
-
To be or not to be intrusive? The solution of parametric and stochastic equations --- Proper Generalized Decomposition
Authors:
Loïc Giraldi,
Dishi Liu,
Hermann G. Matthies,
Anthony Nouy
Abstract:
A numerical method is proposed to compute a low-rank Galerkin approximation to the solution of a parametric or stochastic equation in a non-intrusive fashion. The considered nonlinear problems are associated with the minimization of a parameterized differentiable convex functional. We first introduce a bilinear parameterization of fixed-rank tensors and employ an alternating minimization scheme fo…
▽ More
A numerical method is proposed to compute a low-rank Galerkin approximation to the solution of a parametric or stochastic equation in a non-intrusive fashion. The considered nonlinear problems are associated with the minimization of a parameterized differentiable convex functional. We first introduce a bilinear parameterization of fixed-rank tensors and employ an alternating minimization scheme for computing the low-rank approximation. In keeping with the idea of non-intrusiveness, at each step of the algorithm the minimizations are carried out with a quasi-Newton method to avoid the computation of the Hessian. The algorithm is made non-intrusive through the use of numerical integration. It only requires the evaluation of residuals at specific parameter values. The algorithm is then applied to two numerical examples.
△ Less
Submitted 5 May, 2014;
originally announced May 2014.
-
Optimal Strokes for Driftless Swimmers: A General Geometric Approach
Authors:
Thomas Chambrion,
Laetitia Giraldi,
Alexandre Munnier
Abstract:
Swimming consists by definition in propelling through a fluid by means of bodily movements. Thus, from a mathematical point of view, swimming turns into a control problem for which the controls are the deformations of the swimmer. The aim of this paper is to present a unified geometric approach for the optimization of the body deformations of so-called driftless swimmers. The class of driftless sw…
▽ More
Swimming consists by definition in propelling through a fluid by means of bodily movements. Thus, from a mathematical point of view, swimming turns into a control problem for which the controls are the deformations of the swimmer. The aim of this paper is to present a unified geometric approach for the optimization of the body deformations of so-called driftless swimmers. The class of driftless swimmers includes, among other, swimmers in a 3D Stokes flow (case of micro-swimmers in viscous fluids) or swimmers in a 2D or 3D potential flow. A general framework is introduced, allowing the complete analysis of five usual nonlinear optimization problems to be carried out. The results are illustrated with examples coming from the literature and with an in-depth study of a swimmer in a 2D potential flow. Numerical tests are also provided.
△ Less
Submitted 14 February, 2017; v1 submitted 3 April, 2014;
originally announced April 2014.
-
Rough wall effect on micro-swimmers
Authors:
David Gérard-Varet,
Laetitia Giraldi
Abstract:
We study the effect of a rough wall on the controllability of micro-swimmers made of several balls linked by thin jacks: the so-called 3-sphere and 4-sphere swimmers. We show that a controllable swimmer (the 4-sphere swimmer) is not impacted by the roughness. On the contrary, we show that the roughness changes the dynamics of the 3-sphere swimmer, so that it can reach any direction almost everywhe…
▽ More
We study the effect of a rough wall on the controllability of micro-swimmers made of several balls linked by thin jacks: the so-called 3-sphere and 4-sphere swimmers. We show that a controllable swimmer (the 4-sphere swimmer) is not impacted by the roughness. On the contrary, we show that the roughness changes the dynamics of the 3-sphere swimmer, so that it can reach any direction almost everywhere.
△ Less
Submitted 4 October, 2013; v1 submitted 30 September, 2013;
originally announced September 2013.
-
To be or not to be intrusive? The solution of parametric and stochastic equations - the "plain vanilla" Galerkin case
Authors:
Loïc Giraldi,
Alexander Litvinenko,
Dishi Liu,
Hermann G. Matthies,
Anthony Nouy
Abstract:
In parametric equations - stochastic equations are a special case - one may want to approximate the solution such that it is easy to evaluate its dependence of the parameters. Interpolation in the parameters is an obvious possibility, in this context often labeled as a collocation method. In the frequent situation where one has a "solver" for the equation for a given parameter value - this may be…
▽ More
In parametric equations - stochastic equations are a special case - one may want to approximate the solution such that it is easy to evaluate its dependence of the parameters. Interpolation in the parameters is an obvious possibility, in this context often labeled as a collocation method. In the frequent situation where one has a "solver" for the equation for a given parameter value - this may be a software component or a program - it is evident that this can independently solve for the parameter values to be interpolated. Such uncoupled methods which allow the use of the original solver are classed as "non-intrusive". By extension, all other methods which produce some kind of coupled system are often - in our view prematurely - classed as "intrusive". We show for simple Galerkin formulations of the parametric problem - which generally produce coupled systems - how one may compute the approximation in a non-intusive way.
△ Less
Submitted 6 September, 2013;
originally announced September 2013.
-
Low-rank approximate inverse for preconditioning tensor-structured linear systems
Authors:
Loic Giraldi,
Anthony Nouy,
Gregory Legrain
Abstract:
In this paper, we propose an algorithm for the construction of low-rank approximations of the inverse of an operator given in low-rank tensor format. The construction relies on an updated greedy algorithm for the minimization of a suitable distance to the inverse operator. It provides a sequence of approximations that are defined as the projections of the inverse operator in an increasing sequence…
▽ More
In this paper, we propose an algorithm for the construction of low-rank approximations of the inverse of an operator given in low-rank tensor format. The construction relies on an updated greedy algorithm for the minimization of a suitable distance to the inverse operator. It provides a sequence of approximations that are defined as the projections of the inverse operator in an increasing sequence of linear subspaces of operators. These subspaces are obtained by the tensorization of bases of operators that are constructed from successive rank-one corrections. In order to handle high-order tensors, approximate projections are computed in low-rank Hierarchical Tucker subsets of the successive subspaces of operators. Some desired properties such as symmetry or sparsity can be imposed on the approximate inverse operator during the correction step, where an optimal rank-one correction is searched as the tensor product of operators with the desired properties. Numerical examples illustrate the ability of this algorithm to provide efficient preconditioners for linear systems in tensor format that improve the convergence of iterative solvers and also the quality of the resulting low-rank approximations of the solution.
△ Less
Submitted 22 April, 2013;
originally announced April 2013.
-
Enhanced controllability of low Reynolds number swimmers in the presence of a wall
Authors:
François Alouges,
Laetitia Giraldi
Abstract:
Swimming, i.e., being able to advance in the absence of external forces by performing cyclic shape changes, is particularly demanding at low Reynolds numbers which is the regime of interest for micro-organisms and micro-robots. We focus on self-propelled stokesian robots composed of assemblies of balls and we prove that the presence of a wall has an effect on their motility. More precisely, we dem…
▽ More
Swimming, i.e., being able to advance in the absence of external forces by performing cyclic shape changes, is particularly demanding at low Reynolds numbers which is the regime of interest for micro-organisms and micro-robots. We focus on self-propelled stokesian robots composed of assemblies of balls and we prove that the presence of a wall has an effect on their motility. More precisely, we demonstrate that a controllable swimmer remains controllable in a half space whereas the reachable set of a non fully controllable one is affected by the presence of a wall.
△ Less
Submitted 3 October, 2012;
originally announced October 2012.
