arXiv subjects

Alexandre Munnier

Publications and source records attributed to Alexandre Munnier.

16 recordsLinked to original sources

arXiv2023

Reconstruction of obstacles in a Stokes flow as a shape-from-moments problem

We address the classical inverse problem of recovering the position and shape of obstacles immersed in a planar Stokes flow using boundary measurements. We prove that this problem can be transformed into a shape-from-moments problem to which ad hoc reconstruction methods can be applied. The effectiveness of this approach is confirmed by numerical tests that show significant improvements over those available in the literature to date.

math.NA↗

arXiv2023

Invertibility criteria for the biharmonic single-layer potential

While the single-layer operator for the Laplacian is well understood, questions remain concerning the single-layer operator for the Bilaplacian, particularly with regard to invertibility issues linked with degenerate scales. In this article, we provide simple sufficient conditions ensuring this invertibility for a wide range of problems.

math.AP↗

arXiv2022

Square integrable surface potentials on non-smooth domains and application to the Laplace equation in $L^2$

Motivated by applications in fluid dynamics involving the harmonic Bergman projection we aim at extending the theory of single and double layer potentials (well documented for functions with $H^1_{\ell oc}$ regularity) to locally square integrable functions. Having in mind numerical simulations in which functions are usually defined on a polygonal mesh, we wish this theory to cover the cases of non-smooth domains (i.e.with Lipschitz continuous or polygonal boundaries).

math.AP↗

arXiv2020

Asymptotic limit for the Stokes and Navier-Stokes problems in a planar domain with a vanishing hole

We show that the eigenvalues of the Stokes operator in a domain with a small hole converge to the eigenvalues of the Stokes operator in the whole domain, when the diameter of the hole tends to 0. The convergence of the eigenspaces and the convergence of the Stokes semigroup are also established. Concerning the Navier--Stokes equations, we prove that the vorticity of the solution in the perforated domain converges as the hole shrinks to a point $r$ to the vorticity of the solution in the punctured domain (i.e. the whole domain with the point $r$ removed). The main ingredients of the analysis are a suitable decomposition of the vorticity space, the formalism elaborated in [7] and some basics of potential theory.

math.AP↗

arXiv2019

Dynamics of rigid bodies in a two dimensional incompressible perfect fluid

We consider the motion of several rigid bodies immersed in a two-dimensional incompress-ible perfect fluid, the whole system being bounded by an external impermeable fixed boundary. The fluid motion is described by the incompressible Euler equations and the motion of the rigid bodies is given by Newton's laws with forces due to the fluid pressure. We prove that, for smooth solutions, Newton's equations can be recast as a second-order ODE for the degrees of freedom of the rigid bodies with coefficients depending on the fluid vorticity and on the circulations around the bodies, but not anymore on the fluid pressure. This reformulation highlights geodesic aspects linked to the added mass effect, gyroscopic features generalizing the Kutta-Joukowski-type lift force, including body-body interactions through the potential flows induced by the bodies' motions, body-body interactions through the irrotational flows induced by the bodies' circulations, and interactions between the bodies and the fluid vorticity.

math.AP↗

arXiv2018

Vorticity and stream function formulations for the 2D Navier-Stokes equations in a bounded domain

The main purpose of this work is to provide a Hilbertian functional framework for the analysis of the planar Navier-Stokes (NS) equations either in vorticity or in stream function formulation. The fluid is assumed to occupy a bounded possibly multiply connected domain. The velocity field satisfies either homogeneous (no-slip boundary conditions) or prescribed Dirichlet boundary conditions. We prove that the analysis of the 2D Navier-Stokes equations can be carried out in terms of the so-called nonprimitive variables only (vorticity field and stream function) without resorting to the classical NS theory (stated in primitive variables, i.e. velocity and pressure fields). Both approaches (in primitive and nonprimitive variables) are shown to be equivalent for weak (Leray) and strong (Kato) solutions. Explicit Bernoulli-like formulas are derived and allow recovering the pressure field from the vorticity fields or the stream function. In the last section, the functional framework described earlier leads to a simplified rephrasing of the vorticity dynamics, as introduced by Maekawa in [52]. At this level of regularity, the vorticity equation splits into a coupling between a parabolic and an elliptic equation corresponding respectively to the non-harmonic and harmonic parts of the vorticity equation. By exploiting this structure it is possible to prove new existence and uniqueness results, as well as the exponential decay of the palinstrophy (that is, loosely speaking, the $H^1$ norm of the vorticity) for large time, an estimate which was not known so far.

math.AP↗

arXiv2018

Calder\'on cavities inverse problem as a shape-from-moments problem

In this paper, we address a particular case of Calder\'on's (or conductivity) inverse problem in dimension two, namely the case of a homogeneous background containing a finite number of cavities (i.e. heterogeneities of infinitely high conductivities). We aim to recover the location and the shape of the cavities from the knowledge of the Dirichlet-to-Neumann (DtN) map of the problem. The proposed reconstruction method is non iterative and uses two main ingredients. First, we show how to compute the so-called generalized P\'olia-Szeg\"o tensors (GPST) of the cavities from the DtN of the cavities. Secondly, we show that the obtained shape from GPST inverse problem can be transformed into a shape from moments problem, for some particular configurations. However, numerical results suggest that the reconstruction method is efficient for arbitrary geometries.

math.AP↗

arXiv2015

Conformal mapping for cavity inverse problem: an explicit reconstruction formula

In this paper, we address a classical case of the Calder\'on (or conductivity) inverse problem in dimension two. We aim to recover the location and the shape of a single cavity $\omega$ (with boundary $\gamma$) contained in a domain $\Omega$ (with boundary $\Gamma$) from the knowledge of the Dirichlet-to-Neumann (DtN) map $\Lambda_\gamma: f \longmapsto \partial_n u^f|_{\Gamma}$, where $u^f$ is harmonic in $\Omega\setminus\overline{\omega}$, $u^f|_{\Gamma}=f$ and $u^f|_{\gamma}=c^f$, $c^f$ being the constant such that $\int_{\gamma}\partial_n u^f\,{\rm d}s=0$. We obtain an explicit formula for the complex coefficients $a_m$ arising in the expression of the Riemann map $z\longmapsto a_1 z + a_0 + \sum_{m\leqslant -1} a_m z^{m}$ that conformally maps the exterior of the unit disk onto the exterior of $\omega$. This formula is derived by using two ingredients: a new factorization result of the DtN map and the so-called generalized P\'olia-Szeg\"o tensors (GPST) of the cavity. As a byproduct of our analysis, we also prove the analytic dependence of the coefficients $a_m$ with respect to the DtN. Numerical results are provided to illustrate the efficiency and simplicity of the method.

math.AP↗

arXiv2014

Asymptotic analysis of a Neumann problem in a domain with cusp. Application to the collision problem of rigid bodies in a perfect fluid

We study a two dimensional collision problem for a rigid solid immersed in a cavity filled with a perfect fluid. We are led to investigate the asymptotic behavior of the Dirichlet energy associated to the solution of a Laplace Neumann problem as the distance $\varepsilon>0$ between the solid and the cavity's bottom tends to zero. Denoting by $α>0$ the tangency exponent at the contact point, we prove that the solid always reaches the cavity in finite time, but with a non zero velocity for $α<2$ (real shock case), and with null velocity for $α\geqslant 2$ (smooth landing case). Our proof is based on a suitable change of variables sending to infinity the cusp singularity at the contact. More precisely, for every $\varepsilon\geqslant 0$, we transform the Laplace Neumann problem into a generalized Neumann problem set on a domain containing a horizontal strip $]0,\ell_\varepsilon[\times ]0,1[$, where $\ell_\varepsilon\to +\infty$.

math.AP↗

arXiv2014

Optimal Strokes for Driftless Swimmers: A General Geometric Approach

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.

math.OC↗

arXiv2014

Point vortex dynamics as zero-radius limit of the motion of a rigid body in an irrotational fluid

The point vortex system is usually considered as an idealized model where the vorticity of an ideal incompressible two-dimensional fluid is concentrated in a finite number of moving points. In the case of a single vortex in an otherwise irrotational ideal fluid occupying a bounded and simply-connected two-dimensional domain the motion is given by the so-called Kirchhoff-Routh velocity which depends only on the domain. The main result of this paper establishes that this dynamics can also be obtained as the limit of the motion of a rigid body immersed in such a fluid when the body shrinks to a massless point particle with fixed circulation. The rigid body is assumed to be only accelerated by the force exerted by the fluid pressure on its boundary, the fluid velocity and pressure being given by the incompressible Euler equations, with zero vorticity. The circulation of the fluid velocity around the particle is conserved as time proceeds according to Kelvin's theorem and gives the strength of the limit point vortex. We also prove that in the different regime where the body shrinks with a fixed mass the limit dynamics is governed by a second-order differential equation involving a Kutta-Joukowski-type lift force.

math.AP↗

arXiv2012

Controllability of 3D Low Reynolds Swimmers

In this article, we consider a swimmer (i.e. a self-deformable body) immersed in a fluid, the flow of which is governed by the stationary Stokes equations. This model is relevant for studying the locomotion of microorganisms or micro robots for which the inertia effects can be neglected. Our first main contribution is to prove that any such microswimmer has the ability to track, by performing a sequence of shape changes, any given trajectory in the fluid. We show that, in addition, this can be done by means of arbitrarily small body deformations that can be superimposed to any preassigned sequence of macro shape changes. Our second contribution is to prove that, when no macro deformations are prescribed, tracking is generically possible by means of shape changes obtained as a suitable combination of only four elementary deformations. Eventually, still considering finite dimensional deformations, we state results about the existence of optimal swimming strategies for a wide class of cost functionals.

math.AP↗

arXiv2011

Generic Controllability of 3D Swimmers in a Perfect Fluid

We address the problem of controlling a dynamical system governing the motion of a 3D weighted shape changing body swimming in a perfect fluid. The rigid displacement of the swimmer results from the exchange of momentum between prescribed shape changes and the flow, the total impulse of the fluid-swimmer system being constant for all times. We prove the following tracking results: (i) Synchronized swimming: Maybe up to an arbitrarily small change of its density, any swimmer can approximately follow any given trajectory while, in addition, undergoing approximately any given shape changes. In this statement, the control consists in arbitrarily small superimposed deformations; (ii) Freestyle swimming: Maybe up to an arbitrarily small change of its density, any swimmer can approximately tracks any given trajectory by combining suitably at most five basic movements that can be generically chosen (no macro shape changes are prescribed in this statement).

math.OC↗

arXiv2010

Generalized Scallop Theorem for Linear Swimmers

In this article, we are interested in studying locomotion strategies for a class of shape-changing bodies swimming in a fluid. This class consists of swimmers subject to a particular linear dynamics, which includes the two most investigated limit models in the literature: swimmers at low and high Reynolds numbers. Our first contribution is to prove that although for these two models the locomotion is based on very different physical principles, their dynamics are similar under symmetry assumptions. Our second contribution is to derive for such swimmers a purely geometric criterion allowing to determine wether a given sequence of shape-changes can result in locomotion. This criterion can be seen as a generalization of Purcell's scallop theorem (stated in Purcell (1977)) in the sense that it deals with a larger class of swimmers and address the complete locomotion strategy, extending the usual formulation in which only periodic strokes for low Reynolds swimmers are considered.

math-ph↗

arXiv2010

Detection of a Moving Rigid Solid in a Perfect Fluid

In this paper, we consider a moving rigid solid immersed in a potential fluid. The fluid-solid system fills the whole two dimensional space and the fluid is assumed to be at rest at infinity. Our aim is to study the inverse problem, initially introduced in [3], that consists in recovering the position and the velocity of the solid assuming that the potential function is known at a given time. We show that this problem is in general ill-posed by providing counterexamples for which the same potential corresponds to different positions and velocities of a same solid. However, it is also possible to find solids having a specific shape, like ellipses for instance, for which the problem of detection admits a unique solution. Using complex analysis, we prove that the well-posedness of the inverse problem is equivalent to the solvability of an infinite set of nonlinear equations. This result allows us to show that when the solid enjoys some symmetry properties, it can be partially detected. Besides, for any solid, the velocity can always be recovered when both the potential function and the position are supposed to be known. Finally, we prove that by performing continuous measurements of the fluid potential over a time interval, we can always track the position of the solid.

math.AP↗

arXiv2009

On the locomotion and control of a self-propelled shape-changing body in a fluid

In this paper we study the locomotion of a shape-changing body swimming in a two-dimensional perfect fluid of infinite extent. The shape-changes are prescribed as functions of time satisfying constraints ensuring that they result from the work of internal forces only: conditions necessary for the locomotion to be termed self-propelled. The net rigid motion of the body results from the exchange of momentum between these shape-changes and the surrounding fluid. The aim of this paper is several folds: First, it contains a rigorous frame- work for the study of animal locomotion in fluid. Our model differs from previous ones mostly in that the number of degrees of freedom related to the shape-changes is infinite. . Second, we are interested in making clear the connection between shape- changes and internal forces. We prove that, when the number of degrees of freedom relating to the shape-changes is finite, both choices are actually equivalent in the sense that there is a one-to-one relation between shape-changes and internal forces. Third, we show how the control problem consisting in associating to each shape-change the resulting trajectory of the swimming body can be suitably treated in the frame of geometric control theory. For any given shape-changes producing a net displacement in the fluid (say, moving forward), we prove that there exists other shape-changes arbitrarily close to the previous ones, that leads to a completely different motion (for instance, moving backward): This phenomenon will be called Moonwalking. Most of our results are illustrated by numerical examples.

math.OC↗