Gait controllability of length-changing slender microswimmers

Basic Information

• Paper ID: 2405.11961
• Title: Gait controllability of length-changing slender microswimmers
• Authors: Paolo Gidoni, Marco Morandotti, Marta Zoppello
• Classification: math.OC (Optimization and Control)
• Publication Date: May 20, 2024
• Paper Link: https://arxiv.org/abs/2405.11961

Abstract

This paper investigates the controllability of four types of two-link microscale swimmers capable of changing link length. The research is conducted within the framework of geometric control theory, introducing the concepts of fiber controllability, full controllability, and gait controllability, with sufficient conditions provided for the latter two. The dynamics of general two-link swimmers are described using drag theory, and different mechanisms for generating link length changes are studied: active deformation, sliding hinges, terminal growth, and telescopic links. Full controllability is demonstrated through gait controllability in all four cases and verified through numerical simulations.

Research Background and Motivation

Importance of the Problem

1. Challenges in Microscale Swimming: In low Reynolds number environments, traditional swimming strategies fail due to the time-reversibility of hydrodynamic forces. Purcell's scallop theorem demonstrates that simple reciprocal motions cannot produce net displacement in viscosity-dominated fluids.
2. Necessity of Symmetry Breaking: To achieve effective microscale swimming, the symmetry of reciprocal motion must be broken. This requires at least two independent control parameters to avoid reciprocal motion and achieve position control.
3. Need for Minimal Models: When designing biomimetic robots, minimal models with the fewest parameters that still capture essential swimmer characteristics are needed, including the ability to move successfully and reach specified final positions.

Limitations of Existing Approaches

Traditional slender microswimmer models are primarily based on controlling curvature or angles, such as N-link swimmers, traveling wave propagation, or helical flagellar rotation. However, these approaches have limitations in controlling degrees of freedom and implementing complex motions.

Research Motivation

This paper proposes enhancing the controllability of fundamentally "uncontrollable" two-link swimmers by enabling them to change their link lengths. This length variation can be achieved through multiple mechanisms, each resulting in different velocity fields and viscous force distributions.

Core Contributions

1. Theoretical Framework: Systematically defines and compares three controllability concepts—fiber controllability, full controllability, and gait controllability—within the geometric control theory framework.
2. Gait Controllability Theory: Proposes sufficient conditions for gait controllability (Theorem 2.10) and proves that gait controllability combined with shape full controllability implies system full controllability.
3. Four Length-Changing Mechanisms: Provides detailed investigation of four distinct link length-changing mechanisms:
   • Stretching links (active longitudinal strain)
   • Sliding links (hinge movement)
   • Growing links (terminal growth)
   • Telescopic links (segmental sliding)
4. Complete Controllability Proofs: Demonstrates full controllability for all four models through Lie bracket calculations and verification of linear independence.
5. Numerical Verification: Validates theoretical results through numerical simulations, demonstrating trajectory behaviors produced by different control loops.

Methodology Details

Problem Formulation

Studies the motion control of two-link microswimmers on a two-dimensional plane, where:

• Inputs: Time derivatives of shape variables (control parameters)
• Outputs: Position and orientation of the swimmer
• Constraints: Self-propulsion constraints (total hydrodynamic force and torque balance to zero)

Theoretical Framework

Geometric Control Theory Setup

System state is described by shape variables $s \in S$ and position variables $g \in G$, where:

• $S$: Shape space (parallelizable n-dimensional manifold)
• $G$: Position space (connected d-dimensional Lie group), for planar motion $G = SE(2)$

The dynamics equation has the form: $\begin{pmatrix} \dot{s} \\ \dot{g} \end{pmatrix} = \begin{pmatrix} f(s,u) \\ g\xi(s,u) \end{pmatrix}$

where $f(s,u) = F(s)u$ and $\xi(s,u) = \sum_{i=1}^m \xi_i(s)u_i$.

Controllability Concepts

1. Full Controllability: Ability to reach any final state from any initial state
2. Fiber Controllability: Given an initial state, ability to reach any final position (without restricting final shape)
3. Gait Controllability: Given an initial state, ability to reach any final position while maintaining initial shape

Physical Modeling

Drag Theory

Hydrodynamic forces are described using drag theory, with linear density force given by: $f = C_\|(v \cdot t)t + C_\perp(v \cdot n)n$

where $C_\|, C_\perp > 0$ are drag coefficients in parallel and perpendicular directions, satisfying $C_\perp/C_\| \in (1,2]$.

Two-Link Swimmer Parameterization

The swimmer consists of two links with hinge position $h_t$, orientation angle $\theta_t$, and opening angle $2\sigma_t$. Points on each link are represented as: $x_t^\pm(\eta) = h_t + \lambda_t^\pm(\eta)e_t^\pm$

where $e_t^\pm = (\cos(\theta_t \pm \sigma_t), \sin(\theta_t \pm \sigma_t))$.

Four Length-Changing Mechanisms

1. Stretching Link Model

• Mechanism: Uniform longitudinal strain along link direction
• Parameters: Deformation gradient $\gamma_t^\pm$ (constant)
• Reference Configuration: $S_t^\pm = [0,1]$
• Control Variables: $\dot{\sigma}_t, \dot{\gamma}_t^+, \dot{\gamma}_t^-$

2. Sliding Link Model

• Mechanism: Inextensible filaments change length distribution through moving hinge
• Constraint: Total length $L$ remains constant
• Reference Configuration: $S_t^+ = [a_t, 0]$, $S_t^- = [-L-a_t, 0]$
• Control Variables: $\dot{\sigma}_t, \dot{a}_t$

3. Growing Link Model

• Mechanism: Material points added/removed at terminal ends
• Reference Configuration: $S_t^\pm = [0, b_t^\pm]$
• Control Variables: $\dot{\sigma}_t, \dot{b}_t^+, \dot{b}_t^-$

4. Telescopic Link Model

• Mechanism: Inner and outer segments slide, resembling telescopic structure
• Reference Configuration: Outer segment $S^\pm = [0,L]$, inner segment $\hat{S}_t^\pm = [\hat{a}_t^\pm, 0]$
• Control Variables: $\dot{\sigma}_t, \dot{\hat{a}}_t^+, \dot{\hat{a}}_t^-$

Experimental Setup

Theoretical Verification Methods

Controllability conditions are verified through Lie bracket calculations:

1. Calculate Lie brackets of control vector fields at specific configuration points (e.g., $\sigma_* = \pi/4$)
2. Verify linear independence of Lie brackets
3. Apply Theorem 2.10 and Corollary 2.12 to prove controllability

Numerical Simulation Parameters

• Initial Conditions: $x_0 = y_0 = \theta_0 = 0$, $\sigma_0 = \pi/4$
• Drag Coefficient Ratio: $C_\perp/C_\| = 2$
• Control Loops: Periodic control sequences defined by formula (2.9)
• Simulation Types:
  • Drift behavior (specific Lie bracket combinations)
  • Quasi-periodic behavior (general control loops)

Experimental Results

Main Theoretical Results

Theorems 4.1-4.4: Full Controllability

All four models are proven to possess full controllability:

1. Stretching Links: Through calculating determinants of Lie brackets $g_4^*, g_5^*, g_6^*$, proving their linear independence
2. Sliding Links: Verifying that Lie bracket combinations generate three-dimensional Lie algebra
3. Growing Links: Similar Lie bracket analysis
4. Telescopic Links: Complete controllability proof

Numerical Simulation Results

Drift Behavior

Net displacement along specific directions achieved through iterating particular control loops:

• Stretching Model: Horizontal translation (Figures 6a, 6c)
• Sliding Model: x-axis drift (Figure 7a)
• Growing Model: Horizontal axis translation (Figure 8a)

Quasi-Periodic Behavior

General control loops $u(t) = (0.1\cos(t), 0.1\sin(t))$ produce bounded quasi-periodic trajectories (Figures 6b, 6d, 7b, 8b).

Key Findings

1. Practicality of Gait Controllability: Gait controllability is an intermediate concept between fiber controllability and full controllability, more suitable for describing swimming behavior with periodic shape changes
2. Geometric Significance of Lie Brackets: Different control loop combinations produce motion in different directions; Lie brackets provide theoretical predictions
3. Equivalence of Mechanisms: Four distinct length-changing mechanisms all achieve the same controllability objectives

Related Work

Microswimmer Research

• N-Link Swimmers: Purcell's three-link swimmer and its generalizations
• Traveling Wave Propagation: Propulsion mechanisms based on bending waves
• Helical Flagella: Rotation-driven swimming strategies
• Bi-Sphere Swimmers: Volume-change-driven motion

Geometric Control Theory Applications

• Chow-Rashevskii Theorem: Provides sufficient conditions for controllability
• Orbit Theorem: Describes manifold structures generated by vector fields
• Lie Bracket Calculations: Analyzes higher-order motion patterns

Soft Robotics

• Active Materials: Hydrogels and magnetorheological elastomers
• Biomimetic Design: Vine robots and root robots
• Isoperimetric Robots: Shape changes under constant perimeter constraints

Conclusions and Discussion

Main Conclusions

1. Theoretical Contribution: Establishes a complete controllability theoretical framework for length-changing microswimmers
2. Practical Significance: All four mechanisms overcome the limitations of Purcell's scallop theorem
3. Design Guidance: Provides theoretical foundation for microscale robot design

Limitations

1. Two-Dimensional Restriction: Research limited to planar motion; three-dimensional cases are more complex
2. Idealized Assumptions: Neglects constraints in actual manufacturing and control
3. Applicability of Drag Theory: May be insufficiently precise in certain geometric configurations
4. Control Implementation: Practical microscale control implementation still faces technical challenges

Future Directions

1. Three-Dimensional Extension: Extend theory to three-dimensional spatial motion
2. Multi-Link Systems: Study N-link length-changing swimmers
3. Experimental Verification: Develop actual microscale prototypes for experimental validation
4. Optimal Control: Seek energy-optimal swimming gaits
5. Environmental Adaptation: Consider effects of complex fluid environments

In-Depth Evaluation

Strengths

1. Theoretical Rigor: Strict mathematical framework based on geometric control theory
2. Completeness: Systematically investigates four distinct length-changing mechanisms
3. Innovation: Introduction of gait controllability concept fills theoretical gaps
4. Practical Value: Provides new strategies for microrobot design

Weaknesses

1. Lack of Experiments: Absence of actual physical experimental verification
2. Complexity: Theoretical derivations are complex; engineering implementation is difficult
3. Assumption Limitations: Multiple simplifying assumptions may affect practical applications
4. Computational Complexity: Lie bracket calculations may become difficult in high-dimensional systems

Impact

1. Academic Contribution: Provides important mathematical tools for microswimmer theory
2. Application Prospects: Potential applications in microrobotics, drug delivery, and other fields
3. Methodological Value: Geometric control theory methods are generalizable to other systems

Applicable Scenarios

1. Microscale Robot Design: Provides theoretical foundation for designing microrobots with length-changing capabilities
2. Biological Swimming Research: Understanding biological swimming mechanisms
3. Control System Design: Provides analysis methods for complex nonlinear control systems
4. Soft Robotics: Guides motion control strategies for soft robots

References

The paper cites 43 relevant references covering multiple fields including geometric control theory, microswimmer dynamics, drag theory, and soft robotics, providing a solid theoretical foundation for the research.