pith. sign in

arxiv: 2411.02156 · v2 · submitted 2024-11-04 · 🧮 math.PR

Martin boundary of a degenerate Reflected Brownian Motion in a wedge

Maxence Petit This is my paper

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

classification 🧮 math.PR
keywords reflected Brownian motionMartin boundaryGreen's functionsLaplace transformsquarter planeharmonic functionscompensation methodfunctional equation
0
0 comments X

The pith

The Laplace transforms of the Green's functions for an outward degenerate drifted Brownian motion in the quarter plane with oblique reflections are computed explicitly by iterating a functional equation from the compensation method.

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

The paper focuses on a specific stochastic process: an outward degenerate drifted Brownian motion in the quarter plane with oblique reflections on the boundaries. It computes the Laplace transforms of the associated Green's functions as infinite sums of products obtained by iterating a functional equation. This approach also yields the asymptotics of the Green's functions, identifies the minimal Martin boundary, and provides explicit formulas for the corresponding harmonic functions. A sympathetic reader would care because determining the Martin boundary and harmonic functions is fundamental for understanding the long-term behavior and potential theory of such processes in constrained domains.

Core claim

By iterating the functional equation linked to the compensation method, the Laplace transforms of the Green's functions are expressed as an infinite sum of products. The asymptotics of these Green's functions are derived along all possible paths, the minimal Martin boundary is determined, and explicit formulae for all corresponding harmonic functions are provided.

What carries the argument

The functional equation from the compensation method, iterated to produce the Laplace transforms of the Green's functions.

If this is right

  • The asymptotics of the Green's functions can be obtained along all paths.
  • The minimal Martin boundary of the process is explicitly determined.
  • Explicit formulas are given for all harmonic functions associated with the Martin boundary.
  • These results apply directly to the quarter-plane process with the specified reflections and drift.

Where Pith is reading between the lines

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

  • If the iteration technique extends to other wedge angles or drift conditions, it could simplify boundary analysis for a wider class of reflected processes.
  • The explicit harmonic functions might enable solving related Dirichlet problems or exit problems for the same process.
  • Connections between the Martin boundary points and long-run occupation measures could be explored numerically using the given asymptotics.

Load-bearing premise

The compensation method produces a functional equation that can be iterated to yield the Laplace transforms for this specific degenerate reflected process in the quarter plane.

What would settle it

A direct numerical computation or simulation of the Green's functions for the process that does not match the iterated sum expressions would falsify the explicit computation claim.

Figures

Figures reproduced from arXiv: 2411.02156 by Maxence Petit.

Figure 1
Figure 1. Figure 1: Reflections R1, R2 on the edges, the drift µ and the direction v of the degenerate Brownian motion. The process starting from z0 does never reach the hatched zone [PITH_FULL_IMAGE:figures/full_fig_p003_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: Example of a typical path (restricted to a finite time) of the drifted degenerate Brownian motion. The initial point is marked in orange [PITH_FULL_IMAGE:figures/full_fig_p003_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Geometrical interpretation of (x(α), y(α)), α ∗ and α ∗∗ . Theorem 1 (Asymptotics in the quadrant, general case). Assume (1.2) to (1.4). Then, the Green’s density function g z0 of this process has the following asymptotics when α → α0 and r → ∞. • If α ∗ < α0 < α∗∗, then (1.15) g z0 (r cos(α), r sin(α)) r→∞∼ α→α0 cα0 hα0 (z0) e −r(cos(α)x(α)+sin(α)y(α)) √ r , • If α0 < α∗ , then (1.16) g z0 (r cos(α), r si… view at source ↗
Figure 4
Figure 4. Figure 4: Parabola P and points (an, bn) on the parabola. parabola, applying successively automorphisms that leave invariant the first or the second coordinate respectively [PITH_FULL_IMAGE:figures/full_fig_p006_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Martin boundary Γ when 0 < α∗ and α ∗∗ < π/2. Plan of the article. In Section 2 we define the degenerate reflected Brownian motion. We then derive the functional equation (1.7) in Section 3 and extend meromorphically Laplace transforms on the edges up to their singularities. In Section 4, we obtain the explicit form of the Laplace transforms using the compensation method. Next, in Section 5 we conduct prep… view at source ↗
Figure 6
Figure 6. Figure 6: In the case of the figure, both φ1 and φ2 have a pole. 4. Compensation method 4.1. Heuristic of the compensation method. If h is a smooth function satisfying the following partial differential equation with boundary conditions (4.1)    (H0) Gh = 0 on (0, +∞) 2 (H1) ∂R1 h(0, y) = 0, y ≥ 0 (H2) ∂R2 h(x, 0) = 0, x ≥ 0 , then h is a harmonic function (see [13, Section 6]). To demonstrate this, we can apply … view at source ↗
Figure 7
Figure 7. Figure 7: Parabola P and automorphisms η and ζ. Lemma 4.2 (Explicit form of (an, bn)). Let (a0, b0) ∈ P. For any integer n ∈ Z, we set (a2n, b2n) = (ηζ) n (a0, b0), (a2n+1, b2n+1) = ζ(ηζ) n (a0, b0) (see [PITH_FULL_IMAGE:figures/full_fig_p013_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: Changing path for I2. Here, x(α) < x∗ . Lemma 5.2 (Changing paths and pole). Let α ∈ [0, π/2]\{α ∗ , α∗∗} and z0 ̸= (0, 0) be the initial condition of the process. Then for any a, b > 0, (5.12) I1(a, b) = [PITH_FULL_IMAGE:figures/full_fig_p019_8.png] view at source ↗
read the original abstract

We consider an outward degenerate drifted Brownian motion in the quarter plane with oblique reflections on the boundaries. In this article, we explicitly compute the Laplace transforms of the Green's functions associated with the process. These Laplace transforms are expressed as an infinite sum of products by iterating a functional equation, which is deeply linked to the compensation method. We also derive the asymptotics of the Green's functions along all possible paths and determine the (minimal) Martin boundary. Finally, we provide explicit formulae for all the corresponding harmonic functions.

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 / 2 minor

Summary. The manuscript considers an outward degenerate drifted Brownian motion in the quarter plane with oblique reflections on the boundaries. It claims to explicitly compute the Laplace transforms of the Green's functions by iterating a functional equation obtained via the compensation method, expressing them as an infinite sum of products. The work further derives the asymptotics of the Green's functions along all possible paths, determines the minimal Martin boundary, and supplies explicit formulae for the corresponding harmonic functions.

Significance. If the derivations are correct, the explicit infinite-sum representations for the Laplace transforms and the resulting harmonic functions constitute a concrete advance in the analysis of Martin boundaries for degenerate reflected diffusions. The linkage to the compensation method and the pathwise asymptotics provide falsifiable, computable objects that can be checked against simulation or special cases, strengthening the contribution beyond abstract existence results.

minor comments (2)
  1. The abstract and introduction should clarify the precise degeneracy condition (e.g., the drift or diffusion matrix rank) and the range of obliqueness angles for which the iteration converges; this is needed to delimit the domain of the stated results.
  2. Notation for the functional equation (presumably in §3 or §4) should include an explicit statement of the initial term and the recurrence operator to make the iteration step reproducible without ambiguity.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary and significance assessment of our manuscript on the Martin boundary for degenerate reflected Brownian motion in a wedge. The recommendation for minor revision is noted. However, the report lists no specific major comments to address.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper derives the Laplace transforms of the Green's functions directly from the process definition by obtaining a functional equation via the compensation method and then iterating it to produce an infinite sum. This leads to asymptotics, the minimal Martin boundary, and explicit harmonic functions. No step reduces by construction to a fitted input, self-definition, or load-bearing self-citation; the chain is a standard functional-equation iteration starting from the reflected process and is self-contained.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

Only the abstract is available, so the ledger is necessarily incomplete. The setup assumes standard properties of Brownian motion and the applicability of the compensation method to produce a solvable functional equation.

axioms (2)
  • domain assumption The process is an outward degenerate drifted Brownian motion in the quarter plane with oblique reflections on the boundaries.
    Stated directly in the abstract as the object of study.
  • domain assumption The compensation method produces a functional equation that can be solved by iteration to yield the Laplace transforms.
    Central methodological premise announced in the abstract.

pith-pipeline@v0.9.0 · 5594 in / 1287 out tokens · 27085 ms · 2026-05-23T17:39:35.651355+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

42 extracted references · 42 canonical work pages

  1. [1]

    & Zijm, W

    Adan, I., Wessels, J. & Zijm, W. A compensation approach for two-dimensional Markov processes.Advances In Applied Probability. 25, 783-817 (1993)

    work page 1993

  2. [2]

    & Zijm, W

    Adan, I., Wessels, J. & Zijm, W. Analysis of the asymmetric shortest queue problem. (Technische Universiteit Eindhoven,1990)

    work page 1990

  3. [3]

    A compensation approach for queueing problems.IEEE Transactions On Software Engineering

    Adan, I. A compensation approach for queueing problems.IEEE Transactions On Software Engineering . (1991)

    work page 1991

  4. [4]

    & Raschel, K

    Adan, I., Leeuwaarden, J. & Raschel, K. The Compensation Approach for Walks With Small Steps in the Quarter Plane. Combinatorics, Probability And Computing . 22, 161-183 (2013,1)

    work page 2013

  5. [5]

    Multidimensional Integral Transformations

    Brychkov, I. Multidimensional Integral Transformations. (Gordon,1992)

    work page 1992

  6. [6]

    & Walsh, J

    Chung, K. & Walsh, J. Markov processes, Brownian motion, and time symmetry. 2nd ed. (Springer New York, NY,2005,1)

    work page 2005

  7. [7]

    & Miyazawa, M

    Dai, J. & Miyazawa, M. Reflecting Brownian motion in two dimensions: Exact asymptotics for the stationary distribution. Stochastic Systems. 1, 146 - 208 (2011)

    work page 2011

  8. [8]

    & Moriarty, J

    Dieker, A. & Moriarty, J. Reflected Brownian motion in a wedge: sum-of-exponential stationary densities.. Electronic Communications In Probability [electronic Only] . 14 pp. 1-16 (2009)

    work page 2009

  9. [9]

    Introduction to the Theory and Application of the Laplace Transformation

    Doetsch, G. Introduction to the Theory and Application of the Laplace Transformation. (Springer Berlin Heidel- berg,1974)

    work page 1974

  10. [10]

    Discrete Potential Theory and Boundaries

    Doob, J. Discrete Potential Theory and Boundaries. Indiana University Mathematics Journal . 8 pp. 433-458 (1959)

    work page 1959

  11. [11]

    Classical potential theory and its probabilistic counterpart

    Doob, J. Classical potential theory and its probabilistic counterpart. (Springer-Verlag,1984)

    work page 1984

  12. [12]

    & Wachtel, V

    Duraj, J., Raschel, K., Tarrago, P. & Wachtel, V. Martin boundary of random walks in convex cones.Annales Henri Lebesgue. 5 pp. 559-609 (2022)

    work page 2022

  13. [13]

    & Franceschi, S

    Ernst, P. & Franceschi, S. Asymptotic behavior of the occupancy density for obliquely reflected Brownian motion in a half-plane and Martin boundary.The Annals Of Applied Probability . 31, 2991-3016 (2021,12)

    work page 2021

  14. [14]

    & Malyshev, V

    Fayolle, G., Iasnogorodski, R. & Malyshev, V. Random walks in the quarter-plane. Algebraic methods, boundary value problems and applications. (Springer Cham,1999,1)

    work page 1999

  15. [15]

    Green’s Functions with Oblique Neumann Boundary Conditions in the Quadrant.Journal Of Theoretical Probability

    Franceschi, S. Green’s Functions with Oblique Neumann Boundary Conditions in the Quadrant.Journal Of Theoretical Probability. 34 (2021,12)

    work page 2021

  16. [16]

    Martin boundary of a space-time Brownian motion with drift killed at the boundary of a moving cone

    Franceschi, S. Martin boundary of a space-time Brownian motion with drift killed at the boundary of a moving cone. (2024)

    work page 2024

  17. [17]

    & Raschel, K

    Franceschi, S., Ichiba, T., Karatzas, I. & Raschel, K. Invariant measure of gaps in degenerate competing three- particle systems. (2024)

    work page 2024

  18. [18]

    & Kourkova, I

    Franceschi, S. & Kourkova, I. Asymptotic expansion of stationary distribution for reflected Brownian motion in the quarter plane via analytic approach.Stochastic Systems. 7, 32 - 94 (2017)

    work page 2017

  19. [19]

    & Petit, M

    Franceschi, S., Kourkova, I. & Petit, M. Asymptotics for the Green’s functions of a transient reflected Brownian motion in a wedge.Queueing Systems. (2024)

    work page 2024

  20. [20]

    & Raschel, K

    Franceschi, S. & Raschel, K. Integral expression for the stationary distribution of reflected Brownian motion in a wedge. Bernoulli. 25 (2019,11)

    work page 2019

  21. [21]

    Stochastics

    Harrison, J.&Williams, R.Brownianmodelsofopenqueueingnetworkswithhomogeneouscustomerpopulations. Stochastics. 22, 77-115 (1987)

    work page 1987

  22. [22]

    & Williams, R

    Harrison, J. & Williams, R. Multidimensional Reflected Brownian Motions Having Exponential Stationary Dis- tributions. The Annals Of Probability . 15, 115 - 137 (1987)

    work page 1987

  23. [23]

    & Reiman, M

    Harrison, J. & Reiman, M. Reflected Brownian Motion on an Orthant.The Annals Of Probability . 9, 302 - 308 (1981) 34 MAXENCE PETIT

    work page 1981

  24. [24]

    Indagationes Mathematicae

    Hoang, V., Raschel, K.&Tarrago, P.Harmonicfunctionsforsingularquadrantwalks. Indagationes Mathematicae. 34, 936-972 (2023), Special Issue on the occasion of the commemoration of Jacob Willem Cohen’s 100th birthday

    work page 2023

  25. [25]

    & Rogers, L

    Hobson, D. & Rogers, L. Recurrence and transience of reflecting Brownian motion in the quadrant.Mathematical Proceedings Of The Cambridge Philosophical Society . 113, 387-399 (1993)

    work page 1993

  26. [26]

    Markoff processes and potentials I.Illinois Journal Of Mathematics

    Hunt, G. Markoff processes and potentials I.Illinois Journal Of Mathematics . 1, 44 - 93 (1957)

    work page 1957

  27. [27]

    Markoff processes and potentials II.Illinois Journal Of Mathematics

    Hunt, G. Markoff processes and potentials II.Illinois Journal Of Mathematics . 1, 316 - 369 (1957)

    work page 1957

  28. [28]

    Markoff processes and potentials III.Illinois Journal Of Mathematics

    Hunt, G. Markoff processes and potentials III.Illinois Journal Of Mathematics . 2, 151 - 213 (1958)

    work page 1958

  29. [29]

    & Karatzas, I

    Ichiba, T. & Karatzas, I. Degenerate competing three-particle systems.Bernoulli. 28, 2067 - 2094 (2022)

    work page 2067

  30. [30]

    Martin boundary of a reflected random walk on a half-space.Probability Theory And Related Fields

    Ignatiouk-Robert, I. Martin boundary of a reflected random walk on a half-space.Probability Theory And Related Fields. 148, 197-245 (2009)

    work page 2009

  31. [31]

    t-Martin boundary of reflected random walks on a half-space.Electronic Communications In Probability

    Ignatiouk-Robert, I. t-Martin boundary of reflected random walks on a half-space.Electronic Communications In Probability. 15 pp. 149 - 161 (2010)

    work page 2010

  32. [32]

    & Loree, C

    Ignatiouk-Robert, I. & Loree, C. Martin boundary of a killed random walk on a quadrant. The Annals Of Probability. 38, 1106 - 1142 (2010)

    work page 2010

  33. [33]

    & Watanabe, T

    Kunita, H. & Watanabe, T. Markov processes and martin boundaries part I.Illinois Journal Of Mathematics . 9, 485 - 526 (1965)

    work page 1965

  34. [34]

    & Malyshev, V

    Kurkova, I. & Malyshev, V. Martin boundary and elliptic curves.Markov Processes And Related Fields . (1998,1)

    work page 1998

  35. [35]

    & Raschel, K

    Kurkova, I. & Raschel, K. Random walks inZ2 + with non-zero drift absorbed at the axes.Bulletin De La Société Mathématique De France. 139, 341-387 (2011)

    work page 2011

  36. [36]

    Asymptotic behavior of the stationary probabilities for two-dimensional positive random walks

    Malyshev, V. Asymptotic behavior of the stationary probabilities for two-dimensional positive random walks. Siberian Mathematical Journal. 14, 109-118 (1973)

    work page 1973

  37. [37]

    Minimal Positive Harmonic Functions

    Martin, R. Minimal Positive Harmonic Functions. Transactions Of The American Mathematical Society . 49, 137-172 (1941)

    work page 1941

  38. [38]

    & Spitzer, F

    Ney, P. & Spitzer, F. The Martin Boundary for Random Walk.Transactions Of The American Mathematical Society. 121, 116-132 (1966)

    work page 1966

  39. [39]

    Positive Harmonic Functions and Diffusion

    Pinsky, R. Positive Harmonic Functions and Diffusion. (Cambridge University Press,1995)

    work page 1995

  40. [40]

    & Williams, R

    Taylor, L. & Williams, R. Existence and uniqueness of semimartingale reflecting Brownian motions in an orthant. Probability Theory And Related Fields . 96, 283-317 (1993)

    work page 1993

  41. [41]

    Recurrence Classification and Invariant Measure for Reflected Brownian Motion in a Wedge.The Annals Of Probability

    Williams, R. Recurrence Classification and Invariant Measure for Reflected Brownian Motion in a Wedge.The Annals Of Probability. 13, 758 - 778 (1985)

    work page 1985

  42. [42]

    The kernel method tail asymptotics analytic approach for stationary probabilities of two-dimensional queueing systems

    Zhao, Y. The kernel method tail asymptotics analytic approach for stationary probabilities of two-dimensional queueing systems. Queueing Systems. 100 (2022,1) Sorbonne Universite, Laboratoire de Probabilités, Statistiques et Modélisation, UMR 8001, 4 place Jussieu, 75005 Paris, France. Email address: maxence.petit@ens-rennes.fr

    work page 2022