pith. machine review for the scientific record. sign in

arxiv: 2605.04359 · v1 · submitted 2026-05-05 · 🧮 math.PR

Recognition: unknown

Well-posedness of reflected BSDEs with default time and irregular barrier: An application to optimal control

Badr Elmansouri, Mohamed El Otmani

Pith reviewed 2026-05-08 16:43 UTC · model grok-4.3

classification 🧮 math.PR
keywords reflected BSDEsdefault timeirregular barrierstochastic Lipschitzpenalization methodoptimal stoppingnonlinear f-expectationwell-posedness
0
0 comments X

The pith

Reflected BSDEs with default time and barriers having finite left and right limits admit unique solutions when the driver is stochastic Lipschitz, characterized as optimal stopping values under semi-continuity.

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

The paper proves existence and uniqueness for reflected backward stochastic differential equations driven by a Brownian motion and a default process, subject to an optional barrier whose paths possess left and right finite limits. The proof uses a modified penalization method that handles the reflection when the coefficient satisfies a stochastic Lipschitz condition. Under the further requirement that the barrier is right-upper semi-continuous along stopping times, the solution process is identified with the value function of an optimal stopping problem governed by a nonlinear f-expectation. This construction matters for applications in finance and stochastic control where defaults and path-dependent constraints appear together.

Core claim

Existence and uniqueness hold for reflected BSDEs with default time and irregular optional barrier when the driver is stochastic Lipschitz, established via a modified penalization method. Under the additional right-upper semi-continuity along stopping times on the barrier trajectories, the state process equals the value function of an optimal stopping problem associated with a nonlinear f-expectation.

What carries the argument

Modified penalization method that approximates the reflection constraint while preserving the default time, together with the nonlinear f-expectation used to represent the optimal stopping problem.

If this is right

  • The well-posedness result directly supplies solutions to certain optimal control problems with default risk and state constraints.
  • Numerical schemes can approximate the reflection by solving the penalized BSDEs and passing to the limit.
  • The optimal stopping representation permits the use of dynamic programming and Snell envelope techniques for computation.
  • The framework extends classical reflected BSDE theory to include both stochastic Lipschitz drivers and irregular barriers in default filtrations.

Where Pith is reading between the lines

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

  • The same penalization technique may adapt to other jump processes beyond a single default time.
  • When semi-continuity fails, one could regularize the barrier by taking its right-upper semi-continuous envelope to restore uniqueness.
  • The link to nonlinear expectations suggests a possible connection to associated obstacle problems for integro-PDEs driven by the default intensity.
  • Monte Carlo simulation of paths that include the default jump could test whether uniqueness persists for barriers that are only cadlag but not semi-continuous.

Load-bearing premise

The barrier has finite left and right limits at every time and is right-upper semi-continuous along stopping times, while the driver satisfies a stochastic Lipschitz condition.

What would settle it

A concrete barrier trajectory with left and right limits that fails right-upper semi-continuity along some stopping time, for which either the penalized approximations fail to converge uniquely or the resulting process does not satisfy the optimal stopping characterization.

read the original abstract

We consider a reflected backward stochastic differential equations with default time and an optional barrier in a filtration generated by a one-dimensional Brownian motion and a defaultable process. We suppose that the barrier have trajectories with left and right finite limits. We provide the existence and uniqueness result when the coefficient is scholastic Lipschitz by using a modified penalization method. Under an additional assumption of right-upper semi-continuity along stopping times on the trajectories of the barrier, we characterize the state process for such RBSDEs as the value function of an optimal stopping problem associated with a non-linear $f$-expectation.

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

2 major / 2 minor

Summary. The manuscript proves existence and uniqueness for reflected backward stochastic differential equations (RBSDEs) with default time in a filtration generated by a one-dimensional Brownian motion and a default process, where the optional barrier has trajectories possessing left and right finite limits at every time. The proof proceeds via a modified penalization method under a stochastic Lipschitz condition on the driver. Under the further assumption that the barrier trajectories are right-upper semi-continuous along stopping times, the state process of the RBSDE is characterized as the value function of an associated optimal stopping problem with respect to a nonlinear f-expectation.

Significance. If the technical steps hold, the results extend well-posedness theory for reflected BSDEs to include default times and irregular barriers while furnishing an optimal-stopping representation useful for stochastic control applications. The modified penalization scheme for stochastic Lipschitz drivers and the explicit use of right-upper semi-continuity along stopping times constitute concrete technical contributions.

major comments (2)
  1. [Existence and uniqueness section (modified penalization)] The modified penalization argument (used to obtain existence/uniqueness under the stochastic Lipschitz driver) must be checked for the precise a-priori estimates that survive the default-time jump and the passage to the limit; any hidden integrability or regularity requirement beyond the stated finite left/right limits on the barrier would undermine the claim.
  2. [Optimal stopping representation section] In the optimal-stopping representation, the argument that right-upper semi-continuity along stopping times plus finite left/right limits suffice to identify the RBSDE state process with the value function of the nonlinear f-expectation should be verified explicitly; the comparison and Snell-envelope steps need to be shown to close without additional continuity of the barrier.
minor comments (2)
  1. [Abstract] Abstract contains the typo 'scholastic Lipschitz' (should be 'stochastic Lipschitz').
  2. [Introduction / Preliminaries] The notation for the defaultable process and the associated filtration should be introduced with a short paragraph before the statement of the main theorems.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and the positive recommendation for minor revision. We address each major comment below, providing clarifications on the technical steps while agreeing to enhance explicitness where helpful.

read point-by-point responses

  1. Referee: [Existence and uniqueness section (modified penalization)] The modified penalization argument (used to obtain existence/uniqueness under the stochastic Lipschitz driver) must be checked for the precise a-priori estimates that survive the default-time jump and the passage to the limit; any hidden integrability or regularity requirement beyond the stated finite left/right limits on the barrier would undermine the claim.

    Authors: We appreciate the referee drawing attention to the estimates in the modified penalization scheme. The a-priori bounds for the penalized reflected BSDEs are derived by applying Itô's formula to the penalized processes, incorporating the compensator of the default process to handle the jump at the default time. These estimates depend only on the stochastic Lipschitz condition of the driver, the square-integrability of the terminal condition, and the finite left and right limits of the barrier (which ensure the penalized reflection terms remain controlled). No additional integrability or regularity on the barrier is imposed or required beyond the stated assumptions; the passage to the limit then follows from standard compactness arguments in the appropriate spaces. To address the concern explicitly, we will add a short remark after the statement of the a-priori estimates clarifying their independence from further regularity. revision: partial

  2. Referee: [Optimal stopping representation section] In the optimal-stopping representation, the argument that right-upper semi-continuity along stopping times plus finite left/right limits suffice to identify the RBSDE state process with the value function of the nonlinear f-expectation should be verified explicitly; the comparison and Snell-envelope steps need to be shown to close without additional continuity of the barrier.

    Authors: We thank the referee for this suggestion to make the identification more transparent. The proof proceeds by showing that the RBSDE solution dominates any admissible stopping reward under the nonlinear f-expectation (via the comparison theorem for RBSDEs), and conversely that the Snell envelope of the barrier under the f-expectation satisfies the RBSDE. The right-upper semi-continuity along stopping times ensures that the Snell envelope attains the barrier at the optimal stopping time without overshoot, while the finite left and right limits guarantee that the envelope process remains càdlàg and that the reflection term is well-defined. These properties close the argument without invoking stronger continuity of the barrier. We will expand the relevant paragraphs in the optimal-stopping section to spell out the comparison and Snell-envelope steps in greater detail. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The manuscript establishes existence and uniqueness for reflected BSDEs with default time via an explicit modified penalization scheme under the stochastic Lipschitz driver condition, followed by an optimal-stopping representation once the barrier satisfies right-upper semi-continuity along stopping times. Both steps rest on standard a-priori estimates, comparison arguments, and passage to the limit that are carried through directly in the text; the finite left/right limits on barrier paths serve only to keep the limit process in the correct space. No self-definitional relations, fitted inputs renamed as predictions, load-bearing self-citations, or ansatzes smuggled via prior work appear. The derivation is self-contained against external benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

This is a pure existence and uniqueness theorem in stochastic analysis. It introduces no free parameters, no new entities, and relies only on standard domain assumptions about the filtration and the barrier.

axioms (2)
  • domain assumption The underlying filtration is generated by a one-dimensional Brownian motion and a defaultable process.
    Standard setup for BSDEs driven by Brownian motion plus a default indicator.
  • domain assumption The barrier process has trajectories possessing left and right finite limits at every time.
    Minimal regularity imposed on the irregular optional barrier to make reflection well-defined.

pith-pipeline@v0.9.0 · 5395 in / 1466 out tokens · 37436 ms · 2026-05-08T16:43:49.475254+00:00 · methodology

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

43 extracted references

  1. [1]

    and Ouknine, Y

    Baadi, B. and Ouknine, Y. (2017). Reflected BSDEs when the obstacle is not right- continuous in a general filtration.ALEA Lat. Am. J. Probab. Math. Stat.,14, 201–218

    2017

  2. [2]

    and El Karoui, N

    Barrieu, P. and El Karoui, N. (2005). Inf-convolution of risk measures and optimal risk transfer.Finance and Stochastics,9, 269–298

    2005

  3. [3]

    R., Jeanblanc, M

    Bielecki, T. R., Jeanblanc, M. and Rutkowski, M. (2005). PDE approach to valuation and hedging of credit derivatives.Quantitative Finance,5, 257–270

    2005

  4. [4]

    Bismut, J. M. (1973). Conjugate convex functions in optimal stochastic control.Jour- nal of Mathematical Analysis and Applications,44, 384–404

    1973

  5. [5]

    and Ouknine, Y

    Bouhadou, S., Hilbert, A. and Ouknine, Y. (2022). RBSDEs with optional barriers: Monotone approximation.Probability, Uncertainty and Quantitative Risk,7, 67–84

    2022

  6. [6]

    and Ouknine, Y

    Bouhadou, S. and Ouknine, Y. (2021). Reflected BSDEs when the obstacle is pre- dictable and nonlinear optimal stopping problem.Stochastics and Dynamics,21, 2150049

    2021

  7. [7]

    and Yor, M

    Br´ emaud, P. and Yor, M. (1978). Changes of filtrations and of probability measures. Zeitschrift f¨ ur Wahrscheinlichkeitstheorie und verwandte Gebiete,45, 269–295

    1978

  8. [8]

    and Matoussi, A

    Cr´ epey, S. and Matoussi, A. (2008). Reflected and doubly reflected BSDEs with jumps: A priori estimates and comparison.Annals of Applied Probability,18(5), 2041–2069

    2008

  9. [9]

    and Meyer, P

    Dellacherie, C. and Meyer, P. A. (1975). Probabilit´ es et potentiel I–IV.Hermann, Paris

    1975

  10. [10]

    Dudley, R. M. and Norvaiˇ sa, R. (2011). Concrete functional calculus.Springer, New York

    2011

  11. [11]

    Dumitrescu, R., Grigorova, M., Quenez, M. C. and Sulem, A. (2018). BSDEs with default jump.Computation and Combinatorics in Dynamics, Stochastics and Control, The Abel Symposium, 233–263

    2018

  12. [12]

    Dumitrescu, R., Quenez, M. C. and Sulem, A. (2018). American options in an imperfect complete market with default.ESAIM: Proceedings and Surveys,64, 93–110

    2018

  13. [13]

    El Karoui, N. (1981). Les aspects probabilistes du contrˆ ole stochastique.Lecture Notes in Mathematics, Springer, Berlin, 73–238

    1981

  14. [14]

    and Quenez, M

    El Karoui, N., Kapoudjian, C., Pardoux, E., Peng, S. and Quenez, M. C. (1997). Reflected solutions of backward SDE’s and related obstacle problems for PDE’s.The Annals of Probability,25, 702–737. 38

    1997

  15. [15]

    and Quenez, M

    El Karoui, N., Peng, S. and Quenez, M. C. (1997). Backward stochastic differential equations in finance.Mathematical Finance,7, 1–71

    1997

  16. [16]

    and Quenez, M

    El Karoui, N. and Quenez, M. C. (1997). Non-linear pricing theory and backward stochastic differential equations.Financial Mathematics,1656, 191–246

    1997

  17. [17]

    Elmansouri, B. (2025). Reflected BSDEs with default time and irregular obstacles. Comptes Rendus. Math´ ematique,363(G3), 223–233

    2025

  18. [18]

    and El Otmani, M

    Elmansouri, B. and El Otmani, M. (2024). Generalized BSDEs driven by RCLL martingales with stochastic monotone coefficients.Modern Stochastics: Theory and Applications,11, 109–128

    2024

  19. [19]

    and El Otmani, M

    Elmansouri, B. and El Otmani, M. (2026). Reflected BSDEs driven by RCLL mar- tingales with stochastic Lipschitz coefficient in a general filtration: Analysis and appli- cations.Communications in Mathematical Analysis and Applications,5(1), 115–153

    2026

  20. [20]

    El Otmani, M. (2009). Reflected BSDE driven by a L´ evy process.Journal of Theo- retical Probability,22, 601–619

    2009

  21. [21]

    Essaky, E. H. (2008). Reflected backward stochastic differential equation with jumps and RCLL obstacle.Bulletin des Sciences Math´ ematiques,132, 690–710

    2008

  22. [22]

    Gal’ˇ cuk, L. I. (1981). Optional martingales.USSR-Sbornik,40, 435–468

    1981

  23. [23]

    Gianin, E. R. (2006). Risk measures viag-expectations.Insurance: Mathematics and Economics,39, 19–34

    2006

  24. [24]

    and Quenez, M

    Grigorova, M., Imkeller, P., Offen, E., Ouknine, Y. and Quenez, M. C. (2017). Re- flected BSDEs when the obstacle is not right-continuous and optimal stopping.The Annals of Applied Probability,27, 3153–3188

    2017

  25. [25]

    and Quenez, M

    Grigorova, M., Imkeller, P., Ouknine, Y. and Quenez, M. C. (2020). Optimal stopping withf-expectations: The irregular case.Stochastic Processes and their Applications, 130, 1258–1288

    2020

  26. [26]

    Grigorova, M., Quenez, M. C. and Sulem, A. (2021). American options in a non-linear incomplete market model with default.Stochastic Processes and their Applications, 142, 479–512

    2021

  27. [27]

    Hamad` ene, S. (2002). Reflected BSDE’s with discontinuous barrier and application. Stochastics: An International Journal of Probability and Stochastic Processes,74, 571– 596

    2002

  28. [28]

    and Ouknine, Y

    Hamad` ene, S. and Ouknine, Y. (2003). Reflected backward stochastic differential equation with jumps and random obstacle.Electronic Journal of Probability,8, 1–20. 39

    2003

  29. [29]

    and Ouknine, Y

    Hamad` ene, S. and Ouknine, Y. (2016). Reflected backward SDEs with general jumps. Theory of Probability and Its Applications,60, 263–280

    2016

  30. [30]

    W., Wang, J

    He, S. W., Wang, J. G. and Yan, J. A. (1992). Semimartingale theory and stochastic calculus.Science Press, CRC Press Inc., New York

    1992

  31. [31]

    and Shiryaev, A

    Jacod, J. and Shiryaev, A. N. (2013). Limit theorems for stochastic processes. Grundlehren der mathematischen Wissenschaften, Springer, Berlin, Heidelberg

    2013

  32. [32]

    Kallenberg, O. (1997). Foundations of modern probability.Springer, New York

    1997

  33. [33]

    and S lomi´ nski, L

    Klimsiak, T., Rzymowski, M. and S lomi´ nski, L. (2019). Reflected BSDEs with regu- lated trajectories.Stochastic Processes and their Applications,129, 1153–1184

    2019

  34. [34]

    Kusuoka, S. (1999). A remark on default risk models.Advances in Mathematical Economics,1, 69–82

    1999

  35. [35]

    Lenglart, E. (1980). Tribus de Meyer et th´ eorie des processus.Lecture Notes in Mathematics, Springer, Berlin, Heidelberg, 500–546

    1980

  36. [36]

    and Yor, M

    Mansuy, R. and Yor, M. (2006). Random times and enlargements of filtrations in a Brownian setting.Lecture Notes in Mathematics, Springer, Berlin, Heidelberg

    2006

  37. [37]

    and El Otmani, M

    Marzougue, M. and El Otmani, M. (2020). Predictable solution for reflected BSDEs when the obstacle is not right-continuous.Random Operators and Stochastic Equations, 28, 269–279

    2020

  38. [38]

    and El Otmani, M

    Marzougue, M. and El Otmani, M. (2023). Irregular barrier reflected BSDEs driven by a L´ evy process.Stochastic Analysis and Applications,41, 734–751

    2023

  39. [39]

    and Peng, S

    Pardoux, E. and Peng, S. (1990). Adapted solution of a backward stochastic differ- ential equation.Systems and Control Letters,14, 55–61

    1990

  40. [40]

    Peng, S. (2004). Nonlinear expectations, nonlinear evaluations and risk measures. Stochastic Methods in Finance, Lecture Notes in Mathematics, Springer, Berlin, Hei- delberg

    2004

  41. [41]

    Protter, P. (2005). Stochastic integration and differential equations. Second edition. Applications of Mathematics, Springer

    2005

  42. [42]

    Quenez, M. C. and Sulem, A. (2013). BSDEs with jumps, optimization and appli- cations to dynamic risk measures.Stochastic Processes and their Applications,123, 3328–3357

    2013

  43. [43]

    Topolewski, M. (2019). Reflected BSDEs with general filtration and two completely separated barriers.Probability and Mathematical Statistics,39, 199–218. 40

    2019