pith. sign in

arxiv: 2409.19336 · v2 · submitted 2024-09-28 · 🧮 math.PR · math.AP· math.DG· math.SP

Functional Inequalities for doubly weighted Brownian Motion with Sticky-Reflecting Boundary Diffusion

Marie Bormann This is my paper

Pith reviewed 2026-05-23 21:17 UTC · model grok-4.3

classification 🧮 math.PR math.APmath.DGmath.SP
keywords doubly weighted Brownian motionsticky reflecting boundaryPoincaré constantlogarithmic Sobolev constantSteklov eigenvalueweighted Reilly formulafunctional inequalitiesmanifolds with boundary
0
0 comments X

The pith

Under curvature assumptions, upper bounds hold for the Poincaré and logarithmic Sobolev constants of doubly weighted Brownian motion with sticky-reflecting boundaries.

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

The paper derives upper bounds on the Poincaré and logarithmic Sobolev constants for doubly weighted Brownian motion on manifolds equipped with sticky reflecting boundary diffusion. These bounds rely on curvature conditions for both the manifold and its boundary. An interpolation technique that accounts for energy interactions between the boundary and interior is combined with the weighted Reilly formula to establish the results. The same method produces a lower bound on the first nontrivial doubly weighted Steklov eigenvalue and an upper bound on the norm of the boundary trace operator on Sobolev functions. The analysis also covers the case of weighted Brownian motion with pure sticky reflection.

Core claim

We give upper bounds for the Poincaré and Logarithmic Sobolev constants for doubly weighted Brownian motion on manifolds with sticky reflecting boundary diffusion under curvature assumptions on the manifold and its boundary. We use an interpolation approach based on energy interactions between the boundary and the interior of the manifold and the weighted Reilly formula. Along the way we also obtain a lower bound on the first nontrivial doubly weighted Steklov eigenvalue and an upper bound on the norm of the doubly weighted boundary trace operator on Sobolev functions. We also consider the case of weighted Brownian motion with pure sticky reflection.

What carries the argument

An interpolation approach based on energy interactions between the boundary and the interior combined with the weighted Reilly formula.

If this is right

  • The Poincaré constant admits an explicit upper bound in terms of the curvature data.
  • The logarithmic Sobolev constant admits an explicit upper bound under the same conditions.
  • The first nontrivial doubly weighted Steklov eigenvalue is bounded from below.
  • The norm of the doubly weighted boundary trace operator on Sobolev functions is bounded from above.
  • The same upper bounds hold for weighted Brownian motion with pure sticky reflection.

Where Pith is reading between the lines

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

  • The derived constants would control the exponential rate at which the associated diffusion converges to its equilibrium measure.
  • The interpolation technique could be tested on explicit examples such as the sphere or flat domains with curved boundaries to check sharpness.
  • If the curvature conditions are relaxed, the method might still produce bounds after adding correction terms that measure deviation from the assumptions.
  • The Steklov eigenvalue bound may connect to isoperimetric problems on manifolds with sticky boundaries.

Load-bearing premise

The curvature assumptions on the manifold and its boundary are strong enough for the interpolation approach based on energy interactions and the weighted Reilly formula to produce the stated upper bounds.

What would settle it

A manifold and boundary satisfying the curvature assumptions but where the actual Poincaré constant exceeds the derived upper bound would show the claim fails.

read the original abstract

We give upper bounds for the Poincar\'e and Logarithmic Sobolev constants for doubly weighted Brownian motion on manifolds with sticky reflecting boundary diffusion under curvature assumptions on the manifold and its boundary. We therefor use an interpolation approach based on energy interactions between the boundary and the interior of the manifold and the weighted Reilly formula. Along the way we also obtain a lower bound on the first nontrivial doubly weighted Steklov eigenvalue and an upper bound on the norm of the doubly weighted boundary trace operator on Sobolev functions. We also consider the case of weighted Brownian motion with pure sticky reflection.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The manuscript derives upper bounds on the Poincaré and logarithmic Sobolev constants for doubly weighted Brownian motion with sticky-reflecting boundary diffusion on manifolds, under curvature assumptions on the manifold and boundary. The approach relies on an interpolation between boundary and interior energies combined with the weighted Reilly formula. Additional results include a lower bound for the first nontrivial doubly weighted Steklov eigenvalue and an upper bound for the norm of the doubly weighted boundary trace operator. The pure sticky reflection case is also treated.

Significance. This provides explicit functional inequalities in a setting with boundary diffusion, extending previous work on weighted manifolds. The interpolation method and use of the weighted Reilly formula allow for parameter-free bounds, which is a strength. The results on the Steklov eigenvalue and trace operator are useful byproducts. If the curvature assumptions are verified to be sufficient, this could be a solid contribution to geometric probability.

minor comments (1)
  1. [Abstract] Abstract: 'We therefor use' should be 'We therefore use'.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive assessment of the manuscript and the recommendation to accept. We appreciate the recognition of the interpolation approach, the use of the weighted Reilly formula, and the utility of the Steklov and trace operator results.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's central derivation obtains upper bounds on Poincaré and logarithmic Sobolev constants for doubly weighted Brownian motion via an interpolation between boundary and interior energies together with the weighted Reilly formula, all under explicit curvature assumptions on the manifold and boundary. These steps rely on standard analytic and geometric identities rather than any self-referential definition, fitted parameter renamed as a prediction, or load-bearing self-citation chain. The argument is presented as parameter-free with explicit boundary-term estimates, rendering the claimed inequalities independent of the inputs by construction.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The central claims rest on standard differential-geometric background (manifolds with boundary, weighted measures, Reilly formula) plus the paper-specific curvature assumptions that enable the interpolation argument. No free parameters or invented entities are indicated in the abstract.

axioms (2)
  • domain assumption The manifold and its boundary satisfy curvature assumptions sufficient for the weighted Reilly formula and energy interpolation to apply.
    Explicitly invoked in the abstract as the setting under which the bounds hold.
  • standard math Standard properties of weighted Brownian motion and the sticky-reflecting boundary condition hold.
    Background from probability on manifolds assumed without proof in the abstract.

pith-pipeline@v0.9.0 · 5620 in / 1357 out tokens · 24851 ms · 2026-05-23T21:17:34.820640+00:00 · methodology

discussion (0)

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

Lean theorems connected to this paper

Citations machine-checked in the Pith Canon. Every link opens the source theorem in the public Lean library.

What do these tags mean?
matches
The paper's claim is directly supported by a theorem in the formal canon.
supports
The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
extends
The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
uses
The paper appears to rely on the theorem as machinery.
contradicts
The paper's claim conflicts with a theorem or certificate in the canon.
unclear
Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.

Reference graph

Works this paper leans on

18 extracted references · 18 canonical work pages

  1. [1]

    Bakry, I

    D. Bakry, I. Gentil, and M. Ledoux. Analysis and geometry of Markov diffusion operators , volume 348 of Grundlehren Math. Wiss. Cham: Springer, 2014

    work page 2014

  2. [2]

    Batista and J

    M. Batista and J. I. Santos. The first Stekloff eigenvalue i n weighted Riemannian manifolds, 2015

    work page 2015

  3. [3]

    Bormann, M

    M. Bormann, M. von Renesse, and F.-Y. Wang. Functional In equalities for Brownian Motion on Riemannian Manifolds with Sticky-Reflecting Boundary Diffusion, 2023

    work page 2023

  4. [4]

    Chafa ¨ ı and F

    D. Chafa ¨ ı and F. Malrieu. On fine properties of mixtures w ith respect to concentration of measure and Sobolev type inequalities. Ann. Inst. Henri Poincar´ e Probab. Stat., 46(1):72–96, 2010

    work page 2010

  5. [5]

    Chen and F.-Y

    M.-F. Chen and F.-Y. Wang. Estimates of logarithmic Sobo lev constant: an improvement of Bakry-Emery criterion. J. Funct. Anal. , 144(2):287–300, 1997

    work page 1997

  6. [6]

    Colbois, A

    B. Colbois, A. Girouard, C. Gordon, and D. Sher. Some rece nt developments on the Steklov eigenvalue problem. Revista Matem´ atica Complutense, pages 1–161, 09 2023

    work page 2023

  7. [7]

    Grothaus and R

    M. Grothaus and R. Voßhall. Stochastic differential equa tions with sticky reflection and boundary diffusion. Electron. J. Probab. , 22:Paper No. 7, 37, 2017

    work page 2017

  8. [8]

    Huang, B

    G. Huang, B. Ma, and M. Zhu. A Reilly type integral formula and its applications. Differential Geom. Appl. , 94:Paper No. 102136, 20, 2024

    work page 2024

  9. [9]

    Ikeda and S

    N. Ikeda and S. Watanabe. Stochastic differential equations and diffusion processes , volume 24 of North- Holland Mathematical Library . North-Holland Publishing Co., Amsterdam; Kodansha, Ltd. , Tokyo, second edition, 1989

    work page 1989

  10. [10]

    Karlin and H

    S. Karlin and H. M. Taylor. A second course in stochastic processes . Academic Press, Inc. [Harcourt Brace Jovanovich, Publishers], New York-London, 1981

    work page 1981

  11. [11]

    A. V. Kolesnikov and E. Milman. Brascamp-Lieb-type ine qualities on weighted Riemannian manifolds with boundary. J. Geom. Anal. , 27(2):1680–1702, 2017

    work page 2017

  12. [12]

    Konarovskyi, V

    V. Konarovskyi, V. Marx, and M. von Renesse. Spectral ga p estimates for Brownian motion on domains with sticky-reflecting boundary diffusion. 2021. arxiv: 2106.00 080

    work page 2021

  13. [13]

    Y. Sakurai. Comparison geometry of manifolds with boun dary under a lower weighted Ricci curvature bound. Canad. J. Math. , 72(1):243–280, 2020

    work page 2020

  14. [14]

    A. G. Setti. Eigenvalue estimates for the weighted Lapl acian on a Riemannian manifold. Rend. Sem. Mat. Univ. Padova , 100:27–55, 1998

    work page 1998

  15. [15]

    A. Shouman. Generalization of Philippin’s results for the first Robin eigenvalue and estimates for eigenvalues of the bi-drifting Laplacian. Ann. Global Anal. Geom. , 55(4):805–817, 2019. 20 MARIE BORMANN

    work page 2019

  16. [16]

    A. D. Ventcel’. On boundary conditions for multi-dimen sional diffusion processes. Theor. Probability Appl. , 4:164–177, 1959

    work page 1959

  17. [17]

    von Below and G

    J. von Below and G. Fran¸ cois. Spectral asymptotics for the Laplacian under an eigenvalue dependent bound- ary condition. Bull. Belg. Math. Soc. Simon Stevin , 12(4):505–519, 2005

    work page 2005

  18. [18]

    F. Y. Wang. Application of coupling methods to the Neuma nn eigenvalue problem. Probab. Theory Related Fields, 98(3):299–306, 1994. Universit¨at Leipzig, F akult¨at f ¨ur Mathematik und Informatik, Augustusplatz 10, 04109 Leip zig, Germany and Max Planck Institute for Mathematics in the Scie nces, 04103 Leipzig, Germany Email address : bormann@math.uni-leipzig.de

    work page 1994