Steady Motion of a Self-Propelled Body in a Viscous Fluid: Dirichlet Boundary Conditions with Nonzero Flux

Ana Leonor Silvestre; Arnab Roy; \v{S}\'{a}rka Ne\v{c}asov\'a

REVIEW 2 major objections 5 minor 19 references

Steady Motion of a Self-Propelled Body in a Viscous Fluid: Dirichlet Boundary Conditions with Nonzero Flux

T0 review · 2 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read For a rigid body self-propelling through a viscous incompressible fluid, existence of a weak solution follows from small net surface flux alone, without zero-flux or small-data assumptions.

desk verdict Genuinely new flux-carrier construction, but the Leray–Schauder step relies on a false compactness claim about A^{-1/2}; the theorem is likely right and repairable, but not proven as written. read the letter →

arxiv 2607.22492 v1 pith:24TAE7UT submitted 2026-07-24 math.AP

Šárka Nečasová , Arnab Roy , Ana Leonor Silvestre This is my paper · ORCID

classification math.AP MSC 35Q3076D0574F10

keywords self-propelledmotionNavier-Stokesequationsfluid-rigidbodyinteractionnonzeroboundaryfluxexteriordomainweaksolutionssolenoidalextensionfixed-pointmethod

topics Navier-Stokes Regularity

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

This paper shows that a rigid body can move steadily through a viscous fluid under its own power even when the prescribed surface velocity pumps fluid across the body surface, as long as the total net flux through the surface is sufficiently small. Earlier existence theory for this coupled fluid–body problem required the boundary flux to be zero and the boundary data to be small. The authors remove both restrictions by building a divergence-free extension of the boundary velocity whose flux-carrying part is separated from the rest, yielding the key estimate that controls the nonlinear term. They then prove, for locally Lipschitz body surfaces, that at least one weak solution exists and, under a stronger small-flux condition, an explicit bound on swimming speed and fluid dissipation. A sympathetic reader would care because this widens rigorous existence theory to realistic propulsion mechanisms — jets, moving belts, cilia — that do not conserve surface flux pointwise.

What carries the argument

The load-bearing object is the solenoidal extension ev* of the boundary velocity. It is assembled from two pieces: a flux carrier Φσ(x)=Φ∇E(x−x0) — the gradient of the fundamental Laplace solution centered at a point inside the body — which carries the total flux Φ and is divergence-free in the fluid region; and a compactly supported curl construction for the remaining zero-flux part β* = v* − Φσ|∂Ω, made local near the boundary by a regularized-distance cut-off. The decisive property is the estimate (Lemma 3.1) that bounds the difficult trilinear integral by (γ + C(Ω)Re|Φ|)||u||²; because γ can be chosen arbitrarily small, this reduces the existence proof to the single smallness condition o

What would settle it

Reproduce Lemma 3.1 on a locally Lipschitz domain with a reentrant corner or slit: check whether the compactly supported solenoidal extension of a zero-flux boundary field satisfies the stated measure estimate |supp ψε|^s ≤ cε and gradient bound |∇ψε| ≤ εκ₂/d(x) with constants independent of the corner. A concrete failure — for example, constants that blow up as the corner opens — would show that the theorem's locally Lipschitz hypothesis is insufficient.

Watch

Extended reading notes

Core claim

On its own terms, the paper's central claim is Theorem 1.1: for an exterior domain with locally Lipschitz boundary and a prescribed boundary velocity v* in the trace space W^{1/2,2}, if Re C0(Ω)|Φ| < 1 where Φ is the net flux of v* through the body surface, then problem (1.1) has at least one weak solution. Previously the same problem was solvable only under the stronger conditions Φ = 0 and small ||v*||. The engine is Lemma 3.1, which constructs a solenoidal extension ev* of v* satisfying 2 Re |∫(u−V)·W(u)·ev*| ≤ (γ + C(Ω)Re|Φ|)||u||², allowing the nonlinear term to be absorbed. The proof then runs a fixed-point argument on bounded subdomains and passes to the exterior limit. The theorem al

Load-bearing premise

The proof's load-bearing premise is that the boundary cut-off estimates used to build the compactly supported divergence-free extension of the zero-flux part hold on a merely locally Lipschitz boundary; those estimates are classically stated for smoother boundaries, and the paper imports them without a separate Lipschitz verification.

Editorial extensions

If this is right

Existence of weak solutions now holds for self-propulsion with jets or suction/blowing, since the boundary flux need not vanish.
The boundary data may be large; only Re C0(Ω)|Φ| < 1 is required.
When the flux is below half the threshold, the solution satisfies explicit bounds on the translational speed |ξ|, angular speed |ω|, and velocity-gradient norm in terms of the boundary data.
The fixed-point construction on bounded subdomains passes to the exterior domain and yields at least one weak solution for locally Lipschitz body surfaces.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

Editorial extension: The flux-carrier construction should transfer to related models, such as Navier-slip boundary conditions or density-dependent fluids, replacing zero-flux hypotheses with the same small-flux condition.
Editorial extension: Because the theorem allows large boundary velocities at small net flux, it suggests a rigorous path toward jet propulsion and ciliary pumping models, where strong local surface flows nearly cancel in net mass transport.
Editorial extension: The explicit constant C0(Ω) could be computed for simple shapes such as a sphere or ellipsoid and tested numerically; a sharpened value would give a concrete swimming-speed threshold for given boundary actuation.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

Short version: the paper does what it says—it proves existence for the steady self-propelled body when the prescribed boundary flux is small, dropping the zero-flux and small-data restrictions from Galdi’s 1999 theorem. Lemma 3.1 is the real work: the flux-carrier plus a compactly supported solenoidal lift, with the key nonlinear estimate depending only on Re C0(Ω)|Φ|. That is a genuine generalization, not a repackaging, and the estimates are explicit enough to check.

The soft spots:

First, boundary regularity. The theorem assumes ∂Ω is locally Lipschitz, but the proof imports Hopf-extension estimates from Galdi [2, Lemmas III.6.2, IX.4.2, X.4.2] that are classically stated for C^2 boundaries. The paper doesn’t flag or prove the Lipschitz version. This may be a known extension, but it needs a reference or a sentence. Not fatal if it exists, but it is a real mismatch between hypothesis and cited tool.

Second, and more serious: the reader’s report and the stress-test are right that Section 4’s complete-continuity argument is wrong as written. From (2.13)-(2.14), A^{1/2}: V_R → H_R is an isometric isomorphism, and so is A^{-1/2}: H_R → V_R. An isometric isomorphism between infinite-dimensional Hilbert spaces is not compact. The compact embedding V_R ↪ H_R only gives A^{-1/2} compact as H_R → H_R, not as H_R → V_R. Step (3) asserts exactly the false version and then uses it to extract a Cauchy subsequence in V_R. That is the only justification for complete continuity of B, so Leray–Schauder is not rigorously applied. The fix isn’t obviously trivial—you’d need a direct compactness argument for the trilinear map u ↦ A^{1/2}G(u,u), maybe through V_R ↪ L^4—but it’s probably standard for someone working in this area. I can’t see the theorem falling for this reason; the uniform bound is coherent and the structure is right.

The exterior limit passage in Section 4 is compressed but conventional.

Bottom line: this is worth a serious referee. The result matters to the fluid-structure interaction community, the flux-carrier construction is a real contribution, and the gaps are identifiable and likely repairable. I wouldn’t cite the main theorem until the compactness step is fixed; I’d send it out.

Referee Report

2 major / 5 minor

Summary. The paper studies the steady self-propelled motion of a rigid body in an exterior three-dimensional viscous incompressible fluid, described by a coupled Navier-Stokes/rigid-body system in a body-fixed frame. The main result (Theorem 1.1) asserts the existence of weak solutions under the assumption that the flux Φ of the prescribed boundary velocity v* through ∂Ω satisfies Re C_0(Ω)|Φ|<1, with ∂Ω locally Lipschitz. This generalizes Galdi's earlier theorem, which required zero flux and small boundary data. The proof introduces a solenoidal extension of v* that does not require zero flux or smallness of the boundary data, and then uses invading domains, a generalized Stokes operator on bounded domains, and a Leray-Schauder fixed-point argument. The paper also contains a quantitative bound for the rigid body velocity and the Dirichlet norm of the fluid velocity when |Φ| is at most 1/(2Re C_0(Ω)).

Significance. If the result is correct, it is a genuine improvement over [1, Theorem 5.1]: the zero-flux condition is removed and the smallness assumption on the boundary datum is replaced by a small-flux condition. The proposed divergence-free extension with nonzero flux is a potentially reusable technical contribution. The paper is clearly written and the functional framework follows known references. However, two gaps in the proof must be resolved before the main theorem can be accepted: the compactness claim for A^{-1/2} is false, and the boundary-regularity assumptions in the imported extension lemmas are not aligned with the stated locally Lipschitz hypothesis. The manuscript does not provide machine-checked proofs or numerical verification, but the analytical approach is standard.

major comments (2)

[Section 4, Step (3); Section 2, after (2.14)] The proof of complete continuity of B in Step (3) relies on the assertion that A^{-1/2}: H_R -> V_R is compact. This is false. From (2.13)-(2.14), A^{1/2}: V_R -> H_R is an isometric isomorphism, so its inverse A^{-1/2}: H_R -> V_R is also an isometric isomorphism. An isometric isomorphism between infinite-dimensional Hilbert spaces cannot be compact. The subsequent deduction that {A^{-1/2}U_j} has a strongly convergent subsequence in V_R is therefore invalid. Since this is the only argument supplied for the complete continuity required by the Leray-Schauder theorem, the existence proof for the truncated problem is incomplete. The authors should prove compactness of the nonlinear map directly, e.g. via the compact embedding V_R ↪ L^4.
[Lemma 3.1, Step 2] The theorem is stated for locally Lipschitz ∂Ω, but the proof of Lemma 3.1 imports Hopf-type extension lemmas from Galdi [2] (Lemmas III.6.2, IX.4.2, X.4.2) that are classically formulated for C^2 boundaries. The solenoidal extension estimates (3.4)-(3.5) on Lipschitz domains are also asserted without proof or reference. Because the extension lemma is the key technical step and determines the flux condition, the paper must either justify these lemmas at the locally Lipschitz level or restrict the theorem to C^2 boundaries.

minor comments (5)

[Section 2, after (2.14)] The sentence 'Actually, A^{-1/2} is a compact operator' is the source of the error discussed in Major Comment 1; it should be removed or corrected.
[Lemma 3.1, Step 1] The set B_0 in 'Fix x0∈int(B0)' is not defined. Please specify it (presumably a ball contained in S).
[Section 4, final estimate] In the bound for ∥u∥_V, the norm ∥v*∥_{1/2,2,Ω} should read ∥v*∥_{1/2,2,∂Ω}.
[Section 3, (3.6)] The statement 'w=0 in B_R0' is ambiguous; since B_R0 was defined as the exterior domain {|x|>R0}, this is correct, but the wording could be clarified.
[Section 4, after (4.17)] The passage to the limit R_j→∞ is only sketched. A few details on the convergence of the rigid body velocities and the identification of the weak limit would improve the paper.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the existence proof rests on an explicit extension construction and external benchmark lemmas, not on its own conclusion.

full rationale

The derivation chain is not circular. Lemma 3.1 constructs the solenoidal extension ev* directly from the prescribed trace v*, the flux carrier Φσ, a convolution-based compactly supported part, and regularized-distance cutoffs; the key pointwise and measure estimates (3.9)-(3.10) are quoted from Galdi's monograph [2], an external source, not from the authors' own prior work. The small-flux condition Re C0(Ω)|Φ|<1 enters Theorem 1.1 through the explicit bound on I3 in Lemma 3.1; γ is then chosen so that 1-(γ+C0(Ω)Re|Φ|)>0, giving a genuine uniform bound. No parameter is fitted to the target quantity, and no prediction is renamed as an input. Self-citations ([7] Galdi-Silvestre framework, [13] prior Navier-slip paper) are contextual or external published results and are not used as a uniqueness theorem or to forbid alternatives. Two non-circular proof concerns are worth noting separately: (i) the paper asserts A^{-1/2}: H_R→V_R is compact, although (2.13)-(2.14) actually make it an isometric isomorphism in infinite dimension, so the complete-continuity argument in Section 4, Step (3) appears unjustified; and (ii) the Hopf-extension lemmas quoted from [2] are classically stated for smoother boundaries than the locally Lipschitz hypothesis of Theorem 1.1. These are correctness risks, not cases where an output is equivalent by construction to its input.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The theorem is a pure existence proof in classical PDE analysis. It introduces one new construction—the flux carrier Φσ, whose entire role is to absorb the nonzero flux so that the remainder β* has zero flux and can be handled by the Hopf method. All other ingredients are background results: trace/extension theory on Lipschitz domains, Hardy/Sobolev/Korn inequalities, the generalized Stokes operator framework of [7], and the Leray-Schauder fixed-point theorem. No free parameters are fitted; the constants in the paper (C0(Ω), C1, C2) are purely domain-dependent. The only non-standard piece is the assumption that the cited Hopf-extension estimates hold on locally Lipschitz boundaries.

assumptions (5)

domain assumption Existence of solenoidal extension of zero-flux traces on bounded Lipschitz domains with W^{1,2}-estimates.
Used in Lemma 3.1 Step 2 (eqs. 3.4-3.5); imported from Galdi [2]. The standard published versions are often stated for C^2 domains, so this is the load-bearing regularity assumption.
standard math Hardy inequality in W^{1,2}_0 of a bounded Lipschitz domain: ||f/d||_2 ≤ C ||∇f||_2.
Applied to (u−V)⊗w to bound I_2 in Lemma 3.1.
standard math Korn inequality and the Weinberger rigidity bound |a_u|+|b_u| ≤ C(∂Ω)||D(u)||_2 on exterior domains.
Used repeatedly in (2.1), (2.2), and in the I_3 estimate of Lemma 3.1.
standard math Leray-Schauder fixed-point theorem on Hilbert spaces.
Used in Section 4 to solve the truncated problems (4.8) and (4.11).
standard math Compact embedding and square-root properties of the generalized Stokes operator A^{1/2} on bounded subdomains.
Used in Section 2 (eqs. 2.12-2.14) to reduce (4.7) to a fixed-point equation in H_R.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Steady Motion of a Self-Propelled Body in a Viscous Fluid: Dirichlet Boundary Conditions with Nonzero Flux." pith.science (2026). https://pith.science/paper/24TAE7UT

@misc{pith2026260722492,
  author       = {Pith},
  title        = {Pith review of: Steady Motion of a Self-Propelled Body in a Viscous Fluid: Dirichlet Boundary Conditions with Nonzero Flux},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/24TAE7UT}},
  note         = {Machine review of arXiv:2607.22492}
}

abstract

We study the steady self-propelled motion of a rigid body immersed in an incompressible viscous fluid occupying an exterior domain in $\mathbb{R}^3$. In a body-fixed reference frame, the problem is described by a coupled fluid-rigid body system posed in a fixed exterior domain, where the Navier--Stokes equations are coupled with the unknown translational and angular velocities of the rigid body. The self-propulsion is generated by prescribing a boundary velocity on the body surface. Our main result asserts the existence of weak solutions under the sole assumption that the prescribed boundary flux is sufficiently small. The crucial step is the construction of a divergence-free extension of the boundary data that does not rely on either the zero-flux condition or the smallness of the boundary data. As a result, we generalize the result of Galdi [Theorem 5.1 in On the steady self-propelled motion of a body in a viscous incompressible fluid. Arch. Rational Mech. Anal., 148 (1999), 53-88], where both assumptions were required.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

19 extracted references

[2]

Galdi, G.P.,An Introduction to the Mathematical Theory of the Navier-Stokes Equations,Steady-State Problem, Second Edition, Springer, 2011

2011
[1]

Rational Mech

Galdi, G.P., On the steady self-propelled motion of a body in a viscous incompressible fluid.Arch. Rational Mech. Anal.,148(1999), 53–88

1999
[3]

I, 653-791, Eds

Galdi, G.P., On the motion of a rigid body in a viscous liquid: a mathematical analysis with applica- tions,Handbook of Mathematical Fluid Dynamics, Vol. I, 653-791, Eds. S. Friedlander and D. Serre, North-Holland, Amsterdam, 2002

2002
[4]

Galdi, G.P., On the self-propulsion of a rigid body in a viscous liquid by time-periodic boundary data. J. Math. Fluid Mech.22(2020), no. 4, Paper No. 61, 34 pp

2020
[5]

Differ- ential Equations,469(2026), Paper No

Galdi, G.P., Muha, B., Radoˇ sevi´ c, A., On self-propulsion by oscillations in a viscous liquid.J. Differ- ential Equations,469(2026), Paper No. 114314, 93 pp

2026
[6]

Pukhnachev, V.V., Asymptotics of a Velocity Field at Considerable Distances from a Self-Propelled Body,J. Appl. Mech. Tech. Phys.,30, 52-60 (1989)

1989
[7]

In: Birman, M.S., Hildebrandt, S., Solonnikov, V.A., Uraltseva, N.N

Galdi, G.P., Silvestre, A.L., Strong Solutions to the Problem of Motion of a Rigid Body in a Navier- Stokes Liquid under the Action of Prescribed Forces and Torques. In: Birman, M.S., Hildebrandt, S., Solonnikov, V.A., Uraltseva, N.N. (eds) Nonlinear Problems in Mathematical Physics and Related Topics I. International Mathematical Series, vol 1. Springer,...

2002
[8]

Heywood, J., The Exterior Nonstationary Problem for the Navier-Stokes Equations,Acta Math.,129, 11-34 (1972)

1972

Show all 19 references

[9]

S., Floridia, G., Well-posedness of 2-D and 3-D swimming models in incompressible fluids governed by Navier-Stokes equations.J

Khapalov, A., Cannarsa, P., Priuli, F. S., Floridia, G., Well-posedness of 2-D and 3-D swimming models in incompressible fluids governed by Navier-Stokes equations.J. Math. Anal. Appl.429(2015), no. 2, 1059–1085

2015
[10]

A., The Mathematical Theory of Viscous Incompressible Flow

Ladyzhenskaya, O. A., The Mathematical Theory of Viscous Incompressible Flow. Gordon and Breach, New York, 1969

1969
[11]

San Mart ´ ın, J., Scheid, J.-F., Takahashi, T., Tucsnak, M., An initial and boundary value problem modeling of fish-like swimming.Arch. Ration. Mech. Anal.188(2008), no. 3, 429–455

2008
[12]

Mathematical Modelling of Natural Phenomena, 16, p.9 (2021)

Neˇ casov´ a,ˇS., Ramaswamy, M., Roy, A., Schl¨ omerkemper, A., Self-propelled motion of a rigid body inside a density dependent incompressible fluid. Mathematical Modelling of Natural Phenomena, 16, p.9 (2021)

2021
[13]

L., Steady Self-Propelled Motion of a Rigid Body in a Viscous Fluid with Navier-Slip Boundary Conditions.arXiv preprint arXiv:2512.24510(2025)

Neˇ casov´ a,ˇS., Roy, A., Silvestre, A. L., Steady Self-Propelled Motion of a Rigid Body in a Viscous Fluid with Navier-Slip Boundary Conditions.arXiv preprint arXiv:2512.24510(2025)

2025
[14]

existence.Japan J

Serre, D., Chute libre d’un solide dans un fluide visqueux incompressible. existence.Japan J. Appl. Math.4, 99-110 (1987)

1987
[15]

L., On the self-propelled motion of a rigid body in a viscous liquid and on the attainability of steady symmetric self-propelled motions,J

Silvestre, A. L., On the self-propelled motion of a rigid body in a viscous liquid and on the attainability of steady symmetric self-propelled motions,J. Math. Fluid Mech.,4, 285–326 (2002)

2002
[16]

L., On the slow motion of a self-propelled rigid body in a viscous incompressible fluid.J

Silvestre, A. L., On the slow motion of a self-propelled rigid body in a viscous incompressible fluid.J. Math. Anal. Appl.274, 203-227 (2002)

2002
[17]

Modern Birkh¨ auser Classics

Sohr, H.,The Navier–Stokes Equations: An Elementary Functional Analytic Approach. Modern Birkh¨ auser Classics. Birkh¨ auser, Basel, 2012

2012
[18]

Sohr, H., Varnhorn, W. (1990). On decay properties of the Stokes equations in exterior domains. In: Heywood, J.G., Masuda, K., Rautmann, R., Solonnikov, V.A. (eds) The Navier-Stokes Equations Theory and Numerical Methods. Lecture Notes in Mathematics, vol 1431. Springer, Berli...

1990
[19]

Weinberger, H.F., On the Steady Fall of a Body in a Navier-Stokes Fluid,Proc. Symp. Pure Mathe- matics,23, 421-440 (1973)

1973

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [2]

Galdi, G.P.,An Introduction to the Mathematical Theory of the Navier-Stokes Equations,Steady-State Problem, Second Edition, Springer, 2011

2011

[2] [1]

Rational Mech

Galdi, G.P., On the steady self-propelled motion of a body in a viscous incompressible fluid.Arch. Rational Mech. Anal.,148(1999), 53–88

1999

[3] [3]

I, 653-791, Eds

Galdi, G.P., On the motion of a rigid body in a viscous liquid: a mathematical analysis with applica- tions,Handbook of Mathematical Fluid Dynamics, Vol. I, 653-791, Eds. S. Friedlander and D. Serre, North-Holland, Amsterdam, 2002

2002

[4] [4]

Galdi, G.P., On the self-propulsion of a rigid body in a viscous liquid by time-periodic boundary data. J. Math. Fluid Mech.22(2020), no. 4, Paper No. 61, 34 pp

2020

[5] [5]

Differ- ential Equations,469(2026), Paper No

Galdi, G.P., Muha, B., Radoˇ sevi´ c, A., On self-propulsion by oscillations in a viscous liquid.J. Differ- ential Equations,469(2026), Paper No. 114314, 93 pp

2026

[6] [6]

Pukhnachev, V.V., Asymptotics of a Velocity Field at Considerable Distances from a Self-Propelled Body,J. Appl. Mech. Tech. Phys.,30, 52-60 (1989)

1989

[7] [7]

In: Birman, M.S., Hildebrandt, S., Solonnikov, V.A., Uraltseva, N.N

Galdi, G.P., Silvestre, A.L., Strong Solutions to the Problem of Motion of a Rigid Body in a Navier- Stokes Liquid under the Action of Prescribed Forces and Torques. In: Birman, M.S., Hildebrandt, S., Solonnikov, V.A., Uraltseva, N.N. (eds) Nonlinear Problems in Mathematical Physics and Related Topics I. International Mathematical Series, vol 1. Springer,...

2002

[8] [8]

Heywood, J., The Exterior Nonstationary Problem for the Navier-Stokes Equations,Acta Math.,129, 11-34 (1972)

1972