Geometry and Topology · SIAM Journal on Numerical Analysis · · cited 114× · DOI ↗ · more like this ·
In this article, we propose a new algorithm for minimizing the energy of a nematic liquid crystal. Based on the equal elastic constants Oseen--Frank model, the problem reduces to finding harmonic minimizing maps that take values into the unit sphere of ${\Bbb R}^{3}$. The convergence of this algorithm is proved in a continuous setting. Then, numerous numerical results that show its efficiency are given.
Computational Theory and Mathematics · Mathematical Models and Methods in Applied Sciences · · cited 109× · DOI ↗ · more like this ·
In this paper we propose a new space and time finite elements discretization of the Landau–Lifshitz equations which may be readily used for numerical computations. We then prove its convergence to a weak solution in the sense given by Alouges and Soyeur or Labbé in the literature.
Computational Theory and Mathematics · ESAIM Control Optimisation and Calculus of Variations · · cited 68× · DOI ↗ · more like this ·
We study a two-dimensional model for micromagnetics, which consists in an energy functional over S2-valued vector fields. Bounded-energy configurations tend to be planar, except in small regions which can be described as vortices (Bloch lines in physics). As the characteristic “exchange-length” tends to 0, they converge to planar divergence-free unit norm vector fields which jump along line singularities. We derive lower bounds for the energy, which are explicit functions of the jumps of the limit. These lower bounds are proved to be optimal and are achieved by one-dimensional profiles, corresponding to Néel walls, if the jump is small enough (less than π/2 in angle), and by two-dimensional profiles, corresponding to cross-tie walls, if the jump is bigger. Thus, it provides an example of a vector-valued phase-transition type problem with an explicit non-one-dimensional energy-minimizing…
Computer Vision and Pattern Recognition · IEEE Transactions on Robotics · · cited 47× · DOI ↗ · more like this ·
In this paper, we consider the control system defined by the rolling of a strictly convex surface S of IR <sub xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">3</sub> on a plane without slipping or spinning. The purpose of this paper is to present the numerical implementation of a constructive planning algorithm for Σ, which is based on a continuation method. The performances of that algorithm, both in robustness and convergence speed, are illustrated through several examples.
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…
Computational Theory and Mathematics · ESAIM Control Optimisation and Calculus of Variations · · cited 25× · DOI ↗ · more like this ·
The study of small magnetic particles has become a very important topic, in particular for the development of technological devices such as those used for magnetic recording. In this field, switching the magnetization inside the magnetic sample is of particular relevance. We here investigate mathematically this problem by considering the full partial differential model of Landau-Lifschitz equations triggered by a uniform (in space) external magnetic field.
Applied Mathematics · Journal of Hyperbolic Differential Equations · · cited 15× · DOI ↗ · more like this ·
For non-conservative hyperbolic systems several definitions of shock waves have been introduced in the literature. In this paper, we propose a new and simple definition in the case of genuinely nonlinear fields. Relying on a vanishing viscosity process we prove the existence of shock curves for viscosity matrix commuting with the matrix of the hyperbolic system. This setting generalizes a recent result by Bianchini and Bressan. Furthermore we prove that all definitions agree to third order near a given state.
Mathematical Physics · Numerical Methods for Partial Differential Equations · · cited 12× · DOI ↗ · more like this ·
Abstract Motivated by questions arising in the theory of superconductivity, we are interested in the study of the fundamental state of the Schrödinger operator with magnetic field in a domain with corners. Although this problem has been extensively studied theoretically, many fewer articles deal with numerical approaches. In this article, we propose numerical experiments based on the finite element method to determine the bottom of the spectrum of the operator. Analyzing the drawbacks of a standard method and the properties of the operator, we propose a natural gauge‐invariant method and provide a few numerical simulations. We furthermore improve the numerical results by coupling the method with a mesh‐refinement technique based on a posteriori error estimates developed by one of the authors. This allows us to look at the monotonicity of the smallest eigenvalue in an angular sector with…
Computational Theory and Mathematics · Advances in Differential Equations · · cited 2× · DOI ↗ · more like this ·
In this paper we study the acoustic properties of a microstructured material such as glass, wool, or foam. In our model, the solid matrix is governed by linear elasticity and the surrounding fluid obeys the Stokes equations. The microstructure is assumed to be periodic at some small scale ${\varepsilon}$ and the viscosity coefficient of the fluid is assumed to be of order ${\varepsilon}^2$. We consider the time-harmonic regime forced by vibrations applied on a part of the boundary. We use the two-scale convergence theory to prove the convergence of the displacements to the solution of a homogeneous problem as the size of the microstructure shrinks to 0.
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(Ω)]$ and $L^2_{\sharp}[Y,H^1(Ω)]$ 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…
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…
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 $θ_k\in(0,1)$, $k\ge1$. Randomizing the $θ_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 $σ_0\in(1/2,1)$, and imply $ζ(σ+it)\neq 0$ in the strip $1/2<σ\leσ_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…
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 num-bers 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. To rest on what has been done in [1] for such systems swimming on R3, 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.
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…
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…
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ülicher 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.
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.
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.
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.
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…
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)].
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.
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.
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.