Pith. sign in

REVIEW 2 major objections 2 minor 31 references

Bifurcation of overdetermined capillary problems in a strip domain

T0 review · 2 major / 2 minor · reviewed 2026-06-26 · grok-4.3

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

Pith's one-line read 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.

desk verdict 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. read the letter →

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

Yuanyuan Lian , Pieralberto Sicbaldi This is my paper · ORCID
classification math.AP
keywords bifurcationoverdeterminedcapillaryproblemstripdomainperiodicsolutionstwo-dimensionalCrandall-Rabinowitztheorem
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 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.

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.

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

Extended reading notes

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.

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.

Editorial extensions

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 κ.

Reading between the lines

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 · score 0.0 of 10

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.

Assumptions & free parameters 0 free parameters · 1 assumptions · 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.

assumptions (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.

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}
}
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). Continue with ORCID to comment.

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

Show all 31 references
  1. [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

  2. [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

  3. [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

  4. [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

  5. [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

  6. [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, p...

    2005

  7. [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

  8. [16]

    Lian and P

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

    2025

  9. [17]

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

    2013

  10. [18]

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

    2007

  11. [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

  12. [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

  13. [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

  14. [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

  15. [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

  16. [24]

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

    1971

  17. [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

  18. [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

  19. [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

  20. [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

  21. [29]

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

    1975

  22. [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

  23. [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 FUEN...

    1973

Pith tools

Reviewed June 26, 2026 · model on record in the stance chip above.