Pith. sign in

REVIEW 2 major objections 2 minor 31 references

At a critical period, non-trivial two-dimensional solutions bifurcate from the one-dimensional trivial solution in the overdetermined capillary problem on periodic strip domains.

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

Existence of a critical period T* where non-trivial genuinely two-dimensional solutions bifurcate from the unique trivial one-dimensional solution for the overdetermined capillary problem in periodic strip-like domains.

T0 review reviewed 2026-06-26 challenge →

load-bearing objection The paper claims a Crandall-Rabinowitz bifurcation at some T* for the capillary overdetermined problem, producing 2D periodic solutions in deformed strips, but the abstract gives no spectral details on the linearized operator. the 2 major comments →

arxiv 2606.19885 v1 pith:HEMSVI3F submitted 2026-06-18 math.AP

Bifurcation of overdetermined capillary problems in a strip domain

Yuanyuan Lian , Pieralberto Sicbaldi This is my paper
classification math.AP
keywords bifurcationoverdetermined capillary problemstrip domainperiodic solutionstwo-dimensional solutionsCrandall-Rabinowitz theorem
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

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 paper studies an overdetermined capillary problem consisting of a prescribed mean curvature equation inside a domain together with constant Neumann and Dirichlet data on the boundary. When the domain is a straight infinite strip there is a unique one-dimensional solution called the trivial solution. The authors apply a bifurcation argument to show that, at a critical value of the period, a branch of genuinely two-dimensional solutions appears; these solutions live in unbounded periodic domains that remain diffeomorphic to a strip but whose boundaries are curved. The result supplies a mathematical mechanism by which capillary interfaces can lose their straightness while preserving periodicity.

Core claim

By means of a bifurcation argument, we establish the existence of a critical period T_* at which a branch of non-trivial solutions bifurcates from the trivial one. These solutions are genuinely two-dimensional and are defined in unbounded periodic domains Ω that are diffeomorphic to an infinite strip, yet whose boundaries are no longer straight lines.

What carries the argument

Bifurcation from the trivial solution via the Crandall-Rabinowitz theorem applied to the linearized capillary operator at the straight-strip equilibrium.

Load-bearing premise

The linearization of the capillary problem at the trivial solution has a simple zero eigenvalue that satisfies the transversality condition needed for the bifurcation theorem to produce a local branch.

What would settle it

A direct computation or numerical check showing that the zero eigenvalue of the linearized operator at the critical period is not simple, or that the transversality condition fails, would block the bifurcation of non-trivial solutions.

Watch this falsifier. Get emailed when new claim-graph text bears on it.

If this is right

  • Non-trivial solutions exist for all periods sufficiently close to T_*.
  • The corresponding domains have curved, periodic boundaries while remaining topologically strips.
  • The solutions remain solutions of the original overdetermined capillary system for the given positive constants b, c and κ.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The same linearization technique could be used to locate possible bifurcation points in capillary problems posed in other unbounded domains such as wedges or cylinders.
  • If the critical period T_* can be computed explicitly for concrete parameter values, it would give a concrete length scale at which capillary surfaces are expected to develop curvature.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 2 minor

Summary. The paper studies the overdetermined capillary problem div(∇u / √(1+|∇u|²)) - b u = 0 in Ω ⊂ ℝ² with ∂_ν u = κ and u = c on ∂Ω, where b, c, κ > 0. For Ω an infinite strip bounded by parallel lines, a unique one-dimensional (trivial) solution exists. The central claim is that a bifurcation argument yields a critical period T_* at which a branch of genuinely two-dimensional solutions bifurcates; these solutions live in unbounded T-periodic domains diffeomorphic to the strip but with non-straight boundaries.

Significance. If the spectral hypotheses of the chosen bifurcation theorem are verified, the result supplies the first rigorous existence proof of non-trivial periodic capillary surfaces in strip-like domains, with direct physical relevance to capillary phenomena. The approach extends standard bifurcation techniques to an overdetermined free-boundary setting in unbounded domains.

major comments (2)
  1. [Bifurcation argument (abstract and corresponding section)] The abstract invokes a bifurcation argument (presumably Crandall–Rabinowitz) to produce T_* and the bifurcating branch, yet supplies no functional-analytic setting, no explicit form of the linearized operator obtained by differentiating the capillary PDE together with the two boundary conditions, and no verification that this operator possesses a simple zero eigenvalue at T_* with the required transversality condition dL/dT mapping the kernel outside the range. These checks are load-bearing for the existence claim and must appear explicitly (with the precise function space and the form of the linearized boundary conditions) before the theorem can be applied.
  2. [Existence of the trivial solution] The one-dimensional trivial solution is asserted to be unique when the domain is a straight strip, but the manuscript must confirm that this solution is indeed a solution of the full overdetermined system (including both boundary conditions) and that the linearization is well-defined on the chosen space of periodic perturbations; without this, the starting point for the bifurcation analysis remains formal.
minor comments (2)
  1. Notation for the constants b, c, κ and the period T should be introduced with explicit ranges and physical meaning at the first appearance.
  2. The statement that the bifurcating domains are 'diffeomorphic to an infinite strip' should be accompanied by a precise definition of the admissible class of periodic perturbations (e.g., C^{2,α} graphs over the straight strip).

Simulated Author's Rebuttal

2 responses · 0 unresolved

We are grateful to the referee for the detailed report and the recommendation for major revision. The comments highlight important points that need clarification to strengthen the presentation of our bifurcation argument. We will revise the manuscript accordingly to address these issues explicitly.

read point-by-point responses

  1. Referee: [Bifurcation argument (abstract and corresponding section)] The abstract invokes a bifurcation argument (presumably Crandall–Rabinowitz) to produce T_* and the bifurcating branch, yet supplies no functional-analytic setting, no explicit form of the linearized operator obtained by differentiating the capillary PDE together with the two boundary conditions, and no verification that this operator possesses a simple zero eigenvalue at T_* with the required transversality condition dL/dT mapping the kernel outside the range. These checks are load-bearing for the existence claim and must appear explicitly (with the precise function space and the form of the linearized boundary conditions) before the theorem can be applied.

    Authors: We acknowledge that while the bifurcation argument is outlined in the manuscript, the explicit functional-analytic framework, the detailed expression of the linearized operator (including the differentiated PDE and boundary conditions), and the verification of the simple eigenvalue and transversality condition are not presented with sufficient detail. In the revised manuscript, we will add a dedicated subsection detailing the function spaces (e.g., C^{2,\alpha} periodic functions or appropriate Sobolev spaces), derive the linearized system explicitly, and prove the required spectral properties to justify the application of the Crandall-Rabinowitz theorem. This will make the argument fully rigorous. revision: yes

  2. Referee: [Existence of the trivial solution] The one-dimensional trivial solution is asserted to be unique when the domain is a straight strip, but the manuscript must confirm that this solution is indeed a solution of the full overdetermined system (including both boundary conditions) and that the linearization is well-defined on the chosen space of periodic perturbations; without this, the starting point for the bifurcation analysis remains formal.

    Authors: We agree that an explicit verification is necessary. The one-dimensional solution is constructed to satisfy the PDE and both boundary conditions by direct substitution, and uniqueness follows from standard arguments for the capillary equation. In the revision, we will include a lemma proving that the trivial solution satisfies the full system and that the linearization is well-defined on the space of T-periodic perturbations. revision: yes

Circularity Check

0 steps flagged

No circularity detected; derivation applies external bifurcation theorem to PDE setup

full rationale

The paper sets up the overdetermined capillary problem in a strip, identifies the trivial one-dimensional solution, and invokes the Crandall-Rabinowitz theorem to assert bifurcation at some T_*. No quoted step reduces a claimed prediction or eigenvalue condition to a fitted input or self-definition by construction. No self-citation chain is load-bearing for the central existence result, and the theorem is treated as an independent external tool rather than derived from the paper's own data or prior results by the same authors. The derivation therefore remains self-contained against external mathematical benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on the existence and uniqueness of the trivial solution (stated as known) together with the applicability of abstract bifurcation theorems from nonlinear functional analysis to the quasilinear elliptic operator; no free parameters or invented entities are introduced.

axioms (1)
  • standard math Standard Crandall-Rabinowitz or equivalent bifurcation theorems from nonlinear analysis apply once the linearized operator at the trivial solution satisfies the required spectral conditions.
    The paper invokes a bifurcation argument without deriving the theorem, so it relies on this background result from the literature.

reviewed 2026-06-26 · how reviews work

0 comments
Cite this review

Pith. "Pith review of Bifurcation of overdetermined capillary problems in a strip domain." pith.science (2026). https://pith.science/paper/HEMSVI3F

@misc{pith2026260619885,
  author       = {Pith},
  title        = {Pith review of: Bifurcation of overdetermined capillary problems in a strip domain},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HEMSVI3F}},
  note         = {Machine review of arXiv:2606.19885}
}
Share X Bluesky LinkedIn Reddit HN
read the original abstract

In this paper, we consider the classical overdetermined capillary problem: \begin{equation*} \begin{cases} \mathrm{div} \left(\frac{\nabla u}{\sqrt{1+|\nabla u|^2}}\right) - bu =0 &~~\mbox{in}~~ \Omega, \partial_{\nu} u=\kappa &~~\mbox{on}~~\partial\Omega, u=c &~~\mbox{on}~~\partial\Omega, \end{cases} \end{equation*} where $b$, $c$ and $\kappa$ are positive constants, and $\Omega\subset \mathbb{R}^2$. When $\Omega$ is an infinite strip, i.e., a domain bounded by two parallel straight lines, there exists a unique one-dimensional solution (called the trivial solution) to this problem. By means of a bifurcation argument, we establish the existence of a critical period $T_*$ at which a branch of non-trivial solutions bifurcates from the trivial one. These solutions are genuinely two-dimensional and are defined in unbounded periodic domains $\Omega$ that are diffeomorphic to an infinite strip, yet whose boundaries are no longer straight lines. This result offers a significant physical interpretation in the context of capillary phenomena.

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

31 extracted references · 2 canonical work pages

  1. [1]

    A. D. Alexandrov. A characteristic property of spheres. Ann. Mat. Pura Appl. (4) 58 (1962), pp. 303–315

    1962

  2. [2]

    Berestycki, L

    H. Berestycki, L. A. Caffarelli, and L. Nirenberg. Monotonicity for elliptic equations in unbounded Lipschitz domains. Comm. Pure Appl. Math. 50.11 (1997), pp. 1089–1111

    1997

  3. [3]

    H. Brezis. Functional analysis, Sobolev spaces and partial differential equations. Uni- versitext. Springer, New York, 2011, pp. xiv+599

    2011

  4. [4]

    Colombo, L

    G. Colombo, L. Mari, and M. Rigoli. A splitting theorem for capillary graphs under Ricci lower bounds. J. Funct. Anal. 281.8 (2021), Paper No. 109136, 50

    2021

  5. [5]

    G. Dai, P . Sicbaldi, and Y. Zhang. Overdetermined elliptic problems in nontrivial exte- rior domains of the hyperbolic space. 2024. arXiv: 2405.04348 [math.AP]

    work page arXiv 2024

  6. [6]

    Dai and Y

    G. Dai and Y. Zhang. Sign-changing solution for an overdetermined elliptic problem on unbounded domain. J. Reine Angew. Math. 803 (2023), pp. 267–293

    2023

  7. [7]

    Del Pino, F

    M. Del Pino, F. Pacard, and J. Wei. Serrin’s overdetermined problem and constant mean curvature surfaces. Duke Math. J. 164.14 (2015), pp. 2643–2722

    2015

  8. [8]

    L. C. Evans. Partial differential equations. Second. Vol. 19. Graduate Studies in Mathe- matics. American Mathematical Society, Providence, RI, 2010, pp. xxii+749

    2010

  9. [9]

    R. Finn. Equilibrium capillary surfaces. Vol. 284. Grundlehren der mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences]. Springer-Verlag, New York, 1986, pp. xvi+245

    1986

  10. [10]

    Gerhardt

    C. Gerhardt. Global regularity of the solutions to the capillary problem. Annali della Scuola Normale Superiore di Pisa-Classe di Scienze 3.2 (1976), pp. 157–175

    1976

  11. [11]

    Gidas, W

    B. Gidas, W. M. Ni, and L. Nirenberg. Symmetry and related properties via the maxi- mum principle. Comm. Math. Phys. 68.3 (1979), pp. 209–243

    1979

  12. [12]

    Gilbarg and N

    D. Gilbarg and N. S. Trudinger. Elliptic partial differential equations of second or- der. Classics in Mathematics. Reprint of the 1998 edition. Springer-Verlag, Berlin, 2001, pp. xiv+517

    1998

  13. [13]

    Han and F

    Q. Han and F. Lin. Elliptic partial differential equations. Second. Vol. 1. Courant Lec- ture Notes in Mathematics. Courant Institute of Mathematical Sciences, New York; American Mathematical Society, Providence, RI, 2011, pp. x+147

    2011

  14. [14]

    D. Henry. Perturbation of the boundary in boundary-value problems of partial dif- ferential equations. Vol. 318. London Mathematical Society Lecture Note Series. With editorial assistance from Jack Hale and Ant ˆonio Luiz Pereira. Cambridge University Press, Cambridge, 2005, pp. viii+206. REFERENCES 21

    2005

  15. [15]

    Kielh ¨ofer

    H. Kielh ¨ofer. Bifurcation theory. Second. Vol. 156. Applied Mathematical Sciences. An introduction with applications to partial differential equations. Springer, New York, 2012, pp. viii+398

    2012

  16. [16]

    Lian and P

    Y. Lian and P . Sicbaldi. Rigidity results for the capillary overdetermined problem. 2025. arXiv: 2503.14215 [math.AP]

    work page arXiv 2025

  17. [17]

    G. M. Lieberman. Oblique derivative problems for elliptic equations. World Scientific Publishing Co. Pte. Ltd., Hackensack, NJ, 2013, pp. xvi+509

    2013

  18. [18]

    R. L ´opez. Capillary channels in a gravitational field.Nonlinearity 20.7 (2007), pp. 1573– 1600

    2007

  19. [19]

    Mazzeo and F

    R. Mazzeo and F. Pacard. Bifurcating nodoids. In: Topology and geometry: commemorating SISTAG. Vol. 314. Contemp. Math. Amer. Math. Soc., Providence, RI, 2002, pp. 169–186

    2002

  20. [20]

    W. Reichel. Radial symmetry for elliptic boundary-value problems on exterior do- mains. Arch. Rational Mech. Anal. 137.4 (1997), pp. 381–394

    1997

  21. [21]

    A. Ros, D. Ruiz, and P . Sicbaldi. Solutions to overdetermined elliptic problems in non- trivial exterior domains. J. Eur. Math. Soc. (JEMS) 22.1 (2020), pp. 253–281

    2020

  22. [22]

    D. Ruiz, P . Sicbaldi, and J. Wu. Overdetermined elliptic problems in onduloid-type domains with general nonlinearities. J. Funct. Anal. 283.12 (2022), Paper No. 109705, 26

    2022

  23. [23]

    Schlenk and P

    F. Schlenk and P . Sicbaldi. Bifurcating extremal domains for the first eigenvalue of the Laplacian. Adv. Math. 229.1 (2012), pp. 602–632

    2012

  24. [24]

    J. Serrin. A symmetry problem in potential theory. Arch. Rational Mech. Anal. 43 (1971), pp. 304–318

    1971

  25. [25]

    Sicbaldi

    P . Sicbaldi. New extremal domains for the first eigenvalue of the Laplacian in flat tori. Calc. Var. Partial Differential Equations37.3-4 (2010), pp. 329–344

    2010

  26. [26]

    B. Sirakov. Symmetry for exterior elliptic problems and two conjectures in potential theory. Ann. Inst. H. Poincar´ e C Anal. Non Lin´ eaire18.2 (2001), pp. 135–156

    2001

  27. [27]

    Smoller and A

    J. Smoller and A. Wasserman. Symmetry-breaking for positive solutions of semilinear elliptic equations. Arch. Rational Mech. Anal. 95.3 (1986), pp. 217–225

    1986

  28. [28]

    J. A. Smoller and A. G. Wasserman. Symmetry-breaking for solutions of semilinear elliptic equations with general boundary conditions. Comm. Math. Phys. 105.3 (1986), pp. 415–441

    1986

  29. [29]

    J. Spruck. On the existence of a capillary surface with prescribed contact angle. Comm. Pure Appl. Math. 28 (1975), pp. 189–200

    1975

  30. [30]

    Stakgold and M

    I. Stakgold and M. Holst. Green’s functions and boundary value problems. Third. Pure and Applied Mathematics (Hoboken). John Wiley & Sons, Inc., Hoboken, NJ, 2011, pp. xxii+855

    2011

  31. [31]

    N. N. Ural ′ ceva. The solvability of the capillarity problem. Vestnik Leningrad. Univ.19, Mat. Meh. Astronom. Vyp. 4 (1973), pp. 54–64, 152. (Y. L IAN ) D EPARTAMENTO DE GEOMETR ´IA Y TOPOLOG ´IA, D EPARTAMENTO DE AN ´ALISIS MATEM ´ATICO , UNIVERSIDAD DE GRANADA , CAMPUS FUENTENUEVA , 18071 G RANADA , SPAIN Email address: lianyuanyuan.hthk@gmail.com; yua...

    1973

This paper was first reviewed by grok-4.3 on June 26, 2026.