Pith. sign in

REVIEW 5 minor 14 references

On the global asymptotic stability for the 3D Peskin Problem at critical regularity

T0 review · 0 major / 5 minor · reviewed 2026-07-14 · grok-4.5

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

Pith's one-line read Small Lipschitz elastic membranes in 3D Stokes flow instantly smooth and converge exponentially to a translated, dilated conformal sphere.

desk verdict Solid critical-space global stability for 3D Peskin: W^{1,\infty} data with corners, instant smoothing, and sharp exponential C^{1} convergence to the 10-dimensional conformal manifold. read the letter →

arxiv 2607.11731 v1 pith:MQFWJCKD submitted 2026-07-13 math.AP math-phmath.MP

Eduardo García-Juárez , Susanna V. Haziot , Po-Chun Kuo , Yoichiro Mori , Han Zhou This is my paper · ORCID
classification math.APmath-phmath.MP MSC 35Q3576D0735B4035R35
keywords 3DPeskinproblemfluid-structureinteractionglobalwell-posednessasymptoticstabilitycriticalregularityconformalsteadystatesspectralLittlewood-PaleyStokesflow
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

The three-dimensional Peskin problem describes a closed elastic membrane immersed in a viscous Stokes fluid. The paper proves that if the initial membrane is a sufficiently small Lipschitz perturbation of the unit sphere—even one that may contain infinitely many corners—then a unique global solution exists. The parabolic nature of the flow instantly removes the corners, so the membrane is smooth for every positive time. After that, the membrane converges exponentially in the C^{1} topology to a translated and dilated conformal sphere whose radius is fixed by the conserved enclosed volume. The argument works by isolating a ten-dimensional family of conformal steady states and showing that every other deformation is strictly dissipated. The technical engine is a spectral Littlewood-Paley calculus on the sphere that controls the singular multilinear terms generated by the Stokeslet kernel.

What carries the argument

Structural decoupling of the ten-dimensional manifold of conformal steady states (generated by SO^{+}(3,1), translations and dilations) from its L^{2}-orthogonal complement, combined with spectral Littlewood-Paley projections that bound the highly singular multilinear operators arising from the Stokeslet nonlinearity.

What would settle it

Numerically evolve a sequence of initial membranes whose Lipschitz size approaches the threshold ε₀ from below and check whether the measured L^{2} decay rate of the orthogonal perturbation remains asymptotically equal to 8/35 (rescaled by final radius) while the parameter vector decays at twice that rate; any systematic deviation for arbitrarily small data would contradict the claimed sharp rate.

Watch

Extended reading notes

Core claim

For initial data whose L^∞ and Lipschitz norms are smaller than an absolute constant, the 3D Peskin evolution admits a unique global solution that becomes instantly smooth and converges exponentially in C^{1} to a translated, dilated conformal sphere whose final radius is determined by the conserved volume, with leading decay rate a_{2}/r_∞ where a_{2} = 8/35.

Load-bearing premise

The initial membrane must be a sufficiently small Lipschitz perturbation of the unit sphere; if that smallness fails, both the local fixed-point construction and the global modulation bootstrap break down.

Editorial extensions

If this is right

  • Near the unit sphere the only steady states of the 3D Peskin problem are the conformal spheres.
  • Lipschitz (or even cornered) initial data are admissible for global existence and exponential stability.
  • The leading spectral gap of the linearized operator on the stable complement is exactly a₂ = 8/35, fixing the sharp exponential rate once the final radius is known.
  • The same spectral framework and modulation scheme apply, with only notational changes, to perturbations of any sphere in the steady-state manifold.

Reading between the lines

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

  • The same Littlewood-Paley and modulation machinery should extend, after suitable adjustments, to the 3D Peskin problem with nonlinear tension laws or viscosity contrast.
  • Because the kernel is generated by conformal invariance of the Dirichlet energy, analogous finite-dimensional neutral manifolds are likely to appear in other codimension-one elastic membrane problems whose energy is conformally invariant.
  • The numerical verification already shows that the predicted rates are visible for moderately large smooth data, suggesting that the smallness threshold may be an artifact of the contraction-mapping argument rather than a genuine dynamical barrier.
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.

Referee Report

0 major / 5 minor

Summary. The paper proves global well-posedness and asymptotic stability for the three-dimensional Peskin problem (a closed Hookean elastic membrane in incompressible Stokes flow) for small initial data in the critical space W^{1,∞}(S^{2}). Theorem 1.1 states that if ∥Y_{0}∥_{L^∞} + ∥∇Y_{0}∥_{L^∞} ≤ ε ≤ ε_{0}, there is a unique solution on [0,1] in the space Z[0,1] that instantly becomes smooth for t>0 and extends globally, converging exponentially in C^{1} to a translated and dilated conformal sphere S_{r_∞,b_∞,Λ_∞} at rate a_{2}/r_∞ with a_{2}=8/35. The argument proceeds by spectral diagonalization of the linearized operator N_{1} via vector spherical harmonics (Proposition 3.4, Lemma 3.5), critical multilinear estimates with spectral Littlewood-Paley projections (Lemma 4.1), a fixed-point construction of local solutions, structural modulation onto the 10-dimensional manifold of conformal steady states (Lemma 5.1), and a bootstrap yielding global decay (Lemmas 5.6–5.10, Proposition 5.11). Section 7 supplies numerical checks of the sharp rate.

Significance. This is a substantial advance for the three-dimensional Peskin problem. Prior rigorous work treated the 2D filament case or local well-posedness of the 3D problem in subcritical Hölder spaces; the present result reaches the optimal Lipschitz class (allowing corners), proves instant desingularization, and obtains global asymptotic stability to the full 10-dimensional conformal manifold generated by SO^{+}(3,1) plus translations and dilations. The spectral framework on S^{2}, the exact identification of ker N_{1} with the Lie algebra of the steady-state manifold, and the sharp rate a_{2}=8/35 are concrete technical contributions. The numerical verification in Section 7 independently corroborates the predicted decay, which strengthens confidence in the analysis. The result is of clear interest to the free-boundary and fluid-structure communities.

minor comments (5)
  1. In the abstract and Theorem 1.1 the final radius r_∞ is said to be fixed by the conserved enclosed volume; a short explicit formula relating r_∞ to V_{0} (as later in Lemma 5.3) would make the statement self-contained.
  2. Section 4, display (4.13): the formal multilinear expansion of N_{≥2} is written with coefficients c_{m,k}; a brief remark that the series converges for ∥Y∥_Z small enough (already used later) would clarify the justification of the rearrangement.
  3. Lemma 5.1 and the subsequent modulation equations introduce many auxiliary symbols (T_{i,q}, Q_i, B( ho,q,Y), ho, a, q, v). A short summary table or a single display collecting the final modulated system would improve readability for readers who skip the intermediate calculations.
  4. Figure 2 (Section 7) shows the expected slopes -8/35 and -16/35, but the caption does not state the value of r_∞ used in the plots; adding “r_∞=1” (as noted in Remark 5.12) would remove any ambiguity.
  5. A few typographical inconsistencies appear (e.g., “eYk” versus “Ỹk”, occasional missing spaces after commas in multi-line displays). A light copy-edit pass would polish the presentation.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the global stability theorem is a self-contained spectral and fixed-point derivation from the boundary-integral Peskin equation.

full rationale

The paper derives Theorem 1.1 by explicit linearization of the Stokeslet nonlinearity about the unit sphere (Section 3), complete diagonalization of N₁ on vector spherical harmonics with eigenvalues a_k, b_k, c_k computed from the kernel formulas (Proposition 3.4, equations (3.44)–(3.45)), identification of the 10-dimensional kernel with the Lie algebra of translations, dilations and SO⁺(3,1) by direct generator matching (Lemma 3.5), critical multilinear estimates via spectral Littlewood–Paley projections (Lemma 4.1), a Banach fixed-point local existence argument in the space Z[0,1] (Section 4), and a structural modulation/bootstrap that decouples the finite-dimensional manifold from the dissipative complement (Lemmas 5.1–5.10, Proposition 5.11). The sharp rate a₂ = 8/35 is simply the first positive eigenvalue obtained by substituting k = 2 into a_k; it is not fitted. Numerical checks in Section 7 are independent verification, not inputs. Prior self-citations supply only the model formulation and subcritical local theory; they are not load-bearing for the critical global claim. No step reduces the claimed prediction to its own definition or to a fitted parameter.

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

The paper works entirely within classical continuum mechanics and harmonic analysis on the sphere. No free parameters are fitted; the only smallness constant ε_{0} is an existence threshold whose precise value is immaterial. All background results (Stokeslet representation, spherical-harmonic theory, Calderón–Zygmund estimates) are standard.

assumptions (4)
  • domain assumption The fluid is incompressible Stokes (inertia neglected) and the membrane is Hookean (linear tension law).
    Stated in the introduction and used to derive the boundary-integral equation (1.1).
  • standard math The Stokeslet kernel G_{ij} generates the unique velocity field of an incompressible Stokes fluid in free space.
    Classical; recalled in (1.2).
  • standard math Spherical harmonics form a complete orthogonal basis of L^{2}(S^{2}) and diagonalize the Laplace–Beltrami operator.
    Used throughout §§2–3 and 6; standard reference [32].
  • standard math The group of orientation-preserving conformal diffeomorphisms of S^{2} is isomorphic to SO^{+}(3,1).
    Recalled in §2.2; used to parametrize the 10-dimensional steady-state manifold.

how reviews work

0 comments
Cite this review

Pith. "Pith review of On the global asymptotic stability for the 3D Peskin Problem at critical regularity." pith.science (2026). https://pith.science/paper/MQFWJCKD

@misc{pith2026260711731,
  author       = {Pith},
  title        = {Pith review of: On the global asymptotic stability for the 3D Peskin Problem at critical regularity},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/MQFWJCKD}},
  note         = {Machine review of arXiv:2607.11731}
}
abstract

We prove global well-posedness and asymptotic stability for the three-dimensional Peskin problem, which models a closed, elastic membrane immersed in an incompressible Stokes fluid. We work with initial data in the optimal regularity space $W^{1,\infty}(\mathbb{S}^2)$, which may contain infinitely many corners. These initial configurations are instantly desingularized by the flow's parabolic smoothing effect, becoming smooth for all $t > 0$. Then we establish that the solutions converge exponentially in the $C^1$ topology to a translated and dilated conformal sphere. The stability is achieved by combining our nonlinear estimates with an exact structural decoupling of the 10-dimensional manifold of conformal steady states, demonstrating that the infinite-dimensional dissipative perturbation is strictly controlled. The core of our analysis is a functional framework on the sphere $\mathbb{S}^2$ that uses spectral Littlewood-Paley projections to control the highly singular multilinear operators arising from the fluid nonlinearity

Figures

Figures reproduced from arXiv: 2607.11731 by the authors.

Figure 1
Figure 1. Lorentzian boost deformation 4. Nonlinear analysis and proof of the main theorem Letting X(x) = x + Y (x), the nonlinearity (3.1) can be written in the form N i (x) := Z S 2 Gij ((x − p) + Y (x) − Y (p)))∆S 2 (p j + Y j (p)) dµ(p), (4.1) 21 [PITH_FULL_IMAGE:figures/full_fig_p021_1.png] view at source ↗
Figure 2
Figure 2. Decay of ∥Yh(t)∥L2(S 2) and ∥p˙ h(t)∥2 on 0 ≤ t ≤ 15. References [1] Alazard, T., and Nguyen, Q.-H. On the Cauchy problem for the Muskat equation. II: Critical initial data. Ann. PDE 7, 1 (2021), Paper No. 7, 25. [2] Alazard, T., and Nguyen, Q.-H. Quasilinearization of the 3D Muskat equation, and applications to the critical Cauchy problem. Adv. Math. 399 (2022), Paper No. 108278, 52. [3] Alazard, T., and Nguyen, Q.… view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 3 linked inside Pith

  1. [1]

    II: Critical initial data.Ann

    [1]Alazard, T., and Nguyen, Q.-H.On the Cauchy problem for the Muskat equation. II: Critical initial data.Ann. PDE 7, 1 (2021), Paper No. 7,

    2021

  2. [2]

    [2]Alazard, T., and Nguyen, Q.-H.Quasilinearization of the 3D Muskat equation, and applications to the critical Cauchy problem.Adv. Math. 399(2022), Paper No. 108278,

    2022

  3. [3]

    [3]Alazard, T., and Nguyen, Q.-H.Endpoint Sobolev theory for the Muskat equation.Comm. Math. Phys. 397, 3 (2023), 1043–1102. [4]Baldi, P., Julin, V., and La Manna, D. A.Liquid drop with capillarity and rotating traveling waves. Arch. Ration. Mech. Anal. 250, 1 (2026), Paper No. 4,

    2023

  4. [4]

    M.Critical local well-posedness for the fully nonlinear Peskin problem

    [5]Cameron, S., and Strain, R. M.Critical local well-posedness for the fully nonlinear Peskin problem. Comm. Pure Appl. Math. 77, 2 (2024), 901–989. [6]Chen, K., Hu, R., and Nguyen, Q.-H.Schauder-type estimates and well-posedness for nonlocal quasilinear evolution equations in fluid dynamics.Preprint arXiv:2604.10682(2026). [7]Chen, K., and Nguyen, Q.-H.T...

    arXiv 2024

  5. [5]

    [11]Gancedo, F., Granero-Belinch ´on, R., and Scrobogna, S.Global existence in the Lipschitz class for the N-Peskin problem.Indiana Univ. Math. J. 72, 2 (2023), 553–602. [12]Garc ´ıa-Ju´arez, E., G ´omez-Serrano, J., Haziot, S. V., and Pausader, B.Desingularization of small moving corners for the Muskat equation.Ann. PDE 10, 2 (2024), Paper No. 17,

    2023

  6. [6]

    V.Critical well-posedness for the 2D Peskin problem with general tension.Adv

    [13]Garc ´ıa-Ju´arez, E., and Haziot, S. V.Critical well-posedness for the 2D Peskin problem with general tension.Adv. Math. 460(2025), Paper No. 110047,

    2025

  7. [7]

    [14]Garc ´ıa-Ju´arez, E., Kuo, P.-C., and Mori, Y.The immersed inextensible interface problem in 2D Stokes flow.SIAM J. Math. Anal. 57, 4 (2025), 3454–3487. [15]Garc ´ıa-Ju´arez, E., Kuo, P.-C., Mori, Y., and Strain, R. M.Well-posedness of the 3D Peskin problem. Math. Models Methods Appl. Sci. 35, 1 (2025), 113–216. 57 [16]Garc ´ıa-Ju´arez, E., Mori, Y., ...

    arXiv 2025

  8. [8]

    [20]Li, H.Stability of the Stokes immersed boundary problem with bending and stretching energy.J. Funct. Anal. 281, 9 (2021), Paper No. 109204,

    2021

Show all 14 references
  1. [9]

    Pure Appl

    [21]Lin, F.-H., and Tong, J.Solvability of the Stokes immersed boundary problem in two dimensions.Comm. Pure Appl. Math. 72, 1 (2019), 159–226. [22]Meyer, D., Niebel, L., and Seis, C.Steady bubbles and drops in inviscid fluids.Calc. Var. Partial Differential Equations 64, 9 (2...

    2019

  2. [10]

    [23]Mori, Y., Ohm, L., and Spirn, D.Theoretical justification and error analysis for slender body theory. Comm. Pure Appl. Math. 73, 6 (2020), 1245–1314. [24]Mori, Y., Ohm, L., and Spirn, D.Theoretical justification and error analysis for slender body theory with free ends.Arc...

    2020 arXiv

  3. [11]

    38, 3 (2026), 727–769

    [31]Shao, C.On the Cauchy problem of spherical capillary water waves.Forum Math. 38, 3 (2026), 727–769. [32]Stein, E. M., and Weiss, G.Introduction to Fourier analysis on Euclidean spaces, vol. No. 32 ofPrinceton Mathematical Series. Princeton University Press, Princeton, NJ,

    2026

  4. [12]

    Pure Appl

    [33]Tong, J.Regularized Stokes immersed boundary problems in two dimensions: Well-posedness, singular limit, and error estimates.Comm. Pure Appl. Math. 74(2):366–449(2021). [34]Tong, J.Global solutions to the tangential Peskin problem in 2-D.Nonlinearity 37, 1 (2024), Paper No...

    2021

  5. [13]

    PDE 10, 2 (2024), Paper No

    [35]Tong, J., and Wei, D.Geometric properties of the 2-D Peskin problem.Ann. PDE 10, 2 (2024), Paper No. 24,

    2024

  6. [14]

    [36]Tong, J., and Wei, D.The immersed boundary problem in 2-D: the Navier-Stokes case.Preprint arXiv:2511.16189(2025). Departamento de An´alisis Matem´atico & IMUS, Universidad de Sevilla, C/Tarfia s/n, Campus Reina Mercedes, 41012, Sevilla, Spain Email address:egarcia12@us.es...

    2025

Pith tools

Reviewed July 14, 2026 · model on record in the stance chip above.