A nonlocal curve evolution for an immersed elastic filament: global existence and convergence to resistive force theory
Pith reviewed 2026-05-10 17:18 UTC · model grok-4.3
The pith
Global well-posedness holds for a nonlocal curve evolution of an elastic filament in Stokes flow, with convergence to resistive force theory as radius shrinks to zero.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We show global well-posedness for the curve evolution in the natural energy space. This loosely suggests that the full evolution may be globally well-posed if the large-scale geometry is controlled. Furthermore, we prove convergence to resistive force theory dynamics as ε→0, which illustrates how resistive force theory emerges from more detailed models.
What carries the argument
The pseudodifferential force-to-velocity operator that encodes fluid effects on the filament centerline and interpolates between resistive force theory at low wavenumbers and a Stokes boundary-value problem at high wavenumbers.
If this is right
- Solutions to the nonlocal curve evolution exist globally in time when posed in the natural energy space.
- The filament dynamics converge to those of resistive force theory in the limit as the cross-sectional radius ε tends to zero.
- The convergence illustrates the emergence of resistive force theory from a more detailed fluid-structure interaction model.
- The global well-posedness result loosely indicates that the corresponding full three-dimensional free-boundary problem remains globally well-posed provided large-scale geometry is controlled.
Where Pith is reading between the lines
- Quantitative error estimates between the nonlocal model and resistive force theory could be derived for any fixed positive ε using the established convergence.
- Numerical methods built on the nonlocal operator may inherit long-time stability from the global existence theorem.
- The operator's interpolation between low- and high-wavenumber regimes may extend to other immersed slender-body problems such as flexible fibers or cilia.
- Establishing control on large-scale geometry would allow the same energy methods to treat filament configurations with nontrivial topology.
Load-bearing premise
The model with the given pseudodifferential operator exactly captures the principal part of the full free-boundary problem for a filament of small but positive constant radius in Stokes flow.
What would settle it
A concrete smooth initial curve for which the solution develops a singularity in finite time, or a direct numerical comparison in which the ε→0 limit fails to recover resistive-force-theory velocities for a chosen test filament, would falsify the global existence or convergence statements.
Figures
read the original abstract
We consider a nonlocal curve evolution belonging to a hierarchy of models for the dynamics of an inextensible elastic filament in a 3D Stokes fluid. This model captures the principal part of a full free boundary problem for an elastic filament in Stokes flow. The fluid effects on the filament evolution are encoded in a pseudodifferential force-to-velocity operator which may be regarded as an interpolation between resistive force theory at low wavenumbers and a Stokes boundary value problem at high wavenumbers. Here the curve is considered to be the centerline of a 3D filament with constant cross sectional radius $\epsilon>0$. We show global well-posedness for the curve evolution in the natural energy space. This loosely suggests that the full evolution may be globally well-posed if the large-scale geometry is controlled. Furthermore, we prove convergence to resistive force theory dynamics as $\epsilon\to 0$, which illustrates how resistive force theory emerges from more detailed models.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies a nonlocal inextensible curve evolution equation modeling the centerline of a thin elastic filament of radius ε immersed in 3D Stokes flow. Fluid effects are incorporated via a pseudodifferential force-to-velocity operator that interpolates between resistive-force theory at low wavenumbers and a full Stokes boundary-value problem at high wavenumbers. The central results are global well-posedness of the evolution in the natural energy space and convergence of the dynamics to resistive-force theory as ε→0.
Significance. If the proofs hold, the global existence result supplies a rigorous existence theory for a nonlocal regularization of filament dynamics that remains controlled at high frequencies, while the convergence theorem provides a precise mathematical link showing how resistive-force theory arises as the leading-order approximation to a more detailed nonlocal model. These are load-bearing contributions for the analysis of free-boundary fluid-structure problems involving slender bodies.
major comments (2)
- [Main existence theorem / energy estimates section] The global well-posedness statement (presumably Theorem 1.1 or the main existence theorem) relies on a priori energy estimates that close in the natural Sobolev space; the precise control of the nonlocal operator at high wavenumbers and the role of the inextensibility constraint in preventing filament self-intersection must be verified in detail, as any gap here would undermine the claim that the result “loosely suggests” global well-posedness for the full free-boundary problem.
- [Convergence theorem / asymptotic analysis section] The convergence proof as ε→0 (presumably the second main theorem) must specify the precise function-space topology and the rate (if any) at which the nonlocal velocity converges to the resistive-force-theory velocity; without an explicit error estimate or compactness argument, it is unclear whether the limit passage is strong enough to pass to the limit inside the nonlinear inextensibility constraint.
minor comments (2)
- [Abstract / Introduction] The abstract’s phrase “loosely suggests” is imprecise; replace it in the introduction with a concrete statement of what geometric control on the large-scale shape would be needed to extend the result to the full free-boundary problem.
- [Model formulation section] Notation for the pseudodifferential operator and the precise symbol of the force-to-velocity map should be introduced once and used consistently; several minor inconsistencies in the definition of the interpolation between low- and high-wavenumber regimes appear in the preliminary sections.
Simulated Author's Rebuttal
We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment in turn below, providing clarifications on the structure of the proofs and indicating the revisions we will make.
read point-by-point responses
-
Referee: [Main existence theorem / energy estimates section] The global well-posedness statement (presumably Theorem 1.1 or the main existence theorem) relies on a priori energy estimates that close in the natural Sobolev space; the precise control of the nonlocal operator at high wavenumbers and the role of the inextensibility constraint in preventing filament self-intersection must be verified in detail, as any gap here would undermine the claim that the result “loosely suggests” global well-posedness for the full free-boundary problem.
Authors: The a priori estimates are derived in Section 3 by multiplying the evolution equation by the velocity field and integrating by parts, exploiting the fact that the pseudodifferential force-to-velocity operator is self-adjoint and positive semi-definite. Its symbol, analyzed in Appendix A, coincides with the resistive-force-theory symbol at low frequencies and transitions to the full Stokes symbol (with the appropriate decay) at high frequencies; this guarantees the high-wavenumber dissipation needed to close the H^1 estimate without additional regularity. The inextensibility constraint is enforced pointwise by a Lagrange multiplier that projects the velocity onto the tangent bundle; because the evolution preserves arc-length parametrization exactly (see Lemma 2.3), the curve remains embedded in the energy space for all time. The phrase “loosely suggests” in the abstract is deliberately cautious and refers only to the fact that the same energy structure would be available in a full free-boundary setting once the large-scale geometry is controlled; we will add a short paragraph in the introduction making this distinction explicit. No changes to the proofs themselves are required, but we will expand the discussion of the symbol estimates and the preservation of embedding. revision: partial
-
Referee: [Convergence theorem / asymptotic analysis section] The convergence proof as ε→0 (presumably the second main theorem) must specify the precise function-space topology and the rate (if any) at which the nonlocal velocity converges to the resistive-force-theory velocity; without an explicit error estimate or compactness argument, it is unclear whether the limit passage is strong enough to pass to the limit inside the nonlinear inextensibility constraint.
Authors: Theorem 4.1 states that the solutions converge strongly in C([0,T]; H^1) as ε→0. The proof proceeds by obtaining uniform bounds from the energy estimates, applying the Aubin-Lions lemma to extract a strongly convergent subsequence in L^2, and then identifying the limit by testing against smooth test functions. The difference between the nonlocal velocity operator and its resistive-force-theory counterpart is controlled by an explicit O(ε) estimate in L^2 that follows from the symbol expansion (Lemma A.2). Because the inextensibility constraint is a linear pointwise condition on the velocity (vanishing normal component), strong L^2 convergence of the velocities is sufficient to pass to the limit inside the constraint. We will insert a dedicated paragraph after the statement of Theorem 4.1 that records the precise topology, the compactness argument, and the O(ε) rate, together with a short proof that the limit satisfies the inextensible resistive-force-theory equation. revision: yes
Circularity Check
No significant circularity
full rationale
The paper presents a mathematical analysis of a nonlocal curve evolution PDE model for an elastic filament in Stokes flow. The central results are a global well-posedness theorem in the natural energy space and a convergence result to resistive force theory as the filament radius ε tends to zero. These are established via standard techniques for nonlocal PDEs, including energy estimates, a priori bounds, and compactness arguments that derive from the structure of the pseudodifferential operator and the inextensibility constraint. No parameters are fitted to data, no quantities are defined in terms of the quantities they are used to predict, and no load-bearing steps reduce to self-citations or ansatzes imported from prior work by the same author. The model assumptions (curve as centerline, interpolation between RFT and Stokes) are stated explicitly as modeling choices rather than derived results, leaving the existence and convergence proofs self-contained against external benchmarks.
Axiom & Free-Parameter Ledger
axioms (2)
- domain assumption The curve represents the centerline of a filament with constant radius ε > 0
- domain assumption Fluid effects are captured by a pseudodifferential force-to-velocity operator interpolating resistive force theory and Stokes flow
Reference graph
Works this paper leans on
-
[1]
D. Albritton and L. Ohm. Rods in flows: the PDE theory of immersed elastic filaments.arXiv preprint arXiv:2503.14440, 2025
-
[2]
H. Brezis and P. Mironescu. Gagliardo–nirenberg inequalities and non-inequalities: The full story.Annales de l’Institut Henri Poincar´ e C, Analyse non lin´ eaire, 35(5):1355–1376, 2018
work page 2018
-
[3]
S. Camalet and F. J¨ ulicher. Generic aspects of axonemal beating.New Journal of Physics, 2(1):24, 2000
work page 2000
-
[4]
S. Camalet, F. J¨ ulicher, and J. Prost. Self-organized beating and swimming of internally driven filaments.Physical review letters, 82(7):1590, 1999
work page 1999
-
[5]
Y. El Alaoui-Faris, J.-B. Pomet, S. R´ egnier, and L. Giraldi. Optimal actuation of flagellar magnetic microswim- mers.Physical Review E, 101(4):042604, 2020
work page 2020
-
[6]
W. Fenchel. On the differential geometry of closed space curves.Bulletin of the AMS, 57, 1951
work page 1951
-
[7]
B. M. Friedrich, I. H. Riedel-Kruse, J. Howard, and F. J¨ ulicher. High-precision tracking of sperm swimming fine structure provides strong test of resistive force theory.Journal of Experimental Biology, 213(8):1226–1234, 2010
work page 2010
-
[8]
H. Gadˆ elha, E. Gaffney, D. Smith, and J. Kirkman-Brown. Nonlinear instability in flagellar dynamics: a novel modulation mechanism in sperm migration?Journal of The Royal Society Interface, 7(53):1689–1697, 2010
work page 2010
-
[9]
H. Gadˆ elha and E. A. Gaffney. Flagellar ultrastructure suppresses buckling instabilities and enables mammalian sperm navigation in high-viscosity media.Journal of The Royal Society Interface, 16(152):20180668, 2019
work page 2019
-
[10]
E. Garc´ ıa-Ju´ arez, P.-C. Kuo, and Y. Mori. The immersed inextensible interface problem in 2d stokes flow.SIAM Journal on Mathematical Analysis, 57(4):3454–3487, 2025
work page 2025
-
[11]
G¨ otz.Interactions of fibers and flow: asymptotics, theory and numerics
T. G¨ otz.Interactions of fibers and flow: asymptotics, theory and numerics. Doctoral dissertation, University of Kaiserslautern, 2000
work page 2000
-
[12]
J. Gray and G. Hancock. The propulsion of sea-urchin spermatozoa.J. Exp. Biol., 32(4):802–814, 1955. 36 LAUREL OHM
work page 1955
-
[13]
A. L. Hall-McNair, T. D. Montenegro-Johnson, H. Gadˆ elha, D. J. Smith, and M. T. Gallagher. Efficient imple- mentation of elastohydrodynamics via integral operators.Physical Review Fluids, 4(11):113101, 2019
work page 2019
-
[14]
M. Hines and J. Blum. Bend propagation in flagella. i. derivation of equations of motion and their simulation. Biophysical Journal, 23(1):41–57, 1978
work page 1978
-
[15]
S. Hu, J. Zhang, and M. J. Shelley. Enhanced clamshell swimming with asymmetric beating at low reynolds number.Soft Matter, 2022
work page 2022
-
[16]
R. Johnson and C. Brokaw. Flagellar hydrodynamics. a comparison between resistive-force theory and slender- body theory.Biophysical journal, 25(1):113–127, 1979
work page 1979
-
[17]
R. E. Johnson. An improved slender-body theory for Stokes flow.J. Fluid Mech., 99(02):411–431, 1980
work page 1980
-
[18]
J. B. Keller and S. Rubinow. Swimming of flagellated microorganisms.Biophysical Journal, 16(2):151–170, 1976
work page 1976
-
[19]
J. B. Keller and S. I. Rubinow. Slender-body theory for slow viscous flow.J. Fluid Mech., 75(4):705–714, 1976
work page 1976
-
[20]
N. Koiso. On the motion of a curve towards elastica.Actes de la Table Ronde de G´ eom´ etrie Diff´ erentielle (Luminy, 1992), 1:403–436, 1996
work page 1992
- [21]
-
[22]
E. Lauga. Floppy swimming: Viscous locomotion of actuated elastica.Physical Review E, 75(4):041916, 2007
work page 2007
-
[23]
E. Lauga and C. Eloy. Shape of optimal active flagella.Journal of Fluid Mechanics, 730, 2013
work page 2013
-
[24]
E. Lauga and T. R. Powers. The hydrodynamics of swimming microorganisms.Reports on Progress in Physics, 72(9):096601, 2009
work page 2009
-
[25]
T. Montenegro-Johnson, H. Gadelha, and D. J. Smith. Spermatozoa scattering by a microchannel feature: an elastohydrodynamic model.Royal Society Open Science, 2(3):140475, 2015
work page 2015
- [26]
- [27]
-
[28]
Y. Mori and L. Ohm. Accuracy of slender body theory in approximating force exerted by thin fiber on viscous fluid.Studies in Applied Mathematics, 2021
work page 2021
-
[29]
Y. Mori and L. Ohm. Well-posedness and applications of classical elastohydrodynamics for a swimming filament. Nonlinearity, 36(3):1799, 2023
work page 2023
-
[30]
Y. Mori, L. Ohm, and D. Spirn. Theoretical justification and error analysis for slender body theory.Communi- cations on Pure and Applied Mathematics, 73(6):1245–1314, 2020
work page 2020
-
[31]
Y. Mori, L. Ohm, and D. Spirn. Theoretical justification and error analysis for slender body theory with free ends.Archive for Rational Mechanics and Analysis, 235(3):1905–1978, 2020
work page 1905
-
[32]
D. ¨Oelz. On the curve straightening flow of inextensible, open, planar curves.SeMA Journal, 54(1):5–24, 2011
work page 2011
- [33]
-
[34]
L. Ohm. Well-posedness of a viscoelastic resistive force theory and applications to swimming.Journal of Nonlinear Science, 34(5):82, 2024
work page 2024
-
[35]
L. Ohm. On an angle-averaged Neumann-to-Dirichlet map for thin filaments.Archive for Rational Mechanics and Analysis, 249(1):8, 2025
work page 2025
-
[36]
L. Ohm. The slender body free boundary problem.arXiv preprint arXiv:2509.16800, 2025
work page internal anchor Pith review Pith/arXiv arXiv 2025
-
[37]
O. Pironneau and D. Katz. Optimal swimming of flagellated micro-organisms.Journal of Fluid Mechanics, 66(2):391–415, 1974
work page 1974
-
[38]
M. J. Shelley and T. Ueda. The Stokesian hydrodynamics of flexing, stretching filaments.Physica D: Nonlinear Phenomena, 146(1-4):221–245, 2000
work page 2000
-
[39]
S. E. Spagnolie and E. Lauga. The optimal elastic flagellum.Physics of Fluids, 22(3):455, 2010
work page 2010
-
[40]
A.-K. Tornberg and M. J. Shelley. Simulating the dynamics and interactions of flexible fibers in Stokes flows. Journal of Computational Physics, 196(1):8–40, 2004
work page 2004
-
[41]
B. J. Walker, K. Ishimoto, and E. A. Gaffney. Efficient simulation of filament elastohydrodynamics in three dimensions.Physical Review Fluids, 5(12):123103, 2020
work page 2020
-
[42]
C. H. Wiggins and R. E. Goldstein. Flexive and propulsive dynamics of elastica at low reynolds number.Physical Review Letters, 80(17):3879, 1998
work page 1998
-
[43]
C. H. Wiggins, D. Riveline, A. Ott, and R. E. Goldstein. Trapping and wiggling: elastohydrodynamics of driven microfilaments.Biophysical Journal, 74(2):1043–1060, 1998. Department of Mathematics, University of Wisconsin - Madison, Madison, WI 53706 Email address:lohm2@wisc.edu
work page 1998
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.