Search arXivSearch

arXiv subjects

François Alouges

Publications and source records attributed to François Alouges.

At least 19 recordsLinked to original sources

A Fixed-Point Construction of the Elementary Transcendental Functions

We present a unified fixed-point construction of the elementary transcendental functions, encompassing the real exponential, the complex exponential (sine and cosine), and the natural logarithm. Each function is characterized as the unique solution of a duplication identity established through the Banach contraction principle. These foundational identities are $e(2x)=e^2(x)$ for the exponentials, and $\log(x^{2})=2\log x$ for the logarithm. Because a direct iteration of these identities is numerically unstable, owing to local expansiveness at the target, the central idea transfers the analysis to a residual function, on which the operator becomes a strict contraction with an explicit convergence rate. Beyond its theoretical economy, which dispenses with differential equations and power series, this characterization translates into efficient algorithms for the machine evaluation of elementary functions: the underlying framework yields floating-point kernels whose accuracy and iteration depth are governed by the theoretical contraction rate. We also present a computational study showing that, in a throughput-bound vectorized regime, these kernels are competitive with standard production libraries, and in favorable configurations exceed them, with the sine--cosine kernel faster at every tested iteration depth. These implementations operate without lookup tables or memory traffic, an architectural advantage for modern high-performance and energy-efficient computing.

math.CA

The N-link model for slender rods in a viscous fluid: well-posedness and convergence to classical elastohydrodynamics equations

Flexible fibers at the microscopic scale, such as flagella and cilia, play essential roles in biological and synthetic systems. The dynamics of these slender filaments in viscous flows involve intricate interactions between their mechanical properties and hydrodynamic drag. In this paper, considering a 1D, planar, inextensible Euler-Bernoulli rod in a viscous fluid modeled by Resistive Force Theory, we establish the existence and uniqueness of solutions for the $N$-link model, a mechanical model, designed to approximate the continuous filament with rigid segments. Then, we prove the convergence of the $N$-link model's solutions towards the solutions to classical elastohydrodynamics equations of a flexible slender rod. This provides an existence result for the limit model, comparable to those by Mori and Ohm [Nonlinearity, 2023], in a different functional context and with different methods. Due to its mechanical foundation, the discrete system satisfies an energy dissipation law, which serves as one of the main ingredients in our proofs. Our results provide mathematical validation for the discretization strategy that consists in approximating a continuous filament by the mechanical $N$-link model, which does not correspond to a classical approximation of the underlying PDE.

math.AP

Beating of eukaryotic flagella via Hopf bifurcation of a system of stalled molecular motors

The modeling of the beating of cilia and flagella in fluids is a particularly active field of study, given the biological relevance of these organelles. Various mathematical models have been proposed to represent the nonlinear dynamics of flagella, whose motion is powered by the work of molecular motors attached to filaments composing the axoneme. Here, we formulate and solve a nonlinear model of activation based on the sliding feedback mechanism, capturing the chemical and configurational changes of molecular motors driving axonemal motion. This multiscale model bridges microscopic motor dynamics with macroscopic flagellar motion, providing insight into the emergence of oscillatory beating. We validate the framework through linear stability analysis and fully nonlinear numerical simulations, showing the onset of spontaneous oscillations. To make the analysis more comprehensive, we compare our approach with two established sliding feedback models.

cond-mat.soft

Some mathematical models for flagellar activation mechanisms

This paper focuses on studying a model for molecular motors responsible for the bending of the axoneme in the flagella of microorganisms. The model is a coupled system of partial differential equations inspired by J\"ulicher et al. or Camalet, incorporating two rows of molecular motors between microtubules filaments. Existence and uniqueness of a solution is proved, together with the presence of a supercritical Hopf bifurcation. Additionally, numerical simulations are provided to illustrate the theoretical results. A brief study on the generalization to N-rows is also included.

math.NA

A bi-directional low-Reynolds-number swimmer with passive elastic arms

It has been recently shown that it is possible to design simple artificial swimmers at low Reynoldsnumber that possess only one degree of freedom and, nevertheless, can overcome Purcell's celebratedscallop theorem. One of the few examples is given by Montino and DeSimone, Eur. Phys. J. E, vol.38, 2015, who consider the three-sphere Swimmer of Najafi and Golestanian, replacing one active armwith a passive elastic spring. We further generalize this idea by increasing the number of springs andshow that it is possible to invert the swimming direction using the frequency of the single actuatedarm.

cond-mat.soft

A limiting model for a low Reynolds number swimmer with N passive elastic arms

We consider a low Reynolds number artificial swimmer that consists of an active arm followed by $N$ passive springs separated by spheres. This setup generalizes an approach proposed in Montino and DeSimone, Eur. Phys. J. E, vol. 38, 2015. We further study the limit as the number of springs tends to infinity and the parameters are scaled conveniently, and provide a rigorous proof of the convergence of the discrete model to the continuous one. Several numerical experiments show the performances of the displacement in terms of the frequency or the amplitude of the oscillation of the active arm.

math.NA

Convergence to line and surface energies in nematic liquid crystal colloids with external magnetic field

We use the Landau-de Gennes energy to describe a particle immersed into nematic liquid crystals with a constant applied magnetic field. We derive a limit energy in a regime where both line and point defects are present, showing quantitatively that the close-to-minimal energy is asymptotically concentrated on lines and surfaces nearby or on the particle. We also discuss regularity of minimizers and optimality conditions for the limit energy.

math.AP

Shapes enhancing the propulsion of multiflagellated helical microswimmers

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.

cond-mat.soft

Polynomial approximations in a generalized Nyman-Beurling criterion

The Nyman-Beurling criterion, equivalent to the Riemann hypothesis (RH), is an approximation problem in the space of square integrable functions on $(0,\infty)$, involving dilations of the fractional part function by factors $\theta_k\in(0,1)$, $k\ge1$. Randomizing the $\theta_k$ generates new structures and criteria. One of them is a sufficient condition for RH that splits into (i) showing that the indicator function can be approximated by convolution with the fractional part, (ii) a control on the coefficients of the approximation. This self-contained paper generalizes conditions (i) and (ii) that involve a $\sigma_0\in(1/2,1)$, and imply $\zeta(\sigma+it)\neq 0$ in the strip $1/2<\sigma\le\sigma_0<1$. We then identify functions for which (i) holds unconditionally, by means of polynomial approximations. This yields in passing a short probabilistic proof of a known consequence of Wiener's Tauberian theorem. In this context, the difficulty for proving RH is then reallocated in (ii), which heavily relies on the corresponding Gram matrices, for which two remarkable structures are obtained. We show that a particular tuning of the approximating sequence leads to a striking simplification of the second Gram matrix, then reading as a block Hankel form.

math.FA

The saturn ring effect in nematic liquid crystals with external field: effective energy and hysteresis

In this work we consider the Landau-de Gennes model for liquid crystals with an external electromagnetic field to model the occurrence of the saturn ring effect under the assumption of rotational equivariance. After a rescaling of the energy, a variational limit is derived. Our analysis relies on precise estimates around the singularities and the study of a radial auxiliary problem in regions, where a continuous director field exists. Studying the limit problem, we explain the transition between the dipole and saturn ring configuration and the occurrence of a hysteresis phenomenon, giving a rigorous explanation of what was conjectured previously by [H. Stark, Eur. Phys. J. B 10, 311-321 (1999)].

math.AP

Parking 3-sphere swimmer II. The long arm asymptotic regime

The paper carries on our previous investigations on the complementary version of Purcell's rotator: a low-Reynolds-number swimmer composed of three balls of equal radii. In the asymptotic regime of very long arms, the Stokes induced governing dynamics is derived and then experimented in the context of energy minimizing self-propulsion characterized in the first part of the paper.

math.OC

New preconditioners for Laplace and Helmholtz integral equations on open curves: Analytical framework and Numerical results

The Helmholtz wave scattering problem by screens in 2D can be recast into first-kind integral equations which lead to ill-conditioned linear systems after discretization. We introduce two new preconditioners, in the form of square-roots of local operators respectively for the corresponding problems with Dirichlet and Neumann conditions on the arc. They generalize the so-called "analytical" preconditioners available for Lipschitz scatterers. We introduce a functional setting adapted to the singularity of the problem and enabling the analysis of those preconditioners. The efficiency of the method is demonstrated on several numerical examples.

math.NA

Stochastic homogenization of the Landau-Lifshitz-Gilbert equation

Following the ideas of V. V. Zhikov and A. L. Pyatnitski, and more precisely the stochastic two-scale convergence, this paper establishes a homogenization theorem in a stochastic setting for two nonlinear equations : the equation of harmonic maps into the sphere and the Landau-Lifschitz equation. These equations have strong nonlinear features, in particular, in general their solutions are not unique.

math.AP

Energy-optimal strokes for multi-link microswimmers: Purcell's loops and Taylor's waves reconciled

Micron-scale swimmers move in the realm of negligible inertia, dominated by viscous drag forces. In this paper, we formulate the leading-order dynamics of a slender multi-link (N-link) microswimmer assuming small-amplitude undulations about its straight configuration. The energy-optimal stroke to achieve a given prescribed displacement in a given time period is obtained as the largest eigenvalue solution of a constrained optimal control problem. Remarkably, the optimal stroke is an ellipse lying within a two-dimensional plane in the (N-1)-dimensional space of joint angles, where N can be arbitrarily large. For large N, the optimal stroke is a traveling wave of bending, modulo edge effects. If the number of shape variables is small, we can consider the same problem when the prescribed displacement in one time period is large, and not attainable with small variations of the joint angles. The fully nonlinear optimal control problem is solved numerically for the cases N=3 (Purcell's three-link swimmer) and N=5 showing that, as the prescribed displacement becomes small, the optimal solutions obtained using the small-amplitude assumption are recovered. We also show that, when the prescribed displacements become large, the picture is different. For N=3 we recover the non-convex planar loops already known from previous studies. For N=5 we obtain non-planar loops, raising the question of characterizing the geometry of complex high-dimensional loops.

physics.flu-dyn

Purcell magneto-elastic swimmer controlled by an external magnetic field

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.

math.DS

Parking 3-sphere swimmer. I. Energy minimizing strokes

The paper is about the parking 3-sphere swimmer ($\text{sPr}_3$). This is a low-Reynolds number model swimmer composed of three balls of equal radii. The three balls can move along three horizontal axes (supported in the same plane) that mutually meet at the center of $\text{sPr}_3$ with angles of $120^{\circ}$ . The governing dynamical system is introduced and the implications of its geometric symmetries revealed. It is then shown that, in the first order range of small strokes, optimal periodic strokes are ellipses embedded in 3d space, i.e. closed curves of the form $t\in [0,2\pi] \mapsto (\cos t)u + (\sin t)v$ for suitable orthogonal vectors $u$ and $v$ of $\mathbb{R}^3$. A simple analytic expression for the vectors $u$ and $v$ is derived. The results of the paper are used in a second article where the real physical dynamics of $\text{sPr}_3$ is analyzed in the asymptotic range of very long arms.

math.OC

Cell averaging two-scale convergence: Applications to periodic homogenization

The aim of the paper is to introduce an alternative notion of two-scale convergence which gives a more natural modeling approach to the homogenization of partial differential equations with periodically oscillating coefficients: while removing the bother of the admissibility of test functions, it nevertheless simplifies the proof of all the standard compactness results which made classical two-scale convergence very worthy of interest: bounded sequences in $L^2_{\sharp}[Y,L^2(\Omega)]$ and $L^2_{\sharp}[Y,H^1(\Omega)]$ are proven to be relatively compact with respect to this new type of convergence. The strengths of the notion are highlighted on the classical homogenization problem of linear second-order elliptic equations for which first order boundary corrector-type results are also established. Eventually, possible weaknesses of the method are pointed out on a nonlinear problem: the weak two-scale compactness result for $\mathbb{S}^2$-valued stationary harmonic maps.

math.AP

Homogenization of Composite Ferromagnetic Materials

Nowadays, nonhomogeneous and periodic ferromagnetic materials are the subject of a growing interest. Actually such periodic configurations often combine the attributes of the constituent materials, while sometimes, their properties can be strikingly different from the properties of the different constituents. These periodic configurations can be therefore used to achieve physical and chemical properties difficult to achieve with homogeneous materials. To predict the magnetic behavior of such composite materials is of prime importance for applications. The main objective of this paper is to perform, by means of Gamma-convergence and two-scale convergence, a rigorous derivation of the homogenized Gibbs-Landau free energy functional associated to a composite periodic ferromagnetic material, i.e. a ferromagnetic material in which the heterogeneities are periodically distributed inside the ferromagnetic media. We thus describe the Gamma-limit of the Gibbs-Landau free energy functional, as the period over which the heterogeneities are distributed inside the ferromagnetic body shrinks to zero.

math.AP