-
Nonlinear compressive reduced basis approximation for multi-parameter elliptic problem
Authors:
Christophe Prud'Homme,
Yvon Maday,
Hassan Ballout
Abstract:
Reduced basis methods for approximating the solutions of parameter-dependant partial differential equations (PDEs) are based on learning the structure of the set of solutions - seen as a manifold ${\mathcal S}$ in some functional space - when the parameters vary. This involves investigating the manifold and, in particular, understanding whether it is close to a low-dimensional affine space. This l…
▽ More
Reduced basis methods for approximating the solutions of parameter-dependant partial differential equations (PDEs) are based on learning the structure of the set of solutions - seen as a manifold ${\mathcal S}$ in some functional space - when the parameters vary. This involves investigating the manifold and, in particular, understanding whether it is close to a low-dimensional affine space. This leads to the notion of Kolmogorov $N$-width that consists of evaluating to which extent the best choice of a vectorial space of dimension $N$ approximates ${\mathcal S}$ well enough. If a good approximation of elements in ${\mathcal S}$ can be done with some well-chosen vectorial space of dimension $N$ -- provided $N$ is not too large -- then a ``reduced'' basis can be proposed that leads to a Galerkin type method for the approximation of any element in ${\mathcal S}$. In many cases, however, the Kolmogorov $N$-width is not so small, even if the parameter set lies in a space of small dimension yielding a manifold with small dimension. In terms of complexity reduction, this gap between the small dimension of the manifold and the large Kolmogorov $N$-width can be explained by the fact that the Kolmogorov $N$-width is linear while, in contrast, the dependency in the parameter is, most often, non-linear. There have been many contributions aiming at reconciling these two statements, either based on deterministic or AI approaches. We investigate here further a new paradigm that, in some sense, merges these two aspects: the nonlinear compressive reduced basisapproximation. We focus on a simple multiparameter problem and illustrate rigorously that the complexity associated with the approximation of the solution to the parameter dependant PDE is directly related to the number of parameters rather than the Kolmogorov $N$-width.
△ Less
Submitted 4 July, 2024;
originally announced July 2024.
-
A coupled fluid-dynamics-heat transfer model for 3D simulations of the aqueous humor flow in the human eye
Authors:
Thomas Saigre,
Christophe Prud'Homme,
Marcela Szopos,
Vincent Chabannes
Abstract:
Understanding human eye behavior involves intricate interactions between physical phenomena such as heat transfer and fluid dynamics. Accurate computational models are vital for comprehending ocular diseases and therapeutic interventions.This work focuses on modeling and simulating aqueous humor flow in the anterior and posterior chambers of the eye, coupled with overall heat transfer.Aqueous humo…
▽ More
Understanding human eye behavior involves intricate interactions between physical phenomena such as heat transfer and fluid dynamics. Accurate computational models are vital for comprehending ocular diseases and therapeutic interventions.This work focuses on modeling and simulating aqueous humor flow in the anterior and posterior chambers of the eye, coupled with overall heat transfer.Aqueous humor dynamics regulates intraocular pressure, crucial for understanding conditions like glaucoma.Convective effects from temperature disparities also influence this flow.Extending prior research, this work develops a comprehensive three-dimensional computational model to simulate coupled fluid-dynamic-heat transfer model, thus contributing to the understanding of ocular physiology.
△ Less
Submitted 30 April, 2024;
originally announced April 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.
-
Model order reduction and sensitivity analysis for complex heat transfer simulations inside the human eyeball
Authors:
Thomas Saigre,
Christophe Prud'Homme,
Marcela Szopos
Abstract:
Heat transfer in the human eyeball, a complex organ, is significantly influenced by various pathophysiological and external parameters. Particularly, heat transfer critically affects fluid behavior within the eye and ocular drug delivery processes. Overcoming the challenges of experimental analysis, this study introduces a comprehensive three-dimensional mathematical and computational model to sim…
▽ More
Heat transfer in the human eyeball, a complex organ, is significantly influenced by various pathophysiological and external parameters. Particularly, heat transfer critically affects fluid behavior within the eye and ocular drug delivery processes. Overcoming the challenges of experimental analysis, this study introduces a comprehensive three-dimensional mathematical and computational model to simulate the heat transfer in a realistic geometry. Our work includes an extensive sensitivity analysis to address uncertainties and delineate the impact of different variables on heat distribution in ocular tissues. To manage the model's complexity, we employed a very fast model reduction technique with certified sharp error bounds, ensuring computational efficiency without compromising accuracy. Our results demonstrate remarkable consistency with experimental observations and align closely with existing numerical findings in the literature. Crucially, our findings underscore the significant role of blood flowand environmental conditions, particularly in the eye's internal tissues. Clinically, this model offers a promising tool for examining the temperature-related effects of various therapeutic interventions on the eye. Such insights are invaluable for optimizing treatment strategies in ophthalmology.
△ Less
Submitted 2 January, 2024;
originally announced January 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.
-
Uncertainty propagation and sensitivity analysis: results from the Ocular Mathematical Virtual Simulator
Authors:
Christophe Prud'Homme,
Lorenzo Sala,
Marcela Szopos
Abstract:
We propose an uncertainty propagation study and a sensitivity analysis with the Ocular Mathematical Virtual Simulator, a computational and mathematical model that predicts the hemodynamics and biomechanics within the human eye. In this contribution, we focus on the effect of intraocular pressure, retrolaminar tissue pressure and systemic blood pressure on the ocular posterior tissue vasculature. T…
▽ More
We propose an uncertainty propagation study and a sensitivity analysis with the Ocular Mathematical Virtual Simulator, a computational and mathematical model that predicts the hemodynamics and biomechanics within the human eye. In this contribution, we focus on the effect of intraocular pressure, retrolaminar tissue pressure and systemic blood pressure on the ocular posterior tissue vasculature. The combination of a physically-based model with experiments-based stochastic input allows us to gain a better understanding of the physiological system, accounting both for the driving mechanisms and the data variability.
△ Less
Submitted 1 February, 2021;
originally announced February 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.
-
High order finite element simulations for fluid dynamics validated by experimental data from the fda benchmark nozzle model
Authors:
Vincent Chabannes,
Christophe Prud'Homme,
Marcela Szopos,
Ranine Tarabay
Abstract:
The objective of the present work is to construct a sound mathematical, numerical and computational framework relevant to blood flow simulations and to assess it through a careful validation against experimental data. We perform simulations of a benchmark proposed by the FDA for fluid flow in an idealized medical device, under different flow regimes. The results are evaluated using metrics propose…
▽ More
The objective of the present work is to construct a sound mathematical, numerical and computational framework relevant to blood flow simulations and to assess it through a careful validation against experimental data. We perform simulations of a benchmark proposed by the FDA for fluid flow in an idealized medical device, under different flow regimes. The results are evaluated using metrics proposed in the literature and the findings are in very good agreement with the validation experiment.
△ Less
Submitted 11 January, 2017; v1 submitted 9 January, 2017;
originally announced January 2017.
-
Event Selection Rules to Compute Explanations
Authors:
Charles Prud'homme,
Xavier Lorca,
Narendra Jussien
Abstract:
Explanations have been introduced in the previous century. Their interest in reducing the search space is no longer questioned. Yet, their efficient implementation into CSP solver is still a challenge. In this paper, we introduce ESeR, an Event Selection Rules algorithm that filters events generated during propagation. This dynamic selection enables an efficient computation of explanations for int…
▽ More
Explanations have been introduced in the previous century. Their interest in reducing the search space is no longer questioned. Yet, their efficient implementation into CSP solver is still a challenge. In this paper, we introduce ESeR, an Event Selection Rules algorithm that filters events generated during propagation. This dynamic selection enables an efficient computation of explanations for intelligent backtracking al- gorithms. We show the effectiveness of our approach on the instances of the last three MiniZinc challenges
△ Less
Submitted 29 August, 2016;
originally announced August 2016.
-
Mathematical modeling and numerical simulation of a bioreactor landfill using Feel++
Authors:
Guillaume Dollé,
Omar Duran,
Nelson Feyeux,
Emmanuel Frénod,
Matteo Giacomini,
Christophe Prud'homme
Abstract:
In this paper, we propose a mathematical model to describe the functioning of a bioreactor landfill, that is a waste management facility in which biodegradable waste is used to generate methane. The simulation of a bioreactor landfill is a very complex multiphysics problem in which bacteria catalyze a chemical reaction that starting from organic carbon leads to the production of methane, carbon di…
▽ More
In this paper, we propose a mathematical model to describe the functioning of a bioreactor landfill, that is a waste management facility in which biodegradable waste is used to generate methane. The simulation of a bioreactor landfill is a very complex multiphysics problem in which bacteria catalyze a chemical reaction that starting from organic carbon leads to the production of methane, carbon dioxide and water. The resulting model features a heat equation coupled with a non-linear reaction equation describing the chemical phenomena under analysis and several advection and advection-diffusion equations modeling multiphase flows inside a porous environment representing the biodegradable waste. A framework for the approximation of the model is implemented using Feel++, a C++ open-source library to solve Partial Differential Equations. Some heuristic considerations on the quantitative values of the parameters in the model are discussed and preliminary numerical simulations are presented.
△ Less
Submitted 19 November, 2016; v1 submitted 21 January, 2016;
originally announced January 2016.
-
Simultaneous Empirical Interpolation and Reduced Basis method for non-linear problems
Authors:
Cécile Daversin,
Christophe Prud'Homme
Abstract:
In this paper, we focus on the reduced basis methodology in the context of non-linear non-affinely parametrized partial differential equations in which affine decomposition necessary for the reduced basis methodology are not obtained [4, 3]. To deal with this issue, it is now standard to apply the EIM methodology [8, 9] before deploying the Reduced Basis (RB) methodology. However the computational…
▽ More
In this paper, we focus on the reduced basis methodology in the context of non-linear non-affinely parametrized partial differential equations in which affine decomposition necessary for the reduced basis methodology are not obtained [4, 3]. To deal with this issue, it is now standard to apply the EIM methodology [8, 9] before deploying the Reduced Basis (RB) methodology. However the computational cost is generally huge as it requires many finite element solves, hence making it inefficient, to build the EIM approximation of the non-linear terms [9, 1]. We propose a simultaneous EIM Reduced basis algorithm, named SER, that provides a huge computational gain and requires as little as N + 1 finite element solves where N is the dimension of the RB approximation. The paper is organized as follows: we first review the EIM and RB methodologies applied to non-linear problems and identify the main issue, then we present SER and some variants and finally illustrates its performances in a benchmark proposed in [9].
△ Less
Submitted 23 April, 2015;
originally announced April 2015.
-
Combining finite and continuous solvers
Authors:
Jean-Guillaume Fages,
Gilles Chabert,
Charles Prud'homme
Abstract:
Combining efficiency with reliability within CP systems is one of the main concerns of CP developers. This paper presents a simple and efficient way to connect Choco and Ibex, two CP solvers respectively specialised on finite and continuous domains. This enables to take advantage of the most recent advances of the continuous community within Choco while saving development and maintenance resources…
▽ More
Combining efficiency with reliability within CP systems is one of the main concerns of CP developers. This paper presents a simple and efficient way to connect Choco and Ibex, two CP solvers respectively specialised on finite and continuous domains. This enables to take advantage of the most recent advances of the continuous community within Choco while saving development and maintenance resources, hence ensuring a better software quality.
△ Less
Submitted 6 February, 2014;
originally announced February 2014.
-
Simulation of two-fluid flows using a Finite Element/level set method. Application to bubbles and vesicle dynamics
Authors:
Vincent Doyeux,
Yann Guyot,
Vincent Chabannes,
Christophe Prud'Homme,
Mourad Ismail
Abstract:
A new framework for two-fluids flow using a Finite Element/Level Set method is presented and verified through the simulation of the rising of a bubble in a viscous fluid. This model is then enriched to deal with vesicles (which mimic red blood cells mechanical behavior) by introducing a Lagrange multiplier to constrain the inextensibility of the membrane. Moreover, high order polynomial approximat…
▽ More
A new framework for two-fluids flow using a Finite Element/Level Set method is presented and verified through the simulation of the rising of a bubble in a viscous fluid. This model is then enriched to deal with vesicles (which mimic red blood cells mechanical behavior) by introducing a Lagrange multiplier to constrain the inextensibility of the membrane. Moreover, high order polynomial approximation is used to increase the accuracy of the simulations. A validation of this model is finally presented on known behaviors of vesicles under flow such as "tank treading" and tumbling motions.
△ Less
Submitted 2 February, 2012;
originally announced February 2012.