Search arXivSearch

arXiv subjects

Marc Bonnet

Publications and source records attributed to Marc Bonnet.

18 recordsLinked to original sources

Well-posed homogenized strain-gradient models for linear elastodynamics and elastostatics in arbitrary periodic media

This work develops well-posed homogenized strain-gradient models for linear elastostatics and elastodynamics in periodic media, with a primary focus on elastic wave propagation. Using the classical two-scale asymptotic expansion method, we carry out second-order periodic homogenization for media in $\mathbb{R}^d$ ($d = 2, 3$), with no restriction on the periodicity cell geometry or material distribution. Reciprocity identities applied to suitably chosen pairs of cell solutions provide alternative expressions for the effective stiffness and inertia tensors arising at the leading, first and second orders, substantially reducing the number of cell problems that must actually be solved. Since direct two-scale homogenization beyond leading order generically yields ill-posed effective operators, a Boussinesq-trick procedure is introduced, involving a tunable scalar weight, to recast the resulting fourth-order partial differential equation as a valid strain-gradient elasticity (SGE) model possessing the requisite symmetry, sign-definiteness and coercivity properties. These properties are then used, via the Hille-Yosida theorem, to establish the well-posedness of the corresponding transient initial-value and forced-response problems. Several practically relevant special cases are examined, including centrosymmetric cells, homogeneous mass density and homogeneous elasticity, each yielding simplified model structures. Numerical illustrations on three two-dimensional periodicity cells (square, hexagonal and a non-centrosymmetric chiral lattice) compare the resulting dispersion relations against reference Floquet-Bloch computations and assess transient wave propagation, demonstrating the model's capacity to capture anisotropic and dispersive effects beyond classical elasticity while preserving mathematical well-posedness.

math.AP

A general-purpose global regularization method for 3D volume integral operators

Singular volume integral operators associated with constant-coefficient partial differential operators extend the applicability of potential theory to inhomogeneous problems, for example arising from nonlinearities or variable coefficients. Typically the PDE kernels in these operators give rise to singularities at all $\mathcal{O}(1/h^3)$ volume discretization/evaluation points in a mesh of characteristic size $h$, while the slowly-decaying nature of such kernels give rise to long-range interactions that require coupling to fast summation algorithms. The presented method uses Green's identities to regularize a wide variety of both scalar-valued and vector-valued volume integral operators by use of a certain regularizing volume density interpolant. The analysis shows how the regularizing effect of the interpolant is global in the sense that the interpolation quality increases in an exactly compensatory fashion as the distance to the Green's function singularity decreases. High-order convergence estimates with tabulated simplex quadratures are established, including with exact representation of curved domains.

math.NA

Slip optimization on arbitrary 3D microswimmers: a reduced-dimension and boundary-integral framework

This article presents a computational framework for determining the optimal slip velocity of a microswimmer with arbitrary three-dimensional geometry suspended in a viscous fluid. The objective is to minimize the hydrodynamic power dissipation required to maintain unit speed along the net swimming direction. By exploiting the linearity of the Stokes equations and the Lorentz reciprocal theorem, we derive an explicit linear operator that maps the tangential surface slip velocity to the resulting rigid-body translational and rotational velocities, effectively decoupling the hydrodynamic boundary value problem from the optimization loop. The a priori infinite-dimensional search space for the slip optimization is reduced to the finite dimension $r$ of rigid-body motions by finding an appropriate subspace of the operator's domain. This reduces the PDE-constrained optimization to a low-dimensional programming problem that can be solved at negligible computational cost once the system matrices are assembled. The optimization algorithm requires 2$r$ auxiliary flow problems that are solved numerically using a high-order boundary integral method. We validate the accuracy of the proposed method and present optimal slip profiles and swimming trajectories for a variety of microswimmer shapes. We investigate the effect of some common geometrical symmetries of the swimmer shape on the resulting optimal motion, and in particular present a modified version of the slip optimization algorithm for axisymmetric shapes, where tangential rigid-body velocities may occur

math.NA

Squirmers with arbitrary shape and slip: modeling, simulation, and optimization

We consider arbitrary-shaped microswimmers of spherical topology and propose a framework for expressing their slip velocity in terms of tangential basis functions defined on the boundary of the swimmer using the Helmholtz decomposition. Given a time-independent slip velocity profile, we show that the trajectory followed by the microswimmer is a circular helix. We derive analytical expressions for the translational and rotational velocities of a prolate spheroid swimmer in terms of its Helmholtz decomposition modes and explore the effect of aspect ratio on these rigid body velocities. Then, for a given arbitrary swimmer shape of spherical topology, we investigate which slip profile minimizes the total power loss. A partial minimization is performed in which the direction of net motion of the swimmer is prescribed, followed by a global optimization procedure in which the best net motion direction is determined. The optimization results suggest that the competition between linear and rotational optimal motion is linked to symmetries in the shape of the microswimmer.

physics.flu-dyn

On the constitutive behavior of linear viscoelastic solids under the plane stress condition

Motivated by the recent experimental and analytical developments enabling high-fidelity material characterization of (heterogeneous) sheet-like solid specimens, we seek to elucidate the constitutive behavior of linear viscoelastic solids under the plane stress condition. More specifically, our goal is to expose the relationship between the plane-stress viscoelastic constitutive parameters and their (native) ``bulk'' counterparts. To facilitate the sought reduction of the three-dimensional (3D) constitutive behavior, we deploy the concept of projection operators and focus on the frequency-domain behavior by resorting to the Fourier transform and the mathematical framework of tempered distributions, which extends the Fourier analysis to functions (common in linear viscoelasticity) for which Fourier integrals are not convergent. In the analysis, our primary focus is the on class of linear viscoelastic solids whose 3D rheological behavior is described by a set of constant-coefficient ordinary differential equations, each corresponding to a generic arrangement of ``springs'' and ``dashpots''. On reducing the general formulation to the isotropic case, we proceed with an in-depth investigation of viscoelastic solids whose bulk and shear modulus each derive from a suite of classical ``spring and dashpot'' configurations. To enable faithful reconstruction of the 3D constitutive parameters of natural and engineered solids via (i) thin-sheet testing and (ii) applications of the error-in-constitutive-relation approach to the inversion of (kinematic) sensory data, we also examine the reduction of thermodynamic potentials describing linear viscoelasticity under the plane stress condition. The analysis is complemented by a set of analytical and numerical examples, illustrating the effect on the plane stress condition on the behavior of isotropic and anisotropic viscoelastic solids.

cond-mat.soft

Shape optimization of slip-driven axisymmetric microswimmers

In this work, we develop a computational framework that aims at simultaneously optimizing the shape and the slip velocity of an axisymmetric microswimmer suspended in a viscous fluid. We consider shapes of a given reduced volume that maximize the swimming efficiency, i.e., the (size-independent) ratio of the power loss arising from towing the rigid body of the same shape and size at the same translation velocity to the actual power loss incurred by swimming via the slip velocity. The optimal slip and efficiency (with shape fixed) are here given in terms of two Stokes flow solutions, and we then establish shape sensitivity formulas of adjoint-solution that provide objective function derivatives with respect to any set of shape parameters on the sole basis of the above two flow solutions. Our computational treatment relies on a fast and accurate boundary integral solver for solving all Stokes flow problems. We validate our analytic shape derivative formulas via comparisons against finite-difference gradient evaluations, and present several shape optimization examples.

math.OC

Error-in-constitutive-relation (ECR) framework for the characterization of linear viscoelastic solids

We develop an error-in-constitutive-relation (ECR) approach toward the full-field characterization of linear viscoelastic solids described within the framework of standard generalized materials. To this end, we formulate the viscoelastic behavior in terms of the (Helmholtz) free energy potential and a dissipation potential. Assuming the availability of full-field interior kinematic data, the constitutive mismatch between the kinematic quantities (strains and internal thermodynamic variables) and their ``stress'' counterparts (Cauchy stress tensor and that of thermodynamic tensions), commonly referred to as the ECR functional, is established with the aid of Legendre-Fenchel gap functionals linking the thermodynamic potentials to their energetic conjugates. We then proceed by introducing the modified ECR (MECR) functional as a linear combination between its ECR parent and the kinematic data misfit, computed for a trial set of constitutive parameters. The affiliated stationarity conditions then yield two coupled evolution problems, namely (i) the forward evolution problem for the (trial) displacement field driven by the constitutive mismatch, and (ii) the backward evolution problem for the adjoint field driven by the data mismatch. This allows us to establish compact expressions for the MECR functional and its gradient with respect to the viscoelastic constitutive parameters. For generality, the formulation is established assuming both time-domain (i.e. transient) and frequency-domain data. We illustrate the developments in a two-dimensional setting by pursuing the multi-frequency MECR reconstruction of (i) piecewise-homogeneous standard linear solid, and (b) smoothly-varying Jeffreys viscoelastic material.

cond-mat.soft

Construction of polynomial particular solutions of linear constant-coefficient partial differential equations

This paper introduces general methodologies for constructing closed-form solutions to linear constant-coefficient partial differential equations (PDEs) with polynomial right-hand sides in two and three spatial dimensions. Polynomial solutions have recently regained significance in the development of numerical techniques for evaluating volume integral operators and also have potential applications in certain kinds of Trefftz finite element methods. The equations covered in this work include the isotropic and anisotropic Poisson, Helmholtz, Stokes, linearized Navier-Stokes, stationary advection-diffusion, elastostatic equations, as well as the time-harmonic elastodynamic and Maxwell equations. Several solutions to complex PDE systems are obtained by a potential representation and rely on the Helmholtz or Poisson solvers. Some of the cases addressed, namely Stokes flow, Maxwell's equations and linearized Navier-Stokes equations, naturally incorporate divergence constraints on the solution. This article provides a generic pattern whereby solutions are constructed by leveraging solutions of the lowest-order part of the partial differential operator (PDO). With the exception of anisotropic material tensors, no matrix inversion or linear system solution is required to compute the solutions. This work is accompanied by a freely-available Julia library, \texttt{ElementaryPDESolutions.jl}, which implements the proposed methodology in an efficient and user-friendly format.

math.NA

Fast, high-order numerical evaluation of volume potentials via polynomial density interpolation

This article presents a high-order accurate numerical method for the evaluation of singular volume integral operators, with attention focused on operators associated with the Poisson and Helmholtz equations in two dimensions. Following the ideas of the density interpolation method for boundary integral operators, the proposed methodology leverages Green's third identity and a local polynomial interpolant of the density function to recast the volume potential as a sum of single- and double-layer potentials and a volume integral with a regularized (bounded or smoother) integrand. The layer potentials can be accurately and efficiently evaluated everywhere in the plane by means of existing methods (e.g. the density interpolation method), while the regularized volume integral can be accurately evaluated by applying elementary quadrature rules. Compared to straightforwardly computing corrections for every singular and nearly-singular volume target, the method significantly reduces the amount of required specialized quadrature by pushing all singular and near-singular corrections to near-singular layer-potential evaluations at target points in a small neighborhood of the domain boundary. Error estimates for the regularization and quadrature approximations are provided. The method is compatible with well-established fast algorithms, being both efficient not only in the online phase but also to set-up. Numerical examples demonstrate the high-order accuracy and efficiency of the proposed methodology; applications to inhomogeneous scattering are presented.

math.NA

Shape optimization of peristaltic pumps transporting rigid particles in Stokes flow

This paper presents a computational approach for finding the optimal shapes of peristaltic pumps transporting rigid particles in Stokes flow. In particular, we consider shapes that minimize the rate of energy dissipation while pumping a prescribed volume of fluid, number of particles and/or distance traversed by the particles over a set time period. Our approach relies on a recently developed fast and accurate boundary integral solver for simulating multiphase flows through periodic geometries of arbitrary shapes. In order to fully capitalize on the dimensionality reduction feature of the boundary integral methods, shape sensitivities must ideally involve evaluating the physical variables on the particle or pump boundaries only. We show that this can indeed be accomplished owing to the linearity of Stokes flow. The forward problem solves for the particle motion in a slip-driven pipe flow while the adjoint problems in our construction solve quasi-static Dirichlet boundary value problems backwards in time, retracing the particle evolution. The shape sensitivities simply depend on the solution of one forward and one adjoint (for each shape functional) problems. We validate these analytic shape derivative formulas by comparing against finite-difference based gradients and present several examples showcasing optimal pump shapes under various constraints.

math.OC

Optimal Ciliary Locomotion of Axisymmetric Microswimmers

Many biological microswimmers locomote by periodically beating the densely-packed cilia on their cell surface in a wave-like fashion. While the swimming mechanisms of ciliated microswimmers have been extensively studied both from the analytical and the numerical point of view, the optimization of the ciliary motion of microswimmers has received limited attention, especially for non-spherical shapes. In this paper, using an envelope model for the microswimmer, we numerically optimize the ciliary motion of a ciliate with an arbitrary axisymmetric shape. The forward solutions are found using a fast boundary integral method, and the efficiency sensitivities are derived using an adjoint-based method. Our results show that a prolate microswimmer with a 2:1 aspect ratio shares similar optimal ciliary motion as the spherical microswimmer, yet the swimming efficiency can increase two-fold. More interestingly, the optimal ciliary motion of a concave microswimmer can be qualitatively different from that of the spherical microswimmer, and adding a constraint to the ciliary length is found to improve, on average, the efficiency for such swimmers.

cond-mat.soft

General-purpose kernel regularization of boundary integral equations via density interpolation

This paper presents a general high-order kernel regularization technique applicable to all four integral operators of Calder\'on calculus associated with linear elliptic PDEs in two and three spatial dimensions. Like previous density interpolation methods, the proposed technique relies on interpolating the density function around the kernel singularity in terms of solutions of the underlying homogeneous PDE, so as to recast singular and nearly singular integrals in terms of bounded (or more regular) integrands. We present here a simple interpolation strategy which, unlike previous approaches, does not entail explicit computation of high-order derivatives of the density function along the surface. Furthermore, the proposed approach is kernel- and dimension-independent in the sense that the sought density interpolant is constructed as a linear combination of point-source fields, given by the same Green's function used in the integral equation formulation, thus making the procedure applicable, in principle, to any PDE with known Green's function. For the sake of definiteness, we focus here on Nystr\"om methods for the (scalar) Laplace and Helmholtz equations and the (vector) elastostatic and time-harmonic elastodynamic equations. The method's accuracy, flexibility, efficiency, and compatibility with fast solvers are demonstrated by means of a variety of large-scale three-dimensional numerical examples.

math.NA

Optimal slip velocities of micro-swimmers with arbitrary axisymmetric shapes

This article presents a computational approach for determining the optimal slip velocities on any given shape of an axisymmetric micro-swimmer suspended in a viscous fluid. The objective is to minimize the power loss to maintain a target swimming speed, or equivalently to maximize the efficiency of the micro-swimmer. Owing to the linearity of the Stokes equations governing the fluid motion, we show that this PDE-constrained optimization problem reduces to a simpler quadratic optimization problem, whose solution is found using a high-order accurate boundary integral method. We consider various families of shapes parameterized by the reduced volume and compute their swimming efficiency. {Among those, prolate spheroids were found to be the most efficient micro-swimmer shapes for a given reduced volume. We propose a simple shape-based scalar metric that can determine whether the optimal slip on a given shape makes it a pusher, a puller, or a neutral swimmer.}

physics.flu-dyn

Shape optimization of Stokesian peristaltic pumps using boundary integral methods

This article presents a new boundary integral approach for finding optimal shapes of peristaltic pumps that transport a viscous fluid. Formulas for computing the shape derivatives of the standard cost functionals and constraints are derived. They involve evaluating physical variables (traction, pressure, etc.) on the boundary only. By emplyoing these formulas in conjuction with a boundary integral approach for solving forward and adjoint problems, we completely avoid the issue of volume remeshing when updating the pump shape as the optimization proceeds. This leads to significant cost savings and we demonstrate the performance on several numerical examples.

math.OC

Analysis of the error in constitutive equation approach for time-harmonic elasticity imaging

We consider the identification of heterogeneous linear elastic moduli in the context of time-harmonic elastodynamics. This inverse problem is formulated as the minimization of the modified error in constitutive equation (MECE), an energy-based cost functional defined as an weighted additive combination $\mathcal{E}+\kappa\mathcal{D}$ of the error in constitutive equation (ECE) $\mathcal{E}$, expressed using an energy seminorm, and a quadratic error term $\mathcal{D}$ incorporating the kinematical measurements. MECE-based identification are known from existing computational evidence to enjoy attractive properties such as improved convexity, robustness to resonant frequencies, and tolerance to incompletely specified boundary conditions (BCs). The main goal of this work is to develop theoretical foundations, in a continuous setting, allowing to explain and justify some of the aforementioned beneficial properties, in particular addressing the general case where BCs may be underspecified. A specific feature of MECE formulations is that forward and adjoint solutions are governed by a fully coupled system, whose mathematical properties play a fundamental role in the qualitative and computational aspects of MECE minimization. We prove that this system has a unique and stable solution at any frequency, provided data is abundant enough (in a sense made precise therein) to at least compensate for any missing information on BCs. As a result, our formulation leads in such situations to a well-defined solution even though the relevant forward problem is not \emph{a priori} clearly defined. This result has practical implications such as applicability of MECE to partial interior data (with important practical applications including ultrasound elastography), convergence of finite element discretizations and differentiability of the reduced MECE functional. In addition, we establish that usual least squares and pure ECE formulations are limiting cases of MECE formulations for small and large values of $\kappa$, respectively. For the latter case, which corresponds to exact enforcement of kinematic data, we furthermore show that the reduced MECE Hessian is asymptotically positive for any parameter perturbation supported on the measurement region, thereby corroborating existing computational evidence on convexity improvement brought by MECE functionals. Finally, numerical studies that support and illustrate our theoretical findings, including a parameter reconstruction example using interior data, are presented.

math.AP

A Fourier-accelerated volume integral method for elastoplastic contact

The contact of solids with rough surfaces plays a fundamental role in physical phenomena such as friction, wear, sealing, and thermal transfer. However, its simulation is a challenging problem due to surface asperities covering a wide range of length-scales. In addition, non-linear local processes, such as plasticity, are expected to occur even at the lightest loads. In this context, robust and efficient computational approaches are required. We therefore present a novel numerical method, based on integral equations, capable of handling the large discretization requirements of real rough surfaces as well as the non-linear plastic flow occurring below and at the contacting asperities. This method is based on a new derivation of the Mindlin fundamental solution in Fourier space, which leverages the computational efficiency of the fast Fourier transform. The use of this Mindlin solution allows a dramatic reduction of the memory imprint (as the Fourier coefficients are computed on-the-fly), a reduction of the discretization error, and the exploitation of the structure of the functions to speed up computation of the integral operators. We validate our method against an elastic-plastic FEM Hertz normal contact simulation and showcase its ability to simulate contact of rough surfaces with plastic flow.

cond-mat.soft

Analysis of topological derivative as a tool for qualitative identification

The concept of topological derivative has proved effective as a qualitative inversion tool for a wave-based identification of finite-sized objects. Although for the most part, this approach remains based on a heuristic interpretation of the topological derivative, a first attempt toward its mathematical justification was done in Bellis et al. (Inverse Problems 29:075012, 2013) for the case of isotropic media with far field data and inhomogeneous refraction index. Our paper extends the analysis there to the case of anisotropic scatterers and background with near field data. Topological derivative-based imaging functional is analyzed using a suitable factorization of the near fields, which became achievable thanks to a new volume integral formulation recently obtained in Bonnet (J. Integral Equ. Appl. 29:271-295, 2017). Our results include justification of sign heuristics for the topological derivative in the isotropic case with jump in the main operator and for some cases of anisotropic media, as well as verifying its decaying property in the isotropic case with near field spherical measurements configuration situated far enough from the probing region.

math.NA

Discussion of "Second order topological sensitivity analysis" by J. Rocha de Faria et al

The article by J. Rocha de Faria et al. under discussion is concerned with the evaluation of the perturbation undergone by the potential energy of a domain $Ω$ (in a 2-D, scalar Laplace equation setting) when a disk $B_ε$ of small radius $ε$ centered at a given location $\hat{\boldsymbol{x}\inΩ$ is removed from $Ω$, assuming either Neumann or Dirichlet conditions on the boundary of the small `hole' thus created. In each case, the potential energy $ψ(Ω_ε)$ of the punctured domain $Ω_ε=Ω\setminus\B_ε$ is expanded about $ε=0$ so that the first two terms of the perturbation are given. The first (leading) term is the well-documented topological derivative of $ψ$. The article under discussion places, logically, its main focus on the next term of the expansion. However, it contains incorrrect results, as shown in this discussion. In what follows, equations referenced with Arabic numbers refer to those of the article under discussion.

physics.class-ph